Abstract We consider a closed macroscopic quantum system in a pure state $$\psi _t$$ ψ t evolving unitarily and take for granted that different macro states correspond to mutually orthogonal subspaces $${\mathcal {H}}_\nu $$ H ν (macro spaces) of Hilbert space, each of which has large dimension. We extend previous work on the question what the evolution of $$\psi _t$$ ψ t looks like macroscopically, specifically on how much of $$\psi _t$$ ψ t lies in each $${\mathcal {H}}_\nu $$ H ν . Previous bounds concerned the absolute error for typical $$\psi _0$$ ψ 0 and/or t and are valid for arbitrary Hamiltonians H; now, we provide bounds on the relative error, which means much tighter bounds, with probability close to 1 by modeling H as a random matrix, more precisely as a random band matrix (i.e., where only entries near the main diagonal are significantly nonzero) in a basis aligned with the macro spaces. We exploit particularly that the eigenvectors of H are delocalized in this basis. Our main mathematical results confirm the two phenomena of generalized normal typicality (a type of long-time behavior) and dynamical typicality (a type of similarity within the ensemble of $$\psi _0$$ ψ 0 from an initial macro space). They are based on an extension we prove of a no-gaps delocalization result for random matrices by Rudelson and Vershynin (Geom Funct Anal 26:1716–1776, 2016).
Abstract We consider a closed macroscopic quantum system in a pure state ψt ψ t evolving unitarily and take for granted that different macro states correspond to mutually orthogonal subspaces Hν H ν (macro spaces) of Hilbert space, each of which has large dimension. We extend previous work on the question what the evolution of ψt ψ t looks like macroscopically, specifically on how much of ψt ψ t lies in each Hν H ν . Previous bounds concerned the absolute error for typical ψ0 ψ 0 and/or t and are valid for arbitrary Hamiltonians H; now, we provide bounds on the relative error, which means much tighter bounds, with probability close to 1 by modeling H as a random matrix, more precisely as a random band matrix (i.e., where only entries near the main diagonal are significantly nonzero) in a basis aligned with the macro spaces. We exploit particularly that the eigenvectors of H are delocalized in this basis. Our main mathematical results confirm the two phenomena of generalized normal typicality (a type of long-time behavior) and dynamical typicality (a type of similarity within the ensemble of ψ0 ψ 0 from an initial macro space). They are based on an extension we prove of a no-gaps delocalization result for random matrices by Rudelson and Vershynin (Geom Funct Anal 26:1716–1776, 2016).
Abstract We consider a macroscopic quantum system with unitarily evolving pure state ψt∈H ψ t ∈ H and take it for granted that different macro states correspond to mutually orthogonal, high-dimensional subspaces Hν H ν (macro spaces) of H H . Let Pν P ν denote the projection to Hν H ν . We prove two facts about the evolution of the superposition weights ∥Pνψt∥2 ‖ P ν ψ t ‖ 2 : First, given any T>0 T > 0 , for most initial states ψ0 ψ 0 from any particular macro space Hμ H μ (possibly far from thermal equilibrium), the curve t↦∥Pνψt∥2 t ↦ ‖ P ν ψ t ‖ 2 is approximately the same (i.e., nearly independent of ψ0 ψ 0 ) on the time interval [0, T]. And second, for most ψ0 ψ 0 from Hμ H μ and most t∈[0,∞) t ∈ [ 0 , ∞ ) , ∥Pνψt∥2 ‖ P ν ψ t ‖ 2 is close to a value Mμν M μ ν that is independent of both t and ψ0 ψ 0 . The first is an instance of the phenomenon of dynamical typicality observed by Bartsch, Gemmer, and Reimann, and the second modifies, extends, and in a way simplifies the concept, introduced by von Neumann, now known as normal typicality.
We consider a closed macroscopic quantum system in a pure state ψ evolving unitarily with Hamiltonian H in a finite-dimensional Hilbert space H. Following von Neumann, we assume a decomposition of H into mutually orthogonal subspaces Hν, where each ν represents a macro state, and Hν contains the pure states compatible with ν. We define the quantum Boltzmann entropy for a macro state ν as SqB(ν)=kBlogdimHν, where kB is the Boltzmann constant. Goldstein et al. [http://arxiv.org/abs/1903.11870] have suggested, as a version of the second law of thermodynamics, that SqB predominantly increases with time for realistic macroscopic systems. Here, we discuss precise versions of this statement and confirm them for several simple models of H and Hν.
We consider an isolated macroscopic quantum system in a pure state ψt evolving unitarily in a separable Hilbert space H and take for granted that different macro states ν correspond to mutually orthogonal subspaces Hν⊂H. Let Pν be the projection to Hν. It was recently shown that for all Hamiltonians with no highly degenerate eigenvalues and gaps most ψ0∈Hμ are such that for most t ≥ 0, ‖Pνψt‖2 is close to a t-and ψ0-independent value Mμν provided that Mμν is not too small. Here, “most” refers to the uniform distribution on the sphere S(Hμ). In the present work, we generalize this result from the uniform distribution, corresponding to the micro-canonical ensemble, to the much more general class of Gaussian adjusted projected (GAP) measures. For any density matrix ρ on H, GAP(ρ) is the most spread out distribution on S(H) with density matrix ρ. We show that also for GAP(ρ)-most ψ0∈H for most t ≥ 0, ‖Pνψt‖2 is close to a fixed value MρPν (which must not be too small). Moreover, we prove a generalization for certain operators B instead of Pν and for finite times. Since certain GAP measures are quantum analogs of the (grand-)canonical ensemble, our result expresses a version of equivalence of ensembles.
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.
Abstract We generalize Lévy’s lemma, a concentration-of-measure result for the uniform probability distribution on high-dimensional spheres, to a much more general class of measures, so-called GAP measures. For any given density matrix ρ ρ on a separable Hilbert space H H , GAP(ρ) GAP ( ρ ) is the most spread-out probability measure on the unit sphere of H H that has density matrix ρ ρ and thus forms the natural generalization of the uniform distribution. We prove concentration-of-measure whenever the largest eigenvalue ∥ρ∥ ‖ ρ ‖ of ρ ρ is small. We use this fact to generalize and improve well-known and important typicality results of quantum statistical mechanics to GAP measures, namely canonical typicality and dynamical typicality. Canonical typicality is the statement that for “most” pure states ψ ψ of a given ensemble, the reduced density matrix of a sufficiently small subsystem is very close to a ψ ψ -independent matrix. Dynamical typicality is the statement that for any observable and any unitary time evolution, for “most” pure states ψ ψ from a given ensemble the (coarse-grained) Born distribution of that observable in the time-evolved state ψt ψ t is very close to a ψ ψ -independent distribution. So far, canonical typicality and dynamical typicality were known for the uniform distribution on finite-dimensional spheres, corresponding to the micro-canonical ensemble, and for rather special mean-value ensembles. Our result shows that these typicality results hold also for GAP(ρ) GAP ( ρ ) , provided the density matrix ρ ρ has small eigenvalues. Since certain GAP measures are quantum analogs of the canonical ensemble of classical mechanics, our results can also be regarded as a version of equivalence of ensembles.
Motivated by studies of typical properties of quantum states in statistical mechanics, we introduce phase-random states, an ensemble of pure states with fixed amplitudes and uniformly distributed phases in a fixed basis. We first give a sufficient condition for canonical states to typically appear in subsystems of phase-random states, which reveals a trade-off relation between the initial state in the bounded energy subspace and the energy eigenstates that define that subspace. We then investigate the simulatability of phase-random states, which is directly related to that of time evolution in closed systems, by studying their entanglement properties. We find that, starting from a separable state, time evolutions under Hamiltonians composed of only separable eigenstates generate extremely high entanglement and are difficult to simulate with matrix-product states. We also show that random quantum circuits consisting of only two-qubit diagonal unitaries can generate an ensemble with the same average entanglement as phase-random states.