Search arXivSearch

arXiv subjects

Barbara Dembin

Publications and source records attributed to Barbara Dembin.

At least 19 recordsLinked to original sources

Sharpness for monotone absorbing Interacting Particle Systems

We prove a sharpness result for the dynamics of finite-range Interacting Particle Systems (IPS) on $\{0,1\}^{\Z^d}$, which generalizes to a whole class of IPS the sharpness result for the phase transition of the contact process obtained by Bezuidenhout and Grimmett~\cite{BezuidenhoutGrimmett1991}. More precisely, starting from an IPS that is monotone, ergodic, and which admits the all-zero configuration as an absorbing state, we prove that there exists an arbitrarily small perturbation of the dynamics which leads to an \emph{exponentially} ergodic IPS. This also extends the sharpness result previously established for (discrete-time) probabilistic cellular automata in \cite{Har} to the continuous-time setting of IPS.

math.PR

Noise sensitivity and variance lower bound for minimal left-right crossing of a square in first-passage percolation

We study first-passage percolation on $\mathbb Z ^2$ with independent and identically distributed weights, whose common distribution is uniform on $\{a,b\}$ with $0<a<b<\infty $. Following Ahlberg and De la Riva, we consider the passage time $\tau (n,k)$ of the minimal left-right crossing of the square $[0,n]^2$, whose vertical fluctuations are bounded by $k$. We prove that when $k\le n^{1/2-\epsilon}$, the event that $\tau (n,k)$ is larger than its median is noise sensitive. This improves the main result of Ahlberg and De la Riva which holds when $k\le n^{1/22-\epsilon }$. Under the additional assumption that the limit shape is not a polygon with a small number of sides, we extend the result to all $k\le n^{1-\epsilon }$. This extension follows unconditionally when $a$ and $b$ are sufficiently close. Under a stronger curvature assumption, we extend the result to all $k\le n$. This in particular captures the noise sensitivity of the event that the minimal left-right crossing $T_n=\tau (n,n)$ is larger than its median. Finally, under the curvature assumption, our methods give a lower bound of $n^{1/4-\epsilon }$ for the variance of the passage time $T_n$ of the minimal left-right crossing of the square. We prove the last bound also for absolutely continuous weight distributions, generalizing a result of Damron--Houdr\'e--\"Ozdemir, which holds only for the exponential distribution. Our approach differs from the previous works mentioned above; the key idea is to establish a small ball probability estimate in the tail by perturbing the weights for tail events using a Mermin--Wagner type estimate.

math.PR

Minimal surfaces in strongly correlated random environments

A minimal surface in a random environment (MSRE) is a $d$-dimensional surface in $(d+n)$-dimensional space which minimizes the sum of its elastic energy and its environment potential energy, subject to prescribed boundary values. Apart from their intrinsic interest, such surfaces are further motivated by connections with disordered spin systems and first-passage percolation models. In this work, we consider the case of strongly correlated environments, realized by the model of harmonic MSRE in a fractional Brownian environment of Hurst parameter $H\in(0,1)$. This includes the case of Brownian environment ($H=1/2$ and $n=1$), which is commonly used to approximate the domain walls of the $(d+1)$-dimensional random-field Ising model. We prove that surfaces of dimension $d\in\{1,2,3\}$ delocalize with power-law fluctuations, and determine their precise transversal and minimal energy fluctuation exponents, as well as the stretched exponential exponents governing the tail decay of their distributions. These exponents are found to be the same in all codimensions $n$, depending only on $d$ and $H$. The transversal and minimal energy fluctuation exponents are specified by two scaling relations. We further show that surfaces of dimension $d=4$ delocalize with sub-power-law fluctuations, with their height and minimal energy fluctuations tied by a scaling relation. Lastly, we prove that surfaces of dimensions $d\ge 5$ localize. These results put several predictions from the physics literature on mathematically rigorous ground.

math.PR

High-intensity Voronoi percolation on manifolds

