arXiv++ Combinatorics

We define a class of bipartite graphs that correspond naturally with Ferrers diagrams. We give expressions for the number of spanning trees, the number of Hamiltonian paths when applicable, the chromatic polynomial, and the chromatic symmetric function. We show that the linear coefficient of the chromatic polynomial is given by the excedance set statistic.

We prove that the chromatic polynomial $P_\mathbb{G}(q)$ of a finite graph $\mathbb{G}$ of maximal degree $\D$ is free of zeros for $\card q\ge C^*(\D)$ with $$ C^*(\D) = \min_{0<x<2^{1\over \D}-1} {(1+x)^{\D-1}\over x [2-(1+x)^\D]} $$ This improves results by Sokal (2001) and Borgs (2005). Furthermore, we present a strengthening of this condition for graphs with no triangle-free vertices.

We introduce a new graph invariant Λ(G) that we call maxmaxflow, and put it in the context of some other well-known graph invariants, notably maximum degree and its relatives. We prove the equivalence of two "dual" definitions of maxmaxflow: one in terms of flows, the other in terms of cocycle bases. We then show how to bound the total number (or more generally, total weight) of various classes of subgraphs of G in terms of either maximum degree or maxmaxflow. Our results are motivated by a conjecture that the modulus of the roots of the chromatic polynomial of G can be bounded above by a function of Λ(G).

We study the zero-temperature partition function of the Potts antiferromagnet (i.e., the chromatic polynomial) on a torus using a transfer-matrix approach. We consider square- and triangular-lattice strips with fixed width L, arbitrary length N, and fully periodic boundary conditions. On the mathematical side, we obtain exact expressions for the chromatic polynomial of widths L=5,6,7 for the square and triangular lattices. On the physical side, we obtain the exact ``phase diagrams'' for these strips of width L and infinite length, and from these results we extract useful information about the infinite-volume phase diagram of this model: in particular, the number and position of the different phases.

We generalize proper coloring of gain graphs to totally frustrated states, where each vertex takes a value in a set of `qualities' or `spins' that is permuted by the gain group. (An example is the Potts model.) The number of totally frustrated states satisfies the usual deletion-contraction law but is matroidal only for standard coloring, where the group action is trivial or nearly regular. One can generalize chromatic polynomials by constructing spin sets with repeated transitive components.

The algebra of truncated polynomials A_m=Z[x]/(x^m) plays an important role in the theory of Khovanov and Khovanov-Rozansky homology of links. We have demonstrated that Hochschild homology is closely related to Khovanov homology via comultiplication free graph cohomology. It is not difficult to compute Hochschild homology of A_m and the only torsion, equal to Z_m, appears in gradings (i,m(i+1)/2) for any positive odd i. We analyze here the grading of graph cohomology which is producing torsion for a polygon. We find completely the cohomology H^{1,v-1}_{A_2}(G) and H^{1,2v-3}_{A_3}(G). The group H^{1,v-1}_{A_2}(G) is closely related to the standard graph cohomology, except that the boundary of an edge is the sum of endpoints instead of the difference. The result about H^{1,v-1}_{A_2}(G) gives as a corollary a fact about Khovanov homology of alternating and + or - adequate link diagrams. The group H^{1,2v-3}_{A_3}(G) can be computed from the homology of a cell complex, X_{Δ,4}(G), built from the graph G. In particular, we prove that A_3 cohomology can have any torsion. We give a simple and complete characterization of those graphs which have torsion in cohomology H^{1,2v-3}_{A_3}(G) (e.g. loopless graphs which have a 3-cycle). We also construct graphs which have the same (di)chromatic polynomial but different H^{1,2v-3}_{A_3}(G). Finally, we give examples of calculations of width of H^{1,*}_{A_3}(G) and of cohomology H^{1,(m-1)(v-2)+1}_{A_m}(G) for m>3.

In this paper we prove the knight move theorem for the chromatic graph cohomologies with rational coefficients introduced by L. Helme-Guizon and Y. Rong. Namely, for a connected graph G with n vertices the only non-trivial cohomology groups $H^{i,n-i}(G)$, $H^{i,n-i-1}(G)$ come in isomorphic pairs: $H^{i,n-i}(G)\cong H^{i+1,n-i-2}(G)$ for i >= 0 if G is non-bipartite, and for i > 0 if G is bipartite. As a corollary, the ranks of the cohomology groups are determined by the chromatic polynomial. At the end, we give an explicit formula for the Poincare polynomial in terms of the chromatic polynomial and a deletion-contraction formula for the Poincare polynomial.

Motivated by Khovanov homology and relations between the Jones polynomial and graph polynomials, we construct a homology theory for embedded graphs from which the chromatic polynomial can be recovered as the Euler characteristic. For plane graphs, we show that our chromatic homology can be recovered from the Khovanov homology of an associated link. We apply this connection with Khovanov homology to show that the torsion-free part of our chromatic homology is independent of the choice of planar embedding of a graph. We extend our construction and categorify the Bollobas-Riordan polynomial (a generalisation of the Tutte polynomial to embedded graphs). We prove that both our chromatic homology and the Khovanov homology of an associated link can be recovered from this categorification.

In this paper we give a new characterization of the h-vector of the chromatic polynomial of a graph. We introduce reduced chromatic cohomology of a graph and show that h_i are its Betti numbers. We then discuss various combinatorial properties of these cohomologies. In particular we prove that these cohomologies depend only on the matroid type of the graph and describe their relationship to the regular chromatic cohomologies.

