Large deviations of SLE(0+) variants in the capacity parameterization

This paper establishes large deviation principles for full chordal, radial, and multichordal SLE(0+) curves parameterized by capacity with rate functions given by Loewner energy, featuring strengthened topologies that include curve endpoints and refined methods to address the radial case.

The Gist

Imagine you are watching a tiny, jittery particle (like a speck of dust in a sunbeam) trying to swim from one side of a room to another. This particle is being pushed around by invisible, random gusts of wind. In mathematics, this is called Brownian motion.

Now, imagine you can turn down the "windiness" of the room. As the wind gets weaker and weaker, the particle's path stops being a chaotic zigzag and starts looking more like a straight, smooth line. This is the core idea of Schramm-Loewner Evolution (SLE): a mathematical model for these random curves.

This paper is about what happens when that wind gets extremely weak (mathematically, as a parameter $\kappa$ approaches zero). The authors are asking: "If we want the particle to take a very specific, unusual path that it almost never takes, how 'expensive' is that path?"

Here is a breakdown of their work using simple analogies:

1. The "Cost" of a Path (The Rate Function)

Think of the particle's journey as a road trip.

• The Normal Trip: Usually, the particle takes a wiggly, random path. This is the "cheap" path.
• The Rare Trip: Sometimes, the particle might take a very straight, specific route that it almost never chooses. This is a "rare event."

The authors are calculating the "Energy Cost" (called the Loewner Energy) of these rare trips.

• The Analogy: Imagine you are hiking. The normal trail is a winding dirt path (low energy). But if you want to hike straight up a sheer cliff face (a rare path), it costs a lot of energy.
• The Result: The paper proves that the "cost" of taking a specific rare path is exactly equal to the energy required to drive the curve along that path. It's like a mathematical receipt: "To make the particle go here instead of there, you must pay this specific amount of energy."

2. The "Map" Problem (Topology)

One of the paper's biggest achievements is fixing the "map" they use to measure these paths.

• The Old Map (Hausdorff Metric): Imagine you are looking at a blurry photo of a path. You can see the general shape, but you can't tell if the path started exactly at point A or point B, or if it wiggled slightly at the very end. It's like looking at a cloud; you know it's a cloud, but you don't know its exact edges.
• The New Map (Parameterized Curves): The authors upgraded the map. Now, they can see the path in High Definition. They know exactly where the path started, exactly where it ended, and exactly how it moved at every single second.
• Why it matters: In the old blurry map, two different paths might look the same. In the new high-definition map, they are clearly different. This allows the authors to prove their results with much greater precision, ensuring that the "cost" calculation is accurate down to the last millimeter.

3. The "Two Rooms" Challenge (Chordal vs. Radial)

The authors studied two different types of rooms:

• The Chordal Room (The Hallway): The particle starts at one wall and tries to reach the opposite wall. This is like walking across a hallway.
• The Radial Room (The Spiral): The particle starts at the edge of a room and tries to reach the exact center point (like a spiral staircase going down to a single point).

The Twist: The "Spiral Room" is much harder to analyze.

• The Analogy: Walking across a hallway is straightforward. But walking down a spiral staircase to a tiny, specific point in the center is tricky. If you get slightly off course, you might spiral away forever or hit a wall.
• The Innovation: The authors had to invent new mathematical tools to handle the "Spiral Room." They couldn't just copy the methods used for the hallway. They had to prove that even in this tricky spiral, the "energy cost" rules still hold true, provided you look at the path with their new high-definition map.

4. The "Escape" Problem

Finally, they looked at what happens if the particle tries to run away.

• The Scenario: Imagine the particle is supposed to go from Point A to Point B. But what if, for a split second, it decides to run all the way to the other side of the universe before coming back?
• The Finding: The authors proved that the probability of the particle doing this "escape" is so incredibly small (exponentially small) that it effectively never happens in the limit.
• The Metaphor: It's like asking, "What are the odds that a drunk person walking home decides to swim across the Atlantic Ocean first?" The odds are so low that for all practical purposes, we can ignore that possibility. This allowed them to simplify their math and focus on the paths that actually matter.

Summary: Why Should You Care?

This paper is a masterclass in precision.

1. It connects Physics and Geometry: It shows that the "randomness" of nature (Brownian motion) has a hidden, rigid structure (energy costs) when you look at it closely enough.
2. It fixes the Tools: By upgrading the "map" (topology) from blurry to high-definition, they made the mathematical rules for these random curves much stronger and more reliable.
3. It solves the Hard Cases: They cracked the code for the difficult "spiral" (radial) case, which previous mathematicians struggled with.

In short, the authors built a better microscope, looked at the tiniest, most random paths in the universe, and wrote down the exact "price tag" for every possible route those paths could take. This helps physicists and mathematicians understand everything from how magnets work at the atomic level to how strings vibrate in theoretical physics.

Technical Summary

1. Problem Statement

The paper addresses the Large Deviation Principle (LDP) for Schramm-Loewner Evolutions (SLE) as the parameter $\kappa \to 0^+$.

• Context: SLE$_\kappa$ describes scaling limits of critical 2D lattice models. As $\kappa \to 0$, the random curves concentrate on hyperbolic geodesics. The rate function governing this concentration is the Loewner energy, which connects probability theory to geometric function theory, Teichmüller theory, and minimal surfaces.
• Gap in Literature: Previous results established LDPs for SLE in weaker topologies (e.g., Hausdorff metric on unparameterized curves or finite-dimensional distributions). Notable works include Wang (2019) on finite-dimensional distributions, Peltola & Wang (2024) on the Hausdorff metric, and Guskov (2023) on capacity-parameterized curves but only with uniform convergence on compact time intervals (lacking control over infinite-time tails).
• Objective: The authors aim to prove LDPs for full (infinite-time) chordal, radial, and multichordal SLE$_{0+}$ curves in the strongest natural topology: the space of capacity-parameterized curves (including all endpoints and infinite-time behavior).

