Undecidability in quantum thermalization
arXiv:2012.13889 · doi:10.1038/s41467-021-25053-0
Abstract
The investigation of thermalization in isolated quantum many-body systems has a long history, dating back to the time of developing statistical mechanics. Most quantum many-body systems in nature are considered to thermalize, while some never achieve thermal equilibrium. The central problem is to clarify whether a given system thermalizes, which has been addressed previously, but not resolved. Here, we show that this problem is undecidable. The resulting undecidability even applies when the system is restricted to one-dimensional shift-invariant systems with nearest-neighbour interaction, and the initial state is a fixed product state. We construct a family of Hamiltonians encoding dynamics of a reversible universal Turing machine, where the fate of a relaxation process changes considerably depending on whether the Turing machine halts. Our result indicates that there is no general theorem, algorithm, or systematic procedure determining the presence or absence of thermalization in any given Hamiltonian.
6 pages, 3 figures. See our long companion paper arXiv:2012.13890 )
References in corpus (10)
- Thermalization and its mechanism for generic isolated quantum systems
- Probing many-body dynamics on a 51-atom quantum simulator
- Experimental Observation of a Generalized Gibbs Ensemble
- Quantum Many-Body Scars and Weak Breaking of Ergodicity
- The Luttinger model following a sudden interaction switch-on
- Testing whether all eigenstates obey the Eigenstate Thermalization Hypothesis
- Strong and weak thermalization of infinite non-integrable quantum systems
- Absence of Thermalization in Nonintegrable Systems
- Typicality for Generalized Microcanonical Ensembles
- Thermalization without eigenstate thermalization hypothesis after a quantum quench
Cited by in corpus (13)
- Quantum Mpemba effect in a quantum dot with reservoirs
- Quantum many-body scars in spin models with multibody interactions
- Uncovering Local Integrability in Quantum Many-Body Dynamics
- Undecidable problems in quantum field theory
- What the foundations of quantum computer science teach us about chemistry
- Glassy word problems: ultraslow relaxation, Hilbert space jamming, and computational complexity
- Nature abhors a vacuum: A simple rigorous example of thermalization in an isolated macroscopic quantum system
- Undecidability in Physics: a Review
- Long-time equilibration can determine transient thermality
- Can quantum gravity be both consistent and complete?
- Continuous-time quantum optimisation without the adiabatic principle
- Multi species asymmetric simple exclusion process with impurity activated flips
- Absence of thermalization after a local quench and strong violation of the eigenstate thermalization hypothesis