Pith. sign in

REVIEW 5 major objections 5 minor 32 references

Quantum limits of the Martinet sub-Laplacian

T0 review · 5 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves every quantum limit of the Martinet sub-Laplacian decomposes into four adapted two-microlocal measures, with quartic- and harmonic-oscillator dynamics and drift-invariance laws at critical points.

desk verdict First adapted two-microlocal description for the Martinet sub-Laplacian is a real contribution, but the weak-drift projection identity in Theorem 5 is wrong as written and needs correcting before the y-independence conclusion can stand. read the letter →

arxiv 2505.19326 v2 pith:XPDI5J2R submitted 2025-05-25 math.AP math-phmath.MPmath.SP

Víctor Arnaiz This is my paper · ORCID
classification math.APmath-phmath.MPmath.SP MSC 35P2035H2058J5181Q20
keywords Martinetsub-Laplacianquantumlimitstwo-microlocalsemiclassicalmeasuresquarticoscillatorMontgomeryfamilyRothschild-Steinestimatessub-Riemanniangeometrydriftinvariance
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper's goal is a complete asymptotic description of the quantum limits of the Martinet sub-Laplacian on $M = \mathbb{R} \times \mathbb{T}^2$, the step-two subelliptic operator $-\partial_x^2 - (\partial_y + x^2\partial_z)^2$ whose bracket structure degenerates on the singular set $x = 0$. The central claim is that the noncompact part of every accumulation point of eigenfunction densities decomposes into four positive two-microlocal measures, one for each oscillation scale fixed by the Rothschild–Stein estimates. The highest-frequency regime, concentrated on the singular set, is governed by the quartic Montgomery oscillator $\hat{H}_{\eta,\zeta} = D_x^2 + (\eta + x^2\zeta)^2$, while the regime away from the singular set is governed by the harmonic oscillator $\hat{G}_\sigma = \sigma^2 D_w^2 + w^2$; two scalar measures cover the subcritical scales. The paper proves that these measures concentrate on the level sets $\lambda_k = 1$ and $\nu_j = 1$ and satisfy drift-invariance laws, including Reeb-flow invariance away from the singular set and an abnormal drift, with a further two-microlocalization at non-degenerate critical points yielding $y$-independence of the singular-regime spectral measures. If correct, quantum-limit questions for this non-regular step-two operator reduce to the spectral theory of one quartic oscillator family, and the obstructions to dispersion are located exactly at its critical points.

What carries the argument

The load-bearing object is a new family of adapted two-microlocal semiclassical measures, extracted from rescaled Wigner distributions $\langle \mathrm{Op}_h^w(a_{h,R})\psi_h, \psi_h\rangle$ whose symbols read $a(x,y,z,w,\xi,h\sigma,h^2\zeta)$ with $w = \eta + x^2\zeta$ and $\sigma = 2x\zeta$; the cut-off $\breve\chi(\zeta/R)$ discards the compact part of phase space. The construction uses dilation–contraction symplectic changes of variables that rescale $x$ by $h$, $(y,z)$ by $h^{1/2}$, and $(\xi,\eta,\zeta)$ by $h^{-1}$, $h^{-1/2}$, $h^{-1/2}$, matching the Rothschild–Stein estimates $hX_j \lesssim 1$, $h^2X_3 \lesssim 1$, $h^3X_4 \lesssim 1$ so that each regime converges to its own operator-valued measure. The effective quantum models are the Montgomery quartic oscillator $\hat{H}_\mu = D_x^2 + (\mu + x^2)^2$ with simple eigenvalues $\Lambda_k(\mu)$, governing the singular set, and the harmonic oscillator $\hat{G}_\sigma = \sigma^2D_w^2 + w^2$ with eigenvalues $|\sigma|(2j+1)$, governing the regular region. Drift invariance comes from a normal-form and averaging procedure in complex coordinates $Z = \xi + iw$ that cancels the fast oscillation and isolates the subprincipal transport term, which is the Reeb flow away from the singular set and the abnormal $\partial_y$-drift with coefficient $\partial_\eta\lambda_k$ (or the elliptic-integral average $\Upsilon^j(\eta)$) near it.