2. Methodology

The proof strategy relies on a combination of probabilistic estimates and topological arguments, structured around the Dawson-Gärtner theorem and the Generalized Contraction Principle.

A. Topological Framework

• Spaces: The authors work with spaces of curves parameterized by capacity (half-plane capacity for chordal, logarithmic capacity for radial).
• Metric: They utilize the metric $d_X(\gamma, \tilde{\gamma}) = \sup_{t>0} d_D(\gamma(t), \tilde{\gamma}(t))$, which captures the uniform convergence of the entire curve, not just finite segments.
• Projective Limit: They first establish LDPs for finite-time segments and then extend to infinite time using the projective limit topology.

B. Key Technical Steps

1. Finite-Time LDPs via Contraction:

   • Start with Schilder's Theorem for scaled Brownian motion (the driving function).
   • Apply the Contraction Principle via the Loewner transform to obtain an LDP in the Carathéodory topology (convergence of uniformizing maps).
   • Refine this to the Hausdorff metric topology for finite-time curves, leveraging the fact that finite-energy curves are simple (Lemma E).

2. Exponential Tightness (The Core Innovation):

   • To upgrade the topology from Hausdorff (unparameterized) to capacity-parameterized, the authors must prove exponential tightness of the SLE measures in the space of simple curves.
   • Chordal Case: They construct closed sets of driving functions with specific regularity (Hölder continuity and derivative bounds on the Loewner map) using Bessel process estimates. They prove that the probability of the curve "swallowing" a point (losing simplicity) decays exponentially as $\kappa \to 0$.
   • Radial Case: This is significantly more difficult due to the target point being inside the domain. The authors use a conformal concatenation strategy:
     • They approximate the radial curve by a sequence of chordal curves.
     • They control the Radon-Nikodym derivative between radial and chordal SLE measures (Lemma C).
     • They prove that for small times, radial SLE is exponentially well-approximated by chordal SLE, allowing them to transfer the exponential tightness from the chordal case to the radial case.

3. Infinite-Time Extension:

   • Using the Dawson-Gärtner theorem, they extend the finite-time LDP to the projective limit (infinite time).
   • To strengthen the topology from the projective limit to the full capacity-parameterized space, they employ escape probability estimates.
   • They define "escape events" where a curve exits a small neighborhood of the target after reaching it. They prove these events have exponentially small probabilities (Theorem 4.6), refining previous results by Lawler and others to track constants uniformly as $\kappa \to 0$.

4. Multichordal SLE:

   • For multiple non-intersecting chords, they define the measure via a Radon-Nikodym derivative involving the Brownian loop measure and the Loewner potential.
   • They apply the Generalized Contraction Principle (handling cases where the map is not continuous on the whole space but on a set of high probability) to extend the single-curve results to the multichordal case.

3. Key Contributions

1. Stronger Topology: The paper establishes LDPs in the topology of full capacity-parameterized curves. This is strictly stronger than the Hausdorff metric topology used in prior work, as it controls the parameterization and the behavior of the curve at infinity (tails).
2. Radial Case Resolution: The authors provide the first rigorous LDP for full radial SLE$_{0+}$. This required developing new methods to handle the interaction between the curve and the interior target point, specifically through conformal concatenation and refined Bessel process estimates.
3. Escape Estimates: They derive sharp, uniform escape probability estimates (Theorem 4.6) that are crucial for proving the LDP in the strong topology. These estimates are improvements over existing literature, specifically tracking the dependence on $\kappa$.
4. Multichordal Extension: They generalize the results to multichordal SLE, proving LDPs for systems of non-intersecting curves with arbitrary link patterns.

4. Main Results

• Theorem 1.2: The family of laws of SLE$_\kappa$ curves satisfies an LDP on the space of capacity-parameterized curves $(X(D; x, y), d_X)$ with the Loewner energy as the good rate function.
• Corollary 1.3: The LDP holds for unparameterized curves (modulo reparameterization) with the same rate function.
• Theorem 1.4: The family of laws of multichordal SLE$_\kappa$ curves satisfies an LDP on the space of non-intersecting curve tuples with the multichordal Loewner energy as the rate function.
• Corollary 4.9: As a consequence of the LDP, the authors derive escape energy estimates, showing that the Loewner energy of curves that "escape" (deviate significantly from the geodesic) is bounded below by a large constant.

5. Significance

• Mathematical Rigor: The work resolves technical gaps in the topology of SLE large deviations, moving from "finite-dimensional" or "set-based" convergence to full curve convergence.
• Interdisciplinary Connections: By establishing the LDP with the Loewner energy as the rate function in a strong topology, the paper solidifies the link between SLE and Teichmüller theory, minimal surfaces, and conformal field theory. The Loewner energy is known to be the Kähler potential for the Weil-Petersson metric on the universal Teichmüller space; this result provides a probabilistic foundation for these geometric structures.
• Methodological Advance: The techniques developed for the radial case (conformal concatenation of chordal pieces) and the refined Bessel estimates offer new tools for analyzing SLE variants and other random geometric objects where the target point is internal.
• Future Applications: The strong topology results are essential for applications requiring precise control over the entire curve, such as in the study of the Welding problem in conformal field theory and the analysis of Liouville Quantum Gravity interfaces.

In summary, this paper provides a comprehensive and rigorous framework for the large deviations of SLE$_{0+}$, unifying chordal and radial cases under a strong topological framework and extending the theory to multiple interacting curves.