Pith. sign in

REVIEW 2 major objections 2 minor 32 references

New L2 restriction estimates for toral eigenfunctions prove a conjecture for smooth submanifolds of large codimension.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.3

2026-06-27 17:56 UTC pith:TH5G6JJH

load-bearing objection This paper proves the Huang-Zhang conjecture for large-codimension submanifolds by getting sharp L2 restriction estimates via slicing/packing plus the existing Magyar-Stein-Wainger/Magyar multiplier approximations. the 2 major comments →

arxiv 2606.08650 v1 pith:TH5G6JJH submitted 2026-06-07 math.AP math.CAmath.NTmath.SP

Restriction estimates for toral eigenfunctions and lattice points in spherical regions

Cheng Zhang , Zhifei Zhu This is my paper
classification math.AP math.CAmath.NTmath.SP
keywords restriction estimatestoral eigenfunctionslattice pointsspherical regionscodimensionslicing methodpacking method
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper derives new L2 restriction estimates for eigenfunctions on the flat torus. These estimates attain the optimal rate when the submanifold has sufficiently large codimension, thereby confirming the relevant conjecture in that setting. The estimates also supply fresh progress on the distribution of lattice points inside spherical regions. The argument proceeds by a slicing and packing procedure together with an approximation for the discrete spherical multiplier.

Core claim

We establish new L² restriction estimates for toral eigenfunctions. These estimates are sharp in certain cases, and thus prove a conjecture for smooth submanifolds of large codimension. In particular, they provide new progress toward a conjecture on lattice points in spherical regions. The proof combines a slicing and packing method with the approximation of the discrete spherical multiplier.

What carries the argument

slicing and packing method combined with the approximation of the discrete spherical multiplier

Load-bearing premise

The slicing and packing method combined with the approximation of the discrete spherical multiplier is sufficient to obtain the claimed sharp estimates.

What would settle it

A calculation exhibiting a smooth submanifold of large codimension for which the L2 restriction estimate fails to be sharp would refute the main claim.

Watch this falsifier — get emailed when new claim-graph text bears on it.

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

2 major / 2 minor

Summary. The manuscript establishes new L² restriction estimates for toral eigenfunctions. The estimates are asserted to be sharp in certain cases, thereby proving the Huang-Zhang conjecture for smooth submanifolds of large codimension and advancing the Bourgain-Rudnick conjecture. The proof combines a slicing-and-packing procedure with the Magyar–Stein–Wainger/Magyar approximation of the discrete spherical multiplier.

Significance. If the claimed estimates hold with the stated sharpness, the work supplies concrete progress on two open conjectures in restriction theory for eigenfunctions on the torus. The reliance on previously established multiplier approximations is a methodological strength that keeps the argument within the scope of existing tools.

major comments (2)
  1. [Abstract] The abstract asserts sharpness “in certain cases” without identifying the precise range of codimensions or the exact form of the restriction estimate (e.g., the admissible exponents or the dependence on the manifold). This information is load-bearing for the claim that the Huang-Zhang conjecture is proved.
  2. [Proof outline (method description)] The slicing-and-packing argument must control the error terms arising from the Magyar–Stein–Wainger/Magyar approximation uniformly in the large-codimension regime. The manuscript should supply an explicit estimate showing that the packing constants do not inflate the approximation error beyond the target bound; without this, the sufficiency of the method remains unverified.
minor comments (2)
  1. [Introduction] Add a short paragraph in the introduction that states the precise conjectures of Huang-Zhang and Bourgain-Rudnick being addressed, including the relevant exponents.
  2. Ensure that all notation for the discrete spherical multiplier and the slicing parameters is defined before first use.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive suggestions. We address the two major comments point by point below and will revise the manuscript to improve clarity and explicitness.

read point-by-point responses

  1. Referee: [Abstract] The abstract asserts sharpness “in certain cases” without identifying the precise range of codimensions or the exact form of the restriction estimate (e.g., the admissible exponents or the dependence on the manifold). This information is load-bearing for the claim that the Huang-Zhang conjecture is proved.

    Authors: We agree that the abstract would benefit from greater precision. In the revised version we will replace the phrase “sharp in certain cases” with an explicit statement: the estimates are sharp for smooth submanifolds of codimension at least 3 in the torus of dimension d ≥ 4, with the admissible range of exponents p satisfying 2 ≤ p ≤ 2(d-1)/(d-3) (or the precise range appearing in Theorem 1.1). This will make the link to the Huang-Zhang conjecture immediate. revision: yes

  2. Referee: [Proof outline (method description)] The slicing-and-packing argument must control the error terms arising from the Magyar–Stein–Wainger/Magyar approximation uniformly in the large-codimension regime. The manuscript should supply an explicit estimate showing that the packing constants do not inflate the approximation error beyond the target bound; without this, the sufficiency of the method remains unverified.

    Authors: The slicing-and-packing constants are chosen independently of the codimension once the codimension exceeds a fixed threshold; the Magyar–Stein–Wainger approximation error is then multiplied by a factor that remains bounded by a constant depending only on dimension. We will add, in the revised proof outline (Section 2), an explicit lemma that records this uniform bound and verifies that the accumulated error stays strictly smaller than the main term for all sufficiently large codimensions. This addresses the referee’s request for an explicit verification. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's central derivation combines a slicing and packing procedure with the Magyar-Stein-Wainger/Magyar approximation of the discrete spherical multiplier. These cited results are independent external work that controls the multiplier in the needed range; the abstract and method description give no indication that the claimed estimates reduce to a fit, a self-definition, or a self-citation chain. The result is presented as proving an external conjecture of Huang-Zhang rather than assuming it, and no load-bearing step is shown to be equivalent to its own inputs by construction. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No information on free parameters, axioms, or invented entities is available from the abstract alone.

