Dyson’s spike for random Schroedinger operators and
Novikov-Shubin invariants of groups
arXiv:1602.06626v1 [math.PR] 22 Feb 2016

Marcin Kotowski

Bálint Virág

February 23, 2016
Abstract
We study Schroedinger operators with random edge weights and their expected
spectral measures µH near zero. We prove that the measure exhibits a spike of the form
µH (−ε, ε) ∼ |logCε|2 (first observed by Dyson), without assuming independence or any
regularity of edge weights. We also identify the limiting local eigenvalue distribution,
which is different from Poisson and the usual random matrix statistics. We then use the
result to compute Novikov-Shubin invariants for various groups, including lamplighter
groups and lattices in the Lie group Sol.

Contents
1 Introduction
2 The
2.1
2.2
2.3
2.4
2.5

2

eigenvalue process and its limit
The expected spectral measure of H . . . . . . .
Transfer matrices . . . . . . . . . . . . . . . . . .
Crossings and the rotation process . . . . . . . . .
Upper and lower bounds on the number of jumps
Convergence to the scaling limit . . . . . . . . . .

.
.
.
.
.

5
5
6
9
11
14

3 Local statistics and the expected spectral measure at zero
3.1 Local eigenvalue statistics . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 The expected spectral measure at zero . . . . . . . . . . . . . . . . . . . . .

17
17
19

4 Spectral measures for groups
4.1 Random Schroedinger operators from group ring elements . . . . . . . . . .
4.2 Semidirect products by hyperbolic matrices . . . . . . . . . . . . . . . . . . .
4.3 Lamplighter groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

24
24
25
29

1

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

1

Introduction

In this paper, we study a class of Schroedinger operators with random edge weights given
by:
(Hf )(i) = ai−1 f (i − 1) + ai f (i + 1)
where ai form a stationary process. One can think of such an operator as a perturbation of
the standard adjacency operator on Z (with all ai = 1) by random noise. It is well known
that the presence of even small amount of noise can dramatically influence the spectral
properties of H. While the spectral measure of the standard adjacency operator is absolutely
continuous, the noisy variant typically has a fully discrete spectrum with exponentially
localized eigenfunctions. This phenomenon is known as Anderson localization and is well
studied in mathematical physics.
A natural object of study is the expected spectral measure, denoted µH , which is the
spectral measure of H averaged over all random instances. Here, another phenomenon
occurs, related to the behavior of µH at zero. The standard adjacency operator on Z has
spectral measure µ with bounded density near zero, so in particular µ(−ε, ε) ∼ πε . In
contrast, µH can exhibit behavior of the form:
µH (−ε, ε) ∼

C
,
|log ε|2

which goes to 0 as ε → 0 slower than any power of ε. If µH happens to have a density,
this means it must have a sharp spike near 0 of the form 1ε · |logCε|3 . This phenomenon was
first observed in the famous paper by Dyson [Dys53], who proved µH (−ε, ε) ∼ |logCε|2 for a
specific choice of edge weight distribution. One could expect that such behavior should be
typical, independent of any particular properties of the distribution, and indeed, heuristic and
numerical arguments supporting this claim have been given in the physics literature [ER78].
However, despite over 60 years from Dyson’s original paper, the only rigorous general result
in this direction was [CP89], where authors prove a lower bound µH (−ε, ε) ≥ |logCε|3 for
independent weights with bounded continuous density supported away from zero.
In this paper, we settle the question, proving:
Theorem 1.1. Let ai be i.i.d. random variables such that σ 2 = Var log |ai | < ∞. Then for
the random Schroedinger operator H defined by:
(Hf )(i) = ai−1 f (i − 1) + ai f (i + 1)
we have
µH (−ε, ε) =

σ2
(1 + oε (1))
log2 ε

(1)

Notably, we do not assume any regularity of the distribution: it can even take finitely
many values. A version of this theorem holds also for edge weights which are not independent,
as long as they satisfy suitable correlation decay (see Theorem 3.10 for precise statement).
2

Our theorem easily reproduces Dyson’s result from [Dys53], see the discussion after Theorem
3.10.
The crucial ingredient in the proof is truncating the operator H to a finite interval and
finding a discrete process that counts its eigenvalues. We then proceed to identify a scaling
limit of this process, which involves the Brownian Motion arising as the limit of the discrete
|.
random walk with steps log | a2i−1
a2i
In the course of proving the theorem, we also establish eigenvalue bounds for finite
Schroedinger operators. These are expressed in terms of up- and down-crossings, see Sections
2.3 and 2.4 for details and precise definitions:
Proposition 1.2. Let Hn be a Schroedinger operator of size n, with n odd, with edge weights
ai . Let Mnλ denote the number of eigenvalues of Hn inside the interval (0, λ). Let Dn1±δ denote
P
the number of (1 ± δ) |log λ|-downcrossings made by the process ki=1 log a2i−1
. Let Bnδ be
a2i
 2δ
δ
denote the number of k for which |log |ak || > 8δ |log λ|. Then for any δ ∈ (0, 1) and λ < 16n
we have:
Dn1+δ − 2Bnδ ≤ Mnλ ≤ Dn1−δ + 2Bnδ
Under the same assumptions, the analysis also yields an explicit limit of the local eigenvalue statistics around 0. The limiting distribution has a simple description in terms of upand down-crossings, or wells, made by the underlying Brownian Motion. Figure 1 shows an
example of wells made by a Brownian Motion. We highlight that the limiting distribution
is different from Poisson or the usual random matrix statistics.

Figure 1: A random walk path with two wells of depth 4
Theorem 1.3. Let ai be i.i.d. random variables such that σ 2 = Var log |ai | < ∞. Let H be
the random Schroedinger operator defined by:
(Hf )(i) = ai−1 f (i − 1) + ai f (i + 1)
3

and let Hn the restricton of H to an interval of length n + 1. Let {Λn (t, η), t, η √> 0} be
the process equal to the number of eigenvalues of Hbtnc inside the interval (0, e−η n ). Let
{Λ(t, η), t, η > 0} be the process equal to the total number of disjoint η-wells that a Brownian
Motion with variance σ 2 makes inside the interval [0, t] (see Definition 2.16). Consider a
subsequence of n such that btnc is odd.
Then the process Λn (t, η) converges to the process Λ(t, η), i.e. all finite dimensional
distributions of Λn converge weakly to finite dimensional distributions of Λ(t, η).
(n)

As a corrollary, for the smallest positive eigenvalue λ0 of Hn , we have:
(n)

− log λ0
√
n

=⇒ σ · sup |B(t)|
t∈[0,1]

in distribution, where B(t) is a Brownian Motion of variance 1 (see Remark 3.4).
We then proceed to apply our result to computation of topological invariants of groups
called the Novikov-Shubin invariants. Let G be a finitely generated group and H ∈ C[G] a
group ring element that determines a self-adjoint operator H : `2 (G) → `2 (G) with spectral
measure µH . The Novikov-Shubin invariant of H, denoted α(H), is determined by the
behavior of µH at zero:
α(H) := lim inf
ε→0

log(µH (−ε, ε) − µH ({0}))
log ε

Informally, if α(H) = α and α > 0, this means that µH (−ε, ε) behaves like ∼ εα . In general,
Novikov-Shubin invariants are rather difficult to compute, but carry interesting topological
information about manifolds with fundamental group G – see [Eck00], [Lüc02] for further
background on α(H).
Of particular interest is the question of positivity of α(H). Note, for example, that
behavior of the form µH ∼ |logCε|2 implies α(H) = 0. It was conjectured by Lott and Lück
[LL95] that α(H) > 0 for any group G and any H ∈ C[G]. This has been recently disproved
in [GV]. Our paper provides a new counterexample:
Theorem 1.4. There exists a group G = Z2 oA Z, with A a hyperbolic matrix, and H ∈ C[G]
corresponding to a random walk on G such that α(H) = 0.
In comparison to previous work, this gives a simple counterexample which is not only
finitely presented, but also a lattice in a Lie group (Sol), see Section 4.2 for a more precise
statement. In conjunction with [GV], our technique can be also used to prove α(H) = 0 for
lamplighter groups Γ o Z with Γ arbitrary, see Section 4.3.
The connection between group theory and random Schroedinger operators comes in the
form of a construction due to [Gra14] that allows one, for certain semidirect products G, to
build, given H ∈ C[G], a random Schroedinger operator whose expected spectral measure is
equal to µH (see Section 4.2 for details). To compute this measure, one needs the full power
of our main theorem. For lamplighters, one obtains i.i.d. edge weights, but the underlying
4

distribution can be discrete (e.g. for Z2 o Z), so it is important that we have (1) without
any smoothness assumption about the edge weights. In the case G = Z2 oA Z, the resulting
operator has dependent edge weights, which we can handle thanks to the hyperbolic nature
of the underlying map.
The paper is organized as follows. In Section 2, we restrict H to a finite interval and
derive a process that counts the eigenvalues of this restriction. This part is completely
deterministic. In Section 3, we use that process to prove the main theorem which establishes
equation (1) under suitable assumptions. Then, in Section 4, we describe the connection
to group theory and proceed to apply the main theorem to computations for the groups
mentioned above.

2
2.1

The eigenvalue process and its limit
The expected spectral measure of H

