On Central Limit Theorems for Additive Functionals of Reversible Ergodic Markov Processes

Edward C Waymire

REVIEW 1 major objections 1 minor 12 references

On Central Limit Theorems for Additive Functionals of Reversible Ergodic Markov Processes

T0 review · 1 major / 1 minor · reviewed 2026-05-22 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read The reversible case of Bhattacharya's theorem implies the Kipnis-Varadhan functional central limit theorem for ergodic Markov processes.

desk verdict This short note shows that Bhattacharya's theorem in the reversible case implies the Kipnis-Varadhan functional CLT by folding resolvent identity into the range condition on the generator. read the letter →

arxiv 2505.01045 v2 submitted 2025-05-02 math.PR

Edward C Waymire This is my paper

classification math.PR

keywords centrallimittheoremMarkovprocessesreversibleergodicfunctionalCLTsemigrouptheoryinfinitesimalgenerator

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This note shows that the time-reversible case of a general theorem by Bhattacharya directly implies the Kipnis-Varadhan functional central limit theorem for additive functionals of ergodic Markov processes. The connection is made by incorporating basic results from semigroup theory, including the resolvent identity, into Bhattacharya's range condition on the infinitesimal generator. A sympathetic reader would care because reversibility is a common and useful property in many Markov models, allowing a single general result to cover a wide class of limit theorems without separate proofs. If the implication holds, then many asymptotic results for reversible ergodic processes follow immediately from the broader Bhattacharya framework rather than requiring tailored arguments.

What carries the argument

Bhattacharya's range condition for the infinitesimal generator, adapted via the resolvent identity and other semigroup results in the reversible case.

What would settle it

A concrete reversible ergodic Markov process for which the adapted range condition holds but the functional central limit theorem fails to apply, or a calculation showing the range condition cannot be satisfied under the reversible assumption in a known case where the CLT is known to hold.

Watch

Extended reading notes

Core claim

In the time reversible case, a general theorem of Bhattacharya implies the Kipnis-Varadhan functional central limit theorem for ergodic Markov processes. This is achieved by incorporating a few results from semigroup theory, including the resolvent identity, into Bhattacharya's range condition for the infinitesimal generator.

Load-bearing premise

That results from semigroup theory such as the resolvent identity can be incorporated into Bhattacharya's range condition precisely when the Markov process is time-reversible.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The main takeaway is that this note reduces the Kipnis-Varadhan functional CLT for ergodic Markov processes to the reversible case of Bhattacharya's theorem. It does so by bringing in a few standard semigroup facts, including the resolvent identity, to adjust the range condition on the infinitesimal generator. That is the actual content: an implication between two known results rather than a standalone new theorem or first-principles derivation. The paper does this cleanly enough on the surface. The abstract states the logical step directly, and the approach uses tools that are already part of the standard toolkit for these processes. If the details go through without hidden gaps, it gives people working on functional CLTs a slightly shorter route in the reversible setting. The soft spot is exactly the one the stress test flags. The argument needs the adjusted range condition to hold whenever the process is reversible and ergodic. The note appears to treat this as following from the resolvent identity and the usual properties, but an explicit verification that no further restrictions on the state space or the test functions are required would make the claim tighter. Without that check visible, a reader has to trust that the incorporation works precisely under the stated assumptions. This is a minor note aimed at specialists who already know both Bhattacharya and Kipnis-Varadhan. It tidies a relationship rather than opening new territory, so most readers outside that narrow subfield will not need it. Still, the thinking is straightforward and the citations are on point. I would send it to a referee rather than desk reject it. A short communication or remark could be the right home if the range-condition step is spelled out more explicitly in revision.

Referee Report

1 major / 1 minor

Summary. The manuscript is a note showing that the time reversible case of Bhattacharya's general theorem implies the Kipnis-Varadhan functional central limit theorem for ergodic Markov processes by incorporating semigroup theory results like the resolvent identity into Bhattacharya's range condition for the infinitesimal generator.

Significance. If the argument is completed rigorously, it establishes a link between two CLT results for Markov processes using semigroup methods, which could be useful for extending or understanding such theorems in the reversible setting. The paper provides a conceptual reduction rather than new empirical results.

