-
In this section, we review the general concept of the entanglement between two subsystems in a bipartite system described by a random pure quantum state. We first compute the average value of the entanglement entropy in a system without conserved charges and then address the SR entanglement entropy in a system with conserved charges.
-
Consider a bipartite system
$ A\cup B $ with the Hilbert space$ {\cal{H_{AB}}}={\cal{H_A}}\otimes {\cal{H_B}} $ , where$ {\cal{H_A}} $ and$ {\cal{H_B}} $ are the Hilbert space of subsystems A and B, respectively. Supposing the total system is described by a pure state$ \vert{\psi}\rangle $ , the entanglement entropy of A is defined by$ \begin{array}{*{20}{l}} S_A=-{\rm{Tr}}(\rho_A{\rm{ln}}\rho_A), \end{array} $
(1) where
$ \rho_A $ is the reduced density matrix by tracing B. Supposing the dimensions of$ {\cal{H_{A}}} $ and$ {\cal{H_{B}}} $ are$ d({\cal{H_{A}}})=d_{A} $ and$ d({\cal{H_{B}}})=d_{B} $ , respectively, the dimension of$ {\cal{H_{AB}}} $ is$ d({\cal{H_{AB}}})=d_{AB}=d_{A}d_{B} $ . Now, we intend to compute the average value of the entanglement entropy$ \langle S_A\rangle $ for random states in$ {\cal{H_{AB}}} $ . We must first find the uniform measure in$ {\cal{H_{AB}}} $ . For this purpose, we choose an orthogonal basis$ \{\vert{n}\rangle\} $ for a random state$ \vert{\psi}\rangle= \sum _{n=1}^{d_{AB}} c_{n} \vert{n}\rangle $ , and then the measure is just the uniform measure on the unit sphere of$ \mathbb{C}^{d_{AB}} $ , which is$ d\mu(\psi)=\delta(\sum _{n=1}^{d_{AB}} |c_{n}|^2-1) \prod_{n=1}^{d_{AB}} dc_n d\bar{c}_n $ .As a result, the average value of
$ S_A $ is obtained by integrating all the quantum states in the Hilbert space$ {\cal{H_{AB}}} $ $ \langle S_A\rangle=\int -{\rm{Tr}}(\rho_A{\rm{ln}}\rho_A) d\mu(\psi). $
(2) We can also transform the integration variables into eigenvalues of
$ \rho_A $ , the details of which can be found in [79]. The final result is$ \langle S_A \rangle= \Psi(d_{AB}+1)-\Psi(d_{B}+1)-\frac{d_{A}-1}{2d_{B}} $
(3) $\quad \quad\simeq \ln d_A-\frac{d_{A}}{2 d_{B}} ~\text { for }~ 1 \ll d_A \leq d_B, $
(4) where
$ \Psi(x)=\Gamma'(x)/\Gamma(x) $ is the so called Digamma function. The above result indicates that for a bipartite system described by pure states, the smaller subsystem is almost maximally entangled with the other subsystem. Therefore, the Page curve, which plots the entanglement entropy as a function of the size of the subsystem, first increases with the size of the subsystem up to its maximal value at$ d_A=d_B $ and then decreases with the size, because for a pure system, one always has$ \langle S_A \rangle=\langle S_B \rangle $ , which is now constrained by the size of the smaller subsystem B. Obviously, when the Hilbert space of the system is sufficiently large, the Page time is located at$ d_A=d_B $ , and the curve exhibits a symmetric behavior on both sides of the Page time. Note that this result is rooted at the uniform measure over the Hilbert space and thus does not depend on the details of evolution; in this sense, it may be treated as a model independent result. -
In a system with conserved charges, only the quantum states subject to these constraints are allowable, leading to a reduced Hilbert space that may be considerably smaller than the total Hilbert space. For instance, if a bipartite system contains a conserved charge
$ \hat{Q} $ , the total Hilbert space can be decomposed into the direct sum of the eigenspace of$ \hat{Q} $ ,$ {\cal{H_{AB}}=\sum\limits_Q{\cal{H_{AB}}}}(Q). $
(5) If the charge number Q is fixed and conserved in a system, only one sector needs to be considered:
$ {\cal{H_{AB}}}(Q) $ . One immediate difference for$ {\cal{H_{AB}}}(Q) $ is that it can no longer be factorized into the tensor product of two Hilbert spaces of the subsystems. Instead, it generally becomes the direct sum of the tensor products of the Hilbert spaces of subsystems with fixed charges,$ {\cal{H_{AB}}}(Q)=\sum\limits_{i=1}^{s} {\cal{H_{A}}}(q_i)\otimes{\cal{H_B}}(Q-q_i), $
(6) where s denotes the number of possible distributions of charges into two subsystems. In such a system, because
$ {\cal{H_{AB}}}(Q)\ne {\cal{H_A}}\otimes {\cal{H_B}} $ , more effort is required to ascertain the uniform measure over the Hilbert space. On account of the direct sum structure of$ {\cal{H_{AB}}}(Q) $ , we may write a random state in$ {\cal{H_{AB}}}(Q) $ as$ \vert{\psi}\rangle= \sum _{i=1}^s\sqrt{p_i} \vert{\phi_i}\rangle $ , with$ p_i\ge0 $ and$ \sum _{i=1}^s p_i=1 $ , where$ \vert{\phi_i}\rangle \in {\cal{H_{A}}}(q_i)\otimes{\cal{H_B}}(Q-q_i) $ . As for each distribution$ (q_i,Q-q_i) $ , the corresponding Hilbert space has the form of the tensor product. Therefore, in this situation, the entanglement entropy of subsystem A can be factorized into two parts,$ S_A=\sum\limits_{i=1}^s p_i(q_i) S_{A}(q_i)-\sum\limits_{i=1}^s p_i(q_i) \ln p_i(q_i). $
(7) Here,
$ S_A(q_i) $ represents the entanglement entropy within the factorized Hilbert space$ {\cal{H_{A}}}(q_i)\otimes{\cal{H_B}}(Q-q_i) $ for the state$ \vert{\phi_i}\rangle $ , which can be readily computed using the formula discussed in the previous subsection.The uniform measure is also factorized into two parts [79],
$ {\rm{d}} \mu_{Q}(\psi)={\rm{d}} \nu\left(p_{1}, \ldots, p_{s}\right) \prod\limits_{i=1}^s {\rm{d}} \mu\left(\phi_{i}\right)\,, $
(8) where
$ {\rm{d}} \nu\left(p_{1}, \ldots, p_{s}\right) $ is the multivariate beta distribution [79]. After the average integration, we obtain the final result for the average SR entanglement entropy [79]:$ \langle S_A \rangle_{ {}_Q}= \sum _{i=1}^s \frac{d_i}{d_{Q}} \big(\langle S_A(q_i) \rangle+\Psi(d_Q+1) -\Psi(d_i +1)\big), $
(9) where
$ d_i=d({\cal{H_{A}}}(q_i)\otimes{\cal{H_B}}(Q-q_i)) $ , and$ d_Q=\sum _{i=1}^sd_i $ . Then, in a similar manner as described in the previous subsection, we may obtain the SR Page curve as the sizes of A and B are changed.
Refined symmetry-resolved Page curve and charged black holes
- Received Date: 2023-11-06
- Available Online: 2024-05-15
Abstract: The Page curve plotted using the typical random state approximation is not applicable to a system with conserved quantities, such as the evaporation process of a charged black hole, during which the electric charge does not macroscopically radiate out with a uniform rate. In this context, the symmetry-resolved entanglement entropy may play a significant role in describing the entanglement structure of such a system. We attempt to impose constraints on microscopic quantum states to match the macroscopic phenomenon of charge radiation during black hole evaporation. Specifically, we consider a simple qubit system with conserved spin/charge serving as a toy model for the evaporation of charged black holes. We propose refined rules for selecting a random state with conserved quantities to simulate the distribution of charges during the different stages of evaporation and obtain refined Page curves that exhibit distinct features in contrast to the original Page curve. We find that the refined Page curve may have a different Page time and exhibit asymmetric behavior on both sides of the Page time. Such refined Page curves may provide a more realistic description for the entanglement between the charged black hole and radiation during the evaporation process.