Abstract
Recent works have shown that there is a canonical way to to assign a metric (distance function) to a Liouville quantum gravity (LQG) surface for any parameter \(\gamma \in (0,2)\). We establish a strong confluence property for LQG geodesics, which generalizes a result proven by Angel, Kolesnik and Miermont for the Brownian map. Using this property, we also establish zero-one laws for the Hausdorff dimensions of geodesics, metric ball boundaries, and metric nets w.r.t. the Euclidean or LQG metric. In the case of a metric ball boundary, our result combined with earlier work of Gwynne (Commun Math Phys 378(1):625–689, 2020. arXiv:1909.08588) gives a formula for the a.s. Hausdorff dimension for the boundary of the metric ball stopped when it hits a fixed point in terms of the Hausdorff dimension of the whole LQG surface. We also show that the Hausdorff dimension of the metric ball boundary is carried by points which are not on the boundary of any complementary connected component of the ball.
This is a preview of subscription content, access via your institution.









Notes
Our axioms for a \(\gamma \)-LQG metric only concern a.s. properties of \(D_h\) when h is a GFF plus a continuous function. So, once we have defined \(D_h\) a.s. when h is a GFF plus a continuous function, we can take D to be any measurable mapping \(\mathcal D'(U) \rightarrow \{\text {continuous metrics on U}\}\) which is a.s. consistent with our given definition when h is a GFF plus a continuous function. In fact, the construction of the metric in [11, 13, 15, 20, 22] only gives an explicit definition of \(D_h\) in the case when h is a GFF plus a continuous function.
Here and in what follows, for two functions f, g of a positive real number x we write \(f(x) = o_x(g(x))\) (resp. \(f(x) = O_x(g(x))\)) if f(x)/g(x) goes to zero (resp. remains bounded) as \(x\rightarrow 0\). The dependencies of the rate of convergence will always be specified unless they are clear from the context.
References
Ang, M.: Comparison of discrete and continuum Liouville first passage percolation. Electron. Commun. Probab., 24:Paper No. 64, 12, (2019). arXiv:1904.09285
Angel, O., Kolesnik, B., Miermont, G.: Stability of geodesics in the Brownian map. Ann. Probab. 45(5), 3451–3479 (2017). arXiv:1502.04576
Beffara, V.: The dimension of the SLE curves. Ann. Probab. 36(4), 1421–1452 (2008). arXiv:math/0211322
Berestycki, N.: Introduction to the Gaussian Free Field and Liouville Quantum Gravity. https://homepage.univie.ac.at/nathanael.berestycki/articles.html
Bettinelli, J., Miermont, G.: Compact Brownian surfaces I: Brownian disks. Probab. Theory Relat. Fields 167(3–4), 555–614 (2017). arXiv:1507.08776
Burago, D., Burago, Y., Ivanov, S.: A course in metric geometry. Graduate Studies in Mathematics, vol. 33. American Mathematical Society, Providence, RI (2001)
David, F.: Conformal field theories coupled to 2-D gravity in the conformal gauge. Mod. Phys. Lett. A, 3(17), (1988)
Ding, J., Goswami, S.: Upper bounds on Liouville first-passage percolation and Watabikis prediction. Commun. Pure Appl. Math. 72(11), 2331–2384 (2019). arXiv:1610.09998
Ding, J., Gwynne, E.: The fractal dimension of Liouville quantum gravity: universality, monotonicity, and bounds. Commun. Math. Phys. 374, 1877–1934 (2018). arXiv:1807.01072
Ding, J., Zeitouni, O., Zhang, F.: Heat kernel for Liouville Brownian motion and Liouville graph distance. Commun. Math. Phys. 371(2), 561–618 (2019). arXiv:1807.00422
Ding, J., Dubédat, J., Dunlap, A., Falconet, H.: Tightness of Liouville first passage percolation for \(\gamma \in (0,2)\). Publ. Math. Inst. Hautes Études Sci. 132, 353–403 (2020). arXiv:1904.08021
Distler, J., Kawai, H.: Conformal field theory and 2D quantum gravity. Nucl. Phys. B, 321(2), (1989)
Dubédat, J., Falconet, H., Gwynne, E., Pfeffer, J., Sun, X.: Weak LQG metrics and Liouville first passage percolation. Probab. Theory Relat. Fields 178(1–2), 369–436 (2020). arXiv:1905.00380
Duplantier, B., Sheffield, S.: Liouville quantum gravity and KPZ. Invent. Math. 185(2), 333–393 (2011). arXiv:1206.0212
Gwynne, E., Miller, J.: Conformal covariance of the Liouville quantum gravity metric for \(\gamma \in (0,2)\). Ann. Inst. Henri Poincaré Probab. Stat. 57(2), (2021), arXiv:1905.00384
Gwynne, E., Pfeffer, J.: KPZ formulas for the Liouville quantum gravity metric. Trans. Am. Math. Soc. to appear (2019)
Gwynne, E.: Geodesic networks in Liouville quantum gravity surfaces. Probab. Math. Phys. to appear, (2020). arXiv:2010.11260
Gwynne, E.: The dimension of the boundary of a Liouville quantum gravity metric ball. Commun. Math. Phys. 378(1), 625–689 (2020). arXiv:1909.08588
Gwynne, E.: Random surfaces and Liouville quantum gravity. Not. Am. Math. Soc. 67(4), 484–491 (2020). arXiv:1908.05573
Gwynne, E., Miller, J.: Confluence of geodesics in Liouville quantum gravity for \(\gamma \in (0,2)\). Ann. Probab. 48(4), 1861–1901 (2020). arXiv:1905.00381
Gwynne, E., Miller, J.: Local metrics of the Gaussian free field. Ann. Inst. Fourier (Grenoble) 70(5), 2049–2075 (2020). arXiv:1905.00379
Gwynne, E., Miller, J.: Existence and uniqueness of the Liouville quantum gravity metric for \(\gamma \in (0,2)\). Invent. Math. 223(1), 213–333 (2021). arXiv:1905.00383d
Gwynne, E., Pfeffer, J.: Bounds for distances and geodesic dimension in Liouville first passage percolation. Electron. Commun. Probab. 24(56), 12 (2019). arXiv:1903.09561
Gwynne, E., Miller, J., Sheffield, S.: Harmonic functions on mated-CRT maps. Electron. J. Probab. 24(58), 55 (2019). arXiv:1807.07511
Holden, N., Sun, X.: SLE as a mating of trees in Euclidean geometry. Commun. Math. Phys. 364(1), 171–201 (2018). arXiv:1610.05272
Hu, X., Miller, J., Peres, Y.: Thick points of the Gaussian free field. Ann. Probab. 38(2), 896–926 (2010). arXiv:0902.3842
Kahane, J.-P.: Sur le chaos multiplicatif. Ann. Sci. Math. Québec 9(2), 105–150 (1985)
Knizhnik, V., Polyakov, A., Zamolodchikov, A.: Fractal structure of 2D-quantum gravity. Mod. Phys. Lett. A 3(8), 819–826 (1988)
Le Gall, J.-F.: Geodesics in large planar maps and in the Brownian map. Acta Math. 205(2), 287–360 (2010). arXiv:0804.3012
Le Gall, J.-F.: Uniqueness and universality of the Brownian map. Ann. Probab. 41(4), 2880–2960 (2013). arXiv:1105.4842
Miermont, G.: The Brownian map is the scaling limit of uniform random plane quadrangulations. Acta Math. 210(2), 319–401 (2013). arXiv:1104.1606
Miller, J., Qian, W.: Geodesics in the Brownian map: Strong confluence and geometric structure. ArXiv e-prints (2020). arXiv:2008.02242
Miller, J., Qian, W.: The geodesics in Liouville quantum gravity are not Schramm–Loewner evolutions. Probab. Theory Relat. Fields 177(3–4), 677–709 (2020). arXiv:1812.03913
Miller, J., Sheffield, S.: Imaginary geometry IV: interior rays, whole-plane reversibility, and space-filling trees. Probab. Theory Relat. Fields 169(3–4), 729–869 (2017). arXiv:1302.4738
Miller, J., Sheffield, S.: Liouville quantum gravity and the Brownian map I: the \({\rm Q} LE(8/3,0)\) metric. Invent. Math. 219(1), 75–152 (2020). arXiv:1507.00719
Miller, J., Sheffield, S.: An axiomatic characterization of the Brownian map. J. Éc. Polytech. Math. 8, 609–731 (2021). arXiv:1506.03806
Miller, J., Sheffield, S.: Liouville quantum gravity and the Brownian map II: geodesics and continuity of the embedding. Ann. Probab. 49(6), 2732–2829 (2021). arXiv:1605.03563
Miller, J., Sheffield, S.: Liouville quantum gravity and the Brownian map III: the conformal structure is determined. Probab. Theory Relat. Fields 179(3–4), 1183–1211 (2021). arXiv:1608.05391
Miller, J., Watson, S.S., Wilson, D.B.: Extreme nesting in the conformal loop ensemble. Ann. Probab. 44(2), 1013–1052 (2016). arXiv:1401.0218
Mörters, P., Peres, Y.: Brownian motion. Cambridge Series in Statistical and Probabilistic Mathematics. Cambridge University Press, Cambridge (2010). With an appendix by Oded Schramm and Wendelin Werner
Polyakov, A.M.: Quantum geometry of bosonic strings. Phys. Lett. B 103(3), 207–210 (1981)
Pommerenke, C.: Boundary behaviour of conformal maps. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 299. Springer, Berlin (1992)
Rhodes, R., Vargas, V.: KPZ formula for log-infinitely divisible multifractal random measures. ESAIM Probab. Stat. 15, 358–371 (2011). arXiv:0807.1036
Sheffield, S.: Gaussian free fields for mathematicians. Probab. Theory Relat. Fields 139(3–4), 521–541 (2007). arXiv:math/0312099
Watabiki, Y.: Analytic study of fractal structure of quantized surface in two-dimensional quantum gravity. Progr. Theor. Phys. Suppl. 114:1–17, (1993). Quantum gravity (Kyoto, 1992)
Werner, W., Powell, E.: Lecture notes on the Gaussian Free Field. ArXiv e-prints, April (2020). arXiv:2004.04720
Acknowledgements
We thank an anonymous referee for helpful comments on an earlier version of this paper. E.G. was partially supported by a Clay research fellowship and a Trinity college, Cambridge junior research fellowship. J.P. was partially supported by the National Science Foundation under Grant No. 2002159. S.S. was partially supported by NSF Grant DMS 1712862. No code or data was involved in this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Gwynne, E., Pfeffer, J. & Sheffield, S. Geodesics and metric ball boundaries in Liouville quantum gravity. Probab. Theory Relat. Fields 182, 905–954 (2022). https://doi.org/10.1007/s00440-022-01112-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00440-022-01112-5
Mathematics Subject Classification
- Primary 60D05 (Geometric probability and stochastic geometry)
- Secondary 60G60 (Random fields)