Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

The Endpoint Eigenfunction Bound for the Hermite Operator in Two Dimensions

T0 review · 3 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read This paper proves the sharp L^2→L^{10/3} bound for Hermite spectral projections in two dimensions, completing the optimal eigenfunction bounds in all dimensions.

desk verdict A serious, largely self-contained proof of the last open 2D Hermite endpoint — the main soft spot is that two load-bearing reduction steps are quoted from the authors' prior d≥3 paper without a d=2 trace. read the letter →

arxiv 2607.25859 v1 pith:HDNX7C43 submitted 2026-07-28 math.CA

Eunhee Jeong , Sanghyuk Lee , Jaehyeon Ryu This is my paper · ORCID
classification math.CA MSC 42B9942C10
keywords Hermiteoperatorspectralprojectioneigenfunctionboundsendpointestimateoscillatoryintegralsalmostorthogonalitydegeneratephasetwodimensions
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 the missing endpoint estimate for Hermite spectral projections in two dimensions: for an eigenvalue λ, the projection operator Π_λ maps L^2(ℝ²) to L^{10/3}(ℝ²) with norm at most Cλ^{−1/10}. This closes the only remaining gap in a long line of sharp L^2→L^q eigenfunction bounds, matching the known lower bound and removing the logarithmic loss that had persisted at q_e = 10/3. The proof localizes near the sphere √λ S¹, decomposes the operator in space and time according to the size of a discriminant D, and harvests an extra factor (μ′/μ)^{1/20} from an asymmetric refinement of the input annulus. A sympathetic reader would care because the result settles the question of optimal eigenfunction bounds in every dimension and reveals a mechanism—weak interaction between unequal annuli—that may be reusable elsewhere.

What carries the argument

The load-bearing object is the discriminant D(x,y) = 1 + ⟨x,y⟩² − |x|² − |y|², which controls the stationary-point equation for the phase P in the Hermite–Schrördinger representation: D > 0 gives two nondegenerate critical times, D < 0 gives none, and D = 0 produces a cubic degeneracy. The proof recursively decomposes the operator over dyadic scales of |D| from δ△ ∼ μμ′ down to δ∗ ∼ λ^{−2/3}μ, covers the spatial regions by tangential rectangles adapted to the level sets of D, and then subdivides each input rectangle tangentially by an additional factor (μ′/μ)^{1/2}. Interpolation between L² diagonal bounds and L¹→L^∞ kernel bounds yields the asymmetric gain (μ′/μ)^{1/20}, and Cotlar–Stein al

What would settle it

Construct an L²-normalized sequence f_λ supported in an annulus of width λ^{−2/3} near √λ S¹ and compute ‖Π_λ f_λ‖_{L^{10/3}}; if this exceeds Cλ^{−1/10} for arbitrarily large λ, the endpoint estimate is false.

Watch

Extended reading notes

Core claim

The central discovery is Theorem 1.1: for λ ∈ 2ℕ₀+2 and q_e = 10/3, the spectral projection Π_λ satisfies ‖Π_λ‖_{L²(ℝ²)→L^{10/3}(ℝ²)} ≤ Cλ^{−1/10}. Together with the previously known non-endpoint bounds, this gives the optimal exponent across the full range 2 ≤ q ≤ ∞ in two dimensions, and combined with the authors' earlier d ≥ 3 results, it completes the optimal L²–L^q eigenfunction bounds for the Hermite operator in all dimensions. The engine of the proof is a localized asymmetric estimate: operators χ_{A_{λ,μ}} Π_λ χ_{A_{λ,μ′}} with μ′ ≪ μ gain a factor (μ′/μ)^{1/20} relative to the earlier bound, and this geometric decay is exactly what makes the dyadic summation over annuli converge.

Load-bearing premise

The proof inherits, without reproducing the details, the TT* reduction, dyadic annular summation, and dimension-independent oscillatory-integral reductions from the authors' earlier paper; if those reductions do not extend verbatim to d = 2, Theorem 1.1 as proved here is not self-contained.

Editorial extensions

If this is right

  • The endpoint bound at q_e = 10/3, combined with known estimates, yields the optimal λ^{β(q)} rate for every 2 ≤ q ≤ ∞ in dimension two, with no logarithmic loss.
  • Together with the d ≥ 3 endpoint results, the problem of optimal L²–L^q eigenfunction bounds for Hermite spectral projections is now closed in all dimensions.
  • The localized asymmetric estimate (1.3) implies the global bound through the TT* argument and dyadic annular summation, so the gain for μ′ ≪ μ is the decisive quantitative fact.
  • Applications include sharpened L^p convergence of Hermite Bochner–Riesz means and strong unique continuation for parabolic inequalities, where such spectral projection bounds are used.

