arXiv++ Combinatorics

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.

We prove, by simple manipulation of commutators, two noncommutative generalizations of the Cauchy-Binet formula for the determinant of a product. As special cases we obtain elementary proofs of the Capelli identity from classical invariant theory and of Turnbull's Capelli-type identities for symmetric and antisymmetric matrices.

We study the generating function of rooted and unrooted hyperforests in a general complete hypergraph with n vertices by using a novel Grassmann representation of their generating functions. We show that this new approach encodes the known results about the exponential generating functions for the different number of vertices. We consider also some applications as counting hyperforests in the k-uniform complete hypergraph and the one complete in hyperedges of all dimensions. Some general feature of the asymptotic regimes for large number of connected components is discussed.

Given a hypergraph G, we introduce a Grassmann algebra over the vertex set, and show that a class of Grassmann integrals permits an expansion in terms of spanning hyperforests. Special cases provide the generating functions for rooted and unrooted spanning (hyper)forests and spanning (hyper)trees. All these results are generalizations of Kirchhoff's matrix-tree theorem. Furthermore, we show that the class of integrals describing unrooted spanning (hyper)forests is induced by a theory with an underlying OSP(1|2) supersymmetry.

We prove a generalization of Kirchhoff's matrix-tree theorem in which a large class of combinatorial objects are represented by non-Gaussian Grassmann integrals. As a special case, we show that unrooted spanning forests, which arise as a q \to 0 limit of the Potts model, can be represented by a Grassmann theory involving a Gaussian term and a particular bilocal four-fermion term. We show that this latter model can be mapped, to all orders in perturbation theory, onto the N-vector model at N=-1 or, equivalently, onto the sigma-model taking values in the unit supersphere in R^{1|2}. It follows that, in two dimensions, this fermionic model is perturbatively asymptotically free.

We introduce a general class of statistical-mechanics models, taking values in an abelian group, which includes examples of both spin and gauge models, both ordered and disordered. The model is described by a set of ``variables'' and a set of ``interactions''. A Gibbs factor is associated to each variable and to each interaction. We introduce a duality transformation for systems in this class. The duality exchanges the abelian group with its dual, the Gibbs factors with their Fourier transforms, and the interactions with the variables. High (low) couplings in the interaction terms are mapped into low (high) couplings in the one-body terms. The idea is that our class of systems extends the one for which the classical procedure 'a la Kramers and Wannier holds, up to include randomness into the pattern of interaction. We introduce and study some physical examples: a random Gaussian Model, a random Potts-like model, and a random variant of discrete scalar QED. We shortly describe the consequence of duality for each example.