This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Microcanonical Truncations of Observables in Quantum Chaotic Systems

Fernando Iniguez finiguez@ucsb.edu    Mark Srednicki mark@physics.ucsb.edu Department of Physics, University of California, Santa Barbara, CA 93106
Abstract

We consider the properties of an observable (such as a single spin component that squares to the identity) when expressed as a matrix in the basis of energy eigenstates, and then truncated to a microcanonical slice of energies of varying width. For a quantum chaotic system, we model the unitary or orthogonal matrix that relates the spin basis to the energy basis as a random matrix selected from the appropriate Haar measure. We find that the spectrum of eigenvalues is given by a centered Jacobi distribution that approaches the Wigner semicircle of a random hermitian matrix for small slices. For slices that contain more than half the states, there is a set of eigenvalues of exactly ±1\pm 1. The transition to this qualitatively different behavior at half size is similar to that seen in other quantities such as entanglement entropy. Our results serve as a benchmark model for numerical calculations in realistic physical systems.

I Introduction

The eigenstate thermalization hypothesis (ETH) [1, 2, 3, 4, 5, 6, 7] is now widely accepted as a microscopic mechanism that is able to explain how an isolated quantum many-body system can come to thermal equilibrium when starting from an initial pure state that appears to be far from equilibrium. ETH is expected to hold for a “chaotic” quantum system that is sufficiently far (in a parameter space of possible hamiltonians) from any point of integrability and which also does not exhibit many-body localization due to strong disorder. ETH then takes the form of an ansatz for the matrix elements (in the energy-eigenstate basis) of each observable AA that would be measured in order to determine whether or not the system is in thermal equilibrium. This ansatz is

Aij=𝒜(E)δij+eS(E)/2f(E,ω)Rij,A_{ij}=\mathcal{A}(E)\delta_{ij}+e^{-S(E)/2}f(E,\omega)R_{ij}, (1)

where E=(Ei+Ej)/2E=(E_{i}+E_{j})/2 is the average energy of the two eigenstates, ω=EiEj\omega=E_{i}-E_{j} is their energy difference, S(E)S(E) is the thermodynamic entropy (logarithm of the density of states) at energy EE, 𝒜(E)\mathcal{A}(E) and f(E,ω)f(E,\omega) are smooth, real functions of their arguments, with f(E,ω)=f(E,ω)f(E,\omega)=f(E,-\omega), and RijR_{ij} varies erratically, with overall zero mean and unit variance in local ranges of EE and ω\omega.

A question of interest is whether more can be said about the statistical properties of the RijR_{ij}’s. An argument based on the central limit theorem would indicate that they can be treated as independent gaussian random variables, and numerical investigations in specific systems have generally been consistent with this. However, as has been pointed out before [8, 9], this gaussianity cannot be an exact property, as it would yield various unphysical predictions, including an expression of any nn-point time correlation function of AA in terms of the 2-point function. Furthermore, the operator AA has a spectrum of eigenvalues, and this spectrum must somehow be encoded in the energy-basis matrix elements AijA_{ij}. Because of this, as noted in [8], it is more useful to think of the unitary matrix UaiU_{ai} that transforms basis states in which AA is diagonal to the energy-eigenstate basis as a statistically random matrix.

In [9] (see also [10]), the observable AA was taken to be a component of a single spin in a lattice spin system, and the eigenvalues of AijA_{ij} computed when ii and jj were restricted to particular ranges of energies. If this submatrix had the statistical properties of a gaussian random matrix, then a Wigner semi-circular distribution of eigenvalues would be expected. This was found for small energy ranges, but significant deviations appeared at larger ranges.

Our goal here is to provide a theoretical benchmark for these calculations, computing the expected eigenvalue spectrum for a single-spin-component operator AA (which obeys A2=IA^{2}=I) when its matrix AijA_{ij} in the energy-eigenstate basis is truncated, with the energies EiE_{i} and EjE_{j} each in the same finite range. We refer to this as a microcanonical slicing. We specialize to the case where the 𝒜(E){\cal A}(E) function in Eq. (1) is zero; this is equivalent to

TreβHA=0\operatorname{Tr}e^{-\beta H}\!A=0 (2)

for all inverse temperatures β\beta. This corresponds to a system in which the hamiltonian HH is invariant under AAA\to-A. We then treat the diagonalizing matrix UU as either a unitary or orthogonal Haar-random matrix. (The result is the same in both cases.) This is the strongest possible assumption of random-matrix behavior; for an actual physical system, we expect correlations that result in UU having an approximately banded structure. We hope that our benchmark results can be used in the future to help elucidate this structure in different physical systems of interest.

