pith. sign in

arxiv: 2605.21638 · v1 · pith:UXUEJ24Bnew · submitted 2026-05-20 · 🧮 math.PR · math-ph· math.MP

Markov Renewal Theory for Transfer Operators and Point Processes on the Line

Yoon Jun Chan , Markus Heydenreich , Sabine Jansen This is my paper

Pith reviewed 2026-05-22 08:23 UTC · model grok-4.3

classification 🧮 math.PR math-phmath.MP
keywords point processesMarkov renewal theoryexponential decaypair correlationsgeometric ergodicityPalm distributionGibbs point processesstatistical mechanics
0
0 comments X

The pith

Stationary point processes on the line have exponentially decaying pair correlations under Markov conditions on their spacings.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that for one-dimensional stationary point processes, if the intervals between consecutive points form a stationary sequence that is Markovian, geometrically ergodic, and has exponential moments, then the pair correlations decay exponentially fast. This result is obtained by proving a Markov renewal theorem that gives exponential convergence rates using regeneration techniques. A sympathetic reader would care because it provides a rigorous way to control long-range dependence in models from statistical mechanics, such as hard-core Gibbs point processes and harmonic atom chains.

Core claim

The authors establish a Markov renewal theorem with an exponential convergence rate for transfer operators. This theorem implies that the pair correlation function of the point process decays exponentially when the spacing sequence satisfies the Markov property, geometric ergodicity, and suitable moment conditions, with the stationary law of the spacings given by the Palm distribution.

What carries the argument

A Markov renewal theorem with exponential convergence rate, which uses classical regeneration techniques combined with geometric ergodicity for Markov chains on general state spaces to bound the dependence between points at large separations.

If this is right

  • Exponential decay of pair correlations holds for Gibbs point processes with hard-core and finite-range pair potentials.
  • The result applies to the harmonic chain of atoms modeled by an autoregressive Gaussian process.
  • The conditions allow control over the distribution of points at large distances in these stationary processes.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This method could be adapted to study correlation decay in other renewal-type point processes beyond one dimension if similar Markov structures are identified.
  • Exponential decay of correlations might facilitate proofs of central limit theorems or other limit laws for statistics of these point processes.
  • Direct verification in specific models could involve computing the transfer operator and checking the geometric ergodicity condition numerically.

Load-bearing premise

The sequence of spacings between points must be a Markov chain that is geometrically ergodic and whose stationary distribution comes from the Palm measure of the point process.

What would settle it

Finding a one-dimensional point process where the spacings form a Markov chain with geometric ergodicity but the pair correlations fail to decay exponentially would falsify the claim.

Figures

Figures reproduced from arXiv: 2605.21638 by Markus Heydenreich, Sabine Jansen, Yoon Jun Chan.

Figure 1
Figure 1. Figure 1: An example configuration of the Markov random walk defined by (2.2) and (2.1) with k = 3. Notice that Mi and Mi+1 has overlapping component Zi . We comment on this index choice in Remark 2.7. Let π be the distribution of M0. As (Zn)n∈Z is stationary, (Mn)n∈Z is stationary as well and π is an invariant measure for the chain, πP = π. Assumption 2.3 (Geometric ergodicity). The chain is geometrically ergodic, … view at source ↗
Figure 2
Figure 2. Figure 2: An example configuration of the Markov random walk with (M˜ n)n = [PITH_FULL_IMAGE:figures/full_fig_p030_2.png] view at source ↗
read the original abstract

We prove exponential decay of pair correlations for 1D stationary point processes when spacings satisfy a Markov condition, geometric ergodicity, and a condition on exponential moments. The conditions are phrased for stationary sequences of spacings (intervals between consecutive points) whose law comes from the Palm distribution of the point process. The key technical ingredient is a Markov renewal theorem with exponential convergence rate. The proofs combine classical regeneration techniques with the notion of geometric ergodicity for Markov chains with general state space. We apply the result to two models from statistical mechanics: (1) Gibbs point processes with a hard-core, finite-range pair potentials and (2) a harmonic chain of atoms, related to an autoregressive Gaussian process.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper proves exponential decay of pair correlations for one-dimensional stationary point processes whose inter-point spacings form a stationary Markov sequence under the Palm measure, assuming geometric ergodicity of the spacing chain and an exponential-moment condition. The central technical step is a Markov renewal theorem that yields exponential convergence rates; this is obtained via classical regeneration and geometric ergodicity arguments for general-state-space Markov chains. The result is applied to two models: hard-core Gibbs point processes with finite-range pair potentials and a harmonic chain of atoms linked to an autoregressive Gaussian process.