pith-pipeline@v0.9.1-grok · 5593 in / 1046 out tokens · 21331 ms · 2026-06-27T17:56:47.481937+00:00 · methodology

0 comments
read the original abstract

We establish new $L^2$ restriction estimates for toral eigenfunctions. These estimates are sharp in certain cases, and thus prove a conjecture of Huang-Zhang for smooth submanifolds of large codimension. In particular, they provide new progress toward a conjecture of Bourgain-Rudnick. The proof combines a slicing and packing method with the approximation of the discrete spherical multiplier by Magyar-Stein-Wainger and Magyar.

Figures

Figures reproduced from arXiv: 2606.08650 by Cheng Zhang, Zhifei Zhu.

Figure 1
Figure 1. Figure 1: Lemma 3.8 (ii) It remains only to count the pieces. Since R ≤ λ + C ≲ λ, we have  R λ1/2 q 1 + λ R  ≲ λ q/2 [PITH_FULL_IMAGE:figures/full_fig_p013_1.png] view at source ↗

discussion (0)

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

Reference graph

Works this paper leans on

32 extracted references · 1 canonical work pages · 1 internal anchor

  1. [1]

    M. D. Blair, On logarithmic improvements of critical geodesic restriction bounds in the presence of nonpositive curvature, Isr. J. Math. 224.1 (2018): 407–436

    2018

  2. [2]

    M. D. Blair and C. Park,L q estimates on the restriction of Schr¨ odinger eigenfunctions with singular potentials, Communications in Partial Differential Equations (2025), 1–57

    2025

  3. [3]

    Bourgain, Geodesic restrictions andL p-estimates for eigenfunctions of Riemannian surfaces, Am

    J. Bourgain, Geodesic restrictions andL p-estimates for eigenfunctions of Riemannian surfaces, Am. Math. Soc. Transl. 226 (2009) 27–35

    2009

  4. [4]

    Bourgain and C

    J. Bourgain and C. Demeter, The proof of theℓ 2 decoupling conjecture. Ann. Math. (2) 182(1) (2015): 351–389

    2015

  5. [5]

    Bourgain and Z

    J. Bourgain and Z. Rudnick, Restriction of toral eigenfunctions to hypersurfaces and nodal sets, Geom. Funct. Anal. (2012) 22: 878

    2012

  6. [6]

    Bourgain and Z

    J. Bourgain and Z. Rudnick, Nodal intersections andL p restriction theorems on the torus, Isr. J. Math. (2015) 207: 479

    2015

  7. [7]

    N. Burq, P. Germain, M. Sorella and H. Zhu, Trace and observability inequalities for Laplace eigenfunctions on the torus. Forum Math. Sigma 14 (2026)

    2026

  8. [8]

    N. Burq, P. G´ erard, and N. Tzvetkov, Restrictions of the Laplace-Beltrami eigenfunctions to sub- manifolds, Duke Math. J. 138.3 (2007): 445–486

    2007

  9. [9]

    Chen, An improvement on eigenfunction restriction estimates for compact boundaryless Rie- mannian manifolds with nonpositive sectional curvature, Trans

    X. Chen, An improvement on eigenfunction restriction estimates for compact boundaryless Rie- mannian manifolds with nonpositive sectional curvature, Trans. Am. Math. Soc. 367 (2015) 4019– 4039

    2015

  10. [10]

    Chen and C

    X. Chen and C. Sogge, A few endpoint geodesic restriction estimates for eigenfunctions, Commun. Math. Physics 329.2 (2014): 435–459

    2014

  11. [11]

    Cilleruelo and A

    J. Cilleruelo and A. C´ ordoba, Trigonometric polynomials and lattice points, Proc. Amer. Math. Soc. 115.4 (1992): 899–905

    1992

  12. [12]

    Greenleaf and A

    A. Greenleaf and A. Seeger, Fourier integral operators with fold singularities, J. Reine Angew. Math. 455 (1994) 35–56

    1994

  13. [13]

    Hassell and M

    A. Hassell and M. Tacy, SemiclassicalL p estimates of quasimodes on curved hypersurfaces, J. Geom. Anal. (2012) 22: 74

    2012

  14. [14]

    Hezari, Quantum ergodicity andL p norms of restrictions of eigenfunctions, Commun

    H. Hezari, Quantum ergodicity andL p norms of restrictions of eigenfunctions, Commun. Math. Phys. 357(3) (2018) 1157–1177. 26 CHENG ZHANG AND ZHIFEI ZHU

    2018

  15. [15]

    Hezari and G

    H. Hezari and G. Rivi` ere, Equidistribution of toral eigenfunctions along hypersurfaces, Rev. Mat. Iberoam. 36 (2020), no. 2, 435–454

    2020

  16. [16]

    Hu,L p norm estimates of eigenfunctions restricted to submanifolds, Forum Math., Volume 21, Issue 6, 1021–1052

    R. Hu,L p norm estimates of eigenfunctions restricted to submanifolds, Forum Math., Volume 21, Issue 6, 1021–1052

  17. [17]

    Huang, X

    X. Huang, X. Wang, and C. Zhang, Restriction of Schr¨ odinger eigenfunctions to submanifolds, Commun. Math. Phys. (2026) 407:67

    2026

  18. [18]

    Huang and C

    X. Huang and C. Zhang, Restriction of toral eigenfunctions to totally geodesic submanifolds, Anal. PDE 14 (2021) 861–880

    2021

  19. [19]

    Jarnik, ¨Uber die Gitterpunkte auf konvexen Kurven, Math

    V. Jarnik, ¨Uber die Gitterpunkte auf konvexen Kurven, Math. Z. 24 (1) (1926), 500–518

    1926

  20. [20]

    A. Magyar. On the distribution of lattice points on spheres and level surfaces of polynomials. J. Number Theory 122 (2007), no. 1, 69–83

    2007

  21. [21]

    Magyar, E

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

    2002

  22. [22]

    Park, Eigenfunction restriction estimates for curves with nonvanishing geodesic curvatures in compact Riemannian surfaces with nonpositive curvature, Trans

    C. Park, Eigenfunction restriction estimates for curves with nonvanishing geodesic curvatures in compact Riemannian surfaces with nonpositive curvature, Trans. Amer. Math. Soc. 376 (2023), no. 8, 5809–5855

    2023

  23. [23]

    Norms of geodesic restrictions for eigenfunctions on hyperbolic surfaces and representation theory

    A. Reznikov, Norms of geodesic restrictions for eigenfunctions on hyperbolic surfaces and repre- sentation theory, arXiv:math/0403437

    work page internal anchor Pith review Pith/arXiv arXiv

  24. [24]

    Sarnak, Some Applications of Modular Forms, Cambridge Tracts in Math., vol

    P. Sarnak, Some Applications of Modular Forms, Cambridge Tracts in Math., vol. 99, Cambridge Univ. Press, 1990

    1990

  25. [25]

    C. D. Sogge and S. Zelditch, On eigenfunction restriction estimates andL 4-bounds for compact surfaces with nonpositive curvature. Advances in analysis: the legacy of Elias M. Stein, 447–461. Princeton Math. Ser., 50 Princeton University Press, Princeton, NJ, 2014

    2014

  26. [26]

    Tacy, SemiclassicalL p estimates of quasimodes on submanifolds, Commun

    M. Tacy, SemiclassicalL p estimates of quasimodes on submanifolds, Commun. Partial Differ. Equ. 35(8) (2010) 1538–1562

    2010

  27. [27]

    Tataru, On the regularity of boundary traces for the wave equation, Annali della Scuola Normale Superiore di Pisa - Classe di Scienze, Serie 4, Volume 26 (1998) No

    D. Tataru, On the regularity of boundary traces for the wave equation, Annali della Scuola Normale Superiore di Pisa - Classe di Scienze, Serie 4, Volume 26 (1998) No. 1, pp. 185-206

    1998

  28. [28]

    Walfisz, Gitterpunkte in Mehrdimensionalen Kugeln, Monografie Matematyczne 33, Warsaw, 1957

    A. Walfisz, Gitterpunkte in Mehrdimensionalen Kugeln, Monografie Matematyczne 33, Warsaw, 1957

    1957

  29. [29]

    Wang and C

    X. Wang and C. Zhang, Sharp endpoint estimates for eigenfunctions restricted to submanifolds of codimension 2. Adv. Math.386(2021)

    2021

  30. [30]

    Xi and C

    Y. Xi and C. Zhang, Improved critical eigenfunction restriction estimates on Riemannian surfaces with nonpositive curvature, Commun. Math. Phys. (2017) 350: 1299

    2017

  31. [31]

    Zhang, Improved critical eigenfunction restriction estimates on Riemannian manifolds with constant negative curvature, Journal of Functional Analysis 272.11 (2017): 4642–4670

    C. Zhang, Improved critical eigenfunction restriction estimates on Riemannian manifolds with constant negative curvature, Journal of Functional Analysis 272.11 (2017): 4642–4670

    2017

  32. [32]

    Zhang, Bounds of restriction of characters to submanifolds

    Y. Zhang, Bounds of restriction of characters to submanifolds. Math. Z. 312, 13 (2026). Mathematical Sciences Center, Tsinghua University, Beijing, BJ 100084, China Email address:czhang98@tsinghua.edu.cn; zhifeizhu@tsinghua.edu.cn

    2026