arXiv++ Combinatorics

The chromatic number $χ$ of a graph is bounded from below by its clique number $ω,$ but it can be arbitrary large. Perfect graphs are defined by $χ=ω$ for all induced subgraphs. An interesting relaxation are $χ$-bounded graph classes, where $χ\leq f(ω).$ It is not always possible to achieve this with a polynomial $f.$ The edge ideal $I_G$ of a graph $G$ is generated by monomials $x_ux_v$ for each edge $uv$ of $G.$ The bi-graded betti numbers $β_{i,j}(I)$ are central algebraic geometric invariants. We study the graph classes where for some fixed $i,j$ that syzygy vanishes, that is, $β_{i,j}(I_G)=0.$ We prove that $χ\leq f(ω),$ where $f$ is a polynomial of degree $2j-2i-4.$ For the elementary special case $β_{i,2i+2}(I_G)=0,$ this amounts to that $(i+1)K_2$-free graphs are ${ω-1+2i \choose 2i}$-colorable, improving on an old combinatorial result by Wagon. We also show that triangle-free graphs with $β_{i,j}(I_G)=0$ are $(j-1)$-colorable. Complexity wise, we show that these colorings can be derived in time $O(n^3)$ for graphs on $n$ vertices. Moreover, we show that for almost all graphs with parabolic $i,j,$ there are better bounds on $χ.$

A fruitful contemporary paradigm in graph theory is that almost all graphs that do not contain a certain subgraph have common structural characteristics. The "almost" is crucial, without it there is no structure. In this paper we transfer this paradigm to commutative algebra and make use of deep graph theoretic results. A key tool are the critical graphs introduced by Balogh and Butterfield. We consider edge ideals $I_G$ of graphs and their Betti numbers. The numbers of the form $β_{i,2i+2}$ constitute the "main diagonal" of the Betti table. It is well known that any Betti number $β_{i,j}(I_G)$ below (or equivalently, to the left of) this diagonal is always zero. We identify a certain "parabola" inside the Betti table and call parabolic Betti numbers the entries of the Betti table bounded on the left by the main diagonal and on the right by this parabola. Let $β_{i,j}$ be a parabolic Betti number on the $r$-th row of the Betti table, for $r\ge3$. Our main results state that almost all graphs $G$ with $β_{i,j}(I_G)=0$ can be partitioned into $r-2$ cliques and one independent set, and in particular for almost all graphs $G$ with $β_{i,j}(I_G)=0$ the regularity of $I_G$ is $r-1$.

Chudnovsky, Scott, Seymour and Spirkl recently proved a conjecture by Kalai and Meshulam stating that the reduced Euler characteristic of the independence complex of a graph without induced cycles of length divisible by three is in {-1,0,1}. Gauthier had earlier proved that assuming no cycles of those lengths, induced or not. Kalai and Meshulam also stated a stronger topological conjecture, that the total betti numbers are in {0,1}. Towards that we prove an even stronger statement in the same setting as Gauthier: The independence complexes are either contractible or homotopy equivalent to spheres. We conjecture that it also holds in the general setting.

Motivated by Gröbner basis theory for finite point configurations, we define and study the class of "standard complexes" associated to a matroid. Standard complexes are certain subcomplexes of the independence complex that are invariant under matroid duality. For the lexicographic term order, the standard complexes satisfy a deletion-contraction-type recurrence. We explicitly determine the lexicographic standard complexes for lattice path matroids using classical bijective combinatorics.

In the origins of complexity theory Booth and Lueker showed that the question of whether two graphs are isomorphic or not can be reduced to the special case of chordal graphs. To prove that, they defined a transformation from graphs G to chordal graphs BL(G). The projective resolutions of the associated edge ideals is manageable and we investigate to what extent their Betti tables also tell non-isomorphic graphs apart. It turns out that the coefficients describing the decompositions of Betti tables into pure diagrams in Boij-Soderberg theory are much more explicit than the Betti tables themselves, and they are expressed in terms of classical statistics of the graph G.

