Showing 1–49 of 49 results for author: Jitomirskaya, S

Lower bounds on concentration through Borel transforms and quantitative singularity of spectral measures near the arithmetic transition

Authors: Svetlana Jitomirskaya, Wencai Liu, Serguei Tcheremchantsev

Abstract: We develop tools to study arithmetically induced singular continuous spectrum in the neighborhood of the arithmetic transition in the hyperbolic regime. This leads to first transition-capturing upper bounds on packing and multifractal dimensions of spectral measures. We achieve it through the proof of partial localization of generalized eigenfunctions, another first result of its kind in the singu… ▽ More We develop tools to study arithmetically induced singular continuous spectrum in the neighborhood of the arithmetic transition in the hyperbolic regime. This leads to first transition-capturing upper bounds on packing and multifractal dimensions of spectral measures. We achieve it through the proof of partial localization of generalized eigenfunctions, another first result of its kind in the singular continuous regime. The proof is based also on a general criterion for lower bounds on concentrations of Borel measures as a corollary of boundary behavior of their Borel-type transforms, that may be of wider use and independent interest. △ Less

Submitted 21 January, 2025; originally announced January 2025.

Sharp palindromic criterion for semi-uniform dynamical localization

Authors: Svetlana Jitomirskaya, Wencai Liu, Lufang Mi

Abstract: We develop a sharp palindromic argument for general 1D operators, that proves absence of semi-uniform localization in the regime of exponential symmetry-based resonances. This provides the first examples of operators with dynamical localization but no SULE/SUDL, as well as with nearly uniform distribution of centers of localization in absence of SULE. For the almost Mathieu operators, this also le… ▽ More We develop a sharp palindromic argument for general 1D operators, that proves absence of semi-uniform localization in the regime of exponential symmetry-based resonances. This provides the first examples of operators with dynamical localization but no SULE/SUDL, as well as with nearly uniform distribution of centers of localization in absence of SULE. For the almost Mathieu operators, this also leads to a sharp arithmetic criterion for semi-uniformity of dynamical localization in the Diophantine case. △ Less

Submitted 28 October, 2024; originally announced October 2024.

Sharp arithmetic delocalization for quasiperiodic operators with potentials of semi-bounded variation

Authors: Svetlana Jitomirskaya, Ilya Kachkovskiy

Abstract: We obtain the sharp arithmetic Gordon's theorem: that is, absence of eigenvalues on the set of energies with Lyapunov exponent bounded by the exponential rate of approximation of frequency by the rationals, for a large class of one-dimensional quasiperiodic Schrödinger operators, with no (modulus of) continuity required. The class includes all unbounded monotone potentials with finite Lyapunov exp… ▽ More We obtain the sharp arithmetic Gordon's theorem: that is, absence of eigenvalues on the set of energies with Lyapunov exponent bounded by the exponential rate of approximation of frequency by the rationals, for a large class of one-dimensional quasiperiodic Schrödinger operators, with no (modulus of) continuity required. The class includes all unbounded monotone potentials with finite Lyapunov exponents and all potentials of bounded variation. The main tool is a new uniform upper bound on iterates of cocycles of bounded variation. △ Less

Submitted 29 August, 2024; originally announced August 2024.

Hidden subcriticality, symplectic structure, and universality of sharp arithmetic spectral results for type I operators

Authors: Lingrui Ge, Svetlana Jitomirskaya