We study Voronoi percolation on a large class of $d$-dimensional Riemannian manifolds, which includes the hyperbolic spaces $\mathbb{H}^d$, $d\geq 2$. We prove that as the intensity $\lambda$ of the underlying Poisson point process tends to infinity, both critical parameters $p_c(M,\lambda)$ and $p_u(M,\lambda)$ converge to the Euclidean critical parameter $p_c(\mathbb{R}^d)$. This extends a recent result of Hansen & M\"uller in the special case $M=\mathbb{H}^2$ to a general class of manifolds of arbitrary dimension. A crucial step in our proof, which may be of independent interest, is to show that if $M$ is simply connected and one-ended, then embedded graphs induced by a general class of tessellations on $M$ have connected minimal cutsets. In particular, this result applies to $\varepsilon$-nets, allowing us to implement a "fine-graining" argument.

math.PR

Minimal surfaces in random environment

A minimal surface in a random environment (MSRE) is a surface which minimizes the sum of its elastic energy and its environment potential energy, subject to prescribed boundary conditions. Apart from their intrinsic interest, such surfaces are further motivated by connections with disordered spin systems and first-passage percolation models. We wish to study the geometry of $d$-dimensional minimal surfaces in a $(d+n)$-dimensional random environment. Specializing to a model that we term harmonic MSRE, in an ``independent'' random environment, we rigorously establish bounds on the geometric and energetic fluctuations of the minimal surface, as well as versions of the scaling relation $\chi=2\xi+d-2$ that ties together these two types of fluctuations. In particular, we prove, for all values of $n$, that the surfaces are delocalized in dimensions $d\le 4$ and localized in dimensions $d\ge 5$. Moreover, the surface delocalizes with power-law fluctuations when $d\le 3$ and sub-power-law fluctuations when $d=4$. Our localization results apply also to harmonic minimal surfaces in a periodic random environment.

math-ph

Supercritical sharpness for Voronoi percolation

We prove that the supercritical phase of Voronoi percolation on $\mathbb{R}^d$, $d\geq 3$, is well behaved in the sense that for every $p>p_c(d)$ local uniqueness of macroscopic clusters happens with high probability. As a consequence, truncated connection probabilities decay exponentially fast and percolation happens on sufficiently thick 2D slabs. This is the analogue of the celebrated result of Grimmett & Marstrand for Bernoulli percolation and serves as the starting point for renormalization techniques used to study several fine properties of the supercritical phase.

math.PR

On the influence of edges in first-passage percolation on $\mathbb{Z}^d$

We study first-passage percolation on $\mathbb Z^d$, $d\ge 2$, with independent weights whose common distribution is compactly supported in $(0,\infty)$ with a uniformly-positive density. Given $\epsilon>0$ and $v\in\mathbb Z^d$, which edges have probability at least $\epsilon$ to lie on the geodesic between the origin and $v$? It is expected that all such edges lie at distance at most some $r(\epsilon)$ from either the origin or $v$, but this remains open in dimensions $d\ge 3$. We establish the closely-related fact that the number of such edges is at most some $C(\epsilon)$, uniformly in $v$. In addition, we prove a quantitative bound, allowing $\epsilon$ to tend to zero as $\|v\|$ tends to infinity, showing that there are at most $O\big(\epsilon^{-\frac{2d}{d-1}}(\log \|v\|)^C\big)$ such edges, uniformly in $\epsilon$ and $v$. The latter result addresses a problem raised by Benjamin-Kalai-Schramm (2003). Our technique further yields a strengthened version of a lower bound on transversal fluctuations due to Licea-Newman-Piza (1996).

math.PR

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

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

math.PR

Subcritical sharpness for multiscale Boolean percolation

We consider a multiscale Boolean percolation on $\mathbb R^d$ with radius distribution $\mu$ on $[1,+\infty)$, $d\ge 2$. The model is defined by superposing the original Boolean percolation model with radius distribution $\mu$ with a countable number of scaled independent copies. The $n$-th copy is a Boolean percolation with radius distribution $\mu|_{[1,\kappa]}$ rescaled by $\kappa^{n}$. We prove that under some regularity assumption on $\mu$, the subcritical phase of the multiscale model is sharp for $\kappa $ large enough. Moreover, we prove that the existence of an unbounded connected component depends only on the fractal part (and not of the balls with radius larger than $1$).

