arXiv++ Combinatorics

This paper describes an improvement in the upper bound for the magnitude of a coefficient of a term in the chromatic polynomial of a general graph. If $a_r$ is the coefficient of the $q^r$ term in the chromatic polynomial $P(G,q)$, where $q$ is the number of colors, then we find $a_r \le {e \choose v-r} - {e-g+2 \choose v-r-g+2} + {e-k_g-g+2 \choose v-r-g+2} - \sum _{n=1}^{k_g-\ell_g}\sum_{m=1}^{\ell_g-1} {e-g+1-n-m \choose v-r-g} - δ_{g,3}\sum_{n=1}^{k_g+\ell_{g+1}^*-\ell_g} {e-\ell_g-g+1-n \choose v-r-g}$, where $k_g$ is the number of circuits of length $g$ and $\ell_g$ and $\ell_{g+1}^*$ are certain numbers defined in the text.

Let G be a finite connected graph. The Kirchhoff polynomial of G is a certain homogeneous polynomial whose degree is equal to the first betti number of G. These polynomials appear in the study of electrical circuits and in the evaluation of Feynman amplitudes. Motivated by work of D. Kreimer and D. J. Broadhurst associating multiple zeta values to certain Feynman integrals, Kontsevich conjectured that the number of zeros of a Kirchhoff polynomial over the field with q elements is always a polynomial function of q. We show that this conjecture is false by relating the schemes defined by Kirchhoff polynomials to the representation spaces of matroids. Moreover, using Mnev's universality theorem, we show that these schemes essentially generate all arithmetic of schemes of finite type over the integers.

We give a simple combinatorial proof of a formula that extends a result by Grigorchuk (rediscovered by Cohen) relating cogrowth and spectral radius of random walks. Our main result is an explicit equation determining the number of `bumps' on paths in a graph: in a $d$-regular (not necessarily transitive) non-oriented graph let the series $G(t)$ count all paths between two fixed points weighted by their length $t^{length}$, and $F(u,t)$ count the same paths, weighted as $u^{number of bumps}t^{length}$. Then one has $$F(1-u,t)/(1-u^2t^2) = G(t/(1+u(d-u)t^2))/(1+u(d-u)t^2).$$ We then derive the circuit series of `free products' and `direct products' of graphs. We also obtain a generalized form of the Ihara-Selberg zeta function.

We give polynomial-time algorithms for obtaining hamilton circuits in random graphs, G, and random directed graphs, D. If n is finite, we assume that G or D contains a hamilton circuit. If G is an arbitrary graph containing a hamilton circuit, we conjecture that Algorithm G always obtains a hamilton circuit in polynomial time.

Let $G$ be a matroid on ground set \A. The Orlik-Solomon algebra $A(G)$ is the quotient of the exterior algebra \E on \A by the ideal \I generated by circuit boundaries. The quadratic closure $\bar{A}(G)$ of $A(G)$ is the quotient of \E by the ideal generated by the degree-two component of \I. We introduce the notion of \nbb set in $G$, determined by a linear order on \A, and show that the corresponding monomials are linearly independent in the quadratic closure $\bar{A}(G)$. As a consequence, $A(G)$ is a quadratic algebra only if $G$ is line-closed. An example of S.~Yuzvinsky proves the converse false. These results generalize to the degree $r$ closure of $\A(G)$. The motivation for studying line-closed matroids grew out of the study of formal arrangements. This is a geometric condition necessary for \A to be free and for the complement $M$ of \A to be a $K(π,1)$ space. Formality of \A is also necessary for $A(G)$ to be a quadratic algebra. We clarify the relationship between formality, line-closure, and other matroidal conditions related to formality. We give examples to show that line-closure of $G$ is not necessary or sufficient for $M$ to be a $K(π,1)$, or for \A to be free.

The Orlik-Solomon algebra ${\cal A}(G)$ of a matroid $G$ is the free exterior algebra on the points, modulo the ideal generated by the circuit boundaries. On one hand, this algebra is a homotopy invariant of the complement of any complex hyperplane arrangement realizing $G$. On the other hand, some features of the matroid $G$ are reflected in the algebraic structure of ${\cal A}(G)$. In this mostly expository article, we describe recent developments in the construction of algebraic invariants of ${\cal A}(G)$. We develop a categorical framework for the statement and proof of recently discovered isomorphism theorems which suggests a possible setting for classification theorems. Several specific open problems are formulated.

In 1967 Kasteleyn introduced a powerful method for enumerating the 1-factors of planar graphs. In fact his method can be extended to graphs which permit an orientation under which every alternating circuit is clockwise odd. Graphs with this property are called {\it Pfaffian}. Little characterised Pfaffian bipartite graphs in terms of forbidden subgraphs in 1975. We extend his characterisation to near bipartite graphs.

Given a 0-1 square matrix A, when can some of the 1's be changed to -1's in such a way that the permanent of A equals the determinant of the modified matrix? When does a real square matrix have the property that every real matrix with the same sign pattern (that is, the corresponding entries either have the same sign or are both zero) is nonsingular? When is a hypergraph with n vertices and n hyperedges minimally nonbipartite? When does a bipartite graph have a "Pfaffian orientation"? Given a digraph, does it have no directed circuit of even length? Given a digraph, does it have a subdivision with no even directed circuit? It is known that all of the above problems are equivalent. We prove a structural characterization of the feasible instances, which implies a polynomial-time algorithm to solve all of the above problems. The structural characterization says, roughly speaking, that a bipartite graph has a Pfaffian orientation if and only if it can be obtained by piecing together (in a specified way) planar bipartite graphs and one sporadic nonplanar bipartite graph.

We introduce the concept of a bounded below set in a lattice. This can be used to give a generalization of Rota's broken circuit theorem to any finite lattice. We then show how this result can be used to compute and combinatorially explain the Möbius function in various examples including non-crossing set partitions, shuffle posets, and integer partitions in dominance order. Next we present a generalization of Stanley's theorem that the characteristic polynomial of a semimodular supersolvable lattice factors over the integers. We also give some applications of this second main theorem, including the Tamari lattices.