Pith. sign in

REVIEW 3 major objections 4 minor 35 references

Quantitative Polynomial Wiener-Wintner Theorems

T0 review · 3 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Ergodic averages over polynomial phases get uniform variation bounds

desk verdict A clean, honest reduction of polynomial Wiener–Wintner theorems to a companion Carleson theorem; the result is real, but the load-bearing engine lives in an unreleased preprint. read the letter →

arxiv 2601.03999 v3 pith:G2PPG5KN submitted 2026-01-07 math.DS math.CA

Lars Becker , Asgar Jamneshan , Christoph Thiele This is my paper
classification math.DSmath.CA MSC 37A3037A4542B20
keywords Wiener–Wintnertheorempolynomialphasesr-variationnormshomogeneousLiegroupsnilpotentsingularintegralsergodicaveragesCarleson
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 paper proves that the classical Wiener–Wintner theorem—uniform pointwise convergence of ergodic averages over all frequencies—extends to a quantitative, polynomial form for measure-preserving actions of homogeneous Lie groups. The central result is an L^p estimate, for p∈(1,∞) and r>2, on the r-variation in the ball radius of modulated averages and truncated singular integrals, uniformly over a compatible family of polynomial phases. This yields polynomial Wiener–Wintner theorems with explicit rate control for both plain ergodic averages and averages with singular-integral weights, and for quadratic phases that take values in unitary groups. The proof is a reduction: the variational estimates are deduced from a generalized polynomial Carleson theorem on doubling metric measure spaces, together with a transference principle and a sparse-domination step.

What carries the argument

The argument is carried by three pieces. First, the r-variation norm, r>2, quantifies uniformity of convergence in the truncation parameter R (or u); this is the quantitative content. Second, the modulation family must be compatible and ε-cancellative—conditions that make the family behave like a finite-dimensional, well-separated set of phases and directly enable the oscillatory-cancellation estimate (1.5). Third, the decisive input is the generalized polynomial Carleson theorem: restricted weak-type L^q bounds for maximally modulated singular integrals on doubling metric measure spaces, which the paper invokes from its companion work. The proof then removes smooth cutoffs by an approximati

What would settle it

Find a doubling metric measure space and a compatible, ε-cancellative modulation family for which the maximally modulated singular integral T has unbounded norm on L^q for some 1<q≤2, or exhibit a homogeneous Lie group with a degree-d Leibman polynomial family for which the cancellation estimate (1.5) fails at some scale; either would refute Theorem 1.3 and its corollaries.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central claim is Theorem 1.3: for any d-dimensional metric measure space carrying a compatible, ε-cancellative collection of modulation functions Q, and for p∈(1,∞), r>2, α∈(0,1], the supremum over Q of the r-variation in the truncation parameter of the modulated averages A_R(Q,f) is bounded in L^p by C∥f∥_p, and the same holds for truncated singular integrals S_u(K,Q,f) with kernels satisfying a cancellation condition. Specializing Q to the collection of real-valued Leibman polynomials of degree at most d on a homogeneous Lie group (Corollary 1.4) and applying the transference principle, the authors obtain quantitative polynomial Wiener–Wintner theorems for mea

Load-bearing premise

The main estimate inherits the generalized polynomial Carleson theorem from the companion paper—restricted weak-type L^q bounds for maximally modulated singular integrals on doubling metric measure spaces—which is assumed, not proved here, and the ε-cancellation condition for the modulation family must hold; if either fails, Theorem 1.3 does not follow.

Editorial extensions

