Back to search
2504.12510

QUANTITATIVE CONVERGENCE FOR SPARSE ERGODIC AVERAGES IN L1

Ben Krause, Yu-Chen Sun

correctmedium confidence
Category
math.DS
Journal tier
Specialist/Solid
Processed
Sep 28, 2025, 12:56 AM

Audit review

The paper proves uniform weak-(1,1) jump/variation/oscillation bounds along lacunary times for the sequences a_n = ⌊n^c⌋ with 1<c<8/7 and for random hitting times with EX_n=n^{-α}, 0<α<1/2 (Theorem 1.4), via a calibrated Calderón–Zygmund scheme anchored by three structural hypotheses (ℓ2-boundedness, sparse support, reflection symmetry) and a detailed verification for the deterministic and random models (Proposition 3.2 and Section 4) . The candidate solution outlines a different proof strategy based on a lacunary square function of increments S_D and an asserted L^2 multiplier difference bound sup_θ ∑_j |m_{N_{j+1}}−m_{N_j}|^2<∞, but it neither proves this key bound nor is it the route taken in the paper; it also treats as “pointwise” an inequality with the (r−2)/r factor that is known in operator/norm form, not as a general pointwise comparison. The model therefore hinges on unproven steps and a mis-citation that the paper contains the required S_D argument (it does not).

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} specialist/solid

\textbf{Justification:}

The manuscript presents a unified endpoint framework for quantitative convergence of sparse ergodic averages, covering both Piatetski–Shapiro type sequences with 1<c<8/7 and random hitting times with 0<α<1/2. The core contribution is an abstract Calderón–Zygmund principle (Proposition 3.2) tailored to oscillation/jump/variation operators, together with a careful verification of the structural hypotheses for the examples at hand. The exposition is largely clear, and the route via reflection symmetry and Lipschitz control is both novel and robust. I recommend minor revisions for clarity (e.g., slightly expanding parts of Section 4 where technical estimates are compressed) and for adding a few guiding remarks on the necessity of the range 1<c<8/7.