In joint work with J. L. Lebowitz, C. Mastrodonato, and N. Zanghì [2, 3, 4], we considered an isolated, macroscopic quantum system. Let H be a micro‐canonical “energy shell,” i.e., a subspace of the system’s Hilbert space spanned by the (finitely) many energy eigenstates with energies between E and E+δE. The thermal equilibrium macro‐state at energy E corresponds to a subspace Heq of H such that dimHeq/dimH is close to 1. We say that a system with state vector ψ ε H is in thermal equilibrium if ψ is “close” to Heq. We argue that for “typical” Hamiltonians, all initial state vectors ψ0 evolve in such a way that ψt is in thermal equilibrium for most times t. This is closely related to von Neumann’s quantum ergodic theorem of 1929.
In joint work with J. L. Lebowitz, C. Mastrodonato, and N. Zanghì [2, 3, 4], we considered an isolated, macroscopic quantum system. Let H be a micro‐canonical “energy shell,” i.e., a subspace of the system’s Hilbert space spanned by the (finitely) many energy eigenstates with energies between E and E+δE. The thermal equilibrium macro‐state at energy E corresponds to a subspace Heq of H such that dimHeq/dimH is close to 1. We say that a system with state vector ψ ε H is in thermal equilibrium if ψ is “close” to Heq. We argue that for “typical” Hamiltonians, all initial state vectors ψ0 evolve in such a way that ψt is in thermal equilibrium for most times t. This is closely related to von Neumann’s quantum ergodic theorem of 1929.
We treat the problem of the approach to thermal equilibrium by only resorting to quantum dynamics of an isolated macroscopic system. Inspired by the two important works in 2009 and in 1929, we have noted that a condition we call "thermodynamic normality" for a macroscopic observable guarantees the approach to equilibrium (in the sense that a measurement of the observable at time
t almost certainly yields a result close to the corresponding microcanonical average for a sufficiently long and typical
t). A crucial point is that we make no assumptions on the initial state of the system, except that its energy is distributed close to a certain macroscopic value. We also present three (rather artificial) models in which the thermodynamic normality can be established, thus providing concrete examples in which the approach to equilibrium is rigorously justified. Note that this kind of results which hold for ANY initial state are never possible in classical systems. We are thus dealing with a mechanism which is peculiar to quantum systems. The present note is written in a self-contained (and hopefully readable) manner. It only requires basic knowledge in quantum physics and equilibrium statistical mechanics.
Abstract We say of an isolated macroscopic quantum system in a pure state
ψ ψ that it is in macroscopic thermal equilibrium (MATE) if
ψ ψ lies in or close to a suitable subspace
Heq H eq of Hilbert space. It is known that every initial state
ψ0 ψ 0 will eventually reach and stay there most of the time (“thermalize”) if the Hamiltonian is non-degenerate and satisfies the appropriate version of the eigenstate thermalization hypothesis (ETH), i.e., that every eigenvector is in MATE. Tasaki recently proved the ETH for a certain perturbation
HθfF H θ fF of the Hamiltonian
H0fF H 0 fF of
N≫1 N ≫ 1 free fermions on a one-dimensional lattice. The perturbation is needed to remove the high degeneracies of
H0fF H 0 fF . Here, we first point out that also for degenerate Hamiltonians all
ψ0 ψ 0 thermalize if the ETH holds, i.e., if every eigenbasis lies in MATE, and we prove that this is the case for
H0fF H 0 fF . Inspired by the fact that there is one eigenbasis of
H0fF H 0 fF for which MATE can be proved more easily than for the others, with smaller error bounds, and also in higher spatial dimensions, we show for any given
H0 H 0 that the existence of one eigenbasis in MATE implies quite generally that most eigenbases of
H0 H 0 lie in MATE. We also show that, as a consequence, after adding a small generic perturbation,
H=H0+λV H = H 0 + λ V with
λ≪1 λ ≪ 1 , for most perturbations V the perturbed Hamiltonian H satisfies ETH and all states thermalize.
We study the problem of the approach to equilibrium in a macroscopic quantum system in an abstract setting. We prove that, for a typical choice of "nonequilibrium subspace", any initial state (from the energy shell) thermalizes, and in fact does so very quickly, on the order of the Boltzmann time $τ__\mathrm{B}:=h/(k_\mathrm{B}T)$. This apparently unrealistic, but mathematically rigorous, conclusion has the important physical implication that the moderately slow decay observed in reality is not typical in the present setting. The fact that macroscopic systems approach thermal equilibrium may seem puzzling, for example, because it may seem to conflict with the time-reversibility of the microscopic dynamics. According the present result, what needs to be explained is, not that macroscopic systems approach equilibrium, but that they do so slowly. Mathematically our result is based on an interesting property of the maximum eigenvalue of the Hadamard product of a positive semi-definite matrix and a random projection matrix. The recent exact formula by Collins for the integral with respect to the Haar measure of the unitary group plays an essential role in our proof.
In the present note, we discuss a simple example of a macroscopic quantum many-body system in which the approach to thermal equilibrium from an arbitrary initial state in the microcanonical energy shell is proved without relying on any unproven assumptions. The model, which is equivalent to a free fermion chain, is designed to be a toy model for a weakly heat-conducting one-dimensional solid. We take a phenomenological point of view and perceive that the system is in thermal equilibrium when the measured coarse-grained energy distribution is uniform. The result on thermalization reported here is a variation (and an improvement) of our previous result on the irreversible expansion in a free fermion chain. As far as we know, this is the first concrete and rigorous realization of the philosophy on the foundation of equilibrium statistical mechanics proposed by von Neumann in 1929, and further developed recently by Goldstein, Lebowitz, Mastrodonato, Tumulka, and Zangh\`ıand the present author, namely, to characterize thermal equilibrium from a macroscopic viewpoint and to make use of the strong ETH to control the long-time dynamics. This note will be the most technical part of my longer article on thermalization, "What is thermal equilibrium and how do we get there?". I am making this document public at this stage since I have already announced (and will announce) the results at some of my talks.