A distance exponent for Liouville quantum gravity

Abstract Let $$\gamma \in (0,2)$$ γ ∈ (...

Full description

Bibliographic Details
Main Authors: Gwynne, Ewain, Holden, Nina, Sun, Xin
Other Authors: Massachusetts Institute of Technology. Department of Mathematics
Format: Article
Language:English
Published: Springer Berlin Heidelberg 2021
Online Access:https://hdl.handle.net/1721.1/131438
_version_ 1826210896476635136
author Gwynne, Ewain
Holden, Nina
Sun, Xin
author2 Massachusetts Institute of Technology. Department of Mathematics
author_facet Massachusetts Institute of Technology. Department of Mathematics
Gwynne, Ewain
Holden, Nina
Sun, Xin
author_sort Gwynne, Ewain
collection MIT
description Abstract Let $$\gamma \in (0,2)$$ γ ∈ ( 0 , 2 ) and let h be the random distribution on $$\mathbb C$$ C which describes a $$\gamma $$ γ -Liouville quantum gravity (LQG) cone. Also let $$\kappa = 16/\gamma ^2 >4$$ κ = 16 / γ 2 > 4 and let $$\eta $$ η be a whole-plane space-filling SLE $$_\kappa $$ κ curve sampled independent from h and parametrized by $$\gamma $$ γ -quantum mass with respect to h. We study a family $$\{\mathcal G^\epsilon \}_{\epsilon >0}$$ { G ϵ } ϵ > 0 of planar maps associated with $$(h, \eta )$$ ( h , η ) called the LQG structure graphs (a.k.a. mated-CRT maps) which we conjecture converge in probability in the scaling limit with respect to the Gromov–Hausdorff topology to a random metric space associated with $$\gamma $$ γ -LQG. In particular, $$\mathcal G^\epsilon $$ G ϵ is the graph whose vertex set is $$\epsilon \mathbb Z$$ ϵ Z , with two such vertices $$x_1,x_2\in \epsilon \mathbb Z$$ x 1 , x 2 ∈ ϵ Z connected by an edge if and only if the corresponding curve segments $$\eta ([x_1-\epsilon , x_1])$$ η ( [ x 1 - ϵ , x 1 ] ) and $$\eta ([x_2-\epsilon ,x_2])$$ η ( [ x 2 - ϵ , x 2 ] ) share a non-trivial boundary arc. Due to the peanosphere description of SLE-decorated LQG due to Duplantier et al. (Liouville quantum gravity as a mating of trees, 2014), the graph $$\mathcal G^\epsilon $$ G ϵ can equivalently be expressed as an explicit functional of a correlated two-dimensional Brownian motion, so can be studied without any reference to SLE or LQG. We prove non-trivial upper and lower bounds for the cardinality of a graph-distance ball of radius n in $$\mathcal G^\epsilon $$ G ϵ which are consistent with the prediction of Watabiki (Prog Theor Phys Suppl 114:1–17, 1993) for the Hausdorff dimension of LQG. Using subadditivity arguments, we also prove that there is an exponent $$\chi > 0$$ χ > 0 for which the expected graph distance between generic points in the subgraph of $$\mathcal G^\epsilon $$ G ϵ corresponding to the segment $$\eta ([0,1])$$ η ( [ 0 , 1 ] ) is of order $$\epsilon ^{-\chi + o_\epsilon (1)}$$ ϵ - χ + o ϵ ( 1 ) , and this distance is extremely unlikely to be larger than $$\epsilon ^{-\chi + o_\epsilon (1)}$$ ϵ - χ + o ϵ ( 1 ) .
first_indexed 2024-09-23T14:57:30Z
format Article
id mit-1721.1/131438
institution Massachusetts Institute of Technology
language English
last_indexed 2024-09-23T14:57:30Z
publishDate 2021
publisher Springer Berlin Heidelberg
record_format dspace
spelling mit-1721.1/1314382024-01-02T20:01:29Z A distance exponent for Liouville quantum gravity Gwynne, Ewain Holden, Nina Sun, Xin Massachusetts Institute of Technology. Department of Mathematics Abstract Let $$\gamma \in (0,2)$$ γ ∈ ( 0 , 2 ) and let h be the random distribution on $$\mathbb C$$ C which describes a $$\gamma $$ γ -Liouville quantum gravity (LQG) cone. Also let $$\kappa = 16/\gamma ^2 >4$$ κ = 16 / γ 2 > 4 and let $$\eta $$ η be a whole-plane space-filling SLE $$_\kappa $$ κ curve sampled independent from h and parametrized by $$\gamma $$ γ -quantum mass with respect to h. We study a family $$\{\mathcal G^\epsilon \}_{\epsilon >0}$$ { G ϵ } ϵ > 0 of planar maps associated with $$(h, \eta )$$ ( h , η ) called the LQG structure graphs (a.k.a. mated-CRT maps) which we conjecture converge in probability in the scaling limit with respect to the Gromov–Hausdorff topology to a random metric space associated with $$\gamma $$ γ -LQG. In particular, $$\mathcal G^\epsilon $$ G ϵ is the graph whose vertex set is $$\epsilon \mathbb Z$$ ϵ Z , with two such vertices $$x_1,x_2\in \epsilon \mathbb Z$$ x 1 , x 2 ∈ ϵ Z connected by an edge if and only if the corresponding curve segments $$\eta ([x_1-\epsilon , x_1])$$ η ( [ x 1 - ϵ , x 1 ] ) and $$\eta ([x_2-\epsilon ,x_2])$$ η ( [ x 2 - ϵ , x 2 ] ) share a non-trivial boundary arc. Due to the peanosphere description of SLE-decorated LQG due to Duplantier et al. (Liouville quantum gravity as a mating of trees, 2014), the graph $$\mathcal G^\epsilon $$ G ϵ can equivalently be expressed as an explicit functional of a correlated two-dimensional Brownian motion, so can be studied without any reference to SLE or LQG. We prove non-trivial upper and lower bounds for the cardinality of a graph-distance ball of radius n in $$\mathcal G^\epsilon $$ G ϵ which are consistent with the prediction of Watabiki (Prog Theor Phys Suppl 114:1–17, 1993) for the Hausdorff dimension of LQG. Using subadditivity arguments, we also prove that there is an exponent $$\chi > 0$$ χ > 0 for which the expected graph distance between generic points in the subgraph of $$\mathcal G^\epsilon $$ G ϵ corresponding to the segment $$\eta ([0,1])$$ η ( [ 0 , 1 ] ) is of order $$\epsilon ^{-\chi + o_\epsilon (1)}$$ ϵ - χ + o ϵ ( 1 ) , and this distance is extremely unlikely to be larger than $$\epsilon ^{-\chi + o_\epsilon (1)}$$ ϵ - χ + o ϵ ( 1 ) . 2021-09-20T17:17:05Z 2021-09-20T17:17:05Z 2018-04-26 2020-09-24T20:57:54Z Article http://purl.org/eprint/type/JournalArticle https://hdl.handle.net/1721.1/131438 en https://doi.org/10.1007/s00440-018-0846-9 Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. Springer-Verlag GmbH Germany, part of Springer Nature application/pdf Springer Berlin Heidelberg Springer Berlin Heidelberg
spellingShingle Gwynne, Ewain
Holden, Nina
Sun, Xin
A distance exponent for Liouville quantum gravity
title A distance exponent for Liouville quantum gravity
title_full A distance exponent for Liouville quantum gravity
title_fullStr A distance exponent for Liouville quantum gravity
title_full_unstemmed A distance exponent for Liouville quantum gravity
title_short A distance exponent for Liouville quantum gravity
title_sort distance exponent for liouville quantum gravity
url https://hdl.handle.net/1721.1/131438
work_keys_str_mv AT gwynneewain adistanceexponentforliouvillequantumgravity
AT holdennina adistanceexponentforliouvillequantumgravity
AT sunxin adistanceexponentforliouvillequantumgravity
AT gwynneewain distanceexponentforliouvillequantumgravity
AT holdennina distanceexponentforliouvillequantumgravity
AT sunxin distanceexponentforliouvillequantumgravity