II Setup

We consider an operator AA that obeys A2=IA^{2}=I and TrA=0\operatorname{Tr}A=0. We take the dimension of the full Hilbert space to be 2D2D; for a system of NN two-component spins, we would have 2D=2N2D=2^{N}. The eigenvalues of AA are hence ±1\pm 1, with DD eigenvalues of each sign.

We then write

A=UA~U,A=U^{\dagger}\tilde{A}U, (3)

where A~\tilde{A} is a 2D×2D2D\times 2D diagonal matrix,

A~=(+I00I),\tilde{A}=\begin{pmatrix}+I&0\\ \vskip 3.0pt plus 1.0pt minus 1.0pt\cr 0&-I\end{pmatrix}, (4)

and UU is a unitary (or orthogonal) matrix that transforms from the computational basis (in which a component of each spin is diagonal) to the energy basis (in which the hamiltonian is diagonal).

We are now interested in a microcanonical slicing of AA, defined as

AK=ΠKAΠKA_{K}=\mathit{\Pi}_{K}A\mathit{\Pi}_{K} (5)

where ΠK\mathit{\Pi}_{K} is a projection operator onto an energy window that spans KK energy eigenstates.

We first specialize to the case KDK\leq D. We treat UU as either a unitary or orthogonal matrix that is selected at random from the corresponding Haar measure, and consider the expected distribution ρ(λ)\rho(\lambda) of the eigenvalues λ\lambda of AKA_{K} in the limit of large DD.

This problem has been solved in a different context [11], and the result (for either unitary or orthogonal UU) is a special case of the centered Jacobi distribution,

ρ(λ)=4α(1α)λ22πα(1λ2),\rho(\lambda)=\frac{\sqrt{4\alpha(1-\alpha)-\lambda^{2}}}{2\pi\alpha(1-\lambda^{2})}, (6)

where we have defined

α=K2D,\alpha=\frac{K}{2D}, (7)

and where ρ(λ)\rho(\lambda) vanishes for values of λ\lambda for which the argument of the square-root is negative. We have normalized ρ(λ)\rho(\lambda) to integrate to one.

For a thin microcanonical slice, KDK\ll D and hence α1\alpha\ll 1, the maximum value of λ2\lambda^{2} is 4α14\alpha\ll 1, and then we can replace 1λ21-\lambda^{2} in the denominator of Eq. (6) with 11. We then have

ρα1(λ)12πα4αλ2.\rho_{\alpha\ll 1}(\lambda)\simeq\frac{1}{2\pi\alpha}\sqrt{4\alpha-\lambda^{2}}. (8)

We can compare this result with the Wigner semicircle for an K×KK\times K hermitian random matrix HH with matrix elements HijH_{ij} drawn from a gaussian distribution with the expected value of |Hij|2|H_{ij}|^{2}, iji\neq j, given by v2v^{2}; this is [12]

ρW(λ)=12πKv24Kv2λ2.\rho_{\mathrm{W}}(\lambda)=\frac{1}{2\pi Kv^{2}}\sqrt{4Kv^{2}-\lambda^{2}}. (9)

Our 2D×2D2D\times 2D matrix AA obeys A2=IA^{2}=I, and hence

j=12D|Aij|2=1.\sum_{j=1}^{2D}|A_{ij}|^{2}=1. (10)

This implies that the expected value of each |Aij|2|A_{ij}|^{2} is 1/2D1/2D. If we set v2=1/2Dv^{2}=1/2D in Eq. (9), we find that Eq. (8) matches it. This result agrees with the expectation from ETH that, for small energy differences, the energy-basis matrix elements of a local observable should have the statistics of independent gaussian random variables.

For larger values of α\alpha, Eq. (6) begins to differ from the Wigner semicircle. The curvature at the origin ρ′′(0)\rho^{\prime\prime}(0) is one diagnostic; it is negative for α<αc=(22)/4=0.146\alpha<\alpha_{\mathrm{c}}=(2-\sqrt{2})/4=0.146 but turns positive for α>αc\alpha>\alpha_{\mathrm{c}}. At α=1/2\alpha=1/2, K=DK=D, we find an arcsine distribution with integrable singularities at λ=±1\lambda=\pm 1,

ρα=1/2(λ)=1π1λ2.\rho_{\alpha=1/2}(\lambda)=\frac{1}{\pi\sqrt{1-\lambda^{2}}}. (11)

In Fig. 1(a,b,c), we show the eigenvalue distribution for a matrix with 2D=10,0002D=10{,}000 and with UU a particular orthogonal matrix selected at random from the Haar measure, and with K/2D=α=1/8,1/4,1/2K/2D=\alpha=1/8,1/4,1/2, along with the predicted distribution of Eq. (6). We find very good agreement.

