Title: Integrability of SLE via conformal welding of random surfaces
Abstract We demonstrate how to obtain integrability results for the Schramm‐Loewner evolution (SLE) from Liouville conformal field theory (LCFT) and the mating‐of‐trees framework for Liouville quantum gravity (LQG). In particular, we prove an exact formula for the law of a conformal derivative of a classical variant of SLE called . Our proof is built on two connections between SLE, LCFT, and mating‐of‐trees. Firstly, LCFT and mating‐of‐trees provide equivalent but complementary methods to describe natural random surfaces in LQG. Using a novel tool that we call theuniform embeddingof an LQG surface, we extend earlier equivalence results by allowing fewer marked points and more generic singularities. Secondly, the conformal welding of these random surfaces produces SLE curves as their interfaces. In particular, we rely on the conformal welding results proved in our companion paper Ang, Holden and Sun (2023). Our paper is an essential part of a program proving integrability results for SLE, LCFT, and mating‐of‐trees based on these two connections.  more » « less
Award ID(s):
2046514
PAR ID:
10504847
Author(s) / Creator(s):
; ;
Publisher / Repository:
Wiley
Date Published:
Journal Name:
Communications on Pure and Applied Mathematics
Volume:
77
Issue:
5
ISSN:
0010-3640
Page Range / eLocation ID:
2651 to 2707
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We study a class of random permutons which can be constructed from a pair of space-filling Schramm–Loewner evolution (SLE) curves on a Liouville quantum gravity (LQG) surface. This class includes the skew Brownian permutons introduced by Borga (2021), which describe the scaling limit of various types of random pattern-avoiding permutations. Another interesting permuton in our class is the meandric permuton, which corresponds to two independent\mathrm{SLE}_{8}curves on a \gamma-LQG surface with\gamma = \sqrt{(17-\sqrt{\vphantom{a}145})/3}. Building on work by Di Francesco, Golinelli, and Guitter (2000), we conjecture that the meandric permuton describes the scaling limit of uniform meandric permutations, i.e., the permutations induced by a simple loop in the plane which crosses a line a specified number of times. We show that for any sequence of random permutations which converges to one of the above random permutons, the length of the longest increasing subsequence is sublinear. This proves that the length of the longest increasing subsequence is sublinear for Baxter, strong-Baxter, and semi-Baxter permutations and leads to the conjecture that the same is true for meandric permutations. We also prove that the closed support of each of the random permutons in our class has Hausdorff dimension one. Finally, we prove a re-rooting invariance property for the meandric permuton and write down a formula for its expected pattern densities in terms of LQG correlation functions (which are known explicitly) and the probability that an\mathrm{SLE}_{8}hits a given set of points in numerical order (which is not known explicitly). We conclude with a list of open problems. 
    more » « less
  2. Abstract We investigate the notion of curvature in the context of Liouville quantum gravity (LQG) surfaces. We define the Gaussian curvature for LQG, which we conjecture is the scaling limit of discrete curvature on random planar maps. Motivated by this, we study asymptotics for the discrete curvature of$$\epsilon $$ ϵ -mated CRT maps. More precisely, we prove that the discrete curvature integrated against a$$C_c^2$$ Cc2 test function is of order$$\epsilon ^{o(1)},$$ ϵo(1), which is consistent with our scaling limit conjecture. On the other hand, we prove the total discrete curvature on a fixed space-filling SLE segment scaled by$$\epsilon ^{\frac{1}{4}}$$ ϵ14 converges in distribution to an explicit random variable. 
    more » « less
  3. Abstract Harmonic balls are domains that satisfy the mean‐value property for harmonic functions. We establish the existence and uniqueness of harmonic balls on Liouville quantum gravity (LQG) surfaces using the obstacle problem formulation of Hele–Shaw flow. We show that LQG harmonic balls are neither Lipschitz domains nor LQG metric balls, and that the boundaries of their complementary connected components are Jordan curves. We conjecture that LQG harmonic balls are the scaling limit of internal diffusion limited aggregation on random planar maps. In a companion paper, we prove this in the special case of mated‐CRT maps. 
    more » « less
  4. A<sc>bstract</sc> We combine supersymmetric localization with the numerical conformal bootstrap to bound the scaling dimension and OPE coefficient of the lowest-dimension unprotected operator in$$ \mathcal{N} $$ N = 4 SU(N) super-Yang-Mills theory for a wide range ofNand Yang-Mills couplingsgYM. We find that our bounds are approximately saturated by weak coupling results at smallgYM. Furthermore, at largeNour bounds interpolate between integrability results for the Konishi operator at smallgYMand strong-coupling results, including the first few stringy corrections, for the lowest-dimension double-trace operator at largegYM. In particular, our scaling dimension bounds describe the level splitting between the single- and double-trace operators at intermediate coupling. 
    more » « less
  5. null (Ed.)
    Abstract For $$\gamma \in (0,2)$$ γ ∈ ( 0 , 2 ) , we define a weak $$\gamma $$ γ - Liouville quantum gravity ( LQG ) metric to be a function $$h\mapsto D_h$$ h ↦ D h which takes in an instance of the planar Gaussian free field and outputs a metric on the plane satisfying a certain list of natural axioms. We show that these axioms are satisfied for any subsequential limits of Liouville first passage percolation. Such subsequential limits were proven to exist by Ding et al. (Tightness of Liouville first passage percolation for $$\gamma \in (0,2)$$ γ ∈ ( 0 , 2 ) , 2019. ArXiv e-prints, arXiv:1904.08021 ). It is also known that these axioms are satisfied for the $$\sqrt{8/3}$$ 8 / 3 -LQG metric constructed by Miller and Sheffield (2013–2016). For any weak $$\gamma $$ γ -LQG metric, we obtain moment bounds for diameters of sets as well as point-to-point, set-to-set, and point-to-set distances. We also show that any such metric is locally bi-Hölder continuous with respect to the Euclidean metric and compute the optimal Hölder exponents in both directions. Finally, we show that LQG geodesics cannot spend a long time near a straight line or the boundary of a metric ball. These results are used in subsequent work by Gwynne and Miller which proves that the weak $$\gamma $$ γ -LQG metric is unique for each $$\gamma \in (0,2)$$ γ ∈ ( 0 , 2 ) , which in turn gives the uniqueness of the subsequential limit of Liouville first passage percolation. However, most of our results are new even in the special case when $$\gamma =\sqrt{8/3}$$ γ = 8 / 3 . 
    more » « less