arXiv++ Combinatorics

A poset is (3+1)-free if it does not contain the disjoint union of chains of length 3 and 1 as an induced subposet. These posets play a central role in the (3+1)-free conjecture of Stanley and Stembridge. Lewis and Zhang have enumerated (3+1)-free posets in the graded case by decomposing them into bipartite graphs, but until now the general enumeration problem has remained open. We give a finer decomposition into bipartite graphs which applies to all (3+1)-free posets and obtain generating functions which count (3+1)-free posets with labelled or unlabelled vertices. Using this decomposition, we obtain a decomposition of the automorphism group and asymptotics for the number of (3+1)-free posets.

Let $G$ be a simple graph of order $n$. An independent set in a graph is a set of pairwise non-adjacent vertices. The independence polynomial of $G$ is the polynomial $I(G,x)=\sum_{k=0}^{n} s(G,k) x^{k}$, where $s(G,k)$ is the number of independent sets of $G$ of size $k$ and $s(G,0)=1$. Clearly all real roots of $I(G,x)$ are negative. Let $ξ(G)$ be the largest real root of $I(G,x)$. Let $H$ be a simple graph. By $G \succeq H$ we mean that $I(H,x)\geq I(G,x)$ for every $x$ in the interval $[ξ(G),0]$. We note that $G\succeq H$ implies that $ξ(G)\geq ξ(H)$. Also we let $G\succ H$ if and only if $G\succeq H$ and $I(G,x)\neq I(H,x)$. We prove that for every tree $T$ of order $n$, $S_n\succeq T\succeq P_n$, where $S_n$ and $P_n$ are the star and the path of order n, respectively. By $T=T(n_1,\ldots,n_k)$ we mean a tree $T$ which has a vertex $v$ of degree $k$ such that $T\setminus v=P_{n_1-1}+\cdots+P_{n_k-1}$, that is $T\setminus v$ is the disjoint union of the paths $P_{n_1-1},\ldots,P_{n_k-1}$. Let $X=(x_1,\ldots,x_k)$ and $Y=(y_1,\ldots,y_k)$, where $x_1\geq \cdots\geq x_k$ and $y_1\geq\cdots\geq y_k$ are real. By $X\succ Y$, we mean $x_1=y_1,\ldots,x_{t-1}=y_{t-1}$ and $x_t>y_t$ for some $t\in\{1,\ldots,k\}$. We let $X\succ_{d}Y$, if $X\neq Y$ and for every $j$, $1\leq j\leq k$, $\sum_{i=1}^{j}x_i\geq \sum_{i=1}^{j}y_i$. Among all trees with fixed number of vertices, we show that if $(m_1,\ldots,m_k)\succ_{d}(n_1,\ldots,n_k)$, then $T(n_1,\ldots,n_k)\succ T(m_1,\ldots,m_k)$. We conjecture that $T(n_1,\ldots,n_k)\succ T(m_1,\ldots,m_k)$ if and only if $(m_1,\ldots,m_k)\succ (n_1,\ldots,n_k)$, where $\sum_{i=1}^kn_i=\sum_{i=1}^km_i$.

Young's lattice $L(m,n)$ consists of partitions having $m$ parts of size at most $n$, ordered by inclusion of the corresponding Ferrers diagrams. K. O'Hara gave the first constructive proof of the unimodality of the Gaussian polynomials by expressing the underlying ranked set of $L(m,n)$ as a disjoint union of products of centered rank-unimodal subsets. We construct a finer decomposition which is compatible with the partial order on Young's lattice, at the cost of replacing the cartesian product with a more general poset extension. As a corollary, we obtain an explicit chain decomposition which exhibits the rank-unimodality of $L(m,n)$. Moreover, this set of chains is closed under the natural rank-flipping involution given by taking complements of Ferrers diagrams.

