Improved Survival Results for the One-Dimensional Renewal Contact Process
Pith reviewed 2026-06-29 05:31 UTC · model grok-4.3
The pith
The one-dimensional renewal contact process has a finite critical infection rate for every non-degenerate arithmetic interarrival distribution.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that λ_c(μ)<+∞ for every non-degenerate arithmetic interarrival distribution. Moreover, finiteness holds whenever the atomic component of the renewal measure is uniformly small on sufficiently short intervals. This criterion applies in particular to all non-atomic interarrival distributions, including singular continuous laws. The proof combines local estimates for renewal measures with a comparison to a regenerative oriented percolation model and a Peierls-type contour argument.
What carries the argument
Comparison to a regenerative oriented percolation model, supported by local estimates on renewal measures and a Peierls-type contour argument.
If this is right
- The renewal contact process exhibits a non-trivial phase transition for every non-degenerate arithmetic recovery distribution.
- Survival with positive probability occurs above a finite critical infection rate for all non-atomic interarrival laws, including singular continuous ones.
- The atomic-component condition on short intervals is sufficient to guarantee the result beyond the Markovian case.
- Local control of renewal probabilities suffices to bound the infection spread via percolation comparison in one dimension.
Where Pith is reading between the lines
- The same local-estimate strategy might adapt to other one-dimensional interacting systems whose clocks satisfy comparable renewal regularity.
- If the atomic-component condition turns out to be necessary, it would delineate a sharp boundary between distributions that permit survival and those that force extinction at all rates.
- Extending the comparison technique to two dimensions would test whether the finiteness result persists when percolation arguments become more delicate.
Load-bearing premise
The local estimates for renewal measures and the comparison to a regenerative oriented percolation model remain valid under the stated conditions on the atomic component of the interarrival distribution.
What would settle it
An explicit arithmetic interarrival distribution for which the process dies out almost surely at every finite infection rate would falsify the claim that λ_c(μ) is always finite.
Figures
read the original abstract
The renewal contact process is a non-Markovian variant of the classical contact process in which recoveries are governed by independent renewal processes with interarrival distribution $\mu$. We establish new sufficient conditions ensuring finiteness of the critical infection parameter $\lambda_c(\mu)$ for the one-dimensional model. In particular, we prove that $\lambda_c(\mu)<+\infty$ for every non-degenerate arithmetic interarrival distribution. Moreover, finiteness holds whenever the atomic component of the renewal measure is uniformly small on sufficiently short intervals. This criterion applies in particular to all non-atomic interarrival distributions, including singular continuous laws. The proof combines local estimates for renewal measures with a comparison to a regenerative oriented percolation model and a Peierls-type contour argument.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that the critical infection rate λ_c(μ) is finite for the one-dimensional renewal contact process whenever the interarrival distribution μ is non-degenerate and arithmetic, and more generally whenever the atomic component of the associated renewal measure is uniformly small on sufficiently short intervals. This criterion covers all non-atomic distributions, including singular continuous laws. The argument proceeds by establishing local estimates for the renewal measure, comparing the process to a regenerative oriented percolation model, and controlling the latter via a Peierls-type contour argument.
Significance. If the local estimates and percolation comparison hold under the stated hypotheses on the atomic component, the result substantially enlarges the class of interarrival distributions for which survival occurs at small λ. In particular, it settles the finiteness question for all arithmetic μ and for singular continuous μ, cases that had remained open. The proof strategy is standard in the field but requires uniform control on the renewal measure that the atomic-smallness condition supplies directly.
minor comments (3)
- §1, paragraph following the statement of Theorem 1.1: the phrase 'non-degenerate arithmetic' is used without an explicit definition; a one-sentence clarification of what 'non-degenerate' means for the support of μ would prevent ambiguity with the later atomic-component hypothesis.
- §3.2, display (3.4): the constant C appearing in the local renewal estimate is stated to depend only on the length of the short interval, but the dependence on the total mass of the atomic component is not recorded; adding this dependence would make the uniformity claim fully explicit.
- Figure 2: the caption refers to 'typical contour configurations' but does not indicate the scale or the value of λ used in the simulation; a brief note on the parameters would improve reproducibility.
Simulated Author's Rebuttal
We thank the referee for the positive and detailed assessment of our manuscript, including the recognition that the result settles the finiteness question for arithmetic and singular continuous interarrival distributions. The recommendation for minor revision is noted. No major comments were listed in the report.
Circularity Check
No circularity: direct proof via estimates and comparison
full rationale
The derivation relies on local renewal-measure estimates, comparison to a regenerative oriented percolation process, and a Peierls contour argument under explicit hypotheses on the atomic component of μ. These are independent mathematical steps that do not reduce to self-definition, fitted inputs renamed as predictions, or load-bearing self-citations; the sufficient condition on atomic mass is precisely the hypothesis that makes the estimates uniform, with no internal reduction to the target result λ_c(μ)<∞. The argument is self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard properties of renewal measures and the contact process on Z
Reference graph
Works this paper leans on
-
[1]
Durrett.Ten lectures on particle systems, volume 1608 ofLecture Notes in Math
R. Durrett.Ten lectures on particle systems, volume 1608 ofLecture Notes in Math. Springer, Berlin, 1995. ISBN 3-540-60015-9. doi: 10.1007/BFb0095747. URLhttps: //doi.org/10.1007/BFb0095747
-
[2]
Feller.An introduction to probability theory and its applications, Volume 2, volume 2
W. Feller.An introduction to probability theory and its applications, Volume 2, volume 2. John Wiley & Sons, 1991
1991
-
[3]
L. R. Fontes, T. S. Mountford, and M. E. Vares. Contact process under renewals II. Stochastic Process. Appl., 130(2):1103–1118, 2020. ISSN 0304-4149,1879-209X. doi: 10.1016/j.spa.2019.04.008. URLhttps://doi.org/10.1016/j.spa.2019.04.008
-
[4]
L. R. Fontes, T. S. Mountford, D. Ungaretti, and M. E. Vares. Renewal contact processes: phase transition and survival.Stochastic Process. Appl., 161:102–136, 2023. ISSN 0304-
2023
-
[5]
URLhttps://doi.org/10.1016/j.spa.2023
doi: 10.1016/j.spa.2023.03.005. URLhttps://doi.org/10.1016/j.spa.2023. 03.005
-
[6]
L. R. G. Fontes, D. H. U. Marchetti, T. S. Mountford, and M. E. Vares. Contact process under renewals I.Stochastic Process. Appl., 129(8):2903–2911, 2019. ISSN 0304-4149. doi: 10.1016/j.spa.2018.08.007. URLhttps://doi.org/10.1016/j.spa.2018.08.007
-
[7]
G. Grimmett.Percolation, volume 321 ofGrundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, second edition, 1999. ISBN 3-540-64902-6. doi: 10.1007/978-3-662-03981-6. URL https://doi.org/10.1007/978-3-662-03981-6
-
[8]
T. E. Harris. Contact interactions on a lattice.Ann. Probability, 2:969–988, 1974. ISSN 0091-1798. doi: 10.1214/aop/1176996493. URLhttps://doi.org/10.1214/aop/ 1176996493
-
[9]
T. E. Harris. Additive set-valued Markov processes and graphical methods.Ann. Probability, 6(3):355–378, 1978. ISSN 0091-1798. doi: 10.1214/aop/1176995523. URL https://doi.org/10.1214/aop/1176995523. 17
-
[10]
M. Hil´ ario, D. Ungaretti, D. Valesin, and M. E. Vares. Results on the contact process with dynamic edges or under renewals.Electron. J. Probab., 27:Paper No. 91, 31, 2022. doi: 10.1214/22-ejp811. URLhttps://doi.org/10.1214/22-ejp811
-
[11]
T. M. Liggett.Interacting particle systems. Classics in Mathematics. Springer-Verlag, Berlin, 2005. ISBN 3-540-22617-6. doi: 10.1007/b138374. URLhttps://doi.org/10. 1007/b138374. Reprint of the 1985 original
-
[12]
R. Santos and M. E. Vares. Survival of one dimensional renewal contact process.ALEA Lat. Am. J. Probab. Math. Stat., 21(2):1823–1833, 2024. doi: 10.30757/alea.v21-68. URL https://doi.org/10.30757/alea.v21-68. 18
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.