A Nonperturbative Eliasson's Reducibility Theorem

Joaquim Puig

Departament de Matemàtica Aplicada I, Universitat Politècnica de Catalunya Av. Diagonal 647, 08028 Barcelona, Spain joaquim.puig@upc.edu
Abstract
This paper is concerned with discrete, one-dimensional Schrödinger operators with real analytic potentials and one Diophantine frequency. Using localization and duality we show that almost every point in the spectrum admits a quasi-periodic Bloch wave if the potential is smaller than a certain constant which does not depend on the precise Diophantine conditions. The associated first-order system, a quasi-periodic skew-product, is shown to be reducible for almost all values of the energy. This is a partial nonperturbative generalization of a reducibility theorem by Eliasson. We also extend nonperturbatively the genericity of Cantor spectrum for these Schrödinger operators. Finally we prove that in our setting, Cantor spectrum implies the existence of a G δ   -set of energies whose Schrödinger cocycle is not reducible to constant coefficients.
Keywords: Quasi-periodic Schrödinger operators, Harper-like equations, reducibility, Floquet theory, quasi-periodic cocycles, skew-product, Cantor spectrum, localization, irreducibility, Bloch waves.
AMS Subject Classification: 47B39, (37C99s,37E10,37J40).
Contents

1 Introduction. Main results