What would settle it

A decisive calculation is the second eigenvalue $\Lambda_2(\mu)$ of $D_x^2 + (\mu + x^2)^2$: the paper leaves the non-degeneracy of its critical point as a numerical conjecture. If $\Lambda_2''(\mu^*) = 0$ at the critical point $\mu^*$, the decomposition of $\mu_{1,2}$ into $\nu^j_{1,2}$ and $M^j_{1,2}$ at the points $(\eta^j,\zeta^j)$ with $\partial_\eta\lambda_2 = 0$, and the resulting $y$-independence of $\mu_{1,2}$, do not follow. A dynamical check: simulate the Schrödinger flow $e^{it\Delta_M}$ on a spectrally truncated cylinder with data on the $k$-th eigenspace and test whether the long-time spatial density on the singular set is $y$-independent.

Watch

Extended reading notes

Core claim

The paper proves that for the Martinet sub-Laplacian on the flat toroidal cylinder the noncompact part of any quantum limit splits as $\nu_\infty = \int \operatorname{Tr} dM_1 + \int \operatorname{Tr} dM_2 + \sum_{j\in\{0,1\}}\int dm_3^j + \int dm_4$, where $M_1$, $M_2$, $m_3^j$, $m_4$ are positive Radon measures obtained as limits of rescaled Wigner distributions at four different semiclassical scales (Theorem 1). The high-oscillation dynamics is explicit: $M_1$ commutes with the quartic oscillator $\hat{H}_{\eta,\zeta} = D_x^2 + (\eta + x^2\zeta)^2$ on $L^2(\mathbb{R}_x)$, $M_2$ commutes with the harmonic oscillator $\hat{G}_\sigma = \sigma^2 D_w^2 + w^2$, and the scalar measures $m_3^j$ and $m_4$ are invariant under the classical flows of $H^j_\eta(\varsigma,\xi) = \xi^2 + (\eta + (-1)^j\varsigma^2)^2$ and $G(w,\xi) = \xi^2 + w^2$ (Theorem 2). Concentration holds on $\lambda_k(\eta,\zeta) = 1$ and $\nu_j(\sigma) = (2j+1)|\sigma| = 1$ (Theorem 3). At the subprincipal scale the paper obtains the drift laws $0 = \partial_\eta\lambda_k\,\partial_y\mu_{1,k}$, $0 = (2j+1)Z\mu_{2,j}$, $0 = \Upsilon^j(\eta)\partial_y m_3^j$, $0 = Zm_4$, with $Z = X_3 - x^{-1}X_2$ the Reeb field and $\Upsilon^j$ an average computed by complete elliptic integrals (Theorem 4). Under the additional assumption that the critical point of $\Lambda_k$ is non-degenerate, a further two-microlocalization near each point $(\eta^j,\zeta^j)$ with $\partial_\eta\lambda_k = 0$ decomposes $\mu_{1,k}$ into pieces satisfying $\partial_y\nu^j_{1,k} = 0$ and $[D_y^2, M^j_{1,k}] = 0$, so that $\mu_{1,k}$ is independent of $y$ (Theorems 5 and 6).

Load-bearing premise

The load-bearing assumption, stated in Section 1.2.4, is that the critical point of $\Lambda_k(\mu)$ used in the refined analysis is non-degenerate: the paper proves this for $k = 1$ and for all sufficiently large $k$ via [20, Th. 1.2 and 1.5], and only conjectures it numerically for $k = 2$, so if non-degeneracy fails for some intermediate $k$ the $y$-independence conclusion for $\mu_{1,k}$ does not follow from the proof.

Editorial extensions

