arXiv++ Combinatorics

We introduce a determinantal linear process on the space of $1$-forms over a weighted graph endowed with a unitary local system, which we call the determinantal linear spanning forest (DLSF). This process is the analog of the uniform spanning tree in the presence of an arbitrary rank $n$ quenched gauge field in ${\rm U}(n)$ (or ${\rm O}(n)$, ${\rm SO}(n)$, ${\rm SU}(n)$, ${\rm Sp}(n)$), and generalizes the determinantal random cycle-rooted spanning forest which corresponds to the case of ${\rm U}(1)$ and ${\rm SU}(2)$. We describe the support of this process by means of a polymatroid which is described in terms of the circular and bicircular matroids. We also explain how the DLSF relates to the computation of currents in an electrical network in the presence of a gauge field. The partition function of the DLSF is shown to be the determinant of the twisted Laplacian, for which we also give a matrix-tree type theorem that computes its characteristic polynomial. We initiate the study of the twisted Laplacian determinant as a functional on the space of connections, and give a first order expansion of it in a neighborhood of the trivial connection, for which we provide a probabilistic interpretation. We extend the construction to infinite graphs, exhibiting the analogs of the classical wired and free distributions on spanning forests. We give a sufficient geometric condition on the local spectral gap for the existence of a Poincaré inequality as well as the uniqueness of the infinite volume measure, and the exponential decay of correlations. We show that on any recurrent graph, the wired and free DLSF coincide. We construct examples where they do not, for example, unlike in the classical case, on $\mathbb Z^d$ for $d\geq 3$.

We give an expression for the determinant of the twisted Laplacian associated with any linear representation of a finite quiver in terms of traces of the holonomy of its cycles. To establish this expression, we prove a general identity for the determinant of a block matrix in terms of traces of products of its blocks. We give two proofs, one purely enumerative and one using generating series. In the special case of a finite graph equipped with a vector bundle and a connection, the twisted Laplacian determinant admits a combinatorial interpretation as a weighted count of tuples of oriented cycle-rooted spanning forests, where the weights involve traces of holonomies along cycles formed by combining the edges of the forests.

We define two families of determinantal random spanning subgraphs of a finite connected graph, one supported by acyclic spanning subgraphs (spanning forests) with fixed number of connected components, the other by connected spanning subgraphs with fixed number of independent cycles. Each family generalizes the uniform spanning tree and the generating functions of these probability measures generalize the classical Kirchhoff and Symanzik polynomials. We call Symanzik spanning forests the elements of the acyclic spanning subgraphs family, and single out a particular determinantal mixture of these, having as kernel a normalized Laplacian on $1$-forms, which we call the Laplacian spanning forest. Our proofs rely on a set of integral and real or complex (which we call geometric) multilinear identies involving cycles, coboundaries, and forests on graphs. We prove these identities using classical pieces of the algebraic topology of graphs and the exterior calculus applied to finite determinantal point processes, both of which we treat in a self-contained way. We emphasize the matroidal nature of our constructions, thereby showing how the above two families of random spanning subgraphs are dual to one another, as well as possible generalisations.

We introduce and study a class of determinantal probability measures generalising the class of discrete determinantal point processes. These measures live on the Grassmannian of a real, complex, or quaternionic inner product space that is split into pairwise orthogonal finite-dimensional subspaces. They are determined by a positive self-adjoint contraction of the inner product space, in a way that is equivariant under the action of the group of isometries that preserve the splitting.

In this short note, we revisit Zeilberger's proof of the classical matrix-tree theorem and give a unified concise proof of variants of this theorem, some known and some new.

We give a bijective proof of the fact that the number of k-prefixes of minimal factorisations of the n-cycle (1...n) as a product of n-1 transpositions is n^{k-1}\binom{n}{k+1}. Rather than a bijection, we construct a surjection with fibres of constant size. This surjection is inspired by a bijection exhibited by Stanley between minimal factorisations of an n-cycle and parking functions, and by a counting argument for parking functions due to Pollak.