This paper examines the one-to-one-to-one correspondence between threshold graphs, Betti numbers of quotients of polynomial rings by $2$-linear ideals, and anti-lecture hall compositions. In particular, we establish new explicit combinatorial mappings between each of these classes of objects and calculate the expected values of the Betti numbers and anti-lecture hall composition corresponding to a random threshold graph.

Transfer-Matrix Methods originated in physics where they were used to count the number of allowed particle states on a structure whose width $n$ is a parameter. Typically, the number of states is exponential in $n.$ One more mathematical instance of this methodology is to enumerate the proper vertex colorings of a graph of growing size by a fixed number of colors. In Ehrhart theory, lattice points in the dilation of a fixed polytope by a factor $k$ are enumerated. By inclusion-exclusion, relevant conditions on how the lattice points interact with hyperplanes are enforced. Typically, the number of points are (quasi-) polynomial in $k.$ The text-book example is that for a fixed graph, the number of proper vertex colorings with $k$ colors is polynomial in $k.$ This paper investigates the joint enumeration problem with both parameters $n$ and $k$ free. We start off with the classical graph colorings and then explore the common situations in combinatorics related to Ehrhart theory. We show how symmetries can be explored to reduce calculations and explain the interactions with Discrete Geometry.

Diaconis and Sturmfels introduced an influential method to construct Markov chains using commutative algebra. One major point of their method is that infinite families of graphs are simultaneously proved to be connected by a single algebraic calculation. For large state spaces in the infinite families these Markov chains are not rapidly mixing and only ad hoc methods have been available to improve their mixing times. We provide a method to get rapid mixing by constructing expanders for the Diaconis-Sturmfels type Markov chains.

The total Betti number of the independence complex of a graph is an intriguing graph invariant. Kalai and Meshulam have raised the question on its relation to cycles and the chromatic number of a graph, and a recent conjecture on that theme was proved by Bonamy, Charbit and Thomasse. We show an upper bound on the total Betti number in terms of the number of vertex disjoint cycles in a graph. The main technique is discrete Morse theory and building poset maps. Ramanujan graphs with arbitrary chromatic number and girth log(n) is a classical construction. We show that any subgraph of them with less than n^0.003 vertices have smaller total Betti number than some planar graph of the same order, although it is part of a graph with high chromatic number.

We derive a combinatorial equilibrium for bounded juggling patterns with a random, $q$-geometric throw distribution. The dynamics are analyzed via rook placements on staircase Ferrers boards, which leads to a steady-state distribution containing $q$-rook polynomial coefficients and $q$-Stirling numbers of the second kind. We show that the equilibrium probabilities of the bounded model can be uniformly approximated with the equilibrium probabilities of a corresponding unbounded model. This observation leads to new limit formulae for $q$-analogues. Keywords: juggling pattern; $q$-Stirling number of the second kind; Ferrers board; Markov process; combinatorial equilibrium

There are many connections between the invariants of the different powers of an ideal. We investigate how to construct minimal resolutions for all powers at once using methods from algebraic and polyhedral topology with a focus on ideals arising from combinatorics. In one construction, we obtain cellular resolutions for all powers of edge ideals of bipartite graphs on n vertices, supported by (n-2)-dimensional complexes. Our main result is an explicit minimal cellular resolution for all powers of edge ideals of paths. These cell complexes are constructed by first subdividing polyhedral complexes and then modifying them using discrete Morse theory.

The emergence of Boij-Söderberg theory has given rise to new connections between combinatorics and commutative algebra. Herzog, Sharifan, and Varbaro recently showed that every Betti diagram of an ideal with a k-linear minimal resolution arises from that of the Stanley-Reisner ideal of a simplicial complex. In this paper, we extend their result for the special case of 2-linear resolutions using purely combinatorial methods. Specifically, we show bijective correspondences between Betti diagrams of ideals with 2-linear resolutions, threshold graphs, and anti-lecture hall compositions. Moreover, we prove that any Betti diagram of a module with a 2-linear resolution is realized by a direct sum of Stanley-Reisner rings associated to threshold graphs. Our key observation is that these objects are the lattice points in a normal reflexive lattice polytope.

