The spectrum of dynamically defined The main claim Pictures - - PowerPoint PPT Presentation

the spectrum of dynamically defined
SMART_READER_LITE
LIVE PREVIEW

The spectrum of dynamically defined The main claim Pictures - - PowerPoint PPT Presentation

The spectrum of dynamically defined operators Helge Kr uger Introduction The spectrum of dynamically defined The main claim Pictures operators The unitary case Anderson localization Future work Helge Kr uger Caltech September 7,


slide-1
SLIDE 1

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Caltech September 7, 2011

slide-2
SLIDE 2

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Schr¨

  • dinger operators

The discrete Laplacian acting on the square summable sequences ℓ2(Z) is given by ∆ψ(n) = ψ(n + 1) + ψ(n − 1). (1) For a potential, i.e. a bounded sequence, V : Z → R, we call H = ∆ + V a Schr¨

  • dinger operator.

For V (n) i.i.d.r.v. with distribution supported in [a, b], H = ∆ + V is called the Anderson model. we have that the spectrum is given by σ(H) = range(V ) + σ(∆) = [a − 2, b + 2]. (2) For V (n) = 2λ cos(2π(nω + x)) with ω irrational and λ = 0, we have the Almost–Mathieu operator. Then the spectrum is always a Cantor set.

slide-3
SLIDE 3

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Schr¨

  • dinger operators

The discrete Laplacian acting on the square summable sequences ℓ2(Z) is given by ∆ψ(n) = ψ(n + 1) + ψ(n − 1). (1) For a potential, i.e. a bounded sequence, V : Z → R, we call H = ∆ + V a Schr¨

  • dinger operator.

For V (n) i.i.d.r.v. with distribution supported in [a, b], H = ∆ + V is called the Anderson model. we have that the spectrum is given by σ(H) = range(V ) + σ(∆) = [a − 2, b + 2]. (2) For V (n) = 2λ cos(2π(nω + x)) with ω irrational and λ = 0, we have the Almost–Mathieu operator. Then the spectrum is always a Cantor set.

slide-4
SLIDE 4

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Schr¨

  • dinger operators

The discrete Laplacian acting on the square summable sequences ℓ2(Z) is given by ∆ψ(n) = ψ(n + 1) + ψ(n − 1). (1) For a potential, i.e. a bounded sequence, V : Z → R, we call H = ∆ + V a Schr¨

  • dinger operator.

For V (n) i.i.d.r.v. with distribution supported in [a, b], H = ∆ + V is called the Anderson model. we have that the spectrum is given by σ(H) = range(V ) + σ(∆) = [a − 2, b + 2]. (2) For V (n) = 2λ cos(2π(nω + x)) with ω irrational and λ = 0, we have the Almost–Mathieu operator. Then the spectrum is always a Cantor set.

slide-5
SLIDE 5

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Number theory of ωn (mod 1) and ωn2 (mod 1)

ωn (mod 1) and ωn2 (mod 1) are both equidistributed in [0, 1]. Let N ≥ 2 and define {β1 < β2 < · · · < βN} = {ωn (mod 1)}N

n=1

and {γ1 < γ2 < · · · < γN} = {ωn2 (mod 1)}N

n=1.

Then the set of lengths {lj = βj+1 − βj, j = 1, . . . , N − 1} consists of just three elements, whereas {ℓj = γj+1 − γj, j = 1, . . . , N − 1}

  • bey Poisson statistics for generic ω.
slide-6
SLIDE 6

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Number theory of ωn (mod 1) and ωn2 (mod 1)

ωn (mod 1) and ωn2 (mod 1) are both equidistributed in [0, 1]. Let N ≥ 2 and define {β1 < β2 < · · · < βN} = {ωn (mod 1)}N

n=1

and {γ1 < γ2 < · · · < γN} = {ωn2 (mod 1)}N

n=1.

