Pith. sign in

REVIEW 3 major objections 4 minor 27 references

Sharp $\ell^p$-Improving Estimates for Fixed-Radius Discrete Spherical Averages

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

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

Pith's one-line read The fixed-radius discrete spherical average achieves its optimal improving range, with sharp decay and sharp endpoint, in every dimension at least four.

desk verdict A genuinely sharp endpoint result for fixed-radius discrete spherical averages, with two concrete gaps to close: a missing proof of Lemma 3.1 and a black-box uniformity lemma that is load-bearing. read the letter →

arxiv 2608.08893 v1 pith:7NUZYYBB submitted 2026-08-09 math.CA math.NT

Rui Han , Fan Yang This is my paper · ORCID
classification math.CAmath.NT MSC 42B2511P55
keywords discretesphericalaveragesfixed-radiusℓ^p-improvingestimatescirclemethodRamanujansumsincidenceboundsrestrictedweak-typeharmonicanalysisonZ^d
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 studies the fixed-radius discrete spherical average $A_R f(x)=|S_R|^{-1}\sum_{n\in\mathbb{Z}^d,\,|n|=R}f(x-n)$ and proves that it maps $\ell^p(\mathbb{Z}^d)$ into $\ell^{p'}(\mathbb{Z}^d)$ with decay $R^{-d(2/p-1)+\varepsilon}$ for the full range $(d+2)/d\le p\le 2$, whenever $d\ge5$ and $R^2$ is any positive integer, or $d=4$ and $R^2$ is a positive integer not divisible by $4$. Both the decay exponent and the lower endpoint are sharp, so the paper settles the optimal fixed-radius $\ell^p$-improving range. Earlier fixed-radius results either started later in $p$ or allowed constants that depend on the arithmetic of $R^2$; here the constant is uniform in $R$. The proof splits at a product-density threshold: above it, a circle-method estimate with Ramanujan-sum cancellation; below it, rank-sensitive integer-moment incidence counting on the lattice.

What carries the argument

The argument runs on two mechanisms. Above the density threshold $\delta=|E||F|/R^{2d}\ge R^{-\kappa_d}$ with $\kappa_d=(d-3)(d+2)/(d-2)$, a fixed-radius circle-method decomposition writes $A_R$ as a sum of low-frequency multipliers built from Ramanujan sums $c_q(|n|^2-R^2)$ plus a bounded high-frequency remainder; the exact-sphere contribution, where the Ramanujan argument vanishes, is absorbed into a small multiple of the original positive average. Below the threshold, the proof switches to geometric incidence counting. For the distance-incidence function $r_E(x)=\#\{e\in E:|x-e|=R\}$, the $j$-th integer moment counts configurations $(x,e_1,\dots,e_j)$ with $|x-e_i|=R$. These are organized by the affine rank $r$ of $\{e_1,\dots,e_j\}$: for a fixed affine basis $B$, the remaining points lie on the circumsphere $\Sigma_B$, while the admissible centers $x$ lie on the orthogonal embedded sphere $X_B$. Lemma 6.2 bounds each rank-$r$ contribution using the uniform lattice-point estimate for embedded spheres, $\#(\Sigma\cap\mathbb{Z}^d)\lesssim_{d,\varepsilon}\rho^{k-1+\varepsilon}$, and the theorem closes by matching the resulting moment bounds to the endpoint exponent in even, odd, and four-dimensional cases.

What would settle it

A concrete check: for $d=5$, take $R\to\infty$ and finite sets $E_R,F_R$ inside a cube of side about $R$ with $|E_R||F_R|$ on the order of $R^{2d-\kappa_d}$, and compare $\langle A_R1_{E_R},1_{F_R}\rangle/R^d$ with $R^{1/100}(|E_R||F_R|/R^{2d})^{d/(d+2)}$; exceeding the latter at infinitely many $R$ would disprove Proposition 1.4.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: for every $\varepsilon>0$, $\|A_R f\|_{\ell^{p'}(\mathbb{Z}^d)}\lesssim_{d,p,\varepsilon} R^{-d(2/p-1)+\varepsilon}\|f\|_{\ell^p(\mathbb{Z}^d)}$ for $(d+2)/d\le p\le2$, under the stated arithmetic condition on $R^2$. The power of $R$ cannot be increased uniformly, because a large indicator box already has $\|A_R\|_{\ell^p\to\ell^{p'}}\gtrsim R^{-d(2/p-1)}$, and the range cannot be extended below $p=(d+2)/d$, because a point mass gives $\|A_R\delta_0\|_{\ell^{p'}}=|S_R|^{-1/p}\asymp R^{-(d-2)/p}$, which outgrows the estimate exactly when $p<(d+2)/d$. In dimension four, the exclusion of $R^2\in4\mathbb{N}$ is necessary: for $R=2^j$ the sphere has only $24$ points and no decay is possible. The theorem is proved by first establishing the localized restricted weak-type endpoint at $p=(d+2)/d$, then interpolating with the trivial $\ell^1\to\ell^\infty$ and $\ell^2\to\ell^2$ bounds.

Load-bearing premise

The whole low-density half of the proof rests on the uniform bound that every nondegenerate $k$-dimensional sphere embedded in $\mathbb{R}^d$, no matter where its center sits and whether its parameters are rational or not, contains at most $O_\varepsilon(\rho^{k-1+\varepsilon})$ lattice points.

Editorial extensions

If this is right

  • The fixed-distance incidence estimate $I_R(E,F)\lesssim_{d,\varepsilon} R^{2(d-2)/(d+2)+\varepsilon}(|E||F|)^{d/(d+2)}$ holds for all finite $E,F\subset\mathbb{Z}^d$, with the same uniformity in $R$; this is Corollary 1.3.
  • Popular centers are controlled: if $r_E(x)\ge t$, then the number of such $x$ is at most $O_{d,\varepsilon}(R^{d-2+\varepsilon}|E|^{d/2}t^{-(d+2)/2})$.
  • At the endpoint, the restricted weak-type norm satisfies $\|A_R\|_{\ell^{(d+2)/d,1}\to\ell^{(d+2)/2,\infty}}\lesssim_{d,\varepsilon} R^{-d(d-2)/(d+2)+\varepsilon}$.
  • The estimate holds with constants uniform over all admissible $R^2$, removing any dependence on the number of prime factors of $R^2$ that appeared in earlier fixed-radius circle-method arguments.
  • Sharpness is intrinsic: the large-box example fixes the decay exponent and the point-mass example fixes the range, so no further endpoint improvement is possible without changing the normalization of the operator.

Reading between the lines

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

  • The uniformity in $R$ is the kind of ingredient a sparse-maximal or full-maximal theorem for fixed-radius averages would need; if the same bounds survive a summation over radii, the corresponding maximal operator should inherit the sharp improving range, though the paper does not address this.
  • The rank-sensitive moment strategy is not tied to spheres: adapting Lemma 6.2 to lattice points on other algebraic hypersurfaces, for instance discrete paraboloids or moment curves, could lower the known improving endpoint in those problems.
  • The proof leaves an $R^\varepsilon$ loss at the endpoint while the sharp examples force only a slower logarithmic-type obstruction; eliminating the loss would require a divisor-sum improvement of Lemma 3.5 rather than a change in the geometric counting.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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 fixed-radius ℓ^p-improving estimates for discrete spherical averages on Z^d. Theorem 1.1 asserts that for d≥4, with R^2∈N in dimensions d≥5 and R^2∈N∖4N in dimension 4, the probability average A_R satisfies ∥A_R f∥_{ℓ^{p'}} ≲ R^{-d(2/p-1)+ε} ∥f∥_{ℓ^p} for (d+2)/d ≤ p ≤ 2, uniformly in R. The proof separates into a circle-method regime above a density threshold and incidence-geometric regimes below it: the density threshold is handled by a refined low-frequency estimate plus an ℓ^2 high-frequency estimate, while the low-density regimes use rank-sensitive integer moments of the incidence function, an even-dimensional endpoint moment bound, an odd-dimensional rank-by-rank estimate, and, in four dimensions, a separate bridge estimate based on a point-sphere incidence result. The endpoint and exponent are shown to be sharp via box and point-mass examples. The stated theorem extends previous fixed-radius results of Kesler–Lacey and Hughes to the sharp lower endpoint.

Significance. If the result is correct, Theorem 1.1 resolves the sharp fixed-radius ℓ^p-improving range for discrete spherical averages in dimensions d≥4, and Corollary 1.3 gives the corresponding fixed-distance incidence bound. The proof is well structured: the local product density δ=|E||F|/R^{2d} is a natural parameter, the circle-method kernel is expressed through an exact Ramanujan-sum identity, and the sharpness examples are transparent. The paper also makes explicit use of machine-checkable decomposition steps and clearly identifies the new ingredient as the rank-sensitive integer-moment estimate. The publication value is high if the external inputs are verified.

major comments (3)
  1. [§2, Lemma 2.1; §6, (6.5) and Lemma 6.2] The proof of the low-density endpoint rests on the uniform bound (2.1) for lattice points on arbitrary embedded spheres, with no dependence on center, determinant, covolume, or rationality. This lemma is applied in (6.5) to E∩Σ_B and again to X_B∩Z^d for spheres of dimension d−r−1 whose centers c_B are circumcenters of lattice r-simplices; the denominators of such circumcenters can grow with R. The manuscript cites Huang–Zhang [12, Lemma 4] 'after relabeling the dimension' but does not reproduce the lemma or verify that the claimed no-factor uniformity holds for these specific arithmetic positions. Since the moment estimate (6.6), Proposition 1.4, and the endpoint estimate (10.4) all depend on this uniformity, any extra R^c factor from Lemma 2.1 would break the sharp endpoint. This is load-bearing: please state and prove Lemma 2.1 in full, or quote the precise lemma with its hypotheses and confirm that the constant is independent of the center, determinant, covolume, and rationality.
  2. [§3.1, Lemma 3.1] Lemma 3.1 states the divisor sums (3.9)–(3.10) and says 'The proof below follows the decomposition of M2,2 and M2,3 in [18, Section 3]. We include the details, since the precise powers of q are needed in dimension four,' but no proof appears in the manuscript. These bounds are used in Proposition 3.2 to obtain the high-frequency ℓ^2 estimate, which in turn enters Propositions 4.2 and 5.1 and the circle-method density threshold. The statement cannot be verified as written, and the promised details are absent. Please supply the complete proof or a precise reference to the corresponding display in [18].
  3. [§8, Theorem 8.1] Theorem 8.1 is the only bridge for the four-dimensional low-density window R^2<|E|≤|F| and |E||F|≤C_1R^5, and it invokes 'Mudgal's four-dimensional incidence estimate' in [24] with only a coordinate hypothesis asserted. The statement and the full set of hypotheses of that external result are not reproduced, and the paper does not verify all assumptions (for example, any separation, boundedness, or general-position condition that the cited estimate may require). Since the conclusion (8.2) is essential to close d=4, please reproduce the theorem and check that the set E considered here satisfies every hypothesis.
minor comments (4)
  1. [Throughout] The average is denoted A_R in the theorem and displayed displays but frequently typeset as A R in the surrounding text; please standardize the notation.
  2. [§11 and Section 1 statement of Theorem 1.1] The lower endpoint is written as 'd+2/d' in two places instead of '(d+2)/d'; this is a typo that should be corrected.
  3. [§6.1, Lemma 6.1 and following] When d−r−1=0, the set X_B is described as a singleton and Lemma 2.1 is invoked with its O(1) convention. It would be useful to state explicitly in Lemma 2.1 how zero-dimensional spheres and radius-zero sections are counted, rather than leaving this to a parenthetical convention.
  4. [§1, localization reduction] The localization argument uses cubes Q_j of sidelength ⌈R⌉ and enlargements Q_j^*, but the exact properties required of Q_j^* (bounded overlap, |Q_j^*|≍R^d, and containment of all centers at distance R from Q_j) are only implicit. A sentence making these uniformities explicit would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the endpoint estimate is derived from circle-method and geometric incidence inputs that do not presuppose the target bound, and the same-author citations are background only.

full rationale

Walking the derivation chain: Theorem 1.1 is obtained by interpolation from the restricted endpoint estimate (10.4)/(11.1), whose content is Proposition 1.4. Proposition 1.4 is split by density: above the threshold R^{-κ_d} it is proved by the circle-method Theorem 5.1, using the high-frequency ℓ² estimate (Proposition 3.2), the exact low-frequency kernel (Lemmas 3.3–3.5), and the refined low-frequency estimate (Propositions 4.1–4.2). Below the threshold it is proved by the geometric incidence estimates Theorems 7.1, 8.1, and 9.1, all of which reduce to the rank-sensitive integer-moment estimate Lemma 6.2. Lemma 6.2 is proved by expanding r_E(x)^j and counting configurations through the common-sphere description Lemma 6.1 and the external lattice-point bound Lemma 2.1, cited from Huang–Zhang. None of these steps assumes the estimate being proved; the endpoint exponent emerges from the rank counting and density algebra rather than being inserted as an input. The same-author citations [7], [8], and [9] appear only in the survey of related results and do not support any load-bearing premise of Theorem 1.1; the technical inputs [13], [18], [20], [23], and [24] are independent of the present authors. The auxiliary power R^ε is a standard loss, not a fitted parameter, and the sharpness examples in Remark 1.2 use classical representation bounds (1.1)–(1.3) rather than the theorem itself. The skeptical concern about Lemma 2.1—whether its no-factor uniformity truly holds for arbitrary centers—is a correctness risk for the low-density endpoint, not a circularity: it is an external input whose failure would break the proof, but it is not an equivalent restatement of (1.5). No step in the paper reduces by construction to its own input, so the circularity score is 0.

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

No free parameters or invented entities; the ledger consists of standard number-theoretic and harmonic-analysis facts and two cited external bounds (Huang-Zhang, Mudgal) plus one lemma whose promised proof is missing.

assumptions (7)
  • standard math Hardy circle-method lattice point bound |S_R| is comparable to R^{d-2} for d at least 5 (equation 1.1).
    Used to equate the probability average with the circle-method normalized average and in sharpness examples; cited to Hardy and to [13,23].
  • standard math Jacobi four-square formula |S_R| = 8 times the sum of a over a dividing R^2 with 4 not dividing a, for d=4 (equation 1.2).
    Used to justify the arithmetic condition R^2 in N but not 4N, to transfer estimates from normalized to probability averages, and for the lower endpoint sharpness example.
  • domain assumption Uniform lattice-point bound for embedded spheres, Lemma 2.1, from Huang-Zhang [12].
    Load-bearing for the rank-sensitive moment estimate (6.5)-(6.6); the paper assumes uniformity with no rationality factor.
  • domain assumption Magyar-Stein-Wainger circle-method decomposition and Weil bound for Ramanujan kernels (Section 3, equations (3.5)-(3.7)).
    Provides the exact identity A_R = L_N + H_N and the l^2 estimates used in the circle-method density regime.
  • domain assumption Kesler-Lacey divisor sum estimates, Lemma 3.1, from [18].
    The text says a proof is included, but no proof appears; the result is cited from [18, Proposition 2.6] and is needed for the high-frequency l^2 bound.
  • domain assumption Mudgal's point-sphere incidence estimate in R^4 (equation 8.3).
    Used as a black box to bridge the four-dimensional low-density window; not proved in the paper.
  • standard math Marcinkiewicz and Riesz-Thorin interpolation (Section 11).
    Upgrades restricted weak type at the endpoint to strong type and extends to the full interval.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Sharp $\ell^p$-Improving Estimates for Fixed-Radius Discrete Spherical Averages." pith.science (2026). https://pith.science/paper/7NUZYYBB

@misc{pith2026260808893,
  author       = {Pith},
  title        = {Pith review of: Sharp $\ell^p$-Improving Estimates for Fixed-Radius Discrete Spherical Averages},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7NUZYYBB}},
  note         = {Machine review of arXiv:2608.08893}
}
abstract

Let $d\geq 4$ and let $R>0$. When $d=4$, assume that $R^2\in\mathbb{N}\setminus 4\mathbb{N}$; when $d\geq 5$, let $R^2\in\mathbb{N}$ be arbitrary. We prove the fixed-radius estimate $$\|A_R f\|_{\ell^{p'}(\mathbb{Z}^d)}\leq C_{d,p,\varepsilon}R^{-d(2/p-1)+\varepsilon}\|f\|_{\ell^p(\mathbb{Z}^d)}$$ for $(d+2)/d\leq p\leq 2$, where $p'$ is the H\"older conjugate exponent of $p$ and $A_R$ is the probability average over the lattice sphere of radius $R$. This extends the fixed-radius estimates of Kesler--Lacey and Hughes to the sharp lower endpoint $p=(d+2)/d$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 25 canonical work pages

  1. [18]

    $\ell^p$-improving inequalities for Discrete Spherical Averages

    R. Kesler and M. T. Lacey, ℓp-improving inequalities for discrete spherical averages, Analysis Mathematica46(2020), 85–95; arXiv:1804.09845

    work page Pith review arXiv 2020

  2. [24]

    Additive energies on spheres

    A. Mudgal,Additive energies on spheres, J. Lond. Math. Soc. (2)106(2022), no. 4, 2927–2958; arXiv:2105.06925

    work page Pith review arXiv 2022

  3. [1]

    Christ,Convolution, curvature, and combinatorics: a case study, Internat

    M. Christ,Convolution, curvature, and combinatorics: a case study, Internat. Math. Res. Notices 1998, no. 19, 1033–1048

    work page 1998

  4. [2]

    Sparse Bounds for the Discrete Cubic Hilbert Transform

    A. Culiuc, R. Kesler, and M. T. Lacey,Sparse bounds for the discrete cubic Hilbert transform, Anal. PDE12(2019), no. 5, 1259–1272; arXiv:1612.08881

    work page Pith review arXiv 2019

  5. [3]

    S. Dasu, C. Demeter, and B. Langowski,Sharp ℓp-improving estimates for the discrete paraboloid, J. Fourier Anal. Appl.27(2021), no. 1, Paper No. 3, 19 pp.; arXiv:2002.11758

    work page Pith review arXiv 2021

  6. [4]

    Some subcritical estimates for the $\ell^p$-improving problem for discrete curves

    S. Dendrinos, K. Hughes, and M. Vitturi,Some subcritical estimates for theℓ p-improving problem for discrete curves, J. Fourier Anal. Appl.28(2022), no. 4, Paper No. 69, 19 pp.; arXiv:2012.06247

    work page Pith review arXiv 2022

  7. [5]

    Averaging with the Divisor Function: $\ell^p$-improving and Sparse Bounds

    C. Giannitsi,Averaging with the divisor function: ℓp-improving and sparse bounds, Rocky Mountain J. Math.52(2022), no. 6, 2027–2039; arXiv:2102.01778

    work page Pith review arXiv 2022

  8. [6]

    Grosswald,Representations of integers as sums of squares, Springer-Verlag, New York, 1985

    E. Grosswald,Representations of integers as sums of squares, Springer-Verlag, New York, 1985

    work page 1985

Show all 27 references
  1. [7]

    R. Han, V. Kovaˇ c, M. T. Lacey, J. Madrid, and F. Yang,Improving estimates for discrete polynomial averages, J. Fourier Anal. Appl.26(2020), no. 3, Paper No. 42, 11 pp.; arXiv:1910.14630

    2020 arXiv

  2. [8]

    R. Han, B. Krause, M. T. Lacey, and F. Yang,Averages along the primes: improving and sparse bounds, Concr. Oper.7(2020), no. 1, 45–54; arXiv:1909.02883

    2020 arXiv

  3. [9]

    R. Han, M. T. Lacey, and F. Yang,Averages along the square integers: ℓp-improving and sparse inequalities, Tunis. J. Math.3(2021), no. 3, 517–550; arXiv:1907.05734

    2021 arXiv

  4. [10]

    G. H. Hardy,On the representation of a number as the sum of any number of squares, and in particular of five, Trans. Amer. Math. Soc.21(1920), no. 3, 255–284

    1920

  5. [11]

    M. D. Hirschhorn,A simple proof of Jacobi’s four-square theorem, Proc. Amer. Math. Soc.101 (1987), no. 3, 436–438

    1987

  6. [12]

    Huang and C

    X. Huang and C. Zhang,Restriction of toral eigenfunctions to totally geodesic submanifolds, Analysis & PDE14(2021), no. 3, 861–880; arXiv:1902.09019

    2021 arXiv

  7. [13]

    Hughes,The discrete spherical averages over a family of sparse sequences, Journal d’Analyse Math´ ematique138(2019), no

    K. Hughes,The discrete spherical averages over a family of sparse sequences, Journal d’Analyse Math´ ematique138(2019), no. 1, 1–21; arXiv:1609.04313

    2019 arXiv

  8. [14]

    Hughes, ℓp-improving for discrete spherical averages, Annales Henri Lebesgue3(2020), 959–980; arXiv:1804.09260

    K. Hughes, ℓp-improving for discrete spherical averages, Annales Henri Lebesgue3(2020), 959–980; arXiv:1804.09260

    2020 arXiv

  9. [15]

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

    2004

  10. [16]

    A. D. Ionescu and S. Wainger, Lp boundedness of discrete singular Radon transforms, J. Amer. Math. Soc.19(2006), no. 2, 357–383

    2006

  11. [17]

    Kesler, ℓp(Zd)-improving properties and sparse bounds for discrete spherical maximal averages, J

    R. Kesler, ℓp(Zd)-improving properties and sparse bounds for discrete spherical maximal averages, J. Anal. Math.143(2021), no. 1, 151–178; arXiv:1805.09925

    2021 arXiv

  12. [19]

    Kesler, M

    R. Kesler, M. T. Lacey, and D. Mena Arias,Lacunary discrete spherical maximal functions, New York J. Math.25(2019), 541–557; arXiv:1810.12344

    2019 arXiv

  13. [20]

    Kesler, M

    R. Kesler, M. T. Lacey, and D. Mena,Sparse bounds for the discrete spherical maximal functions, Pure Appl. Anal.2(2020), no. 1, 75–92; arXiv:1810.02240. 22 RUI HAN AND F AN YANG

    2020 arXiv

  14. [21]

    M. T. Lacey, H. Mousavi, and Y. Rahimi,Endpoint ℓr-improving estimates for prime averages, Math. Res. Lett.29(2022), no. 6, 1767–1791; arXiv:2101.10401

    2022 arXiv

  15. [22]

    Magyar, Lp-bounds for spherical maximal operators on Zn, Rev

    A. Magyar, Lp-bounds for spherical maximal operators on Zn, Rev. Mat. Iberoamericana13(1997), no. 2, 307–317

    1997

  16. [23]

    Magyar, E

    A. Magyar, E. M. Stein, and S. Wainger,Discrete analogues in harmonic analysis: spherical averages, Annals of Mathematics (2)155(2002), 189–208; arXiv:math/0409365

    2002 arXiv

  17. [25]

    L. B. Pierce,On discrete fractional integral operators and mean values of Weyl sums, Bull. Lond. Math. Soc.43(2011), no. 3, 597–612; arXiv:1005.4054

    2011 arXiv

  18. [26]

    Schlag,On continuum incidence problems related to harmonic analysis, J

    W. Schlag,On continuum incidence problems related to harmonic analysis, J. Funct. Anal.201 (2003), no. 2, 480–521

    2003

  19. [27]

    E. M. Stein and S. Wainger,Discrete analogues in harmonic analysis. II. Fractional integration, J. Anal. Math.80(2000), 335–355. Department of Mathematics, Louisiana State University, Baton Rouge, Louisiana 70803-4918, USA Email address:rhan@lsu.edu Department of Mathematics, ...

    2000

Pith tools

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