pith. sign in

arxiv: 2606.03076 · v1 · pith:V3W2NNN3new · submitted 2026-06-02 · 🧮 math.CA

Optimal constants of smoothing estimates for quantum harmonic oscillators

Soichiro Suzuki This is my paper

Pith reviewed 2026-06-28 08:07 UTC · model grok-4.3

classification 🧮 math.CA
keywords smoothing estimatesquantum harmonic oscillatoroptimal constantsextremizersSchrödinger equation
0
0 comments X

The pith

Smoothing estimates for the quantum harmonic oscillator attain the same optimal constants as the free Schrödinger equation.

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

The paper shows that estimates controlling the space-time regularity of solutions to the Schrödinger equation with a quadratic potential have the same sharp constants and extremizing initial data as the corresponding estimates for free particles. A reader would care because the harmonic oscillator models many physical systems where precise bounds on wave behavior matter for analysis and approximation. The results transfer the earlier free-particle conclusions by constructing analogous extremizers and verifying that the constants remain unchanged under the added potential term. This means the same quantitative control applies directly to the oscillator case without degradation.

Core claim

The paper establishes harmonic oscillator analogues of the smoothing estimates of Simon (1992), Bez and Sugimoto (2014), and Bez et al. (2015), including the identification of the optimal constants and the extremizers that achieve them.

What carries the argument

The smoothing estimate, which bounds a space-time norm of the solution operator applied to initial data by a multiple of the initial-data norm, with the multiple shown to be optimal via explicit extremizers.

If this is right

  • The extremizers identified for the free equation also serve as extremizers for the oscillator.
  • Sharp constants are now available for quantitative estimates on solutions under the harmonic potential.
  • The same scaling and decay properties that hold for free particles persist when the potential is added.

Where Pith is reading between the lines

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

  • These sharp constants could be used to test numerical schemes for the time-dependent Schrödinger equation with quadratic potentials.
  • The result suggests that similar transfers might be possible for other potentials that are perturbations of the harmonic one.
  • If the constants match, then any application relying on the free-particle smoothing bound can be reused verbatim for the oscillator.

Load-bearing premise

The techniques and extremizer constructions developed for free particles carry over to the harmonic oscillator while preserving the exact value of the optimal constant.

What would settle it

An explicit initial datum for the harmonic oscillator whose space-time smoothing norm exceeds the constant known from the free-particle case, or a proof that no function attains equality at that constant.

read the original abstract

We study optimal constants and extremizers of smoothing estimates for quantum harmonic oscillators. In particular, we establish harmonic oscillator analogues of free particle results due to Simon (1992), Bez and Sugimoto (2014), and Bez et al. (2015).

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

1 major / 0 minor

Summary. The paper studies optimal constants and extremizers of smoothing estimates for quantum harmonic oscillators. It claims to establish harmonic oscillator analogues of free-particle smoothing results due to Simon (1992), Bez and Sugimoto (2014), and Bez et al. (2015).

Significance. If the claimed analogues hold with matching sharpness, the work would extend a line of sharp smoothing estimates from the free Schrödinger equation to the harmonic oscillator Hamiltonian, supplying explicit optimal constants and extremizers. This is potentially useful for dispersive PDE analysis in quadratic potentials.

major comments (1)
  1. The provided abstract states the main claim but supplies no derivations, proofs, or explicit statements of the estimates (e.g., no analogue of the Simon or Bez–Sugimoto inequalities is written down). Without the body of the paper it is impossible to verify whether the analytic techniques transfer without loss of sharpness or whether the extremizers are correctly identified.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their review. We provide a point-by-point response to the major comment below.