Then the set of lengths {lj = βj+1 − βj, j = 1, . . . , N − 1} consists of just three elements, whereas {ℓj = γj+1 − γj, j = 1, . . . , N − 1}

  • bey Poisson statistics for generic ω.
slide-7
SLIDE 7

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Number theory of ωn (mod 1) and ωn2 (mod 1)

ωn (mod 1) and ωn2 (mod 1) are both equidistributed in [0, 1]. Let N ≥ 2 and define {β1 < β2 < · · · < βN} = {ωn (mod 1)}N

n=1

and {γ1 < γ2 < · · · < γN} = {ωn2 (mod 1)}N

n=1.

Then the set of lengths {lj = βj+1 − βj, j = 1, . . . , N − 1} consists of just three elements, whereas {ℓj = γj+1 − γj, j = 1, . . . , N − 1}

  • bey Poisson statistics for generic ω.
slide-8
SLIDE 8

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Number theory of ωn (mod 1) and ωn2 (mod 1)

ωn (mod 1) and ωn2 (mod 1) are both equidistributed in [0, 1]. Let N ≥ 2 and define {β1 < β2 < · · · < βN} = {ωn (mod 1)}N

n=1

and {γ1 < γ2 < · · · < γN} = {ωn2 (mod 1)}N

n=1.

Then the set of lengths {lj = βj+1 − βj, j = 1, . . . , N − 1} consists of just three elements, whereas {ℓj = γj+1 − γj, j = 1, . . . , N − 1}

  • bey Poisson statistics for generic ω.
slide-9
SLIDE 9

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Number theory of ωn (mod 1) and ωn2 (mod 1)

ωn (mod 1) and ωn2 (mod 1) are both equidistributed in [0, 1]. Let N ≥ 2 and define {β1 < β2 < · · · < βN} = {ωn (mod 1)}N

n=1

and {γ1 < γ2 < · · · < γN} = {ωn2 (mod 1)}N

n=1.

Then the set of lengths {lj = βj+1 − βj, j = 1, . . . , N − 1} consists of just three elements, whereas {ℓj = γj+1 − γj, j = 1, . . . , N − 1}

  • bey Poisson statistics for generic ω.
slide-10
SLIDE 10

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

The skew-shift Schr¨

  • dinger operator

Define the skew-shift T : T2 → T2, T = R/Z, T(x, y) = (x + 2ω, x + y) (mod 1). (3) Then ωn2 = T n(ω, 0)2 (mod 1). It thus makes sense instead of considering the potential V (n) = f (n2ω (mod 1)), to consider potentials given by V (n) = λf (T n(x, y)) (4) for f : T2 → R. These then form an ergodic family of potentials. Conjecture: For sufficiently regular f , the spectrum of ∆ + V consists of finitely many intervals and is Anderson localized. This means it behaves as in the random case.

Progress: Large coupling (λ ≫ 1): Bourgain–Goldstein–Schlag, Bourgain, Bourgain–Jitomirskaya, K. Small coupling (0 < λ ≪ 1): Bourgain. largely open Necessity of regularity: Avila–Bochi–Damanik, Boshernitzan–Damanik.

slide-11
SLIDE 11

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

The skew-shift Schr¨

  • dinger operator

Define the skew-shift T : T2 → T2, T = R/Z, T(x, y) = (x + 2ω, x + y) (mod 1). (3) Then ωn2 = T n(ω, 0)2 (mod 1). It thus makes sense instead of considering the potential V (n) = f (n2ω (mod 1)), to consider potentials given by V (n) = λf (T n(x, y)) (4) for f : T2 → R. These then form an ergodic family of potentials. Conjecture: For sufficiently regular f , the spectrum of ∆ + V consists of finitely many intervals and is Anderson localized. This means it behaves as in the random case.

Progress: Large coupling (λ ≫ 1): Bourgain–Goldstein–Schlag, Bourgain, Bourgain–Jitomirskaya, K. Small coupling (0 < λ ≪ 1): Bourgain. largely open Necessity of regularity: Avila–Bochi–Damanik, Boshernitzan–Damanik.