Reading between the lines

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

  • The same multiscale space–time decomposition may transfer to other spectral projections whose phase has a quadratic degeneracy surface, such as twisted or magnetic Laplacians, where endpoint bounds still carry logarithmic losses.
  • A natural stress test is whether the asymmetric gain (μ′/μ)^{1/20} persists all the way to the bottom scale μ′ ∼ λ^{−2/3}; the summation split at δ = (μ′)² in Section 7.1 suggests this is the sharp borderline.
  • The proof supports the heuristic that, unlike in dimension one, no equidistributed eigenfunction can concentrate near √λ S¹, which is why the two-dimensional endpoint is log-free while the one-dimensional endpoint has a logarithm.
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 / 5 minor

Summary. The paper claims to prove the endpoint spectral projection estimate for the Hermite operator on R^2: ||Π_λ||_{L^2(R^2)→L^{10/3}(R^2)} ≤ C λ^{-1/10}, λ∈2N_0+2. This would complete the optimal L^2→L^q eigenfunction bounds for Hermite spectral projections in all dimensions, complementing the authors' previous work for d≥3. The proof is built from a reduction to an asymmetric local estimate χ_{A_{λ,μ}} Π_λ χ_{A_{λ,μ'}}: L^{10/7}→L^{10/3}, then to an oscillatory integral operator after rescaling and a sectorial Whitney decomposition. The core of the paper is a multiscale recursive decomposition of the degeneracy set {D(x,y)=0}, with a space–time decomposition, a tangential rectangle covering, an additional input-side tangential refinement, and almost-orthogonality/Cotlar–Stein summation. The authors assert that the final TT* summation from the local estimate to the global theorem is the same as in their prior paper [11], and that the reduction to the oscillatory integral theorem is dimension-independent.