If this is right

  • The classical Wiener–Wintner theorem is extended in three ways at once: the acting group is a homogeneous (hence nilpotent) Lie group, the phases are polynomial rather than linear, and the convergence is quantified by finiteness of an r-variation norm uniform in the phase.
  • Pointwise convergence of polynomial ergodic averages holds with a single null set valid for every polynomial phase of bounded degree on these groups, with a uniform L^p bound on the r-variation.
  • The same quantitative uniform statement holds for ergodic averages with a singular-integral weight, including convolution kernels on the group.
  • For quadratic phases into unitary groups, a Wiener–Wintner statement with bounded smooth test functions follows (Corollary 1.7).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Given that the companion Carleson theorem is computer-verified, a natural next step is a fully formalized proof of the transference and sparse-domination steps, which would make the ergodic theorems themselves machine-checked.
  • The paper's structure suggests that any modulation family satisfying compatibility and ε-cancellation automatically yields quantitative Wiener–Wintner theorems; a testable extension is to construct such families in non-doubling or non-homogeneous settings to see where the doubling requirement is truly needed.
  • The unitary-group case for quadratic phases is a template: if the unknown structure of higher-degree universal polynomial groups is divisible and solvable, as the paper notes, the same argument would prove the analogue for all degrees.
  • Because the proof only needs the cancellation estimate at scales where a Euclidean-type coordinate bound holds, a large-scale Wiener–Wintner theorem on general nilpotent Lie groups is plausible, as the paper itself expects.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper proves quantitative polynomial Wiener-Wintner theorems in a very general setting: for d-dimensional metric measure spaces satisfying a restrictive volume measure condition, for compatible ε-cancellative families of modulations, and for homogeneous Lie groups with Leibman polynomial phases. The main estimate, Theorem 1.3, gives r-variation bounds (r>2) in the radial truncation parameter, uniformly over all admissible polynomial modulations, for both averages and singular integrals with cancellation kernels. The proof is a reduction: Theorem 2.2, quoted from the companion preprint [4], supplies the core generalized polynomial Carleson bound; [34] supplies the nontangential maximal function input; Sections 2–4 perform linearization, approximation of sharp cutoffs by smooth cutoffs, and sparse-domination extension to all p∈(1,∞). Section 5 verifies that homogeneous Lie groups and their Leibman polynomials satisfy the hypotheses, and Section 6 derives a corollary for quadratic polynomials into unitary groups.

Significance. If the companion theorem [4] is valid, the paper achieves a substantial unification: it recovers and extends previous polynomial Wiener–Wintner results to actions of homogeneous Lie groups, with uniform r-variation control and with singular-integral weights. The organization is explicit and the local arguments (linearization, cutoff approximation, sparse domination, transference) are coherent. The paper contains no fitted parameters and the reduction to the established machinery of [34] and [24] is natural. Its main weakness is external dependence: the load-bearing Carleson bound is not proved here, and the claim in §1.4.1 that [4] is computer-verified is not supported by the cited blueprint. The significance is therefore real but conditional on [4].

major comments (3)
  1. [§1.2, Theorem 1.3 and §2.3, Theorem 2.2] The central estimate is a direct consequence of Theorem 2.2, which is quoted from the companion preprint [4] and is not proved in this manuscript. The paper only checks that the linearized kernels are one-sided β-kernels and that the nontangential maximal operator is L²-bounded (Proposition 2.3). Thus the main theorem is conditional on an external, currently unpublished result by overlapping authors. This should be stated prominently in the introduction, and either a proof or a detailed and self-contained statement of Theorem 2.2 should be included before final acceptance.
  2. [§5, Lemma 5.4] The verification of the ε-cancellative condition (1.5) for homogeneous Lie groups is load-bearing for Corollary 1.4, yet it invokes [35, Lemma A.1] without stating that lemma or its hypotheses. The reduction from the d_B oscillation to the parameter η=(1+d_B(f,g))^{-1/d_R} and the use of the C^{0,1} norm need to be written out. The specific exponent ε=1/(d d_R) should be derived explicitly from the stated van der Corput estimate. As written, a referee cannot verify the applicability of [35, Lemma A.1] to this non-abelian, polynomially distorted setting.
  3. [§1.4.1] The assertion that the theorem in [4] is “formalized, i.e., verified by computer” is not supported by [3]. Reference [3] is a blueprint for the formalization of Carleson’s theorem on convergence of Fourier series, not a proof certificate for the generalized Carleson theorem on doubling metric measure spaces used here. This overstates the available evidence for [4] and should be corrected or removed, as it currently serves as an unjustified confidence boost for the main external input.
minor comments (4)
  1. [Theorem 1.2 vs Theorem 1.5] Theorem 1.2 is stated for p∈(1,∞], but Theorem 1.5, from which it is said to follow, is stated for p∈(1,∞). The p=∞ case does follow from the p=2 estimate on a probability space, but the implication should be stated explicitly.
  2. [§2.5, Lemma 2.4] In Lemma 2.4, the condition in (2.22) says γ≤min{1/2,α}, but the proof uses γ≤1/2 and later γ≤α. This is consistent, but it would help to define γ once and state both constraints before the proof.
  3. [§5, Lemma 5.3 and Lemma 5.4] The notation ‘x−y’ denotes the abelian group law on R^n while the group law is ‘◦’; this is introduced in Lemma 5.3 but should be flagged again in Lemma 5.4 to avoid confusion with the group inverse.
  4. [§4.1] The Banach space Y of functions on Q×(0,∞) is defined with the norm sup_Q (|G(Q,1)|+||G(Q,·)||_{V^r_u}); it would be helpful to state explicitly that the supremum over Q is taken before the variation norm, since this is the space used in the sparse-dominated operator T.