major comments (1)

The key step of modifying Bhattacharya's range condition using the resolvent identity is outlined but not explicitly verified to be satisfied under the sole assumptions of time-reversibility and ergodicity. This verification is necessary to confirm that the implication to the Kipnis-Varadhan theorem holds without additional restrictions on the state space or function class.

minor comments (1)

Typo in abstract: 'incoporated' should read 'incorporated'. Typo in abstract: 'inifinitesimal' should read 'infinitesimal'.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful review and valuable feedback on our note. We agree that the verification of the modified range condition using the resolvent identity needs to be made more explicit to fully establish the implication under the assumptions of time-reversibility and ergodicity alone. We have revised the manuscript accordingly to include this detailed verification.

read point-by-point responses

Referee: The key step of modifying Bhattacharya's range condition using the resolvent identity is outlined but not explicitly verified to be satisfied under the sole assumptions of time-reversibility and ergodicity. This verification is necessary to confirm that the implication to the Kipnis-Varadhan theorem holds without additional restrictions on the state space or function class.

Authors: We thank the referee for pointing this out. The manuscript outlines the incorporation of the resolvent identity into Bhattacharya's range condition, but we acknowledge that an explicit verification step-by-step under only time-reversibility and ergodicity would clarify that no additional assumptions are needed. In the revised version, we will expand this section to provide a rigorous verification, drawing on standard results from semigroup theory for reversible Markov processes, ensuring the range condition holds for the appropriate additive functionals without restricting the state space or function class further. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: implication derived from external Bhattacharya theorem plus standard semigroup facts

full rationale

The paper's central step takes Bhattacharya's general theorem in the reversible case and inserts known semigroup results (resolvent identity) into the range condition on the generator to reach the Kipnis-Varadhan CLT. This is an implication relying on independently established external results rather than any self-definition, fitted parameter renamed as prediction, or self-citation chain that reduces the target statement to its own inputs by construction. No equations or claims in the provided text exhibit the forbidden patterns; the derivation remains self-contained against external benchmarks.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

The central claim rests on standard results from semigroup theory and the prior theorems of Bhattacharya and Kipnis-Varadhan; no new free parameters or invented entities are introduced in the abstract.

assumptions (1)

standard math Results from semigroup theory, including the resolvent identity, apply to the range condition for the infinitesimal generator
Incorporated to handle the time-reversible case of Bhattacharya's theorem.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On Central Limit Theorems for Additive Functionals of Reversible Ergodic Markov Processes." pith.science (2026). https://pith.science/paper/2505.01045

@misc{pith2026250501045,
  author       = {Pith},
  title        = {Pith review of: On Central Limit Theorems for Additive Functionals of Reversible Ergodic Markov Processes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2505.01045}},
  note         = {Machine review of arXiv:2505.01045}
}

read the original abstract

In this note, the time reversible case of a general theorem of Bhattacharya is shown to imply the Kipnis-Varadhan functional central limit theorem for ergodic Markov processes. To this end, a few results from semigroup theory, including the resolvent identity, are incoporated in Bhattacharya's range condition for the inifinitesimal generator.

Discussion (0). Sign in to comment.

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

a few results from semigroup theory, including the resolvent identity, are incorporated in Bhattacharya’s range condition for the infinitesimal generator
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

σ²(f) = 2⟨(−Â)⁻¹f,f⟩_π and D(−Â)⁻¹/² ⊃ RÂ

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

12 extracted references · 12 canonical work pages

[1]

1, 17–36

SJ Bernau,The square root of a positive self-adjoint operator, Journal of the Australian Mathematical Society8 (1968), no. 1, 17–36

work page 1968
[2]

Rabi Bhattacharya and Edward C Waymire,Continuous parameter Markov processes and stochastic differential equations, Springer Graduate Texts in Mathematics, 2023

work page 2023
[3]

2, 185–201

Rabi N Bhattacharya,On the functional central limit theorem and the law of the iterated logarithm for Markov processes, Zeitschrift f¨ur Wahrscheinlichkeitstheorie und verwandte Gebiete60(1982), no. 2, 185–201

work page 1982
[4]

