An almost sure KPZ relation for SLE and Brownian motion

TL;DR

This paper establishes a KPZ-type formula linking the Hausdorff dimensions of sets related to SLE and Brownian motion within Liouville quantum gravity, simplifying complex dimension calculations to Brownian motion analysis.

Contribution

It proves a KPZ relation for SLE and Brownian motion in LQG, enabling dimension computations via Brownian motion properties, and provides new proofs for known SLE dimension results.

Findings

Derived a KPZ-type formula relating dimensions of SLE-related sets and Brownian motion.

Provided new proofs for Hausdorff dimensions of SLE curves, double points, and cut points.

Calculated the Hausdorff dimension of m-tuple points of space-filling SLE for ppa > 4.

Abstract

The peanosphere construction of Duplantier, Miller, and Sheffield provides a means of representing a $\gamma$-Liouville quantum gravity (LQG) surface, $\gamma \in (0,2)$, decorated with a space-filling form of Schramm's SLE$_\kappa$, $\kappa = 16/\gamma^2 \in (4,\infty)$, $\eta$ as a gluing of a pair of trees which are encoded by a correlated two-dimensional Brownian motion $Z$. We prove a KPZ-type formula which relates the Hausdorff dimension of any Borel subset $A$ of the range of $\eta$ which can be defined as a function of $\eta$ (modulo time parameterization) to the Hausdorff dimension of the corresponding time set $\eta^{-1}(A)$. This result serves to reduce the problem of computing the Hausdorff dimension of any set associated with an SLE, CLE, or related processes in the interior of a domain to the problem of computing the Hausdorff dimension of a certain set associated with a Brownian motion. For many natural examples, the associated Brownian motion set is well-known. As corollaries, we obtain new proofs of the Hausdorff dimensions of the SLE$_\kappa$ curve for $\kappa \not=4$; the double points and cut points of SLE$_\kappa$ for $\kappa >4$; and the intersection of two flow lines of a Gaussian free field. We also obtain the Hausdorff dimension of the set of $m$-tuple points of space-filling SLE$_\kappa$ for $\kappa>4$ and $m \geq 3$ by computing the Hausdorff dimension of the so-called $(m-2)$-tuple $\pi/2$-cone times of a correlated planar Brownian motion.