2022/12/13 by Adrien Kassel, Kassel, Adrien, Thierry Lévy +1 · 1 citation
Computer Science · Mathematics · #05B35 #05C31 #15A75 #60C05 #Combinatorics (math.CO) #FOS: Mathematics #FOS: Physical sciences #Mathematical Dynamics and Fractals #Mathematical Physics (math-ph) #Probability (math.PR) #Stochastic processes and statistical mechanics #Topological and Geometric Data Analysis
paper · pdf · doi:10.48550/arxiv.2212.06819
openalex publication_date 2022/12/13 · openalex created_date 2022/12/27 · openalex updated_date 2026/07/28
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.