Let Ω be a probability space and let (. . . , a−1 , a0 , a1 , . . . ) : Ω → RZ be a bi-infinite sequence of
real numbers drawn from some joint shift-invariant probability distribution. We will always
assume that almost surely, none of ai are equal to 0. The distribution defines a random
Schroedinger operator H given by:
(Hf )(i) = ai−1 f (i − 1) + ai f (i + 1)
In this section, we define what is meant by the expected spectral measure of H. There
are standard definitions of this object, but we want to avoid technicalities coming from (i)
the fact that the moments of the ai may not exist; and (ii) having to find the domain of H
on which it is self-adjoint.
Let µ, ν be probability measures. The Kolmogorov distance dK (µ, ν) is defined as dK (µ, ν) =
supx |µ(−∞, x] − ν(−∞, x]|. Note that if a sequence of measures µn forms a Cauchy sequence
with respect to dK , it converges weakly to some measure µ.
Let Hn denote the finite dimensional operator equal to the restriction of H to the set
{1, . . . , n + 1} by setting ai = 0 for i ∈
/ {1, . . . , n}. In this way, we obtain a random finite
dimensional operator Hn whose (random) spectral measure µHn is defined as its empirical
eigenvalue distribution. Let µn denote the expected spectral measure of Hn , i.e. the average
of µHn take over the randomness of edge weights.
Proposition 2.1. The sequence of measures {µ2k −1 }∞
k=1 converges weakly to some limit
1
measure µ that satisfies dK (µ, µ2k −1 ) ≤ 2k .
e 2k+1 −1 denote the operator
Proof. For k ≥ 1, consider the operators H2k −1 and H2k+1 −1 . Let H
e 2k+1 −1 has a possibly
obtained from H2k+1 −1 by setting a2k = 0. Since the matrix H2k+1 −1 − H
e 2k+1 −1 ) ≤ 1. By a standard matrix
nonzero entry only at a2k , we have rank(H2k+1 −1 − H
inequality [BS10, Theorem A.43]:
dK (µH2k+1 −1 , µHe

2k+1 −1

)≤

1
2k+1

e 2k+1 −1 ) ≤
· rank(H2k+1 −1 − H
5

1
2k+1

(2)

e 2k+1 −1 consists of two disjoint blocks corresponding to vertices
Note that the matrix H
k
k
{1, . . . , 2 } and {2 + 1, . . . , 2k+1 }. This and the shift-invariance of the distribution of
e 2k+1 −1 is the same as the
(. . . , a−1 , a0 , a1 , . . . ) implies that the expected spectral measure of H
expected spectral measure of H2k −1 . Thus, inequality (2) holds after taking expectations:
dK (µ2k , µ2k+1 ) ≤

1
2k+1

(3)

Altogether, (3) implies that the sequence of measures µ2k is a Cauchy sequence, so it
converges weakly to a measure µ. The bounds used above easily imply that d(µ, µ2k ) ≤
P∞ 1 i+1
= 21k as claimed.
i=k 2
Definition 2.2. The expected spectral measure µT of the random Schroedinger operator H
is defined as the limit measure µ constructed in Proposition 2.1.
Note that in the case where all ai are bounded, H is a bounded operator on `2 (Z). One
can then define the spectral measure of an instance Hω as follows. Let δ0 (0) = 1, δ0 (i) = 0
for i 6= 0. The spectral measure µHω is defined via specifying its moments:
Z
k
mk = δ0 , (Hω ) δ0 =
xk dµHω
(4)
R

Since the operator Hω is bounded, the moment sequence mk specifies the measure uniquely.
One then defines the expected spectral measure µH simply as the expectation of the measures
µHω . The approximation by finite operators claimed in Proposition 2.1 is then obtained by
a bounded operator analogue [BSV13, Lemma 6.1] of inequality (2).

2.2

Transfer matrices

Throughout the following sections, we are concerned with a single instance Hω , which we
will call H from now on. Therefore, H is a fixed, deterministic operator – we introduce the
probabilistic part of the analysis in Section 3.
To control the spectral measure of H, we will approximate H by operators Hn supported
on finite intervals. In Section 2.2, we use the standard transfer matrix approach to derive
a process that counts the eigenvalues of Hn . After the setup contained in Section 2.3, we
analyze the process in Section 2.4 and find its limiting behavior in Section 2.5.
Let Hn be the restriction of H to the set {1, . . . , n + 1}, i.e. the operator obtained from
H by putting all weights outside the interval [1, n + 1] equal to 0. For any given λ ∈ R, we
are interested in computing the number of eigenvalues of Hn inside the interval [0, λ]. We
shall perform this computation using the transfer matrix approach.
We start with the eigenvalue equation. For the first and last equation we set a0 = an+1 =
1, φ0 = φn+2 = 0. The eigenvalue equation can be then written as:
Hn φ = λφ
ak−1 φk−1 − λφk + ak φk+1 = 0, k = 1, 2, . . . , n + 1

6

Letting:
λ
Tk−1

λ
=

ak

1

− ak−1
ak
0


, k = 1, 2, . . . , n + 1

we can write the recursion as:




φk+1
φk
λ
= Tk−1
φk
φk−1
In particular, λ is an eigenvalue if and only if for some c we have:
 
 
0
λ 1
λ
= Tn · · · · · T0
0
c

(5)

We will be interested in the evolution of (Tk0 · · · · · T00 )−1 · Tkλ · · · · · T0λ as k changes from
0 to n. Let:

 λ


ak 
− ak+1
1 0
0
1
λ
0 −1 λ
ak+1
Rk := (Tk ) Tk =
=
− ak+1
0
− aλk 1
1
0
ak
Now we rewrite:
0

0

0

0

λ
(Tk0 · · · · · T00 )−1 · Tkλ · · · · · T0λ = (Rkλ )Tk−1 ·····T0 · (Rk−1
)Tk−2 ·····T0 · · · · · R0λ

(6)

where RkA = A−1 Rk A.
It is desirable to express (6) in a more tractable way. Define:
Sk =

k
X

2 log

i=1

a2i−1
a2i

We first compute products of odd and even numbers of Tk0 . We have:
!

ak+1
ak+1  
ak 
0
−
0
−
0
−
ak+2
0
ak+2
ak+1
Tk+1
Tk0 =
=
ak
0
− ak+1
1
0
1
0

(7)

so:
− 1 Sk

0
0
T2k
· T2k−1
· · · · · T10 · T00 = (−1)k

2
0
− εka·e2k+1
1
0
εk · e 2 S k
1

0
0
0
T2k+1
T2k
· T2k−1
· · · · · T10 · T00 = (−1)k+1

where we have written

Qk

i=1

a2i−1
a2i

1

(8)
!

εk+1 · e 2 Sk+1

0

0

εk ·e− 2 Sk
a2k+1

as εk · e 2 Sk with εk = ±1.

7

!

1

(9)

We now have:
0

0

0

0

λ T2k−1 ·····T0
λ
)T2k ·····T0 (R2k
)
=
Qλk := (R2k+1

1−

λ2
a22k+1
Sk

−λe

−Sk

λ ae2

2k+1

1

!
(10)

We will now prove a lemma that justifies the usefulness of the representation (6). Let
H = {z ∈ C : =z ≥ 0} ∪ {∞} be the upper half plane. We can identify a vector ( ab ) with
a point z ∈ H by letting z = ab . In this identification, the vector ( 10 ) is mapped to ∞.
We can translate the action of matrices on vectors into action on H. Recall that matrices
A ∈ SL(2, R) act by isometries of the hyperbolic plane H in the upper half plane model. A
matrix:


a b
A=
c d
. To simplify notation, we will
corresponds to the map TA : H → H such that TA (z) = az+b
cz+d
write A instead of TA .
From now on we assume that n is odd. This implies that
(Tn0 · · · · · T00 )−1 (0) = 0

(11)

Lemma 2.3. Let Mnλ denote the number of eigenvalues of Hn inside the interval [0, λ] and
0
0
let Jnλ denote the number of times the process (Rkλ )Tk−1 ·····T0 · · · · · R0λ (∞) passes 0 or ∞ as k
ranges from 0 to n. Then Mnλ = d 21 Jnλ e.
Proof. Let A = [0, λ] × [0, n]. We define f : [0, λ] × {0, . . . , n} → ∂H by:
∗

0

∗

0

f (λ∗ , k) = (Rkλ )Tk−1 ·····T0 · · · · · R0λ (∞)
and interpolate f linearly to obtain a continuous map f : A → S 1 . Note that by (5) and
(11), λ∗ is an eigenvalue whenever:
∗

0

∗

0

(Rkλ )Tk−1 ·····T0 · · · · · R0λ (∞) = 0

Figure 2: The loop from Lemma 2.3
Let S1 , S2 , S3 , S4 be the sides of the rectangle A (see Figure 2). Since A is contractible
and f is continuous, the loop f : S1 ∪ S2 ∪ S3 ∪ S4 → ∂H has winding number zero. Since
f (S1 ) = f (S4 ) = {∞}, the same is true for the loop f : S2 ∪ S3 → ∂H. Since f is monotone
on both of these intervals, with opposite direction, the number of times it passes 0 on them
is the same, which easily finishes the proof.
8

2.3

Crossings and the rotation process

In Section 2.2 we have shown that in order to study the number of eigenvalues of Hn , we
have to study the time evolution of a process given by composing rotations (see equation 10
and remark thereafter). In the following sections, we study this process in detail and derive
its continuous-time scaling limit.
We consider a fixed, deterministic operator Hn on the interval of size n, given by edge
weights {ak }nk=1 . The process constructed in the previous section can be described informally
as follows. Starting from the initial point v0 ∈ R, each point vk will be moved by a rotation
−S
Rk to a new point vk+1 . The center of each rotation, equal to i |ae2k+1k | , is obtained as a product
of ai and λ represents the speed of rotation.
Formally, we study the process defined by:
!
e−Sk
λ2
λ
1
−
2
2
a2k+1
a2k+1
,
Qλk =
Sk
−λe
1
λ
vkλ = Qλk−1 (vk−1
)

v0λ = ∞
The process described in (10) is exactly of this form.
Let H = {z ∈ C : Imz ≥ 0} ∪ {∞} and ∂H = R ∪ {∞}. Since we would like to study
the points log vk for vk ∈ ∂H, it is natural to
introduce the following setup. For k ∈ Z, let
F∞
Ak = {R + k · iπ} ∪ {−∞, +∞}. Let A = k=1 Ak be the union of lines plus points ±∞,
connected in such a way that A2k ∩ A2k+1 = {+∞}, A2k−1 ∩ A2k = {−∞}. Considering
exp : A → ∂H, we can treat its inverse as a (multi-valued) map log : ∂H → A, where
A2k ⊆ log({z ≥ 0}) and A2k+1 ⊆ log({z ≤ 0}).
Remark 2.4. Note that A has a natural ordering inherited from the real line, which we
will denote by ≥A . If x ∈ Aj and y ∈ Ai for j > i, then x ≥A y. If x, y are in the
same component, x ≥A y means x ≥ y if x, y ∈ A2i or x ≤ y if x, y ∈ A2i+1 . The time
evolution governed by Qk is monotone with respect to this ordering, i.e. if y ≥A y 0 , then
Qk (y) ≥A Qk (y 0 ).
The processes studied below will consist of points starting at +∞ ∈ A1 and decreasing
monotoneously until they jump past −∞ to A2 , whereupon they increase until they jump
to A3 , and so on.
We introduce the scaled version of the processes, defined as follows:
1
Sk
|log λ|
1
Yk =
log vkλ
|log λ|

Xk =

Xk is supposed to represent the rescaled motion of the rotation center, while Yk is the rescaled
trajectory of vk . With this setup, Yk takes values in A, either in A2i if vkλ ≥ 0 or A2i+1 if
vkλ ≤ 0. It jumps from Ai to Ai+1 whenever vkλ changes sign.
9

λ
Note that for vk−1
> 0, so that Yk−1 ∈ A2i for some i, we can write:

(1 −
1
Yk =
log
|log λ|

λ2
)λ−Yk−1
a22k−1

+

1
λ1+Xk−1
a22k−1

1 − λ1−Yk−1 −Xk−1

where Yk ∈ A2i if the expression under the absolute value is nonnegative and Yk ∈ A2i+1
otherwise.
2

Remark 2.5. Assume that vk−1 > 0 and 1 − a2λ > 0. Then vk makes a jump, i.e. vk ≤ 0,
2k−1
if and only if 1 − Xk−1 − Yk−1 ≤ 0.
We now introduce the concept of crossings, which relate to the number of jumps made
by the process. Let X(t) be a real valued function from R or Z. Define
M (t1 , t2 ) = max X(t)
t∈[t1 ,t2 ]

m(t1 , t2 ) = min X(t)
t∈[t1 ,t2 ]

Definition 2.6. Let τ0 = 0 and define for i ≥ 1:
τ2i−1 = inf{s ≥ τ2i−2 | M (τ2i−2 , s) − X(s) ≥ α}
τ2i = inf{s ≥ τ2i−1 | m(τ2i−1 , s) − X(s) ≤ −α}
We will say that X has made a α-downcrossing at time τ2i−1 and a α-upcrossing at time τ2i ,
for i ≥ 1. Both down- and upcrossings will be called crossings.
Definition 2.7. Given a function X(t) and α > 0, the α-crossing process associated to X
is defined as:
(
−M (τ2i , t) + α2 ∈ A2i+1 , for t ∈ [τ2i , τ2i+1 )
Z α (t) =
−m(τ2i−1 , t) − α2 ∈ A2i , for t ∈ [τ2i−1 , τ2i )
where τk are times of subsequent crossings as in Definition 2.6.
Informally, the proces Z α (t) evolves as follows. It is started in A1 at α2 and decreases
monotoneously as it is ”pushed” by −M (τ0 , t) + α2 . The moment M (τ0 , t) − X(t) ≥ α, Z α (t)
jumps to A2 and everything starts afresh, only with −M (τ0 , t)+ α2 replaced with −m(τ1 , t)− α2
and moving in the opposite direction. The process jumps to A3 when X(t) − m(τ1 , t) ≥ α
and so on.
Definition 2.8. We say that a process Y has made a jump at time k if Yk ∈ Aj and
Yk−1 ∈ Aj−1 .
With these definitions, the first crossing is always a downcrossing. Note that the times
of successive jumps of the α-crossing process Z α (t) are exactly the times of α-crossings of
the underlying function X.
10

2.4

Upper and lower bounds on the number of jumps

In this Section, we prove upper and lower bounds on the number of jumps
of Y in terms of
√
− n
but are stated and
crossings made by X. The Propositions below will be used for λ = e
proved in generality, with λ arbitrary. Proposition 1.2 follows by recalling that by Lemma
2.3, the number of eigenvalues is d 12 Jn e and that is simply the number of downcrossings.
In both Propositions below, we consider the processes Y and Z α , the α-crossing process
associated to X for appropriate value of α. We will only consider the case when Y, Z ∈ A2i ,
as the case of the odd numbered component is handled in a similar way. We can write the
one step recursion for Z as Zk+1 = z 0 (Xk+1 , Zk ), where z 0 is given by:
(
if z ≥ −x + α2
−x + α2 ∈ A2i+1 ,
z 0 (x, z) =
max{z, −x − α2 } ∈ A2i , otherwise
Likewise, we can write the one step recursion for Y as Yk+1 = y 0 (Xk , Yk , a2k+1 ), where y 0
is given by:
2
(1 − λa2 )λ−y + a12 λ1+x
1
0
log
y (x, y, a) =
|log λ|
1 − λ1−y−x
In both proofs, we will repeatedly use the following estimates, which hold if |log |ak || ≤
δ
|log λ|, δ < 2 and λ < 1:
16
δ

λ8 <
1−

δ
1
< λ− 8
2
ak

δ
λ2
> 1 − λ2− 8 > 0
2
ak

(12)
(13)

Proposition 2.9. Pick δ ∈ (0, 2). Let Jn be equal to the number of jumps made by {Yk }nk=1 .
Let Cn be equal to the number of (2 − δ) |log λ|-up- or down-crossings made by Sk and let
 4δ
δ
δ
Bn be the number of k such that |log |ak || > 16
|log λ|. Then for all λ < 32n
we have
Jn ≤ 2Bn + Cn .
Proof. First, we replace Y by a process defined as follows. Suppose that Yk ∈ Ai . Whenever
δ
|log |ak || > 16
|log λ|, instead of following its usual evolution, the modified process jumps to
Yk ∈ Ai+2 , i.e. the same point, but two components ahead. Since Y can make at most one
jump in one step, the modified process is always ahead of Y , in particular, it makes at least
as many jumps. Thus, it suffices to bound the number of jumps of Y by Cn , under the
δ
assumption that |log |ak || ≤ 16
|log λ|, since the remaining jumps are taken care of by the
term 2Bn .
Let Z be the (2 − δ)-crossing process associated to X (Definition 2.7). Recall that Cn ,
the number of (2 − δ)-crossings made by X, is equal to the number of jumps made by Z.
Thus we need to prove that Z makes at least as many jumps as Y .
Recall the one step recursion for Y and Z. Suppose that Zk ∈ Ai and let Wk = Zk +
δ
· k. The evolution of Wk is governed by the recursion:
(−1)i 4n


δ
0
0
i δ
w (x, w, k) = z x, w − (−1)
· k + (−1)i
· (k + 1)
4n
4n
11

Note that w0 makes jumps at the same time as z 0 . We claim that in order to prove that Z
makes at least as many jumps as Y , it suffices to prove that for any values of x, w, a, k such
that k ≤ n and a satisfies (12), (13) we have:
w0 (x, w, k) ≥A y 0 (x, w, a)

(14)

We prove inductively that Wk ≥A Yk+1 , from which the claim about the number of jumps
follows as Wk makes a jump if and only if Zk makes a jump. For the base case k = 0, we
have:
2
1 − λa2
δ
1
δ
1
0
log
>1+
log(1 − λ2− 8 ) > 1 −
(15)
y (∞) =
|log λ|
λ
|log λ|
8
 4δ
δ
δ
where the last estimate follows from λ 8 < 12 , easily implied by λ < 32n
. Thus, Y1 > 1− 8δ >
1− 2δ = Z0 . The map y 0 is monotone, meaning that y1 ≤A y2 implies y 0 (x, y1 , a) ≤A y 0 (x, y2 , a).
The inductive step then follows by applying (14) and then monotonicity::
Wk+1 = w0 (Xk+1 , Wk , k) ≥A y 0 (Xk+1 , Wk , a2k+3 ) ≥A y 0 (Xk+1 , Yk+1 , a2k+3 ) = Yk+2
Note that the increments of w0 and y 0 are translation invariant, so without loss of generality
we can put x = 0. The results hold for all values of ak satisfying the assumptions, so we
suppress the variable a and write y(w) for y(0, w, a).
We only consider the case when y, z ∈ A2i as the case of the odd numbered component
δ
.
is handled in a similar way. We first claim that if 1 − 4δ ≥ u ≥ −1 + 2δ , then y 0 (u) − u < 4n
We have:
2

(1 − λa2 )λ−u +
1
y (u) − u =
log
|log λ|
1 − λ1−u
0

1
λ
a2

3

δ

1
1 + λ1+u− 8
−u ≤
log
≤
|log λ|
1 − λ1−u
(12)

3

δ

δ

1
1
1
1 + λ8δ
λ4 + λ8δ
2 · λ4
≤
log
·
·
δ ≤
δ
|log λ|
|log λ| 1 − λ 4
|log λ| 1 − λ 4δ
1 − λ4
The assumptions λ <

δ
32n

 4δ

and δ < 2 easily imply
δ

1
|log λ|

y 0 (u) − u < 8 · λ 4 <

< 2 and

1
δ

< 2, so we get:

1−λ 4

δ
4n

 4δ
δ
again by λ < 32n
.
We now prove (14). The first case to consider is when y 0 does not jump, which by Remark
2.5 and (13) implies w < 1. Then, either w0 jumps and the claim is trivial, or it does not.
δ
δ
In that case, we have w < 1 − 2δ + 4n
· k < 1 − 4δ and z 0 = max{w − 4n
· k, −1 + 2δ }. If
δ
δ
δ
δ
δ
w ≥ −1 + 2 + 4n · k, then z 0 = w − 4n · k, so w0 = w + 4n . Also 1 − 4 ≥ w ≥ −1 + 2δ , so
δ
δ
y 0 (w) − w < 4n
= w0 − w as desired. If w < −1 + 2δ + 4n
· k, then:


δ
δ
δ
δ
δ
δ
0
0
y (w) < y −1 + +
· k < −1 + +
·k+
= z0 +
· (k + 1) = w0
2 4n
2 4n
4n
4n
12

The other remaining case is when y 0 makes a jump, so w ≥ 1. This means that z ≥
δ
· k > 1 − 4δ > 1 − 2δ , so z 0 makes a jump as well. Also, z 0 = 1 − 2δ ∈ A2i+1 and w0 > z 0 .
1 − 4n
It thus suffices to prove that y 0 ≤A 1 − 2δ in A2i+1 , which translates to y 0 ≥ 1 − 2δ since we are
in an odd numbered component. We have y 0 (w) > y 0 (∞) and y 0 (∞) > 1 − 2δ by (15).
Proposition 2.10. Pick δ ∈ (0, 2). Let Jn be equal to the number of jumps made by {Yk }nk=1 .
Let Cn be equal to the number of (2 + δ) |log λ|-up- or down-crossings made by Sk and let Bn
δ
be the number of k such that |log |ak || > 16
|log λ|. Then for all λ < 1 we have Cn −2Bn ≤ Jn .
Proof. As in Proposition 2.9, we replace Y by a process which makes two jumps whenever
δ
|log |ak || > 16
|log λ|. Now it suffices to bound the number of jumps of Y from below by Cn ,
δ
|log λ|, since the remaining jumps are taken care of
under the assumption that |log |ak || ≤ 16
by the term 2Bn .
Let Z be the (2 + δ)-crossing process associated to X (Definition 2.7). We only consider
the case when Yk , Zk ∈ A2i as the other one is handled in a similar way. Recall that Cn , the
number of (2 + δ)-crossings made by X, is equal to the number of jumps made by Z. Thus
we need to prove that Y makes at least as many jumps as Z.
Recall the one step recursion for Y and Z. We claim that in order to prove that Y makes
at least as many jumps as Z, it suffices to prove that for any values of x, z, a such that a
satisfies (12), (13) we have:
z 0 (x, z) ≤A y 0 (x, z, a)
(16)
We prove inductively that Zk ≤A Yk+1 for all k ≥ 0. The base case is clear since Z0 = 1+ 2δ and
Y1 < 1. The map y 0 is monotone, meaning that y1 ≤A y2 implies y 0 (x, y1 , a) ≤A y 0 (x, y2 , a).
The inductive step then follows by applying (16) and then monotonicity::
Zk+1 = z 0 (Xk+1 , Zk ) ≤A y 0 (Xk+1 , Zk , a2k+3 ) ≤A y 0 (Xk+1 , Yk+1 , a2k+3 ) = Yk+2
Note that the increments of z 0 and y 0 are translation invariant, so without loss of generality
we can put x = 0. The results hold for all values of ak satisfying the assumptions, so we
suppress the variable a and write y(w) for y(0, w, a).
To prove (16), consider first the case when y 0 (z) does not make a jump, which by Remark
2.5 and (13) means z < 1. This in particular means that z 0 does not make a jump, so
z 0 = max{z, −1 − 2δ }. Since y 0 is increasing, we have y 0 (z) > z. On the other hand, since
z ≥A −∞, we have:
y 0 (z) ≥ y 0 (−∞) =

1
1
δ
log 2 λ ≥ −1 −
|log λ|
a
8

Thus, y 0 ≥ max{z, −1 − 8δ } ≥ z 0 , finishing the claim.
The other case is when y 0 makes a jump from A2i to A2i+1 , so that z ≥ 1. Then either
z < 1 + 2δ , so z 0 remains in A2i and the claim is trivial, or z ≥ 1 + 2δ ∈ A2i . In that case
z 0 = 1 + 2δ ∈ A2i+1 and we need to prove y 0 ≥A 1 + 2δ ∈ A2i+1 , that is, y 0 ≤ 1 + 2δ since we are

13

in the odd numbered component. Since z ≥A 1 + 2δ ∈ A2i , by monotonicity of y 0 we have:


δ
2
(1 − λa2 )λ−1− 2 + a12 λ
1
δ
0
0
=
log
≤
y (z) ≤ y 1 +
δ
2
|log λ|
λ− 2 − 1
δ

3

1 + a12 λ2+ 2
δ
1
δ
1
1 + λ2+ 8 δ
1+ +
log
<
1
+
+
log
δ
δ
2 |log λ|
2 |log λ|
λ− 2 − 1
λ− 2 − 1
It suffices to make the expression under the logarithm smaller than 1. This is easily implied
2
δ
by λ < 1 and λ− 2 > 3, which follows from the assumption that λ < 31 δ .
We note that for even values of n, we obtain similar statements, but with roles of downand upcrossings reversed. In particular, we obtain an analogue of Proposition 1.2 for even
n, which is identical but bounds the number of jumps in terms of upcrossings, rather than
downcrossings of Sk .

2.5

Convergence to the scaling limit

We now
study the continuous-time scaling limit of the processes Y . To this end, we put
√
λ = e− n and consider a sequence of processes Y (n) such that the underlying functions X (n)
converge to some function X. The reason for this particular scaling is related to Brownian
scaling which we shall use in Section 3 when introducing the probabilistic part of the analysis.
In the formula below the reader should recognize the same scaling as in the Central Limit
Theorem.
√
We introduce the continuous time version of the discrete process X with scaling λ = e− n .
For any η, we can write:
1
(n)
(n)
Sη2 nt
Xηn
(t) := p
2
η n
(n)

We introduce the superscript n to emphasize that for different values of n, the sums Sk
(n)
depend on different sets of edge weights {ak }nk=1 for each n. While it may seem natural to
consider sequences obtained from a single infinite operator H restricted to finite intervals,
we will need the main theorem of this section stated in generality.
We will establish the main theorem of this section under the following assumptions.
(n)

Condition 2.11. Xn (t) converge uniformly on some interval [0, T ] to a function X(t) such
that X(0) = 0.
Condition 2.12. Fix some ν > 0. Whenever M (t) − X(t) = 2ν (resp. m(t) − X(t) = −2ν),
for any ε > 0 there exists t0 < t+ε such that M (t0 )−X(t0 ) > 2ν (resp. m(t0 )−X(t0 ) < −2ν).
Condition 2.13. We have:
(n)

lim max

n→∞ k=1,...,n

log |ak |
√
=0
n
14

(17)

Note that Condition 2.13 is not implied by Condition 2.11 since Condition 2.11 only
(n)

implies that log

a2k−1
(n)

a2k

(n)

are small in the limit and implies nothing about log |ak | .
(n)

Theorem 2.14. Let Xn (t) be a sequence of piecewise linear functions that converge uniformly on some interval [0, T ] to a function X(t) such that X(0) = 0 (Condition 2.11).
Suppose that X(t) satisfies Condition 2.12 with ν = 1 and Condition 2.13 is satisfied. Let Jn
(n)
denote the number of jumps made by {Yk }nk=1 and let J denote the number of 2-crossings
made by X. Then Jn converges to J as n → ∞.
Proof. Let Cnα denote the number of α-crossings made by Xn , let C α denote the number of
(n)
δ √
n.
α-crossings made by X and let Bnδ denote the number of k such that log ak
> 16
Pick δ > 0. By applying Propositions 2.9 and 2.10 with λ = e−
obtain:
Cn2+δ − 2Bnδ ≤ Jn ≤ Cn2−δ + 2Bnδ

√

n

, for large enough n we
(18)

Since Xn converge to X uniformly, it is easy to see that for large enough n we have Cn2+δ ≥
C 2+2δ and Cn2−δ ≤ C 2−2δ . Moreover, Condition 2.12 implies that C 2−2δ and C 2+2δ converge
to C 2 = J as δ → 0. Also, by Condition 2.13 we have that Bnδ converges to 0 as n → ∞.
Thus, we can make the upper and lower bound in (18) arbitrarily close to J by first picking
small enough δ and then large enough n, depending on δ, which finishes the proof.
Remark 2.15.
always bounded
τi . This can be
process Z 2 . We
jumps.

The proofs of Proposition 2.9 and 2.10 imply that the discrete process Y is
from both sides by (2 ± δ)-crossing processes Z 2±δ , outside of jump times
actually used to prove the convergence of the processes Y to the 2-crossing
do not spell out the details as we only need the convegence of the number of

We are now ready to prove the Lemma which summarizes the connection between the
asymptotic number of eigenvalues of Schroedinger operators described in Section 2.2 and the
processes introduced above.
Definition 2.16. We say that an interval [a, b] ⊆ [0, T ] is an s-well of X for some s > 0 if:
1. b = T or X(a) = X(b); 2. X(a) > X(x) for all x ∈ (a, b) and X(a) − X(x) ≥ s for some
x ∈ (a, b).
Remark 2.17. Note that the maximal number of disjoint s-wells made by X inside [0, T ] is
equal to the number of s-downcrossings.
Lemma 2.18. Let {H (n) }∞
n=1 be a family of Schroedinger operators, each given by edge
(n) n
(n)
weights {ai }i=1 . Let Hm denote the operator H (n) restricted to the interval [1, m + 1]. For
√
(n)
t, η > 0, let Λn (t, η) denote the number of eigenvalues of Hbtnc inside the interval [0, e−η n ].
Consider a subsequence of n such that btnc is odd. Suppose that Conditions 2.11. 2.12 and
(n)
2.13 are satisfied, including Condition 2.12 with ν = η. In particular, Xn converge to some
function X. Let Λ(t, η) denote the number of 2η-downcrossings of X inside the interval
[0, 12 t]. Then Λn (t, η) converges to Λ(t, η) as n → ∞.
15

Figure 3: X(t) makes a 4-downcrossing at t1 and t3 and 4-upcrossing at t2 and t4 . The
resulting 4-wells are shown in grey.
Proof. Recall that:
(n)
Sk

=

k
X

(n)
Ui

=

k
X

(n)

2 log

(n)

a2i

i=1

i=1

a2i−1

1 (n)
Xn(n) (t) = √ Snt
n
where the superscript n emphasizes that, for different n, the sums S (n) depend on a different
(n)
set of edge weights ai .
(n)
Put T = η12 t. By letting n0 = η 2 n, Λn (t, η) is equal to the number of eigenvalues of HbT n0 c
inside the interval [0, e−

√

n0

]. By Lemma 2.3, this is equal to d 12 Jn e, where Jn is the number of
1

T n0

√

0

2
jumps made up to time 12 T n0 by the process {Y (n),λ }k=1
, with λ = e− n and the underlying
(n)
random walk being Xn0 . Note that the scaling factor n0 is now different than the sample
number n. The factor of 21 appears since each step of the discrete process used in Section
2.3 actually corresponds to two steps of the eigenvalue counting process from Section 2.2(see
equation (10)).
We have:
1 (n) 1 1 (n)
(n)
Xn0 (t) = √ Sn0 t = · √ Sη2 nt
η
n
n0

(n)

(n)

Since by assumption Xn (t) → X(t), we have Xn0 (t) → Xη (t) := η1 · X(η 2 t).
Since X satisfies Condition 2.12 with ν = η, it follows that Xη satisfies the same condition
with ν = 1. Since the assumptions of Theorem 2.14 are satisfied for Xη , the number of jumps
1

T n0

2
made by {Y (n),λ }k=1
converges to the number of 2-down- or upcrossings that Xη makes inside

16

the interval [0, 21 T ]. This is the same as the number of 2η-crossings made by X inside [0, 21 t].
This finishes the proof by noting that if C is the number of 2-down- or upcrossings, then
d 12 Ce is the number of 2-downcrossings since the first crossing is always a downcrossing.

3

Local statistics and the expected spectral measure
at zero

In this section, we use the limiting process from the previous section to derive the limit
of local eigenvalue statistics of Hn and compute µH , the expected spectral measure of the
random Schroedinger operator H, near zero. The main focus of this section are Theorem
3.3, Lemma 3.9 and Theorem 3.10. We shall use the notation from Section 2. Whenever
we speak of convergence in distribution of processes, we shall mean weak convergence of
measures on C([0, T ]).

3.1

Local eigenvalue statistics

In this Section, we consider a random Schroedinger operator with edge weights given by a
sequence of random variables {ai }∞
i=1 . We define:
n

X
1
a2i−1
, Sn =
Ui , Xn (t) = √ Sbntc
Ui = 2 log
a2i
n
i=1
2
Definition 3.1. Suppose that {Ui }∞
i=1 satisfy EUi = 0 and EUi < ∞. We say that Ui satisfy
the functional Central Limit Theorem if Xn converge in distribution on some interval [0, T ]
to a Brownian motion X with mean zero.
2
Proposition 3.2. Suppose that {ai }∞
i=0 are identically distributed and E(log |ai |) < ∞.
Then for any ε > 0 we have:


|log |ak ||
√
P max
>ε →0
k=1,...,n
n

i.e. the sequence of variables {maxk=1,...,n

log |ak | ∞
√
}n=1
n

converges to 0 in probability.

Proof. Let Xk = log2 |ai |, so that EXk < ∞. A simple exercise in probability (see e.g. [Bil95],
Problem 21.3) shows that when variables Xk are identically distributed with EX1 < ∞, we
have E maxk=1,...,n Xk = o(n). This together with Markov’s inequality proves the desired
claim.
If the functional Central Limit Theorem is satisfied, we can use Lemma 2.18 and Skorokhod almost sure representation to obtain convergence in distribution of the local eigenvalue statistics. This describes the limiting local eigenvalue distribution around 0 in terms
of crossings made by a Brownian motion, recall Definition 2.6. We note that the limiting
distribution is not Poisson, as Proposition 3.5 shows that it exhibits a Gaussian tail.
17

Theorem 3.3. Suppose that Ui satisfy the functional Central Limit Theorem and let Var log |ai | =
σ 2 < ∞. Let Hm be the operator H restricted to the interval [1, m + 1]. For t, η > 0, let
{Λn (t, η), t, η > 0} denote√ the random process equal to the number of eigenvalues of Hbtnc
inside the interval [0, e−η n ] and let {Λ(t, η), t, η > 0} denote the random process equal to
the maximal number of disjoint η-wells made by a Brownian motion with variance σ 2 inside
the interval [0, t]. Consider a subsequence of n such that btnc is odd.
Then the process Λn (t, η) converges to the process Λ(t, η), i.e. all finite dimensional
distributions of Λn converge weakly to finite dimensional distributions of Λ.
Proof. By assumption, Xn converge weakly to X, which is a Brownian Motion with variance
8σ 2 . By Skorokhod representation theorem ([Kal02], Theorem 4.30), we can find a common
probability space such that Xn → X uniformly almost surely. The maximum process M − X
is equal in distribution to a reflected Brownian motion and it is standard ([MP10]) that
almost surely the Brownian motion has no isolated zeros. These two facts easily imply
that X almost surely satisfies Condition 2.12 for any value of ν. Moreover, by Proposition
3.2 and almost sure representation of variables converging in probability, we obtain that
Condition 2.13 is satisfied almost surely. Thus, almost surely the conditions of Theorem
2.14 are satisfied.
By Lemma 2.18, for any t, η it holds that Λn (t, η) converges to the number of 2η-wells
that X makes inside the interval [0, 21 t]. By Brownian scaling this has the same distribution
as the number of η-wells that a Brownian motion with variance σ 2 makes inside the interval
[0, t], which is exactly Λ(t, η). The same statement holds for Λn treated as a process - for
any finite number of {(t1 , η1 ), . . . , (tk , ηk )} convergence holds simultaneously almost surely
for all ti , ηi , which implies weak convergence of all finite dimensional distributions.
Note that the limiting 2-crossing process Z 2 is discontinuous, but is right continuous with
left limits. Then Remark 2.15 also implies that the processes Y (n) converge weakly to Z 2 .
We do not describe this in detail as below we only need the weak convergence of the number
of eigenvalues and not of the processes Y (n) themselves.
Remark 3.4. Various questions about the eigenvalues of Hn can be phrased in terms of
(n)
crossings made by the limiting Brownian Motion X. For example, let λ0 be the smallest
− log λ

(n)

positive eigenvalue of Hn . It follows from the preceding Theorem that √n 0 converges in
distribution to the maximal size of a downcrossing made by X inside the interval [0, 1], that
is, the maximal η such that M (t) − X(t) = η for some t ∈ [0, 1]. Since M (t) − X(t) is equal
in distribution to a reflected Brownian motion |X(t)|, we obtain that:
(n)

− log λ0
√
n

=⇒ σ · sup |B(t)|
t∈[0,1]

in distribution, where B(t) is the standard Brownian Motion of variance 1.
Proposition 3.5. With Λ(t, η) defined as in Theorem 3.3, for some constants a, b > 0
depending on t, η, σ we have
2
P(Λ(t, η) > m) ≤ ae−bm
18

Proof. Suppose that Λ(t, η) > m, so X(t) has made more than 2m
η-up- or down-crossings
√
η
t
inside the interval [0, t]. By Brownian scaling, we can put η 0 = σ and instead consider η 0 crossings of a standard Brownian motion inside the interval [0, 1] Let T1 , . . . , T2m be the times
between subsequent η-up- or down-crossings. The times Ti are independent and identically
distributed. Moreover, note that R(t) = M (t) − X(t) has the distribution of a reflected
Brownian motion, so by the reflection principle we have:
η 02

P(Ti ≤ x) = P(max R(t) ≥ η 0 ) ≤ 2 · P(max B(t) ≥ η 0 ) = 4 · P(B(x) ≥ η 0 ) ≤ 4e− 2x
[0,x]

[0,x]

Since there are more than 2m crossings
P2m inside [0, 1], this means that T1 + . . . T2m < 1.
2m
Let ∆2m = {(x1 , . . . , x2m ) ∈ [0, 1] | i=1 xi ≤ 1}. We have:
Z
P(T1 + . . . T2m < 1) ≤

2m
Y

Z
P(Ti ∈ dxi ) ≤ 4

∆2m i=1

Z

1
−2m2 η 02 P2m

4

e

x
i=1 i

≤ 4 · vol(∆2m ) · e−2η

02 ·m2

02

η
− 2x

e

∆2m i=1
−2η 02 ·m2

=4·

∆2m

3.2

2m
Y

i

Z
=4

02

− η2

e

P2m

1
i=1 xi

≤

∆2m

e

(2m)!

The expected spectral measure at zero

Having established weak convergence of the local eigenvalue statistics, we now set the background to compute the expected spectral measure of H. We shall consider sequences of Ui
satisfying the following technical condition:
Condition 3.6. At least one of the following holds:
1. for some γ > 2 we have E |log |ai ||γ < ∞ and for some constant C and any n ≥ 1:
γ

E |U1 + · · · + Un |γ ≤ Cn 2 ,

(19)

2. The ai are i.i.d. and E |log |ai ||2 < ∞.
Note that in the i.i.d. case a standard computation verifies the inequality (19) with
γ = 2. However, we will later work in the setting when Ui are dependent, but exhibit a
suitable correlation decay (see Section 4.2).
Having established weak convergence of the number of jumps, we would like to establish
that the convergence also holds in expectation. This will be implied by the upcoming Lemma
3.8. An important element in the proof is the maximal inequality of [Mó76], whose special
case says the following:
P
Proposition 3.7. Let S(i, j) = jk=i Uk , M (i, j) = maxi≤k≤j S(i, k). If for some γ > 2 and
A > 0 we have:
γ
E |S(i, j)|γ ≤ A(j − i + 1) 2
19

for all j > i ≥ 1, then:

γ

E |M (i, j)|γ ≤ cγ · A(j − i + 1) 2
for all j > i ≥ 1, with the constant cγ depending only on γ.
Lemma 3.8. Suppose that Ui satisfy Condition 3.6. Let Jn be the random variable equal
to the number of jumps made by Y (n) in the interval [1, n]. Then the family of variables
{Jn }n≥1 is uniformly integrable.
Proof. By Proposition 2.9 with δ = 1 and λ = e−
greater than some global constant n0 , where:
Bn =

n
X

√

n

, we obtain Jn ≤ 2Bn + Cn for all n

1{|log|ai ||> 161 √n}

i=1
1 √
is the number of times i such that |log |ai || > 16
n and Cn is the number of 1-crossings
made by Xn . Thus, it suffices to show that Bn and Cn are uniformly integrable. We will first
prove the general case. Then we give a different argument for the i.i.d. case under weaker
moment assumptions.
To prove that Bn is uniformly integrable, it suffices to show that EBn → 0. By Condition
3.6 we can estimate:


1√
E |log |ai ||γ
.
EBn = n · P |log |ai || >
n ≤n·
γ
1 γ
16
)
n 2 ( 16

Since γ > 2, this converges to 0 as n → ∞.
For a crossing [s, t], its length is t − s. To show that Cn are uniformly integrable, it
suffices to show that the expected number of 1-crossings [s, t] of length at most n · 2−`0 is
at most ε(`0 ) for all n, where ε(`0 ) → 0 as `0 → ∞. Indeed, for given `0 the number of
1-crossings that are longer is bounded independently of n.
We first bound the expected number e(n, `) of 1-crossings that are of length at least
n · 2−` and at most 2n · 2−` . To each such crossing [s, t] we associate the first time of the form
k · b2−` nc contained in [s, t] for some integer k. Each such time is contained in at most one
such crossing, so the number of such crossings is bounded above by the sum of the indicators
over such times that a crossing contains that time.
As a consequence, e(n, `) is bounded by the number of such times, which is 2` , times
the maximal probability that a crossing contains a given time. If this happens, then the
range (i.e. the maximum minus the minimum)√of the process Sk over the interval [i,
√j] of
−`
size 4n · 2 centered at that time is at least n. In particular, either M (i, j) ≥ n/2,
or the same holds for the absolute minimum. By Markov’s inequality, Proposition 3.7 and
Condition 3.6 we get
P(M (i, j) ≥

√

n/2) ≤

2γ/2 E|M (i, j)|γ
c · E|S(i, j)|γ
c0 · (4n · 2−` )γ/2
≤
≤
nγ/2
nγ/2
nγ/2
20

giving e(n, `) ≤ 4γ/2 c0 · 2` 2−`γ/2 . As a result, the expected number of 1-crossings of length at
most n · 2−`0 is at most
dlog2 ne

c

X

2`(1−γ/2) <

`=`0

c · 2`0 (1−γ/2)
=: ε(`0 ) → 0
1 − 2(1−γ/2)

as long as γ > 2.
Proof of the i.i.d. case. We now prove the i.i.d. case assuming only E |log |ai ||2 < ∞. It
suffices to show that the variance of Bn is uniformly bounded in n. The Bn are Bernoulli
random variables, so their variance is bounded by their mean. We have


E |log |ai ||2
1√
n ≤n·
E(Bn ) = n · P |log |a1 || >
,
1 2
16
n( 16
)
which is bounded.
To show that Cn is uniformly integrable, it suffices to show exponential tails uniform in
n, namely a bound of the form P(Cn ≥ k) < ck for some c < 1. Let a be a large constant
to be chosen later. We divide the interval [1, n] into a intervals I1 , . . . , Ia of size na . Let Nn,j
denote the number of crossings with starting points in Ij . It suffices to show that each Nn,j
has exponential tails uniform in n.
If the walk makes at least 2 crossings inside Ij √
= [s, t], then the maximal absolute
increment between times
√ s, t in this interval is at least n. With the notation of Proposition
3.7 either M (s, t) ≥ n/2 or the same holds for the absolute minimum. By the classical
Kolmogorov maximal inequality for i.i.d variables
P(M (s, t) > λ) ≤

(s − t) · Var Ui
,
λ2

which gives
P (Ni,j ≥ 2) ≤ 2 ·

n/a · Var Ui
.
n/4

(20)

By choosing a large enough, we can make the right hand side smaller than some global
constant b < 1, which we fix from now on.
We can write for any i:
P(Nn,j ≥ 2i) =

i
Y

P(Nn,j ≥ 2k | Nn,j ≥ 2k − 2)

k=1

If we stop the random walk in the time interval Ij after the 2k − 2nd crossing (when it
exists), the conditional law of the remaining stretch is another independent random walk
in a smaller interval. The conditional probability of the remaining walk making a double
crossing is at most b again. This shows that all terms in the above product are bounded
above by b, so Nn,j has exponential tails uniform in n, as required.
21

The crucial step in computing the spectral measure of H is approximation by an operator
Hn on a finite interval. The spectral measure of Hn is computed in the following lemma.
Lemma 3.9. Fix K > 0 and let n = bK 2 |log ε|2 c be odd (in particular, n → ∞ as ε → 0).
Let Hn be equal to the operator H restricted to the interval {1, . . . , n + 1} and let µn be its
expected spectral measure. Assume that for all i Var log |ai | = σ 2 < ∞. Suppose that:
1. Ui satisfy the functional Central Limit Theorem (Definition 3.1)
2. Ui satisfy Condition 3.6
Then there exists cK such that limK→∞ cK = 0 and for sufficiently small ε:
µn (−ε, ε) −

σ2
log2 ε

≤

cK
log2 ε

Proof. Let MK,n denote the number of eigenvalues of Hn inside the interval [−ε, ε] and let
+
MK,n
denote the number of eigenvalues inside the interval [0, ε]. We start by ruling out zero
eigenvalue of Hn . The equation for eigenvectors (see Section 2.2) with λ = 0 can be solved
recursively and for odd n the only solution is identically zero. Since we assumed n is odd,
all the eigenvalues of Hn are thus nonzero. Since the underlying graph is bipartite, every
eigenvalue λ+ ∈ (0, ε] has a corresponding eigenvalue λ− = −λ+ ∈ [−ε, 0), so:
+
MK,n = 2MK,n

Let JK denote the number of K1 -crossings that a Brownian motion with variance σ 2 makes
inside the interval [0, 1]. By Brownian scaling this is the same as the number of 1-crossings
that a Brownian motion with variance σ 2 makes inside the interval [0, K 2 ]. By assumption,
1 √
satisfy the functional Central Limit Theorem. Since ε = e− K n , by putting
Ui = 2 log a2i−1
a2i


+
t = 1, s = K1 in Theorem 3.3 we obtain that MK,n
converges weakly to 12 JK . Thus we
obtain:


1
+
MK,n = 2MK,n ⇒ 2 JK = JK + 1{JK =2k+1}
2
By Lemma 3.8 the family {MK,n }n≥1 is uniformly integrable since MK,n differs from the
number of jumps by at most one. Weak convergence thus implies convergence in expectation,
so by letting:
aK,n = EMK,n − EJK − E1{JK =2k+1}
(21)
for each fixed K we have limn→∞ aK,n = 0.
We shall now compute EJK . We shall use standard properties of Brownian motion,
which can be found e.g. in [MP10]. We first compute τ , the expected time to make an up
or down crossing. Let X be a Brownian motion with variance σ 2 . Consider τ1 = inf{t ≥ 0 :
M (0, t)−X(t) = 1}. Since M (0, t)−X(t) has the distribution of a reflected Brownian motion,
τ1 has the same distribution as τ2 = inf{t ≥ 0 : X(t) = 1 ∨ X(t) = −1}. It is standard that
22

Eτ2 < ∞. If X(t) is stopped at time τ2 , by Wald identity we obtain EX(τ2 )2 = σ 2 · Eτ2 ,
which gives Eτ2 = σ12 . Clearly we can treat the event {m(0, t) − X(t) = −1} in the same
way, so we have:
1
τ = Eτ2 = 2
(22)
σ
Now, let Ti be i.i.d. random variables equal to the times between successive up or down
crossings made by X(t). Note that ETi = τ and we can write JK as:
JK = sup{n :

n
X

Ti ≤ K 2 }

i=1

In other words, JK is equal to the number of jumps up to time K 2 , made by a renewal
process with expected renewal time τ . By the law of large numbers for renewal processes
K
= τ1 . Let:
[Dur10], it follows that limK→∞ EJ
K2
bK =

1
EJK
−
2
K
τ

(23)

so that limK→∞ bK = 0.
In this way we obtain:
EMK,n (21) EJK + E1{JK =2k+1} + aK,n
=
=
n
n
EJK
E1{JK =2k+1} + aK,n (23) τ1 + bK
E1{JK =2k+1} + aK,n (22)
K2
+
+
=
=
2
2
n
n
log ε
log ε
1
1
σ2
+
(bK + 2 (E1JK =2k+1 + aK,n ))
2
2
K
log ε
log ε

µn (−ε, ε) =

Recall that limn→∞ aK,n = 0, and n = K 2 |log ε|2 , so for fixed K for sufficiently small ε
aK,n < 1. Also, E1{JK =2k+1} ≤ 1. Thus, we can let cK = bK + K32 and the lemma is
proved.
We are now ready to prove our main theorem.
Theorem 3.10. Let µH be the expected spectral measure of H as defined by Definition 2.2.
With notation and assumptions of Lemma 3.9 the following holds:
µH (−ε, ε) =

σ2
(1 + oε (1))
log2 ε

Proof. Let n = K 2 |log ε|2 be equal to n = 2k for some k, with K > 0 to be chosen later.
By Proposition 2.1 and choice of n = 2k , we have dK (µH , µn ) ≤ n1 . By the definition of
the Kolmogorov distance, this implies:
|µn (−ε, ε) − µH (−ε, ε)| ≤
23

2
2
= 2
n
K log2 ε

By Lemma 3.9, there exists some ε(K) such that for all ε < ε(K) we have:
µn (−ε, ε) −

σ2
cK
2 ≤
log2 ε
|log ε|

Using the triangle inequality and multiplying by | log ε|2 /σ 2 we get


2
|log ε|2
1
µH (−ε, ε) ·
−1 ≤ 2
+ cK .
σ2
σ
K2
Since limK→∞ cK = 0, for every δ > 0 we can find K(δ) such that the right hand side is
smaller than δ for all ε < ε(K(δ)), which proves the claim.
We now discuss how the above result relates to Dyson’s results from [Dys53]. Dyson
1

considers random variables λj and the matrix Λ defined by Λj+1,j = −Λj,j+1 = iλj2 and
zero otherwise. He then proceeds to compute the function M (z), defined as the fraction of
1
√ √
eigenvalues of Λ inside the interval (− z, z). To translate to our setting, we put ai = λi2
in the definition of the operator Hn and note that Λ is conjugate√to Hn by a diagonal matrix
A with Ak,k = (−i)k−1 . We then get M (z) = µH (−ε, ε) for ε = z.
In Section VI, Dyson computes the asymptotics of M (z) explicitly for λj drawn from the
nn
λn−1 e−nλ , where n ≥ 1 is an integer parameter. These
probability distribution Gn (λ) = (n−1)!
asymptotics can be easily
√ recovered from Theorem 3.10 by simply computing the variance
Var log |ai | with ai = λi . For example, for n = 1 λj are exponential random variables and
2
by computing the variance of their logarithm we obtain µ(−ε, ε) ∼ |logCε|2 for C = 14 · π6 ,
which is in agreement
√ with Dyson’s explicit computation (formula (72) in [Dys53]; the factor
1
comes from ε = z in the formula for M (z)).
4

4
4.1

Spectral measures for groups
Random Schroedinger operators from group ring elements

In this section, we use random Schroedinger operators to study spectral measures of group
ring elements. The construction and exposition below is based on [Gra14]. We assume
familiarity with Pontryagin duality for Abelian groups.
Let Γ be a discrete group, M a discrete Abelian group and ρ : Γ y M an action of Γ
c denote the Pontryagin dual of M . Each m ∈ M determines a function
on M . Let X = M
m
b : X → C, given by m(x) = x(m), and by linearity we can extend this to C[M ], i.e. to any
f ∈ C[M ] we associate fb : X → C, which we shall call the Fourier transform of f .
Given ρ, we also have a dual action ρb : Γ y X, given by (b
ρ(γ)(x))(m) = x(ρ(γ −1 ) · m).
If we choose a generating set S for Γ, we can consider the Schreier graph Schr(Γ, X, S)
associated to the dual action ρb.
We consider the semidirect product corresponding to the action ρ, i.e. the group G =
M o Γ. Let H ∈ C[G] be a self-adjoint group ring element, which we identify with the
24

corresponding self-adjoint operator H : `2 (G) → `2 (G). Every such element can be written
as:
X
H=
γ · fγ
γ

where fγ ∈ C[M ]. Let fbγ : X → C denote the dual of fγ .
For x ∈ X, let Schr(x) denote the connected component of the Schreier graph Schr(Γ, X, S)
containing x. We define Hx : `2 (Schr(x)) → `2 (Schr(x)) as the convolution operator on
Schr(x) with the following edge labels. The label of edge from y to ρb(γ) · y is given by
fbγ (y). Note that since X is equipped with the Haar measure ν, we can treat Hx as a random
operator, where x is chosen randomly according to ν.
For a self-adjoint H : `2 (G) → `2 (G), µH will denote its spectral measure, i.e. the unique
measure such that for any k ≥ 0, we have:
Z
k
δe , H δe =
xk dµH (x)
R

where δe ∈ `2 (G) equals 1 at e (the identity element) and zero otherwise.
In order to compute µH , we invoke the following theorem [Gra14], which gives the correspondence between the spectral measure of H and the expected spectral measure of Hx .
Theorem 4.1. The spectral measure µH is equal to the expected spectral measure of the
family Hx , i.e. for any Borel subset A:
Z
µH (A) =
µHx (A)dν(x)
X

In the examples we study, we shall take Γ = Z and fγ 6= 0 only for γ = a, a−1 , where
a = 1 is the standard generator of Z. In that case, the corresponding operator Hx can be
easily described. If x ∈ X is chosen from the Haar measure ν on X, for almost every x
Schr(x) will be isomorphic to Z, with the edge weight from n to n + 1 given by fbγ (b
ρ(an )(x)).
Therefore Hx is a random Schroedinger operator on Z, where the randomness in edge weights
fbγ (b
ρ(an )(x)) comes from the random choice of x.
The above correspondence shows that in order to compute µH , it suffices to analyze the
expected spectral measure of the random Schroedinger operator Hx . We shall now perform
this computation for specific examples, using results derived in previous sections.

4.2

Semidirect products by hyperbolic matrices

In this section we consider groups G of the following form.
 Let
 Z act on Z×Z by a hyperbolic
2 1
matrix A ∈ SL(2, Z). For concreteness we take A =
.
1 1
Let G = Z × Z oA Z be the corresponding semidirect product. Let s, t be the standard
generators of Z × Z and let a denote the generator of Z. Note that groups of this type
correspond precisely to lattices in the Sol group [MS12].
25

We consider the switch-walk operator H ∈ C[G] shifted by 5e:
H = a · (s + t + s−1 + t−1 + 5e) + (s + t + s−1 + t−1 + 5e) · a−1
We shall prove the following theorem:
Theorem 4.2. The spectral measure of H ∈ C[G] satisfies:
µH (−ε, ε) =

C
(1 + oε (1))
log2 ε

for some constant C > 0. In particular, the Novikov-Shubin invariant of H is equal to 0.
We start with a technical lemma needed to ensure that assumptions of the main theorem
are satisfied.
Lemma 4.3. Let {Ui }∞
i=1 be a stationary sequence of random variables such that EUi = 0,
4
EUi < ∞. Let Ui1 ,...,ik = Ui1 · · · · · Uik . Assume that Ui1 ,...,ik satisfy uniformly exponential
correlation decay, i.e. there exist c > 0 and λ < 1 such that for any l ≥ 2 and any
i1 ≤ · · · ≤ ik ≤ ik+1 ≤ · · · ≤ il we have:
EUi1 ,...,ik ,ik+1 ,...,il − EUi1 ,...,ik · EUik+1 ,...,il ≤ cλik+1 −ik
Then Ui satisfy Condition 3.6 with γ = 4, i.e. for some constant C > 0:
E(U1 + · · · + Un )4 ≤ Cn2
Proof. Let us expand:
E(U1 + · · · + Un )4 =

X

EUi1 ,...,i4

1≤i1 ,...,i4 ≤n

Let us order the indices so that i1 ≤ · · · ≤ i4 . We define a block of size l to be a maximal
set of indices I = {ik , ik+1 , . . . , ik+l−1 } such that |ik+j − ik+j−1 | ≤ b log n for j = 1, . . . , l − 1,
with b chosen so that cλb log n = n−2 .
Consider a term in which there is a block containing only a single index ik . The number
of such terms is at most n4 . By correlation decay, for each such term we can write:
EUi1 ,...,ik−1 ,ik ,...,i4 ≤ EUi1 ,...,ik−1 · EUik ,...,i4 + n−2 ≤ EUi1 ,...,ik−1 · (EUik · EUik+1 ,...,i4 + n−2 ) + n−2
Since EUi = 0, the contribution from a single such term is O(n−2 ), so the total contribution
from such terms is O(n2 ).
If there is no block with only a single index, then there is either one block {i1 , i2 , i3 , i4 } or
two blocks {i1 , i2 }, {i3 , i4 }. The number of one block terms is at most n · (b log n)3 = O(n2 ),
so we only need to bound the contribution from the two block terms. Note that for any k:
EUik ik+1 ≤ cλik+1 −ik
26

Since i3 − i2 > b log n, we have:
EUi1 ,i2 ,i3 ,i4 ≤ EUi1 ,i2 · EUi3 ,i4 + n−2 ≤ c2 · λi2 −i1 · λi4 −i3 + n−2
The second term is again bounded by the number of possible terms n4 times n−2 , which
gives O(n2 ). For the first term on the right hand side, there are n choices for i1 and i3 , and
once these are chosen, summation over possible values of i2 and i4 gives a geometric series
1
, so we obtain that the total contribution is also O(n2 ).
bounded by 1−λ
Proof of Theorem 4.2. We apply the construction from Section 4.1. The Pontriagin dual of
Z × Z is equal to T = S 1 × S 1 , with the dual action ρb given by ρb(a)(x) = AT x. To simplify
expressions we define B = AT . Let f = s + t + s−1 + t−1 + 5e. The dual fb : T → C is given
by:
fb(z1 , z2 ) = 2Rez1 + 2Rez2 + 5
By construction from Section 4.1, the random Schroedinger operator corresponding to H is
given as follows. The random edge weight from n to n + 1 is given by an = fb(B n x), where
x ∈ T chosen uniformly from the Haar measure.
It suffices to check that the random Schroedinger operator defined as above satisfies the
explicitly, we obtain:
assumptions of Theorem 3.10. Writing Ui = log a2i−1
a2i
fb(B 2i−1 x)
Ui = log
fb(B 2i x)
Letting φ : T → R be equal to:
φ(y) = log

2Re(B −1 y1 ) + 2Re(B −1 y2 ) + 5
2Re(y1 ) + 2Re(y2 ) + 5

(24)

and S = B 2 we can write Ui = φ(S i x). Note that, thanks to the shift by 5e, φ is a well
defined C ∞ -function on T.
We first check that Ui satisfy the functional Central Limit Theorem. We say that φ :
T → R is a coboundary if there exists a measurable h such that φ = h − h ◦ S. We can
invoke the functional Central Limit Theorem proved for actions of toral automorphisms in
[LB99], which can be stated as follows:
Proposition 4.4. Let S : T → T be a toral map generated by a hyperbolic matrix. Let
φ ∈ L2 (T) with Fourier series:
X
φ(·) =
ck · e2iπhk,·i
k∈Z2

R

such that c0 = T φ = 0.
If φ is not a coboundary and the Fourier coefficients ck satisfy for some A > 0 and θ > 2:
c(k1 ,k2 ) ≤ A

2
Y
i=1

1
1
2

(1 + |ki |) logθ (2 + |ki |)

then the functional Central Limit Theorem holds for the sequence {S i φ}∞
i=0 .
27

(25)

This statement is implied by the main theorem of [LB99] via Remark 1 therein.
Since φ as defined is (24) is a smooth function, its Fourier coefficients ck decay faster
than any polynomial |k|−α , so in particular condition (25) is satisfied.
It remains to check that φ is not a coboundary.
To this end, it suffices to exhibit a
Pk−1
k−1
i
periodic orbit {x, Sx, . . . , S x} such that i=0 φ(S x) 6= 0. Recalling that S = B 2 and
φ(y) = g(B −1 y) − g(y) for g(y) = log |2Rey1 + 2Rey2 + 5|, this is equivalent to:
g(x) + g(B 2 x) + · · · + g(B 2k x) 6= g(Bx) + g(B 3 x) + · · · + g(B 2k+1 x)
(26)


2 1
Recall that B = AT =
. It is readily checked that the set {( 13 , 0), ( 32 , 13 ), ( 23 , 0), ( 13 , 23 )}
1 1
4
4
3
4
2
2
is periodic and corresponds to the set of points {(e 3 iπ , 1), (e 3 iπ , e 3 iπ ), (e 3 iπ , 1), (e 3 iπ , e 3 iπ )} ⊆
T. After computing both sides of (26) we conclude that they are not equal, which proves
that φ is not a coboundary. Note that this is the only step of the proof where we use the
specific form of the matrix A and the same proof will hold for different choices of A, provided
one can prove that φ is not a coboundary (e.g. by exhibiting a suitable periodic orbit).
The second step is to verify that Ui satisfy Condition 3.6. This is taken care of by
Lemma 4.3, provided we can establish uniform exponential correlation decay. Actions of
hyperbolic matrices are well known to satisfy such exponential decay of correlations for
smooth observables. We use the main theorem from [Rue76], which implies the following as
a special case:
Proposition 4.5. Let S : T → T be a toral map generated by a hyperbolic matrix. Then
there exist C, k > 0 such that if φ0 , φ00 : T → R are C 1 functions, we have:
0

00

0

µ((φ0 ◦ S −m ) · (φ00 ◦ S −m )) − µ(φ0 ) · µ(φ00 ) ≤ Ckφ0 kC 1 · kφ00 kC 1 · e−k|m −m
R
where µ(f ) = T f dµ and µ is the Lebesgue measure.

00 |

We use the notation of Lemma 4.3. Let l ≥ 2 and let i1 ≤ · · · ≤ ik ≤ ik+1 ≤ · · · ≤ il be
such that |ik+1 − ik | ≥ n. Define:
0

φ (x) = Ui1 +n,...,ik +n =

k
Y

Uij +n =

j=1
00

φ (x) = Uik+1 ,...,il =

l
Y
j=k+1

Uij =

k
Y

φ(S ij +n x)

j=1
l
Y

φ(S ij x)

j=k+1

so that EUi1 ,...,ik = µ(φ0 ◦ S −n ) = µ(φ0 ) and EUik+1 ,...,il = µ(φ00 ).
With this notation, we have:
Ui1 ,...,il =

l
Y

Uij = (φ0 ◦ S −n ) · φ00

j=1
0

−n

00

and EUi1 ,...,il = µ((φ ◦ S ) · φ ). Note that kφ0 kC 1 , kφ00 kC 1 are bounded by a global constant
that depends only on l and kφkC 1 . Applying Proposition 4.5 for m0 = 0, m00 = n proves that
the assumptions of Lemma 4.3 are satisfied, so Ui satisfy Condition 3.6.
28

4.3

Lamplighter groups

We shall now describe how a similar approach can be used for computing spectral measures
of lamplighter groups. We start with the standard lamplighter group Z2 o Z = ⊕Z Z2 o Z.
Let Z2 = {e, t}. Let e0 denote the element of ⊕Z Z2 that has e at every position and
let ti denote the element of ⊕Z Z2 that has t at position zero and e elsewhere. Consider the
switch-walk operator H ∈ C[Z2 o Z] given by:
H = a · (p · e0 + (1 − p) · t0 ) + (p · e0 + (1 − p) · t0 ) · a−1
so letting fa = p · e0 + (1 − p) · t0 we have:
H = a · fa + fa · a−1
This operator corresponds to the random walk on G where at each step we move either left
or right and then either leave the current lamp intact with probability p or change it with
probability 1 − p.
Q
The Pontriagin dual of M = ⊕Z Z2 is equal to X = Z Z2 , with the Haar measure on
X being the usual product measure. Since ρ : Z y M is action by translations, the dual
action ρb : Z y X is given by (b
ρ(a)(y))j = yj−1 , i.e. the Bernoulli shift. Therefore, the edge
weights in the corresponding
random
Schroedinger operator will be
Q
Q i.i.d. with distribution
y0
b
b
determined by fa : Z Z2 → C. Since eb0 = 1, t0 = (−1) , for y ∈ Z Z2 we have:
fba (y) = p + (1 − p)(−1)y0
so the edge weight is equal to 1 or 2p − 1 with probability
We consider p 6=

1
,
2

1
2

each.

as otherwise the relevant random variables log

a2i−1
a2i

are infinite with

positive probability (note that p = 21 gives edge weights 0 or 1, i.e. the edge percolation on
Z). For such an operator we can apply Theorem 3.10 and obtain the spectral measure at
zero to be µH (−ε, ε) ≈ |logCε|2 , with C = 14 (log |2p − 1|)2 .
A similar approach can be used for general lamplighter groups of the form G = Λ o Z,
where the lamp group Λ is not necessarily
Abelian or finite. Let Λ be generated by a set S
P
1
s
closed under inverses and let λ = |S|
s∈S 0 . Consider the switch-walk operator H ∈ C[G]
given by:
H = a · λ + λ · a−1
Such an operator corresponds to the random walk on G where at each step we move either
left or right and then change the lamp by performing a step of a simple random walk in Λ.
In this setting, it is known (Grabowski and Virág, unpublished) that the random Schroedinger
operator corresponding to H is obtained by putting i.i.d. weights on the edges, each drawn
from the distribution given by µλ , the spectral measure of the simple random walk on Λ. As
before, we are in position to use Theorem 3.10 and get µH (−ε, ε) ≈ |logCε|2 .
NoteP
that this method can be extended to H of more general form, where instead of
1
λ = |S| s∈S s0 we consider general elements f ∈ C[⊕Z Λ], in particular, involving si for
29

i 6= 0. In that case, the edge weights in the corresponding random Schroedinger operator
will not be independent anymore. However, what remains true is the edge weights are
obtained by a factor of i.i.d. process. More precisely, if f contains only si for |i| ≤ k, the
edge weights in the operator will be obtained as follows - we put i.i.d. labels on the edges and
then each edge is assigned a weight that depends only on the labels in a neighborhood of that
edge of size k. Thus, the obtained weights are weakly dependent and the same technique as
in Section 4.2 can be used to obtain the theorem in this case.

Acknowledgements
The work was supported by the Canada Research Chair program, the Marie Curie grant
SPECTRA, the OTKA grant K109684, and the NSERC Discovery Accelerator Program.

References
[Bil95]

Patrick Billingsley, Probability and Measure, 3 ed., Wiley-Interscience, April 1995.

[BS10]

Zhidong Bai and Jack W. Silverstein, Spectral analysis of large dimensional random
matrices, second ed., Springer Series in Statistics, Springer, New York, 2010.

[BSV13] Charles Bordenave, Arnab Sen, and Balint Virag, Mean quantum percolation, http:
//arxiv.org/abs/1308.3755, 2013.
[CP89]

Massimo Campanino and J. Fernando Perez, Singularity of the density of states for
one-dimensional chains with random couplings, Communications in Mathematical
Physics 124 (1989), no. 4, 543–552.

[Dur10] R. Durrett, Probability: Theory and examples, Cambridge Series in Statistical and
Probabilistic Mathematics, Cambridge University Press, 2010.
[Dys53] Freeman J. Dyson, The dynamics of a disordered linear chain, Phys. Rev. 92 (1953),
1331–1338.
[Eck00] Beno Eckmann, Introduction to l2-methods in topology: Reduced l2-homology, harmonic chains, l2-betti numbers, Israel Journal of Mathematics 117 (2000), no. 1,
183–219 (English).
[ER78]

T. P. Eggarter and R. Riedinger, Singular behavior of tight-binding chains with
off-diagonal disorder, Phys. Rev. B 18 (1978), 569–575.

[Gra14] Lukasz Grabowski, On turing dynamical systems and the atiyah problem, Inventiones mathematicae 198 (2014), no. 1, 27–69 (English).
[GV]

Lukasz Grabowski and Balint Virag, Spectra of lamplighter graphs via
random schrodinger operators, http://people.maths.ox.ac.uk/grabowski/
lamplighters_via_schroedinger.pdf.
30

[Kal02] O. Kallenberg, Foundations of modern probability, Probability and Its Applications,
Springer New York, 2002.
[LB99]

Stéphane Le Borgne, Limit theorems for non-hyperbolic automorphisms of the torus,
Israel Journal of Mathematics 109 (1999), no. 1, 61–73 (English).

[LL95]

John Lott and Wolfgang Lück, L 2-topological invariants of 3-manifolds, Inventiones mathematicae 120 (1995), no. 1, 15–60 (English).

[Lüc02] W. Lück, L2-invariants: Theory and applications to geometry and k-theory, A Series
of Modern Surveys in Mathematics Series, Springer, 2002.
[Mó76]

F. Móricz, Moment inequalities and the strong laws of large numbers, Zeitschrift
für Wahrscheinlichkeitstheorie und Verwandte Gebiete 35 (1976), no. 4, 299–314
(English).

[MP10] P. Mörters and Y. Peres, Brownian motion, Cambridge Series in Statistical and
Probabilistic Mathematics, Cambridge University Press, 2010.
[MS12]

Emil Molnár and Jenő Szirmai, Classification of sol lattices, Geometriae Dedicata
161 (2012), no. 1, 251–275 (English).

[Rue76] David Ruelle, A measure associated with axiom-a attractors, Am. J. Math. 98
(1976), 619–654 (English).

31

