Pith. sign in

REVIEW 2 minor 9 references

$L^4$ norm of spectral projectors on polynomially small frequency intervals for $S^1$-symmetric surfaces

T0 review · 0 major / 2 minor · reviewed 2026-06-28 · grok-4.3

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

Pith's one-line read For the Euclidean disk away from its boundary the L2 to L4 norm of the spectral projector improves when the bandwidth is only polynomially small in the target frequency.

desk verdict Chabert improves the L2-to-L4 bound for spectral projectors on the disk when the frequency window is only polynomially small, via explicit Bessel functions, nonstationary phase, and a convexity-based arithmetic sum. read the letter →

arxiv 2605.30679 v1 pith:U6IWUWN4 submitted 2026-05-29 math.AP

Ambre Chabert This is my paper · ORCID
classification math.AP
keywords spectralprojectorsL4operatornormsRiemanniansurfacesS1symmetryBesselfunctionsoscillatoryintegralseigenfunctionestimatesintegrablesystems
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 establishes an improved upper bound on the operator norm from L2 to L4 of the spectral projector onto a frequency interval of width δ around λ, for the flat disk and away from the boundary, in the regime where δ shrinks only polynomially with λ. This matters for controlling the possible concentration of eigenfunctions and for obtaining sharp estimates in spectral geometry on manifolds. The argument proceeds by decomposing the projector in the explicit joint eigenbasis of the Laplacian and the angular derivative, expressed via Bessel functions that admit good oscillatory approximations outside caustics. Convexity properties of the phase functions and a new arithmetic estimate then control the sum over the eigenfunctions. The same approach extends directly to other rotationally symmetric surfaces whose induced integrable structure satisfies analogous conditions.

What carries the argument

Decomposition into the joint eigenbasis of (√-Δ, (1/i)∂/∂θ) given by Bessel eigenfunctions, followed by convexity-based nonstationary phase estimates on the resulting oscillatory integrals and an arithmetic summation estimate over the eigenfunctions.

What would settle it

Direct numerical computation of the L2 to L4 norm of P_{λ,δ} for a sequence of large λ with δ equal to λ to a fixed negative power, restricted to a compact set strictly inside the disk, to check whether the norm remains below the claimed improved threshold.

Watch

Extended reading notes

Core claim

For the Euclidean disk, away from its boundary, the L²→L⁴ norm of the spectral projector P_{λ,δ} satisfies an improved upper bound when δ is polynomially small relative to λ. The analysis reduces to quantitative estimates on nonstationary phase oscillatory integrals after decomposing into the joint eigenbasis involving Bessel functions, which are approximated by oscillatory functions outside caustics. Convexity phenomena and a new arithmetic estimate control the sum over eigenfunctions, and the method extends to other S¹-symmetric surfaces with analogous completely integrable structures.

Load-bearing premise

The surfaces must satisfy conditions on their induced completely integrable structure that enable the convexity phenomenon and the new arithmetic estimate for eigenfunction summation.

Editorial extensions

If this is right

  • The improved bound holds throughout the interior of the disk for any polynomially small ratio δ/λ.
  • The same bound applies to other S¹-symmetric surfaces whose geometry induces a comparable completely integrable structure.
  • The explicit Bessel decomposition reduces the problem to controlling a finite number of oscillatory integrals per eigenfunction together with their arithmetic sum.
  • The convexity and arithmetic tools are sufficient to obtain the gain without requiring δ to be exponentially small.

Reading between the lines

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

  • The arithmetic summation estimate may adapt to control other summed quantities arising from integrable systems.
  • Numerical checks on the disk for moderate λ could confirm whether the polynomial improvement is visible in practice.
  • The method suggests that rotational symmetry plus integrability can replace more general microlocal tools for small-interval spectral projectors.
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

0 major / 2 minor

Summary. The manuscript claims an improved upper bound for the L²→L⁴ norm of the spectral projector P_{λ,δ} on the Euclidean disk away from the boundary, in the regime where the bandwidth δ is polynomially small relative to the frequency λ. The argument decomposes the projector on the explicit joint eigenbasis of (√−Δ, (1/i)∂_θ) given by Bessel functions, reduces the problem to quantitative nonstationary-phase estimates for oscillatory integrals outside the caustic set, invokes convexity both in the phase estimates and in a new arithmetic estimate controlling the sum over angular modes, and asserts that the method extends to other S¹-symmetric surfaces whose induced completely integrable structure satisfies analogous conditions.