Next we consider the case KDK\geq D. This can be related to the case KDK\leq D by considering the complementary microcanonical projection operator,

Π2DK=IΠK.\mathit{\Pi}_{2D-K}=I-\mathit{\Pi}_{K}. (12)

We show in the Appendix that for K>DK>D the eigenvalues of AKA_{K} are minus those of A2DKA_{2D-K}, plus KDK-D extra pairs of eigenvalues of exactly ±1\pm 1. This is true for any specific individual UU. Hence, after averaging UU over a Haar measure, the result will be a continuous spectrum given by Eq. (6) (though with the normalizing factor of α\alpha in the denominator replaced by 1α1-\alpha), plus a discrete spectrum of KDK-D eigenvalues +1+1 and KDK-D eigenvalues 1-1.

In Fig. 1(d,e), we show the eigenvalue distribution for K/2D=α=3/4,7/8K/2D=\alpha=3/4,7/8. We find, as predicted, a continuous distribution that matches that of the matrix with K/2D=1αK/2D=1-\alpha, with all remaining eigenvalues exactly equal to ±1\pm 1.

These results for K>DK>D are contrary to our initial expectations. We expected to find the Wigner semicircle for KDK\ll D, and for this to gradually morph into a set of only ±1\pm 1 at K=2DK=2D. Our expectations are met by the results for KDK\leq D, but the sudden appearance of some exact ±1\pm 1 eigenvalues for every K>DK>D, along with an additional continuous distribution that mirrors the distribution for K<DK<D and eventually becomes a Wigner semicircle for small 2DK2D-K, came as a surprise to us. We will discuss this further in our conclusions.

III Conclusions

Motivated by the investigations of [9], we have considered the properties of a single spin-component operator (with eigenvalues that are an equal number of plus ones and minus ones) in a many-body quantum-chaotic system. We are interested in the statistical properties of the matrix elements of such an operator in the energy-eigenstate basis. We model this by treating the unitary (or orthogonal) matrix UU that relates the spin-eigenstate basis to the energy-eigenstate basis as a random matrix selected from the Haar measure. We then consider microcanonical truncations of this matrix in the energy basis, and study their eigenvalues. For truncations to a much smaller matrix, we find the distribution agrees with the Wigner semicircle expected for a hermitian random matrix. For larger truncations, we find that the truncated matrix begins to “remember” that the eigenvalues of the full matrix are ±1\pm 1.

Once the truncation is to a matrix larger than half the size of the original, we find that there are now a set of eigenvalues of exactly ±1\pm 1, along with a continuous distribution that matches that of the complementary truncation. This result was counter to what we initially expected, and shows a kind of phase transition at half system size. This is reminiscent of a similar transition in the behavior of entanglement and Rényi entropies [13], which also exhibit sudden changes of behavior at half system size. Similar transitions have also been discussed in [14] for operators that include more than half the degrees of freedom of the system.

Our results are based on the most chaotic possible behavior of a physical system, in which the energy eigenstates are completely random superpositions of basis states, without any additional structure. Though this is unlikely to be true for any realistic physical system, our results serve as a useful benchmark of comparison for numerical calculations in these systems.

Acknowledgements.
The work of F.I. was supported by an NSF Graduate Research Fellowship under Grant No. 2139319 and funds from the University of California. M.S. thanks Lauri Foini, Jorge Kurchan, and Silvia Pappalardi for helpful discussions.
Refer to caption Refer to caption
(a) (b)
Refer to caption Refer to caption
(c) (d)
Refer to caption
(e)
Figure 1: Histograms of eigenvalues for different microcanonical truncation sizes of an originally 10000×1000010000\times 10000 matrix (2D=100002D=10000). The blue curve represents the analytical prediction given by the Jacobi distribution of Eq. (6). Figs. (a)–(e) show results for K/2D=0.125K/2D=0.125, 0.25, 0.5, 0.75, 0.875. Figs. (d) and (e) are truncated in height and do not show the full count of ±1\pm 1 eigenvalues.

Appendix A Truncations Greater than Half

We write A=UA~UA=U^{\dagger}\tilde{A}U in block-diagonal form,

A=(AKBBA2DK).A=\begin{pmatrix}A_{K}&B\\ \vskip 3.0pt plus 1.0pt minus 1.0pt\cr B^{\dagger}&A_{2D-K}\end{pmatrix}. (13)

We take K2DK\leq 2D. Since the eigenvalues of AA are ±1\pm 1, we have

A2=I.A^{2}=I. (14)