Recently there has been substantial advance in the theory of quasi-periodic Schrödinger operators, both continuous and discrete, combining spectral and dynamical techniques. These operators arise naturally in many areas of physics and mathematics.
They appear in the study of electronic properties of solids [AA80, Jan92, OA01] , in the theory of KdV and related equations [JM82, Joh88, Chu89] or in Hamiltonian mechanics [Sin85] . Moreover, their eigenvalue equations are second order differential or difference linear equations with quasi-periodic coefficients like Hill's equation with quasi-periodic forcing [BPS03] or the Harper equation [KS97, DJKR04] which display a rich variety of dynamics ranging from quasi-periodicity to uniform and nonuniform hyperbolicity.
In this paper we pursue this fruitful combination of spectral and dynamical methods to study discrete, one-dimensional Schrödinger operators H V , ω , φ ,  
( H V , ω , φ x ) n = x n + 1 + x n − 1 + V ( 2 π ω n + φ ) x n , n ∈ Z , (1)
where V : T → R   is a real analytic function (the potential ), φ ∈ T = R / ( 2 π Z )   is a phase and ω   a Diophantine frequency. The latter means that there exist positive constants c   and τ > 1   such that the bound
| sin 2 π k ω | > c | k | τ (2)
holds for any integer k ≠ 0 .   This condition will be written as ω ∈ D C ( c , τ ) .   In particular, this means that ω   is nonresonant,that is | sin 2 π k ω | ≠ 0   unless k = 0 .   The best-studied example of quasi-periodic Schrödinger operator is the Almost Mathieu operator where V ( θ ) = b cos θ   , being b   a real coupling parameter. A vast amount of literature is devoted to the study of the spectral properties of this operator (see Simon [Sim82, Sim00] , Jitomirskaya [Jit95, Jit02] and Last [Las95] for surveys and references). In [Pui04a, Pui04b] (see also Avila & Jitomirskaya [AJ05] for the recent extension to the remaining frequencies) the Cantor structure of the spectrum of the Almost Mathieu operator was derived from the use of a localization result by Jitormirskaya [Jit99] and a dynamical analysis of its eigenvalue equation, the so-called Harper equation. This was a long-standing conjecture known as the “Ten Martini Problem”. The combined approach there is not limited to the Almost Mathieu operator as we plan to make evident in this paper.
The eigenvalue equation of a quasi-periodic Schrödinger operator H V , ω , φ   is the following Harper-like equation
x n + 1 + x n − 1 + V ( 2 π ω n + φ ) x n = a x n , n ∈ Z , (3)
where a ∈ R   is called the energy or spectral parameter. Since we want to study dynamical properties of this equation, it is better to transform it into a first-order system, obtaining the associated quasi-periodic skew-product on R 2 × T   ,
( x n + 1 x n ) = ( a − V ( θ n ) − 1 1 0 ) ( x n x n − 1 ) , θ n + 1 = θ n + 2 π ω , (4)
which can be seen as an iteration of the corresponding Schrödinger cocycle, ( A a , V , ω ) ,   on S L ( 2 , R ) × T   . Here A a , V   denotes the matrix-valued function
A a , V ( θ ) = ( a − V ( θ ) − 1 1 0 ) , θ ∈ T . (5)
The simplest class of Schrödinger cocycles occurs when V = 0   because in this case A a , V   does not depend on θ   (we will say that the corresponding cocycle is in constant coefficients ). In analogy with periodic differential equations we may try to reduce a quasi-periodic Schrödinger cocycle to constant coefficients.
Let us introduce first the notion of conjugation between cocycles, not necessarily of Schrödinger type. Here we restrict ourselves to the case of S L ( 2 , R )   -valued cocycles, although the notion of reducibility applies to more general cocycles (see [Pui04b] for an exposition). Two cocycles ( A , ω )   and ( B , ω )   on S L ( 2 , R ) × T   are conjugated if there exists a continuous and nonsingular conjugation Z : T → S L ( 2 , R )   such that the relation A ( θ ) Z ( θ ) = Z ( θ + 2 π ω ) B ( θ ) , θ ∈ T .   holds for all θ ∈ T .   In this case the corresponding quasi-periodic skew-products u n + 1 = A ( θ n ) u n , θ n + 1 = θ n + 2 π ω   and v n + 1 = B ( θ n ) v n , θ n + 1 = θ n + 2 π ω   are conjugated through the change of variables u = Z v   , so that they share the same dynamical properties.
A cocycle ( A , ω )   is reducible to constant coefficients if it is conjugated to a cocycle ( B , ω )   with B   not depending on θ   (i.e. with constant coefficients). In this case, B   is called a Floquet matrix. Sometimes it may be necessary to “halve the frequency” if we do not want to complexify the system (although this case will not be treated in this paper). In contrast with the situation in the periodic case (when the nonresonance condition fails), quasi-periodic cocycles need not to be reducible to constant coefficients (see Theorem  5 and the following Remark  7 ).
The reducibility of a Schrödinger cocycle and the eigenvalues of the reduced Floquet matrix have implications for the spectrum of the corresponding Schrödinger operator. The spectrum of H V , ω , φ   on l 2 ( Z )   is a compact subset of the real line which we denote by σ ( V , ω )   since it does not depend on φ   . It is known that an energy a   lies in the spectrum of a Schrödinger operator if, and only if, the corresponding skew-product has an exponential dichotomy (it is uniformly hyperbolic), see Johnson [Joh82] . Under our assumptions, V   real analytic and ω   Diophantine, this is equivalent to the reducibility of the Schrödinger cocycle to constant coefficients with a hyperbolic Floquet matrix (all its eigenvalues are outside the unit circle), see Johnson [Joh80] .
For energies in the spectrum, the situation is much more involved. However, when in addition to the present hypothesis, the potential V   is small (in some complex neighbourhood around T   which depends on c   and τ   ), then reducibility can be obtained by kam methods for a set of energies in the spectrum of large measure, see Dinaburg & Sinai [DS75] and Moser & Pöschel [MP84] .
A breakthrough in the kam approach came with Eliasson [Eli92] who proved, among other statements, that reducibility to constant coefficients holds for almost every energy provided the potential is small enough and ω   is Diophantine, ω ∈ D C ( c , τ )   for some c   and τ   (see Section  2.3 for a more precise formulation. Like the results in the previous paragraph, the smallness condition here depends on the precise Diophantine conditions on ω   . Eliasson's result, as well as the above kam results presented above, holds for real analytic or C ∞   potentials V : T → R   depending on several frequencies.
Our main result states that in the presence of only one frequency, d = 1   in the notation above, the smallness condition in Eliasson's theorem does not depend on the constants c   and τ   of the Diophantine condition as long as ω   is Diophantine (that is, it is “nonperturbative” in some sense). To be more precise, we consider real analytic potentials V : T → R   having an analytic extension to | Im θ | < ρ ,   for some ρ > 0   such that | V | ρ : = sup | Im θ | < ρ | V ( θ ) | < ∞ ,   (the set of such potentials will be denoted by C ρ a ( T , R )   ) and a Diophantine frequency ω ∈ D C ( c , τ )   for some positive constants c   and τ > 1   . Our extension of Eliasson's theorem reads as follows.
Theorem 1 Let ρ > 0   be a positive number. Then, there is a constant ɛ 0 = ɛ 0 ( ρ )   such that, for any real analytic V ∈ C ρ a ( T , R )   with | V | ρ < ɛ 0 ,   the Schrödinger cocycle ( A a , V , ω )   is reducible to constant coefficients for every Diophantine frequency ω   and almost all a ∈ R   (with respect to Lebesgue measure).
The proof of this Theorem will be given in Section  3 .
Remarks 2
  • 1. Recently Avila & Krikorian [AK03]  proved Theorem  1 with more restrictive hypothesis on ω   (although it is also a full measure condition). In fact, we will see that both results follow from a nonperturbative theorem on localization by Bourgain & Jitomirskaya [BJ02a] .
  • 2. When the potential is defined on a d   -dimensional torus, V : T d → R   , Eliasson's theorem holds, but a nonperturbative version like Theorem  1 cannot be true, as Bourgain showed in [Bou02] . Indeed, he proved that, if V : T 2 → R   is a trigonometric polynomial with a nondegenerate maximum, there is a set of frequencies ω ∈ R 2   , with positive Lebesgue measure, for which the operators H V , ω , φ   have some point spectrum. This point spectrum is incompatible with reducibility to constant coefficients. See Bourgain [Bou04b, Bou04a]  for the differences between the cases of one and several frequencies.
  • 3. Let us stress that Theorem  1 is not a full nonperturbative version of Eliasson's theorem because the set of energies whose corresponding Schrödinger cocycle is reducible to constant coefficients is not explicitly characterized as it is in Eliasson's theorem (see Section  2.3 ).
  • 4. The smallness condition in Theorem  1 , ɛ 0 = ɛ 0 ( ρ )   is given by the localization result in [BJ02a]  and can be explicitly given in terms of ∥ V ∥ 1   , ∥ V ∥ 2   , ∥ V ∥ ∞   and ρ   . If V   is kept fixed, then ɛ 0 ( ρ ) = O ( ρ )   as ρ → 0 .  
Theorem  1 has some implications for the spectral properties of Schrödinger operators. The first one refers to the properties of solutions of the eigenvalue equation. An immediate application of Theorem  1 is the existence of analytic quasi-periodic Bloch waves for almost all a   in the spectrum. An analytic quasi-periodic Bloch wave for a Harper-like equation ( 3 ) is a solution of the form
x n ( φ ) = e i φ n f ( 2 π ω n + φ ) , n ∈ Z , (6)
where φ ∈ [ 0 , 2 π )   is called the Floquet exponent and f : T → C   is a nontrivial analytic function. In Section  3 we will also prove the following about the existence of quasi-periodic Bloch waves.
Corollary 3 Let ρ   , ɛ 0   V   and ω   be as in Theorem  1 . Then for (Lebesgue) almost all values of a   in the spectrum σ ( V , ω )   , the equation x n + 1 + x n − 1 + V ( 2 π ω n + φ ) x n = a x n ,   has analytic quasi-periodic Bloch waves.
Our second application deals with the structure of the spectrum of quasi-periodic Schrödinger operators. The Cantor structure of the spectrum is not specific of the Almost Mathieu operator. Indeed, although the proof of the “Ten Martini Problem” [Pui04a] is restricted to this model, Cantor spectrum is “generic” in our setting. More precisely, if we consider the set C ρ a ( T , R )   of real analytic functions furnished with the | ⋅ | ρ   norm, one has the following.
Theorem 4 Let ρ > 0   . Then there is a constant ɛ = ɛ ( ρ )   such that for every Diophantine ω   there is a generic set of real analytic potentials V ∈ C ρ a ( T , R )   with | V | ρ < ɛ   such that the spectrum of the Schrödinger operator H V , ω , φ   is a Cantor set.
Our last application is concerned with the existence of Schrödinger cocycles which are not reducible to constant coefficients. We will see that Cantor spectrum and nonreducibility are related concepts in our setting.
Theorem 5 Let ρ > 0   . Then there is a constant ɛ = ɛ ( ρ )   such that if ω   is Diophantine and V ∈ C ρ a ( T , R )   , with | V | ρ < ɛ   , is such that σ ( V , ω )   is a Cantor set then for a G δ   -dense subset of energies in the spectrum the corresponding Schrödinger cocycle is not reducible to constant coefficients (by a continuous transformation).
Remark 6 According to Theorem  1 , the G δ   -set above has zero Lebesgue measure.
In particular, using Theorem  4 it is possible to give a nonperturbative version of a result in Eliasson [Eli92] , namely, that the existence of a G δ   -subset of “nonreducible energies” is a generic property.
Remark 7 This kind of nonreducibility holds for a zero measure subset of energies and the corresponding Schrödinger cocycle has zero Lyapunov exponent.
Nonreducibility results can be obtained using, for instance, a result by Sorets & Spencer [SS91] , who prove that if the potential V   is large enough then the Lyapunov exponent is positive for all energies in the spectrum and this prevents reducibility.
Let us finally outline the contents of this paper. In Section  2 we introduce some of the preliminaries needed for the proof of the main theorem. In Section  3 this is used to prove  1 and  3 using a similar technique to the one used for the Almost Mathieu operator. The applications are included in Section  4 .

2 Preliminaries

In this section we present some of the tools that will be needed in the proof of Theorem  1 . As said in the introduction, we plan to extend some of the ideas in the proof of the “Ten Martini Problem” given in [Pui04a] with the aid of a nonperturbative localization result for long-range potentials by Bourgain & Jitomirskaya [BJ02b] . In Section  2.1 we introduce a convenient version of Aubry duality, which will lead us to consider certain long-range operators which are not of Schrödinger type. In Section  2.2 we give the definition and some properties of the integrated density of states ids for these operators and its relation with Aubry duality. Finally, in Section  2.3 this ids is linked to the fibered rotation number of quasi-periodic cocycles to give a more precise version of Eliasson's result.

2.1 Aubry Duality

Aubry Duality [AA80] was originally introduced for the study of the Almost Mathieu operator but the same idea (which is Fourier transform) works for other potentials. Let us give first the heuristic approach and then a more rigorous one.
Assume that x n + 1 + x n − 1 + V ( 2 π ω n + φ ) x n = a x n ,   has an analytic quasi-periodic Bloch wave,
x n = e i φ n ψ ~ ( 2 π ω n + φ ) , (7)
being ψ ~ : T → C   analytic and φ ∈ [ 0 , 2 π )   the Floquet exponent. If ( ψ n ) n ∈ Z   are the Fourier coefficients of ψ ~   , a computation shows that they satisfy the following difference equation ∑ k ∈ Z V k ψ n − k + 2 cos ( 2 π ω n + φ ) ψ n = a ψ n n ∈ Z ,   where ( V k ) k ∈ Z   are the Fourier coefficients of V   , V ( θ ) = ∑ k ∈ Z V k e i k θ .   This difference equation is the eigenvalue equation of the operator L V , ω , φ   ( L V , ω , φ ψ ) n = ∑ k ∈ Z V k ψ n − k + 2 cos ( 2 π ω n + φ ) ψ n   which we call a dual operator of H V , ω , φ   . This is a self-adjoint and bounded operator on l 2 ( Z )   (because V   is real analytic) but it is not a Schrödinger operator unless V   is exactly the cosine (this is what makes the Almost Mathieu operator so special). Such an operator will be called a long-range (quasi-periodic) operator even if it may be a finite-differences operator (if V   is a trigonometric polynomial).
If ω   is nonresonant, the spectrum of the long-range operators L V , ω , φ   does not depend on the chosen φ   , so that one can write σ L ( V , ω ) = S p e c ( L V , ω , φ ) .   This naive approach to Aubry duality shows that whenever a   is a value in the spectrum σ H ( V , ω )   such that ( x n ) n ∈ Z   is an analytic quasi-periodic Bloch wave with Floquet exponent φ   , then a   is a point eigenvalue of the dual operator L V , ω , φ   whose eigenvector decays exponentially and, thus, a ∈ σ L ( V , ω )   . The converse is also true: one can pass from exponentially decaying eigenvalues of L V , ω , φ   to quasi-periodic Bloch waves of H V , ω , φ   with Floquet exponent φ   .
The argument given above heavily relies on the existence of quasi-periodic Bloch waves or, equivalently, exponentially localized eigenvectors. Nevertheless both operators can be related without the assumption of such point eigenvalues.
This was done by Avron & Simon [AS83] . Here we will follow the idea by Gordon, Jitomirskaya, Last & Simon [GJLS97] (see also Chulaevsky & Delyon [CD89] ), who studied duality for the Almost Mathieu operator, although it can be extended to the general case, see Bourgain & Jitomirskaya [BJ02b] . The idea is to shift to more general spaces where the extensions of quasi-periodic Schrödinger operators and their duals are unitarily equivalent. Note that it is not true that the operators H V , ω , φ   and L V , ω , φ   are unitarily equivalent, since their spectral measures will, in general, be very different.
Let us consider the following Hilbert space, ℋ = L 2 ( T × Z ) ,   which consists of functions Ψ = Ψ ( θ , n )   satisfying ∑ n ∈ Z ∫ T | Ψ ( θ , n ) | 2 d θ < ∞ .   The extensions of the Schrödinger operators H   and their long-range duals L   to ℋ   are given in terms of their direct integrals , which we now define. The direct integral of the Schrödinger operator H V , ω , φ   , is the operator H ~ V , ω   , defined as ( H ~ V , ω Ψ ) ( θ , n ) = Ψ ( θ , n + 1 ) + Ψ ( θ , n − 1 ) + V ( 2 π ω n + θ ) Ψ ( θ , n ) ,   and the direct integral of L V , ω , φ   , denoted as L ~ V , ω   , is ( L ~ V , ω Ψ ) ( θ , n ) = ∑ k ∈ Z V k Ψ ( θ , n − k ) + 2 cos ( 2 π ω n + θ ) Ψ ( θ , n ) .   These two operators are bounded and self-adjoint in ℋ   . Let us now see that, for any fixed real analytic V   and nonresonant frequency ω   , the direct integrals H ~ V , ω   and L ~ V , ω   are unitarily equivalent; i.e. there exists a unitary operator U   on ℋ   such that the conjugation H ~ V , ω U = U L ~ V , ω   holds. By analogy with the heuristic approach to Aubry duality in the beginning of this section, let U   be the following operator on ℋ   , ( U Ψ ) ( θ , n ) = Ψ ^ ( n , θ + 2 π ω n ) ,   where Ψ ^   is the Fourier transform. At a formal level this acts as ( U Ψ ) ( θ , n ) = ∑ k ∈ Z ∫ T Ψ ( φ , k ) e − i n φ e − i ( θ + 2 π ω n ) k d θ   if we disregard the convergence of the sum in k .   The map U   is unitary and satisfies H ~ V , ω U = U L ~ V , ω   by construction of the dual long-range operators in terms of the Schrödinger operators. Therefore, the direct integrals H ~ V , ω   and L ~ V , ω   are unitarily equivalent and, in particular, their spectra are the same,
σ H ( V , ω ) = ⋃ φ ∈ T S p e c ( H V , ω , φ ) = S p e c ( H ~ V , ω ) = S p e c ( L ~ V , ω ) = ⋃ φ ∈ T S p e c ( H V , ω , φ ) = σ L ( V , ω ) .  
Hence, the spectrum of a quasi-periodic Schrödinger operator and its dual are the same. In the next section we will introduce the integrated density of states for Schrödinger operators (and their long-range duals) and we will see that this function is preserved by Aubry duality.

2.2 The integrated density of states and duality

The integrated density of states, ids for short, is a very useful object for the description of the spectrum of quasi-periodic Schrödinger operators and more general quasi-periodic self-adjoint operators. Here we want to introduce it both for quasi-periodic Schrödinger operators and their long-range duals. In order to give a unified approach, let us consider a more general class of operators.
If V , W : T → R   are real analytic functions, ( V k ) k   and ( W k ) k   are their Fourier coefficients, ω   is a nonresonant frequency and φ ∈ T   , let K W , V , ω , φ   be the following operator ( K W , V , ω , φ x ) n = ∑ k ∈ Z W k x n − k + V ( 2 π ω n + φ ) x n   acting on l 2 ( Z ) ,   which is bounded and self-adjoint. The operators in the previous section occur as particular cases, H V , ω , φ = K 2 cos , V , ω , φ and L V , ω , φ = K V , 2 cos , ω , φ .   Let us now define the ids for the operators K W , V , ω , φ .   Take some integer N > 0   and consider K W , V , ω , φ N   , the restriction of the operator K W , V , ω , φ   to the interval [ − N , N ]   with zero boundary conditions. Let k W , V , ω , φ N ( a ) = 1 2 N + 1 # { eigenvalues ≤ a of K W , V , ω , φ N } .   Then, due to the nonresonant character of ω ,   the limit lim N → ∞ k W , V , ω , φ N ( a )   exists, it is independent of φ   and of the boundary conditions imposed above. It is called the integrated density of states of the operator K W , V , ω , φ .   We will write this as k a , W , V , ω ( a ) .   The map
a ∈ R ↦ k a , W , V , ω ( a ) (8)
is increasing and it is constant exactly at the open intervals in the resolvent set of the spectrum of K W , V , ω , φ   . It is the distribution function of a Borel measure n W , V , ω   , k a , W , V , ω ( a ) = ∫ − ∞ a d n W , V , ω ( λ )   called is the density of states of the operator K W , V , ω , φ ,   which is supported on the spectrum of K W , V , ω , φ   . In the Schrödinger case we will use the notations k V , ω H ( a ) = k 2 cos , V , ω ( a ) , n V , ω H = n 2 cos , V , ω   and k V , ω L ( a ) = k V , 2 cos , ω ( a ) , n V , ω L = n V , 2 cos , ω .   for their long-range duals.
The ids of the operators K W , V , ω , φ   can be seen as an average in φ   of the spectral measures of the operators (see Avron & Simon [AS83] ). By the spectral theorem we know that there is a Borel measure μ φ   such that
〈 δ 0 , f ( K W , V , ω , φ ) δ 0 〉 l 2 ( Z ) = ∫ f ( λ ) d μ φ ( λ ) (9)
for every continuous function f   , being δ 0   the delta function. The measures μ φ   are spectral measures in the sense that the spectral projection of K W , V , ω , φ   over a certain subset A   of the spectrum is zero if, and only if, μ φ ( A ) = 0   . Avron & Simon prove that, for any continuous function f   ∫ f ( λ ) d n W , V , ω K ( λ ) = ∫ T d φ ∫ f ( λ ) d μ φ .   An approximation argument shows that, for any Borel subset of the spectrum, A ⊂ σ ( K W , V , ω ) ,   n W , V , ω K ( A ) = ∫ T μ φ ( A ) d φ .   In particular, n W , V , ω K ( A ) = 0   if μ φ ( A ) = 0   for Lebesgue almost every φ ∈ T   .
Using this characterization of the ids one can prove the following adaption of the duality of the ids given in [GJLS97] .
Theorem 8 ([GJLS97] ) Let k V , ω L   and k V , ω H   be the integrated density of states of H V , ω , φ   and L V , ω , φ   respectively, for some real analytic V : T → R   and nonresonant frequency ω   . Then k V , ω L ( a ) = k V , ω H ( a )   for all a ∈ R   .
Proof: Let g ( θ , n ) = δ n , 0   which belongs to ℋ   . Then U g = g .   Moreover by ( 9 ) and the unitary equivalence between H ~ V , ω   and L ~ V , ω   we have that, for any continuous f ,  
〈 g , f ( H ~ V , ω ) g 〉 ℋ = 〈 U g , U f ( H ~ V , ω ) g 〉 ℋ = 〈 U g , U f ( H ~ V , ω ) U − 1 U g 〉 ℋ = 〈 g , f ( L ~ V , ω ) g 〉 ℋ .  
Therefore, since n V , ω H   and n V , ω L   are the Borel measures such that 〈 g , f ( H ~ V , ω ) g 〉 ℋ = ∫ f ( λ ) d n V , ω H ( λ )   and 〈 g , f ( L ~ V , ω ) g 〉 ℋ = ∫ f ( λ ) d n V , ω L ( λ )   for every continuous f   the two measures must coincide (and also their distribution functions, k V , ω L   and k V , ω H   ). □   Let us end this section summing up some facts useful in the sequel.
Proposition 9 Let V   be real analytic, ω   nonresonant and μ φ   a spectral measure of L V , ω , φ   . Assume that there is a measurable set A   such that μ φ ( A ) = 0   for almost every φ ∈ T   . Then n V , ω L ( A ) = 0   and n V , ω H ( A ) = 0 .  

2.3 The rotation number and Eliasson's theorem revisited

We have seen in the previous section that it is possible to assign an ids for quasi-periodic Schrödinger cocycles using its associated operator. Here we will see that it is possible to define an extension of this object, the fibered rotation number, for more general quasi-periodic cocycles. This object, introduced originally by Herman [Her83] in this discrete case (see also Johnson & Moser [JM82] , Delyon & Souillard [DS83b] ), allows us to give a version of Eliasson's theorem for these cocycles. Let us follow the presentation by Krikorian [Kri] .
Let ( A , ω )   be a quasi-periodic cocycle on S L ( 2 , R ) × T   which is homotopic to the identity. That is A : T → S L ( 2 , R )   is a continuous map (although we will later assume that it is real analytic) that is homotopic to the identity (for example a Schrödinger cocycle). The fibered rotation number, which we now introduce measures how solutions wind around the origin in R 2   in average.
Let S 1   be the set of unit vectors of R 2   and let us denote by p : R → S 1   the projection given by the exponential p ( t ) = e i t   , identifying R 2   with C   . Because of the linear character of the cocycle and the fact that it is homotopic to the identity, the continuous map
F : S 1 × T ⟶ S 1 × T ( v , θ ) ↦ ( A ( θ ) v ∥ A ( θ ) v ∥ , θ + 2 π ω ) (10)
is also homotopic to the identity. Therefore, it admits a continuous lift F ~ : R × T → R × T   of the form: F ~ ( t , θ ) = ( t + f ( θ , t ) , θ + 2 π ω )   such that f ( t + 2 π , θ + 2 π ) = f ( t , θ ) and p ( t + f ( t , θ ) ) = A ( θ ) p ( t ) ∥ A ( θ ) p ( t ) ∥   for all t ∈ R   and θ ∈ T   . The map f   is independent of the choice of F ~   up to the addition of a constant 2 π k   , with k ∈ Z   . Since the iteration θ ↦ θ + 2 π ω   is uniquely ergodic on T   for all ( t , θ ) ∈ R × T   , one has that the limit lim N → ∞ 1 2 π N ∑ n = 0 N − 1 f ( F ~ n ( t , θ ) )   exists modulus Z   and it is independent of ( t , θ )   , see Herman [Her83] . This object is called the fibered rotation number of ( A , ω )   , and it will be denoted by r o t f ( A , ω )   .
The fibered rotation number of a Harper-like equation is defined as the fibered rotation number of the associated Schrödinger cocycle on S L ( 2 , R ) × T   and will be denoted as r o t f ( a , V , ω )   .
The rotation number of a Harper-like equation can be linked to its ids . Indeed, using a suspension argument (see Johnson [Joh83] ) it can be seen that r o t f ( a , V , ω ) = 1 2 k V , ω ( a ) ( mod. Z ) .   The rotation number is not invariant under conjugation, but one has the following.
Proposition 10 (cf. [Kri] ) Let ω   be nonresonant and ( A 1 , ω )   and ( A 2 , ω )   be two quasi-periodic cocycles on S L ( 2 , R ) × T   homotopic to the identity. If they are conjugated for some continuous Z : T → S L ( 2 , R ) ,   then r o t f ( A 1 , ω ) = r o t f ( A 2 , ω ) + 〈 k , ω 〉 modulus Z ,   where k ∈ Z   is the degree of the map Z : T → S L ( 2 , R )   . If the conjugation Z   is not defined on T   but on ( R / ( 4 π Z ) )   and it has degree k ∈ T   , then r o t f ( A 1 , ω ) = r o t f ( A 2 , ω ) + 1 2 〈 k , ω 〉 .  
Keeping in mind this result, we can define two classes of rotation numbers which are preserved under conjugation. An important class is that of resonant rotation numbers. A number of the form α = 1 2 〈 k , ω 〉 , ( mod 1 2 Z )   for some k ∈ Z   is called resonant with respect to ω   . We can also define the class of fibered rotation numbers which are Diophantine with respect to ω   . Its elements are the numbers α   such that the bound | sin ( π ( 2 α − 〈 k , ω 〉 ) ) | ≥ K | k | σ ,   holds for all k ∈ Z − { 0 }   and suitable fixed positive constants K   and σ   . Both classes of rotation numbers are constant under conjugation.
With these definitions we can give a more precise version of Eliasson's reducibility theorem for general quasi-periodic cocycles on S L ( 2 , R ) × T   homotopic to the identity. Again the result is valid for more than one frequency, but we restrict ourselves to this one-dimensional case.
Theorem 11 ([Eli92] ) Let ρ > 0   , ω ∈ D C ( c , τ )   be Diophantine and A 0   be a matrix in S L ( 2 , R )   . Then there is a constant C = C ( c , τ , ρ , | A 0 | )   such that, if A ∈ C ρ a ( T , S L ( 2 , R ) )   is real analytic with | A − A 0 | ρ < C   and the rotation number of the cocycle ( A , ω )   is either resonant or Diophantine with respect to ω   , then ( A , ω )   is reducible to constant coefficients of a quasi-periodic (perhaps with frequency ω / 2   ) and analytic transformation.
Remark 12 The proof of this theorem was originally given in [Eli92]  in the continuous case and for Schrödinger operators (instead of cocycles), although it extends to the setting of Theorem  11 .
Applied to Schrödinger cocycles one obtains the perturbative version of Theorem  1 with the additional characterization of the set of reducible energies in terms of its rotation number. More precisely, the theorem above implies that the set of “reducible” rotation numbers is of full measure in T   . To obtain a full-measure condition on the energies it is necessary to use some facts on the growth of the rotation number at these reducible points which will be also used in Section  3 and which are due to Deift & Simon [DS83a] .

3 Proof of Theorem  1 

We are now ready to show that Theorem  1 is a direct consequence of the following result by Bourgain & Jitomirskaya [BJ02b] , which we restate in a convenient way:
Theorem 13 ([BJ02b] ) Let ρ > 0   be a positive number. Then there is a constant ɛ 0 = ɛ 0 ( ρ )   such that, for any real analytic V ∈ C ρ a ( T , R )   with | V | ρ < ɛ 0 ,   and Diophantine ω   there is a set Φ ⊂ T   , of zero (Lebesgue) measure such that, if φ ∉ Φ   , the operator L V , ω , φ   has pure point spectrum with exponentially decaying eigenfunctions.
Remarks 14
  • 1. In [BJ02a] , the bound ɛ 0   depends on ∥ V ∥ 1 ,   ∥ V ∥ 2 ,   ∥ V ∥ ∞   and ρ   . Since V   belongs to C ρ a ( T , R )   , all these previous norms can be controlled by | V | ρ   .
  • 2. The set Φ   consists of those phases φ   for which the relation
    | sin ( φ + π k ω ) | < exp ( − | k | 1 2 τ ) (11)
    holds for infinitely many values of k   , where ω ∈ D C ( c , τ )   . For any Diophantine ω   , this is a set of zero Lebesgue measure.
Our strategy to prove Theorem  1 will be, first of all, to show that Corollary  3 is a simple consequence of Theorem  13 and the duality of the ids . Then, in Section  3.1 it will be shown that Corollary  3 actually implies Theorem  1 .
Let ρ > 0   and V   , ω   and Φ   be as in the Theorem  13 . As a consequence of Proposition  9 , the set A = σ L ( V , ω ) \ ⋃ φ ∉ Φ σ p p L ( V , ω , φ ) ,   where σ p p L ( V , ω , φ )   is the set of point eigenvalues of L V , ω , φ   given by Theorem  13 satisfies that n V , ω L ( A ) = 0   . Indeed, according to Proposition  9 we only need to show that μ φ ( A ) = 0   for all φ ∉ Φ   , where μ φ   are the spectral measures of the long-range operators L V , ω , φ   . This is a consequence of the fact that the spectral measures μ φ   , for φ ∉ Φ   are supported on the set of point eigenvalues of the corresponding operator.
Therefore also n V , ω H ( A ) = 0   due to Proposition  9 . To prove Corollary  3 it only remains to show that also the Lebesgue measure of A   is zero. To do so, one can invoke Deift & Simon [DS83a] . For almost periodic discrete Schrödinger operators they prove that for Lebesgue almost every a   in the set where the Lyapunov exponent is zero, one has the inequality
2 π sin π k V , ω H ( a ) d k V , ω H d a ≥ 1 . (12)
Thus, under the additional assumption that the Lyapunov exponent vanishes in the spectrum, the inequality ( 12 ) implies that if A   is a subset of σ H ( ω , V )   with n H ( A ) = 0   then also the Lebesgue measure of A   is zero.
As a consequence of Bourgain & Jitormirskaya [BJ02a, BJ02b] , for any a   in σ H ( V , ω ) ,   (with | V | ρ < ɛ   ) the Lyapunov exponent is zero. Therefore, the set A   has Lebesgue measure zero and for the values of a   in its complement in the spectrum, a ∈ σ V , ω H \ A ,   which is a total measure subset of σ H ( V , ω )   , the corresponding Harper-like equation
x n + 1 + x n − 1 + V ( 2 π ω n ) x n = a x n , n ∈ Z (13)
has an analytic quasi-periodic Bloch wave, using the argument of duality in the beginning of Section  2.1 . Indeed, we saw that if a   is a point eigenvalue of the operator L V , ω , φ   whose eigenfunction decays exponentially then the Harper-like equation ( 13 ) has an analytic quasi-periodic Bloch wave with Floquet exponent φ   .
This completes the proof of Corollary  3 .

3.1 From Bloch waves to reducibility

In this section we will see how Corollary  3 (which we proved in the previous section) implies our main result, Theorem  1 . By this corollary we know that if V   , ω   and Φ   are as in Theorem  13 then, for almost all a ∈ σ H ( V , ω )   , the equation ( 13 ) has an analytic quasi-periodic Bloch wave with Floquet exponent φ ∉ Φ   . Since we only want to prove a result for almost every a   , it is sufficient to show that if φ ∉ Φ   is such that
φ − π k ω − π j ≠ 0 (14)
for all k , j ∈ Z   and ( 13 ) has an analytic quasi-periodic Bloch wave with this Floquet exponent φ   , then the corresponding Schrödinger cocycle ( A a , V , ω )   is reducible to constant coefficients.
Remark 15 If φ / 2 π   is resonant with respect to ω   , φ = π k + π j ω ,   for some integers k , j   , then one can also prove reducibility [Pui04a] . In Section  4.3 we will consider the case of φ = 2 π k   which will be used for the Cantor structure of the spectrum.
The existence of a Bloch wave for Equation ( 13 ) implies that the Schrödinger cocycle has the following quasi-periodic solution
( ψ ~ ( 4 π ω + θ ) e − i φ ψ ~ ( 2 π ω + θ ) ) = e − i φ ( a − V ( θ ) − 1 1 0 ) ( ψ ~ ( 2 π ω + θ ) e − i φ ψ ~ ( θ ) ) (15)
for all θ ∈ T   . Moreover, writing
v ( θ ) = ( ψ ~ ( θ + 2 π ω ) , e − i φ ψ ~ ( θ ) ) T (16)
and
Y ( θ ) = ( v 1 ( θ ) v ¯ 1 ( θ ) v 2 ( θ ) v ¯ 2 ( θ ) ) , (17)
where the bar denotes complex conjugation, one always has the relation
A a , V ( θ ) Y ( θ ) = Y ( θ + 2 π ω ) Λ ( φ ) , (18)
where Λ ( φ ) = ( e i φ 0 0 e − i φ ) .   Obviously, Y   will only define a conjugation between the cocycles ( A a , V , ω )   and ( Λ ( φ ) , ω )   if it is nonsingular. Because of ( 18 ), the determinant of Y   is constant as a function of θ   and it is purely imaginary. In particular, v ( θ )   and v ¯ ( θ )   are linearly independent for all θ   if, and only if, they are independent for some θ   . In the case that v   and v ¯   are linearly independent, it is not difficult to prove reducibility to constant coefficients of the cocycle.
Lemma 16 Let A : T → S L ( 2 , R )   be a real analytic map and ω   be nonresonant.
Assume that there is an analytic map v : T → R 2 \ { 0 }   , with v   and v ¯   linearly independent, such that v ( θ + 2 π ω ) = e − i φ A ( θ ) v ( θ )   holds for all θ ∈ T   , where φ ∈ [ 0 , 2 π )   . Then the cocycle ( A , ω )   is reducible to constant coefficients by means of a real analytic transformation. Moreover, the Floquet matrix can be chosen to be of the form
B = ( cos φ sin φ − sin φ cos φ ) . (19)
Proof: Let Z 1 ( θ ) = Y ( θ )   as in ( 17 ), B 1 = Λ ( φ )   and d ( θ ) = v 1 ( θ ) v ¯ 2 ( θ ) − v ¯ 1 ( θ ) v 2 ( θ ) .   be the determinant of Z 1   . Therefore Z 1   defines a conjugation between ( A a , V , ω )   and ( B 1 , ω )   because v   and v ¯   are linearly independent, Z 1   is real analytic and, for every θ ∈ T   , Z 1 ( θ )   is nonsingular.
Moreover, from the conjugacy ( 18 ) and the nonresonance of ω   , d ( θ )   is constant as a function of θ   . By the linearity of our system, we choose this constant value to be − i / 2   (recall that, due to the form of Z 1 ,   its determinant must be purely imaginary).
To obtain the real rotation consider the composition Z ( θ ) = Z 1 ( θ ) Z 2   where Z 2   is the constant matrix Z 2 = ( 1 − i 1 i ) ,   Then Z   satisfies the desired conjugation A ( θ ) Z ( θ ) = Z ( θ + 2 π ω ) B   being B   the rotation of angle φ   given by ( 19 ). Thanks to the construction Z   is real and with determinant one. □   To complete the proof of Theorem  1 , it only remains to rule out the possibility that φ   satisfies ( 14 ) and v   and v ¯   are linearly dependent at the same time. Recall that these two vectors are linearly independent for all θ   if, and only if, they are linearly independent for some θ .   Note that both v ( θ )   and v ¯ ( θ )   are different from zero for all θ ∈ T   by construction. Assume that v ( θ )   and v ¯ ( θ )   were linearly dependent for all θ   . Since these vectors depend analytically on θ   , there would exist an analytic h : T → R   and an integer k ∈ Z   such that v ¯ ( t ) = e i ( h ( t ) + k t ) v ( t )   for all t ∈ R   . Using that v   and v ¯   are quasi-periodic solutions of ( A , ω )   , this would imply that e i ( h ( t ) + k t ) e i φ = e i ( h ( t + 2 π ω ) + k t + 2 π k ω ) e − i φ .   Therefore, h   must satisfy the following small divisors equation h ( θ + 2 π ω ) − h ( θ ) = 2 φ − 2 π k ω − 2 π j   for all θ ∈ T ,   where j   is some fixed integer. Clearly, such analytic h   cannot exist unless φ = π ( j + k ω ) ,   which is a contradiction with the nonresonance condition ( 14 ). This ends the proof of Theorem  1 . □  

4 Applications

In this section we will prove several consequences of the main theorem which are summarized in theorems  4 and  5 . In Section  4.1 we will present the setting of this section. In  4.2 we adapt Moser-Pöschel perturbation arguments to the discrete case. This is applied in Section  4.3 to the proof of nonperturbative genericity of Cantor spectrum. Finally, in Section  4.4 we prove that, in our situation, Cantor spectrum implies nonreducibility for a G δ   -set of energies.

4.1 Reducibility at gap edges

In previous sections, we discussed the reducibility of a quasi-periodic Schrödinger cocycle ( A a , V , ω )   when a   is a point eigenvalue of the dual operator L V , ω , φ   and φ   satisfies a nonresonance condition of the form ( 14 ), which was enough to prove the main result. The “resonant” values of φ   :
φ = π j + π ω k , j , k ∈ Z (20)
are particularly important for the description of the spectrum of these operators because the corresponding point eigenvalues lie at endpoints of spectral gaps. Let us prove the reducibility at these endpoints. What follows mimics the proof of the “Ten Martini Problem” given in [Pui04a] .
Bourgain & Jitomirskaya [BJ02a] also prove that, provided | V ( θ ) | < ɛ   and ω   is Diophantine L V , ω , φ   has pure-point spectrum with exponentially localized eigenfunctions if φ   is of the form ( 20 ), see Remark 8.2 after Theorem 7 in [BJ02a] .
Taking into account the symmetries of the operators, the study reduces to the four cases φ = 0 , π , π ω , π ω + π   . For the sake of simplicity we consider here φ = 0   . As a direct consequence of Aubry duality and Bourgain-Jitomirskaya result for the dual operators L V , ω , 0   , the set of pure-point eigenvalues σ p p L ( V , ω , 0 )   is a dense subset of σ H ( V , ω )   and any energy a ∈ σ p p L ( V , ω , 0 )   has a quasi-periodic Bloch wave with 0   as a Floquet exponent for the dual eigenvalue equation. Let a   be one of these eigenvalues. The condition above means that there is an analytic map ψ ~ : T → C   such that x = ( x n ) n ∈ Z = ( ψ ~ ( 2 π ω n + θ ) ) n ∈ Z   is a nonzero solution of H V , ω , θ x = a x   . Clearly, due to the symmetry of the eigenvalue equation for L V , ω , 0   , the function ψ ~   can be chosen real analytic. In terms of the cocycle we have that the relation ( ψ ~ ( 4 π ω + θ ) ψ ~ ( 2 π ω + θ ) ) = ( a − V ( θ ) − 1 1 0 ) ( ψ ~ ( 2 π ω + θ ) ψ ~ ( θ ) )   holds for all θ ∈ T   . Instead of Lemma  16 we now have the following (see [Pui04a] for the proof, which is a simple triangularization and averaging argument).
Lemma 17 Let A ∈ C δ a ( T , S L ( 2 , R ) )   be a real analytic map and ω   be Diophantine. Assume that there is a nonzero real analytic map v ∈ C δ a ( T , R 2 )   such that the relation v ( θ + 2 π ω ) = A ( θ ) v ( θ )   holds for all θ ∈ T .   Then the quasi-periodic cocycle ( A , ω )   is reducible to constant coefficients by means of a quasi-periodic transformation which is analytic in | Im θ | < δ   . Moreover the Floquet matrix can be chosen to be of the form
B = ( 1 c 0 1 ) (21)
for some c ∈ R   .
In the Almost Mathieu case Ince's argument [Inc44, Pui04a] shows that c ≠ 0   .
Otherwise the dual model (which is also a Schrödinger operator) would have a point eigenvalue with two linearly independent eigenvectors in l 2 ( Z )   , and this is a contradiction with the limit-point character of Schrödinger operators (or just the preservation of the Wronskian in this discrete case). The fact that c ≠ 0   is important for the description of the spectrum, because if a Schrödinger cocycle is reducible to a Floquet matrix of the form ( 21 ) with c ≠ 0   then the corresponding energy is at the endpoint of an open gap in the spectrum, as it will be seen in the next section.
For general potentials V   , however, we cannot use Ince's argument and it may happen that some of these are collapsed. In fact, there are examples of quasi-periodic Schrödinger operators (with V   small, ω   Diophantine) for which some c   are zero [BPS03] or even do not display Cantor spectrum (see De Concini & Johnson [DCJ87] ).
Nevertheless, even if c   can be zero, Moser & Pöschel [MP84] showed that, in this reducible setting, a closed gap can be opened by means of an arbitrarily small and generic real analytic perturbation of the potential. In the next section we give an adaption of their proof to the discrete case together with some extra properties which will be needed later.

4.2 Moser-Pöschel perturbation argument

In this section we prove the following adaption of Moser-Pöschel argument to the discrete case, which deals with cocycles which are perturbations of constant matrices of the form ( 21 ).
Proposition 18 Let V   be real analytic, ω   Diophantine and ( A a , V , ω )   , for some a ∈ R   be a quasi-periodic Schrödinger cocycle. Assume that ( A a , V , ω )   is analytically reducible to the constant coefficients cocycle ( B , ω )   with B = ( 1 c 0 1 )   for some c ∈ R   . Let W : T → R   be real analytic and α   real. If Z : T → S L ( 2 , R )   is the real analytic reducing matrix and the conditions
c ≠ 0 and [ W z 11 2 ] ≠ 0 (22)
or
c = 0 and − [ W z 11 z 12 ] 2 + [ W z 12 2 ] [ W z 11 2 ] > 0 (23)
are satisfied, then the quasi-periodic cocycle ( A a , V + α W , ω )   has an exponential dichotomy provided | α | > 0   is small enough and
c α [ W z 11 2 ] < 0 if (eq:conditioncne022) holds. (24)
Moreover in the case c ≠ 0   , the Lyapunov exponent of ( A a , V + α W , ω ) ,   γ ( a , V + α W , ω ) ,   and its rotation number, r o t f ( a , V + α W , ω ) ,   satisfy
lim α → 0 , c α [ W z 11 2 ] > 0 | γ ( α ) | | α | 1 / 2 = c [ W z 11 2 ] = lim α → 0 , c α [ W z 11 2 ] < 0 | r o t f ( α ) − r o t f ( 0 ) | | α | 1 / 2 (25)
Remark 19 This type of perturbation arguments have been used in a variety of contexts, c.f. Moser & Pöschel [Mos81, MP84] , Johnson [Joh91] , Nún͂ez [Nn95] , Broer, Puig & Simó [BPS03]  and Puig & Simó [PS04] .
Proof: Since Z   is the reducing transformation of ( A a , V , ω )   to ( B , ω )   , it also renders the perturbed cocycle ( A a , V + α W , ω )   to ( B + α W P , ω )   where P ( θ ) = ( z 11 z 12 − c z 11 2 − c z 11 z 12 + z 12 2 − z 11 2 − z 11 z 12 ) .   After one step of averaging this cocycle can be analytically conjugated to ( B + α [ W P ] + α 2 R 2 , ω )   where [ ⋅ ]   denotes the average of a quasi-periodic function and R 2   depends analytically on α   and θ   in some open neighbourhoods of 0   and T   . Moreover, a computation shows that B + α [ W P ] + α 2 R 2 = exp ( B ~ 0 + α B ~ 1 + α 2 R ~ 2 ) ,   being B ~ 0 = ( 0 c 0 0 ) , B ~ 1 = ( [ W z 11 z 12 ] − c 2 [ W z 11 2 ] − c [ W z 11 z 12 ] + [ W z 12 2 ] − [ W z 11 2 ] − [ W z 11 z 12 ] + c 2 [ W z 11 2 ] )   and R ~ 2 ∈ s l ( 2 , R )   depending analytically on α   and θ   . Let D = ( d 1 d 2 d 3 − d 1 ) = B ~ 0 + α B ~ 1 ,   whose determinant is d = − d 1 2 − d 2 d 3   . Now let us distinguish between the cases c ≠ 0   and c = 0   .
If ( 22 ) holds then the expression for the determinant becomes d = c α [ W z 11 2 ] + O ( α 2 )   so that it is negative if, in addition ( 24 ) holds. In this case, the matrix Q = ( d 2 d 2 − d 1 + − d − d 1 − − d ) ,   which is well-defined, has determinant 2 c − c α [ W z 11 2 ] + O ( α ) .   and satisfies D Q = Q Δ ,   where Δ = ( − d 0 0 − − d . ) .   Therefore the change of variables defined by Q   transforms the cocycle
( exp ( B ~ 0 + α B ~ 1 + α 2 R ~ 2 ) , ω ) (26)
into
( exp ( ( Δ + S ~ 2 ) ) , ω ) (27)
where S ~ 2 ( α , θ ) = α 2 Q − 1 R 2 ( α , θ ) Q   which is O ( | α | 3 / 2 )   uniformly in θ   . Note that Δ + S ~ 2 = − c α [ W z 11 2 ] ( ( 1 0 0 − 1 ) + O ( | α | ) ) .   so that if ( 24 ) holds and | α | > 0   is small enough the cocycle ( A a , V + α W , ω )   has an exponential dichotomy and the Lyapunov exponent satisfies 1 | α | | γ ( A a , V + α W , ω ) | → | c [ W z 11 2 ] | ,   see Coppel [Cop78] . To obtain the asymptotics of the rotation number, we can consider the transformation Q   defined for c α [ W z 11 2 ] > 0   . This, although complex, is a well-defined conjugation between D   and Δ   , which is now a complex rotation of angle | d | .   Therefore ( 26 ) is conjugated to ( 27 ), a perturbation of a complex rotation. Using the definition of the fibered rotation number given in Section  2.3 the result follows.
Let us now consider the situation when ( 23 ) holds. In this case, the matrix D   becomes D = α ( [ W z 11 z 12 ] [ W z 12 2 ] − [ W z 11 2 ] − [ W z 11 z 12 ] ) = : α D ~   Condition ( 23 ) is equivalent to the hyperbolicity of D ~   whose determinant is d ~ = − [ W z 11 z 12 ] 2 + [ W z 12 2 ] [ W z 11 2 ] .   Therefore there is a change of variables Q   , independent of α   and θ ,   which renders it to a diagonal form Δ ~   with − d   and − − d   as diagonal entries. This conjugation transforms the cocycle ( exp ( α D ~ + α 2 R ~ 2 ) , ω )   into ( exp ( ( α Δ ~ + α 2 S ~ 2 ) ) , ω )   where S ~ 2 ( α , θ ) = Q − 1 R ~ 2 ( α , θ ) Q .   Since, α Δ + α 2 S ~ 2 = α − d ~ ( ( 1 0 0 − 1 ) + α − d ~ S ~ 2 ) .   the cocycle ( A a , V + α W , ω )   has an exponential dichotomy when α ≠ 0   is small enough (see, again Coppel [Cop78] ). □   The perturbation argument in the previous proposition can applied to the reducible cocycles at endpoints of gaps as we do next.
Corollary 20 Let V   , a   and ω   as in Proposition  18 and assume that c ≠ 0   .
Then a   is at the endpoint of a noncollapsed spectral gap I   of σ ( V , ω )   (the right one if c > 0   and the left one if c < 0   ). Moreover, the limits
lim α → 0 , a + α ∈ I γ ( a + α , V , ω ) | α | = lim α → 0 , a + α ∈ I | r o t f ( a + α , V , ω ) − r o t f ( a , V , ω ) | | α | (28)
exist and are different from zero.
Proof: Take W = 1   in Proposition  18 . Then, the cocycle ( A a + α , V , ω )   has an exponential dichotomy if c α < 0   and | α |   is small enough. This means that there is an open spectral gap besides a   (to the left if c > 0   and to the right otherwise).
Moreover the asymptotics of formula ( 25 ) imply ( 28 ). □   Finally we consider the variation of the rotation number in the case c = 0   in a more general setting which will be needed in the next section.
Proposition 21 Let V   be continuous and ω   nonresonant. Assume that the Schrödinger cocycle ( A a 0 , V , ω )   is reducible to the cocycle ( B , ω )   with B ∈ S O ( 2 , R )   a constant matrix. Then the map a ∈ R ↦ r o t f ( a , V , ω )   is differentiable at a 0 .  
Proof: Let ρ   be the angle of the rotation, B = ( cos ρ sin ρ − sin ρ cos ρ ) .   The cocycle ( A a , V , ω )   is conjugated to ( B + α R , ω )   where R ( θ ) = Z ( θ + 2 π ω ) − 1 ( 1 0 0 0 ) Z ( θ )   and α = a − a 0   . The cocycle ( B + α R , ω )   induces a lift F ~   from R × T   to itself of the form F ~ ( t , θ ) = ( t + ρ + α f ( t , θ , α ) , θ + 2 π ω ) ,   where f   is continuous and 2 π   -periodic in both t   and θ   . Therefore,
r o t f ( B + α R , ω ) − r o t f ( B , ω ) = lim N → ∞ 1 2 π N ∑ n = 0 N − 1 ( α f ( F ~ n ( t , θ ) ) ) = O ( α )  
as we wanted to show. □  
Remarks 22
  • 1. A computation shows that the derivative of the rotation number above is nonzero. In particular, when a Schrödinger cocycle is reducible to the identity, the corresponding energy lies at the endpoint of a collapsed gap.
  • 2. Similar results have been obtained when Z , Z − 1 : T → S L ( 2 , R )   are square integrable and B : T → S O ( 2 , R )   is measurable, compare with Moser [Mos81]  and Deift & Simon [DS83a] .

4.3 Genericity of Cantor spectrum

In the previous section we have seen that if a Schrödinger cocycle is reducible to a matrix with trace 2   then the corresponding energy is at the endpoint of a spectral gap which is collapsed if the Floquet matrix is the identity. The next consequence of Proposition  18 is that when the Floquet matrix is the identity (a similar statement holds for minus the identity) one can “open up” the collapsed gap by means of a generic perturbation.
Corollary 23 Let V   , a   , ω   and Z   be as in Proposition  18 and assume that c = 0   . If W   is a generic real analytic potential then for | β | ≠ 0   small enough the spectrum σ ( V + β W , ω )   has an open spectral gap with ids k ( a , V , ω )   .
Proof: In Proposition  18 we proved that for a perturbation W ~   satisfying ( 23 ) − [ W ~ z 11 z 12 ] 2 + [ W ~ z 12 2 ] [ W ~ z 11 2 ] < 0   the cocycle ( A a , V + β W ~ , ω )   has an exponential dichotomy if | β | > 0   small enough.
This means that a   lies in a spectral gap of σ ( V + β W ~ , ω )   which, by continuity must satisfy that k ( a , V + β W ~ , ω ) = k ( a , V , ω )   for | β |   small enough. Let us now show that if W   is a generic potential, then for every | β | ≠ 0   small enough there is a value of α   such that a + α   lies in a spectral gap of σ ( V + β W , ω )   with k ( a + α , V + β W , ω ) = k ( a , V , ω ) .   Note that the condition ( 23 ) can be rewritten as [ W ~ y 1 ] 2 − [ W ~ y 2 ] 2 − [ W ~ y 3 ] 2 < 0   where y 1 = 1 2 ( z 11 2 + z 12 2 ) , y 2 = 1 2 ( z 11 2 − z 12 2 ) , y 3 = z 11 z 12 .   Let α   be such that [ ( α + W ) y 1 ] = α [ y 1 ] + [ W y 1 ] = 0 ,   (this determines α   since [ y 1 ] ≠ 0   ). Then the shifted perturbation α + W   satisfies condition ( 23 ) unless − [ W y 1 ] [ y 2 ] + [ W y 2 ] [ y 1 ] = 0 and − [ W y 1 ] [ y 3 ] + [ W y 3 ] [ y 1 ] = 0 ,   which is clearly a generic condition. Then, if | β | > 0   is small enough, the spectrum σ ( V + β W , ω )   has an open gap with k ( a + α β , V + β W , ω ) = k ( a , V , ω )   as we wanted to show. □  
Remark 24 As Moser & Pöschel show, when c = 0   it is always possible to choose the reducing transformation such that [ z 11 2 ] = [ z 12 2 ] = 1   and [ z 11 z 12 ] = 0   so that [ y 1 ] = 1   , [ y 2 ] = 0   , [ y 3 ] = 0   and the generic W   must satisfy [ W ( z 11 + z 12 ) 2 ] ≠ 0 or [ W ( z 11 − z 12 ) 2 ] ≠ 0 .  
Let us now summarize the situation. Using the two past sections we have seen that if V   is a real analytic potential on C ρ a ( T , R )   , with | V | ρ < ɛ   and ω   is Diophantine, there is a countable dense subset of energies in the spectrum where the system is reducible to a Floquet matrix with trace 2   . These lie at endpoints of gaps. Although these can be collapsed, a generic and arbitrarily small perturbation opens them as Corollary  23 says. Since there is a countable number of gaps Theorem  4 follows.

4.4 Cantor spectrum implies nonreducibility

In [Eli92] it was seen that, for a generic real analytic Schrödinger cocycle (with Diophantine frequencies) besides the almost everywhere reducibility there was a set of zero measure of energies for which the cocycle was not reducible to constant coefficients. The proof relies on the kam procedure developed there, but the Cantor structure of the spectrum is seen to play a key role. In this section we prove irreducibility for a G δ   -set of energies assuming only Cantor structure of the spectrum and Theorem  1 . This argument is reminiscent of some techniques in circle maps, see Arnol'd [Arn61] . We state here a slightly more general version than that of Theorem  5 . More applications will be given elsewhere.
Theorem 25 Let ρ > 0   . There is a constant ɛ > 0   such that if V ∈ C ρ a ( T , R )   is real analytic with | V | ρ < ɛ   , ω   is Diophantine and I   is an open interval such that K = σ ( V , ω ) ∩ I ¯   is a nonvoid Cantor set, then there is a G δ   -dense set of energies in K   for which the corresponding Schrödinger cocycle is not reducible to constant coefficients by means of a continuous transformation.
Proof: Consider, for any a 1 , a 2 ∈ K   with a 1 ≠ a 2   , δ ( a 1 , a 2 ) = | k ( a 1 , V , ω ) − k ( a 2 , V , ω ) a 1 − a 2 | .   Now, for any a ∈ R   we can define m ( a ) = sup λ ≠ a , λ ∈ K δ ( a , λ )   which is either a positive real number or + ∞ .   If a ∈ σ ( V , ω )   is reducible to constant coefficients then we have two situations.
Either the Floquet matrix B   has trace ± 2   , in which case m ( a ) = ∞   (see Corollary  20 ) or B ∈ S O ( 2 , R )   and then m ( a ) < ∞   (see Proposition  21 ). Due to the fact that | V | ρ < ɛ ,   ω   is Diophantine and the Cantor structure of the spectrum there is a dense set of endpoints of gaps, G K   , where the system is reducible to constant coefficients because of Eliasson's Theorem  11 .
We will show that the set where m ( a ) = ∞   is a G δ   -dense subset of K   .
Excluding the endpoints of gaps where there is reducibility to a Floquet matrix with trace ± 2   (which are at most countable) we will still have a G δ   -dense subset of energies in K   whose corresponding cocycle cannot be reducible to constant coefficients.
Let, for any n ∈ N ∪ { 0 }   and a 0 ∈ K   , U ( a 0 , n ) = { a ∈ K ; δ ( a , a 0 ) > n }   and U ( n ) = ⋃ a 0 ∈ K U ( a 0 , n ) .   The sets U ( n )   are open in K   because of the continuity of the rotation number.
Moreover they are dense in K   because they contain G K   , which is dense in K   .
Therefore U ( ∞ ) ⋂ n > 0 U ( n ) = { a ∈ K ; m ( a ) = ∞ } ,   is a G δ   -dense subset of K   . If we exclude the endpoints of open gaps the remaining energies, which still form a G δ   -dense subset of K   , cannot be reducible to constant coefficients by means of a continuous transformation. This proves  25 and also  5 .
□   Acknowledgements The author wishes to thank H. Eliasson, S. Jitomirskaya, C. Simó and B. Simon for many ideas which have been decisive in this paper. The paper arose in a stay at Caltech Mathematics Department and completed mostly in the Departament de Matemàtica Aplicada i Anàlisi at the Universitat de Barcelona as part of his PhD thesis. I am grateful to both institutions. This work has been supported by grants DGICYT BFM2003-09504-C02-01 (Spain) and CIRIT 2001 SGR-70 (Catalonia).
References

  1. S. Aubry and G. André. Analyticity breaking and Anderson localization in incommensurate lattices. In Group theoretical methods in physics (Proc. Eighth Internat. Colloq., Kiryat Anavim, 1979), pages 133–164. Hilger, Bristol, 1980.
  2. A. Avila and S. Jitomirskaya. The Ten Martini Problem. In preparation, 2005.
  3. A. Avila and R. Krikorian. Reducibility or non-uniform hyperbolicity for quasiperiodic Schrödinger cocycles. Preprint, 2003.
  4. V. I. Arnol ′   d. Small denominators. I. Mapping the circle onto itself. Izv. Akad. Nauk SSSR Ser. Mat., 25:21–86, 1961.
  5. J. Avron and B. Simon. Almost periodic Schrödinger operators II. The integrated density of states. Duke Math. J., 50:369–391, 1983.
  6. J. Bourgain and S. Jitomirskaya. Absolutely continuous spectrum for 1D quasiperiodic operators. Invent. Math., 148(3):453–463, 2002.
  7. J. Bourgain and S. Jitomirskaya. Continuity of the Lyapunov exponent for quasiperiodic operators with analytic potential. J. Statist. Phys., 108(5-6):1203–1218, 2002. Dedicated to David Ruelle and Yasha Sinai on the occasion of their 65th birthdays.
  8. J. Bourgain. On the spectrum of lattice Schrödinger operators with deterministic potential. II. J. Anal. Math., 88:221–254, 2002. Dedicated to the memory of Tom Wolff.
  9. J. Bourgain. Green's function estimates for lattice Schrdinger operators and applications. Princeton University Press, Princeton, N. J., 2004. Annals of Mathematics Studies, to appear.
  10. J. Bourgain. On quasi-periodic lattice Schrödinger operators. Discrete Contin. Dyn. Syst., 10(1-2):75–88, 2004.
  11. H. W. Broer, J. Puig, and C. Simó. Resonance tongues and instability pockets in the quasi-periodic Hill-Schrödinger equation. Comm. Math. Phys, 241(2–3):467–503, 2003.
  12. V. Chulaevsky and F. Delyon. Purely absolutely continuous spectrum for almost Mathieu operators. J. Statist. Phys., 55(5-6):1279–1284, 1989.
  13. V. A. Chulaevsky. Almost periodic operators and related nonlinear integrable systems. Nonlinear Science: Theory and Applications. Manchester University Press, Manchester, 1989. With a foreword by Ya. G. Sinaĭ, Translated from the Russian.
  14. W. A. Coppel. Dichotomies in stability theory. Springer-Verlag, Berlin, 1978. Lecture Notes in Mathematics, Vol. 629.
  15. C. De Concini and R. A. Johnson. The algebraic-geometric AKNS potentials. Ergodic Theory Dynam. Systems, 7(1):1–24, 1987.
  16. S. Datta, T. Jäger, G. Keller, and R. Ramaswamy. On the dynamics of the critical harper map. Nonlinearity, 17(6):2315–2323, 2004.
  17. E. I. Dinaburg and Y.G. Sinai. The one-dimensional Schrödinger equation with quasi-periodic potential. Funkt. Anal. i. Priloz., 9:8–21, 1975.
  18. P. Deift and B. Simon. Almost periodic Schrödinger operators III. The absolute continuous spectrum. Comm. Math. Phys., 90:389–341, 1983.
  19. F. Delyon and B. Souillard. The rotation number for finite difference operators and its properties. Comm. Math. Phys., 89(3):415–426, 1983.
  20. L. H. Eliasson. Floquet solutions for the one-dimensional quasi-periodic Schrödinger equation. Comm. Math. Phys., 146:447–482, 1992.
  21. A. Y. Gordon, S. Jitomirskaya, Y. Last, and B. Simon. Duality and singular continuous spectrum in the almost Mathieu equation. Acta Math., 178(2):169–183, 1997.
  22. M. R. Herman. Une méthode pour minorer les exposants de Lyapunov et quelques exemples montrant le caractère local d'un théorème d'Arnold et de Moser sur le tore de dimension 2. Comment. Math. Helvetici, 58(3), 1983.
  23. E. L. Ince. Ordinary Differential Equations. Dover Publications, New York, 1944.
  24. C. Janot. Quasicrystals : a primer. Clarendon Press, 1992.
  25. S. Ya. Jitomirskaya. Almost everything about the almost Mathieu operator. II. In XIth International Congress of Mathematical Physics (Paris, 1994), pages 373–382. Internat. Press, Cambridge, MA, 1995.
  26. S. Jitomirskaya. Metal-insulator transition for the almost Mathieu operator. Ann. of Math. (2), 150(3):1159–1175, 1999.
  27. S. Jitomirskaya. Nonperturbative localization. In Proceedings of the International Congress of Mathematicians, Vol. III (Beijing, 2002), pages 445–455, Beijing, 2002. Higher Ed. Press.
  28. R. Johnson and J. Moser. The rotation number for almost periodic potentials. Comm. Math. Phys., 84:403–438, 1982.
  29. R. Johnson. Analyticity of spectral subbundles. J. Diff. Eq., 35:366–387, 1980.
  30. R. Johnson. The recurrent Hill's equation. J. Diff. Eq., 46:165–193, 1982.
  31. R. Johnson. A review of recent work on almost periodic differential and difference operators. Acta Appl. Math., 1(3):241–261, 1983.
  32. R. A. Johnson. On the Sato-Segal-Wilson solutions of the K-dV equation. Pacific J. Math., 132(2):343–355, 1988.
  33. R. Johnson. Cantor spectrum for the quasi-periodic Schrödinger equation. J. Diff. Eq., 91:88–110, 1991.
  34. R. Krikorian. Reducibility, differentiable rigidity and Lyapunov exponents for quasi-periodic cocycles on T × S L ( 2 , R )   . Preprint.
  35. J. A. Ketoja and I. I. Satija. Harper equation, the dissipative standard map and strange nonchaotic attractors: relationship between an eigenvalue problem and iterated maps. Phys. D, 109(1-2):70–80, 1997. Physics and dynamics between chaos, order, and noise (Berlin, 1996).
  36. Y. Last. Almost everything about the almost Mathieu operator. I. In XIth International Congress of Mathematical Physics (Paris, 1994), pages 366–372. Internat. Press, Cambridge, MA, 1995.
  37. J. Moser. An example of Schrödinger equation with almost periodic potential and nowhere dense spectrum. Comment. Math. Helvetici, 56:198–224, 1981.
  38. J. Moser and J. Pöschel. An extension of a result by Dinaburg and Sinai on quasi-periodic potentials. Comment. Math. Helvetici, 59:39–85, 1984.
  39. C. Nún͂ez. Extension of a Moser-Pöschel theorem for the Schrödinger equation with ergodic potential. In XIV CEDYA/IV Congress of Applied Mathematics (Spanish)(Vic, 1995), page 10 pp. (electronic). Univ. Barcelona, Barcelona, 1995.
  40. D. Osadchy and J. Avron. Hofstadter butterfly as quantum phase diagram. J. Math. Phys., 42(12):5665–5671, 2001.
  41. J. Puig and C. Simó. Analytic families of reducible linear quasi-periodic equations. Preprint, 2004.
  42. J. Puig. Cantor spectrum for the Almost Mathieu operator. Comm. Math. Phys, 244(2):297 – 309, 2004.
  43. J. Puig. Reducibility of Quasi-Periodic Skew-Products and the Spectrum of Schrödinger Operators (PhD Thesis). University of Barcelona, 2004.
  44. B. Simon. Almost periodic Schrödinger operators: a review. Adv. in Appl. Math., 3(4):463–490, 1982.
  45. B. Simon. Schrödinger operators in the twentieth century. J. Math. Phys., 41(6):3523–3555, 2000.
  46. Ya. G. Sinaĭ. Structure of the spectrum of a Schrödinger difference operator with almost periodic potential near the left boundary. Funktsional. Anal. i Prilozhen., 19(1):42–48, 96, 1985.
  47. E. Sorets and T. Spencer. Positive Lyapunov exponents for Schrödinger operators with quasi-periodic potentials. Comm. Math. Phys., 142(3):543–566, 1991.