Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Typical entropy of a subsystem: Page curve and its variance.

Eugenio Bianchi A, Pietro Donà

Published Apr 17, 2019• 3 citations
OpenAlex

Abstract

In a quantum system in a pure state, a subsystem generally has a non-zero entropy because of entanglement with the rest of the system. Is the average entanglement entropy of pure states also the typical entropy of the subsystem? The exact formula for the average $\langle{S_{A}}\rangle$ was conjectured by Page in 1995 and later proved. Here we compute the exact formula for the average entropy and variance $(\Delta S_A)^2 = \langle{S_A}^2\rangle - \langle{S_A}\rangle{}^2$ both for random pure states and for energy eigenstates of a non-interacting system. We show that for large systems the variance is small, $\Delta S_A/\langle{S_{A}}\rangle\ll 1$, and therefore the average entanglement entropy is typical. We compare exact and numerical results for the probability distribution $P(S_A) \mathrm{d}S_A$, and comment on the relation to previous results on concentration of measure bounds. We discuss the application to physical systems in an energy eigenstate. In particular, for a system of non-interacting spins in a magnetic field, we show how the thermal entropy arises as the typical entanglement entropy of a subsystem.

Related papers

Typical entanglement entropy in the presence of a center: Page curve and its variance

Eugenio Bianchi A, Pietro Donà

In a quantum system in a pure state, a subsystem generally has a nonzero entropy because of entanglement with the rest of the system. Is the average entanglement entropy of pure states also the typical entropy of the subsystem? We present a method to compute the exact formula of the momenta of the probability $P({S}_{A})\mathrm{d}{S}_{A}$ that a subsystem has entanglement entropy ${S}_{A}$. The method applies to subsystems defined by a subalgebra of observables with a center. In the case of a trivial center, we reobtain the well-known result for the average entropy and the formula for the variance. In the presence of a nontrivial center, the Hilbert space does not have a tensor product structure and the well-known formula does not apply. We present the exact formula for the average entanglement entropy and its variance in the presence of a center. We show that for large systems the variance is small, $\mathrm{\ensuremath{\Delta}}{S}_{A}/⟨{S}_{A}⟩\ensuremath{\ll}1$, and therefore the average entanglement entropy is typical. We compare exact and numerical results for the probability distribution and comment on the relation to previous results on concentration of measure bounds. We discuss the application to physical systems where a center arises. In particular, for a system of noninteracting spins in a magnetic field and for a free quantum field, we show how the thermal entropy arises as the typical entanglement entropy of energy eigenstates.

arXiv:1904.08370•Physical review. D/Physical review. D.•Nov 18, 2019•68 citations

Entanglement Entropy of Eigenstates of Quadratic Fermionic Hamiltonians

Lev Vidmar, Lucas Hackl, Eugenio Bianchi A +1 more

In a seminal paper [D. N. Page, Phys. Rev. Lett. 71, 1291 (1993)], Page proved that the average entanglement entropy of subsystems of random pure states is ${S}_{\text{ave}}\ensuremath{\simeq}\mathrm{ln}{\mathcal{D}}_{\mathrm{A}}\ensuremath{-}(1/2){\mathcal{D}}_{\mathrm{A}}^{2}/\mathcal{D}$ for $1\ensuremath{\ll}{\mathcal{D}}_{\mathrm{A}}\ensuremath{\le}\sqrt{\mathcal{D}}$, where ${\mathcal{D}}_{\mathrm{A}}$ and $\mathcal{D}$ are the Hilbert space dimensions of the subsystem and the system, respectively. Hence, typical pure states are (nearly) maximally entangled. We develop tools to compute the average entanglement entropy $⟨S⟩$ of all eigenstates of quadratic fermionic Hamiltonians. In particular, we derive exact bounds for the most general translationally invariant models $\mathrm{ln}{\mathcal{D}}_{\mathrm{A}}\ensuremath{-}(\mathrm{ln}{\mathcal{D}}_{\mathrm{A}}{)}^{2}/\mathrm{ln}\mathcal{D}\ensuremath{\le}⟨S⟩\ensuremath{\le}\mathrm{ln}{\mathcal{D}}_{\mathrm{A}}\ensuremath{-}[1/(2\mathrm{ln}2)](\mathrm{ln}{\mathcal{D}}_{\mathrm{A}}{)}^{2}/\mathrm{ln}\mathcal{D}$. Consequently, we prove that (i) if the subsystem size is a finite fraction of the system size, then $⟨S⟩<\mathrm{ln}{\mathcal{D}}_{\mathrm{A}}$ in the thermodynamic limit; i.e., the average over eigenstates of the Hamiltonian departs from the result for typical pure states, and (ii) in the limit in which the subsystem size is a vanishing fraction of the system size, the average entanglement entropy is maximal; i.e., typical eigenstates of such Hamiltonians exhibit eigenstate thermalization.