math.PR

On the upper tail large deviation rate function for chemical distance in supercritical percolation

We consider the supercritical bond percolation on $\mathbb Z^d$ and study the graph distance on the percolation graph called the chemical distance. It is well-known that there exists a deterministic constant $\mu(x)$ such that the chemical distance $\mathcal D(0,nx)$ between two connected points $0$ and $nx$ grows like $n\mu(x)$. Garet and Marchand (Ann. Prob., 2007) proved that the probability of the upper tail large deviation event $\left\{n\mu(x)(1+\varepsilon)<\mathcal D(0,nx)<\infty\right\} $ decays exponentially with respect to $n$. In this paper, we prove the existence of the rate function for upper tail large deviation when $d\ge 3$ and $\varepsilon>0$ is small enough. Moreover, we show that for any $\varepsilon>0$, the upper tail large deviation event is created by space-time cut-points (points that all paths from $0$ to $nx$ must cross after a given time) that force the geodesics to consume more time by going in a non-optimal direction or by wiggling considerably. This enables us to express the rate function in regards to space-time cut-points.

math.PR

Almost sharp sharpness for Poisson Boolean percolation

We consider Poisson Boolean percolation on $\mathbb R^d$ with power-law distribution on the radius with a finite $d$-moment for $d\ge 2$. We prove that subcritical sharpness occurs for all but a countable number of power-law distributions. This extends the results of Duminil-Copin--Raoufi--Tassion where subcritical sharpness is proved under the assumption that the radii distribution has a $5d-3$ finite moment. Our proofs techniques are different from their paper: we do not use randomized algorithm and rely on specific independence properties of Boolean percolation, inherited from the underlying Poisson process. We also prove supercritical sharpness for any distribution with a finite $d$-moment and the continuity of the critical parameter for the truncated distribution when the truncation goes to infinity.

math.PR

Coalescence of geodesics and the BKS midpoint problem in planar first-passage percolation

We consider first-passage percolation on $\mathbb Z^2$ with independent and identically distributed weights whose common distribution is absolutely continuous with a finite exponential moment. Under the assumption that the limit shape has more than 32 extreme points, we prove that geodesics with nearby starting and ending points have significant overlap, coalescing on all but small portions near their endpoints. The statement is quantified, with power-law dependence of the involved quantities on the length of the geodesics. The result leads to a quantitative resolution of the Benjamini--Kalai--Schramm midpoint problem. It is shown that the probability that the geodesic between two given points passes through a given edge is smaller than a power of the distance between the points and the edge. We further prove that the limit shape assumption is satisfied for a specific family of distributions. Lastly, related to the 1965 Hammersley--Welsh highways and byways problem, we prove that the expected fraction of the square $\{-n,\dots ,n\}^2$ which is covered by infinite geodesics starting at the origin is at most an inverse power of $n$. This result is obtained without explicit limit shape assumptions.

math.PR

The variance of the graph distance in the infinite cluster of percolation is sublinear

We consider the standard model of i.i.d. bond percolation on $\mathbb Z^d$ of parameter $p$. When $p>p_c$, there exists almost surely a unique infinite cluster $\mathcal C_p$. Using the recent techniques of Cerf and Dembin, we prove that the variance of the graph distance in $\mathcal C_p$ between two points of $\mathcal C_p$ is sublinear. The main result extends the works of Benjamini, Kalai and Schramm, Benaim and Rossignol and Damron, Hanson and Sosoe for the study of the variance of passage times in first passage percolation without moment conditions on the edge-weight distribution.

math.PR

Large deviation principle for the cutsets and lower large deviation principle for the maximal flow in first passage percolation

