Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Shellability and Sphericity of the quasi-arc complex of the Möbius strip
Published
• View Publication
• BIB
Shellability of a simplicial complex has many useful structural implications. In particular, it was shown by Danaraj and Klee that every shellable pseudo-manifold is a PL-sphere. The purpose of this paper is to prove the shellability of the quasi-arc complex of the Möbius strip. Along the way we provide elementary proofs of the shellability of the arc complex of the $n$-gon and the cylinder. In turn, applying the result of Danaraj and Klee, we obtain the sphericity of all of these complexes.
Patterns in Inversion Sequences I
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (March 31, 2016) dmtcs:1323
• View Publication
• BIB
Permutations that avoid given patterns have been studied in great depth for their connections to other fields of mathematics, computer science, and biology. From a combinatorial perspective, permutation patterns have served as a unifying interpretation that relates a vast array of combinatorial structures. In this paper, we introduce the notion of patterns in inversion sequences. A sequence $(e_1,e_2,\ldots,e_n)$ is an inversion sequence if $0 \leq e_i<i$ for all $i \in [n]$. Inversion sequences of length $n$ are in bijection with permutations of length $n$; an inversion sequence can be obtained from any permutation $π=π_1π_2\ldots π_n$ by setting $e_i = |\{j \ | \ j < i \ {\rm and} \ π_j > π_i \}|$. This correspondence makes it a natural extension to study patterns in inversion sequences much in the same way that patterns have been studied in permutations. This paper, the first of two on patterns in inversion sequences, focuses on the enumeration of inversion sequences that avoid words of length three. Our results connect patterns in inversion sequences to a number of well-known numerical sequences including Fibonacci numbers, Bell numbers, Schröder numbers, and Euler up/down numbers.
On the lattice of flats of a boolean representable simplicial complex
Published
• View Publication
• BIB
It is shown that the lattices of flats of boolean representable simplicial complexes are always atomistic, but semimodular if and only if the complex is a matroid. A canonical construction is introduced for arbitrary finite atomistic lattices, providing a characterization of the lattices of flats of boolean representable simplicial complexes and a decidability condition. We remark that every finite lattice occurs as the lattice of flats of some simplicial complex.
The complexity of signed graph and edge-coloured graph homomorphisms
Published in Discrete Mathematics 340(2):223-235, 2017
• View Publication
• BIB
We study homomorphism problems of signed graphs from a computational point of view. A signed graph $(G,Σ)$ is a graph $G$ where each edge is given a sign, positive or negative; $Σ\subseteq E(G)$ denotes the set of negative edges. Thus, $(G, Σ)$ is a $2$-edge-coloured graph with the property that the edge-colours, $\{+, -\}$, form a group under multiplication. Central to the study of signed graphs is the operation of switching at a vertex, that results in changing the sign of each incident edge. We study two types of homomorphisms of a signed graph $(G,Σ)$ to a signed graph $(H,Π)$: ec-homomorphisms and s-homomorphisms. Each is a standard graph homomorphism of $G$ to $H$ with some additional constraint. In the former, edge-signs are preserved. In the latter, edge-signs are preserved after the switching operation has been applied to a subset of vertices of $G$.
We prove a dichotomy theorem for s-homomorphism problems for a large class of (fixed) target signed graphs $(H,Π)$. Specifically, as long as $(H,Π)$ does not contain a negative (respectively a positive) loop, the problem is polynomial-time solvable if the core of $(H,Π)$ has at most two edges, and is NP-complete otherwise. (Note that this covers all simple signed graphs.) The same dichotomy holds if $(H,Π)$ has no negative digons, and we conjecture that it holds always. In our proofs, we reduce s-homomorphism problems to certain ec-homomorphism problems, for which we are able to show a dichotomy. In contrast, we prove that a dichotomy theorem for ec-homomorphism problems (even when restricted to bipartite target signed graphs) would settle the dichotomy conjecture of Feder and Vardi.
The greedy independent set in a random graph with given degrees
Published
• View Publication
• BIB
We analyse the size of an independent set in a random graph on $n$ vertices with specified vertex degrees, constructed via a simple greedy algorithm: order the vertices arbitrarily, and, for each vertex in turn, place it in the independent set unless it is adjacent to some vertex already chosen. We find the limit of the expected proportion of vertices in the greedy independent set as $n \to \infty$, expressed as an integral whose upper limit is defined implicitly, valid whenever the second moment of a random vertex degree is uniformly bounded. We further show that the random proportion of vertices in the independent set converges to the jamming constant as $n \to \infty$. The results hold under weaker assumptions in a random multigraph with given degrees constructed via the configuration model.
The mathematics of causal sets
Published
• View Publication
• BIB
The causal set approach to quantum gravity is based on the hypothesis that the underlying structure of spacetime is that of a random partial order. We survey some of the interesting mathematics that has arisen in connection with the causal set hypothesis, and describe how the mathematical theory can be translated to the application area. We highlight a number of open problems of interest to those working in causal set theory.
Counting Restricted Dyck Paths Through Random Walks
We show connection between Dyck paths with peaks of bounded height and random walks. The correspondence between a certain class of random walks and such Dyck paths allows us to develop a probabilistic perspective on Chebyshev polynomials.
From the weak Bruhat order to crystal posets
Published
• View Publication
• BIB
We investigate the ways in which fundamental properties of the weak Bruhat order on a Weyl group can be lifted (or not) to a corresponding highest weight crystal graph, viewed as a partially ordered set; the latter projects to the weak order via the key map. First, a crystal theoretic analogue of the statement that any two reduced expressions for the same Coxeter group element are related by Coxeter moves is proven for all lower intervals in a simply or doubly laced crystal. On the other hand, it is shown that no finite set of moves exists, even in type A, for arbitrary crystal graph intervals. In fact, it is shown that there are relations of arbitrarily high degree amongst crystal operators that are not implied by lower degree relations. Second, for crystals associated to Kac-Moody algebras it is shown for lower intervals that the Mobius function is always 0, 1, or -1, and in finite type this is also proven for upper intervals, with a precise formula given in each case. Moreover, the order complex for each of these intervals is proven to be homotopy equivalent to a ball or to a sphere of some dimension, despite often not being shellable. For general intervals, examples are constructed with arbitrarily large Mobius function, again even in type A. Any interval having Mobius function other than 0, 1, or -1 is shown to contain within it a relation amongst crystal operators that is not implied by the relations giving rise to the local structure of the crystal, making precise a tight relationship between the Mobius function and these somewhat unexpected relations appearing in crystals.
New properties of the key map are also derived. The key is shown to be determined entirely by the edge-colored poset-theoretic structure of the crystal, and a recursive algorithm is given for calculating it.
Shortest circuit covers of signed graphs
Published
• View Publication
• BIB
A shortest circuit cover ${\cal F}$ of a bridgeless graph $G$ is a family of circuits that covers every edge of $G$ and is of minimum total length. The total length of a shortest circuit cover ${\cal F}$ of $G$ is denoted by $SCC(G)$. For ordinary graphs (graphs without sign), the subject of shortest circuit cover is closely related to some mainstream areas, such as, Tutte's integer flow theory, circuit double cover conjecture, Fulkerson conjecture, and others. For signed graphs $G$, it is proved recently by
Máčajová, Raspaud, Rollová and Škoviera that $SCC(G) \leq 11|E|$ if $G$ is s-bridgeless, and $SCC(G) \leq 9|E|$ if $G$ is $2$-edge-connected.
In this paper this result is improved as follows, $$SCC(G) ~ \leq ~ |E| + 3|V| +z$$ where $z ~=~ \min \{ \frac{2}{3}|E|+\frac{4}{3}ε_N-7,~ |V| + 2ε_N -8\}$ and $ε_N$ is the negativeness of $G$. The above upper bound can be further reduced if $G$ is $2$-edge-connected with even negativeness.
Monochromatic tree covers and Ramsey numbers for set-coloured graphs
Published
• View Publication
• BIB
We consider a generalisation of the classical Ramsey theory setting to a setting where each of the edges of the underlying host graph is coloured with a {\em set} of colours (instead of just one colour). We give bounds for monochromatic tree covers in this setting, both for an underlying complete graph, and an underlying complete bipartite graph. We also discuss a generalisation of Ramsey numbers to our setting and propose some other new directions.
Our results for tree covers in complete graphs imply that a stronger version of Ryser's conjecture holds for $k$-intersecting $r$-partite $r$-uniform hypergraphs: they have a transversal of size at most $r-k$. (Similar results have been obtained by Király et al., see below.) However, we also show that the bound $r-k$ is not best possible in general.
Bijections for planar maps with boundaries
Published
• View Publication
• BIB
We present bijections for planar maps with boundaries. In particular, we obtain bijections for triangulations and quadrangulations of the sphere with boundaries of prescribed lengths. For triangulations we recover the beautiful factorized formula obtained by Krikun using a (technically involved) generating function approach. The analogous formula for quadrangulations is new. We also obtain a far-reaching generalization for other face-degrees. In fact, all the known enumerative formulas for maps with boundaries are proved bijectively in the present article (and several new formulas are obtained). Our method is to show that maps with boundaries can be endowed with certain "canonical" orientations, making them amenable to the master bijection approach we developed in previous articles. As an application of our enumerative formulas, we note that they provide an exact solution of the dimer model on rooted triangulations and quadrangulations.
Spanning k-ended trees of 3-regular connected graphs
Published
• View Publication
• BIB
A tree is called k-ended tree if it has at most k leaves, where a leaf is a vertex of degree one. In this paper we prove that every 3-regular connected graph with n vertices such that n is greater than 8 has spanning sub tree with at most [(2n+4)/9]-ended tree. At the end we give a conjecture about spanning k-ended trees on 3-regular connected graphs.
Hilbert cubes in arithmetic sets
Published
• View Publication
• BIB
We show upper bounds on the maximal dimension $d$ of Hilbert cubes $H=a_0+\{0,a_1\}+\cdots + \{0, a_d\}\subset S \cap [1, N]$ in several sets $S$ of arithmetic interest such as the squares, powerful numbers and pure powers.
List-antimagic labeling of vertex-weighted graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Graph Theory (December 2, 2021) dmtcs:5631
• View Publication
• BIB
A graph $G$ is $k$-$weighted-list-antimagic$ if for any vertex weighting $ω\colon V(G)\to\mathbb{R}$ and any list assignment $L\colon E(G)\to2^{\mathbb{R}}$ with $|L(e)|\geq |E(G)|+k$ there exists an edge labeling $f$ such that $f(e)\in L(e)$ for all $e\in E(G)$, labels of edges are pairwise distinct, and the sum of the labels on edges incident to a vertex plus the weight of that vertex is distinct from the sum at every other vertex. In this paper we prove that every graph on $n$ vertices having no $K_1$ or $K_2$ component is $\lfloor{\frac{4n}{3}}\rfloor$-weighted-list-antimagic.
An oriented graph $G$ is $k$-$oriented-antimagic$ if there exists an injective edge labeling from $E(G)$ into $\{1,\dotsc,|E(G)|+k\}$ such that the sum of the labels on edges incident to and oriented toward a vertex minus the sum of the labels on edges incident to and oriented away from that vertex is distinct from the difference of sums at every other vertex. We prove that every graph on $n$ vertices with no $K_1$ component admits an orientation that is $\lfloor{\frac{2n}{3}}\rfloor$-oriented-antimagic.
Faster algorithms to enumerate hypergraph transversals
Published
• View Publication
• BIB
A transversal of a hypergraph is a set of vertices intersecting each hyperedge. We design and analyze new exponential-time algorithms to enumerate all inclusion-minimal transversals of a hypergraph. For each fixed k>2, our algorithms for hypergraphs of rank k, where the rank is the maximum size of a hyperedge, outperform the previous best. This also implies improved upper bounds on the maximum number of minimal transversals in n-vertex hypergraphs of rank k>2. Our main algorithm is a branching algorithm whose running time is analyzed with Measure and Conquer. It enumerates all minimal transversals of hypergraphs of rank 3 on n vertices in time O(1.6755^n). Our algorithm for hypergraphs of rank 4 is based on iterative compression. Our enumeration algorithms improve upon the best known algorithms for counting minimum transversals in hypergraphs of rank k for k>2 and for computing a minimum transversal in hypergraphs of rank k for k>5.
On the topology of a boolean representable simplicial complex
Published
• View Publication
• BIB
It is proved that fundamental groups of boolean representable simplicial complexes are free and the rank is determined by the number and nature of the connected components of their graph of flats for dimension $\geq 2$. In the case of dimension 2, it is shown that boolean representable simplicial complexes have the homotopy type of a wedge of spheres of dimensions 1 and 2. Also in the case of dimension 2, necessary and sufficient conditions for shellability and being sequentially Cohen-Macaulay are determined. Complexity bounds are provided for all the algorithms involved.
Proof of a conjecture on `plateaux' phenomenon of graph Laplacian eigenvalues
Published
• View Publication
• BIB
Let $G$ be a simple graph. A pendant path of $G$ is a path such that one of its end vertices has degree $1$, the other end has degree $\ge3$, and all the internal vertices have degree $2$. Let $p_k(G)$ be the number of pendant paths of length $k$ of $G$, and $q_k(G)$ be the number of vertices with degree $\ge3$ which are an end vertex of some pendant paths of length $k$. Motivated by the problem of characterizing dendritic trees, N. Saito and E. Woei conjectured that any graph $G$ has some Laplacian eigenvalue with multiplicity at least $p_k(G)-q_k(G)$. We prove a more general result for both Laplacian and signless Laplacian eigenvalues from which the conjecture follows.
Set families with a forbidden pattern
Published
• View Publication
• BIB
A balanced pattern of order $2d$ is an element $P \in \{+,-\}^{2d}$, where both signs appear $d$ times. Two sets $A,B \subset [n]$ form $P$-pattern, which we denote by $\operatorname{pat}(A,B) = P$, if $A\triangle B = \{j_1,\ldots ,j_{2d}\}$ with $1\leq j_1<\cdots < j_{2d}\leq n$ and $\{i\in [2d]: P_i = + \} = \{i\in [2d]: j_i \in A \setminus B\}$. We say ${\cal A} \subset {\cal P}[n]$ is $P$-free if $\operatorname{pat}(A,B)\neq P$ for all $A,B \in {\cal A}$. We consider the following extremal question: how large can a family ${\cal A} \subset {\cal P}[n]$ be if ${\cal A} $ is $P$-free?
We prove a number of results on the sizes of such families. In particular, we show that for some fixed $c>0$, if $P$ is a $d$-balanced pattern with $d < c \log \log n$ then $|{\cal A}| = o(2^n)$. We then give stronger bounds in the cases when (i) $P$ consists of $d$ $+$ signs, followed by $d$ $-$ signs and (ii) $P$ consists of alternating signs. In both cases, if $d = o(\sqrt n)$ then $|{\cal A} | = o(2^n)$. In the case of (i), this is tight.
.
On the Principal Permanent Rank Characteristic Sequences of Graphs and Digraphs
Published
• View Publication
• BIB
The principal permanent rank characteristic sequence is a binary sequence $r_0 r_1 \ldots r_n$ where $r_k = 1$ if there exists a principal square submatrix of size $k$ with nonzero permanent and $r_k = 0$ otherwise, and $r_0 = 1$ if there is a zero diagonal entry.
A characterization is provided for all principal permanent rank sequences obtainable by the family of nonnegative matrices as well as the family of nonnegative symmetric matrices. Constructions for all realizable sequences are provided.
Results for skew-symmetric matrices are also included.
On the decomposition of random hypergraphs
Published
• View Publication
• BIB
For an $r$-uniform hypergraph $H$, let $f(H)$ be the minimum number of complete $r$-partite $r$-uniform subhypergraphs of $H$ whose edge sets partition the edge set of $H$. For a graph $G$, $f(G)$ is the bipartition number of $G$ which was introduced by Graham and Pollak in 1971. In 1988, Erdős conjectured that if $G \in G(n,1/2)$, then with high probability $f(G)=n-α(G)$, where $α(G)$ is the independence number of $G$. This conjecture and related problems have received a lot of attention recently. In this paper, we study the value of $f(H)$ for a typical $r$-uniform hypergraph $H$. More precisely, we prove that if $(\log n)^{2.001}/n \leq p \leq 1/2$ and $H \in H^{(r)}(n,p)$, then with high probability $f(H)=(1-π(K^{(r-1)}_r)+o(1))\binom{n}{r-1}$, where $π(K^{(r-1)}_r)$ is the Turán density of $K^{(r-1)}_r$.