# Surface Localization in Impurity Band with Random Displacements and Long-Range Interactions.

1. Introduction1.1. The Model. By a random displacements Hamiltonian in [R.sup.d] one usually calls a random Schrodinger operator of the form

[mathematical expression not reproducible], (1)

where h > 0, [Z.sup.d] [subset] [R.sup.d] is a discrete lattice (usually periodic), and [X.sub.a]([omega]) are random positions of the "scatterers" labeled by the lattice sites a and characterized by the local potentials ("scatterer potentials") [u.sub.a]. In particular, all [u.sub.a] may be identical. Here [V.sub.0](x) is a nonrandom component of the potential generated by the media, which one may choose to be trivial ([V.sub.0](x) [equivalent to] 0) or not. Generally speaking, such models are more difficult to study than the random alloy models with Hamiltonians

[mathematical expression not reproducible], (2)

where the randomness resides in the IID (independent and identically distributed) amplitudes [c.sub.a]([omega]), and the latter are usually assumed to have a Lipschitz- or Holder-continuous probability distributions.

There is a considerable wealth of mathematical research papers and monographs on alloy models and their finite-difference analogs, while the number of rigorous results on the random displacements models (RDM, in short) remains quite limited.

Both in the class of alloy models and the RDM, one usually assumes u to be compactly supported; this is of course a conscious simplification of the physical reality where the fundamental interactions have infinite range. Indeed, a rigorous study of long-range models is substantially more complicated due to the long-range correlations induced by u.

In the present paper, we treat a model which combines these two features: the randomness is provided only by the displacements [X.sub.a]([omega]) and the potentials u decay polynomially at infinity. To be more precise, we also introduce an additional disorder mechanism, random substitutions of scatterer potentials, as described below.

Klopp [1] studied the random displacements model with the help of powerful techniques of the semiclassical analysis, hence under the assumption that the kinetic energy amplitude h in -h[DELTA] is sufficiently small. Since multiplication of an operator by a nonzero constant does not change the nature of its spectral components (absolutely continuous, singular continuous, and pure point spectra), the assumption h [much less than] l in H = -h[DELTA] + V([omega]) is equivalent to the assumption [h.sup.-1] [much greater than] l in the rescaled operator [h.sup.-1] H([omega]) = -[DELTA] + [h.sup.-1]V([omega]); the latter is usually called the strong disorder regime. The semiclassical approach has a number of important advantages; in particular, it resulted in [1] in the proof of a Wegner-type estimate and of the Initial Length Scale (ILS) estimate based on the Lifshitz tails phenomenon (cf. [2-4]). However, an adaptation of these technically involved methods to the random displacements models with an infinite-range, slowly decaying interaction potential u is far from being straightforward, and it is beyond the scope of the present paper.

Lott and Stolz [5] and Baker et al. [6, 7] studied the spectral minimizers for the displacements model, in the context, and obtained important analytic (deterministic) results in this direction. Further progress was obtained by Klopp et al. [8] who described the energy minimizing configurations in the displacements model, assuming that the site potential is reflection-symmetric in each coordinate variable [x.sub.i] = 0, 1 [less than or equal to] i [less than or equal to] d (see the precise assumptions (A1) and (A2) in [8]), and proved Anderson localization in their model for energies near the bottom of the spectrum.

We consider the model where the local potentials are of two different types. Physically, it corresponds to a disordered media sample with different types of atoms (or ions, when some electrons are mobile; for simplicity we will always speak of "atoms" bearing the respective local potentials). Generally speaking, one can consider the models with an arbitrary number K >1 of atoms, but the most important feature of our model is that in some sublattice [mathematical expression not reproducible] some randomly selected atoms are of one particular type with potentials taking values below those of all other types (negative, in our model).

A realistic example is given by a thin film (some recent CPU chips are built on 14 nm films, with just a few atoms across it) where one thin filament is "doped" by randomly placed atoms producing a low energy band: below the main energy band of the bulk material. Similarly, in 3 dimensions, one can think of a surface of a crystal with randomly places impurities; such a layer, producing a low energy band, can be sandwiched between two much thicker samples of the bulk material. A thorough examination of our arguments in the subsequent sections evidences that the main results can be easily extended to a model where the impurities are randomly placed inside a finite-width layer and not just a monolayer formed by a sublattice [mathematical expression not reproducible] of nonzero codimension. Our technique allows one to prove exponential spectral and strong dynamical localization in the impurity zone produced solely by randomness in local displacements within a subsample of the bulk material (located at a finite distance from the impurity layer).

From the point of view of experimental physics and new technologies, an approach relying only on random displacements provides a solid base for the emergence of Anderson localization, where more traditional random alloy models rely crucially on the fluctuations of the strength of the local potentials [[omega].sub.a]u(x-a), with [[omega].sub.a] having a continuous (even absolutely continuous) probability distribution. It is quite clear from the basic facts of the electrostatic interactions that the amplitude of the potential is proportional to the electric charge of a given ion, and the latter is an integer multiple of the electron charge e, so it cannot have a continuous distribution. Of course, the popular alloy models implicitly refer to a complex structure of the ionic potentials, yet the question of whether or not the latter could result in a nice probability distribution of local potential amplitudes is far from obvious, and this is where the random displacements mechanism proves much more pertinent and universal.

To formalize the above considerations, we introduce the extended samples [omega] = ([omega], I) on a probability space ([OMEGA], B, P), where [oemga] = [([[omega].sub.a]).sub.a[member of]Z] and [mathematical expression not reproducible] are mutually independent random fields on the entire lattice Z and on the sublattice [mathematical expression not reproducible], respectively, and each of them is IID (has independent and identically distributed random values). To make explicit some geometrical constraints we introduce for the sake of clarity, we assume that the intersite distances in [Z.sup.d] are greater than or equal to 1 (e.g., [Z.sup.d] = [Z.sup.d]), but in the case of more general lattices it suffices to adapt intermediate geometrical parameters. Apart from the difference in the index sets of [[omega].sub.a] and [I.sub.a] (Z versus [mathematical expression not reproducible]), the respective common marginal probability distributions are quite different:

(U1) [I.sub.a], [mathematical expression not reproducible], are Bernoulli random variables with P{[I.sub.a = 1} = p = 1 - P{[I.sub.a] = 0} [member of] (0, 1).

(U2) [w.sub.a] [member of] [R.sup.d], a [member of] Z, have a bounded, compactly supported probability density [[rho].sub.0](x), x [member of] [R.sup.d]. Specifically, we assume for the sake of clarity of presentation that there exist 0 < [r.sub.1] < [r.sub.2] < 1/2 such that

(U2.1) [mathematical expression not reproducible],

(U2.2) [mathematical expression not reproducible].

Given the random displacements [[omega].sub.a], we denote by [X.sub.a] := a + [[omega].sub.a] the random positions of the (centers of) the atoms forming the media.

Next, we consider two types of the local potentials, [u.sub.0] and [u.sub.1]. Simply put, the potential V induced by any sample without "impurities" (potentials [u.sub.1]) is nonnegative, while an impurity at [mathematical expression not reproducible] (implemented by a site potential [u.sub.0](.--a)) produces a negative potential well in some ball [mathematical expression not reproducible], and we assume that this negative well cannot be destroyed by any configuration of atom types and displacements occurring outside some neighborhood of the site a.

Specifically, we assume that [u.sub.0] and [u.sub.1] fulfill the following conditions:

(U3) For r [greater than or equal to] 1/2 and some A > 2d,

(U3.1) [absolute value of ([u.sub.1](r))] [less than or equal to] [C.sub.1][r.sup.-A], [C.sub.1] [member of] (0, +[infinity]);

(U3.2) [u.sub.0](r) = [r.sup.-A].

From [u.sub.1](r) with r [greater than or equal to] 1/2 we only need an upper bound (U3.1) on its decay rate, while more detailed analytical information is required for [u.sub.0](r) and its gradient, which explains an explicit choice made in (U3.2).

The main distinction between [u.sub.0] and [u.sub.1] is explained by the following hypothesis (recall [X.sub.a] = a + [[omega].sub.a]):

(U4) There exist some [E.sup.(-) < 0 and [r.sub.0] > 0 such that for and all [mathematical expression not reproducible] one has

[mathematical expression not reproducible], (3)

while [u.sub.0](x) [greater than or equal to] 0 for all x [member of] [R.sup.d].

In addition, we assume that the kinetic energy amplitude h (cf. (1)) is sufficiently small, depending upon [u.sub.0], so that the negative wells (starting from a single one) produce deterministically a nontrivial negative spectrum of H.

Since (U3.1) gives a deterministic bound on the decay [absolute value of (u)] (in fact, it could be assumed in addition to the condition of nonpositivity everywhere), and [u.sub.0](r) = [r.sup.-A] outside a ball of radius 1/2, it suffices to take [u.sub.1](r) negative and sufficiently large in [mathematical expression not reproducible] to create a deep negative well. Further, the variational estimates show that such a well around an impurity produces negative spectrum, at least for the amplitude h of the Laplacian small enough.

The main point of the present work is the analysis of the spectral band produced by the [u.sub.0]-wells.

Introduce the alloy potential in [R.sup.d] of the form

V (x; [omega]) = [V.sup.(B)] (x; [omega]) + V(S) (x; [omega]) (4)

(here (B) stand for "Bulk" and (S) for "Surface"), with

[mathematical expression not reproducible] (5)

(recall [X.sub.a] = a + [[omega].sub.a]).

Once the selection of the potential types [I.sub.a] [member of] {0, 1} is made, the only randomness in the potential sample V(x; [omega]) is the one coming from the displacements [X.sub.a] ([omega]).

The assumptions on smallness of the support of the probability measure [[rho].sub.0] (of the displacements [[omega].sub.a]) had been made before in several works on the random displacements models (RDM) where it was actually crucial that the supports of the local potentials, even after admissible displacements of their centers within neighborhoods of the lattice sites a, do not overlap, for otherwise the subtle functional-analytic results used in earlier proofs would break down. It will be clear from our presentation that we can afford supp [[rho].sub.0] [subset] [B.sub.[bar.r]](0) with any fixed [bar.r] < +[infinity], at the price of a more elaborate analysis and some additional assumptions on the site potentials (either a "hard core" condition or smallness of the positive potential [u.sub.0], in order not to destroy the impurity wells). This follows from our strategy of proof of the crucial eigenvalue concentration (or Wegner-type) estimate which relies only on the randomness of [[omega].sub.a] with a filling an affine sublattice parallel to [mathematical expression not reproducible] at some finite distance [r.sub.2] from the latter. The reader will see that the displacements of all remaining random positions [X.sub.a] = a + [[omega].sub.a] can be (and often will be) rendered nonrandom by conditioning. However, this also makes more cumbersome some important geometrical arguments, and for this reason we postpone possible generalizations to a forthcoming work.

Kirsch et al. [9] adapted the variable-energy (or energy-interval) MSA approach developed by Frohlich et al. [10] (cf. also [11]), reformulated by von Dreifus and Klein [12], to the alloy models with a polynomial decay of the interaction potential u(r) = [r.sup.-A], under the assumption A > 4d. However, their techniques apply directly to the models featuring the so-called monotonicity condition: a variation of any random parameters (scatterer amplitudes, in their case) has to produce a variation of the potential with fixed sign (either positive or negative), while the displacements of the scatterers result in sign-indefinite variations of the induced potential.

An important issue one has to face in the class of the random displacements models is the proof of the ILS estimate for an arbitrarily small disorder amplitude, without the strong disorder condition. The main point of the present paper is that this issue can be addressed in a relatively simple way for the surface models where a layer of the sample producing a spectral band, separated by a gap from the bulk spectrum, is subject both to the random displacements disorder and to the substitution disorder (due to a random selection of the lattice positions for the impurities).

The latter kind of disorder is "discrete" and not generated by variation of continuous parameters. Such a situation usually renders the localization analysis very difficult; the first result in this area was obtained in a remarkable work by Bourgain and Kenig [13] in 2001, for the random alloys with Bernoulli distribution of random scatterers amplitudes. Germinet and Klein [14] have later extended the Bourgain-Kenig approach to arbitrary nontrivial distributions, but the technique here remains very complex and the localization bounds (for the eigenfunction correlators) remain quite modest. In our paper, we use a "discrete" substitution disorder solely for the proof of the Initial Length Scale estimate, which is already quite difficult to obtain otherwise. To the author's best knowledge, there is no prior result for the weak-disorder localization at low energy in the random displacements model with slowly decaying interaction.

Moreover, we show that the moderate rate of decay of the Green functions obtained at the first stage of the multiscale analysis can be significantly enhanced by a "soft" argument, so that despite a relatively slow, power-law decay of interaction (hence, a relatively strong long-distance correlation in the random environment) the decay of eigenfunction correlators is at least fractional-exponential.

The materials with an impurity band supported by specific atoms injected into a sample play important role in experimental physics and technology. In our paper, we thus show that even a relatively weak disorder induced by structural factors (substitution and local displacements of the atoms/ions) can produce strong dynamical localization in presence of a realistic, slow decay of the media-electron interaction at large distances.

1.2. Local Hamiltonians and Useful Notation. Given a cube [B.sub.3l](u), with l [greater than or equal to] 1, we call [B.sub.l](u) the core and the annulus [mathematical expression not reproducible] the shell of [B.sub.3l](u). Further, given a cube [B.sub.YL](u) with L = 3l, Y [greater than or equal to] 2, we can cover the shell of [B.sub.YL](u) by [(3Y).sup.d] cores of radius [l.sub.k]. The respective cores [mathematical expression not reproducible] will be called admissible.

We define the "boundary" of a cube [mathematical expression not reproducible] as follows: [mathematical expression not reproducible].

The spectrum of an operator H will be denoted by [SIGMA](H) and its resolvent set by [??](H).

1.3. Main Results

Theorem 1. Assume that the conditions (U1)-(U4) are fulfilled. Then there exist [??] > 0 and an interval [??] [subset] R such that the following holds for the random displacements model where p [equivalent to] P{[I.sub.a] = 1} [member of] (0, [??]).

(A) With probability one, H([omega]) has pure point spectrum in the interval [??], and all the eigenfunctions [psi] of H([omega]) with eigenvalues E [member of] [??] decay exponentially at infinity: for some m > 0 one has

[mathematical expression not reproducible]. (6)

(B) Let [[chi].sub.x], x [member of] [R.sup.d], be the indicator function of a unit cube centered at x. There exist C, [??] [member of] (0, +[infinity]) such that for all x [not equal to] y and for any bounded Borel function [[phi].sub.[??]] with [mathematical expression not reproducible] and [[parallel][[phi].sub.[??]][parallel].sub.[infinity]] [less than or equal to] 1 one has

[mathematical expression not reproducible] (7)

The smallness of the concentration of impurities p in the "surface" layer is used only in the proof of the Initial Length Scale estimate (cf. Lemma 19).

2. Eigenvalue Concentration and Comparison Estimates

2.1. Stollmanns Estimate. Recall some well-known notions and results from the eigenvalue concentration analysis of random operators introduced and used in earlier works [4, 15-18].

Definition 2. Let a finite nonempty index set J, a Euclidean space [R.sup.J] [congruent to] [R.sup.[absolute value of (J)]] with coordinates indexed by the elements of J, and a probability measure [mu] on R be given. Introduce the product measure [[mu].sup.[cross product]J] on [R.sup.J]. A function [PHI]: [R.sup.J] [right arrow] R is called diagonally monotone iff

(i) q = ([q.sub.1], ..., [q.sub.J]) [??] [PHI](q) is monotone in each variable [x.sub.j], 1 [less than or equal to] j [less than or equal to] [absolute value of (J)],

(ii) for all q [member of] [R.sup.J] and t [greater than or equal to] 0 one has

[PHI] (x + (t, ..., t)) - [PHI](x) [greater than or equal to] Ct. (8)

From this point on, speaking of a diagonally monotone function [PHI], we always assume that the respective index J,

Euclidean space [R.sup.J], and a constant C > 0 are given. To indicate an explicit value of C, we sometimes say that O is diagonally C-monotone.

Lemma 3 (Stollmann's lemma). Let [PHI] : [R.sup.J] [right arrow] R be a diagonally C-monotone function and [[mu].sup.[cross product]J] a product measure on [R.sup.J]. Let [G.sub.[mu]] : [0, +[infinity]) [right arrow] [0, 1] be the continuity modulus of [mu] (otherwise called the Levy concentration function of [mu]):

[mathematical expression not reproducible] (9)

Then the following estimate holds true:

[mathematical expression not reproducible] (10)

Definition 4. Let a Hilbert space H, a Euclidean space [R.sup.J], J [greater than or equal to] 1, and a probability measure [mu] on R be given. A family of self-adjoint operators H(q) in H, q [member of] [R.sup.J], is called diagonally monotone iff

H (q + r) [greater than or equal to] B (q) [for all]q [member of] [R.sup.J] [for all]r [member of] [R.sup.J.sub.+], (11)

in the sense of quadratic forms, and for any vector f [member of] H with [parallel]f[parallel] = 1 the function [[PHI].sub.f] : [R.sup.J] [right arrow] R defined by

[[PHI].sub.f] (q) = (H(q)f, f) (12)

is diagonally monotone.

By a simple application of the min-max principle for the self-adjoint operators, we have the following useful result.

Lemma 5 (Cf. [16]). In the general setting of Definition 4, the following holds true:

(A) If H(q) is a diagonally monotone operator family in H with compact resolvent, then all eigenvalues [E.sup.H(q).sub.i] of H(q) are also diagonally monotone.

(B) If H(q) is diagonally monotone and K is another self-adjoint operator in H independent of q, then H(q) + K is also diagonally monotone.

Corollary 6 (Cf. [17, 18]). Consider a parametric family of Schrodinger operators [H.sub.[LAMBDA](q)] = -[[DELTA].sub.[LAMBDA]] + V(x, q) in a cube A [subset] [R.sup.d], d [greater than or equal to] 1, with a lower-bounded potential V : [LAMBDA] x [R.sup.J] [right arrow] [[E.sub.*], +[infinity]) depending upon a vector-valued parameter q [member of] [R.sup.J], 1 [less than or equal to] [absolute value of (J)] < +[infinity]). Let a probability measure [mu] on R with continuity modulus [s.sub.[mu]] be given, and introduce the product measure [[mu].sup.[cross product]J] on [R.sup.J] and the corresponding probability measure induced on the operator families V(x, q) and H(q). If the operator family V(x, q) is diagonally monotone, then for any interval [a, b] [subset] R and any E [member of] [a, b] one has

P {dist ([summation] (H (q)), E) [less than or equal to] [epsilon]] [less than or equal to] C ([E.sub.*], b) [absolute value of (J)] [absolute value of ([LAMBDA])] [s.sub.[mu]] ([epsilon]). (13)

2.2. Stable Eigenvalue Concentration Estimate

Definition 7. Let an integer k [greater than or equal to] 0 and a cube [mathematical expression not reproducible] be given. A sample [omega] is called

(i) (E, [epsilon])-NR (nonresonant) in B iff

dist ([summation]([H.sub.B] ([omega])), E) [greater than or equal to] [epsilon]; (14)

(ii) (E, [epsilon])-CNR (completely nonresonant) in B iff for all j < [L.sub.k+1]/[L.sub.k]

[mathematical expression not reproducible] (15)

Until Section 3 (where we formulate an Initial Length Scale estimate, Lemma 19), the positions of the sublattice sites a with [I.sub.a] = 1 (impurities) will be considered fixed, so we do not rely on the substitution disorder due to the sample [mathematical expression not reproducible] and work with the displacements sample {[[omega].sub.a], a [member of] Z}, without repeating it every time again, and often drop the I-dependence from notation.

Lemma 8. Fix any k [greater than or equal to] 0 and a cube [mathematical expression not reproducible]. Fix [tau] > 1. Then for any [mathematical expression not reproducible] one has

P {[omega] is not (E, [epsilon])-CNR in B} [less than or equal to] [Cg.sup.-1][L.sup.d+1.sub.k][epsilon]. (16)

Definition 9. Let a cube [mathematical expression not reproducible] and a real number [tau] > 1 be given. Denote [mathematical expression not reproducible]. The sample [[omega].sup.-.sub.B] is called

(i) (E, [epsilon])-SNR (strongly NR) in B iff for any complementary subsample [[omega].sup.[perpendicular to].sub.[bar.B]] the full sample [omega] = ([[omega].sub.[bar.B]], [[omega].sup.[perpendicular to].sub.[bar.B]]) is (E, [epsilon])-NR in B,

(ii) (E, [epsilon])-SCNR (strongly CNR) in B iff for any complementary subsample [[omega].sup.[perpendicular to].sub.[bar.B]] the full sample [omega] = ([[omega].sub.[bar.B], [[omega].sup.[perpendicular to].sub.[bar.B]]) is (E, [epsilon])-CNR in B.

A suitable value of [tau] > 1 will be fixed later, in Section 4, and the notations [mathematical expression not reproducible] will appear in a number of formulae and statements below. Usually the values of k, [L.sub.k] [member of] N, u [member of] Z, and [tau] > 1 will be clear from the context.

In earlier works by Kirsch et al. [19] and by Boutet de Monvel and Stollmann [20], some functional-analytical facts pertaining to random alloy models in general and to surface models in particular have been established. Mutatis mutandis, some relevant definitions, arguments, and results from [19, 20] will be used below in the context of the surface model with random displacements disorder.

In Proposition 10, one refers to a certain subset W [subset] [R.sup.d], which is formed in our case by the "wells" around the impurities, so V(x; [omega], I) < [E.sup.(-)] for x [member of] W (cf. (3)), and P is the exterior of the balls [B.sub.1/2](a) around the impurities a (i.e., with [I.sub.a] = l). Given a cube B [subset] [R.sup.d], denote by [[??].sub.0] the section [mathematical expression not reproducible] by the impurity layer, and consider the finite set of scatterer indices

[mathematical expression not reproducible] (17)

With this choice of [A.sub.B], for each a [member of] [[??].sub.0] there exists a site a' outside the subset W but at a uniformly bounded distance from a [member of] [[??].sub.0]. Then we can write [mathematical expression not reproducible], where [mathematical expression not reproducible] with

[mathematical expression not reproducible] (18)

Proposition 10 (cf. [20, Lemma 2.1]). Let B [subset] [R.sup.d] be an open cube, H be a Schrodinger operator in B with Dirichlet boundary conditions on the border of B, and P [subset] W be such that dist(P, [W.sup.c]) := [kappa] > 0. Then there exists C = C([kappa]) such that the following holds.

Let [V.sub.0] and V be uniformly locally summable in power p (in [L.sup.p]) with p = 2 if d [less than or equal to] 3 and p > d/2 if d > 3. Denote [H.sub.0] = -[DELTA] + [V.sub.0], [G.sub.0]([lambda]) = [([H.sub.0] - [lambda]).sup.-1], and H = -[DELTA] + V, G([lambda]) = [(H - [lambda]).sup.-1]. Assume that [PHI] is an eigenfunction of H with eigenvalue [mu] [member of] [??]([H.sub.0]). Then

[parallel][chi].sub.W][PHI][parallel] [greater than or equal to] [parallel][PHI][parallel]/1 + C ([parallel][G.sub.0] ([lambda])[parallel] + [parallel][G.sub.0] ([lambda]) [nabla][parallel]). (19)

Further, combining Proposition 11 and the Combes-Thomas estimate [21] for the under-the-barrier decay of the Green functions, one comes to the following.

Proposition 11 (cf. [19, Prop. 2.1], [20, Prop. 2.2]). Under the assumptions and with notations of Proposition 10, there exist [E.sub.1] > [E.sub.0] and C > 0 such that for every cube B = [B.sub.L](x), every [omega] [member of] [OMEGA], and every eigenfunction [PHI] of [H.sub.B]([omega]) with eigenvalue E [member of] [[E.sub.0], [E.sub.1]] we get

[parallel][[chi].sub.W][PHI][parallel] [greater than or equal to] c [parallel][PHI][parallel]. (20)

Proposition 12 (cf. [20, Prop. 2.3]).

P [[summation] ([H.sub.B]) [intersection] [J.sub.[epsilon]] = 0} [less than or equal to] C [[absolute value of (B)].sup.2] [absolute value of ([J.sub.[epsilon])]. (21)

Proof. Let [E.sub.n] = [E.sub.n]([H.sub.B]) be the eigenvalues of [H.sub.B] numerated in the increasing order, counting multiplicity. We are mainly concerned with [E.sub.n] [member of] [??] (in the impurity band), which has two important consequences.

(i) Firstly, due to boundedness of the random potential, the operator [H.sub.B]([omega]) is a finite norm perturbation of the Laplacian -[[DELTA].sub.B], and for the eigenvalues of the latter one has the well-known Weyl asymptotic formula [22]; see, for example, the discussion in [4, Section 4.1.8] in the context of the Wegner estimates. Specifically, it follows from [4, Theorem 4.1.25 and Corollary 4.1.26] that the number of eigenvalues of [H.sub.B] in [??] admits uniform, nonrandom upper bounds by 0([absolute value of (B)]).

(ii) Secondly, inequality (20) shows that for such [E.sub.n] most of the "mass" of the respective eigenfunction [[PHI].sub.n] is in the subset W. Therefore, [E.sub.n] is monotone increasing in each parameter [q.sub.a], since increasing [q.sub.a] decreases the distance between the ath scatterer and any point x [member of] W (in the "surface" layer), hence increasing the potential induced in W. This is the main reason why we consider in this paper a surface random displacements model as opposed to a "bulk" RDM. From this point on, we recover a complete analogy with the conventional surface alloy disorder studied in [20] (and not displacements disorder). As a result, only a few technical adaptations of the well-understood techniques from [19, 20] are required; we describe these adaptations below.

Specifically, notice that [E.sub.n](q + te) is continuously differentiable, with the derivative which can be calculated with the help of the first-order perturbation formula:

[mathematical expression not reproducible] (22)

(we used again (20)). We conclude that [??] (and therefore [[??}.sub.B] + t[??], too) is diagonally monotone. Now the claim follows from the Stollmann Lemma 3.

Theorem 13.

P {[[omega].sub.[bar.B]] is not (E, [epsilon])-CNR in B} [less than or equal to] [Cg.sup.-1][L.sup.2d+1][epsilon]. (23)

Proof. The (E, [epsilon])-CNR property is violated in a cube [mathematical expression not reproducible] if one of the smaller concentric cubes [B.sub.L](u) with L [member of] [[[L.sub.k], [L.sub.k+1]] is not (E, [epsilon])-NR, so the claim follows from Proposition 12 by counting the number of elements L [member of] [[L.sub.k], [L.sub.k+1]].

Theorem 14.

P {[[omega].sub.[bar.B] is not (E, [epsilon])-SCNR in B} [less than or equal to] [Cg.sup.-l] [L.sup.2d+1] [epsilon]. (24)

Proof. Let [mathematical expression not reproducible]. According to Definition 9, if [[omega].sub.[bar.B]] is not (E, [epsilon])-SCNR, then for some integer L [member of] [[L.sub.k], [L.sub.k+1]] [[omega].sub.[bar.B]] is not (E, [epsilon])-SNR in B' := [B.sub.L](u). In other words, there exists a complementary subsample [[omega].sup.[perpendicular to].sub.[bar.B]] such that the full sample [omega] = ([[omega].sub.[bar.B]], [[omega].sup.[perpendicular to].sub.[bar.B]]) is (E, [epsilon])-resonant in B'. Fix any L [member of] [[L.sub.k], [L.sub.k+1]] and the corresponding cube B'.

Next, consider any configuration [[omega].sup.[perpendicular to].sub.[bar.B]] and take its zero-extension ([0.sub.[bar.B]], [[omega].sup.[perpendicular to].sub.[bar.B]]) to the entire space; in other words, we consider [[omega].sup.[perpendicular to].sub.[bar.B]] as a sample on its own but do not put any scatterers inside [bar.B]. We obtain by a simple calculation the following:

[mathematical expression not reproducible] (25)

Further, take any subsample [[omega].sub.[bar.B]], and identify it with its own zero-extension ([[omega].sub.[bar.B]], [mathematical expression not reproducible]) to the entire space, and let [[lambda].sub.i]([[omega].sub.[bar.B]]) be the eigenvalues of [H.sub.B]([[omega].sub.[bar.B]]).(One could take any complementary subsample [[omega].sup.[perpendicular to].sub.[bar.B]]; we take the zero-extension.) Then the eigenvalues [E.sub.i]([omega]) of [H.sub.B]([omega]), with any [omega] = [[omega].sub.[bar.B]] [??][[omega].sup.[perpendicular to].sub.[LAMBDA]], obey

[mathematical expression not reproducible] (26)

Thus

[mathematical expression not reproducible] (27)

Now the claim stems from Theorem 13.

2.3. Eigenvalue Comparison Estimate

Theorem 15. Let two sublattice sites [mathematical expression not reproducible] with [absolute value of (a - b)] > 2[L.sup.[tau]] be given, and denote [B.sup.a] = [B.sub.L](a), [B.sup.b] = [B.sub.L](b). Then for any [epsilon] > 0

[mathematical expression not reproducible] (28)

The estimate given by Theorem 15 is not as accurate as its counterpart for a single cube (Theorem 13), and the proof is much less involved, but it is worth noticing that its role in the localization analysis is quite different, too. Optimality of the eigenvalue concentration (EVC) bound from Theorem 13 is the key to the proof of the exponential decay of the Green functions at fixed energy under the sharp condition A > d. Physically speaking, this gives rise to the absence of diffusion (see the discussion in the seminal paper by Frohlich and Spencer [11]). On the mathematical level, Martinelli and Scoppola [23] showed, with the help of a nice application of Chebyshev's inequality in the extended disorder-energy space, that a fast decay of Green's functions implies absence of the absolutely continuous spectrum in the localization zone. However, the analysis of decay of the eigenfunctions and of their correlators requires a spectral reduction, or derivation of energy-interval (a.k.a. variable energy) MSA estimates, and the latter requires eigenvalue comparison analysis for distant cubes. For that purpose alone, an eigenvalue comparison estimate need not actually be very accurate, which is not surprising, but what comes as a rather unexpected bonus is that the comparison estimate allows one to significantly boost the results of the first scaling analysis in a "soft" way, as we shall see in Section 5.

Theorem 15 will not be used in Sections 3 and 4.

Proof of Theorem 15. Denote [B.sup.a] = [B.sub.L](a) and [B.sup.b] = [B.sub.L](b). Consider an eigenvalue [E.sup.a.sub.i]([omega]) of [mathematical expression not reproducible] and [E.sup.b.sub.j]([omega]) of [mathematical expression not reproducible]. Condition on all random amplitudes {[[omega].sub.c], c [member of] [Z.sup.d] \ [[omega].sub.a] } and identify [[omega].sub.a] with a real parameter s. Then [mathematical expression not reproducible] as well as [mathematical expression not reproducible] and their eigenvalues [E.sup.a.sub.i], [E.sup.b.sub.j] depend upon a single parameter s [equivalent to] [[omega].sub.a]. Our goal is to compare their sensitivity to the variations of s. To this end, consider the smooth operator family [mathematical expression not reproducible], where

[mathematical expression not reproducible] (29)

Similarly define

[mathematical expression not reproducible] (30)

Then

[mathematical expression not reproducible] (31)

Therefore,

[mathematical expression not reproducible] (32)

Furthermore, computing the gradient of the potential x [??] [[absolute value of (x)].sup.-A] for [??] large enough we get that

[mathematical expression not reproducible] (33)

The probability measure of the random variable [E.sup.a.sub.i]([[omega].sub.a]) - [E.sup.b.sub.j]([[omega].sub.a) is therefore the image of [[mu].sub.V] (the measure of [[omega].sub.a]) by the strictly monotone mapping s [??] ([E.sup.a.sub.i](s) - [E.sup.b.sub.j](s)), with the derivative lower-bounded by C[L.sup.-A-1] > 0, so the Lipschitz continuity of [[mu].sub.V] is preserved up to a factor [C.sup.-1][L.sup.A+1]. Now the claim follows by counting the number of eigenvalues in I, as in Proposition 12.

3. Impurity Band: Location and Spectral Gap

An upper bound on the ground state energy [E.sub.*] can be obtained by the variational principle.

4. Multiscale Analysis

Given [alpha] > 1 and l< [L.sub.0] [member of] N, define recursively an integer sequence [L.sub.k]

[L.sub.k] := [[L.sup.[alpha].sub.k-1]], k [greater than or equal to] l. (34)

Further, let [m.sub.0] > 0, and set for k [greater than or equal to] 0

[mathematical expression not reproducible] (35)

with c > 0 to be specified in the proof of Corollary 21. Clearly, with [L.sub.0] large enough we have a convergent product [[PI].sub.j[greater than or equal to]0] (l - [[eta].sub.j]) [greater than or equal to] 1/2, so [m.sub.k] [greater than or equal to] [m.sub.0]/2.

Given A > 2d and [tau] > l, we define two positive sequences

[mathematical expression not reproducible] (36)

Definition 16. Let an integer k [greater than or equal to] 0 and a cube [mathematical expression not reproducible] be given. Denote [mathematical expression not reproducible]. A sample to is called

(1) (E, [delta])-NS (nonsingular) in B iff E [not member of] [summation]([H.sub.B]([omega])) and

[mathematical expression not reproducible] (37)

Definition 17. Let [tau] > land a cube [mathematical expression not reproducible], k [greater than or equal to] 0 be given. Denote [mathematical expression not reproducible] and introduce the decomposition [omega] = ([[omega].sub.[bar.B]], [[omega].sup.[perpendicular to].sub.[bar.B]]). Let P be one of the properties (E, [delta])-NS, (E, [epsilon])-NR, or (E, [epsilon])-CNR relative to B. We will say that a subsample [[omega].sub.[bar.B]] has a strong (or stable) property P iff for any complementary subsample [[omega].sup.[perpendicular to].sub.[bar.B]] the full sample ([[omega].sub.[bar.B]], [[omega].sup.[perpendicular to].sub.[bar.B]]) has property P in B. Respectively, the three aforementioned notations are replaced by (E, [delta])-SNS, (E, [epsilon])-SNR, and (E, [epsilon])-SCNR.

Note that an event {[[omega].sub.[bar.B]] has strong property P} is measurable with respect to the [sigma]-algebra [F.sub.[bar.B]] generated by {[X.sub.a], a [member of] [bar.B]}; hence any collection of such events relative to disjoint cubes [B.sub.L]([u.sub.i]), i [member of] [l, M] is independent.

Definition 18. (i) A cube [mathematical expression not reproducible] is called (E, [[delta].sub.k], [tau], K)-good iff it contains no collection of K or more cubes [mathematical expression not reproducible] with pairwise [L.sup.[tau].sub.k]-distant centers, neither of which is (E, [[delta].sub.k])-NS.

(ii) The cube [mathematical expression not reproducible] is called (E, [[delta].sub.k], [tau], K)-strongly good ((E, [[delta].sub.k], [tau], K)-S-good) iff it contains no collection of K cubes [mathematical expression not reproducible], with pairwise [L.sup.[tau].sub.k]-distant centers, neither of which is (E, [[delta].sub.k])-SNS.

Lemma 19 (ILS estimate). Let [tau] > l. There exist [L.sub.*] [member of] N and an interval I = [-3E, -2E] with E > 0, such that for any [L.sub.0] [greater than or equal to] [L.sub.*], [m.sub.0] > 0, s > 0 and the impurity concentration [rho] > 0 small enough, one has, with [mathematical expression not reproducible],

[mathematical expression not reproducible] (38)

Proof. Fix [L.sub.0] [member of] N; consider a cube [mathematical expression not reproducible] and the local Hamiltonian [H.sub.B]([omega]). Observe that the condition

[mathematical expression not reproducible] (39)

(absence of impurity atoms in the augmented cube [mathematical expression not reproducible]) implies that

[mathematical expression not reproducible] (40)

thus

dist [E, [summation]([H.sub.B] ([omega], I)), E] [greater than or equal to] E [for all]E [member of] [-3E, -2E]. (41)

By the Combes-Thomas estimate [21], we then have for any E [member of] I = [-3E, -2E]

[mathematical expression not reproducible] (42)

for some C, c [member of] (0, +[infinity]>). With an appropriate choice of [L.sub.*], this implies the (E, [[delta].sub.0])-nonsingularity of [mathematical expression not reproducible], where [mathematical expression not reproducible] and, for example, [m.sub.0] = (l/2)cE > 0.

Further,

[mathematical expression not reproducible]. (43)

and the RHS can be made arbitrarily small by taking the concentration of impurities [rho] small enough. In particular, it can be made smaller than [L.sup.-s.sub.0], once [L.sub.0] is fixed.

The next statement is a standard result of the MSA, essentially going back to [12, Lemma 4.2] and streamlined in [24, Section 5] and later in [25, Lemma 2].

Lemma 20 (conditions for nonsingularity). Consider a cube [mathematical expression not reproducible] and suppose that

(i) B is (E, [[epsilon].sub.k+1])-NR with [[epsilon].sub.k+1] [greater than or equal to] [[delta].sup.1-c.sub.k], for some [[epsilon].sub.k+1], [[delta].sub.k], c [member of] (0, 1);

(ii) B is (E, [[delta].sub.k], [tau], K)-good, with K [greater than or equal to] 0 such that

[mathematical expression not reproducible] (44)

Then B is ([[delta].sup.N+c.sub.k], E)-NS.

In our case [mathematical expression not reproducible] and [mathematical expression not reproducible]; hence the condition [[epsilon].sub.k+1] [greater than or equal to] [[delta].sup.1-c.sub.k] in hypothesis (ii) is fulfilled for any c [member of] (0, 1) and large [L.sub.0].

Corollary 21 (conditions for strong nonsingularity). Let a cube [mathematical expression not reproducible], k [greater than or equal to] 0, be given and suppose that

(i) B is (E, [[epsilon].sub.k+1])-SNR;

(ii) B is (E, [[delta].sub.k], [tau], K)-S-good, with K [greater than or equal to] 0 such that (44) holds.

Then B is (E, [[delta].sub.k+1])-SNS.

Proof. Denote [mathematical expression not reproducible]. One has to show that, with a fixed sample [[omega].sup.[perpendicular to].sub.[bar.B]] satisfying the hypotheses (i)-(ii), the cube B is (E, [[delta].sub.k+1])-NS for the sample ([[omega].sub.[bar.B]], [[omega].sup.[perpendicular to].sub.[bar.B]]) regardless of the complementary sample [[omega].sup.[perpendicular to].sub.[bar.B]].

First, notice that the condition (i) is already stable with respect to [[omega].sup.[perpendicular to].sub.[bar.B]].

Next, by (ii) there exist at most K - 1 cubes [mathematical expression not reproducible] such that any ball [mathematical expression not reproducible] with [mathematical expression not reproducible] is (E, [[delta].sub.k])-SNS. The support of [[omega].sup.[perpendicular to].sub.[bar.B]] lies outside all the cubes [mathematical expression not reproducible]; hence the distant sample [[omega].sup.[perpendicular to].sub.[bar.B]] cannot affect the strong nonsingularity property of the cubes [mathematical expression not reproducible]. Applying Lemma 20, we see that the cube B is (E, [[??}.sub.k+1])-NS with

[mathematical expression not reproducible] (45)

where [[eta].sub.k] is as in (35), with c = [alpha] - [tau] > 0. Thus B is (E, [[delta].sub.k+1])-SNS.

Until the end of this section, we will need to examine only the nonsingularity properties of the cubes having nonempty intersection with the sublattice [mathematical expression not reproducible] (the impurity layer), since we are concerned only with energies E [member of] [??], and any cube outside this layer has energies above [??]. Moreover, since we are free to choose on any scale the partition of [R.sup.d] into a union of cubes of size [L.sub.k], we cover first [mathematical expression not reproducible] by cubes [mathematical expression not reproducible] with a [mathematical expression not reproducible] and then decompose the rest of the space into [L.sub.k]-cubes having empty intersection with [mathematical expression not reproducible]. We will not repeat this fact every time again.

Lemma 22. Let two real numbers A > d and [tau] > 1 be given. Consider a cube [mathematical expression not reproducible] and let [mathematical expression not reproducible]. Then

[mathematical expression not reproducible] (46)

Proof. By Definition 17, if [mathematical expression not reproducible], with z [member of] {x, y}, is not (E, [[epsilon].sub.k+1])-SCNR for some fixed E, then for some R [member of] [[L.sub.k], [L.sub.k+1]l the cube [B.sub.R](x) is not (E, [[epsilon].sub.k+1])-SNR. Even the largest among them, [mathematical expression not reproducible], is surrounded by a belt of width [L.sup.[tau].sub.k+1]. By Theorem 14,

[mathematical expression not reproducible] (47)

so the claim follows by counting the number of values R [member of] [[L.sub.k], [L.sub.k+1]].

Lemma 23. Let A = 3d + 4[gamma] with [gamma] > 0 and [tau] > (2d + 1)/2[gamma] be given. Set

[??] = [gamma]/d + 4[gamma],

[sigma] = [gamma][d.sup.-1],

[alpha] = (1 + [sigma])[tau],

s = (A - d) [tau] - (2d + 1); (48)

then

s - [alpha]d > [gamma][tau] > 0. (49)

Furthermore, assume that

[mathematical expression not reproducible] (500

and let K = 2M(1 + [sigma])s/[gamma] [less than or equal to] [L.sup.[alpha]-[tau].sub.k]. Then for [L.sub.0] large enough

[mathematical expression not reproducible] (51)

Proof. Equation (49) follows by a simple calculation:

s - [alpha]d = (A - d)[tau] - (2d + 1) - (1 + [sigma]) [tau]d = [tau][(d + 3[gamma]) - (1 + [sigma])d] - (2d + 1) = [tau][3[gamma] - [sigma]d] - (2d + 1) [greater than or equal to] [tau][3[gamma] - [gamma]] - (2d + 1) > [gamma][tau]. (52)

Further, by Definition 17, an event

[mathematical expression not reproducible] (53)

is [mathematical expression not reproducible]-measurable, and so for K disjoint cubes [mathematical expression not reproducible], we obtain

[mathematical expression not reproducible] (54)

By (52), we have (s - [alpha]d)/[alpha] = [gamma][tau]/(1 + [sigma])[tau] = [gamma]/(1 + [sigma]). Thus with K = 2Ms(1 + [sigma])[[gamma].sup.-1], one has for the maximal number S([omega]) of pairwise [L.sup.[tau].sub.k]-distant singular cubes [mathematical expression not reproducible] inside [mathematical expression not reproducible]:

[mathematical expression not reproducible] (55)

This proves inequality (51).

For future use, note that one can take, for example,

M = [gamma]/4 (1 + [sigma]) s [L.sup.[alpha]-[tau].sub.k] > [L.sup.[sigma][tau]/2.sub.k] (56)

The last inequality holds for all k with [L.sub.0] large enough.

Lemma 24 (scale induction). Assume that the bound

[mathematical expression not reproducible] (57)

holds for j = k [greater than or equal to] 0. Then it also holds for j = k + 1.

Proof. By Corollary 21, if the cube [mathematical expression not reproducible] is not (E, [[delta].sub.k+1])-SNS, then either

(i) [mathematical expression not reproducible] is not (E, [[epsilon].sub.k+1])-SNR, or

(ii) [mathematical expression not reproducible] is not (E, [[delta].sub.k], K)-S-good.

By Lemmas 22 and 23, the probabilities of both events are upper-bounded by (1/2)[L.sup.-s.sub.k+1], so the claim follows.

Since the starting point for the scale induction (the Initial Length Scale estimate) is provided by Lemma 19, by induction on k we come to the conclusion of the multiscale analysis of our model.

Theorem 25. Consider the random Hamiltonian H([omega]) = -[DELTA] + V(x, [omega]). Fix an interval I [subset] R. For any A > 2d there exist [s.sub.*] = [s.sub.*](A) < +[infinity]> and [L.sub.*] [member of] N such that if [L.sub.0] [greater than or equal to] [L.sub.*] and the inequality

[mathematical expression not reproducible] (58)

holds for k = 0 with s [greater than or equal to] [s.sub.*], then it also holds for all k [greater than or equal to] 1.

5. Derivation of Strong Dynamical Localization

5.1. Enhancement of the MSA Estimates

Theorem 26. Under the assumptions and with notations of Theorem 25, for any two cubes [mathematical expression not reproducible] with [absolute value of (x - y)] [greater than or equal to] [L.sup.[tau].sub.k] one has for some [??] > 0

[mathematical expression not reproducible] (59)

Proof. It suffices to modify the proof of Lemma 23 (and of the Lemma 24 stemming from it) in the following way. Instead of the condition that [mathematical expression not reproducible] be (E, [[epsilon].sub.k])-strongly nonresonant we employ the condition of (E, [[epsilon].sub.k])-nonresonance. As a result, the choice of [[epsilon].sub.k+1] is no longer restricted to [mathematical expression not reproducible]: we can take an arbitrarily small value of [[epsilon].sub.k+1]. Indeed, the strong nonresonance is required for the scale induction, but now we enhance the MSA estimates scale by scale, individually for each [L.sub.k], without resorting to another scale induction.

Consequently, we can also replace a fixed, scale-independent parameter K (figuring in the condition [mathematical expression not reproducible] is (E, [[delta].sub.k+1], K)-good" by a growing value). Setting K = [K.sub.k+1] = (l 12)[L.sup.1-[tau]/[alpha].sub.k] = (1/2)[L.sup.1-[sigma]/[alpha].sub.k], the claim follows.

5.2. Strong Dynamical Localization. It is well-known by now that the energy-interval MSA estimates imply strong dynamical localization; the shortest derivation is due to Germinet and Klein [24] who operated with the eigenfunction correlators in the entire space. Their argument becomes particularly simple in the situation where one proves first the decay bound for the eigenfunction correlators in finite cubes, where it can be encapsulated in a fairly elementary functional-analytical lemma, as was shown in our prior papers, for example, [25, 26].

Proposition 27 (cf. [26, Thm. 7], [25, Thm. 3]). Suppose that a bound of the form

[mathematical expression not reproducible] (60)

is established for some function f [greater than or equal to] 0 and all k [greater than or equal to] 0. Then for [absolute value of (x - y)] =: R [member of] [3[L.sub.k], 3[L.sub.k+1]], one has

[mathematical expression not reproducible] (61)

Taking into account the MSA estimates from Theorem 26, assertion (B) of Theorem 1 follows directly from Proposition 27.

https://doi.org/10.1155/2018/7192303

Conflicts of Interest

The author declares that there are no conflicts of interest.

References

[1] F. Klopp, "Localization for semiclassical continuous random Schrodinger operators. II. The random displacement model," Helvetica Physica Acta. Physica Theoretica. Societatis Physicae Helveticae Commentaria Publica, vol. 66, no. 7-8, pp. 810-841, 1993.

[2] W. Kirsch, "An invitation to random Schrodinger operators," in Panorama et Syntheses, vol. 25, pp. 1-119, 2008.

[3] I. M. Lifshitz, "Energy spectrum structure and quantum states of disordered condensed systems," Soviet Physics--Uspekhi, vol. 7, pp. 549-573, 1965.

[4] P. Stollmann, Caught by disorder, vol. 20 of Progress in Mathematical Physics, Birkhauser Boston, Inc., Boston, MA, 2001.

[5] J. Lott and G. Stolz, "The spectral minimum for random displacement models," Journal of Computational and Applied Mathematics, vol. 148, no. 1, pp. 133-146, 2002.

[6] J. Baker, M. Loss, and G. Stolz, "Minimizing the ground state energy of an electron in a randomly deformed lattice," Communications in Mathematical Physics, vol. 283, no. 2, pp. 397-415, 2008.

[7] J. Baker, M. Loss, and G. Stolz, "Low energy properties of the random displacement model," Journal of Functional Analysis, vol. 256, no. 8, pp. 2725-2740, 2009.

[8] F. Klopp, M. Loss, S. Nakamura, and G. Stolz, "Understanding the random displacement model: From ground state properties to localization," Spectral Analysis of Quantum Hamiltonians: Spectral Days 2010, pp. 183-219, 2012.

[9] W. Kirsch, P. Stollmann, and G. Stolz, "Anderson localization for random Schrodinger operators with long range interactions," Communications in Mathematical Physics, vol. 195, no. 3, pp. 495-507, 1998.

[10] J. Frohlich, F. Martinelli, E. Scoppola, and T. Spencer, "Constructive proof of localization in the Anderson tight binding model," Communications in Mathematical Physics, vol. 101, no. 1, pp. 21-46, 1985.

[11] J. Frohlich and T. Spencer, "Absence of diffusion in the Anderson tight binding model for large disorder or low energy," Communications in Mathematical Physics, vol. 88, no. 2, pp. 151-184, 1983.

[12] H. von Dreifus and A. Klein, "A new proof of localization in the Anderson tight binding model," Communications in Mathematical Physics, vol. 124, no. 2, pp. 285-299, 1989.

[13] J. Bourgain and C. E. Kenig, "On localization in the continuous Anderson-Bernoulli model in higher dimension," Inventiones Mathematicae, vol. 161, no. 2, pp. 389-426, 2005.

[14] F. Germinet and A. Klein, "A comprehensive proof of localization for continuous Anderson models with singular random potentials," Journal of the European Mathematical Society, vol. 15, no. 1, pp. 53-143, 2013.

[15] P. Stollmann, "Wegner estimates and localization for continuum Anderson models with some singular distributions," Archiv der Mathematik, vol. 75, no. 4, pp. 307-311, 2000.

[16] V. Chulaevsky, "A wegner-type estimate for correlated potentials," Mathematical Physics, Analysis and Geometry, vol. 11, no. 2, pp. 117-129, 2008.

[17] A. Boutet de Monvel, V. Chulaevsky, P. Stollmann, and Y. Suhov, "Wegner-type bounds for a multi-particle continuous Anderson model with an alloy-type external potential," Journal of Statistical Physics, vol. 138, no. 4-5, pp. 553-566, 2010.

[18] V. Chulaevsky, A. Boutet de Monvel, and Y. Suhov, "Dynamical localization for a multi-particle model with an alloy-type external random potential," Nonlinearity, vol. 24, no. 5, pp. 1451-1472, 2011.

[19] W. Kirsch, P. Stollmann, and G. Stolz, "Localization for random perturbations of periodic Schrodinger operators," Random Operators and Stochastic Equations, vol. 6, no. 3, pp. 241-268, 1998.

[20] A. Boutet de Monvel and P. Stollmann, "Dynamical localization for continuum random surface models," Archiv der Mathematik, vol. 80, no. 1, pp. 87-97, 2003.

[21] J. M. Combes and L. Thomas, "Asymptotic behaviour of eigenfunctions for multiparticle Schrodinger operators," Communications in Mathematical Physics, vol. 34, pp. 251-270, 1973.

[22] H. Weyl, "Das asymptotische Verteilungsgesetz der Eigenwerte linearer partieller Differentialgleichungen (mit einer Anwendung auf die Theorie der Hohlraumstrahlung)," Mathematische Annalen, vol. 71, no. 4, pp. 441-479, 1912.

[23] F. Martinelli and E. Scoppola, "Remark on the absence of absolutely continuous spectrum for -dimensional Schrodinger operators with random potential for large disorder or low energy," Communications in Mathematical Physics, vol. 97, no. 3, pp. 465-471, 1985.

[24] F. Germinet and A. Klein, "Bootstrap multiscale analysis and localization in random media," Communications in Mathematical Physics, vol. 222, no. 2, pp. 415-448, 2001.

[25] V. Chulaevsky, "Exponential scaling limit of the single-particle Anderson model via adaptive feedback scaling," Journal of Statistical Physics, vol. 162, no. 3, pp. 603-614, 2016.

[26] V. Chulaevsky, "From fixed-energy localization analysis to dynamical localization: an elementary path," Journal of Statistical Physics, vol. 154, no. 6, pp. 1391-1429, 2014.

Victor Chulaevsky (iD)

Departement de Mathematiques, Universite de Reims, Moulin de la Housse, BP 1039, 51687 Reims Cedex 2, France

Correspondence should be addressed to Victor Chulaevsky; plinius@free.fr

Received 28 September 2017; Revised 22 December 2017; Accepted 4 January 2018; Published 8 April 2018

Academic Editor: Hagen Neidhardt

Printer friendly Cite/link Email Feedback | |

Title Annotation: | Research Article |
---|---|

Author: | Chulaevsky, Victor |

Publication: | Advances in Mathematical Physics |

Article Type: | Report |

Geographic Code: | 1USA |

Date: | Jan 1, 2018 |

Words: | 8823 |

Previous Article: | Lump Solutions to a (2+1)-Dimensional Fifth-Order KdV-Like Equation. |

Next Article: | CCNV Space-Times as Potential Supergravity Solutions. |

Topics: |