Given a simplicial hyperplane arrangement H and a subspace arrangement A embedded in H, we define a simplicial complex Delta_{A,H} as the subdivision of the link of A induced by H. In particular, this generalizes Steingrimsson's coloring complex of a graph. We do the following: (1) When A is a hyperplane arrangement, Delta_{A,H} is shown to be shellable. As a special case, we answer affirmatively a question of Steingrimsson on coloring complexes. (2) For H being a Coxeter arrangement of type A or B we obtain a close connection between the Hilbert series of the Stanley-Reisner ring of Delta_{A,H} and the characteristic polynomial of A. This extends results of Steingrimsson and provides an interpretation of chromatic polynomials of hypergraphs and signed graphs in terms of Hilbert polynomials.

In this paper, for each graph $G$, we def\mbox{}ine a chain complex of graded modules over the ring of polynomials, whose graded Euler characteristic is equal to the chromatic polynomial of $G$. Furthermore, we def\mbox{}ine a chain complex of doubly-graded modules, whose (doubly) graded Euler characteristic is equal to the dichromatic polynomial of $G$. Both constructions use Koszul complexes, and are similar to the new Khovanov-Rozansky categorif\mbox{}ications of HOMFLYPT polynomial. We also give simplif\mbox{}ied def\mbox{}inition of this triply-graded link homology theory.

Some important properties of the chromatic polynomial also hold for any polynomial set map satisfying p_S(x+y)=\sum_{T\uplus U=S}p_T(x)p_U(y). Using umbral calculus, we give a formula for the expansion of such a set map in terms of any polynomial sequence of binomial type. This leads to some new expansions of the chromatic polynomial. We also describe a set map generalization of Abel polynomials.

For each commutative, graded algebra with finite dimension in each degree, we construct a graded cohomology theory for graphs whose graded Euler characteristic is the chromatic polynomial of the graph. This extends our previous work which was based on the algebra $\mathbb {Z}[x]/(x^2)$.

We define an algorithm k which takes a connected graph G on a totally ordered vertex set and returns an increasing tree R (which is not necessarily a subtree of G). We characterize the set of graphs G such that k(G)=R. Because this set has a simple structure (it is isomorphic to a product of non-empty power sets), it is easy to evaluate certain graph invariants in terms of increasing trees. In particular, we prove that, up to sign, the coefficient of x^q in the chromatic polynomial of G is the number of increasing forests with q components that satisfy a condition that we call G-connectedness. We also find a bijection between increasing G-connected trees and broken circuit free subtrees of G.

The multivariate Tutte polynomial (known to physicists as the Potts-model partition function) can be defined on an arbitrary finite graph G, or more generally on an arbitrary matroid M, and encodes much important combinatorial information about the graph (indeed, in the matroid case it encodes the full structure of the matroid). It contains as a special case the familiar two-variable Tutte polynomial -- and therefore also its one-variable specializations such as the chromatic polynomial, the flow polynomial and the reliability polynomial -- but is considerably more flexible. I begin by giving an introduction to all these problems, stressing the advantages of working with the multivariate version. I then discuss some questions concerning the complex zeros of the multivariate Tutte polynomial, along with their physical interpretations in statistical mechanics (in connection with the Yang--Lee approach to phase transitions) and electrical circuit theory. Along the way I mention numerous open problems. This survey is intended to be understandable to mathematicians with no prior knowledge of physics.

We are given k points (events) in (n+1)-dimensional Minkowski space. Using the theory of hyperplane arrangments and chromatic polynomials, we obtain information the number of different orders in which the events can occur in different reference frames if the events are sufficiently generic. We consider the question of what sets of orderings of the points are possible and show a connection with sphere orders and the allowable sequences of Goodman and Pollack.

We define a q-chromatic function on graphs, list some of its properties and provide some formulas in the class of general chordal graphs. Then we relate the q-chromatic function to the colored Jones function of knots. This leads to a curious expression of the colored Jones function of a knot diagram as a 'defected chromatic operator' applied to a power series whose coefficients are linear combinations of chord diagrams constructed from 'flows' on the reduced knot diagram.

For each graph we construct graded cohomology groups whose graded Euler characteristic is the chromatic polynomial of the graph. We show the cohomology groups satisfy a long exact sequence which corresponds to the well-known deletion-contraction rule. This work is motivated by Khovanov's work on categorification of the Jones polynomial of knots.

We study the chromatic polynomial P_G(q) for m \times n square- and triangular-lattice strips of widths 2\leq m \leq 8 with cyclic boundary conditions. This polynomial gives the zero-temperature limit of the partition function for the antiferromagnetic q-state Potts model defined on the lattice G. We show how to construct the transfer matrix in the Fortuin--Kasteleyn representation for such lattices and obtain the accumulation sets of chromatic zeros in the complex q-plane in the limit n\to\infty. We find that the different phases that appear in this model can be characterized by a topological parameter. We also compute the bulk and surface free energies and the central charge.

We study the chromatic polynomial P_G(q) for m \times n triangular-lattice strips of widths m <= 12_P, 9_F (with periodic or free transverse boundary conditions, respectively) and arbitrary lengths n (with free longitudinal boundary conditions). The chromatic polynomial gives the zero-temperature limit of the partition function for the q-state Potts antiferromagnet. We compute the transfer matrix for such strips in the Fortuin--Kasteleyn representation and obtain the corresponding accumulation sets of chromatic zeros in the complex q-plane in the limit n\to\infty. We recompute the limiting curve obtained by Baxter in the thermodynamic limit m,n\to\infty and find new interesting features with possible physical consequences. Finally, we analyze the isolated limiting points and their relation with the Beraha numbers.