Quantum ergodicity and semiclassical measures: mathematical results
Pith reviewed 2026-06-27 09:27 UTC · model grok-4.3
The pith
For compact manifolds with ergodic geodesic flow, a density-one subsequence of semiclassical measures from Laplacian eigenfunctions converges weakly to the Liouville measure.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The Quantum Ergodicity theorem states that, for a compact Riemannian manifold whose geodesic flow is ergodic, a density-one subsequence of the semiclassical measures associated with eigenfunctions of the Laplacian converges weakly to the Liouville measure on the unit cotangent bundle.
What carries the argument
Semiclassical measure, the weak limit in phase space of the Wigner distribution (or microlocal lift) of a sequence of eigenfunctions as the eigenvalue tends to infinity.
If this is right
- The same convergence holds for Euclidean billiards after suitable boundary adjustments.
- Any semiclassical measure for an Anosov flow must have strictly positive Kolmogorov-Sinai entropy.
- Recent delocalization theorems further restrict how much a semiclassical measure can concentrate on proper subsets.
- These entropy and delocalization constraints constitute measurable progress toward the full Quantum Unique Ergodicity conjecture.
Where Pith is reading between the lines
- The theorem supplies a quantitative bridge between classical ergodicity and the equidistribution properties of quantum eigenstates.
- The proof strategy based on microlocal analysis may adapt to other self-adjoint pseudodifferential operators whose principal symbols generate ergodic flows.
Load-bearing premise
The geodesic flow on the manifold or domain is ergodic.
What would settle it
An explicit compact manifold with ergodic geodesic flow together with a positive-density subsequence of eigenfunctions whose semiclassical measures fail to converge weakly to the Liouville measure.
read the original abstract
In this chapter we review some results describing the high-frequency eigenmodes of the Laplacian on compact manifolds, or Euclidean domains, for which the geodesic flow is chaotic. We focus on the macroscopic distribution of these eigenmodes, which is described by the concept of semiclassical measure. The main result on the question is the Quantum Ergodicity theorem, originally due to Schnirelman. We provide the detailed proof of this theorem, including the adjustments necessary to treat the case of manifolds with boundary. We also discuss the Quantum Unique Ergodicity conjecture, and some progress towards this conjecture for strongly chaotic (Anosov) systems. In particular, we describe the constraints on admissible semiclassical measures, in terms of their Kolmogorov-Sinai entropy, as well as more recent delocalization results.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript reviews results on the high-frequency eigenmodes of the Laplacian on compact Riemannian manifolds or Euclidean domains with ergodic or Anosov geodesic flow. It focuses on the macroscopic distribution via semiclassical measures, states and proves the Quantum Ergodicity theorem (originally due to Schnirelmann) including adjustments for manifolds with boundary, discusses the Quantum Unique Ergodicity conjecture, and presents known constraints on admissible semiclassical measures for Anosov flows in terms of Kolmogorov-Sinai entropy together with recent delocalization results.
Significance. If the provided proofs are accurate, the review supplies a self-contained reference compiling established theorems on quantum ergodicity and semiclassical measures. Its value lies in the detailed exposition of the Schnirelmann theorem with boundary handling and the entropy-based constraints, which are load-bearing for applications in quantum chaos; the manuscript ships explicit proofs rather than sketches, aiding reproducibility of the mathematical arguments.
minor comments (1)
- The abstract and introduction should explicitly list the section numbers where the boundary-adjusted proof of the Quantum Ergodicity theorem appears, to improve navigation for readers consulting only selected parts.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript, accurate summary of its content, and recommendation to accept. There are no major comments requiring a point-by-point response.
Circularity Check
Review of externally established theorems; no internal circularity
full rationale
This is a review article presenting the standard proof of the Quantum Ergodicity theorem (originally Schnirelmann 1974) and related results on semiclassical measures for Anosov flows. The derivation chain consists of established microlocal analysis techniques applied to the given hypotheses (ergodicity of the geodesic flow); these hypotheses are explicitly part of the theorem statement rather than derived from the conclusions. No steps reduce by construction to fitted parameters, self-citations, or ansatzes internal to the paper. The central claims remain independent of any self-referential reduction.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Heller,Bound-state eigenfunctions of classically chaotic hamiltonian systems: scars of periodic orbits,Phys
E. Heller,Bound-state eigenfunctions of classically chaotic hamiltonian systems: scars of periodic orbits,Phys. Rev. Lett.53(1984) 1515
1984
-
[2]
Hassell,Ergodic billiards that are not quantum unique ergodic,Ann
A. Hassell,Ergodic billiards that are not quantum unique ergodic,Ann. of Math.171(2010) 605
2010
-
[3]
Schnirelman,Ergodic properties of eigenfunctions,Usp
A. Schnirelman,Ergodic properties of eigenfunctions,Usp. Math. Nauk29(1974) 181
1974
-
[4]
Zelditch,Uniform distribution of eigenfunctions on compact hyperbolic surfaces,Duke Math
S. Zelditch,Uniform distribution of eigenfunctions on compact hyperbolic surfaces,Duke Math. J.55(1987) 919
1987
-
[5]
Colin de Verdi`ere,Ergodicit ´e et fonctions propres du laplacien,Comm
Y . Colin de Verdi`ere,Ergodicit ´e et fonctions propres du laplacien,Comm. Math. Phys.102(1985) 497
1985
-
[6]
G´erard and E
P . G´erard and E. Leichtnam,Ergodic properties of eigenfunctions for the dirichlet problem,Duke Math. J.71(1993) 559
1993
-
[7]
Zelditch and M
S. Zelditch and M. Zworski,Ergodicity of eigenfunctions for ergodic billiards,Comm. Math. Phys.175(1996) 673
1996
-
[8]
Helffer, A
B. Helffer, A. Martinez and D. Robert,Ergodicit ´e et limite semi-classique,Commun. Math. Phys109(1987) 313
1987
-
[9]
Bouzouina and S
A. Bouzouina and S. De Bi `evre,Equipartition of the eigenfunctions of quantized ergodic maps on the torus,Comm. Math. Phys.178 (1996) 83
1996
-
[10]
Marklof and S
J. Marklof and S. O’Keefe,Weyl’s law and quantum ergodicity for maps with divided phase space,Nonlinearity18(2005) 277
2005
-
[11]
Degli Esposti, S
M. Degli Esposti, S. Nonnenmacher and B. Winn,Quantum variance and ergodicity for the baker’s map,Comm. Math. Phys.263(2006) 325
2006
-
[12]
Anantharaman and E
N. Anantharaman and E. Le Masson,Quantum ergodicity on large regular graphs,Duke Math. J.164(2015) 723
2015
-
[13]
Anantharaman and M
N. Anantharaman and M. Sabri,Quantum ergodicity on graphs : from spectral to spatial delocalization,Ann. of Math.189(2019) 753
2019
-
[14]
Weyl, ¨uber die asymptotische verteilung der eigenwerte,G ¨ottinger Nachr.(1911) 111
H. Weyl, ¨uber die asymptotische verteilung der eigenwerte,G ¨ottinger Nachr.(1911) 111
1911
-
[15]
Levitan,On the asymptotic behavior of the spectral function of a self-adjoint differential equation of the second order,Izv
B. Levitan,On the asymptotic behavior of the spectral function of a self-adjoint differential equation of the second order,Izv. Akad. Nauk SSSR Ser. Mat.16(1952) 325
1952
-
[16]
Levitan,On the asymptotic behavior of the spectral function and the eigenfunction expansion of self-adjoint differential equations of the second order ii.,Izv
B. Levitan,On the asymptotic behavior of the spectral function and the eigenfunction expansion of self-adjoint differential equations of the second order ii.,Izv. Akad. Nauk SSSR Ser. Mat.19(1955) 33
1955
-
[17]
Avakumovic,Ober die eigenfunktionen auf geschlossenen riemannschen mannigfaltigkeiten,Math
V. Avakumovic,Ober die eigenfunktionen auf geschlossenen riemannschen mannigfaltigkeiten,Math. Z.65(1956) 327
1956
-
[18]
H ¨ormander,The spectral function of an elliptic operator,Acta Math.121(1968) 193
L. H ¨ormander,The spectral function of an elliptic operator,Acta Math.121(1968) 193
1968
-
[19]
B´erard,On the wave equation on a compact riemannian manifold without conjugate points,Math
P . B´erard,On the wave equation on a compact riemannian manifold without conjugate points,Math. Z.155(1977) 249
1977
-
[20]
Lindenstrauss,Invariant measures and arithmetic quantum unique ergodicity,Ann
E. Lindenstrauss,Invariant measures and arithmetic quantum unique ergodicity,Ann. of Math.163(2006) 165
2006
-
[21]
Brooks and E
S. Brooks and E. Lindenstrauss,Joint quasimodes, positive entropy , and quantum unique ergodicity,Invent. Math.198(2014) 219
2014
-
[22]
Sarnak,Recent progress on que,Bull
P . Sarnak,Recent progress on que,Bull. of the AMS48(2011) 211
2011
-
[23]
Bunimovich,On the ergodic properties of nowhere dispersing billiards,Commun
L. Bunimovich,On the ergodic properties of nowhere dispersing billiards,Commun. Math. Phys.65(1979) 295
1979
-
[24]
O’Connor and E
P . O’Connor and E. Heller,Quantum localization for a strongly classically chaotic system,Phys. Rev. Lett.61(1988) 2288
1988
-
[25]
Zelditch,Note on quantum unique ergodicity,Proc
S. Zelditch,Note on quantum unique ergodicity,Proc. Amer. Math. Soc.132(2004) 1869
2004
-
[26]
Anantharaman,Entropy and the localization of eigenfunctions,Ann
N. Anantharaman,Entropy and the localization of eigenfunctions,Ann. of Math.168(2008) 435
2008
-
[27]
Anantharaman and S
N. Anantharaman and S. Nonnenmacher,Half-delocalization of eigenfunctions for the laplacian on an anosov manifold,Ann. Inst. Fourier 57(2007) 2465
2007
-
[28]
Anantharaman, H
N. Anantharaman, H. Koch and S. Nonnenmacher,Entropy of eigenfunctions, inNew T rends in Mathematical Physics, Proceedings of the ICMP , Rio de Janeiro, 5-11 Aug. 2006, V.Sidoravicius, ed., pp. 1–22, Springer, 2009
2006
-
[29]
Rivi `ere,Entropy of semiclassical measures for nonpositively curved surfaces,Ann
G. Rivi `ere,Entropy of semiclassical measures for nonpositively curved surfaces,Ann. Henri Poincar ´e11(2010) 1085
2010
-
[30]
S. Nonnenmacher,Entropy of chaotic eigenstates, inSpectrum and Dynamics, Proceedings of the workshop held in Montreal, 7-11 april 2008, D.Jakobson, S.Nonnenmacher and I.Polterovich, eds., pp. 194–238, Springer, 2013
2008
-
[31]
Tomsovic and E
S. Tomsovic and E. Heller,Semiclassical dynamics of chaotic motion: unexpected long-time accuracy,Phys. Rev. Lett.67(1991) 664
1991
-
[32]
Dyatlov and L
S. Dyatlov and L. Jin,Semiclassical measures on hyperbolic surfaces have full support,Acta Math.220(2018) 297
2018
-
[33]
Dyatlov, L
S. Dyatlov, L. Jin and S. Nonnenmacher,Control of eigenfunctions on surfaces of variable curvature,Jour. AMS35(2022) 361
2022
-
[34]
Dyatlov and J
S. Dyatlov and J. Zahl,Spectral gaps, additive energy , and a fractal uncertainty principle,GAFA26(2016) 1011
2016
-
[35]
Bourgain and S
J. Bourgain and S. Dyatlov,Spectral gaps without the pressure condition,Ann. of Math.187(2018) 825
2018
-
[36]
Hannay and M
J. Hannay and M. Berry,Quantization of linear maps on a torus – Fresnel diffraction by a periodic grating,Physica D: Nonlinear Phenomena1(1980) 267
1980
-
[37]
Brooks,On the entropy of quantum limits for 2-dimensional cat maps,Comm
S. Brooks,On the entropy of quantum limits for 2-dimensional cat maps,Comm. Math. Phys.293(2010) 231
2010
-
[38]
Faure, S
F . Faure, S. Nonnenmacher and S. De Bi`evre,Scarred eigenstates for quantum cat maps of minimal periods,Comm. Math. Phys.239 (2003) 449
2003
-
[39]
Kurlberg and Z
P . Kurlberg and Z. Rudnick,On the distribution of matrix elements for the quantum cat map,Ann. of Math.161(2005) 489
2005
-
[40]
Schwartz,The full delocalization of eigenstates for the quantized cat map,Pure Appl
N. Schwartz,The full delocalization of eigenstates for the quantized cat map,Pure Appl. Anal.6(2024) 1017
2024
-
[41]
Kelmer,Arithmetic quantum unique ergodicity for symplectic linear maps of the multidimensional torus,Ann
D. Kelmer,Arithmetic quantum unique ergodicity for symplectic linear maps of the multidimensional torus,Ann. of Math.171(2010) 815
2010
-
[42]
Rivi `ere,Entropy of semiclassical measures for symplectic linear maps of the multidimensional torus,Int
G. Rivi `ere,Entropy of semiclassical measures for symplectic linear maps of the multidimensional torus,Int. Math. Res. Notices2011 (2011) 2396
2011
-
[43]
Dyatlov and M
S. Dyatlov and M. Jezequel,Semiclassical measures for higher dimensional cat maps,Ann. H. Poincar ´e25(2024) 1545
2024
-
[44]
Zelditch,On the rate of quantum ergodicity
S. Zelditch,On the rate of quantum ergodicity . I. upper bounds,Comm. Math. Phys.160(1994) 81
1994
-
[45]
Luo and P
W. Luo and P . Sarnak,Quantum variance of hecke eigenforms,Ann. Scient. ´Ec. Norm. Sup ´er.37(2004) 769
2004
-
[46]
Schubert,On the rate of quantum ergodicity for quantised maps,Ann
R. Schubert,On the rate of quantum ergodicity for quantised maps,Ann. Henri Poincar ´e8(2008) 1455
2008
-
[47]
Han,Small scale quantum ergodicity in negatively curved manifolds,Nonlinearity28(2015) 3263
X. Han,Small scale quantum ergodicity in negatively curved manifolds,Nonlinearity28(2015) 3263
2015
-
[48]
Hezari and G
H. Hezari and G. Rivi `ere,L p norms, nodal sets, and quantum ergodicity,Adv. Math.290(2016) 938
2016
-
[49]
Small scale quantum ergodicity in cat maps. I
X. Han,Small scale quantum ergodicity in cat maps. I,arXiv:1810.11949(2018)
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[50]
Marklof and Z
J. Marklof and Z. Rudnick,Almost all eigenfunctions of a rational polygon are uniformly distributed,J. Spec. Th. 22(2012) 107
2012
-
[51]
Lester and Z
S. Lester and Z. Rudnick,Small scale equidistribution of eigenfunctions on the torus,Comm. Math. Phys.350(2017) 279
2017
-
[52]
Nonnenmacher and N
S. Nonnenmacher and N. Schwartz,Probabilistic small scale quantum unique ergodicity for the quantized cat map,preprint, submitted (2025)
2025
-
[53]
Zelditch,Quantum ergodicity on the sphere,Comm
S. Zelditch,Quantum ergodicity on the sphere,Comm. Math. Phys.146(1992) 61
1992
-
[54]
Zelditch,Quantum ergodicity of random orthonormal bases of spaces of high dimension,Phil
S. Zelditch,Quantum ergodicity of random orthonormal bases of spaces of high dimension,Phil. T rans. Roy . Soc. A372(2014)
2014
-
[55]
Burq and G
N. Burq and G. Lebeau,Injections de sobolev probabilistes et applications,Ann. Scient. ´Ec. Norm. Sup ´er.46(2013) 917
2013
-
[56]
Maples,Quantum unique ergodicity for random bases of spectral projections,Math
K. Maples,Quantum unique ergodicity for random bases of spectral projections,Math. Res. Lett.20(2013) 1115
2013
-
[57]
Han,Small scale equidistribution of random eigenbases,Comm
X. Han,Small scale equidistribution of random eigenbases,Comm. Math. Phys.349(2017) 425
2017
-
[58]
Han and M
X. Han and M. Tacy,Equidistribution of random waves on small balls,Comm. Math. Phys.376(2020) 2351
2020
-
[59]
Eswarathasan,Entropy of logarithmic modes,Comm
S. Eswarathasan,Entropy of logarithmic modes,Comm. Math. Phys.406(2025) . Quantum ergodicity and semiclassical measures: mathematical results27
2025
-
[60]
Athreya, S
J. Athreya, S. Dyatlov and N. Miller,Semiclassical measures for complex hyperbolic quotients,GAFA35(2025) 979
2025
-
[61]
Cohen,Fractal uncertainty in higher dimensions,Ann
A. Cohen,Fractal uncertainty in higher dimensions,Ann. of Math.202(2025) 265
2025
-
[62]
E. Kim and N. Miller,Semiclassical measures on hyperbolic manifolds,arXiv:2503.01528(2025)
-
[63]
Berry,Regular and irregular semiclassical wavefunctions,J
M.V. Berry,Regular and irregular semiclassical wavefunctions,J. Phys. A: Math. Gen.10(1977) 2083
1977
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.