DOCSLIB.ORG

Math 639: Lecture 24 the Gaussian Free Field and Liouville Quantum Gravity

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Math 639: Lecture 24 the Gaussian Free Field and Liouville Quantum Gravity Math 639: Lecture 24 The Gaussian Free Field and Liouville Quantum Gravity Bob Hough May 11, 2017 Bob Hough Math 639: Lecture 24 May 11, 2017 1 / 65 The Gaussian free field This lecture loosely follows Berestycki's `Introduction to the Gaussian Free Field and Liouville Quantum Gravity'. Bob Hough Math 639: Lecture 24 May 11, 2017 2 / 65 It^o'sformula The multidimensional It^o'sformula is as follows. Theorem (Multidimensional It^o'sformula) Let tBptq : t ¥ 0u be a d-dimensional Brownian motion and suppose tζpsq : s ¥ 0u is a continuous, adapted stochastic process with values in m d m R and increasing components. Let f : R ` Ñ R satisfy Bi f and Bjk f , all 1 ¤ j; k ¤ d, d ` 1 ¤ i ¤ d ` m are continuous t 2 E 0 |rx f pBpsq; ζpsqq| ds ă 8 then a.s.³ for all 0 ¤ s ¤ t s f pBpsq; ζpsqq ´ f pBp0q; ζp0qq “ rx f pBpuq; ζpuqq ¨ dBpuq »0 s 1 s ` r f pBpuq; ζpuqq ¨ dζpuq ` ∆ f pBpuq; ζpuqqdu: y 2 x »0 »0 Bob Hough Math 639: Lecture 24 May 11, 2017 3 / 65 Conformal maps Definition 2 Let U and V be domains in R . A mapping f : U Ñ V is conformal if it is a bijection and preserves angles. Viewed as a map between domains in C, this is equivalent to f is an analytic bijection. Bob Hough Math 639: Lecture 24 May 11, 2017 4 / 65 Conformal invariance of Brownian motion The following conformal invariance of Brownian motion may be established with It^o'sformula. Theorem Let U be a domain in the complex plane, x P U, and let f : U Ñ V be analytic. Let tBptq : t ¥ 0u be a planar Brownian motion started in x and τU “ inftt ¥ 0 : Bptq R Uu its first exit time from the domain U. There exists a planar Brownian motion tB~ptq : t ¥ 0u such that, for any t P r0; τU q, t f pBptqq “ B~pζptqq; ζptq “ |f 1pBpsqq|2ds: »0 If f is conformal, then ζpτU q is the first exit time from V by tB~ptq : t ¥ 0u. Bob Hough Math 639: Lecture 24 May 11, 2017 5 / 65 Conformal invariance of Brownian motion Proof. We assume that the domains are bounded. Recall that if f “ f1 ` if2 then the Cauchy-Riemann equations give 1 rf1 and rf2 are orthogonal, and |rf1| “ |rf2| “ |f |. Let σptq “ infts ¥ 0 : ζpsq ¥ tu Let tB~ptq : t ¥ 0u be an independent Brownian motion, and define W ptq “ f pBpσptq ^ τU qq ` B~ptq ´ B~pt ^ ζpτU qq; t ¥ 0: It suffices to check that W ptq is a Brownian motion. Since it is almost surely continuous, it remains to check the f.d.d. Bob Hough Math 639: Lecture 24 May 11, 2017 6 / 65 Conformal invariance of Brownian motion Proof. To check the f.d.d. we check for 0 ¤ s ¤ t, and λ P C, 1 E exλ,W ptqy G psq “ exp |λ|2pt ´ sq ` xλ, W psqy : 2 ” ˇ ı ˆ ˙ ˇ It suffices to check ˇ 1 E exλ,W ptqy|W psq “ f pxq “ exp |λ|2pt ´ sq ` xλ, f pxqy : 2 ” ı ˆ ˙ We evaluate this at s “ 0. Bob Hough Math 639: Lecture 24 May 11, 2017 7 / 65 Conformal invariance of Brownian motion Proof. Calculate E exλ,W ptqy W p0q “ f pxq ” ˇ ı 1 “ E exp xˇλ, f pBpσptq ^ τ qqy ` |λ|2pt ´ ζpσptq ^ τ qq : x ˇ U 2 U ˆ ˙ We use It^owith 1 F px; uq “ exp xλ, f pxqy ` |λ|2pt ´ sq : 2 ˆ ˙ Note ∆exλ,f pxqy “ |λ|2|f 1pxq|2exλ,f pxqy. Bob Hough Math 639: Lecture 24 May 11, 2017 8 / 65 Conformal invariance of Brownian motion Proof. 1 2 Recall F px; uq “ exp xλ, f pxqy ` 2 |λ| pt ´ uq . Set T “ σptq ^ τUn , with U “ tx P U : dpx; BUq ¥ 1{nu. n ` ˘ Hence T F pBpT q; ζpT qq “ F pBp0q; ζp0qq ` rx F pBpsq; ζpsqq ¨ dBpsq »0 T 1 T ` B F pBpsq; ζpsqqdζpsq ` ∆ F pBpsq; ζpsqqds: u 2 x »0 »0 Use dζpuq “ |f 1pBpuqq|2du to cancel the two terms on the bottom line. Also, the stochastic integral has mean 0. Bob Hough Math 639: Lecture 24 May 11, 2017 9 / 65 Conformal invariance of Brownian motion Proof. We thus calculate xλ,W ptqy E e W p0q “ f pxq “ Ex rF pBpσptq ^ τU q; ζpσptq ^ τU qqs ˇ ” ı 1 2 “ lim Ex rFˇ pBpT q; ζpT qqs “ F px; 0q “ exp |λ| t ` xλ, f pxqy : nÑ8 ˇ 2 ˆ ˙ Bob Hough Math 639: Lecture 24 May 11, 2017 10 / 65 Discrete case Let G “ pV ; Eq be an undirected graph, and let B be a distinguished set of vertices, called the boundary. Let V^ “ V zB be the internal vertices. For x; y P V , write x „ y if x and y are neighbors. Let tXnu be a random walk on G, in which at each step the walker chooses uniformly a random neighbor. Let P be the transition matrix, dpxq “ degpxq, which is an invariant measure for the walk, and let τ be the first hitting time to the boundary. Bob Hough Math 639: Lecture 24 May 11, 2017 11 / 65 Discrete case Definition (Green function) The Green function Gpx; yq is defined for x; y P V by putting 1 8 Gpx; yq “ Ex 1 : dpyq pXn“y;τ¡nq ˜n“0 ¸ ¸ Definition (Discrete Laplacian) The discrete Laplacian acts on functions on V by 1 ∆f pxq “ pf pyq ´ f pxqq: d x y„x p q ¸ Bob Hough Math 639: Lecture 24 May 11, 2017 12 / 65 Discrete case Proposition The following hold: 1 Let P^ denote the restriction of P to V^ . Then pI ´ P^q´1px; yq “ Gpx; yqdpyq for all x; y P V.^ 2 G is a symmetric nonnegative semidefinite function. That is, one has Gpx; yq “ Gpy; xq and if pλx qxPV is a vector then x;yPV λx λy Gpx; yq ¥ 0. Equivalently, all eigenvalues are non-negative. ř 3 Gpx; ¨q is discrete harmonic in V^ ztxu, and ∆Gpx; ¨q “ ´δx p¨q. Bob Hough Math 639: Lecture 24 May 11, 2017 13 / 65 Discrete case Definition The discrete Gaussian free field is the centered Gaussian vector phpxqqxPV with covariance given by the Green function G. Note that if x PB, then Gpx; yq “ 0 for all y P V and hence hpxq “ 0 a.s. Bob Hough Math 639: Lecture 24 May 11, 2017 14 / 65 Discrete case Theorem (Law of the GFF) The law of phpxqqxPV is absolutely continuous with respect to dx “ uPV dxu, and the joint pdf is given by ± 1 1 Probphpxq P Aq “ exp ´ py ´ y q2 dy : Z 4 u v u A ˜ u„vPV ¸ uPV » ¸ ¹ Z is a normalizing constant, called the partition function. The quadratic form appearing in the exponential is called the Dirichlet energy. Bob Hough Math 639: Lecture 24 May 11, 2017 15 / 65 Discrete case Proof. For a centered Gaussian vector pY1; :::; Ynq with covariance matrix V , the joint density is given by 1 1 exp ´ y T V ´1y Z 2 ˆ ˙ Bob Hough Math 639: Lecture 24 May 11, 2017 16 / 65 Discrete case Proof. Restrict to only variables from V^ and calculate hpx^qT G ´1hpx^q “ G ´1px; yqhpxqhpyq ^ x;¸yPV “ ´dpxqP^px; yqhpxqhpyq ` dpxqhpxq2 ^ ^ x;yP¸V :x„y x¸PV 1 “ ´ hpxqhpyq ` phpxq2 ` hpyq2q 2 x;yPV :x„y x;yPV :x„y ¸ ¸ 1 “ phpxq ´ hpyqq2: 2 x;yPV :x„y ¸ Bob Hough Math 639: Lecture 24 May 11, 2017 17 / 65 Discrete case Theorem (Markov property) Fix U Ă V . The discrete GFF hpxq can be decomposed as follows: h “ h0 ` φ where h0 is a Dirichlet boundary Gaussian free field on U and φ is harmonic on U. Moreover, h0 and φ are independent. We prove a continuum version of this theorem in the next section. Bob Hough Math 639: Lecture 24 May 11, 2017 18 / 65 Continuum case d D For D Ă R let pt px; yq be the transition kernel of Brownian motion killed on leaving D. Thus D D pt px; yq “ pt px; yqπt px; yq where |x´y|2 exp ´ 2t p px; yq “ t ´ d ¯ p2πtq 2 D and πt px; yq is the probability that a Brownian bridge of duration t remains in D. Bob Hough Math 639: Lecture 24 May 11, 2017 19 / 65 Continuum case Definition The Green function Gpx; yq “ GD px; yq is given by 8 D Gpx; yq “ π pt px; yqdt: »0 D Gpx; xq “ 8 for all x P D, since πt px; xq Ñ 1 as t Ñ 0. If D is bounded then Gpx; yq ă 8 for all x ‰ y. Bob Hough Math 639: Lecture 24 May 11, 2017 20 / 65 Continuum case Example Suppose D “ H is the upper half plane. Then H pt px; yq “ pt px; yq ´ pt px; yq and x ´ y G px; yq “ log : H x ´ y ˇ ˇ ˇ ˇ ˇ ˇ ˇ ˇ Bob Hough Math 639: Lecture 24 May 11, 2017 21 / 65 Continuum case We now restrict attention to dimension 2. Proposition If T : D Ñ D1 is a conformal map (holomorphic and one-to-one), then GT pDqpT pxq; T pyqq “ GD px; yq. Bob Hough Math 639: Lecture 24 May 11, 2017 22 / 65 Continuum case Proof. Let φ be a test function and let x1; y 1 “ T pxq; T pyq.
Load more

Recommended publications
  • Conformal Welding Problem, Flow Line Problem, and Multiple Schramm
    CONFORMAL WELDING PROBLEM, FLOW LINE PROBLEM, AND MULTIPLE SCHRAMM–LOEWNER EVOLUTION MAKOTO KATORI AND SHINJI KOSHIDA Abstract. A quantum surface (QS) is an equivalence class of pairs (D,H) of simply connected domains D (C and random distributions H on D induced by the conformal equivalence for random metric spaces. This distribution-valued random field is extended to a QS with N + 1 marked boundary points (MBPs) with N Z≥0. We propose the conformal welding problem for it in the case of ∈ N Z≥1. If N = 1, it is reduced to the problem introduced by Sheffield, who solved∈ it by coupling the QS with the Schramm–Loewner evolution (SLE). When N 3, there naturally appears room of making the configuration of MBPs random,≥ and hence a new problem arises how to determine the probability law of the configuration. We report that the multiple SLE in H driven by the Dyson model on R helps us to fix the problems and makes them solvable for any N 3. We also propose the flow line problem for an imaginary surface with boundary≥ condition changing points (BCCPs). In the case when the number of BCCPs is two, this problem was solved by Miller and Sheffield. We address the general case with an arbitrary number of BCCPs in a similar manner to the conformal welding problem. We again find that the multiple SLE driven by the Dyson model plays a key role to solve the flow line problem. 1. Introduction Gaussian free field (GFF) [She07] in two dimensions gives a mathematically rigorous formulation of the free bose field, a model of two-dimensional conformal field theory (CFT) [BPZ84].
    [Show full text]
  • Arxiv:1402.0298V7 [Math.PR] 9 Jul 2020 V Uppoeson Process Jump ( Il De O Op Rmavre Oisl.Teegsaeen Are Edges the Itself
    FROM LOOP CLUSTERS AND RANDOM INTERLACEMENTS TO THE FREE FIELD TITUS LUPU Laboratoire de Mathématiques, Université Paris-Sud, Orsay Abstract. It was shown by Le Jan that the occupation field of a Poisson 1 ensemble of Markov loops ("loop soup") of parameter 2 associated to a tran- sient symmetric Markov jump process on a network is half the square of the Gaussian free field on this network. We construct a coupling between these loops and the free field such that an additional constraint holds: the sign of the free field is constant on each cluster of loops. As a consequence of our 1 coupling we deduce that the loop clusters of parameter 2 do not percolate on periodic lattices. We also construct a coupling between the random interlace- ment on Zd, d ≥ 3, introduced by Sznitman, and the Gaussian free field on the lattice such that the set of vertices visited by the interlacement is contained in a one-sided level set of the free field. We deduce an inequality between the critical level for the percolation by level sets of the free field and the critical parameter for the percolation of the vacant set of the random interlacement. 1. Introduction Here we introduce our framework, some notations, state our main results and outline the layout of the paper. We consider a connected undirected graph = (V, E) where the set of vertices V is at most countable and every vertex has finiteG degree. We do not allow mul- tiple edges nor loops from a vertex to itself. The edges are endowed with positive conductances (C(e))e E and vertices endowed with a non-negative killing measure ∈ (κ(x))x V .
    [Show full text]
  • Berestycki, Introduction to the Gaussian Free Field and Liouville
    Introduction to the Gaussian Free Field and Liouville Quantum Gravity Nathanaël Berestycki [Draft lecture notes: July 19, 2016] 1 Contents 1 Definition and properties of the GFF6 1.1 Discrete case∗ ...................................6 1.2 Green function..................................8 1.3 GFF as a stochastic process........................... 10 1.4 GFF as a random distribution: Dirichlet energy∗ ................ 13 1.5 Markov property................................. 15 1.6 Conformal invariance............................... 16 1.7 Circle averages.................................. 16 1.8 Thick points.................................... 18 1.9 Exercises...................................... 19 2 Liouville measure 22 2.1 Preliminaries................................... 23 2.2 Convergence and uniform integrability in the L2 phase............ 24 2.3 The GFF viewed from a Liouville typical point................. 25 2.4 General case∗ ................................... 27 2.5 The phase transition in Gaussian multiplicative chaos............. 29 2.6 Conformal covariance............................... 29 2.7 Random surfaces................................. 32 2.8 Exercises...................................... 32 3 The KPZ relation 34 3.1 Scaling exponents; KPZ theorem........................ 34 3.2 Applications of KPZ to exponents∗ ....................... 36 3.3 Proof in the case of expected Minkowski dimension.............. 37 3.4 Sketch of proof of Hausdorff KPZ using circle averages............ 39 3.5 Proof of multifractal spectrum of Liouville
    [Show full text]
  • The First Passage Sets of the 2D Gaussian Free Field: Convergence and Isomorphisms Juhan Aru, Titus Lupu, Avelio Sepúlveda
    The first passage sets of the 2D Gaussian free field: convergence and isomorphisms Juhan Aru, Titus Lupu, Avelio Sepúlveda To cite this version: Juhan Aru, Titus Lupu, Avelio Sepúlveda. The first passage sets of the 2D Gaussian free field: convergence and isomorphisms. Communications in Mathematical Physics, Springer Verlag, 2020, 375 (3), pp.1885-1929. 10.1007/s00220-020-03718-z. hal-01798812 HAL Id: hal-01798812 https://hal.archives-ouvertes.fr/hal-01798812 Submitted on 24 May 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. THE FIRST PASSAGE SETS OF THE 2D GAUSSIAN FREE FIELD: CONVERGENCE AND ISOMORPHISMS. JUHAN ARU, TITUS LUPU, AND AVELIO SEPÚLVEDA Abstract. In a previous article, we introduced the first passage set (FPS) of constant level −a of the two-dimensional continuum Gaussian free field (GFF) on finitely connected domains. Informally, it is the set of points in the domain that can be connected to the boundary by a path along which the GFF is greater than or equal to −a. This description can be taken as a definition of the FPS for the metric graph GFF, and it justifies the analogy with the first hitting time of −a by a one- dimensional Brownian motion.
    [Show full text]
  • The Geometry of the Gaussian Free Field Combined with SLE Processes and the KPZ Relation Juhan Aru
    The geometry of the Gaussian free field combined with SLE processes and the KPZ relation Juhan Aru To cite this version: Juhan Aru. The geometry of the Gaussian free field combined with SLE processes and the KPZ relation. General Mathematics [math.GM]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. NNT : 2015ENSL1007. tel-01195774 HAL Id: tel-01195774 https://tel.archives-ouvertes.fr/tel-01195774 Submitted on 8 Sep 2015 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Ecole´ doctorale InfoMaths G´eometriedu champ libre Gaussien en relation avec les processus SLE et la formule KPZ THESE` pr´esent´eeet soutenue publiquement le le 10 juillet 2015 en vue de l'obtention du grade de Docteur de l'Universit´ede Lyon, d´elivr´epar l'Ecole´ Normale Sup´erieurede Lyon Discipline : Math´ematiques par Juhan Aru Directeur : Christophe GARBAN Apr`esl'avis de: Nathana¨elBERESTYCKI Scott SHEFFIELD Devant la commision d'examen : Vincent BEFFARA (Membre) Nathana¨elBERESTYCKI (Rapporteur) Christophe GARBAN (Directeur) Gr´egoryMIERMONT (Membre) R´emiRHODES (Membre) Vincent VARGAS (Membre) Wendelin WERNER (Membre) Unit´ede Math´ematiquesPures et Appliqu´ees| UMR 5669 Mis en page avec la classe thesul.
    [Show full text]
  • [Math.PR] 23 Nov 2006 Gaussian Free Fields for Mathematicians
    Gaussian free fields for mathematicians Scott Sheffield∗ Abstract The d-dimensional Gaussian free field (GFF), also called the (Eu- clidean bosonic) massless free field, is a d-dimensional-time analog of Brownian motion. Just as Brownian motion is the limit of the sim- ple random walk (when time and space are appropriately scaled), the GFF is the limit of many incrementally varying random functions on d-dimensional grids. We present an overview of the GFF and some of the properties that are useful in light of recent connections between the GFF and the Schramm-Loewner evolution. arXiv:math/0312099v3 [math.PR] 23 Nov 2006 ∗Courant Institute. Partially supported by NSF grant DMS0403182. 1 Contents 1 Introduction 3 2 Gaussian free fields 4 2.1 StandardGaussians........................ 4 2.2 AbstractWienerspaces. 6 2.3 Choosingameasurablenorm. 7 2.4 GaussianHilbertspaces . 10 2.5 Simpleexamples ......................... 12 2.6 FieldaveragesandtheMarkovproperty . 13 2.7 Field exploration: Brownian motion and the GFF . 15 2.8 Circleaveragesandthickpoints . 17 3 General results for Gaussian Hilbert spaces 17 3.1 Moments and Schwinger functions . 17 3.2 Wiener decompositions and Wick products . 19 3.3 Otherfields ............................ 19 4 Harmonic crystals and discrete approximations of the GFF 20 4.1 Harmoniccrystalsandrandomwalks . 20 4.2 Discrete approximations: triangular lattice . ... 22 4.3 Discrete approximations: other lattices . 23 4.4 Computer simulations of harmonic crystals . 23 4.5 Central limit theorems for random surfaces . 24 Bibliography 25 2 Acknowledgments. Many thanks to Oded Schramm and David Wilson for helping to clarify the definitions and basic ideas of the text and for helping produce the computer simulations.
    [Show full text]
  • A Characterisation of the Gaussian Free Field
    A characterisation of the Gaussian free field Nathanaël Berestycki∗ Ellen Powell y Gourab Rayz August 19, 2019 Abstract We prove that a random distribution in two dimensions which is conformally invariant and satisfies a natural domain Markov property is a multiple of the Gaussian free field. This result holds subject only to a fourth moment assumption. 1 Introduction 1.1 Setup and main result The Gaussian free field (abbreviated GFF) has emerged in recent years as an object of central importance in probability theory. In two dimensions in particular, the GFF is conjectured (and in many cases proved) to arise as a universal scaling limit from a broad range of models, including the Ginzburg–Landau ' interface model ([20, 29, 26]), the height function associated to planar domino tilings and the dimerr model ([21, 12,5,6, 13, 23]), and the characteristic polynomial of random matrices ([18, 32, 19]). It also plays a crucial role in the mathematically rigourous description of Liouville quantum gravity; see in particular [17,1] and [14] for some recent major developments (we refer to [30] for the original physics paper). Note that the interpretations of Liouville quantum gravity in the references above are slightly different from one another, and are in fact more closely related to the GFF with Neumann boundary conditions than the GFF with Dirichlet boundary conditions treated in this paper. As a canonical random distribution enjoying conformal invariance and a domain Markov prop- erty, the GFF is also intimately linked to the Schramm–Loewner Evolution (SLE). In particular SLE4 and related curves can be viewed as level lines of the GFF ([36, 35, 11, 31]).
    [Show full text]
  • The 2D Gaussian Free Field Interface
    The 2D Gaussian Free Field Interface Oded Schramm http://research.microsoft.com/»schramm Co-author: Scott She±eld Plan 1. Overview: motivation, de¯nition, random processes, properties... 2. Harmonic explorer convergence 3. Gaussian free ¯eld (a) Basic properties of GFF and DGFF (b) Interfaces (level sets) (c) Convergence to SLE(4) (d) Extensions 1 Gaussian Free Field ² Generalizes Brownian motion to case where time is d-dimensional ² Satis¯es Markov property ² In 2D is conformally invariant ² In 2D diverges logarithmically (is a distribution) 2 1D Gaussian random variables Recall: A standard 1D Gaussian has distribution given by the density £ ¤ exp(¡x2=2) P X 2 [x; x + dx] = p dx: 2¼ 3 Gaussian random variables in Rn If hx; yi is an inner product in Rn, then µ ¶ ¡ hx; xi (2¼)¡n=2 exp 2 is the density of an associated multidimensional Gaussian. This is the same as taking Xn zj ej j=1 where fejg is an orthonormal basis and fzjg are independent 1D Gaussians. 4 Gaussian RV in Hilbert space In (separable) Hilbert space H, we may take X1 h = zj ej: j=1 But note that this is not an element of H. If we ¯x x 2 H, then hh; xi is a random variable with variance hx; xi. However, there are some random x for which hh; xi is unde¯ned. 5 Gaussian Free Field De¯nition If D is a domain in Rd, we let H be the completion of the smooth compactly supported functions on D under the inner product Z Z hf; gir = rf ¢ rg = f ¢g: D D The corresponding standard Gaussian h of H is the GFF with zero boundary values on D.
    [Show full text]
  • Global and Local Multiple Sles for $\Kappa\Leq 4$ and Connection
    Global and Local Multiple SLEs for κ 4 and ≤ Connection Probabilities for Level Lines of GFF Eveliina Peltola∗1 and Hao Wuy2 1Section de Math´ematiques,Universit´ede Gen`eve, Switzerland 2Yau Mathematical Sciences Center, Tsinghua University, China Abstract This article pertains to the classification of multiple Schramm-Loewner evo- lutions (SLE). We construct the pure partition functions of multiple SLEκ with κ (0; 4] and relate them to certain extremal multiple SLE mea- sures, thus2 verifying a conjecture from [BBK05, KP16]. We prove that the two approaches to construct multiple SLEs | the global, configurational construction of [KL07, Law09a] and the local, growth process construction of [BBK05, Dub07, Gra07, KP16] | agree. The pure partition functions are closely related to crossing probabilities in critical statistical mechanics models. With explicit formulas in the special case of κ = 4, we show that these functions give the connection probabilities for the level lines of the Gaussian free field (GFF) with alternating boundary data. We also show that certain functions, known as conformal blocks, give rise to multiple SLE4 that can be naturally coupled with the GFF with appropriate boundary data. arXiv:1703.00898v6 [math.PR] 3 Mar 2019 ∗[email protected]. E.P. is supported by the ERC AG COMPASP, the NCCR SwissMAP, and the Swiss NSF. [email protected]. H.W. is supported by the Thousand Talents Plan for Young Professionals (No. 20181710136). 1 Contents 1 Introduction 3 1.1 Multiple SLEs and Pure Partition Functions . .3 1.2 Global Multiple SLEs . .6 1.3 κ = 4: Level Lines of Gaussian Free Field .
    [Show full text]
  • Lectures on Schramm–Loewner Evolution
    Lectures on Schramm–Loewner Evolution N. Berestycki & J.R. Norris January 14, 2016 These notes are based on a course given to Masters students in Cambridge. Their scope is the basic theory of Schramm–Loewner evolution, together with some underlying and related theory for conformal maps and complex Brownian motion. The structure of the notes is influenced by our attempt to make the material accessible to students having a working knowledge of basic martingale theory and Itˆocalculus, whilst keeping the prerequisities from complex analysis to a minimum. 1 Contents 1 Riemann mapping theorem 4 1.1 Conformal isomorphisms . 4 1.2 M¨obiustransformations . 4 1.3 Martin boundary . 5 1.4 SLE(0) . 7 1.5 Loewner evolutions . 8 2 Brownian motion and harmonic functions 9 2.1 Conformal invariance of Brownian motion . 9 2.2 Kakutani’s formula and the circle average property . 11 2.3 Maximum principle . 12 3 Harmonic measure and the Green function 14 3.1 Harmonicmeasure ............................... 14 3.2 An estimate for harmonic functions (?).................... 15 3.3 Dirichlet heat kernel and the Green function . 16 4 Compact H-hulls and their mapping-out functions 19 4.1 Extension of conformal maps by reflection . 19 4.2 Construction of the mapping-out function . 20 4.3 Properties of the mapping-out function . 21 5 Estimates for the mapping-out function 23 5.1 Boundary estimates . 23 5.2 Continuity estimate . 24 5.3 Di↵erentiabilityestimate . 24 6 Capacity and half-plane capacity 26 6.1 Capacity from in H (?)........................... 26 6.2 Half-planecapacity1 ............................... 27 7 Chordal Loewner theory I 29 7.1 Local growth property and Loewner transform .
    [Show full text]
  • Liouville Measure As a Multiplicative Cascade Via Level Sets of The
    LIOUVILLE MEASURE AS A MULTIPLICATIVE CASCADE VIA LEVEL SETS OF THE GAUSSIAN FREE FIELD JUHAN ARU, ELLEN POWELL, AVELIO SEPÚLVEDA Abstract. We provide new constructions of the subcritical and critical Gaussian multiplicative chaos (GMC) measures corresponding to the 2D Gaussian free field (GFF). As a special case we recover E. Aidekon’s construction of random measures using nested conformally invariant loop ensembles, and thereby prove his conjecture that certain CLE4 based limiting measures are equal in law to the GMC measures for the GFF. The constructions are based on the theory of local sets of the GFF and build a strong link between multiplicative cascades and GMC measures. This link allows us to directly adapt techniques used for multiplicative cascades to the study of GMC measures of the GFF. As a proof of principle we do this for the so-called Seneta–Heyde rescaling of the critical GMC measure. 1. Introduction Gaussian multiplicative chaos (GMC) theory, initiated by Kahane in the 80s [Kah85] as a gener- alization of multiplicative cascades, aims to give a meaning to “exp(Γ)” for rough Gaussian fields Γ. In a simpler setting it was already used in the 70s to model the exponential interaction of bosonic fields [HK71], and over the past ten years it has gained importance as a key component in con- structing probabilistic models of so-called Liouville quantum gravity in 2D [DS11, DKRV16] (see also [Nak04] for a review from the perspective of theoretical physics). One of the important cases of GMC theory is when the underlying Gaussian field is equal to γΓ, for Γ a 2D Gaussian free field (GFF) [DS11] and γ > 0 a parameter.
    [Show full text]
  • STEEP POINTS of GAUSSIAN FREE FIELDS in ANY DIMENSION 2 to the Lack of Point-Wise Values of the field
    STEEP POINTS OF GAUSSIAN FREE FIELDS IN ANY DIMENSION LINAN CHEN ABSTRACT. This work aims to extend the existing results on the Hausdorff dimension of the classical thick point sets of a Gaussian free field (GFF) to a more general class of excep- tional sets. We adopt the circle or sphere averaging regularization to treat a singular GFF in any dimension, and introduce the notion of “ f steep point” of the GFF for certain test − function f . Roughly speaking, the f steep points of a generic element of the GFF are loca- − tions where, when weighted by the function f , the “steepness”, or in other words, the “rate of change” of the regularized field element becomes unusually large. Different choices of f lead to the study of various exceptional behaviors of the GFF. We investigate the Haus- dorff dimension of the set consisting of f steep points, from which we can recover the − existing results on thick point sets for both log-correlated and polynomial-correlated GFFs, and also obtain new results on exceptional sets that, to our best knowledge, have not been previously studied. Our method is inspired by the one used to study the thick point sets of the classical 2D log-correlated GFF. 1. INTRODUCTION Gaussian Free Field (GFF) has played an essential role in many recent achievements in quantum physics and statistical mechanics. Although originated in physics, the math- ematical study of GFFs has been a fast developing field of probability theory, generat- ing fruitful results on problems arising from discrete math, analysis, geometry and other subjects.
    [Show full text]