REVIEW 1 major objections 8 minor 26 references
Oriented bond-site percolation in random environment and contact processes with periodic recovery
T0 review · 1 major / 8 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read A $(1+\varepsilon)$-moment condition on column stretches is enough to force percolation at large $\lambda$, and the result implies survival of contact processes with periodic recovery.
desk verdict Genuine extension of the stretched-lattice phase transition to oriented bond-site percolation, with new contact-process applications; the theorem's condition (ii) is misstated for λ=0, but the fix is local and the paper deserves a serious referee. 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 load-bearing object is the static multiscale renormalisation scheme: a stationarised renewal embedding of the environment with interarrival times $\xi_i+\nu_{i,i+1}$, a hierarchy of blocks whose sizes grow super-exponentially ($L_k=L_{k-1}\lfloor L_{k-1}^{\gamma-1}\rfloor$), and a definition of good blocks that permits at most one bad sub-block (or two consecutive bad sub-blocks). Lemma 2.4, taken from the stretched-lattice literature, uses the $(1+\varepsilon)$-moment condition through a decoupling inequality to bound the probability of a bad block by $L_k^{-\alpha}$. On good rectangles, Lemmas 2.7 and 2.8 show that left-right, right-left, and bottom-top crossings fail with probability at most $\exp(-L_k^\beta)$; planarity then patches these crossings into an infinite path. The connection-function condition $\exp(-\sigma s)\le \kappa_\lambda(s)$ is the one that lets even the longest stretches be crossed with probability bounded away from zero once $\lambda$ is large.
What would settle it
Compute the covariance of the consecutive stretches $\nu_{i,i+1}=-\log(2\,d_T(U_i,U_{i+1}))$ in the continuous periodic-recovery case: because $U_i$ and $U_{i+1}$ are shared between neighbouring stretches, the covariance is nonzero, which shows the environment is not i.i.d.; alternatively evaluate $\kappa_0(1)=0$ in that example, which violates the theorem's condition $\exp(-\sigma)\le \kappa_\lambda(1)$ for every $\lambda\ge0$.
Extended reading notes
Core claim
The central claim, Theorem 1.2, is that OPRE percolates under the sole moment condition $\mathbb{E}[\xi^{1+\varepsilon}], \mathbb{E}[\nu^{1+\varepsilon}]<\infty$ and connection functions that are monotone, satisfy $\exp(-\sigma s)\le \kappa_\lambda(s)$ with $\kappa_\lambda(s)\to 1$ as $\lambda\to\infty$: there exists $\lambda_c<\infty$ such that for every $\lambda>\lambda_c$ the model contains an infinite open path for almost every environment. The proof embeds the stretched columns stationarily as a renewal process, partitions space into scales of super-exponentially growing blocks, declares blocks good unless they contain too many bad sub-blocks, and bounds horizontal and vertical crossing failures by $\exp(-L_k^\beta)$. The applications are the paper's payoff: for the contact process with periodic recoveries of the form $2(\mathbb{Z}+U)$ or $2\mathbb{Z}+B$ on the line, survival occurs for all sufficiently large $\lambda$; and for the contact process in a random environment with unbounded recovery intensities, survival is proved for small $\delta$ under only a $(1+\varepsilon)$-moment condition on the high intensity.
Load-bearing premise
The argument assumes that the random stretches in different columns are independent and have a finite $(1+\varepsilon)$-th moment, yet in the periodic-recovery coupling consecutive stretches share a random uniform and are therefore dependent, and the required exponential lower bound is verified only for large $\lambda$.
Editorial extensions
If this is right
- The contact process with periodic recovery in both the continuous shift and Bernoulli shift cases has a non-trivial phase transition: extinction for $\lambda\le(4d)^{-1}$ and survival for all sufficiently large $\lambda$.
- The contact process in a random spatial environment survives for every $\delta$ below a positive critical value, even when the high recovery intensity has only a finite $(1+\varepsilon)$-moment.
- Any family of connection functions satisfying monotonicity and the exponential lower bound yields OPRE percolation for large $\lambda$, so the theorem applies uniformly across vertex and edge environments.
- For oriented percolation with temporal stretches of heavier-than-exponential tails, no phase transition exists: percolation fails for every $p\in(0,1)$.
- The $(1+\varepsilon)$-moment assumption enters only through the decoupling inequality, leaving open whether finite first moments would suffice.
Reading between the lines
- If the decoupling inequality can be proved under weaker dependence, the same scheme should apply to environments with short-range correlations between columns; a concrete test is to run the bad-block estimate on moving-average stretches.
- The CPPR coupling suggests that survival should persist when periodic recoveries are replaced by almost-deterministic interarrival times with bounded support, since only the moments of the stretch variables enter the OPRE conditions.
- The paper's time-limitation mechanism suggests a quantitative prediction for the Bernoulli-shift case: crossing a block of length $k$ costs about $\lambda^k/k!$, so the critical infection rate should scale roughly linearly with $k$, which is testable by simulation.
- The complementary periodic-infections setting, which the paper leaves open, is a natural candidate for the same coupling and may exhibit a non-trivial extinction phase in one dimension.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies oriented bond-site percolation on the planar lattice L2 with columnar random stretches (ξ_x) and (ν_{x,x+1}) and a family of connection functions κλ. Theorem 1.2 asserts that, under a (1+ε)-moment condition on the stretches and certain assumptions on κλ, the model percolates for all sufficiently large λ. The proof uses a static multiscale renormalisation scheme adapted from Hilário et al. [12]. The result is applied to contact processes with periodic recovery (continuous and discrete random shifts) and to contact processes in a random spatial environment, yielding survival for large infection rates; the paper also proves absence of percolation for temporal stretches with heavier-than-exponential tails (Proposition 1.3).
Significance. If Theorem 1.2 is taken with the corrected hypothesis on λ indicated below, the paper is a solid contribution: it generalises the renormalisation scheme of [12] from undirected percolation to oriented bond-site percolation, and the couplings to the contact-process applications are explicit and checkable. The moment condition E[ξ^{1+ε}], E[ν^{1+ε}]<∞ is natural, and the applications give non-trivial survival/extinction phase transitions when combined with the extinction result of [7]. The paper contains no fitted parameters or circular predictions; the main technical input from [12] is external and published. Proposition 1.3 is a clean, correct observation. The main defect is in the statement of condition (ii) of Theorem 1.2, which does not match the paper's own examples; this is local and fixable. The dependence concern raised in the stress-test note about Case (Uni) is, in my reading, not an actual problem.
major comments (1)
- [Theorem 1.2, Eq. (3)] Condition (ii) as stated requires exp(-σs) ≤ κλ(s) for every λ≥0, but this is false for the paper's own examples: in Section 2.1.1, κλ(s)=1-exp(-λe^{-s}) and in Section 2.1.2, κλ(s)=P(A_⌊√s⌋), and both give κ_0(s)=0 for every s, so no σ>0 can exist. The verification in Section 2.1.1 proves the lower bound only for λ≥2 (Eq. (6)) and handles s≤s0 only for sufficiently large λ; Section 2.1.2 explicitly assumes λ≥100. The renormalisation proof (Lemma 2.6 and Section 2.3) needs the lower bound only for the single large λ at which the scheme is run, not uniformly for all λ≥0. I recommend changing condition (ii) to require the exponential lower bound for all λ≥λ0 for some λ0≥0 (equivalently, for all sufficiently large λ), and adjusting the applications to verify this with their respective λ0. This is a local fix and the main proof is unaffected.
minor comments (8)
- [Section 2.1.1, Case (Uni)] The stress-test concern about dependence of the stretches in Case (Uni) does not land: conditionally on U_i, S_i=2d_T(U_i,U_{i+1}) is uniform on [0,1] and independent of (U_0,...,U_{i-1}), and the resulting sequence (S_i) is i.i.d. uniform; hence ν_i=-log S_i forms an i.i.d. exponential environment as required by Theorem 1.2.
- [Section 2.2.2, definition of q_k] The symbol DTC in the definition of q_k just before Lemma 2.6 should be BTC, the bottom-top crossing event defined in the same section; the right-left crossing RLC was defined, but there is no DTC event.
- [Section 2.1.2, Case (Ber)] In the text 'set ν := K 2', the notation should read ν := K^2; the identity P(A_K)=κλ(ν) is only correct with ν=K^2, since κλ(s)=P(A_⌊√s⌋).
- [Section 2.2.3, Eq. (18)] In the lower bound for traversing a bad area, the displayed factors should be e^{-ν_{x,x+1}} e^{-ξ_x}, not e^{ν_{x,x+1}} e^{ξ_x}; as written the inequality is false because κλ(s) is bounded above by 1, not by e^s.
- [Section 1.2, paragraph on periodic recovery] There is a duplicated phrase 'this argument this argument' in the discussion of almost deterministic interarrival times; please correct the typo.
- [Section 2.2.1, Lemma 2.4] Lemma 2.4, the decoupling estimate P(I_{k,i} is bad) ≤ L_k^{-α}, is stated without proof and attributed to [12, Lem. 3.1]; since Theorem 1.2's induction in Lemma 2.6 and the Borel–Cantelli argument at (19) rely on it, please state the decoupling inequality used and explain why it transfers verbatim to the present bond-site setting, or include the proof.
- [Section 2.1.3, Proposition 1.7] The sum in the definition of ν (N_0 log N_0 + ∑_{\ell=0}^{N_0} Δ_\ell) does not match the exponent in Eq. (10), which sums over \ell=X_b+1,\dots,X_{b+1}-1; please make the stochastic domination explicit (for instance by taking ν = N log N + ∑_{i=1}^{N} Δ'_i with independent copies) so that κ_L(ν) ≤ P(edge open) holds.
- [Proof of Theorem 1.2, definition of H_k] In the definition of H_k, the events LRC(R_ver_k(i,i)) and BTC(R_hor_k(i,i+1)) appear interchanged; based on the rectangle definitions (15)–(16), H_k should involve LRC(R_hor_k) and BTC(R_ver_k) for the patching argument in Figure 13 to be correct.
Circularity Check
No load-bearing circularity: Theorem 1.2 rests on external renormalisation from [12]; the CPPR applications are honest couplings. The condition-(ii) mismatch for all λ≥0 is a correctness gap, not a circular step.
full rationale
I walked the derivation chain of Theorem 1.2 and its applications. The main proof is explicitly based on the static multiscale renormalisation scheme of [12], an external paper with no author overlap with the present manuscript. The decoupling bound in Lemma 2.4 is cited to [12, Lem. 3.1] with the proof omitted because it is identical; this is independent support, not a self-citation. The applications in Section 2.1 are genuine couplings: they construct OPRE environments and connection functions from the contact-process data and translate percolation into survival. No parameter is fitted to a subset of data and then renamed a prediction; for example, in Case (Uni), κλ(s)=1-exp(-λe^{-s}) and ν=-log(S) are chosen so that κλ(ν) equals the edge-open probability 1-exp(-λS), and Theorem 1.2 then does the work. The reader's dependence concern about Case (Uni) does not establish circularity: for i.i.d. uniforms U_i, the variables S_i=2d_T(U_i,U_{i+1}) are i.i.d. uniform on [0,1], so the OPRE environment is i.i.d. as required. The genuine issue is a hypothesis mismatch: condition (ii) of Theorem 1.2 demands exp(-σs)≤κλ(s) for every λ≥0, but the paper's own examples have κ_0=0 and the proof verifies the lower bound only for large λ (λ≥2 in Case (Uni), λ≥100 in Case (Ber)). This affects correctness of the stated theorem or its application, but it is not circular: the applications do not assume the desired survival conclusion. The self-citations [9], [15], [16], and [17] are background or motivational; [15] is used only as informal intuition for exponential survival to motivate rectangle heights and is not load-bearing. Overall, the derivation is self-contained against an external benchmark and shows no significant circularity.
Assumptions & free parameters
assumptions (3)
- domain assumption Decoupling inequality for i.i.d. environments with (1+ε) moments (Lemma 2.4, quoted from [12, Lem. 3.1]).
- standard math Ergodicity of the environment equates almost-sure percolation with positive probability of percolation from the origin.
- standard math Planarity and the FKG inequality for monotone events in the oriented lattice.
Cite this review
Pith. "Pith review of Oriented bond-site percolation in random environment and contact processes with periodic recovery." pith.science (2026). https://pith.science/paper/ATBVLGRC
@misc{pith2026250700329,
author = {Pith},
title = {Pith review of: Oriented bond-site percolation in random environment and contact processes with periodic recovery},
year = {2026},
howpublished = {\url{https://pith.science/paper/ATBVLGRC}},
note = {Machine review of arXiv:2507.00329}
}
abstract
We investigate oriented bond-site percolation on the planar lattice in which entire columns are stretched. Generalising recent results by Hil\'ario et al., we establish non-trivial percolation under a $(1+\varepsilon)$-th moment condition on the stretches and use this to prove survival of contact processes with periodic recoveries as well as in random environments.
Figures
Figures from the paper (10 more)
Reference graph
Works this paper leans on
-
[12]
Phase transition for percolation on a randomly stretched square lattice
M. R. Hilário, M. Sá, R. Sanchis, and A. Teixeira. “Phase transition for percolation on a randomly stretched square lattice”. The Annals of Applied Probability 33.4 (2023), pages 3145–3168.doi: 10.1214/22-AAP1887
-
[7]
Contact process under renewals II
L. R. Fontes, T. S. Mountford, and M. E. Vares. “Contact process under renewals II”.Stochastic Processes and their Applications 130.2 (2020), pages 1103–1118.doi: j.spa.2019.04.008. 19
work page 2020
-
[1]
The contact process in a random environment
M. Bramson, R. Durrett, and R. H. Schonmann. “The contact process in a random environment”. The Annals of Probability 19.3 (1991), pages 960–983.doi: 10.1214/aop/1176990331
arXiv 1991
-
[2]
H. Duminil-Copin, M. R. Hilário, G. Kozma, and V. Sidoravicius. “Brochette percolation”.Israel Journal of Mathematics 225.1 (2018), pages 479–501.doi: 10.1007/s11856-018-1678-0
-
[3]
Contact process under renewal cures – an overview of recent results
L. R. Fontes. “Contact process under renewal cures – an overview of recent results”.Matemática Contemporânea 58 (2023), pages 234–263.doi: http://doi.org/10.21711/231766362023/rmc587
-
[4]
Contact process under heavy-tailed renewals on finite graphs
L. R. Fontes, P. A. Gomes, and R. Sanchis. “Contact process under heavy-tailed renewals on finite graphs”.Bernoulli 27.3 (2021), pages 1745–1763.doi: 10.3150/20-BEJ1290
-
[5]
L.R.Fontes,D.H.Marchetti,T.S.Mountford,andM.E.Vares.“ContactprocessunderrenewalsI”. Stochastic Processes and their Applications 129.8 (2019), pages 2903–2911.doi: 10.1016/j.spa.2018.08.007
-
[6]
Renewal contact processes: phase transition and survival
L. R. Fontes, T. S. Mountford, D. Ungaretti, and M. E. Vares. “Renewal contact processes: phase transition and survival”. Stochastic Processes and their Applications 161 (2023), pages 102–136.doi: j.spa.2023.03.005
work page 2023
Show all 26 references
-
[8]
Phase transition on a randomly horizontally stretched square lattice
I. M. Guedes. “Phase transition on a randomly horizontally stretched square lattice”. Available athttps://repositorio. ufmg.br/bitstream/1843/78589/1/Tese_Isadora_Final_repositorio_pdfa.pdf . PhD thesis. Universidade Federal de Minas Gerais, 2024
2024
-
[9]
An ergodic and isotropic zero-conductance model with arbitrarily strong local connectivity
M. Heida, B. Jahnel, and A. D. Vu. “An ergodic and isotropic zero-conductance model with arbitrarily strong local connectivity”. Electronic Communications in Probability 29 (2024). doi: 10.1214/24-ECP633
2024 doi
-
[10]
Strict inequality for bond percolation on a dilute lattice with columnar disorder
M. R. Hilário, M. Sá, and R. Sanchis. “Strict inequality for bond percolation on a dilute lattice with columnar disorder”. Stochastic Processes and their Applications 149 (2022), pages 60–74.doi: 10.1016/j.spa.2022.03.003
2022 doi
-
[11]
M. R. Hilário, M. Sá, R. Sanchis, and A. Teixeira.A new proof for percolation phase transition on stretched lattices
-
[13]
Results on the contact process with dynamic edges or under renewals
M. R. Hilário, D. Ungaretti, D. Valesin, and M. E. Vares. “Results on the contact process with dynamic edges or under renewals”. Electronic Journal of Probability 27 (2022). doi: 10.1214/22-EJP811
2022 doi
-
[14]
Phase transition in dependent percolation
C. Hoffman. “Phase transition in dependent percolation”.Communications in Mathematical Physics 254 (2005), pages 1–
2005
-
[15]
Jahnel, L
B. Jahnel, L. Lüchtrath, and C. Mönch.Phase transitions for contact processes on sparse random graphs via metastability and local limits . 2025. arXiv:2505.22471 [math.PR]
2025 arXiv
-
[16]
Jahnel, L
B. Jahnel, L. Lüchtrath, and A. D. Vu.First contact percolation. 2024. arXiv:2412.14987 [math.PR]
2024
-
[17]
Jahnel and A
B. Jahnel and A. D. Vu. A long-range contact process in a random environment . 2023. arXiv:2310.12061 [math.PR]
2023 arXiv
-
[18]
Percolation in a dependent random environment
J. Jonasson, E. Mossel, and Y. Peres. “Percolation in a dependent random environment”.Random Structures & Algo- rithms 16.4 (2000), pages 333–343.doi: 10.1002/1098-2418(200007)16:4<333::AID-RSA3>3.0.CO;2-C
2000 doi
-
[19]
Oriented percolation in a random environment
H. Kesten, V. Sidoravicius, and M. Vares. “Oriented percolation in a random environment”. Electronic Journal of Probability 27 (2022). doi: 10.1214/22-EJP791
2022 doi
-
[20]
Dependent percolation onZ2
B. de Lima, V. Sidoravicius, and M. Vares. “Dependent percolation onZ2”. Brazilian Journal of Probability and Statistics 37.2 (2023), pages 431–454.doi: 10.1214/23-BJPS575
2023 doi
-
[21]
The contact process with dynamic edges onZ
A. Linker and D. Remenik. “The contact process with dynamic edges onZ”. Electronic Journal of Probability 25 (2020), pages 1–21. doi: 10.1214/20-EJP480
2020 doi
-
[22]
doi: 10.1007/s00220-004-1240-2
-
[23]
Survival of one dimensional renewal contact process
R. Santos and M. E. Vares. “Survival of one dimensional renewal contact process”.ALEA. Latin American Journal of Probability and Mathematical Statistics 21.2 (2024), pages 1823–1833.doi: DOI:10.30757/ALEA.v21-68
2024 doi
-
[24]
Percolation on trees under l-dependent random environments
H. M. Moreira. “Percolation on trees under l-dependent random environments”. Available athttps://www.mat.ufmg. br/posgrad/wp-content/uploads/TesesDissertacoes/Tese221.pdf. PhD thesis. Universidade Federal de Minas Gerais, 2024
2024
-
[26]
Extinction time for the contact process on general graphs
B. Schapira and D. Valesin. “Extinction time for the contact process on general graphs”.Probability Theory and Related Fields 169.3 (2017), pages 871–899.doi: 10.1007/s00440-016-0742-0. 20
2017 doi
-
[2023]
arXiv: 2311.14644 [math.PR]
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.