Circularity Check

1 steps flagged · score 4.0 of 10

Main theorem reduces to the same-authors companion theorem [4]; no definitional circularity, but a load-bearing self-citation.

  1. self citation load bearing [Sections 1.2, 2.3, and 1.4.1 (Theorem 2.2 = [4, Theorem 1.1])]
    "In what follows we work in a slightly less general setup than in the companion publication [4], whose main result we will apply to prove our main theorem. ... We will deduce Proposition 2.1 from the generalized Carleson theorem proved in [4]. ... We emphasize that this theorem in [4] is a formalized theorem, i.e., verified by computer [3]."

    The central estimates (1.11) and (1.12) are derived by linearizing the variation norm and then applying Theorem 2.2, quoted as [4, Theorem 1.1]. That theorem is not proved in the present paper; the proof in Section 2 only checks that the linearized kernel is a one-sided β-kernel and that the nontangential maximal operator is L2-bounded, and then invokes [4] as a black box. The cited paper has overlapping authors (Becker, Jamneshan, Thiele) and is a companion preprint. The only certification offered is reference [3], which is titled a 'blueprint' for formalization, not a machine-checked proof of [4]. Thus the main theorem's core input is a same-author citation whose content is not established in this submission.

full rationale

I find no definitional circularity, no fitted input called a prediction, and no equation that reduces to itself. The paper is transparent that Theorem 1.3 is obtained from the generalized polynomial Carleson theorem of the companion paper [4], with additional verification of its hypotheses, an approximation argument, sparse domination by Lorist [24], and, in the homogeneous Lie group case, verification of compatibility and cancellation (Lemmas 5.2 and 5.4, using the van der Corput lemma [35]). These are standard modular proof steps and give the central claim substantial independent content beyond the cited theorem. The single serious circularity concern is that the load-bearing ingredient [4] is a companion preprint by the same authors, and the paper's assertion that it is 'verified by computer' is backed only by a blueprint [3], not by a certificate or by a machine-checked proof included here. Under the stated rules, a genuinely machine-checked companion theorem would be independent support; here the support is not exhibited, so the main theorem is conditionally dependent on an overlapping-author citation. This warrants a score of 4 rather than 0 or 2, but not 6 or higher, because no result is forced by definition and no prediction is an artifact of a fitted parameter.

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

The paper is best understood as a proof-by-reduction: it introduces no new entities and fits no constants, but it inherits the truth of [4], [34], [24], [35], and [13]. The list above makes explicit that the central claim is only as strong as this chain of external results.

assumptions (9)
  • domain assumption Generalized polynomial Carleson theorem [4, Theorem 2.2]
    The whole proof of Proposition 2.1 is a reduction to this restricted weak-type L^q bound for maximally modulated singular integrals; it is not proved in the present paper.
  • domain assumption Nontangential maximal operator L² estimates [34, Theorems 1.3 and 1.8]
    Needed to verify hypothesis (2.13) of [4, Theorem 2.2] for singular integrals and averages.
  • domain assumption Lorist sparse domination theorem [24, Corollary 1.2]
    Used in Section 4 to extend the range of exponents from p∈(1,2) to p∈(1,∞).
  • domain assumption d-dimensionality condition µ(B(x,R)) = C R^d (Section 1.2.1)
    The metric-measure-space framework and many volume estimates, e.g. (4.9), depend on this exact scaling. The paper notes it is inessential and can be relaxed to a small-boundary condition.
  • domain assumption Compatibility and ε-cancellation for the modulation family Q (Sections 1.2.2–1.2.3)
    Theorem 1.3 is stated only for such modulation families. For homogeneous Lie groups these are verified in Section 5, but the verification itself uses further external results.
  • domain assumption Van der Corput estimate [35, Lemma A.1]
    Used in Lemma 5.4 to prove the ε-cancellation condition for Leibman polynomials, adapted through Lemma 5.3.
  • domain assumption Structural facts on homogeneous Lie groups and Leibman polynomials [12, 27, 1, 17]
    Provides the metric (1.13), continuity of Borel polynomial maps, and the identification of real-valued Leibman polynomials with classical polynomials in exponential coordinates.
  • domain assumption Structural algebra of quadratic polynomials [13, Theorems 1.2 and 1.3]
    Needed for Corollary 1.7: the universal quadratic map and the short exact sequence Pol_2(G) → G with divisible kernel.
  • standard math Standard harmonic analysis tools (Hölder, Jensen, Hardy–Littlewood maximal theorem, interpolation)
    Used throughout the paper; accepted background.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quantitative Polynomial Wiener-Wintner Theorems." pith.science (2026). https://pith.science/paper/G2PPG5KN