This yields the three equations

AK2+BB\displaystyle A_{K}^{2}+BB^{\dagger} =I,\displaystyle=I, (15)
AKB+BA2DK\displaystyle A_{K}B+BA_{2D-K} =0,\displaystyle=0, (16)
BB+A2DK2\displaystyle B^{\dagger}\!B+A_{2D-K}^{2} =I.\displaystyle=I. (17)

We can make independent unitary transformations on the upper K×KK\times K block and on the lower (2DK)×(2DK)(2D{-}K)\times(2D{-}K) block that render AKA_{K} and A2DKA_{2D-K} diagonal. We then write

(AK)ij=λiδij,(A2DK)ij=κiδij,(A_{K})_{ij}=\lambda_{i}\delta_{ij},\quad(A_{2D-K})_{i^{\prime}j^{\prime}}=\kappa_{i^{\prime}}\delta_{i^{\prime}j^{\prime}}, (18)

where i,j=1,,Ki,j=1,\ldots,K and i,j=K+1,,2DKi^{\prime},j^{\prime}=K{+}1,\ldots,2D{-}K. Taking the ijij^{\prime} matrix element of Eq. (16), we get

(λi+κj)Bij=0.(\lambda_{i}+\kappa_{j^{\prime}})B_{ij^{\prime}}=0. (19)

This shows that a nonvanishing matrix element of BB is possible if and only if there is an eigenvalue κj\kappa_{j^{\prime}} of A2DKA_{2D-K} that is the negative of an eigenvalue λi\lambda_{i} of AKA_{K}. For K<DK<D, there are more eigenvalues of A2DKA_{2D-K} than there are of AKA_{K}, and Eq. (17) then implies that these extra eigenvalues must be ±1\pm 1. Since TrA=0\operatorname{Tr}A=0, these extra eigenvalues must come in ±1\pm 1 pairs.

We conclude that, for KDK\leq D, the 2DK2D{-}K eigenvalues of A2DKA_{2D-K} consist of KK eigenvalues that are equal in magnitude and opposite in sign to the KK eigenvalues of AKA_{K}, DKD{-}K eigenvalues +1+1, and DKD{-}K eigenvalues 1-1.

References

  • [1] J. M. Deutsch. Quantum statistical mechanics in a closed system. Phys. Rev. A, 43:2046–2049, Feb 1991.
  • [2] Mark Srednicki. Chaos and quantum thermalization. Phys. Rev. E, 50:888–901, Aug 1994.
  • [3] Mark Srednicki. Thermal fluctuations in quantized chaotic systems. J. Phys. A: Math. Gen., 29(4):L75–L79, feb 1996.
  • [4] Mark Srednicki. The approach to thermal equilibrium in quantized chaotic systems. J. Phys. A: Math. Gen., 32(7):1163, 1999.
  • [5] Marcos Rigol, Vanja Dunjko, and Maxim Olshanii. Thermalization and its mechanism for generic isolated quantum systems. Nature, 452:854, Apr 2008.
  • [6] Luca D’Alessio, Yariv Kafri, Anatoli Polkovnikov, and Marcos Rigol. From quantum chaos and eigenstate thermalization to statistical mechanics and thermodynamics. Adv. Phys., 65(3):239–362, 2016.
  • [7] Joshua M Deutsch. Eigenstate thermalization hypothesis. Rep. Prog. Phys., 81(8):082001, jul 2018.
  • [8] Laura Foini and Jorge Kurchan. Eigenstate thermalization hypothesis and out of time order correlators. Phys. Rev. E, 99(4):042139, 2019.
  • [9] Jonas Richter, Anatoly Dymarsky, Robin Steinigeweg, and Jochen Gemmer. Eigenstate thermalization hypothesis beyond standard indicators: Emergence of random-matrix behavior at small frequencies. Phys. Rev. E, 102:042127, Oct 2020.
  • [10] Silvia Pappalardi, Laura Foini, and Jorge Kurchan. Microcanonical windows on quantum operators, 2023.
  • [11] Benoît Collins. Product of random projections, jacobi ensembles and universality problems arising from free probability. Probability Theory and Related Fields, 133(3):315–344, 2005.
  • [12] Madan Lal Mehta. Random Matrices. Elsevier, Amsterdam, 3rd edition, 2004.
  • [13] Tsung Cheng Lu and Tarun Grover. Renyi entropy of chaotic eigenstates. Physical Review E, 99(3):032111, 2019.
  • [14] James R. Garrison and Tarun Grover. Does a single eigenstate encode the full hamiltonian? Phys. Rev. X, 8:021026, Apr 2018.