If this is right

  • Quantum-limit questions for the Martinet sub-Laplacian reduce to spectral data of one quartic family: the singular-regime measures are fibered over the simple eigenvalues $\lambda_k(\eta,\zeta)$, so finer knowledge of $\Lambda_k(\mu)$ translates directly into finer control of eigenfunction limits.
  • The obstructions to dispersion are located exactly at the critical points of $\Lambda_k(\mu)$: at the two points $(\eta^j,\zeta^j)$ on the level set $\lambda_k = 1$ where $\partial_\eta\lambda_k$ vanishes the $y$-drift stops, and by Theorems 5 and 6 the singular-regime measure becomes $y$-independent there.
  • Away from the singular set the noncompact part of a quantum limit is invariant under the Reeb flow $Z$, the step-two analogue of the Reeb invariance theorem known in the three-dimensional contact case.
  • On the compact torus version of the operator, with $V(x) = \sin^2(x/2)$, the same decomposition holds, so complete quantum limits exist on a compact Martinet-type manifold.
  • The abnormal drift term $\partial_\eta\lambda_k\,\partial_y\mu_{1,k}$ is the quantum counterpart of the abnormal propagation along Martinet singular geodesics previously found at the classical level.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If some eigenvalue $\Lambda_k(\mu)$ ever had a degenerate critical point, the $y$-independence of $\mu_{1,k}$ would fail, but a slower, higher-order drift along $y$ would likely persist; testing the $k = 2$ case numerically (left open by the paper) is the direct way to probe this.
  • The same four-measure architecture plausibly transfers to other step-two sub-Riemannian structures with a codimension-one singular locus, with a Montgomery-type quartic family in the transverse variable as the universal singular model; the paper does not claim this.
  • A numerical Schrödinger simulation on a truncated cylinder, with initial data concentrated on the $k$-th spectral band of the fiber operator, could measure the drift speed $\partial_\eta\lambda_k$ against the paper's prediction and test the $y$-independence at critical points.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

5 major / 5 minor

Summary. The paper studies semiclassical quantum limits of the Martinet sub-Laplacian Δ_M = -X_1^2 - X_2^2 on M = R × T^2, with X_1 = ∂_x and X_2 = ∂_y + x^2∂_z. The central claim is that the non-compact part ν_∞ of any quantum limit can be decomposed into four adapted two-microlocal semiclassical measures: an operator-valued measure M_1 associated with the singular set {x=0} and the quartic oscillator H_{η,ζ}, an operator-valued measure M_2 associated with the harmonic oscillator G_σ away from the singular set, and scalar measures m_3^j and m_4 in the subcritical regimes. The paper proves existence of these measures (Theorem 1), their invariance under the relevant oscillator flows (Theorem 2), their support on the level sets λ_k=1, ν_j=1, H_η^j=1, G=1 (Theorem 3), and drift-invariance properties in the y-direction or along the Reeb field (Theorem 4). Under an additional non-degeneracy assumption on critical points of the Montgomery eigenvalues Λ_k, Theorems 5 and 6 claim a refined two-microlocal decomposition of μ_{1,k} near the critical points and y-independence of μ_{1,k}. The proofs use Rothschild-Stein estimates, the Wigner equation, and normal-form/averaging arguments. The weak-drift results are explicitly conditional on a spectral conjecture for intermediate values of k.

Significance. If the main results are correct, the paper provides the first complete two-microlocal description of quantum limits for a step-two sub-Riemannian Laplacian with a non-regular distribution, going beyond the three-dimensional contact case treated in [4, 11]. The decomposition of ν_∞ into four adapted measures with explicit dynamics is a substantial and natural extension of earlier work on the Baouendi-Grushin operator and the Engel group. A particular strength is that the invariance properties are derived from the Wigner equation rather than imposed, and the concentration statements are sharp and falsifiable: they tie the measures to the Montgomery family of quartic oscillators and to the harmonic oscillator. The paper also correctly identifies the abnormal drift as a sub-principal effect and formulates precise conditional statements at critical points. However, the load-bearing parts of the weak-drift section (Theorems 5 and 6) are presented as sketches or with formal operators, and at least one projection identity in Theorem 5 is incorrect as stated. These issues are fixable, but they currently prevent the manuscript from being accepted in its present form.

