-
Nonamenable Poisson zoo
Authors:
Gábor Pete,
Sándor Rokob
Abstract:
In the Poisson zoo on an infinite Cayley graph $G$, we take a probability measure $ν$ on rooted finite connected subsets, called lattice animals, and place i.i.d. Poisson($λ$) copies of them at each vertex. If the expected volume of the animals w.r.t. $ν$ is infinite, then the whole $G$ is covered for any $λ>0$. If the second moment of the volume is finite, then it is easy to see that for small en…
▽ More
In the Poisson zoo on an infinite Cayley graph $G$, we take a probability measure $ν$ on rooted finite connected subsets, called lattice animals, and place i.i.d. Poisson($λ$) copies of them at each vertex. If the expected volume of the animals w.r.t. $ν$ is infinite, then the whole $G$ is covered for any $λ>0$. If the second moment of the volume is finite, then it is easy to see that for small enough $λ$ the union of the animals has only finite clusters, while for $λ$ large enough there are also infinite clusters. Here we show that:
1. If $G$ is a nonamenable free product, then for ANY $ν$ with infinite second but finite first moment and any $λ>0$, there will be infinite clusters, despite having arbitrarily low density.
2. The same result holds for ANY nonamenable $G$, when the lattice animals are worms: random walk pieces of random finite length.
It remains open if the result holds for ANY nonamenable Cayley graph with ANY lattice animal measure $ν$ with infinite second moment.
3. We also give a Poisson zoo example $ν$ on $\mathbb{T}_d \times \mathbb{Z}^5$ with finite first moment and a UNIQUE infinite cluster for any $λ>0$.
△ Less
Submitted 11 May, 2025;
originally announced May 2025.
-
Sparse reconstruction in spin systems II: Ising and other factor of IID measures
Authors:
Pál Galicza,
Gábor Pete
Abstract:
For a sequence of Boolean functions $f_n : \{-1, 1\}^{V_n} \longrightarrow \{-1, 1\}$, with random input given by some probability measure $\mathbb{P}_n$, we say that there is sparse reconstruction for $f_n$ if there is a sequence of subsets $U_n \subseteq V_n$ of coordinates satisfying $|U_n| = o(|V_n|)$ such that knowing the spins in $U_n$ gives us a non-vanishing amount of information about the…
▽ More
For a sequence of Boolean functions $f_n : \{-1, 1\}^{V_n} \longrightarrow \{-1, 1\}$, with random input given by some probability measure $\mathbb{P}_n$, we say that there is sparse reconstruction for $f_n$ if there is a sequence of subsets $U_n \subseteq V_n$ of coordinates satisfying $|U_n| = o(|V_n|)$ such that knowing the spins in $U_n$ gives us a non-vanishing amount of information about the value of $f_n$.
In the first part of this work, we showed that if the $\mathbb{P}_n$s are product measures, then no sparse reconstruction is possible for any sequence of transitive functions. In this sequel, we consider spin systems that are relatives of IID measures in one way or another, with our main focus being on the Ising model on finite transitive graphs or exhaustions of lattices. We prove that no sparse reconstruction is possible for the entire high temperature regime on Euclidean boxes and the Curie-Weiss model, while sparse reconstruction for the majority function of the spins is possible in the critical and low temperature regimes. We give quantitative bounds for two-dimensional boxes and the Curie-Weiss model, sharp in the latter case.
The proofs employ several different methods, including factor of IID and FK random cluster representations, strong spatial mixing, a generalization of discrete Fourier analysis to Divide-and-Color models, and entropy inequalities.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Structural results for the Tree Builder Random Walk
Authors:
Janos Engländer,
Giulio Iacobelli,
Gábor Pete,
Rodrigo Ribeiro
Abstract:
We study the Tree Builder Random Walk: a randomly growing tree, built by a walker as she is walking around the tree. Namely, at each time $n$, she adds a leaf to her current vertex with probability $p_n \asymp n^{-γ}$, $γ\in (2/3,1]$, then moves to a uniform random neighbor on the possibly modified tree. We show that the tree process at its growth times, after a random finite number of steps, can…
▽ More
We study the Tree Builder Random Walk: a randomly growing tree, built by a walker as she is walking around the tree. Namely, at each time $n$, she adds a leaf to her current vertex with probability $p_n \asymp n^{-γ}$, $γ\in (2/3,1]$, then moves to a uniform random neighbor on the possibly modified tree. We show that the tree process at its growth times, after a random finite number of steps, can be coupled to be identical to the Barabási-Albert preferential attachment tree model.
Thus, our TBRW-model is a local dynamics giving rise to the BA-model. The coupling also implies that many properties known for the BA-model, such as diameter and degree distribution, can be directly transferred to our TBRW-model, extending previous results.
△ Less
Submitted 6 December, 2024; v1 submitted 30 November, 2023;
originally announced November 2023.
-
Physical networks as network-of-networks
Authors:
Gábor Pete,
Ádám Timár,
Sigurdur Örn Stefánsson,
Ivan Bonamassa,
Márton Pósfai
Abstract:
Physical networks are made of nodes and links that are physical objects embedded in a geometric space. Understanding how the mutual volume exclusion between these elements affects the structure and function of physical networks calls for a suitable generalization of network theory. Here, we introduce a network-of-networks framework where we describe the shape of each extended physical node as a ne…
▽ More
Physical networks are made of nodes and links that are physical objects embedded in a geometric space. Understanding how the mutual volume exclusion between these elements affects the structure and function of physical networks calls for a suitable generalization of network theory. Here, we introduce a network-of-networks framework where we describe the shape of each extended physical node as a network embedded in space and these networks are bound together by physical links. Relying on this representation, we introduce a minimal model of network growth and we show for a general class of physical networks that volume exclusion induces heterogeneity in both node volume and degree, with the two becoming correlated. These emergent properties strongly affect the dynamics on physical networks: by calculating their Laplacian spectrum as a function of the coupling strength between the nodes we show that degree-volume correlations suppress the role of hubs as early spreaders in diffusive dynamics. We apply the network-of-networks framework to describe several real systems and find properties analog to the minimal model networks. The prevalence of these properties points towards general growth mechanisms that do not depend on the specifics of the systems.
△ Less
Submitted 13 June, 2024; v1 submitted 2 June, 2023;
originally announced June 2023.
-
Stake-governed tug-of-war and the biased infinity Laplacian
Authors:
Yujie Fu,
Alan Hammond,
Gábor Pete
Abstract:
In tug-of-war, two players compete by moving a counter along edges of a graph, each winning the right to move at a given turn according to the flip of a possibly biased coin. The game ends when the counter reaches the boundary, a fixed subset of the vertices, at which point one player pays the other an amount determined by the boundary vertex. Economists and mathematicians have independently studi…
▽ More
In tug-of-war, two players compete by moving a counter along edges of a graph, each winning the right to move at a given turn according to the flip of a possibly biased coin. The game ends when the counter reaches the boundary, a fixed subset of the vertices, at which point one player pays the other an amount determined by the boundary vertex. Economists and mathematicians have independently studied tug-of-war for many years, focussing respectively on resource-allocation forms of the game, in which players iteratively spend precious budgets in an effort to influence the bias of the coins that determine the turn victors; and on PDE arising in fine mesh limits of the constant-bias game in a Euclidean setting.
In this article, we offer a mathematical treatment of a class of tug-of-war games with allocated budgets: each player is initially given a fixed budget which she draws on throughout the game to offer a stake at the start of each turn, and her probability of winning the turn is the ratio of her stake and the sum of the two stakes. We consider the game played on a tree, with boundary being the set of leaves, and the payment function being the indicator of a single distinguished leaf. We find the game value and the essentially unique Nash equilibrium of a leisurely version of the game, in which the move at any given turn is cancelled with constant probability after stakes have been placed. We show that the ratio of the players' remaining budgets is maintained at its initial value $λ$; game value is a biased infinity harmonic function; and the proportion of remaining budget that players stake at a given turn is given in terms of the spatial gradient and the $λ$-derivative of game value. We also indicate examples in which the solution takes a different form in the non-leisurely game.
△ Less
Submitted 21 August, 2024; v1 submitted 16 June, 2022;
originally announced June 2022.
-
Finite-energy infinite clusters without anchored expansion
Authors:
Gábor Pete,
Ádám Timár
Abstract:
Hermon and Hutchcroft have recently proved the long-standing conjecture that in Bernoulli(p) bond percolation on any nonamenable transitive graph G, at any p > p_c(G), the probability that the cluster of the origin is finite but has a large volume n decays exponentially in n. A corollary is that all infinite clusters have anchored expansion almost surely. They have asked if these results could hol…
▽ More
Hermon and Hutchcroft have recently proved the long-standing conjecture that in Bernoulli(p) bond percolation on any nonamenable transitive graph G, at any p > p_c(G), the probability that the cluster of the origin is finite but has a large volume n decays exponentially in n. A corollary is that all infinite clusters have anchored expansion almost surely. They have asked if these results could hold more generally, for any finite energy ergodic invariant percolation. We give a counterexample, an invariant percolation on the 4-regular tree.
△ Less
Submitted 24 January, 2021; v1 submitted 2 November, 2020;
originally announced November 2020.
-
Sparse reconstruction in spin systems I: iid spins
Authors:
Pál Galicza,
Gábor Pete
Abstract:
For a sequence of Boolean functions $f_n : \{-1,1\}^{V_n} \longrightarrow \{-1,1\}$, defined on increasing configuration spaces of random inputs, we say that there is sparse reconstruction if there is a sequence of subsets $U_n \subseteq V_n$ of the coordinates satisfying $|U_n| = o(|V_n|)$ such that knowing the coordinates in $U_n$ gives us a non-vanishing amount of information about the value of…
▽ More
For a sequence of Boolean functions $f_n : \{-1,1\}^{V_n} \longrightarrow \{-1,1\}$, defined on increasing configuration spaces of random inputs, we say that there is sparse reconstruction if there is a sequence of subsets $U_n \subseteq V_n$ of the coordinates satisfying $|U_n| = o(|V_n|)$ such that knowing the coordinates in $U_n$ gives us a non-vanishing amount of information about the value of $f_n$.
We first show that, if the underlying measure is a product measure, then no sparse reconstruction is possible for any sequence of transitive functions. We discuss the question in different frameworks, measuring information content in $L^2$ and with entropy. We also highlight some interesting connections with cooperative game theory. Beyond transitive functions, we show that the left-right crossing event for critical planar percolation on the square lattice does not admit sparse reconstruction either. Some of these results answer questions posed by Itai Benjamini.
△ Less
Submitted 1 August, 2023; v1 submitted 20 October, 2020;
originally announced October 2020.
-
The Free Uniform Spanning Forest is disconnected in some virtually free groups, depending on the generator set
Authors:
Gábor Pete,
Ádám Timár
Abstract:
We prove the rather counterintuitive result that there exist finite transitive graphs H and integers k such that the Free Uniform Spanning Forest in the direct product of the k-regular tree and H has infinitely many trees almost surely.
This shows that the number of trees in the FUSF is not a quasi-isometry invariant. Moreover, we give two different Cayley graphs of the same virtually free group…
▽ More
We prove the rather counterintuitive result that there exist finite transitive graphs H and integers k such that the Free Uniform Spanning Forest in the direct product of the k-regular tree and H has infinitely many trees almost surely.
This shows that the number of trees in the FUSF is not a quasi-isometry invariant. Moreover, we give two different Cayley graphs of the same virtually free group such that the FUSF has infinitely many trees in one, but is connected in the other, answering a question of Lyons and Peres (2016) in the negative.
A version of our argument gives an example of a non-unimodular transitive graph where WUSF\not=FUSF, but some of the FUSF trees are light with respect to Haar measure. This disproves a conjecture of Tang (2019).
△ Less
Submitted 24 January, 2021; v1 submitted 11 June, 2020;
originally announced June 2020.
-
Mixing time and cutoff phenomenon for the interchange process on dumbbell graphs and the labelled exclusion process on the complete graph
Authors:
Richárd Patkó,
Gábor Pete
Abstract:
We find the total variation mixing time of the interchange process on the dumbbell graph (two complete graphs, $K_n$ and $K_m$, connected by a single edge), and show that this sequence of chains exhibits the cutoff phenomenon precisely when the smaller size $m$ goes to infinity. The mixing time undergoes a phase transition at $m\asymp \sqrt{n}$. We also state a conjecture on when exactly cutoff ho…
▽ More
We find the total variation mixing time of the interchange process on the dumbbell graph (two complete graphs, $K_n$ and $K_m$, connected by a single edge), and show that this sequence of chains exhibits the cutoff phenomenon precisely when the smaller size $m$ goes to infinity. The mixing time undergoes a phase transition at $m\asymp \sqrt{n}$. We also state a conjecture on when exactly cutoff holds for the interchange process on general graphs.
Our proofs use coupling methods, and they also give the mixing time of the simple exclusion process of $k$ labelled particles in the complete graph $K_n$, for any $k\leq n$, with cutoff, as conjectured by Lacoin and Leblond (2011). In particular, this is a new probabilistic proof for the mixing time of random transpositions, first established by Diaconis and Shahshahani (1981).
△ Less
Submitted 25 August, 2019;
originally announced August 2019.
-
Kazhdan groups have cost 1
Authors:
Tom Hutchcroft,
Gábor Pete
Abstract:
We prove that every countably infinite group with Kazhdan's property (T) has cost 1, answering a well-known question of Gaboriau. It remains open if they have fixed price 1.
We prove that every countably infinite group with Kazhdan's property (T) has cost 1, answering a well-known question of Gaboriau. It remains open if they have fixed price 1.
△ Less
Submitted 9 April, 2020; v1 submitted 25 October, 2018;
originally announced October 2018.
-
Speeding up non-Markovian First Passage Percolation with a few extra edges
Authors:
Alexey Medvedev,
Gábor Pete
Abstract:
One model of real-life spreading processes is First Passage Percolation (also called SI model) on random graphs. Social interactions often follow bursty patterns, which are usually modelled with i.i.d.~heavy-tailed passage times on edges. On the other hand, random graphs are often locally tree-like, and spreading on trees with leaves might be very slow, because of bottleneck edges with huge passag…
▽ More
One model of real-life spreading processes is First Passage Percolation (also called SI model) on random graphs. Social interactions often follow bursty patterns, which are usually modelled with i.i.d.~heavy-tailed passage times on edges. On the other hand, random graphs are often locally tree-like, and spreading on trees with leaves might be very slow, because of bottleneck edges with huge passage times. Here we consider the SI model with passage times following a power law distribution $\mathbb{P}(ξ>t)\sim t^{-α}$, with infinite mean. For any finite connected graph $G$ with a root $s$, we find the largest number of vertices $κ(G,s)$ that are infected in finite expected time, and prove that for every $k \leq κ(G,s)$, the expected time to infect $k$ vertices is at most $O(k^{1/α})$. Then, we show that adding a single edge from $s$ to a random vertex in a random tree $\mathcal{T}$ typically increases $κ(\mathcal{T},s)$ from a bounded variable to a fraction of the size of $\mathcal{T}$, thus severely accelerating the process. We examine this acceleration effect on some natural models of random graphs: critical Galton-Watson trees conditioned to be large, uniform spanning trees of the complete graph, and on the largest cluster of near-critical Erdős-Rényi graphs. In particular, at the upper end of the critical window, the process is already much faster than exactly at criticality.
△ Less
Submitted 31 August, 2017;
originally announced August 2017.
-
A unimodular Liouville hyperbolic souvlaki --- an appendix to [arXiv:1603.06712]
Authors:
Gábor Pete,
Gourab Ray
Abstract:
Carmesin, Federici, and Georgakopoulos [arXiv:1603.06712] constructed a transient hyperbolic graph that has no transient subtrees and that has the Liouville property for harmonic functions. We modify their construction to get a unimodular random graph with the same properties.
Carmesin, Federici, and Georgakopoulos [arXiv:1603.06712] constructed a transient hyperbolic graph that has no transient subtrees and that has the Liouville property for harmonic functions. We modify their construction to get a unimodular random graph with the same properties.
△ Less
Submitted 29 May, 2017; v1 submitted 24 January, 2017;
originally announced January 2017.
-
On percolation critical probabilities and unimodular random graphs
Authors:
Dorottya Beringer,
Gábor Pete,
Ádám Timár
Abstract:
We investigate generalisations of the classical percolation critical probabilities $p_c$, $p_T$ and the critical probability $\tilde{p_c}$ defined by Duminil-Copin and Tassion (2015) to bounded degree unimodular random graphs. We further examine Schramm's conjecture in the case of unimodular random graphs: does $p_c(G_n)$ converge to $p_c(G)$ if $G_n\to G$ in the local weak sense? Among our result…
▽ More
We investigate generalisations of the classical percolation critical probabilities $p_c$, $p_T$ and the critical probability $\tilde{p_c}$ defined by Duminil-Copin and Tassion (2015) to bounded degree unimodular random graphs. We further examine Schramm's conjecture in the case of unimodular random graphs: does $p_c(G_n)$ converge to $p_c(G)$ if $G_n\to G$ in the local weak sense? Among our results are the following:
1. $p_c=\tilde{p_c}$ holds for bounded degree unimodular graphs. However, there are unimodular graphs with sub-exponential volume growth and $p_T < p_c$; i.e., the classical sharpness of phase transition does not hold.
2. We give conditions which imply $\lim p_c(G_n) = p_c(\lim G_n)$.
3. There are sequences of unimodular graphs such that $G_n\to G$ but $p_c(G)>\lim p_c(G_n)$ or $p_c(G)<\lim p_c(G_n)<1$.
As a corollary to our positive results, we show that for any transitive graph with sub-exponential volume growth there is a sequence $T_n$ of large girth bi-Lipschitz invariant subgraphs such that $p_c(T_n)\to 1$. It remains open whether this holds whenever the transitive graph has cost 1.
△ Less
Submitted 26 August, 2017; v1 submitted 22 September, 2016;
originally announced September 2016.
-
A conformally invariant growth process of SLE excursions
Authors:
Gábor Pete,
Hao Wu
Abstract:
We construct an aggregation process of chordal SLE(κ) excursions in the unit disk, starting from the boundary, growing towards all inner points simultaneously, invariant under all conformal self-maps of the disk. We prove that this conformal growth process of excursions, abbreviated as CGE(κ), exists iff κ\in [0,4), and that it does not create additional fractalness: the Hausdorff dimension of the…
▽ More
We construct an aggregation process of chordal SLE(κ) excursions in the unit disk, starting from the boundary, growing towards all inner points simultaneously, invariant under all conformal self-maps of the disk. We prove that this conformal growth process of excursions, abbreviated as CGE(κ), exists iff κ\in [0,4), and that it does not create additional fractalness: the Hausdorff dimension of the closure of all the SLE(κ) arcs attached is 1+κ/8 almost surely. We determine the dimension of points that are approached by CGE(κ) at an atypical rate, and construct conformally invariant random fields on the disk based on CGE(κ).
△ Less
Submitted 21 January, 2016;
originally announced January 2016.
-
Noise sensitivity in bootstrap percolation
Authors:
Zsolt Bartha,
Gábor Pete
Abstract:
Answering questions of Itai Benjamini, we show that the event of complete occupation in 2-neighbour bootstrap percolation on the d-dimensional box [n]^d, for d\geq 2, at its critical initial density p_c(n), is noise sensitive, while in k-neighbour bootstrap percolation on the d-regular random graph G_{n,d}, for 2\leq k\leq d-2, it is insensitive. Many open problems remain.
Answering questions of Itai Benjamini, we show that the event of complete occupation in 2-neighbour bootstrap percolation on the d-dimensional box [n]^d, for d\geq 2, at its critical initial density p_c(n), is noise sensitive, while in k-neighbour bootstrap percolation on the d-regular random graph G_{n,d}, for 2\leq k\leq d-2, it is insensitive. Many open problems remain.
△ Less
Submitted 28 September, 2015;
originally announced September 2015.
-
The tail of the crossing probability in near-critical percolation --- an appendix to Ahlberg & Steif [arXiv:1405.7144]
Authors:
Gábor Pete
Abstract:
We answer a question of Ahlberg and Steif (2014) by finding the tail behaviour of the crossing probability in near-critical planar percolation. Interestingly, this superexponentially small behaviour is different from the case of dynamical percolation, where the analogous tail probability was proved to be at least exponential and at most superpolynomial by Hammond, Mossel and Pete (2012). The proof…
▽ More
We answer a question of Ahlberg and Steif (2014) by finding the tail behaviour of the crossing probability in near-critical planar percolation. Interestingly, this superexponentially small behaviour is different from the case of dynamical percolation, where the analogous tail probability was proved to be at least exponential and at most superpolynomial by Hammond, Mossel and Pete (2012). The proof is simple, given the scale covariance established by Garban, Pete and Schramm (2013).
△ Less
Submitted 2 May, 2016; v1 submitted 16 July, 2015;
originally announced July 2015.
-
Scaling limits for the threshold window: When does a monotone Boolean function flip its outcome?
Authors:
Daniel Ahlberg,
Jeffrey E. Steif,
Gábor Pete
Abstract:
Consider a monotone Boolean function $f:\{0,1\}^n\to\{0,1\}$ and the canonical monotone coupling $\{η_p:p\in[0,1]\}$ of an element in $\{0,1\}^n$ chosen according to product measure with intensity $p\in[0,1]$. The random point $p\in[0,1]$ where $f(η_p)$ flips from $0$ to $1$ is often concentrated near a particular point, thus exhibiting a threshold phenomenon. For a sequence of such Boolean functi…
▽ More
Consider a monotone Boolean function $f:\{0,1\}^n\to\{0,1\}$ and the canonical monotone coupling $\{η_p:p\in[0,1]\}$ of an element in $\{0,1\}^n$ chosen according to product measure with intensity $p\in[0,1]$. The random point $p\in[0,1]$ where $f(η_p)$ flips from $0$ to $1$ is often concentrated near a particular point, thus exhibiting a threshold phenomenon. For a sequence of such Boolean functions, we peer closely into this threshold window and consider, for large $n$, the limiting distribution (properly normalized to be nondegenerate) of this random point where the Boolean function switches from being 0 to 1. We determine this distribution for a number of the Boolean functions which are typically studied and pay particular attention to the functions corresponding to iterated majority and percolation crossings. It turns out that these limiting distributions have quite varying behavior. In fact, we show that any nondegenerate probability measure on $\mathbb{R}$ arises in this way for some sequence of Boolean functions.
△ Less
Submitted 29 April, 2016; v1 submitted 28 May, 2014;
originally announced May 2014.
-
The scaling limits of the Minimal Spanning Tree and Invasion Percolation in the plane
Authors:
Christophe Garban,
Gábor Pete,
Oded Schramm
Abstract:
We prove that the Minimal Spanning Tree and the Invasion Percolation Tree on a version of the triangular lattice in the complex plane have unique scaling limits, which are invariant under rotations, scalings, and, in the case of the MST, also under translations. However, they are not expected to be conformally invariant. We also prove some geometric properties of the limiting MST. The topology of…
▽ More
We prove that the Minimal Spanning Tree and the Invasion Percolation Tree on a version of the triangular lattice in the complex plane have unique scaling limits, which are invariant under rotations, scalings, and, in the case of the MST, also under translations. However, they are not expected to be conformally invariant. We also prove some geometric properties of the limiting MST. The topology of convergence is the space of spanning trees introduced by Aizenman, Burchard, Newman & Wilson (1999), and the proof relies on the existence and conformal covariance of the scaling limit of the near-critical percolation ensemble, established in our earlier works.
△ Less
Submitted 25 January, 2017; v1 submitted 1 September, 2013;
originally announced September 2013.
-
The scaling limits of near-critical and dynamical percolation
Authors:
Christophe Garban,
Gábor Pete,
Oded Schramm
Abstract:
We prove that near-critical percolation and dynamical percolation on the triangular lattice $η\mathbb{T}$ have a scaling limit as the mesh $η\to 0$, in the "quad-crossing" space $\mathcal{H}$ of percolation configurations introduced by Schramm and Smirnov. The proof essentially proceeds by "perturbing" the scaling limit of the critical model, using the pivotal measures studied in our earlier paper…
▽ More
We prove that near-critical percolation and dynamical percolation on the triangular lattice $η\mathbb{T}$ have a scaling limit as the mesh $η\to 0$, in the "quad-crossing" space $\mathcal{H}$ of percolation configurations introduced by Schramm and Smirnov. The proof essentially proceeds by "perturbing" the scaling limit of the critical model, using the pivotal measures studied in our earlier paper. Markovianity and conformal covariance of these new limiting objects are also established.
△ Less
Submitted 25 January, 2017; v1 submitted 23 May, 2013;
originally announced May 2013.
-
Local time on the exceptional set of dynamical percolation, and the Incipient Infinite Cluster
Authors:
Alan Hammond,
Gábor Pete,
Oded Schramm
Abstract:
In dynamical critical site percolation on the triangular lattice or bond percolation on \Z^2, we define and study a local time measure on the exceptional times at which the origin is in an infinite cluster. We show that at a typical time with respect to this measure, the percolation configuration has the law of Kesten's Incipient Infinite Cluster. In the most technical result of this paper, we sho…
▽ More
In dynamical critical site percolation on the triangular lattice or bond percolation on \Z^2, we define and study a local time measure on the exceptional times at which the origin is in an infinite cluster. We show that at a typical time with respect to this measure, the percolation configuration has the law of Kesten's Incipient Infinite Cluster. In the most technical result of this paper, we show that, on the other hand, at the first exceptional time, the law of the configuration is different. We also study the collapse of the infinite cluster near typical exceptional times, and establish a relation between static and dynamic exponents, analogous to Kesten's near-critical relation.
△ Less
Submitted 10 April, 2013; v1 submitted 19 August, 2012;
originally announced August 2012.
-
Exit time tails from pairwise decorrelation in hidden Markov chains, with applications to dynamical percolation
Authors:
Alan Hammond,
Elchanan Mossel,
Gábor Pete
Abstract:
Consider a Markov process ω_t at equilibrium and some event C (a subset of the state-space of the process). A natural measure of correlations in the process is the pairwise correlation \Pr[ω_0,ω_t \in C] - \Pr[ω_0 \in C]^2. A second natural measure is the probability of the continual occurrence event \{ω_s \in C, \forall s\in [0,t]\}. We show that for reversible Markov chains, and any event C, pai…
▽ More
Consider a Markov process ω_t at equilibrium and some event C (a subset of the state-space of the process). A natural measure of correlations in the process is the pairwise correlation \Pr[ω_0,ω_t \in C] - \Pr[ω_0 \in C]^2. A second natural measure is the probability of the continual occurrence event \{ω_s \in C, \forall s\in [0,t]\}. We show that for reversible Markov chains, and any event C, pairwise decorrelation of the event C implies a decay of the probability of the continual occurrence event \{ω_s \in C, \forall s \in [0,t]\} as t\to\infty. We provide examples showing that our results are often sharp.
Our main applications are to dynamical critical percolation. Let C be the left-right crossing event of a large box, and let us scale time so that the expected number of changes to C is order 1 in unit time. We show that the continual connection event has superpolynomial decay. Furthermore, on the infinite lattice without any time scaling, the first exceptional time with an infinite cluster appears with an exponential tail.
△ Less
Submitted 22 August, 2012; v1 submitted 28 November, 2011;
originally announced November 2011.
-
The near-critical planar FK-Ising model
Authors:
Hugo Duminil-Copin,
Christophe Garban,
Gábor Pete
Abstract:
We study the near-critical FK-Ising model. First, a determination of the correlation length defined via crossing probabilities is provided. Second, a phenomenon about the near-critical behavior of FK-Ising is highlighted, which is completely missing from the case of standard percolation: in any monotone coupling of FK configurations $ω_p$ (e.g., in the one introduced in [Gri95]), as one raises…
▽ More
We study the near-critical FK-Ising model. First, a determination of the correlation length defined via crossing probabilities is provided. Second, a phenomenon about the near-critical behavior of FK-Ising is highlighted, which is completely missing from the case of standard percolation: in any monotone coupling of FK configurations $ω_p$ (e.g., in the one introduced in [Gri95]), as one raises $p$ near $p_c$, the new edges arrive in a self-organized way, so that the correlation length is not governed anymore by the number of pivotal edges at criticality.
△ Less
Submitted 13 February, 2014; v1 submitted 1 November, 2011;
originally announced November 2011.
-
Pivotal, cluster and interface measures for critical planar percolation
Authors:
Christophe Garban,
Gábor Pete,
Oded Schramm
Abstract:
This work is the first in a series of papers devoted to the construction and study of scaling limits of dynamical and near-critical planar percolation and related objects like invasion percolation and the Minimal Spanning Tree. We show here that the counting measure on the set of pivotal points of critical site percolation on the triangular grid, normalized appropriately, has a scaling limit, whic…
▽ More
This work is the first in a series of papers devoted to the construction and study of scaling limits of dynamical and near-critical planar percolation and related objects like invasion percolation and the Minimal Spanning Tree. We show here that the counting measure on the set of pivotal points of critical site percolation on the triangular grid, normalized appropriately, has a scaling limit, which is a function of the scaling limit of the percolation configuration. We also show that this limit measure is conformally covariant, with exponent 3/4. Similar results hold for the counting measure on macroscopic open clusters (the area measure), and for the counting measure on interfaces (length measure).
Since the aforementioned processes are very much governed by pivotal sites, the construction and properties of the "local time"-like pivotal measure are key results in this project. Another application is that the existence of the limit length measure on the interface is a key step towards constructing the so-called natural time-parametrization of the SLE(6) curve.
The proofs make extensive use of coupling arguments, based on the separation of interfaces phenomenon. This is a very useful tool in planar statistical physics, on which we included a self-contained Appendix. Simple corollaries of our methods include ratio limit theorems for arm probabilities and the rotational invariance of the two-point function.
△ Less
Submitted 13 February, 2014; v1 submitted 7 August, 2010;
originally announced August 2010.
-
The scaling limit of the Minimal Spanning Tree - a preliminary report
Authors:
Christophe Garban,
Gábor Pete,
Oded Schramm
Abstract:
This is a short (and somewhat informal) contribution to the proceedings of the XVIth International Congress on Mathematical Physics, Prague, 2009, written up by the second author. We describe how the recent proof of the existence and conformal covariance of the scaling limits of dynamical and near-critical planar percolation implies the existence and several topological properties of the scaling…
▽ More
This is a short (and somewhat informal) contribution to the proceedings of the XVIth International Congress on Mathematical Physics, Prague, 2009, written up by the second author. We describe how the recent proof of the existence and conformal covariance of the scaling limits of dynamical and near-critical planar percolation implies the existence and several topological properties of the scaling limit of the Minimal Spanning Tree, and that it is invariant under scalings, rotations and translations. However, we do not expect conformal invariance: we explain why not and what is missing for a proof.
△ Less
Submitted 16 September, 2009;
originally announced September 2009.
-
Scale-invariant groups
Authors:
Volodymyr Nekrashevych,
Gábor Pete
Abstract:
Motivated by the renormalization method in statistical physics, Itai Benjamini defined a finitely generated infinite group G to be scale-invariant if there is a nested sequence of finite index subgroups G_n that are all isomorphic to G and whose intersection is a finite group. He conjectured that every scale-invariant group has polynomial growth, hence is virtually nilpotent. We disprove his con…
▽ More
Motivated by the renormalization method in statistical physics, Itai Benjamini defined a finitely generated infinite group G to be scale-invariant if there is a nested sequence of finite index subgroups G_n that are all isomorphic to G and whose intersection is a finite group. He conjectured that every scale-invariant group has polynomial growth, hence is virtually nilpotent. We disprove his conjecture by showing that the following groups (mostly finite-state self-similar groups) are scale-invariant: the lamplighter groups F\wr\Z, where F is any finite Abelian group; the solvable Baumslag-Solitar groups BS(1,m); the affine groups A\ltimes\Z^d, for any A\leq GL(\Z,d). However, the conjecture remains open with some natural stronger notions of scale-invariance for groups and transitive graphs. We construct scale-invariant tilings of certain Cayley graphs of the discrete Heisenberg group, whose existence is not immediate just from the scale-invariance of the group. We also note that torsion-free non-elementary hyperbolic groups are not scale-invariant.
△ Less
Submitted 21 December, 2009; v1 submitted 2 November, 2008;
originally announced November 2008.
-
Biased tug-of-war, the biased infinity Laplacian, and comparison with exponential cones
Authors:
Yuval Peres,
Gábor Pete,
Stephanie Somersille
Abstract:
We prove that if U\subset\R^n is an open domain whose closure \overline{U} is compact in the path metric, and F is a Lipschitz function on \partial{U}, then for each β\in\R there exists a unique viscosity solution to the β-biased infinity Laplacian equation β|\nabla u| + Δ_\infty u=0 on U that extends F, where Δ_\infty u= |\nabla u|^{-2} \sum_{i,j} u_{x_i}u_{x_ix_j} u_{x_j}.
In the proof, we e…
▽ More
We prove that if U\subset\R^n is an open domain whose closure \overline{U} is compact in the path metric, and F is a Lipschitz function on \partial{U}, then for each β\in\R there exists a unique viscosity solution to the β-biased infinity Laplacian equation β|\nabla u| + Δ_\infty u=0 on U that extends F, where Δ_\infty u= |\nabla u|^{-2} \sum_{i,j} u_{x_i}u_{x_ix_j} u_{x_j}.
In the proof, we extend the tug-of-war ideas of Peres, Schramm, Sheffield and Wilson, and define the β-biased \eps-game as follows. The starting position is x_0 \in U. At the k^\text{th} step the two players toss a suitably biased coin (in our key example, player I wins with odds of \exp(β\eps) to 1), and the winner chooses x_k with d(x_k,x_{k-1}) < \eps. The game ends when x_k \in \partial{U}, and player II pays the amount F(x_k) to player I. We prove that the value u^{\eps}(x_0) of this game exists, and that \|u^\eps - u\|_\infty \to 0 as \eps \to 0, where u is the unique extension of F to \overline{U} that satisfies comparison with β-exponential cones. Comparison with exponential cones is a notion that we introduce here, and generalizing a theorem of Crandall, Evans and Gariepy regarding comparison with linear cones, we show that a continuous function satisfies comparison with β-exponential cones if and only if it is a viscosity solution to the β-biased infinity Laplacian equation.
△ Less
Submitted 13 August, 2009; v1 submitted 2 November, 2008;
originally announced November 2008.
-
The Fourier spectrum of critical percolation
Authors:
Christophe Garban,
Gábor Pete,
Oded Schramm
Abstract:
Consider the indicator function $f$ of a two-dimensional percolation crossing event. In this paper, the Fourier transform of $f$ is studied and sharp bounds are obtained for its lower tail in several situations. Various applications of these bounds are derived. In particular, we show that the set of exceptional times of dynamical critical site percolation on the triangular grid in which the origin…
▽ More
Consider the indicator function $f$ of a two-dimensional percolation crossing event. In this paper, the Fourier transform of $f$ is studied and sharp bounds are obtained for its lower tail in several situations. Various applications of these bounds are derived. In particular, we show that the set of exceptional times of dynamical critical site percolation on the triangular grid in which the origin percolates has dimension 31/36 a.s., and the corresponding dimension in the half-plane is 5/9. It is also proved that critical bond percolation on the square grid has exceptional times a.s. Also, the asymptotics of the number of sites that need to be resampled in order to significantly perturb the global percolation configuration in a large square is determined.
△ Less
Submitted 6 February, 2013; v1 submitted 26 March, 2008;
originally announced March 2008.
-
A note on percolation on Z^d: isoperimetric profile via exponential cluster repulsion
Authors:
Gabor Pete
Abstract:
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 origina…
▽ More
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 probability) on the infinite cluster a.s. decays like p_n(o,o)=O(n^{-d/2}). Versions of these results have been proven by Benjamini and Mossel (2003), Mathieu and Remy (2004), Barlow (2004) and Rau (2006). For general infinite graphs, we prove that anchored isoperimetric properties survive supercritical percolation, provided that the probability of the cluster of the origin being finite with large boundary decays rapidly; this is the case for a large class of graphs when $p$ is close to 1. As an application (with the help of some entropy inequalities), we give a short conceptual proof of a theorem of Angel, Benjamini, Berger and Peres (2006): the infinite percolation cluster of a wedge in \Z^3 is a.s. transient whenever the wedge itself is transient.
△ Less
Submitted 11 August, 2016; v1 submitted 16 February, 2007;
originally announced February 2007.
-
Prime values of reducible polynomials, II
Authors:
Yong-Gao Chen,
Gabor Kun,
Gabor Pete,
Imre Z. Ruzsa,
Adam Timar
Abstract:
The Schinzel hypothesis claims (but it seems hopeless to prove) that any irreducible Q[x] polynomial without a constant factor assumes infinitely many prime values at integer places. On the other hand, it is easy to see that a reducible Q[x] polynomial can have only finitely many such places. In this paper we prove that a reducible Z[x] polynomial of degree n (where n is not 4 or 5) can have at…
▽ More
The Schinzel hypothesis claims (but it seems hopeless to prove) that any irreducible Q[x] polynomial without a constant factor assumes infinitely many prime values at integer places. On the other hand, it is easy to see that a reducible Q[x] polynomial can have only finitely many such places. In this paper we prove that a reducible Z[x] polynomial of degree n (where n is not 4 or 5) can have at most n+2 such places, and there exist examples with n+1 places. If the Schinzel hypothesis and the k-prime-tuple conjecture are true, then there are also polynomials with n+2 such places. (For n=4 or 5 the maximum possible value is 8.) If a Z[x] polynomial is the product of two non-constant integer-valued Q[x] polynomials, then there are at most 1.87234...n+o(n) such places. Even in this case, the number of integer places with positive prime values is at most n. More generally, if f=gh \in R[x] is a product of two non-constant real polynomials, then the number of real places x such that |g(x)|=1 or |h(x)=1|, while f(x)>1, is at most n. For a natural complex version of this last statement we give a counterexample. Furthermore, we briefly consider the generalized problem of assuming values in a fixed finite set of integers.
△ Less
Submitted 17 October, 2005;
originally announced October 2005.
-
Corner percolation on $\mathbb{Z}^2$ and the square root of 17
Authors:
Gábor Pete
Abstract:
We consider a four-vertex model introduced by Bálint Tóth: a dependent bond percolation model on $\mathbb{Z}^2$ in which every edge is present with probability 1/2 and each vertex has exactly two incident edges, perpendicular to each other. We prove that all components are finite cycles almost surely, but the expected diameter of the cycle containing the origin is infinite. Moreover, we derive t…
▽ More
We consider a four-vertex model introduced by Bálint Tóth: a dependent bond percolation model on $\mathbb{Z}^2$ in which every edge is present with probability 1/2 and each vertex has exactly two incident edges, perpendicular to each other. We prove that all components are finite cycles almost surely, but the expected diameter of the cycle containing the origin is infinite. Moreover, we derive the following critical exponents: the tail probability $\mathbb{P}$(diameter of the cycle of the origin $>$$n$) $\approx$ $n^{-γ}$ and the expectation $\mathbb{E}$(length of a typical cycle with diameter $n)\approx n^δ$, with $γ=(5-\sqrt{17})/4=0.219...$ and $δ=(\sqrt{17}+1)/4=1.28....$ The value of $δ$ comes from a singular sixth order ODE, while the relation $γ+δ=3/2$ corresponds to the fact that the scaling limit of the natural height function in the model is the additive Brownian motion, whose level sets have Hausdorff dimension 3/2. We also include many open problems, for example, on the conformal invariance of certain linear entropy models.
△ Less
Submitted 24 September, 2008; v1 submitted 21 July, 2005;
originally announced July 2005.
-
Critical percolation on certain non-unimodular graphs
Authors:
Yuval Peres,
Gabor Pete,
Ariel Scolnicov
Abstract:
An important conjecture in percolation theory is that almost surely no infinite cluster exists in critical percolation on any transitive graph for which the critical probability is less than 1. Earlier work has established this for the amenable cases Z^2 and Z^d for large d, as well as for all non-amenable graphs with unimodular automorphism groups. We show that the conjecture holds for the basi…
▽ More
An important conjecture in percolation theory is that almost surely no infinite cluster exists in critical percolation on any transitive graph for which the critical probability is less than 1. Earlier work has established this for the amenable cases Z^2 and Z^d for large d, as well as for all non-amenable graphs with unimodular automorphism groups. We show that the conjecture holds for the basic classes of non-amenable graphs with non-unimodular automorphism groups: for decorated trees and the non-unimodular Diestel-Leader graphs. We also show that the connection probability between two vertices decay exponentially in their distance. Finally, we prove that critical percolation on the positive part of the lamplighter group has no infinite clusters.
△ Less
Submitted 27 October, 2005; v1 submitted 28 January, 2005;
originally announced January 2005.
-
Bootstrap percolation on infinite trees and non-amenable groups
Authors:
Jozsef Balogh,
Yuval Peres,
Gabor Pete
Abstract:
Bootstrap percolation on an arbitrary graph has a random initial configuration, where each vertex is occupied with probability p, independently of each other, and a deterministic spreading rule with a fixed parameter k: if a vacant site has at least k occupied neighbors at a certain time step, then it becomes occupied in the next step. This process is well-studied on Z^d; here we investigate it…
▽ More
Bootstrap percolation on an arbitrary graph has a random initial configuration, where each vertex is occupied with probability p, independently of each other, and a deterministic spreading rule with a fixed parameter k: if a vacant site has at least k occupied neighbors at a certain time step, then it becomes occupied in the next step. This process is well-studied on Z^d; here we investigate it on regular and general infinite trees and on non-amenable Cayley graphs. The critical probability is the infimum of those values of p for which the process achieves complete occupation with positive probability. On general trees, we find the following discontinuity: if the branching number of a tree is strictly smaller than k, then the critical probability is 1, while it is 1-1/k on the k-ary tree. A related result is that in any rooted tree T, there is a way of erasing k children of the root, together with all their descendants, and repeating this for all remaining children, and so on, such that the remaining tree T' has branching number \br(T') \leq \max (\br(T)-k, 0). We also prove that on any 2k-regular non-amenable graph, the critical probability for the k-rule is strictly positive.
△ Less
Submitted 22 April, 2005; v1 submitted 8 November, 2003;
originally announced November 2003.
-
Anchored expansion, percolation and speed
Authors:
Dayue Chen,
Yuval Peres,
Gabor Pete
Abstract:
Benjamini, Lyons and Schramm [Random Walks and Discrete Potential Theory (1999) 56-84] considered properties of an infinite graph G, and the simple random walk on it, that are preserved by random perturbations. In this paper we solve several problems raised by those authors. The anchored expansion constant is a variant of the Cheeger constant; its positivity implies positive lower speed for the…
▽ More
Benjamini, Lyons and Schramm [Random Walks and Discrete Potential Theory (1999) 56-84] considered properties of an infinite graph G, and the simple random walk on it, that are preserved by random perturbations. In this paper we solve several problems raised by those authors. The anchored expansion constant is a variant of the Cheeger constant; its positivity implies positive lower speed for the simple random walk, as shown by Virag [Geom. Funct. Anal. 10 (2000) 1588-1605]. We prove that if G has a positive anchored expansion constant, then so does every infinite cluster of independent percolation with parameter p sufficiently close to 1; a better estimate for the parameters p where this holds is in the Appendix. We also show that positivity of the anchored expansion constant is preserved under a random stretch if and only if the stretching law has an exponential tail. We then study a simple random walk in the infinite percolation cluster in Cayley graphs of certain amenable groups known as ``lamplighter groups.'' We prove that zero speed for a random walk on a lamplighter group implies zero speed for random walk on an infinite cluster, for any supercritical percolation parameter p. For p large enough, we also establish the converse.
△ Less
Submitted 6 April, 2005; v1 submitted 25 March, 2003;
originally announced March 2003.
