pith. sign in

arxiv: 2605.22712 · v1 · pith:OLWPHBHNnew · submitted 2026-05-21 · 🧮 math.CA

A conjecture for arithmetic spherical maximal functions

Kevin Hughes This is my paper

Pith reviewed 2026-05-22 03:17 UTC · model grok-4.3

classification 🧮 math.CA
keywords arithmetic spherical maximal functionsdiscrete spherical averagesmaximal operatorsboundednessconjecturesparse sequencesharmonic analysis
0
0 comments X

The pith

A conjecture characterizes the boundedness of maximal functions over sparse sequences of discrete spherical averages.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper confronts a 24-year open problem on whether maximal functions over sparse sequences of discrete spherical averages can achieve better bounds than the full discrete spherical maximal function. It proposes a conjecture that aims to give the exact conditions under which these operators are bounded. A theorem is presented that lends support to the conjecture in specific settings. A reader would care because settling the boundedness question would clarify the behavior of these averaging operators and potentially unlock sharper estimates in discrete harmonic analysis.

Core claim

The author formulates a conjecture to characterize the boundedness of such maximal functions and states a theorem in support of it, targeting the open problem of obtaining improved bounds for the maximal function over a sparse sequence of discrete spherical averages going beyond the range for the full discrete spherical maximal function.

What carries the argument

The conjecture that characterizes the L^p boundedness of arithmetic spherical maximal functions associated to sparse sequences of discrete spherical averages.

If this is right

  • The conjecture would resolve the 24-year open problem by identifying when improved bounds are possible for sparse sequences.
  • A supporting theorem establishes the conjecture in at least some cases or under additional restrictions.
  • The characterization would pinpoint the precise range of exponents p where boundedness holds.
  • This framework could guide constructions of sparse sequences that achieve the improved bounds.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the conjecture holds, similar characterizations might apply to maximal functions over other sparse arithmetic sets such as circles or lattices.
  • Computational verification for small finite sparse sequences could serve as an initial test of the predicted boundedness ranges.
  • The approach might connect to questions about pointwise convergence of ergodic averages in number-theoretic settings.

Load-bearing premise

Improved bounds beyond those known for the full discrete spherical maximal function are attainable for suitable sparse sequences.

What would settle it

A sparse sequence satisfying the conjecture's conditions for which the associated maximal operator fails to be bounded on the predicted range of L^p spaces.

read the original abstract

For 24 years, it has been an open problem to obtain improved bounds, for the maximal function over a sparse sequence of discrete spherical averages, going beyond the range for the full discrete spherical maximal function. I formulate a conjecture to characterize the boundedness of such maximal functions and state a theorem in support of it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript formulates a conjecture characterizing the boundedness of arithmetic spherical maximal functions along sparse sequences of radii and states a supporting theorem providing evidence for the conjecture in special cases, addressing the 24-year open problem of obtaining improved bounds beyond those known for the full discrete spherical maximal function.

Significance. If the conjecture holds, it would provide a precise characterization of boundedness for these operators and potentially resolve the long-standing open problem in harmonic analysis. The supporting theorem is a strength of the work, as it offers concrete verification in special cases and generates testable predictions.

minor comments (2)
  1. The abstract could briefly sketch the form of the proposed conjecture to give readers an immediate sense of the characterization being advanced.
  2. Introduction: Adding an explicit citation to the original reference posing the 24-year open problem would strengthen the historical framing.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the supportive summary, the assessment of significance, and the recommendation of minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity: conjecture proposal is self-contained

full rationale

The paper formulates a new conjecture characterizing boundedness of arithmetic spherical maximal functions along sparse sequences and provides a supporting theorem in special cases. This extends a referenced 24-year open problem without any derivation chain that reduces by construction to fitted inputs, self-definitions, or load-bearing self-citations. The central claim is the conjecture itself rather than a closed derivation, and the theorem offers independent evidence in restricted settings. No steps match the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The contribution rests on prior results about the full discrete spherical maximal function; no new free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)
  • standard math Known boundedness range for the full discrete spherical maximal function
    The abstract positions the new conjecture as going beyond this established range.

