We consider a many-body Hilbert space with a fixed global charge and show that the typical entanglement entropy of a subsystem, at the leading and subleading order in the thermodynamic limit, can be expressed in terms of a single quantity which represents the local thermal entropy at fixed charge density. We find a general formula which applies both to abelian U(1) symmetry and non-abelian SU(2) symmetry, including the case of a local Hilbert space which transforms under a general reducible representation of the symmetry group. We illustrate the general formula with model systems and discuss the relevance of the results as a probe of quantum chaos for physical Hamiltonians.
Comments
36 pages, 9 figures; v2: matches published version
We consider a many-body Hilbert space with a fixed global charge and show that the typical entanglement entropy of a subsystem, at the leading and subleading order in the thermodynamic limit, can be expressed in terms of a single quantity which represents the local thermal entropy at fixed charge density. We find a general formula which applies both to abelian U(1) symmetry and non-abelian SU(2) symmetry, including the case of a local Hilbert space which transforms under a general reducible representation of the symmetry group. We illustrate the general formula with model systems and discuss the relevance of the results as a probe of quantum chaos for physical Hamiltonians.
We introduce a mathematical framework for symmetry-resolved entanglement entropy with a non-Abelian symmetry group. To obtain a reduced density matrix that is block-diagonal in the non-Abelian charges, we define subsystems operationally in terms of subalgebras of invariant observables. We derive exact formulas for the average and the variance of the typical entanglement entropy for the ensemble of random pure states with fixed non-Abelian charges. We focus on compact, semisimple Lie groups. We show that, compared to the Abelian case, new phenomena arise from the interplay of locality and non-Abelian symmetry, such as the asymmetry of the entanglement entropy under subsystem exchange, which we show in detail by computing the Page curve of a many-body system with SU(2) S U ( 2 ) symmetry.
The eigenstate thermalization hypothesis (ETH) posits that energy eigenstates encode local properties of the microcanonical ensemble. Motivated by recent interest in the physics of non-commuting conserved charges and the non-Abelian ETH, we study chaotic eigenstates in the presence of symmetries described by general compact Lie groups, such as SU(2). By applying non-Abelian symmetry resolution, we develop a non-Abelian microcanonical entropy and relate this entropy to the entanglement entropy of chaotic eigenstates. We find that microcanonical entropy is closely related to the symmetry-resolved entanglement entropy, which differs from conventional entanglement entropy by a universal logarithmic correction. Our results depend on the global Casimir charge, e.g. total spin. At finite charge density, we find a logarithmic enhancement to conventional entanglement entropy. At zero density, we find no such correction to entanglement entropy, but a logarithmic reduction to microcanonical entropy and symmetry-resolved entanglement entropy. We discuss the implications of our approach for non-Abelian eigenstate thermalization.
The entanglement entropy of subsystems of typical eigenstates of quantum many-body Hamiltonians has recently been conjectured to be a diagnostic of quantum chaos and integrability. In quantum chaotic systems it has been found to behave as in typical pure states, while in integrable systems it has been found to behave as in typical pure Gaussian states. In this tutorial, we provide a pedagogical introduction to known results about the entanglement entropy of subsystems of typical pure states and of typical pure Gaussian states. They both exhibit a leading term that scales with the volume of the subsystem, when smaller than one half of the volume of the system, but the prefactor of the volume law is fundamentally different. It is constant (and maximal) for typical pure states, and it depends on the ratio between the volume of the subsystem and of the entire system for typical pure Gaussian states. Since particle-number conservation plays an important role in many physical Hamiltonians, we discuss its effect on typical pure states and on typical pure Gaussian states. We prove that, while the behavior of the leading volume-law terms does not change qualitatively, the nature of the subleading terms can change. In particular, subleading corrections can appear that depend on the square root of the volume of the subsystem. We unveil the origin of those corrections. Finally, we discuss the connection between the entanglement entropy of typical pure states and analytical results obtained in the context of random matrix theory, as well as numerical results obtained for physical Hamiltonians.
We study the effect that the SU(2) symmetry, and the rich Hilbert space structure that it generates in lattice spin systems, has on the average entanglement entropy of highly excited eigenstates of local Hamiltonians and of random pure states. Focusing on the zero total magnetization sector (Jz=0) for different fixed total spin J, we argue that the average entanglement entropy of highly excited eigenstates of quantum-chaotic Hamiltonians and of random pure states has a leading volume-law term whose coefficient sA depends on the spin density j=J/(jL), with ${s}_{A}(j\ensuremath{\rightarrow}0)=ln(2\phantom{\rule{0.16em}{0ex}}\mathfrak{j}+1)$ and ${s}_{A}(j\ensuremath{\rightarrow}1)=0$, where j is the microscopic spin. We provide numerical evidence that sA is smaller in highly excited eigenstates of integrable interacting Hamiltonians, which lends support to the expectation that the average eigenstate entanglement entropy can be used as a diagnostic of quantum chaos and integrability for Hamiltonians with non-Abelian symmetries. In the context of Hamiltonian eigenstates we consider spins j=21 and 1, while for our calculations based on random pure states we focus on the spin j=21 case.
We present exact, closed-form results for the non-stabilizerness of random pure states subject to a U(1) symmetry constraint. Using stabilizer entropy as our non-stabilizerness monotone, we derive the average and the variance for U(1)-constrained Haar random states. We show that the presence of a conserved charge leads to a substantial suppression of non-stabilizerness (magic) compared to the unconstrained case, and identify a qualitative difference between entanglement and magic response. In the thermodynamic limit, stabilizer entropy exhibits a different leading-order scaling close to a vanishing relative charge density, implying that magic is more robust to charge density fluctuations than entanglement entropy. We test our analytical predictions against midspectrum eigenstates of two chaotic many-body systems with conserved U(1) charge: the complex-fermion Sachdev-Ye-Kitaev (cSYK) model and a Heisenberg XXZ chain with next-to-nearest-neighbour couplings and conserved magnetization. We find an excellent agreement for the non-local cSYK model and systematic deviations for the local XXZ chain, highlighting the role of interaction locality.
We study the average bipartite entanglement entropy of Haar-random pure states in quantum many-body systems with global SU(2) symmetry, constrained to fixed total spin J and magnetization Jz=0. Focusing on spin-21 lattices and subsystem fractions f<21, we derive a asymptotic expression for the average entanglement entropy up to constant order in the system volume V. In addition to the expected leading volume law term, we prove the existence of a 21logV finite-size correction resulting from the scaling of the Clebsch-Gordon coefficients and compute explicitly the O(1) contribution reflecting angular-momentum coupling within magnetization blocks. Our analysis uses features of random matrix ensembles and provides a fully analytical treatment for arbitrary spin densities, thereby extending Page type results to non-Abelian sectors and clarifying how SU(2) symmetry shapes average entanglement.