major comments (5)
  1. [Section 6, projection formula after Eq. (40)] The stated identity μ_{1,k} = Σ_{j∈{0,1}} (1_{η≠η^j} μ_{1,k} + ν^j_{1,k} + Tr M^j_{1,k}) cannot hold as written. For the k=1 case covered by [20], μ*=0 and hence η^0=η^1, so the two indicators coincide; testing with a compactly supported symbol avoiding η=0 gives twice the regular part of μ_{1,k} on the right. For a general non-degenerate μ*, the same doubling occurs unless μ_{1,k} has atoms at both η^0 and η^1. The correct statement is either the j-wise decomposition μ_{1,k} = 1_{η≠η^j} μ_{1,k} + ν^j_{1,k} + Tr M^j_{1,k} for each fixed j, or the summed formula with the indicator 1_{η∉{η^0,η^1}}. Since the conclusion 'μ_{1,k} is constant in y' in Theorem 6 uses this projection, the error is load-bearing and must be repaired.
  2. [Section 6, proof of Theorem 6] The proof of Theorem 6 relies on the formal averaged operator ⟨w⟩_h, about which the paper explicitly says 'We do not give for the moment a more precise sense to the operator ⟨w⟩_h'. The subsequent cohomological equation (125), the definition of bG_h in (124), the localization operator bE_{h,τ}, and the O(h^3) commutator formula all presuppose a meaningful operator with uniform estimates on the spectral window λ_k(η,ζ)≈1. Without a precise definition, for example via truncated time averages on the eigenspaces of H_h, the derivation of (41) and (42) is not complete. This is a load-bearing gap for the weak-drift part of the central claim.
  3. [Section 6, proof of Theorem 5] The proof of Theorem 5 is presented only as a sketch ('This proof is standard ... and we only sketch it'). The successive limits d→0, r→∞, R→∞, ε→0 and the extraction of subsequences leading to the new measures ν^j_{1,k} and M^j_{1,k} are not written in detail, and positivity of these measures is not established. Since these measures are new objects introduced in Theorem 5, the existence statement needs either a complete proof or a precise reduction to the arguments of Proposition 3.
  4. [Theorem 1, Eq. (16)] Equation (16) states ν_∞ = ∫_{Rη×R*_ζ} Tr dM_1 + ∫_{R*_σ} Tr dM_2 + Σ_j ∫ dm^j_3 + ∫ dm_4. As written, this compares a measure on M = R_x × T^2_{y,z} with expressions that, even after taking traces, are still measures on different spaces such as T^2_{y,z}×Rη×R*_ζ or M\S×R*_σ. The equality should specify the relevant pushforwards or projections, for example in the weak form ∫ b dν_∞ = ∫_{T^2×Rη×R*_ζ} b(0,y,z) Tr dM_1 + ..., as is done informally in the proof at the end of Section 2. The statement of Theorem 1 should be corrected accordingly.
  5. [Propositions 5 and 6] Positivity of the scalar measures m^j_3 and m_4 is asserted but the proofs say 'the details are omitted' and 'positivity follows by similar arguments'. Since Theorem 1 claims these are positive Radon measures, a positivity argument should be supplied or explicitly reduced to the arguments already given for M_1 and M_2 in Propositions 3 and 4. Positivity is part of the definition of the objects whose existence is the central claim.
