Consider ordinary bond percolation on a finite or countably infinite graph. Let s, t, a and b be vertices. An earlier paper proved the (nonintuitive) result that, conditioned on the event that there is no open path from s to t, the two events "there is an open path from s to a" and "there is an open path from s to b" are positively correlated. In the present paper we further investigate and generalize the theorem of which this result was a consequence. This leads to results saying, informally, that, with the above conditioning, the open cluster of s is conditionally positively (self-)associated and that it is conditionally negatively correlated with the open cluster of t.
We also present analogues of some of our results for (a) random-cluster measures, and (b) directed percolation and contact processes, and observe that the latter lead to improvements of some of the results in a paper of Belitsky, Ferrari, Konno and Liggett (1997).
We use isoperimetric inequalities combined with a new technique to prove upper bounds for the site percolation threshold of plane graphs with given minimum degree conditions. In the process we prove tight new isoperimetric bounds for certain classes of hyperbolic graphs. This establishes the vertex isoperimetric constant for all triangular and square hyperbolic lattices, answering a question of Lyons and Peres. We prove that plane graphs of minimum degree at least $7$ have site percolation threshold bounded away from $1/2$, which was conjectured by Benjamini and Schramm, and make progress on a…
We provide a new exponential concentration inequality for First Passage Percolation valid for a wide class of edge times distributions. This improves and extends a result by Benjamini, Kalai and Schramm which gave a variance bound for Bernoulli edge times. Our approach is based on some functional inequalities extending the work of Rossignol and Falik and Samorodnitsky.
We prove decoupling inequalities for the Gaussian free field on $\mathbb{Z}^d$, $d\geq 3$. As an application, we obtain exponential decay (with logarithmic correction for $d=3$) of the connectivity function of excursion sets for large values of the threshold.
Consider a uniform expanders family G_n with a uniform bound on the degrees. It is shown that for any p and c>0, a random subgraph of G_n obtained by retaining each edge, randomly and independently, with probability p, will have at most one cluster of size at least c|G_n|, with probability going to one, uniformly in p. The method from Ajtai, Komlos and Szemeredi [Combinatorica 2 (1982) 1-7] is applied to obtain some new results about the critical probability for the emergence of a giant component in random subgraphs of finite regular expanding graphs of high girth, as well as a simple proof of…
Consider critical Bernoulli percolation in the plane. We give a new proof of the sharp noise sensitivity theorem shown by Garban, Pete and Schramm. Contrary to the previous approaches, we do not use any spectral tool. We rather study differential inequalities satisfied by a dynamical four-arm event, in the spirit of Kesten's proof of scaling relations. We also obtain new results in dynamical percolation. In particular, we prove that the Hausdorff dimension of the set of times with both primal and dual percolation equals $2/3$ a.s.
Any infinite graph has site and bond percolation critical probabilities satisfying $p_c^{site}\geq p_c^{bond}$. The strict version of this inequality holds for many, but not all, infinite graphs. In this paper, the class of graphs for which the strict inequality holds is extended to a continuum percolation model. In Gilbert's graph with supercritical density on the Euclidean plane, there is almost surely a unique infinite connected component. We show that on this component $p_c^{site} > p_c^{bond}$. This also holds in higher dimensions.
In this paper we establish some relations between percolation on a given graph G and its geometry. Our main result shows that, if G has polynomial growth and satisfies what we call the local isoperimetric inequality of dimension d > 1, then p_c(G) < 1. This gives a partial answer to a question of Benjamini and Schramm. As a consequence of this result we derive, under the additional condition of bounded degree, that these graphs also undergo a non-trivial phase transition for the Ising-Model, the Widom-Rowlinson model and the beach model. Our techniques are also applied to dependent percolation…
We consider the supercritical finite-range random connection model where the points $x,y$ of a homogeneous planar Poisson process are connected with probability $f(|y-x|)$ for a given $f$. Performing percolation on the resulting graph, we show that the critical probabilities for site and bond percolation satisfy the strict inequality $p_c^{\rm site} > p_c^{\rm bond}$. We also show that reducing the connection function $f$ strictly increases the critical Poisson intensity. Finally, we deduce that performing a spreading transformation on $f$ (thereby allowing connections over greater distances b…
We apply a variation on the methods of Duminil-Copin, Raoufi, and Tassion to establish a new differential inequality applying to both Bernoulli percolation and the Fortuin-Kasteleyn random cluster model. This differential inequality has a similar form to that derived for Bernoulli percolation by Menshikov but with the important difference that it describes the distribution of the volume of a cluster rather than of its radius. We apply this differential inequality to prove the following: The critical exponent inequalities $γ\leq δ-1$ and $Δ\leq γ+1$ hold for percolation and the random cluster m…
It has been recently understood (arXiv:1212.2885, arXiv:1310.4764, arXiv:1410.0605) that for a general class of percolation models on $\mathbb{Z}^d$ satisfying suitable decoupling inequalities, which includes i.a.\ Bernoulli percolation, random interlacements and level sets of the Gaussian free field, large scale geometry of the unique infinite cluster in strongly percolative regime is qualitatively the same; in particular, the random walk on the infinite cluster satisfies the quenched invariance principle, Gaussian heat-kernel bounds and local CLT. In this paper we consider the random walk lo…
We provide a new proof of the near-critical scaling relation $β=ξ_1ν$ for Bernoulli percolation on the square lattice already proved by Kesten in 1987. We rely on a novel approach that does not invoke Russo's formula, but rather relates differences in crossing probabilities at different scales. The argument is shorter and more robust than previous ones and is more likely to be adapted to other models. The same approach may be used to prove the other scaling relations appearing in Kesten's work.
Separated-occurrence inequalities are variants for dependent lattice models of the van den Berg-Kesten inequality for independent models. They take the form $P(A \circ_r B) \leq (1 + ce^{-εr})P(A)P(B)$, where $A \circ_r B$ is the event that $A$ and $B$ occur at separation $r$ in a configuration $ω$, that is, there exist two random sets of bonds or sites separated by at least distance $r$, one set responsible for the occurrence of the event $A$ in $ω$, the other for the occurrence of $B$. We establish such inequalities for certain subcritical FK models, and for certain Ising models which are at…
We study the percolative properties of random interlacements on the product of G with the integer line Z, when G is a weighted graph satisfying certain sub-Gaussian estimates attached to the parameters alpha > 1, measuring the volume growth on G, and beta between 2 and alpha + 1, measuring the sub-diffusive nature of the random walk on G. We develop decoupling inequalities, which are a key tool in showing that the critical level u_* for the percolation of the vacant set of random interlacements is always finite in our set-up, and that it is positive when alpha \geq 1 + beta/2. We also obtain s…
We prove that the heat kernel on the infinite Bernoulli percolation cluster in Z^d almost surely decays faster than t^{-d/2}. We also derive estimates on the mixing time for the random walk confined to a finite box. Our approach is based on local isoperimetric inequalities.
We provide a simple example showing that some conditional information inequalities (even in a weak form) cannot be derived from unconditional inequalities.
We study conditional linear information inequalities, i.e., linear inequalities for Shannon entropy that hold for distributions whose entropies meet some linear constraints. We prove that some conditional information inequalities cannot be extended to any unconditional linear inequalities. Some of these conditional inequalities hold for almost entropic points, while others do not. We also discuss some counterparts of conditional information inequalities for Kolmogorov complexity.
We show that two essentially conditional linear inequalities for Shannon's entropies (including the Zhang-Yeung'97 conditional inequality) do not hold for asymptotically entropic points. This means that these inequalities are non-robust in a very strong sense. This result raises the question of the meaning of these inequalities and the validity of their use in practice-oriented applications.
We establish several equivalent characterisations of the anchored isoperimetric dimension of supercritical clusters in Bernoulli bond percolation on transitive graphs. We deduce from these characterisations together with a theorem of Duminil-Copin, Goswami, Raoufi, Severo, and Yadin that if $G$ is a transient transitive graph then the infinite clusters of Bernoulli percolation on $G$ are transient for $p$ sufficiently close to $1$. It remains open to extend this result down to the critical probability. Along the way we establish two new cluster repulsion inequalities that are of independent in…
In 1997, Z.Zhang and R.W.Yeung found the first example of a conditional information inequality in four variables that is not "Shannon-type". This linear inequality for entropies is called conditional (or constraint) since it holds only under condition that some linear equations are satisfied for the involved entropies. Later, the same authors and other researchers discovered several unconditional information inequalities that do not follow from Shannon's inequalities for entropy. In this paper we show that some non Shannon-type conditional inequalities are "essentially" conditional, i.e., they…
In this paper, we study some properties of optimal paths in the first passage percolation on $\Z^d$ and show the followings: (1) the number of optimal paths has an exponential growth if the distribution has an atom; (2) the means of intersection and union of optimal paths are linear in the distance. For the proofs, we use the configuration--flipping argument introduced in [J. van den Berg and H. Kesten. Inequalities for the time constant in first-passage percolation. Ann. Appl. Probab. 56-80, 1993] with suitable adaptions.
We establish the undecidability of conditional affine information inequalities, the undecidability of the conditional independence implication problem with a constraint that one random variable is binary, and the undecidability of the problem of deciding whether the intersection of the entropic region and a given affine subspace is empty. This is a step towards the conjecture on the undecidability of conditional independence implication. The undecidability is proved via a reduction from the periodic tiling problem (a variant of the domino problem). Hence, one can construct examples of the afor…
We show that when percolation produces infinitely many infinite clusters on a Cayley graph, one cannot distinguish the clusters from each other by any invariantly defined property. This implies that uniqueness of the infinite cluster is equivalent to non-decay of connectivity (a.k.a. long-range order). We then derive applications concerning uniqueness in Kazhdan groups and in wreath products, and inequalities for $p_u$.
In recent years, a number of functional inequalities have been derived for Poisson random measures, with a wide range of applications. In this paper, we prove that such inequalities can be extended to the setting of marked temporal point processes, under mild assumptions on their Papangelou conditional intensity. First, we derive a Poincaré inequality. Second, we prove two transportation cost inequalities. The first one refers to functionals of marked point processes with a Papangelou conditional intensity and is new even in the setting of Poisson random measures. The second one refers to the …
In this note we prove a correlation inequality for local variables of a Gibbs field based on the connectivity by active hyperbonds in a random cluster representation of the non overlap configuration distribution of two independent copies of the field. As a consequence, we show that absence of Machta-Newman-Stein blue bonds percolation implies uniqueness of Gibbs distribution in EA Spin Glasses. In dimension two this could constitute a step towards a proof that the critical temperature is zero.
In this work we consider the two-dimensional percolation model arising from the majority dynamics process at a given time $t\in\mathbb{R}_+$. We show the emergence of a sharp threshold phenomenon for the box crossing event at the critical probability parameter $p_c(t)$ with polynomial size window. We then use this result in order to obtain stretched-exponential bounds on the one-arm event probability in the subcritical phase. Our results are based on differential inequalities derived from the OSSS inequality, inspired by the recent developments by Ahlberg, Broman, Griffiths, and Morris and by …
We show that for all p>p_c(\Z^d) percolation parameters, the probability that the cluster of the origin is finite but has at least t vertices at distance one from the infinite cluster is exponentially small in t. We use this to give a short proof of the strongest version of the important fact that the isoperimetric profile of the infinite cluster basically coincides with the profile of the original lattice. This implies, e.g., that simple random walk on the largest cluster of a finite box [-n,n]^d with high probability has L^\infty-mixing time Θ(n^2), and that the heat kernel (return probabili…
In this article, we consider random walk on the infinite cluster of bond percolation on $\Z^d (d \geq 2)$. We show that the Laplace transformation of the number of visited points $N\_n$, has a behaviour as the random walk was on $\Z^d$. More precisely, for all $0<α<1$, we proved that there exist constants $C\_i$ and $C\_s$ such that for all infinite cluster that contains the origin, we have: $$ e^{-C\_i n^{\frac{d}{d+2}}} \leq \E\_0^ω (α^{N\_n}) \leq e^{-C\_sn^{\frac{d}{d+2}}}.$$ Our approach is based on finding an isoperimetric inequalities on the infinite cluster, lifted on a wreath product …
We derive "quenched" subdiffusive lower bounds for the exit time tau(n) from a box of size n for the simple random walk on the planar invasion percolation cluster. The first part of the paper is devoted to proving an almost sure analog of H. Kesten's subdiffusivity theorem for the random walk on the incipient infinite cluster and the invasion percolation cluster using ideas of M. Aizenman, A. Burchard and A. Pisztora. The proof combines lower bounds on the instrinsic distance in these graphs and general inequalities for reversible Markov chains. In the second part of the paper, we present a sh…
We present extended versions and give detailed proofs of results concerning percolation (using various sets of two-replica bond occupation variables) in Sherrington-Kirkpatrick spin glasses (with zero external field) that were first given in an earlier paper by the same authors. We also explain how ultrametricity is manifested by the densities of large percolating clusters. Our main theorems concern the connection between these densities and the usual spin overlap distribution. Their corollaries are that the ordered spin glass phase is characterized by a unique percolating cluster of maximal d…
We consider decoupling inequalities for random variables taking values in a Banach space $X$. We restrict the class of distributions that appear as conditional distributions while decoupling and show that each adapted process can be approximated by a Haar type expansion in which only the same conditional distributions appear. Moreover, we show that in our framework a progressive enlargement of the underlying filtration does not effect the decoupling properties (e.g., the constants involved). As special case we deal with one-sided moment inequalities when decoupling dyadic (i.e., Paley-Walsh) m…
For a stochastic process with state space some Polish space, this paper gives sufficient conditions on the initial and conditional distributions for the joint law to satisfy Gaussian concentration inequalities, transportation inequalities and also logarithmic Sobolev inequalities in the case of the Euclidean space. In several cases, the obtained constants are of optimal order of growth with respect to the number of variables, or are independent of this number. These results extend results known for mutually independent variables to weakly dependent variables under Dobrushin-Shlosman type condi…
We derive an estimate for the distance, measured in lattice spacings, inside two-dimensional critical percolation clusters from the origin to the boundary of the box of side length $2n$, conditioned on the existence of an open connection. The estimate we obtain is the radial analogue of the one found in the work of Damron, Hanson, and Sosoe. In the present case, however, there is no lowest crossing in the box to compare to, so we construct a path $γ$ from the origin to distance $n$ that consists of "three-arm" points, and whose volume can thus be estimated by $O(n^2π_3(n))$. Here, $π_3(n)$ is …
Heuristics indicate that point processes exhibiting clustering of points have larger critical radius $r_c$ for the percolation of their continuum percolation models than spatially homogeneous point processes. It has already been shown, and we reaffirm it in this paper, that the $dcx$ ordering of point processes is suitable to compare their clustering tendencies. Hence, it was tempting to conjecture that $r_c$ is increasing in $dcx$ order. Some numerical evidences support this conjecture for a special class of point processes, called perturbed lattices, which are "toy models" for determinantal …
Position $n$ points uniformly at random in the unit square $S$, and consider the Voronoi tessellation of $S$ corresponding to the set $η$ of points. Toss a fair coin for each cell in the tessellation to determine whether to colour the cell red or blue. Let $H_S$ denote the event that there exists a red horizontal crossing of $S$ in the resulting colouring. In 1999, Benjamini, Kalai and Schramm conjectured that knowing the tessellation, but not the colouring, asymptotically gives no information as to whether the event $H_S$ will occur or not. More precisely, since $H_S$ occurs with probability …
Self-normalized processes arise naturally in statistical applications. Being unit free, they are not affected by scale changes. Moreover, self-normalization often eliminates or weakens moment assumptions. In this paper we present several exponential and moment inequalities, particularly those related to laws of the iterated logarithm, for self-normalized random variables including martingales. Tail probability bounds are also derived. For random variables B_t>0 and A_t, let Y_t(λ)=\exp{λA_t-λ^2B_t^2/2}. We develop inequalities for the moments of A_t/B_{t} or sup_{t\geq 0}A_t/{B_t(\log \log B_{…
Inequalities between transportation costs and Fisher information are known to characterize certain concentration properties of Markov processes around their invariant measures. This note provides a new characterization of the quadratic transportation-information inequality $W_2I$ in terms of a dimension-free concentration property for i.i.d. (conditionally on the initial positions) copies of the underlying Markov process. This parallels Gozlan's characterization of the quadratic transportation-entropy inequality $W_2H$. The proof is based on a new Laplace-type principle for the operator norms …
Various topics in stochastic processes have been considered in the abstract setting of Riesz spaces, for example martingales, martingale convergence, ergodic theory, AMARTS, Markov processes and mixingales. Here we continue the relaxation of conditional independence begun in the study of mixingales and study mixing processes. The two mixing coefficients which will be considered are the $α$ (strong) and $φ$ (uniform) mixing coefficients. We conclude with mixing inequalities for these types of processes. In order to facilitate this development, the study of generalized $L^1$ and $L^\infty$ space…