@misc{pith2026260103999,
  author       = {Pith},
  title        = {Pith review of: Quantitative Polynomial Wiener-Wintner Theorems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/G2PPG5KN}},
  note         = {Machine review of arXiv:2601.03999}
}
read the original abstract

We prove quantitative polynomial Wiener--Wintner theorems in a very general setup, including measure-preserving actions of nilpotent Lie groups. Our results apply both to ergodic averages and to averages with singular integral weights. The proof relies on the generalized polynomial Carleson theorem developed in the companion paper by van Doorn, Srivastava, and the authors.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

35 extracted references · 3 linked inside Pith

  1. [4]

    Becker, F

    L. Becker, F. van Doorn, A. Jamneshan, R. Srivastava, and C. Thiele. Car- leson operators on doubling metric measure spaces. Preprint, arXiv:2508.05563 [math.CA] (2025), 2025

    arXiv 2025

  2. [34]

    Zorin-Kranich

    P. Zorin-Kranich. Variational truncations of singular integrals on spaces of homogeneous type. Preprint, arXiv:2009.04541 [math.CA] (2020), 2020

    arXiv 2009

  3. [24]

    E. Lorist. On pointwiseℓ r-sparse domination in a space of homogeneous type. J. Geom. Anal., 31(9):9366–9405, 2021

    2021

  4. [3]

    Becker, M

    L. Becker, M. I. de Frutos-Fern´ andez, L. Diedering, F. van Doorn, S. Gou¨ ezel, A. Jamneshan, E. Karunus, E. van de Meent, P. Monticone, J. Mulder-Sohn, J. Portegies, J. Roos, M. Rothgang, R. Srivastava, J. Sundstrom, J. Tan, and C. Thiele. A blueprint for the formalization of Carleson’s theorem on convergence of Fourier series. Preprint, arXiv:2405.064...

    arXiv 2025

  5. [1]

    Antonelli and E

    G. Antonelli and E. Le Donne. Polynomial and horizontally polynomial func- tions on Lie groups.Ann. Mat. Pura Appl. (4), 201(5):2063–2100, 2022

  6. [2]

    I. Assani. Wiener-Wintner ergodic theorem, in brief.Notices Amer. Math. Soc., 69(2):198–209, 2022

    2022

  7. [5]

    Bonfiglioli, E

    A. Bonfiglioli, E. Lanconelli, and F. Uguzzoni.Stratified Lie groups and poten- tial theory for their sub-Laplacians. Springer Monogr. Math. New York, NY: Springer, 2007

    2007

  8. [6]

    Bourgain

    J. Bourgain. Pointwise ergodic theorems for arithmetic sets. With an appendix on return-time sequences, jointly with Harry Furstenberg, Yitzhak Katznelson and Donald S. Ornstein.Publ. Math., Inst. Hautes ´Etud. Sci., 69:5–45, 1989

    1989

