Pith. sign in

REVIEW 1 major objections 52 references

Discrete analogues in harmonic analysis: $TT^*$ methods

T0 review · 1 major / 0 minor · reviewed 2026-06-27 · grok-4.3

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

Pith's one-line read TT* almost-orthogonality methods establish the ℓ²(ℤ^d) boundedness of Bourgain's maximal inequality for discrete Radon polynomial averages.

desk verdict This note re-proves Bourgain's existing ℓ² bound for discrete Radon polynomial averages via TT* almost-orthogonality rather than delivering a new theorem. read the letter →

arxiv 2606.07359 v1 pith:VNNUB42P submitted 2026-06-05 math.CA

Bartosz Langowski , Mariusz Mirek , Tomasz Z. Szarek This is my paper · ORCID
classification math.CA
keywords discreteRadonoperatorsTT*argumentsalmost-orthogonalitymaximalinequalityBourgainaveragesharmonicanalysisℓ²boundednesspolynomial
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

The paper demonstrates that almost-orthogonality techniques resting on TT* arguments can prove boundedness for discrete Radon-type operators in settings where classical Fourier methods fail. It supplies a new proof of the ℓ²(ℤ^d) boundedness for Bourgain's maximal inequality on Radon polynomial averages, chosen specifically to isolate the core ideas of the discrete TT* approach. A reader following the argument sees that the method relies on decomposing the operator so that cross terms remain small in a controlled way. The work matters because it shows how such arguments transfer from continuous to discrete settings for averaging operators on the integer lattice.

What carries the argument

The TT* almost-orthogonality argument, which controls the inner products of the operator pieces to yield the desired ℓ² bound.

What would settle it

An explicit polynomial for which the associated maximal Radon average operator is shown to be unbounded on ℓ²(ℤ^d) would refute the boundedness claim obtained via this TT* argument.

Watch

Extended reading notes

Core claim

The ℓ²(ℤ^d)-boundedness of Bourgain's maximal inequality for Radon polynomial averages is obtained by applying an almost-orthogonality argument based on TT* estimates directly to the discrete Radon operators.

Load-bearing premise

The discrete Radon operators meet the structural conditions that let the TT* almost-orthogonality estimate apply without extra technical adjustments.

Editorial extensions

If this is right

  • The same TT* decomposition yields ℓ² bounds for other discrete Radon-type averaging operators.
  • The argument succeeds in regimes where Fourier-analytic tools are unavailable.
  • The maximal inequality holds on the integer lattice once the almost-orthogonality constants are verified to decay appropriately.

Reading between the lines

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

  • The method may adapt to averages along other algebraic varieties on ℤ^d.
  • Similar TT* decompositions could simplify proofs of related maximal inequalities arising in ergodic theory on ℤ-actions.
  • One could test whether the same structural conditions suffice for vector-valued or weighted variants of the inequality.
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.

Referee Report

1 major / 0 minor

Summary. The manuscript presents a new proof of the ℓ²(ℤ^d)-boundedness of Bourgain's maximal inequality for Radon polynomial averages, employing almost-orthogonality methods based on TT* arguments for discrete Radon-type operators; the note is framed as an illustration of these methods when classical Fourier techniques are unavailable, with technical details omitted to focus on core ideas.

Significance. If the argument is fully substantiated, the note would demonstrate the viability of TT* almost-orthogonality techniques as an alternative to Fourier methods for discrete maximal operators, offering a template potentially useful for other discrete harmonic analysis problems.

major comments (1)
  1. [Abstract] Abstract: the claim to supply a new proof of the boundedness is undercut by the explicit statement that the argument is given 'to avoid technicalities'; without explicit confirmation that the discrete Radon polynomial averages satisfy the required almost-orthogonality estimates (e.g., decay rates on the TT* kernels accounting for the polynomial phase in the discrete Fourier multiplier), the TT* method does not automatically yield the ℓ² boundedness result.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting an important point about the scope and presentation of our note. We respond to the major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the claim to supply a new proof of the boundedness is undercut by the explicit statement that the argument is given 'to avoid technicalities'; without explicit confirmation that the discrete Radon polynomial averages satisfy the required almost-orthogonality estimates (e.g., decay rates on the TT* kernels accounting for the polynomial phase in the discrete Fourier multiplier), the TT* method does not automatically yield the ℓ² boundedness result.

    Authors: We agree with the referee that the current wording creates an ambiguity. The manuscript is framed as a short note whose primary goal is to illustrate how TT* almost-orthogonality arguments can be adapted to discrete Radon-type operators when classical Fourier techniques are unavailable. The phrase “to avoid technicalities” was intended to signal that we are outlining the logical structure of the argument rather than supplying a fully self-contained proof. Nevertheless, the abstract does claim to “give a new proof,” which is not accurate given the omissions. We will revise the abstract and the opening paragraph of the introduction to state explicitly that the note provides a conceptual outline of the TT* method applied to Bourgain’s maximal inequality, with the verification of the requisite almost-orthogonality estimates (including the decay of the TT* kernels that accounts for the polynomial phase) left for a separate, more technical work. This change will remove any implication that the boundedness result is established in full detail within the present note. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; derivation is self-contained