read point-by-point responses

  1. Referee: The provided abstract states the main claim but supplies no derivations, proofs, or explicit statements of the estimates (e.g., no analogue of the Simon or Bez–Sugimoto inequalities is written down). Without the body of the paper it is impossible to verify whether the analytic techniques transfer without loss of sharpness or whether the extremizers are correctly identified.

    Authors: The abstract is a concise summary of the paper's contributions. The full manuscript contains explicit statements of the smoothing estimates (the harmonic-oscillator analogues of the Simon, Bez–Sugimoto, and Bez et al. inequalities), together with complete derivations, proofs, and the identification of optimal constants and extremizers. These appear in the body of the paper and establish that the techniques transfer with preserved sharpness. revision: no

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's central claim is an extension of smoothing estimates from external prior results (Simon 1992, Bez and Sugimoto 2014, Bez et al. 2015) to the quantum harmonic oscillator. No self-citations, fitted parameters renamed as predictions, or self-definitional steps are indicated in the provided abstract or description. The derivation chain relies on independent external benchmarks and analytic techniques transferred from free-particle cases, keeping the result self-contained against external references.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

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

pith-pipeline@v0.9.1-grok · 5544 in / 900 out tokens · 16629 ms · 2026-06-28T08:07:06.089790+00:00 · methodology

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