Show all 35 references
  1. [7]

    Bourgain

    J. Bourgain. Double recurrence and almost sure convergence.J. Reine Angew. Math., 404:140–161, 1990

    1990

  2. [8]

    Calder´ on

    A.-P. Calder´ on. Ergodic theory and translation-invariant operators.Proc. Nat. Acad. Sci. U.S.A., 59:349–353, 1968

    1968

  3. [9]

    Y. Do, R. Oberlin, and E. A. Palsson. Variation-norm and fluctuation estimates for ergodic bilinear averages.Indiana Univ. Math. J., 66(1):55–99, 2017

    2017

  4. [10]

    J. L. Dyer. A nilpotent Lie algebra with nilpotent automorphism group.Bull. Am. Math. Soc., 76:52–56, 1970. 26 BECKER, JAMNESHAN, AND THIELE

    1970

  5. [11]

    Eisner and B

    T. Eisner and B. Farkas.A journey through ergodic theorems. Cham: Birkh¨ auser, 2025

    2025

  6. [12]

    Hebisch and A

    W. Hebisch and A. Sikora. A smooth subadditive homogeneous norm on a homogeneous group.Studia Mathematica, 96:231–236, 1990

    1990

  7. [13]

    Jamneshan and A

    A. Jamneshan and A. Thom. Quadratic maps between non-abelian groups. Math. Proc. Camb. Philos. Soc., to appear, 2025+

    2025

  8. [14]

    R. Karidi. Geometry of balls in nilpotent Lie groups.Duke Math. J., 74(2):301– 317, 1994

    1994

  9. [15]

    B. Krause. Discrete analogues in harmonic analysis: a theorem of Stein- Wainger.J. Funct. Anal., 287(5):Paper No. 110498, 49, 2024

    2024

  10. [16]

    Krause and J

    B. Krause and J. Roos. Discrete analogues of maximally modulated singu- lar integrals of Stein-Wainger type:ℓ p bounds forp >1.J. Funct. Anal., 285(10):Paper No. 110123, 19, 2023

    2023

  11. [17]

    Kyed and H

    D. Kyed and H. Densing Petersen. Polynomial cohomology and polynomial maps on nilpotent groups.Glasg. Math. J., 62(3):706–736, 2020

    2020

  12. [18]

    Lacey and E

    M. Lacey and E. Terwilleger. A Wiener-Wintner theorem for the Hilbert trans- form.Ark. Mat., 46(2):315–336, 2008

    2008

  13. [19]

    Le Donne.Metric Lie groups

    E. Le Donne.Metric Lie groups. Carnot-Carath´ eodory spaces from the homo- geneous viewpoint, volume 306 ofGrad. Texts Math.Cham: Springer, 2025

    2025

  14. [20]

    A. Leibman. Polynomial mappings of groups.Israel J. Math., 129:29–60, 2002

    2002

  15. [21]

    E. Lesigne. Spectre quasi-discret et th´ eor` eme ergodique de Wiener-Wintner pour les polynˆ omes.Ergodic Theory Dynam. Systems, 13(4):767–784, 1993

    1993

  16. [22]

    V. Lie. The (weak-L 2) boundedness of the quadratic Carleson operator.Geom. Funct. Anal., 19(2):457–497, 2009

    2009

  17. [23]

    V. Lie. The polynomial Carleson operator.Ann. of Math. (2), 192(1):47–163, 2020

    2020

  18. [25]

    Magyar, E

    A. Magyar, E. M. Stein, and S. Wainger. Discrete analogues in harmonic anal- ysis: spherical averages.Ann. of Math. (2), 155(1):189–208, 2002

    2002

  19. [26]

    Magyar, E

    A. Magyar, E. M. Stein, and S. Wainger. Maximal operators associated to discrete subgroups of nilpotent Lie groups.J. Anal. Math., 101:257–312, 2007

    2007

  20. [27]

    Meyerovitch and O

    T. Meyerovitch and O. N. Solan. Automatic continuity of polynomial maps and cocycles.Proc. Am. Math. Soc., 153(10):4275–4281, 2025

    2025

  21. [28]

    A. Nevo. Pointwise ergodic theorems for actions of groups. InHandbook of dynamical systems. Vol. 1B, pages 871–982. Elsevier B. V., Amsterdam, 2006

    2006

  22. [29]

    Nicolaides

    R. Nicolaides. On a class of finite elements generated by Lagrange interpola- tion.SIAM Journal on Numerical Analysis, 9(3):435–445, 1972

    1972

  23. [30]

    Oberlin, A

    R. Oberlin, A. Seeger, T. Tao, C. Thiele, and J. Wright. A variation norm Carleson theorem.J. Eur. Math. Soc. (JEMS), 14(2):421–464, 2012

    2012

  24. [31]

    Ornstein and B

    D. Ornstein and B. Weiss. Subsequence ergodic theorems for amenable groups. Israel J. Math., 79(1):113–127, 1992

    1992

  25. [32]

    Wiener and A

    N. Wiener and A. Wintner. Harmonic analysis and ergodic theory.Amer. J. Math., 63:415–426, 1941

    1941

  26. [33]

    Zorin-Kranich

    P. Zorin-Kranich. Return times theorem for amenable groups.Israel J. Math., 204(1):85–96, 2014

    2014

  27. [35]

    Zorin-Kranich

    P. Zorin-Kranich. Maximal polynomial modulations of singular integrals.Adv. Math., 386:Paper No. 107832, 40, 2021. POLYNOMIAL WIENER–WINTNER 27 Department of Mathematics, Princeton University, Fine Hall, W ash- ington Road, Princeton NJ, 08544-1000, USA Email address:lbecker@m...

    2021

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.