arXiv++ Combinatorics

We study representations of tropical linear spaces as intersections of tropical hyperplanes of circuits. For several classes of matroids, we describe minimal tropical bases. We also show that every realizable tropical linear space has a natural, tropically linear parametrization involving its cocircuits.

We give a simple proof of Tutte's theorem stating that the cycle space of a 3--connected graph is generated by the set of non-separating circuits of the graph. Keywords: graph, cycle, circuit, cycle space, non-separating circuit, strong isomorphism.

By Lovasz' proof of the Kneser conjecture, the chromatic number of a graph G is bounded from below by the index of the Z_2-space Hom(K_2,G) plus two. We show that the cohomological index of Hom(K_2,G) is also greater than the cohomological index of the Z_2-space Hom(C_{2r+1}, G) for r>0. This gives a new and simple proof of the strong form of the graph colouring theorem by Babson and Kozlov, which had been conjectured by Lovasz, and at the same time shows that it never gives a stronger bound than can be obtained by Hom(K_2, G). The proof extends ideas introduced by Zivaljevic in a previous elegant proof of a special case. We then generalise the arguments and obtain conditions under which corresponding results hold for other graphs in place of C_{2r+1}. This enables us to find an infinite family of test graphs of chromatic number 4 among the Kneser graphs. Our main new result is a description of the Z_2-homotopy type of the direct limit of the system of all the spaces Hom(C_{2r+1}, G) in terms of the Z_2-homotopy type of Hom(K_2, G). A corollary is that the coindex of Hom(K_2, G) does not exceed the coindex of Hom(C_{2r+1}, G) by more then one if r is chosen sufficiently large. Thus the graph colouring bound in the theorem by Babson & Kozlov is also never weaker than that from Lovasz' proof of the Kneser conjecture.

The vertex-nullity interlace polynomial of a graph, described by Arratia, Bollobás and Sorkin as evolving from questions of DNA sequencing, and extended to a two-variable interlace polynomial by the same authors, evokes many open questions. These include relations between the interlace polynomial and the Tutte polynomial and the computational complexity of the vertex-nullity interlace polynomial. Here, we prove that the one-variable vertex-nullity interlace polynomial is in general #P-hard to compute. We also show a relation between the two-variable interlace polynomial and the topological Tutte polynomial of Bollobás and Riordan. We define the γinvariant as the coefficient of x^1 in the vertex-nullity interlace polynomial, analogously to the βinvariant, which is the coefficient of x^1 in the Tutte polynomial. We then turn to distance hereditary graphs, and show that graphs in this class have γinvariant of 2^{n+1} when n true twins are added in their construction. We furthermore show that bipartite distance hereditary graphs are exactly the class of graphs with γinvariant 2, just as the series-parallel graphs are exactly the class of graphs with βinvariant 1. In addition, we show that a bipartite distance hereditary graph arises precisely as the circle graph of any Euler circuit in the oriented medial graph of a series-parallel graph. From this we conclude that the vertex-nullity interlace polynomial is polynomial time to compute for bipartite distance hereditry graphs, just as the Tutte polynomial is polynomial time to compute for series-parallel graphs.

We apply in this article (non rigorous) statistical mechanics methods to the problem of counting long circuits in graphs. The outcomes of this approach have two complementary flavours. On the algorithmic side, we propose an approximate counting procedure, valid in principle for a large class of graphs. On a more theoretical side, we study the typical number of long circuits in random graph ensembles, reproducing rigorously known results and stating new conjectures.

Let F be a field and let G be a finite graph with a total ordering on its edge set. Richard Stanley noted that the Stanley-Reisner ring F(G) of the broken circuit complex of G is Cohen-Macaulay. Jason Brown gave an explicit description of a homogeneous system of parameters for F(G) in terms of fundamental cocircuits in G. So F(G) modulo this hsop is a finite dimensional vector space. We conjecture an explicit monomial basis for this vector space in terms of the circuits of G and prove that the conjecture is true for two infinite families of graphs. We also explore an application of these ideas to bounding the number of acyclic orientations of G from above.

A family C of circuits of a matroid M is a linear class if, given a modular pair of circuits in C}, any circuit contained in the union of the pair is also in C. The pair (M,C) can be seen as a matroidal generalization of a biased graph. We introduce and study an Orlik-Solomon type algebra determined by (M,C). If C is the set of all circuits of M this algebra is the Orlik-Solomon algebra of M.

The circuit ideal, $\ica$, of a configuration $\A = \{\a_1, ..., \a_n\} \subset \Z^d$ is the ideal generated by the binomials ${\x}^{\cc^+} - {\x}^{\cc^-} \in \k[x_1, ..., x_n]$ as $\cc = \cc^+ - \cc^- \in \Z^n$ varies over the circuits of $\A$. This ideal is contained in the toric ideal, $\ia$, of $\A$ which has numerous applications and is nontrivial to compute. Since circuits can be computed using linear algebra and the two ideals often coincide, it is worthwhile to understand when equality occurs. In this paper we study $\ica$ in relation to $\ia$ from various algebraic and combinatorial perspectives. We prove that the obstruction to equality of the ideals is the existence of certain polytopes. This result is based on a complete characterization of the standard pairs/associated primes of a monomial initial ideal of $\ica$ and their differences from those for the corresponding toric initial ideal. Eisenbud and Sturmfels proved that $\ia$ is the unique minimal prime of $\ica$ and that the embedded primes of $\ica$ are indexed by certain faces of the cone spanned by $\A$. We provide a necessary condition for a particular face to index an embedded prime and a partial converse. Finally, we compare various polyhedral fans associated to $\ia$ and $\ica$. The Gröbner fan of $\ica$ is shown to refine that of $\ia$ when the codimension of the ideals is at most two.