arXiv:1703.02979•Physical Review Letters•Jul 11, 2017•134 citations

Entanglement Entropy of Typical Eigenstates of Translationally Invariant Quadratic Hamiltonians

Lev Vidmar, Lucas Hackl, Eugenio Bianchi A +1 more

In a seminal paper [Phys. Rev. Lett. 71, 1291 (1993)], Page conjectured that the entanglement entropy of typical pure states is $S_{\rm typ}\simeq\ln{\cal D}_{\rm A} - (1/2) {\cal D}_{\rm A}^2/{\cal D}$, where ${\cal D}_{\rm A}$ and ${\cal D}$ are the Hilbert space dimensions of the subsystem and the system, respectively, and typicality is with respect to the Haar measure. Typical pure states are hence (nearly) maximally entangled. We prove that $S^+_1=\ln{\cal D}_{\rm A} - [1/(2\ln2)] (\ln{\cal D}_{\rm A})^2/\ln{\cal D}$ is an upper bound for the average entanglement entropy of all many-body fermionic eigenstates of a class of translationally invariant quadratic Hamiltonians in one dimension, and that the variance vanishes with increasing system size. Consequently, whenever the size of the subsystem is not a vanishing fraction of the size of the system, typical eigenstates of such Hamiltonians have a volume-law entanglement but do not become maximally entangled as ${\cal D}\rightarrow\infty$, i.e., they are qualitatively different from typical pure states. We also prove that, in the limit in which the subsystem size is a vanishing fraction of the system size, the average entanglement entropy is maximal.

•Mar 8, 2017•0 citations

Page curve for fermionic Gaussian states

Eugenio Bianchi A, Lucas Hackl, Mario Kieburg

In a seminal paper, Page found the exact formula for the average entanglement entropy for a pure random state. We consider the analogous problem for the ensemble of pure fermionic Gaussian states, which plays a crucial role in the context of random free Hamiltonians. Using recent results from random matrix theory, we show that the average entanglement entropy of pure random fermionic Gaussian states in a subsystem of ${N}_{A}$ out of $N$ degrees of freedom is given by ${\ensuremath{\langle}{S}_{A}\ensuremath{\rangle}}_{\mathrm{G}}=(N\ensuremath{-}\frac{1}{2})\mathrm{\ensuremath{\Psi}}(2N)+(\frac{1}{4}\ensuremath{-}{N}_{A})\mathrm{\ensuremath{\Psi}}(N)+(\frac{1}{2}+{N}_{A}\ensuremath{-}N)\mathrm{\ensuremath{\Psi}}(2N\ensuremath{-}2{N}_{A})\ensuremath{-}\frac{1}{4}\mathrm{\ensuremath{\Psi}}(N\ensuremath{-}{N}_{A})\ensuremath{-}{N}_{A}$, where $\mathrm{\ensuremath{\Psi}}$ is the digamma function. Its asymptotic behavior in the thermodynamic limit is given by ${\ensuremath{\langle}{S}_{A}\ensuremath{\rangle}}_{\mathrm{G}}=N(log2\ensuremath{-}1)f+N(f\ensuremath{-}1)log(1\ensuremath{-}f)+\frac{1}{2}f+\frac{1}{4}log(1\ensuremath{-}f)\phantom{\rule{0.16em}{0ex}}+\phantom{\rule{0.16em}{0ex}}O(1/N)$, where $f={N}_{A}/N\ensuremath{\le}1/2$. Remarkably, its leading order agrees with the average over eigenstates of random quadratic Hamiltonians with number conservation, as found by \L{}yd\ifmmode \dot{z}\else \.{z}\fi{}ba, Rigol, and Vidmar. Finally, we compute the variance in the thermodynamic limit, given by the constant ${lim}_{N\ensuremath{\rightarrow}\ensuremath{\infty}}{(\mathrm{\ensuremath{\Delta}}{S}_{A})}_{\mathrm{G}}^{2}=\frac{1}{2}[f+{f}^{2}+log(1\ensuremath{-}f)]$.