Abstract: We exploit the structure of dual cocycles to develop several new concepts and tools for the study of one-frequency quasiperiodic operators with analytic potentials. As applications we solve two long-standing arithmetic conjectures: universality of sharp phase transition in frequency and absolute continuity of the integrated density of states for all frequencies for the entire class of (non-critica… ▽ More We exploit the structure of dual cocycles to develop several new concepts and tools for the study of one-frequency quasiperiodic operators with analytic potentials. As applications we solve two long-standing arithmetic conjectures: universality of sharp phase transition in frequency and absolute continuity of the integrated density of states for all frequencies for the entire class of (non-critical) type I operators, a large open set including the analytic neighborhood of several popular explicit models. Additionally, we prove the universality of $1/2$-Hölder continuity of the integrated density of states for all type I operators with Diophantine frequencies, partially solving You's conjecture \cite{You}. A key dynamical finding: the special symplectic structure of the center of the dual cocycle that, remarkably, holds also in the limit where the cocycle does not even exist, allows, among other things, to pass for the first time from trigonometric polynomials to general analytic potentials, in the duality-based arguments. It is also applicable in other outstanding problems where the results so far have only been obtained for the trigonometric polynomial case. The hidden subcriticality uncovered by this structure allows to define the rotation numbers for these complex-symplectic cocycles and reveals the dynamical nature of the special place of even potentials. △ Less

Submitted 11 July, 2024; originally announced July 2024.

Comments: 46 pages

Sharp arithmetic localization for quasiperiodic operators with monotone potentials

Authors: Svetlana Jitomirskaya, Ilya Kachkovskiy

Abstract: We prove the universality of sharp arithmetic localization for all one-dimensional quasiperiodic Schrödinger operators with anti-Lipschitz monotone potentials. We prove the universality of sharp arithmetic localization for all one-dimensional quasiperiodic Schrödinger operators with anti-Lipschitz monotone potentials. △ Less

Submitted 30 June, 2024; originally announced July 2024.

Comments: 36 pages, 1 figure

Kotani theory, Puig's argument, and stability of The Ten Martini Problem

Authors: Lingrui Ge, Svetlana Jitomirskaya, Jiangong You

Abstract: We solve the ten martini problem (Cantor spectrum with no condition on irrational frequencies, previously only established for the almost Mathieu) for a large class of one-frequency quasiperiodic operators, including nonperturbative analytic neighborhoods of several popular explicit families. The proof is based on the structural analysis of dual cocycles as introduced in [35]. As a part of the pro… ▽ More We solve the ten martini problem (Cantor spectrum with no condition on irrational frequencies, previously only established for the almost Mathieu) for a large class of one-frequency quasiperiodic operators, including nonperturbative analytic neighborhoods of several popular explicit families. The proof is based on the structural analysis of dual cocycles as introduced in [35]. As a part of the proof, we develop several general ingredients of independent interest: Kotani theory, for a class of finite-range operators over general minimal underlying dynamics, making the first step towards and providing a partial solution of the Kotani-Simon problem, simplicity of point spectrum for the same class, and the all-frequency version of Puig's argument. △ Less

Submitted 18 August, 2023; originally announced August 2023.

Comments: 59 pages

Multiplicative Jensen's formula and quantitative global theory of one-frequency Schrödinger operators

Authors: Lingrui Ge, Svetlana Jitomirskaya, Jiangong You, Qi Zhou

Abstract: We introduce the concept of dual Lyapunov exponents, leading to a multiplicative version of the classical Jensen's formula for one-frequency analytic Schrödinger cocycles. This formula, in particular, gives a new proof and a quantitative version of the fundamentals of Avila's global theory \cite{avila}, fully explaining the behavior of complexified Lyapunov exponent through the dynamics of the dua… ▽ More We introduce the concept of dual Lyapunov exponents, leading to a multiplicative version of the classical Jensen's formula for one-frequency analytic Schrödinger cocycles. This formula, in particular, gives a new proof and a quantitative version of the fundamentals of Avila's global theory \cite{avila}, fully explaining the behavior of complexified Lyapunov exponent through the dynamics of the dual cocycle. In particular, concepts of (sub/super) critical regimes and acceleration are all explained (in a quantitative way) through the duality approach. This leads to a number of powerful spectral and physics applications △ Less

Submitted 18 August, 2023; v1 submitted 28 June, 2023; originally announced June 2023.

Comments: 45 pages, introduction updated

Anti-resonances and sharp analysis of Maryland localization for all parameters

Authors: Rui Han, Svetlana Jitomirskaya, Fan Yang

Abstract: We develop the technique to prove localization through the analysis of eigenfunctions in presence of both exponential frequency resonances and exponential phase barriers (anti-resonances) and use it to prove localization for the Maryland model for all parameters. We develop the technique to prove localization through the analysis of eigenfunctions in presence of both exponential frequency resonances and exponential phase barriers (anti-resonances) and use it to prove localization for the Maryland model for all parameters. △ Less

Submitted 9 May, 2022; originally announced May 2022.

Comments: 45 pages. Comments welcome!

Stability of the non-critical spectral properties I: arithmetic absolute continuity of the integrated density of states

Authors: Lingrui Ge, Svetlana Jitomirskaya, Xin Zhao

Abstract: We prove absolute continuity of the integrated density of states for frequency-independent analytic perturbations of the non-critical almost Mathieu operator under arithmetic conditions on frequency. We prove absolute continuity of the integrated density of states for frequency-independent analytic perturbations of the non-critical almost Mathieu operator under arithmetic conditions on frequency. △ Less

Submitted 23 April, 2022; originally announced April 2022.

Comments: 17 pages

Logarithmic quantum dynamical bounds for arithmetically defined ergodic Schrödinger operators with smooth potentials

Authors: Svetlana Jitomirskaya, Matthew Powell

Abstract: We present a method for obtaining power-logarithmic bounds on the growth of the moments of the position operator for one-dimensional ergodic Schrödinger operators. We use Bourgain's semi-algebraic method to obtain such bounds for operators with multifrequency shift or skew shift underlying dynamics with arithmetic conditions on the parameters. We present a method for obtaining power-logarithmic bounds on the growth of the moments of the position operator for one-dimensional ergodic Schrödinger operators. We use Bourgain's semi-algebraic method to obtain such bounds for operators with multifrequency shift or skew shift underlying dynamics with arithmetic conditions on the parameters. △ Less

Submitted 22 October, 2021; originally announced October 2021.

Comments: 26 pages

Upper bounds on transport exponents for long range operators

Authors: Svetlana Jitomirskaya, Wencai Liu

Abstract: We present a simple method, not based on the transfer matrices, to prove vanishing of dynamical transport exponents. The method is applied to long range quasiperiodic operators. We present a simple method, not based on the transfer matrices, to prove vanishing of dynamical transport exponents. The method is applied to long range quasiperiodic operators. △ Less

Submitted 4 May, 2021; v1 submitted 27 April, 2021; originally announced April 2021.

Growth of the Wang-Casati-Prosen counter in an integrable billiard

Authors: Zaijong Hwang, Christoph A. Marx, Joseph Seaward, Svetlana Jitomirskaya, Maxim Olshanii

Abstract: This work is motivated by an article by Wang, Casati, and Prosen [Phys. Rev. E vol. 89, 042918 (2014)] devoted to a study of ergodicity in two-dimensional irrational right-triangular billiards. Numerical results presented there suggest that these billiards are generally not ergodic. However, they become ergodic when the billiard angle is equal to $π/2$ times a Liouvillian irrational, a Liouvillian… ▽ More This work is motivated by an article by Wang, Casati, and Prosen [Phys. Rev. E vol. 89, 042918 (2014)] devoted to a study of ergodicity in two-dimensional irrational right-triangular billiards. Numerical results presented there suggest that these billiards are generally not ergodic. However, they become ergodic when the billiard angle is equal to $π/2$ times a Liouvillian irrational, a Liouvillian irrational, a class of irrational numbers which are well approximated by rationals. In particular, Wang et al. study a special integer counter that reflects the irrational contribution to the velocity orientation; they conjecture that this counter is localized in the generic case, but grows in the Liouvillian case. We propose a generalization of the Wang-Casati-Prosen counter: this generalization allows to include rational billiards into consideration. We show that in the case of a $45^{\circ} \!\! : \! 45^{\circ} \!\! : \! 90^{\circ}$ billiard, the counter grows indefinitely, consistent with the Liouvillian scenario suggested by Wang et al. △ Less

Submitted 27 June, 2022; v1 submitted 18 November, 2020; originally announced November 2020.

Comments: 16 pages, 4 figures. Submission to SciPost

Journal ref: SciPost Phys. 14, 017 (2023)

Honeycomb structures in magnetic fields

Authors: Simon Becker, Rui Han, Svetlana Jitomirskaya, Maciej Zworski

Abstract: We consider reduced-dimensionality models of honeycomb lattices in magnetic fields and report results about the spectrum, the density of states, self-similarity, and metal/insulator transitions under disorder. We perform a spectral analysis by which we discover a fractal Cantor spectrum for irrational magnetic flux through a honeycomb, prove the existence of zero energy Dirac cones for each ration… ▽ More We consider reduced-dimensionality models of honeycomb lattices in magnetic fields and report results about the spectrum, the density of states, self-similarity, and metal/insulator transitions under disorder. We perform a spectral analysis by which we discover a fractal Cantor spectrum for irrational magnetic flux through a honeycomb, prove the existence of zero energy Dirac cones for each rational flux, obtain an explicit expansion of the density of states near the conical points, and show the existence of mobility edges under Anderson-type disorder. Our results give a precise description of de Haas-van Alphen and Quantum Hall effects, and provide quantitative estimates on transport properties. In particular, our findings explain experimentally observed asymmetry phenomena by going beyond the perfect cone approximation. △ Less

Submitted 14 August, 2020; originally announced August 2020.

On the spectrum of critical almost Mathieu operators in the rational case

Authors: Svetlana Jitomirskaya, Lyuben Konstantinov, Igor Krasovsky

Abstract: We derive a new Chambers-type formula and prove sharper upper bounds on the measure of the spectrum of critical almost Mathieu operators with rational frequencies. We derive a new Chambers-type formula and prove sharper upper bounds on the measure of the spectrum of critical almost Mathieu operators with rational frequencies. △ Less

Submitted 2 July, 2020; originally announced July 2020.

Comments: 9 pages

Pure point spectrum for the Maryland model: a constructive proof

Authors: Svetlana Jitomirskaya, Fan Yang

Abstract: We develop a constructive method to prove and study pure point spectrum for the Maryland model with Diophantine frequencies. We develop a constructive method to prove and study pure point spectrum for the Maryland model with Diophantine frequencies. △ Less

Submitted 26 September, 2019; originally announced September 2019.

Journal ref: Ergodic Theory and Dynamical Systems, published online 2019

Critical almost Mathieu operator: hidden singularity, gap continuity, and the Hausdorff dimension of the spectrum

Authors: Svetlana Jitomirskaya, Igor Krasovsky

Abstract: We prove almost Lipshitz continuity of spectra of singular quasiperiodic Jacobi matrices and obtain a representation of the critical almost Mathieu family that has a singularity. This allows us to prove that the Hausdorff dimension of its spectrum is not larger than 1/2 for all irrational frequencies, solving a long-standing problem. Other corollaries include two very elementary proofs of zero mea… ▽ More We prove almost Lipshitz continuity of spectra of singular quasiperiodic Jacobi matrices and obtain a representation of the critical almost Mathieu family that has a singularity. This allows us to prove that the Hausdorff dimension of its spectrum is not larger than 1/2 for all irrational frequencies, solving a long-standing problem. Other corollaries include two very elementary proofs of zero measure of the spectrum (Problem 5 in [41]) and a similar Hausdorff dimension result for the quantum graph graphene. △ Less

Submitted 10 September, 2019; originally announced September 2019.

Comments: 20 pages

Noncompact complete Riemannian manifolds with singular continuous spectrum embedded into the essential spectrum of the Laplacian, I. The hyperbolic case

Authors: Svetlana Jitomirskaya, Wencai Liu

Abstract: We construct Riemannian manifolds with singular continuous spectrum embedded in the absolutely continuous spectrum of the Laplacian. Our manifolds are asymptotically hyperbolic with sharp curvature bounds. We construct Riemannian manifolds with singular continuous spectrum embedded in the absolutely continuous spectrum of the Laplacian. Our manifolds are asymptotically hyperbolic with sharp curvature bounds. △ Less

Submitted 10 August, 2019; originally announced August 2019.

Journal ref: Trans. Amer. Math. Soc. 373 (2020), no. 8

Anderson localization for multi-frequency quasi-periodic operators on $\mathbb{Z}^d$

Authors: Svetlana Jitomirskaya, Wencai Liu, Yunfeng Shi

Abstract: We establish Anderson localization for general analytic $k$-frequency quasi-periodic operators on $\mathbb{Z}^d$ for \textit{arbitrary} $k,d$. We establish Anderson localization for general analytic $k$-frequency quasi-periodic operators on $\mathbb{Z}^d$ for \textit{arbitrary} $k,d$. △ Less

Submitted 10 August, 2019; originally announced August 2019.

Journal ref: Geom. Funct. Anal. 30 (2020), no. 2

Exact dynamical decay rate for the almost Mathieu operator

Authors: Svetlana Jitomirskaya, Helge Krüger, Wencai Liu

Abstract: We prove that the exponential decay rate in expectation is well defined and is equal to the Lyapunov exponent, for supercritical almost Mathieu operators with Diophantine frequencies. We prove that the exponential decay rate in expectation is well defined and is equal to the Lyapunov exponent, for supercritical almost Mathieu operators with Diophantine frequencies. △ Less

Submitted 6 December, 2018; originally announced December 2018.

Journal ref: Math. Res. Lett. 27 (2020), no. 3

Noncompact complete Riemannian manifolds with dense eigenvalues embedded in the essential spectrum of the Laplacian

Authors: Svetlana Jitomirskaya, Wencai Liu

Abstract: We prove sharp criteria on the behavior of radial curvature for the existence of asymptotically flat or hyperbolic Riemannian manifolds with prescribed sets of eigenvalues embedded in the spectrum of the Laplacian. In particular, we construct such manifolds with dense embedded point spectrum and sharp curvature bounds. We prove sharp criteria on the behavior of radial curvature for the existence of asymptotically flat or hyperbolic Riemannian manifolds with prescribed sets of eigenvalues embedded in the spectrum of the Laplacian. In particular, we construct such manifolds with dense embedded point spectrum and sharp curvature bounds. △ Less

Submitted 28 December, 2018; v1 submitted 2 May, 2018; originally announced May 2018.

Comments: References updated, GAFA to appear

Journal ref: Geom. Funct. Anal. 2019

Large deviations of the Lyapunov exponent and localization for the 1D Anderson model

Authors: Svetlana Jitomirskaya, Xiaowen Zhu

Abstract: The proof of Anderson localization for the 1D Anderson model with arbitrary (e.g. Bernoulli) disorder, originally given by Carmona-Klein-Martinelli in 1987, is based in part on the multi-scale analysis. Later, in the 90s, it was realized that for one-dimensional models with positive Lyapunov exponents some parts of multi-scale analysis can be replaced by considerations involving subharmonicity and… ▽ More The proof of Anderson localization for the 1D Anderson model with arbitrary (e.g. Bernoulli) disorder, originally given by Carmona-Klein-Martinelli in 1987, is based in part on the multi-scale analysis. Later, in the 90s, it was realized that for one-dimensional models with positive Lyapunov exponents some parts of multi-scale analysis can be replaced by considerations involving subharmonicity and large deviation estimates for the corresponding cocycle, leading to nonperturbative proofs for 1D quasiperiodic models. In this paper we present a short proof along these lines, for the Anderson model. To prove dynamical localization we also develop a uniform version of Craig-Simon's bound that works in high generality and may be of independent interest. △ Less

Submitted 28 March, 2018; originally announced March 2018.

Comments: 13 pages

Cantor spectrum of graphene in magnetic fields

Authors: Simon Becker, Rui Han, Svetlana Jitomirskaya

Abstract: We consider a quantum graph as a model of graphene in magnetic fields and give a complete analysis of the spectrum, for all constant fluxes. In particular, we show that if the reduced magnetic flux $Φ/2π$ through a honeycomb is irrational, the continuous spectrum is an unbounded Cantor set of Lebesgue measure zero. We consider a quantum graph as a model of graphene in magnetic fields and give a complete analysis of the spectrum, for all constant fluxes. In particular, we show that if the reduced magnetic flux $Φ/2π$ through a honeycomb is irrational, the continuous spectrum is an unbounded Cantor set of Lebesgue measure zero. △ Less

Submitted 2 March, 2018; originally announced March 2018.

Comments: 55 pages, 8 figures

Universal reflective-hierarchical structure of quasiperiodic eigenfunctions and sharp spectral transition in phase

Authors: Svetlana Jitomirskaya, Wencai Liu

Abstract: We prove sharp spectral transition in the arithmetics of phase between localization and singular continuous spectrum for Diophantine almost Mathieu operators. We also determine exact exponential asymptotics of eigenfunctions and of corresponding transfer matrices throughout the localization region. This uncovers a universal structure in their behavior governed by the exponential phase resonances.… ▽ More We prove sharp spectral transition in the arithmetics of phase between localization and singular continuous spectrum for Diophantine almost Mathieu operators. We also determine exact exponential asymptotics of eigenfunctions and of corresponding transfer matrices throughout the localization region. This uncovers a universal structure in their behavior governed by the exponential phase resonances. The structure features a new type of hierarchy, where self-similarity holds upon alternating reflections. △ Less

Submitted 2 February, 2018; originally announced February 2018.

Discrete Bethe-Sommerfeld Conjecture

Authors: Rui Han, Svetlana Jitomirskaya

Abstract: In this paper, we prove a discrete version of the Bethe-Sommerfeld conjecture. Namely, we show that the spectra of multi-dimensional discrete periodic Schrödinger operators on $\mathbb{Z}^d$ lattice with sufficiently small potentials contain at most two intervals. Moreover, the spectrum is a single interval, provided one of the periods is odd, and can have a gap whenever all periods are even. In this paper, we prove a discrete version of the Bethe-Sommerfeld conjecture. Namely, we show that the spectra of multi-dimensional discrete periodic Schrödinger operators on $\mathbb{Z}^d$ lattice with sufficiently small potentials contain at most two intervals. Moreover, the spectrum is a single interval, provided one of the periods is odd, and can have a gap whenever all periods are even. △ Less

Submitted 11 July, 2017; originally announced July 2017.

Comments: 10 pages

A lower bound on the Lyapunov exponent for the generalized Harper's model

Authors: Svetlana Jitomirskaya, Wencai Liu

Abstract: We obtain a lower bound for the Lyapunov exponent of a family of discrete Schrödinger operators $(Hu)_n=u_{n+1}+u_{n-1}+2a_1\cos2π(θ+nα)u_n+2a_2\cos4π(θ+nα)u_n$, that incorporates both $a_1$ and $a_2,$ thus going beyond the Herman's bound. We obtain a lower bound for the Lyapunov exponent of a family of discrete Schrödinger operators $(Hu)_n=u_{n+1}+u_{n-1}+2a_1\cos2π(θ+nα)u_n+2a_2\cos4π(θ+nα)u_n$, that incorporates both $a_1$ and $a_2,$ thus going beyond the Herman's bound. △ Less

Submitted 30 November, 2016; originally announced November 2016.

Comments: JSP

Journal ref: J. Stat. Phys. 166 (2017), no. 3-4, 609--617

Arithmetic Spectral Transitions for the Maryland Model

Authors: Svetlana Jitomirskaya, Wencai Liu

Abstract: We give a precise description of spectra of the Maryland model $ (h_{λ,α,θ}u)_n=u_{n+1}+u_{n-1}+ λ\tan π(θ+nα)u_n$ for all values of parameters. We introduce an arithmetically defined index $δ(α, θ)$ and show that for $α\notin\mathbb{Q},\,$ $σ_{sc}(h_{λ,α,θ})=\overline{\{e:γ_λ(e) <δ(α, θ) \}}$ and $σ_{pp}(h_{λ,α,θ})=\{e:γ_λ(e) \geq δ(α, θ) \}$. Since $σ_{ac}(h_{λ,α,θ})=\emptyset,\;$ this gives com… ▽ More We give a precise description of spectra of the Maryland model $ (h_{λ,α,θ}u)_n=u_{n+1}+u_{n-1}+ λ\tan π(θ+nα)u_n$ for all values of parameters. We introduce an arithmetically defined index $δ(α, θ)$ and show that for $α\notin\mathbb{Q},\,$ $σ_{sc}(h_{λ,α,θ})=\overline{\{e:γ_λ(e) <δ(α, θ) \}}$ and $σ_{pp}(h_{λ,α,θ})=\{e:γ_λ(e) \geq δ(α, θ) \}$. Since $σ_{ac}(h_{λ,α,θ})=\emptyset,\;$ this gives complete description of the spectral decomposition for {\it all} values of parameters $λ,α,θ$, making it the first case of a family where arithmetic spectral transition is described without any parameter exclusion. The set of eigenvalues can be explicitly identified for all parameters, using the {\it quantization condition}. We also establish, for the first time for this or any other model, a quantization condition for singular continuous spectrum (an arithmetically defined measure zero set that supports singular continuous measures) for all parameters. △ Less

Submitted 30 November, 2016; originally announced November 2016.

Comments: CPAM to appear

Journal ref: Comm. Pure Appl. Math. 70 (2017), no. 6, 1025--1051

Universal hierarchical structure of quasiperiodic eigenfunctions

Authors: Svetlana Jitomirskaya, Wencai Liu

Abstract: We determine exact exponential asymptotics of eigenfunctions and of corresponding transfer matrices of the almost Mathieu operators for all frequencies in the localization regime. This uncovers a universal structure in their behavior, governed by the continued fraction expansion of the frequency, explaining some predictions in physics literature. In addition it proves the arithmetic version of t… ▽ More We determine exact exponential asymptotics of eigenfunctions and of corresponding transfer matrices of the almost Mathieu operators for all frequencies in the localization regime. This uncovers a universal structure in their behavior, governed by the continued fraction expansion of the frequency, explaining some predictions in physics literature. In addition it proves the arithmetic version of the frequency transition conjecture. Finally, it leads to an explicit description of several non-regularity phenomena in the corresponding non-uniformly hyperbolic cocycles, which is also of interest as both the first natural example of some of those phenomena and, more generally, the first non-artificial model where non-regularity can be explicitly studied. △ Less

Submitted 9 December, 2017; v1 submitted 27 September, 2016; originally announced September 2016.

Journal ref: Annals of Math. 187 (2018) no. 3

Second Phase transition line

Authors: Artur Avila, Svetlana Jitomirskaya, Qi Zhou

Abstract: We study the phase transion line of the almost Mathieu operator, that separates arithmetic regions corresponding to singular continuous and a.e. pure point regimes, and prove that both purely singular continuous and a.e. pure point spectrum occur for dense sets of frequencies. We study the phase transion line of the almost Mathieu operator, that separates arithmetic regions corresponding to singular continuous and a.e. pure point regimes, and prove that both purely singular continuous and a.e. pure point spectrum occur for dense sets of frequencies. △ Less

Submitted 5 August, 2016; originally announced August 2016.

Full measure reducibility and localization for Jacobi operators: a topological criterion

Authors: Rui Han, Svetlana Jitomirskaya

Abstract: We establish a topological criterion for connection between reducibility to constant rotations and dual localization, for the general family of analytic quasiperiodic Jacobi operators. As a corollary, we obtain the sharp arithmetic phase transition for the extended Harper's model in the positive Lyapunov exponent region. We establish a topological criterion for connection between reducibility to constant rotations and dual localization, for the general family of analytic quasiperiodic Jacobi operators. As a corollary, we obtain the sharp arithmetic phase transition for the extended Harper's model in the positive Lyapunov exponent region. △ Less

Submitted 3 September, 2017; v1 submitted 2 August, 2016; originally announced August 2016.

Comments: Referee comments incorporated

MSC Class: 47B36

Journal ref: Advances in Mathematics 319C (2017) pp. 224-250

Quantum dynamical bounds for ergodic potentials with underlying dynamics of zero topological entropy

Authors: Rui Han, Svetlana Jitomirskaya

Abstract: In this paper we obtain upper quantum dynamical bounds as a corollary of positive Lyapunov exponent for Schrödinger operators $H_{f,θ} u(n)=u(n+1)+u(n-1)+ φ(f^nθ)u(n)$, where $φ: \mathcal{M}\to {\Bbb R}$ is a piecewise Hölder function on a compact Riemannian manifold $\mathcal{M}$, and $f:\mathcal{M}\to\mathcal{M}$ is a uniquely ergodic volume preserving map with zero topological entropy. As corol… ▽ More In this paper we obtain upper quantum dynamical bounds as a corollary of positive Lyapunov exponent for Schrödinger operators $H_{f,θ} u(n)=u(n+1)+u(n-1)+ φ(f^nθ)u(n)$, where $φ: \mathcal{M}\to {\Bbb R}$ is a piecewise Hölder function on a compact Riemannian manifold $\mathcal{M}$, and $f:\mathcal{M}\to\mathcal{M}$ is a uniquely ergodic volume preserving map with zero topological entropy. As corollaries we obtain localization-type statements for shifts and skew-shifts on higher dimensional tori with arithmetic conditions on the parameters. These are the first localization-type results with precise arithmetic conditions for multi-frequency quasiperiodic and skew-shift potentials. △ Less

Submitted 28 July, 2016; originally announced July 2016.

Comments: 30 pages

MSC Class: 47B36

Journal ref: Analysis & PDE 12 (2019) 867-902

Singular continuous spectrum for singular potential

Authors: Svetlana Jitomirskaya, Fan Yang

Abstract: We prove that Schrödinger operators with meromorphic potentials $(H_{α,θ}u)_n=u_{n+1}+u_{n-1}+ \frac{g(θ+nα)}{f(θ+nα)} u_n$ have purely singular continuous spectrum on the set $\{E: L(E)<δ{(α,θ)}\}$, where $δ$ is an explicit function, and $L$ is the Lyapunov exponent. This extends results of Jitomirskaya and Liu for the Maryland model and of Avila, You and Zhou for the almost Mathieu operator, to… ▽ More We prove that Schrödinger operators with meromorphic potentials $(H_{α,θ}u)_n=u_{n+1}+u_{n-1}+ \frac{g(θ+nα)}{f(θ+nα)} u_n$ have purely singular continuous spectrum on the set $\{E: L(E)<δ{(α,θ)}\}$, where $δ$ is an explicit function, and $L$ is the Lyapunov exponent. This extends results of Jitomirskaya and Liu for the Maryland model and of Avila, You and Zhou for the almost Mathieu operator, to the general family of meromorphic potentials. △ Less

Submitted 17 April, 2016; originally announced April 2016.

Spectral theory of extended Harper's model and a question by Erdős and Szekeres

Authors: A. Avila, S. Jitomirskaya, C. A. Marx

Abstract: The extended Harper's model, proposed by D.J. Thouless in 1983, generalizes the famous almost Mathieu operator, allowing for a wider range of lattice geometries (parametrized by three coupling parameters) by permitting 2D electrons to hop to both nearest and next nearest neighboring (NNN) lattice sites, while still exhibiting its characteristic symmetry (Aubry duality). Previous understanding of t… ▽ More The extended Harper's model, proposed by D.J. Thouless in 1983, generalizes the famous almost Mathieu operator, allowing for a wider range of lattice geometries (parametrized by three coupling parameters) by permitting 2D electrons to hop to both nearest and next nearest neighboring (NNN) lattice sites, while still exhibiting its characteristic symmetry (Aubry duality). Previous understanding of the spectral theory of this model was restricted to two dual regions of the parameter space, one of which is characterized by the positivity of the Lyapunov exponent. In this paper, we complete the picture with a description of the spectral measures over the entire remaining (self-dual) region, for all irrational values of the frequency parameter (the magnetic flux in the model). Most notably, we prove that in the entire interior of this regime, the model exhibits a collapse from purely ac spectrum to purely sc spectrum when the NNN interaction becomes symmetric. In physics literature, extensive numerical analysis had indicated such "spectral collapse," however so far not even a heuristic argument for this phenomenon could be provided. On the other hand, in the remaining part of the self-dual region, the spectral measures are singular continuous irrespective of such symmetry. The analysis requires some rather delicate number theoretic estimates, which ultimately depend on the solution of a problem posed by Erdős and Szekeres. △ Less

Submitted 5 May, 2017; v1 submitted 16 February, 2016; originally announced February 2016.

Comments: to appear in Inventiones mathematicae

All couplings localization for quasiperiodic operators with Lipschitz monotone potentials

Authors: Svetlana Jitomirskaya, Ilya Kachkovskiy

Abstract: We establish Anderson localization for quasiperiodic operator families of the form $$ (H(x)ψ)(m)=ψ(m+1)+ψ(m-1)+λv(x+mα)ψ(m) $$ for all $λ>0$ and all Diophantine $α$, provided that $v$ is a $1$-periodic function satisfying a Lipschitz monotonicity condition on $[0,1)$. The localization is uniform on any energy interval on which Lyapunov exponent is bounded from below. We establish Anderson localization for quasiperiodic operator families of the form $$ (H(x)ψ)(m)=ψ(m+1)+ψ(m-1)+λv(x+mα)ψ(m) $$ for all $λ>0$ and all Diophantine $α$, provided that $v$ is a $1$-periodic function satisfying a Lipschitz monotonicity condition on $[0,1)$. The localization is uniform on any energy interval on which Lyapunov exponent is bounded from below. △ Less

Submitted 7 September, 2015; originally announced September 2015.

Comments: 16 pages

$L^2$-reducibility and localization for quasiperiodic operators

Authors: Svetlana Jitomirskaya, Ilya Kachkovskiy

Abstract: We give a simple argument that if a quasiperiodic multi-frequency Schrödinger cocycle is reducible to a constant rotation for almost all energies with respect to the density of states measure, then the spectrum of the dual operator is purely point for Lebesgue almost all values of the ergodic parameter $θ$. The result holds in the $L^2$ setting provided, in addition, that the conjugation preserves… ▽ More We give a simple argument that if a quasiperiodic multi-frequency Schrödinger cocycle is reducible to a constant rotation for almost all energies with respect to the density of states measure, then the spectrum of the dual operator is purely point for Lebesgue almost all values of the ergodic parameter $θ$. The result holds in the $L^2$ setting provided, in addition, that the conjugation preserves the fibered rotation number. Corollaries include localization for (long-range) 1D analytic potentials with dual ac spectrum and Diophantine frequency as well as a new result on multidimensional localization. △ Less

Submitted 26 May, 2015; originally announced May 2015.

Comments: 9 pages

Dynamics and spectral theory of quasi-periodic Schrödinger-type operators

Authors: S. Jitomirskaya, C. A. Marx

Abstract: Quasi-periodic Schrödinger-type operators naturally arise in solid state physics, describing the influence of an external magnetic field on the electrons of a crystal. In the late 1970s, numerical studies for the most prominent model, the almost Mathieu operator (AMO), produced the first example of a fractal in physics known as "Hofstadter's butterfly," marking the starting point for the ongoing s… ▽ More Quasi-periodic Schrödinger-type operators naturally arise in solid state physics, describing the influence of an external magnetic field on the electrons of a crystal. In the late 1970s, numerical studies for the most prominent model, the almost Mathieu operator (AMO), produced the first example of a fractal in physics known as "Hofstadter's butterfly," marking the starting point for the ongoing strong interest in such operators in both mathematics (several of B. Simon's problems) and physics (e.g. Graphene, quantum Hall effect). Whereas research in the first three decades was focused mainly on unraveling the unusual properties of the AMO and operators with similar structure of potential, in recent years a combination of techniques from dynamical systems with those from spectral theory has allowed for a more "global," model-independent point of view. Intriguing phenomena first encountered for the AMO, notably the appearance of criticality corresponding to purely singular continuous spectrum for a measure theoretically typical realization of the phase, could be tested for prevalence in general models. The intention of this article is to survey the theory of quasi-periodic Schrödinger-type operators attaining this "global" view-point with an emphasis on dynamical aspects of the spectral theory of such operators. △ Less

Submitted 31 January, 2016; v1 submitted 19 March, 2015; originally announced March 2015.

Dynamical bounds for quasiperiodic Schrödinger operators with rough potentials

Authors: Svetlana Jitomirskaya, Rajinder Mavi

Abstract: We establish localization type dynamical bounds as a corollary of positive Lyapunov exponents for general operators with quasiperiodic potentials defined by piecewise Holder functions. We establish localization type dynamical bounds as a corollary of positive Lyapunov exponents for general operators with quasiperiodic potentials defined by piecewise Holder functions. △ Less

Submitted 4 February, 2016; v1 submitted 30 November, 2014; originally announced December 2014.

Comments: 14 pages. To appear in International Mathematics Research Notices. 2016

Journal ref: International Mathematics Research Notices, Vol. 2017, No. 1

Continuity of the measure of the spectrum for quasiperiodic Schrodinger operators with rough potentials

Authors: S. Jitomirskaya, R. Mavi

Abstract: We study discrete quasiperiodic Schrödinger operators on $\ell^2(\zee)$ with potentials defined by $γ$-Hölder functions. We prove a general statement that for $γ>1/2$ and under the condition of positive Lyapunov exponents, measure of the spectrum at irrational frequencies is the limit of measures of spectra of periodic approximants. An important ingredient in our analysis is a general result on un… ▽ More We study discrete quasiperiodic Schrödinger operators on $\ell^2(\zee)$ with potentials defined by $γ$-Hölder functions. We prove a general statement that for $γ>1/2$ and under the condition of positive Lyapunov exponents, measure of the spectrum at irrational frequencies is the limit of measures of spectra of periodic approximants. An important ingredient in our analysis is a general result on uniformity of the upper Lyapunov exponent of strictly ergodic cocycles. △ Less

Submitted 16 August, 2015; v1 submitted 20 August, 2012; originally announced August 2012.

Comments: 15 pages

Journal ref: Communications in Mathematical Physics 325.2 (2014): 585-601

Exponential dynamical localization for the almost Mathieu operator

Authors: Svetlana Jitomirskaya, Helge Krueger

Abstract: We prove that the exponential moments of the position operator stay bounded for the supercritical almost Mathieu operator with Diophantine frequency. We prove that the exponential moments of the position operator stay bounded for the supercritical almost Mathieu operator with Diophantine frequency. △ Less

Submitted 13 August, 2012; originally announced August 2012.

Analytic quasi-periodic Schrödinger operators and rational frequency approximants

Authors: S. Jitomirskaya, C. A. Marx

Abstract: Consider a quasi-periodic Schrödinger operator $H_{α,θ}$ with analytic potential and irrational frequency $α$. Given any rational approximating $α$, let $S_+$ and $S_-$ denote the union, respectively, the intersection of the spectra taken over $θ$. We show that up to sets of zero Lebesgue measure, the absolutely continuous spectrum can be obtained asymptotically from $S_-$ of the periodic operator… ▽ More Consider a quasi-periodic Schrödinger operator $H_{α,θ}$ with analytic potential and irrational frequency $α$. Given any rational approximating $α$, let $S_+$ and $S_-$ denote the union, respectively, the intersection of the spectra taken over $θ$. We show that up to sets of zero Lebesgue measure, the absolutely continuous spectrum can be obtained asymptotically from $S_-$ of the periodic operators associated with the continued fraction expansion of $α$. This proves a conjecture of Y. Last in the analytic case. Similarly, from the asymptotics of $S_+$, one recovers the spectrum of $H_{α,θ}.$ △ Less

Submitted 13 February, 2012; v1 submitted 19 January, 2012; originally announced January 2012.

Continuity of the Lyapunov Exponent for analytic quasi-perodic cocycles with singularities

Authors: S. Jitomirskaya, C. A. Marx

Abstract: We prove that the Lyapunov exponent of quasi-periodic cocyles with singularities behaves continuously over the analytic category. We thereby generalize earlier results, where singularities were either excluded completely or constrained by additional hypotheses. Applications are one-parameter families of analytic Jacobi operators, such as extended Harper's model describing crystals subject to exter… ▽ More We prove that the Lyapunov exponent of quasi-periodic cocyles with singularities behaves continuously over the analytic category. We thereby generalize earlier results, where singularities were either excluded completely or constrained by additional hypotheses. Applications are one-parameter families of analytic Jacobi operators, such as extended Harper's model describing crystals subject to external magnetic fields. △ Less

Submitted 29 June, 2011; originally announced June 2011.

Comments: to appear in the Journal of Fixed Point Theory and Applications (JFPTA), 2011

Journal ref: J. Fixed Point Theory Appl. 10 (2011), 129-146

Analytic quasi-perodic cocycles with singularities and the Lyapunov Exponent of Extended Harper's Model

Authors: S. Jitomirskaya, C. A. Marx

Abstract: We show how to extend (and with what limitations) Avila's global theory of analytic SL(2,C) cocycles to families of cocycles with singularities. This allows us to develop a strategy to determine the Lyapunov exponent for extended Harper's model, for all values of parameters and all irrational frequencies. In particular, this includes the self-dual regime for which even heuristic results did not pr… ▽ More We show how to extend (and with what limitations) Avila's global theory of analytic SL(2,C) cocycles to families of cocycles with singularities. This allows us to develop a strategy to determine the Lyapunov exponent for extended Harper's model, for all values of parameters and all irrational frequencies. In particular, this includes the self-dual regime for which even heuristic results did not previously exist in physics literature. The extension of Avila's global theory is also shown to imply continuous behavior of the LE on the space of analytic $M_2(\mathbb{C})$-cocycles. This includes rational approximation of the frequency, which so far has not been available. △ Less

Submitted 15 September, 2011; v1 submitted 4 October, 2010; originally announced October 2010.

Almost localization and almost reducibility

Authors: Artur Avila, Svetlana Jitomirskaya

Abstract: We develop a quantitative version of Aubry duality and use it to obtain several sharp estimates for the dynamics of Schrödinger cocycles associated to a non-perturbatively small analytic potential and Diophantine frequency. In particular, we establish the full version of Eliasson's reducibility theory in this regime (our approach actually leads to improvements even in the perturbative regime: we… ▽ More We develop a quantitative version of Aubry duality and use it to obtain several sharp estimates for the dynamics of Schrödinger cocycles associated to a non-perturbatively small analytic potential and Diophantine frequency. In particular, we establish the full version of Eliasson's reducibility theory in this regime (our approach actually leads to improvements even in the perturbative regime: we are able to show, for all energies, ``almost reducibility'' in some band of analyticity). We also prove 1/2-Hölder continuity of the integrated density of states. For the almost Mathieu operator, our results hold through the entire regime of sub-critical coupling and imply also the dry version of the Ten Martini Problem for the concerned parameters. △ Less

Submitted 12 May, 2008; originally announced May 2008.

Comments: 30 pages, to appear in Journal of the European Mathematical Society

Upper bounds on wavepacket spreading for random Jacobi matrices

Authors: Svetlana Jitomirskaya, Hermann Schulz-Baldes

Abstract: A method is presented for proving upper bounds on the moments of the position operator when the dynamics of quantum wavepackets is governed by a random (possibly correlated) Jacobi matrix. As an application, one obtains sharp upper bounds on the diffusion exponents for random polymer models, coinciding with the lower bounds obtained in a prior work. The second application is an elementary argume… ▽ More A method is presented for proving upper bounds on the moments of the position operator when the dynamics of quantum wavepackets is governed by a random (possibly correlated) Jacobi matrix. As an application, one obtains sharp upper bounds on the diffusion exponents for random polymer models, coinciding with the lower bounds obtained in a prior work. The second application is an elementary argument (not using multiscale analysis or the Aizenman-Molchanov method) showing that under the condition of uniformly positive Lyapunov exponents, the moments of the position operator grow at most logarithmically in time. △ Less

Submitted 15 February, 2007; v1 submitted 12 July, 2006; originally announced July 2006.

Comments: final version, to appear in CMP

Journal ref: Commun. Math Phys. 273, 601-618 (2007)

The Ten Martini Problem

Authors: Artur Avila, Svetlana Jitomirskaya

Abstract: We prove the conjecture (known as the ``Ten Martini Problem'' after Kac and Simon) that the spectrum of the almost Mathieu operator is a Cantor set for all non-zero values of the coupling and all irrational frequencies. We prove the conjecture (known as the ``Ten Martini Problem'' after Kac and Simon) that the spectrum of the almost Mathieu operator is a Cantor set for all non-zero values of the coupling and all irrational frequencies. △ Less

Submitted 17 March, 2005; originally announced March 2005.

Comments: 31 pages, no figures

Delocalization in random polymer models

Authors: S. Jitomirskaya, H. Schulz-Baldes, G. Stolz

Abstract: A random polymer model is a one-dimensional Jacobi matrix randomly composed of two finite building blocks. If the two associated transfer matrices commute, the corresponding energy is called critical. Such critical energies appear in physical models, an example being the widely studied random dimer model. It is proven that the Lyapunov exponent vanishes quadratically at a generic critical energy… ▽ More A random polymer model is a one-dimensional Jacobi matrix randomly composed of two finite building blocks. If the two associated transfer matrices commute, the corresponding energy is called critical. Such critical energies appear in physical models, an example being the widely studied random dimer model. It is proven that the Lyapunov exponent vanishes quadratically at a generic critical energy and that the density of states is positive there. Large deviation estimates around these asymptotics allow to prove optimal lower bounds on quantum transport, showing that it is almost surely overdiffusive even though the models are known to have pure-point spectrum with exponentially localized eigenstates for almost every configuration of the polymers. Furthermore, the level spacing is shown to be regular at the critical energy. △ Less

Submitted 7 May, 2004; originally announced May 2004.

Journal ref: Commun. Math. Phys. 233, 27-48 (2003)

Nonperturbative localization

Authors: Svetlana Ya. Jitomirskaya

Abstract: Study of fine spectral properties of quasiperiodic and similar discrete Schrödinger operators involves dealing with problems caused by small denominators, and until recently was only possible using perturbative methods, requiring certain small parameters and complicated KAM-type schemes. We review the recently developed nonperturbative methods for such study which lead to stronger results and ar… ▽ More Study of fine spectral properties of quasiperiodic and similar discrete Schrödinger operators involves dealing with problems caused by small denominators, and until recently was only possible using perturbative methods, requiring certain small parameters and complicated KAM-type schemes. We review the recently developed nonperturbative methods for such study which lead to stronger results and are significantly simpler. Numerous applications mainly due to J. Bourgain, M. Goldstein, W. Schlag, and the author are also discussed. △ Less

Submitted 28 April, 2003; originally announced April 2003.

MSC Class: 35; 37; 60; 81

Journal ref: Proceedings of the ICM, Beijing 2002, vol. 3, 445--456

Continuity of the Lyapunov exponent for quasiperiodic operators with analytic potential

Authors: J. Bourgain, S. Jitomirskaya

Abstract: We study regularity properties of the Lyapunov exponent L of quasiperiodic operators with analytic potential, under no assumptions on the Diophantine class of the frequency. We prove that L is jointly continuous, in frequency and energy, at every irrational frequency. We study regularity properties of the Lyapunov exponent L of quasiperiodic operators with analytic potential, under no assumptions on the Diophantine class of the frequency. We prove that L is jointly continuous, in frequency and energy, at every irrational frequency. △ Less

Submitted 31 October, 2001; originally announced October 2001.

MSC Class: 81Q99; 37D25

Continuity of the measure of the spectrum for discrete quasiperiodic operators

Authors: S. Ya. Jitomirskaya, I. V. Krasovsky

Abstract: We study discrete Schroedinger operators $(H_{α,θ}ψ)(n)= ψ(n-1)+ψ(n+1)+f(αn+θ)ψ(n)$ on $l^2(Z)$, where $f(x)$ is a real analytic periodic function of period 1. We prove a general theorem relating the measure of the spectrum of $H_{α,θ}$ to the measures of the spectra of its canonical rational approximants under the condition that the Lyapunov exponents of $H_{α,θ}$ are positive. For the almost M… ▽ More We study discrete Schroedinger operators $(H_{α,θ}ψ)(n)= ψ(n-1)+ψ(n+1)+f(αn+θ)ψ(n)$ on $l^2(Z)$, where $f(x)$ is a real analytic periodic function of period 1. We prove a general theorem relating the measure of the spectrum of $H_{α,θ}$ to the measures of the spectra of its canonical rational approximants under the condition that the Lyapunov exponents of $H_{α,θ}$ are positive. For the almost Mathieu operator ($f(x)=2λ\cos 2πx$) it follows that the measure of the spectrum is equal to $4|1-|λ||$ for all real $θ$, $λ\ne\pm 1$, and all irrational $α$. △ Less

Submitted 30 May, 2002; v1 submitted 8 July, 2001; originally announced July 2001.

Comments: 10 pages, small changes, to appear in Math.Res.Lett

Journal ref: Math.Res.Lett. 9 (2002) 413-422

Metal-insulator transition for the almost Mathieu operator

Authors: Svetlana Ya. Jitomirskaya

Abstract: We prove that for Diophantine \om and almost every þ, the almost Mathieu operator, (H_{ω,λ,θ}Ψ)(n)=Ψ(n+1) + Ψ(n-1) + λ\cos 2π(ωn +θ)Ψ(n), exhibits localization for λ> 2 and purely absolutely continuous spectrum for λ< 2. This completes the proof of (a correct version of) the Aubry-André conjecture. We prove that for Diophantine \om and almost every þ, the almost Mathieu operator, (H_{ω,λ,θ}Ψ)(n)=Ψ(n+1) + Ψ(n-1) + λ\cos 2π(ωn +θ)Ψ(n), exhibits localization for λ> 2 and purely absolutely continuous spectrum for λ< 2. This completes the proof of (a correct version of) the Aubry-André conjecture. △ Less

Submitted 31 October, 1999; originally announced November 1999.

Comments: 17 pages, published version

Report number: Annals migration 4-2001

Journal ref: Ann. of Math. (2) 150 (1999), no. 3, 1159-1175