Poisson statistics for one-dimensional Anderson–Bernoulli Schrödinger operators

IDS unfolding. Recall the IDS-unfolded point process

Fix R>0 and an integer k\geq1, set s=2k, and choose a partition

Choose an open interval J containing E on which N is continuous and strictly increasing. For all sufficiently large n, define the unique energies E'_{i,n}\in J by

Continuity of the local inverse gives E'_{i,n}\to E, with E'_{k,n}=E exactly, and

Since N(E) lies in the interior of N(J), global monotonicity excludes energies outside J from the unfolded window [-R,R] for large n. For each eigenvalue, strict monotonicity inside J gives

Counting these eigenvalues yields

Proposition 5.1 and Lemma 5.2 show that these counts converge jointly to independent Poisson variables with means x_i-x_{i-1}. Lemma 5.4 therefore proves \xi_{n,E}\Longrightarrow\Pi. Proposition 5.3 verifies the required IDS hypothesis at every stated Bernoulli bulk center.

Linear scaling. If 0<\rho(E)=N'(E)<\infty, use instead

These endpoints again converge to E and include the exact anchor \widetilde E'_n(0)=E. Differentiability at this single point gives

Every adjacent rate consequently tends to x_i-x_{i-1}>0. Proposition 5.1 and Lemma 5.2 also give the grid-count limits for the linearly rescaled point process. Lemma 5.4 completes the proof. No local inverse or differentiability away from E is used in this part.

