pith. sign in

arxiv: 2606.10847 · v1 · pith:BPZYHCDYnew · submitted 2026-06-09 · 🧮 math.SP · math.AP

Quantum Limits of the Laplacian perturbed along a geodesic on mathbb{S}²

Santiago Verdasco This is my paper

Pith reviewed 2026-06-27 10:53 UTC · model grok-4.3

classification 🧮 math.SP math.AP
keywords quantum limitssemiclassical measuresgeodesic flowdelta potentialLaplace-Beltrami operatortwo-sphereeigenfunctionssingular perturbations
0
0 comments X

The pith

A singular delta potential along an equator on the sphere permits sequences of eigenfunctions whose semiclassical measures fail to be invariant under geodesic flow.

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

The paper studies eigenfunctions of the Laplace-Beltrami operator on the two-sphere when perturbed by a measure supported exactly on a closed geodesic. It establishes that this singular perturbation produces high-frequency sequences whose associated semiclassical measures are not invariant under the geodesic flow. In contrast to the bounded-potential case, where all such measures remain invariant, the singular support allows energy to concentrate asymptotically on one of the two hemispheres bounded by the equator. A sympathetic reader cares because this shows that the usual link between quantum limits and classical invariant measures can break when the perturbation is sufficiently singular.

Core claim

The presence of a singular delta potential on a closed geodesic results in the existence of sequences of eigenfunctions whose semiclassical measure is not invariant under geodesic flow. In particular, one can find a sequence of eigenfunctions whose energy asymptotically concentrates on the hemisphere bounded by the equator on which the potential is concentrated.

What carries the argument

Semiclassical measures of eigenfunction sequences for the perturbed operator, which lose invariance under geodesic flow when the perturbation is a singular measure supported on the geodesic.

If this is right

  • The set of attainable semiclassical measures strictly contains the geodesic-flow-invariant measures.
  • Energy concentration on a single hemisphere bounded by the perturbed geodesic becomes possible.
  • The high-frequency behavior cannot be fully described by the geodesic flow alone when the perturbation is singular.
  • This provides a counter-example to the expectation that all quantum limits arise from invariant measures on the cosphere bundle.

Where Pith is reading between the lines

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

  • Similar loss of invariance may appear for singular perturbations along closed geodesics on other compact manifolds.
  • The result highlights a distinction between bounded and measure-supported perturbations that could be tested numerically on discretized spheres.
  • It suggests examining whether other singular supports, such as points or lower-dimensional submanifolds, produce comparable concentration effects.

Load-bearing premise

The perturbation must be exactly a singular measure supported on the closed geodesic, as the proof relies on this precise character to evade the usual invariance argument.

What would settle it

A concrete counter-example would be an explicit sequence of eigenfunctions for the perturbed operator whose semiclassical measure remains invariant under geodesic flow and does not concentrate on one hemisphere.

read the original abstract

This article studies the high-frequency behavior of eigenstates of perturbations of the Laplace-Beltrami operator on the two-sphere $\mathbb{S}^{2}$ by a measure supported on an equator. We are interested in understanding to what extent this behavior can be described in terms of the geodesic flow of the sphere. This is done by analyzing quantum limits and semiclassical measures of sequences of high-frequency eigenfunctions, which describe how their $L^2$-masses concentrate in phase space. When the Laplacian on $\mathbb{S}^{2}$ is perturbed by a bounded potential, it is known that the family of all possible semiclassical measures is contained in the set of positive measures on the unit cosphere bundle $S^*\mathbb{S}^{2}$ that are invariant under geodesic flow (with equality in the unperturbed case). In this article, we show that the presence of a singular delta potential on a closed geodesic results in the existence of sequences of eigenfunctions whose semiclassical measure is not invariant under geodesic flow. In particular, one can find a sequence of eigenfunctions whose energy asymptotically concentrates on the hemisphere bounded by the equator on which the potential is concentrated.

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

2 major / 2 minor

