REVIEW 2 major objections 3 minor 42 references
Quenched invariance principle with a rate for random dynamical systems
T0 review · 2 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read For random Young towers driven by an ergodic system, zero-mean Hölder observables have self-normalized Birkhoff sums converging to a standard Brownian motion with Wasserstein rate O(n^{-1/4+1/(2q)}), where q=(a-1-δ)/(δ+1)≥4 and a is the…
desk verdict New Wasserstein rate for quenched WIP in random Young towers, but the key decay estimate applies correlation bounds to a sign function; likely repairable but currently not justified. 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 central object is the random Young tower (RYT): a skew product over an ergodic base σ with fiber maps F_ω on levels of a tower, a random return-time function R_ω, and equivariant probability measures μ_ω, satisfying return-time tail bounds (P5) and a quenched decay of correlation (P8) on bounded random Lipschitz functions F^K_β (functions whose oscillations along tower partitions decay like $β^{{s_ω}}$ with a random Lipschitz norm K_ω). The argument is carried by two decompositions: the primary martingale-coboundary decomposition φ_ω = ψ_ω + χ_{σω}∘F_ω − χ_ω, where ψ is a reverse martingale difference and χ∈L^q is built from transfer operators, and the secondary decomposition for the conditional-variance observable φ̆_ω = [P_ω($ψ_ω^{2}$ − ∫$ψ_ω^{2}$ dμ_ω)]∘F_ω, obtained via a Cesàro/mean-ergodic argument, which controls the sum of squared martingale increments. The rate then follows by comparing the self-normalized process W̃^ω_n with a martingale process, applying the martingale Skorokhod embedding, and estimating the time-change fluctuations via Kolmogorov continuity. The quantity q=(a-1-δ)/(δ+1) records how many moments are available from the a>5 tail exponent.
What would settle it
Take the intermittent-map random Young tower of Section 5 in [12] with tail exponent a, fix a centered Hölder observable φ, and compute E∫|P^n_ω(φ_ω−∫φ_ω dμ_ω)|dμ_{σ^nω} numerically or analytically for increasing n; if the decay exponent is below a−1 (or no decay appears), the estimate in Proposition 2.4 fails and with it the rate in Theorem 3.2.
Extended reading notes
Core claim
Under assumptions (P1)–(P8) on a random Young tower driven by an ergodic base, with return-time tail exponent a>5 and an observable φ in the random Lipschitz class F^K_β with zero fiberwise mean, the paper proves that for almost every environment ω the self-normalized continuous process W̃^ω_n satisfies W_{q/4}(W̃^ω_n, B) ≤ C $n^{{-1/4+1/(2q)}}$ for all n≥1, where B is a standard Brownian motion and q=(a-1-δ)/(δ+1)≥4. This is the quenched Wasserstein convergence rate: it upgrades the quenched invariance principle, proved here as well, to a quantitative statement. A key auxiliary result is the construction of two martingale-coboundary decompositions—one expressing the observable as a reverse martingale difference plus a coboundary, and a secondary one controlling sums of squares of the approximating martingale—which together yield the rate through the martingale version of Skorokhod embedding. The paper notes the rate's $n^{{-1/4}}$ floor is essentially optimal for this method, and the self-normalized formulation avoids requiring a fiberwise converging variance.
Load-bearing premise
The rate proof depends on an annealed $L^{1}$ decay bound that is obtained by feeding the sign of the transfer operator's output into a correlation decay assumption stated only for Lipschitz test functions, and the associated constant is not known to be controlled for such a discontinuous function.
Editorial extensions
If this is right
- For i.i.d. translations of Viana maps and small random perturbations of Anosov maps with ergodic driving—cases with (stretched) exponential return-time tails—the Wasserstein rate becomes O(n^{-1/4+δ}) for arbitrarily small δ>0.
- For i.i.d. perturbations of intermittent interval maps with a neutral fixed point, the rate O(n^{-1/4+1/(2q)}) is explicit in terms of the tail exponent α_0.
- The distance W_p(W̃^ω_n, B) is bounded by the same rate for all 1≤p≤q/4, since Wasserstein distances are monotone in p.
- The Lévy-Prokhorov distance between the self-normalized process and Brownian motion is O(n^{-(q-2)/(4(q+4))}), following from the general inequality relating these metrics.
- When a>9 (so q>8), the secondary decomposition yields a quenched almost sure invariance principle with rate O(n^{1/4}(log n)^{1/2}(log log n)^{1/4}).
Reading between the lines
- The rate's dependence on q is a moment-counting artifact of the martingale-coboundary method; a version using stronger L^p estimates for the coboundary could lower the 1/(2q) exponent for large a, approaching the n^{-1/4} floor the authors flag as optimal.
- The secondary decomposition controls the conditional variance process in L^{q/2}; this same object is exactly what is needed for quenched Berry–Esseen bounds, so the machinery here is a plausible route to rates in the quenched CLT for these systems.
- The self-normalized process W̃^ω_n avoids assuming fiberwise variance convergence; this construction could transfer the rate result to non-stationary environments or slowly driven systems where Σ^2_n(ω)/n oscillates, as long as the annealed decay estimates hold.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes a quenched invariance principle with an explicit Wasserstein convergence rate for random Young towers driven by an ergodic base. Under assumptions (P1)-(P8), with return-time tail exponent a>5, it proves for centered observables in a random Lipschitz class that the self-normalized process converges to a standard Brownian motion at rate O(n^{-1/4+1/(2q)}) in W_{q/4}, where q=(a-1-δ)/(δ+1)≥4. The proof hinges on a primary martingale-coboundary decomposition and a novel secondary decomposition controlling the conditional variance of the approximating martingale; the Skorokhod embedding method then yields the rate. Applications are given to i.i.d. translations of Viana maps, i.i.d. perturbations of intermittent interval maps, and small random perturbations of Anosov diffeomorphisms with ergodic driving.
Significance. If the proof gap identified below is repaired, this is a substantial contribution: it provides the first quenched Wasserstein convergence rate for random Young towers, introduces a secondary martingale-coboundary decomposition that controls conditional variance sums, and covers several important classes of random dynamical systems. The assumptions (P1)-(P8) are clearly stated as hypotheses and are verified in the cited literature, so there is no circularity. The paper is honest about the limitations of the Skorokhod embedding method (essentially optimal n^{-1/4} barrier) and gives a careful passage from the tower to the original system. The main issue is that a key annealed decay estimate is currently unjustified.
major comments (2)
- [Section 2.2, Proposition 2.4] The proof of the annealed L^1 decay applies (P8) with ψ_{σ^nω} = sgn(P^n_ω(φ_ω - ∫φ_ω dμ_ω)). However, (P8) is stated only for test functions ψ ∈ F^K_β, a Lipschitz class with random constant K_ω. A sign function of a general L^∞ function is not Lipschitz and has no finite Lipschitz constant, so the hypothesis of (P8) is not satisfied, and the constant C_{φ,ψ} in (P8), which in standard formulations depends on the Lipschitz norm of ψ, cannot be taken finite for this choice. This estimate is used in Lemma 4.1 to prove χ,ψ ∈ L^q and in Lemma 4.3 to control (4.1)-(4.3), so the primary and secondary martingale-coboundary decompositions, and hence the rate in Theorem 3.2, are not justified as written. A repair would require either an extension of (P8) to L^∞ test functions with a constant independent of the Lipschitz norm, or a separate annealed L^1 decay argument via Lipschitz approximation with a quantitative error; neither appears in the manuscript, and a naive Lipschitz approximation with constant N would yield only n^{-(a-1-δ)/2} after optimizing N.
- [Section 6.2, proof of Theorem 3.2] The final combination of estimates reads "Cn^{-1/4+1/(2q)} + Cn^{-1/4+ε} ≤ Cn^{-1/4+1/(2q)} where the last inequality holds because ε>0 can be taken arbitrarily small." This is imprecise: for a fixed q, one must choose ε = 1/(2q) in Lemma 6.4 (which is allowed, since Lemma 6.4 holds for any ε>0 with a constant depending on ε). As written, the sentence suggests a uniform inequality in n that is false for arbitrary small ε. This is a presentation issue rather than a fatal gap, but it should be fixed by explicitly choosing ε=1/(2q) in the application of Lemma 6.4.
minor comments (3)
- [Throughout] There are numerous typos, including "Wassertein" (title, abstract), "eatimate" and "eati" (Lemma 4.3), "Gaussion" (proof of Corollary 5.6), and "reflexible" (Lemma 4.2, should be "reflexive"). A careful proofreading pass is needed.
- [Section 2.1, definition of F^K_β] The notation K_{σ^{-n}ω}+C_{h,F} in Proposition 2.5 is used without explicitly defining the sum of a random variable K and a constant inside the function class; please clarify that the Lipschitz constant in the class is allowed to depend on this shifted random constant.
- [Section 6.2, Lemma 6.4] In the estimate (6.17), the inequality n^{-(γ-2γ/q)} ≤ n^{-γ/2} requires q≥4; this holds by assumption but should be stated explicitly at that point rather than as a side remark.
Circularity Check
No significant circularity: the main theorem is a conditional result built on external assumptions (P1)-(P8), and no prediction reduces to a fitted input or to a self-citation by construction.
full rationale
I walked the derivation chain and found no circular step. Theorem 3.2 is a conditional Wasserstein-rate bound for the self-normalized process W~_n defined in (3.2); the normalization by Sigma_n^2(omega) is an explicit redefinition of the process, not a hidden use of the conclusion. The proof reduces to the primary martingale-coboundary decomposition (Lemma 4.1), the secondary decomposition (Lemma 4.3), and auxiliary estimates (Lemmas 5.1-5.4, 6.2, Proposition 6.3, Lemmas 6.4, 6.6). These lemmas use Proposition 2.4, which in turn invokes the externally assumed quenched decay of correlation (P8), and Proposition 2.1, cited to external works. No parameter is fitted to a subset of data and then renamed a prediction. The paper's self-citations, e.g. Liu-Wang [31,32], appear in the introduction for deterministic or sequential systems and are not load-bearing for the quenched random-tower argument. The most serious issue is a proof gap, not circularity: in Proposition 2.4, the proof applies (P8) with psi = sgn P^n_omega(phi_omega - integral phi_omega d mu_omega), while (P8) is stated for psi in the Lipschitz class F^K_beta; a sign function is generally not in that class, and the constant C_{phi,psi} in (P8) is allowed to depend on the Lipschitz data of psi. This is a correctness risk in the written proof, and if unrepairable it would invalidate the estimates in Lemma 4.1 and Lemma 4.3. But it is not a circularity: (P8) is an external hypothesis, not the theorem being proved, and the gap does not make the conclusion equivalent to an input by construction. The paper is honestly conditional on (P1)-(P8) and on the prior constructions cited for examples, so the circularity score is 0.
Assumptions & free parameters
assumptions (4)
- domain assumption The random Young tower satisfies (P1)-(P7): Markov, bounded distortion, weak expansion, aperiodicity, return-time asymptotics, finiteness, and annealed return-time asymptotics.
- domain assumption The quenched decay of correlations (P8) holds with rate n^{-(a-1-δ)}.
- domain assumption The driving system σ is an invertible ergodic measure-preserving transformation on (Ω,F,P).
- standard math Standard probability tools: Birkhoff ergodic theorem, Burkholder-Davis-Gundy inequality, Skorokhod embedding theorem (Hall and Heyde), martingale CLT (Billingsley).
Cite this review
Pith. "Pith review of Quenched invariance principle with a rate for random dynamical systems." pith.science (2026). https://pith.science/paper/WU5RFGR2
@misc{pith2026250613167,
author = {Pith},
title = {Pith review of: Quenched invariance principle with a rate for random dynamical systems},
year = {2026},
howpublished = {\url{https://pith.science/paper/WU5RFGR2}},
note = {Machine review of arXiv:2506.13167}
}
read the original abstract
In this paper, we consider the quenched invariance principle for random Young towers driven by an ergodic system. In particular, we obtain the Wassertein convergence rate in the quenched invariance principle. As a key ingredient, we derive a new martingale-coboundary decomposition for the random tower map, which provides a good control over sums of squares of the approximating martingale. We apply our results to a class of random dynamical systems that admit a random Young tower, such as independent and identically distributed (i.i.d.) translations of Viana maps, intermittent maps of the interval and small random perturbations of Anosov maps with an ergodic driving system.
Reference graph
Works this paper leans on
- [1]
-
[2]
J. F. Alves and V. Ara´ ujo, Random perturbations of non-uniformly expanding maps,Ast´ erisque286(2003), 25–62
work page 2003
-
[3]
J. F. Alves, W. Bahsoun and M. Ruziboev, Almost sure rates of mixing for partially hyperbolic attractors. J. Differential Equations311(2022), 98–157
work page 2022
-
[4]
J. F. Alves, W. Bahsoun, M. Ruziboev and P. Varandas, Quenched decay of correlations for nonuniformly hyperbolic random maps with an ergodic driving system,Nonlinearity36(2023), 3294–3318
work page 2023
-
[5]
J. F. Alves and H. Vilarinho, Strong stochastic stability for non-uniformly expanding maps,Ergodic Theory Dynam. Systems33(2013), 647–692
work page 2013
-
[6]
M. Antoniou, Rates of convergence for statistical limit laws in deterministic dynamical systems,PhD Thesis, University of Warwick, 2018
work page 2018
-
[7]
M. Antoniou and I. Melbourne, Rate of convergence in the weak invariance principle for deterministic systems, Comm. Math. Phys.369(2019), 1147–1165
work page 2019
-
[8]
Arnold,Random Dynamical Systems, Springer Monogr
L. Arnold,Random Dynamical Systems, Springer Monogr. Math. Springer-Verlag, Berlin, 1998. xvi+586 pp
work page 1998
Show all 42 references
-
[9]
Atnip, G
J. Atnip, G. Froyland, C. Gonz´ alez-Tokman and S. Vaienti, Thermodynamic formalism for random weighted covering systems.Comm. Math. Phys.386(2021), 819–902
2021
-
[10]
Atnip, G
J. Atnip, G. Froyland, C. Gonz´ alez-Tokman and S. Vaienti, Equilibrium states for non-transitive random open and closed dynamical systems,Ergodic Theory Dynam. Systems43(2023), 3193–3215
2023
-
[11]
Atnip, G
J. Atnip, G. Froyland, C. Gonz´ alez-Tokman and S. Vaienti, Thermodynamic formalism and perturbation formulae for quenched random open dynamical systems, 160 pp, to appear inDissertationes Mathematicae. https://arxiv.org/pdf/2307.00774.pdf
-
[12]
Bahsoun, C
W. Bahsoun, C. Bose and M. Ruziboev, Quenched decay of correlations for slowly mixing systems,Trans. Amer. Math. Soc.372(2019), 6547–6587
2019
-
[13]
Baladi, M
V. Baladi, M. Benedicks and V. Maume-Deschamps, Almost sure rates of mixing for i.i.d. unimodal maps, Ann. Sci. ´Ecole Norm. Sup. (4)35(2002), 77–126
2002
-
[14]
Billingsley,Convergence of Probability Measures,2nd edition, Wiley Series in Probability and Statistics: Probability and Statistics
P. Billingsley,Convergence of Probability Measures,2nd edition, Wiley Series in Probability and Statistics: Probability and Statistics. A Wiley-Interscience Publication. New York, 1999. x+277 pp
1999
-
[15]
D. L. Burkholder, Distribution function inequalities for martingales,Ann. Probability1(1973), 19–42
1973
-
[16]
P. L. Butzer and U. Westphal, The mean ergodic theorem and saturation,Indiana Univ. Math. J.20(1971), 1163–1174
1971
-
[17]
Buzzi, Exponential decay of correlations for random Lasota-Yorke maps,Comm
J. Buzzi, Exponential decay of correlations for random Lasota-Yorke maps,Comm. Math. Phys.208(1999), 25–54
1999
-
[18]
M. M. Castro and G. Tenaglia, Random Young towers and quenched decay of correlations for predominantly expanding multimodal circle maps, arXiv:2303.16345
-
[19]
Cuny and F
C. Cuny and F. Merlev` ede, Strong invariance principles with rate for “reverse” martingale differences and applications.J. Theoret. Probab.28(2015), 137–183
2015
-
[20]
Dragiˇ cevi´ c, G
D. Dragiˇ cevi´ c, G. Froyland, C. Gonz´ alez-Tokman and S. Vaienti, Almost sure invariance principle for random piecewise expanding maps,Nonlinearity31(2018), 2252–2280
2018
-
[21]
Dragiˇ cevi´ c, G
D. Dragiˇ cevi´ c, G. Froyland, C. Gonz´ alez-Tokman and S. Vaienti, A spectral approach for quenched limit theorems for random expanding dynamical systems,Comm. Math. Phys.360(2018), 1121–1187
2018
-
[22]
Dragiˇ cevi´ c, G
D. Dragiˇ cevi´ c, G. Froyland, C. Gonz´ alez-Tokman and S. Vaienti, A spectral approach for quenched limit theorems for random hyperbolic dynamical systems,Trans. Amer. Math. Soc.373(2020), 629–664
2020
-
[23]
Dragiˇ cevi´ c and Y
D. Dragiˇ cevi´ c and Y. Hafouta, Almost sure invariance principle for random dynamical systems via Gou¨ ezel’s approach.Nonlinearity34(2021), 6773–6798
2021
-
[24]
Du, On mixing rates for random perturbations,PhD Thesis,National University of Singapore, 2015
Z. Du, On mixing rates for random perturbations,PhD Thesis,National University of Singapore, 2015
2015
-
[25]
Fleming-V´ azquez, Rates of convergence in the multivariate weak invariance principle for nonuniformly hyperbolic maps, arXiv:2503.16358
N. Fleming-V´ azquez, Rates of convergence in the multivariate weak invariance principle for nonuniformly hyperbolic maps, arXiv:2503.16358. W ASSERSTEIN CONVERGENCE RATES IN THE QUENCHED INV ARIANCE PRINCIPLE 31
-
[26]
Hafouta, Limit theorems for random non-uniformly expanding or hyperbolic maps with exponential tails, Ann
Y. Hafouta, Limit theorems for random non-uniformly expanding or hyperbolic maps with exponential tails, Ann. Henri Poincar´ e23(2022), 293–332
2022
-
[27]
Hall and C
P. Hall and C. C. Heyde,Martingale Limit Theory and Its Application, Probability and Mathematical Sta- tistics. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1980. xii+308 pp
1980
-
[28]
Kifer,Ergodic Theory for Random Transformations, Birkhauser, Boston, 1986
Y. Kifer,Ergodic Theory for Random Transformations, Birkhauser, Boston, 1986
1986
-
[29]
Korepanov, Z
A. Korepanov, Z. Kosloff and I. Melbourne, Martingale-coboundary decomposition for families of dynamical systems,Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire35(2018), 859–885
2018
-
[30]
Li and H
X. Li and H. Vilarinho, Almost sure mixing rates for non-uniformly expanding maps,Stoch. Dyn.18(2018), 1850027, 34 pp
2018
-
[31]
Liu and Z
Z. Liu and Z. Wang, Wasserstein convergence rates in the invariance principle for deterministic dynamical systems,Ergodic Theory Dynam. Systems44(2024), 1172–1191
2024
-
[32]
Liu and Z
Z. Liu and Z. Wang, Wasserstein convergence rates in the invariance principle for sequential dynamical systems,Nonlinearity37(2024), Paper No. 125019, 27 pp
2024
-
[33]
Liverani, Central limit theorem for deterministic systems,International Conference on Dynamical Systems (Montevideo, 1995)(Pitman Res
C. Liverani, Central limit theorem for deterministic systems,International Conference on Dynamical Systems (Montevideo, 1995)(Pitman Res. Notes Math. Ser.,362)Longman, Harlow, 1996, 56–75
1995
-
[34]
Liverani, B
C. Liverani, B. Saussol and S. Vaienti, A probabilistic approach to intermittency,Ergodic Theory Dynam. Systems,19(1999), 671–685
1999
-
[35]
Muhammad and M
M. Muhammad and M. Ruziboev, Quenched mixing rates for doubly intermittent maps, arXiv:2404.09751
-
[36]
Paviato, Rates for maps and flows in a deterministic multidimensional weak invariance principle, arXiv:2406.06123
N. Paviato, Rates for maps and flows in a deterministic multidimensional weak invariance principle, arXiv:2406.06123
-
[37]
Sawyer, Rates of convergence for some functionals in probability,Ann
S. Sawyer, Rates of convergence for some functionals in probability,Ann. Math. Statist.43(1972), 273–284
1972
-
[38]
Su, Random Young towers and quenched limit laws,Ergodic Theory Dynam
Y. Su, Random Young towers and quenched limit laws,Ergodic Theory Dynam. Systems43(2023), 971–1003
2023
-
[39]
Tyran-Kami´ nska, An invariance principle for maps with polynomial decay of correlations,Comm
M. Tyran-Kami´ nska, An invariance principle for maps with polynomial decay of correlations,Comm. Math. Phys.260(2005), 1–15
2005
-
[40]
Villani,Optimal Transport
C. Villani,Optimal Transport. Old and New.Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 338. Springer-Verlag, Berlin, 2009. xxii+973 pp
2009
-
[41]
Young, Statistical properties of dynamical systems with some hyperbolicity,Ann
L.-S. Young, Statistical properties of dynamical systems with some hyperbolicity,Ann. of Math.(2)147 (1998), 585–650
1998
-
[42]
Young, Recurrence times and rates of mixing,Israel J
L.-S. Young, Recurrence times and rates of mixing,Israel J. Math.110(1999), 153–188. Z. Liu: School of Mathematical Sciences, Dalian University of Technology, Dalian 116024, P. R. China Email address:zxliu@dlut.edu.cn B. Saussol: Aix Marseille Universit ´e, CNRS, I2M, 13009 Ma...
1999
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.