We initiate the study on chemical distances of percolation clusters for level sets of two-dimensional discrete Gaussian free fields as well as loop clusters generated by two-dimensional random walk loop soups. One of our results states that the chemical distance between two macroscopic annuli away from the boundary for the random walk loop soup at the critical intensity is of dimension 1 with positive probability. Our proof method is based on an interesting combination of a theorem of Makarov, isomorphism theory and an entropic repulsion estimate for Gaussian free fields in the presence of a hard wall.
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 consider the random walk loop soup on the discrete half-plane corresponding to a central charge c in (0, 1]. We look at the clusters of discrete loops and show that the scaling limit of the outer boundaries of outermost clusters is the CLE(kappa) loop ensemble, with the same relation between kappa and c as in the continuum Brownian setting.
Lupu introduced a coupling between a random walk loop-soup and a Gaussian free field, where the sign of the field is constant on each cluster of loops. This coupling is a signed version of isomorphism theorems relating the square of the GFF to the occupation field of Markovian trajectories. His construction starts with a loop-soup, and by adding additional randomness samples a GFF out of it. In this article we provide the inverse construction: starting from a signed free field and using a self-interacting random walk related to this field, we construct a random walk loop-soup. Our construction…
Scaling Limit of Critical Loop Soup Clusters in Three, Four, and Five Dimensions
Faculty of Mathematics and Computer Science, Weizmann Institute of Science（魏茨曼科学研究所数学与计算机科学系）；New Cornerstone Science Laboratory, School of Mathematical Sciences, Peking University（北京大学数学科学学院新基石科学实验室）
This article deals with limit theorems for certain loop variables for loop soups whose intensity approaches infinity. We first consider random walk loop soups on finite graphs and obtain a central limit theorem when the loop variable is the sum over all loops of the integral of each loop against a given one-form on the graph. An extension of this result to the noncommutative case of loop holonomies is also discussed. As an application of the first result, we derive a central limit theorem for windings of loops around the faces of a planar graphs. More precisely, we show that the winding field …
We consider the simple random walk on supercritical percolation clusters in the multidimensional cubic lattice. In this model, a quenched large deviation principle holds for the position of the random walk. Its rate function depends on the law of the percolation configuration, and the aim of this paper is to study the continuity of the rate function in the law. To do this, it is useful that the rate function is expressed by the so-called Lyapunov exponent, which is the asymptotic cost paid by the random walk for traveling in a landscape of percolation configurations. In this context, we first …
It is shown that oriented random walk on the Heisenberg group admits exponential intersection tail. As a corollary we get that on any transitive graph of polynomial volume growth, which is not a finite extension of $\mathbb{Z}, \mathbb{Z}^2$, the infinite cluster of percolation with retention parameter $p$, close enough to $1$, is transient.
We consider random walks on the infinite cluster of a conditional bond percolation model on the infinite ladder graph. In a companion paper, we have shown that if the random walk is pulled to the right by a positive bias $λ> 0$, then its asymptotic linear speed $\overline{\mathrm{v}}$ is continuous in the variable $λ> 0$ and differentiable for all sufficiently small $λ> 0$. In the paper at hand, we complement this result by proving that $\overline{\mathrm{v}}$ is differentiable at $λ= 0$. Further, we show the Einstein relation for the model, i.e., that the derivative of the speed at $λ= 0$ equ…
We study biased random walk on the infinite connected component of supercritical percolation on the integer lattice $\mathbb{Z}^d$ for $d\geq 2$. For this model, Fribergh and Hammond showed the existence of an exponent $γ$ such that: for $γ<1$, the random walk is sub-ballistic (i.e. has zero velocity asymptotically), with polynomial escape rate described by $γ$; whereas for $γ>1$, the random walk is ballistic, with non-zero speed in the direction of the bias. They moreover established, under the usual diffusive scaling about the mean distance travelled by the random walk in the direction of th…
We consider a directed random walk on the backbone of the supercritical oriented percolation cluster in dimensions $d+1$ with $d \ge 3$ being the spatial dimension. For this random walk we prove an annealed local central limit theorem and a quenched local limit theorem. The latter shows that the quenched transition probabilities of the random walk converge to the annealed transition probabilities reweighted by a function of the medium centred at the target site. This function is the density of the unique measure which is invariant for the point of view of the particle, is absolutely continuous…
We consider the model of random walk on dynamical percolation introduced by Peres, Stauffer and Steif (2015). We obtain comparison results for this model for hitting and mixing times and for the spectral-gap and log-Sobolev constant with the corresponding quantities for simple random walk on the underlying graph $G$, for general graphs. When $G$ is the torus $\mathbb{Z}_n^d$, we recover the results of Peres et al. and we also extend them to the critical case. We also obtain bounds in the cases where $G$ is a transitive graph of moderate growth and also when it is the hypercube.
We consider the backbone of the infinite cluster generated by supercritical oriented site percolation in dimension 1 +1. A directed random walk on this backbone can be seen as an "ancestral line" of an individual sampled in the stationary discrete-time contact process. Such ancestral lineages were investigated in [BCDG13] where a central limit theorem for a single walker was proved. Here, we consider infinitely many coalescing walkers on the same backbone starting at each space-time point. We show that, after diffusive rescaling, the collection of paths converges in distribution to the Brownia…
We study spin systems defined by the winding of a random walk loop soup. For a particular choice of loop soup intensity, we show that the corresponding spin system is reflection-positive and is dual, in the Kramers-Wannier sense, to the spin system $\text{sgn}(φ)$ where $φ$ is a discrete Gaussian free field. In general, we show that the spin correlation functions have conformally covariant scaling limits corresponding to the one-parameter family of functions studied by Camia, Gandolfi and Kleban (Nuclear Physics B, 902, 2016) and defined in terms of the winding of the Brownian loop soup. These…
