Searcharxiv⌕ Search

arXiv subjects

Christophe Garban

Publications and source records attributed to Christophe Garban.

50 records · Page 3Linked to original sources
arXiv2014

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

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.

math.PR↗
arXiv2014

KPZ formula derived from Liouville heat kernel

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.

math.PR↗
arXiv2014

Pivotal, cluster and interface measures for critical planar percolation

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.

math.PR↗
arXiv2014

The near-critical planar FK-Ising model

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.

math.PR↗
arXiv2013

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

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

math.PR↗
arXiv2013

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

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.

math.PR↗
arXiv2013

The Fourier spectrum of critical percolation

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.

math.PR↗
arXiv2012

Quantum gravity and the KPZ formula

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.

math.PR↗
arXiv2012

Oded Schramm's contributions to noise sensitivity

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.

math.PR↗
arXiv2011

Exclusion Sensitivity of Boolean Functions

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.

math.PR↗
arXiv2009

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

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.

math.PR↗
arXiv2008

Continuity of the SLE trace in simply connected domains

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.

math.PR↗
arXiv2005

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

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.

math.PR↗