Abstract
We consider a macroscopic quantum system with unitarily evolving pure state \(\psi _t\in \mathcal {H}\) and take it for granted that different macro states correspond to mutually orthogonal, high-dimensional subspaces \(\mathcal {H}_\nu \) (macro spaces) of \(\mathcal {H}\). Let \(P_\nu \) denote the projection to \(\mathcal {H}_\nu \). We prove two facts about the evolution of the superposition weights \(\Vert P_\nu \psi _t\Vert ^2\): First, given any \(T>0\), for most initial states \(\psi _0\) from any particular macro space \(\mathcal {H}_\mu \) (possibly far from thermal equilibrium), the curve \(t\mapsto \Vert P_\nu \psi _t\Vert ^2\) is approximately the same (i.e., nearly independent of \(\psi _0\)) on the time interval [0, T]. And second, for most \(\psi _0\) from \(\mathcal {H}_\mu \) and most \(t\in [0,\infty )\), \(\Vert P_\nu \psi _t\Vert ^2\) is close to a value \(M_{\mu \nu }\) that is independent of both t and \(\psi _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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The approach of studying thermalization through the analysis of closed quantum systems with huge numbers of degrees of freedom has led, among other things, to the eigenstate thermalization hypothesis (ETH) [4, 6, 27], to the discovery of canonical typicality [5, 12, 18], and more recently to the discovery of dynamical typicality [1, 2, 16, 21,22,23], which is the fact that most pure states \(\psi \) with a given quantum expectation value \(\langle \psi |A|\psi \rangle \) of a macroscopic observable A also have nearly the same \(\langle \psi |B|\psi \rangle \) for any other observable B (and likewise also nearly the same \(\langle \psi _t|B|\psi _t \rangle \)). Here, we provide a very simple proof of an important special case of this statement, namely for A a projection and \(\langle \psi |A|\psi \rangle =1\). Put differently, we show that most \(\psi \) from a macroscopically large subspace of Hilbert space have almost the same expectation values of bounded observables.
Our second result concerns the long-time behavior of \(\langle \psi _t|B|\psi _t \rangle \) under the unitary evolution \(\psi _t=\exp (-iHt)\psi _0\) (taking \(\hbar =1\)) and extends previous results of Reimann and Gemmer [23] as well as von Neumann’s [17] result now known as normal typicality [10, 13]. In particular, our result avoids certain unrealistic assumptions of von Neumann’s.
As usual for the description of macroscopic closed quantum systems, we restrict our consideration to a micro-canonical energy interval \([E-\Delta E,E]\) that is small in macroscopic units but large enough to contain very many eigenvalues of the Hamiltonian H; for a system of N particles, relevant intervals contain of order \(\exp (N)\) eigenvalues. Let \(\mathcal {H}\) be the corresponding spectral subspace, i.e., the range of \(\mathbbm {1}_{[E-\Delta E,E]}(H)\), or energy shell, and let \({\mathbb {S}}(\mathcal {H}) = \{\psi \in \mathcal {H}: \Vert \psi \Vert =1\}\) denote the unit sphere and \(D:=\dim \mathcal {H}<\infty \). Following von Neumann [17], we assume that different macro states \(\nu \) of the system correspond to mutually orthogonal subspaces \(\mathcal {H}_\nu \) (macro spaces) of \(\mathcal {H}\) such that
Different vectors in the same \(\mathcal {H}_\nu \) are regarded as “looking macroscopically equal”. For example, the “macroscopic look” could be defined in terms of mutually commuting self-adjoint operators \(M_1,\ldots ,M_K\) regarded as the “macroscopic observables” [17]; then \(\mathcal {H}_\nu \) are the joint eigenspaces and \(\nu =(m_1,\ldots ,m_K)\) is the corresponding list of eigenvalues. Let \(P_\nu \) denote the projection onto \(\mathcal {H}_\nu \). Although some macro spaces will have much larger dimensions \(d_\nu :=\dim \mathcal {H}_\nu \) than others, all \(d_\nu \) will be very large, roughly comparable to \(\exp (N)\).
In this setting, it is natural to consider initial states \(\psi _0\) from a certain macro space and ask about the time evolution of the macroscopic superposition weights \(\Vert P_\nu \psi _t\Vert ^2\). We present two general, theoretical findings about these weights that mainly arise just from the hugeness of the \(d_\nu \)’s. The first finding (dynamical typicality) is that the curve given by \(\Vert P_\nu \psi _t\Vert ^2\) as a function of t is nearly \(\psi _0\)-independent once we fix the macro state of \(\psi _0\). In other words, if \(\psi _0\) is purely random in \(\mathcal {H}_\mu \), then the superposition weights are nearly deterministic. The second finding (generalized normal typicality) is that in the long run, as \(t\rightarrow \infty \), \(\Vert P_\nu \psi _t\Vert ^2\) is nearly constant, meaning it is close for most \(t\in [0,\infty )\) to a t-independent and \(\psi _0\)-independent value, once we fix the macro state of \(\psi _0\). This does not mean that \(\Vert P_\nu \psi _t\Vert ^2\) converges as \(t\rightarrow \infty \) (it does not), but that the time periods in which \(\Vert P_\nu \psi _t\Vert ^2\) is far from that value tend to be short compared to the time intervals separating these periods. One can say that the \(\Vert P_\nu \psi _t\Vert ^2\) equilibrate in the long run; however, this equilibration does not correspond to thermal equilibrium in the sense of thermodynamics; rather, thermal equilibrium at time t would correspond to \(\Vert P_\nu \psi _t\Vert ^2\approx 1\) for one particular \(\nu \) (the macro state of thermal equilibrium, \(\mathcal {H}_\nu =\mathcal {H}_{eq }\)) and \(\Vert P_\nu \psi _t\Vert ^2\approx 0\) for all other \(\nu \)’s. We therefore speak of normal equilibrium when \(\Vert P_\nu \psi _t\Vert ^2\) assumes its long-term value for all \(\nu \).
Our results are typicality statements, i.e., they concern the way most \(\psi _0\) behave, notwithstanding the existence of few exceptional \(\psi _0\) that behave differently. However, a statement about most \(\psi _0\) in \(\mathbb {S}(\mathcal {H})\) would be of limited interest because it could be violated by every system outside of thermal equilibrium, as usually most \(\psi _0\) in \(\mathbb {S}(\mathcal {H})\) are in thermal equilibrium (meaning they are close to \(\mathcal {H}_{eq }\)) [11]. Instead, we make more specific statements: we allow an arbitrary initial macro space \(\mathcal {H}_\mu \), possibly far from thermal equilibrium, and make statements about most \(\psi _0\) in \(\mathbb {S}(\mathcal {H}_\mu )\). Such statements are also naturally of interest when we ask about the increase of the quantum Boltzmann entropy observable [14]
where
is the quantum Boltzmann entropy of the macro state \(\nu \), and \(k_B\) is the Boltzmann constant. Note that a quantum system can be in a superposition of different macro states and thus also in a superposition of different entropy values.
In Sect. 2, we formulate our theorem about dynamical typicality and compare it to related results in the literature. In Sect. 3, the same for generalized normal typicality. In Sect. 4, we prove our result on dynamical typicality. In Sect. 5, we formulate further variants of our results. In Sect. 6, conclusions for realistic sizes of \(d_\nu \) are discussed. In Sect. 7, we outline the proof of generalized normal typicality. In Sect. 8, we collect the remaining proofs. In Sect. 9, we conclude.
2 Dynamical Typicality
2.1 Mathematical Description
For formulating theorems, we introduce the following terminology. Suppose that for each \(\psi \in \mathbb {S}(\mathcal {H}_\mu )\), the statement \(s(\psi )\) is either true or false, and let \(\varepsilon >0\). We say that \(s(\psi )\) is true for \((1-\varepsilon )\)-most \(\psi \in \mathbb {S}(\mathcal {H}_\mu )\) if and only if
where \(u_\mu \) is the normalized uniform measure over \(\mathbb {S}(\mathcal {H}_\mu )\). Similarly, given \(T>0\) and \(\delta >0\), we say that a statement s(t) is true for \((1-\delta )\)-most \(t\in [0,T]\) if and only if
where |S| means the length of the set \(S\subset {\mathbb {R}}\); and that s(t) is true for \((1-\delta )\)-most \(t\in [0,\infty )\) if and only if the lim inf of the left-hand side of (5) as \(T\rightarrow \infty \) is \(\ge 1-\delta \).
The first finding we mentioned can be expressed as follows.
Theorem 1
(Dynamical typicality) Let \(\mu , \nu \) be arbitrary macro states. There is a function \(w_{\mu \nu }:{\mathbb {R}} \rightarrow [0,1]\) such that for every \(t\in {\mathbb {R}}\) and every \(\varepsilon >0\), for \((1-\varepsilon )\)-most \(\psi _0 \in {\mathbb {S}}(\mathcal {H}_\mu )\),
Moreover, for every \(\mu ,\nu \), every \(T>0\), and \((1-\varepsilon )\)-most \(\psi _0\in \mathbb {S}(\mathcal {H}_\mu )\),
That is, if \(d_\mu \gg 1/\varepsilon \), then for any t and purely random \(\psi _0\) from \(\mathcal {H}_\mu \), the random value \(\Vert P_\nu \psi _t\Vert ^2\) is very probably close to the non-random value \(w_{\mu \nu }(t)\). The latter can in fact be taken to be the average of \(\Vert P_\nu \psi _t\Vert ^2\) over \(\psi _0\in \mathbb {S}(\mathcal {H}_\mu )\), which is
Likewise, the whole curve of \(\Vert P_\nu \psi _t\Vert ^2\) as a function of \(t\in [0,T]\) is very probably close, in the \(L^2\) norm, to \(w_{\mu \nu }(t)\) as a function of t. (Smallness of the \(L^2\) norm implies further that \(\bigl | \Vert P_\nu \psi _t\Vert ^2-w_{\mu \nu }(t)\bigr |\) is small for most t; however, this statement, which is equivalent to saying that the expression is small for most pairs \((t,\psi _0)\in [0,T]\times \mathbb {S}(\mathcal {H}_\mu )\), follows already from (6); note that the quantifiers “most t” and “most \(\psi _0\)” commute. Moreover, it also follows from (7) by letting \(T\rightarrow \infty \) that the long-time average of \(\bigl | \Vert P_\nu \psi _t\Vert ^2-w_{\mu \nu }(t)\bigr |^2\) is small, but this statement is actually weaker than for finite T, and it will be superseded below by a more specific statement in our second result, generalized normal typicality.) A more general statement for arbitrary operators B instead of \(P_\nu \) and a tighter error bound is formulated in Sect. 5.
As a further remark, we observe that another quantity is also deterministic for purely random \(\psi _0\) from \(\mathbb {S}(\mathcal {H}_\mu )\): not only is the probability \(\Vert P_\nu \psi _t\Vert ^2\) associated with \(\mathcal {H}_\nu \) at time t nearly deterministic, but also the probability current between \(\mathcal {H}_\nu \) and \(\mathcal {H}_{\nu '}\),
This quantity expresses the amount of probability passing, per unit time, from \(\nu '\) to \(\nu \) minus that from \(\nu \) to \(\nu '\); it satisfies a discrete version of the continuity equation, viz.,
In Sect. 8.2 we will show that the probability current between two macro spaces is deterministic.
2.2 Previous Results About Dynamical Typicality
Bartsch and Gemmer [2] introduced the name “dynamical typicality” for the following closely related phenomenon: Given an observable A and \(a\in {\mathbb {R}}\), there is a function a(t) such that for every \(t\in {\mathbb {R}}\) and most \(\psi _0\in \mathbb {S}(\mathcal {H})\) with \(\langle \psi _0|A|\psi _0 \rangle \approx a\), \(\langle \psi _t|A|\psi _t \rangle \approx a(t)\). Müller, Gross, and Eisert [16] proved a rigorous version of this fact that also implies that for every operator B whose operator norm (largest absolute eigenvalue or singular value) is not too large, there is a value b such that for most \(\psi _0\in \mathbb {S}(\mathcal {H})\) with \(\langle \psi _0|A|\psi _0 \rangle \approx a\), \(\langle \psi _0|B|\psi _0 \rangle \approx b\). As Reimann [22] pointed out, this also implies that for every \(t\in {\mathbb {R}}\) and most \(\psi _0\in \mathbb {S}(\mathcal {H})\) with \(\langle \psi _0|A|\psi _0 \rangle \approx a\), \(\langle \psi _t|B|\psi _t \rangle \approx b(t)\) for suitable b(t). Setting \(A=P_\mu \), \(a=1\), and \(B=P_\nu \), this yields that for every \(t\in {\mathbb {R}}\) and most \(\psi _0\in \mathbb {S}(\mathcal {H}_\mu )\), \(\langle \psi _t|P_\nu |\psi _t \rangle =\Vert P_\nu \psi _t\Vert ^2\) is nearly deterministic. For technical reasons, the proofs of Müller, Gross, and Eisert [16] and Reimann [22] do not actually cover the case that A is a projection and \(a=1\). As was pointed out to us by one of the referees of our paper, Balz et al. [1] provide a general result that covers Theorem 1 as a special case. Although our proof strategy is similar to the one in [1], we decided to present our proof in this paper, because it is very simple and transparent and could help to make the at first sight striking phenomenon of dynamical typicality a text book result. Theorem 1 can also be obtained through a proof strategy used by Reimann and Gemmer [23].
A further related result is given by Strasberg et al. [28], who consider repeated measurements at \(0<t_1<t_2<\cdots<t_r<T\) of all \(P_\nu \)’s and argue that the probability distribution of the outcomes is essentially indistinguishable from the joint distribution of \(X_{t_1},\ldots ,X_{t_r}\) for a suitable Markov process \(X_t\) on the set of \(\nu \)’s. This includes the claim that omitting one of the measurements does not significantly alter the distribution of the other outcomes, so the distribution of \(X_t\) should agree with \(\Vert P_\nu \psi _t\Vert ^2\), which is in line with our result.
3 Generalized Normal Typicality
3.1 Motivation
It is well known that for most \(\phi \in {\mathbb {S}}(\mathcal {H})\),
provided that \(d_\nu \) and \(D:=\dim \mathcal {H}\) are large [10]. Under the additional condition that relative to a fixed decomposition (1) into macro spaces the eigenbasis of H is chosen purely randomly among all orthonormal bases (and some further technical conditions that are not very restrictive) (11), holds also for the eigenstates of H, and it can be shown that every \(\psi _0\in {\mathbb {S}}(\mathcal {H})\) evolves so that for most times t,
This fact is known as normal typicality [10, 13, 17, 20].
The assumption of a purely random eigenbasis can be regarded as expressing that the energy eigenbasis is unrelated to the orthogonal decomposition (1). In most realistic systems, however, the energy eigenbasis and the macro decomposition (1) are not unrelated. If they were unrelated, then the system would very rapidly go from any macro space \(\mathcal {H}_\nu \) directly to the thermal equilibrium macro space \(\mathcal {H}_{eq }\) (a macro space containing most dimensions of \(\mathcal {H}\), \(d_{eq }/D\approx 1\)) [7,8,9]. But that does not happen in most systems because thermal equilibrium requires that energy (and other quantities) is rather evenly distributed over all degrees of freedom, and for getting evenly distributed, it needs to get transported through space, which usually requires time and passage through other macro states, cf. Fig. 1.
That is why we are interested in generalizations of normal typicality that apply also to Hamiltonians whose eigenbasis is not unrelated to \(\mathcal {H}_\nu \). For such H, eigenvectors \(\phi \) must be expected to have superposition weights \(\Vert P_\nu \phi \Vert ^2\) not always near \(d_\nu /D\). Our result actually applies to all Hamiltonians, at the expense that it does not apply to all initial quantum states \(\psi _0\). As noted already, a statement about most \(\psi _0\in {\mathbb {S}}(\mathcal {H})\) would be limited to systems starting out in thermal equilibrium. Our result states that for any macro state \(\mu \), most \(\psi _0\in \mathbb {S}(\mathcal {H}_\mu )\) evolve so that for most times t
provided that \(d_\mu \) is large. See Theorem 2 for the precise quantitative statement and the definition of \(M_{\mu \nu }\). The proof (see Sect. 8) builds particularly on techniques developed by Short and Farrelly [24, 25], but is also related to a series of works on quantum equilibration (e.g., [15, 19]) in which the long-time behavior of \(\langle \psi _t|B|\psi _t \rangle \) is studied under various assumptions on B and \(\psi _0\).
The \(M_{\mu \nu }\) are actually the averages of \(\Vert P_\nu \psi _t\Vert ^2\) over \(t\in [0,\infty )\) and over \(\psi _0\in \mathbb {S}(\mathcal {H}_\mu )\). Thus, they depend only on H and the decomposition (1), but not on t or \(\psi _0\).
In this setting, thermalization means that \(M_{\mu \,\textrm{eq}}\approx 1\) for every \(\mu \), i.e., that for all macro states \(\mu \) the overwhelming majority of micro states eventually reach thermal equilibrium in the sense that \(\psi _t\) lies almost completely in \(\mathcal {H}_\textrm{eq}\) and spends most of the time in the long run there. The time scale on which thermalization happens can be read off from the function \(w_{\mu \,\textrm{eq}}(t)\), while the other \(w_{\mu \nu }(t)\) provide information about the detailed path to thermal equilibrium passing through intermediate macro states.
3.2 Statement of Result
In the following we consider Hamiltonians with spectral decomposition
where \({\mathcal {E}}\) is the set of distinct eigenvalues of H and \(\Pi _e\) the projection onto the eigenspace of H with eigenvalue e. The quantitative bounds in our theorem depend on the Hamiltonian only through the following characteristics of the distribution of its eigenvalues: the maximum degeneracy \(D_E := \max _{e\in {\mathcal {E}}} {{\,\textrm{tr}\,}}(\Pi _e)\) of an eigenvalue and the maximal gap degeneracy
Theorem 2
(Generalized normal typicality) Let \(\mu ,\nu \) be any macro states and define
Then for any \(\varepsilon , \delta >0\), \((1-\varepsilon )\)-most \(\psi _0\in {\mathbb {S}}(\mathcal {H}_\mu )\) are such that for \((1-\delta )\)-most \(t\in [0,\infty )\)
Thus, as soon as \(d_\mu \gg D_E D_G\), i.e., as soon as the dimension of \(\mathcal {H}_\mu \) is huge and no eigenvalue and no gap of H is macroscopically degenerate, for most initial states \(\psi _0\in {\mathbb {S}}(\mathcal {H}_\mu )\) the superposition weight \(\Vert P_\nu \psi _t\Vert ^2\) will be close to the fixed value \(M_{\mu \nu }\) for most times t.
For comparison, Reimann and Gemmer [23] also concluded that \(\langle \psi _t|A|\psi _t \rangle \) is nearly constant, but for a different ensemble based on the condition \(\langle \psi _0|A|\psi _0 \rangle \approx a\). We also provide a statement analogous to Theorem 2 for \(\langle \psi _t|B|\psi _t \rangle \) with arbitrary observable B instead of \(P_\nu \) in Theorem 4 below.
3.3 Example
We illustrate Theorem 2 within a simple random matrix model. We partition the D-dimensional Hilbert space \(\mathcal {H}:= {\mathbb {C}}^D = {\mathbb {C}}^{d_1} \oplus {\mathbb {C}}^{d_2}\oplus {\mathbb {C}}^{d_3}\oplus {\mathbb {C}}^{d_4}=:\bigoplus _{\nu =1}^4\mathcal {H}_\nu \) into four macro spaces \(\mathcal {H}_\nu \) of dimension \(d_\nu \), i.e., \(\mathcal {H}_1\) is spanned by the first \(d_1\) canonical basis vectors, \(\mathcal {H}_2\) by the next \(d_2\) canonical basis vectors and so on. The Hamiltonian H is a random \(D\times D\)-matrix H that has a band structure (i.e., mainly near-diagonal entries) and thus couples neighboring macro spaces more strongly than distant ones. More precisely, we choose \(H=(h_{ij})_{ij}\) to be a self-adjoint random matrix such that \(h_{ii} \sim {\mathcal {N}}(0, \sigma _{ii}^2)\) and \(h_{ij} \sim {\mathcal {N}}(0, \sigma _{ij}^2/2) + i {\mathcal {N}}(0, \sigma _{ij}^2/2)\) for \(i\ne j\), where
with some \(s>0\) that controls the bandwidth. That is, the variances decrease exponentially in the distance from the diagonal.
In Figs. 1 and 2 the weights \(\Vert P_\nu \psi _t\Vert ^2\) are plotted for the values \(s=0.02\), \(d_\nu = 2 \times 10^{\nu -1}\), and a random initial vector \(\psi _0\in \mathcal {H}_2\). In Fig. 1 the plot shows the initial phase where the system first passes through the 3rd macro state before settling mostly in the “equilibrium space” \(\mathcal {H}_4\). Note that the bandwidth is roughly \(2s^{-1}= 400 \approx D^{0.77}\gg D^{0.5}\) and we thus expect to be in the regime of delocalized eigenfunctions, which is also confirmed by the numerical results.
Theorem 2 states that the long term behaviour depicted in Fig. 2 is typical of initial states \(\psi _0\in \mathcal {H}_2\): after some time the system equilibrates, the superposition weights \(\Vert P_\nu \psi _{2,t}\Vert ^2\) approach values \(M_{2\nu }\) independent of the initial state, and stay close to them after the initial phase of equilibration. We also see that these values differ from the ones one would expect if normal typicality would hold: for example while in our simulation \(d_4/D \approx 0.90\) one finds that \(M_{24} \approx 0.82\).
The average entropy as a function of time is plotted in Fig. 3. As expected, it increases up to small fluctuations.
4 Proof of Theorem 1
The proof is very simple, based on an application of Chebyshev’s, respectively Markov’s, inequality to the following formulas for Hilbert space averages and Hilbert space variances [5, App. C]: For any Hilbert space \(\mathcal {H}\) of dimension d, uniformly distributed \(\psi \in \mathbb {S}(\mathcal {H})\), and any operator B on \(\mathcal {H}\),
(As usual, the variance of a complex random variable Z is defined as Var \(Z:= {\mathbb {E}}\bigl [|Z-{\mathbb {E}}(Z)|^2\bigr ] = {\mathbb {E}}\bigl [|Z|^2\bigr ]-|{\mathbb {E}}(Z)|^2\).) Dropping the last term and replacing \(d+1\) by d, we obtain the trivial upper bound
Now we insert \(\mathcal {H}_\mu \) for \(\mathcal {H}\) and \(B=P_\mu \exp (iHt) P_\nu \exp (-iHt) P_\mu \); we write \(\mathbb {E}_\mu \) and \({{\,\textrm{Var}\,}}_\mu \) for expectation and variance over uniformly distributed \(\psi _0\in \mathbb {S}(\mathcal {H}_\mu )\). We observe first that
For the variance, since \(|{{\,\textrm{tr}\,}}(CD)|\le \Vert C\Vert {{\,\textrm{tr}\,}}(|D|)\) for any operators C, D and \(\Vert C\Vert \) the operator norm of C [26, Thm. 3.7.6], we have that
We thus obtain that
The Chebyshev inequality then yields the first claim, (6).
For the second claim, Fubini’s theorem allows us to interchange expectation and integral. Thus,
by (26). Markov’s inequality then yields the second claim, (7).\(\square \)
As a side remark, the arguments of the proof also yield the following upper bound on the Hilbert space variance over subspaces of dimension \(d_\mu \) for arbitrary B:
5 More General Results
5.1 Dynamical Typicality
Here is a variant of Theorem 1 that allows for an arbitrary operator B instead of \(P_\nu \) and provides a tighter error bound:
Theorem 3
Let \(\mu ,\nu \) be arbitrary macro states and let B be any operator on \(\mathcal {H}\). There is a function \(w_{\mu B}: {\mathbb {R}}\rightarrow [0,1]\) such that for every \(t\in {\mathbb {R}}\) and every \(\varepsilon >0\), for \((1-\varepsilon )\)-most \(\psi _0\in {\mathbb {S}}(\mathcal {H}_\mu )\),
Moreover, for every \(\mu \) and B, every \(T>0\), and \((1-\varepsilon )\)-most \(\psi _0\in {\mathbb {S}}(\mathcal {H}_\mu )\),
In fact, the function \(w_{\mu B}(t)\) is the average of \(\langle \psi _t|B|\psi _t\rangle \) over \(\psi _0\in {\mathbb {S}}(\mathcal {H}_\mu )\), which is
The proof of Theorem 3 (see Sect. 8.1) is largely analogous to that of Theorem 1. The bound involving \(\sqrt{\log (1/\varepsilon )}\) instead of \(1/\sqrt{\varepsilon }\) can be obtained by using Lévy’s lemma instead of the Chebyshev inequality. However, it turns out that for all other results in this paper, the bounds provided by Markov’s and Chebyshev’s inequality are better than those provided by Lévy’s lemma. That is because in many cases, Lévy’s lemma yields a bound that is better in \(\varepsilon \) but worse in \(d_\mu \), which in our situation is worse because \(d_\mu \) is usually way larger than any relevant \(1/\varepsilon \); see Sect. 8.1 for more detail.
5.2 Generalized Normal Typicality
The next result, Theorem 4, provides a somewhat more general version of Theorem 2 that concerns arbitrary operators B instead of \(P_\nu \), as well as finite time intervals instead of \([0,\infty )\). To formulate it, we define the number \(d_E:=\#{\mathcal {E}}\) of distinct eigenvalues and the maximal number of gaps in an energy interval of length \(\kappa >0\),
It follows that \(D_G = \lim _{\kappa \rightarrow 0^+} G(\kappa )\).
Theorem 4
Let B be an operator on \(\mathcal {H}\), let \(\varepsilon ,\delta ,\kappa ,T>0\), let \(\mu \) be any macro state, and define
Then \((1-\varepsilon )\)-most \(\psi _0\in {\mathbb {S}}(\mathcal {H}_\mu )\) are such that for \((1-\delta )\)-most \(t\in [0,T]\)
Thus, as soon as \(d_\mu \gg D_E G(\kappa ) \Vert B\Vert ^2\) and T is large enough, the right-hand side of (36) is small and the expectation \(\langle \psi _t|B|\psi _t\rangle \) is close to a fixed value \(M_{\mu B}\) for most times \(t\in [0,T]\) and most initial states \(\psi _0\in {\mathbb {S}}(\mathcal {H}_\mu )\). However, the times T required to make the right-hand side of (36) small are usually extremely large. For example, for a system of N particles, \(\mathcal {H}\) has dimension of the order \(\exp (N)\); provided that no eigenvalue is hugely degenerate, there are of the order \(\exp (N)\) energy eigenvalues. In order to obtain a small error, we need to keep \(G(\kappa )\) small. For \(\kappa \sim \exp (-N)\Delta E\), already the number of nearest-neighbor gaps with \(e-e'\in [0,\kappa )\) will be of order \(\exp (N)\), and will thus contribute of order \(\exp (N)\) to \(G(\kappa )\). So, we need \(\kappa \ll \exp (-N)\) and therefore \(T \gg \exp (N)\) to obtain a small error in (36).
For the proof of Theorems 2 and 4 we need, besides Hilbert space averages and variances, also Hilbert space covariances of two operators. The covariance of two complex random variables X, Y is to be understood as
Lemma 1
(Hilbert Space Covariance) For uniformly distributed \(\psi \in \mathbb {S}(\mathcal {H})\) with \(\dim \mathcal {H}=d\) and any two operators B, C on \(\mathcal {H}\),
Put differently,
By inserting \(\mathcal {H}_\mu \) for \(\mathcal {H}\), it follows that for uniformly distributed \(\psi \in \mathbb {S}(\mathcal {H}_\mu )\) and any two operators B, C on \(\mathcal {H}\),
6 Realistic Dimensions and Entropy
As indicated before, for a system of N particles or more generally of N degrees of freedom the dimension D is of order \(\exp (N)\). We actually expect \(D\approx \exp (s_\textrm{eq} N/k_\textrm{B})\), where \(s_\textrm{eq}\) is the entropy per particle in the thermal equilibrium state, and accordingly for all macro spaces \(\mathcal {H}_\mu \),
The following corollary to Theorem 2 shows that in this situation and assuming that no eigenvalues or gaps are macroscopically degenerate, fluctuations of the time-dependent superposition weights around their expected values are exponentially small in the number of particles with a rate controlled by the entropy per particle in the initial macro state.
Corollary 1
Assume (42). Then, for all macro states \(\mu ,\nu _- ,\nu _+ \) with
it holds for \((1-\varepsilon )\)-most \(\psi _0\in {\mathbb {S}}(\mathcal {H}_\mu )\) for \((1-\delta )\)-most of the time that
In particular, if \(s_\mu ,s_{\nu _{\pm }}\) are fixed and \(N\rightarrow \infty \), the error bounds are exponentially small. Note also that the numerical experiment in Fig. 2 is consistent with the idea that the fluctuations of the superposition weights in macro spaces \(\nu _+\) of larger entropy than the initial state \(\mu \) are controlled by the entropy \(s_\mu \) of the initial macro state, while the fluctuations of the superposition weights in macro spaces \(\nu _-\) of smaller entropy than the initial state \(\mu \) are controlled by the entropy difference \(s_\mu - s_{\nu _-}/2\) and thus even smaller. However, from the green line in Fig. 2 (corresponding to \(\Vert P_{1}\psi _t\Vert ^2\)) it is also apparent that the fluctuations of \(\Vert P_{\nu }\psi _t\Vert ^2\) might exceed the value of \(M_{\mu \nu }\). Indeed, if we assume that the weights \(M_{\mu \nu }\) scale like in the case of normal typicality, i.e.,
then the relative error in (44) is only small if \(s_{\nu _+} > s_\textrm{eq} - s_\mu /2\), and the relative error in (45) is only small if \(s_{\nu _-} > 2(s_\textrm{eq} - s_\mu )\).
More generally, the question remains under which conditions one can prove that even for \(M_{\mu \nu }\) close to 0, the relative error in (17) and thus the relative deviation of \(\Vert P_\nu \psi _t\Vert ^2\) from \(M_{\mu \nu }\) will be small. In a separate work [29], we study this question for specific distributions of the random matrix H.
7 Outline of Proof of Theorem 4
Before we provide the technical details of the proof of Theorem 4 in Sect. 8, we explain now the main strategy and the key ideas. The first step is to control the time variance
of the quantity \(\langle \psi _t|B|\psi _t\rangle \), where
is just the time-average of \(\langle \psi _t|B|\psi _t\rangle \). The time variance (47) was the subject of several earlier investigations concerning thermalization in closed quantum systems. It is usually controlled in terms of the effective dimension [19, 24, 25]
of the initial state \(\psi _0\), a measure for the number of distinct energies that contribute significantly to \(\psi _0\). In Sect. 8.7 we slightly improve the bound of [25] (relevant when \(d_\nu \ll d_\mu \)) so that we can show that, after averaging the initial state over \({\mathbb {S}}(\mathcal {H}_\mu )\), one obtains that
The second step is to show that \(M_{\psi _0 B}\) is very close to \(M_{\mu B}\) for most states \(\psi _0\in \mathbb {S}(\mathcal {H}_\mu )\). To this end we observe that \( {\mathbb {E}}_\mu (M_{\psi _0 B})= M_{\mu B} \) and then bound the variance according to
A careful application of Markov’s inequality then shows that (50) and (51) together imply (36).
8 Remaining Proofs
8.1 Proof of Theorem 3
The phenomenon of concentration of measure, i.e., that on a sphere in high dimension, “nice” functions are nearly constant, is often expressed by means of (e.g., [28, Sec. II.C])
Lemma 2
(Lévy’s Lemma) For any Hilbert space \(\mathcal {H}\) with dimension d, any \(f:\mathbb {S}(\mathcal {H})\rightarrow \mathbb {R}\) with Lipschitz constant \(\eta (f)\), and any \(\varepsilon >0\),
for \((1-\varepsilon )\)-most \(\psi \in \mathbb {S}(\mathcal {H})\).
Alternatively, Chebyshev’s inequality yields that
for \((1-\varepsilon )\)-most \(\psi \in \mathbb {S}(\mathcal {H})\). In the important special case \(f\ge 0\), Markov’s inequality yields that
for \((1-\varepsilon )\)-most \(\psi \in \mathbb {S}(\mathcal {H})\), while Lévy’s lemma can be used in this situation to obtain that
Which bound is best depends on \(\eta (f)\), \({{\,\textrm{Var}\,}}(f)\), and \(\mathbb {E}f\). For quadratic functions \(f(\psi )=\langle \psi |B|\psi \rangle \), \(\eta (f)= 2\Vert B\Vert \) on \(\mathbb {S}(\mathcal {H})\), while expectation and variance are given by (19) and (20); the first two bounds in (31) arise from the Chebyshev bound (53) with different ways of bounding the variance, and the third from Lévy’s lemma (52).
As remarked already, the other results in this paper are not improved by using Lévy’s lemma instead of Markov’s and Chebyshev’s inequality. That is basically because the relevant functions \(f\ge 0\) have means that are small like 1/dimension but Lipschitz constants of order 1, so that (55) yields errors of order \(1/\sqrt{\text {dimension}}\). Now it is of little interest to make \(\varepsilon \) smaller than \(10^{-200}\). (Borel once argued [3, Chap. 6] that events with a probability of \(10^{-200}\) or less can be expected to never occur in the history of the universe.) On the other hand, the dimensions are large like \(10^N\), so the advantage of (55) over (54) in \(\varepsilon \) does not compensate for its disadvantage in the dimension.
Proof of Theorem 3
By (19) after inserting \(\mathcal {H}_\mu \) for \(\mathcal {H}\) and \(P_\mu \exp (iHt) B \exp (-iHt) P_\mu \) for B,
Lévy’s lemma with \(\eta =2\Vert B\Vert \) yields the third bound in (31).
By (21) after inserting \(\mathcal {H}_\mu \) for \(\mathcal {H}\) and \(P_\mu \exp (iHt) B \exp (-iHt) P_\mu \) for B,
We give two upper bounds for the last expression. First, using \(|{{\,\textrm{tr}\,}}(CD)| \le \Vert C\Vert {{\,\textrm{tr}\,}}(|D|)\) and \(\Vert B^\dagger \Vert = \Vert B\Vert \),
Second, by leaving B rather than \(P_\mu \) inside the trace,
From these two bounds on the variance, (53) yields the first two bounds in (31). For the second claim, (32), of Theorem 3, the proof works as for Theorem 1 with the bound (59) for \({{\,\textrm{Var}\,}}_\mu \langle \psi _t|B|\psi _t \rangle \). \(\square \)
8.2 Probability Current
In order to see that also the probability current \(J_{\nu \nu '}(t)\) as defined in (9) is deterministic, we verify that \(\langle \psi _t|P_\nu H P_{\nu '}|\psi _t \rangle \) is deterministic. This can be obtained in the same way as for Theorem 3 by considering \(B=P_\mu \exp (iHt) P_\nu H P_{\nu '} \exp (-iHt) P_\mu \) instead of \(B=P_\mu \exp (iHt) P_\nu \exp (-iHt) P_\mu \) and noting that \(\Vert B\Vert \le \Vert H\Vert = \max \{|E-\Delta E|, |E|\}\). Physically, we expect E to be comparable to the particle number N and thus of order \(\log D\), so \(|J_{\nu \nu '}(t)-\mathbb {E}J_{\nu \nu '}(t)|\) is bounded by a constant times \(\log D/\sqrt{\varepsilon d_\mu }\) (which would be small if we imagine \(d_\mu \sim D^\alpha \) with \(0<\alpha < 1\) and fixed \(\varepsilon \)) for \((1-\varepsilon )\)-most \(\psi _0 \in \mathbb {S}(\mathcal {H}_\mu )\). Likewise, 1/T times the \(L^2\) norm over [0, T] is bounded by a constant times \(\log ^2 D/\varepsilon d_\mu \) (which should be small).
8.3 Hilbert Space Covariance
For the proof of Lemma 1, we need the fourth moments of a random vector that is uniformly distributed over the unit sphere. So consider any Hilbert space \(\mathcal {H}\) of dimension d and a uniformly distributed \(\psi \in \mathbb {S}(\mathcal {H})\). Let \(\left( \varphi _m\right) _{m}\) be an orthonormal basis of \(\mathcal {H}\) and \(a_m := \langle \varphi _m|\psi \rangle \). Then [17, 5, App. A.2 and C.1]
Proof of Lemma 1
Let \((\varphi _m)_m\) be an orthonormal basis of \(\mathcal {H}\). Then we can write \(\psi \in {\mathbb {S}}(\mathcal {H})\) as
with coefficients \(a_m = \langle \varphi _m|\psi \rangle \). By (61), we get that
Thus,
\(\square \)
8.4 Computing and Estimating some Averages over \(\varvec{{\mathbb {S}}(\mathcal {H}_\mu )}\)
As a preparation for the proof of Theorem 4, we derive in this section some upper bounds for relevant time and Hilbert space variances. We first note that it is well known that the limit in
exists for all B and is given by
From (19), applied to \(\mathcal {H}_\mu \), we then obtain that
Proposition 1
Let \(\psi _0\) be uniformly distributed in \({\mathbb {S}}(\mathcal {H}_\mu )\), and let B be any operator on \(\mathcal {H}\). Then for every \(\kappa , T>0\),
Proof
We start similarly to the proof of Theorem 1 in [25] and compute
By averaging over \(\psi _0\in {\mathbb {S}}(\mathcal {H}_\mu )\), we obtain
where we applied Lemma 1 in the form (41) in the second equality.
Next we compute the ensemble variance of \(\overline{\langle \psi _t|B|\psi _t\rangle }\): By (71) and (20) for \(\mathcal {H}_\mu \),
In the rest of the proof we use the computed expressions to prove the upper bounds for \({\mathbb {E}}_\mu \left( \langle \left| \langle \psi _t|B|\psi _t\rangle - M_{\psi _0 B}\right| ^2 \rangle _T \right) \) and \( {{\,\textrm{Var}\,}}_\mu \overline{\langle \psi _t|B|\psi _t\rangle }\). To this end, we define for \(\alpha = (e,e') \in {\mathcal {G}} := \{({\bar{e}},{\bar{e}}')\in {\mathcal {E}}\times {\mathcal {E}}, {\bar{e}}\ne {\bar{e}}'\}\) the vector \(v_\alpha := \langle \psi _0| \Pi _{e'} B^\dagger \Pi _e|\psi _0\rangle \). Moreover, we define the Hermitian matrix
with \(G_\alpha :=e-e'\) for \(\alpha =(e,e')\). Then we obtain with (77) that
and thus
by (41). Short and Farrelly [25] showed for arbitrary \(\kappa >0\) and \(T>0\) that
Moreover, we estimate
where we used the Cauchy-Schwarz inequality for operators A, B with scalar product \({{\,\textrm{tr}\,}}(A^\dagger B)\) and that \(|{{\,\textrm{tr}\,}}(CD)|\le \Vert C\Vert {{\,\textrm{tr}\,}}(|D|)\). Similarly we find that
This shows that
Next we compute
where we used in the third line that \(\Vert \sum _{e'} \Pi _{e'}P_\mu \Pi _{e'}\Vert \le 1\), which follows immediately from
Similarly we estimate
The previous two estimates show that
Putting everything together, we arrive at the upper bound
Finally we turn to the upper bound for \({{\,\textrm{Var}\,}}_\mu \overline{\langle \psi _t|B|\psi _t\rangle }\). To this end, we estimate
and
This shows that
and thus
\(\square \)
8.5 Proofs of Theorems 2 and 4
Theorem 2 follows immediately from Theorem 4 by setting \(B=P_\nu \), choosing \(\kappa \) small enough such that \(G(\kappa )=D_G\), and then taking the limit \(T\rightarrow \infty \).
Proof of Theorem 4
Markov’s inequality implies
where we used the bounds from Proposition 1 and that \({{\,\textrm{tr}\,}}(B^\dagger B) \le \Vert B\Vert {{\,\textrm{tr}\,}}(|B|)\). This means that for \((1-\frac{\varepsilon }{2})\)-most \(\psi _0\in {\mathbb {S}}(\mathcal {H}_\mu )\),
Again with the help of Markov’s inequality we obtain that, with \(\lambda \) the Lebesgue measure on \({\mathbb {R}}\),
This shows that for \((1-\frac{\varepsilon }{2})\)-most \(\psi _0\in {\mathbb {S}}(\mathcal {H}_\mu )\) we have for \((1-\delta )\)-most \(t\in [0,T]\) that
Next we prove in a similar way an upper bound for \(|M_{\psi _0 B}-M_{\mu B}|\), keeping in mind that \(M_{\mu B} = {\mathbb {E}}_\mu M_{\psi _0 B}\). An application of Chebyshev’s inequality and Proposition 1 shows that
This implies for \((1-\frac{\varepsilon }{2})\)-most \(\psi _0\in {\mathbb {S}}(\mathcal {H}_\mu )\) that
With the triangle inequality we finally obtain the stated upper bound for \(|\langle \psi _t|B|\psi _t\rangle - M_{\mu B}|\).
\(\square \)
8.6 Proof of Corollary 1
From Theorem 4 we obtain immediately that for \((1-\varepsilon )\)-most \(\psi _0\in {\mathbb {S}}(\mathcal {H}_\mu )\) for \((1-\delta )\)-most of the time
Similarly, we find for \((1-\varepsilon )\)-most \(\psi _0\in {\mathbb {S}}(\mathcal {H}_\mu )\) for \((1-\delta )\)-most of the time that
This finishes the proof.\(\square \)
8.7 Alternative Estimate in Terms of Effective Dimension
In Proposition 1, we have provided two upper bounds (73) for
There is an alternative way of obtaining one of the two bounds in (73) using a result of Short and Farrelly [25] based on the concept of effective dimension. We briefly explain this alternative derivation and then comment on why we also need the other bound in (73).
In [25] the authors show that
where the effective dimension \(d_{eff } = d_{eff }(\psi _0)\) of a state \(\psi _0\) is
Taking an average over \(\psi _0\in {\mathbb {S}}(\mathcal {H}_\mu )\) yields the bound
To see this, note that the only quantity on the right-hand side of (131) that depends on \(\psi _0\) is the effective dimension \(d_{eff }\); therefore, it suffices to estimate \({\mathbb {E}}_\mu d_{eff }^{-1}\). With the help of (41) and the usual arguments we find
and (133) immediately follows.
The second estimate in Proposition 1 is sharper than (133) if and only if \({{\,\textrm{tr}\,}}(B^\dagger B)/d_\mu < \Vert B\Vert ^2\), i.e., roughly speaking, if only few (compared to \(d_\mu \)) eigenvalues of \(B^\dagger B\) are close to the largest eigenvalue and most are much smaller. This becomes relevant, for example, when estimating the transitions from \(\mathcal {H}_\mu \) into a lower entropy macro space \(\mathcal {H}_\nu \), cf. (45). Then \(B=P_\nu \) and
9 Conclusions
Our results concern the behavior of typical pure states \(\psi _0\) from a high-dimensional subspace \(\mathcal {H}_\mu \) of Hilbert space under the unitary time evolution. We find that for any operator B, due to the large dimension, the curve \(t\mapsto \langle \psi _t|B|\psi _t \rangle \) is nearly deterministic (a fact that can also be obtained from [1, 23]), and that in the long run \(t\rightarrow \infty \) it is nearly constant. In von Neumann’s framework of an orthogonal decomposition \(\mathcal {H}=\oplus _\nu \mathcal {H}_\nu \) into macro spaces, this means that the time-dependent distribution over the macro states given by the superposition weights \(\Vert P_\nu \psi _t\Vert ^2\) is nearly deterministic and in the long run nearly constant, i.e., it reaches normal equilibrium, a situation analogous (but not identical) to thermal equilibrium. Through our theorems, we have provided explicit error bounds.
Von Neumann’s [17] prior result in the same direction was based on unrealistic assumptions, saying essentially that H is unrelated to \(\mathcal {H}_\nu \). Our result has the advantage of being applicable regardless of relations between H and \(\mathcal {H}_\nu \). The question of whether the deviation from the mean is small compared to the mean even when the mean is small itself, will be analyzed further elsewhere [29].
Data Availability
The Matlab code used to generate the datasets of the provided examples is available from the corresponding author on request.
References
Balz, B., Richter, J., Gemmer, J., Steinigeweg, R., Reimann, P.: Dynamical typicality for initial states with a preset measurement statistics of several commuting observables. In: Binder, F., Correa, L.A., Gogolin, C., Anders, J., Adesso, G. (eds.) Thermodynamics in the Quantum Regime, pp. 413–433. Springer, Cham (2019)
Bartsch, C., Gemmer, J.: Dynamical typicality of quantum expectation values. Phys. Rev. Lett. 102, 110403 (2009)
Borel, E.: Probabilities and Life. Dover, New York (1962)
Deutsch, J.M.: Quantum statistical mechanics in a closed system. Phys. Rev. A 43, 2046–2049 (1991)
Gemmer, J., Mahler, G., Michel, M.: Quantum Thermodynamics. Springer, Berlin (2004)
Gogolin, C., Eisert, J.: Equilibration, thermalisation and the emergence of statistical mechanics in closed quantum systems. Rep. Prog. Phys. 79, 056001 (2016)
Goldstein, S., Hara, T., Tasaki, H.: Time scales in the approach to equilibrium of macroscopic quantum systems. Phys. Rev. Lett. 111, 140401 (2013)
Goldstein, S., Hara, T., Tasaki, H.: The approach to equilibrium in a macroscopic quantum system for a typical nonequilibrium subspace (2014) Preprint. arXiv:1402.3380
Goldstein, S., Hara, T., Tasaki, H.: Extremely quick thermalization in a macroscopic quantum system for a typical nonequilibrium subspace. New J. Phys. 17, 045002 (2015)
Goldstein, S., Lebowitz, J.L., Mastrodonato, C., Tumulka, R., Zanghì, N.: Normal typicality and von Neumann’s quantum ergodic theorem. Proc. R. Soc. A 466(2123), 3203–3224 (2010)
Goldstein, S., Lebowitz, J.L., Mastrodonato, C., Tumulka, R., Zanghì, N.: On the approach to thermal equilibrium of macroscopic quantum systems. Phys. Rev. E 81, 011109 (2010)
Goldstein, S., Lebowitz, J.L., Tumulka, R., Zanghì, N.: Canonical typicality. Phys. Rev. Lett. 96, 050403 (2006)
Goldstein, S., Lebowitz, J.L., Tumulka, R., Zanghì, N.: Long-time behavior of macroscopic quantum systems. Eur. Phys. J. H 35, 173–200 (2010)
Goldstein, S., Lebowitz, J.L., Tumulka, R., Zanghì, N.: Gibbs and Boltzmann entropy in classical and quantum mechanics. In: Allori, V. (ed.) Statistical Mechanics and Scientific Explanation: Determinism, Indeterminism and Laws of Nature, pp. 519–581. World Scientific, Singapore (2020)
Linden, N., Popescu, S., Short, A.J., Winter, A.: Quantum mechanical evolution towards thermal equilibrium. Phys. Rev. E 79, 061103 (2009)
Müller, M.P., Gross, D., Eisert, J.: Concentration of measure for quantum states with a fixed expectation value. Commun. Math. Phys. 303, 785–824 (2011)
J. von Neumann. Beweis des Ergodensatzes und des \(H\)-Theorems in der neuen Mechanik. Zeitschrift für Physik, 57:30–70, 1929. English translation: Eur. Phys. J. H 35, 201–237 (2010)
Popescu, S., Short, A.J., Winter, A.: Entanglement and the foundation of statistical mechanics. Nat. Phys. 21(11), 754–758 (2006)
Reimann, P.: Foundations of statistical mechanics under experimentally realistic conditions. Phys. Rev. Lett. 101, 190403 (2008)
Reimann, P.: Generalization of von Neumann’s approach to thermalization. Phys. Rev. Lett. 115, 010403 (2015)
Reimann, P.: Dynamical typicality approach to eigenstate thermalization. Phys. Rev. Lett. 120, 230601 (2018)
Reimann, P.: Dynamical typicality of isolated many-body quantum systems. Phys. Rev. E 97, 062129 (2018)
Reimann, P., Gemmer, J.: Why are macroscopic experiments reproducible? Imitating the behavior of an ensemble by single pure states. Physica A 552, 121840 (2020)
Short, A.J.: Equilibration of quantum systems and subsystems. New J. Phys. 13, 053009 (2011)
Short, A.J., Farrelly, T.C.: Quantum equilibration in finite time. New J. Phys. 14, 013063 (2012)
Simon, B.: Operator Theory: A Comprehensive Course in Analysis, Part 4. American Mathematical Society, Providence (2015)
Srednicki, M.: Chaos and quantum thermalization. Phys. Rev. E 50, 888–901 (1994)
Strasberg, P., Winter, A., Gemmer, J., Wang, J.: Classicality. Markovianity, and Local Detailed Balance from Pure State Dynamics. Preprint (2022) arXiv:2209.07977
Teufel, S., Tumulka, R., Vogel, C.: Typical Macroscopic Long-Time Behavior for Random Hamiltonians (2022)
Acknowledgements
We thank both referees for valuable feedback and for pointing out to us reference [1]. C.V. gratefully acknowledges financial support by the German Academic Scholarship Foundation.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no conflicts of interest.
Additional information
Communicated by Hal Tasaki.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Teufel, S., Tumulka, R. & Vogel, C. Time Evolution of Typical Pure States from a Macroscopic Hilbert Subspace. J Stat Phys 190, 69 (2023). https://doi.org/10.1007/s10955-023-03074-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10955-023-03074-x