The arithmetic spectral program for the unitary almost Mathieu operator: dry Ten Martini problem, sharp arithmetic spectral transitions, eigenfunction hierarchy, and spectral regularity

The unitary almost Mathieu operator (UAMO) is a quasi-periodic quantum walk arising from a two-dimensional discrete-time walk in a homogeneous magnetic field, representable as an extended CMV matrix with quasi-periodic Verblunsky coefficients. After the establishment of arithmetic (Diophantine) Anderson localization for it, the paper that introduced this localization listed the central open targets of the model: the (dry) Ten Martini problem — Cantor spectrum with all gap-labeling-allowed gaps open for all couplings and irrational frequencies — sharp arithmetic spectral transitions (phase diagrams with sharp thresholds in frequency and phase), a full universal reflective-hierarchical description of the eigenfunctions, and sharp Hölder regularity of the Lyapunov exponent, integrated density of states, and spectral measures. Later work resolved two large pieces: the dry Ten Martini problem for Diophantine frequencies in the non-critical regime (Cedzich–Li 2025) and the localization side of the sharp arithmetic frequency transition at threshold β(ω)<L (Yang 2025). The surviving open core — gap opening at criticality and for Liouville frequencies, the complementary side of the transition, the eigenfunction hierarchy, and spectral regularity — is the subject of this problem.

Background

The almost Mathieu operator (AMO), $(H_{\lambda,\omega,\theta}\psi)(n)=\psi(n+1)+\psi(n-1)+2\lambda\cos(2\pi(\theta+n\omega))\psi(n)$ with irrational frequency $\omega$, coupling $\lambda>0$, and phase $\theta\in\mathbb{T}=\mathbb{R}/\mathbb{Z}$, is the canonical one-dimensional quasi-periodic Schrödinger operator, modeling an electron on a lattice in a magnetic field. Its spectral theory was completed over several decades and constitutes the template this problem transplants to a unitary setting. The landmark AMO results are: the Ten Martini problem (the spectrum is a Cantor set for all irrational frequencies and all couplings; solved by Avila–Jitomirskaya 2009); the dry Ten Martini problem (every gap permitted by the gap labeling theorem is actually open, i.e. not collapsed; solved away from the self-dual coupling $\lambda=1$, with the critical Diophantine case still open — Avila–You–Zhou 2023 completed the non-critical case); sharp arithmetic spectral transitions (Avila–You–Zhou 2017 and Jitomirskaya–Liu 2018: in the positive-Lyapunov regime, localization holds precisely when the frequency exponent $\beta(\omega)$, which measures the quality of rational approximations to $\omega$ via its continued-fraction denominators $q_n$ through $\beta(\omega)=\limsup_n\ln q_{n+1}/q_n$, is smaller than the Lyapunov exponent, while above that threshold the spectrum is purely singular continuous); the universal reflective-hierarchical structure of quasi-periodic eigenfunctions (Jitomirskaya–Liu); and sharp Hölder continuity of the Lyapunov exponent, the integrated density of states (IDS — the normalized eigenvalue counting function, whose plateaus label the gaps), and the spectral measures. Here the Lyapunov exponent is the exponential growth rate of the transfer-matrix cocycle along the irrational rotation $n\mapsto\theta+n\omega$, and a frequency is Diophantine if $\|n\omega\|_{\mathbb{T}}\ge\kappa/|n|^{\tau}$ for all $n\ne0$ (so $\beta(\omega)=0$), and Liouville if it is not (one can have $\beta(\omega)>0$).

The unitary analogue is the unitary almost Mathieu operator (UAMO) $W_{\lambda_1,\lambda_2,\omega,\theta}=S_{\lambda_1}Q_{\lambda_2,\omega,\theta}$, introduced by Cedzich–Fillman–Ong. It is a discrete-time quantum walk on $\ell^2(\mathbb{Z})\otimes\mathbb{C}^2$: the conditional shift $S_{\lambda_1}$ sends the two internal states (chiralities) $\varepsilon_n^{\pm}$ to $\lambda_1\varepsilon_{n\pm1}^{\pm}\pm\lambda_1'\varepsilon_n^{\mp}$ with $\lambda_1'=\sqrt{1-\lambda_1^2}$, while the quasi-periodic coin $Q$ acts at site $n$ by a $2\times2$ unitary built from $\lambda_2$, $\lambda_2'=\sqrt{1-\lambda_2^2}$ and $\cos,\sin(2\pi(\theta+n\omega))$. The model comes from a two-dimensional quantum walk in a homogeneous magnetic field, with $\omega$ the magnetic flux and $\theta$ a quasi-momentum. Identifying $\varepsilon_n^{+}\mapsto\varepsilon_{2n}$, $\varepsilon_n^{-}\mapsto\varepsilon_{2n+1}$ turns $W$ into an extended CMV matrix — the five-diagonal unitary matrices arising in the theory of orthogonal polynomials on the unit circle — with Verblunsky coefficients $\alpha_{2n}=\lambda_1'$ and $\alpha_{2n+1}=\lambda_2\sin(2\pi(\theta+n\omega))$; its spectrum lies on the unit circle and, by minimality of the rotation, is independent of $\theta$.