full rationale

The paper applies standard TT* almost-orthogonality methods to reprove a known ℓ² boundedness result for discrete Radon polynomial averages. The abstract frames this as an illustrative new proof chosen specifically to highlight key ideas while sidestepping technicalities, with no equations, parameter fits, or self-citations appearing in the provided text. No load-bearing step reduces by construction to the paper's own inputs or prior self-referential claims; the argument is presented as independent application of existing harmonic-analysis techniques to the discrete setting.

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

Abstract only; no explicit free parameters, axioms, or invented entities are stated or derivable.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Discrete analogues in harmonic analysis: $TT^*$ methods." pith.science (2026). https://pith.science/paper/VNNUB42P

@misc{pith2026260607359,
  author       = {Pith},
  title        = {Pith review of: Discrete analogues in harmonic analysis: $TT^*$ methods},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VNNUB42P}},
  note         = {Machine review of arXiv:2606.07359}
}
abstract

In this note we present how the almost-orthogonality methods based on $TT^*$ arguments can be employed to study boundedness of discrete operators of Radon type. Almost-orthogonality methods have particular significance when the classical Fourier methods are not available. However here, to avoid technicalities and present the key ideas behind the discrete almost-orthogonality methods, we give a new proof of the $\ell^2(\mathbb{Z}^d)$-boundedness of Bourgain's maximal inequality for Radon polynomial averages.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

52 extracted references · 2 canonical work pages

  1. [1]

    Anderson, D

    T. Anderson, D. Maldague, L. Pierce, P.-L. Yung. On polynomial Carleson operators along quadratic hypersurfaces. J. Geom. Anal. 34 (2024), no. 10, article 321, 47 pp

    2024

  2. [2]

    Bergelson, A

    V. Bergelson, A. Leibman. A nilpotent Roth theorem. Invent. Math. 147 (2002), pp. 429--470

    2002

  3. [3]

    Bourgain

    J. Bourgain. On the maximal ergodic theorem for certain subsets of the integers. Israel J. Math. 61 (1988), pp. 39--72

    1988

  4. [4]

    Bourgain

    J. Bourgain. On the pointwise ergodic theorem on L^p for arithmetic sets. Israel J. Math. 61 (1988), pp. 73--84

    1988

  5. [5]

    Bourgain

    J. Bourgain. Pointwise ergodic theorems for arithmetic sets. With an appendix by the author, H. Furstenberg, Y. Katznelson, and D. S. Ornstein. Inst. Hautes Études Sci. Publ. Math. 69 (1989), pp. 5--45

    1989

  6. [6]

    Carleson

    L. Carleson. On convergence and growth of partial sums of Fourier series. Acta Math. 116 (1966), pp. 135--157

    1966

  7. [7]

    Christ, A

    M. Christ, A. Nagel, E. M. Stein, S. Wainger. Singular and maximal Radon transforms: analysis and geometry. Ann. of Math. 150 (1999), no. 2, pp. 489--577

    1999

  8. [8]

    M. Cotlar. A combinatorial inequality and its applications to L^2 spaces. Rev. Mat. Cuyana 1 (1955), pp. 41--55

    1955

