-
Gaussian free field and Liouville quantum gravity
Authors:
Nathanaël Berestycki,
Ellen Powell
Abstract:
Over fourty years ago, the physicist Polyakov proposed a bold framework for string theory, in which the problem was reduced to the study of certain "random surfaces". He further made the tantalising suggestion that this theory could be explicitly solved. Recent breakthroughs from the last fifteen years have not only given a concrete mathematical basis for this theory but also verified some of its…
▽ More
Over fourty years ago, the physicist Polyakov proposed a bold framework for string theory, in which the problem was reduced to the study of certain "random surfaces". He further made the tantalising suggestion that this theory could be explicitly solved. Recent breakthroughs from the last fifteen years have not only given a concrete mathematical basis for this theory but also verified some of its most striking predictions, as well as Polyakov's original vision. This theory, now known in the mathematics literature either as Liouville quantum gravity or Liouville conformal field theory, is based on a remarkable combination of ideas coming from different fields, above all probability and geometry. This book is intended to be an introduction to these developments assuming as few prerequisites as possible.
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
Thick points of 4D critical branching Brownian motion
Authors:
Nathanaël Berestycki,
Tom Hutchcroft,
Antoine Jego
Abstract:
We study the thick points of branching Brownian motion and branching random walk with a critical branching mechanism, focusing on the critical dimension $d = 4$. We determine the exponent governing the probability to hit a small ball with an exceptionally high number of pioneers, showing that this has a second-order transition between an exponential phase and a stretched-exponential phase at an ex…
▽ More
We study the thick points of branching Brownian motion and branching random walk with a critical branching mechanism, focusing on the critical dimension $d = 4$. We determine the exponent governing the probability to hit a small ball with an exceptionally high number of pioneers, showing that this has a second-order transition between an exponential phase and a stretched-exponential phase at an explicit value ($a = 2$) of the thickness parameter $a$. We apply the outputs of this analysis to prove that the associated set of thick points $\mathcal{T}(a)$ has dimension $(4-a)_+$, so that there is a change in behaviour at $a=4$ but not at $a = 2$ in this case. Along the way, we obtain related results for the nonpositive solutions of a boundary value problem associated to the semilinear PDE $Δv = v^2$ and develop a strong coupling between tree-indexed random walk and tree-indexed Brownian motion that allows us to deduce analogues of some of our results in the discrete case.
We also obtain in each dimension $d\geq 1$ an infinite-order asymptotic expansion for the probability that critical branching Brownian motion hits a distant unit ball, finding that this expansion is convergent when $d\neq 4$ and divergent when $d=4$. This reveals a novel, dimension-dependent critical exponent governing the higher-order terms of the expansion, which we compute in every dimension.
△ Less
Submitted 1 December, 2023;
originally announced December 2023.
-
Weyl's law in Liouville quantum gravity
Authors:
Nathanaël Berestycki,
Mo Dick Wong
Abstract:
Can you hear the shape of Liouville quantum gravity? We obtain a Weyl law for the eigenvalues of Liouville Brownian motion: the $n$-th eigenvalue grows linearly with $n$, with the proportionality constant given by the Liouville area of the domain and a certain deterministic constant $c_γ$ depending on $γ\in (0, 2)$. The constant $c_γ$, initially a complicated function of Sheffield's quantum cone,…
▽ More
Can you hear the shape of Liouville quantum gravity? We obtain a Weyl law for the eigenvalues of Liouville Brownian motion: the $n$-th eigenvalue grows linearly with $n$, with the proportionality constant given by the Liouville area of the domain and a certain deterministic constant $c_γ$ depending on $γ\in (0, 2)$. The constant $c_γ$, initially a complicated function of Sheffield's quantum cone, can be evaluated explicitly and is strictly greater than the equivalent Riemannian constant.
At the heart of the proof we obtain sharp asymptotics of independent interest for the small-time behaviour of the on-diagonal heat kernel. Interestingly, we show that the scaled heat kernel displays nontrivial pointwise fluctuations. Fortunately, at the level of the heat trace these pointwise fluctuations cancel each other, which leads to the result.
We complement these results with a number of conjectures on the spectral geometry of Liouville quantum gravity, notably suggesting a connection with quantum chaos.
△ Less
Submitted 30 May, 2024; v1 submitted 11 July, 2023;
originally announced July 2023.
-
Piecewise Temperleyan dimers and a multiple SLE$_8$
Authors:
Nathanaël Berestycki,
Mingchang Liu
Abstract:
We consider the dimer model on piecewise Temperleyan, simply connected domains, on families of graphs which include the square lattice as well as superposition graphs. We focus on the spanning tree $\mathcal{T}_δ$ associated to this model via Temperley's bijection, which turns out to be a Uniform Spanning Tree with singular alternating boundary conditions. Generalising the work of the second autho…
▽ More
We consider the dimer model on piecewise Temperleyan, simply connected domains, on families of graphs which include the square lattice as well as superposition graphs. We focus on the spanning tree $\mathcal{T}_δ$ associated to this model via Temperley's bijection, which turns out to be a Uniform Spanning Tree with singular alternating boundary conditions. Generalising the work of the second author with Peltola and Wu \cite{LiuPeltolaWuUST} we obtain a scaling limit result for $\mathcal{T}_δ$. For instance, in the simplest nontrivial case, the limit of $\mathcal{T}_δ$ is described by a pair of trees whose Peano curves are shown to converge jointly to a multiple SLE$_8$ pair. The interface between the trees is shown to be given by an SLE$_2(-1, \ldots, -1)$ curve. More generally we provide an equivalent description of the scaling limit in terms of imaginary geometry. This allows us to make use of the results developed by the first author and Laslier and Ray \cite{BLRdimers}. We deduce that, universally across these classes of graphs, the corresponding height function converges to a multiple of the Gaussian free field with boundary conditions that jump at each non-Temperleyan corner. After centering, this generalises a result of Russkikh \cite{RusskikhDimers} who proved it in the case of the square lattice. Along the way, we obtain results of independent interest on chordal hypergeometric SLE$_8$; for instance we show its law is equal to that of an SLE$_8 (\bar ρ)$ for a certain vector of force points, conditional on its hitting distribution on a specified boundary arc.
△ Less
Submitted 20 January, 2023;
originally announced January 2023.
-
Dimers on Riemann surfaces II: conformal invariance and scaling limit
Authors:
Nathanaël Berestycki,
Benoit Laslier,
Gourab Ray
Abstract:
Given a bounded Riemann surface $M$ of finite topological type, we show the existence of a universal and conformally invariant scaling limit for the Temperleyan cycle-rooted spanning forest on any sequence of graphs which approximate $M$ in a reasonable sense (essentially, the invariance principle holds and the walks satisfy a crossing assumption). In combination with the companion paper arxiv:190…
▽ More
Given a bounded Riemann surface $M$ of finite topological type, we show the existence of a universal and conformally invariant scaling limit for the Temperleyan cycle-rooted spanning forest on any sequence of graphs which approximate $M$ in a reasonable sense (essentially, the invariance principle holds and the walks satisfy a crossing assumption). In combination with the companion paper arxiv:1908.00832, this proves the existence of a universal, conformally invariant scaling limit for the height function of the Temperleyan dimer model on such graphs. Along the way, we describe the relationship between Temperleyan CRSFs and loop measures, and develop tools of independent interest to study the latter using only rough control on the random walk
△ Less
Submitted 20 July, 2022;
originally announced July 2022.
-
Near-critical dimers and massive SLE
Authors:
Nathanaël Berestycki,
Levi Haunschmid-Sibitz
Abstract:
We consider the dimer model on the square and hexagonal lattices with doubly periodic weights. Although in the near-critical regime the Kasteleyn matrix is related to a massive Laplacian, Chhita proved that on the whole plane square lattice, the corresponding height function has a scaling limit which surprisingly is not even Gaussian.
The purpose of this paper is threefold: (a) we establish a ri…
▽ More
We consider the dimer model on the square and hexagonal lattices with doubly periodic weights. Although in the near-critical regime the Kasteleyn matrix is related to a massive Laplacian, Chhita proved that on the whole plane square lattice, the corresponding height function has a scaling limit which surprisingly is not even Gaussian.
The purpose of this paper is threefold: (a) we establish a rigourous connection with the massive SLE$_2$ constructed by Makarov and Smirnov (and recently revisited by Chelkak and Wan); (b) we show that the convergence takes place in arbitrary ({bounded}) domains subject to Temperleyan boundary conditions, and that the scaling limit is universal; and (c) we prove conformal covariance of the scaling limit. This requires allowing the drift to be a smoothly varying vector field; along the way we prove that the corresponding loop-erased random walk has a universal scaling limit. Our techniques rely on the imaginary geometry approach developed in \cite{BLR_DimersGeometry} and some exact discrete Girsanov identities which are of independent interest.
△ Less
Submitted 29 March, 2022;
originally announced March 2022.
-
On the universality of fluctuations for the cover time
Authors:
Nathanaël Berestycki,
Jonathan Hermon,
Lucas Teyssier
Abstract:
We consider random walks on finite vertex-transitive graphs $Γ$ of bounded degree. We find a simple geometric condition which characterises the cover time fluctuations: the suitably normalised cover time converges to a standard Gumbel variable if and only if $\mathrm{Diam}(Γ)^2 = o(n/\log n)$, where $n = |Γ|$. We prove that this condition is furthermore equivalent to the decorrelation of the uncov…
▽ More
We consider random walks on finite vertex-transitive graphs $Γ$ of bounded degree. We find a simple geometric condition which characterises the cover time fluctuations: the suitably normalised cover time converges to a standard Gumbel variable if and only if $\mathrm{Diam}(Γ)^2 = o(n/\log n)$, where $n = |Γ|$. We prove that this condition is furthermore equivalent to the decorrelation of the uncovered set. The arguments rely on recent breakthroughs by Tessera and Tointon on finitary versions of Gromov's theorem on groups of polynomial growth, which we leverage into strong heat kernel bounds, and refined quantitative estimates on Aldous and Brown's exponential approximation of hitting times, which are of independent interest.
△ Less
Submitted 21 March, 2023; v1 submitted 4 February, 2022;
originally announced February 2022.
-
Harnack inequality and one-endedness of UST on reversible random graphs
Authors:
Nathanaël Berestycki,
Diederik van Engelenburg
Abstract:
We prove that for recurrent, reversible graphs, the following conditions are equivalent: (a) existence and uniqueness of the potential kernel, (b) existence and uniqueness of harmonic measure from infinity, (c) a new anchored Harnack inequality, and (d) one-endedness of the wired Uniform Spanning Tree. In particular this gives a proof of the anchored (and in fact also elliptic) Harnack inequality…
▽ More
We prove that for recurrent, reversible graphs, the following conditions are equivalent: (a) existence and uniqueness of the potential kernel, (b) existence and uniqueness of harmonic measure from infinity, (c) a new anchored Harnack inequality, and (d) one-endedness of the wired Uniform Spanning Tree. In particular this gives a proof of the anchored (and in fact also elliptic) Harnack inequality on the UIPT. This also complements and strengthens some results of Benjamini, Lyons, Peres and Schramm. Furthermore, we make progress towards a conjecture of Aldous and Lyons by proving that these conditions are fulfilled for strictly subdiffusive recurrent unimodular graphs. Finally, we discuss the behaviour of the random walk conditioned to never return to the origin, which is well defined as a consequence of our results
△ Less
Submitted 11 October, 2021;
originally announced October 2021.
-
Explosive growth for a constrained Hastings-Levitov aggregation model
Authors:
Nathanaël Berestycki,
Vittoria Silvestri
Abstract:
We consider a constrained version of the HL$(0)$ Hastings--Levitov model of aggregation in the complex plane, in which particles can only attach to the part of the cluster that has already been grown. Although one might expect that this gives rise to a non-trivial limiting shape, we prove that the cluster grows explosively: in the upper half plane, the aggregate accumulates infinite diameter as so…
▽ More
We consider a constrained version of the HL$(0)$ Hastings--Levitov model of aggregation in the complex plane, in which particles can only attach to the part of the cluster that has already been grown. Although one might expect that this gives rise to a non-trivial limiting shape, we prove that the cluster grows explosively: in the upper half plane, the aggregate accumulates infinite diameter as soon as it reaches positive capacity. More precisely, we show that after $nt$ particles of (half-plane) capacity $1/(2n)$ have attached, the diameter of the shape is highly concentrated around $\sqrt{t\log n}$, uniformly in $t\in [0,T]$. This illustrates a new instability phenomenon for the growth of single trees/fjords in unconstrained HL$(0)$.
△ Less
Submitted 25 October, 2022; v1 submitted 23 September, 2021;
originally announced September 2021.
-
Multiplicative chaos of the Brownian loop soup
Authors:
Élie Aïdékon,
Nathanaël Berestycki,
Antoine Jego,
Titus Lupu
Abstract:
We construct a measure on the thick points of a Brownian loop soup in a bounded domain D of the plane with given intensity $θ>0$, which is formally obtained by exponentiating the square root of its occupation field. The measure is constructed via a regularisation procedure, in which loops are killed at a fix rate, allowing us to make use of the Brownian multiplicative chaos measures previously con…
▽ More
We construct a measure on the thick points of a Brownian loop soup in a bounded domain D of the plane with given intensity $θ>0$, which is formally obtained by exponentiating the square root of its occupation field. The measure is constructed via a regularisation procedure, in which loops are killed at a fix rate, allowing us to make use of the Brownian multiplicative chaos measures previously considered in [BBK94, AHS20, Jeg20a], or via a discrete loop soup approximation. At the critical intensity $θ= 1/2$, it is shown that this measure coincides with the hyperbolic cosine of the Gaussian free field, which is closely related to Liouville measure. This allows us to draw several conclusions which elucidate connections between Brownian multiplicative chaos, Gaussian free field and Liouville measure. For instance, it is shown that Liouville-typical points are of infinite loop multiplicity, with the relative contribution of each loop to the overall thickness of the point being described by the Poisson--Dirichlet distribution with parameter $θ= 1/2$. Conversely, the Brownian chaos associated to each loop describes its microscopic contribution to Liouville measure. Along the way, our proof reveals a surprising exact integrability of the multiplicative chaos associated to a killed Brownian loop soup. We also obtain some estimates on the discrete and continuous loop soups which may be of independent interest.
△ Less
Submitted 20 October, 2022; v1 submitted 28 July, 2021;
originally announced July 2021.
-
Free boundary dimers: random walk representation and scaling limit
Authors:
Nathanael Berestycki,
Marcin Lis,
Wei Qian
Abstract:
We study the dimer model on subgraphs of the square lattice in which vertices on a prescribed part of the boundary (the free boundary) are possibly unmatched. Each such unmatched vertex is called a monomer and contributes a fixed multiplicative weight $z>0$ to the total weight of the configuration. A bijection described by Giuliani, Jauslin and Lieb relates this model to a standard dimer model but…
▽ More
We study the dimer model on subgraphs of the square lattice in which vertices on a prescribed part of the boundary (the free boundary) are possibly unmatched. Each such unmatched vertex is called a monomer and contributes a fixed multiplicative weight $z>0$ to the total weight of the configuration. A bijection described by Giuliani, Jauslin and Lieb relates this model to a standard dimer model but on a non-bipartite graph. The Kasteleyn matrix of this dimer model describes a walk with transition weights that are negative along the free boundary. Yet under certain assumptions, which are in particular satisfied in the infinite volume limit in the upper half-plane, we prove an effective, true random walk representation for the inverse Kasteleyn matrix. In this case we further show that, independently of the value of $z>0$, the scaling limit of the height function is the Gaussian free field with Neumann (or free) boundary conditions, thereby answering a question of Giuliani et al.
△ Less
Submitted 14 May, 2021; v1 submitted 25 February, 2021;
originally announced February 2021.
-
$(1+\varepsilon)$-moments suffice to characterise the GFF
Authors:
Nathanaël Berestycki,
Ellen Powell,
Gourab Ray
Abstract:
We show that there is "no stable free field of index $α\in (1,2)$", in the following sense. It was proved in a previous work by the authors, that subject to a \emph{fourth moment assumption}, any random generalised function on a domain $D$ of the plane, satisfying conformal invariance and a natural domain Markov property, must be a constant multiple of the Gaussian free field. In this article we s…
▽ More
We show that there is "no stable free field of index $α\in (1,2)$", in the following sense. It was proved in a previous work by the authors, that subject to a \emph{fourth moment assumption}, any random generalised function on a domain $D$ of the plane, satisfying conformal invariance and a natural domain Markov property, must be a constant multiple of the Gaussian free field. In this article we show that the existence of $(1+\varepsilon)$-moments is sufficient for the same conclusion. A key idea is a new way of exploring the field, where (instead of looking at the more standard circle averages) we start from the boundary and discover averages of the field with respect to a certain "hitting density" of Itô excursions.
△ Less
Submitted 9 December, 2020; v1 submitted 5 May, 2020;
originally announced May 2020.
-
Random walks on mated-CRT planar maps and Liouville Brownian motion
Authors:
Nathanael Berestycki,
Ewain Gwynne
Abstract:
We prove a scaling limit result for random walk on certain random planar maps with its natural time parametrization. In particular, we show that for $γ\in (0,2)$, the random walk on the mated-CRT map with parameter $γ$ converges to $γ$-Liouville Brownian motion, the natural quantum time parametrization of Brownian motion on a $γ$-Liouville quantum gravity (LQG) surface. Our result applies if the m…
▽ More
We prove a scaling limit result for random walk on certain random planar maps with its natural time parametrization. In particular, we show that for $γ\in (0,2)$, the random walk on the mated-CRT map with parameter $γ$ converges to $γ$-Liouville Brownian motion, the natural quantum time parametrization of Brownian motion on a $γ$-Liouville quantum gravity (LQG) surface. Our result applies if the mated-CRT map is embedded into the plane via the embedding which comes from SLE / LQG theory or via the Tutte embedding (a.k.a. the harmonic or barycentric embedding). In both cases, the convergence is with respect to the local uniform topology on curves and it holds in the quenched sense, i.e., the conditional law of the walk given the map converges.
Previous work by Gwynne, Miller, and Sheffield (2017) showed that the random walk on the mated-CRT map converges to Brownian motion modulo time parametrization. This is the first work to show the convergence of the parametrized walk. As an intermediate result of independent interest, we derive an axiomatic characterisation of Liouville Brownian motion, for which the notion of Revuz measure of a Markov process plays a crucial role.
△ Less
Submitted 29 July, 2022; v1 submitted 23 March, 2020;
originally announced March 2020.
-
Dimers on Riemann surfaces I: Temperleyan forests
Authors:
Nathanaël Berestycki,
Benoit Laslier,
Gourab Ray
Abstract:
This is the first article in a series of two papers in which we study the Temperleyan dimer model on an arbitrary bounded Riemann surface of finite topolgical type. The end goal of both papers is to prove the convergence of height fluctuations to a universal and conformally invariant scaling limit. In this part we show that the dimer model on the Temperleyan superposition of a graph embedded on th…
▽ More
This is the first article in a series of two papers in which we study the Temperleyan dimer model on an arbitrary bounded Riemann surface of finite topolgical type. The end goal of both papers is to prove the convergence of height fluctuations to a universal and conformally invariant scaling limit. In this part we show that the dimer model on the Temperleyan superposition of a graph embedded on the surface and its dual is well posed, provided that we remove an appropriate number of punctures. We further show that the resulting dimer configuration is in bijection with an object which we call Temperleyan forest, whose law is characterised in terms of a certain topological condition. Finally we discuss the relation between height differences and Temperleyan forest, and give a criterion guaranteeing the convergence of the height fluctuations in terms of the Temperleyan forest.
△ Less
Submitted 20 July, 2022; v1 submitted 2 August, 2019;
originally announced August 2019.
-
The random walk penalised by its range in dimensions $d\geq 3$
Authors:
Nathanael Berestycki,
Raphael Cerf
Abstract:
We study a self-attractive random walk such that each trajectory of length $N$ is penalised by a factor proportional to $\exp ( - |R_N|)$, where $R_N$ is the set of sites visited by the walk. We show that the range of such a walk is close to a solid Euclidean ball of radius approximately $ρ_d N^{1/(d+2)}$, for some explicit constant $ρ_d >0$. This proves a conjecture of Bolthausen who obtained thi…
▽ More
We study a self-attractive random walk such that each trajectory of length $N$ is penalised by a factor proportional to $\exp ( - |R_N|)$, where $R_N$ is the set of sites visited by the walk. We show that the range of such a walk is close to a solid Euclidean ball of radius approximately $ρ_d N^{1/(d+2)}$, for some explicit constant $ρ_d >0$. This proves a conjecture of Bolthausen who obtained this result in the case $d=2$.
△ Less
Submitted 3 March, 2020; v1 submitted 12 November, 2018;
originally announced November 2018.
-
A characterisation of the Gaussian free field
Authors:
Nathanael Berestycki,
Ellen Powell,
Gourab Ray
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.
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.
△ Less
Submitted 16 August, 2019; v1 submitted 4 February, 2018;
originally announced February 2018.
-
The Rohde--Schramm theorem, via the Gaussian free field
Authors:
Nathanael Berestycki,
Henry Jackson
Abstract:
The Rohde--Schramm theorem states that Schramm--Loewner Evolution with parameter $κ$ (or SLE$_κ$ for short) exists as a random curve, almost surely, if $κ\neq 8$. Here we give a new and concise proof of the result, based on the Liouville quantum gravity coupling (or reverse coupling) with a Gaussian free field. This transforms the problem of estimating the derivative of the Loewner flow into estim…
▽ More
The Rohde--Schramm theorem states that Schramm--Loewner Evolution with parameter $κ$ (or SLE$_κ$ for short) exists as a random curve, almost surely, if $κ\neq 8$. Here we give a new and concise proof of the result, based on the Liouville quantum gravity coupling (or reverse coupling) with a Gaussian free field. This transforms the problem of estimating the derivative of the Loewner flow into estimating certain correlated Gaussian free fields. While the correlation between these fields is not easy to understand, a surprisingly simple argument allows us to recover a derivative exponent first obtained by Rohde and Schramm, subsequently shown to be optimal by Lawler and Viklund, which then implies the Rohde--Schramm theorem.
△ Less
Submitted 8 March, 2017; v1 submitted 2 March, 2017;
originally announced March 2017.
-
Random Hermitian Matrices and Gaussian Multiplicative Chaos
Authors:
Nathanaël Berestycki,
Christian Webb,
Mo Dick Wong
Abstract:
We prove that when suitably normalized, small enough powers of the absolute value of the characteristic polynomial of random Hermitian matrices, drawn from one-cut regular unitary invariant ensembles, converge in law to Gaussian multiplicative chaos measures. We prove this in the so-called $L^2$-phase of multiplicative chaos. Our main tools are asymptotics of Hankel determinants with Fisher-Hartwi…
▽ More
We prove that when suitably normalized, small enough powers of the absolute value of the characteristic polynomial of random Hermitian matrices, drawn from one-cut regular unitary invariant ensembles, converge in law to Gaussian multiplicative chaos measures. We prove this in the so-called $L^2$-phase of multiplicative chaos. Our main tools are asymptotics of Hankel determinants with Fisher-Hartwig singularities. Using Riemann-Hilbert methods, we prove a rather general Fisher-Hartwig formula for one-cut regular unitary invariant ensembles.
△ Less
Submitted 17 September, 2017; v1 submitted 12 January, 2017;
originally announced January 2017.
-
A note on dimers and T-graphs
Authors:
Nathanaël Berestycki,
Benoit Laslier,
Gourab Ray
Abstract:
The purpose of this note is to give a succinct summary of some basic properties of T-graphs which arise in the study of the dimer model. We focus in particular on the relation between the dimer model on the heaxgonal lattice with a given slope, and the behaviour of the uniform spanning tree on the associated T-graph. Together with the main result of the companion paper \cite{BLR16}, the results he…
▽ More
The purpose of this note is to give a succinct summary of some basic properties of T-graphs which arise in the study of the dimer model. We focus in particular on the relation between the dimer model on the heaxgonal lattice with a given slope, and the behaviour of the uniform spanning tree on the associated T-graph. Together with the main result of the companion paper \cite{BLR16}, the results here show Gaussian free field fluctuations for the height function in some dimer models.
△ Less
Submitted 25 October, 2016;
originally announced October 2016.
-
Dimers and Imaginary geometry
Authors:
Nathanaël Berestycki,
Benoit Laslier,
Gourab Ray
Abstract:
We present a general result which shows that the winding of the branches in a uniform spanning tree on a planar graph converge in the limit of fine mesh size to a Gaussian free field. The result holds true assuming only convergence of simple random walk to Brownian motion and a Russo-Seymour-Welsh type crossing estimate. As an application, we prove universality of the fluctuations of the height fu…
▽ More
We present a general result which shows that the winding of the branches in a uniform spanning tree on a planar graph converge in the limit of fine mesh size to a Gaussian free field. The result holds true assuming only convergence of simple random walk to Brownian motion and a Russo-Seymour-Welsh type crossing estimate. As an application, we prove universality of the fluctuations of the height function associated to the dimer model, in several situations. This includes the case of lozenge tilings with boundary conditions lying in a plane, and Temperleyan domains in isoradial graphs (recovering a recent result of Li). The robustness of our approach, which is a key novelty of this paper, comes from the fact that the exactly solvable nature of the model plays only a minor role in the analysis. Instead, we rely on a connection to imaginary geometry, where the limit of a uniform spanning tree is viewed as a set of flow lines associated to a Gaussian free field.
△ Less
Submitted 27 November, 2018; v1 submitted 31 March, 2016;
originally announced March 2016.
-
Existence of self-accelerating fronts for a non-local reaction-diffusion equations
Authors:
Nathanaël Berestycki,
Clément Mouhot,
Gaël Raoul
Abstract:
We describe the accelerated propagation wave arising from a non-local reaction-diffusion equation. This equation originates from an ecological problem, where accelerated biological invasions have been documented. The analysis is based on the comparison of this model with a related local equation, and on the analysis of the dynamics of the solutions of this second model thanks to probabilistic meth…
▽ More
We describe the accelerated propagation wave arising from a non-local reaction-diffusion equation. This equation originates from an ecological problem, where accelerated biological invasions have been documented. The analysis is based on the comparison of this model with a related local equation, and on the analysis of the dynamics of the solutions of this second model thanks to probabilistic methods.
△ Less
Submitted 7 December, 2015; v1 submitted 2 December, 2015;
originally announced December 2015.
-
An elementary approach to Gaussian multiplicative chaos
Authors:
Nathanaël Berestycki
Abstract:
A completely elementary and self-contained proof of convergence of Gaussian multiplicative chaos is given. The argument shows further that the limiting random measure is nontrivial in the entire subcritical phase $(γ< \sqrt{2d})$ and that the limit is universal (i.e., the limiting measure is independent of the regularisation of the underlying field)
A completely elementary and self-contained proof of convergence of Gaussian multiplicative chaos is given. The argument shows further that the limiting random measure is nontrivial in the entire subcritical phase $(γ< \sqrt{2d})$ and that the limit is universal (i.e., the limiting measure is independent of the regularisation of the underlying field)
△ Less
Submitted 27 October, 2017; v1 submitted 30 June, 2015;
originally announced June 2015.
-
Random walks on the random graph
Authors:
Nathanael Berestycki,
Eyal Lubetzky,
Yuval Peres,
Allan Sly
Abstract:
We study random walks on the giant component of the Erdős-Rényi random graph ${\cal G}(n,p)$ where $p=λ/n$ for $λ>1$ fixed. The mixing time from a worst starting point was shown by Fountoulakis and Reed, and independently by Benjamini, Kozma and Wormald, to have order $\log^2 n$. We prove that starting from a uniform vertex (equivalently, from a fixed vertex conditioned to belong to the giant) bot…
▽ More
We study random walks on the giant component of the Erdős-Rényi random graph ${\cal G}(n,p)$ where $p=λ/n$ for $λ>1$ fixed. The mixing time from a worst starting point was shown by Fountoulakis and Reed, and independently by Benjamini, Kozma and Wormald, to have order $\log^2 n$. We prove that starting from a uniform vertex (equivalently, from a fixed vertex conditioned to belong to the giant) both accelerates mixing to $O(\log n)$ and concentrates it (the cutoff phenomenon occurs): the typical mixing is at $(ν{\bf d})^{-1}\log n \pm (\log n)^{1/2+o(1)}$, where $ν$ and ${\bf d}$ are the speed of random walk and dimension of harmonic measure on a ${\rm Poisson}(λ)$-Galton-Watson tree. Analogous results are given for graphs with prescribed degree sequences, where cutoff is shown both for the simple and for the non-backtracking random walk.
△ Less
Submitted 20 October, 2016; v1 submitted 8 April, 2015;
originally announced April 2015.
-
Critical exponents on Fortuin--Kasteleyn weighted planar maps
Authors:
Nathanaël Berestycki,
Benoît Laslier,
Gourab Ray
Abstract:
In this paper we consider random planar maps weighted by the self-dual Fortuin--Kasteleyn model with parameter $q \in (0,4)$. Using a bijection due to Sheffield and a connection to planar Brownian motion in a cone we obtain rigorously the value of the critical exponent associated with the length of cluster interfaces, which is shown to be…
▽ More
In this paper we consider random planar maps weighted by the self-dual Fortuin--Kasteleyn model with parameter $q \in (0,4)$. Using a bijection due to Sheffield and a connection to planar Brownian motion in a cone we obtain rigorously the value of the critical exponent associated with the length of cluster interfaces, which is shown to be $$
\frac{4}π \arccos \left( \frac{\sqrt{2 - \sqrt{q}}}{2} \right)=\frac{κ'}{8}. $$ where $κ' $ is the SLE parameter associated with this model. We also derive the exponent corresponding to the area enclosed by a loop which is shown to be 1 for all values of $q \in (0,4)$. Applying the KPZ formula we find that this value is consistent with the dimension of SLE curves and SLE duality.
△ Less
Submitted 9 July, 2016; v1 submitted 2 February, 2015;
originally announced February 2015.
-
Equivalence of Liouville measure and Gaussian free field
Authors:
Nathanaël Berestycki,
Scott Sheffield,
Xin Sun
Abstract:
Given an instance $h$ of the Gaussian free field on a planar domain $D$ and a constant $γ\in (0,2)$, one can use various regularization procedures to make sense of the Liouville quantum gravity area measure $μ:= e^{γh(z)} dz.$ It is known that the field $h$ a.s. determines the measure $μ_h$. We show that the converse is true: namely, $h$ is measurably determined by $μ_h$. More generally, given a r…
▽ More
Given an instance $h$ of the Gaussian free field on a planar domain $D$ and a constant $γ\in (0,2)$, one can use various regularization procedures to make sense of the Liouville quantum gravity area measure $μ:= e^{γh(z)} dz.$ It is known that the field $h$ a.s. determines the measure $μ_h$. We show that the converse is true: namely, $h$ is measurably determined by $μ_h$. More generally, given a random closed fractal subset $\mathcal A$ endowed with a Frostman measure $σ$ whose support is $\mathcal A$ (independent of $h$), a Gaussian multiplicative chaos measure $μ_{σ,h}$ can be constructed. We give a mild condition on $(\mathcal A,σ)$ under which $μ_{σ,h}$ determines $h$ restricted to $\mathcal A$, in the sense that it determines its harmonic extension off $\mathcal A$. Our condition is satisfied by the occupation measures of planar Brownian motion and SLE curves under natural parametrizations. Along the way we obtain general positive moment bounds for Gaussian multiplicative chaos. Contrary to previous results, this does not require any assumption on the underlying measure $σ$ such as scale invariance, and hence may be of independent interest.
△ Less
Submitted 7 September, 2020; v1 submitted 20 October, 2014;
originally announced October 2014.
-
Cutoff for conjugacy-invariant random walks on the permutation group
Authors:
Nathanael Berestycki,
Bati Sengul
Abstract:
We prove a conjecture raised by the work of Diaconis and Shahshahani (1981) about the mixing time of random walks on the permutation group induced by a given conjugacy class. To do this we exploit a connection with coalescence and fragmentation processes and control the Kantorovitch distance by using a variant of a coupling due to Oded Schramm. Recasting our proof in the language of Ricci curvatur…
▽ More
We prove a conjecture raised by the work of Diaconis and Shahshahani (1981) about the mixing time of random walks on the permutation group induced by a given conjugacy class. To do this we exploit a connection with coalescence and fragmentation processes and control the Kantorovitch distance by using a variant of a coupling due to Oded Schramm. Recasting our proof in the language of Ricci curvature, our proof establishes the occurrence of a phase transition, which takes the following form in the case of random transpositions: at time $cn/2$, the curvature is asymptotically zero for $c\le 1$ and is strictly positive for $c>1$.
△ Less
Submitted 26 March, 2018; v1 submitted 17 October, 2014;
originally announced October 2014.
-
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.
-
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.
-
The shape of multidimensional Brunet--Derrida particle systems
Authors:
Nathanael Berestycki,
Lee Zhuo Zhao
Abstract:
We introduce particle systems in one or more dimensions in which particles perform branching Brownian motion and the population size is kept constant equal to $N > 1$, through the following selection mechanism: at all times only the $N$ fittest particles survive, while all the other particles are removed. Fitness is measured with respect to some given score function $s:\R^d \to \R$. For some choic…
▽ More
We introduce particle systems in one or more dimensions in which particles perform branching Brownian motion and the population size is kept constant equal to $N > 1$, through the following selection mechanism: at all times only the $N$ fittest particles survive, while all the other particles are removed. Fitness is measured with respect to some given score function $s:\R^d \to \R$. For some choices of the function $s$, it is proved that the cloud of particles travels at positive speed in some possibly random direction. In the case where $s$ is linear, we show under some assumptions on the initial configuration that the shape of the cloud scales like $\log N$ in the direction parallel to motion but at least $c(\log N)^{3/2}$ in the orthogonal direction for some $c > 0$. We conjecture that the exponent 3/2 is sharp. This result is equivalent to the following result of independent interest: in one-dimensional systems, the genealogical time is greater than $c(\log N)^3$, thereby contributing a step towards the original predictions of Brunet and Derrida. We discuss several open problems and also explain how our results can be viewed as a rigorous justification of Weismann's arguments for the role of recombination in population genetics.
△ Less
Submitted 1 May, 2013;
originally announced May 2013.
-
Condensation of random walks and the Wulff crystal
Authors:
Nathanael Berestycki,
Ariel Yadin
Abstract:
We introduce a Gibbs measure on nearest-neighbour paths of length $t$ in the Euclidean $d$-dimensional lattice, where each path is penalised by a factor proportional to the size of its boundary and an inverse temperature $β$. We prove that, for all $β>0$, the random walk condensates to a set of diameter $(t/β)^{1/3}$ in dimension $d=2$, up to a multiplicative constant. In all dimensions $d\ge 3$,…
▽ More
We introduce a Gibbs measure on nearest-neighbour paths of length $t$ in the Euclidean $d$-dimensional lattice, where each path is penalised by a factor proportional to the size of its boundary and an inverse temperature $β$. We prove that, for all $β>0$, the random walk condensates to a set of diameter $(t/β)^{1/3}$ in dimension $d=2$, up to a multiplicative constant. In all dimensions $d\ge 3$, we also prove that the volume is bounded above by $(t/β)^{d/(d+1)}$ and the diameter is bounded below by $(t/β)^{1/(d+1)}$. Similar results hold for a random walk conditioned to have local time greater than $β$ everywhere in its range when $β$ is larger than some explicit constant, which in dimension two is the logarithm of the connective constant.
△ Less
Submitted 26 March, 2018; v1 submitted 1 May, 2013;
originally announced May 2013.
-
Diffusion in planar Liouville quantum gravity
Authors:
Nathanael Berestycki
Abstract:
We construct the natural diffusion in the random geometry of planar Liouville quantum gravity. Formally, this is the Brownian motion in a domain $D$ of the complex plane for which the Riemannian metric tensor at a point $z \in D$ is given by $\exp (γh(z) - \frac12 γ^2 \E (h(z)^2))$. Here $h$ is an instance of the Gaussian Free Field on $D$ and $γ\in (0,2)$ is a parameter. We show that the process…
▽ More
We construct the natural diffusion in the random geometry of planar Liouville quantum gravity. Formally, this is the Brownian motion in a domain $D$ of the complex plane for which the Riemannian metric tensor at a point $z \in D$ is given by $\exp (γh(z) - \frac12 γ^2 \E (h(z)^2))$. Here $h$ is an instance of the Gaussian Free Field on $D$ and $γ\in (0,2)$ is a parameter. We show that the process is almost surely continuous and enjoys certain conformal invariance properties. We also estimate the Hausdorff dimension of times that the diffusion spends in the thick points of the Gaussian Free Field, and show that it spends Lebesgue-almost all its time in the set of $γ$-thick points, almost surely.
The diffusion is constructed by a limiting procedure after regularisation of the Gaussian Free Field. The proof is inspired by arguments of Duplantier--Sheffield for the convergence of the Liouville quantum gravity measure, previous work on multifractal random measures, and relies also on estimates on the occupation measure of planar Brownian motion by Dembo, Peres, Rosen and Zeitouni.
A similar but deeper result has been independently and simultaneously proved by Garban, Rhodes and Vargas.
△ Less
Submitted 15 January, 2013;
originally announced January 2013.
-
Critical branching Brownian motion with absorption: particle configurations
Authors:
Julien Berestycki,
Nathanael Berestycki,
Jason Schweinsberg
Abstract:
We consider critical branching Brownian motion with absorption, in which there is initially a single particle at $x > 0$, particles move according to independent one-dimensional Brownian motions with the critical drift of $-\sqrt{2}$, and particles are absorbed when they reach zero. Here we obtain asymptotic results concerning the behavior of the process before the extinction time, as the position…
▽ More
We consider critical branching Brownian motion with absorption, in which there is initially a single particle at $x > 0$, particles move according to independent one-dimensional Brownian motions with the critical drift of $-\sqrt{2}$, and particles are absorbed when they reach zero. Here we obtain asymptotic results concerning the behavior of the process before the extinction time, as the position $x$ of the initial particle tends to infinity. We estimate the number of particles in the system at a given time and the position of the right-most particle. We also obtain asymptotic results for the configuration of particles at a typical time.
△ Less
Submitted 28 September, 2013; v1 submitted 16 December, 2012;
originally announced December 2012.
-
Critical branching Brownian motion with absorption: survival probability
Authors:
Julien Berestycki,
Nathanael Berestycki,
Jason Schweinsberg
Abstract:
We consider branching Brownian motion on the real line with absorption at zero, in which particles move according to independent Brownian motions with the critical drift of $-\sqrt{2}$. Kesten (1978) showed that almost surely this process eventually dies out. Here we obtain upper and lower bounds on the probability that the process survives until some large time $t$. These bounds improve upon resu…
▽ More
We consider branching Brownian motion on the real line with absorption at zero, in which particles move according to independent Brownian motions with the critical drift of $-\sqrt{2}$. Kesten (1978) showed that almost surely this process eventually dies out. Here we obtain upper and lower bounds on the probability that the process survives until some large time $t$. These bounds improve upon results of Kesten (1978), and partially confirm nonrigorous predictions of Derrida and Simon (2007).
△ Less
Submitted 18 December, 2012; v1 submitted 16 December, 2012;
originally announced December 2012.
-
Cycle structure of the interchange process and representation theory
Authors:
Nathanaël Berestycki,
Gady Kozma
Abstract:
Consider the process of random transpositions on the complete graph. We use representation theory to give an exact, simple formula for the expected number of cycles of size k at time t, in terms of an incomplete Beta function. Using this we show that the expected number of cycles of size k jumps from 0 to its equilibrium value, 1/k, at the time where the giant component of the associated random gr…
▽ More
Consider the process of random transpositions on the complete graph. We use representation theory to give an exact, simple formula for the expected number of cycles of size k at time t, in terms of an incomplete Beta function. Using this we show that the expected number of cycles of size k jumps from 0 to its equilibrium value, 1/k, at the time where the giant component of the associated random graph first exceeds k. Consequently we deduce a new and simple proof of Schramm's theorem on random transpositions, that giant cycles emerge at the same time as the giant component in the random graph. We also calculate the "window" for this transition and find that it is quite thin. Finally, we give a new proof of a result by the first author and Durrett that the random transposition process exhibits a certain slowdown transition. The proof makes use of a recent formula for the character decomposition of the number of cycles of a given size in a permutation, and the Frobenius formula for the character ratios.
△ Less
Submitted 21 May, 2012;
originally announced May 2012.
-
Galton-Watson trees with vanishing martingale limit
Authors:
Nathanael Berestycki,
Nina Gantert,
Peter Morters,
Nadia Sidorova
Abstract:
We show that an infinite Galton-Watson tree, conditioned on its martingale limit being smaller than $\eps$, agrees up to generation $K$ with a regular $μ$-ary tree, where $μ$ is the essential minimum of the offspring distribution and the random variable $K$ is strongly concentrated near an explicit deterministic function growing like a multiple of $\log(1/\eps)$. More precisely, we show that if…
▽ More
We show that an infinite Galton-Watson tree, conditioned on its martingale limit being smaller than $\eps$, agrees up to generation $K$ with a regular $μ$-ary tree, where $μ$ is the essential minimum of the offspring distribution and the random variable $K$ is strongly concentrated near an explicit deterministic function growing like a multiple of $\log(1/\eps)$. More precisely, we show that if $μ\ge 2$ then with high probability as $\eps \downarrow 0$, $K$ takes exactly one or two values. This shows in particular that the conditioned trees converge to the regular $μ$-ary tree, providing an example of entropic repulsion where the limit has vanishing entropy.
△ Less
Submitted 13 April, 2012;
originally announced April 2012.
-
Asymptotic sampling formulae for Lambda-coalescents
Authors:
Julien Berestycki,
Nathanael Berestycki,
Vlada Limic
Abstract:
We present a robust method which translates information on the speed of coming down from infinity of a genealogical tree into sampling formulae for the underlying population. We apply these results to population dynamics where the genealogy is given by a Lambda-coalescent. This allows us to derive an exact formula for the asymptotic behavior of the site and allele frequency spectrum and the number…
▽ More
We present a robust method which translates information on the speed of coming down from infinity of a genealogical tree into sampling formulae for the underlying population. We apply these results to population dynamics where the genealogy is given by a Lambda-coalescent. This allows us to derive an exact formula for the asymptotic behavior of the site and allele frequency spectrum and the number of segregating sites, as the sample size tends to infinity. Some of our results hold in the case of a general Lambda-coalescent that comes down from infinity, but we obtain more precise information under a regular variation assumption. In this case, we obtain results of independent interest for the time at which a mutation uniformly chosen at random was generated. This exhibits a phase transition at α=3/2, where α\in(1,2) is the exponent of regular variation.
△ Less
Submitted 31 January, 2012;
originally announced January 2012.
-
Large scale behaviour of the spatial Lambda-Fleming-Viot process
Authors:
N. Berestycki,
A. M. Etheridge,
A. Veber
Abstract:
We consider the spatial Lambda-Fleming-Viot process model for frequencies of genetic types in a population living in R^d, in the special case in which there are just two types of individual, labelled 0 and 1. At time zero, everyone in the half-space consisting of points whose first coordinate is non-positive is type 1, whereas everyone in the complementary half-space is of type 0. We are concerned…
▽ More
We consider the spatial Lambda-Fleming-Viot process model for frequencies of genetic types in a population living in R^d, in the special case in which there are just two types of individual, labelled 0 and 1. At time zero, everyone in the half-space consisting of points whose first coordinate is non-positive is type 1, whereas everyone in the complementary half-space is of type 0. We are concerned with patterns of frequencies of the two types at large space and time scales. We consider two cases, one in which the dynamics of the process are driven by purely `local' events and one incorporating large-scale extinction recolonisation events. We choose the frequency of these events in such a way that, under a suitable rescaling of space and time, the ancestry of a single individual in the population converges to a symmetric stable process of index alpha in (1,2] (with alpha=2 corresponding to Brownian motion). We consider the behaviour of the process of allele frequencies under the same space and time rescaling. For alpha=2 and d>1 it converges to a deterministic limit. In all other cases the limit is random and we identify it as the indicator function of a random set. In particular, there is no local coexistence of types in the limit. We characterise the set in terms of a dual process of coalescing symmetric stable processes, which is of interest in its own right. The complex geometry of the random set is illustrated through simulations.
△ Less
Submitted 24 November, 2011; v1 submitted 21 July, 2011;
originally announced July 2011.
-
Effect of scale on long-range random graphs and chromosomal inversions
Authors:
Nathanaël Berestycki,
Richard Pymar
Abstract:
We consider bond percolation on $n$ vertices on a circle where edges are permitted between vertices whose spacing is at most some number L=L(n). We show that the resulting random graph gets a giant component when $L\gg(\log n)^2$ (when the mean degree exceeds 1) but not when $L\ll\log n$. The proof uses comparisons to branching random walks. We also consider a related process of random transpositi…
▽ More
We consider bond percolation on $n$ vertices on a circle where edges are permitted between vertices whose spacing is at most some number L=L(n). We show that the resulting random graph gets a giant component when $L\gg(\log n)^2$ (when the mean degree exceeds 1) but not when $L\ll\log n$. The proof uses comparisons to branching random walks. We also consider a related process of random transpositions of $n$ particles on a circle, where transpositions only occur again if the spacing is at most $L$. Then the process exhibits the mean-field behavior described by Berestycki and Durrett if and only if L(n) tends to infinity, no matter how slowly. Thus there are regimes where the random graph has no giant component but the random walk nevertheless has a phase transition. We discuss possible relevance of these results for a dataset coming from D. repleta and D. melanogaster and for the typical length of chromosomal inversions.
△ Less
Submitted 20 August, 2012; v1 submitted 22 February, 2011;
originally announced February 2011.
-
A small-time coupling between $Λ$-coalescents and branching processes
Authors:
Julien Berestycki,
Nathanaël Berestycki,
Vlada Limic
Abstract:
We describe a new general connection between $Λ$-coalescents and genealogies of continuous-state branching processes. This connection is based on the construction of an explicit coupling using a particle representation inspired by the lookdown process of Donnelly and Kurtz. This coupling has the property that the coalescent comes down from infinity if and only if the branching process becomes exti…
▽ More
We describe a new general connection between $Λ$-coalescents and genealogies of continuous-state branching processes. This connection is based on the construction of an explicit coupling using a particle representation inspired by the lookdown process of Donnelly and Kurtz. This coupling has the property that the coalescent comes down from infinity if and only if the branching process becomes extinct, thereby answering a question of Bertoin and Le Gall. The coupling also offers new perspective on the speed of coming down from infinity and allows us to relate power-law behavior for $N^Λ(t)$ to the classical upper and lower indices arising in the study of pathwise properties of Lévy processes.
△ Less
Submitted 18 March, 2014; v1 submitted 10 January, 2011;
originally announced January 2011.
-
Survival of near-critical branching Brownian motion
Authors:
Julien Berestycki,
Nathanaël Berestycki,
Jason Schweinsberg
Abstract:
Consider a system of particles performing branching Brownian motion with negative drift $μ= \sqrt{2 - ε}$ and killed upon hitting zero. Initially there is one particle at $x>0$. Kesten showed that the process survives with positive probability if and only if $ε>0$. Here we are interested in the asymptotics as $\eps\to 0$ of the survival probability $Q_μ(x)$. It is proved that if $L= π/\sqrtε$ then…
▽ More
Consider a system of particles performing branching Brownian motion with negative drift $μ= \sqrt{2 - ε}$ and killed upon hitting zero. Initially there is one particle at $x>0$. Kesten showed that the process survives with positive probability if and only if $ε>0$. Here we are interested in the asymptotics as $\eps\to 0$ of the survival probability $Q_μ(x)$. It is proved that if $L= π/\sqrtε$ then for all $x \in \R$, $\lim_{ε\to 0} Q_μ(L+x) = θ(x) \in (0,1)$ exists and is a travelling wave solution of the Fisher-KPP equation. Furthermore, we obtain sharp asymptotics of the survival probability when $x<L$ and $L-x \to \infty$. The proofs rely on probabilistic methods developed by the authors in a previous work. This completes earlier work by Harris, Harris and Kyprianou and confirms predictions made by Derrida and Simon, which were obtained using nonrigorous PDE methods.
△ Less
Submitted 2 September, 2010;
originally announced September 2010.
-
A conditioning principle for Galton-Watson trees
Authors:
Nathanael Berestycki,
Peter Morters,
Nadia Sidorova
Abstract:
We show that an infinite Galton-Watson tree, conditioned on its martingale limit being smaller than $\eps$, converges as $\eps\downarrow 0$ in law to the regular $μ$-ary tree, where $μ$ is the essential minimum of the offspring distribution. This gives an example of entropic repulsion where the limit has no entropy.
We show that an infinite Galton-Watson tree, conditioned on its martingale limit being smaller than $\eps$, converges as $\eps\downarrow 0$ in law to the regular $μ$-ary tree, where $μ$ is the essential minimum of the offspring distribution. This gives an example of entropic repulsion where the limit has no entropy.
△ Less
Submitted 16 April, 2012; v1 submitted 11 June, 2010;
originally announced June 2010.
-
Emergence of giant cycles and slowdown transition in random transpositions and $k$-cycles
Authors:
Nathanael Berestycki
Abstract:
Consider the random walk on the permutation group obtained when the step distribution is uniform on a given conjugacy class. It is shown that there is a critical time at which two phase transitions occur simultaneously. On the one hand, the random walk slows down abruptly (i.e., the acceleration drops from 0 to -\infty at this time as n tends to \infty). On the other hand, the largest cycle size c…
▽ More
Consider the random walk on the permutation group obtained when the step distribution is uniform on a given conjugacy class. It is shown that there is a critical time at which two phase transitions occur simultaneously. On the one hand, the random walk slows down abruptly (i.e., the acceleration drops from 0 to -\infty at this time as n tends to \infty). On the other hand, the largest cycle size changes from microscopic to giant. The proof of this last result is both considerably simpler and more general than in a previous result of Oded Schramm (2005) for random transpositions. It turns out that in the case of random k-cycles, this critical time is proportional to 1/[k(k-1)], whereas the mixing time is known to be proportional to 1/k.
△ Less
Submitted 20 April, 2010;
originally announced April 2010.
-
The genealogy of branching Brownian motion with absorption
Authors:
Julien Berestycki,
Nathanaël Berestycki,
Jason Schweinsberg
Abstract:
We consider a system of particles which perform branching Brownian motion with negative drift and are killed upon reaching zero, in the near-critical regime where the total population stays roughly constant with approximately N particles. We show that the characteristic time scale for the evolution of this population is of order $(\log N)^3$, in the sense that when time is measured in these units,…
▽ More
We consider a system of particles which perform branching Brownian motion with negative drift and are killed upon reaching zero, in the near-critical regime where the total population stays roughly constant with approximately N particles. We show that the characteristic time scale for the evolution of this population is of order $(\log N)^3$, in the sense that when time is measured in these units, the scaled number of particles converges to a variant of Neveu's continuous-state branching process. Furthermore, the genealogy of the particles is then governed by a coalescent process known as the Bolthausen-Sznitman coalescent. This validates the nonrigorous predictions by Brunet, Derrida, Muller and Munier for a closely related model.
△ Less
Submitted 14 March, 2013; v1 submitted 13 January, 2010;
originally announced January 2010.
-
Mixing times for random k-cycles and coalescence-fragmentation chains
Authors:
Nathanaël Berestycki,
Oded Schramm,
Ofer Zeitouni
Abstract:
Let $\mathcal{S}_n$ be the permutation group on $n$ elements, and consider a random walk on $\mathcal{S}_n$ whose step distribution is uniform on $k$-cycles. We prove a well-known conjecture that the mixing time of this process is $(1/k)n\log n$, with threshold of width linear in $n$. Our proofs are elementary and purely probabilistic, and do not appeal to the representation theory of…
▽ More
Let $\mathcal{S}_n$ be the permutation group on $n$ elements, and consider a random walk on $\mathcal{S}_n$ whose step distribution is uniform on $k$-cycles. We prove a well-known conjecture that the mixing time of this process is $(1/k)n\log n$, with threshold of width linear in $n$. Our proofs are elementary and purely probabilistic, and do not appeal to the representation theory of $\mathcal{S}_n$.
△ Less
Submitted 2 December, 2011; v1 submitted 12 January, 2010;
originally announced January 2010.
-
Global divergence of spatial coalescents
Authors:
Omer Angel,
Nathanael Berestycki,
Vlada Limic
Abstract:
We study several fundamental properties of a class of stochastic processes called spatial Lambda-coalescents. In these models, a number of particles perform independent random walks on some underlying graph G. In addition, particles on the same vertex merge randomly according to a given coalescing mechanism. A remarkable property of mean-field coalescent processes is that they may come down from…
▽ More
We study several fundamental properties of a class of stochastic processes called spatial Lambda-coalescents. In these models, a number of particles perform independent random walks on some underlying graph G. In addition, particles on the same vertex merge randomly according to a given coalescing mechanism. A remarkable property of mean-field coalescent processes is that they may come down from infinity, meaning that, starting with an infinite number of particles, only a finite number remains after any positive amount of time, almost surely. We show here however that, in the spatial setting, on any infinite and bounded-degree graph, the total number of particles will always remain infinite at all times, almost surely. Moreover, if G=Z^d, and the coalescing mechanism is Kingman's coalescent, then starting with N particles at the origin, the total number of particles remaining is of order (log* N)^d at any fixed positive time (where log* is the inverse tower function). At sufficiently large times the total number of particles is of order (log* N)^{d-2}, when d>2. We provide parallel results in the recurrent case d=2. The spatial Beta-coalescents behave similarly, where log log N is replacing log* N.
△ Less
Submitted 21 January, 2010; v1 submitted 26 September, 2009;
originally announced September 2009.
-
Recent progress in coalescent theory
Authors:
Nathanael Berestycki
Abstract:
Coalescent theory is the study of random processes where particles may join each other to form clusters as time evolves. These notes provide an introduction to some aspects of the mathematics of coalescent processes and their applications to theoretical population genetics and other fields such as spin glass models. The emphasis is on recent work concerning in particular the connection of these…
▽ More
Coalescent theory is the study of random processes where particles may join each other to form clusters as time evolves. These notes provide an introduction to some aspects of the mathematics of coalescent processes and their applications to theoretical population genetics and other fields such as spin glass models. The emphasis is on recent work concerning in particular the connection of these processes to continuum random trees and spatial models such as coalescing random walks.
△ Less
Submitted 22 September, 2009;
originally announced September 2009.
-
Kingman's coalescent and Brownian motion
Authors:
J. Berestycki,
N. Berestycki
Abstract:
We describe a simple construction of Kingman's coalescent in terms of a Brownian excursion. This construction is closely related to, and sheds some new light on, earlier work by Aldous and Warren. Our approach also yields some new results: for instance, we obtain the full multifractal spectrum of Kingman's coalescent. This complements earlier work on Beta-coalescents by the authors and Schweinsb…
▽ More
We describe a simple construction of Kingman's coalescent in terms of a Brownian excursion. This construction is closely related to, and sheds some new light on, earlier work by Aldous and Warren. Our approach also yields some new results: for instance, we obtain the full multifractal spectrum of Kingman's coalescent. This complements earlier work on Beta-coalescents by the authors and Schweinsberg. Surprisingly, the thick part of the spectrum is not obtained by taking the limit as $α\to 2$ in the result for Beta-coalescents mentioned above. Other analogies and differences between the case of Beta-coalescents and Kingman's coalescent are discussed.
△ Less
Submitted 9 April, 2009;
originally announced April 2009.
-
The $Λ$-coalescent speed of coming down from infinity
Authors:
Julien Berestycki,
Nathanaël Berestycki,
Vlada Limic
Abstract:
Consider a $Λ$-coalescent that comes down from infinity (meaning that it starts from a configuration containing infinitely many blocks at time 0, yet it has a finite number $N_t$ of blocks at any positive time $t>0$). We exhibit a deterministic function $v:(0,\infty)\to(0,\infty)$ such that $N_t/v(t)\to1$, almost surely, and in $L^p$ for any $p\geq1$, as $t\to0$. Our approach relies on a novel mar…
▽ More
Consider a $Λ$-coalescent that comes down from infinity (meaning that it starts from a configuration containing infinitely many blocks at time 0, yet it has a finite number $N_t$ of blocks at any positive time $t>0$). We exhibit a deterministic function $v:(0,\infty)\to(0,\infty)$ such that $N_t/v(t)\to1$, almost surely, and in $L^p$ for any $p\geq1$, as $t\to0$. Our approach relies on a novel martingale technique.
△ Less
Submitted 20 July, 2012; v1 submitted 27 July, 2008;
originally announced July 2008.
-
An integral test for the transience of a Brownian path with limited local time
Authors:
Itai Benjamini,
Nathanael Berestycki
Abstract:
We study a one-dimensional Brownian motion conditioned on a self-repelling behaviour. Given a nondecreasing positive function f(t), consider the measures mu_t obtained by conditioning a Brownian path so that L_s< f(s), for all s<t, where L_s is the local time spent at the origin by time s. It is shown that the measures mu_t are tight, and that any weak limit of mu_t as t tends to infinity is trans…
▽ More
We study a one-dimensional Brownian motion conditioned on a self-repelling behaviour. Given a nondecreasing positive function f(t), consider the measures mu_t obtained by conditioning a Brownian path so that L_s< f(s), for all s<t, where L_s is the local time spent at the origin by time s. It is shown that the measures mu_t are tight, and that any weak limit of mu_t as t tends to infinity is transient provided that t^{-3/2}f(t) is integrable. We conjecture that this condition is sharp and present a number of open problems.
△ Less
Submitted 21 April, 2010; v1 submitted 3 June, 2008;
originally announced June 2008.
-
Random paths with bounded local time
Authors:
Itai Benjamini,
Nathanael Berestycki
Abstract:
We consider one-dimensional Brownian motion conditioned (in a suitable sense) to have a local time at every point and at every moment bounded by some fixed constant. Our main result shows that a phenomenon of entropic repulsion occurs: that is, this process is ballistic and has an asymptotic velocity approximately 4.58... as high as required by the conditioning (the exact value of this constant in…
▽ More
We consider one-dimensional Brownian motion conditioned (in a suitable sense) to have a local time at every point and at every moment bounded by some fixed constant. Our main result shows that a phenomenon of entropic repulsion occurs: that is, this process is ballistic and has an asymptotic velocity approximately 4.58... as high as required by the conditioning (the exact value of this constant involves the first zero of a Bessel function). We also study the random walk case and show that the process is asymptotically ballistic but with an unknown speed.
△ Less
Submitted 21 April, 2010; v1 submitted 21 May, 2008;
originally announced May 2008.