3.5: Thermalization of Quantum Systems
( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand\Dalpha
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[1], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Dbeta
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[2], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Dgamma
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[3], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Ddelta
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[4], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Depsilon
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[5], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Dvarepsilon
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[6], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Dzeta
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[7], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Deta
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[8], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Dtheta
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[9], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Dvartheta
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[10], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Diota
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[11], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Dkappa
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[12], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Dlambda
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[13], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Dvarpi
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[14], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\DGamma
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[15], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\DDelta
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[16], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\DTheta
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[17], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Vmu
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[18], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Vnu
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[19], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Vxi
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[20], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Vom
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[21], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Vpi
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[22], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Vvarpi
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[23], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Vrho
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[24], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Vvarrho
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[25], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Vsigma
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[26], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Vvarsigma
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[27], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Vtau
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[28], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Vupsilon
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[29], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Vphi
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[30], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Vvarphi
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[31], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Vchi
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[32], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Vpsi
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[33], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\Vomega
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[34], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\VGamma
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[35], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\VDelta
Callstack: at (Template:MathJaxArovas), /content/body/div/p[1]/span[36], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\newcommand\BI{\mib I}}
\)
\newcommand { M}
\newcommand { m}
}
\( \newcommand\tcb{\textcolor{blue}\)
\( \newcommand\tcr{\textcolor{red}\)
1$#1_$
\newcommand\SZ{\textsf Z}} \( \newcommand\kFd{k\ns_{\RF\dar}\)
\newcommand\mutB{\tilde\mu}\ns_\ssr{B}
\( \newcommand\xhihOZ
Callstack: at (Template:MathJaxArovas), /content/body/div/span[1], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
\( \newcommand\labar
Callstack: at (Template:MathJaxArovas), /content/body/div/span[2], line 1, column 1 at template() at (Bookshelves/Thermodynamics_and_Statistical_Mechanics/Book:_Thermodynamics_and_Statistical_Mechanics_(Arovas)/03:_Ergodicity_and_the_Approach_to_Equilibrium/3.05:_Thermalization_of_Quantum_Systems), /content/body/p/span, line 1, column 23
Quantum Dephasing
Thermalization of quantum systems is fundamentally different from that of classical systems. Whereas time evolution in classical mechanics is in general a nonlinear dynamical system, the Schrödinger equation for time evolution in quantum mechanics is linear:
iℏ∂Ψ∂t=ˆHΨ ,
where ˆH is a many-body Hamiltonian. In classical mechanics, the thermal state is constructed by time evolution – this is the content of the ergodic theorem. In quantum mechanics, as we shall see, the thermal distribution must be encoded in the eigenstates themselves.
Let us assume an initial condition at t=0,
|Ψ(0)⟩=∑αC∗α|Ψ∗α⟩ ,
where {|Ψ∗α⟩} is an orthonormal eigenbasis for ˆH satisfying ˆH|Ψ∗α⟩=E∗α|Ψ∗α⟩. The expansion coefficients satisfy C∗α=⟨Ψ∗α|Ψ(0)⟩ and ∑α|C∗α|2=1. Normalization requires
⟨Ψ(0)|Ψ(0)⟩=∑α|C∗α|2=1 .
The time evolution of |Ψ⟩ is then given by
|Ψ(t)⟩=∑αC∗αe−iE∗αt/ℏ|Ψ∗α⟩ .
The energy is distributed according to the time-independent function
P(E)=⟨Ψ(t)|δ(E−ˆH)|Ψ(t)⟩=∑α|C∗α|2δ(E−E∗α) .
Thus, the average energy is time-independent and is given by
⟨E⟩=⟨Ψ(t)|ˆH|Ψ(t)⟩=∞∫−∞dEP(E)E=∑α|C∗α|2E∗α .
The root mean square fluctuations of the energy are given by
(ΔE)∗rms=⟨(E−⟨E⟩)2⟩1/2=√∑α|C∗α|2E2α−(∑α|C∗α|2E∗α)2 .
Typically we assume that the distribution P(E) is narrowly peaked about ⟨E⟩, such that (ΔE)∗rms≪E−E∗0, where E∗0 is the ground state energy. Note that P(E)=0 for E<E∗0, the eigenspectrum of ˆH is bounded from below.
Now consider a general quantum observable described by an operator A. We have
⟨A(t)⟩=⟨Ψ(t)|A|Ψ(t)⟩=∑α,βC∗αC∗βei(E∗α−E∗β)t/ℏA∗αβ ,
where A∗αβ=⟨Ψ∗α|A|Ψ∗β⟩. In the limit of large times, we have
⟨A⟩∗t≡lim
Note that this implies that all coherence between different eigenstates is lost in the long time limit, due to dephasing.
Eigenstate Thermalization Hypothesis
The essential ideas behind the eigenstate thermalization hypothesis (ETH) were described independently by J. Deutsch (1991) and by M. Srednicki (1994). The argument goes as follows. If the total energy is the only conserved quantity, and if \CA is a local, translationally-invariant, few-body operator, then the time average \langle \CA \rangle is given by its microcanonical value,
\langle \CA \rangle\ns_t = \sum_\alpha |C\ns_\alpha|^2 \,\CA\ns_{\alpha\alpha}={\sum_\alpha \CA\ns_{\alpha\alpha} \, \RTheta(E\ns_\alpha \in I) \over \sum_\alpha \RTheta(E\ns_\alpha \in I)} \equiv \langle \CA\rangle\ns_E ,
where I=\big[E,E+\RDelta E\big] is an energy interval of width \RDelta E. So once again, time averages are micro canonical averages.
But how is it that this is the case? The hypothesis of Deutsch and of Srednicki is that thermalization in isolated and bounded quantum systems occurs at the level of individual eigenstates. That is, for all eigenstates \tket{\RPsi\ns_\alpha} with E\ns_\alpha\in I, one has
\CA\ns_{\alpha\alpha}=\langle \CA \rangle\ns_{E\ns_\alpha}\ .
This means that thermal information is encoded in each eigenstate. This is called the eigenstate thermalization hypothesis (ETH).
An equivalent version of the ETH is the following scenario. Suppose we have an infinite or extremely large quantum system U (the ‘universe’) fixed in an eigenstate \tket{\RPsi\ns_\alpha}. Then form the projection operator P\ns_\alpha=\tket{\RPsi\ns_\alpha}\tbra{\RPsi\ns_\alpha}. Projection operators satisfy P^2=P and their eigenspectrum consists of one eigenvalue 1 and the rest of the eigenvalues are zero11. Now consider a partition of U=W\cup S, where W\gg S. We imagine S to be the ‘system’ and W the ‘world’. We can always decompose the state \tket{\RPsi\ns_\alpha} in a complete product basis for W and S, viz.
\tket{\RPsi\ns_\alpha}=\sum_{p=1}^{N\ns_W}\sum_{j=1}^{N\ns_S} \CQ^\alpha_{pj}\,\tket{\psi^W_p}\otimes\tket{\psi^S_j}\ .
Here N\ns_{W/S} is the size of the basis for W/S. The reduced density matrix for S is defined as
\rho\ns_S=\mathop{\Tra}_W P\ns_\alpha = \sum_{j,j'=1}^{N\ns_S} \! \Bigg(\sum_{p=1}^{N\ns_W} \CQ^\alpha_{pj}\,\CQ^{\alpha *}_{pj'}\Bigg) \> \tket{\psi^S_j}\tbra{\psi^S_{j'}}\ .
The claim is that \rho\ns_S approximates a thermal density matrix on S,
\rho\ns_S\approx {1\over Z\ns_S}\,e^{-\beta \HH\ns_S}\ , \label{rhosG}
where \HH\ns_S is some Hamiltonian on S, and Z\ns_S=\Tra e^{-\beta \HH\ns_S}, so that \Tra\rho\ns_S=1 and \rho\ns_S is properly normalized. A number of issues remain to be clarified:
- What do we mean by “approximates"?
- What do we mean by \HH\ns_S?
- What do we mean by the temperature T?
We address these in reverse order. The temperature T of an eigenstate \tket{\RPsi\ns_\alpha} of a Hamiltonian \HH is defined by setting its energy density E\ns_\alpha/V\ns_U to the thermal energy density,
{E\ns_\alpha\over V} = {1\over V}\,{\Tra \HH\,e^{-\beta \HH}\over \Tra e^{-\beta \HH}}\quad.
Here, \HH=\HH\ns_U is the full Hamiltonian of the universe U=W\cup S. Our intuition is that \HH\ns_S should reflect a restriction of the original Hamiltonian \HH\ns_U to the system S. What should be done, though, about the interface parts of \HH\ns_U which link S and W? For lattice Hamiltonians, we can simply but somewhat arbitrarily cut all the bonds coupling S and W. But we could easily imagine some other prescription, such as halving the coupling strength along all such interface bonds. Indeed, the definition of H\ns_S is somewhat arbitrary. However, so long as we use \rho\ns_S to compute averages of local operators which lie sufficiently far from the boundary of S, the precise details of how we truncate \HH\ns_U to \HH\ns_S are unimportant. This brings us to the first issue: the approximation of \rho\ns_S by its Gibbs form in Equation \ref{rhosG} is only valid when we consider averages of local operators lying within the bulk of S. This means that we must only examine operators whose support is confined to regions greater than some distance \xi\ns_T from \pz S, where \xi\ns_T is a thermal correlation length. This, in turn, requires that L\ns_S\gg\xi\ns_T, the region S is very large on the scale of \xi\ns_T. How do we define \xi\ns_T? For a model such as the Ising model, it can be taken to be the usual correlation length obtained from the spin-spin correlation function \langle \sigma_\Br\,\sigma\ns_{\Br'}\rangle\ns_T. More generally, we may choose the largest correlation length from among the correlators of all the independent local operators in our system. Again, the requirement is that \exp(-d\ns_\pz(\Br)/\xi\ns_T)\ll 1, where d\ns_\pz(\Br) is the shortest distance from the location of our local operator \CO\ns_\Br to the boundary of S. At criticality, the exponential is replaced by a power law (d\ns_\pz(\Br)/\xi\ns_T)^{-p}, where p is a critical exponent. Another implicit assumption here is that V\ns_S \ll V\ns_W.
When is the ETH true?
There is no rigorous proof of the ETH. Deutsch showed that the ETH holds for the case of an integrable Hamiltonian weakly perturbed by a single Gaussian random matrix. Horoi (1995) showed that nuclear shell model wavefunctions reproduce thermodynamic predictions. Recent numerical work by M. Rigol and collaborators has verified the applicability of the ETH in small interacting boson systems. ETH fails for so-called integrable models, where there are a large number of conserved quantities, which commute with the Hamiltonian. Integrable models are, however, quite special, and as Deutsch showed, integrability is spoiled by weak perturbations, in which case ETH then applies.
ETH also fails in the case of noninteracting disordered systems which exhibit Anderson localization. Single particle energy eigenstates \psi\ns_j whose energies \ve\ns_j the localized portion of the eigenspectrum decay exponentially, as |\psi\ns_j(\Br)|^2\sim\exp\big(-|\Br-\Br\ns_j|/\xi(\ve\ns_j)\big), where \Br\ns_j is some position in space associated with \psi\ns_j and \xi(\ve\ns_j) is the localization length. Within the localized portion of the spectrum, \xi(\ve) is finite. As \ve approaches a mobility edge, \xi(\ve) diverges as a power law. In the delocalized regime, eigenstates are spatially extended and typically decay at worst as a power law12. Exponentially localized states are unable to thermalize with other distantly removed localized states. Of course, all noninteracting systems will violate ETH, because they are integrable. The interacting version of this phenomenon, many-body localization (MBL), is a topic of intense current interest in condensed matter and statistical physics. MBL systems also exhibit a large number of conserved quantities, but in contrast to the case of integrable systems, where each conserved quantity is in general expressed in terms of an integral of a local density, in MBL systems the conserved quantities are themselves local, although emergent. The emergent nature of locally conserved quantities in MBL systems means that they are not simply expressed in terms of the original local operators of the system, but rather are arrived at via a sequence of local unitary transformations.
Note again that in contrast to the classical case, time evolution of a quantum state does not create the thermal state. Rather, it reveals the thermal distribution which is encoded in all eigenstates after sufficient time for dephasing to occur, so that correlations between all the wavefunction expansion coefficients \{C\ns_\alpha\} for \alpha\ne\alpha' are all lost.