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.

Proof of absence of local conserved quantities in the mixed-field Ising chain

Proof of the absence of local conserved quantities in general spin-1/2 chains with symmetric nearest-neighbor interaction

Proof of the absence of local conserved quantities in the XYZ chain with a magnetic field

Proof of the absence of local conserved quantities in the spin-1 bilinear-biquadratic chain and its anisotropic extensions

No eigenstate of the critical transverse-field Ising chain satisfies the area law

Absence of local conserved quantity in the Heisenberg model with next-nearest-neighbor interaction

Absence of shift-invariant Gibbs states (delocalisation) for one-dimensional $\mathbb Z$-valued fields with Long-Range interactions

Proof of completeness of the local conserved quantities in the one-dimensional Hubbard model

Proof of nonintegrability of the spin-$1$ bilinear-biquadratic chain model

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

Monotonicity of the Scalar Curvature of the Quantum Exponential Family for Transverse-Field Ising Chains

Low energy spectrum of the XXZ model coupled to a magnetic field

A theorem on extensive ground state entropy, spin liquidity and some related models

Central limit theorem for the free energy of the random field Ising model

Absence of inhomogeneous chiral phases in 2+1-dimensional four-fermion and Yukawa models

Nonequilibrium Steady States in the Weakly-Coupled XXZ Model

Anomalous localization in spin chains with tilted interactions

Local Operator Entanglement in Spin Chains

Mean-field approach to Mid-spectrum Eigenstates of long-range interacting Quantum Systems

Exactly solvable subspaces of non-integrable spin chains with boundaries and quasiparticle interactions