slide-12
SLIDE 12

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

The skew-shift Schr¨

  • dinger operator

Define the skew-shift T : T2 → T2, T = R/Z, T(x, y) = (x + 2ω, x + y) (mod 1). (3) Then ωn2 = T n(ω, 0)2 (mod 1). It thus makes sense instead of considering the potential V (n) = f (n2ω (mod 1)), to consider potentials given by V (n) = λf (T n(x, y)) (4) for f : T2 → R. These then form an ergodic family of potentials. Conjecture: For sufficiently regular f , the spectrum of ∆ + V consists of finitely many intervals and is Anderson localized. This means it behaves as in the random case.

Progress: Large coupling (λ ≫ 1): Bourgain–Goldstein–Schlag, Bourgain, Bourgain–Jitomirskaya, K. Small coupling (0 < λ ≪ 1): Bourgain. largely open Necessity of regularity: Avila–Bochi–Damanik, Boshernitzan–Damanik.

slide-13
SLIDE 13

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

The skew-shift Schr¨

  • dinger operator

Define the skew-shift T : T2 → T2, T = R/Z, T(x, y) = (x + 2ω, x + y) (mod 1). (3) Then ωn2 = T n(ω, 0)2 (mod 1). It thus makes sense instead of considering the potential V (n) = f (n2ω (mod 1)), to consider potentials given by V (n) = λf (T n(x, y)) (4) for f : T2 → R. These then form an ergodic family of potentials. Conjecture: For sufficiently regular f , the spectrum of ∆ + V consists of finitely many intervals and is Anderson localized. This means it behaves as in the random case.

Progress: Large coupling (λ ≫ 1): Bourgain–Goldstein–Schlag, Bourgain, Bourgain–Jitomirskaya, K. Small coupling (0 < λ ≪ 1): Bourgain. largely open Necessity of regularity: Avila–Bochi–Damanik, Boshernitzan–Damanik.

slide-14
SLIDE 14

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

V (n) = 2λ cos(2πωn2) λ = 0.9 ω = √ 2. H : ℓ2([1, 50]) → ℓ2([1, 50])      b(1) 1 1 b(2) 1 ... ... ... 1 b(50)      Huj = Ejuj for j = 1, . . . , 50 Black dot at (n, Ej) if |uj(n)| ≥ 0.01.

1 2 3 4 5 Site 3 2 1 1 2 3 Energy

slide-15
SLIDE 15

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

V (n) = 2λ cos(2πωn2) λ = 0.9 ω = √ 2. H : ℓ2([1, 50]) → ℓ2([1, 50])      b(1) 1 1 b(2) 1 ... ... ... 1 b(50)      Huj = Ejuj for j = 1, . . . , 50 Black dot at (n, Ej) if |uj(n)| ≥ 0.01.

1 2 3 4 5 Site 3 2 1 1 2 3 Energy

slide-16
SLIDE 16

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

V (n) = 2λ cos(2πωn) λ = 0.9 ω = √ 2 H : ℓ2([1, 50]) → ℓ2([1, 50])      b(1) 1 1 b(2) 1 ... ... ... 1 b(50)      Huj = Ejuj for j = 1, . . . , 50 Black dot at (n, Ej) if |uj(n)| ≥ 0.01.

1 2 3 4 5 Site 3 2 1 1 2 3 Energy

slide-17
SLIDE 17

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Verblunsky coefficients and orthogonal polynomials on the unit circle

It turns out that this problem can be solved explicitely for the unitary analog of Schr¨

  • dinger operators: CMV matrices.

Given a sequence of Verblunsky coefficients α(n) ∈ D = {z ∈ C : |z| < 1}. (5) Define a sequence of monic polynomials by the Szeg˝

  • recursion