Summary. The paper studies high-frequency eigenfunctions of the Laplace-Beltrami operator on S² perturbed by a delta measure supported on a closed geodesic (equator). It claims that this singular perturbation permits sequences of eigenfunctions whose semiclassical measures are not invariant under geodesic flow, unlike the bounded-potential case, with an explicit example of asymptotic concentration on one hemisphere.

Significance. If the central construction is validated, the result demonstrates that singular perturbations can produce non-invariant quantum limits, providing a concrete counterexample to invariance properties that hold for bounded potentials. This advances understanding of semiclassical measures in the presence of singular potentials and has implications for quantum ergodicity on manifolds with concentrated perturbations.

major comments (2)
  1. [Construction of approximating sequences (likely §4)] The construction of test sequences must be shown to lie in the form domain of the perturbed operator and satisfy the weak eigenvalue equation including the distributional delta term. The abstract notes that singularity breaks the usual invariance argument, but without explicit verification that the normal-derivative jump produces an error o(1) rather than O(1) in the dual norm, the limiting measure may not be realized by actual eigenfunctions of the perturbed operator.
  2. [Weak formulation and error estimates (likely §3)] The transmission conditions across the geodesic γ imposed by the delta potential must be incorporated into the WKB or cutoff construction; any sequence ignoring the jump will fail to be a valid approximate eigenfunction, undermining the non-invariance conclusion.
minor comments (2)
  1. [Introduction and preliminaries] Clarify the precise definition of the form domain for the delta-perturbed operator early in the manuscript.
  2. [Discussion of invariance] Add a remark comparing the singular case directly to the bounded-potential invariance proof to highlight where the argument fails.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where the verification of the weak formulation requires greater explicitness. We address each major comment below and will revise the manuscript to incorporate the requested clarifications.

read point-by-point responses

  1. Referee: [Construction of approximating sequences (likely §4)] The construction of test sequences must be shown to lie in the form domain of the perturbed operator and satisfy the weak eigenvalue equation including the distributional delta term. The abstract notes that singularity breaks the usual invariance argument, but without explicit verification that the normal-derivative jump produces an error o(1) rather than O(1) in the dual norm, the limiting measure may not be realized by actual eigenfunctions of the perturbed operator.

    Authors: We agree that an explicit verification is needed. The sequences constructed in §4 are chosen to satisfy the transmission conditions (continuity across γ and the jump in the normal derivative equal to the delta coefficient times the trace), placing them in the form domain. However, the manuscript presents the o(1) error estimate only implicitly via the WKB phase. In the revision we will add a dedicated lemma that computes the action of the distributional delta term on the test sequence and shows that its contribution is o(1) in the dual norm of the form domain, thereby confirming that the limiting semiclassical measure is realized by genuine eigenfunctions of the perturbed operator. revision: yes

  2. Referee: [Weak formulation and error estimates (likely §3)] The transmission conditions across the geodesic γ imposed by the delta potential must be incorporated into the WKB or cutoff construction; any sequence ignoring the jump will fail to be a valid approximate eigenfunction, undermining the non-invariance conclusion.

    Authors: The cutoff construction in §3 is designed so that the jump condition is satisfied exactly on the support of the cutoff; the error arises only from the smoothing of the cutoff near γ. We will expand the error analysis in the revised §3 to derive an explicit bound showing that the mismatch between the imposed jump and the actual distributional term is absorbed into the o(1) remainder of the weak eigenvalue equation. This will be achieved by integrating by parts across γ and using the rapid decay of the cutoff derivatives away from the geodesic. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation is an existence proof via operator analysis and sequence construction, self-contained against external spectral theory benchmarks.

full rationale

The paper establishes an existence result for non-invariant semiclassical measures under a singular delta perturbation by analyzing the perturbed Laplacian and constructing approximating sequences that satisfy the weak eigenvalue equation in the appropriate form domain. No steps reduce by definition to their inputs, no parameters are fitted then relabeled as predictions, and no load-bearing claims rest on self-citations or imported uniqueness theorems. The central argument relies on the singular character of the potential to break standard invariance, but this is derived from the distributional formulation of the operator rather than assumed or circularly redefined. The derivation is therefore independent and self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no specific free parameters, axioms, or invented entities can be extracted from the text.