In this paper, for sufficiently large $n$ we determine the Ramsey number $R(G,nH)$ where $G$ is a $k$-uniform hypergraph with the maximum independent set that intersects each of the edges in $k-1$ vertices and $H$ is a $k$-uniform hypergraph with a vertex so that the hypergraph induced by the edges containing this vertex is a star. There are several examples for such $G$ and $H$, among them are any disjoint union of $k$-uniform hypergraphs involving loose paths, loose cycles, tight paths, tight cycles with a multiple of $k$ edges, stars, Kneser hypergraphs and complete $k$-uniform $k$-partite hypergraphs for $G$ and linear hypergraphs for $H$. As an application, $R(mG,nH)$ is determined where $m$ or $n$ is large and $G$ and $H$ are either loose paths, loose cycles, tight paths, or stars. Also, $R(G,nH)$ is determined when $G$ is a bipartite graph with a matching saturating one of its color classes and $H$ is an arbitrary graph for sufficiently large $n$. Moreover, some bounds are given for $R(mG,nH)$ which allow us to determine this Ramsey number when $m\geq n$ and $G$ and $H$, $(|V(G)|\geq |V(H)|)$, are 3-uniform loose paths or cycles, $k$-uniform loose paths or cycles with at most 4 edges and $k$-uniform stars with 3 edges.

For a graph $G$ and a set of graphs $\mathcal{H}$, we say that $G$ is {\em $\mathcal{H}$-free} if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. Given an integer $P>0$, a graph $G$, and a set of graphs $\mathcal{F}$, we say that $G$ {\em admits an $(\mathcal{F},P)$-partition} if the vertex set of $G$ can be partitioned into $P$ subsets $X_1,..., X_P$, so that for every $i \in \{1,..., P\}$, either $|X_i|=1$, or the subgraph of $G$ induced by $X_i$ is $\{F\}$-free for some $F \in \mathcal{F}$. Our first result is the following. For every pair $(H,J)$ of graphs such that $H$ is the disjoint union of two graphs $H_1$ and $H_2$, and the complement $J^c$ of $J$ is the disjoint union of two graphs $J_1^c$ and $J_2^c$, there exists an integer $P>0$ such that every $\{H,J\}$-free graph has an $(\{H_1,H_2,J_1,J_2\},P)$-partition. Using a similar idea we also give a short proof of one of the results of \cite{heroes}. Our final result is a construction showing that if $\{H,J\}$ are graphs each with at least one edge, then for every pair of integers $r,k$ there exists a graph $G$ such that every $r$-vertex induced subgraph of $G$ is $\{H,J\}$-split, but $G$ does not admits an $(\{H,J\},k)$-partition.

Let $F_1, F_2, ..., F_k$ be graphs with the same vertex set $V$. A subset $S \subseteq V$ is a simultaneous dominating set if for every $i$, $1 \le i \le k$, every vertex of $F_i$ not in $S$ is adjacent to a vertex in $S$ in $F_i$; that is, the set $S$ is simultaneously a dominating set in each graph $F_i$. The cardinality of a smallest such set is the simultaneous domination number. We present general upper bounds on the simultaneous domination number. We investigate bounds in special cases, including the cases when the factors, $F_i$, are $r$-regular or the disjoint union of copies of $K_r$. Further we study the case when each factor is a cycle.

Let (W,S) be a finite rank Coxeter system with W infinite. We prove that the limit weak order on the blocks of infinite reduced words of W is encoded by the topology of the Tits boundary of the Davis complex X of W. We consider many special cases, including W word hyperbolic, and X with isolated flats. We establish that when W is word hyperbolic, the limit weak order is the disjoint union of weak orders of finite Coxeter groups. We also establish, for each boundary point ξ, a natural order-preserving correspondence between infinite reduced words which "point towards" ξ, and elements of the reflection subgroup of W which fixes ξ.

A poset is (3+1)-free if it does not contain the disjoint union of chains of length 3 and 1 as an induced subposet. These posets are the subject of the (3+1)-free conjecture of Stanley and Stembridge. Recently, Lewis and Zhang have enumerated \emph{graded} (3+1)-free posets, but until now the general enumeration problem has remained open. We enumerate all (3+1)-free posets by giving a decomposition into bipartite graphs, and obtain generating functions for (3+1)-free posets with labelled or unlabelled vertices.

We study the energy per vertex in regular graphs. For every k, we give an upper bound for the energy per vertex of a k-regular graph, and show that a graph attains the upper bound if and only if it is the disjoint union of incidence graphs of projective planes of order k-1 or, in case k=2, the disjoint union of triangles and hexagons. For every k, we also construct k-regular subgraphs of incidence graphs of projective planes for which the energy per vertex is close to the upper bound. In this way, we show that this upper bound is asymptotically tight.