Φn+1(z) = zΦn(z) − α(n)Φ∗

n(z)

(6) with Φ∗

n(z) = znΦn(z−1).

Then there exists an unique probability measure µ supported on ∂D such that Φn are the polynomials obtained by orthogonalizing 1, z, . . . in L2(∂D, µ). One can also view µ as the spectral measure of the CMV matrix C corresponding to the Verblunsky coefficients α(n).

slide-18
SLIDE 18

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Verblunsky coefficients and orthogonal polynomials on the unit circle

It turns out that this problem can be solved explicitely for the unitary analog of Schr¨

  • dinger operators: CMV matrices.

Given a sequence of Verblunsky coefficients α(n) ∈ D = {z ∈ C : |z| < 1}. (5) Define a sequence of monic polynomials by the Szeg˝

  • recursion

Φn+1(z) = zΦn(z) − α(n)Φ∗

n(z)

(6) with Φ∗

n(z) = znΦn(z−1).

Then there exists an unique probability measure µ supported on ∂D such that Φn are the polynomials obtained by orthogonalizing 1, z, . . . in L2(∂D, µ). One can also view µ as the spectral measure of the CMV matrix C corresponding to the Verblunsky coefficients α(n).

slide-19
SLIDE 19

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Verblunsky coefficients and orthogonal polynomials on the unit circle

It turns out that this problem can be solved explicitely for the unitary analog of Schr¨

  • dinger operators: CMV matrices.

Given a sequence of Verblunsky coefficients α(n) ∈ D = {z ∈ C : |z| < 1}. (5) Define a sequence of monic polynomials by the Szeg˝

  • recursion

Φn+1(z) = zΦn(z) − α(n)Φ∗

n(z)

(6) with Φ∗

n(z) = znΦn(z−1).

Then there exists an unique probability measure µ supported on ∂D such that Φn are the polynomials obtained by orthogonalizing 1, z, . . . in L2(∂D, µ). One can also view µ as the spectral measure of the CMV matrix C corresponding to the Verblunsky coefficients α(n).

slide-20
SLIDE 20

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Verblunsky coefficients and orthogonal polynomials on the unit circle

It turns out that this problem can be solved explicitely for the unitary analog of Schr¨

  • dinger operators: CMV matrices.

Given a sequence of Verblunsky coefficients α(n) ∈ D = {z ∈ C : |z| < 1}. (5) Define a sequence of monic polynomials by the Szeg˝

  • recursion

Φn+1(z) = zΦn(z) − α(n)Φ∗

n(z)

(6) with Φ∗

n(z) = znΦn(z−1).

Then there exists an unique probability measure µ supported on ∂D such that Φn are the polynomials obtained by orthogonalizing 1, z, . . . in L2(∂D, µ). One can also view µ as the spectral measure of the CMV matrix C corresponding to the Verblunsky coefficients α(n).

slide-21
SLIDE 21

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Rotating the Verblunsky coefficients

Recall Φn+1(z) = zΦn(z) − α(n)Φ∗

n(z).

(7) Define ˜ α(n) = e−2πiθ(n+1)α(n). Then one has for

  • Φn(z) = e2πinθΦn(e−2πiθz) that
  • Φn+1(z) = z

Φn(z) − ˜ α(n) Φ∗

n(z).

(8) Hence we see that the measure ˜ µ corresponding to ˜ α is just the measure µ rotated by e2πiθ. In particular, that σ(C) = e2πiθσ( C). (9)

slide-22
SLIDE 22

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Rotating the Verblunsky coefficients

Recall Φn+1(z) = zΦn(z) − α(n)Φ∗

n(z).

(7) Define ˜ α(n) = e−2πiθ(n+1)α(n). Then one has for

  • Φn(z) = e2πinθΦn(e−2πiθz) that
  • Φn+1(z) = z

Φn(z) − ˜ α(n) Φ∗

n(z).

