REVIEW 5 minor 43 references
Semiclassical measures through Coulomb collisions
T0 review · 0 major / 5 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read This paper proves that every semiclassical measure of a bound-state Coulomb eigenfunction is a probability measure on the compactified energy surface invariant under Moser's regularized Kepler flow, and conversely.
desk verdict Solves Keraani's open problem with a clean Fock-map reduction; the flagged concentration bound in Lemma 3.3 is standard and only affects the extended symbol class, not Theorem 1.1. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the Moser-Fock map V_{ℏ,E}, a unitary operator sending Coulomb eigenspaces onto spherical harmonics on S^d. It combines the semiclassical Fourier transform, a symplectic dilation, stereographic pullback, and the operator (1/√2)⟨(1/√−2E_ℏ)ℏD⟩, which accounts for the classical time reparametrization dt/ds = (1−u_{d+1})/p_0^3. On the classical side, Moser's compactification Σ_E and its regularized flow Ξ^t_H turn collision orbits into great circles through the north pole. The proof also relies on a technical operator extension lemma (Lemma 3.3) that approximates the conjugated Weyl quantization on the sphere by a genuine semiclassical pseudodifferential operator on S^
What would settle it
Take an explicit sequence of exact Coulomb eigenfunctions Ψ_j and a nonnegative symbol a∈S_Σ_E supported only in a small neighbourhood of the collision region {|x|<ε, |ξ|>1/ε}. The theorem predicts lim_j ⟨Op_{ℏ_j}(a)Ψ_j, Ψ_j⟩=0; a positive limit would disprove it. Equivalently, compute ∫a dμ and ∫a∘Ξ^t_H dμ for such a symbol: the theorem requires equality for all t and all a∈S_Σ_E.
Extended reading notes
Core claim
The central discovery is a complete 'if and only if' characterization: a measure μ is a semiclassical measure of a sequence of L²-normalized eigenfunctions of the attractive Coulomb operator at energy E<0 exactly when μ is a probability measure supported on the compactified energy surface Σ_E and invariant under the Moser-regularized Hamiltonian flow. The noncompactness of the classical energy surface and the incompleteness of the classical Kepler flow are tamed by Moser's compactification, in which collision orbits are reflected through the origin and become periodic. The paper shows that no semiclassical mass leaks into the singular set x=0, ξ=∞; instead, all mass reflects off the origin,
Load-bearing premise
The reduction rests on the standard eigenfunction concentration bound that spherical harmonics place at most O(δ^{1/2}) of their L² mass in a cap of radius 2δ around the north pole, uniformly for ℏ<δ; if that uniform bound failed, the operator extension near the collision set would be uncontrollable and the characterization of mass at x→0, ξ→∞ would collapse.
Editorial extensions
If this is right
- If the theorem is correct, the full set of semiclassical measures for bound states of the attractive Coulomb operator is now known: it is exactly the set of probability measures on Σ_E invariant under the regularized flow.
- Semiclassical mass cannot leak into the origin: every limit measure assigns full probability to the energy surface, and the collision region contributes only through the Moser reflection.
- For any non-collision Kepler orbit, the orbit-averaged delta measure is a semiclassical measure; for collision orbits, the same holds only for the regularized, reflected orbit, not for the classical one.
- The extension to the symbol class S_Σ_E means that observables supported arbitrarily close to x=0, ξ=∞ have well-defined semiclassical limits, so the result genuinely probes the singular phase-space region.
- An independent proof of the converse is included: every invariant probability measure on Σ_E is realized by some sequence of Coulomb eigenfunctions.
Reading between the lines
- Editorial inference: the same Moser-Fock reduction should yield quantitative second-order information, such as rates of convergence to the invariant measure, via the Weyl law on the sphere; the paper itself does not address rates.
- Editorial inference: the structure suggests a general principle—whenever a singular classical flow admits a 'quantizable' regularization (a unitary map to a smooth compact phase space), semiclassical measures should be characterized by invariance under the regularized flow; this paper is the first worked example.
- Editorial inference: the treatment of E<0 leaves open the positive-energy scattering regime, where compactification at infinity takes a different form and semiclassical measures might be characterized by incoming/outgoing data rather than flow invariance.
- Editorial inference: the concentration-bound step near the north pole hints that analogous characterizations for singular potentials with conical or homogeneous singularities would require a similar uniform eigenfunction concentration estimate on the compactified side; that is not proved here.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper proves a complete characterization of semiclassical measures for eigenfunctions of the attractive Coulomb operator H_h = -h^2/2 Δ - 1/|x| in d≥3 at negative energies. Theorem 1.1 states that μ is a semiclassical measure of such eigenfunctions if and only if μ is a probability measure supported on the energy surface Σ_E that is invariant under the Moser-regularized Kepler flow. The proof uses the Fock map to conjugate Coulomb eigenfunctions to spherical harmonics on S^d, reducing the forward direction to the known classification of semiclassical measures on the sphere [JZ99]; the converse is proved independently by the same reduction. The paper also extends the result to a symbol class S_{Σ_E} (Theorem 1.4) using a technical extension lemma (Lemma 3.3) that invokes standard eigenfunction concentration bounds. A corollary shows that no mass leaks to the collision set and that individual collision orbits are semiclassical measures only after Moser regularization.
Significance. The result, if correct, resolves an open problem of Keraani [Ker05, Remark 1.11] and is the first complete semiclassical measure description for a singular Schrödinger operator whose classical flow is incomplete. The proof is detailed and the reduction via the Fock map is elegant. The technical lemmas are carefully proved; the dependence on [JZ99] for the converse is standard. I specifically considered the reader's concern about the eigenfunction concentration bound (77) in Lemma 3.3: this bound is a standard consequence of Sogge's localized L² estimates, and in any case it is not needed for Theorem 1.1, because the compactly-supported symbol case is handled by Lemma 3.1. Thus the concern does not affect the main equivalence. I found no circularity, no fitted parameters, and no post-hoc exclusions.
minor comments (5)
- [Section 2.1, after (58)] The notation reuses μ for the original measure on T^*R^d and for its pushforward (i_{Σ_E})_*μ to Σ_E in the same paragraph. This is confusing; please use a distinct symbol (e.g., \tilde μ) for the pushforward.
- [Lemma 3.3, Step 2] Equation (77) is cited to [Sog16, (4.1)] but the precise statement is not given. It would help the reader to state the localized L² estimate explicitly and to note that it applies uniformly for ℏ<δ<π/2 because the eigenvalue is fixed at 1, so the frequency is ℏ^{-1}.
- [Lemma 1.16] The identification H(Σ_E) ≅ fGr(2,d+1) is stated without proof. A sentence explaining that geodesics on S^d are great circles and the quotient by the S^1 action is the oriented Grassmannian would improve readability.
- [Lemma 3.1] The verification that the remainder R_ℏ is smooth at the north pole is compressed; spelling out the four charts used for S^d×S^d would make the proof easier to follow.
- [Theorem 1.4 proof] The phrase 'up to (57), the proofs are the same up to changing Lemma 3.1 to the stronger Lemma 3.3' is awkward; consider rewording to avoid the double 'up to'.
Circularity Check
No circularity: the Coulomb-to-sphere reduction is an independent derivation using external results; self-citations are not load-bearing.
full rationale
The central claim (Theorem 1.1) is proved by directly relating Coulomb eigenfunction expectations to spherical-harmonic expectations through the Fock map (43)-(44) and the comparison (57), then invoking the external characterization of semiclassical measures on S*S^d from [JZ99]. The 'only if' direction does not use the paper's own conclusions as inputs; the 'if' direction is an independent reversal of (57) combined with [JZ99], so the earlier self-citation [Loh25a] is historical rather than load-bearing. The concentration bound (77) cited to [Sog16, (4.1)] is a standard external estimate and is used only in Lemma 3.3 for the extended symbol class of Theorem 1.4; it is not fitted, renamed, or derived from the target statement. The general-dimension Moser/Fock background cited to the author's thesis [Loh25b] supports classical/spectral facts that are not the target theorem and are not being used as a substitute for the derivation. No fitted parameters, post-hoc exclusions, or definitional equivalences appear: measured quantities and predicted objects are distinct, and the main reduction is self-contained against external benchmarks.
Assumptions & free parameters
assumptions (6)
- standard math Fock map V_{ℏ,E} (43) is a unitary map from the Coulomb eigenspace E_{E_ℏ} onto spherical harmonics of degree N (Theorem 1.18, [Foc35, BI66, RC21, Loh25b]).
- standard math Semiclassical measures of eigenfunctions of -k²Δ_{S^d} are exactly the geodesic-flow-invariant probability measures on S*S^d ([JZ99, Theorem 1.1]).
- standard math Eigenfunction concentration bound ∥1_{dist<2δ} Π_ℏ∥ = O(δ^{1/2}) for ℏ<δ<π/2 ([Sog16, (4.1)]).
- standard math Moser's compactification Σ_E and the regularized flow Ξ^t_H (Theorem 1.6, [Mos70]) provide a smooth extension of the Kepler flow on E<0 energy surface.
- standard math Spectral theory of the Coulomb Hamiltonian: domain H²(R^d), eigenvalues (38), and eigenfunction regularity (41) via Hardy, Kato, and Agmon estimates.
- domain assumption d≥3, so the Coulomb potential -1/|x| is in L²+L^∞ and Hardy's inequality applies with the stated constants.
Cite this review
Pith. "Pith review of Semiclassical measures through Coulomb collisions." pith.science (2026). https://pith.science/paper/L7O4TLPE
@misc{pith2026260714313,
author = {Pith},
title = {Pith review of: Semiclassical measures through Coulomb collisions},
year = {2026},
howpublished = {\url{https://pith.science/paper/L7O4TLPE}},
note = {Machine review of arXiv:2607.14313}
}
abstract
We prove that $\mu$ is a semiclassical measure associated to a sequence of eigenfunctions of energy $E<0$ of the attractive Coulomb operator if and only if $\mu$ is a probability measure on the energy (hyper)surface $\Sigma_E$ invariant under the regularized Kepler flow due to Moser. The converse was shown in recent work by the author, and the present article proves the other direction (as well as an independent proof of the converse). We prove the main theorem for a general symbol class allowing certain non-decay at infinity, which implies that semiclassical measure mass entirely reflects off of the origin. In the special case of semiclassical measures of sequences of eigenfunctions of the exact Coulomb operator, this article solves an open problem posed by Keraani. The main tools include the celebrated Moser-Fock map along with a technical operator extension lemma in $\Psi_{\hbar}^0(\mathbb{S}^d)$, which utilizes standard eigenfunction concentration bounds.
Figures
Figures from the paper (2 more)
Reference graph
Works this paper leans on
-
[1]
and Maci\`a, F
Arnaiz, V. and Maci\`a, F. Localization and delocalization of eigenmodes of harmonic oscillators. Proc. Amer. Math. Soc. , 150(5):2195--2208, 2022
2022
-
[2]
Arnol'd, V. I. Mathematical methods of classical mechanics , volume 60 of Graduate Texts in Mathematics . Springer-Verlag, New York, second edition, 1989. Translated from the Russian by K. Vogtmann and A. Weinstein
1989
-
[3]
Spectral stability and semiclassical measures for renormalized KAM systems
Arnaiz, V. Spectral stability and semiclassical measures for renormalized KAM systems. Nonlinearity , 33(6):2562--2591, 2020
2020
-
[4]
and Itzykson, C
Bander, M. and Itzykson, C. Group theory and the hydrogen atom. I , II . Rev. Modern Phys. , 38:330--345; 346--358, 1966
1966
-
[5]
Ergodicit\'e et fonctions propres du laplacien
Colin de Verdi\`ere, Y. Ergodicit\'e et fonctions propres du laplacien. Comm. Math. Phys. , 102(3):497--502, 1985
1985
-
[6]
c., Jecko, T., and Knauf, A
Castella, F. c., Jecko, T., and Knauf, A. Semiclassical resolvent estimates for S chr\"odinger operators with C oulomb singularities. Ann. Henri Poincar\'e , 9(4):775--815, 2008
2008
-
[7]
and Meyer, P.-A
Dellacherie, C. and Meyer, P.-A. Probabilities and potential , volume 29 of North-Holland Mathematics Studies . North-Holland Publishing Co., Amsterdam-New York, 1978
1978
-
[8]
Around quantum ergodicity
Dyatlov, S. Around quantum ergodicity. Ann. Math. Qu\'e. , 46(1):11--26, 2022
2022
Show all 43 references
-
[9]
and Zworski, M
Dyatlov, S. and Zworski, M. Mathematical theory of scattering resonances , volume 200 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2019
2019
-
[10]
De motu rectilineo trium corporum se mutuo attrahentium
Euler, L. De motu rectilineo trium corporum se mutuo attrahentium. Novi Comm. Acad. Sci. Petrop. , 11:144--151, 1767
-
[11]
Z ur T heorie des W asserstoffatoms
Fock, V. Z ur T heorie des W asserstoffatoms. Zeitschrift f\" u r Physik , 98:145--154, 1935
1935
-
[12]
and Knauf, A
G \'e rard, C. and Knauf, A. Collisions for the quantum C oulomb H amiltonian. Comm. Math. Phys. , 143(1):17--26, 1991
1991
-
[13]
Prehistory of the ``Runge–Lenz" vector
Goldstein, H. Prehistory of the ``Runge–Lenz" vector . American Journal of Physics , 43(8):737--738, 1975
1975
-
[14]
More on the prehistory of the Laplace or Runge–Lenz vector
Goldstein, H. More on the prehistory of the Laplace or Runge–Lenz vector . American Journal of Physics , 44(11):1123--1124, 1976
1976
-
[15]
and Sternberg, S
Guillemin, V. and Sternberg, S. Variations on a theme by K epler , volume 42 of American Mathematical Society Colloquium Publications . American Mathematical Society, Providence, RI, 1990
1990
-
[16]
and Wunsch, J
Galkowski, J. and Wunsch, J. Propagation for S chr\" o dinger operators with potentials singular along a hypersurface. Arch. Ration. Mech. Anal. , 248(3):Paper No. 37, 28, 2024
2024
-
[17]
Hamilton, W. R. The hodograph or a new method of expressing in symbolic language the N ewtonian law of attraction. Proc. Royal Irish Acad. , 3(19):344--353, 1847
-
[18]
and Marzuola, J
Hillairet, L. and Marzuola, J. L. Eigenvalue spacing for 1 D singular S chr\" o dinger operators. Asymptot. Anal. , 133(1-2):267--289, 2023
2023
-
[19]
Hislop, P. D. and Sigal, I. M. Introduction to spectral theory , volume 113 of Applied Mathematical Sciences . Springer-Verlag, New York, 1996. With applications to Schr\" o dinger operators
1996
-
[20]
and Zelditch, S
Jakobson, D. and Zelditch, S. Classical limits of eigenfunctions for some completely integrable systems. In Emerging applications of number theory ( M inneapolis, MN , 1996) , volume 109 of IMA Vol. Math. Appl. , 329--354. Springer, New York, 1999
1996
-
[21]
Perturbation theory for linear operators
Kato, T. Perturbation theory for linear operators . Classics in Mathematics. Springer-Verlag, Berlin, 1995. Reprint of the 1980 edition
1995
-
[22]
Wigner measures dynamics in a C oulomb potential
Keraani, S. Wigner measures dynamics in a C oulomb potential. J. Math. Phys. , 46(6):063512, 21, 2005
2005
-
[23]
and Stiefel, E
Kustaanheimo, P. and Stiefel, E. Perturbation theory of K epler motion based on spinor regularization. J. Reine Angew. Math. , 218:204--219, 1965
1965
-
[24]
Spinor regularization of the K epler motion
Kustaanheimo, P. Spinor regularization of the K epler motion. Ann. Univ. Turku. Ser. A I , 73:7, 1964
1964
-
[25]
Lazutkin, V. F. K AM theory and semiclassical approximations to eigenfunctions , volume 24 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)] . Springer-Verlag, Berlin, 1993. With an addendum by A. I. Shnirelman
1993
-
[26]
Sur la r\'egularisation du probl\`eme des trois corps
Levi-Civita, T. Sur la r\'egularisation du probl\`eme des trois corps. Acta Math. , 42(1):99--144, 1920
1920
-
[27]
and Nonnenmacher, S
L \' e autaud, M. and Nonnenmacher, S. Introduction to S pectral T heory. https://leautaud.perso.math.cnrs.fr/files/spectral-theory-2025.pdf, 2025
2025
-
[28]
S emiclassical measures of eigenfunctions of the attractive C oulomb operator
Lohr, N. S emiclassical measures of eigenfunctions of the attractive C oulomb operator. Ann. Henri Poincar\'e , 2025. Published online
2025
-
[29]
Lohr, N. G. Semiclassical P hase S pace D istributions and S cattering T heory of the H armonic O scillator and H ydrogen A tom . ProQuest LLC, Ann Arbor, MI, 2025. Thesis (Ph.D.)--Northwestern University
2025
-
[30]
On the geometry of the K epler problem
Milnor, J. On the geometry of the K epler problem. Amer. Math. Monthly , 90(6):353--365, 1983
1983
-
[31]
Regularization of K epler's problem and the averaging method on a manifold
Moser, J. Regularization of K epler's problem and the averaging method on a manifold. Comm. Pure Appl. Math. , 23:609--636, 1970
1970
-
[32]
An I ntroduction to S emiclassical A nalysis
Nonnenmacher, S. An I ntroduction to S emiclassical A nalysis. https://www.imo.universite-paris-saclay.fr/ stephane.nonnenmacher/enseign/Course-Semiclassical-Analysis2025-total.pdf, 2025
2025
-
[33]
and Combescure, M
Robert, D. and Combescure, M. Coherent states and applications in mathematical physics . Theoretical and Mathematical Physics. Springer, Cham, [2021] 2021. Second edition [of 2952171]
2021
-
[34]
and Simon, B
Reed, M. and Simon, B. Methods of modern mathematical physics. IV . A nalysis of operators . Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978
1978
-
[35]
Shnirelman, A. I. Ergodic properties of eigenfunctions. Uspehi Mat. Nauk , 29(6(180)):181--182, 1974
1974
-
[36]
Shnirelman, A. I. Statistical properties of eigenfunctions. In Proceedings of the All-USSR School in Differential Equations with Infinite Number of Independent Variables and in Dynamical Systems with Infinitely Many Degrees of Freedom ( D ilijan, A rmenia, May 21–June 3, 1973)...
1973
-
[37]
Sogge, C. D. Localized L^p -estimates of eigenfunctions: a note on an article of H ezari and R ivi\`ere. Adv. Math. , 289:384--396, 2016
2016
-
[38]
Stiefel, E. L. and Scheifele, G. Linear and regular celestial mechanics. P erturbed two-body motion, numerical methods, canonical theory , volume Band 174 of Die Grundlehren der mathematischen Wissenschaften . Springer-Verlag, New York-Heidelberg, 1971
1971
-
[39]
Taylor, M. E. Partial differential equations I . B asic theory , volume 115 of Applied Mathematical Sciences . Springer, New York, second edition, 2011
2011
-
[40]
Taylor, M. E. Remarks on the hydrogen atom S chr\" o dinger operator. https://mtaylor.web.unc.edu/wp-content/uploads/sites/16915/2022/01/hydro.pdf, 2022
2022
-
[41]
Quantum limits of the laplacian perturbed along a geodesic on S ^ 2
Verdasco, S. Quantum limits of the laplacian perturbed along a geodesic on S ^ 2 . https://arxiv.org/abs/2606.10847, 2026
2026 arXiv
-
[42]
Uniform distribution of eigenfunctions on compact hyperbolic surfaces
Zelditch, S. Uniform distribution of eigenfunctions on compact hyperbolic surfaces. Duke Math. J. , 55(4):919--941, 1987
1987
-
[43]
Semiclassical analysis , volume 138 of Graduate Studies in Mathematics
Zworski, M. Semiclassical analysis , volume 138 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2012
2012
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.