minor comments (5)
  1. [Throughout] There are numerous typos and minor grammatical errors, for example 'Rotchschild' (p. 1), 'sepectrum' (p. 6), 'estabilshed' (p. 36), 'fruther' (p. 36), 'respcetively' (p. 41), 'adpatation' (p. 42), and 'Multyplier' (p. 26). A careful proofreading pass is recommended.
  2. [Proposition 3 proof] In the proof of Proposition 3, the measure M_1 is first written as an element of M(T^2_{y,z} × Rξ × Rζ; ...), but the correct integration variable in the second factor is η, not ξ. This appears to be a typo, since the final statement uses Rη × R*_ζ.
  3. [End of proof of Theorem 1] In the final paragraph of Section 2, the displayed limit 'lim_{R→0}' should be 'lim_{R→+∞}'. The surrounding text and the definition of I^∞_{h,R} make the intended meaning clear.
  4. [Theorem 5 statement] The condition on the neighborhood B^j reads 'λ_k(η,ζ) ≠ 1, ∀k ≠ k', which is confusing because k is also the fixed index. This should be written as 'λ_l(η,ζ) ≠ 1 for all l ≠ k'.
  5. [Section 1.2.4 and Remark 6] The non-degeneracy assumption used in Theorems 5 and 6 is verified by [20] only for k=1 and for all sufficiently large k; for intermediate k, including k=2, it rests on the numerical conjecture [20, Conj. 1.6]. The manuscript states this explicitly, so this is not an error, but the abstract's phrase 'additional regularity properties' should make the conditional nature of the weak-drift results more prominent.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the four adapted two-microlocal measures and their invariance properties are derived from the eigenfunction equation and the Wigner equation, not imposed by definition or by fitted inputs.

full rationale

The construction is not circular. The measures M1, M2, m^j_3 and m4 are defined as weak-* limits of adapted Wigner distributions (15) built directly from the eigenfunction sequence, rather than being chosen to force the stated conclusions; the projection identity (16) is proved in Section 2 by splitting the density and using Rothschild-Stein estimates, not assumed. The invariance statements in Theorem 2 are obtained by passing the Wigner equation (95)-(96) to the limit, so the oscillator dynamics are consequences of the equation rather than ansätze. Concentration (Theorem 3) follows from the eigenvalue equation via functional calculus (101), and the drift invariances (Theorem 4) follow from the spectral lemma (Lemma 2) and explicit averaging; none of these steps fits a parameter or defines the target measure in terms of the conclusion. The normal-form technique is borrowed from the author's earlier work [4], but Section 5.2 redoes the computation (definition of B, commutator relations (109)-(110), final averaging), so the self-citation is methodological and not load-bearing. External spectral facts on the quartic oscillator come from [20] and [6], independent of the present paper; the non-degeneracy hypothesis in Theorems 5-6 is stated explicitly as an assumption supported by external results and a numerical conjecture, not hidden in the construction. The weak-drift section is sketchier and the projection identity in Theorem 5 may have a mathematical issue, but that is a correctness or rigor concern, not circularity: the claimed decomposition is not equivalent by construction to its own input. Overall, the main derivation chain is self-contained against the stated spectral facts, and no circular step was identified.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No constants are fitted to data. The results are unconditional theorems except for the explicitly conditional weak-drift statements. The auxiliary cutoffs and scales are removed by limits. The main external inputs are Rothschild-Stein estimates, spectral facts on quartic oscillators, and elliptic integral formulas for the classical Hamiltonian flow.

assumptions (4)
  • standard math Rothschild-Stein estimates (10)-(12) for eigenfunctions of the Martinet sub-Laplacian
    Quoted from [30] as Theorem 18; the entire two-microlocal construction and h-oscillation bounds rely on these scale estimates (Section 1.1, equations (10)-(12)).
  • domain assumption Spectral simplicity and analyticity of eigenvalues of the Montgomery quartic oscillators H_{η,ζ} and H_μ
    Used in (25)-(26) to convert operator-valued measures M1 and M2 into scalar measures μ_{1,k} and μ_{2,j}; cited from [6, Cor. B.4] and [20], not proved in this paper.
  • domain assumption Nondegenerate critical point assumption in Theorems 5-6
    The weak-drift refinement assumes existence of a nondegenerate critical point µ* of Λ_k(µ); [20] proves it for k=1 and large k, but it is conjectural in general (Remark 6). If false, Theorems 5 and 6 do not apply.
  • standard math Hamiltonian flow averaging and elliptic integral identities for the classical Hamiltonians H^j_η
    Lemma 3 uses explicit formulas for periods and averages from Byrd-Friedman [9]; standard elliptic integral identities are invoked without proof.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quantum limits of the Martinet sub-Laplacian." pith.science (2026). https://pith.science/paper/XPDI5J2R

