REVIEW 2 major objections 6 minor
Convergence Rate of Birkhoff Average for Toral Quasi-Periodic Rotations and Applications
T0 review · 2 major / 6 minor · reviewed 2026-08-04 · deepseek-v4-flash
Pith's one-line read For quasi-periodic rotations on the n-torus, Birkhoff averages of Hölder observables converge at rates that are optimal up to a logarithm, with the threshold set by the Diophantine index.
desk verdict Main Besov estimates are a real advance and likely correct; the W^{1,1} branch of the homogenization claim rests on a false embedding. 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 Besov-space decomposition f=Σ Δ_j f with a dyadic partition of unity, combined with Lemma 3.1, which controls the distribution of small divisors |ξ·ω| on each dyadic annulus: the Diophantine condition forces the values ξ·ω to be separated by at least δ_j ~ C_ω 2^{-jσ}, so the ℓ^p sum of 1/|ξ·ω| over the annulus is bounded by (constant)/δ_j. This turns the usual Fourier small-divisor sum into a dyadic estimate that is sharp at the critical regularity.
What would settle it
Take a test function on T^1 whose derivative is in L^1 but unbounded, such as a lacunary series with narrow triangular spikes, and compute the C^{0,1/2} seminorm of (2(μ+f))^{1/2} as μ→0. If the seminorm is unbounded, the claimed uniform Hölder regularity in the proof of Theorem 1.4 fails; a concrete counterexample to the statement 'W^{1,1}⊂C^{0,1/2}' would directly invalidate that step.
Extended reading notes
Core claim
Theorem 1.2 is the paper's core claim: for n≥2, ω∈D(σ,C_ω,n), and f∈C^{k,α}(T^n), the Birkhoff-average error is bounded by C∥f∥ T^{-1} if k+α>σ, by C∥f∥ T^{-1} log T if k+α=σ, and by C∥f∥ T^{-(k+α)/σ} if k+α<σ, with explicit constants. The supercritical rate is optimal, demonstrated by a co-boundary construction that achieves order T^{-1}. For n=2 and k=0 the subcritical rate is nearly optimal: a constructed example gives a lower bound of order T^{-α} against an upper bound T^{-α/(n-1+ε)}. The paper also shows the critical logarithmic loss is optimal for B^{1}_{∞,∞}(T^2).
Load-bearing premise
The paper's homogenization application for W^{1,1} potentials assumes that f_μ=(2(μ+f))^{1/2} is uniformly 1/2-Hölder when f∈W^{1,1}; a general W^{1,1} function need not be Hölder, so the ε^{1/(2σ)} rate for that case rests on a step that is not valid as written—this appears in the proof of Theorem 1.4, right after equation (4.9).
Editorial extensions
If this is right
- For any Diophantine frequency, the optimal O(1/T) convergence rate holds for observables with regularity above σ, and the sharp threshold is exactly the Diophantine index.
- The critical regularity σ carries a mandatory logarithmic loss; the paper's example shows that log T / T is the true rate for B^{1}_{∞,∞} in two dimensions.
- The Hölder subcritical rate T^{-(k+α)/σ} is nearly optimal in two dimensions, essentially settling the correct exponent for the Denjoy–Koksma phenomenon on the torus.
- The discrete analogue gives the sharpest known Denjoy–Koksma type inequality for toral rotations in dimension n+1.
- The Birkhoff-average rates directly improve the homogenization rate for quasi-periodic Hamilton–Jacobi equations and the statistical regularity of invariant measures, with exponents that are nearly optimal.
Reading between the lines
- Editorial extension: the paper leaves open the critical case for general n—whether C^{n-1} observables (regularity exactly n-1) admit the optimal T^{-1} rate without the logarithmic loss; a higher-dimensional analogue of the Lemma 3.4 construction would settle it.
- Editorial extension: the Besov/Littlewood–Paley method should extend to compact group extensions or skew products where similar small-divisor separation holds, potentially yielding rates for observables on homogeneous spaces.
- Editorial extension: the W^{1,1} branch of Theorem 1.4 hinges on a regularity assertion for the lifted observable that is not justified as written; if that step fails, the ε^{1/(2σ)} rate for W^{1,1} potentials needs a different argument, while the C^2-with-nondegenerate-minima branch appears unaffected.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops Besov-space estimates for the convergence rate of Birkhoff averages along Diophantine quasi-periodic rotations on T^n, n≥2. Theorem 1.1 gives, for observables in B^s_{p,q}, rates O(T^{-1}) when s>σ, O(T^{-1}\log T) when s=σ, and O(T^{-s/σ}) when s<σ, with an optimality example for the critical log loss. Theorem 1.2 translates these to Hölder and C^{k,α} observables, with sharp or nearly sharp lower-bound examples. Theorem 1.3 gives the discrete analogue. These estimates are applied in Theorem 1.4 to quantitative homogenization of quasi-periodic Hamilton–Jacobi equations, yielding ε^{1/(2σ)} and ε^{1/σ}|log ε| rates for W^{1,1} and C^2 nondegenerate-minimum potentials respectively, and in Theorem 1.5 to statistical regularity of invariant measures under perturbations, with an almost-optimal Wasserstein bound. The central Besov/Hölder upper-bound arguments are elementary, explicit, and built on a Littlewood–Paley frequency decomposition; the lower-bound constructions use continued-fraction Diophantine approximation.
Significance. If the results stand, they represent a substantial improvement on existing quantitative Denjoy–Koksma estimates for higher-dimensional rotations, identifying the sharp regularity threshold σ and providing explicit rates with no fitted parameters. The applications to Hamilton–Jacobi homogenization and statistical regularity are of independent interest and improve earlier rates in [25] and related literature. The main Besov-space machinery (Lemmas 3.1–3.3 and their discrete analogues) appears correct and is a genuine contribution. However, the homogenization application in Theorem 1.4 contains a false regularity assertion for W^{1,1} observables, and the optimality statement of Theorem 1.2(ii) is overstated relative to its proof. These issues do not affect Theorems 1.1–1.3, but they do affect stated applications and should be corrected before publication.
major comments (2)
- [Section 4, proof of Theorem 1.4, first bullet after (4.9)] The assertion 'If f∈W^{1,1}(T^n), then f_μ := (2(μ+f))^{1/2} ∈ C^{0,1/2}(T^n) uniformly in 0≤μ≤μ_0' is false. A W^{1,1} function need not be Hölder of any positive exponent, and composition with the square root does not create uniform 1/2-Hölder regularity. For example, on T^1 a sum of disjoint triangular spikes of height 2^{-k} on intervals of length 2^{-k^2} is in W^{1,1} but has divergent C^{0,1/2} seminorm. Consequently the estimate (4.10), and the resulting ε^{1/(2σ)} rates in (1.18)–(1.19), are unsupported as stated. The authors should either replace the W^{1,1} assumption by a Hölder-type assumption (e.g., C^{0,1/2}), or prove a suitable Besov/Bessel-potential regularity estimate for f_μ that yields the claimed rate.
- [Theorem 1.2(ii) and Proposition 3.6] The statement claims that for almost every ω and every k∈N, α∈(0,1], there exists f∈C^{k,α}(T^n) whose Birkhoff averages decay no faster than O(T^{-1}). The proof constructs f(x)=∇_ω ψ(x) with ψ(x)=∑ 2^{-j(1+α)} cos(2π 2^j x_1). This gives f∈C^{0,α}(T^n), but not f∈C^{k,α} for k≥1: the k-th derivative has Fourier coefficients of size 2^{j(k-α)}, which diverge unless k=0. Thus the optimality claim is overbroad. The construction only proves the case k=0; if the authors wish to claim optimality for C^{k,α} with k≥1, a different construction is needed, or the theorem should be restricted accordingly.
minor comments (6)
- [Section 4, proof of Theorem 1.4, upper bound, line after (4.18)] In the C^2 non-degenerate case, the estimate (4.10) gives |v_p(s)/s| ≤ C log s / s^{1/σ}, so the additive term in the line before (4.18) should be C log t / t^{1/σ}, not C/t^{1/(2σ)}. The final rate appears unaffected, but the displayed intermediate bound is inconsistent.
- [Proposition 3.5] For α=1, the proof states ∥f∥_{B^{k+1}_{∞,∞}} ≤ C∥f∥_{C^{k,1}} with 'C:=C(n,f)'. The constant should be independent of f for the norm inequality to be meaningful; as written it suggests a non-uniform estimate.
- [Lemma 2.5 heading] The heading reads 'Corrspondence' – should be 'Correspondence'.
- [Throughout] The phrase 'continuous fraction' should be 'continued fraction' (see Subsection 2.1 and elsewhere).
- [References] Reference [20] is garbled: 'HAJERBAHOURI, RAPHAËLDANCHIN,ANDJEAN-YVESCHEMIN' should be 'BAHOURI, H., CHEMIN, J.-Y., AND DANCHIN, R.'
- [Lemma 3.4] The sequence is denoted T_N in the lemma and T_j in Theorem 1.1; the notation should be unified.
Circularity Check
No circular derivation: the Birkhoff rates are proved from first principles; self-citations are contextual, not load-bearing.
full rationale
The main results Theorems 1.1–1.3 are self-contained. Lemma 3.1 derives the dyadic small-divisor bound directly from the Diophantine condition (1.5); Lemmas 3.2 and 3.3 combine it with Hölder, Hausdorff–Young, and the Littlewood–Paley decomposition; Theorem 1.2 follows through the standard Besov–Hölder identification cited to [39,49]. There is no fitted parameter, no observable defined in terms of the predicted rate, and no uniqueness theorem invoked from the authors' prior work. The self-citations to [25] in Section 4 (e.g., Lemma 4.9, Propositions 4.10/4.11) provide the Hamilton–Jacobi variational framework, not the convergence rate itself; the rate improvement comes from substituting the independently proven Birkhoff estimates, so these citations are context, not circular input. Likewise, [47] in Remark 3 is only a remark. Per the reviewing rule, I flag one mathematical gap that is not circular: Section 4, first bullet after (4.9), asserts 'If f∈W^{1,1}(T^n), then f_μ := ... ∈ C^{0,1/2}(T^n) uniformly in μ'; W^{1,1} does not imply Hölder continuity, so the ε^{1/(2σ)} homogenization rate for W^{1,1} potentials is unsupported by the given argument. This affects the correctness of Theorem 1.4, not the circularity of the derivation chain, and Theorems 1.1–1.3 are unaffected. Overall circularity score 1 (minor, non-load-bearing self-citation).
Assumptions & free parameters
assumptions (5)
- standard math Littlewood–Paley decomposition and Bernstein inequalities on T^n
- standard math Diophantine approximation facts: σ≥n−1; full-measure sets D(n−1+δ,C_ω,n); continued fraction properties and Borel–Bernstein theorem
- domain assumption Existence of effective Hamiltonian and correctors for quasi-periodic H-J equations
- ad hoc to paper f∈W^{1,1}(T^n) implies (2(μ+f))^{1/2}∈C^{0,1/2}(T^n)
- domain assumption Perturbation bound ∥V(·,δ)−ω∥_{L^∞}≤|δ| (assumption (5.2))
Cite this review
Pith. "Pith review of Convergence Rate of Birkhoff Average for Toral Quasi-Periodic Rotations and Applications." pith.science (2026). https://pith.science/paper/HRIFOLW3
@misc{pith2026260802489,
author = {Pith},
title = {Pith review of: Convergence Rate of Birkhoff Average for Toral Quasi-Periodic Rotations and Applications},
year = {2026},
howpublished = {\url{https://pith.science/paper/HRIFOLW3}},
note = {Machine review of arXiv:2608.02489}
}
read the original abstract
In this paper, we establish quantitative Denjoy--Koksma type estimates for higher-dimensional quasi-periodic torus rotations. For Diophantine frequency vectors, we establish quantitative estimates on the discrepancy between Birkhoff averages and spatial averages for observables with various Besov-type regularities. By means of suitable Sobolev embeddings, these estimates yield, to the best of our knowledge, the sharpest currently available convergence rates for H\"older continuous observables. As applications, we obtain substantially improved quantitative homogenization results for Hamilton--Jacobi equations in spatially quasi-periodic settings, as well as nearly optimal statistical regularity estimates for invariant measures under perturbations.
Reviewed August 4, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.