Determinantal linear spanning forests
Abstract
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 U(n) (or Or(n), SO(n), SU(n), Sp(n)), and generalizes the determinantal random cycle-rooted spanning forest which corresponds to the case of U(1) and 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 Zd for d≥ 3.
Related
- Spanning Even Linear Forests with Isolated Edges Share the Anti-Ramsey Numbers of Perfect Matchings
- Product approximations for uniform spanning trees and determinantal processes
- Sharp Bounds for Common Spanning Forests under Color Refinement
- A sharp upper bound on the number of spanning forests of regular graphs
- A zero-one law for swap-invariant events in uniform spanning forests
BibTeX
@misc{kassel2026determinantal,
title = {{Determinantal linear spanning forests}},
author = {Adrien Kassel and Thierry Levy},
howpublished = {HAL},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.16963},
eprint = {2610.16963},
archivePrefix = {arXiv},
url = {https://hal.science/hal-05836012v1},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - Determinantal linear spanning forests
AU - Adrien Kassel
AU - Thierry Levy
PY - 2026
DA - 2026/10/12
PB - HAL
DO - 10.48550/arxiv.2610.16963
UR - https://hal.science/hal-05836012v1
AB - 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 U(n) (or Or(n), SO(n), SU(n), Sp(n)), and generalizes the determinantal random cycle-rooted spanning forest which corresponds to the case of U(1) and 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 Z^d for d≥ 3.
ER -