Abstract:We show, without relying on any unproven assumptions, that a low-density free fermion chain exhibits thermalization in the following (restricted) sense. We choose the initial state as a pure state drawn randomly from the Hilbert space in which all particles are in half of the chain. This represents a nonequilibrium state such that the half chain containing all particles is in equilibrium at infinite temperature, and the other half chain is a vacuum. We let the system evolve according to the unitary time evolution determined by the Hamiltonian and, at a sufficiently large typical time, measure the particle number in an arbitrary macroscopic region in the chain. In this setup, it is proved that the measured number is close to the equilibrium value with probability very close to one. Our result establishes the presence of thermalization in a concrete model in a mathematically rigorous manner. The most important theoretical ingredient for the proof of thermalization is the demonstration that a nonequilibrium initial state generated as above typically has a sufficiently large effective dimension. Here, we first give general proof of thermalization based on two assumptions, namely, the absence of degeneracy in energy eigenvalues and a property about the particle distribution in energy eigenstates. We then justify these assumptions in a concrete free-fermion model, where the absence of degeneracy is established by using number-theoretic results. This means that our general result also applies to any lattice gas models in which the above two assumptions are justified. To confirm the potential wide applicability of our theory, we discuss some other models for which the essential assumption about the particle distribution is easily verified, and some non-random initial states whose effective dimensions are sufficiently large.

Thermalization of Two- and Three-Dimensional Classical Lattices

Thermalization and Return to Equilibrium on Finite Quantum Lattice Systems

Thermalization dynamics in photonic lattices of different geometries

Chaotic route to classical thermalization: A real-space analysis

Simulations of Classical Three-Body Thermalization in One Dimension

Nature abhors a vacuum: A simple rigorous example of thermalization in an isolated macroscopic quantum system

Interrelated Thermalization and Quantum Criticality in a Lattice Gauge Simulator

Clustering theorem in 1D long-range interacting systems at arbitrary temperatures

Thermalization slowing down of weakly nonintegrable quantum spin dynamics

A general multi-wave quasi-resonance theory for lattice energy diffusion

Heat transport in an angular-momentum-conserving lattice

Simulation of Heat Transport in Low-Dimensional Oscillator Lattices

Thermalization of closed chaotic many-body quantum systems

Geometric phase and edge states in heat diffusion lattices

Thermalization is typical in large classical and quantum harmonic systems

Thermal Area Law for Lattice Bosons

Thermal Tensor Network Simulations of the Heisenberg Model on the Bethe Lattice

Simulating $\mathbb{Z}_2$ Lattice Gauge Theory with the Variational Quantum Thermalizer

Finite-temperature transport in one-dimensional quantum lattice models

Quantum Computing Universal Thermalization Dynamics in a (2+1)D Lattice Gauge Theory

Dynamical Quantum Phase Transition and Thermal Equilibrium in the Lattice Thirring Model