SLE₈/₃ Loop Measure: Conformal Invariance in Random Geometry
- SLE₈/₃ loop measure is the conformally invariant infinite measure on simple, self-avoiding loops, underpinning the scaling limits of self-avoiding walks.
- It is constructed via Brownian loop soups, branching SLE, and conformal welding, demonstrating key properties like restriction, conformal invariance, and Markovian structure.
- The measure's explicit formulas, moment computations, and connections to CLE, Liouville quantum gravity, and spectral geometry offer deep insights into random planar systems.
The SLE loop measure is the conformally invariant infinite measure on simple (self-avoiding) loops in the plane or on Riemann surfaces, canonically associated to the Schramm–Loewner Evolution (SLE) with parameter . It is central to the rigorous description of scaling limits of self-avoiding walks (SAW) and related statistical physics models and plays a foundational role in the theory of conformal loop ensembles (CLE), Brownian loop soups, Liouville quantum gravity (LQG), and logarithmic conformal field theory (LCFT).
1. Definition, Characterizations, and Construction
The SLE loop measure can be defined through several equivalent frameworks:
- Brownian Loop Soup Construction: The outer boundaries of clusters in a Poissonian Brownian loop soup of intensity in a simply connected planar domain yield countable collections of simple disjoint loops. When , the outer boundaries become SLE loops for ; for $0 < c < 1$, the correspondence , 0 associates to each 1 a unique 2 (Sheffield et al., 2010). At the lower end, as 3, one isolates the law of a single simple loop, giving the SLE4 loop measure.
- Branching SLE Construction: The loop ensemble traced by collections of branching SLE5 curves, with 6, also yields the SLE7 loop measure in the scaling limit of SAW (Sheffield et al., 2010).
- Werner’s Measure: Werner’s canonical infinite measure on self-avoiding loops, satisfying strict conformal restriction (Higgs et al., 2024), is normalized so that for nested domains 8 and a marked point 9, the measure of loops in 0 surrounding 1 but not contained in 2 is 3, where 4 is conformal with 5.
- CLE Intensity and Conformal Welding: The loop intensity measure of full-plane CLE6 for 7 (interpreted in the limit) coincides, up to normalization, with the SLE8 loop measure and can be realized canonically as the interface created by conformal welding of two independent Liouville quantum gravity disks with 9 (Ang et al., 2022, Ang et al., 2024).
- Minkowski Content Approach: Rooted and unrooted SLE0 loop measures on the Riemann sphere 1 are constructed by unweighting two-sided whole-plane SLE2 curves by their natural Minkowski content (with Hausdorff dimension 3 for 4) (Zhan, 2017).
All approaches yield an infinite, 5-invariant measure on noncrossing simple loops, uniquely determined (up to constant) by conformal restriction and Möbius invariance.
2. Restriction, Conformal Invariance, and Markov Properties
The restriction property is fundamental: for any two simply connected domains 6 with 7, the measure of loops in 8 that surround 9 but are not contained in 0 is 1. This normalization completely determines the measure up to overall constant (Higgs et al., 2024).
SLE2 loop measure enjoys the following:
- Conformal Invariance: The measure is preserved under biholomorphic maps, making it natural for scaling limits of conformally invariant statistical mechanics models (Sheffield et al., 2010, Zhan, 2017, Higgs et al., 2024).
- Restriction: Conditioning on loops contained in subdomains restricts the measure conformally (Sheffield et al., 2010).
- Markovian Structure: The measure is compatible with explorations of the loops (as in branching SLE descriptions) (Sheffield et al., 2010).
- Space-Time Homogeneity: When parametrized by Minkowski content, the (rooted) loop measure is invariant under time shifts and re-rootings (Zhan, 2017).
These properties guarantee the universality of SLE3 loop measure as the scaling limit of self-avoiding planar loop ensembles.
3. Explicit Formulas and Probabilistic Observables
Explicit computations for probabilities and moments associated with SLE4 loops provide rigorous physical predictions:
- Two-Point Functions and Crossing Probabilities: The probability that a chordal SLE5 passes to the left of points 6 is given by
7
where 8 and 9 (Beliaev et al., 2010).
- Bubble and Area Statistics: For SLE0 bubbles conditioned to be macroscopic, explicit area and area-moment formulas are derived, and their numerical evaluation closely supports conjectures that area is Airy-distributed (Beliaev et al., 2010). For instance, 1 and 2.
- Cardy’s Formula for Annuli: The total measure of homotopically nontrivial loops in a standard annulus, as predicted by Cardy and supported by rigorous computations, is given by
3
with 4 (Higgs et al., 2024).
- Moment Generating Functions: The moment generating function for the electrical thickness 5 of a loop sampled from the shape measure is given exactly, for 6,
7
4. Loop Measure, CLE, and Loop Soups
The SLE8 loop measure underlies the law of the conformal loop ensemble CLE9, which is the unique conformally invariant probability measure on countable collections of disjoint, simple, noncrossing planar loops (Sheffield et al., 2010, Sheffield et al., 2010, Zhan, 2017). CLE0 can be viewed as:
- Scaling limit of self-avoiding loop ensembles: As the mesh is sent to zero, the scaling limit of critical 1 loop models or SAW interfaces converges to CLE2, underpinned by the SLE3 loop measure (Alekseev, 2021).
- Brownian Loop Soup Outer Boundaries: In a planar domain, at 4 (lower boundary), the Brownian loop soup yields a trivial configuration; for 5 the outer boundaries of clusters are simple SLE6-type loops (Sheffield et al., 2010), and in the 7 limit, one recovers the measure on single simple loops.
- CLE Intensity and Loop Selection: The intensity (i.e., the generator of Poissonian selection of loops) coincides, after normalization, with the SLE8 loop measure (Ang et al., 2024).
CLE9 and its nesting properties (i.e., the statistics of how many loops surround a point at small scales) are governed by fractal-multifractal laws, and their exceptional sets (e.g., points surrounded by atypically many loops) have computable Hausdorff dimensions (Miller et al., 2013).
5. Liouville Quantum Gravity, Conformal Welding, and Duality
Conformal welding of independent Liouville quantum gravity (LQG) disks, each parameterized by a quantum boundary length, gives a direct and canonical construction of the SLE0 loop measure: the interface between the two quantum disks follows the law of an SLE1 loop (Ang et al., 2022, Ang et al., 2024). This construction is fundamental for:
- Link to Random Maps: The interface of random planar maps decorated with a self-avoiding polygon converges, after scaling, to SLE2 loop on the LQG sphere (Brownian map) (Ang et al., 2022).
- Exact Formulae and Constants: Using LQG and Liouville conformal field theory (LCFT), precise constants (reflection coefficients, disk correlation functions, DOZZ formulae) are computed for SLE loop measures (Ang et al., 2024).
- Duality: There is a duality at the level of loop measures between SLE loop measures for 3 and 4. For instance, the outer boundary of a sample from the SLE5 loop measure has the law of the SLE6 loop measure, up to a multiplicative constant (Ang et al., 2024).
6. Analytical, Spectral, and Geometric Aspects
- Brownian Loop Measure Decomposition: The Brownian loop measure on Riemann surfaces admits an explicit decomposition by free homotopy class, connecting loop statistics to the length spectrum of closed geodesics: 7 where 8 is the multiplicity and 9 the hyperbolic length (Wang et al., 2024).
- Spectral Invariants and Zeta-Regularized Determinants: Renormalization of the total mass of the Brownian loop measure yields formulas for the determinant of the Laplacian in terms of geometric data (lengths of geodesics), highlighting deep connections between random loops and spectral geometry (Wang et al., 2024).
- Loewner Energy and Onsager–Machlup Functional: The Loewner energy $0 < c < 1$0 of a Jordan curve $0 < c < 1$1 is the Onsager–Machlup large-deviation rate function for the SLE$0 < c < 1$2 loop measure (Wang, 2018, Fan, 9 Aug 2025). The relative measure of small neighborhoods of loops is governed by their energy difference, yielding a variational principle: $0 < c < 1$3 where $0 < c < 1$4 is the central charge.
7. Further Properties, Applications, and Open Directions
- Explicit Evaluation and Numerics: Cardy’s conjecture for the measure of nontrivial loops in an annulus is numerically supported via Schwarz–Christoffel computations of conformal moduli (Higgs et al., 2024).
- Connection to LCFT: SLE$0 < c < 1$5-related observables (passage probabilities, Green’s functions) correspond to correlation functions in $0 < c < 1$6 logarithmic CFT, facilitating explicit calculations via the Coulomb gas formalism and operator product expansions (Alekseev, 2021).
- Future Directions: The SLE$0 < c < 1$7 loop measure’s precise normalization and its connection to LCFT structure constants (including the imaginary DOZZ formula) continue to generate active research in random geometry, spectral theory, and quantum gravity (Ang et al., 2024).
- CLE Nesting and GFF Extremes: Nesting statistics of SLE$0 < c < 1$8 loops mirror extreme value statistics of the two-dimensional Gaussian Free Field (GFF), establishing quantitative parallels between CLE multifractality and GFF thick points (Miller et al., 2013, Miller et al., 2013).
The SLE$0 < c < 1$9 loop measure thus functions as a uniquely characterized and universal measure for random simple planar loops at criticality, informed by deep interconnections between probability, geometry, analysis, quantum gravity, and conformal field theory.