The paper tackles a deep question in quantum mechanics: what happens to quantum wavefunctions in the limit where quantum effects become negligible (the semiclassical limit)? Specifically, it studies the hydrogen atom, which is governed by the Coulomb potential, the attractive force between an electron and a proton. Eigenfunctions are the special quantum states with definite energies, and a "semiclassical measure" is a mathematical tool that encodes where these wavefunctions concentrate in phase space (the combined space of positions and momenta) as one takes the semiclassical limit. The central question is: which probability distributions in phase space can appear as such limits?
The main result is a complete characterization. A probability measure can arise as a semiclassical limit of Coulomb eigenfunctions if and only if it lives on the appropriate energy surface and is invariant under a particular classical flow called the regularized Kepler flow. The Kepler flow describes classical planetary-type orbits, but the Coulomb problem is tricky because electrons can fall into the nucleus, creating a singularity. Moser found a clever mathematical trick, related to stereographic projection and a mapping to motion on a sphere, that resolves this singularity. The paper proves that quantum wavefunctions, in the semiclassical limit, must concentrate on distributions that respect exactly this regularized classical dynamics, and conversely that every such distribution actually arises from some sequence of eigenfunctions. This resolves an open problem posed by the mathematician Keraani.
The technical work involves carefully handling the bad behavior of the Coulomb potential near the origin and at large distances. The authors introduce a general class of mathematical symbols that allows for non-standard behavior far from the origin, and they prove that quantum probability cannot leak through the singular point at the origin in the semiclassical limit. The key tools are the Moser-Fock map that converts the Coulomb problem into a nicer problem on a sphere, combined with careful estimates on how eigenfunctions can concentrate. Together, these pieces give a precise and complete bridge between the quantum mechanical description of hydrogen and the underlying classical orbital mechanics.