Significance. If the claims are established rigorously, the work supplies a useful extension of Markov renewal theory to the quantitative analysis of pair correlations in stationary point processes. The explicit formulation in terms of the Palm distribution of spacings and the concrete applications to statistical-mechanics models make the exponential-decay statements falsifiable and potentially transferable to other one-dimensional systems with Markovian dependence.

major comments (2)
  1. [§3.2, Theorem 3.1] §3.2, Theorem 3.1 and the subsequent application of the Markov renewal theorem: the exponential convergence rate for the renewal measure is stated to hold uniformly in the starting state, yet the proof invokes only geometric ergodicity of the embedded chain. For the harmonic-chain example (unbounded state space), geometric ergodicity alone does not automatically guarantee the required uniform exponential bound on the overshoot distribution; an additional drift or minorization condition on the residual lifetime appears necessary but is not verified explicitly.
  2. [§4.2, Proposition 4.3] §4.2, Proposition 4.3 (harmonic chain): the exponential-moment assumption on spacings is used to transfer the renewal rate to pair correlations, but the argument does not supply an explicit constant or a separate estimate showing that the overshoot tail remains uniformly controlled when the initial spacing is drawn from the stationary Palm measure. This step is load-bearing for the claimed decay rate in the unbounded-state-space case.
minor comments (2)
  1. [§2] Notation for the Palm version of the spacing process is introduced in §2 but used interchangeably with the stationary sequence in later sections; a short clarifying sentence would prevent confusion.
  2. [§3] The statement of the main theorem in §3 does not list the precise exponential-moment condition (e.g., existence of M>1 such that E[M^X]<∞); adding the explicit form would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive report. The two major comments correctly identify points where the uniformity of the exponential rates in the unbounded-state-space setting requires more explicit justification. We address each comment below and will revise the manuscript to incorporate the necessary clarifications and verifications.

read point-by-point responses

  1. Referee: [§3.2, Theorem 3.1] §3.2, Theorem 3.1 and the subsequent application of the Markov renewal theorem: the exponential convergence rate for the renewal measure is stated to hold uniformly in the starting state, yet the proof invokes only geometric ergodicity of the embedded chain. For the harmonic-chain example (unbounded state space), geometric ergodicity alone does not automatically guarantee the required uniform exponential bound on the overshoot distribution; an additional drift or minorization condition on the residual lifetime appears necessary but is not verified explicitly.

    Authors: We agree that the uniformity statement in Theorem 3.1 requires explicit support when the state space is unbounded. The proof combines geometric ergodicity of the spacing chain with the exponential-moment hypothesis to obtain the uniform bound on the overshoot via standard regeneration arguments. For the harmonic-chain example the autoregressive structure supplies a linear drift that yields the required minorization on the residual lifetime; however, this is only sketched rather than stated as a separate lemma. We will add a short verification (new Lemma 3.4) that confirms the drift/minorization condition holds uniformly for the harmonic-chain transition kernel. revision: yes

  2. Referee: [§4.2, Proposition 4.3] §4.2, Proposition 4.3 (harmonic chain): the exponential-moment assumption on spacings is used to transfer the renewal rate to pair correlations, but the argument does not supply an explicit constant or a separate estimate showing that the overshoot tail remains uniformly controlled when the initial spacing is drawn from the stationary Palm measure. This step is load-bearing for the claimed decay rate in the unbounded-state-space case.

    Authors: We accept that an explicit estimate of the overshoot tail under the stationary Palm measure would strengthen the presentation of Proposition 4.3. The exponential-moment assumption already guarantees that the stationary distribution of the spacing chain has finite exponential moments, which in turn controls the overshoot tail uniformly via the same renewal measure. To make the constant visible we will insert a short auxiliary estimate (new display (4.8)) that bounds the overshoot tail directly from the Palm stationary measure and the exponential-moment hypothesis. revision: yes

