Showing 1–43 of 43 results for author: Garban, C

Villain action in lattice gauge theory

Authors: Ilya Chevyrev, Christophe Garban

Abstract: We prove that Villain interaction applied to lattice gauge theory can be obtained as the limit of both Wilson and Manton interactions on a larger graph which we call the {\em carpet graph.} This is the lattice gauge theory analog of a well-known property for spin $O(N)$ models where Villain type interactions are the limit of $\mathbb{S}^{N-1}$ spin systems defined on a {\em cable graph}. Perhaps… ▽ More We prove that Villain interaction applied to lattice gauge theory can be obtained as the limit of both Wilson and Manton interactions on a larger graph which we call the {\em carpet graph.} This is the lattice gauge theory analog of a well-known property for spin $O(N)$ models where Villain type interactions are the limit of $\mathbb{S}^{N-1}$ spin systems defined on a {\em cable graph}. Perhaps surprisingly in the setting of lattice gauge theory, our proof also applies to non-Abelian lattice theory such as $SU(3)$-lattice gauge theory and its limiting Villain interaction. In the particular case of an Abelian lattice gauge theory, this allows us to extend the validity of Ginibre inequality to the case of the Villain interaction. △ Less

Submitted 15 April, 2024; originally announced April 2024.

Comments: 17 pages, 2 figures

Invisibility of the integers for the discrete Gaussian chain via a Caffarelli-Silvestre extension of the discrete fractional Laplacian

Authors: Christophe Garban

Abstract: The Discrete Gaussian Chain is a model of interfaces $Ψ: \mathbf{Z} \to \mathbf{Z}$ governed by the Hamiltonian $$ H(Ψ)= \sum_{i\neq j} J_α(|i-j|) |Ψ_i -Ψ_j|^2 $$ with long-range coupling constants $J_α(k)\asymp k^{-α}$. For any $α\in [2,3)$ and at high enough temperature, we prove an invariance principle for such an $α$-Discrete Gaussian Chain towards a $H(α)$-fractional Gaussian process where th… ▽ More The Discrete Gaussian Chain is a model of interfaces $Ψ: \mathbf{Z} \to \mathbf{Z}$ governed by the Hamiltonian $$ H(Ψ)= \sum_{i\neq j} J_α(|i-j|) |Ψ_i -Ψ_j|^2 $$ with long-range coupling constants $J_α(k)\asymp k^{-α}$. For any $α\in [2,3)$ and at high enough temperature, we prove an invariance principle for such an $α$-Discrete Gaussian Chain towards a $H(α)$-fractional Gaussian process where the Hurst index $H$ satisfies $H=H(α)=\frac {α-2} 2$. This result goes beyond a conjecture by Fröhlich and Zegarlinski [FZ91] which conjectured fluctuations of order $n^{\tfrac 1 2 (α-2) \wedge 1}$ for the Discrete Gaussian Chain. More surprisingly, as opposed to the case of the $2D$ Discrete Gaussian $Ψ: \mathbf{Z}^2 \to \mathbf{Z}$, we prove that the integers do not affect the {\em effective temperature} of the discrete Gaussian Chain at large scales. Such an {\em invisibility of the integers} had been predicted by Slurink and Hilhorst in the special case $α_c=2$ in [SH83]. We also identify a similar invisibility of integers when a $2D$ Gaussian Free Field at high temperature is conditioned to take integer values on a dilute enough "fractal subset" of $\mathbf{Z}^2$. Our proof relies on four main ingredients: (1) A Caffareli-Silvestre extension for the discrete fractional Laplacian (which may be of independent interest) (2) A localisation of the chain in a smoother sub-domain (3) A Coulomb gas-type expansion in the spirit of Fröhlich-Spencer [FS82] (4) Controlling the amount of Dirichlet Energy supported by a $1D$ band for the Green functions of $\mathbf{Z}^2$ Bessel-type random walks Finally, we also analyse the (easier) regime $α\in(1,2) \cup (3,\infty)$ as well as the $2D$ Discrete Gaussian with long-range coupling constants (for any $α>α_c=4$). △ Less

Submitted 17 May, 2024; v1 submitted 7 December, 2023; originally announced December 2023.

Comments: 65 pages

Phase transitions for the $XY$ model in non-uniformly elliptic and Poisson-Voronoi environments

Authors: Paul Dario, Christophe Garban

Abstract: The goal of this paper is to analyze how the celebrated phase transitions of the $XY$ model are affected by the presence of a non-elliptic quenched disorder. In dimension $d=2$, we prove that if one considers an $XY$ model on the infinite cluster of a supercritical percolation configuration, the Berezinskii-Kosterlitz-Thouless (BKT) phase transition still occurs despite the presence of quenched… ▽ More The goal of this paper is to analyze how the celebrated phase transitions of the $XY$ model are affected by the presence of a non-elliptic quenched disorder. In dimension $d=2$, we prove that if one considers an $XY$ model on the infinite cluster of a supercritical percolation configuration, the Berezinskii-Kosterlitz-Thouless (BKT) phase transition still occurs despite the presence of quenched disorder. The proof works for all $p>p_c$ (site or edge). We also show that the $XY$ model defined on a planar Poisson-Voronoi graph also undergoes a BKT phase transition. When $d\geq 3$, we show in a similar fashion that the continuous symmetry breaking of the $XY$ model at low enough temperature is not affected by the presence of quenched disorder such as supercritical percolation (in $\mathbb{Z}^d$) or Poisson-Voronoi (in $\mathbb{R}^d$). Adapting either Fröhlich-Spencer's proof of existence of a BKT phase transition or the more recent proofs of Lammers, van Engelenburg-Lis and Aizenman-Harel-Peled-Shapiro to such non-uniformly elliptic disorders appears to be non-trivial. Instead, our proofs rely on a relatively little known correlation inequality called Wells' inequality. △ Less

Submitted 28 November, 2023; originally announced November 2023.

Comments: 48 pages, comments welcome!

Harmonic analysis of Gaussian multiplicative chaos on the circle

Authors: Christophe Garban, Vincent Vargas

Abstract: In this paper, we initiate the harmonic analysis of Gaussian multiplicative chaos (GMC) on the circle, i.e. the study of its Fourier coefficients. In particular, we show that almost surely GMC is a so-called Rajchman measure which means that its Fourier coefficients converge to $0$ when the frequency goes to infinity. We supplement this result with a convergence in law result for the rescaled Four… ▽ More In this paper, we initiate the harmonic analysis of Gaussian multiplicative chaos (GMC) on the circle, i.e. the study of its Fourier coefficients. In particular, we show that almost surely GMC is a so-called Rajchman measure which means that its Fourier coefficients converge to $0$ when the frequency goes to infinity. We supplement this result with a convergence in law result for the rescaled Fourier coefficients. △ Less

Submitted 28 February, 2024; v1 submitted 7 November, 2023; originally announced November 2023.

Comments: 23 pages

Domain of attraction of the fixed points of Branching Brownian motion

Authors: Xinxin Chen, Christophe Garban, Atul Shekhar

Abstract: We give a complete characterisation of the domain of attraction of fixed points of branching Brownian motion (BBM) with critical drift. Prior to this classification, we introduce a suitable metric space of locally finite point measures on which we prove 1) that the BBM with critical drift is a well-defined Markov process and 2) that it satisfies the Feller property. Several applications of this ch… ▽ More We give a complete characterisation of the domain of attraction of fixed points of branching Brownian motion (BBM) with critical drift. Prior to this classification, we introduce a suitable metric space of locally finite point measures on which we prove 1) that the BBM with critical drift is a well-defined Markov process and 2) that it satisfies the Feller property. Several applications of this characterisation are given. △ Less

Submitted 30 January, 2023; originally announced January 2023.

Comments: 36 pages

Superconcentration for minimal surfaces in first passage percolation and disordered Ising ferromagnets

Authors: Barbara Dembin, Christophe Garban