Two of the most useful tools in topological combinatorics are the nerve lemma and discrete Morse theory. In this note we introduce a theorem that interpolates between them and allows decompositions of complexes into non-contractible pieces as long as discrete Morse theory ensures that they behave well enough. The proof is based on diagrams of spaces, but that theory is not needed for the formulation or applications of the theorem.

A toric cube is a subset of the standard cube defined by binomial inequalities. These basic semialgebraic sets are precisely the images of standard cubes under monomial maps. We study toric cubes from the perspective of topological combinatorics. Explicit decompositions as CW-complexes are constructed. Their open cells are interiors of toric cubes and their boundaries are subcomplexes. The motivating example of a toric cube is the edge-product space in phylogenetics, and our work generalizes results known for that space.

The topological Tverberg theorem has been generalized in several directions by setting extra restrictions on the Tverberg partitions. Restricted Tverberg partitions, defined by the idea that certain points cannot be in the same part, are encoded with graphs. When two points are adjacent in the graph, they are not in the same part. If the restrictions are too harsh, then the topological Tverberg theorem fails. The colored Tverberg theorem corresponds to graphs constructed as disjoint unions of small complete graphs. Hell studied the case of paths and cycles. In graph theory these partitions are usually viewed as graph colorings. As explored by Aharoni, Haxell, Meshulam and others there are fundamental connections between several notions of graph colorings and topological combinatorics. For ordinary graph colorings it is enough to require that the number of colors q satisfy q>Delta, where Delta is the maximal degree of the graph. It was proven by the first author using equivariant topology that if q>Δ^2 then the topological Tverberg theorem still works. It is conjectured that q>KΔis also enough for some constant K, and in this paper we prove a fixed-parameter version of that conjecture. The required topological connectivity results are proven with shellability, which also strengthens some previous partial results where the topological connectivity was proven with the nerve lemma.

Polytopes from subgraph statistics are important in applications and conjectures and theorems in extremal graph theory can be stated as properties of them. We have studied them with a view towards applications by inscribing large explicit polytopes and semi-algebraic sets when the facet descriptions are intractable. The semi-algebraic sets called curvy zonotopes are introduced and studied using graph limits. From both volume calculations and algebraic descriptions we find several interesting conjectures.

Minimal cellular resolutions of the edge ideals of cointerval hypergraphs are constructed. This class of d-uniform hypergraphs coincides with the complements of interval graphs (for the case d=2), and strictly contains the class of `strongly stable' hypergraphs corresponding to pure shifted simplicial complexes. The polyhedral complexes supporting the resolutions are described as certain spaces of directed graph homomorphisms, and are realized as subcomplexes of mixed subdivisions of the Minkowski sums of simplices. Resolutions of more general hypergraphs are obtained by considering decompositions into cointerval hypergraphs.

In combinatorial commutative algebra and algebraic statistics many toric ideals are constructed from graphs. Keeping the categorical structure of graphs in mind we give previous results a more functorial context and generalize them by introducing the ideals of graph homomorphisms. For this new class of ideals we investigate how the topology of the graphs influence the algebraic properties. We describe explicit Grobner bases for several classes, generalizing results by Hibi, Sturmfels and Sullivant. One of our main tools is the toric fiber product, and we employ results by Engstrom, Kahle and Sullivant. The lattice polytopes defined by our ideals include important classes in optimization theory, as the stable set polytopes.

We prove a theorem on how to count induced subgraphs in neighborhoods of graphs. Then we use it to prove a subgraph counting identity conjectured by McKay and Radziszowski in there work on Ramsey theory.

We show that the vanishing of certain cohomology groups of polyhedral complexes imply upper bounds on Ramsey numbers. Lovasz bounded the chromatic numbers of graphs using Hom complexes. Babson and Kozlov proved Lovasz conjecture and developed a Hom complex theory. We generalize the Hom complexes to Ramsey complexes. The main theorem states that if certain cohomology groups of the Ramsey complex Ram(dDelta_{p^k}, Sigma) are trivial, then the vertices of the simplicial complex Sigma cannot be n-colored such that every color correspond to a face of Sigma. In a corollary, we give an explicit description of the Ramsey complexes used for upper bounds on Ramsey numbers.