Significance. If correct, Theorem 1.1 settles the last open endpoint in the Hermite spectral projection problem, a longstanding question following Thangavelu, Karadzhov, Koch–Tataru, and the authors' own d≥3 work. The paper's internal architecture is coherent and does not appear to contain post-hoc fitting: the main new ingredient, an asymmetric input refinement combined with a recursive space–time decomposition, is explicit and yields a concrete (μ'/μ)^{1/20} gain. The local estimates and the almost-orthogonality machinery are presented in substantial detail. However, the global claim is not established self-containedly: two load-bearing transitions are delegated to [11] without a d=2 verification, and the reader cannot check from the present manuscript alone that the TT* summation and the dimension-independent reductions indeed produce the claimed λ^{-1/10} endpoint without loss.

major comments (3)
  1. [Section 1.2, after Theorem 1.2] Theorem 1.1 is asserted to follow from Theorem 1.2 by 'the same TT* argument and dyadic annular summation as in [11, pp. 1315–1316 and Section 2.7]'. This is a load-bearing step: (1.3) is an asymmetric L^{10/7}→L^{10/3} bound, not an L^2→L^{10/3} bound, and converting the geometric gain (μ'/μ)^{1/20} into the global λ^{-1/10} requires a double annular summation over μ, μ' without logarithmic loss or dimension-dependent exponent mismatch. No d=2 version of this argument is stated or proved. If the cited summation has a hidden assumption that fails in two dimensions, Theorem 1.1 is unsupported even if all estimates in Sections 3–7 are correct. Please reproduce this step or provide a complete d=2 statement and proof.
  2. [Section 2.1] The reduction of Theorem 1.2 to the oscillatory-integral Theorem 2.1 is declared 'dimension-independent and apply without change'. This includes the kernel representation and rescaling, the Whitney-type decomposition, the reduction to the asymmetric rectangles B,B', and the treatment of the complementary pieces via [11, (3.3), p. 1329]. The rescaling factor in (2.2) explicitly uses d=2, so the assertion of complete dimension-independence is not self-evident. Since Theorem 2.1 is the main technical target, a gap or a d-dependent constant in any of these reductions would undermine the main theorem. Please include a formal verification or a precise lemma stating the d=2 versions of the cited reductions.
  3. [Section 7.1 / Deduction of Proposition 3.1] The final interpolation and dyadic summation split at δ=(μ')^2 is presented only after Propositions 7.1 and 7.2 are assumed. The claimed endpoint inequality uses the two-scale split and the bound δ*∼λ^{-2/3}μ together with μ'≥C*λ^{-2/3}. This is plausible, but the displayed interpolation is the place where the (μ'/μ)^{1/20} factor must survive the summation over δ. The manuscript does not show the intermediate algebra for the cases (μ')^2≤δ* and δ*≤(μ')^2. Given the stress-test concern from the reader's report, I would ask the authors to expand this deduction and verify explicitly that the constants are uniform in δ and that no logarithmic loss enters in the transition from the local pieces to O_{λ,δ}.
minor comments (5)
  1. [Section 2.2, Eq. (2.22)] The sentence 'Since the support of eψ^ℓ_△(x,y,·) is included in a union of two disjoint intervals where ∂_tP is monotone' is a little terse. A short justification would help, since the monotonicity of ∂_tP is not otherwise stated.
  2. [Section 2.4, proof of Lemma 2.6] In the display after (2.31), the term |I| is written without absolute values on the left; since y2−w2 can be negative, the inequality should read |I|≥μ^{-1/2}|y2−w2|.
  3. [Section 3.2, Lemma 3.9] The threshold in part (ii), |⟨n'_⊥(x0,y0), y0−y⟩| ≥ C δ μ^{-3/2} (μ')^{1/2}, is dimensionally nonuniform with the threshold in (3.43). This may be a typographical artifact, but it makes the statement hard to verify.
  4. [Section 6.4, Eq. (6.31)] The affine transformations L_r, L_s are written with free variables x1,x2 and y1,y2, but the coefficients are not named. It would improve readability to label the coordinates after rescaling explicitly, e.g. u=(u_1,u_2), and to state the Jacobian factor separately.
  5. [General presentation] The paper is long and notation-heavy. A table of the main scales and operators (δ, δ△, δ*, σ, σ⊥, σ′, σ'_⊥, and O^κ_{λ,δ}) would help the reader navigate the recursive definitions. Some references to [11] are used for whole reduction steps; even when the argument is said to be identical, a precise pointer to theorem/lemma numbers would improve verifiability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the 2D endpoint is derived from independently proved local estimates; reliance on the authors' prior [11] for TT* summation is a transfer-of-machinery risk, not a self-definitional loop.

full rationale

The derivation chain is: Theorem 1.1 is reduced to the asymmetric localized estimate Theorem 1.2 via the TT* argument and dyadic annular summation in [11]; Theorem 1.2 is reduced to the oscillatory-integral estimate Theorem 2.1 using the Hermite kernel representation, dilation, and a sectorial Whitney-type decomposition; Theorem 2.1 is proved in Sections 3–7 through the geometry of D, a recursive space–time decomposition, almost-orthogonality (Propositions 5.1 and 5.2), diagonal L2 estimates (Proposition 6.1), and interpolation, yielding Propositions 7.1 and 7.2. None of these steps defines the target quantity in terms of itself: (1.3) is an off-diagonal asymmetric estimate proved from scratch, and the final λ^{-1/10} exponent is obtained by summing dyadic scales with the gain (μ'/μ)^{1/20}. The cited [11] is the authors' prior JEMS paper for d≥3; the 2D endpoint is not a conclusion of [11], so invoking its summation/reduction machinery is reliance on an external published result, not a circular re-use of the theorem being proved. The weakest links are the passages after Theorem 1.2 ('Theorem 1.1 follows from Theorem 1.2 by the same TT* argument and dyadic annular summation as in [11, pp. 1315–1316 and Section 2.7]') and in Section 2.1 ('These reductions are dimension-independent and apply without change in the present two-dimensional setting'). These delegate portions of the argument to prior work without reproducing them for d=2; they are a verifiability/completeness risk, not a circularity, because the delegated results are prior external results and do not include the 2D endpoint itself. No parameter is fitted to the target data and renamed a prediction, no uniqueness theorem is imported from the authors, and no ansatz is concealed. Therefore no circular step is present; the score reflects absence of circularity, while correctness of the dimension transfer from [11] is a separate concern.

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

No empirical constants are fitted; all proof constants are chosen generically. The proof rests on standard harmonic-analysis theorems and on cited prior work by the same authors and by Koch–Tataru. No new physical or mathematical entities are introduced.

assumptions (5)
  • domain assumption Koch–Tataru local annulus estimate (1.2) for Hermite spectral projections
    Used to dispose of the regime μ'≥ε0μ and as a benchmark; quoted from [14].
  • domain assumption Hermite spectral projection kernel representation and scaling from [11, Lemma 2.1]
    Converts (1.3) to the localized oscillatory integral operator O_λ; proof cited from prior work.
  • domain assumption Dimension-independent reduction steps from [11, Sections 2–3]
    The paper states these apply without change in d=2.
  • domain assumption TT* argument and dyadic annular summation from [11]
    Quoted after Theorem 1.2 to pass from the localized estimate to Theorem 1.1.
  • standard math Standard tools: Cotlar–Stein lemma, Hörmander oscillatory integral theorem, van der Corput lemma, stationary phase [9, Thm 7.7.5], Riesz–Thorin interpolation, Schur's test
    Used throughout; all are established theorems.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Endpoint Eigenfunction Bound for the Hermite Operator in Two Dimensions." pith.science (2026). https://pith.science/paper/HDNX7C43

@misc{pith2026260725859,
  author       = {Pith},
  title        = {Pith review of: The Endpoint Eigenfunction Bound for the Hermite Operator in Two Dimensions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HDNX7C43}},
  note         = {Machine review of arXiv:2607.25859}
}
abstract

In this paper, we establish the optimal \(L^2(\mathbb{R}^2)\to L^{10/3}(\mathbb{R}^2)\) endpoint estimate for the spectral projection operator associated with the Hermite operator on \(\mathbb{R}^2\). This completes a long-standing line of inquiry into sharp eigenfunction bounds for the Hermite operator, developed through the works of Thangavelu, Karadzhov, Koch--Tataru, and others. In higher dimensions \(d\ge 3\), the corresponding endpoint estimates \[ L^2(\mathbb{R}^d)\to L^{\frac{2(d+3)}{d+1}}(\mathbb{R}^d) \] were recently established by the present authors. Together with these earlier results, the present work fully resolves the problem of optimal \(L^2\to L^q\) eigenfunction bounds for Hermite spectral projections in all dimensions. Although our approach builds on our previous method, we overcome its limitations through a multiscale decomposition in space and time relative to the degeneracy set, combined with an asymmetric refinement on the input side and almost orthogonality.

Figures

Figures reproduced from arXiv: 2607.25859 by the authors.

Figure 1
Figure 1. A typical configuration of B and B ′ when µ ′ ≪ µ. The figure is schematic and not drawn to scale. for a large constant C∗ > 0 and (d/dt) N ψµ = O(µ −N/2 ) for any nonnegative integer N. Thus, we may replace the above integral with O µ λ (x, y) = Z ψµ(t) e iλP(x,y,t) √µ dt.1 (2.3) For a sufficiently small number ε0 > 0, let B and B ′ be rectangles of dimensions ε0µ × ε0(µµ′ ) 1/2 and ε0µ ′ × ε0(µµ′ ) 1/2 , whose sid… view at source ↗
Figure 2
Figure 2. The global placement of B and B ′ is as in [PITH_FULL_IMAGE:figures/full_fig_p016_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Sharp Endpoint Eigenfunction Estimates for the Two-Dimensional Hermite Operator

    math.AP 2026-08 conditional novelty 5.0 of 10

    An independent proof establishes the sharp log-free L^2 to L^{10/3} endpoint estimate for the two-dimensional Hermite operator.

Reference graph

Works this paper leans on

25 extracted references · 1 linked inside Pith · cited by 1 Pith paper

  1. [11]

    ,Endpoint eigenfunction bounds for the Hermite operator, J. Eur. Math. Soc.28 (2026), 1313–1352

    2026

  2. [1]

    Askey, S

    R. Askey, S. Wainger,Mean convergence of expansions in Laguerre and Hermite Series, Amer. J. Math.87(1965), 695–708

    1965

  3. [2]

    P. Chen, S. Lee, A. Sikora, L. Yan,Bounds on the maximal Bochner-Riesz means for elliptic operators, Trans. Amer. Math. Soc.373(2020), 3793–3828

    2020

  4. [3]

    P. Chen, J. Li, L. A. Ward, L. Yan,Weak-type endpoint bounds for Bochner-Riesz means for the Hermite operator, C. R. Math. Acad. Sci. Paris360(2022), 111–126

    2022

  5. [4]

    Escauriaza,Carleman inequalities and the heat operator, Duke Math

    L. Escauriaza,Carleman inequalities and the heat operator, Duke Math. J.104(2000), 113– 127

    2000

  6. [5]

    Escauriaza, L

    L. Escauriaza, L. Vega,Carleman inequalities and the heat operator II, Indiana Univ. Math. J.50(2001), 1149–1169

    2001

  7. [6]

    Gosselin, K

    J. Gosselin, K. Stempak,Conjugate expansions for Hermite functions, Illinois J. Math.38 (1994), 177–197

    1994

  8. [7]

    H¨ ormander,Oscillatory integrals and multipliers onF Lp, Ark

    L. H¨ ormander,Oscillatory integrals and multipliers onF Lp, Ark. Mat.11(1973), 1–11

    1973

Show all 25 references
  1. [8]

    H¨ ormander,The analysis of linear partial differential operators III

    L. H¨ ormander,The analysis of linear partial differential operators III. Pseudo-Differential Operators, Second edition, Springer-Verlag, Berlin, 1983

    1983

  2. [9]

    H¨ ormander,The analysis of linear partial differential operators I

    L. H¨ ormander,The analysis of linear partial differential operators I. Distribution theory and Fourier analysis, Second edition, Springer-Verlag, Berlin, 1990

    1990

  3. [10]

    Jeong, S

    E. Jeong, S. Lee, J. Ryu,Unique continuation for the heat operator with potentials in weak spaces, Anal. PDE17(2024), 2257–2274

    2024

  4. [12]

    G. B. Karadzhov,Riesz summability of multiple Hermite series inL p spaces, C. R. Acad. Bulgare Sci.47(1994), 5–8

    1994

  5. [13]

    H. Koch, F. Ricci,Spectral projections for the twisted Laplacian, Studia Math.180(2007), 103–110

    2007

  6. [14]

    H. Koch, D. Tataru,L p eigenfunction bounds for the Hermite operator, Duke Math. J.128 (2005), 369–392

    2005

  7. [15]

    Partial Differ

    ,Carleman estimates and unique continuation for second order parabolic equations with nonsmooth coefficients, Commun. Partial Differ. Equ.34(2009), 305–366

    2009

  8. [16]

    H. Koch, D. Tataru, M. Zworski,SemiclassicalL p estimates, Ann. Henri Poincar´ e8(2007), 885–916

    2007

  9. [17]

    S. Lee, J. Ryu,Bochner–Riesz means for the Hermite and special Hermite expansions, Adv. Math.400(2022), Paper No. 108260

    2022

  10. [18]

    Markett,Norm estimates for(C, δ)means of Hermite expansions and bounds forδ eff , Acta Math

    C. Markett,Norm estimates for(C, δ)means of Hermite expansions and bounds forδ eff , Acta Math. Hungar.43(1984), 187–198

    1984

  11. [19]

    S. Oh, J. Ryu,SemiclassicalL p quasimode restriction estimates in two dimensions, arXiv:2401.16881

    arXiv

  12. [20]

    C. D. Sogge,Concerning theL p norm of spectral clusters for second-order elliptic operators on compact manifolds, J. Funct. Anal.77(1988), 123–138

    1988

  13. [21]

    E. M. Stein,Harmonic analysis real-variable methods, orthogonality, and oscillatory integrals, Princeton Univ. Press, Princeton, NJ, 1993

    1993

  14. [22]

    Stempak, J

    K. Stempak, J. Zienkiewicz,Twisted convolution and Riesz means, J. Anal. Math.76(1998), 93–107. ENDPOINT EIGENFUNCTION BOUND 57

    1998

  15. [23]

    Thangavelu,Lectures on Hermite and Laguerre expansions, Math

    S. Thangavelu,Lectures on Hermite and Laguerre expansions, Math. notes 42, Princeton University Press, Princeton, NJ, 1993

    1993

  16. [24]

    J.94(1998), 257–278

    ,Hermite and special Hermite expansions revisited,Duke Math. J.94(1998), 257–278

    1998

  17. [25]

    X. Wang, C. Zhang,Sharp localL p estimates for the Hermite eigenfunctions, Trans. Amer. Math. Soc.378(2025), 8223–8258. (Jeong)Department of Mathematics Education, and Institute of Pure and Applied Mathematics, Jeonbuk National University, Jeonju 54896, Republic of Korea Email...

    2025

Pith tools

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