Diffusion of Wave Packets in a Markov Random Potential

Transcription

1 J Stat Phys (2009) 134: DOI /s Diffusion of Wave Packets in a Markov Random Potential Yang Kang Jeffrey Schenker Received: 26 August 2008 / Accepted: 28 February 2009 / Published online: 14 March 2009 Springer Science+Business Media, LLC 2009 Abstract We consider the evolution of a tight binding wave packet propagating in a time dependent potential. If the potential evolves according to a stationary Markov process, we show that the square amplitude of the wave packet converges, after diffusive rescaling, to a solution of a heat equation. Keywords Diffusion Schrödinger equation Anderson model Markov process 1 Introduction It is generally epected that over long times the amplitude of a wave propagating in a weakly disordered background will be well described by a diffusion, at least in dimension d 3. This epectation stems from a picture of wave propagation as a multiple scattering process. Scattering off the disordered background results in random phases, and the build up of these phases over multiple scattering events leads eventually to a loss of coherence in the wave. Decoherent propagation of the wave may be understood as a classical superposition of reflections from random obstacles. As long as recurrence does not dominate the evolution, the central limit theorem suggests that the amplitude is given in the long run by a diffusion. So far it has not been possible to turn this heuristic argument into mathematical analysis without restricting the time scale over which the wave evolution is followed as in [2 4]. One major obstacle is a lack of control over recurrence: the wave packet may return often to regions visited previously, denying us the independence needed to carry out the central limit argument. Indeed, the phenomenon of Anderson localization indicates that under appropriate conditions recurrence can dominate and cause complete localization of the wave packet. (It is worth noting that, since random walks are highly recurrent in dimensions d = 1and2, the above heuristic analysis does not support diffusion in d = 1 or 2, dimensions in which localization is proved (d = 1) and epected (d = 2) to dominate at any disorder strength.) Dedicated to Jürg Fröhlich and Tom Spencer on the occasions of their 60th birthdays. Y. Kang J. Schenker ( ) Michigan State University, East Lansing, MI 48823, USA jeffrey@math.msu.edu

