Schramm–Loewner evolution

Schramm–Loewner evolution on the upper half plane with hue indicating [math]\displaystyle{ \operatorname{Im}(\log(g_t(z))) }[/math]

In probability theory, the Schramm–Loewner evolution with parameter κ, also known as stochastic Loewner evolution (SLE_κ), is a family of random planar curves that have been proven to be the scaling limit of a variety of two-dimensional lattice models in statistical mechanics. Given a parameter κ and a domain in the complex plane U, it gives a family of random curves in U, with κ controlling how much the curve turns. There are two main variants of SLE, chordal SLE which gives a family of random curves from two fixed boundary points, and radial SLE, which gives a family of random curves from a fixed boundary point to a fixed interior point. These curves are defined to satisfy conformal invariance and a domain Markov property.

It was discovered by Oded Schramm (2000) as a conjectured scaling limit of the planar uniform spanning tree (UST) and the planar loop-erased random walk (LERW) probabilistic processes, and developed by him together with Greg Lawler and Wendelin Werner in a series of joint papers.

Besides UST and LERW, the Schramm–Loewner evolution is conjectured or proven to describe the scaling limit of various stochastic processes in the plane, such as critical percolation, the critical Ising model, the double-dimer model, self-avoiding walks, and other critical statistical mechanics models that exhibit conformal invariance. The SLE curves are the scaling limits of interfaces and other non-self-intersecting random curves in these models. The main idea is that the conformal invariance and a certain Markov property inherent in such stochastic processes together make it possible to encode these planar curves into a one-dimensional Brownian motion running on the boundary of the domain (the driving function in Loewner's differential equation). This way, many important questions about the planar models can be translated into exercises in Itô calculus. Indeed, several mathematically non-rigorous predictions made by physicists using conformal field theory have been proven using this strategy.

The Loewner equation

If [math]\displaystyle{ D }[/math] is a simply connected, open complex domain not equal to [math]\displaystyle{ \mathbb{C} }[/math], and [math]\displaystyle{ \gamma }[/math] is a simple curve in [math]\displaystyle{ D }[/math] starting on the boundary (a continuous function with [math]\displaystyle{ \gamma(0) }[/math] on the boundary of [math]\displaystyle{ D }[/math] and [math]\displaystyle{ \gamma((0,\infty)) }[/math] a subset of [math]\displaystyle{ D }[/math]), then for each [math]\displaystyle{ t\geq 0 }[/math], the complement [math]\displaystyle{ D_t = D\smallsetminus\gamma([0,t]) }[/math] of [math]\displaystyle{ \gamma([0,t]) }[/math] is simply connected and therefore conformally isomorphic to [math]\displaystyle{ D }[/math] by the Riemann mapping theorem. If [math]\displaystyle{ f_t }[/math] is a suitable normalized isomorphism from [math]\displaystyle{ D }[/math] to [math]\displaystyle{ D_t }[/math], then it satisfies a differential equation found by (Loewner 1923) in his work on the Bieberbach conjecture. Sometimes it is more convenient to use the inverse function [math]\displaystyle{ g_t }[/math] of [math]\displaystyle{ f_t }[/math], which is a conformal mapping from [math]\displaystyle{ D_t }[/math] to [math]\displaystyle{ D }[/math].

In Loewner's equation, [math]\displaystyle{ z\in D }[/math], [math]\displaystyle{ t\geq 0 }[/math], and the boundary values at time [math]\displaystyle{ t=0 }[/math] are [math]\displaystyle{ f_0(z)=z }[/math] or [math]\displaystyle{ g_0(z)=z }[/math]. The equation depends on a driving function [math]\displaystyle{ \zeta(t) }[/math] taking values in the boundary of [math]\displaystyle{ D }[/math]. If [math]\displaystyle{ D }[/math] is the unit disk and the curve [math]\displaystyle{ \gamma }[/math] is parameterized by "capacity", then Loewner's equation is

[math]\displaystyle{ \frac{\partial f_t(z)}{\partial t} = -z f^\prime_t(z)\frac{\zeta(t)+z}{\zeta(t)-z} }[/math]   or   [math]\displaystyle{ \dfrac{\partial g_t(z)}{\partial t} = g_t(z)\dfrac{\zeta(t)+g_t(z)}{\zeta(t)-g_t(z)}. }[/math]

When [math]\displaystyle{ D }[/math] is the upper half plane the Loewner equation differs from this by changes of variable and is

[math]\displaystyle{ \frac{\partial f_t(z)}{\partial t} = \frac{ 2f_t^\prime(z)}{\zeta(t)-z} }[/math]   or   [math]\displaystyle{ \dfrac{\partial g_t(z)}{\partial t} = \dfrac{2}{g_t(z)-\zeta(t)}. }[/math]

The driving function [math]\displaystyle{ \zeta }[/math] and the curve [math]\displaystyle{ \gamma }[/math] are related by

[math]\displaystyle{ f_t(\zeta(t)) = \gamma(t) \text{ or } \zeta(t) = g_t(\gamma(t)) }[/math]

where [math]\displaystyle{ f_t }[/math] and [math]\displaystyle{ g_t }[/math] are extended by continuity.

Example

Let [math]\displaystyle{ D }[/math] be the upper half plane and consider an SLE₀, so the driving function [math]\displaystyle{ \zeta }[/math] is a Brownian motion of diffusivity zero. The function [math]\displaystyle{ \zeta }[/math] is thus identically zero almost surely and

[math]\displaystyle{ f_t(z) = \sqrt{z^2-4t} }[/math]

[math]\displaystyle{ g_t(z) = \sqrt{z^2+4t} }[/math]

[math]\displaystyle{ \gamma(t) = 2i\sqrt{t} }[/math]

[math]\displaystyle{ D_t }[/math] is the upper half-plane with the line from 0 to [math]\displaystyle{ 2i\sqrt{t} }[/math] removed.

Schramm–Loewner evolution

Schramm–Loewner evolution is the random curve γ given by the Loewner equation as in the previous section, for the driving function

[math]\displaystyle{ \zeta(t)=\sqrt{\kappa}B(t) }[/math]

where B(t) is Brownian motion on the boundary of D, scaled by some real κ. In other words, Schramm–Loewner evolution is a probability measure on planar curves, given as the image of Wiener measure under this map.

In general the curve γ need not be simple, and the domain D_t is not the complement of γ([0,t]) in D, but is instead the unbounded component of the complement.

There are two versions of SLE, using two families of curves, each depending on a non-negative real parameter κ:

• Chordal SLE_κ, which is related to curves connecting two points on the boundary of a domain (usually the upper half plane, with the points being 0 and infinity).
• Radial SLE_κ, which is related to curves joining a point on the boundary of a domain to a point in the interior (often curves joining 1 and 0 in the unit disk).

SLE depends on a choice of Brownian motion on the boundary of the domain, and there are several variations depending on what sort of Brownian motion is used: for example it might start at a fixed point, or start at a uniformly distributed point on the unit circle, or might have a built in drift, and so on. The parameter κ controls the rate of diffusion of the Brownian motion, and the behavior of SLE depends critically on its value.

The two domains most commonly used in Schramm–Loewner evolution are the upper half plane and the unit disk. Although the Loewner differential equation in these two cases look different, they are equivalent up to changes of variables as the unit disk and the upper half plane are conformally equivalent. However a conformal equivalence between them does not preserve the Brownian motion on their boundaries used to drive Schramm–Loewner evolution.

Special values of κ

• For 0 ≤ κ < 4 the curve γ(t) is simple (with probability 1).
• For 4 < κ < 8 the curve γ(t) intersects itself and every point is contained in a loop but the curve is not space-filling (with probability 1).
• For κ ≥ 8 the curve γ(t) is space-filling (with probability 1).
• κ = 2 corresponds to the loop-erased random walk, or equivalently, branches of the uniform spanning tree.
• For κ = 8/3, SLE_κ has the restriction property and is conjectured to be the scaling limit of self-avoiding random walks. A version of it is the outer boundary of Brownian motion.
• κ = 3 is the limit of interfaces for the Ising model.
• κ = 4 corresponds to the path of the harmonic explorer and contour lines of the Gaussian free field.
• Percolation interface: Make a lozenge of equally sized hexagons in the plane. Color its upper and left side with black, and the lower and right side with white. Then color the other hexagons “white” or “black” independently with equal probability 1/2. There is a boundary between the black and the white, running from bottom left to top right. The scaling limit of the boundary is κ = 6.
• For κ = 6, SLE_κ has the locality property. This arises in the scaling limit of critical percolation on the triangular lattice and conjecturally on other lattices.
• κ = 8 corresponds to the path separating the uniform spanning tree from its dual tree.

When SLE corresponds to some conformal field theory, the parameter κ is related to the central charge c of the conformal field theory by

[math]\displaystyle{ c = \frac{(8-3\kappa)(\kappa-6)}{2\kappa}. }[/math]

Each value of c < 1 corresponds to two values of κ, one value κ between 0 and 4, and a "dual" value 16/κ greater than 4. (see (Bauer Bernard) (Bauer Bernard))

(Beffara 2008) showed that the Hausdorff dimension of the paths (with probability 1) is equal to min(2, 1 + κ/8).

Left passage probability formulas for SLE_κ

The probability of chordal SLE_κ γ being on the left of fixed point [math]\displaystyle{ x_{0}+iy_{0}=z_{0}\in \mathbb{H} }[/math] was computed by (Schramm 2001a)

[math]\displaystyle{ \mathbb{P}[\gamma \text{ passes to the left } z_0]=\frac{1}{2}+\frac{\Gamma(\frac{4}{\kappa})}{\sqrt{\pi} \, \Gamma(\frac{8-\kappa}{2\kappa})}\frac{x_0}{y_0} \, _2F_1 \left(\frac{1}{2},\frac{4}{\kappa}, \frac{3}{2}, - \left(\frac{x_0}{y_0}\right)^2 \right) }[/math]

where [math]\displaystyle{ \Gamma }[/math] is the Gamma function and [math]\displaystyle{ _2F_{1}(a,b,c,d) }[/math] is the hypergeometric function. This was derived by using the martingale property of

[math]\displaystyle{ h(x,y):=\mathbb{P}[\gamma \text{ passes to the left } x+iy] }[/math]

and Itô's lemma to obtain the following partial differential equation for [math]\displaystyle{ w:=\tfrac{x}{y} }[/math]

[math]\displaystyle{ \frac{\kappa}{2}\partial_{ww}h(w)+\frac{4w}{w^2+1}\partial_w h=0. }[/math]

For κ = 4, the RHS is [math]\displaystyle{ 1-\tfrac{1}{\pi}\arg(z_0) }[/math], which was used in the construction of the harmonic explorer, and for κ = 6, we obtain Cardy's formula, which was used by Smirnov to prove conformal invariance in percolation.

Applications

(Lawler Schramm) used SLE₆ to prove the conjecture of (Mandelbrot 1982) that the boundary of planar Brownian motion has fractal dimension 4/3.

Critical percolation on the triangular lattice was proved to be related to SLE₆ by Stanislav Smirnov. Combined with earlier work of Harry Kesten, this led to the determination of many of the critical exponents for percolation. This breakthrough, in turn, allowed further analysis of many aspects of this model.

Loop-erased random walk was shown to converge to SLE₂ by Lawler, Schramm and Werner. This allowed derivation of many quantitative properties of loop-erased random walk (some of which were derived earlier by Richard Kenyon). The related random Peano curve outlining the uniform spanning tree was shown to converge to SLE₈.

Rohde and Schramm showed that κ is related to the fractal dimension of a curve by the following relation

[math]\displaystyle{ d = 1 + \frac{\kappa}{8}. }[/math]

Simulation

Computer programs (Matlab) are presented in this GitHub repository to simulate Schramm Loewner Evolution planar curves.

Further reading

• Beffara, Vincent (2008), "The dimension of the SLE curves", The Annals of Probability 36 (4): 1421–1452, doi:10.1214/07-AOP364 
• Cardy, John (2005), "SLE for theoretical physicists", Annals of Physics 318 (1): 81–118, doi:10.1016/j.aop.2005.04.001, Bibcode: 2005AnPhy.318...81C 
• Hazewinkel, Michiel, ed. (2001), "Löwner method", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=l/l060960 
• Hazewinkel, Michiel, ed. (2001), "Löwner equation", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=L/l060950 
• Kager, Wouter; Nienhuis, Bernard (2004), "A Guide to Stochastic Loewner Evolution and its Applications", J. Stat. Phys. 115 (5/6): 1149–1229, doi:10.1023/B:JOSS.0000028058.87266.be, Bibcode: 2004JSP...115.1149K 
• Lawler, Gregory F. (2004), "An introduction to the stochastic Loewner evolution", in Kaimanovich, Vadim A., Random walks and geometry, Walter de Gruyter GmbH & Co. KG, Berlin, pp. 261–293, ISBN 978-3-11-017237-9, http://www.math.duke.edu/~jose/esi.html 
• Lawler, Gregory F. (2005), Conformally invariant processes in the plane, Mathematical Surveys and Monographs, 114, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-3677-4, https://books.google.com/books?id=JHMzab3u6U8C 
• Lawler, Gregory F. (2007), "Schramm–Loewner Evolution", arXiv:0712.3256 [math.PR]
• Lawler, Gregory F., Stochastic Loewner Evolution, http://www.math.cornell.edu/%7Elawler/encyclopedia.ps 
• Lawler, Gregory F. (2009), "Conformal invariance and 2D statistical physics", Bull. Amer. Math. Soc. 46: 35–54, doi:10.1090/S0273-0979-08-01229-9 
• Lawler, Gregory F.; Schramm, Oded; Werner, Wendelin (2001b), "The dimension of the planar Brownian frontier is 4/3", Mathematical Research Letters 8 (4): 401–411, doi:10.4310/mrl.2001.v8.n4.a1, http://www.mrlonline.org/mrl/2001-008-004/2001-008-004-001.html 
• Loewner, C. (1923), "Untersuchungen über schlichte konforme Abbildungen des Einheitskreises. I", Math. Ann. 89 (1–2): 103–121, doi:10.1007/BF01448091, http://dml.cz/bitstream/handle/10338.dmlcz/125927/MathBohem_118-1993-3_7.pdf 
• Mandelbrot, Benoît (1982), The Fractal Geometry of Nature, W. H. Freeman, ISBN 978-0-7167-1186-5, https://archive.org/details/fractalgeometryo00beno 
• Norris, J. R. (2010), Introduction to Schramm–Loewner evolutions, http://www.statslab.cam.ac.uk/~james/Lectures/sle.pdf 
• Pommerenke, Christian (1975), Univalent functions, with a chapter on quadratic differentials by Gerd Jensen, Studia Mathematica/Mathematische Lehrbücher, 15, Vandenhoeck & Ruprecht  (Chapter 6 treats the classical theory of Loewner's equation)
• Schramm, Oded (2000), "Scaling limits of loop-erased random walks and uniform spanning trees", Israel Journal of Mathematics 118: 221–288, doi:10.1007/BF02803524  Schramm's original paper, introducing SLE
• Schramm, Oded (2007), "Conformally invariant scaling limits: an overview and a collection of problems", International Congress of Mathematicians. Vol. I, Eur. Math. Soc., Zürich, pp. 513–543, doi:10.4171/022-1/20, ISBN 978-3-03719-022-7, Bibcode: 2006math......2151S 
• Werner, Wendelin (2004), "Random planar curves and Schramm–Loewner evolutions", Lectures on probability theory and statistics, Lecture Notes in Math., 1840, Berlin, New York: Springer-Verlag, pp. 107–195, doi:10.1007/b96719, ISBN 978-3-540-21316-1 
• Werner, Wendelin (2005), "Conformal restriction and related questions", Probability Surveys 2: 145–190, doi:10.1214/154957805100000113 
• Bauer, Michel; Bernard, Denis (2002a), "SLEκ growth processes and conformal field theories", Physics Letters B 543 (1–2): 135–138, doi:10.1016/S0370-2693(02)02423-1 
• Bauer, Michel; Bernard, Denis (2002b), "Conformal Field Theories of Stochastic Loewner Evolutions", Communications in Mathematical Physics 239 (3): 493–521, doi:10.1007/s00220-003-0881-x 

External links

• Lawler; Schramm; Werner (2001), Tutorial: SLE, Lawrence Hall of Science, University of California, Berkeley, http://www.msri.org/publications/ln/msri/2001/percolation/schramm/2/index.html  ( video of MSRI lecture)
• Schramm, Oded (2001), Conformally Invariant Scaling Limits and SLE, MSRI, http://www.msri.org/publications/ln/msri/2001/percolation/schramm/1/index.html  (Slides from a talk.)