Quantum ergodicity for contact metric structures
Pith reviewed 2026-05-25 08:21 UTC · model grok-4.3
The pith
Eigenfunctions of subLaplacians on contact metric manifolds equidistribute when the Reeb flow is ergodic.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
If the Reeb flow on a contact metric manifold is ergodic, then the eigenfunctions of the associated subLaplacian satisfy quantum ergodicity: their microlocal lifts converge weakly to the normalized Liouville measure on the appropriate cotangent bundle.
What carries the argument
Landau projectors: microlocal projectors in the semiclassical calculus that commute with the subLaplacian and reduce its action to that of the Reeb vector field.
If this is right
- The subLaplacian eigenfunctions equidistribute according to the invariant measure induced by the contact structure.
- Microlocal Weyl laws hold for the subLaplacian in the contact setting.
- The result applies uniformly to any contact metric manifold whose Reeb flow is ergodic.
- The reduction via Landau projectors converts the hypoelliptic problem into an effective first-order dynamics along the Reeb direction.
Where Pith is reading between the lines
- The same reduction strategy may extend to other filtered geometries where a transverse vector field plays the role of the Reeb field.
- Explicit examples such as the standard contact sphere would provide concrete test cases once the ergodicity assumption is verified.
- The approach suggests that quantum ergodicity results could be obtained for other hypoelliptic operators by constructing analogous commuting projectors.
Load-bearing premise
The Reeb flow on the contact manifold must be ergodic.
What would settle it
A sequence of normalized eigenfunctions on a contact metric manifold with ergodic Reeb flow whose microlocal lifts fail to converge to the Liouville measure would disprove the claim.
read the original abstract
This paper is dedicated to the proof of a Quantum Ergodicity (QE) theorem for the eigenfunctions of subLaplacians on contact metric manifolds, under the assumption that the Reeb flow is ergodic. To do so, we rely on a semiclassical pseudodifferential calculus developed for general filtered manifolds that we specialize to the setting of contact manifolds. Our strategy is then reminiscent of an implementation of the Born-Oppenheimer approximation as we rely on the construction of microlocal projectors in our calculus which commute with the subLaplacian, called Landau projectors. The subLaplacian is then shown to act effectively on the range of each Landau projector as the Reeb vector field does. The remainder of the proof follows the classical path towards QE, once microlocal Weyl laws have been established.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves a quantum ergodicity theorem for eigenfunctions of subLaplacians on contact metric manifolds, assuming ergodicity of the Reeb flow. The argument specializes a filtered-manifold pseudodifferential calculus to contact structures, constructs commuting Landau projectors, reduces the effective dynamics of the subLaplacian to the Reeb vector field on the range of each projector, derives microlocal Weyl laws, and applies the standard quantum ergodicity argument.
Significance. If the central reduction and Weyl laws hold, the result extends quantum ergodicity from Riemannian to sub-Riemannian contact settings and supplies a concrete instance of a filtered-manifold calculus in semiclassical analysis. The explicit conditioning on Reeb-flow ergodicity and the use of Landau projectors (reminiscent of a Born-Oppenheimer reduction) are strengths that make the statement precise and potentially reusable in other filtered geometries.
minor comments (1)
- The abstract and introduction would benefit from a short paragraph clarifying the precise filtered-manifold calculus employed (e.g., which reference or prior work supplies the symbol classes and composition theorems) so that readers can immediately locate the technical foundations.
Simulated Author's Rebuttal
We thank the referee for their careful reading and positive evaluation of the manuscript. We are grateful for the recommendation to accept and for highlighting the extension of quantum ergodicity to the sub-Riemannian contact setting via the filtered calculus and Landau projectors.
Circularity Check
No circularity: explicit assumption and standard reduction to Reeb dynamics
full rationale
The derivation explicitly conditions the QE theorem on ergodicity of the Reeb flow (weakest assumption stated upfront). It specializes an external filtered-manifold pseudodifferential calculus, constructs commuting Landau projectors, reduces the subLaplacian action to the Reeb vector field on their ranges, obtains microlocal Weyl laws, and invokes the classical QE argument. No step reduces by definition to its own output, no fitted parameter is relabeled as prediction, and no load-bearing uniqueness theorem or ansatz is imported solely via self-citation. The chain is self-contained against external QE literature and the stated ergodicity hypothesis.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The Reeb flow is ergodic
Reference graph
Works this paper leans on
-
[1]
N. Anantharaman, Quantum Ergodicity and Delocalization of Schrödinger Eigenfunctions, EMS Zurich Lectures in Advanced Mathematics, (2022)
work page 2022
-
[2]
V. Arnaiz & G. Rivière, Quantum limits of perturbed sub-Riemannian contact Laplacians in dimension 3,Journal de l’École polytechnique — Mathématiques, Tome 11, pp. 909-956, (2024)
work page 2024
-
[3]
H. Bahouri, C. Fermanian Kammerer & I. Gallagher, Dispersive estimates for the Schrödinger operator on step 2 Stratified Lie groups,Analysis of PDE, 9, pp. 545–574, (2016)
work page 2016
-
[4]
H. Bahouri & I. Gallagher, Local dispersive and Strichartz estimates for the Schrödinger operator on the Heisenberg group,Commun. Math. Res., 29, no. 1, pp. 1-35, (2023)
work page 2023
-
[5]
L. Benedetto, C. Fermanian Kammerer & V. Fischer, Semiclassical analysis on filtered manifolds, In preparation, (2025)
work page 2025
- [6]
-
[7]
D.E. Blair, Riemannian Geometry of Contact and Symplectic Manifolds,Progress in Mathematics, Birkhäuser Boston, (2013)
work page 2013
- [8]
-
[9]
Y. Colin de Verdière. Ergodicité et fonctions propres du laplacien.Comm. Math. Phys., 102, pp. 497–502, (1985)
work page 1985
-
[10]
Y. Colin de Verdière, L. Hillairet & E. Trélat, Spectral asymptotics for sub-Riemannian Laplacians, I: Quantum ergodicity and quantum limits in the 3-dimensional contact case,Duke Math. J., 167, no. 1, pp. 109–174, (2018)
work page 2018
-
[11]
Y. Colin de Verdière, L. Hillairet & E. Trélat, Spectral asymptotics for sub-Riemannian Laplacians, arXiv:2212.02920, (2022)
-
[12]
M. de Gosson, Symplectic Methods in Harmonic Analysis and in Mathematical Physics, Birkhäuser Basel, (2011). 49
work page 2011
-
[13]
S. Dagomir & G. Tomassini, Differential Geometry and Analysis on CR Manifolds, Birkhäuser Boston, (2006)
work page 2006
-
[14]
G. Emmrich & A. Weinstein, Geometry of the transport equation in multicomponent WKB approxima- tions.Comm. Math. Phys., 176, no. 3, pp. 701–711, (1996)
work page 1996
-
[15]
C. Epstein, Lectures on indices and relative indices on contact and CR-manifolds, www2.math.upenn.edu/luminy.pdf, (1999)
work page 1999
-
[16]
C. Fermanian Kammerer & C. Letrouit, Observability and controllability for the Schrödinger equation on quotients of groups of Heisenberg type,J. Éc. Polytech. Math.Tome 8, pp. 1459-1513, (2021)
work page 2021
-
[17]
C. Fermanian Kammerer & V. Fischer, Semi-classical analysis on H-type groups.Sci. China Math., 62, pp. 1057–1086, (2019)
work page 2019
-
[18]
C. Fermanian Kammerer & V. Fischer, Quantum evolution and subLaplacian operators on groups of Heisenberg type,J. Spectr. Theory, 11 , pp. 1313–1367, (2021)
work page 2021
-
[19]
Quantization on filtered manifolds
C. Fermanian Kammerer, V. Fischer & S. Flynn, A microlocal calculus on filtered manifolds, arXiv:2412.17448, (2024)
work page internal anchor Pith review Pith/arXiv arXiv 2024
-
[20]
V. Fischer & S. Mikkelsen, Semiclassical functional analysis on nilpotent Lie groups and their compact nilmanifolds, arXiv:2409.05520, (2024)
-
[21]
V. Fischer & M. Ruzhansky, Quantization on nilpotent Lie groups,Progress in Mathematics, 314, Birkhäuser Basel, (2016)
work page 2016
-
[22]
G. B. Folland, Harmonic Analysis in Phase Space. (AM-122), Volume 122, Princeton: Princeton Univer- sity Press, (1989)
work page 1989
-
[23]
G.B. Folland & J. J. Kohn, The Neumann Problem for the Cauchy-Riemann Complex,Annals of Math- ematics Studies, (75), Princeton University Press, (1972)
work page 1972
-
[24]
G. B. Folland & E. Stein, Hardy spaces on homogeneous groups,Mathematical Notes, 28, Princeton University Press, (1982)
work page 1982
-
[25]
P. Gérard & E. Leichtnam, Ergodic properties of eigenfunctions for the Dirichlet problem,Duke Math. J., 71, no. 2, pp. 559–607, (1993)
work page 1993
-
[26]
B. Helffer, A. Martinez & D. Robert, Ergodicité et limite semi-classique,Commun. Math. Phys., 109, pp. 313–326, (1987)
work page 1987
-
[27]
D. Jakobson, Y. Safarov & A. Strohmaier, The semiclassical theory of discontinuous systems and ray- splitting billiards, With an appendix by Y. Colin de Verdière,American J. Math., 137, no. 4, pp. 859–906, (2015)
work page 2015
-
[28]
D. Jakobson & A. Strohmaier, High Energy Limits of Laplace-Type and Dirac-Type EigenFunctions and Frame Flows.Commun. Math. Phys., 270, pp. 813–833, (2007)
work page 2007
-
[29]
B. Küster, On the semiclassical functional calculus for h-dependent functions,Ann Glob Anal Geom, 52, pp. 57–97, (2017)
work page 2017
-
[30]
Lang, Differential and Riemannian Manifolds, Springer-Verlag, (1995)
S. Lang, Differential and Riemannian Manifolds, Springer-Verlag, (1995)
work page 1995
-
[31]
Letrouit, Quantum Limits of sub-Laplacians via joint spectral calculus,Documenta Mathematica, 28, pp
C. Letrouit, Quantum Limits of sub-Laplacians via joint spectral calculus,Documenta Mathematica, 28, pp. 55–104, (2023)
work page 2023
-
[32]
Métivier, Fonction spectrale et valeurs propres d’une classe d’opérateurs non elliptiques,Comm
G. Métivier, Fonction spectrale et valeurs propres d’une classe d’opérateurs non elliptiques,Comm. Partial Differential Equations, 1(5):467–519, (1976)
work page 1976
-
[33]
K. Petersen, Ergodic theory, Corrected reprint of the 1983 original,Cambridge Studies in Advanced Mathematics, 2. Cambridge University Press, Cambridge, (1989)
work page 1983
-
[34]
N. Raymond & S. V˜ u Ngoc, Geometry and Spectrum in 2D Magnetic Wells,Annales de l’Institut Fourier, Tome 65, no. 1, pp. 137-169, (2015)
work page 2015
-
[35]
G. Rivière, Asymptotic regularity of sub-Riemannian eigenfunctions in dimension 3: the periodic case, arXiv:2311.02990, (2023)
-
[36]
Nauk, 29, no.6(180), 181–182, (1974)
A.I.Shnirelman, Ergodicpropertiesofeigenfunctions,Uspehi Mat. Nauk, 29, no.6(180), 181–182, (1974)
work page 1974
-
[37]
R. S. Strichartz, Sub-Riemannian geometry,J. Differential Geom., 24(2):221–263, (1986)
work page 1986
-
[38]
Taylor, Noncommutative microlocal analysis, (2010)
M. Taylor, Noncommutative microlocal analysis, (2010)
work page 2010
-
[39]
Taylor, Microlocal Weyl formula on contact manifolds,Comm
M. Taylor, Microlocal Weyl formula on contact manifolds,Comm. Partial Differential Equations, 45, no. 5, pp. 392–413, (2020)
work page 2020
-
[40]
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, pp. 919–941, (1987)
work page 1987
-
[41]
S. Zelditch & M. Zworski, Ergodicity of eigenfunctions for ergodic billiards,Commun. Math. Phys., 175, no. 3, pp. 673-682, (1996)
work page 1996
-
[42]
Zworski, Semiclassical analysis,Graduate Studies in Mathematics, vol
M. Zworski, Semiclassical analysis,Graduate Studies in Mathematics, vol. 138, American Mathematical Society, Providence, (2012). 50 L. BENEDETTO (L. Benedetto)DMA, École normale supérieure, Université PSL, CNRS, 75005 Paris, France & Univ Angers, CNRS, LAREMA, SFR MATHSTIC, F-49000 Angers, France Email address:lbenedetto@dma.ens.fr
work page 2012
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.