Abstract: We consider the standard first passage percolation model on $\mathbb Z^ d$ with a distribution $G$ taking two values $0<a<b$. We study the maximal flow through the cylinder $[0,n]^ {d-1}\times [0,hn]$ between its top and bottom as well as its associated minimal surface(s). We prove that the variance of the maximal flow is superconcentrated, i.e. in $O(\frac {n^{d-1}} {\log n})$, for $h\geq h_0$ (f… ▽ More We consider the standard first passage percolation model on $\mathbb Z^ d$ with a distribution $G$ taking two values $0<a<b$. We study the maximal flow through the cylinder $[0,n]^ {d-1}\times [0,hn]$ between its top and bottom as well as its associated minimal surface(s). We prove that the variance of the maximal flow is superconcentrated, i.e. in $O(\frac {n^{d-1}} {\log n})$, for $h\geq h_0$ (for a large enough constant $h_0=h_0(a,b)$). Equivalently, we obtain that the ground state energy of a disordered Ising ferromagnet in a cylinder $[0,n]^ {d-1}\times [0,hn]$ is superconcentrated when opposite boundary conditions are applied at the top and bottom faces and for a large enough constant $h\geq h_0$ (which depends on the law of the coupling constants). Our proof is inspired by the proof of Benjamini--Kalai--Schramm. Yet, one major difficulty in this setting is to control the influence of the edges since the averaging trick used in the proof of Benjamini--Kalai--Schramm fails for surfaces. Of independent interest, we prove that minimal surfaces (in the present discrete setting) cannot have long thin chimneys. △ Less

Submitted 26 January, 2023; originally announced January 2023.

Percolation for 2D classical Heisenberg model and exit sets of vector valued GFF

Authors: Juhan Aru, Christophe Garban, Avelio Sepúlveda

Abstract: Our motivation in this paper is twofold. First, we study the geometry of a class of exploration sets, called exit sets, which are naturally associated with a 2D vector-valued GFF : $φ: Z^2 \to R^N, N\geq 1$. We prove that, somewhat surprisingly, these sets are a.s. degenerate as long as $N\geq 2$, while they are conjectured to be macroscopic and fractal when $N=1$. This analysis allows us, when… ▽ More Our motivation in this paper is twofold. First, we study the geometry of a class of exploration sets, called exit sets, which are naturally associated with a 2D vector-valued GFF : $φ: Z^2 \to R^N, N\geq 1$. We prove that, somewhat surprisingly, these sets are a.s. degenerate as long as $N\geq 2$, while they are conjectured to be macroscopic and fractal when $N=1$. This analysis allows us, when $N\geq 2$, to understand the percolation properties of the level sets of $\{\|φ(x)\|, x\in Z^2\}$ and leads us to our second main motivation in this work: if one projects a spin $O(N+1)$ model (classical Heisenberg model is $N=2$) down to a spin $O(N)$ model, we end up with a spin $O(N)$ in a quenched disorder given by random conductances on $Z^2$. Using the exit sets of the $N$-vector-valued GFF, we obtain a local and geometric description of this random disorder in the limit $β\to \infty$. This allows us to revisit a series of celebrated works by Patrascioiu and Seiler ([PS92, PS93, PS02]) which argued against Polyakov's prediction that spin $O(N+1)$ model is massive at all temperatures when $N\geq 2$ ([Pol75]). We make part of their arguments rigorous and more importantly we provide the following counter-example: we build ergodic environments of (arbitrary) high conductances with (arbitrary) small and disconnected regions of low conductances in which, despite the predominance of high conductances, the $XY$ model remains massive. Of independent interest, we prove that at high $β$, the transverse fluctuations of a classical Heisenberg model are given by a $N=2$ vectorial GFF. This is implicit in [Pol75] but we give here the first (non-trivial) rigorous proof. Also, independently of the recent work [DF22], we show that two-point correlation functions of the spin $O(N)$ model are given in terms of certain percolation events in the cable graph for any $N\geq 1$. △ Less

Submitted 13 December, 2022; originally announced December 2022.

Comments: 36 pages. 3 figures

Continuous symmetry breaking along the Nishimori line

Authors: Christophe Garban, Thomas Spencer

Abstract: We prove continuous symmetry breaking in three dimensions for a special class of disordered models described by the Nishimori line. The spins take values in a group such as $\mathbb{S}^1$, $SU(n)$ or $SO(n)$. Our proof is based on a theorem about group synchronization proved by Abbe, Massoulié, Montanari, Sly and Srivastava [AMM+18]. It also relies on a gauge transformation acting jointly on the d… ▽ More We prove continuous symmetry breaking in three dimensions for a special class of disordered models described by the Nishimori line. The spins take values in a group such as $\mathbb{S}^1$, $SU(n)$ or $SO(n)$. Our proof is based on a theorem about group synchronization proved by Abbe, Massoulié, Montanari, Sly and Srivastava [AMM+18]. It also relies on a gauge transformation acting jointly on the disorder and the spin configurations due to Nishimori [Nis81, GHLDB85]. The proof does not use reflection positivity. The correlation inequalities of [MMSP78] imply symmetry breaking for the classical $XY$ model without disorder. △ Less

Submitted 27 March, 2023; v1 submitted 3 September, 2021; originally announced September 2021.

Comments: 22 pages. (Added 1. The case where a (quenched) magnetic field is applied at each vertex 2. Symmetry breaking of left-isoclinic rotations for classical O(4) model and 3. How to recover Long-range-order for classical XY model using [MMSP78])

Improved spin-wave estimate for Wilson loops in $U(1)$ lattice gauge theory

Authors: Christophe Garban, Avelio Sepúlveda

Abstract: In this paper, we obtain bounds on the Wilson loop expectations in 4D $U(1)$ lattice gauge theory which quantify the effect of topological defects. In the case of a Villain interaction, by extending the non-perturbative technique introduced in [GS20a], we obtain the following estimate for a large loop $γ$ at low temperatures: \[ |\langle W_γ\rangle_β| \leq \exp \left(-\frac{C_{GFF}} {2β}(1+C βe^{-… ▽ More In this paper, we obtain bounds on the Wilson loop expectations in 4D $U(1)$ lattice gauge theory which quantify the effect of topological defects. In the case of a Villain interaction, by extending the non-perturbative technique introduced in [GS20a], we obtain the following estimate for a large loop $γ$ at low temperatures: \[ |\langle W_γ\rangle_β| \leq \exp \left(-\frac{C_{GFF}} {2β}(1+C βe^{- 2π^2 β} )(|γ|+o(|γ|)) \right)\,. \] Our result is in the line of recent works [Cha20, Cao20, FLV20, For21] which analyze the case where the gauge group is discrete. In the present case where the gauge group is continuous and Abelian, the fluctuations of the gauge field decouple into a Gaussian part, related to the so-called {\em free electromagnetic wave} [Gro83, Dri87], and a gas of {\em topological defects}. As such, our work gives new quantitative bounds on the fluctuations of the latter which complement the works by Guth and Fröhlich-Spencer [Gut80, FS82]. Finally, we improve, also in a non-perturbative way, the correction term from $e^{-2π^2β}$ to $e^{-π^2β}$ in the case of the free-energy of the system. This provides a matching lower-bound with the prediction of Guth [Gut80] based on renormalization group techniques. △ Less

Submitted 1 October, 2021; v1 submitted 8 July, 2021; originally announced July 2021.

Comments: 36 pages. Minor changes

The fixed points of Branching Brownian Motion

Authors: Xinxin Chen, Christophe Garban, Atul Shekhar

Abstract: In this work, we characterize all the point processes $θ=\sum_{i\in \mathbb{N}} δ_{x_i}$ on $\mathbb{R}$ which are left invariant under branching Brownian motions with critical drift $-\sqrt{2}$. Our characterization holds under the only assumption that $θ(\mathbb{R}_+)<\infty$ almost surely. In this work, we characterize all the point processes $θ=\sum_{i\in \mathbb{N}} δ_{x_i}$ on $\mathbb{R}$ which are left invariant under branching Brownian motions with critical drift $-\sqrt{2}$. Our characterization holds under the only assumption that $θ(\mathbb{R}_+)<\infty$ almost surely. △ Less

Submitted 7 December, 2020; originally announced December 2020.

Comments: 34 pages, 2 figures

A new proof of Liggett's theorem for non-interacting Brownian motions

Authors: Xinxin Chen, Christophe Garban, Atul Shekhar

Abstract: In this note, we give a new proof of Liggett's theorem on the invariant measures of independent particle systems from [Lig78] in the particular case of independent drifted Brownian motions. This particular case has received a lot of attention recently due to its applications for the analysis of the local extrema of discrete Gaussian free field. The novelty of our proof is that it identifies direct… ▽ More In this note, we give a new proof of Liggett's theorem on the invariant measures of independent particle systems from [Lig78] in the particular case of independent drifted Brownian motions. This particular case has received a lot of attention recently due to its applications for the analysis of the local extrema of discrete Gaussian free field. The novelty of our proof is that it identifies directly the expected Poisson Point Process with exponential intensity without relying on the Choquet-Deny convolution equation $μ* P=μ$ ([ChoquetDeny60,Deny60]). △ Less

Submitted 7 December, 2020; originally announced December 2020.

Comments: 12 pages, 1 figure

Quantitative bounds on vortex fluctuations in $2d$ Coulomb gas and maximum of the integer-valued Gaussian free field

Authors: Christophe Garban, Avelio Sepúlveda

Abstract: In this paper, we study the influence of the vortices on the fluctuations of $2d$ systems such as the Coulomb gas, the Villain model or the integer-valued Gaussian free field. In the case of the $2d$ Villain model, we prove that the fluctuations induced by the vortices are at least of the same order of magnitude as the ones produced by the spin-wave. We obtain the following quantitative upper-boun… ▽ More In this paper, we study the influence of the vortices on the fluctuations of $2d$ systems such as the Coulomb gas, the Villain model or the integer-valued Gaussian free field. In the case of the $2d$ Villain model, we prove that the fluctuations induced by the vortices are at least of the same order of magnitude as the ones produced by the spin-wave. We obtain the following quantitative upper-bound on the two-point correlation in $\mathbb{Z}^2$ when $β>1$ \[ \langleσ_x σ_y\rangle_β^{Villain} \leq C \, \left( \frac 1 {\|x-y\|_2}\right)^{\frac 1 {2πβ}\left ( 1+βe^{-\frac{(2π)^2}{2} β}\right )} \] The proof is entirely non-perturbative. Furthermore it provides a new and algorithmically efficient way of sampling the $2d$ Coulomb gas. For the $2d$ Coulomb gas, we obtain the following lower bound on its fluctuations at high inverse temperature \[ \mathbb{E}_β^{Coul}[\langle Δ^{-1}q, g\rangle] \geq \exp(-π^2 β+ o(β)) \langle g,(-Δ)^{-1}g \rangle \] This estimate coincides with the predictions based on a RG analysis from [JKKN77] and suggests that the Coulomb potential $Δ^{-1}q$ at inverse temperature $β$ should scale like a Gaussian free field of inverse temperature of order $\exp(π^2 β)$. Finally, we transfer the above vortex fluctuations via a duality identity to the integer-valued GFF by showing that its maximum deviates in a quantitative way from the maximum of a usual GFF. More precisely, we show that with high probability when $β>1$ \[ \max_{x\in [-n,n]^2} Ψ_n(x) \leq \sqrt{\frac{2β}π \big(1 - βe^{- \frac{(2π)^2β} {2} } \big)} \log n \,. \] where $Ψ_n$ is an integer-valued GFF in the box $[-n,n]^2$ at inverse temperature $β^{-1}$. Applications to the free-energies of the Coulomb gas, the Villain model and the integer-valued GFF are also considered. △ Less

Submitted 20 June, 2023; v1 submitted 2 December, 2020; originally announced December 2020.

Comments: 48 pages. This version makes the algorithm to sample the Coulomb gas more explicit

MSC Class: 60K35; 82B20; 60B15; 60D05; 82B28

Long-range order for critical Book-Ising and Book-percolation

Authors: Hugo Duminil-Copin, Christophe Garban, Vincent Tassion

Abstract: In this paper, we investigate the behaviour of statistical physics models on a book with pages that are isomorphic to half-planes. We show that even for models undergoing a continuous phase transition on $\mathbb Z^2$, the phase transition becomes discontinuous as soon as the number of pages is sufficiently large. In particular, we prove that the Ising model on a three pages book has a discontinuo… ▽ More In this paper, we investigate the behaviour of statistical physics models on a book with pages that are isomorphic to half-planes. We show that even for models undergoing a continuous phase transition on $\mathbb Z^2$, the phase transition becomes discontinuous as soon as the number of pages is sufficiently large. In particular, we prove that the Ising model on a three pages book has a discontinuous phase transition (if one allows oneself to consider large coupling constants along the line on which pages are glued). Our work confirms predictions in theoretical physics which relied on renormalization group, conformal field theory and numerics ([Car91,ITB91,SMP10]) some of which were motivated by the analysis of the Renyi entropy of certain quantum spin systems. △ Less

Submitted 9 November, 2020; originally announced November 2020.

Comments: 28 pages, 8 figures

Long-range models in 1D revisited

Authors: Hugo Duminil-Copin, Christophe Garban, Vincent Tassion

Abstract: In this short note, we revisit a number of classical result{s} on long-range 1D percolation, Ising model and Potts models [FS82, NS86, ACCN88, IN88]. More precisely, we show that for Bernoulli percolation, FK percolation and Potts models, there is symmetry breaking for the $1/r^2$-interaction at large $β$, and that the phase transition is necessarily discontinuous. We also show, following the nota… ▽ More In this short note, we revisit a number of classical result{s} on long-range 1D percolation, Ising model and Potts models [FS82, NS86, ACCN88, IN88]. More precisely, we show that for Bernoulli percolation, FK percolation and Potts models, there is symmetry breaking for the $1/r^2$-interaction at large $β$, and that the phase transition is necessarily discontinuous. We also show, following the notation of [ACCN88] that $β^*(q)=1$ for all $q\geq 1$. △ Less

Submitted 29 June, 2023; v1 submitted 9 November, 2020; originally announced November 2020.

Comments: 10 pages

Statistical reconstruction of the Gaussian free field and KT transition

Authors: Christophe Garban, Avelio Sepúlveda

Abstract: In this paper, we focus on the following question. Assume $φ$ is a discrete Gaussian free field (GFF) on $Λ\subset \frac 1 n \mathbb{Z}^2$ and that we are given $e^{iT φ}$, or equivalently $φ\pmod{\frac {2π} T}$. Can we recover the macroscopic observables of $φ$ up to $o(1)$ precision? We prove that this statistical reconstruction problem undergoes the following Kosterlitz-Thouless type phase tran… ▽ More In this paper, we focus on the following question. Assume $φ$ is a discrete Gaussian free field (GFF) on $Λ\subset \frac 1 n \mathbb{Z}^2$ and that we are given $e^{iT φ}$, or equivalently $φ\pmod{\frac {2π} T}$. Can we recover the macroscopic observables of $φ$ up to $o(1)$ precision? We prove that this statistical reconstruction problem undergoes the following Kosterlitz-Thouless type phase transition: -) If $T<T_{rec}^-$ , one can fully recover $φ$ from the knowledge of $φ\pmod{\frac {2π} T}$. In this regime our proof relies on a new type of Peierls argument which we call annealed Peierls argument and which allows us to deal with an unknown quenched groundstate. -) If $T>T_{rec}^+$, it is impossible to fully recover the field $φ$ from the knowledge of $φ\pmod{\frac {2π} T}$. To prove this result, we generalise the delocalisation theorem by Fröhlich-Spencer to the case of integer-valued GFF in an inhomogeneous medium. This delocalisation result is of independent interest and we give an application of our techniques to the {\em random-phase Sine-Gordon model} in Appendix B. Also, an interesting connection with Riemann-theta functions is drawn along the proof. This statistical reconstruction problem is motivated by the two-dimensional XY and Villain models. Indeed, at low-temperature $T$, the large scale fluctuations of these continuous spin systems are conjectured to be governed by a Gaussian free field. It is then natural to ask if one can recover the underlying macroscopic GFF from the observation of the spins of the XY or Villain model. Another motivation for this work is that it provides us with an ``integrable model'' (the GFF) that undergoes a KT transition. △ Less

Submitted 27 July, 2020; v1 submitted 27 February, 2020; originally announced February 2020.

Comments: 48 pages. Appendix added on the link with the "random phase Sine-Gordon" model

Bargmann-Fock percolation is noise sensitive

Authors: Christophe Garban, Hugo Vanneuville

Abstract: We show that planar Bargmann-Fock percolation is noise sensitive under the Ornstein-Ulhenbeck process. The proof is based on the randomized algorithm approach introduced by Schramm and Steif and gives quantitative polynomial bounds on the noise sensitivity of crossing events for Bargmann-Fock. A rather counter-intuitive consequence is as follows. Let $F$ be a Bargmann-Fock Gaussian field in… ▽ More We show that planar Bargmann-Fock percolation is noise sensitive under the Ornstein-Ulhenbeck process. The proof is based on the randomized algorithm approach introduced by Schramm and Steif and gives quantitative polynomial bounds on the noise sensitivity of crossing events for Bargmann-Fock. A rather counter-intuitive consequence is as follows. Let $F$ be a Bargmann-Fock Gaussian field in $\mathbb{R}^3$ and consider two horizontal planes $P_1,P_2$ at small distance $\varepsilon$ from each other. Even though $F$ is a.s. analytic, the above noise sensitivity statement implies that the full restriction of $F$ to $P_1$ (i.e. $F_{| P_1}$) gives almost no information on the percolation configuration induced by $F_{|P_2}$. As an application of this noise sensitivity analysis, we provide a Schramm-Steif based proof that the near-critical window of level line percolation around $\ell_c=0$ is polynomially small. This new approach extends earlier sharp threshold results to a larger family of planar Gaussian fields. △ Less

Submitted 10 September, 2020; v1 submitted 6 June, 2019; originally announced June 2019.

Comments: 22 pages, 1 figure, minor changes introduced and two short appendices added

Liouville dynamical percolation

Authors: Christophe Garban, Nina Holden, Avelio Sepúlveda, Xin Sun

Abstract: We construct and analyze a continuum dynamical percolation process which evolves in a random environment given by a $γ$-Liouville measure. The homogeneous counterpart of this process describes the scaling limit of discrete dynamical percolation on the rescaled triangular lattice. Our focus here is to study the same limiting dynamics, but where the speed of microscopic updates is highly inhomogeneo… ▽ More We construct and analyze a continuum dynamical percolation process which evolves in a random environment given by a $γ$-Liouville measure. The homogeneous counterpart of this process describes the scaling limit of discrete dynamical percolation on the rescaled triangular lattice. Our focus here is to study the same limiting dynamics, but where the speed of microscopic updates is highly inhomogeneous in space and is driven by the $γ$-Liouville measure associated with a two-dimensional log-correlated field $h$. Roughly speaking, this continuum percolation process evolves very rapidly where the field $h$ is high and barely moves where the field $h$ is low. Our main results can be summarized as follows. 1. First, we build this inhomogeneous dynamical percolation which we call $γ$-Liouville dynamical percolation (LDP) by taking the scaling limit of the associated process on the triangular lattice. We work with three different regimes each requiring different tools: $γ\in [0,2-\sqrt{5/2})$, $γ\in [2-\sqrt{5/2}, \sqrt{3/2})$, and $γ\in(\sqrt{3/2},2)$. 2. When $γ<\sqrt{3/2}$, we prove that $γ$-LDP is mixing in the Schramm-Smirnov space as $t\to \infty$, quenched in the log-correlated field $h$. On the contrary, when $γ>\sqrt{3/2}$ the process is frozen in time. The ergodicity result is a crucial piece of the Cardy embedding project of the second and fourth coauthors, where LDP for $γ=\sqrt{1/6}$ is used to study the scaling limit of a variant of dynamical percolation on uniform triangulations. 3. When $γ<\sqrt{3/4}$, we obtain quantitative bounds on the mixing of quad crossing events. △ Less

Submitted 20 May, 2019; v1 submitted 16 May, 2019; originally announced May 2019.

Comments: Minor update. 51 pages, 2 figures

Dynamical Liouville

Authors: Christophe Garban

Abstract: The aim of this paper is to analyze an SPDE which arises naturally in the context of Liouville quantum gravity. This SPDE shares some common features with the so-called Sine-Gordon equation and is built to preserve the Liouville measure which has been constructed recently on the two-dimensional sphere $S^2$ and the torus $T^2$ in the work by David-Kupiainen-Rhodes-Vargas. The SPDE we shall focus o… ▽ More The aim of this paper is to analyze an SPDE which arises naturally in the context of Liouville quantum gravity. This SPDE shares some common features with the so-called Sine-Gordon equation and is built to preserve the Liouville measure which has been constructed recently on the two-dimensional sphere $S^2$ and the torus $T^2$ in the work by David-Kupiainen-Rhodes-Vargas. The SPDE we shall focus on has the following (simplified) form: \[ p_t X = \frac 1 {4π} ΔX - e^{γX} + ξ\,, \] where $ξ$ is a space-time white noise on $R_+ \times S^2$ or $R_+ \times T^2$. The main aspect which distinguishes this singular stochastic SPDE with well-known SPDEs studied recently (KPZ, dynamical $Φ^4_3$, dynamical Sine-Gordon, etc.) is the presence of intermittency. One way of picturing this effect is that a naive rescaling argument suggests the above SPDE is sub-critical for all $γ>0$, while we don't expect solutions to exist when $γ> 2$. In this work, we initiate the study of this intermittent SPDE by analyzing what one might call the "classical" or "Da Prato-Debussche" phase which corresponds here to $γ\in[0,γ_{dPD}=2\sqrt{2} -\sqrt{6})$. By exploiting the positivity of the non-linearity $e^{γX}$, we can push this classical threshold further and obtain this way a weaker notion of solution when $γ\in[γ_{dPD}, γ_{pos}=2\sqrt{2} - 2)$. Our proof requires an analysis of the Besov regularity of natural space/time Gaussian multiplicative chaos (GMC) measures. Regularity Structures of arbitrary high degree should potentially give strong solutions all the way to the same threshold $γ_{pos}$ and should not push this threshold further. Of independent interest, we prove along the way (using techniques from [HS16]) a stronger convergence result for approximate GMC measures which holds in Besov spaces. △ Less

Submitted 3 October, 2019; v1 submitted 11 May, 2018; originally announced May 2018.

Comments: 46 pages, 1 figure (Revised version. minor changes + Appendix B removed: the proof of a parabolic Schauder estimate via Littlewood-Paley techniques contained a mistake.)

Negative moments for Gaussian multiplicative chaos on fractal sets

Authors: Christophe Garban, Nina Holden, Avelio Sepúlveda, Xin Sun

Abstract: The objective of this note is to study the probability that the total mass of a sub-critical Gaussian multiplicative chaos (GMC) with arbitrary base measure $σ$ is small. When $σ$ has some continuous density w.r.t Lebesgue measure, a scaling argument shows that the logarithm of the total GMC mass is sub-Gaussian near $-\infty$. However, when $σ$ has no scaling properties, the situation is much les… ▽ More The objective of this note is to study the probability that the total mass of a sub-critical Gaussian multiplicative chaos (GMC) with arbitrary base measure $σ$ is small. When $σ$ has some continuous density w.r.t Lebesgue measure, a scaling argument shows that the logarithm of the total GMC mass is sub-Gaussian near $-\infty$. However, when $σ$ has no scaling properties, the situation is much less clear. In this paper, we prove that for any base measure $σ$, the total GMC mass has negative moments of all orders. △ Less

Submitted 28 May, 2018; v1 submitted 2 May, 2018; originally announced May 2018.

Comments: 12 pages, 1 nice figure (minor changes)

Journal ref: Electron. Commun. Probab. 23 (2018), no. 100, 1-10

Inverted orbits of exclusion processes, diffuse-extensive-amenability and (non-?)amenability of the interval exchanges

Authors: Christophe Garban

Abstract: The recent breakthrough works [6,8,9] which established the amenability for new classes of groups, lead to the following question: is the action $W(\mathbb{Z}^d) \curvearrowright \mathbb{Z}^d$ extensively amenable? (Where $W(\mathbb{Z}^d)$ is the {\em wobbling group} of permutations $σ:\mathbb{Z}^d \to \mathbb{Z}^d$ with bounded range). This is equivalent to asking whether the action… ▽ More The recent breakthrough works [6,8,9] which established the amenability for new classes of groups, lead to the following question: is the action $W(\mathbb{Z}^d) \curvearrowright \mathbb{Z}^d$ extensively amenable? (Where $W(\mathbb{Z}^d)$ is the {\em wobbling group} of permutations $σ:\mathbb{Z}^d \to \mathbb{Z}^d$ with bounded range). This is equivalent to asking whether the action $(\mathbb{Z}/2\ \mathbb{Z})^{(\mathbb{Z}^d)} \rtimes W(\mathbb{Z}^d) \curvearrowright (\mathbb{Z}/2\mathbb{Z})^{(\mathbb{Z}^d)}$ is amenable. The $d=1$ and $d=2$ and have been settled respectively in [6,8]. By [9], a positive answer to this question would imply the amenability of the IET group. In this work, we give a partial answer to this question by introducing a natural strengthening of the notion of extensive-amenability which we call diffuse-extensive-amenability. Our main result is that for any bounded degree graph $X$, the action $W(X)\curvearrowright X$ is diffuse-extensively amenable if and only if $X$ is recurrent. Our proof is based on the construction of suitable stochastic processes $(τ_t)_{t\geq 0}$ on $W(X)\, <\, \mathfrak{S}(X)$ whose {\em inverted orbits} $$ \bar O_t(x_0) = \{x\in X, \exists s\leq t,\, τ_s(x)=x_0\} = \bigcup_{0\leq s \leq t} τ_s^{-1}(\{x_0\}) $$ are exponentially unlikely to be sub-linear when $X$ is transient. This result leads us to conjecture that the action $W(\mathbb{Z}^d) \curvearrowright \mathbb{Z}^d$ is not extensively amenable when $d\geq 3$ and that a different route towards the (non-?)amenability of the IET group may be needed. △ Less

Submitted 6 January, 2020; v1 submitted 5 April, 2018; originally announced April 2018.

Comments: 23 pages (minor changes)

On the convergence of FK-Ising Percolation to SLE$(16/3, 16/3-6)$

Authors: Christophe Garban, Hao Wu

Abstract: 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 stop** times in order to analyse the behaviour of the driving function of the discr… ▽ More 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 stop** 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 boundary condition and does not require the introduction of a new observable. Still, it relies crucially on several ingredients: a) the powerful topological framework developed in [KS17] as well as its follow-up paper [CDCH$^+$14], b) the strong RSW Theorem from [CDCH16], c) the proof is inspired from the appendix A in [BH16]. One important emphasis of this paper is to carefully write down some properties which are often considered {\em folklore} in the literature but which are only justified so far by hand-waving arguments. The main examples of these are: 1) the convergence of natural discrete stop** times to their continuous analogues. (The usual hand-waving argument destroys the spatial Markov property). 2) the fact that the discrete spatial Markov property is preserved in the the scaling limit. (The enemy being that $\mathbb{E}[X_n |\, Y_n]$ does not necessarily converge to $\mathbb{E}[X|\, Y]$ when $(X_n,Y_n)\to (X,Y)$). We end the paper with a detailed sketch of the convergence to radial SLE$_κ( κ-6)$ when $κ=16/3$ as well as the derivation of Onsager's one-arm exponent $1/8$. △ Less

