Monotonicity, global symplectification and the stability of Dry Ten Martini Problem
Pith reviewed 2026-05-16 18:01 UTC · model grok-4.3
The pith
Every type I energy with positive Lyapunov exponent and gap-labelling condition bounds an open spectral gap for trigonometric-polynomial potentials at irrational frequencies.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For any fixed irrational frequency and trigonometric-polynomial potential, every type I energy with positive Lyapunov exponent that satisfies the gap-labelling condition is a boundary of an open spectral gap. The proof proceeds by studying the projective action on the Lagrangian Grassmannian, the associated fibred rotation number, monotonicity along one-parameter families of Hermitian symplectic cocycles, and a partially hyperbolic splitting with two-dimensional center equipped with global symplectification via holonomy-driven parallel transport.
What carries the argument
The partially hyperbolic splitting with two-dimensional center together with global symplectification (holonomy-driven parallel transport) of one-parameter families of Hermitian symplectic cocycles, which carries the monotonicity argument for the fibred rotation number on the Lagrangian Grassmannian.
If this is right
- The all-spectral-gaps-open property for the supercritical almost-Mathieu operator is robust under small trigonometric-polynomial perturbations at every irrational frequency.
- Periodic gaps survive under such perturbations.
- The stability of the Dry Ten Martini Problem receives a partial resolution in the supercritical regime.
Where Pith is reading between the lines
- The same monotonicity-plus-symplectification technique may apply to other quasiperiodic potentials that are not trigonometric polynomials.
- The method suggests a route to proving gap opening for cocycles that satisfy only a weaker form of partial hyperbolicity.
- Similar geometric arguments could be tested on higher-dimensional quasiperiodic operators whose cocycles still admit a two-dimensional center bundle.
Load-bearing premise
The relevant cocycles admit a partially hyperbolic splitting with a two-dimensional center for which the global symplectification via holonomy-driven parallel transport is well-defined.
What would settle it
An explicit trigonometric-polynomial potential at an irrational frequency together with a type I energy that has positive Lyapunov exponent, satisfies the gap-labelling condition, yet lies inside a closed spectral gap would falsify the central claim.
Figures
read the original abstract
For any fixed irrational frequency and trigonometric-polynomial potential, we show that every type I energy with positive Lyapunov exponent that satisfies the gap-labelling condition is a boundary of an open spectral gap. As a corollary, for the almost-Mathieu operator in the supercritical regime the "all spectral gaps are open" property is robust under a small trigonometric-polynomial perturbation at any irrational frequency. The proof introduces a geometric, all-frequency approach built from three ingredients: (i) the projective action on the Lagrangian Grassmannian and an associated fibred rotation number, (ii) monotonicity of one-parameter families of (Hermitian) symplectic cocycles, and (iii) a partially hyperbolic splitting with a two-dimensional center together with a global symplectification (holonomy-driven parallel transport). This provides a partial resolution to the stability of the Dry Ten Martini Problem in the supercritical regime, and answers a question by M. Shamis regarding the survival of periodic gaps.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that for any fixed irrational frequency and trigonometric-polynomial potential, every type I energy with positive Lyapunov exponent that satisfies the gap-labelling condition is a boundary of an open spectral gap. The proof is built from three geometric ingredients: the projective action on the Lagrangian Grassmannian together with the associated fibred rotation number, monotonicity along one-parameter families of Hermitian symplectic cocycles, and a partially hyperbolic splitting with two-dimensional center that permits a global symplectification via holonomy-driven parallel transport. As a corollary, the “all spectral gaps are open” property for the almost-Mathieu operator in the supercritical regime remains stable under small trigonometric-polynomial perturbations at any irrational frequency. The work is presented as a partial resolution of the stability question for the Dry Ten Martini Problem.
Significance. If the central claims hold, the paper supplies a new all-frequency geometric framework that directly addresses the stability of open gaps for quasiperiodic operators and answers a question of M. Shamis on the survival of periodic gaps. The combination of monotonicity, fibred rotation numbers, and global symplectification offers techniques that could extend to other cocycle problems in dynamical systems and spectral theory. The corollary on robustness of the almost-Mathieu operator under perturbation is a concrete advance in the supercritical regime.
major comments (1)
- [Construction of the partially hyperbolic splitting and global symplectification] The argument relies on the existence of a partially hyperbolic splitting with a continuous two-dimensional center bundle for the symplectic cocycle at every qualifying type I energy. The manuscript does not supply an explicit verification or modulus of continuity for this center bundle when the Lyapunov exponent is positive and the gap-labelling condition holds; a discontinuity in the energy parameter would invalidate the holonomy-driven parallel transport and thereby the monotonicity of the fibred rotation number used to conclude that the energy is a gap boundary. This verification is load-bearing for the main theorem.
minor comments (1)
- [Introduction and statement of results] The term “type I energy” is used throughout without a self-contained definition or pointer to its precise characterization in the literature on the Dry Ten Martini Problem; a short clarifying sentence would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for highlighting the importance of verifying the continuity properties of the partially hyperbolic splitting. We address the major comment below and indicate the revisions that will be incorporated.
read point-by-point responses
-
Referee: [Construction of the partially hyperbolic splitting and global symplectification] The argument relies on the existence of a partially hyperbolic splitting with a continuous two-dimensional center bundle for the symplectic cocycle at every qualifying type I energy. The manuscript does not supply an explicit verification or modulus of continuity for this center bundle when the Lyapunov exponent is positive and the gap-labelling condition holds; a discontinuity in the energy parameter would invalidate the holonomy-driven parallel transport and thereby the monotonicity of the fibred rotation number used to conclude that the energy is a gap boundary. This verification is load-bearing for the main theorem.
Authors: We agree that an explicit verification strengthens the argument. The partially hyperbolic splitting is constructed in Section 3 by combining the Oseledets theorem (yielding the hyperbolic directions from the positive Lyapunov exponent) with the gap-labelling condition, which selects the two-dimensional center bundle as the invariant subspace on which the projective action has zero rotation number. Continuity of this center bundle with respect to energy follows from the continuous dependence of the fibred rotation number on the cocycle parameters (established in Proposition 2.4) together with the fact that the gap-labelling condition persists under small energy perturbations for trigonometric-polynomial potentials. Nevertheless, to make this fully explicit and to supply a modulus of continuity, we will insert a new Lemma 3.5 in the revised manuscript that quantifies the Hölder continuity of the center bundle in terms of the Lyapunov exponent and the Diophantine properties of the frequency. This lemma directly supports the well-definedness of the holonomy-driven parallel transport and the subsequent monotonicity argument. revision: yes
Circularity Check
No circularity: geometric constructions are independent of the target claim
full rationale
The derivation chain rests on three explicitly introduced geometric ingredients: the projective action on the Lagrangian Grassmannian together with the associated fibred rotation number, monotonicity properties of one-parameter families of Hermitian symplectic cocycles, and the construction of a partially hyperbolic splitting with two-dimensional center followed by global symplectification via holonomy-driven parallel transport. None of these steps is shown to be defined in terms of the target statement (every qualifying type-I energy is a gap boundary), nor do they reduce to a fitted parameter renamed as a prediction, a self-citation chain, or an ansatz imported from prior work by the same authors. The abstract presents the constructions as new tools built for the problem, and the gap-labelling and Lyapunov-exponent hypotheses enter only as hypotheses, not as definitional inputs. Consequently the central claim does not collapse to its own inputs by construction.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the projective action on the Lagrangian Grassmannian and an associated fibred rotation number, (ii) monotonicity of one-parameter families of (Hermitian) symplectic cocycles, and (iii) a partially hyperbolic splitting with a two-dimensional center together with a global symplectification (holonomy-driven parallel transport)
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
every type I energy with positive Lyapunov exponent that satisfies the gap-labelling condition is a boundary of an open spectral gap
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
V., Tangential fields of transversal foliations inY-systems,Math
Anosov, D. V., Tangential fields of transversal foliations inY-systems,Math. Notes2(1967), 818–823
work page 1967
- [2]
-
[3]
Avila, A., The absolutely continuous spectrum of the almost Mathieu operator, preprint (2008), arXiv:0810.2965
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[4]
Avila, A., Almost reducibility and absolute continuity I, preprint (2010), arXiv:1006.0704
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[5]
Avila, A., Global theory of one-frequency Schrödinger operators,Acta Math.215(2015), 1–54
work page 2015
- [6]
-
[7]
Avila, A., Bochi, J., and Damanik, D., Opening gaps in the spectrum of strictly ergodic Schrödinger operators,J. Eur. Math. Soc.14(2012), 61–106
work page 2012
- [8]
-
[9]
and Jitomirskaya, S., The Ten Martini Problem,Ann
Avila, A. and Jitomirskaya, S., The Ten Martini Problem,Ann. of Math.170(2009), 303–342
work page 2009
-
[10]
and Jitomirskaya, S., Almost localization and almost reducibility,J
Avila, A. and Jitomirskaya, S., Almost localization and almost reducibility,J. Eur. Math. Soc.12 (2010), 93–131
work page 2010
-
[11]
Avila, A., Jitomirskaya, S., and Sadel, C., Complex one-frequency cocycles,J. Eur. Math. Soc.16 (2014), 1915–1935
work page 2014
-
[12]
Avila, A.andKrikorian, R., Reducibilityornon-uniformhyperbolicityforquasiperiodicSchrödinger cocycles,Ann. of Math.164(2006), 911–940
work page 2006
-
[13]
and Krikorian, R., Monotonic cocycles,Invent
Avila, A. and Krikorian, R., Monotonic cocycles,Invent. Math.202(2015), 271–331
work page 2015
-
[14]
Avila, A., Last, Y., Shamis, M., and Zhou, Q., On the abominable properties of the almost Mathieu operator with well-approximated frequencies,Duke Math. J.173(2024)
work page 2024
-
[15]
Avila, A., You, J., and Zhou, Q., Sharp phase transitions for the almost Mathieu operator,Duke Math. J.166(2017), 2697–2718
work page 2017
- [16]
-
[17]
E., Osadchy, D., and Seiler, R., A topological look at the quantum Hall effect,Phys
Avron, J. E., Osadchy, D., and Seiler, R., A topological look at the quantum Hall effect,Phys. Today56(2003), 38–42
work page 2003
-
[18]
and Simon, B., Almost periodic Schrödinger operators II
Avron, J. and Simon, B., Almost periodic Schrödinger operators II. The integrated density of states, Duke Math. J.50(1983), 369–391
work page 1983
-
[19]
Avron, J. E., van Mouche, P., and Simon, B., On the measure of the spectrum for the almost Mathieu operator,Comm. Math. Phys.139(1991), 215–215
work page 1991
-
[20]
60 XIANZHE LI, DISHENG XU, AND QI ZHOU
Band, R., Beckus, S., and Loewy, R., The Dry Ten Martini Problem for Sturmian Hamiltonians, preprint (2024), arXiv:2402.16703. 60 XIANZHE LI, DISHENG XU, AND QI ZHOU
-
[21]
Bellissard, J., Lima, R., and Testard, D., Almost periodic Schrödinger operators, inMathematics + Physics: Lectures on Recent Results, World Scientific, Singapore, 1985, 1–64
work page 1985
-
[22]
and Simon, B., Cantor spectrum for the almost Mathieu equation,J
Bellissard, J. and Simon, B., Cantor spectrum for the almost Mathieu equation,J. Funct. Anal. 48(1982), 408–419
work page 1982
-
[23]
and Biasco, L., Forced vibrations of wave equations with non-monotone nonlinearities, Ann
Berti, M. and Biasco, L., Forced vibrations of wave equations with non-monotone nonlinearities, Ann. I. H. Poincaré-AN23(2006), 439–474
work page 2006
-
[24]
Bourgain, J.,Green’s Function Estimates for Lattice Schrödinger Operators and Applications, Princeton University Press, Princeton, 2004
work page 2004
-
[25]
and Goldstein, M., On nonperturbative localization with quasi-periodic potential, Ann
Bourgain, J. and Goldstein, M., On nonperturbative localization with quasi-periodic potential, Ann. of Math.152(2000), 835–879
work page 2000
-
[26]
and Jitomirskaya, S., Absolutely continuous spectrum for 1D quasiperiodic operators, Invent
Bourgain, J. and Jitomirskaya, S., Absolutely continuous spectrum for 1D quasiperiodic operators, Invent. Math.148(2002), 453–463
work page 2002
-
[27]
Bourgain, J. and Jitomirskaya, S., Continuity of the Lyapunov exponent for quasiperiodic operators with analytic potential,J. Stat. Phys.108(2002), 1203–1218
work page 2002
-
[28]
and Stuck, G.,Introduction to Dynamical Systems, Cambridge University Press, Cam- bridge, 2002
Brin, M. and Stuck, G.,Introduction to Dynamical Systems, Cambridge University Press, Cam- bridge, 2002
work page 2002
-
[29]
Choi, M. D., Elliott, G. A., and Yui, N., Gauss polynomials and the rotation algebra,Invent. Math. 99(1990), 225–246
work page 1990
-
[30]
Crovisier, S. and Potrie, R., Introduction to partially hyperbolic dynamics, Lecture Notes for a minicourse at ICTP (2015)
work page 2015
-
[31]
Damanik, D., Gorodetski, A., and Yessen, W., The Fibonacci Hamiltonian,Invent. Math.206 (2016), 629–692
work page 2016
-
[32]
Deimling, K.,Nonlinear Functional Analysis, Springer-Verlag, Berlin, 1985
work page 1985
-
[33]
H., Floquet solutions for the one-dimensional quasiperiodic Schrödinger equation, Comm
Eliasson, L. H., Floquet solutions for the one-dimensional quasiperiodic Schrödinger equation, Comm. Math. Phys.146(1992), 447–482
work page 1992
-
[34]
Ekeland, I.,Convexity Methods in Hamiltonian Mechanics, Springer, Berlin, 1990
work page 1990
-
[35]
Forstnerič, F.,Stein Manifolds and Holomorphic Mappings: The Homotopy Principle in Complex Analysis, 2nd edn, Springer, Berlin, 2017
work page 2017
-
[36]
Ge, L. and Jitomirskaya, S. Y., Hidden subcriticality, symplectic structure, and universality of sharp arithmetic spectral results for type-I operators, preprint (2024), arXiv:2407.08866
-
[37]
Ge, L., Jitomirskaya, S. Y., and You, J., Kotani theory, Puig’s argument, and stability of The Ten Martini Problem, preprint (2023), arXiv:2308.09321
-
[38]
Ge, L., Jitomirskaya, S. Y., You, J., and Zhou, Q., Multiplicative Jensen’s formula and quantitative global theory of one-frequency Schrödinger operators,Forum Math. Pi(to appear)
- [39]
-
[40]
and You, J., Arithmetic version of Anderson localization via reducibility,Geom
Ge, L. and You, J., Arithmetic version of Anderson localization via reducibility,Geom. Funct. Anal.30(2020), 1370–1401
work page 2020
- [41]
-
[42]
Gordon, A. Y., Jitomirskaya, S., Last, Y., and Simon, B., Duality and singular continuous spectrum in the almost Mathieu equation,Acta Math.178(1997), 169–183
work page 1997
-
[43]
Gottlob, E., Borgnia, D. S., Slager, R. J., and Schneider, U., Quasiperiodicity protects quantized transport in disordered systems without gaps,PRX Quantum6(2025), 020359
work page 2025
-
[44]
Goldstein, M. and Schlag, W., Hölder continuity of the integrated density of states for quasi- periodic Schrödinger equations and averages of shifts of subharmonic functions,Ann. of Math.154 (2001), 155–203
work page 2001
-
[45]
Goldstein, M. and Schlag, W., On resonances and the formation of gaps in the spectrum of quasi- periodic Schrödinger equations,Ann. of Math.173(2011), 337–475
work page 2011
-
[46]
Haro, A. and Puig, J., A Thouless formula and Aubry duality for long-range Schrödinger skew- products,Nonlinearity26(2013), 1163–1189
work page 2013
-
[47]
G., Single band motion of conduction electrons in a uniform magnetic field,Proc
Harper, P. G., Single band motion of conduction electrons in a uniform magnetic field,Proc. Phys. Soc. London A68(1955), 874–892
work page 1955
-
[48]
Hatcher, A.,Vector Bundles and K-Theory, Version 2.2 (2017). STABILITY OF DTMP 61
work page 2017
-
[49]
and Sjöstrand, J., Semiclassical analysis for Harper’s equation
Helffer, B. and Sjöstrand, J., Semiclassical analysis for Harper’s equation. III. Cantor structure of the spectrum,Mém. Soc. Math. France39(1989), 1–124
work page 1989
-
[50]
Hou, X. and You, J., Almost reducibility and non-perturbative reducibility of quasi-periodic linear systems,Invent. Math.190(2012), 209–260
work page 2012
-
[51]
Howard, P., Latushkin, Y., and Sukhtayev, A., The Maslov index for Lagrangian pairs onR2n,J. Math. Anal. Appl.451(2017), 794–821
work page 2017
-
[52]
and Sukhtayev, A., The Maslov and Morse indices for Schrödinger operators on [0,1], J
Howard, P. and Sukhtayev, A., The Maslov and Morse indices for Schrödinger operators on [0,1], J. Differ. Equ.260(2016), 4499–4549
work page 2016
-
[53]
and Moser, J., The rotation number for almost periodic potentials,Comm
Johnson, R. and Moser, J., The rotation number for almost periodic potentials,Comm. Math. Phys.84(1982), 403–438
work page 1982
-
[54]
Kac, M., Public communication at 1981 AMS Annual Meeting
work page 1981
-
[55]
Klitzing, K. v., Dorda, G., and Pepper, N., New method for high-accuracy determination of the fine-structure constant based on quantized Hall resistance,Phys. Rev. Lett.45(1980), 494–497
work page 1980
-
[56]
Last, Y., Zero measure spectrum for the almost Mathieu operator,Comm. Math. Phys.164(1994), 421–432
work page 1994
-
[57]
Last, Y., Spectral theory of Sturm-Liouville operators on infinite intervals: a review of recent developments, inSturm-Liouville Theory, Birkhäuser, Basel, 2005, 99–120
work page 2005
-
[58]
Leguil, M., You, J., Zhao, Z., and Zhou, Q., Asymptotics of spectral gaps of quasi-periodic Schrödinger operators,Camb. J. Math.12(2024), 753–830
work page 2024
-
[59]
and Wu, L., The fibred rotation number for ergodic symplectic cocycles and its applications: I
Li, X. and Wu, L., The fibred rotation number for ergodic symplectic cocycles and its applications: I. Gap Labelling Theorem,Math. Z.311(2025), Art. 53
work page 2025
- [60]
- [61]
-
[62]
Long, Y.,Index Theory for Symplectic Paths with Applications, vol. 207, Birkhäuser, Basel, 2012
work page 2012
-
[63]
Milnor, J. W. and Stasheff, J. D.,Characteristic Classes, Annals of Mathematics Studies, No. 76, Princeton University Press, Princeton, 1974
work page 1974
-
[64]
Moser, J. and Pöschel, J., An extension of a result by Dinaburg and Sinai on quasiperiodic poten- tials,Comment. Math. Helv.59(1984), 39–85
work page 1984
-
[65]
Osadchy, D. and Avron, J. E., Hofstadter butterfly as quantum phase diagram,J. Math. Phys.42 (2001), 5665–5671
work page 2001
-
[66]
Peierls, R., Zur Theorie des Diamagnetismus von Leitungselektronen,Z. Phys.80(1933), 763–791
work page 1933
-
[67]
Puig, J., Cantor spectrum for the almost Mathieu operator,Comm. Math. Phys.244(2004), 297–309
work page 2004
-
[68]
Puig, J., A nonperturbative Eliasson’s reducibility theorem,Nonlinearity19(2006), 355–376
work page 2006
-
[69]
Status Solidi B65(1974), 131–135
Rauh, A., Degeneracy of Landau levels in crystals,Phys. Status Solidi B65(1974), 131–135
work page 1974
-
[70]
Shabat, B. V.,Introduction to Complex Analysis, Part II: Functions of Several Variables, Transla- tions of Mathematical Monographs, vol. 110, American Mathematical Society, Providence, 1992
work page 1992
-
[71]
Sinai, Ya. G., Anderson localization for one-dimensional difference Schrödinger operator with quasiperiodic potential,J. Stat. Phys.46(1987), 861–909
work page 1987
-
[72]
B.,Principal Bundles: The Classical Case, Springer, Berlin, 2015
Sontz, S. B.,Principal Bundles: The Classical Case, Springer, Berlin, 2015
work page 2015
-
[73]
J., Kohmoto, M., Nightingale, M
Thouless, D. J., Kohmoto, M., Nightingale, M. P., and den Nijs, M., Quantised Hall conductance in a two-dimensional periodic potential,Phys. Rev. Lett.49(1982), 405–408
work page 1982
- [74]
- [75]
-
[76]
Xu, D., Density of positive Lyapunov exponents for symplectic cocycles,J. Eur. Math. Soc.21 (2019), 3143–3190
work page 2019
-
[77]
You, J., Some problems in quasi-periodic Schrödinger operators, preprint. 62 XIANZHE LI, DISHENG XU, AND QI ZHOU Department of Mathematics, University of California, Berkeley, CA 94720, USA Email address:xianzhe@berkeley.edu School of Science, Great Bay University and Great bay institute for adv anced study, Songshan Lake International Innov ation Entrepr...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.