arXiv++ Combinatorics

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.

Given a graph and a representation of its fundamental group, there is a naturally associated twisted adjacency operator. The main result of this article is the fact that these operators behave in a controlled way under graph covering maps. When such an operator can be used to enumerate objects, or compute a partition function, this has concrete implications on the corresponding enumeration problem, or statistical mechanics model. For example, we show that if $\widetildeΓ$ is a finite connected covering graph of a graph $Γ$ endowed with edge-weights $x=\{x_e\}_e$, then the spanning tree partition function of $Γ$ divides the one of $\widetildeΓ$ in the ring $\mathbb{Z}[x]$. Several other consequences are obtained, some known, others new.

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 provide a concise exposition with original proofs of combinatorial formulas for the 2D Ising model partition function, multi-point fermionic observables, spin and energy density correlations, for general graphs and interaction constants, using the language of Kac-Ward matrices. We also give a brief account of the relations between various alternative formalisms which have been used in the combinatorial study of the planar Ising model: dimers and Grassmann variables, spin and disorder operators, and, more recently, s-holomorphic observables. In addition, we point out that these formulas can be extended to the double-Ising model, defined as a pointwise product of two Ising spin configurations on the same discrete domain, coupled along the boundary.

In this note we describe the singular locus of diagonally-dominant Hermitian matrices with nonnegative diagonal entries over the reals, the complex numbers, and the quaternions. This yields explicit expressions for the probability that such matrices, chosen at random, are singular. For instance, in the case of the identity $n \times n$ matrix perturbed by a symmetric, zero-diagonal, $\{\pm 1/(n-1)\}$-Bernoulli matrix, this probability turns out to be equal to $2^{-(n-1)(n-2)/2}$. As a corollary, we find that the probability for a $n\times n$ symmetric $\{\pm 1\}$-Bernoulli matrix to have eigenvalue $n$ is $2^{-(n^2-n+2)/2}$.