Circularity Check

0 steps flagged

No significant circularity; central claim rests on classical regeneration and geometric ergodicity independent of target decay

full rationale

The derivation establishes exponential decay of pair correlations via a Markov renewal theorem with exponential convergence, obtained by combining standard regeneration techniques with geometric ergodicity for the spacing chain under the Palm measure. These ingredients are drawn from classical Markov chain theory on general state spaces and do not reduce the target statement to a fit, self-definition, or self-citation chain. The two example models (Gibbs hard-core and harmonic chain) are handled by verifying the stated assumptions (Markov condition, geometric ergodicity, exponential moments) rather than by renaming or smuggling in the conclusion. No load-bearing step equates the prediction to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result depends on the Markov property and geometric ergodicity of the spacing sequence under the Palm measure, plus an exponential moments condition; these are domain assumptions rather than derived quantities.

axioms (2)
  • standard math Geometric ergodicity for Markov chains with general state space
    Invoked as the key mixing condition enabling the exponential convergence in the Markov renewal theorem.
  • domain assumption Exponential moments condition on the spacings
    Required to obtain the exponential decay rate for pair correlations.

pith-pipeline@v0.9.0 · 5647 in / 1279 out tokens · 62424 ms · 2026-05-22T08:23:16.908144+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages

  1. [1]

    Allman, V

    M. Allman, V. Betz, and M. Hairer,A chain of interacting particles under strain, Stochastic Processes Appl.121(2011), no. 9, 2014–2042

    work page 2011

  2. [2]

    Alsmeyer,The Markov renewal theorem and related results, Markov Process

    G. Alsmeyer,The Markov renewal theorem and related results, Markov Process. Related Fields3 (1997), no. 1, 103–127

    work page 1997

  3. [3]

    Alsmeyer and V

    G. Alsmeyer and V. Hoefs,Markov renewal theory for stationary(m+ 1)-block factors: convergence rate results., Stochastic Processes Appl.98(2002), no. 1, 77–112

    work page 2002

  4. [4]

    Asmussen,Applied probability and queues., 2nd ed., Appl

    S. Asmussen,Applied probability and queues., 2nd ed., Appl. Math., vol. 51, Springer, New York, 2003

    work page 2003

  5. [5]

    K. B. Athreya and P. Ney,A new approach to the limit theory of recurrent Markov chains, Trans. Am. Math. Soc.245(1978), 493–501

    work page 1978

  6. [6]

    K. B. Athreya, R. L. Tweedie, and D. Vere-Jones,Asymptotic behaviour of point processes with Markov-dependent intervals, Math. Nachr.99(1980), 301–313

    work page 1980

  7. [7]

    Aurzada, V

    F. Aurzada, V. Betz, and M. Lifshits,Breaking a chain of interacting Brownian particles, Ann. Appl. Probab.31(2021), no. 6, 2585–2611

    work page 2021

  8. [8]

    Baccelli, B

    F. Baccelli, B. B laszczyszyn, and M. Karray,Random Measures, Point Processes, and Stochastic Geometry, Inria, 2020

    work page 2020

  9. [9]

    Bach and J

    V. Bach and J. S. Møller,Correlation at low temperature. I: Exponential decay, J. Funct. Anal.203 (2003), no. 1, 93–148

    work page 2003

  10. [10]

    H. C. P. Berbee,Random walks with stationary increments and renewal theory, Mathematical Centre Tracts, vol. 112, Mathematisch Centrum, Amsterdam, 1979. 32

    work page 1979

  11. [11]

    R. C. Bradley,Basic properties of strong mixing conditions. A survey and some open questions, Probab. Surv.2(2005), 107–144

    work page 2005

  12. [12]

    Br´ emaud,Point process calculus in time and space—an introduction with applications, Probability Theory and Stochastic Modelling, vol

    P. Br´ emaud,Point process calculus in time and space—an introduction with applications, Probability Theory and Stochastic Modelling, vol. 98, Springer, Cham, 2020

    work page 2020

  13. [13]

    P. J. Brockwell and R. A. Davis,Time series: Theory and methods, 2nd ed., Springer Ser. Stat., Springer, New York, 2009

    work page 2009

  14. [14]

    F. S. Chong,A point process with second order Markov dependent intervals, Math. Nachr.103(1981), 155–163

    work page 1981

  15. [15]

    D. J. Daley and D. Vere-Jones,An introduction to the theory of point processes. Vol. I: Elementary theory and methods., 2nd ed., Probab. Appl., Springer, New York, 2003

    work page 2003

  16. [16]

    ,An introduction to the theory of point processes. Vol. II: General theory and structure., 2nd ed., Probab. Appl., Springer, New York, 2008

    work page 2008

  17. [17]

    Deimling,Nonlinear functional analysis, Springer-Verlag, Berlin, 1985

    K. Deimling,Nonlinear functional analysis, Springer-Verlag, Berlin, 1985

    work page 1985

  18. [18]

    Dereudre,Introduction to the theory of Gibbs point processes, Stochastic Geometry, Lecture Notes in Math., vol

    D. Dereudre,Introduction to the theory of Gibbs point processes, Stochastic Geometry, Lecture Notes in Math., vol. 2237, Springer, Cham, 2019, pp. 181–229

    work page 2019

  19. [19]

    Friedli and Y

    S. Friedli and Y. Velenik,Statistical mechanics of lattice systems. A concrete mathematical introduc- tion, Cambridge University Press, Cambridge, 2018

    work page 2018

  20. [20]

    Fuh,Uniform Markov renewal theory and ruin probabilities in Markov random walks., Ann

    C.-D. Fuh,Uniform Markov renewal theory and ruin probabilities in Markov random walks., Ann. Appl. Probab.14(2004), no. 3, 1202–1241

    work page 2004

  21. [21]

    Gallavotti and S

    G. Gallavotti and S. Miracle-Sole,Absence of phase transitions in hard-core one-dimensional systems with long-range interactions, J. Math. Phys.11(1970), no. 1, 147–154

    work page 1970

  22. [22]

    Georgii,Canonical and grand canonical Gibbs states for continuum systems, Comm

    H.-O. Georgii,Canonical and grand canonical Gibbs states for continuum systems, Comm. Math. Phys.48(1976), no. 1, 31–51

    work page 1976

  23. [23]

    760, Springer, Berlin, 1979

    ,Canonical Gibbs measures, Lecture Notes in Mathematics, vol. 760, Springer, Berlin, 1979

    work page 1979

  24. [24]

    Math., vol

    ,Gibbs measures and phase transitions., 2nd ed., De Gruyter Stud. Math., vol. 9, de Gruyter, Berlin, 2011

    work page 2011

  25. [25]

    Giacomin,Renewal convergence rates and correlation decay for homogeneous pinning models, Elec- tron

    G. Giacomin,Renewal convergence rates and correlation decay for homogeneous pinning models, Elec- tron. J. Probab.13(2008), 513–529

    work page 2008

  26. [26]

    Gross,Decay of correlations in classical lattice models at high temperature, Commun

    L. Gross,Decay of correlations in classical lattice models at high temperature, Commun. Math. Phys. 68(1979), 9–27

    work page 1979

  27. [27]

    Heinrich,Mixing properties of Gibbsian point process and asymptotic normality of Takacs-Fiksel estimates, 1992, preprint

    L. Heinrich,Mixing properties of Gibbsian point process and asymptotic normality of Takacs-Fiksel estimates, 1992, preprint

    work page 1992

  28. [28]

    Helffer,Semiclassical analysis, Witten Laplacians, and statistical mechanics, Ser

    B. Helffer,Semiclassical analysis, Witten Laplacians, and statistical mechanics, Ser. Partial Differ. Equ. Appl., vol. 1, World Scientific, Singapore, 2002

    work page 2002

  29. [29]

    Helffer and J

    B. Helffer and J. Sj¨ ostrand,On the correlation for Kac-like models in the convex case, J. Stat. Phys. 74(1994), no. 1-2, 349–409

    work page 1994

  30. [30]

    J. L. Jensen,Asymptotic normality of estimates in spatial point processes, Scand. J. Stat.20(1993), no. 2, 97–109

    work page 1993

  31. [31]

    Klein,Dobrushin uniqueness techniques and the decay of correlations in continuum statistical me- chanics, Commun

    D. Klein,Dobrushin uniqueness techniques and the decay of correlations in continuum statistical me- chanics, Commun. Math. Phys.86(1982), 227–246

    work page 1982

  32. [32]

    Meyn and R

    S. Meyn and R. L. Tweedie,Markov chains and stochastic stability., 2nd ed., Camb. Math. Libr., Cambridge University Press, Cambridge, 2009

    work page 2009

  33. [33]

    X. X. Nguyen and H. Zessin,Integral and differential characterizations of the Gibbs process, Math. Nachr.88(1979), 105–115

    work page 1979

  34. [34]

    Niemi,On non-singular Markov renewal processes with an application to a growth- catastrophe model, J

    S. Niemi,On non-singular Markov renewal processes with an application to a growth- catastrophe model, J. Appl. Probab.22(1985), 253–266

    work page 1985

  35. [35]

    Niemi and E

    S. Niemi and E. Nummelin,On non-singular renewal kernels with an application to a semigroup of transition kernels, Stochastic Processes Appl.22(1986), 177–202

    work page 1986

  36. [36]

    Nummelin,A splitting technique for Harris recurrent Markov chains, Probab

    E. Nummelin,A splitting technique for Harris recurrent Markov chains, Probab. Theory Relat. Fields 43(1978), 309–318

    work page 1978

  37. [37]

    Tracts Math., vol

    ,General irreducible Markov chains and non-negative operators, Camb. Tracts Math., vol. 83, Cambridge University Press, Cambridge, 1984

    work page 1984

  38. [38]

    Nummelin and P

    E. Nummelin and P. Tuominen,Geometric ergodicity of Harris recurrent Markov chains with appli- cations to renewal theory, Stochastic Processes Appl.12(1982), 187–202

    work page 1982

  39. [39]

    Nummelin and R

    E. Nummelin and R. L. Tweedie,Geometric ergodicity and R-positivity for general Markov chains, Ann. Probab.6(1978), 404–420. 33

    work page 1978

  40. [40]

    Papangelou,On the absence of phase transition in continuous one-dimensional Gibbs systems with no hard core, Probab

    F. Papangelou,On the absence of phase transition in continuous one-dimensional Gibbs systems with no hard core, Probab. Theory Relat. Fields74(1987), 485–496

    work page 1987

  41. [41]

    Poinas, B

    A. Poinas, B. Delyon, and F. Lavancier,Mixing properties and central limit theorem for associated point processes, Bernoulli25(2019), no. 3, 1724–1754

    work page 2019

  42. [42]

    Procacci and B

    A. Procacci and B. Scoppola,On decay of correlations for unbounded spin systems with arbitrary boundary conditions, J. Stat. Phys.105(2001), no. 3-4, 453–482

    work page 2001

  43. [43]

    G. O. Roberts and J. S. Rosenthal,Geometric ergodicity and hybrid Markov chains, Electron. Com- mun. Probab.2(1997), 13–25

    work page 1997

  44. [44]

    Ruelle,Superstable interactions in classical statistical mechanics, Commun

    D. Ruelle,Superstable interactions in classical statistical mechanics, Commun. Math. Phys.18(1970), 127–159

    work page 1970

  45. [45]

    ,Statistical mechanics: Rigorous results, Imperial College Press, London and World Scientific, Singapore, 1999

    work page 1999

  46. [46]

    C. J. Stone,On absolutely continuous components and renewal theory, Ann. Math. Stat.37(1966), 271–275

    work page 1966

  47. [47]

    Ueltschi,Cluster expansions and correlation functions, Mosc

    D. Ueltschi,Cluster expansions and correlation functions, Mosc. Math. J.4(2004), no. 2, 511–522. Universit¨at Augsburg, Department of Mathematics, D-86135 Augsburg, Germany Email address:yoon.chan@uni-a.de, markus.heydenreich@uni-a.de Universit¨at M ¨unchen,Mathematisches Institut Theresienstr. 39, 80333 M ¨unchen Email address:jansen@math.lmu.de

    work page 2004