arXiv++ Combinatorics

We prove optimality of the Arf invariant formula for the generating function of even subgraphs, or, equivalently, the Ising partition function, of a graph.

Consider the problem of determining whether there exists a spanning hypertree in a given k-uniform hypergraph. This problem is trivially in P for k=2, and is NP-complete for k>= 4, whereas for k=3, there exists a polynomial-time algorithm based on Lovasz' theory of polymatroid matching. Here we give a completely different, randomized polynomial-time algorithm in the case k=3. The main ingredients are a Pfaffian formula by Vaintrob and one of the authors (G.M.) for a polynomial that enumerates spanning hypertrees with some signs, and a lemma on the number of roots of polynomials over a finite field.

This talk is a report on joint work with A. Vaintrob [arXiv:math.CO/0109104 and math.GT/0111102]. It is organised as follows. We begin by recalling how the classical Matrix-Tree Theorem relates two different expressions for the lowest degree coefficient of the Alexander-Conway polynomial of a link. We then state our formula for the lowest degree coefficient of an algebraically split link in terms of Milnor's triple linking numbers. We explain how this formula can be deduced from a determinantal expression due to Traldi and Levine by means of our Pfaffian Matrix-Tree Theorem [arXiv:math.CO/0109104]. We also discuss the approach via finite type invariants, which allowed us in [arXiv:math.GT/0111102] to obtain the same result directly from some properties of the Alexander-Conway weight system. This approach also gives similar results if all Milnor numbers up to a given order vanish.

The classical Matrix-Tree Theorem allows one to list the spanning trees of a graph by monomials in the expansion of the determinant of a certain matrix. We prove that in the case of three-graphs (that is, hypergraphs whose edges have exactly three vertices) the spanning trees are generated by the Pfaffian of a suitably defined matrix. This result can be interpreted topologically as an expression for the lowest order term of the Alexander-Conway polynomial of an algebraically split link. We also prove some algebraic properties of our Pfaffian-tree polynomial.