Significance. If the central estimates are correct, the result sharpens existing bounds on spectral projectors in a technically delicate small-bandwidth regime that is relevant to eigenfunction L^p estimates and concentration phenomena on symmetric surfaces. The explicit reduction to Bessel functions together with the convexity-based arithmetic summation provides a concrete, verifiable mechanism for handling polynomial smallness of δ; these features constitute a genuine technical contribution that could be useful on other integrable surfaces once the precise structural hypotheses are stated.

minor comments (2)
  1. The abstract states that the method extends to other S¹-symmetric surfaces satisfying “similar conditions on the induced completely integrable structure,” but does not list those conditions; the full text should state them explicitly (ideally in a dedicated paragraph or subsection) so that the scope of the extension can be checked.
  2. The abstract sketches the use of nonstationary phase and the arithmetic estimate but does not record the precise polynomial degree relating δ and λ or the resulting improvement in the operator norm; adding a sentence with the quantitative statement would make the main theorem immediately visible.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the recognition of its technical contributions, and the recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected

full rationale

The paper's central derivation for the Euclidean disk decomposes the spectral projector onto the explicit joint eigenbasis of Bessel functions, reduces the L^2 to L^4 norm bound to quantitative nonstationary phase estimates on oscillatory integrals outside the caustic, and controls the sum over modes via a convexity-based arithmetic estimate. These steps are self-contained, relying on explicit formulas and standard oscillatory integral techniques with no reduction to fitted inputs, self-definitional quantities, or load-bearing self-citations. The extension to other S^1-symmetric surfaces is stated conditionally on analogous integrability conditions but does not affect the disk case. No quoted step equates a claimed prediction or uniqueness result to its own inputs by construction.

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

Review performed on abstract only; no explicit free parameters, invented entities, or non-standard axioms are stated. The argument implicitly relies on standard properties of Bessel functions and oscillatory integrals.

assumptions (2)
  • domain assumption Bessel eigenfunctions are well-approximated by oscillatory functions outside their caustic set
    Invoked in the abstract to reduce the analysis to oscillatory integral estimates.
  • domain assumption Convexity phenomenon controls both the oscillatory integral estimates and the summation over eigenfunctions
    Central to the new arithmetic estimate mentioned in the abstract.

how reviews work

0 comments
Cite this review

Pith. "Pith review of $L^4$ norm of spectral projectors on polynomially small frequency intervals for $S^1$-symmetric surfaces." pith.science (2026). https://pith.science/paper/U6IWUWN4

@misc{pith2026260530679,
  author       = {Pith},
  title        = {Pith review of: $L^4$ norm of spectral projectors on polynomially small frequency intervals for $S^1$-symmetric surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/U6IWUWN4}},
  note         = {Machine review of arXiv:2605.30679}
}
abstract

For $(M,g)$ a compact Riemannian surface with Laplace-Beltrami operator $\Delta$, and for $\lambda,\delta \geq 0$, let $P_{\lambda,\delta}$ be the spectral projector on the frequency interval $[\lambda-\delta,\lambda+\delta]$ associated to $\sqrt{-\Delta}$. For the Euclidean disk, away from its boundary, we improve the upper bound on the $L^2\to L^4$ norm of $P_{\lambda,\delta}$ in the regime where the bandwidth $\delta$ is polynomially small compared to the target frequency $\lambda$. Decomposing on the explicit joint eigenbasis of $\left(\sqrt{-\Delta}, \frac{1}{i}\frac{\partial}{\partial \theta}\right)$ given in terms of Bessel eigenfunctions, which are well-approximated by oscillatory functions outside of their caustic set, we reduce the analysis to a number of precise quantitative estimates of nonstationary phase oscillatory integrals. We strongly use convexity phenomenon both for these estimates, and then for the summation of the contribution of all eigenfunctions through a new arithmetic estimate. The method extends to other $S^1$-symmetric surfaces satisfying similar conditions on the induced completely integrable structure.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