arXiv:2103.05416•Physical review. B./Physical review. B•Jun 29, 2021•63 citations

Theorems on Entanglement Typicality in Non-equilibrium Dynamics

Koji Yamaguchi

The notion of typicality in statistical mechanics is essential to characterize a macroscopic system. An overwhelming majority of the pure state looks almost identical if we neglect macroscopic non-local correlations, suggesting that thermal equilibrium is the collection of the typical properties. Quantum entanglement, which characterizes a non-local correlation, also has a typical behavior in equilibrium systems. However, it remains elusive whether there is a typical behavior of entanglement in dynamical non-equilibrium systems. To investigate the typicality, we consider a situation where a system in a pure state starts to share entanglement with its environment system due to the interaction between them. Assuming the initial state is randomly chosen from an ensemble of pure states, a criteria for the typicality of the Rényi entropies is presented. In addition, it is analytically proven that the second Rényi entropy has a typical behavior in two cases. The first one is an energy dissipation process in a multiple-qubit system which is initially in a random pure state in an energy shell. Since the typical behavior is qualitatively the same as the prediction of the Page curve conjecture, it gives the first proof of the Page curve conjecture in a dynamical process. In the second case, the typicality is proven for any dynamics described by a multiple-product of a single-qudit channel when the system is initially in a pure state randomly chosen from the whole Hilbert space. This result shows that entanglement typicality is not a specific feature of energy dissipating processes.

arXiv:1805.03813•Journal of the Physical Society of Japan•May 9, 2019•1 citation

Volume-Law Entanglement Entropy of Typical Pure Quantum States

Eugenio Bianchi A, Hackl, L, Kieburg, M +2 more

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.

