REVIEW 3 major objections 3 minor 1 cited by
Nonamenable Poisson zoo
T0 review · 3 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read This paper proves that on nonamenable unimodular transitive graphs, random-walk worms with infinite squared length percolate at every positive intensity, and that the same holds for arbitrary lattice animals on nonamenable free products.
desk verdict Strong new results for free products and a nice uniqueness example, but the worm theorem on general nonamenable graphs has a false inequality at (3.27) that currently sinks Theorem 1.1. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying mechanism is an exploration process that 'fattens' the already explored cluster through its exterior boundary, adding only animals that touch the boundary and avoid the old set. For worms, the expected size of the fat is controlled by random-walk capacity, which is comparable to volume on nonamenable graphs; unimodularity produces size-biased first moments, a corollary neglects multiplicities, and a first-moment lower bound combined with a second-moment upper bound feeds a concentration lemma proving exponential growth forever. For free products, the exploration embeds a Galton-Watson branching process using the fact that every vertex is a cutpoint, with a sprinkling step that repairs the parity issue when growth is available in only one factor of the product.
What would settle it
Compute both sides of inequality (3.27) for a worm process on a regular tree, taking $A$ to be a short path and $B$ to be two adjacent exterior vertices, with a worm length distribution that lets one worm touch both vertices. If the left side is strictly smaller than the right side for some $R$, the stated lower bound lacks its proof; if a corrected argument restores the inequality, the conclusion of the worm theorem follows. A direct counterexample to the theorem would be a nonamenable unimodular transitive graph and worm lengths with $\mathbb{E}L^2=\infty$ but $\lambda_c>0$.
Extended reading notes
Core claim
The paper's central claim is Theorem 1.1: for any nonamenable unimodular transitive graph $G$, the worms model -- animals that are traces of simple random walks of random finite length $L$ -- has $\lambda_c=0$ whenever $\mathbb{E}L<\infty$ and $\mathbb{E}L^2=\infty$. Theorem 1.2 extends the same conclusion to arbitrary lattice animal measures with $\mathbb{E}|H|^2=\infty$ when $G$ is a nonamenable unimodular free product. Proposition 1.4 constructs a zoo on $\mathbb{T}_d\times\mathbb{Z}^5$ with $\mathbb{E}|H|<\infty$ and a unique infinite cluster for every $\lambda>0$. The paper leaves open whether $\lambda_c=0$ holds for every animal measure with infinite second moment on every nonamenable Cayley graph.
Load-bearing premise
The worm proof assumes that worms touching several boundary vertices can be counted vertex-by-vertex without loss, so that the total fat is at least the sum of single-vertex fats; the displayed inequality does this, but the definitions do not discard multi-touching worms.
Editorial extensions
If this is right
- If Theorem 1.1 is correct, every nonamenable unimodular transitive graph admits worm zoos with $\lambda_c=0$ for every length distribution with finite mean and infinite second moment.
- If Theorem 1.2 is correct, on nonamenable free products the critical intensity is zero for every animal measure with infinite second moment, independent of animal shape.
- Arbitrarily sparse Poisson zoos can percolate on nonamenable graphs, so in this model low density does not prevent infinite clusters.
- The $\mathbb{T}_d\times\mathbb{Z}^5$ example shows $\lambda_u=0$ with finite first moment: uniqueness of the infinite cluster can also be immediate.
- The general Question 1.3 -- arbitrary animals on arbitrary nonamenable Cayley graphs -- remains open.
Reading between the lines
- A testable extension suggested by the method is that worms with infinite second moment may also have $\lambda_c=0$ on other transient graphs where capacity is not linear, such as high-dimensional amenable lattices; the linear-capacity proof would not transfer directly.
- The concentration lemma that turns bounded variance into survival is a transferable tool: any Poisson soup whose growth increments satisfy comparable first and second moment bounds should exhibit permanent supercriticality.
- The uniqueness example points toward constructing sparse factor-of-i.i.d. percolations with a unique infinite cluster on groups with vanishing first $\ell^2$-Betti number, which by known criteria would imply cost $1$; the paper raises this as Question 1.5 but does not resolve it.
- If the disputed fattening inequality is repaired, the worm theorem would be proven; if not, the theorem may still be true but would need a different exploration bound.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the Poisson zoo model on transitive graphs, in which i.i.d. Poisson(λ) copies of random finite connected subsets (lattice animals) are placed with intensity λ. The three main claims are: (1) for any nonamenable unimodular transitive graph, worms of random length with infinite second moment have λ_c=0 (Theorem 1.1, proved as Theorem 2.17); (2) for any nonamenable free product of transitive graphs and any animal measure with infinite second moment, λ_c=0 (Theorem 1.2); and (3) on T_d×Z^5 there is a zoo with finite first moment and a unique infinite cluster for every λ>0 (Proposition 1.4). The proofs are built on exploration processes: a branching process on free products, and a fattening exploration process on general nonamenable graphs, supported by first- and second-moment bounds on the newly occupied set. I find a load-bearing false inequality in the worm proof, Corollary 3.9, inequality (3.27), and an additional invalid algebraic step in the same corollary. As written, the proof of Theorem 1.1 is not established.
Significance. If correct, the results would be a substantial advance: they resolve the worm case for all nonamenable unimodular transitive graphs, give the first general-animal result on free products, and provide an appealing example of immediate uniqueness with a sparse FIID cluster. The paper uses elegant tools, including size-biasing via unimodular mass transport, capacity bounds on nonamenable graphs, and Poisson point process restrictions; these parts are mostly well executed. However, the worm theorem is one of the two headline results, and its proof currently rests on a false inequality and an incorrect algebraic passage. The free-product theorem and the uniqueness example are independent of the worm argument, but the manuscript as a whole cannot be accepted until the worm proof is repaired.
major comments (3)
- [§3.3, Corollary 3.9, Eq. (3.27)] Inequality (3.27) is false as written. By Definition 3.1, the left-hand side counts each animal of volume at most R that hits B and avoids A\B exactly once, while each summand on the right counts the same animal once for every vertex of B it hits. For an animal whose trace intersects B in k vertices, the contribution to the right-hand side is k times its contribution to the left-hand side, so the correct inequality is the reverse, not (3.27). The sentence in the proof saying that worms hitting several vertices of B are "thrown away" does not correspond to any restriction present in (3.1). This is load-bearing: Corollary 3.9 is the only first-moment lower bound used to verify hypothesis (4.27) of Proposition 4.8, and without (3.27) the sum over B of the single-vertex bounds from Lemma 3.8 does not yield a lower bound on the total occupation measure of the unrestricted process. Thus the proof of Theorem 2.17, and hence of Theorem 1.1, collapses at this point unless a correct argument replacing (3.27) is supplied.
- [§3.3, Corollary 3.9, Eq. (3.29)] The displayed chain in (3.29) is also algebraically invalid. From (2.20) one gets Σ p_x(p_x−ε) ≥ (1−ρ)^2|A| − (|∂extA|−|B|) − ε|A|. The next line claims this is at least ((1−ρ)^2−ε)(1+h)|A| − (|∂extA|−|B|), but the difference between the claimed lower bound and the obtained bound is h[(1−ρ)^2−ε]|A|, which is positive for h>0 and ε<(1−ρ)^2. Therefore the factor (1+h) in (3.29), and consequently the factor (1+h)/2 in (3.26), is not derived from Corollary 2.9. For graphs with h>1, this factor asks for a strictly stronger capacity lower bound than Lemma 2.8 provides. The constants in (3.26) and in hypothesis (4.27) therefore need to be reworked independently of the issue in (3.27).
- [§5, Proposition 1.4] The proof of Proposition 1.4 relies on the in-preparation reference [23] for indistinguishability of infinite clusters in Poisson zoos. Since no proof of this statement appears in the manuscript, the proposition is currently conditional on an external unpublished result. The authors should either include a proof of the needed indistinguishability statement, give a publicly available reference, or explicitly mark Proposition 1.4 as conditional.
minor comments (3)
- [§3.3, Lemma 3.8, Eqs. (3.19) and (3.21)] The condition H∩A={x} in (3.19) and (3.21) should be H∩A=∅, since x∈∂extA and hence x∉A. As written, the event is empty, although the subsequent estimates clearly use the intended avoidance condition.
- [§2.5, Theorem 2.17] The theorem states only E[L^2]=∞, while the abstract and Lemma 2.16 also impose E[L]<∞. The missing condition should be stated explicitly, even though the case E[L]=∞ is trivial by Lemma 2.14.
- [§3.3, proof of Lemma 3.8] There is a typo "substitue" in the sentence before (3.25); it should be "substitute."
Circularity Check
No load-bearing circularity; the main derivations are self-contained, with only minor non-load-bearing self-citations.
full rationale
The derivation chain for Theorem 1.1/2.17 runs from the moment identity Lemma 2.16, the size-biasing Lemma 3.2, the worm first-moment bound Lemma 3.8, Corollary 3.9, the variance bound Lemma 3.10, and Proposition 4.8; the hypothesis E[L^2]=∞ enters only as lim_{R→∞} E[L^2 1_{L≤R}] = ∞, and the conclusion λ_c=0 is not used anywhere as an input. Theorem 1.2 is similarly driven by Corollary 3.7 and Claims 4.3–4.4, with m_2^R→∞ supplying supercriticality; no fitted parameter is later renamed a prediction. Proposition 1.4 uses the published external result [46] to supply the input worm measure on Z^5 and the external indistinguishability theorem [39] for the insertion-tolerant zoo; the in-preparation self-citation [23] ('with a simpler proof in [23] that also includes any Poisson zoo') is not load-bearing here because [39] already covers the insertion-tolerant case. The questionable inequality in Corollary 3.9 at (3.27) is a possible correctness gap, not a circularity: even if a worm hitting several B-vertices is counted once on the left and several times on the right, that error would undermine a lower bound rather than make the theorem equivalent to its assumptions. Accordingly, no constructed derivation reduces to its own input.
Assumptions & free parameters
assumptions (5)
- domain assumption Mass transport principle / unimodularity of the group action
- standard math Spectral radius ρ(G)<1 characterizes nonamenability
- standard math Linear speed of random walk on nonamenable transitive graphs (Theorem 2.6 and Corollary 2.7)
- domain assumption For worms on Z^5 with finite first moment and λ_c=0, provided by Rath and Rokob [46]
- domain assumption Indistinguishability of infinite clusters for insertion-tolerant invariant percolation and Poisson zoo, cited to [23] as in preparation
Cite this review
Pith. "Pith review of Nonamenable Poisson zoo." pith.science (2026). https://pith.science/paper/SCNMW5XA
@misc{pith2026250507145,
author = {Pith},
title = {Pith review of: Nonamenable Poisson zoo},
year = {2026},
howpublished = {\url{https://pith.science/paper/SCNMW5XA}},
note = {Machine review of arXiv:2505.07145}
}
abstract
In the Poisson zoo on an infinite Cayley graph $G$, we take a probability measure $\nu$ on rooted finite connected subsets, called lattice animals, and place i.i.d. Poisson($\lambda$) copies of them at each vertex. If the expected volume of the animals w.r.t. $\nu$ is infinite, then the whole $G$ is covered for any $\lambda>0$. If the second moment of the volume is finite, then it is easy to see that for small enough $\lambda$ the union of the animals has only finite clusters, while for $\lambda$ large enough there are also infinite clusters. Here we show that: 1. If $G$ is a nonamenable free product, then for ANY $\nu$ with infinite second but finite first moment and any $\lambda>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 $\nu$ with infinite second moment. 3. We also give a Poisson zoo example $\nu$ on $\mathbb{T}_d \times \mathbb{Z}^5$ with finite first moment and a UNIQUE infinite cluster for any $\lambda>0$.
Figures
Figures from the paper (1 more)
Forward citations
Cited by 1 Pith paper
-
(Non-)coincidence of critical parameters for Poisson Zoos and Loop Soup Percolation on $\mathbb{Z^d}$, $d > 4$, and $\mathbb{T}_d$,$ d \ge 3$
Loop soup percolation on Z^d, d≥5, has discrete threshold strictly above the cable system threshold 1/2; on trees, Poisson zoo percolation and susceptibility thresholds coincide, and the model is infinitesimally sensi...
Reference graph
Works this paper leans on
- [23]
-
[1]
M. Ab´ ert and B. Weiss (2013) Bernoulli actions are weakly contained in any free action. Ergodic Theory and Dynamical Systems 33, 323–333
work page 2013
-
[2]
E. Babson and I. Benjamini (1999) Cut sets and normed cohomology, with applications to percolation. Proc. Amer. Math. Soc. 127, 589–597
work page 1999
-
[3]
A. Bandyopadhyay, J. Steif and ´A. Tim´ ar (2010) On the cluster size distribution for per- colation on some general graphs. Revista Matem´ atica Iberoamericana26, 529–550
work page 2010
-
[4]
I. Benjamini, J. Jonasson, O. Schramm and J. Tykesson (2009) Visibility to infinity in the hyperbolic plane, despite obstacles. ALEA Latin Amer. J. Prob. Math. Statist. 6, 323–342
work page 2009
-
[5]
I. Benjamini, R. Lyons, Y. Peres and O. Schramm (1999) Group-invariant percolation on graphs. Geom. Funct. Anal. 9, 29–66
work page 1999
-
[6]
I. Benjamini and O. Schramm (1996) Percolation beyond Zd, many questions and a few answers. Electronic Communications in Probability 1, 71–82
work page 1996
-
[7]
I. Benjamini, A. Nachmias, and Y. Peres (2011) Is the critical percolation probability local? Probab. Theory Relat. Fields 149, 261—269
work page 2011
Show all 58 references
-
[8]
Borb´ enyi, B
M. Borb´ enyi, B. R´ ath, and S. Rokob (2023) Random interlacement is a factor of iid. Electronic Journal of Probability 28, 1–45
2023
-
[9]
Bowen (2019) Finitary random interlacements and the Gaboriau–Lyons problem
L. Bowen (2019) Finitary random interlacements and the Gaboriau–Lyons problem. Geom. Funct. Anal. 29, 659-–689
2019
-
[10]
E. I. Broman and J. Tykesson (2016) Connectedness of Poisson cylinders in Euclidean space. Annales de l’Institut Henri Poincar´ e, Probabilit´ es et Statistiques52, 102–126
2016
-
[11]
E. I. Broman and J. Tykesson (2015) Poisson cylinders in hyperbolic space. Electronic Journal of Probability 20, 1–25
2015
-
[12]
Z Cai, E. B. Procaccia, and Y. Zhang (2022) Continuity and uniqueness of percolation critical parameters in finitary random interlacements. Elect. Journ. Probab. 27, 1–46
2022
-
[13]
Chang (2021) Bernoulli hyper-edge percolation on Zd
Y. Chang (2021) Bernoulli hyper-edge percolation on Zd. arXiv:2101.06082
2021 arXiv
-
[14]
Chang and A
Y. Chang and A. Sapozhnikov (2016) Phase transition in loop percolation. Probab. Theory Relat. Fields 164, 979–1025
2016
-
[15]
C. F. Coletti, D. Mirana and S. P. Grynberg (2020) Boolean percolation on doubling graphs. Journal of Statistical Physics 178, 814–831
2020
-
[16]
Dembin and V
B. Dembin and V. Tassion (2022) Almost sharp sharpness for Poisson Boolean percolation. arXiv:2209.00999
2022 arXiv
-
[17]
Dewan and S
V. Dewan and S. Muirhead (2023) Mean-field bounds for Poisson-Boolean percolation. Electron. J. Probab. 28, 1–24
2023
-
[18]
Drewitz, A
A. Drewitz, A. Pr´ evost, and P.-F. Rodriguez (2024) Geometry of Gaussian free field sign clusters and random interlacements. Probability Theory and Related Fields , 96 pages
2024
-
[19]
Drewitz, B
A. Drewitz, B. R´ ath and A. Sapozhnikov (2014)An introduction to Random Interlacements. SpringerBriefs in Mathematics, Springer. 38
2014
-
[20]
Duminil-Copin, S
H. Duminil-Copin, S. Goswami, A. Raoufi, F. Severo, and A. Yadin (2020) Existence of phase transition for percolation using the Gaussian free field. Duke Mathematical Journal 169, 3539–3563
2020
-
[21]
Dumini-Copin, S
H. Dumini-Copin, S. Goswami, P.-F. Rodriguez and F. Severo (2023) Equality of critical parameters for percolation of Gaussian free field level sets. Duke Math. J. 172, 839–913
2023
-
[22]
P. Easo, F. Severo, and V. Tassion (2024) Counting minimal cutsets and pc < 1. arXiv:2412.04539
2024
-
[24]
M. P. Forsstr¨ om, N. Gantert and J. E. Steif (2024) Poisson representable processes. arxiv:2401.13412v1
2024 arXiv
-
[25]
Fr¸ aczyk, S
M. Fr¸ aczyk, S. Mellick, A. Wilkens (2023) Poisson-Voronoi tessellations and fixed price in higher rank. arXiv:2307.01194
2023 arXiv
-
[26]
Gaboriau (2000) Coˆ ut des relations d’´ equivalence et des groupes.Inv
D. Gaboriau (2000) Coˆ ut des relations d’´ equivalence et des groupes.Inv. math. 139, 41–98
2000
-
[27]
Gaboriau (2010) Orbit equivalence and measured group theory
D. Gaboriau (2010) Orbit equivalence and measured group theory. Proc. ICM 2010 Hyder- abad, World Scientific
2010
-
[28]
Gaboriau and R
D. Gaboriau and R. Lyons (2009) A measurable-group-theoretic solution to von Neumann’s problem. Inventiones mathematicae 177, 533–540
2009
-
[29]
Gou´ er´ e (2008) Subcritical regimes in the Poisson Boolean model of continuum per- colation
J.–B. Gou´ er´ e (2008) Subcritical regimes in the Poisson Boolean model of continuum per- colation. The Annals of Probability 36, 1209–1220
2008
-
[30]
Gracar, M
P. Gracar, M. Korfhage, and P. M¨ orters (2024) Robustness in the Poisson Boolean model with convex grains arXiv:2410.13366
2024 arXiv
-
[31]
Greb´ ık and K
J. Greb´ ık and K. Recke (2025) Poisson-Voronoi percolation in higher rank. arXiv:2504.02435
2025 arXiv
-
[32]
H¨ aggstr¨ om (1997) Infinite clusters in dependent automorphism invariant percolation on trees
O. H¨ aggstr¨ om (1997) Infinite clusters in dependent automorphism invariant percolation on trees. Ann. Probab. 25, 1423–1436
1997
-
[33]
Hutchcroft and G
T. Hutchcroft and G. Pete (2020) Kazhdan groups have cost 1. Inv. Math. 221, 873–891
2020
-
[34]
J. F. C. Kingman (1993) Poisson processes. Oxford Studies in Probability, vol. 3. Oxford University Press, New York
1993
-
[35]
Levitt (1995) On the cost of generating an equivalence relation
G. Levitt (1995) On the cost of generating an equivalence relation. Ergodic Theory and Dynamical Systems 15, 1173–1181
1995
-
[36]
Lupu (2016) From loop clusters and random interlacements to the free field.Ann
T. Lupu (2016) From loop clusters and random interlacements to the free field.Ann. Probab. 44, 2117–2146
2016
-
[37]
Lyons (2017) Factors of IID on trees
R. Lyons (2017) Factors of IID on trees. Combin. Probab. Comput. 26, 285–300
2017
-
[38]
Lyons and Y
R. Lyons and Y. Peres (2016) Probability on Trees and Networks. Cambridge Series in Statistical and Probabilistic Mathematics, 42. Cambridge University Press, New York
2016
-
[39]
Lyons and O
R. Lyons and O. Schramm (1999) Indistinguishability of percolation clusters. Ann. Probab. 27, 1809–1836
1999
-
[40]
Meester and R
R. Meester and R. Roy (1996) Continuum Percolation, Cambridge University Press. 39
1996
-
[41]
Mu and A
Y. Mu and A. Sapozhnikov (2023) Uniqueness of the infinite connected component for the vacant set of random interlacements on amenable transient graphs. Electronic Communi- cations in Probability 28, 1–9
2023
-
[42]
Pak and T
I. Pak and T. Smirnova-Nagnibeda (2000) On non-uniqueness of percolation on nona- menable Cayley graphs Comptes Rendus de l’Acad. Sci. Series I Math. 330, 495–500
2000
-
[43]
Pete Probability and Geometry on Groups: Lecture notes for a graduate course
G. Pete Probability and Geometry on Groups: Lecture notes for a graduate course . Book in preparation, available at https://math.bme.hu/ gabor/PGG.pdf
-
[44]
Pete, ´A
G. Pete, ´A. Tim´ ar, S.¨O. Stef´ ansson, I. Bonamassa, and M. P´ osfai (2024) Physical networks as network-of-networks. Nature Communications 15, article number 4882
2024
-
[45]
E. B. Procaccia, J. Ye, and Y. Zhang (2021) Percolation for the finitary random interlace- ments. ALEA, Lat. Am. J. Probab. Math. Stat. 18, 265–287
2021
-
[46]
R´ ath and S
B. R´ ath and S. Rokob (2022) Percolation of worms. Stochastic Processes and their Appli- cations 152, 233–288
2022
-
[47]
S. I. Resnick (2008) Extreme values, regular variation and point processes . Springer Series on Operations Research and Financial Engineering. Springer, New York
2008
-
[48]
Teixeira and D
A. Teixeira and D. Ungaretti (2017) Ellipses percolation. Journ. Stat. Phys. 38, 369–393
2017
-
[49]
Teixeira (2009) Interlacement percolation on transient weighted graphs.Electronic Jour- nal of Probability 14, 1604–1627
A. Teixeira (2009) Interlacement percolation on transient weighted graphs.Electronic Jour- nal of Probability 14, 1604–1627
2009
-
[50]
Teixeira and J
A. Teixeira and J. Tykesson (2013) Random interlacements and amenability. The Annals of Applied Probability 23, 923–956
2013
-
[51]
Thom (2015) A remark about the spectral radius
A. Thom (2015) A remark about the spectral radius. Int. Math. Res. Not. 2015, 2856–2864
2015
-
[52]
´A. Tim´ ar. (2007) Cutsets in infinite graphs.Combin. Probab. & Comput. 16, 159–166
2007
-
[53]
Tykesson and D
J. Tykesson and D. Windisch (2012) Percolation in the vacant set of Poisson cylinders. Probability Theory and Related Fields 154, 165–191
2012
-
[54]
Tykesson and P
J. Tykesson and P. Calka (2013) Asymptotics of visibility in the hyperbolic plane.Advances in Applied Probability 45, 332–350
2013
-
[55]
Tykesson (2007) The number of unbounded components in the Poisson Boolean model of continuum percolation in hyperbolic space
J. Tykesson (2007) The number of unbounded components in the Poisson Boolean model of continuum percolation in hyperbolic space. Elect. Journ. Probab. 12, 1379–1401
2007
-
[56]
Tykesson (2009) Continuum Percolation at and above the Uniqueness Threshold on Homogeneous Spaces
J. Tykesson (2009) Continuum Percolation at and above the Uniqueness Threshold on Homogeneous Spaces. Journal of Theoretical Probability 22, 402–417
2009
-
[57]
Sznitman (2010) Vacant set of random interlacements and percolation
A.-S. Sznitman (2010) Vacant set of random interlacements and percolation. Annals of Mathematics 171, 2039–2087
2010
-
[58]
Woess (2000) Random Walks on Infinite Graphs and Groups
W. Woess (2000) Random Walks on Infinite Graphs and Groups . Cambridge Tracts in Mathematics, 138. Cambridge University Press, Cambridge. 40
2000
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.