Show all 52 references
  1. [9]

    Einsiedler, T

    M. Einsiedler, T. Ward. Ergodic Theory with a View Towards Number Theory. Graduate Texts in Mathematics, Vol. 259, Springer, London, 2011

    2011

  2. [10]

    Fefferman

    C. Fefferman. Pointwise convergence of Fourier series. Ann. of Math. 98 (1973), pp. 551--571

    1973

  3. [11]

    Frantzikinakis

    N. Frantzikinakis. Some open problems on multiple ergodic averages. Bull. Hellenic Math. Soc. 60 (2016), pp. 41--90

    2016

  4. [12]

    Furstenberg

    H. Furstenberg. Recurrence in Ergodic Theory and Combinatorial Number Theory. Princeton University Press, Princeton, NJ, 1981

    1981

  5. [13]

    S. Guo, L. Pierce, J. Roos, P.-L. Yung. Polynomial Carleson operators along monomial curves in the plane. J. Geom. Anal. 27 (2017), pp. 2977--3012

    2017

  6. [14]

    L. Guth. Large value estimates in number theory, harmonic analysis, and computer science. Available at arXiv:2503.07410

  7. [15]

    L. Guth, J. Maynard. New large value estimates for Dirichlet polynomials. Ann. of Math. 203 (2026), no. 2, pp. 623--675

    2026

  8. [16]

    G. H. Hardy, J. E. Littlewood. A maximal theorem with function-theoretic applications. Acta Math. 51 (1930), no. 1, pp. 81--116

    1930

  9. [17]

    A. D. Ionescu, Á. Magyar, M. Mirek, T. Z. Szarek. Polynomial averages and pointwise ergodic theorems on nilpotent groups. Invent. Math. 231 (2023), pp. 1023--1140

    2023

  10. [18]

    A. D. Ionescu, Á. Magyar, M. Mirek, T. Z. Szarek. Polynomial sequences in discrete nilpotent groups of step 2 . Adv. Nonlinear Stud. 23 (2023), no. 1, article 20230085

    2023

  11. [19]

    Ionescu, Á

    A. Ionescu, Á. Magyar, E. M. Stein, S. Wainger. Discrete Radon transforms and applications to ergodic theory. Acta Math. 198 (2007), pp. 231--298

    2007

  12. [20]

    Ionescu, Á

    A. Ionescu, Á. Magyar, S. Wainger. Averages along polynomial sequences in discrete nilpotent Lie groups: singular Radon transforms. In Advances in Analysis: The Legacy of Elias M. Stein, Princeton Math. Ser., Vol. 50, Princeton Univ. Press, Princeton, NJ, 2014, pp. 146--188

    2014

  13. [21]

    A. D. Ionescu, S. Wainger. L^p boundedness of discrete singular Radon transforms. J. Amer. Math. Soc. 19 (2005), no. 2, pp. 357--383

    2005

  14. [22]

    Iwaniec, E

    H. Iwaniec, E. Kowalski. Analytic Number Theory. Amer. Math. Soc. Colloquium Publications, Vol. 53, AMS, Providence, RI, 2004

    2004

  15. [23]

    Knapp, E

    A. Knapp, E. M. Stein. Intertwining operators for semisimple groups. Ann. of Math. 93 (1971), no. 3, pp. 489--578

    1971

  16. [24]

    A. N. Kolmogorov, G. A. Seliverstov. Sur la convergence des séries de Fourier. C. R. Acad. Sci. Paris 178 (1924), pp. 303--306

    1924

  17. [25]

    D. Kosz, M. Mirek, S. Peluse, R. Wan, J. Wright. The multilinear circle method and a question of Bergelson. Available at arXiv:2411.09478

  18. [26]

    Krause, J

    B. Krause, J. Roos. Discrete analogues of maximally modulated singular integrals of Stein--Wainger type. J. Eur. Math. Soc. 24 (2022), no. 9, pp. 3183--3213

    2022

  19. [27]

    V. Lie. The polynomial Carleson operator. Ann. of Math. 192 (2020), no. 1, pp. 47--163

    2020

  20. [28]

    Magyar, E

    A. Magyar, E. M. Stein, S. Wainger. Discrete analogues in harmonic analysis: spherical averages. Ann. of Math. 155 (2002), pp. 189--208

    2002

  21. [29]

    Magyar, E

    A. Magyar, E. M. Stein, S. Wainger. Maximal operators associated to discrete subgroups of nilpotent Lie groups. J. Anal. Math. 101 (2007), no. 1, pp. 257--312

    2007

  22. [30]

    Mirek, W

    M. Mirek, W. Słomian, T. Z. Szarek. Some remarks on oscillation inequalities. Ergodic Theory Dynam. Systems 43 (2023), no. 10, pp. 3383--3412

    2023

  23. [31]

    Mirek, E

    M. Mirek, E. M. Stein, B. Trojan. ^p( Z ^d) -estimates for discrete operators of Radon type I: maximal functions and vector-valued estimates. J. Funct. Anal. 277 (2019), no. 8, pp. 2471--2521

    2019

  24. [32]

    Mirek, E

    M. Mirek, E. M. Stein, B. Trojan. ^p( Z ^d) -estimates for discrete operators of Radon type: variational estimates. Invent. Math. 209 (2017), no. 3, pp. 665--748

    2017

  25. [33]

    Mirek, E

    M. Mirek, E. M. Stein, P. Zorin-Kranich. Jump inequalities for translation-invariant operators of Radon type on Z ^d . Adv. Math. 365 (2020), article 107065, 57 pp

    2020

  26. [34]

    Mirek, E

    M. Mirek, E. M. Stein, P. Zorin-Kranich. A bootstrapping approach to jump inequalities and their applications. Anal. PDE 13 (2020), no. 2, pp. 527--558

    2020

  27. [35]

    M. B. Nathanson. Additive Number Theory: The Classical Bases. Springer, New York, 1996

    1996

  28. [36]

    A. Nevo. Pointwise ergodic theorems for actions of groups. In Handbook of Dynamical Systems, Vol. 1B, A. Katok and B. Hasselblatt (eds.), Elsevier, 2005, Chapter 13

    2005

  29. [37]

    L. B. Pierce. Discrete Analogues in Harmonic Analysis. PhD Thesis, Princeton University, 2009

    2009

  30. [38]

    Pierce, P.-L

    L. Pierce, P.-L. Yung. A polynomial Carleson operator along the paraboloid. Rev. Mat. Iberoam. 35 (2019), no. 2, pp. 339--422

    2019

  31. [39]

    A. I. Plessner. \"Uber Konvergenz von trigonometrischen Reihen. J. Reine Angew. Math. 155 (1925), pp. 15--25

    1925

  32. [40]

    A. Sárközy. On difference sets of sequences of integers. I--II. Acta Math. Acad. Sci. Hungar. 31 (1978), pp. 125--149

    1978

  33. [41]

    A. Sárközy. On difference sets of sequences of integers. III. Acta Math. Acad. Sci. Hungar. 31 (1978), pp. 355--386

    1978

  34. [42]

    E. M. Stein. Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton University Press, Princeton, NJ, 1993

    1993

  35. [43]

    E. M. Stein. On the maximal ergodic theorem. Proc. Natl. Acad. Sci. USA 47 (1961), no. 12, pp. 1894--1897

    1961

  36. [44]

    E. M. Stein, S. Wainger. Discrete analogues in harmonic analysis, I: ^2 estimates for singular Radon transforms. Amer. J. Math. 121 (1999), pp. 1291--1336

    1999

  37. [45]

    E. M. Stein, S. Wainger. Oscillatory integrals related to Carleson theorem. Math. Res. Lett. 8 (2001), pp. 789--800

    2001

  38. [46]

    B. Weiss. Positive cones in Hilbert space and a maximal inequality. In Inequalities III (Proc. Third Sympos., Univ. California, Los Angeles, Calif., 1969), pp. 353--358, Academic Press, 1972

    1969

  39. [47]

    T. Tao. 247B, Notes 1. https://terrytao.wordpress.com/2020/03/29/247b-notes-1-restriction-theory/

    2020

  40. [48]

    R. C. Vaughan. The Hardy--Littlewood Method. Cambridge University Press, Cambridge, 1981

    1981

  41. [49]

    I. M. Vinogradov. The Method of Trigonometrical Sums in the Theory of Numbers. Interscience Publishers, New York, 1954

    1954

  42. [50]

    von Neumann

    J. von Neumann. Proof of the quasi-ergodic hypothesis. Proc. Natl. Acad. Sci. USA 18 (1932), pp. 70--82

    1932

  43. [51]

    H. Weyl. \"Uber die Gleichverteilung von Zahlen mod. Eins. Math. Ann. 77 (1916), pp. 313--352

    1916

  44. [52]

    T. D. Wooley. MATH 59800 Introduction to the circle method and its application. Spring 2023. Available at https://www.math.purdue.edu/ twooley/2023ant/2023antnotes.pdf

    2023

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.