The condition u_{n+1}(E')=0 is the Dirichlet eigenvalue condition, or \theta_n(E')=\pi/2 modulo \pi. To see that the phase is strictly decreasing in E', abbreviate \theta_j=\theta_j(E') and write \dot\theta_j=d\theta_j(E')/dE'. Since \theta_0=0, (?) gives

At each subsequent step the chain rule gives

Here \partial_{E'}F differentiates at fixed input phase; the first term accounts for the energy dependence of that input. The last inequality follows inductively from \dot\theta_j<0 and the positive denominator. Thus \dot\theta_n<0 for every n\geq1. As E' increases from -\infty to +\infty, the phase decreases from n\pi to zero. The n simple Dirichlet eigenvalues are its successive half-integer crossings. This gives (2.1), with the displayed strict endpoint convention. The non-strict count is n-\lceil(\theta_n(E')-\pi/2)/\pi\rceil; subtract its values at E'' and E' to obtain (2.1).

First suppose 0\leq x-y<\pi, and let J be the oriented arc from y to x in \mathbb {RP}^{1}, in the increasing angular direction. Since F_{E'}(v,\cdot) is an increasing degree-one lift,

This equality also holds when J or its image crosses the fixed cut: the continuous lift counts the wrapped part of the arc. In particular, no independent integer correction is omitted. Integrating and using (?),

This proves (2.4) for such gaps. Equivariance adds the appropriate integer multiple of \pi for an arbitrary gap. Define the averaged increment

For any x\geq y, subtracting its values at x and y gives

where the last equality is exactly (2.4). Thus g_{E'} is constant on \mathbb R. Denote this common value by r_{\mathrm{rot}}(E'); this proves (2.4).

We now identify the rotation increment in terms of the IDS. Start the physical recursion with (u_1,u_0)=(1,0), hence \theta_0=0. By (2.4),

The periodic difference \mathcal H_{E'}(x)-x is bounded, so \mathbb E\theta_n/n\to r_{\mathrm{rot}}(E'). Lemma 2.1 identifies the normalized expected eigenvalue count with 1-r_{\mathrm{rot}}(E')/\pi in the limit. This proves (2.4).

If E'_m\to E', compactness and the continuous dependence of the inverse transition kernel show that every subsequential limit of \nu_{E'_m}^- is stationary at E'. Uniqueness identifies it with \nu_{E'}^-. Since the limiting law is non-atomic, weak convergence gives uniform convergence of its distribution functions, hence of the normalized lifts. On the compact interval I, this continuous family is uniformly continuous in energy and equicontinuous in phase, which gives both moduli. Finally, the integrand in the displayed formula for N(E') is continuous in energy and lies in [0,\pi]. Dominated convergence proves continuity of N, and hence of r_{\mathrm{rot}}=\pi(1-N).

For any integer k, monotonicity, \pi-equivariance and (?) give

Taking k=0 and then k=\lfloor D_j/\pi\rfloor proves the first two assertions.

For the upper bound, whenever D_j<m\pi, write

The first bound follows from \theta_j<\phi_j+m\pi by monotonicity and equivariance; the second is (?). At a finite first crossing, j=T_m-1\geq0 satisfies D_j<m\pi\leq D_{j+1}, which proves (3.1).

Finally, with k=\lfloor D_j/\pi\rfloor, the same estimate at level (k+1)\pi gives D_{j+1}<(k+1)\pi+\delta<(k+2)\pi when \delta<\pi, so at most one new integer level is crossed.

Since v_j is independent of \mathcal F_j, Lemma 2.4, specifically (2.4) and (2.4), gives

The same fresh variable is used in both terms; linearity of conditional expectation requires no independence between these two terms. Before exit, monotonicity, \pi-equivariance, and the energy continuity modulus give (3.2). On \{T<\infty\}, define the overshoot at the first crossing by \varepsilon:=D_T-\pi. Lemma 3.1 gives 0\leq\varepsilon\leq\delta, hence \theta_T=\phi_T+\pi+\varepsilon. By \pi-equivariance of \mathcal H_{E'},

The first and second brackets have absolute values at most \omega_{\mathrm{ph}}(\delta) and \omega_{\mathrm{en}}(\delta), respectively. This proves (3.2) pathwise, with a bound uniform in the exit time.

First compare the two-energy pair with a pair at the single energy E'. Starting from (\theta,\phi), let \widehat\phi_k evolve at E' from \widehat\phi_0=\phi, with the same potentials as \theta_k and \phi_k. Iterating the uniform one-step Lipschitz bound and (?) over the fixed L steps gives |\phi_L-\widehat\phi_L|\leq C\delta. Since \bigl||\sin a|^r-|\sin b|^r\bigr|\leq|a-b|^r, Lemma 3.3 yields

The purpose of V is to turn this L-step contraction into a one-step drift estimate. Positivity of Q and Q1=1 give (3.4), while cancellation of the intermediate powers gives

proving (3.4). Each Q^kf(\theta,\phi) is an expectation with the initial phases fixed. Thus V_j:=V(\theta_j,\phi_j) is a function of the current phases and is \mathcal F_j-measurable. The Markov property gives

To derive (3.4), choose a deterministic integer N with \tau\leq N. Since \{j<\tau\}\in\mathcal F_j, multiply this conditional inequality by \1_{\{j<\tau\}} and take expectations. The pathwise identities

then give

Rearranging and using V_0\leq L and V_\tau\geq0 proves (3.4). The constant C comes from the fixed-L comparison and is independent of N and \tau.

Iterating Q^Lf\leq q_0f+C\delta^r gives Q^{kL}f\leq q_0^kf+C\delta^r/(1-q_0). If j=kL+s, 0\leq s<L, apply Q^s and use Q^sf\leq1. The estimate is uniform pointwise in the initial state, so it may also be integrated against its law.

We split the sum into three regions: near 0, in the middle, and near \pi. The coordinate is small in the first region; the time spent in each of the other two is small on the IDS scale. Throughout this proof, C>0 denotes a constant that may change from line to line and depends only on \mu and the fixed reference energy E. In particular, it is independent of E', \delta, the initial state, and h. Since \mathbb E T<\infty and the stopped coordinate is uniformly bounded, the bounded-stopping argument of Lemma 3.6, applied at \sigma\wedge m and then passed to the limit, gives, for every stopping time \sigma\leq T,

By Lemma 3.6, we have

Fix 0<h<\pi/4.

1. Near 0: the coordinate is small. If D_j\leq h, then |W_j|\leq\omega_{\mathrm{ph}}(h)+\omega_{\mathrm{en}}(\delta). By (Proof), this region contributes at most C[\omega_{\mathrm{ph}}(h)+\omega_{\mathrm{en}}(\delta)] to the left side of (3.7).

2. In the middle: contraction controls occupation. Apply (3.4) to T\wedge m and let m\to\infty. Nonnegativity and monotone convergence give

On h<D_j<\pi-h, we have |\sin D_j|\geq\sin h, while (3.2) gives |W_j|\leq\pi+\omega_{\mathrm{en}}(\delta) for j<T. Thus the middle region contributes at most C(\Delta N_{E',\delta}+\delta^r)/(\sin h)^r. For fixed h>0, this tends to zero as \delta\downarrow0; the exponent r from Lemma 3.3 only needs to be fixed and positive, and its numerical value is not needed. The error in (?) is the rescaled quantity C\delta^r(\pi\Delta N_{E',\delta}\mathbb E T)\leq C\delta^r\to0, by (Proof). The unscaled C\delta^r\mathbb E T need not tend to zero.

3. Near \pi: little remaining time on the IDS scale. Here |W_j| need not be small, so we instead control how many times the gap lies in [\pi-h,\pi) before T. Let \sigma_h be the first time the gap reaches or exceeds \pi-h:

Since D_T\geq\pi and T<\infty almost surely, \sigma_h\leq T. Every visit to [\pi-h,\pi) before T occurs at or after \sigma_h, so pathwise

We count all times from \sigma_h to T-1, including times when the gap has left this region. Thus this bound also covers later returns, and it suffices to control \mathbb E(T-\sigma_h).

At \sigma_h, we have \theta_{\sigma_h}\geq\phi_{\sigma_h}+\pi-h. Monotonicity, \pi-equivariance and the continuity moduli therefore give

This calculation also applies when \sigma_h=0 or \sigma_h=T. At exit, W_T\leq\pi+\omega_{\mathrm{exit}}(\delta). Subtracting the stopped-drift identities (Proof) at \sigma_h and T now gives

Thus, once the gap first reaches \pi-h, little mean waiting time remains on the IDS scale. Since (3.2) bounds |W_j| uniformly before T, the contribution of this region is bounded by

Combining the three regions, we obtain

The constant C is independent of h. First let \delta\to0 at fixed h, then let h\to0. This proves the uniform limit.

By Lemma 3.6, T is integrable and \pi\Delta N_{E',\delta}\mathbb E T\leq C uniformly. We first prove the Laplace profile (3.8), then deduce the exponential law (3.8) for small initial gaps.

The stopped drift gives a geometric discount. Fix q>0. We seek an affine function of W whose discounted expectation changes little up to T. Its conditional expectation is determined by the exact drift (3.2). The exit bound (3.2) suggests normalizing this function to equal 1 at \pi, giving w\mapsto(1+qw)/(1+q\pi). Set \rho=(1+q\pi\Delta N_{E',\delta})^{-1}\in(0,1). Then \rho(1+q\pi\Delta N_{E',\delta})=1 makes the drift cancel the constant loss from discounting. The remaining term is proportional to W_j, and Lemma 3.7 makes its accumulated contribution before T vanish. Comparing initial and terminal expectations will therefore determine \mathbb E\rho^T. Using (3.2) and \mathcal F_j-measurability of W_j,

where the last equality uses \rho-1=-q\pi \Delta N_{E',\delta}\rho. Stop and telescope at T\wedge m. The uniform stopped bound on W and \mathbb E T<\infty justify dominated convergence on both sides, giving

Using |W_T-\pi|\leq\omega_{\mathrm{exit}}(\delta) in (?) gives

The limit follows from 0<\rho<1 and Lemma 3.7.

The mean bound allows an exponential discount. Write

Then 0<a_{E',\delta}\leq q, a_{E',\delta}\to q, and \rho^T=e^{-a_{E',\delta}\pi \Delta N_{E',\delta}T}. The mean bound in Lemma 3.6 and the inequality |e^{-ax}-e^{-bx}|\leq|a-b|x for a,b,x\geq0 give

Combining these two limits proves (3.8) uniformly.

Small initial gaps identify the exponential law. If 0\leq D_0\leq h_\delta\to0, continuity of the coordinate gives

For each s>0, take q=s/\pi in (3.8) to obtain, uniformly over these initial states,

The limit is the Laplace transform of \operatorname{Exp}(1). The continuity theorem for Laplace transforms [Feller1971, Chapter XIII, Section 1] therefore gives (3.8). Applying this theorem along every allowed sequence of energies and initial states proves the asserted uniformity.

Let \tau be an almost surely finite stopping time. Since D_\tau=\pi K_\tau+R_\tau, remove the completed periods by setting

Adding an integer multiple of \pi leaves the projective phase unchanged. By equivariance, these lifts satisfy (?); their first crossing time \widehat T is the time from \tau to the next increase of K. The future potentials are iid and independent of \mathcal F_\tau. On a past-measurable event where R_\tau\leq g_\delta<\pi with deterministic g_\delta\to0, the initial transformed gap has absolute value at most \omega_{\mathrm{ph}}(g_\delta)+\omega_{\mathrm{en}}(\delta). Thus (3.8) of Theorem 3.8 and the mean estimate of Lemma 3.6 give

Lemma 3.6 makes T_1 integrable. At each finite T_m, Lemma 3.1 gives 0\leq R_{T_m}\leq\delta; applying the uniform mean bound to the restarted chain proves inductively that all T_m are integrable and finite. Since R_{T_0}=D_0\leq h_\delta, (Proof) applies at every T_{m-1} with g_\delta=\max(h_\delta,\delta).

Fix q_1,\ldots,q_K\geq0 and condition successively at T_{K-1},\ldots,T_0. The preceding exponential factors lie in [0,1], so the deterministic errors in (Proof) add to a quantity tending to zero. Hence

Joint Laplace-transform convergence gives the asserted independent exponential limit, with the same uniformity.

Because the floor count is nondecreasing,

By (?), each positive integer tail converges to \Gamma_k(t). Writing \Gamma_0(t)=1 for t\geq0, adjacent differences give

These limiting probabilities sum to one, giving weak convergence on \mathbb N. The same sequential argument gives uniformity.

Fix an integer M\geq1 to truncate the number of crossings. A crossing in this window is either among the first M crossings or implies T_{M+1}\leq\lfloor n(t+\varepsilon)\rfloor. Thus (?) gives

First let \varepsilon\downarrow0. Continuity of the \Gamma_k leaves only \Gamma_{M+1}(wt), which tends to zero as M\to\infty. All arrival estimates are uniform in the initial state.

The subdivision argument below is related to the phase-counting proofs of independence in Allez and Dumaz [AD14, Section 3.2] and Kotani and Nakano [KN17, Section 5.3].

We divide the sites into m blocks; after n\to\infty at fixed m, the total error from blocks with multiple crossings is O(m^{-1}), which vanishes as m\to\infty. With high probability, the single-crossing conditional probabilities are approximately w_i/m, uniformly over the past, so successive conditioning yields the independent Poisson limit.

Block starts and the full energy interval. The floor operation gives the exact identity

Fix m\geq1 and define the block endpoints by

Block b uses the potentials v_j with

Here b labels spatial blocks, while i labels energy windows. We first let n\to\infty with m fixed. Lemma 4.4 applies to each energy pair at the finitely many positive times (b-1)/m, while R_i(0)=0. Since s and m are fixed, choose a common deterministic h_n\downarrow0 such that, for 1\leq b\leq m, the events

satisfy \max_{1\leq b\leq m}\mathbb P(G_{b,n}^{\complement})\to0. On G_{b,n}, the restarted adjacent gaps are at most h_n, and the gap for the full interval is at most sh_n.

Let w_* =\sum_{i=1}^s w_i and define the block increments by

On G_{b,n}, \sum_{i=1}^s R_i(j_{b-1})\leq sh_n<\pi for large n, so the initial floor in (?) vanishes. Subtracting that identity at the two block endpoints gives

The terminal floor is nonnegative because each R_i(j_b)\geq0.

Crossings within one spatial block. The count K_* lets us control, for every block b, two or more crossings across the energy windows through the single event \{\Delta K_*^{(b)}\geq2\}. After removing the completed periods from D_i at j_{b-1}, \Delta K_i^{(b)}\geq k means exactly that the restarted T_k is at most j_b-j_{b-1}. Since \Delta N_{i,n}(j_b-j_{b-1})\to w_i/m, (?), also applied to the two extreme energies, gives a common deterministic \varepsilon_n(m)\to0 such that, on G_{b,n},

The error is uniform in the restart phases, in gaps at most sh_n, and in the finitely many block and window indices. The deterministic telescoping identity \Delta N_{*,n}=\sum_{i=1}^s\Delta N_{i,n} gives n\Delta N_{*,n}\to w_*. Thus the single-interval law (?), applied directly to E'_{0,n} and E'_{s,n}, bounds the second probability by \Gamma_2(w_*/m)+\varepsilon_n(m), without assuming independence between the smaller intervals. Finally, (?) gives \Gamma_2(w_*/m)\leq w_*^2/(2m^2).

For fixed t_1,\ldots,t_s\geq0, define \Lambda=\sum_{i=1}^s w_i(1-e^{-t_i}). On G_{b,n}, separating zero or one crossing from multiple crossings gives

The error covers multiple crossings, which require \Delta K_*^{(b)}\geq2. Using 1-e^{-w_i/m}=w_i/m+O(m^{-2}) yields

Here C depends only on the fixed windows and their limiting rates.

Combining the spatial blocks. Take m>w_*, so 1-\Lambda/m\in[0,1]. Take conditional expectations from the last block backwards, using (?) on each G_{b,n} and the bound 2 on its complement. All earlier block factors are measurable and bounded by one, giving

First let n\to\infty at fixed m, and then let m\to\infty. The joint Laplace transform then converges to \exp[-\sum_{i=1}^s w_i(1-e^{-t_i})]. The multivariate Laplace continuity theorem [LastPenrose2018, Proposition B.10] proves the asserted independent Poisson limit.

Lemma 2.1 expresses C_i(n) as a difference of ceilings of the endpoint phases, measured from the Dirichlet boundary \pi/2 modulo \pi. Since D_i(n)=\pi K_i(n)+R_i(n), taking the integer K_i(n) outside the ceiling gives

The difference can be nonzero only if the interval of length R_i(n) starting at \theta_n(E'_{i,n}) contains a boundary angle. In particular,

Fix h>0. If \max_{1\leq i\leq s}R_i(n)\leq h, consecutive endpoint phases are at distance at most h modulo \pi. Starting from E'_{k,n}=E, at most s such steps place every endpoint phase within distance sh of \theta_n(E). Thus a counting mismatch requires either a residual larger than h or the fixed-energy phase to be within (s+1)h of the boundary:

For fixed h, the first term tends to zero by Lemma 4.4. Lemma 4.5, applied with \beta=\pi/2, makes the limit superior of the second term tend to zero as h\downarrow0. This proves the assertion.

Fix u<v such that (u,v) meets (c-2,c+2) for some c\in\{a,b\}. On L sites with potential equal to c at every site, the Dirichlet eigenvalues are

This follows by substitution of the sine vectors [Teschl2000, Section 1.3]. Since the angles have spacing \pi/(L+1), we can choose L large enough that at least nine eigenvalues lie in (u,v). Fix this L for the rest of the argument.

For n a multiple of L, divide the n sites into n/L consecutive intervals of length L, and select those on which every potential equals c. Write \alpha=\mu(\{c\})>0. Each interval is selected with probability \alpha^L, so the expected number selected is (n/L)\alpha^L. Since L is fixed, this probability stays positive as n grows.

Cut the bonds at the ends of the selected intervals. There are at most two cuts per selected interval, and each cut changes the matrix by rank at most two. Rank comparison at u and v [Bai1999, Lemma 2.2] therefore bounds the total change in the number of eigenvalues in (u,v] by eight times the number of selected intervals. After cutting, each selected interval contributes at least nine eigenvalues, and the remaining pieces contribute nonnegative counts. Thus the original chain has at least as many eigenvalues in (u,v] as there are selected intervals. Taking expectations gives

Here \alpha>0 and the finite integer L are fixed independently of n, so \alpha^L/L is a fixed positive lower bound. Taking the IDS limit along multiples of L proves N(v)-N(u)\geq\alpha^L/L>0.

Finally, let E\in\operatorname{int}\Sigma and choose an open interval I containing E with I\subset\Sigma. Every nonempty open subinterval of I meets (a-2,a+2) or (b-2,b+2), so the preceding argument gives N(u)<N(v) for all u<v in I. This includes the case where the two closed bands touch at E. Continuity was established in Lemma 2.5.