-
A scaling limit of the 2D parabolic Anderson model with exclusion interaction
Authors:
Dirk Erhard,
Martin Hairer,
Tiecheng Xu
Abstract:
We consider the (discrete) parabolic Anderson model $\partial u(t,x)/\partial t=Δu(t,x) +ξ_t(x) u(t,x)$, $t\geq 0$, $x\in \mathbb{Z}^d$. Here, the $ξ$-field is $\mathbb{R}$-valued, acting as a dynamic random environment, and $Δ$ represents the discrete Laplacian. We focus on the case where $ξ$ is given by a rescaled symmetric simple exclusion process which converges to an Ornstein--Uhlenbeck proce…
▽ More
We consider the (discrete) parabolic Anderson model $\partial u(t,x)/\partial t=Δu(t,x) +ξ_t(x) u(t,x)$, $t\geq 0$, $x\in \mathbb{Z}^d$. Here, the $ξ$-field is $\mathbb{R}$-valued, acting as a dynamic random environment, and $Δ$ represents the discrete Laplacian. We focus on the case where $ξ$ is given by a rescaled symmetric simple exclusion process which converges to an Ornstein--Uhlenbeck process. By scaling the Laplacian diffusively and considering the equation on a torus, we demonstrate that in dimension $d=2$, when a suitably renormalized version of the above equation is considered, the sequence of solutions converges in law. This resolves an open problem from~\cite{EH23}, where a similar result was shown in the three-dimensional case. The novel contribution in the present work is the establishment of a gradient bound on the transition probability of a fixed but arbitrary number of labelled exclusion particles.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
Uniqueness and tube property for the Swiss cheese large deviations
Authors:
Julien Poisat,
Dirk Erhard
Abstract:
We consider the simple random walk on the Euclidean lattice, in three dimensions and higher, conditioned to visit fewer sites than expected, when the deviation from the mean scales like the mean. The associated large deviation principle was first derived in 2001 by van den Berg, Bolthausen and den Hollander in the continuous setting, that is for the volume of a Wiener sausage, and later taken up b…
▽ More
We consider the simple random walk on the Euclidean lattice, in three dimensions and higher, conditioned to visit fewer sites than expected, when the deviation from the mean scales like the mean. The associated large deviation principle was first derived in 2001 by van den Berg, Bolthausen and den Hollander in the continuous setting, that is for the volume of a Wiener sausage, and later taken up by Phetpradap in the discrete setting. One of the key ideas in their work is to condition the range of the random walk to a certain skeleton, that is a sub-sequence of the random walk path taken along an appropriate mesoscopic scale. In this paper we prove that (i) the rate function obtained by van den Berg, Bolthausen and den Hollander has a unique minimizer over the set of probability measures modulo shifts, at least for deviations of the range well below the mean, and (ii) the empirical measure of the skeleton converges under the conditioned law, in a certain manner, to this minimizer. To this end we use an adaptation of the topology recently introduced by Mukherjee and Varadhan to compactify the space of probability measures.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
Nonequilibrium Joint Fluctuations for Current and Occupation Time in The Symmetric Exclusion Process
Authors:
Dirk Erhard,
Tertuliano Franco,
Tiecheng Xu
Abstract:
We provide a full description for the joint fluctuations of current and occupation time in the one-dimensional nonequilibrium simple symmetric exclusion process, furnishing explicit formulas for the covariances of the limiting Gaussian process. The main novelties consist of a proof of the tightness of the nonequilibrium current based on new correlation estimates, refined estimates on the discrete…
▽ More
We provide a full description for the joint fluctuations of current and occupation time in the one-dimensional nonequilibrium simple symmetric exclusion process, furnishing explicit formulas for the covariances of the limiting Gaussian process. The main novelties consist of a proof of the tightness of the nonequilibrium current based on new correlation estimates, refined estimates on the discrete gradient of the transition probabilities of the SSEP, and a nonequilibrium Kipnis-Varadhan Lemma based on a Fourier approach.
△ Less
Submitted 26 April, 2023;
originally announced April 2023.
-
Strong large deviation principles for pair empirical measures of random walks in the Mukherjee-Varadhan topology
Authors:
Dirk Erhard,
Julien Poisat
Abstract:
In this paper we introduce a topology under which the pair empirical measure of a large class of random walks satisfies a strong Large Deviation principle. The definition of the topology is inspired by the recent article by Mukherjee and Varadhan [16]. This topology is natural for translation-invariant problems such as the downward deviations of the volume of a Wiener sausage or simple random walk…
▽ More
In this paper we introduce a topology under which the pair empirical measure of a large class of random walks satisfies a strong Large Deviation principle. The definition of the topology is inspired by the recent article by Mukherjee and Varadhan [16]. This topology is natural for translation-invariant problems such as the downward deviations of the volume of a Wiener sausage or simple random walk, known as the Swiss cheese model [18]. We also adapt our result to some rescaled random walks and provide a contraction principle to the single empirical measure despite a lack of continuity from the projection map, using the notion of diagonal tightness.
△ Less
Submitted 16 April, 2024; v1 submitted 3 April, 2023;
originally announced April 2023.
-
Weak coupling limit of the Anisotropic KPZ equation
Authors:
Giuseppe Cannizzaro,
Dirk Erhard,
Fabio Toninelli
Abstract:
In the present work, we study the two-dimensional anisotropic KPZ equation (AKPZ), which is formally given by \begin{equation*} \partial_t h=\tfrac12 Δh + λ((\partial_1 h)^2)-(\partial_2 h)^2) +ξ\,, \end{equation*} where $ξ$ denotes a space-time white noise and $λ>0$ is the so-called coupling constant. The AKPZ equation is a {\it critical} SPDE, meaning that not only it is analytically ill-posed b…
▽ More
In the present work, we study the two-dimensional anisotropic KPZ equation (AKPZ), which is formally given by \begin{equation*} \partial_t h=\tfrac12 Δh + λ((\partial_1 h)^2)-(\partial_2 h)^2) +ξ\,, \end{equation*} where $ξ$ denotes a space-time white noise and $λ>0$ is the so-called coupling constant. The AKPZ equation is a {\it critical} SPDE, meaning that not only it is analytically ill-posed but also the breakthrough path-wise techniques for singular SPDEs [M. Hairer, Ann. Math. 2014] and [M. Gubinelli, P. Imkeller and N. Perkowski, Forum of Math., Pi, 2015] are not applicable. As shown in [G. Cannizzaro, D. Erhard, F. Toninelli, arXiv, 2020], the equation regularised at scale $N$ has a diffusion coefficient that diverges logarithmically as the regularisation is removed in the limit $N\to\infty$. Here, we study the \emph{weak coupling limit} where $λ=λ_N=\hatλ/\sqrt{\log N}$: this is the correct scaling that guarantees that the nonlinearity has a still non-trivial but non-divergent effect. In fact, as $N\to\infty$ the sequence of equations converges to the linear stochastic heat equation \begin{equation*} \partial_t h =\tfrac{ν_{\rm eff}}{2} Δh + \sqrt{ν_{\rm eff}}ξ\,, \end{equation*} where $ν_{\rm eff} >1$ is explicit and depends non-trivially on $\hatλ$. This is the first full renormalization-type result for a critical, singular SPDE which cannot be linearised via Cole-Hopf or any other transformation.
△ Less
Submitted 20 August, 2021;
originally announced August 2021.
-
Stochastic processes with competing reinforcements
Authors:
Dirk Erhard,
Guilherme Reis
Abstract:
We introduce a simple but powerful technique to study processes driven by two or more reinforcement mechanisms in competition. We apply our method to two types of models: to non conservative zero range processes on finite graphs, and to multi-particle random walks with positive and negative reinforcement on the edges. The results hold for a broad class of reinforcement functions, including those w…
▽ More
We introduce a simple but powerful technique to study processes driven by two or more reinforcement mechanisms in competition. We apply our method to two types of models: to non conservative zero range processes on finite graphs, and to multi-particle random walks with positive and negative reinforcement on the edges. The results hold for a broad class of reinforcement functions, including those with superlinear growth. Our technique consists in a comparison of the original processes with suitable reference models. To implement the comparison we estimate a Radon-Nikodym derivative on a carefully chosen set of trajectories. Our results describe the almost surely long time behaviour of the processes. We also prove a phase transition depending on the strength of the reinforcement functions.
△ Less
Submitted 29 June, 2022; v1 submitted 3 May, 2021;
originally announced May 2021.
-
A scaling limit of the parabolic Anderson model with exclusion interaction
Authors:
Dirk Erhard,
Martin Hairer
Abstract:
We consider the (discrete) parabolic Anderson model $\partial u(t,x)/\partial t=Δu(t,x) +ξ_t(x) u(t,x)$, $t\geq 0$, $x\in \mathbb{Z}^d$, where the $ξ$-field is $\mathbb{R}$-valued and plays the role of a dynamic random environment, and $Δ$ is the discrete Laplacian. We focus on the case in which $ξ$ is given by a properly rescaled symmetric simple exclusion process under which it converges to an O…
▽ More
We consider the (discrete) parabolic Anderson model $\partial u(t,x)/\partial t=Δu(t,x) +ξ_t(x) u(t,x)$, $t\geq 0$, $x\in \mathbb{Z}^d$, where the $ξ$-field is $\mathbb{R}$-valued and plays the role of a dynamic random environment, and $Δ$ is the discrete Laplacian. We focus on the case in which $ξ$ is given by a properly rescaled symmetric simple exclusion process under which it converges to an Ornstein--Uhlenbeck process. Scaling the Laplacian diffusively and restricting ourselves to a torus, we show that in dimension $d=3$ upon considering a suitably renormalised version of the above equation, the sequence of solutions converges in law.
As a by-product of our main result we obtain precise asymptotics for the survival probability of a simple random walk that is killed at a scale dependent rate when meeting an exclusion particle. Our proof relies on the discrete theory of regularity structures of \cite{ErhardHairerRegularity} and on novel sharp estimates of joint cumulants of arbitrary large order for the exclusion process. We think that the latter is of independent interest and may find applications elsewhere.
△ Less
Submitted 24 March, 2021;
originally announced March 2021.
-
The stationary AKPZ equation: logarithmic superdiffusivity
Authors:
Giuseppe Cannizzaro,
Dirk Erhard,
Fabio Toninelli
Abstract:
We study the two-dimensional Anisotropic KPZ equation (AKPZ) formally given by \begin{equation*}
\partial_t H=\frac12ΔH+λ((\partial_1 H)^2-(\partial_2 H)^2)+ξ\,,
\end{equation*} where $ξ$ is a space-time white noise and $λ$ is a strictly positive constant. While the classical two-dimensional KPZ equation, whose nonlinearity is $|\nabla H|^2=(\partial_1 H)^2+(\partial_2 H)^2$, can be linearised…
▽ More
We study the two-dimensional Anisotropic KPZ equation (AKPZ) formally given by \begin{equation*}
\partial_t H=\frac12ΔH+λ((\partial_1 H)^2-(\partial_2 H)^2)+ξ\,,
\end{equation*} where $ξ$ is a space-time white noise and $λ$ is a strictly positive constant. While the classical two-dimensional KPZ equation, whose nonlinearity is $|\nabla H|^2=(\partial_1 H)^2+(\partial_2 H)^2$, can be linearised via the Cole-Hopf transformation, this is not the case for AKPZ. We prove that the stationary solution to AKPZ (whose invariant measure is the Gaussian Free Field) is superdiffusive: its diffusion coefficient diverges for large times as $\sqrt{\log t}$ up to $\log\log t$ corrections, in a Tauberian sense. Morally, this says that the correlation length grows with time like $t^{1/2}\times (\log t)^{1/4}$. Moreover, we show that if the process is rescaled diffusively ($t\to t/\varepsilon^2, x\to x/\varepsilon, \varepsilon\to0$), then it evolves non-trivially already on time-scales of order approximately $1/\sqrt{|\log\varepsilon|}\ll1$. Both claims hold as soon as the coefficient $λ$ of the nonlinearity is non-zero. These results are in contrast with the belief, common in the mathematics community, that the AKPZ equation is diffusive at large scales and, under simple diffusive scaling, converges the two-dimensional Stochastic Heat Equation (2dSHE) with additive noise (i.e. the case $λ=0$).
△ Less
Submitted 23 September, 2021; v1 submitted 23 July, 2020;
originally announced July 2020.
-
Weak universality of $Φ^4_3$: polynomial potential and general smoothing mechanism
Authors:
Dirk Erhard,
Weijun Xu
Abstract:
We consider a class of stochastic reaction-diffusion equations on the three dimensional torus. The non-linearities are odd polynomials in the weakly non-linear regime, and the smoothing mechanisms are very general higher order perturbations of the Laplacian. The randomness is the space-time white noise without regularisation. We show that these processes converge to the dynamical $Φ^4_3 (λ)$ model…
▽ More
We consider a class of stochastic reaction-diffusion equations on the three dimensional torus. The non-linearities are odd polynomials in the weakly non-linear regime, and the smoothing mechanisms are very general higher order perturbations of the Laplacian. The randomness is the space-time white noise without regularisation. We show that these processes converge to the dynamical $Φ^4_3 (λ)$ model, where the coupling constant $λ$ has an explicit expression involving non-trivial interactions between all details of the smoothing mechanism and the non-linearity.
△ Less
Submitted 11 May, 2020;
originally announced May 2020.
-
The Directed Edge Reinforced Random Walk: The Ant Mill Phenomenon
Authors:
Dirk Erhard,
Tertuliano Franco,
Guilherme Reis
Abstract:
We define here a \textit{directed edge reinforced random walk} on a connected locally finite graph. As the name suggests, this walk keeps track of its past, and gives a bias towards directed edges previously crossed proportional to the exponential of the number of crossings. The model is inspired by the so called \textit{Ant Mill phenomenon}, in which a group of army ants forms a continuously rota…
▽ More
We define here a \textit{directed edge reinforced random walk} on a connected locally finite graph. As the name suggests, this walk keeps track of its past, and gives a bias towards directed edges previously crossed proportional to the exponential of the number of crossings. The model is inspired by the so called \textit{Ant Mill phenomenon}, in which a group of army ants forms a continuously rotating circle until they die of exhaustion. For that reason we refer to the walk defined in this work as the \textit{Ant RW}. Our main result justifies this name. Namely, we will show that on any finite graph which is not a tree, and on $\mathbb Z^d$ with $d\geq 2$, the Ant RW almost surely gets eventually trapped into some directed circuit which will be followed forever. In the case of~$\mathbb Z$ we show that the Ant RW eventually escapes to infinity and satisfies a law of large number with a random limit which we explicitly identify.
△ Less
Submitted 13 March, 2020; v1 submitted 17 November, 2019;
originally announced November 2019.
-
2D Anisotropic KPZ at stationarity: scaling, tightness and non triviality
Authors:
G. Cannizzaro,
D. Erhard,
P. Schönbauer
Abstract:
In this work we focus on the two-dimensional anisotropic KPZ (aKPZ) equation, which is formally given by \begin{equation*}\partial_t h =\fracν{2}Δh + λ((\partial_1 h)^2 - (\partial_2 h)^2) + ν^\frac{1}{2}ξ,\end{equation*} where $ξ$ denotes a noise which is white in both space and time, and $λ$ and $ν$ are positive constants. Due to the wild oscillations of the noise and the quadratic nonlinearity,…
▽ More
In this work we focus on the two-dimensional anisotropic KPZ (aKPZ) equation, which is formally given by \begin{equation*}\partial_t h =\fracν{2}Δh + λ((\partial_1 h)^2 - (\partial_2 h)^2) + ν^\frac{1}{2}ξ,\end{equation*} where $ξ$ denotes a noise which is white in both space and time, and $λ$ and $ν$ are positive constants. Due to the wild oscillations of the noise and the quadratic nonlinearity, the previous equation is classically ill-posed. It is not possible to linearise it via the Cole-Hopf transformation and the pathwise techniques for singular SPDEs (the theory of Regularity Structures by M. Hairer or the paracontrolled distributions approach of M. Gubinelli, P. Imkeller, N. Perkowski) are not applicable. In the present work, we consider a regularised version of aKPZ which preserves its invariant measure. We show that in order to have subsequential limits once the regularisation is removed, it is necessary to suitably renormalise $λ$ and $ν$. Moreover, we prove that, in the regime suggested by the (non-rigorous) renormalisation group computations of [D.E. Wolf, "Kinetic roughening of vicinal surfaces'', Phys. Rev. Lett., 1991], i.e. $ν$ constant and the coupling constant $λ$ converging to $0$ as the inverse of the square root logarithm, any limit differs from the solution to the linear equation obtained by simply drop** the nonlinearity in aKPZ.
△ Less
Submitted 8 July, 2019; v1 submitted 2 July, 2019;
originally announced July 2019.
-
The Slow Bond Random Walk and the Snap** Out Brownian Motion
Authors:
Dirk Erhard,
Tertuliano Franco,
Diogo S. da Silva
Abstract:
We consider the continuous time symmetric random walk with a slow bond on $\mathbb Z$, which rates are equal to $1/2$ for all bonds, except for the bond of vertices $\{-1,0\}$, which associated rate is given by $αn^{-β}/2$, where $α\geq 0$ and $β\in [0,\infty]$ are the parameters of the model. We prove here a functional central limit theorem for the random walk with a slow bond: if $β<1$, then it…
▽ More
We consider the continuous time symmetric random walk with a slow bond on $\mathbb Z$, which rates are equal to $1/2$ for all bonds, except for the bond of vertices $\{-1,0\}$, which associated rate is given by $αn^{-β}/2$, where $α\geq 0$ and $β\in [0,\infty]$ are the parameters of the model. We prove here a functional central limit theorem for the random walk with a slow bond: if $β<1$, then it converges to the usual Brownian motion. If $β\in (1,\infty]$, then it converges to the reflected Brownian motion. And at the critical value $β=1$, it converges to the snap** out Brownian motion (SNOB) of parameter $κ=2α$, which is a Brownian type-process recently constructed in Lejay, A., The snap** out Brownian motion. Ann. Appl. Probab., 26(3):1727--1742, 2016. We also provide Berry-Esseen estimates in the dual bounded Lipschitz metric for the weak convergence of one-dimensional distributions, which we believe to be sharp.
△ Less
Submitted 20 May, 2019;
originally announced May 2019.
-
Local solution to the multi-layer KPZ equation
Authors:
Ajay Chandra,
Dirk Erhard,
Hao Shen
Abstract:
In this article we prove local well-posedness of the system of equations $\partial_t h_{i}= \sum_{j=1}^{i}\partial_x^2 h_{i}+ (\partial_x h_{i})^2 + ξ$ on the circle where $1\leq i\leq N$ and $ξ$ is a space-time white noise. We attempt to generalize the renormalization procedure which gives the Hopf-Cole solution for the single layer equation and our $h_1$ (solution to the first layer) coincides w…
▽ More
In this article we prove local well-posedness of the system of equations $\partial_t h_{i}= \sum_{j=1}^{i}\partial_x^2 h_{i}+ (\partial_x h_{i})^2 + ξ$ on the circle where $1\leq i\leq N$ and $ξ$ is a space-time white noise. We attempt to generalize the renormalization procedure which gives the Hopf-Cole solution for the single layer equation and our $h_1$ (solution to the first layer) coincides with this solution. However, we observe that cancellation of logarithmic divergences that occurs at the first layer does not hold at higher layers and develop explicit combinatorial formulae for them.
△ Less
Submitted 3 January, 2019;
originally announced January 2019.
-
Non-equilibrium fluctuations for the SSEP with a slow bond
Authors:
Dirk Erhard,
Tertuliano Franco,
Patrícia Gonçalves,
Adriana Neumann,
Mariana Tavares
Abstract:
We prove the non-equilibrium fluctuations for the one-dimensional symmetric simple exclusion process with a slow bond. This generalizes a result of T. Franco, A. Neumann and P. Gonçalves (2013), which dealt with the equilibrium fluctuations. The foundation stone of our proof is a precise estimate on the correlations of the system, and that is by itself one of the main novelties of this paper. To o…
▽ More
We prove the non-equilibrium fluctuations for the one-dimensional symmetric simple exclusion process with a slow bond. This generalizes a result of T. Franco, A. Neumann and P. Gonçalves (2013), which dealt with the equilibrium fluctuations. The foundation stone of our proof is a precise estimate on the correlations of the system, and that is by itself one of the main novelties of this paper. To obtain these estimates, we first deduce a spatially discrete PDE for the covariance function and we relate it to the local times of a random walk in a non-homogeneous environment via Duhamel's principle. Projection techniques and coupling arguments reduce the analysis to the problem of studying the local times of the classical random walk. We think that the method developed here can be applied to a variety of models, and we provide a discussion on this matter.
△ Less
Submitted 12 September, 2018;
originally announced September 2018.
-
Discretisation of regularity structures
Authors:
Dirk Erhard,
Martin Hairer
Abstract:
We introduce a general framework allowing to apply the theory of regularity structures to discretisations of stochastic PDEs. The approach pursued in this article is that we do not focus on any one specific discretisation procedure. Instead, we assume that we are given a scale $\varepsilon > 0$ and a "black box" describing the behaviour of our discretised objects at scales below $\varepsilon $.
We introduce a general framework allowing to apply the theory of regularity structures to discretisations of stochastic PDEs. The approach pursued in this article is that we do not focus on any one specific discretisation procedure. Instead, we assume that we are given a scale $\varepsilon > 0$ and a "black box" describing the behaviour of our discretised objects at scales below $\varepsilon $.
△ Less
Submitted 12 April, 2024; v1 submitted 8 May, 2017;
originally announced May 2017.
-
Parabolic Anderson model in a dynamic random environment: random conductances
Authors:
Dirk Erhard,
Frank den Hollander,
Gregory Maillard
Abstract:
The parabolic Anderson model is defined as the partial differential equation \partial u(x,t)/\partial t = κΔu(x,t) + ξ(x,t)u(x,t), x\in\Z^d, t\geq 0, where κ\in [0,\infty) is the diffusion constant, Δis the discrete Laplacian, and ξis a dynamic random environment that drives the equation. The initial condition u(x,0)=u_0(x), x\in\Z^d, is taken to be non-negative and bounded. The solution of the pa…
▽ More
The parabolic Anderson model is defined as the partial differential equation \partial u(x,t)/\partial t = κΔu(x,t) + ξ(x,t)u(x,t), x\in\Z^d, t\geq 0, where κ\in [0,\infty) is the diffusion constant, Δis the discrete Laplacian, and ξis a dynamic random environment that drives the equation. The initial condition u(x,0)=u_0(x), x\in\Z^d, is taken to be non-negative and bounded. The solution of the parabolic Anderson equation describes the evolution of a field of particles performing independent simple random walks with binary branching: particles jump at rate 2dκ, split into two at rate ξ\vee 0, and die at rate (-ξ) \vee 0. Our focus is on the Lyapunov exponents λ_p(κ) = \lim_{t\to\infty} \frac{1}{t} \log \E([u(0,t)]^p)^{1/p}, p \in \N, and λ_0(κ) = \lim_{t\to\infty} \frac{1}{t}\log u(0,t). We investigate what happens when κΔis replaced by Δ^\cK, where \cK = \{\mathcal{K}(x,y)\colon\,x,y\in\Z^d,\,x \sim y\} is a collection of random conductances between neighbouring sites replacing the constant conductances κin the homogeneous model. We show that the associated annealed Lyapunov exponents are given by the formula λ_p(\cK) = \sup\{λ_p(κ) \colon\,κ\in\Supp(\cK)\}, where \Supp(\cK) is the set of values taken by the \cK-field. We also show that for the associated quenched Lyapunov exponent this formula only provides a lower bound. Our proof is valid for three classes of reversible ξ, and for all \cK satisfying a certain clustering property, namely, there are arbitrarily large balls where \cK is almost constant and close to any value in \Supp(\cK). What our result says is that the Lyapunov exponents are controlled by those pockets of \cK where the conductances are close to the value that maximises the growth in the homogeneous setting.
△ Less
Submitted 21 July, 2015;
originally announced July 2015.
-
Asymptotics of the critical time in Wiener sausage percolation with a small radius
Authors:
Dirk Erhard,
Julien Poisat
Abstract:
We consider a continuum percolation model on $\R^d$, where $d\geq 4$.The occupied set is given by the union of independent Wiener sausages with radius $r$ running up to time $t$ and whoseinitial points are distributed according to a homogeneous Poisson point process.It was established in a previous work by Erhard, Martínez and Poisat~\cite{EMP13} that (1) if $r$ is small enough there is a non-triv…
▽ More
We consider a continuum percolation model on $\R^d$, where $d\geq 4$.The occupied set is given by the union of independent Wiener sausages with radius $r$ running up to time $t$ and whoseinitial points are distributed according to a homogeneous Poisson point process.It was established in a previous work by Erhard, Martínez and Poisat~\cite{EMP13} that (1) if $r$ is small enough there is a non-trivial percolation transitionin $t$ occuring at a critical time $t\_c(r)$ and (2) in the supercritical regime the unbounded cluster is unique. In this paper we investigate the asymptotic behaviour of the critical time when the radius $r$ converges to $0$. The latter does not seem to be deducible from simple scaling arguments. We prove that for $d\geq 4$, there is a positive constant $c$ such that$c^{-1}\sqrt{\log(1/r)}\leq t\_c(r)\leq c\sqrt{\log(1/r)}$ when $d=4$ and $c^{-1}r^{(4-d)/2}\leq t\_c(r) \leq c\ r^{(4-d)/2}$ when $d\geq 5$, as $r$ converges to $0$. We derive along the way moment estimates on the capacity of Wiener sausages, which may be of independent interest.
△ Less
Submitted 21 April, 2016; v1 submitted 5 March, 2015;
originally announced March 2015.
-
Transience of the vacant set for near-critical random interlacements in high dimensions
Authors:
Alexander Drewitz,
Dirk Erhard
Abstract:
The model of random interlacements is a one-parameter family $\mathcal I^u,$ $u \ge 0,$ of random subsets of $\mathbb{Z}^d,$ which locally describes the trace of simple random walk on a $d$-dimensional torus run up to time $u$ times its volume. Its complement, the so-called vacant set $\mathcal V^u$, has been shown to undergo a non-trivial percolation phase-transition in $u;$ i.e., there exists…
▽ More
The model of random interlacements is a one-parameter family $\mathcal I^u,$ $u \ge 0,$ of random subsets of $\mathbb{Z}^d,$ which locally describes the trace of simple random walk on a $d$-dimensional torus run up to time $u$ times its volume. Its complement, the so-called vacant set $\mathcal V^u$, has been shown to undergo a non-trivial percolation phase-transition in $u;$ i.e., there exists $u_*(d) \in (0, \infty)$ such that for $u \in [0, u_*(d))$ the vacant set $\mathcal V^u$ contains a unique infinite connected component $\mathcal V_\infty^u,$ while for $u > u_*(d)$ it consists of finite connected components. Sznitman \cite{SZ11,SZ11B} showed that $u_*(d) \sim \log d,$ and in this article we show the existence of $u(d) > 0$ with $\frac{u(d)}{u_*(d)} \to 1$ as $d \to \infty$ such that $\mathcal V_\infty^{u}$ is transient for all $u \in [0, u(d)).$
△ Less
Submitted 10 December, 2013;
originally announced December 2013.
-
Brownian Paths Homogeneously Distributed in Space: Percolation Phase Transition and Uniqueness of the Unbounded Cluster
Authors:
Dirk Erhard,
Julián Martínez,
Julien Poisat
Abstract:
We consider a continuum percolation model on $\R^d$, $d\geq 1$.For $t,λ\in (0,\infty)$ and $d\in\{1,2,3\}$, the occupied set is given by the union of independent Brownian paths running up to time $t$ whoseinitial points form a Poisson point process with intensity $λ\textgreater{}0$.When $d\geq 4$, the Brownian paths are replaced by Wiener sausageswith radius $r\textgreater{}0$.We establish that, f…
▽ More
We consider a continuum percolation model on $\R^d$, $d\geq 1$.For $t,λ\in (0,\infty)$ and $d\in\{1,2,3\}$, the occupied set is given by the union of independent Brownian paths running up to time $t$ whoseinitial points form a Poisson point process with intensity $λ\textgreater{}0$.When $d\geq 4$, the Brownian paths are replaced by Wiener sausageswith radius $r\textgreater{}0$.We establish that, for $d=1$ and all choices of $t$, no percolation occurs,whereas for $d\geq 2$, there is a non-trivial percolation transitionin $t$, provided $λ$ and $r$ are chosen properly.The last statement means that $λ$ has to be chosen to be strictly smaller than the critical percolation parameter for the occupied set at time zero(which is infinite when $d\in\{2,3\}$, but finite and dependent on $r$ when $d\geq 4$).We further show that for all $d\geq 2$, the unbounded cluster in the supercritical phase is unique.Along the way a finite box criterion for non-percolation in the Boolean model is extended to radius distributions with an exponential tail. This may be of independent interest.The present paper settles the basic properties of the model and should be viewed as a jumpboard for finer results.
△ Less
Submitted 29 December, 2015; v1 submitted 12 November, 2013;
originally announced November 2013.
-
The parabolic Anderson model in a dynamic random environment: space-time ergodicity for the quenched Lyapunov exponent
Authors:
Dirk Erhard,
Frank den Hollander,
Gregory Maillard
Abstract:
We continue our study of the parabolic Anderson equation $\partial u(x,t)/\partial t = κΔu(x,t) + ξ(x,t)u(x,t)$, $x\in\Z^d$, $t\geq 0$, where $κ\in [0,\infty)$ is the diffusion constant, $Δ$ is the discrete Laplacian, and $ξ$ plays the role of a \emph{dynamic random environment} that drives the equation. The initial condition $u(x,0)=u_0(x)$, $x\in\Z^d$, is taken to be non-negative and bounded. Th…
▽ More
We continue our study of the parabolic Anderson equation $\partial u(x,t)/\partial t = κΔu(x,t) + ξ(x,t)u(x,t)$, $x\in\Z^d$, $t\geq 0$, where $κ\in [0,\infty)$ is the diffusion constant, $Δ$ is the discrete Laplacian, and $ξ$ plays the role of a \emph{dynamic random environment} that drives the equation. The initial condition $u(x,0)=u_0(x)$, $x\in\Z^d$, is taken to be non-negative and bounded. The solution of the parabolic Anderson equation describes the evolution of a field of particles performing independent simple random walks with binary branching: particles jump at rate $2dκ$, split into two at rate $ξ\vee 0$, and die at rate $(-ξ) \vee 0$. We assume that $ξ$ is stationary and ergodic under translations in space and time, is not constant and satisfies $\E(|ξ(0,0)|)<\infty$, where $\E$ denotes expectation w.r.t.\ $ξ$. Our main object of interest is the quenched Lyapunov exponent $λ_0 (κ) = \lim_{t\to\infty} \frac{1}{t}\log u(0,t)$. In earlier work we showed that under certain mild space-time mixing assumptions the limit exists $ξ$-a.s., is finite and continuous on $[0,\infty)$, is globally Lipschitz on $(0,\infty)$, is not Lipschitz at 0, and satisfies $λ_0(0) = \E(ξ(0,0))$ and $λ_0(κ) > \E(ξ(0,0))$ for $κ\in (0,\infty)$.In the present paper we show that $\lim_{κ\to\infty} λ_0(κ) =\E(ξ(0,0))$ under an additional space-time mixing condition on $ξ$. This result shows that the parabolic Anderson model exhibits space-time ergodicity in the limit of large diffusivity. This fact is interesting because there are choices of $ξ$ that fulfill our assumption for which the annealed Lyapunov exponent $λ_1(κ) = \lim_{t\to\infty} \frac{1}{t}\log \E(u(0,t))$ is infinite on $[0,\infty)$, a situation that is referred to as strongly catalytic behavior.
△ Less
Submitted 11 July, 2013; v1 submitted 8 April, 2013;
originally announced April 2013.
-
The parabolic Anderson model in a dynamic random environment: basic properties of the quenched Lyapunov exponent
Authors:
Dirk Erhard,
Frank den Hollander,
Grégory Maillard
Abstract:
In this paper we study the parabolic Anderson equation \partial u(x,t)/\partial t=κΔu(x,t)+ξ(x,t)u(x,t), x\in\Z^d, t\geq 0, where the u-field and the ξ-field are \R-valued, κ\in [0,\infty) is the diffusion constant, and $Δ$ is the discrete Laplacian. The initial condition u(x,0)=u_0(x), x\in\Z^d, is taken to be non-negative and bounded. The solution of the parabolic Anderson equation describes the…
▽ More
In this paper we study the parabolic Anderson equation \partial u(x,t)/\partial t=κΔu(x,t)+ξ(x,t)u(x,t), x\in\Z^d, t\geq 0, where the u-field and the ξ-field are \R-valued, κ\in [0,\infty) is the diffusion constant, and $Δ$ is the discrete Laplacian. The initial condition u(x,0)=u_0(x), x\in\Z^d, is taken to be non-negative and bounded. The solution of the parabolic Anderson equation describes the evolution of a field of particles performing independent simple random walks with binary branching: particles jump at rate 2dκ, split into two at rate ξ\vee 0, and die at rate (-ξ)\vee 0. Our goal is to prove a number of basic properties of the solution u under assumptions on $ξ$ that are as weak as possible. Throughout the paper we assume that $ξ$ is stationary and ergodic under translations in space and time, is not constant and satisfies \E(|ξ(0,0)|)<\infty, where \E denotes expectation w.r.t. ξ. Under a mild assumption on the tails of the distribution of ξ, we show that the solution to the parabolic Anderson equation exists and is unique for all κ\in [0,\infty). Our main object of interest is the quenched Lyapunov exponent λ_0(κ)=\lim_{t\to\infty}\frac{1}{t}\log u(0,t). Under certain weak space-time mixing conditions on ξ, we show the following properties: (1)λ_0(κ) does not depend on the initial condition u_0; (2)λ_0(κ)<\infty for all κ\in [0,\infty); (3)κ\mapsto λ_0(κ) is continuous on [0,\infty) but not Lipschitz at 0. We further conjecture: (4)\lim_{κ\to\infty}[λ_p(κ)-λ_0(κ)]=0 for all p\in\N, where λ_p (κ)=\lim_{t\to\infty}\frac{1}{pt}\log\E([u(0,t)]^p) is the p-th annealed Lyapunov exponent. Finally, we prove that our weak space-time mixing conditions on ξare satisfied for several classes of interacting particle systems.
△ Less
Submitted 1 March, 2013; v1 submitted 1 August, 2012;
originally announced August 2012.