We discuss the possible candidates for conformally invariant random non-self-crossing curves which begin and end on the boundary of a multiply connected planar domain, and which satisfy a Markovian-type property. We consider both, the case when the curve connects a boundary component to itself (chordal), and the case when the curve connects two different boundary components (bilateral). We establish appropriate extensions of Loewner's equation to multiply connected domains for the two cases. We show that a curve in the domain induces a motion on the boundary and that this motion is enough to first recover the motion of the moduli of the domain and then, second, the curve in the interior. For random curves in the interior we show that the induced random motion on the boundary is not Markov if the domain is multiply connected, but that the random motion on the boundary together with the random motion of the moduli forms a Markov process. In the chordal case, we show that this Markov process satisfies Brownian scaling and discuss how this limits the possible conformally invariant random non-self-crossing curves. We show that the possible candidates are labeled by a real constant and a function homogeneous of degree minus one which describes the interaction of the random curve with the boundary. We show that the random curve has the locality property if the interaction term vanishes and the real parameter equals six.
We consider a particular type of $\sqrt{8/3}$-Liouville quantum gravity surface called a doubly marked quantum disk (equivalently, a Brownian disk) decorated by an independent chordal SLE$_6$ curve $η$ between its marked boundary points. We obtain descriptions of the law of the quantum surfaces parameterized by the complementary connected components of $η([0,t])$ for each time $t \geq 0$ as well as the law of the left/right $\sqrt{8/3}$-quantum boundary length process for $η$.
We show that, for $κ\le 4$, the integral of the two-sided radial SLE$_κ$ measures over all interior points is chordal SLE$_κ$ biased by the path's natural length, which is its $(1+κ/8)$-dimensional Minkowski content.
The purpose of this note is to describe a framework which unifies radial, chordal and dipolar SLE. When the definition of SLE(kappa;rho) is extended to the setting where the force points can be in the interior of the domain, radial SLE(kappa) becomes chordal SLE(kappa;rho), with rho=kappa-6, and vice versa. We also write down the martingales describing the Radon-Nykodim derivative of SLE(kappa;rho_1,...,rho_n) with respect to SLE(kappa).
We prove that, for $κ\in(0,4)$ and $ρ\ge (κ-4)/2$, the chordal SLE$(κ;ρ)$ trace started from $(0;0^+)$ or $(0;0^-)$ satisfies the reversibility property. And we obtain the equation for the reversal of the chordal SLE$(κ;ρ)$ trace started from $(0;b_0)$, where $b_0>0$.
We derive some geometric properties of chordal SLE$(κ;\vecρ)$ processes. Using these results and the method of coupling two SLE processes, we prove that the outer boundary of the final hull of a chordal SLE$(κ;\vecρ)$ process has the same distribution as the image of a chordal SLE$(κ';\vec{ρ'})$ trace, where $κ>4$, $κ'=16/κ$, and the forces $\vecρ$ and $\vec{ρ'}$ are suitably chosen. We find that for $κ\ge 8$, the boundary of a standard chordal SLE$(κ)$ hull stopped on swallowing a fixed $x\in\R\sem\{0\}$ is the image of some SLE$(16/κ;\vecρ)$ trace started from $x$. Then we obtain a new proof…
We improve the geometric properties of SLE$(κ;\vecρ)$ processes derived in an earlier paper, which are then used to obtain more results about the duality of SLE. We find that for $κ\in (4,8)$, the boundary of a standard chordal SLE$(κ)$ hull stopped on swallowing a fixed $x\in\R\sem\{0\}$ is the image of some SLE$(16/κ;\vecρ)$ trace started from a random point. Using this fact together with a similar proposition in the case that $κ\ge 8$, we obtain a description of the boundary of a standard chordal SLE$(κ)$ hull for $κ>4$, at a finite stopping time. Finally, we prove that for $κ>4$, in many c…
The Schramm-Loewner evolution (SLE) can be simulated by dividing the time interval into N subintervals and approximating the random conformal map of the SLE by the composition of N random, but relatively simple, conformal maps. In the usual implementation the time required to compute a single point on the SLE curve is O(N). We give an algorithm for which the time to compute a single point is O(N^p) with p<1. Simulations with kappa=8/3 and kappa=6 both give a value of p of approximately 0.4.
In the paper we prove that, for $κ\in(0,8)$, the $n$-point boundary Green's function of exponent $\frac8κ-1$ for chordal SLE$_κ$ exists. We also prove that the convergence is uniform over compact sets and the Green's function is continuous. We also give up-to-constant bounds for the Green's function.
We derive a number of estimates for the probability that a chordal SLE path in the upper half plane H intersects a semicircle centred on the real line. We prove that if 0<kappa<8 and gamma:[0,infinity) to closure(H) is a chordal SLE in H from 0 to infinity, then P(gamma[0,infinity) cap C(x;rx) neq emptyset) asymp r^(4a-1) where a=2/kappa and C(x;rx) denotes the semicircle centred at x>0 of radius rx, 0<r<1/3, in the upper half plane. As an application of our results, for 0<kappa<8, we derive an estimate for the diameter of a chordal SLE path in H between two real boundary points 0 and x>0. For…
We resolve a conjecture of Sheffield that $\SLE(4)$, a conformally invariant random curve, is the universal limit of the chordal zero-height contours of random surfaces with isotropic, uniformly convex potentials. Specifically, we study the \emph{Ginzburg-Landau $\nabla ϕ$ interface model} or \emph{anharmonic crystal} on $D_n = D \cap \tfrac{1}{n} \Z^2$ for $D \subseteq \C$ a bounded, simply connected Jordan domain with smooth boundary. This is the massless field with Hamiltonian $\CH(h) = \sum_{x \sim y} \CV(h(x) - h(y))$ with $\CV$ symmetric and uniformly convex and $h(x) = ϕ(x)$ for $x \in …
We give a direct construction of the conformally invariant measure on self-avoiding loops in Riemann surfaces (Werner measure) from chordal $\text{SLE}_{8/3}$. We give a new proof of uniqueness of the measure and use Schramm's formula to construct a measure on boundary bubbles encircling an interior point. After establishing covariance properties for this bubble measure, we apply these properties to obtain a measure on loops by integrating measures on boundary bubbles. We calculate the distribution of the conformal radius of boundary bubbles encircling an interior point and deduce from it expl…
We compute the almost-sure Hausdorff dimension of the double points of chordal SLE_kappa for kappa > 4, confirming a prediction of Duplantier-Saleur (1989) for the contours of the FK model. We also compute the dimension of the cut points of chordal SLE_kappa for kappa > 4 as well as analogous dimensions for the radial and whole-plane SLE_kappa(rho) processes for kappa > 0. We derive these facts as consequences of a more general result in which we compute the dimension of the intersection of two flow lines of the formal vector field e^{ih/chi}, where h is a Gaussian free field and chi > 0, of d…
In this paper we consider the natural random walk on a planar graph and scale it by a small positive number $δ$. Given a simply connected domain $D$ and its two boundary points $a$ and $b$, we start the scaled walk at a vertex of the graph nearby $a$ and condition it on its exiting $D$ through a vertex nearby $b$, and prove that the loop erasure of the conditioned walk converges, as $δ\downarrow 0$, to the chordal SLE$_{2}$ that connects $a$ and $b$ in $D$, provided that an invariance principle is valid for both the random walk and the dual walk of it.
For a chordal SLE$_κ$ ($κ\in(0,8)$) curve in a domain $D$, the $n$-point Green's function valued at distinct points $z_1,\dots,z_n\in D$ is defined to be $$G(z_1,\dots,z_n)=\lim_{r_1,\dots,r_n\downarrow 0} \prod_{k=1}^n r_k^{d-2} \mathbb{P}[\mbox{dist}(γ,z_k)<r_k,1\le k\le n],$$ where $d=1+\fracκ{8}$ is the Hausdorff dimension of SLE$_κ$, provided that the limit converges. In this paper, we will show that such Green's functions exist for any finite number of points. Along the way we provide the rate of convergence and modulus of continuity for Green's functions as well. Finally, we give up-to-…
This paper concerns a random walk on a planar graph and presents certain estimates concerning the harmonic measures for the walk in a grid domain which estimates are useful for showing the convergence of a LERW (loop-erased random walk) to an SLE (stochastic Loewner evolution). We assume that the walk started at a fixed vertex of the graph satisfies the invariance principle as in Yadin and Yehudayoff [16] in which the convergence of LERW to a radial SLE is established in this setting. Our main concern is chordal case, where a random walk is started at a boundary vertex of a simply connected gr…
We prove that, for $κ\le 4$, backward chordal SLE$_κ$ admits backward chordal SLE$_κ(-4,-4)$ decomposition for the capacity parametrization. This means that, for any bounded measurable subset $U\subset Q_4:={\mathbb R}_+\times{\mathbb R}_-$, if we integrate the laws of extended backward chordal SLE$_κ(-4,-4)$ with different pairs of force points $(x,y)$ against some suitable density function $G(x,y)$ restricted to $U$, then we get a measure, which is absolutely continuous with respect to the law of backward chordal SLE$_κ$, and the Radon-Nikodym derivative is a constant depending on $κ$ times …
We characterize and describe all random subsets $K$ of a given simply connected planar domain (the upper half-plane $\H$, say) which satisfy the ``conformal restriction'' property, i.e., $K$ connects two fixed boundary points (0 and $\infty$, say) and the law of $K$ conditioned to remain in a simply connected open subset $D$ of $\H$ is identical to that of $Φ(K)$, where $Φ$ is a conformal map from $\H$ onto $D$ with $Φ(0)=0$ and $Φ(\infty)=\infty$. The construction of this family relies on the stochastic Loewner evolution (SLE) processes with parameter $κ\le 8/3$ and on their distortion under …
Let $κ\in(4,8)$. Let $γ$ be an SLE$_κ$ curve in a Jordan domain $D$ connecting $a_1\ne a_2\in\partial D$. We attach $γ$ with two open boundary arcs $A_1,A_2$ of $D$, which share end points $b_1\ne b_2\in\partial D\setminus\{a_1,a_2\}$, and consider for each $z_0\in D$ the limit $$ \lim_{r \downarrow 0}r^{1-\frac 38κ} \mathbb{P}[γ\cup A_1\cup A_2 \mbox{ has a cut point in }\{|z-z_0|<r\}].$$ We prove that the limit converges, derive a rate of convergence, and obtain the exact formula of the limit up to a multiplicative constant depending only on $κ$.
For $κ\in(0,4]$, a family of annulus SLE$(κ;Λ)$ processes were introduced in [14] to prove the reversibility of whole-plane SLE$(κ)$. In this paper we prove that those annulus SLE$(κ;Λ)$ processes satisfy a restriction property, which is similar to that for chordal SLE$(κ)$. Using this property, we construct $n\ge 2$ curves crossing an annulus such that, when any $n-1$ curves are given, the last curve is a chordal SLE$(κ)$ trace.
We consider a coupling of the Gaussian free field with slit holomorphic stochastic flows, called ($δ,σ$)-SLE, which contains known SLE processes (chordal, radial, and dipolar) as particular cases. In physical terms, we study a free boundary conformal field theory with one scalar bosonic field, where Green's function is assumed to have some general regular harmonic part. We establish which of these models allow coupling with ($δ,σ$)-SLE, or equivalently, when the correlation functions induce local ($δ,σ$)-SLE martingales (martingale observables).
We show that, for $κ\in(0,8)$, the integral of the laws of two-sided radial SLE$_κ$ curves through different interior points against a measure with SLE$_κ$ Green function density is the law of a chordal SLE$_κ$ curve, biased by the path's natural length. We also show that, for $κ>0$, the integral of the laws of extended SLE$_κ(-8)$ curves through different interior points against a measure with a closed formula density restricted in a bounded set is the law of a chordal SLE$_κ$ curve, biased by the path's capacity length restricted in that set. Another result is that, for $κ\in(4,8)$, if one i…
We present a mathematical proof of theoretical predictions made by Arguin and Saint-Aubin, as well as by Bauer, Bernard, and Kytola, about certain non-local observables for the two-dimensional Ising model at criticality by combining Smirnov's recent proof of the fact that the scaling limit of critical Ising interfaces can be described by chordal SLE(3) with Kozdron and Lawler's configurational measure on mutually avoiding chordal SLE paths. As an extension of this result, we also compute the probability that an SLE(k) path, k in (0,4], and a Brownian motion excursion do not intersect.
In this paper, we show that the interfaces in FK Ising model in any domain with 4 marked boundary points and wired--free--wired--free boundary conditions conditioned on a specific internal arc configuration of interfaces converge in the scaling limit to hypergeometric SLE (hSLE). The arc configuration consists of a pair of interfaces and the scaling limit of their joint law can be described by an algorithm to sample the pair from a hSLE curve and a chordal SLE (in a random domain defined by the hSLE).
We investigate the relation between the Laplacian-$b$ motion and stochastic Komatu-Loewner evolution (SKLE) on multiply connected subdomains of the upper half-plane, both of which are analogues to SLE. In particular, we show that, if the driving function of an SKLE is given by a certain stochastic differential equation, then this SKLE is the same as a time-changed Laplacian-$b$ motion. As an application, we prove the finite time explosion of SKLE corresponding to Laplacian-$0$ motion, or $\mathrm{SLE_6}$, in the sense that the solution to the Komatu-Loewner equation for the slits blows up.
We study the probabilities with which chordal Schramm-Loewner Evolutions (SLE) visit small neighborhoods of boundary points. We find formulas for general chordal SLE boundary visiting probability amplitudes, also known as SLE boundary zig-zags or order refined SLE multi-point Green's functions on the boundary. Remarkably, an exact answer can be found to this important SLE question for an arbitrarily large number of marked points. The main technique employed is a spin chain-Coulomb gas correspondence between tensor product representations of a quantum group and functions given by Dotsenko-Fatee…
Let $Q$ be a free Boltzmann quadrangulation with simple boundary decorated by a critical ($p=3/4$) face percolation configuration. We prove that the chordal percolation exploration path on $Q$ between two marked boundary edges converges in the scaling limit to chordal SLE$_6$ on an independent $\sqrt{8/3}$-Liouville quantum gravity disk (equivalently, a Brownian disk). The topology of convergence is the Gromov-Hausdorff-Prokhorov-uniform topology, the natural analog of the Gromov-Hausdorff topology for curve-decorated metric measure spaces. We also obtain analogous scaling limit results for fa…
We present a relation between conformal field theories (CFT) and radial stochastic Schramm-Loewner evolutions (SLE) similar to that we previously developed for the chordal SLEs. We construct an important local martingale using degenerate representations of the Virasoro algebra. We sketch how to compute derivative exponants and the restriction martingales in this framework. In its CFT formulation, the SLE dual Fokker-Planck operator acts as the two-particle Calogero hamiltonian on boundary primary fields and as the dilatation operator on bulk primary fields localized at the fixed point of the S…
We define multiple-paths Schramm-Loewner evolution ($SLE_κ$) in multiply connected domains when $κ\leq 4$ and prove that in annuli, the partition function is smooth. Moreover, we give up-to-constant estimates for the partition function of bi-chordal annulus $SLE_κ$ measure and we establish a connection between this measure and two-sided $SLE_κ$ in the unit disk.
The Green's function for the chordal Schramm-Loewner evolution $SLE_κ$ for $0 < κ< 8$, gives the normalized probability of getting near points. We give up-to-constant bounds for the two-point Green's function.
Following the strategy proposed by Makarov and Smirnov in arXiv:0909.5377, we provide technical details for the proof of convergence of massive loop-erased random walks to the chordal mSLE(2) process. As no follow-up of arXiv:0909.5377 appeared since then, we believe that such a treatment might be of interest for the community. We do not require any regularity of the limiting planar domain $Ω$ near its degenerate prime ends $a$ and $b$ except that $(Ω^δ,a^δ,b^δ)$ are assumed to be `close discrete approximations' to $(Ω,a,b)$ near $a$ and $b$ in the sense of a recent work arXiv:1810.05608.
We consider collections of $N$ chordal random curves obtained from a critical lattice model on a planar graph, in the limit when a fine-mesh graph approximates a simply-connected domain. We define and study candidates for such limits in terms of conformally invariant collections of random curves, generated via iterated Loewner equations. These curves are a natural ``domain Markov extension'' of the earlier introduced local multiple SLE initial segments to global multiple SLE curves. For realizing them as scaling limits, we provide two a priori results to guarantee the precompactness of the dis…
From conformal field theory on the Riemann sphere, we implement its boundary version in a simply-connected domain using the Schottky double construction. We consider the statistical fields generated by background charge modification of the Gaussian free field with Dirichlet boundary condition under the OPE multiplications. We prove that the correlation functions of such fields with symmetric background charges form a collection of martingale-observables for (forward) chordal/radial SLE with force points and spins. We also present the connection between conformal field theory with Neumann bound…
We give estimates for the probability that a chordal, radial or two-sided radial SLE$_κ$ curve retreats far from its terminal point after coming close to it, for $κ\leq 4$. The estimates are uniform over all initial segments of the curve, and are sharp up to a universal constant.
We review some recently completed research that establishes the scaling limit of Fomin's identity for loop-erased random walk on Z^2 in terms of the chordal Schramm-Loewner evolution (SLE) with parameter 2. In the case of two paths, we provide a simplified proof of the identity for loop-erased random walk and simple random walk, and prove directly that the corresponding identity holds for chordal SLE(2) and Brownian motion. We also include a brief introduction to SLE and discussion of the relationship between SLE(2) and loop-erased random walk.
SLE$_κ(ρ)$ is a variant of SLE$_κ$ where $ρ$ characterizes the repulsion (if $ρ>0$) or attraction $(ρ<0)$ from the boundary. This paper examines the probabilities of SLE$_κ(ρ)$ to get close to the boundary. We show how close the chordal SLE$_κ(ρ)$ curves get to the boundary asymptotically, and provide an estimate for the probability that the SLE$_κ(ρ)$ curve hits graph of functions. These generalize the similar result derived by Schramm and Zhou for standard SLE$_κ$ curves.
Developing the theory of two-sided radial and chordal $\mathit{SLE}$, we prove that the natural parametrization on $\mathit{SLE}_κ$ curves is well defined for all $κ<8$. Our proof uses a two-interior-point local martingale.
We give a simplified and complete proof of the convergence of the chordal exploration process in critical FK-Ising percolation to chordal SLE$_κ( κ-6)$ with $κ=16/3$. Our proof follows the classical excursion-construction of SLE$_κ(κ-6)$ processes in the continuum and we are thus led to introduce suitable cut-off stopping times in order to analyse the behaviour of the driving function of the discrete system when Dobrushin boundary condition collapses to a single point. Our proof is very different from [KS15, KS16] as it only relies on the convergence to the chordal SLE$_κ$ process in Dobrushin…
We show that when observing the range of a chordal SLE$_κ$ curve for $κ\in (4,8)$, it is not possible to recover the order in which the points have been visited. We also derive related results about conformal loop ensembles (CLE): (i) The loops in a CLE$_κ$ for $κ\in (4,8)$ are not determined by the CLE$_κ$ gasket. (ii) The continuum percolation interfaces defined in the fractal carpets of conformal loop ensembles CLE$_κ$ for $κ\in (8/3, 4)$ (we defined these percolation interfaces in previous work, and showed there that they are SLE$_{16/κ}$ curves) are not determined by the CLE$_κ$ carpet th…
We prove that the chordal contour lines of the discrete Gaussian free field converge to forms of SLE(4). Specifically, there is a constant lambda > 0 such that when h is an interpolation of the discrete Gaussian free field on a Jordan domain -- with boundary values -lambda on one boundary arc and lambda on the complementary arc -- the zero level line of h joining the endpoints of these arcs converges to SLE(4) as the domain grows larger. If instead the boundary values are -a < 0 on the first arc and b > 0 on the complementary arc, then the convergence is to SLE(4;a/lambda-1,b/lambda-1), a vari…
We construct a natural measure mu supported on the intersection of a chordal SLE(kappa) curve gamma with the real line R, in the range 4 < kappa < 8. The measure is a function of the SLE path in question. Assuming that boundary measures transform in a ``d-dimensional'' way (where d is the Hausdorff dimension of gamma intersected with R), we show that the measure we construct is (up to multiplicative constant) the unique measure-valued function of the SLE path that satisfies the Domain Markov property.
We show that, under mild assumptions on the limiting curve, a sequence of simple chordal planar curves converges uniformly whenever certain Loewner driving functions converge. We extend this result to random curves. The random version applies in particular to random lattice paths that have chordal $\mathrm {SLE}_κ$ as a scaling limit, with $κ<8$ (nonspace-filling). Existing $\mathrm {SLE}_κ$ convergence proofs often begin by showing that the Loewner driving functions of these paths (viewed from $\infty$) converge to Brownian motion. Unfortunately, this is not sufficient, and additional argumen…
We first prove that, for $κ\in(0,4)$, a whole-plane SLE$(κ;κ+2)$ trace stopped at a fixed capacity time satisfies reversibility. We then use this reversibility result to prove that, for $κ\in(0,4)$, a chordal SLE$_κ$ curve stopped at a fixed capacity time can be mapped conformally to the initial segment of a whole-plane SLE$(κ;κ+2)$ trace. A similar but weaker result holds for radial SLE$_κ$. These results are then used to study the ergodic behavior of an SLE curve near its tip point at a fixed capacity time. The proofs rely on the symmetry of backward SLE laminations and conformal removabilit…
We revisit the convergence of loop-erased random walk, LERW, to SLE(2) when the curves are parametrized by capacity. We construct a coupling of the chordal version of LERW and chordal SLE(2) based on the Green's function for LERW as martingale observable and using an elementary discrete-time Loewner "difference" equation. This coupling is different than the ones previously considered in this context. Our recent work (arXiv:1603.05203) on the convergence of LERW parametrized by length to SLE(2) parameterized by Minkowski content uses specific features of the coupling constructed here.
We consider chordal SLE(kappa) curves for kappa > 4, where the intersection of the curve with the boundary is a random fractal of almost sure Hausdorff dimension min {2-8/kappa,1}. We study the random sets of points at which the curve collides with the real line at a specified "angle" and compute an almost sure dimension spectrum describing the metric size of these sets. We work with the forward SLE flow and a key tool in the analysis is Girsanov's theorem, which is used to study events on which moments concentrate. The two-point correlation estimates are proved using the direct method.
We establish a large deviation principle for chordal SLE$_κ$ parametrized by capacity, as the parameter $κ\to 0+$, in the topology generated by uniform convergence on compact intervals of the positive real line. The rate function is shown to equal the Loewner energy of the curve. This strengthens the recent result of E. Peltola and Y. Wang who obtained the analogous statement using the Hausdorff topology.