Let M be an nXn symetric matrix, n, even, T, an upper bound for T_OPT, an optimal tour, sigma_T, the smaller-valued perfect matching obtained from alternate edges of T expressed as a product of 2-cycles. Applying the modified Floyd-Warshall algorithm to (sigma_T)^-1M^-, we construct acceptable and 2-circuit cycles some sets of which may yield circuits that can be patched into tours. We obtain necessary and sufficient conditions for a set, S, of cycles to yield circuits that may be patched into a tour.Assume that the following (Condition A)is valid: If (sigma_T)s = T*, |T*|<T, then all cycles of s have values less than |T| - |sigma_T|.Let SFWOPT),S(OPT)be the respective sets of cycles yielding T_FWOPT, T_OPT. Given Condition(A), using F-W, we can always obtain S(FWOPT). Using Condition A but not F-W, S_OPT is always obtainable from a subset of the cycles obtained.

Las Vergnas Cube Conjecture states that the cube matroid has exactly one class of orientations. We prove that this conjecture is equivalent to saying that the oriented matroid of the affine dependencies of the n-cube can be reconstructed from the underlying matroid and one of the following partial lists of signed circuits or cocircuits: A) the signed circuits of rank 3, or B) the positive signed cocircuits.

We study the Maurer-Cartan equation of the pre-Lie algebra of graphs controling the deformation theory of associative algebras and prove that there is a canonical solution within the class of graphs without circuits, without assuming the Jacobi identity. The proof is based on the unique factorization property of graph insertions.

A flat of a matroid is cyclic if it is a union of circuits. The cyclic flats of a matroid form a lattice under inclusion. We study these lattices and explore matroids from the perspective of cyclic flats. In particular, we show that every lattice is isomorphic to the lattice of cyclic flats of a matroid. We give a necessary and sufficient condition for a lattice Z of sets and a function r on Z to be the lattice of cyclic flats of a matroid and the restriction of the corresponding rank function to Z. We define cyclic width and show that this concept gives rise to minor-closed, dual-closed classes of matroids, two of which contain only transversal matroids.

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 use the results of AG/0406290 to discuss the counting formulas of network flow polytopes and magic squares, i.e. the formula for the corresponding Ehrhart polynomial in terms of residues. We also discuss a description of the big cells using the theory of non broken circuit bases.

In this article, we study directed graphs (digraphs) with a coloring constraint due to Von Neumann and related to Nim-type games. This is equivalent to the notion of kernels of digraphs, which appears in numerous fields of research such as game theory, complexity theory, artificial intelligence (default logic, argumentation in multi-agent systems), 0-1 laws in monadic second order logic, combinatorics (perfect graphs)... Kernels of digraphs lead to numerous difficult questions (in the sense of NP-completeness, #P-completeness). However, we show here that it is possible to use a generating function approach to get new informations: we use technique of symbolic and analytic combinatorics (generating functions and their singularities) in order to get exact and asymptotic results, e.g. for the existence of a kernel in a circuit or in a unicircuit digraph. This is a first step toward a generatingfunctionology treatment of kernels, while using, e.g., an approach "a la Wright". Our method could be applied to more general "local coloring constraints" in decomposable combinatorial structures.

Let G be a finite planar connected graph without loops or multiple edges. All minimal circuits except atmost one - say C* - are triangles. Let k be the number of vertices of C*. There are at least 2**(k-3) colorings of the vertices of G with four colors, vertices connected by edges colored differently. These colorings are different on C*.

Given a matroid M represented by a linear subspace L in n-space (equivalently by an arrangement of n hyperplanes in L), we define a graded ring R(L) which degenerates to the Stanley-Reisner ring of the broken circuit complex for any choice of ordering of the ground set. In particular, R(L) is Cohen-Macaulay, and may be used to compute the h-vector of the broken circuit complex of M. We give a geometric interpretation of Spec R(L), as well as a stratification indexed by the flats of M.

We study the combinatorial, algebraic and geometric properties of the free product operation on matroids. After giving cryptomorphic definitions of free product in terms of independent sets, bases, circuits, closure, flats and rank function, we show that free product, which is a noncommutative operation, is associative and respects matroid duality. The free product of matroids $M$ and $N$ is maximal with respect to the weak order among matroids having $M$ as a submatroid, with complementary contraction equal to $N$. Any minor of the free product of $M$ and $N$ is a free product of a repeated truncation of the corresponding minor of $M$ with a repeated Higgs lift of the corresponding minor of $N$. We characterize, in terms of their cyclic flats, matroids that are irreducible with respect to free product, and prove that the factorization of a matroid into a free product of irreducibles is unique up to isomorphism. We use these results to determine, for K a field of characteristic zero, the structure of the minor coalgebra $\cal C$ of a family of matroids $\cal M$ that is closed under formation of minors and free products: namely, $\cal C$ is cofree, cogenerated by the set of irreducible matroids belonging to $\cal M$.

We present a number of lower bounds for the h-vectors of k-CM, broken circuit and independence complexes. These lead to bounds on the coefficients of the characteristic and reliability polynomials of matroids. The main techniques are the use of series and parallel constructions on matroids and the short simplicial h-vector for pure complexes.