Cedzich–Fillman–Ong established the unitary counterpart of the classical framework: a unitary Aubry–André duality exchanging $W_{\lambda_1,\lambda_2}$ and $W_{\lambda_2,\lambda_1}$ (so their spectra coincide), the exact Lyapunov exponent $L=\ln\frac{\lambda_2(1+\lambda_1')}{\lambda_1(1+\lambda_2')}$ on the spectrum (via Avila's global theory of one-frequency analytic cocycles, applied to the associated Szegő cocycle — the transfer-matrix cocycle governing CMV eigenvalue equations), and the phase diagram in the couplings: subcritical ($\lambda_1>\lambda_2$, purely absolutely continuous spectrum for a.e. data), critical ($\lambda_1=\lambda_2$, purely singular continuous; that the critical spectrum is a Cantor set of zero Lebesgue measure for every irrational $\omega$ was proved by Cedzich–Fillman–Geib–Werner), and supercritical ($\lambda_1<\lambda_2$, pure point for a.e. data). Fan Yang then proved arithmetic Anderson localization — pure point spectrum with exponentially decaying eigenfunctions — for every Diophantine $\omega$ and every non-resonant $\theta$ (an explicit full-measure arithmetic condition, defined precisely in the Problem Statement), together with sharp single-eigenfunction asymptotics, and observed that this machinery makes the full AMO-style program accessible for the UAMO: the (dry) Ten Martini problem, sharp arithmetic spectral transitions, the eigenfunction hierarchy, and sharp regularity of the Lyapunov exponent, IDS, and spectral measures.

Problem Statement

Complete the arithmetic spectral theory of the unitary almost Mathieu operator $W_{\lambda_1,\lambda_2,\omega,\theta}=S_{\lambda_1}Q_{\lambda_2,\omega,\theta}$ (the extended-CMV quantum-walk operator with Verblunsky coefficients $\alpha_{2n}=\lambda_1'$, $\alpha_{2n+1}=\lambda_2\sin(2\pi(\theta+n\omega))$, $\lambda_j'=\sqrt{1-\lambda_j^2}$), by proving its analogues of the landmark almost-Mathieu results. The four linked deliverables, which share one objective — the unitary/CMV counterpart of the AMO package, built on unitary Aubry–André duality and the now-available arithmetic localization of the Szegő cocycle — are:

(1) Dry Ten Martini problem: for every irrational frequency $\omega$ and all couplings $0<\lambda_1,\lambda_2\le1$ — the degenerate loci are excluded, since at $\lambda_2=0$ the Verblunsky coefficients $\alpha_{2n}=\lambda_1'$, $\alpha_{2n+1}\equiv0$ are constant and at $\lambda_1=0$ the operator $W$ decomposes into on-site $2\times2$ blocks — the spectrum $\Sigma_{\lambda_1,\lambda_2,\omega}$ is a Cantor set in which every gap allowed by the gap labeling theorem is open. The non-critical case ($\lambda_1\ne\lambda_2$) with Diophantine $\omega$ is already resolved; the surviving open cases are the critical regime $0<\lambda_1=\lambda_2\le1$ (all irrational $\omega$) and the non-critical regime $0<\lambda_1\ne\lambda_2\le1$ with Liouville $\omega$.

(2) Sharp arithmetic spectral transition: in the supercritical regime $0\le\lambda_1<\lambda_2\le1$ with Lyapunov exponent $L=\ln\frac{\lambda_2(1+\lambda_1')}{\lambda_1(1+\lambda_2')}>0$ and frequency exponent $\beta(\omega)=\limsup_n\ln q_{n+1}/q_n$, complete the transition whose localization side ($\beta(\omega)<L$, non-resonant $\theta$) is known. Throughout this statement, a phase $\theta$ is called non-resonant (for $\omega$) if $\tilde\gamma(\omega,\theta)=\limsup_{n\to\infty}\frac{-\ln\|2\theta-\tfrac12+n\omega\|_{\mathbb{T}}}{|n|}=0$, and resonant otherwise (the convention of arXiv:2512.24616, eq. (1.6)). Two distinct open questions remain:

(2a) Frequency side, $\beta(\omega)>L$: determine the spectral type in this regime (in particular whether Anderson localization is absent). By analogy with the AMO, where Avila–You–Zhou (Theorem 1.1(2)) prove purely singular continuous spectrum for every $\theta$ when $1\le\lambda<e^{\beta(\omega)}$, purely singular continuous spectrum for all phases $\theta$ is expected; this is an analogy only, and no UAMO source states this side as a formal conjecture. At the endpoint $\lambda_1=0$ the displayed formula gives $L=+\infty$, so the regime $\beta(\omega)>L$ is empty there.

(2b) Phase side: determine the spectral type at resonant phases in the regime $\beta(\omega)<L$, where non-resonant phases are known to be localized — singular continuous spectrum is expected there, by the Jitomirskaya–Liu sharp phase transition for the Diophantine AMO — and at the threshold $\beta(\omega)=L$, which remains open even for the AMO.

(3) Eigenfunction hierarchy: establish the full universal reflective-hierarchical structure of the quasi-periodic eigenfunctions — the multi-scale hierarchy of localization centers and anti-resonance organization — in the sense of the reflective-hierarchical structure theorem of [8] (Jitomirskaya–Liu) for the almost Mathieu operator, adapted to the extended-CMV/Szegő setting, going beyond the single-eigenfunction sharp asymptotics already proved.

(4) Spectral regularity: prove sharp Hölder continuity (and optimal regularity) of the Lyapunov exponent, the integrated density of states, and the spectral measures, as functions of the spectral parameter on the unit circle, in this unitary/CMV quasi-periodic setting.

The four deliverables (1)–(4) are independent open targets, none a prerequisite for another, and a complete solution of any one of them resolves the task. Acceptance operates at the granularity of the individually labelled open cases: a complete solution of either surviving regime in (1), or of (2a), or of (2b), or of (3), or of (4), each independently resolves the task.

References

1. Fan Yang, Localization for magnetic quantum walks, arXiv:2201.05779 (2022); published as Anderson localization for the unitary almost Mathieu operator, Nonlinearity 37(8), 085010 (2024), DOI 10.1088/1361-6544/ad56ec, https://arxiv.org/abs/2201.05779
2. Christopher Cedzich, Jake Fillman, Darren C. Ong, Almost Everything About the Unitary Almost Mathieu Operator, Communications in Mathematical Physics 403, 745–794 (2023), DOI 10.1007/s00220-023-04808-4, arXiv:2112.03216, https://arxiv.org/abs/2112.03216
3. Christopher Cedzich, Long Li, Twenty dry Martinis for the Unitary Almost Mathieu Operator, Ergodic Theory and Dynamical Systems 46(4), 903–920 (2025), DOI 10.1017/etds.2025.10259, arXiv:2503.06710, https://arxiv.org/abs/2503.06710
4. Fan Yang, Arithmetic spectral transition for the unitary almost Mathieu operator, arXiv:2512.24616 (2025), DOI 10.48550/arXiv.2512.24616, https://arxiv.org/abs/2512.24616
5. C. Cedzich, J. Fillman, T. Geib, A. H. Werner, Singular continuous Cantor spectrum for magnetic quantum walks, Letters in Mathematical Physics 110, 1141–1158 (2020), DOI 10.1007/s11005-020-01257-1, arXiv:1908.09924, https://arxiv.org/abs/1908.09924
6. Artur Avila, Svetlana Jitomirskaya, The Ten Martini Problem, Annals of Mathematics (2) 170, 303–342 (2009), DOI 10.4007/annals.2009.170.303, arXiv:math/0503363, https://arxiv.org/abs/math/0503363
7. Artur Avila, Jiangong You, Qi Zhou, Sharp phase transitions for the almost Mathieu operator, Duke Mathematical Journal 166(14), 2697–2718 (2017), DOI 10.1215/00127094-2017-0013, arXiv:1512.03124, https://arxiv.org/abs/1512.03124
8. Svetlana Jitomirskaya, Wencai Liu, Universal reflective-hierarchical structure of quasiperiodic eigenfunctions and sharp spectral transition in phase, Journal of the European Mathematical Society 26(8), 2797–2836 (2023), DOI 10.4171/jems/1325, arXiv:1802.00781, https://arxiv.org/abs/1802.00781
9. Artur Avila, Jiangong You, Qi Zhou, Dry Ten Martini Problem in the non-critical case, arXiv:2306.16254 (2023), DOI 10.48550/arXiv.2306.16254, https://arxiv.org/abs/2306.16254