Submitted 3 October, 2019; v1 submitted 12 February, 2018; originally announced February 2018.

Comments: 35 pages, 7 figures. Final version, to appear in Journal of Theoretical Probability

MSC Class: 60J67

On a skewed and multifractal uni-dimensional random field, as a probabilistic representation of Kolmogorov's views on turbulence

Authors: Laurent Chevillard, Christophe Garban, Rémi Rhodes, Vincent Vargas

Abstract: We construct, for the first time to our knowledge, a one-dimensional stochastic field $\{u(x)\}_{x\in \mathbb{R}}$ which satisfies the following axioms which are at the core of the phenomenology of turbulence mainly due to Kolmogorov: (i) Homogeneity and isotropy: $u(x) \overset{\mathrm{law}}= -u(x) \overset{\mathrm{law}}=u(0)$ (ii) Negative skewness (i.e. the $4/5^{\mbox{\tiny th}}$-law): \\… ▽ More We construct, for the first time to our knowledge, a one-dimensional stochastic field $\{u(x)\}_{x\in \mathbb{R}}$ which satisfies the following axioms which are at the core of the phenomenology of turbulence mainly due to Kolmogorov: (i) Homogeneity and isotropy: $u(x) \overset{\mathrm{law}}= -u(x) \overset{\mathrm{law}}=u(0)$ (ii) Negative skewness (i.e. the $4/5^{\mbox{\tiny th}}$-law): \\ $\mathbb{E}{(u(x+\ell)-u(x))^3} \sim_{\ell \to 0+} - C \, \ell\,,$ \, for some constant $C>0$ (iii) Intermittency: $\mathbb{E}{|u(x+\ell)-u(x) |^q} \asymp_{\ell \to 0} |\ell|^{ξ_q}\,,$ for some non-linear spectrum $q\mapsto ξ_q$ Since then, it has been a challenging problem to combine axiom (ii) with axiom (iii) (especially for Hurst indexes of interest in turbulence, namely $H<1/2$). In order to achieve simultaneously both axioms, we disturb with two ingredients a underlying fractional Gaussian field of parameter $H\approx \frac 1 3 $. The first ingredient is an independent Gaussian multiplicative chaos (GMC) of parameter $γ$ that mimics the intermittent, i.e. multifractal, nature of the fluctuations. The second one is a field that correlates in an intricate way the fractional component and the GMC without additional parameters, a necessary inter-dependence in order to reproduce the asymmetrical, i.e. skewed, nature of the probability laws at small scales. △ Less