1, 33–39

Rabi N Bhattacharya and Vijay K Gupta,On the Taylor—Aris theory of solute transport in a capillary, SIAM Journal on Applied Mathematics44(1984), no. 1, 33–39

work page 1984
[5]

Chuchu Chen, Xinyu Chen, and Jialin Hong,The law of iterated logarithm for numerical approximation of time-homogeneous Markov processes, arXiv preprint arXiv:2511.05217 (2025)

work page arXiv 2025
[6]

Persi Diaconis and Steven N Evans,A different construction of Gaussian fields from Markov chains: Dirichlet covariances, Annales de l’institut henri poincare (b) probability and statistics, 2002, pp. 863–878

work page 2002
[7]

Claude Kipnis and SR Srinivasa Varadhan,Central limit theorem for additive functionals of reversible Markov processes and applications to simple exclusions, Communications in Mathematical Physics104(1986), no. 1, 1–19

work page 1986
[8]

345, Springer Science & Business Media, 2012

Tomasz Komorowski, Claudio Landim, and Stefano Olla,Fluctuations in Markov processes: time symmetry and martingale approximation, V ol. 345, Springer Science & Business Media, 2012. 6

work page 2012

Show all 12 references

[9]

324, springer science & Business Media, 1999

Thomas M Liggett,Stochastic interacting systems: contact, voter and exclusion processes, V ol. 324, springer science & Business Media, 1999

1999
[10]

Multiscale Modeling & Simulation5(2006), no

Jorge M Ramirez, Enrique A Thomann, Edward C Waymire, Roy Haggerty, and Brian Wood,A generalized Taylor-Aris formula and skew diffusion, SIAM Jour. Multiscale Modeling & Simulation5(2006), no. 3, 786– 801

2006
[11]

Sunder Sethuraman,Topics in probability: Large scale stochastic dynamics l8, https://math.arizona.edu/ sethu- ram/math588.html(2024)

2024
[12]

Srinivasa RS Varadhan,Self diffusion of a tagged particle in equilibrium for asymmetric mean zero random walk with simple exclusion, Annales de l’ihp probabilit´es et statistiques, 1995, pp. 273–285. 7

1995

Pith tools

Reviewed May 22, 2026 · model on record in the stance chip above.

[1] [1]

1, 17–36

SJ Bernau,The square root of a positive self-adjoint operator, Journal of the Australian Mathematical Society8 (1968), no. 1, 17–36

work page 1968

[2] [2]

Rabi Bhattacharya and Edward C Waymire,Continuous parameter Markov processes and stochastic differential equations, Springer Graduate Texts in Mathematics, 2023

work page 2023

[3] [3]

2, 185–201

Rabi N Bhattacharya,On the functional central limit theorem and the law of the iterated logarithm for Markov processes, Zeitschrift f¨ur Wahrscheinlichkeitstheorie und verwandte Gebiete60(1982), no. 2, 185–201

work page 1982

[4] [4]

1, 33–39

Rabi N Bhattacharya and Vijay K Gupta,On the Taylor—Aris theory of solute transport in a capillary, SIAM Journal on Applied Mathematics44(1984), no. 1, 33–39

work page 1984

[5] [5]

Chuchu Chen, Xinyu Chen, and Jialin Hong,The law of iterated logarithm for numerical approximation of time-homogeneous Markov processes, arXiv preprint arXiv:2511.05217 (2025)

work page arXiv 2025

[6] [6]

Persi Diaconis and Steven N Evans,A different construction of Gaussian fields from Markov chains: Dirichlet covariances, Annales de l’institut henri poincare (b) probability and statistics, 2002, pp. 863–878

work page 2002

[7] [7]

Claude Kipnis and SR Srinivasa Varadhan,Central limit theorem for additive functionals of reversible Markov processes and applications to simple exclusions, Communications in Mathematical Physics104(1986), no. 1, 1–19

work page 1986

[8] [8]

345, Springer Science & Business Media, 2012

Tomasz Komorowski, Claudio Landim, and Stefano Olla,Fluctuations in Markov processes: time symmetry and martingale approximation, V ol. 345, Springer Science & Business Media, 2012. 6

work page 2012