(8) Hence we see that the measure ˜ µ corresponding to ˜ α is just the measure µ rotated by e2πiθ. In particular, that σ(C) = e2πiθσ( C). (9)

slide-23
SLIDE 23

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Skew-shift Verblunsky coefficients

Given λ ∈ D, define the function f (x, y) = λe2πiy and the Verblunsky coefficients αx,y(n) = f (T n(x, y)) = λe2πi(ωn(n−1)+nx+y). (10) From the previous results, we have σ(C˜

x,y) = e2πi(x−˜ x)σ(Cx,y).

(11) From minimality of the skew-shift, we have σ(C˜

x,˜ y) = σ(Cx,y).

(12) Since σ(Cx,y) ⊆ ∂D is non-empty, we obtain Theorem For every x, y, we have Cx,y = ∂D. (13)

slide-24
SLIDE 24

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Skew-shift Verblunsky coefficients

Given λ ∈ D, define the function f (x, y) = λe2πiy and the Verblunsky coefficients αx,y(n) = f (T n(x, y)) = λe2πi(ωn(n−1)+nx+y). (10) From the previous results, we have σ(C˜

x,y) = e2πi(x−˜ x)σ(Cx,y).

(11) From minimality of the skew-shift, we have σ(C˜

x,˜ y) = σ(Cx,y).

(12) Since σ(Cx,y) ⊆ ∂D is non-empty, we obtain Theorem For every x, y, we have Cx,y = ∂D. (13)

slide-25
SLIDE 25

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Skew-shift Verblunsky coefficients

Given λ ∈ D, define the function f (x, y) = λe2πiy and the Verblunsky coefficients αx,y(n) = f (T n(x, y)) = λe2πi(ωn(n−1)+nx+y). (10) From the previous results, we have σ(C˜

x,y) = e2πi(x−˜ x)σ(Cx,y).

(11) From minimality of the skew-shift, we have σ(C˜

x,˜ y) = σ(Cx,y).

(12) Since σ(Cx,y) ⊆ ∂D is non-empty, we obtain Theorem For every x, y, we have Cx,y = ∂D. (13)

slide-26
SLIDE 26

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Skew-shift Verblunsky coefficients

Given λ ∈ D, define the function f (x, y) = λe2πiy and the Verblunsky coefficients αx,y(n) = f (T n(x, y)) = λe2πi(ωn(n−1)+nx+y). (10) From the previous results, we have σ(C˜

x,y) = e2πi(x−˜ x)σ(Cx,y).

(11) From minimality of the skew-shift, we have σ(C˜

x,˜ y) = σ(Cx,y).

(12) Since σ(Cx,y) ⊆ ∂D is non-empty, we obtain Theorem For every x, y, we have Cx,y = ∂D. (13)

slide-27
SLIDE 27

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Anderson localization

Using similar arguments, one also obtains Theorem Let λ ∈ D and x ∈ R. For almost-every y ∈ R, the CMV matrix Cx,y has pure point spectrum with exponentially decaying eigenfunctions. This is what is called Anderson localization. Proof: Define the Lyapunov exponent L(z) = lim

N→∞

1 N

  • T2 log Az

N(x, y)d(x, y)

(14) where Az

N(x, y) = Az(T n(x, y)) · · · Az(x, y) is the transfer matrix

Az(x, y) = 1

  • 1 − |λ|2
  • z

−λe−2πiy −λe2πiyz 1

  • .

(15) One then shows L(e2πit) = L(e2πis) as before. Since α(n) = 0,

  • ne thus must have L(e2πit) > 0. Standard results then imply the

localization claim.

slide-28
SLIDE 28

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Anderson localization

Using similar arguments, one also obtains Theorem Let λ ∈ D and x ∈ R. For almost-every y ∈ R, the CMV matrix Cx,y has pure point spectrum with exponentially decaying eigenfunctions. This is what is called Anderson localization. Proof: Define the Lyapunov exponent L(z) = lim