@misc{pith2026250519326,
  author       = {Pith},
  title        = {Pith review of: Quantum limits of the Martinet sub-Laplacian},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XPDI5J2R}},
  note         = {Machine review of arXiv:2505.19326}
}
abstract

In this article we study the semiclassical asymptotics of the Martinet sub-Laplacian on the flat toroidal cylinder $M = \mathbb{R} \times \mathbb{T}^2$. We describe the asymptotic distribution of sequences of eigenfunctions oscillating at different scales prefixed by Rothschild-Stein estimates via the introduction of adapted two-microlocal semiclassical measures. We obtain concentration and invariance properties of these measures in terms of effective dynamics governed by harmonic or an-harmonic oscillators depending on the regime, and we show additional regularity properties with respect to critical points of the eigenvalues of the Montgomery family of quartic oscillators.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 30 canonical work pages

  1. [20]

    Helffer and M

    B. Helffer and M. Leautaud. On critical points of eigenvalues of the Montgomery family of quartic oscillators. Indiana Univ. Math. J., 73:2073–2133, 2024

    work page 2024

  2. [1]

    Anantharaman and M

    N. Anantharaman and M. Léautaud. Sharp polynomial decay rates for the damped wave equation on the torus. Anal. PDE, 7(1):159–214, 2014. With an appendix by Stéphane Nonnenmacher

    work page 2014

  3. [2]

    Anantharaman, M

    N. Anantharaman, M. Léautaud, and F. Macià. Delocalization of quasimodes on the disk.C. R. Math. Acad. Sci. Paris, 354(3):257–263, 2016

    work page 2016

  4. [3]

    Anantharaman and F

    N. Anantharaman and F. Macià. Semiclassical measures for the Schrödinger equation on the torus.J. Eur. Math. Soc. (JEMS), 16(6):1253–1288, 2014

    work page 2014

  5. [4]

    Arnaiz and G

    V. Arnaiz and G. Rivière. Quantum limits of perturbed sub-Riemannian contact Laplacians in dimension 3. Journal de l’École polytechnique — Mathématiques, 11:909–956, 2024

    work page 2024

  6. [5]

    Arnaiz and C

    V. Arnaiz and C. Sun. Sharp resolvent estimate for the Baouendi-Grushin operator and applications.Comm. Math. Phys., 400(1):541–637, 2023

    work page 2023

  7. [6]

    Bahouri, D

    H. Bahouri, D. Barilari, I. Gallagher, and M. Léautaud. Spectral summability for the quartic oscillator with applications to the Engel group.J. Spectr. Theory, 13(2):623–706, 2023

    work page 2023

  8. [7]

    Benedetto

    L. Benedetto. Quantum-classical correspondence and obstruction to dispersion on the Engel group. 2024

    work page 2024