9 extracted references · 4 canonical work pages

  1. [1]

    The proof of the l 2 decoupling conjecture

    [BD15] Jean Bourgain and Ciprian Demeter. “The proof of the l 2 decoupling conjecture”. In:Annals of mathematics (2015), pp. 351–389. [Bér77] Pierre H Bérard. “On the wave equation on a compact Riemannian manifold without conjugate points”. In: Mathematische Zeitschrift155.3 (1977), pp. 249–276. 24 [BK17] Jack Buttcane and Rizwanur Khan. “On the fourth mo...

    2015

  2. [2]

    Eigenfunction bounds for the Laplacian on the n-torus

    [Bou93b] Jean Bourgain. “Eigenfunction bounds for the Laplacian on the n-torus”. In:International Mathematics Re- search Notices1993.3 (1993), pp. 61–66. [BS17] Matthew D Blair and Christopher D Sogge. “Refined and microlocal Kakeya–Nikodym bounds of eigenfunc- tions in higher dimensions”. In:Communications in Mathematical Physics356 (2017), pp. 501–533. ...

    work page arXiv 1993

  3. [3]

    On the remainder in the Weyl formula for the Euclidean disk

    arXiv:2603 . 12177 [math.AP].URL:https : / / arxiv . org / abs/2603.12177. [Col10] Yves Colin de Verdière. “On the remainder in the Weyl formula for the Euclidean disk”. In:Séminaire de théorie spectrale et géométrie29 (2010), pp. 1–13. [Col77a] YColindeVerdière.“Nombredepointsentiersdansunefamillehomothétiquededomainesde𝑅”.In:Annales scientifiques de l’É...

    work page Pith review arXiv 2010

  4. [4]

    Quasi-modes sur les variétés Riemanniennes

    1977, pp. 559–575. [Col77b] Yves Colin de Verdiere. “Quasi-modes sur les variétés Riemanniennes”. In:Inventiones mathematicae43.1 (1977), pp. 15–52. [Col80] Yves Colin de Verdiere. “Spectre conjoint d’opérateurs pseudo-différentiels qui commutent: II. Le cas inté- grable”. In:Mathematische Zeitschrift171 (1980), pp. 51–73. [Coo71] Roger Cooke. “A Cantor-L...

    work page arXiv 1977

  5. [5]

    Bounds for spectral projectors on generic tori

    Cambridge University Press. 2022, e24. 25 [GR22] Pierre Germain and Simon L Rydin Myerson. “Bounds for spectral projectors on generic tori”. In:Mathema- tische Annalen(2022), pp. 1–37. [Gri92] Daniel Grieser.L (’p) bounds for eigen functions and spectral projections of the Laplacian near concave boundaries. University of California, Los Angeles,

    2022

  6. [6]

    RemarksonapaperofD.Ludwig

    [GS73] VGuilleminandDSchaeffer.“RemarksonapaperofD.Ludwig”.In:BulletinoftheAmericanMathematical Society79.2 (1973), pp. 382–385. [Guo97] KanghuiGuo.“Auniform𝐿 𝑝 estimateofBesselfunctionsanddistributionssupportedon𝑆 𝑛−1”.In:Proceed- ings of the American Mathematical Society125.5 (1997), pp. 1329–1340. [Hic20] Jonathan Hickman. “Uniform𝐿 𝑝 Resolvent Estimat...

    work page arXiv 1973

  7. [7]

    Lp norms, nodal sets, and quantum ergodicity

    [HR16] Hamid Hezari and Gabriel Rivière. “Lp norms, nodal sets, and quantum ergodicity”. In:Advances in Mathe- matics290 (2016), pp. 938–966. [HT15] Andrew Hassell and Melissa Tacy. “Improvement of eigenfunction estimates on manifolds of nonpositive curvature”. In:Forum Mathematicum. Vol

    2016

  8. [8]

    Equidistributioninshrinkingsetsand𝐿 4-normboundsforautomorphicforms

    De Gruyter. 2015, pp. 1435–1451. [Hum18] PeterHumphries.“Equidistributioninshrinkingsetsand𝐿 4-normboundsforautomorphicforms”.In:Math- ematische Annalen371 (2018), pp. 1497–1543. [IS95] Henryk Iwaniec and Peter Sarnak. “𝐿∞ norms of eigenfunctions of arithmetic surfaces”. In:Annals of Math- ematics141.2 (1995), pp. 301–320. [Jar26] VV Jarnik. “Über die Git...

    2015

Show all 9 references
  1. [9]

    𝐿 𝑝 eigenfunctionboundsfortheHermiteoperator

    [KT05] HerbertKochandDanielTataru.“𝐿 𝑝 eigenfunctionboundsfortheHermiteoperator”.In:DukeMathematical Journal128.2 (2005), pp. 369–392. [Sog01] Christopher D Sogge. “Riemannian manifolds with maximal eigenfunction growth”. In:Séminaire Équations aux dérivées partielles (Polytec...

    2005

Pith tools

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