Table of Contents
Fetching ...

Decoherence is an echo of Anderson localization in open quantum systems

Frederik Ravn Klausen, Simone Warzel

Abstract

We study the time evolution of single-particle quantum states described by a Lindblad master equation with local terms. By means of a geometric resolvent equation derived for Lindblad generators, we establish a finite-volume-type criterion for the decay of the off-diagonal matrix elements in the position basis of the time-evolved or steady states. This criterion is shown to yield exponential decay for systems where the non-hermitian evolution is either gapped or strongly disordered. The gap exists for example whenever any level of local dephasing is present in the system. The result in the disordered case can be viewed as an extension of Anderson localization to open quantum systems.

Decoherence is an echo of Anderson localization in open quantum systems

Abstract

We study the time evolution of single-particle quantum states described by a Lindblad master equation with local terms. By means of a geometric resolvent equation derived for Lindblad generators, we establish a finite-volume-type criterion for the decay of the off-diagonal matrix elements in the position basis of the time-evolved or steady states. This criterion is shown to yield exponential decay for systems where the non-hermitian evolution is either gapped or strongly disordered. The gap exists for example whenever any level of local dephasing is present in the system. The result in the disordered case can be viewed as an extension of Anderson localization to open quantum systems.
Paper Structure (15 sections, 12 theorems, 79 equations, 2 figures)

This paper contains 15 sections, 12 theorems, 79 equations, 2 figures.

Key Result

Proposition 2.2

Under Assumption assumption:locality, $\mathcal{L}$ is the generator of a norm-continuous, positivity and trace preserving contraction semigroup $\exp(t \mathcal{L})$ on the Banach space $\mathcal{S}_1(\ell^2(\Lambda))$ of trace-class operators.

Figures (2)

  • Figure 1: Sketch of the contour $\Gamma_\varepsilon$ (dashed) within $\left\{ z \in \mathbb{C} \mid \Re z < \varepsilon \right\}\backslash\sigma(D_{\Lambda_k} )$ which winds anticlockwise once around $\sigma(D_{\Lambda_k})$. By construction $\Gamma_\varepsilon$ is disjoint from and does not wind around $\sigma(- D_{\Lambda_j}^* + \varepsilon)$.
  • Figure 2: The points $x$ and $y$ and the construction of $\Lambda_x, \Lambda_y$ and $\Lambda_1 =\Lambda_x \uplus \Lambda_y$ and $\Lambda_2 = \Lambda \backslash \Lambda_1$. Any term corresponding to $Z \in \partial$ acts non-trivially within a safety corridor of distance $R$ from the two boundaries of $\Lambda_x, \Lambda_y$. The terms corresponding to $Z \in \partial_{\Lambda_1}$ act nontrivially only in the shaded inner boundary of $\Lambda_1$.

Theorems & Definitions (28)

  • Proposition 2.2: Quantum dynamical semigroup of contractions
  • Example 2.3
  • Example 2.4
  • Example 2.5
  • Example 2.6
  • Definition 2.7: Boundary Lindbladians
  • Lemma 2.8: Integral representation
  • proof
  • Definition 2.9
  • Proposition 2.10: Coherence bound in terms of admissible kernel
  • ...and 18 more