Show all 32 references
  1. [8]

    Burq and C

    N. Burq and C. Sun. Time optimal observability for Grushin Schrödinger equation.Analysis and PDE, 15(6):1487–1530, 2022. 44 VÍCTOR ARNAIZ

    2022

  2. [9]

    P. F. Byrd and M. D. Friedman.Handbook of elliptic integrals for engineers and scientists, volume Band 67 ofDie Grundlehren der mathematischen Wissenschaften. Springer-Verlag, New York-Heidelberg, second edition, 1971

    1971

  3. [10]

    Colin de Verdière and C

    Y. Colin de Verdière and C. Letrouit. Propagation of well-prepared states along Martinet singular geodesics. J. Spectr. Theory, 12(3):1235–1253, 2022

    2022

  4. [11]

    Y. C. De Verdière, L. Hillairet, and E. Trélat. Spectral asymptotics for sub-Riemannian Laplacians. I: Quan- tum ergodicity and quantum limits in the 3-dimensional contact case.Duke Math. J., 167(1):109–174, 2018

    2018

  5. [12]

    Colin de Verdìère, L

    Y. Colin de Verdìère, L. Hillairet, and E. Trélat. Spectral asymptotics for sub-Riemannian Laplacians. Preprint, arXiv:2212.02920 [math.DG] (2022), 2022

    2022 arXiv

  6. [13]

    Fermanian-Kammerer

    C. Fermanian-Kammerer. Mesures semi-classiques 2-microlocales. C. R. Acad. Sci. Paris Sér. I Math., 331(7):515–518, 2000

    2000

  7. [14]

    Fermanian Kammerer and V

    C. Fermanian Kammerer and V. Fischer. Semi-classical analysis on H-type groups. Sci. China Math., 62(6):1057–1086, 2019

    2019

  8. [15]

    Fermanian-Kammerer and V

    C. Fermanian-Kammerer and V. Fischer. Defect measures on graded Lie groups.Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 21:207–291, 2020

    2020

  9. [16]

    Fermanian-Kammerer and V

    C. Fermanian-Kammerer and V. Fischer. Quantum evolution and sub-Laplacian operators on groups of Heisenberg type.J. Spectr. Theory, 11(3):1313–1367, 2021

    2021

  10. [17]

    Fermanian Kammerer and C

    C. Fermanian Kammerer and C. Letrouit. Observability and controllability for the Schrödinger equation on quotients of groups of Heisenberg type.J. Éc. polytech. Math., 8:1459–1513, 2021

    2021

  11. [18]

    P. Gérard. Microlocal defect measures.Comm. Partial Differential Equations, 16(11):1761–1794, 1991

    1991

  12. [19]

    Helffer.Semi-classical analysis for the Schrödinger operator and applications, volume 1336 ofLect

    B. Helffer.Semi-classical analysis for the Schrödinger operator and applications, volume 1336 ofLect. Notes Math. Berlin etc.: Springer-Verlag, 1988

    1988

  13. [21]

    Hörmander

    L. Hörmander. Hypoelliptic second order differential equations.Acta Math., 119:147–171, 1967

    1967

  14. [22]

    I. L. Hwang. TheL2-boundedness of pseudodifferential operators.Trans. Amer. Math. Soc., 302(1):55–76, 1987

    1987

  15. [23]

    Letrouit

    C. Letrouit. Subelliptic wave equations are never observable.Anal. PDE, 16(3):643–678, 2023

    2023

  16. [24]

    Letrouit and C

    C. Letrouit and C. Sun. Observability of Baouendi-Grushin-type equations through resolvent estimates. Journal of the Institute of Mathematics of Jussieu, 22(2):541–579, 2023

    2023

  17. [25]

    F. Macià. High-frequency propagation for the Schrödinger equation on the torus.J. Funct. Anal., 258(3):933– 955, 2010

    2010

  18. [26]

    Macià and G

    F. Macià and G. Rivière. Two-microlocal regularity of quasimodes on the torus.Anal. PDE, 11(8):2111–2136, 2018

    2018

  19. [27]

    Montgomery

    R. Montgomery. Hearing the zero locus of a magnetic field.Comm. Math. Phys., 168(3):651–675, 1995

    1995

  20. [28]

    Morin and G

    L. Morin and G. Rivière. Quantum unique ergodicity for magnetic laplacians onT2. 2024

    2024

  21. [29]

    G. Rivière. Asymptotic regularity of sub-Riemannian eigenfunctions in dimension 3: the periodic case. 2023

    2023

  22. [30]

    L. P. Rothschild and E. M. Stein. Hypoelliptic differential operators and nilpotent groups. Acta Math., 137(3-4):247–320, 1976

    1976

  23. [31]

    A. Uribe. Band invariants and closed trajectories onSn. Adv. Math., 58:285–299, 1985

    1985

  24. [32]

    Zworski.Semiclassical analysis, volume 138 ofGraduate Studies in Mathematics

    M. Zworski.Semiclassical analysis, volume 138 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2012. Institut de Mathématiques de Bordeaux Email address: victor.arnaiz-solorzano@math.u-bordeaux.fr

    2012

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.