29 extracted references · 25 canonical work pages · 1 internal anchor

  1. [1]

    Decay and regularity for the Schr¨ odinger equation

    Matania Ben-Artzi and Sergiu Klainerman. Decay and regularity for the Schr¨ odinger equation. Journal d’Analyse Math´ ematique, 58(1):25–37, 1992. doi:10.1007/bf02790356. MR1226935

    work page doi:10.1007/bf02790356 1992

  2. [2]

    Sur les fonctions absolument monotones.Acta Mathematica, 52:1–66, 1929

    Serge Bernstein. Sur les fonctions absolument monotones.Acta Mathematica, 52:1–66, 1929. doi:10.1007/bf02592679. MR1555269

    work page doi:10.1007/bf02592679 1929

  3. [3]

    Optimal forward and reverse estimates of Morawetz and Kato– Yajima type with angular smoothing index.Journal of Fourier Analysis and Applications, 21 (2):318–341, 2014

    Neal Bez and Mitsuru Sugimoto. Optimal forward and reverse estimates of Morawetz and Kato– Yajima type with angular smoothing index.Journal of Fourier Analysis and Applications, 21 (2):318–341, 2014. doi:10.1007/s00041-014-9371-0. MR3319535

    work page doi:10.1007/s00041-014-9371-0 2014

  4. [4]

    Optimal constants and extremisers for some smoothing esti- mates.Journal d’Analyse Math´ ematique, 131(1):159–187, 2017

    Neal Bez and Mitsuru Sugimoto. Optimal constants and extremisers for some smoothing esti- mates.Journal d’Analyse Math´ ematique, 131(1):159–187, 2017. doi:10.1007/s11854-017-0005-8. MR3631453

    work page doi:10.1007/s11854-017-0005-8 2017

  5. [5]

    Applications of the Funk-Hecke theo- rem to smoothing and trace estimates.Advances in Mathematics, 285:1767–1795, 2015

    Neal Bez, Hiroki Saito, and Mitsuru Sugimoto. Applications of the Funk-Hecke theo- rem to smoothing and trace estimates.Advances in Mathematics, 285:1767–1795, 2015. doi:10.1016/j.aim.2015.08.025. MR3406541

    work page doi:10.1016/j.aim.2015.08.025 2015

  6. [6]

    Bruno Bongioanni and Keith M. Rogers. Regularity of the Schr¨ odinger equation for the har- monic oscillator.Arkiv f¨ or Matematik, 49(2):217–238, 2011. doi:10.1007/s11512-009-0111-7. MR2826942

    work page doi:10.1007/s11512-009-0111-7 2011

  7. [7]

    Xuwen Chen. Classical proofs of Kato type smoothing estimates for the Schr¨ odinger equation with quadratic potential inR n+1 with application.Differential and Integral Equations, 24(3/4): 209–230, 2011. doi:10.57262/die/1356019031. MR2757458. OPTIMAL SMOOTHING ESTIMATES FOR QUANTUM HARMONIC OSCILLATORS 15

    work page doi:10.57262/die/1356019031 2011

  8. [8]

    The monotonicity of modified Bessel functions with respect to their or- der.Journal of Mathematics and Physics, 46(1-4):220–222, 1967

    James Alan Cochran. The monotonicity of modified Bessel functions with respect to their or- der.Journal of Mathematics and Physics, 46(1-4):220–222, 1967. doi:10.1002/sapm1967461220. MR0213624

    work page doi:10.1002/sapm1967461220 1967

  9. [9]

    NIST Digital Library of Mathematical Functions

    DLMF. NIST Digital Library of Mathematical Functions. Release 1.2.6 of 2026-03-15. URL https://dlmf.nist.gov/. F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds

    2026

  10. [10]

    Weighted Strichartz estimates with angular regularity and their applications.Forum Mathematicum, 23(1):181–205, 2011

    Daoyuan Fang and Chengbo Wang. Weighted Strichartz estimates with angular regularity and their applications.Forum Mathematicum, 23(1):181–205, 2011. doi:10.1515/form.2011.009. MR2769870

    work page doi:10.1515/form.2011.009 2011

  11. [11]

    I. S. Gradshteyn and I. M. Ryzhik.Table of Integrals, Series, and Products. Elsevier, Boston, 8th edition, 2014. ISBN 978-0-12-384933-5. doi:10.1016/c2010-0-64839-5. MR3307944

    work page doi:10.1016/c2010-0-64839-5 2014

  12. [12]

    Philip Hartman and Geoffrey S. Watson. “Normal” distribution functions on spheres and the modified Bessel functions.The Annals of Probability, 2(4):593–607, 1974. doi:10.1214/aop/1176996606. MR0370687

    work page doi:10.1214/aop/1176996606 1974

  13. [13]

    On weightedL 2 estimates of solutions to wave equations.Journal d’Analyse Math´ ematique, 72(1):127–140, 1997

    Toshihiko Hoshiro. On weightedL 2 estimates of solutions to wave equations.Journal d’Analyse Math´ ematique, 72(1):127–140, 1997. doi:10.1007/BF02843156. MR1482992

    work page doi:10.1007/bf02843156 1997

  14. [14]

    A. L. Jones. An extension of an inequality involving modified Bessel functions.Journal of Mathematics and Physics, 47(1-4):220–221, 1968. doi:10.1002/sapm1968471220. MR0227483

    work page doi:10.1002/sapm1968471220 1968

  15. [15]

    kv - a C++ Library for Verified Numerical Computation

    Masahide Kashiwagi. kv - a C++ Library for Verified Numerical Computation. Release 0.4.60 of 2026-05-30. URLhttps://github.com/mskashi/kv.git

    2026

  16. [16]

    Some examples of smooth operators and the associated smoothing effect.Reviews in Mathematical Physics, 1(4):481–496, 1989

    Tosio Kato and Kenji Yajima. Some examples of smooth operators and the associated smoothing effect.Reviews in Mathematical Physics, 1(4):481–496, 1989. doi:10.1142/s0129055x89000171. MR1061120

    work page doi:10.1142/s0129055x89000171 1989

  17. [17]

    Inequalities for some Whittaker functions.Archivum Mathematicum, 3:1–9, 1967

    Lee Lorch. Inequalities for some Whittaker functions.Archivum Mathematicum, 3:1–9, 1967. URLhttp://eudml.org/doc/15809. MR0223611

    1967

  18. [18]

    Springer Berlin Heidelberg, 1966

    Claus M¨ uller.Spherical harmonics, volume 17 ofLecture Notes in Mathematics. Springer Berlin Heidelberg, 1966. ISBN 9783540371748. doi:10.1007/bfb0094775. MR0199449

    work page doi:10.1007/bfb0094775 1966

  19. [19]

    A. P. Prudnikov, Yu. A. Brychkov, and O. I. Marichev.Special functions, volume 2 ofIntegrals and series. Gordon & Breach Science Publishers, New York, second edition, 1988. ISBN 2- 88124-090-9. MR0950173. Translated from the Russian by N. M. Queen

    1988

  20. [20]

    D. O. Reudink. On the signs of theν-derivatives of the modified Bessel functionsI ν(x) and Kν(x).Journal of Research of the National Bureau of Standards, Section B: Mathematical Sciences, 72B(4):279–280, 1968. doi:10.6028/jres.072b.028. MR0235168

    work page doi:10.6028/jres.072b.028 1968

  21. [21]

    Bernstein

    Ren´ e L. Schilling, Renming Song, and Zoran Vondracek.Bernstein functions: theory and applica- tions. DE GRUYTER, second edition, 2012. ISBN 9783110269338. doi:10.1515/9783110269338. MR2978140

    work page doi:10.1515/9783110269338 2012

  22. [22]

    I. J. Schoenberg. Metric spaces and completely monotone functions.The Annals of Mathematics, 39(4):811–841, 1938. doi:10.2307/1968466. MR1503439

    work page doi:10.2307/1968466 1938

  23. [23]

    Best constants in some operator smoothness estimates.Journal of Functional Analysis, 107(1):66–71, 1992

    Barry Simon. Best constants in some operator smoothness estimates.Journal of Functional Analysis, 107(1):66–71, 1992. doi:10.1016/0022-1236(92)90100-w. MR1165866

    work page doi:10.1016/0022-1236(92)90100-w 1992

  24. [24]

    Optimal constants of smoothing estimates for the Dirac equation in arbitrary dimensions.preprint, 2025

    Soichiro Suzuki. Optimal constants of smoothing estimates for the Dirac equation in arbitrary dimensions.preprint, 2025. doi:10.48550/arXiv.2501.00949

    work page doi:10.48550/arxiv.2501.00949 2025

  25. [25]

    Identities and inequalities for integral transforms involving squares of the Bessel functions

    Soichiro Suzuki. Identities and inequalities for integral transforms involving squares of the Bessel functions.preprint, 2025. doi:10.48550/arXiv.2511.00137

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2511.00137 2025

  26. [26]

    American Mathematical Society Colloquium Publications, Vol

    G´ abor Szeg¨ o.Orthogonal polynomials. American Mathematical Society Colloquium Publications, Vol. XXIII. American Mathematical Society, Providence, RI, fourth edition, 1975. ISBN 978-0- 8218-1023-1. doi:10.1090/coll/023. MR0372517

    work page doi:10.1090/coll/023 1975

  27. [27]

    Princeton University Press, 1993

    Sundaram Thangavelu.Lectures on Hermite and Laguerre expansions, volume 42 ofMathemati- cal Notes. Princeton University Press, 1993. ISBN 9780691213927. doi:10.1515/9780691213927. MR1215939. 16 SOICHIRO SUZUKI

    work page doi:10.1515/9780691213927 1993

  28. [28]

    D. V. Widder. Necessary and sufficient conditions for the representation of a function as a Laplace integral.Transactions of the American Mathematical Society, 33(4):851–892, 1931. doi:10.1090/s0002-9947-1931-1501621-6. MR1501621

    work page doi:10.1090/s0002-9947-1931-1501621-6 1931

  29. [29]

    Princeton University Press, 1942

    David Vernon Widder.The Laplace transform, volume 6 ofPrinceton Mathematical Se- ries. Princeton University Press, 1942. ISBN 9780691653693. doi:10.1515/9781400876457. MR0005923. (Soichiro Suzuki)Department of Mathematics, Chuo University, 1-13-27, Kasuga, Bunkyo-ku, Tokyo, 112- 8551, Japan Email address:soichiro.suzuki.m18020a@gmail.com

    work page doi:10.1515/9781400876457 1942