Two-sided heat kernel bounds for sqrt{8/3}-Liouville Brownian motion
Pith reviewed 2026-05-19 04:27 UTC · model grok-4.3
The pith
The heat kernel of Liouville Brownian motion at γ=√(8/3) obeys two-sided bounds given by the √(8/3)-LQG metric up to a polylog factor in the exponential.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We establish upper and lower bounds for the heat kernel for LBM when γ=√(8/3) in terms of the √(8/3)-LQG metric which are sharp up to a polylogarithmic factor in the exponential.
What carries the argument
The √(8/3)-LQG metric, which supplies the distance function against which the heat kernel of the time-changed Brownian motion is compared after verifying regularity and doubling properties.
If this is right
- The diffusion spreads at a rate governed by the random LQG distance rather than Euclidean distance.
- Standard heat-kernel estimates for metric measure spaces apply once the time change and doubling properties are accounted for.
- Analytic consequences such as Hölder continuity of sample paths and bounds on hitting probabilities follow directly from the kernel estimates.
Where Pith is reading between the lines
- The same comparison strategy may produce bounds for other admissible values of γ once the corresponding metric regularity is verified.
- The estimates supply a route to studying path intersections and the Hausdorff dimension of the range of LBM.
- The results link the probabilistic construction of the process to the metric geometry of the underlying quantum surface.
Load-bearing premise
Liouville Brownian motion can be realized as a time change of ordinary Brownian motion and the LQG metric satisfies the regularity and volume-doubling conditions needed for standard heat-kernel comparison arguments.
What would settle it
A numerical computation on a fine discretization of the √(8/3)-LQG surface that shows the ratio of the true heat kernel to the metric-based prediction exceeds every polylog factor for large enough time and distance.
read the original abstract
Liouville Brownian motion (LBM) is the canonical diffusion process on a Liouville quantum gravity (LQG) surface. In this work, we establish upper and lower bounds for the heat kernel for LBM when $\gamma=\sqrt{8/3}$ in terms of the $\sqrt{8/3}$-LQG metric which are sharp up to a polylogarithmic factor in the exponential.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes two-sided upper and lower bounds on the heat kernel of Liouville Brownian motion (LBM) for the parameter γ = √(8/3), expressed in terms of the corresponding √(8/3)-Liouville quantum gravity (LQG) metric. The bounds are claimed to be sharp up to a polylogarithmic factor inside the exponential. The construction proceeds by viewing LBM as a time-changed Euclidean Brownian motion with respect to the LQG measure and then invoking heat-kernel comparison theorems on the metric measure space (d_γ, μ_γ).
Significance. If the stated bounds hold, the result supplies nearly sharp control on the transition densities of the canonical diffusion on a random surface whose geometry is governed by the Brownian map. This is a concrete advance in the analytic study of LQG, as heat-kernel estimates are a basic tool for understanding recurrence, mixing, and spectral properties on these spaces. The work correctly exploits the known doubling and volume-growth properties of the √(8/3)-Brownian map rather than deriving them anew.
major comments (1)
- The manuscript invokes the doubling property and Poincaré inequality for the LQG metric measure space without an explicit reference to the precise theorem (or section) in the Brownian-map literature that supplies the constants needed for the heat-kernel comparison. A short paragraph clarifying which result from the existing theory is applied would strengthen the argument.
minor comments (2)
- The abstract states that the bounds are 'sharp up to a polylogarithmic factor in the exponential,' but the precise form of the polylog (e.g., whether it is (log(1/t))^C or (log log(1/t))^C) is not displayed in the abstract; adding the explicit expression would improve readability.
- Notation for the LQG metric d_γ and the measure μ_γ is introduced without a forward reference to the section where the construction is recalled; a single sentence directing the reader to the relevant background paragraph would help.
Simulated Author's Rebuttal
We thank the referee for their careful reading, positive assessment, and constructive suggestion. The comment identifies a straightforward way to improve clarity by adding an explicit reference, and we will incorporate this change in the revised version.
read point-by-point responses
-
Referee: The manuscript invokes the doubling property and Poincaré inequality for the LQG metric measure space without an explicit reference to the precise theorem (or section) in the Brownian-map literature that supplies the constants needed for the heat-kernel comparison. A short paragraph clarifying which result from the existing theory is applied would strengthen the argument.
Authors: We agree that an explicit citation would strengthen the exposition. In the revised manuscript we will add a short clarifying paragraph (most naturally in the introduction or in the section applying the heat-kernel comparison) that identifies the precise results from the Brownian-map literature supplying the doubling property, volume-growth estimates, and Poincaré inequality for the √(8/3)-LQG metric measure space, together with the constants used in the comparison theorems. revision: yes
Circularity Check
No significant circularity identified
full rationale
The derivation constructs LBM as a time-changed Euclidean Brownian motion with respect to the LQG measure and applies standard heat-kernel comparison theorems to the metric measure space (d_γ, μ_γ) for γ=√(8/3). The required doubling, Poincaré, and volume-growth properties are invoked from the established theory of the Brownian map, which is external to the present paper. No load-bearing step reduces by the paper's own equations or self-citation chain to a fitted parameter or definition introduced in the same work; the two-sided bounds with polylog factor follow from the comparison arguments without circular reduction.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Liouville Brownian motion exists and is a well-defined diffusion on the LQG surface for γ=√(8/3)
- domain assumption The √(8/3)-LQG metric satisfies volume doubling and other regularity conditions needed for heat kernel estimates
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
volume of every ball of radius r is between r⁴ (log r⁻¹)^−κ and r⁴ (log r⁻¹)^κ; exit time bounds r⁴ (log r⁻¹)^±κ; heat-kernel upper bound containing (d_h(u,v)⁴ / t)^{1/3} (log … )^−κ
-
IndisputableMonolith/Foundation/DimensionForcing.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
γ = √(8/3) case equivalent to Brownian map; 8-tick or φ-ladder never mentioned
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
D. Aldous. The continuum random tree. I.Ann. Probab., 19(1):1–28, 1991
work page 1991
-
[2]
S. Andres, D. Croydon, and T. Kumagai. Heat kernel fluctuations for stochastic processes on fractals and random media. InFrom classical analysis to analysis on fractals. Vol. 1. A tribute to Robert Strichartz, Appl. Numer. Harmon. Anal., pages 265–281. Birkh¨auser/Springer, Cham, [2023] ©2023
work page 2023
-
[3]
S. Andres and N. Kajino. Continuity and estimates of the Liouville heat kernel with applications to spectral dimen- sions.Probab. Theory Related Fields, 166(3-4):713–752, 2016. 130 SEBASTIAN ANDRES, NAOTAKA KAJINO, KONSTANTINOS KAVVADIAS, AND JASON MILLER
work page 2016
-
[4]
M. Ang, N. Holden, and X. Sun. Conformal welding of quantum disks.Electronic Journal of Probability, 28:1–50, 2023
work page 2023
-
[5]
M. Ang, N. Holden, and X. Sun. Integrability of SLE via conformal welding of random surfaces.Comm. Pure Appl. Math., 77(5):2651–2707, 2024
work page 2024
- [6]
-
[7]
E. Archer. Brownian motion on stable looptrees.Ann. Inst. Henri Poincar ´e Probab. Stat., 57(2):940–979, 2021
work page 2021
-
[8]
J. Aru, Y. Huang, and X. Sun. Two perspectives of the 2D unit area quantum sphere and their equivalence.Comm. Math. Phys., 356(1):261–283, 2017
work page 2017
-
[9]
J. Aru, T. Lupu, and A. Sep ´ulveda. The first passage sets of the 2d gaussian free field: convergence and isomor- phisms.Communications in Mathematical Physics, 375(3):1885–1929, 2020
work page 1929
-
[10]
M. T. Barlow. Random walks on supercritical percolation clusters.Ann. Probab., 32(4):3024–3084, 2004
work page 2004
-
[11]
M. T. Barlow. Analysis on the Sierpinski carpet. InAnalysis and geometry of metric measure spaces, volume 56 of CRM Proc. Lecture Notes, pages 27–53. Amer. Math. Soc., Providence, RI, 2013
work page 2013
-
[12]
M. T. Barlow, D. A. Croydon, and T. Kumagai. Subsequential scaling limits of simple random walk on the two- dimensional uniform spanning tree.Ann. Probab., 45(1):4–55, 2017
work page 2017
-
[13]
N. Berestycki. Diffusion in planar Liouville quantum gravity.Ann. Inst. Henri Poincar´e Probab. Stat., 51(3):947–964, 2015
work page 2015
-
[14]
N. Berestycki. An elementary approach to Gaussian multiplicative chaos.Electron. Commun. Probab., 22:Paper No. 27, 12, 2017
work page 2017
-
[15]
N. Berestycki and E. Gwynne. Random walks on mated-CRT planar maps and Liouville Brownian motion.Comm. Math. Phys., 395(2):773–857, 2022
work page 2022
-
[16]
N. Berestycki and J. R. Norris. Lectures on Schramm–Loewner Evolution.Unpublished lecture notes, available at http: // www. statslab. cam. ac. uk/~ james/ Lectures/ sle. pdf, 2016
work page 2016
-
[17]
N. Berestycki and E. Powell. Gaussian free field and Liouville quantum gravity .Preprint, availailable at arXiv:2404.16642, to be published by Cambridge University Press, 2025
-
[18]
N. Berestycki, S. Sheffield, and X. Sun. Equivalence of Liouville measure and Gaussian free field.Ann. Inst. Henri Poincar´e Probab. Stat., 59(2):795–816, 2023
work page 2023
-
[19]
F. Bertacco and E. Gwynne. Liouville brownian motion and quantum cones in dimensiond >2.Preprint, available at arXiv:2501.15936, 2025
-
[20]
Bertoin.L ´evy processes, volume 121 ofCambridge Tracts in Mathematics
J. Bertoin.L ´evy processes, volume 121 ofCambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 1996
work page 1996
-
[21]
J. Bettinelli and G. Miermont. Compact Brownian surfaces I: Brownian disks.Probab. Theory Related Fields, 167(3- 4):555–614, 2017
work page 2017
- [22]
- [23]
-
[24]
Z.-Q. Chen and M. Fukushima.Symmetric Markov processes, time change, and boundary theory, volume 35 ofLondon Mathematical Society Monographs Series. Princeton University Press, Princeton, NJ, 2012
work page 2012
-
[25]
D. A. Croydon. Heat kernel fluctuations for a resistance form with non-uniform volume growth.Proc. Lond. Math. Soc. (3), 94(3):672–694, 2007
work page 2007
-
[26]
D. A. Croydon. Volume growth and heat kernel estimates for the continuum random tree.Probab. Theory Related Fields, 140(1-2):207–238, 2008
work page 2008
-
[27]
D. A. Croydon. Scaling limit for the random walk on the largest connected component of the critical random graph. Publ. Res. Inst. Math. Sci., 48(2):279–338, 2012
work page 2012
- [28]
-
[29]
L. Dello Schiavo, R. Herry , E. Kopfer, and K.-T. Sturm. Polyharmonic fields and liouville quantum gravity measures on tori of arbitrary dimension: from discrete to continuous.Preprint, available at arXiv:2302.02963, 2023
-
[30]
L. Dello Schiavo, R. Herry , E. Kopfer, and K.-T. Sturm. Conformally invariant random fields, Liouville quantum gravity measures, and random Paneitz operators on Riemannian manifolds of even dimension.J. Lond. Math. Soc. (2), 110(5):Paper No. e70003, 80, 2024. TWO-SIDED HEAT KERNEL BOUNDS FOR p 8/3-LIOUVILLE BROWNIAN MOTION 131
work page 2024
-
[31]
J. Ding, J. Dub ´edat, A. Dunlap, and H. Falconet. Tightness of Liouville first passage percolation forγ∈(0,2).Publ. Math. Inst. Hautes ´Etudes Sci., 132:353–403, 2020
work page 2020
- [32]
-
[33]
J. Ding, O. Zeitouni, and F. Zhang. Heat kernel for Liouville Brownian motion and Liouville graph distance.Comm. Math. Phys., 371(2):561–618, 2019
work page 2019
-
[34]
J. Dub ´edat, H. Falconet, E. Gwynne, J. Pfeffer, and X. Sun. Weak LQG metrics and Liouville first passage percolation. Probab. Theory Related Fields, 178(1-2):369–436, 2020
work page 2020
-
[35]
B. Duplantier, J. Miller, and S. Sheffield. Liouville quantum gravity as a mating of trees.Ast ´erisque, page arXiv:1409.7055, Sep 2014. To appear
-
[36]
B. Duplantier and S. Sheffield. Liouville quantum gravity and KPZ.Invent. Math., 185(2):333–393, 2011
work page 2011
-
[37]
M. Fukushima, Y. Oshima, and M. Takeda.Dirichlet forms and symmetric Markov processes, volume 19 ofde Gruyter Studies in Mathematics. Walter de Gruyter & Co., Berlin, extended edition, 2011
work page 2011
- [38]
- [39]
-
[40]
A. Grigor’yan and N. Kajino. Localized upper bounds of heat kernels for diffusions via a multiple Dynkin-Hunt formula.Trans. Amer. Math. Soc., 369(2):1025–1060, 2017
work page 2017
-
[41]
A. Grigor’yan and A. Telcs. Two-sided estimates of heat kernels on metric measure spaces.Ann. Probab., 40(3):1212–1284, 2012
work page 2012
-
[42]
E. Gwynne. Random surfaces and Liouville quantum gravity .Notices Amer. Math. Soc., 67(4):484–491, 2020
work page 2020
-
[43]
E. Gwynne and J. Miller. Characterizations of SLE κ forκ∈(4,8)on Liouville quantum gravity.arXiv e-prints, page arXiv:1701.05174, Jan. 2017
-
[44]
E. Gwynne and J. Miller. Scaling limit of the uniform infinite half-plane quadrangulation in the Gromov-Hausdorff- Prokhorov-uniform topology , 2017
work page 2017
-
[45]
E. Gwynne and J. Miller. ChordalSLE 6 explorations of a quantum disk.Electron. J. Probab., 23:Paper No. 66, 24, 2018
work page 2018
-
[46]
E. Gwynne and J. Miller. Metric gluing of Brownian and p 8/3-Liouville quantum gravity surfaces.Ann. Probab., 47(4):2303–2358, 2019
work page 2019
-
[47]
E. Gwynne and J. Miller. Confluence of geodesics in Liouville quantum gravity forγ∈(0,2).Ann. Probab., 48(4):1861–1901, 2020
work page 1901
-
[48]
E. Gwynne and J. Miller. Local metrics of the Gaussian free field.Ann. Inst. Fourier (Grenoble), 70(5):2049–2075, 2020
work page 2049
-
[49]
E. Gwynne and J. Miller. Conformal covariance of the Liouville quantum gravity metric forγ∈(0,2).Ann. Inst. Henri Poincar´e Probab. Stat., 57(2):1016–1031, 2021
work page 2021
-
[50]
E. Gwynne and J. Miller. Existence and uniqueness of the Liouville quantum gravity metric forγ∈(0,2).Invent. Math., 223(1):213–333, 2021
work page 2021
- [51]
- [52]
- [53]
-
[54]
L. Hughes and J. Miller. Equivalence of metric gluing and conformal welding inγ-liouville quantum gravity for γ∈(0,2), 2024
work page 2024
-
[55]
J.-P. Kahane. Sur le chaos multiplicatif.Ann. Sci. Math. Qu ´ebec, 9(2):105–150, 1985
work page 1985
-
[56]
I. Karatzas and S. E. Shreve.Brownian Motion and Stochastic Calculus, volume 113 ofGraduate Texts in Mathematics. Springer-Verlag, New York, Second edition, 1991
work page 1991
-
[57]
T. Kumagai. Anomalous random walks and diffusions: From fractals to random media.Proceedings of the ICM Seoul 2014, Vol. IV:75–94, 2014
work page 2014
-
[58]
A. E. Kyprianou.Introductory lectures on fluctuations of L ´evy processes with applications. Universitext. Springer- Verlag, Berlin, 2006
work page 2006
- [59]
-
[60]
G. F. Lawler.Conformally invariant processes in the plane, volume 114 ofMathematical Surveys and Monographs. American Mathematical Society , Providence, RI, 2005
work page 2005
-
[61]
Le Gall.Spatial branching processes, random snakes and partial differential equations
J.-F. Le Gall.Spatial branching processes, random snakes and partial differential equations. Lectures in Mathematics ETH Z¨urich. Birkh¨auser Verlag, Basel, 1999
work page 1999
-
[62]
J.-F. Le Gall. Geodesics in large planar maps and in the Brownian map.Acta Math., 205(2):287–360, 2010
work page 2010
-
[63]
J.-F. Le Gall. Uniqueness and universality of the Brownian map.Ann. Probab., 41(4):2880–2960, 2013
work page 2013
-
[64]
J.-F. Le Gall. Brownian disks and the Brownian snake.Ann. Inst. Henri Poincar´e Probab. Stat., 55(1):237–313, 2019
work page 2019
-
[65]
J.-F. Le Gall. The volume measure of the Brownian sphere is a Hausdorff measure.Electron. J. Probab., 27:Paper No. 113, 28, 2022
work page 2022
-
[66]
J.-F. Le Gall and M. Weill. Conditioned Brownian trees.Ann. Inst. H. Poincar ´e Probab. Statist., 42(4):455–489, 2006
work page 2006
-
[67]
P. Maillard, R. Rhodes, V. Vargas, and O. Zeitouni. Liouville heat kernel: regularity and bounds.Ann. Inst. Henri Poincar´e Probab. Stat., 52(3):1281–1320, 2016
work page 2016
-
[68]
J.-F. Marckert and A. Mokkadem. Limit of normalized quadrangulations: the Brownian map.Ann. Probab., 34(6):2144–2202, 2006
work page 2006
- [69]
-
[70]
J. Miller and S. Sheffield. Imaginary geometry I: interacting SLEs.Probab. Theory Related Fields, 164(3–4):553–705, 2016
work page 2016
-
[71]
J. Miller and S. Sheffield. Imaginary geometry II: reversibility ofSLE κ(ρ1;ρ 2)forκ∈(0,4).Ann. Probab., 44(3):1647–1722, 2016
work page 2016
-
[72]
J. Miller and S. Sheffield. Imaginary geometry III: reversibility ofSLE κ forκ∈(4,8).Ann. of Math. (2), 184(2):455–486, 2016
work page 2016
-
[73]
J. Miller and S. Sheffield. Liouville quantum gravity and the Brownian map II: geodesics and continuity of the embedding.Ann. Probab., page arXiv:1605.03563, May 2016. To appear
-
[74]
J. Miller and S. Sheffield. Quantum Loewner evolution.Duke Math. J., 165(17):3241–3378, 2016
work page 2016
-
[75]
J. Miller and S. Sheffield. Liouville quantum gravity spheres as matings of finite-diameter trees.Ann. Inst. H. Poincar´e Probab. Statist., 55(3):1712–1750, 2019
work page 2019
-
[76]
J. Miller and S. Sheffield. Liouville quantum gravity and the Brownian map I: the QLE(8/3,0) metric.Invent. Math., 219(1):75–152, 2020
work page 2020
-
[77]
J. Miller and S. Sheffield. An axiomatic characterization of the Brownian map.J. ´Ec. polytech. Math., 8:609–731, 2021
work page 2021
-
[78]
J. Miller and S. Sheffield. Liouville quantum gravity and the Brownian map III: the conformal structure is deter- mined.Probab. Theory Related Fields, 179(3–4):1183–1211, April 2021
work page 2021
-
[79]
J. Miller and H. Wu. Intersections of SLE Paths: the double and cut point dimension of SLE.Probab. Theory Related Fields, 167(1–2):45–105, 2017
work page 2017
-
[80]
M. Murugan. On the length of chains in a metric space.J. Funct. Anal., 279(6):108627, 2020
work page 2020
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.