2 1006 Y. Kang, J. Schenker A natural way to avoid recurrence difficulties is to bring a time dependence into the disordered background we suppose that the environment evolves as the packet propagates. Here we consider a stochastic environment evolving independently of the wave packet. A natural assumption in this contet is that the background changes in time according to a stationary Markov process. Such evolution equations have been proposed as an effective model for the propagation of wave packets in optical fibers [6]. We consider here the simplest eample of such a wave equation, namely the tight binding Markov-Schrödinger equation { i t ψ t () = Tψ t () + λv (ω(t))ψ t (), (1.1) ψ 0 l 2 (Z d ), where T is a translation invariant hopping operator on l 2 (Z d ), ω(t) is a Markov process on a measure space and v : R are measurable functions on. Anelementary, but important, observation is that, so long as the time dependent generator H ω(t) = T + λv (ω(t)) is uniformly bounded in time, the non-autonomous problem (1.1) has a unique solution ψ t for any initial condition ψ 0 l 2 (Z d ), given for instance by the norm convergent series ψ t = ψ 0 + ( i) n H ω(r1 ) H ω(rn)ψ 0 dr 1 dr n, (1.2) n=1 Ɣ n(t) with Ɣ n (t) ={(r 1,...,r n ) : 0 r n r 1 t}. The evolution is easily seen to be unitary, ψ t = ψ 0. Thus a sufficient condition for solutions to (1.1) to eist is that T < and sup sup ω v (ω) <. We eamine diffusion of the wave packet by considering the mean square amplitude E( ψ t () 2 ),wheree( ) denotes averaging with respect to the random paths of the Markov process and also an initial distribution for ω(0). Diffusion is characterized by changes in position that scale as the square root of the elapsed time. Thus it is natural to look at the mean square amplitude in the scaling t τt, τ for a large parameter τ.since is a discrete variable, to accomplish this rescaling we need to convolve E( ψ t () 2 ) with a function on R d. That is, we look at A t () = ξ Z d u( ξ)e ( ψ t (ξ) 2) (1.3) with u a fied bump function centered at 0. Let us suppose u 0and ud = 1, so that A t () 0and A t ()d = ψ 0 2. We interpret diffusion for the mean square amplitude as weak convergence of A t () under diffusive scaling to a solution of a heat equation. That is, for suitable test functions φ, φ()τ d 2 Aτt ( τ)d τ ψ φ() R R d d (πdt) d 2 e 2 Dt d (1.4) with D>0. A sufficient condition for (1.4), which requires no choice of a bump function, is obtained by a Fourier transform: ξ Z d e i 1 k ξ ( τ E ψτt (ξ) 2) τ ψ 0 2 e td k 2, k R d. (1.5)

3 Diffusion of Wave Packets in a Markov Random Potential 1007 Following is a brief history of related studies. Ovchinnikov and Erikman obtained diffusion for a Gaussian Markov ( white noise ) potential [7]. Pillet obtained results on transience of the wave in related models and derived a Feynman-Kac representation which we use below [8]. The evolution (1.1) was considered by Tchermentchansev [9, 10], who used Pillet s Feynman-Kac formula to show that position moments such as p E( ψ t () 2 ) ehibit diffusive scaling, up to logarithmic corrections. More precisely, he obtained upper and lower bounds of the form t p 1 2 (ln t) p E ( ψ t () 2) t p ν 2 (ln t) ν +, t. (1.6) In the present paper we obtain diffusion (1.5)andshowthat(1.6) holds for p = 2 with ν + = ν = 0. While completing this manuscript, we learned of recent work of De Roeck, Fröhlich and Pizzo on diffusion for a quantum particle weakly coupled to an array of independent free quantum fields [11]. In the net section we state technical conditions which allow us to derive (1.5). These conditions are quite general and cover a large number of models of the form (1.1). However, it may be useful to have at least one eample in mind. So, to guide the reader, we close this introduction with a simple eample of a potential for which we can derive diffusion. We call this the flip process. The state space of the Markov potential is just { 1, 1} Zd,and v (ω) = evaluation of the th coordinate. So at any time t, the potential v (ω(t)) takes only the values ±1. Now suppose the process ω(t) is obtained by allowing each coordinate v (ω) to flip sign at the times t 1 () t 2 () of a Poisson process, with independent, identical Poisson processes at each site. For this potential, our result implies diffusion (1.5) ofthe wave amplitude. 2 Statement of the Main Result: Diffusion of the Amplitude 2.1 Assumptions We make the following assumptions: (1) (Eistence of the Markov process and invariant measure): We are given a topological space, a Borel probability measure μ, and a collection {P α : α } of probability measures on the path space P = [0, ), taken with the σ -algebra generated by Borelcylinder sets, such that (a) (Paths are right continuous and start at α): For each α, with P α probability one, every path ω( ) is right continuous and satisfies ω(0) = α. (b) (The Markov property holds): For any measurable A P we have P ω(t) (A)dP α (ω( )) = P α (St 1 (A)) P where S t is the backward shift on P, S t ω( ) = ω( +t), so St 1 (A) ={ω( ) : ω( +t) A}. (c) (Invariance of μ): For any measurable A, P α (ω(t) A)dμ(α) = μ(a).

4 1008 Y. Kang, J. Schenker Let E α ( ) denote epectation with respect to P α, E α (F(ω( ))) = F(ω( ))dp α (ω( )), (2.1) P and similarly E ( ) = E α ( )dμ(α), (2.2) which is epectation with respect to the probability measure P(A) = P α(a)dμ(α) on P. By the invariance of μ under the Markov process we have E (f(ω(t))) = f(α)dμ(α) (2.3) for any t and any f L 1 ( ). The Markov property, invariance of μ, and right continuity of paths show that S t f(α)= E α (f(ω(t))) (2.4) defines a strongly continuous contraction semi-group on L 2 ( ) (also on L p ( ) for any 1 p ). Indeed, the Markov property clearly shows this is a semi-group, and from the definition we have f,s t g L 2 ( ) = E (f(ω(0))g(ω(t))), (2.5) so by Cauchy Schwartz and (2.3) f,s t g L 2 ( ) f L 2 ( ) g L 2 ( ) (2.6) from which it follows that S t L 2 L 2 1. The right continuity of the paths under P α now shows that S t is strongly continuous, since any f L 2 ( ) may be approimated by bounded continuous functions and for bounded continuous f : R we have S t f f 2 L 2 ( ) = E ( f(ω(t)) f(ω(0)) 2) 0 (2.7) by dominated convergence. The adjoint S t of S t is also a strongly continuous contraction semi-group, given formally by S t f(α)= E(f (ω(0)) ω(t) = α), (2.8) where the r.h.s. is a conditional epectation. Of particular importance to us is the generator B of S t defined by 1 ( Bψ = lim ψ S t 0 + t t ψ ) (2.9) on the domain D(B) consisting of ψ such that the limit on the r.h.s. converges in L 2 norm. The generator B is maimally dissipative, meaning Re ψ,bψ 0forψ D(B) and no etension of B has this property. It follows that the spectrum of B is contained in the closed right half plane {z : Re z 0}. The adjoint B of B is the generator for S t. Note that both S t and S t satisfy S t 1 = S t 1 = 1, (2.10)

5 Diffusion of Wave Packets in a Markov Random Potential 1009 where 1 denotes the function equal to one everywhere on. It follows that 1 D(B) and 1 D(B ) and that B1 = B 1 = 0. (2.11) The orthogonal complement of 1 is the space of mean zero functions, } L 2 0 {f ( ) = L 2 ( ) : f(α)dμ(α) = 0. (2.12) From (2.11) it follows that L 2 0 ( ) is an invariant subspace for B and B.WerequirethatB is strictly dissipative on this space: (2) (Gap condition and sectoriality of the generator): There is T > 0 such that if f D(B) and f(α)dμ(α) = 0, then Re f,bf L 2 ( ) 1 f(α) 2 dμ(α). T In addition, we require that B is sectorial, namely there is γ< such that Im f,bf L 2 ( ) γ Re f,bf L 2 ( ) for all f D(B). One consequence of the sectorial condition on the generator is that a precise meaning can be given to the formal relation S t = e tb using the Riesz functional calculus see [1, Chap. II, Sect. 4]. Finally, we require translation invariance for the hopping operator T, the Markov process, and the potential v (α): (3) (Translation invariance of the hopping terms): T is a translation invariant hopping operator on l 2 (Z d ), Tψ()= y h( y)ψ(y), with h a function such that (a) (Self adjointness of T )Forevery, h( ) = h(). (b) (Non-degeneracy of T ) For each non-zero vector k R d,thereissome Z d such that h() 0andk 0. (c) (Smoothness of the symbol) 2 h() <. It follows from (c) that ĥ(k) = e ik h() is a C 2 function on the torus T d.inparticular, T is a bounded operator with T l 2 (Z d ) l 2 (Z d ) = ma k ĥ(k). (4) (Translation invariance of the process and invariant measure): There are μ-measure preserving maps σ :, Z d, such that and σ σ y = σ +y, P σ (α)(t (A)) = P α (A), where T : P P is the map T (ω)( ) = σ (ω( )).

6 1010 Y. Kang, J. Schenker (5) (Translation covariance, boundedness and non-degeneracy of the potential): The functions v : R are bounded, translation covariant mean zero v = v 0 σ, v (α)dμ(α) = 0, and there is χ>0such that for all,y Z d, y, B 1 (v v y ) L χ. (2.13) 2 ( ) Since the Markov process is translation invariant, B commutes with the translations T f(α)= f(σ α) of L 2 ( ). Thus (2.13) is equivalent to B 1 (v v 0 ) χ (2.14) L 2 ( ) for all Z d, 0. The condition v dμ = 0 can always be obtained by putting the mean of v into the diagonal part of the hopping term. Likewise, by absorbing the normalization into the disorder strength λ, we may assume that v L 2 ( ) = 1. A very general class of models, which includes the flip model described above, is obtained by taking = S Zd for some set S R and supposing that each coordinate ω() of ω undergoes an independent Markov process, with the processes at different sites identically distributed.wethensetv (ω) = ω(). In this case, the generator B is the sum of the individual generators for the processes at each site more precisely the Friedrichs etension of that sum defined on the domain of functions depending on only finitely many coordinates. The above conditions are easily translated into conditions on the individual generator of the Markov process on S for each coordinate ω(). For these models, the condition (2.13) is trivial since, by the independence of different coordinates and translation invariance, we have B 1 (v v y ) 2 = B 1 v L 2 ( ) 2 + B 1 v L 2 ( ) y 2 L 2 ( ) 2.2 Main Result = 2 B 1 v 0 2, y. (2.15) L 2 ( ) Thewavefunctionψ satisfies a linear equation, but the square amplitude ψ 2 is quadratic in ψ. To obtain a linear equation for the evolution of ψ 2, we consider the density matri ρ t (, y) = ψ t ()ψ t (y), (2.16) which satisfies the evolution equation t ρ t (, y) = i ζ h(ζ ) [ ρ t ( ζ,y) ρ t (, y + ζ) ] iλ ( v (ω(t)) v y (ω(t)) ) ρ t (, y). (2.17) Note that ψ t () 2 = ρ t (, ).

7 Diffusion of Wave Packets in a Markov Random Potential 1011 More generally, we may consider the evolution equation (2.17) to be the basic dynamical problem, with an arbitrary initial condition ρ 0 (, y). The natural setting is for ρ 0 to be a density matri, namely ρ 0 DM := { ρ : Z d Z d C : ρ is the kernel of a non-negative definite, trace class operator on l 2 (Z d ) }. (2.18) By virtue of the unitarity of the evolution (1.1), the space DM is preserved by the evolution (2.17), as is the trace tr ρ 0 = ρ 0(, ). Under the assumptions outlined in the previous subsection, we have the following Theorem 1 Any solution to (2.17) with initial condition ρ 0 DM satisfies lim τ e i k τ E (ρτt (, )) =[tr ρ 0 ]e t i,j D i,j (λ)k i k j, (2.19) with D i,j = D i,j (λ) a positive definite matri. Near λ = 0, D i,j (λ) has an asymptotic epansion If furthermore 2 ρ 0 (, ) <, then D i,j (λ) = 1 λ 2 ( D 0 i,j + O(λ) ). (2.20) 1 lim t t 2 E (ρ t (, )) =[tr ρ 0 ] i D i,i. (2.21) Remark As the proof will show, (2.19) holds also for an initial condition ρ 0 which is the kernel of a non-positive definite trace class operator. 3 Augmented Space Analysis 3.1 Augmented Space and Pillet s Feynman-Kac Formula The starting point of our analysis is a Feynman-Kac formula due to Pillet [8] whichepresses E(ρ t (, )) as a matri element of a contraction semigroup on an augmented Hilbert space, H := L 2 (Z d Z d ), (3.1) where Z d Z d is taken with the measure M f(,y,ω)dm(,y,ω) = f(,y,ω)dμ(ω). (3.2),y We think of a vector H as a random density matri, at least if (,,ω) is the kernel of a non-negative definite trace class operator for μ almost every ω. We also think of H as the tensor products l 2 (Z d ) l 2 (Z d ) L 2 ( ) or l 2 (Z d Z d ) L 2 ( ), using the notations [ψ φ f ](,y,ω)= ψ()φ(y)f(ω), ψ,φ l 2 (Z d ), f L 2 ( ), (3.3)

8 1012 Y. Kang, J. Schenker and [ρ f ](,y,ω)= ρ(,y)f(ω), ρ l 2 (Z d Z d ), f L 2 ( ). (3.4) The Feynman-Kac-Pillet formula basic to our work is E(ρ t (, y)) = δ δ y 1,e t(ik+iλv +B) ρ 0 1 H, (3.5) where K (,y,ω)= ζ h(ζ ) [ ( ζ,y,ω) (,y + ζ,ω) ], (3.6) V (,y,ω)= ( v (ω) v y (ω) ) (,y,ω), (3.7) and the Markov generator B acts on H as a multiplication operator with respect to the first two coordinates, that is In particular, we have B[ρ f ]=ρ (Bf ), ρ l 2 (Z d Z d ), f L 2 ( ). (3.8) E(ρ t (, )) = δ δ 1,e tl ρ 0 1 H, (3.9) where L = ik + iλv + B. This equation relates the mean square amplitude of the time dependent dynamics (2.17) to spectral properties of the non-self adjoint operator L. 3.2 Fourier Transform To perform a spectral analysis of L, it is useful to note that L commutes with a group of translations on H a fact which encodes the distributional invariance of (1.1) under translations. Specifically, if we let S ξ denote a simultaneous shift of position and disorder, then we have Proposition 2 S ξ (,y,ω) = ( ξ,y ξ,σ ξ ω), S ξ K = KS ξ, S ξ V = VS ξ, and S ξ B = BS ξ. Proof The first two identities follow directly from the definitions of K and V ; the last follows from the assumed translation invariance of the measure μ. As K, V and B commute with a representation of the additive group Z d, we may simultaneously partially diagonalize them by a Fourier transform. In the present contet a useful transformation is the following unitary map: (,ω,k) = ξ e ik ξ S ξ (,0,ω)= ξ e ik ξ ( ξ, ξ,σ ξ ω), :L 2 (Z 2d ) L 2 (Z d T d ) (3.10)

9 Diffusion of Wave Packets in a Markov Random Potential 1013 where T d =[0, 2π) d is the d torus. One may easily compute that K (,ω,k) := K (,ω,k) = ζ h(ζ ) [ ( ζ,ω,k) e ik ζ ( ζ,σ ζ ω,k) ], (3.11) V (,ω,k) := V (,ω,k) = (v (ω) v 0 (ω)) (,ω,k), (3.12) and B (,ω,k) = B (,ω,k), (3.13) where B is understood to act as a multiplication operator with respect to Z d and k T d. The operators K, V and B act fiberwise over the torus T d i.e., they act as multiplication operators with respect to the coordinate k. Thus, (3.5) may be transformed into E(ρ t (, y)) = e ik y δ y 1, e t Lk ρ 0;k 1 L 2 (Z d )dl(k), (3.14) T d where l denotes normalized Lebesgue measure on the torus T d, ρ 0;k () = y e ik y ρ 0 ( y, y), (3.15) and with Vφ(,ω)= (v (ω) v 0 (ω))φ(, ω) and L k := i K k + iλ V + B (3.16) K k φ(,ω)= ζ h(ζ ) [ φ( ζ,ω) e ik ζ φ( ζ,σ ζ ω) ]. (3.17) In particular, e ik E (ρ t (, )) = δ 0 1, e t Lk ρ 0;k 1 L 2 (Z d ). (3.18) This equation is the starting point for our proof of Theorem 1. It indicates that the diffusive limit on the l.h.s. of (2.19) can be studied via a spectral analysis of the semi-group e t L k for k in a neighborhood of 0. 4 Spectral Analysis of L k and the Proof of Theorem 1 In this section inner products and norms are taken in the space L 2 (Z d ) unless otherwise indicated. 4.1 Spectral Analysis of L 0 To begin, let us consider L k with k = 0. A preliminary observation is that L 0 δ 0 1 = 0. (4.1)

10 1014 Y. Kang, J. Schenker Ultimately, this identity is a consequence of the fact that E(tr ρ t) is constant in time. Let P 0 denote orthogonal projection of L 2 (Z d ) onto the space H 0 = l 2 (Z d ) {1} of non-random functions, P 0 () = (,ω)dμ(ω). (4.2) Then P0 = (1 P 0) is the projection onto mean zero functions } H0 { (,ω) = : (,ω)dμ(ω) = 0. (4.3) The block decomposition of L 0 with respect to the direct sum H 0 H0 is of the form ( ) 0 iλp0 V L 0 = iλ VP 0 i K 0 + B + iλp0 VP. (4.4) 0 Indeed, it follows from the definition of K 0 that and we have seen in Sect. 2 that K 0 P 0 = P 0 K 0 = 0, (4.5) P 0 B = BP 0 = 0. (4.6) (The identity P 0 B = 0 follows since B P 0 = 0.) Thus, ran P0 = H 0 is an invariant subspace for i K 0 + B and i K 0 + B vanishes on ran P 0 = H 0. Since the potentials v (ω) are mean zero, P 0 VP 0 = 0and(4.4) follows. Using the block decomposition (4.4) we now prove the following Lemma 3 For each λ>0 there is δ λ > 0, with δ λ cλ 2 for λ small, such that where (1) 0 is a non-degenerate eigenvalue, and (2) + {z : Re z>δ λ }. σ( L 0 ) ={0} + (4.7) Proof First note that Re L 0 = Re B 0 in the sense of quadratic forms. Thus by the sectoriality of B Im, L 0 K 0 + λ V + Im, B ĥ + 2λ + γ Re, L 0, (4.8) if = 1. It follows that the numerical range of L 0,Num( L 0 ) ={, L 0 : = 1} is contained in N + := { z : Re z 0and Im z ĥ + 2λ + γ Re z }. (4.9) Since σ( L 0 ) Num( L 0 ), we may restrict our attention to z N +.

11 Diffusion of Wave Packets in a Markov Random Potential 1015 Now fi z N + and consider the equation ( ) ( ) (φ φ 1 z iλp0 V 1 ( L 0 z) = iλ VP 0 P0 L 0 P0 z ) = ( ) ψ 1, (4.10) for (φ 1, ) H 0 H0 given (ψ 1, ) H 0 H0. By the gap condition on B, Re P 0 L 0 P 0 = Re(i K 0 + B + iλp 0 VP 0 ) 1 T P 0, (4.11) so the second of the two equations (4.10) may be solved provided Re z< 1 T Thus the first equation of (4.10) reduces to with to give = (P 0 L 0 P 0 z) 1 [ iλ Vφ 1 ]. (4.12) [Ɣ(z) z] φ 1 = ψ 1 P 0 V(P 0 L 0 P 0 z) 1, (4.13) Ɣ(z) = λ 2 P 0 V(P 0 L 0 P 0 z) 1 VP 0. (4.14) Thus L 0 z is boundedly invertible, for Re z< 1, if and only if z/ σ (Ɣ(z)). However, T Re φ 1, Ɣ(z)φ 1 = λ 2 φ 1, V(P 0 L 0 P 0 z ) 1 (Re B Re z) (P 0 L 0 P 0 z) 1 Vφ 1 λ 2 ( 1 T Re z ) ( P 0 L 0 P 0 z) 1 Vφ 1 2 ( ) 1 = λ 2 T Re z ( B 1 P0 ( L ) 0 z)p0 1B 1 Vφ 1 2, (4.15) wheretheinverseofb is well defined since Vφ 1 H0 = ran P 0.FurthermoreB 1 is bounded on H0, with B 1 P0 T. Thus B 1 P0 ( L 0 z)p0 is bounded, B 1 P0 ( L ( 0 z)p0 1 + T ĥ + 2λ + z ), (4.16) and it follows that ( ) 1 Re φ 1, Ɣ(z)φ 1 l 2 (Z d ) λ 2 T Re z 1 B 1 Vφ 1 2 [1 + T( ĥ + 2λ + z )] 2 ( ) 1 λ 2 χ 2 T Re z 1 φ() 2, [1 + T( ĥ + 2λ + z )] 2 where we have made use of the non-degeneracy assumption on the potential. For z N + {Re z< 1 } we have T 0 (4.17) ĥ + 2λ + z 2 ĥ + 4λ + (1 + γ) 1 T. (4.18)

12 1016 Y. Kang, J. Schenker Thus Re Ɣ(z) 1 T Re z [ ] λχ 2 (1 0 ), T 2 + γ + 2T ĥ + 4Tλ (4.19) with 0 the projection of H 0 onto δ 0. It follows that (1) Ɣ(0) is invertible off the range of 0, so 0 is a non-degenerate eigenvalue of L 0, (2) Ɣ(z) z is invertible if z N +, z 0, Re z r, T and [ ] 1 r λχ 2 Re z, T 2 + γ + 2T ĥ + 4Tλ (4.20) for some r (0, 1). Optimizing the choice of r gives the following eplicit epression for δ λ : δ λ = 1 T λ 2 χ 2 (2 + γ + 2T ĥ + 4Tλ) 2 + λ 2 χ 2. (4.21) The spectral gap δ λ has consequences for the dynamics of the semi-group: Lemma 4 Let Q 0 = orthogonal projection onto δ 0 1 in L 2 (Z d ). Then e t L 0 (1 Q 0 ) is a contraction semi-group on ran(1 Q 0 ), and for all sufficiently small ɛ>0 there is C ɛ > 0 such that e t L 0 (1 Q 0 ) C ɛ e t(δ λ ɛ). (4.22) Proof That e t L 0 (1 Q 0 ) is a semi-group on ran(1 Q 0 ) with generator L (0) 0 = L 0 ran(1 Q0 ) is clear. Since σ( L 0 ) {Re z δ λ }, it is known that a sufficient condition for (4.22) to hold is for e t L 0 (1 Q 0 ) to be an analytic semi-group (see [1, Chap. IV, Corollary 3.12]). A necessary and sufficient condition for e t L 0 (1 Q 0 ) to be analytic, given that L 0 is maimally dissipative, is that the following estimate 1 ζ L (0) 0 ran(1 Q0 ) C Im ζ (4.23) holds for all ζ C with Re ζ<0. (See [1, Chap. II, Theorem 4.6].) For any invertible closed operator A, wehave A 1 1/ inf { z :z Num(A)}, with Num(A) the numerical range of A. SinceNum( L (0) 0 ) N +, with N + as in (4.9), we have 1 ζ L (0) 0 ran(1 Q0 ) 1 dist(ζ, N + ). (4.24) It follows that (4.23) holds for all ζ outside a rectangle of the form R =[ a,0]+i[ M,M]. On the other hand, by Lemma 3, this rectangle R is contained in the resolvent set of L (0) 0. Since R is compact, we have 1 sup ζ R ζ L (0) <, (4.25) 0 ran(1 Q0 )

13 Diffusion of Wave Packets in a Markov Random Potential 1017 which is stronger than (4.23)forζ R. 4.2 Analytic Perturbation Theory for L k Now that we have established a strict spectral gap for L 0, it follows that the gap persists in the spectrum of L k for k sufficiently small. Indeed, [ L k L 0 ]φ(,ω)= ζ h(ζ )(1 e ik ζ )φ( ζ,σ ζ ω), (4.26) so L k L 0 c k. (4.27) Thus, an immediately corollary of Lemma 3 is Lemma 5 If k is sufficiently small, the spectrum of L k consists of: (1) A non-degenerate eigenvalue E(k) contained in H 0 ={z : z <c k }. (2) The rest of the spectrum is contained in the half plane H 1 ={z : Re z>δ λ c k } such that H 0 H 1 =. Furthermore, E(k) is C 2 in a neighborhood of 0, and with E(0) = 0, E(0) = 0, (4.28) i j E(0) = 2Re i K 0 δ 0 1, [ L 0 ] 1 j K 0 δ 0 1 = 2Re,y Z d i y j h()h(y) δ 1, [Ɣ(0)] 1 δ y 1, (4.29) Ɣ(0) = λ 2 P 0 V(P 0 L 0 P 0 ) 1 VP 0 (4.30) as in the proof of Lemma 3. In particular, i j E(0) is positive definite. Proof These are all standard facts from analytic perturbation theory see for instance [5]. A sketch of the proof is as follows. First, it is a general fact that the spectrum moves no further than the norm of the perturbation, so σ( L k ) {z : z <c k } {z : Re z>δ λ c k }. (4.31) For sufficiently small k the two sets on the r.h.s. are disjoint and we may fit a contour C which winds around the origin between them. The (non-hermitian) Riesz projection Q k = 1 1 dz (4.32) 2πi C z L k is rank one at k = 0 and continuous as a function of k. It follows that Q k is rank one as long as σ( L k ) does not intersect the contour C. Thus for small k the only spectrum of L k in

14 1018 Y. Kang, J. Schenker a neighborhood of zero is a non-degenerate eigenvalue, with associated eigenvector in the one-dimensional range of Q k. Let us call the eigenvalue E(k), and the associated normalized eigenvector k. Clearly E(0) = 0and 0 = δ 0 1. Since L k Q k = E(k)Q k (4.33) we may compute the derivatives of E(k) by differentiating L k and the projection. In particular, E(k) is given by the so-called Feynman-Hellman formula E(k) = k, L k k, (4.34) from which it follows that E(0) = 0since L k = i K k is off-diagonal in the position basis on H 0. Similarly, we have i j E(k) = k, i j L k k + i L k k,(1 Q k ) L 1 k (1 Q k) j L k k + j L k k,(1 Q k ) L 1 k (1 Q k) i L k k. (4.35) The first term on the r.h.s. vanishes at k = 0 and the other two combine to give the identities claimed in the lemma. Since [Ɣ(0)] 1 is positive definite, it follows from the non-degeneracy condition (3b) that i j E(0) is positive definite as well. Again, we obtain dynamical information about the semi-group e t L k : Lemma 6 If ɛ is sufficiently small, then there is C ɛ < such that e t L k (1 Q k ) C ɛ e t(δ λ ɛ c k ) (4.36) for all sufficiently small k. Proof Since Num( L k ) N +, with N + as in (4.9) in the proof of Lemma 3, this is essentially identical to the proof of Lemma 4. Fork in a compact neighborhood of the origin, we can choose the bound C ɛ uniform in k. 4.3 Proof of Theorem 1 A first observation is that it suffices to prove diffusion (2.19) under the assumption that the initial density matri ρ 0 satisfies ρ 0 (, y) <. (4.37),y To see this, it is useful to note: (1) The evolution (2.17) preserves the trace norm of ρ 0. (2) Any ρ DM may be approimated, to arbitrary precision, by an operator ρ 0 DM satisfying (4.37). In more detail, recall that the trace norm of an operator A is A T1 = sup{ tr AB : B is finite rank and B 1}. (4.38)

15 Diffusion of Wave Packets in a Markov Random Potential 1019 Since the evolution (2.17)isgivenbyρ t = Uρ 0 U, with U = U(t,0) the unitary propagator of (1.1), we see that ρ t T1 = ρ 0 T1. On the other hand, given ρ 0 of trace class and ɛ>0 we can find ρ 0 satisfying (4.37) and such that ρ 0 ρ 0 T1 <ɛ.indeed,wemaytake ρ 0 (, y) = { ρ 0 (, y) if, y <L, 0 if L or y L, with L sufficiently large. Then, e ik E (ρ t (, ) ρ t (, )) (4.39) E ( ρ t (, ) ρ t (, ) ) E ( ρ t ρ t T1 ) ɛ. (4.40) If diffusion (2.19) holds for any ρ 0 satisfying (4.37) we learn that lim sup e i τ 1 k E (ρτt (, )) (tr ρ 0 ) e i,j D i,j k i k j 2ɛ (4.41) τ which gives diffusion for ρ 0 in the limit ɛ 0. Turning now to ρ 0 which satisfies (4.37) we see that ρ 0;k () = y ρ 0 ( + y,y)e ik y (4.42) defines a function that is uniformly bounded in l 2 (Z d ) as k varies through the torus, [ ρ 0;k () ] ρ 0;k () ρ 0 (, y) := M<. (4.43),y By (3.18)wehave e i τ 1 k E (ρτt (, )) = δ 0 1, e τt L τ k/ ρ 0; τ 1 k 1. (4.44) Letting Q k denote the Riesz projection onto the eigenvector of L k near zero see (4.32) in the proof of Lemma 5 we have e i 1 τ k E (ρτt (, )) = e τte(k/ τ) δ 0 1,Q 1 τ k ρ 0; 1 τ k 1 + δ 0 1, e τt L k/ τ (1 Q 1 τ k ) ρ 0; 1 τ k 1, (4.45) for τ sufficiently large. By Lemma 6, the second term in (4.45) is eponentially small in the large τ limit, δ 0 1,(1 Q 1 τ k )e τt L k/ τ ρ 0; 1 τ k 1

16 1020 Y. Kang, J. Schenker (1 Q 1 τ k )e τt L k/ τ ρ 0; 1 τ k 1 MC ɛ e τt(δ λ ɛ c k / τ) 0. (4.46) Regarding the first term in (4.45), we have by Taylor s formula, E(k/ τ)= 1 2τ i j E(0)k i k j + o i,j ( ) 1, (4.47) τ since E(0) = E(0) = 0. Thus e τte(k/ τ) = e t 1 2 i,j i j E(0)k i k j + o(1). (4.48) Putting together (4.48) and(4.46) yields e i τ 1 k E (ρτt (, )) = e t 1 2 i,j i j E(0)k i k j δ 0 1, ρ 0; τ 1 k 1 +o(1) = e t 1 2 i,j i j E(0)k i kj ρ 0; τ 1 k (0) + o(1) e t 1 2 i,j i j E(0)k i kj ρ 0;0 (0) (4.49) since Q k δ 0 1 δ 0 1ask 0and ρ 0;k (0) is continuous as a function of k. Equation (4.49) completes the proof of diffusion (2.19), with the diffusion matri given by D i,j = 1 2 i j E(0). From the eplicit epression (4.29)for i j E(0) in Lemma 5,wesee that the asymptotic form (2.20) holds, with Di,j 0 = Re i K 0 δ 0 1, [ ( P 0 VP0 i K 0 + B ) 1 ] P 1 j 0 VP 0 K 0 δ 0 1. (4.50) To derive (2.21), diffusive scaling for E( 2 ρ t (, )), note that by (3.18) 1 t Epanding the r.h.s. we obtain 1 t 2 E (ρ t (, )) = 1 t k δ0 1, e t Lk ρ 0;k 1 k=0. (4.51) 2 E (ρ t (, )) = 1 t δ 0 1, e t L 0 k ρ 0;k k=0 1 }{{} I 2 d δ 0 1, i e t L k k=0 i ρ 0;k k=0 1 t i=1 }{{} II 1 t δ 0 1, k e t L k k=0 ρ 0;0 1. (4.52) }{{} III The first term is negligible as t, I = 1 δ0 1, e t L 0 k ρ 0;k k=0 1 = 1 ( ) 1 2 ρ 0 (, ) = O, (4.53) t t t

17 Diffusion of Wave Packets in a Markov Random Potential 1021 since e t L 0δ 0 1 = δ 0 1. To proceed, we need to recall the formula for differentiating a semi-group, i e t L k = t Thus the second term on the r.h.s. of (4.52) is equal to II = 2 t t 0 0 e (t s) L k ( i L k ) e s L k ds. (4.54) d i L 0 δ 0 1, e s L 0 (1 Q 0 ) i ρ 0;0 1 ds, (4.55) i=1 where we have recalled that (1) [ i L k ] = i L k, (2) e s L 0 Q 0 = Q 0,and (3) Q 0 i L 0 = 0. By Lemma 4, we see that II is negligible in the large t limit: II 1 ( ) 1 e s(δλ ɛ) ds = O. (4.56) t 0 t It remains to compute the third term III, for which we have t III = 1 k L k k=0 δ 0 1, e s L 0 (1 Q 0 ) ρ 0;0 1 ds t 0 }{{} IIIa + 1 t s d i L 0 δ 0 1, e (s r) L 0 (1 Q 0 ) i L 0 e r L 0 (1 Q 0 ) ρ 0;0 1 drds t 0 0 i=1 }{{} IIIb + 1 t s d i L 0 δ 0 1, e (s r) L 0 (1 Q 0 ) i L 0 Q 0 ρ 0;0 1 drds. (4.57) t 0 0 i=1 }{{} IIIc Similar to what we had for II, we find that IIIa = O( 1 ), and also that t IIIb 1 s ( ) 1 e s(δλ ɛ) drds = O. (4.58) t 0 0 t Finally, for IIIc we have IIIc = d ( ) 1 i L 0 δ 0 1, L 1 0 (1 Q 0) i L 0 Q 0 ρ 0;0 1 +O t i=1 = (tr ρ 0 ) d ( ) i K 0 δ 0 1, L 1 0 i K 1 0 δ 0 1 +O, (4.59) t i=1 since L k = i K k. Comparing with the epression (4.29)for i j E(0) yields (2.21).

18 1022 Y. Kang, J. Schenker Acknowledgements We wish to epress our gratitude for the hospitality etended to both of us by the Erwin Schrödinger Institute and to J.S. by the Isaac Newton Institute. J.S. would like to thank Tom Spencer, Jürg Fröhlich and Wojhiech De Roeck for interesting discussions related to this work. We would also like to thank Sergey Denissov for pointing out that the non-degeneracy condition (3b) on the hopping operator was missing from our original manuscript. References 1. Engel, K.-J., Nagel, R.: One-Parameter Semigroups for Linear Evolution Equations. Graduate Tets in Mathematics, vol Springer, New York (2000). With contributions by S. Brendle, M. Campiti, T. Hahn, G. Metafune, G. Nickel, D. Pallara, C. Perazzoli, A. Rhandi, S. Romanelli and R. Schnaubelt. MR MR (2000i:47075) 2. Erdős, L., Salmhofer, M., Yau, H.-T.: Quantum diffusion for the Anderson model in the scaling limit. Ann. Henri Poincaré 8(4), (2007). MR MR (2008g:82053) 3. Erdős, L., Salmhofer, M., Yau, H.-T.: Quantum diffusion of the random Schrödinger evolution in the scaling limit. II. The recollision diagrams. Commun. Math. Phys. 271(1), 1 53 (2007). MR MR (2008h:82035) 4. Erdős, L., Salmhofer, M., Yau, H.-T.: Quantum diffusion of the random Schrödinger evolution in the scaling limit. Acta Math. 200(2), (2008). MR MR Kato, T.: Perturbation Theory for Linear Operators. Classics in Mathematics. Springer, Berlin (1995). Reprint of the 1980 edition. MR MR (96a:47025) 6. Mitra, P.P., Stark, J.B.: Nonlinear limits to the information capacity of optical fibre communications. Nature 411(6841), (2001) 7. Ovchinnikov, A.A., Érikhman, N.S.: Motion of a quantum particle in a stochastic medium. Sov. JETP 40, 733 (1974) 8. Pillet, C.-A.: Some results on the quantum dynamics of a particle in a Markovian potential. Commun. Math. Phys. 102(2), (1985). MR MR (88i:82015) 9. Tcheremchantsev, S.: Markovian Anderson model: bounds for the rate of propagation. Commun. Math. Phys. 187(2), (1997). MR MR (98h:82029) 10. Tcheremchantsev, S.: Transport properties of Markovian Anderson model. Commun. Math. Phys. 196(1), (1998). MR MR (99g:82075) 11. Fröhlich, J., De Roeck, W., Pizzo, A.: Diffusion for a quantum particle coupled to an array of independent thermal fields (2008). arxiv: v1