pith-pipeline@v0.9.0 · 5552 in / 1113 out tokens · 71526 ms · 2026-05-22T03:17:18.377940+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    I formulate a conjecture to characterize the boundedness of such maximal functions and state a theorem in support of it. ... η(Λ) := max{ sup_p (1 + δ_p(Λ)/(d-1)), 1 + 2δ_∞(Λ)/(d-2) } ... Theorem 1. M_Λ unbounded on ℓ^p for p < η(Λ). Conjecture 1. bounded for p > η(Λ) when d ≥ 5.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [1]

    Anderson and J

    T.C. Anderson and J. Madrid,New bounds for discrete lacunary spherical averages, arXiv:2001.11557

    work page arXiv 2001

  2. [2]

    Bhojak, S

    A. Bhojak, S. Choudhary, S. Samanta and S. Shrivastava,Sparse bounds for discrete maximal functions associated with Birch–Magyar averages, Mathematika. 71.https://doi.org/10.1112/mtk.70048

    work page doi:10.1112/mtk.70048

  3. [3]

    Calder´ on,Lacunary spherical means, Illinois Journal of Mathematics23(1979), no

    C.P. Calder´ on,Lacunary spherical means, Illinois Journal of Mathematics23(1979), no. 3, 476–484

    work page 1979

  4. [4]

    Coifman and G

    R.R. Coifman and G. Weiss,Review: R. E. Edwards and G. I. Gaudry, Littlewood-Paley and multiplier theory, Bulletin of the American Mathematical Society84(1978), no. 2, 242–250

    work page 1978

  5. [5]

    Cook,Maximal function inequalities and a theorem of Birch, Isr

    B. Cook,Maximal function inequalities and a theorem of Birch, Isr. J. Math. 231, 211–241 (2019). DOI: https://doi.org/10.1007/s11856-019-1853-y

    work page doi:10.1007/s11856-019-1853-y 2019

  6. [6]

    Cook,A note on discrete spherical averages over sparse sequences, Proc

    B. Cook,A note on discrete spherical averages over sparse sequences, Proc. Amer. Math. Soc.150(2022), 4303–4314. DOI:https://doi.org/10.1090/proc/14575

    work page doi:10.1090/proc/14575 2022

  7. [7]

    Cook and K

    B. Cook and K. Hughes,Bounds for lacunary maximal functions given by Birch–Magyar averages. Trans. Amer. Math. Soc. 374 (2021), pp. 3859-3879. DOI:https://doi.org/10.1090/tran/8152

    work page doi:10.1090/tran/8152 2021

  8. [8]

    Hughes,The discrete spherical averages over a family of sparse sequences, J

    K. Hughes,The discrete spherical averages over a family of sparse sequences, J. Anal. Math. (2019) 138: no. 1, 1–21. DOI:https://doi.org/10.1007/s11854-019-0020-z

    work page doi:10.1007/s11854-019-0020-z 2019

  9. [9]

    Hughes,Restricted weak-type endpoint estimates for k-spherical maximal functions, Math

    K. Hughes,Restricted weak-type endpoint estimates for k-spherical maximal functions, Math. Z.286(2017), no. 3-4, 1303–1321. MR 3671577

    work page 2017

  10. [10]

    A. D. Ionescu,An endpoint estimate for the discrete spherical maximal function, Proc. Amer. Math. Soc. 132(2004), no. 5, 1411–1417 (electronic)

    work page 2004

  11. [11]

    Iosevich, B

    A. Iosevich, B. Langowski, M. Mirek and T. Szarek.Lattice points problem, equidistribution and ergodic theorems for certain arithmetic spheres. Math. Ann. 388, 2041–2120 (2024). DOIhttps://doi.org/10. 1007/s00208-022-02557-8

    work page 2041

  12. [12]

    Kesler, M

    R. Kesler, M. Lackey and D. Mena,Lacunary Discrete Spherical Maximal Functions, New York J. Math. 25, (2019), 541–557. https://arxiv.org/abs/1810.12344

    work page arXiv 2019

  13. [13]

    W. Li, Q. Sun and L. Wu,Noncommutative discrete spherical maximal inequalities over a lacunary sequence, Bulletin of the London Mathematical Society,58, (2026). DOI:ttps://doi.org/10.1112/blms.70282

    work page doi:10.1112/blms.70282 2026

  14. [14]

    Magyar, E

    A. Magyar, E. M. Stein and S. Wainger,Discrete analogues in harmonic analysis: spherical averages, Ann. of Math. (2)155(2002), no. 1, 189–208. MR 1888798 (2003f:42028)

    work page 2002

  15. [15]

    Mirek, T.Z

    M. Mirek, T.Z. Szarek and B. Wrobel,Dimension-Free Estimates for the Discrete Spherical Maximal Func- tions, Int. Math. Res. Not. No. 2, 901–963 (2024). DOI:https://doi.org/10.1093/imrn/rnac329

    work page doi:10.1093/imrn/rnac329 2024

  16. [16]

    Seeger, S

    A. Seeger, S. Wainger and J. Wright,Pointwise convergence of spherical means, Math. Proc. Cambridge Philos. Soc.118(1995), no. 1, 115–124. MR 1329463 (96b:42013)

    work page 1995

  17. [17]

    Zhang,A dimension-free estimate for the semi-commutative discrete spherical maximal operator, Banach J

    Y. Zhang,A dimension-free estimate for the semi-commutative discrete spherical maximal operator, Banach J. Math. Anal. 20, 23 (2026).https://doi.org/10.1007/s43037-026-00481-6 Email address:khughes.math@gmail.com 2

    work page doi:10.1007/s43037-026-00481-6 2026