Our purpose is to study the family of simple undirected graphs whose toric ideal is a complete intersection from both an algorithmic and a combinatorial point of view. We obtain a polynomial time algorithm that, given a graph $G$, checks whether its toric ideal $P_G$ is a complete intersection or not. Whenever $P_G$ is a complete intersection, the algorithm also returns a minimal set of generators of $P_G$. Moreover, we prove that if $G$ is a connected graph and $P_G$ is a complete intersection, then there exist two induced subgraphs $R$ and $C$ of $G$ such that the vertex set $V(G)$ of $G$ is the disjoint union of $V(R)$ and $V(C)$, where $R$ is a bipartite ring graph and $C$ is either the empty graph, an odd primitive cycle, or consists of two odd primitive cycles properly connected. Finally, if $R$ is $2$-connected and $C$ is connected, we list the families of graphs whose toric ideals are complete intersection.

We study a generalization of strongly regular graphs. We call a graph strongly walk-regular if there is an $\ell >1$ such that the number of walks of length $\ell$ from a vertex to another vertex depends only on whether the two vertices are the same, adjacent, or not adjacent. We will show that a strongly walk-regular graph must be an empty graph, a complete graph, a strongly regular graph, a disjoint union of complete bipartite graphs of the same size and isolated vertices, or a regular graph with four eigenvalues. Graphs from the first three families in this list are indeed strongly $\ell$-walk-regular for all $\ell$, whereas the graphs from the fourth family are $\ell$-walk-regular for every odd $\ell$. The case of regular graphs with four eigenvalues is the most interesting (and complicated) one. Such graphs cannot be strongly $\ell$-walk-regular for even $\ell$. We will characterize the case that regular four-eigenvalue graphs are strongly $\ell$-walk-regular for every odd $\ell$, in terms of the eigenvalues. There are several examples of infinite families of such graphs. We will show that every other regular four-eigenvalue graph can be strongly $\ell$-walk-regular for at most one $\ell$. There are several examples of infinite families of such graphs that are strongly 3-walk-regular. It however remains open whether there are any graphs that are strongly $\ell$-walk-regular for only one particular $\ell$ different from 3.