N→∞

1 N

  • T2 log Az

N(x, y)d(x, y)

(14) where Az

N(x, y) = Az(T n(x, y)) · · · Az(x, y) is the transfer matrix

Az(x, y) = 1

  • 1 − |λ|2
  • z

−λe−2πiy −λe2πiyz 1

  • .

(15) One then shows L(e2πit) = L(e2πis) as before. Since α(n) = 0,

  • ne thus must have L(e2πit) > 0. Standard results then imply the

localization claim.

slide-29
SLIDE 29

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Anderson localization

Using similar arguments, one also obtains Theorem Let λ ∈ D and x ∈ R. For almost-every y ∈ R, the CMV matrix Cx,y has pure point spectrum with exponentially decaying eigenfunctions. This is what is called Anderson localization. Proof: Define the Lyapunov exponent L(z) = lim

N→∞

1 N

  • T2 log Az

N(x, y)d(x, y)

(14) where Az

N(x, y) = Az(T n(x, y)) · · · Az(x, y) is the transfer matrix

Az(x, y) = 1

  • 1 − |λ|2
  • z

−λe−2πiy −λe2πiyz 1

  • .

(15) One then shows L(e2πit) = L(e2πis) as before. Since α(n) = 0,

  • ne thus must have L(e2πit) > 0. Standard results then imply the

localization claim.

slide-30
SLIDE 30

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Anderson localization

Using similar arguments, one also obtains Theorem Let λ ∈ D and x ∈ R. For almost-every y ∈ R, the CMV matrix Cx,y has pure point spectrum with exponentially decaying eigenfunctions. This is what is called Anderson localization. Proof: Define the Lyapunov exponent L(z) = lim

N→∞

1 N

  • T2 log Az

N(x, y)d(x, y)

(14) where Az

N(x, y) = Az(T n(x, y)) · · · Az(x, y) is the transfer matrix

Az(x, y) = 1

  • 1 − |λ|2
  • z

−λe−2πiy −λe2πiyz 1

  • .

(15) One then shows L(e2πit) = L(e2πis) as before. Since α(n) = 0,

  • ne thus must have L(e2πit) > 0. Standard results then imply the

localization claim.

slide-31
SLIDE 31

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Anderson localization

Using similar arguments, one also obtains Theorem Let λ ∈ D and x ∈ R. For almost-every y ∈ R, the CMV matrix Cx,y has pure point spectrum with exponentially decaying eigenfunctions. This is what is called Anderson localization. Proof: Define the Lyapunov exponent L(z) = lim

N→∞

1 N

  • T2 log Az

N(x, y)d(x, y)

(14) where Az

N(x, y) = Az(T n(x, y)) · · · Az(x, y) is the transfer matrix

Az(x, y) = 1

  • 1 − |λ|2
  • z

−λe−2πiy −λe2πiyz 1

  • .

(15) One then shows L(e2πit) = L(e2πis) as before. Since α(n) = 0,

  • ne thus must have L(e2πit) > 0. Standard results then imply the

localization claim.

slide-32
SLIDE 32

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Future work

It should be tedious but possible to extend these results to Verblunsky coefficients of the form αx,y(n) = λe2πi(ωn(n−1)+nx+y) + εg(T n(x, y)), (16) where g : T2 → R is real-analytic and ε > 0 is small enough. More interestingly, one should be able to compute the eigenvalue statistics of this operator.

slide-33
SLIDE 33

The spectrum of dynamically defined

  • perators

Helge Kr¨ uger Introduction The main claim Pictures The unitary case Anderson localization Future work

Future work

It should be tedious but possible to extend these results to Verblunsky coefficients of the form αx,y(n) = λe2πi(ωn(n−1)+nx+y) + εg(T n(x, y)), (16) where g : T2 → R is real-analytic and ε > 0 is small enough. More interestingly, one should be able to compute the eigenvalue statistics of this operator.