•Jul 1, 2022•123 citations
In a quantum system in a pure state, a subsystem generally has a non-zero entropy because of entanglement with the rest of the system. Is the average entanglement entropy of pure states also the typical entropy of the subsystem? The exact formula for the average ⟨SA⟩\langle{S_{A}}\rangle⟨SA​⟩ was conjectured by Page in 1995 and later proved. Here we compute the exact formula for the average entropy and variance (ΔSA)2=⟨SA2⟩−⟨SA⟩2(\Delta S_A)^2 = \langle{S_A}^2\rangle - \langle{S_A}\rangle{}^2(ΔSA​)2=⟨SA​2⟩−⟨SA​⟩2 both for random pure states and for energy eigenstates of a non-interacting system. We show that for large systems the variance is small, ΔSA/⟨SA⟩≪1\Delta S_A/\langle{S_{A}}\rangle\ll 1ΔSA​/⟨SA​⟩≪1, and therefore the average entanglement entropy is typical. We compare exact and numerical results for the probability distribution P(SA)dSAP(S_A) \mathrm{d}S_AP(SA​)dSA​, and comment on the relation to previous results on concentration of measure bounds. We discuss the application to physical systems in an energy eigenstate. In particular, for a system of non-interacting spins in a magnetic field, we show how the thermal entropy arises as the typical entanglement entropy of a subsystem.
In a quantum system in a pure state, a subsystem generally has a nonzero entropy because of entanglement with the rest of the system. Is the average entanglement entropy of pure states also the typical entropy of the subsystem? We present a method to compute the exact formula of the momenta of the probability P(SA)dSAP({S}_{A})\mathrm{d}{S}_{A}P(SA​)dSA​ that a subsystem has entanglement entropy SA{S}_{A}SA​. The method applies to subsystems defined by a subalgebra of observables with a center. In the case of a trivial center, we reobtain the well-known result for the average entropy and the formula for the variance. In the presence of a nontrivial center, the Hilbert space does not have a tensor product structure and the well-known formula does not apply. We present the exact formula for the average entanglement entropy and its variance in the presence of a center. We show that for large systems the variance is small, $\mathrm{\ensuremath{\Delta}}{S}_{A}/⟨{S}_{A}⟩\ensuremath{\ll}1$, and therefore the average entanglement entropy is typical. We compare exact and numerical results for the probability distribution and comment on the relation to previous results on concentration of measure bounds. We discuss the application to physical systems where a center arises. In particular, for a system of noninteracting spins in a magnetic field and for a free quantum field, we show how the thermal entropy arises as the typical entanglement entropy of energy eigenstates.
In a seminal paper [D. N. Page, Phys. Rev. Lett. 71, 1291 (1993)], Page proved that the average entanglement entropy of subsystems of random pure states is ${S}_{\text{ave}}\ensuremath{\simeq}\mathrm{ln}{\mathcal{D}}_{\mathrm{A}}\ensuremath{-}(1/2){\mathcal{D}}_{\mathrm{A}}^{2}/\mathcal{D}$ for $1\ensuremath{\ll}{\mathcal{D}}_{\mathrm{A}}\ensuremath{\le}\sqrt{\mathcal{D}}$, where DA{\mathcal{D}}_{\mathrm{A}}DA​ and D\mathcal{D}D are the Hilbert space dimensions of the subsystem and the system, respectively. Hence, typical pure states are (nearly) maximally entangled. We develop tools to compute the average entanglement entropy ⟨S⟩⟨S⟩⟨S⟩ of all eigenstates of quadratic fermionic Hamiltonians. In particular, we derive exact bounds for the most general translationally invariant models $\mathrm{ln}{\mathcal{D}}_{\mathrm{A}}\ensuremath{-}(\mathrm{ln}{\mathcal{D}}_{\mathrm{A}}{)}^{2}/\mathrm{ln}\mathcal{D}\ensuremath{\le}⟨S⟩\ensuremath{\le}\mathrm{ln}{\mathcal{D}}_{\mathrm{A}}\ensuremath{-}[1/(2\mathrm{ln}2)](\mathrm{ln}{\mathcal{D}}_{\mathrm{A}}{)}^{2}/\mathrm{ln}\mathcal{D}$. Consequently, we prove that (i) if the subsystem size is a finite fraction of the system size, then ⟨S⟩<lnDA⟨S⟩<\mathrm{ln}{\mathcal{D}}_{\mathrm{A}}⟨S⟩<lnDA​ in the thermodynamic limit; i.e., the average over eigenstates of the Hamiltonian departs from the result for typical pure states, and (ii) in the limit in which the subsystem size is a vanishing fraction of the system size, the average entanglement entropy is maximal; i.e., typical eigenstates of such Hamiltonians exhibit eigenstate thermalization.
In a seminal paper [Phys. Rev. Lett. 71, 1291 (1993)], Page conjectured that the entanglement entropy of typical pure states is Styp≃ln⁡DA−(1/2)DA2/DS_{\rm typ}\simeq\ln{\cal D}_{\rm A} - (1/2) {\cal D}_{\rm A}^2/{\cal D}Styp​≃lnDA​−(1/2)DA2​/D, where DA{\cal D}_{\rm A}DA​ and D{\cal D}D are the Hilbert space dimensions of the subsystem and the system, respectively, and typicality is with respect to the Haar measure. Typical pure states are hence (nearly) maximally entangled. We prove that S1+=ln⁡DA−[1/(2ln⁡2)](ln⁡DA)2/ln⁡DS^+_1=\ln{\cal D}_{\rm A} - [1/(2\ln2)] (\ln{\cal D}_{\rm A})^2/\ln{\cal D}S1+​=lnDA​−[1/(2ln2)](lnDA​)2/lnD is an upper bound for the average entanglement entropy of all many-body fermionic eigenstates of a class of translationally invariant quadratic Hamiltonians in one dimension, and that the variance vanishes with increasing system size. Consequently, whenever the size of the subsystem is not a vanishing fraction of the size of the system, typical eigenstates of such Hamiltonians have a volume-law entanglement but do not become maximally entangled as D→∞{\cal D}\rightarrow\inftyD→∞, i.e., they are qualitatively different from typical pure states. We also prove that, in the limit in which the subsystem size is a vanishing fraction of the system size, the average entanglement entropy is maximal.
In a seminal paper, Page found the exact formula for the average entanglement entropy for a pure random state. We consider the analogous problem for the ensemble of pure fermionic Gaussian states, which plays a crucial role in the context of random free Hamiltonians. Using recent results from random matrix theory, we show that the average entanglement entropy of pure random fermionic Gaussian states in a subsystem of NA{N}_{A}NA​ out of NNN degrees of freedom is given by ${\ensuremath{\langle}{S}_{A}\ensuremath{\rangle}}_{\mathrm{G}}=(N\ensuremath{-}\frac{1}{2})\mathrm{\ensuremath{\Psi}}(2N)+(\frac{1}{4}\ensuremath{-}{N}_{A})\mathrm{\ensuremath{\Psi}}(N)+(\frac{1}{2}+{N}_{A}\ensuremath{-}N)\mathrm{\ensuremath{\Psi}}(2N\ensuremath{-}2{N}_{A})\ensuremath{-}\frac{1}{4}\mathrm{\ensuremath{\Psi}}(N\ensuremath{-}{N}_{A})\ensuremath{-}{N}_{A}$, where $\mathrm{\ensuremath{\Psi}}$ is the digamma function. Its asymptotic behavior in the thermodynamic limit is given by ${\ensuremath{\langle}{S}_{A}\ensuremath{\rangle}}_{\mathrm{G}}=N(log2\ensuremath{-}1)f+N(f\ensuremath{-}1)log(1\ensuremath{-}f)+\frac{1}{2}f+\frac{1}{4}log(1\ensuremath{-}f)\phantom{\rule{0.16em}{0ex}}+\phantom{\rule{0.16em}{0ex}}O(1/N)$, where $f={N}_{A}/N\ensuremath{\le}1/2$. Remarkably, its leading order agrees with the average over eigenstates of random quadratic Hamiltonians with number conservation, as found by \L{}yd\ifmmode \dot{z}\else \.{z}\fi{}ba, Rigol, and Vidmar. Finally, we compute the variance in the thermodynamic limit, given by the constant ${lim}_{N\ensuremath{\rightarrow}\ensuremath{\infty}}{(\mathrm{\ensuremath{\Delta}}{S}_{A})}_{\mathrm{G}}^{2}=\frac{1}{2}[f+{f}^{2}+log(1\ensuremath{-}f)]$.
The notion of typicality in statistical mechanics is essential to characterize a macroscopic system. An overwhelming majority of the pure state looks almost identical if we neglect macroscopic non-local correlations, suggesting that thermal equilibrium is the collection of the typical properties. Quantum entanglement, which characterizes a non-local correlation, also has a typical behavior in equilibrium systems. However, it remains elusive whether there is a typical behavior of entanglement in dynamical non-equilibrium systems. To investigate the typicality, we consider a situation where a system in a pure state starts to share entanglement with its environment system due to the interaction between them. Assuming the initial state is randomly chosen from an ensemble of pure states, a criteria for the typicality of the Rényi entropies is presented. In addition, it is analytically proven that the second Rényi entropy has a typical behavior in two cases. The first one is an energy dissipation process in a multiple-qubit system which is initially in a random pure state in an energy shell. Since the typical behavior is qualitatively the same as the prediction of the Page curve conjecture, it gives the first proof of the Page curve conjecture in a dynamical process. In the second case, the typicality is proven for any dynamics described by a multiple-product of a single-qudit channel when the system is initially in a pure state randomly chosen from the whole Hilbert space. This result shows that entanglement typicality is not a specific feature of energy dissipating processes.
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.