pith-pipeline@v0.9.1-grok · 5727 in / 1083 out tokens · 33870 ms · 2026-06-27T10:53:43.952216+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

44 extracted references · 33 canonical work pages · 1 internal anchor

  1. [1]

    Entropyandthelocalization ofeigenfunctions

    N. Anantharaman.“Entropyandthelocalization ofeigenfunctions”.Annals of Mathematics. Second Series168 (2008). doi: 10.4007/annals.2008.168.435

    work page doi:10.4007/annals.2008.168.435 2008

  2. [2]

    Semiclassical completely inte- grable systems: long-time dynamics and observability via two-microlocal Wigner measures

    N. Anantharaman, C. Fermanian-Kammerer, and F. Macià. “Semiclassical completely inte- grable systems: long-time dynamics and observability via two-microlocal Wigner measures”. American Journal of Mathematics137 (2015). doi: 10.1353/ajm.2015.0020

    work page doi:10.1353/ajm.2015.0020 2015

  3. [3]

    Wigner measures and observability for the Schrödinger equation on the disk

    N. Anantharaman, M. Léautaud, and F. Macià. “Wigner measures and observability for the Schrödinger equation on the disk”.Inventiones Mathematicae 206 (2016). doi: 10.1007/ s00222-016-0658-4

    2016

  4. [4]

    Semiclassical measures for the Schrödinger equation on the torus

    N. Anantharaman and F. Macià. “Semiclassical measures for the Schrödinger equation on the torus”.Journal of the European Mathematical Society (JEMS)16 (2014).doi: 10.4171/ JEMS/460

    2014

  5. [5]

    Half-delocalization of eigenfunctions for the Laplacian on an Anosov manifold

    N. Anantharaman and S. Nonnenmacher. “Half-delocalization of eigenfunctions for the Laplacian on an Anosov manifold”. Vol. 57. Festival Yves Colin de Verdière. 2007.doi: 10.5802/aif.2340

    work page doi:10.5802/aif.2340 2007

  6. [6]

    Concentration of symmetric eigenfunctions

    D. Azagra and F. Macià. “Concentration of symmetric eigenfunctions”.Nonlinear Analysis. Theory, Methods & Applications. An International Multidisciplinary Journal73 (2010). doi: 10.1016/j.na.2010.03.056

    work page doi:10.1016/j.na.2010.03.056 2010

  7. [7]

    Wilkinson and E

    M. V. Berry. “Semiclassically weak reflections above analytic and nonanalytic potential barriers”.Journal of Physics. A. Mathematical and General15 (1982).doi: 10.1088/0305- 4470/15/12/021

    work page doi:10.1088/0305- 1982

  8. [8]

    Singular statistics

    E. Bogomolny, U. Gerland, and C. Schmit. “Singular statistics”.Physical Review E. Statis- tical, Nonlinear, and Soft Matter Physics63 (2001). doi: 10.1103/PhysRevE.63.036206

    work page doi:10.1103/physreve.63.036206 2001

  9. [9]

    Measure propagation along C0-vector field and wave controllability on a rough compact manifold

    N. Burq, B. Dehman, and J. Le Rousseau. “Measure propagation along C0-vector field and wave controllability on a rough compact manifold”.Analysis & PDE 17 (2024). doi: 10.2140/apde.2024.17.2683

    work page doi:10.2140/apde.2024.17.2683 2024

  10. [10]

    Semiclassical analysis of the Schrödinger equation with conical singularities

    V. Chabu. “Semiclassical analysis of the Schrödinger equation with conical singularities”. Asymptotic Analysis103 (2017). doi: 10.3233/ASY-171423

    work page doi:10.3233/asy-171423 2017

  11. [11]

    Ergodicity and eigenfunctions of the Laplacian

    Y. Colin de Verdière. “Ergodicity and eigenfunctions of the Laplacian”. French.Communi- cations in Mathematical Physics102 (1985). doi: 10.1007/BF01209296

    work page doi:10.1007/bf01209296 1985

  12. [12]

    Wigner measure propagation and conical singularity for general initial data

    C. Fermanian-Kammerer, P. Gérard, and C. Lasser. “Wigner measure propagation and conical singularity for general initial data”.Archive for Rational Mechanics and Analysis 209 (2013). doi: 10.1007/s00205-013-0622-z

    work page doi:10.1007/s00205-013-0622-z 2013

  13. [13]

    Poisson distribution for gaps between sums of two squares and level spacings for toral point scatterers

    T. Freiberg, P. Kurlberg, and L. Rosenzweig. “Poisson distribution for gaps between sums of two squares and level spacings for toral point scatterers”.Communications in Number Theory and Physics11 (2017). doi: 10.4310/CNTP.2017.v11.n4.a3

    work page doi:10.4310/cntp.2017.v11.n4.a3 2017

  14. [14]

    Propagation for Schrödinger operators with potentials sin- gular along a hypersurface

    J. Galkowski and J. Wunsch. “Propagation for Schrödinger operators with potentials sin- gular along a hypersurface”.Archive for Rational Mechanics and Analysis248 (2024). doi: 10.1007/s00205-024-01965-1

    work page doi:10.1007/s00205-024-01965-1 2024

  15. [15]

    Semiclassical diffraction by conormal potential singularities

    O. Gannot and J. Wunsch. “Semiclassical diffraction by conormal potential singularities”. Annales Scientifiques de l’École Normale Supérieure. Quatrième Série56 (2023). doi: 10. 24033/asens.2543

    2023

  16. [16]

    Formule de trace semi-classique sur une variété de dimension 3 avec un poten- tiel de Dirac

    L. Hillairet. “Formule de trace semi-classique sur une variété de dimension 3 avec un poten- tiel de Dirac”.Communications in Partial Differential Equations27 (2002). doi: 10.1081/ PDE-120016127. 32 REFERENCES

    2002

  17. [17]

    Classical limits of eigenfunctions for some completely inte- grable systems

    D. Jakobson and S. Zelditch. “Classical limits of eigenfunctions for some completely inte- grable systems”.Emerging applications of number theory (Minneapolis, MN, 1996). Vol. 109. IMA Vol. Math. Appl. Springer, New York, 1999.doi: 10 . 1007 / 978 - 1 - 4612 - 1544 - 8\_{1}{3}

    1996

  18. [18]

    Superscars for arithmetic point scatters II

    P. Kurlberg, S. Lester, and L. Rosenzweig. “Superscars for arithmetic point scatters II”. Forum of Mathematics, Sigma11 (2023). doi: 10.1017/fms.2023.33

    work page doi:10.1017/fms.2023.33 2023

  19. [19]

    Superscars for arithmetic toral point scatterers

    P. Kurlberg and L. Rosenzweig. “Superscars for arithmetic toral point scatterers”.Commu- nications in Mathematical Physics349 (2017). doi: 10.1007/s00220-016-2749-x

    work page doi:10.1007/s00220-016-2749-x 2017

  20. [20]

    Quantum Ergodicity for Point Scatterers on Arithmetic Tori

    P. Kurlberg and H. Ueberschär. “Quantum Ergodicity for Point Scatterers on Arithmetic Tori”.Geometric and Functional Analysis24 (May 2014). doi: 10 . 1007 / s00039 - 014 - 0275-6

    2014

  21. [21]

    Superscars in the Šeba billiard

    P. Kurlberg and H. Ueberschär. “Superscars in the Šeba billiard”.Journal of the European Mathematical Society (JEMS)19 (2017). doi: 10.4171/JEMS/732

    work page doi:10.4171/jems/732 2017

  22. [22]

    Some remarks on quantum limits on Zoll manifolds

    F. Macià. “Some remarks on quantum limits on Zoll manifolds”.Communications in Partial Differential Equations33 (2008). doi: 10.1080/03605300802038601

    work page doi:10.1080/03605300802038601 2008

  23. [23]

    Concentration and non-concentration for the Schrödinger evo- lution on Zoll manifolds

    F. Macià and G. Rivière. “Concentration and non-concentration for the Schrödinger evo- lution on Zoll manifolds”.Communications in Mathematical Physics345 (2016). doi: 10. 1007/s00220-015-2504-8

    2016

  24. [24]

    Two-microlocal regularity of quasimodes on the torus

    F. Macià and G. Rivière. “Two-microlocal regularity of quasimodes on the torus”.Analysis & PDE 11 (2018). doi: 10.2140/apde.2018.11.2111

    work page doi:10.2140/apde.2018.11.2111 2018

  25. [25]

    Observability and quantum limits for the Schrödinger equation on Sd

    F. Macià and G. Rivière. “Observability and quantum limits for the Schrödinger equation on Sd”.Probabilistic methods in geometry, topology and spectral theory. Vol. 739. Contemp. Math. Amer. Math. Soc., [Providence], RI, 2019.doi: 10.1090/conm/739/14897

    work page doi:10.1090/conm/739/14897 2019

  26. [26]

    Analytic vectors

    E. Nelson. “Analytic vectors”.Annals of Mathematics. Second Series70 (1959). doi: 10. 2307/1970331. [NIST] F. W. J. Olver et al., eds.NIST handbook of mathematical functions. Neubearbeitung von: Handbook of mathematical functions with formulas, graphs, and mathematical tables / M. Abramowitz and I.A. Stegun, editors (1964). Cambridge: Cambridge University Press,

    1959

  27. [27]

    Spectral statistics of rectangular billiards with localized pertur- bations

    S. Rahav and S. Fishman. “Spectral statistics of rectangular billiards with localized pertur- bations”.Nonlinearity 15 (2002). doi: 10.1088/0951-7715/15/5/311

    work page doi:10.1088/0951-7715/15/5/311 2002

  28. [28]

    Entropy of semiclassical measures in dimension 2

    G. Rivière. “Entropy of semiclassical measures in dimension 2”.Duke Mathematical Journal 155 (2010). doi: 10.1215/00127094-2010-056

    work page doi:10.1215/00127094-2010-056 2010

  29. [29]

    The behaviour of eigenstates of arithmetic hyperbolic mani- folds

    Z. Rudnick and P. Sarnak. “The behaviour of eigenstates of arithmetic hyperbolic mani- folds”.Communications in Mathematical Physics161 (1994). doi: 10.1007/BF02099418

    work page doi:10.1007/bf02099418 1994

  30. [30]

    On the eigenvalue spacing distribution for a point scatterer on the flat torus

    Z. Rudnick and H. Ueberschär. “On the eigenvalue spacing distribution for a point scatterer on the flat torus”.Annales Henri Poincaré. A Journal of Theoretical and Mathematical Physics 15 (2014). doi: 10.1007/s00023-013-0241-0

    work page doi:10.1007/s00023-013-0241-0 2014

  31. [31]

    Wave chaos in singular quantum billiard

    P. Sěba. “Wave chaos in singular quantum billiard”.Physical Review Letters64 (Apr. 1990). doi: 10.1103/physrevlett.64.1855

    work page doi:10.1103/physrevlett.64.1855 1990

  32. [32]

    Level-spacing distribution of a singular billiard

    T. Shigehara et al. “Level-spacing distribution of a singular billiard”.Physical Review E47 (June 1993). doi: 10.1103/physreve.47.r3822

    work page doi:10.1103/physreve.47.r3822 1993

  33. [33]

    Ergodicpropertiesofeigenfunctions

    A.I.Šnirel’man.“Ergodicpropertiesofeigenfunctions”.Akademiya Nauk SSSR i Moskovskoe Matematicheskoe Obshchestvo. Uspekhi Matematicheskikh Nauk29 (1974)

    1974

  34. [34]

    The trace formula for a point scatterer on a compact hyperbolic surface

    H. Ueberschär. “The trace formula for a point scatterer on a compact hyperbolic surface”. Journal of Mathematical Physics53 (Jan. 2012).doi: 10.1063/1.3679761. REFERENCES 33

    work page doi:10.1063/1.3679761 2012

  35. [35]

    Quantum chaos for point scatterers on flat tori

    H. Ueberschär. “Quantum chaos for point scatterers on flat tori”.Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 372 (2014). doi: 10.1098/rsta.2012.0509

    work page doi:10.1098/rsta.2012.0509 2014

  36. [36]

    High-energy eigenfunctions of point perturbations of the Laplacian on the spheres $\mathbb{S}^{2}$ and $\mathbb{S}^{3}$

    S. Verdasco. “High-energy eigenfunctions of point perturbations of the Laplacian on the spheres S2 and S3” (Jan. 27, 2026).doi: 10.48550/ARXIV.2601.19701. arXiv: 2601.19701 [math.SP]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2601.19701 2026

  37. [37]

    High-energy eigenfunctions of point-perturbations of the Laplacian

    S. Verdasco. “High-energy eigenfunctions of point-perturbations of the Laplacian” (Jan. 27, 2026). doi: 10.48550/ARXIV.2601.19705. arXiv: 2601.19705 [math.SP]

    work page doi:10.48550/arxiv.2601.19705 2026

  38. [38]

    A Gutzwiller trace formula for singular potentials

    J. Wunsch, M. Yang, and Y. J. Zou. “A Gutzwiller trace formula for singular potentials” (Sept. 5, 2025).doi: 10.48550/ARXIV.2509.05220. arXiv: 2509.05220 [math.AP]

    work page doi:10.48550/arxiv.2509.05220 2025

  39. [39]

    Quantum ergodicity for a point scatterer on the three-dimensional torus

    N. Yesha. “Quantum ergodicity for a point scatterer on the three-dimensional torus”.An- nales Henri Poincaré. A Journal of Theoretical and Mathematical Physics16 (2015). doi: 10.1007/s00023-014-0318-4

    work page doi:10.1007/s00023-014-0318-4 2015

  40. [40]

    Local and global analysis of eigenfunctions on Riemannian manifolds

    S. Zelditch. “Local and global analysis of eigenfunctions on Riemannian manifolds”.Hand- book of geometric analysis. No. 1. Vol. 7. Adv. Lect. Math. (ALM). Int. Press, Somerville, MA, 2008

    2008

  41. [41]

    Eigenfunctions of the Laplacian on a Riemannian manifold.Vol.125.CBMSRe- gional Conference Series in Mathematics

    S.Zelditch. Eigenfunctions of the Laplacian on a Riemannian manifold.Vol.125.CBMSRe- gional Conference Series in Mathematics. Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2017

    2017

  42. [42]

    Uniform distribution of eigenfunctions on compact hyperbolic surfaces

    S. Zelditch. “Uniform distribution of eigenfunctions on compact hyperbolic surfaces”.Duke Mathematical Journal55 (1987). doi: 10.1215/S0012-7094-87-05546-3

    work page doi:10.1215/s0012-7094-87-05546-3 1987

  43. [43]

    Asymptotic expansion of the eigenvalues of a bathtub potential with quadratic ends

    Y. J. Zou. “Asymptotic expansion of the eigenvalues of a bathtub potential with quadratic ends”.Communications in Mathematical Physics406 (2025). doi: 10.1007/s00220-025- 05394-3

    work page doi:10.1007/s00220-025- 2025

  44. [44]

    M. Zworski. Semiclassical analysis. Vol. 138. Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2012.doi: 10.1090/gsm/138. M2ASAI. Universidad Politécnica de Madrid, ETSI Na v ales, A vda. de la Memoria, 4, 28040, Madrid, Spain. Email address: santiago.verdasco@upm.es

    work page doi:10.1090/gsm/138 2012