## The Annals of Probability

### Determinantal spanning forests on planar graphs

Richard Kenyon

#### Abstract

We generalize the uniform spanning tree to construct a family of determinantal measures on essential spanning forests on periodic planar graphs in which every component tree is bi-infinite. Like the uniform spanning tree, these measures arise naturally from the Laplacian on the graph.

More generally, these results hold for the “massive” Laplacian determinant which counts rooted spanning forests with weight $M$ per finite component. These measures typically have a form of conformal invariance, unlike the usual rooted spanning tree measure. We show that the spectral curve for these models is always a simple Harnack curve; this fact controls the decay of edge-edge correlations in these models.

We construct a limit shape theory in these settings, where the limit shapes are defined by measured foliations of fixed isotopy type.

#### Article information

Source
Ann. Probab., Volume 47, Number 2 (2019), 952-988.

Dates
Revised: January 2018
First available in Project Euclid: 26 February 2019

https://projecteuclid.org/euclid.aop/1551171642

Digital Object Identifier
doi:10.1214/18-AOP1276

Mathematical Reviews number (MathSciNet)
MR3916939

Zentralblatt MATH identifier
07053561

#### Citation

Kenyon, Richard. Determinantal spanning forests on planar graphs. Ann. Probab. 47 (2019), no. 2, 952--988. doi:10.1214/18-AOP1276. https://projecteuclid.org/euclid.aop/1551171642

#### References

• Aldous, D. J. (1990). The random walk construction of uniform spanning trees and uniform labelled trees. SIAM J. Discrete Math. 3 450–465.
• Benjamini, I., Lyons, R., Peres, Y. and Schramm, O. (2001). Uniform spanning forests. Ann. Probab. 29 1–65.
• Broder, A. (1989). Generating random spanning trees. In Proceedings of the 30th Annual Symposium on Foundations of Computer Science. SFCS’89 442–447. IEEE Computer Society, Washington, DC.
• Burton, R. and Pemantle, R. (1993). Local characteristics, entropy and limit theorems for spanning trees and domino tilings via transfer-impedances. Ann. Probab. 21 1329–1371.
• Carroll, G. D. and Speyer, D. (2004). The cube recurrence. Electron. J. Combin. 11 Research Paper 73, 31.
• Cohn, H., Kenyon, R. and Propp, J. (2001). A variational principle for domino tilings. J. Amer. Math. Soc. 14 297–346.
• Goncharov, A. B. and Kenyon, R. (2013). Dimers and cluster integrable systems. Ann. Sci. Éc. Norm. Supér. (4) 46 747–813.
• Kenyon, R. (2000). Conformal invariance of domino tiling. Ann. Probab. 28 759–795.
• Kenyon, R. (2011). Spanning forests and the vector bundle Laplacian. Ann. Probab. 39 1983–2017.
• Kenyon, R. (2012). The Laplacian on planar graphs and graphs on surfaces. In Current Developments in Mathematics, 2011 1–55. Int. Press, Somerville, MA.
• Kenyon, R. and Okounkov, A. (2006). Planar dimers and Harnack curves. Duke Math. J. 131 499–524.
• Kenyon, R. and Okounkov, A. (2007). Limit shapes and the complex Burgers equation. Acta Math. 199 263–302.
• Kenyon, R., Okounkov, A. and Sheffield, S. (2006). Dimers and amoebae. Ann. of Math. (2) 163 1019–1056.
• Kenyon, R. W., Propp, J. G. and Wilson, D. B. (2000). Trees and matchings. Electron. J. Combin. 7 Research Paper 25, 34.
• Kenyon, R. W. and Wilson, D. B. (2011). Boundary partitions in trees and dimers. Trans. Amer. Math. Soc. 363 1325–1364.
• Kirchhoff, G. (1847). Ueber die Aufloesung der Gleichungen, auf welche man bei der Untersuchung der linearen Vertheilung galvanischer Stroeme gefuehrt wird. Ann. Phys. 148 497–508. DOI:10.1002/andp.18471481202.
• Lawler, G. F., Schramm, O. and Werner, W. (2004). Conformal invariance of planar loop-erased random walks and uniform spanning trees. Ann. Probab. 32 939–995.
• Lyons, R. (2003). Determinantal probability measures. Publ. Math. Inst. Hautes Études Sci. 98 167–212.
• Lyons, R. and Peres, Y. (2016). Probability on Trees and Networks. Cambridge Series in Statistical and Probabilistic Mathematics 42. Cambridge Univ. Press, New York.
• Mikhalkin, G. (2004). Amoebas of algebraic varieties and tropical geometry. In Different Faces of Geometry. Int. Math. Ser. (N.Y.) 3 257–300. Kluwer/Plenum, New York.
• Passare, M. and Rullgård, H. (2004). Amoebas, Monge-Ampère measures, and triangulations of the Newton polytope. Duke Math. J. 121 481–507.
• Pemantle, R. (1991). Choosing a spanning tree for the integer lattice uniformly. Ann. Probab. 19 1559–1574.
• Petersen, T. K. and Speyer, D. (2005). An Arctic circle theorem for Groves. J. Combin. Theory Ser. A 111 137–164.
• Schramm, O. (2000). Scaling limits of loop-erased random walks and uniform spanning trees. Israel J. Math. 118 221–288.
• Sheffield, S. (2006). Uniqueness of maximal entropy measure on essential spanning forests. Ann. Probab. 34 857–864.
• Sun, W. (2016). Toroidal dimer model and Temperley’s bijection. Available at arXiv:1603.00690.
• Temperley, H. N. V. (1976). Transformation of graph-theoretical problems into one another. 585–589. Congressus Numerantium, No. XV.
• Thurston, W. P. (1988). On the geometry and dynamics of diffeomorphisms of surfaces. Bull. Amer. Math. Soc. (N.S.) 19 417–431.
• Wilson, D. B. (1996). Generating random spanning trees more quickly than the cover time. In Proceedings of the Twenty-Eighth Annual ACM Symposium on the Theory of Computing (Philadelphia, PA, 1996) 296–303. ACM, New York.