Thermalization and canonical typicality in translation-invariant quantum lattice systems (Q500056)

The authors present rigorous analytic proofs of dynamical and kinematic formulations of thermalization for a lattice system under interaction of finite range, but of arbitrary strength. It is stated that for translation-invariant lattice systems, the small subsystems are close to thermal under wide conditions on the spectrum and boundary. The work clarifies the thermalization presentation, showing in particular that the resulting state will not be a local Gibbs state. The authors also succeed in giving tight analytic bounds for the distance between the reduction of a typical global pure state and the local Gibbs state in the non-interacting case, which appears to be a nontrivial problem. They also prove an important result that constitutes a part of the eigenstate thermalization hypothesis for all models with finite interaction range: global energy eigenstates are locally close to diagonal in the local energy eigenstates.