The cutting plane approach to optimal matchings has been discussed by several authors over the past decades (e.g., Padberg and Rao '82, Grotschel and Holland '85, Lovasz and Plummer '86, Trick '87, Fischetti and Lodi '07) and its convergence has been an open question. We give a cutting plane algorithm that converges in polynomial-time using only Edmonds' blossom inequalities; it maintains half-integral intermediate LP solutions supported by a disjoint union of odd cycles and edges. Our main insight is a method to retain only a subset of the previously added cutting planes based on their dual values. This allows us to quickly find violated blossom inequalities and argue convergence by tracking the number of odd cycles in the support of intermediate solutions.

For given graphs $G$ and $H$, let $|Hom(G,H)|$ denote the set of graph homomorphisms from $G$ to $H$. We show that for any finite, $n$-regular, bipartite graph $G$ and any finite graph $H$ (perhaps with loops), $|Hom(G,H)|$ is maximum when $G$ is a disjoint union of $K_{n,n}$'s. This generalizes a result of J. Kahn on the number of independent sets in a regular bipartite graph. We also give the asymptotics of the logarithm of $|Hom(G,H)|$ in terms of a simply expressed parameter of $H$. We also consider weighted versions of these results which may be viewed as statements about the partition functions of certain models of physical systems with hard constraints.

At most how many (proper) q-colorings does a regular graph admit? Galvin and Tetali conjectured that among all n-vertex, d-regular graphs with 2d|n, none admits more q-colorings than the disjoint union of n/2d copies of the complete bipartite graph K_{d,d}. In this note we give asymptotic evidence for this conjecture, giving an upper bound on the number of proper q-colorings admitted by an n-vertex, d-regular graph of the form a^n b^{n(1+o(1))/d} (where a and b depend on q and where o(1) goes to 0 as d goes to infinity) that agrees up to the o(1) term with the count of q-colorings of n/2d copies of K_{d,d}. An auxiliary result is an upper bound on the number of colorings of a regular graph in terms of its independence number. For example, we show that for all even q and fixed ε> 0 there is δ=δ(ε,q) such that the number of proper q-colorings admitted by an n-vertex, d-regular graph with no independent set of size n(1-ε)/2 is at most (a-δ)^n.

Fifty years ago Erdős asked to determine the minimum number of $k$-cliques in a graph on $n$ vertices with independence number less than l. He conjectured that this minimum is achieved by the disjoint union of $l-1$ complete graphs of size $\frac{n}{l-1}$. This conjecture was disproved by Nikiforov who showed that the balanced blow-up of a 5-cycle has fewer 4-cliques than the union of 2 complete graphs of size $\frac{n}{2}$. In this paper we solve Erdős' problem for $(k,l)=(3,4)$ and $(k,l)=(4,3)$. Using stability arguments we also characterize the precise structure of extremal examples, confirming Erdős' conjecture for $(k,l)=(3,4)$ and showing that a blow-up of a 5-cycle gives the minimum for $(k,l)=(4,3)$.

W. Magnus introduced a particular differential equation characterizing the logarithm of the solution of linear initial value problems for linear operators. The recursive solution of this differential equation leads to a peculiar Lie series, which is known as Magnus expansion, and involves Bernoulli numbers, iterated Lie brackets and integrals. This paper aims at obtaining further insights into the fine structure of the Magnus expansion. By using basic combinatorics on planar rooted trees we prove a closed formula for the Magnus expansion in the context of free dendriform algebra. From this, by using a well-known dendriform algebra structure on the vector space generated by the disjoint union of the symmetric groups, we derive the Mielnik-Plebański-Strichartz formula for the continuous Baker-Campbell-Hausdorff series.

Let $S = K[x_1,..., x_n]$ be a polynomial ring over a field $K$. Let $I(G) \subseteq S$ denote the edge ideal of a graph $G$. We show that the $\ell$th symbolic power $I(G)^{(\ell)}$ is a Cohen-Macaulay ideal (i.e., $S/I(G)^{(\ell)}$ is Cohen-Macaulay) for some integer $\ell \ge 3$ if and only if $G$ is a disjoint union of finitely many complete graphs. When this is the case, all the symbolic powers $I(G)^{(\ell)}$ are Cohen-Macaulay ideals. Similarly, we characterize graphs $G$ for which $S/I(G)^{(\ell)}$ has (FLC). As an application, we show that an edge ideal $I(G)$ is complete intersection provided that $S/I(G)^{\ell}$ is Cohen-Macaulay for some integer $\ell \ge 3$. This strengthens the main theorem in [Effective Cowsik-Nori theorem for edge ideals by M.Crupi, G.Rinaldo, N.Terai, and K.Yoshida, Comm. Alg. 38 (2010), 3347-3357].

We describe two constructions of (very) dense graphs which are edge disjoint unions of large {\em induced} matchings. The first construction exhibits graphs on $N$ vertices with ${N \choose 2}-o(N^2)$ edges, which can be decomposed into pairwise disjoint induced matchings, each of size $N^{1-o(1)}$. The second construction provides a covering of all edges of the complete graph $K_N$ by two graphs, each being the edge disjoint union of at most $N^{2-δ}$ induced matchings, where $δ> 0.058$. This disproves (in a strong form) a conjecture of Meshulam, substantially improves a result of Birk, Linial and Meshulam on communicating over a shared channel, and (slightly) extends the analysis of Håstad and Wigderson of the graph test of Samorodnitsky and Trevisan for linearity. Additionally, our constructions settle a combinatorial question of Vempala regarding a candidate rounding scheme for the directed Steiner tree problem.

If $α\in S_n$ is a permutation of $\{1, 2, \ldots, n\}$, the inversion set of $α$ is $Φ(α) = \{(i, j) \, | \, 1 \leq i < j \leq n, α(i) > α(j)\}$. We describe all $r$-tuples $α_1, α_2, \ldots, α_r \in S_n$ such that $Δ_n^+ = \{(i, j) \, | \, 1 \leq i < j \leq n\}$ is the disjoint union of $Φ(α_1), Φ(α_2), \ldots, Φ(α_r)$. Using this description we prove that certain faces of the Littlewood-Richardson cone are simplicial and provide an algorithm for writing down their sets of generating rays. We also discuss analogous problems for the Weyl groups of root systems of types $B$, $C$ and $D$ providing solutions for types $B$ and $C$. Finally we provide some enumerative results and introduce a useful tool for visualizing inversion sets.

In this work we study how some elementary graph operations (like the disjoint union) and the collapse of two vertices modify the cut ideal of a graph. They pave the way for reducing the cut ideal of every graph to the cut ideal of smaller ones. To deal with the collapse operation we generalize the definition of cut ideal given in literature, introducing the concepts of edge labeling and edge multiplicity: in fact we state the \emph{non-classical behavior} of the cut ideal. Moreover we show the transformation of the toric map hidden behind these operations.