Submitted 1 December, 2017; originally announced December 2017.

MSC Class: 60K40; 76F55; 76F30

Exceptional times for percolation under exclusion dynamics

Authors: Christophe Garban, Hugo Vanneuville

Abstract: We analyse in this paper a conservative analogue of the celebrated model of dynamical percolation introduced by Häggström, Peres and Steif in [HPS97]. It is simply defined as follows: start with an initial percolation configuration $ω(t=0)$. Let this configuration evolve in time according to a simple exclusion process with symmetric kernel $K(x,y)$. We start with a general investigation (following… ▽ More We analyse in this paper a conservative analogue of the celebrated model of dynamical percolation introduced by Häggström, Peres and Steif in [HPS97]. It is simply defined as follows: start with an initial percolation configuration $ω(t=0)$. Let this configuration evolve in time according to a simple exclusion process with symmetric kernel $K(x,y)$. We start with a general investigation (following [HPS97]) of this dynamical process $t \mapsto ω_K(t)$ which we call $K$-exclusion dynamical percolation. We then proceed with a detailed analysis of the planar case at the critical point (both for the triangular grid and the square lattice $Z^2$) where we consider the power-law kernels $K^α$ \[ K^α(x,y) \propto \frac 1 {\|x-y\|_2^{2+α}} \, . \] We prove that if $α> 0$ is chosen small enough, there exist exceptional times $t$ for which an infinite cluster appears in $ω_{K^α}(t)$. (On the triangular grid, we prove that it holds for all $α< α_0 = \frac {217}{816}$.) The existence of such exceptional times for standard i.i.d. dynamical percolation (where sites evolve according to independent Poisson point processes) goes back to the work by Schramm-Steif in [SS10]. In order to handle such a $K$-exclusion dynamics, we push further the spectral analysis of exclusion noise sensitivity which had been initiated in [BGS13]. (The latter paper can be viewed as a conservative analogue of the seminal paper by Benjamini-Kalai-Schramm [BKS99] on i.i.d. noise sensitivity.) The case of a nearest-neighbour simple exclusion process, corresponding to the limiting case $α= +\infty$, is left widely open. △ Less

Submitted 28 June, 2019; v1 submitted 16 May, 2016; originally announced May 2016.

Comments: 50 pages, 6 figures, there was a problem with the compilation of the tex file

A dissipative random velocity field for fully developed fluid turbulence

Authors: Rodrigo M. Pereira, Christophe Garban, Laurent Chevillard

Abstract: We investigate the statistical properties, based on numerical simulations and analytical calculations, of a recently proposed stochastic model for the velocity field of an incompressible, homogeneous, isotropic and fully developed turbulent flow. A key step in the construction of this model is the introduction of some aspects of the vorticity stretching mechanism that governs the dynamics of fluid… ▽ More We investigate the statistical properties, based on numerical simulations and analytical calculations, of a recently proposed stochastic model for the velocity field of an incompressible, homogeneous, isotropic and fully developed turbulent flow. A key step in the construction of this model is the introduction of some aspects of the vorticity stretching mechanism that governs the dynamics of fluid particles along their trajectory. An additional further phenomenological step aimed at including the long range correlated nature of turbulence makes this model depending on a single free parameter $γ$ that can be estimated from experimental measurements. We confirm the realism of the model regarding the geometry of the velocity gradient tensor, the power-law behaviour of the moments of velocity increments (i.e. the structure functions), including the intermittent corrections, and the existence of energy transfers across scales. We quantify the dependence of these basic properties of turbulent flows on the free parameter $γ$ and derive analytically the spectrum of exponents of the structure functions in a simplified non dissipative case. A perturbative expansion in power of $γ$ shows that energy transfers, at leading order, indeed take place, justifying the dissipative nature of this random field. △ Less

Submitted 26 April, 2016; v1 submitted 2 October, 2015; originally announced October 2015.

Comments: 38 pages, 5 figures

Journal ref: J. Fluid Mech. 794, 369--408, 2016

KPZ formula derived from Liouville heat kernel

Authors: Nathanaël Berestycki, Christophe Garban, Rémi Rhodes, Vincent Vargas

Abstract: In this paper, we establish the Knizhnik--Polyakov--Zamolodchikov (KPZ) formula of Liouville quantum gravity, using the heat kernel of Liouville Brownian motion. This derivation of the KPZ formula was first suggested by F. David and M. Bauer in order to get a geometrically more intrinsic way of measuring the dimension of sets in Liouville quantum gravity. We also provide a careful study of the (no… ▽ More In this paper, we establish the Knizhnik--Polyakov--Zamolodchikov (KPZ) formula of Liouville quantum gravity, using the heat kernel of Liouville Brownian motion. This derivation of the KPZ formula was first suggested by F. David and M. Bauer in order to get a geometrically more intrinsic way of measuring the dimension of sets in Liouville quantum gravity. We also provide a careful study of the (no)-doubling behaviour of the Liouville measures in the appendix, which is of independent interest. △ Less

Submitted 27 June, 2014; originally announced June 2014.

Comments: 22 pages

MSC Class: 60J70; 35K08; 81T40; 60J55; 60J60

The scaling limits of the Minimal Spanning Tree and Invasion Percolation in the plane

Authors: Christophe Garban, Gábor Pete, Oded Schramm

Abstract: We prove that the Minimal Spanning Tree and the Invasion Percolation Tree on a version of the triangular lattice in the complex plane have unique scaling limits, which are invariant under rotations, scalings, and, in the case of the MST, also under translations. However, they are not expected to be conformally invariant. We also prove some geometric properties of the limiting MST. The topology of… ▽ More We prove that the Minimal Spanning Tree and the Invasion Percolation Tree on a version of the triangular lattice in the complex plane have unique scaling limits, which are invariant under rotations, scalings, and, in the case of the MST, also under translations. However, they are not expected to be conformally invariant. We also prove some geometric properties of the limiting MST. The topology of convergence is the space of spanning trees introduced by Aizenman, Burchard, Newman & Wilson (1999), and the proof relies on the existence and conformal covariance of the scaling limit of the near-critical percolation ensemble, established in our earlier works. △ Less

Submitted 25 January, 2017; v1 submitted 1 September, 2013; originally announced September 2013.

Comments: 56 pages, 21 figures. A thoroughly revised version

Coalescing Brownian flows: A new approach

Authors: Nathanaël Berestycki, Christophe Garban, Arnab Sen

Abstract: The coalescing Brownian flow on $\mathbb{R}$ is a process which was introduced by Arratia [Coalescing Brownian motions on the line (1979) Univ. Wisconsin, Madison] and Tóth and Werner [Probab. Theory Related Fields 111 (1998) 375-452], and which formally corresponds to starting coalescing Brownian motions from every space-time point. We provide a new state space and topology for this process and o… ▽ More The coalescing Brownian flow on $\mathbb{R}$ is a process which was introduced by Arratia [Coalescing Brownian motions on the line (1979) Univ. Wisconsin, Madison] and Tóth and Werner [Probab. Theory Related Fields 111 (1998) 375-452], and which formally corresponds to starting coalescing Brownian motions from every space-time point. We provide a new state space and topology for this process and obtain an invariance principle for coalescing random walks. This result holds under a finite variance assumption and is thus optimal. In previous works by Fontes et al. [Ann. Probab. 32 (2004) 2857-2883], Newman et al. [Electron. J. Probab. 10 (2005) 21-60], the topology and state-space required a moment of order $3-\varepsilon$ for this convergence to hold. The proof relies crucially on recent work of Schramm and Smirnov on scaling limits of critical percolation in the plane. Our approach is sufficiently simple that we can handle substantially more complicated coalescing flows with little extra work - in particular similar results are obtained in the case of coalescing Brownian motions on the Sierpinski gasket. This is the first such result where the limiting paths do not enjoy the noncrossing property. △ Less

Submitted 22 December, 2015; v1 submitted 16 July, 2013; originally announced July 2013.

Comments: Published at http://dx.doi.org/10.1214/14-AOP957 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP957

Journal ref: Annals of Probability 2015, Vol. 43, No. 6, 3177-3215

Planar Ising magnetization field II. Properties of the critical and near-critical scaling limits

Authors: Federico Camia, Christophe Garban, Charles M. Newman

Abstract: In [CGN12], we proved that the renormalized critical Ising magnetization fields $Φ^a:= a^{15/8} \sum_{x\in a\, \Z^2} σ_x \, δ_x$ converge as $a\to 0$ to a random distribution that we denoted by $Φ^\infty$. The purpose of this paper is to establish some fundamental properties satisfied by this $Φ^\infty$ and the near-critical fields $Φ^{\infty,h}$. More precisely, we obtain the following results. \… ▽ More In [CGN12], we proved that the renormalized critical Ising magnetization fields $Φ^a:= a^{15/8} \sum_{x\in a\, \Z^2} σ_x \, δ_x$ converge as $a\to 0$ to a random distribution that we denoted by $Φ^\infty$. The purpose of this paper is to establish some fundamental properties satisfied by this $Φ^\infty$ and the near-critical fields $Φ^{\infty,h}$. More precisely, we obtain the following results. \bi [(i)] If $A\subset \C$ is a smooth bounded domain and if $m=m_A := <{Φ^\infty, 1_A}$ denotes the limiting rescaled magnetization in $A$, then there is a constant $c=c_A>0$ such that {equation*} \log \Pb{m > x} \underset{x\to \infty}{\sim} -c \; x^{16}\,.{equation*} In particular, this provides an alternative proof that the field $Φ^\infty$ is non-Gaussian (another proof of this fact would use the $n$-point correlation functions established in \cite{CHI} which do not satisfy Wick's formula). [(ii)] The random variable $m=m_A$ has a smooth {\it density} and one has more precisely the following bound on its Fourier transform: $|\Eb{e^{i\,t m}} |\le e^{- \tilde{c}\, |t|^{16/15}}$. [(iii)] There exists a one-parameter family $Φ^{\infty,h}$ of near-critical scaling limits for the magnetization field in the plane with vanishingly small external magnetic field. \ei △ Less

Submitted 15 July, 2013; originally announced July 2013.

Comments: 18 pages, 1 figure

The scaling limits of near-critical and dynamical percolation

Authors: Christophe Garban, Gábor Pete, Oded Schramm

Abstract: We prove that near-critical percolation and dynamical percolation on the triangular lattice $η\mathbb{T}$ have a scaling limit as the mesh $η\to 0$, in the "quad-crossing" space $\mathcal{H}$ of percolation configurations introduced by Schramm and Smirnov. The proof essentially proceeds by "perturbing" the scaling limit of the critical model, using the pivotal measures studied in our earlier paper… ▽ More We prove that near-critical percolation and dynamical percolation on the triangular lattice $η\mathbb{T}$ have a scaling limit as the mesh $η\to 0$, in the "quad-crossing" space $\mathcal{H}$ of percolation configurations introduced by Schramm and Smirnov. The proof essentially proceeds by "perturbing" the scaling limit of the critical model, using the pivotal measures studied in our earlier paper. Markovianity and conformal covariance of these new limiting objects are also established. △ Less

Submitted 25 January, 2017; v1 submitted 23 May, 2013; originally announced May 2013.

Comments: 72 pages, 7 figures. Slightly revised, final version

On the heat kernel and the Dirichlet form of Liouville Brownian Motion

Authors: Christophe Garban, Rémi Rhodes, Vincent Vargas

Abstract: In \cite{GRV}, a Feller process called Liouville Brownian motion on $\R^2$ has been introduced. It can be seen as a Brownian motion evolving in a random geometry given formally by the exponential of a (massive) Gaussian Free Field $e^{γX}$ and is the right diffusion process to consider regarding 2d-Liouville quantum gravity. In this note, we discuss the construction of the associated Dirichlet for… ▽ More In \cite{GRV}, a Feller process called Liouville Brownian motion on $\R^2$ has been introduced. It can be seen as a Brownian motion evolving in a random geometry given formally by the exponential of a (massive) Gaussian Free Field $e^{γX}$ and is the right diffusion process to consider regarding 2d-Liouville quantum gravity. In this note, we discuss the construction of the associated Dirichlet form, following essentially \cite{fuku} and the techniques introduced in \cite{GRV}. Then we carry out the analysis of the Liouville resolvent. In particular, we prove that it is strong Feller, thus obtaining the existence of the Liouville heat kernel via a non-trivial theorem of Fukushima and al. One of the motivations which led to introduce the Liouville Brownian motion in \cite{GRV} was to investigate the puzzling Liouville metric through the eyes of this new stochastic process. One possible approach was to use the theory developed for example in \cite{stollmann,sturm1,sturm2}, whose aim is to capture the "geometry" of the underlying space out of the Dirichlet form of a process living on that space. More precisely, under some mild hypothesis on the regularity of the Dirichlet form, they provide an intrinsic metric which is interpreted as an extension of Riemannian geometry applicable to non differential structures. We prove that the needed mild hypotheses are satisfied but that the associated intrinsic metric unfortunately vanishes, thus showing that renormalization theory remains out of reach of the metric aspect of Dirichlet forms. △ Less

Submitted 16 October, 2014; v1 submitted 25 February, 2013; originally announced February 2013.

Comments: 31 pages

Journal ref: Electronic Journal of Probability 19 (2014), no. 96, 1-25

Liouville Brownian motion

Authors: Christophe Garban, Rémi Rhodes, Vincent Vargas

Abstract: We construct a stochastic process, called the Liouville Brownian motion, which is the Brownian motion associated to the metric $e^{γX(z)}\,dz^2$, $γ<γ_c=2$ and $X$ is a Gaussian Free Field. Such a process is conjectured to be related to the scaling limit of random walks on large planar maps eventually weighted by a model of statistical physics which are embedded in the Euclidean plane or in the sp… ▽ More We construct a stochastic process, called the Liouville Brownian motion, which is the Brownian motion associated to the metric $e^{γX(z)}\,dz^2$, $γ<γ_c=2$ and $X$ is a Gaussian Free Field. Such a process is conjectured to be related to the scaling limit of random walks on large planar maps eventually weighted by a model of statistical physics which are embedded in the Euclidean plane or in the sphere in a conformal manner. The construction amounts to changing the speed of a standard two-dimensional Brownian motion $B_t$ depending on the local behavior of the Liouville measure "$M_γ(dz)=e^{γX(z)}\,dz$". We prove that the associated Markov process is a Feller diffusion for all $γ<γ_c=2$ and that for all $γ<γ_c$, the Liouville measure $M_γ$ is invariant under $P_{\mathbf{t}}$. This Liouville Brownian motion enables us to introduce a whole set of tools of stochastic analysis in Liouville quantum gravity, which will be hopefully useful in analyzing the geometry of Liouville quantum gravity. △ Less

Submitted 2 September, 2016; v1 submitted 14 January, 2013; originally announced January 2013.

Comments: Published at http://dx.doi.org/10.1214/15-AOP1042 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP1042

Journal ref: Annals of Probability 2016, Vol. 44, No. 4, 3076-3110

Quantum gravity and the KPZ formula

Authors: Christophe Garban

Abstract: This text is a survey (Bourbaki seminar) on the paper "Liouville quantum gravity and KPZ" By B.Duplantier and S.Sheffield. The study of statistical physics models in two dimensions (d=2) at their critical point is in general a significantly hard problem (not to mention the d=3 case). In the eighties, three physicists, Knizhnik, Polyakov et Zamolodchikov (KPZ) came up in \cite{\KPZ} with a novel… ▽ More This text is a survey (Bourbaki seminar) on the paper "Liouville quantum gravity and KPZ" By B.Duplantier and S.Sheffield. The study of statistical physics models in two dimensions (d=2) at their critical point is in general a significantly hard problem (not to mention the d=3 case). In the eighties, three physicists, Knizhnik, Polyakov et Zamolodchikov (KPZ) came up in \cite{\KPZ} with a novel and far-reaching approach in order to understand the critical behavior of these models. Among these, one finds for example random walks, percolation as well as the Ising model. The main underlying idea of their approach is to study these models along a two-step procedure as follows: a/ First of all, instead of considering the model on some regular lattice of the plane (such as $\Z^2$ for example), one defines it instead on a well-chosen "random planar lattice". Doing so corresponds to studying the model in its {\it quantum gravity} form. In the case of percolation, the appropriate choice of random lattice matches with the so-called planar maps. b/ Then it remains to get back to the actual {\it Euclidean} setup. This is done thanks to the celebrated {\bf KPZ formula} which gives a very precise correspondence between the geometric properties of models in their quantum gravity formulation and their analogs in the Euclidean case. The nature and the origin of such a powerful correspondence remained rather mysterious for a long time. In fact, the KPZ formula is still not rigorously established and remains a conjectural correspondence. The purpose of this survey is to explain how the recent work of Duplantier and Sheffield enables to explain some of the mystery hidden behind this KPZ formula. To summarize their contribution in one sentence, their work implies a beautiful interpretation of the KPZ correpondence through a uniformization of the random lattice, seen as a Riemann surface. △ Less

Submitted 1 June, 2012; originally announced June 2012.

Comments: Bourbaki seminar (after Duplantier-Sheffield), 38 pages

The Ising magnetization exponent on Z^2 is 1/15

Authors: Federico Camia, Christophe Garban, Charles M. Newman

Abstract: We prove that for the Ising model defined on the plane $\Z^2$ at $β=β_c$, the average magnetization under an external magnetic field $h>0$ behaves exactly like \[{σ_0}_{β_c, h} \asymp h^{\frac 1 {15}}\,. \] The proof, which is surprisingly simple compared to an analogous result for percolation (i.e. that $θ(p)=(p-p_c)^{5/36+o(1)}$ on the triangular lattice \cite{\SmirnovWerner,\KestenScaling}) rel… ▽ More We prove that for the Ising model defined on the plane $\Z^2$ at $β=β_c$, the average magnetization under an external magnetic field $h>0$ behaves exactly like \[{σ_0}_{β_c, h} \asymp h^{\frac 1 {15}}\,. \] The proof, which is surprisingly simple compared to an analogous result for percolation (i.e. that $θ(p)=(p-p_c)^{5/36+o(1)}$ on the triangular lattice \cite{\SmirnovWerner,\KestenScaling}) relies on the GHS inequality as well as the RSW theorem for FK percolation from \cite{\RSWfk}. The use of GHS to obtain inequalities involving critical exponents is not new; in this paper we show how it can be combined with RSW to obtain matching upper and lower bounds for the average magnetization. △ Less

Submitted 17 June, 2013; v1 submitted 30 May, 2012; originally announced May 2012.

Comments: 12 pages

Planar Ising magnetization field I. Uniqueness of the critical scaling limit

Authors: Federico Camia, Christophe Garban, Charles M. Newman

Abstract: The aim of this paper is to prove the following result. Consider the critical Ising model on the rescaled grid $a\mathbb{Z}^2$, then the renormalized magnetization field \[Φ^a:=a^{15/8}\sum_{x\in a\mathbb{Z}^2}σ_xδ_x,\] seen as a random distribution (i.e., generalized function) on the plane, has a unique scaling limit as the mesh size $a\searrow0$. The limiting field is conformally covariant. The aim of this paper is to prove the following result. Consider the critical Ising model on the rescaled grid $a\mathbb{Z}^2$, then the renormalized magnetization field \[Φ^a:=a^{15/8}\sum_{x\in a\mathbb{Z}^2}σ_xδ_x,\] seen as a random distribution (i.e., generalized function) on the plane, has a unique scaling limit as the mesh size $a\searrow0$. The limiting field is conformally covariant. △ Less

Submitted 6 March, 2015; v1 submitted 30 May, 2012; originally announced May 2012.

Comments: Published in at http://dx.doi.org/10.1214/13-AOP881 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP881

Journal ref: Annals of Probability 2015, Vol. 43, No. 2, 528-571

The near-critical planar FK-Ising model

Authors: Hugo Duminil-Copin, Christophe Garban, Gábor Pete

Abstract: We study the near-critical FK-Ising model. First, a determination of the correlation length defined via crossing probabilities is provided. Second, a phenomenon about the near-critical behavior of FK-Ising is highlighted, which is completely missing from the case of standard percolation: in any monotone coupling of FK configurations $ω_p$ (e.g., in the one introduced in [Gri95]), as one raises… ▽ More We study the near-critical FK-Ising model. First, a determination of the correlation length defined via crossing probabilities is provided. Second, a phenomenon about the near-critical behavior of FK-Ising is highlighted, which is completely missing from the case of standard percolation: in any monotone coupling of FK configurations $ω_p$ (e.g., in the one introduced in [Gri95]), as one raises $p$ near $p_c$, the new edges arrive in a self-organized way, so that the correlation length is not governed anymore by the number of pivotal edges at criticality. △ Less

Submitted 13 February, 2014; v1 submitted 1 November, 2011; originally announced November 2011.

Comments: 34 pages, 8 figures. This is a streamlined version; the previous one contains more explanations and additional material on exceptional times in FK models with general $q$. Furthermore, the statement and proof of Theorem 1.2 have slightly changed

Journal ref: Comm. Math. Phys. 326 (2014), no. 1, 1--35

Lectures on noise sensitivity and percolation

Authors: Christophe Garban, Jeffrey E. Steif

Abstract: The present text provides the lecture notes for the course "noise sensitivity and percolation" given at the 2010 Clay Summer School in Buzios, Brazil. The present text provides the lecture notes for the course "noise sensitivity and percolation" given at the 2010 Clay Summer School in Buzios, Brazil. △ Less

Submitted 29 May, 2012; v1 submitted 28 February, 2011; originally announced February 2011.

Comments: 151 pages, 29 figures, minor corrections

Exclusion Sensitivity of Boolean Functions

Authors: Erik I. Broman, Christophe Garban, Jeffrey E. Steif

Abstract: Recently the study of noise sensitivity and noise stability of Boolean functions has received considerable attention. The purpose of this paper is to extend these notions in a natural way to a different class of perturbations, namely those arising from running the symmetric exclusion process for a short amount of time. In this study, the case of monotone Boolean functions will turn out to be of pa… ▽ More Recently the study of noise sensitivity and noise stability of Boolean functions has received considerable attention. The purpose of this paper is to extend these notions in a natural way to a different class of perturbations, namely those arising from running the symmetric exclusion process for a short amount of time. In this study, the case of monotone Boolean functions will turn out to be of particular interest. We show that for this class of functions, ordinary noise sensitivity and noise sensitivity with respect to the complete graph exclusion process are equivalent. We also show this equivalence with respect to stability. After obtaining these fairly general results, we study "exclusion sensitivity" of critical percolation in more detail with respect to medium-range dynamics. The exclusion dynamics, due to its conservative nature, is in some sense more physical than the classical i.i.d dynamics. Interestingly, we will see that in order to obtain a precise understanding of the exclusion sensitivity of percolation, we will need to describe how typical spectral sets of percolation diffuse under the underlying exclusion process. △ Less

Submitted 22 November, 2011; v1 submitted 10 January, 2011; originally announced January 2011.

Comments: 47 pages, 2 figures

Pivotal, cluster and interface measures for critical planar percolation

Authors: Christophe Garban, Gábor Pete, Oded Schramm

Abstract: This work is the first in a series of papers devoted to the construction and study of scaling limits of dynamical and near-critical planar percolation and related objects like invasion percolation and the Minimal Spanning Tree. We show here that the counting measure on the set of pivotal points of critical site percolation on the triangular grid, normalized appropriately, has a scaling limit, whic… ▽ More This work is the first in a series of papers devoted to the construction and study of scaling limits of dynamical and near-critical planar percolation and related objects like invasion percolation and the Minimal Spanning Tree. We show here that the counting measure on the set of pivotal points of critical site percolation on the triangular grid, normalized appropriately, has a scaling limit, which is a function of the scaling limit of the percolation configuration. We also show that this limit measure is conformally covariant, with exponent 3/4. Similar results hold for the counting measure on macroscopic open clusters (the area measure), and for the counting measure on interfaces (length measure). Since the aforementioned processes are very much governed by pivotal sites, the construction and properties of the "local time"-like pivotal measure are key results in this project. Another application is that the existence of the limit length measure on the interface is a key step towards constructing the so-called natural time-parametrization of the SLE(6) curve. The proofs make extensive use of coupling arguments, based on the separation of interfaces phenomenon. This is a very useful tool in planar statistical physics, on which we included a self-contained Appendix. Simple corollaries of our methods include ratio limit theorems for arm probabilities and the rotational invariance of the two-point function. △ Less

Submitted 13 February, 2014; v1 submitted 7 August, 2010; originally announced August 2010.

Comments: 99 pages, 18 figures. Minor changes, very close to published version

Journal ref: J. Amer. Math. Soc. 26 (2013), no. 4, 939-1024

Oded Schramm's contributions to noise sensitivity

Authors: Christophe Garban

Abstract: We survey in this paper the main contributions of Oded Schramm related to noise sensitivity. We will describe in particular his various works which focused on the "spectral analysis" of critical percolation (and more generally of Boolean functions), his work on the shape-fluctuations of first passage percolation and finally his contributions to the model of dynamical percolation. We survey in this paper the main contributions of Oded Schramm related to noise sensitivity. We will describe in particular his various works which focused on the "spectral analysis" of critical percolation (and more generally of Boolean functions), his work on the shape-fluctuations of first passage percolation and finally his contributions to the model of dynamical percolation. △ Less

Submitted 8 February, 2012; v1 submitted 2 July, 2010; originally announced July 2010.

Comments: Published in at http://dx.doi.org/10.1214/10-AOP582 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP582

Journal ref: Annals of Probability 2011, Vol. 39, No. 5, 1702-1767

The scaling limit of the Minimal Spanning Tree - a preliminary report

Authors: Christophe Garban, Gábor Pete, Oded Schramm

Abstract: This is a short (and somewhat informal) contribution to the proceedings of the XVIth International Congress on Mathematical Physics, Prague, 2009, written up by the second author. We describe how the recent proof of the existence and conformal covariance of the scaling limits of dynamical and near-critical planar percolation implies the existence and several topological properties of the scaling… ▽ More This is a short (and somewhat informal) contribution to the proceedings of the XVIth International Congress on Mathematical Physics, Prague, 2009, written up by the second author. We describe how the recent proof of the existence and conformal covariance of the scaling limits of dynamical and near-critical planar percolation implies the existence and several topological properties of the scaling limit of the Minimal Spanning Tree, and that it is invariant under scalings, rotations and translations. However, we do not expect conformal invariance: we explain why not and what is missing for a proof. △ Less

Submitted 16 September, 2009; originally announced September 2009.

Comments: 6 pages, 10 figures

Journal ref: XVIth International Congress on Mathematical Physics (Prague, 2009), ed. P. Exner, pp. 475-480., World Scientific, Singapore, 2010

Continuity of the SLE trace in simply connected domains

Authors: Christophe Garban, Steffen Rohde, Oded Schramm

Abstract: We prove that the $SLE_κ$ trace in any simply connected domain $G$ is continuous (except possibly near its endpoints) if $κ<8$. We also prove an SLE analog of Makarov's Theorem about the support of harmonic measure. We prove that the $SLE_κ$ trace in any simply connected domain $G$ is continuous (except possibly near its endpoints) if $κ<8$. We also prove an SLE analog of Makarov's Theorem about the support of harmonic measure. △ Less

Submitted 19 November, 2008; v1 submitted 23 October, 2008; originally announced October 2008.

Comments: 15 pages, 2 figures. Statement of theorem 1.2 corrected

MSC Class: 60G17; 30C35; 60K35; 60D05

The Fourier spectrum of critical percolation

Authors: Christophe Garban, Gábor Pete, Oded Schramm

Abstract: Consider the indicator function $f$ of a two-dimensional percolation crossing event. In this paper, the Fourier transform of $f$ is studied and sharp bounds are obtained for its lower tail in several situations. Various applications of these bounds are derived. In particular, we show that the set of exceptional times of dynamical critical site percolation on the triangular grid in which the origin… ▽ More Consider the indicator function $f$ of a two-dimensional percolation crossing event. In this paper, the Fourier transform of $f$ is studied and sharp bounds are obtained for its lower tail in several situations. Various applications of these bounds are derived. In particular, we show that the set of exceptional times of dynamical critical site percolation on the triangular grid in which the origin percolates has dimension 31/36 a.s., and the corresponding dimension in the half-plane is 5/9. It is also proved that critical bond percolation on the square grid has exceptional times a.s. Also, the asymptotics of the number of sites that need to be resampled in order to significantly perturb the global percolation configuration in a large square is determined. △ Less

Submitted 6 February, 2013; v1 submitted 26 March, 2008; originally announced March 2008.

Comments: 99 pages. In Section 4.4 of the published version, MathSciNet reviewer Antal Járai discovered some mistakes, which are corrected in this version

MSC Class: 82C43; 60K35; 42B05

Journal ref: Acta Math. 205 (2010), 19-104

The expected area of the filled planar Brownian loop is Pi/5

Authors: Christophe Garban, José A. Trujillo Ferreras

Abstract: Let B_t be a planar Brownian loop of time duration 1 (a Brownian motion conditioned so that B_0 = B_1). We consider the compact hull obtained by filling in all the holes, i.e. the complement of the unique unbounded component of R^2\B[0,1]. We show that the expected area of this hull is Pi/5. The proof uses, perhaps not surprisingly, the Schramm Loewner Evolution (SLE). Also, using the result of… ▽ More Let B_t be a planar Brownian loop of time duration 1 (a Brownian motion conditioned so that B_0 = B_1). We consider the compact hull obtained by filling in all the holes, i.e. the complement of the unique unbounded component of R^2\B[0,1]. We show that the expected area of this hull is Pi/5. The proof uses, perhaps not surprisingly, the Schramm Loewner Evolution (SLE). Also, using the result of Yor about the law of the index of a Brownian loop, we show that the expected areas of the regions of non-zero index n equal 1/(2 Pi n^2). As a consequence, we find that the expected area of the region of index zero inside the loop is Pi/30; this value could not be obtained directly using Yor's index description. △ Less

Submitted 25 April, 2005; originally announced April 2005.

Comments: 15 pages, 3 figures