We consider the standard first passage percolation model in the rescaled lattice $\mathbb Z^d/n$ for $d\geq 2$ and a bounded domain $\Omega$ in $\mathbb R^d$. We denote by $\Gamma^1$ and $\Gamma^2$ two disjoint subsets of $\partial \Omega$ representing respectively the sources and the sinks, \textit{i.e.}, where the water can enter in $\Omega$ and escape from $\Omega$. A cutset is a set of edges that separates $\Gamma ^1$ from $\Gamma^2$ in $\Omega$, it has a capacity given by the sum of the capacities of its edges. Under some assumptions on $\Omega$ and the distribution of the capacities of the edges, we already know a law of large numbers for the sequence of minimal cutsets $(\mathcal E_n^{min})_{n\geq 1}$: the sequence $(\mathcal E_n^{min})_{n\geq 1}$ converges almost surely to the set of solutions of a continuous deterministic problem of minimal cutset in an anisotropic network. We aim here to derive a large deviation principle for cutsets and deduce by contraction principle a lower large deviation principle for the maximal flow in $\Omega$.

math.PR

The time constant for Bernoulli percolation is Lipschitz continuous strictly above $p_c$

We consider the standard model of i.i.d. first passage percolation on $\mathbb{Z}^d$ given a distribution $G$ on $[0,+\infty]$ ($+\infty$ is allowed). When $G([0,+\infty]) < p_c(d)$, it is known that the time constant $\mu_G$ exists. We are interested in the regularity properties of the map $G\mapsto\mu_G$. We first study the specific case of distributions of the form $G_p=p\delta_1+(1-p)\delta_\infty$ for $p>p_c(d)$. In this case, the travel time between two points is equal to the length of the shortest path between the two points in a bond percolation of parameter $p$. We show that the function $p\mapsto \mu_{G_p}$ is Lipschitz continuous on every interval $[p_0,1]$, where $p_0>p_c(d)$.

math.PR

Large deviation principle for the streams and the maximal flow in first passage percolation

We consider the standard first passage percolation model in the rescaled lattice $\mathbb{Z}^d$ for $d\geq 2$ and a bounded domain $\Omega$ in $\mathbb R ^d$. We denote by $\Gamma^1$ and $\Gamma^2$ two disjoint subsets of $\partial \Omega$ representing respectively the source and the sink, i.e., where the water can enter in $\Omega$ and escape from $\Omega$. A maximal stream is a vector measure $\overrightarrow{\mu}_n^{max}$ that describes how the maximal amount of fluid can enter through $\Gamma^1$ and spreads in $\Omega$. Under some assumptions on $\Omega$ and $G$, we already know a law of large number for $\overrightarrow{\mu}_n^{max}$. The sequence $(\overrightarrow{\mu}_n^{max})_{n\geq 1} $ converges almost surely to the set of solutions of a continuous deterministic problem of maximal stream in an anisotropic network. We aim here to derive a large deviation principle for streams and deduce by contraction principle the existence of a rate function for the upper large deviations of the maximal flow in $\Omega$.

math.PR

Vanishing of the anchored isoperimetric profile in bond percolation at p c

We consider the anchored isoperimetric profile of the infinite open cluster, defined for $p > p\_c$, whose existence has been recently proved in [3]. We extend adequately the definition for $p = p\_c$, in finite boxes. We prove a partial result which implies that, if the limit defining the anchored isoperimetric profile at $p\_c$ exists, it has to vanish.

math.PR

Anchored isoperimetric profile of the infinite cluster in supercritical bond percolation is Lipschitz continuous

We consider an i.i.d. supercritical bond percolation on $\mathbb{Z}^d$, every edge is open with a probability $p > p_c (d)$, where $p_c (d)$ denotes the critical parameter for this percolation. We know that there exists almost surely a unique infinite open cluster $C_p$ [7]. We are interested in the regularity properties in p of the anchored isoperimetric profile of the infinite cluster $C_p$. For $d\ge2$, we prove that the anchored isoperimetric profile defined in [4] is Lipschitz continuous on all intervals $[p_0 , p_1 ] \subset (p_c (d), 1)$.

math.PR