REVIEW 3 major objections 4 minor 1 cited by
Entanglement asymmetry in the Hayden-Preskill protocol
T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read The paper derives the averaged Rényi-2 entanglement asymmetry of the emitted radiation in the Hayden-Preskill protocol and finds a sharp transition to an emergent U(1) symmetry at $N_B=(N+N_A+s)/2$.
desk verdict A clean, modest extension of the emergent-symmetry result to mixed-state Hayden-Preskill, with a correctly computed threshold and a soft spot in the log-average concentration step. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the Rényi-2 entanglement asymmetry $\Delta S^{(2)}(\rho_B) = \log\operatorname{tr}(\rho_{B,Q}^2) - \log\operatorname{tr}(\rho_B^2)$, where $\rho_B$ is the reduced state of the emitted radiation and $\rho_{B,Q}$ is obtained by deleting off-diagonal blocks between charge sectors of a U(1) generator $Q$ counting excitations. The calculation proceeds by Haar-averaging the two purities using a four-point unitary integral, summing over charge sectors with binomial dimensions $\binom{N_B}{q}$, and then using Stirling's formula; the transition location $(N+N_A+s)/2$ emerges from comparing the two purity terms. A decoupling inequality bounds the averaged trace distance between $\rho_B$ and the maximally mixed state by $2^{-(N+N_A+s-2N_B)/2}$, which is the paper's explanation for why the symmetry is exact before the transition.
What would settle it
Compute the exact Haar average of $\log\operatorname{tr}(\rho_B^2)$ and $\log\operatorname{tr}(\rho_{B,Q}^2)$ for modest qubit numbers (e.g., $N \le 12$) by direct numerical integration or Monte Carlo sampling of random unitaries; if the exact averages differ materially from the logarithms of the averaged purities near $N_B=(N+N_A+s)/2$, the sharp transition claimed in (5.5) is an artifact of the approximation rather than a finite-system property.
Extended reading notes
Core claim
On the authors' own terms, the central result is the closed-form average in equation (5.5): $E[\Delta S^{(2)}(\rho_B)] = -\log\left(1 + (1/\sqrt{\pi N_B}-1)/(2^{N+N_A+s-2N_B}+1)\right)$ in the thermodynamic limit, with $s=-\log_2 \operatorname{tr}(\rho^2)$ the initial Rényi-2 entropy of the black hole. They read from this expression that for $N_B < (N+N_A+s)/2$ the averaged asymmetry is essentially zero, meaning the reduced state of the radiation obeys an emergent U(1) symmetry, exactly in the thermodynamic limit, while for larger $N_B$ it rises sharply to the value $\frac{1}{2}\log(\pi N_B)$. They also show the special case of a maximally mixed initial black hole, $s=N-N_A$, gives identically vanishing asymmetry at every radiation size, and they reproduce the transition condition from a decoupling inequality on the trace distance between the radiation state and the maximally mixed state.
Load-bearing premise
The sharp transition is obtained by approximating the average of a logarithm by the logarithm of an average; if the two purities fluctuate strongly around their means at finite system size, the step would be smeared out even though a crossover remains.
Editorial extensions
If this is right
- Before the transition the radiation state is nearly maximally mixed, so any U(1) charge imbalance in the infalling diary is washed out; the emergent symmetry is exact in the thermodynamic limit.
- After the transition the Rényi-2 entanglement asymmetry saturates at $\frac{1}{2}\log(\pi N_B)$, matching the known maximal value for product states at $\alpha=2$.
- The transition time depends on both the diary size and the initial black hole entropy, so the appearance of the symmetry is shifted away from the Page time by $\frac{1}{2}(N_A+s)$.
- When the initial black hole is maximally mixed with early radiation, the radiation has identically zero averaged asymmetry for all $N_B$; the U(1) symmetry survives the whole evaporation process.
- The decoupling inequality supplies the same transition condition, so the emergent symmetry can be understood as a consequence of decoupling rather than of any symmetry in the Hamiltonian.
Reading between the lines
- A direct finite-$N$ test of equation (5.5) would require the exact average of the logarithms rather than the logarithm of the averages; numerical Haar integration for small systems should show whether the sharp step survives or smears into a crossover.
- The same pruned-purity method should extend to Rényi index $n>2$ and to non-Abelian symmetries, giving a family of transition curves with the same critical size but different saturation values.
- The setup connects to quantum Mpemba studies: symmetry is restored from an asymmetric mixed state under random unitary evolution, so the transition could be observed in randomized circuits as a diagnostic of scrambling.
- If emergent symmetry is read as a scrambling signature, the result suggests the diary information is recoverable only after the radiation size exceeds half of $N+N_A+s$, a bound that may be sharper than the original Hayden-Preskill recovery bound in mixed-state settings.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the Rényi-2 entanglement asymmetry of the radiation in the Hayden-Preskill protocol, assuming that the initial black hole is in a general mixed state with Rényi-2 entropy s. The authors compute the Haar-averaged purity EU[tr ρ_B^2] and the averaged pruned purity EU[tr ρ_{B,Q}^2], obtaining the exact ratio (5.2). They then replace expectation values of logarithms by logarithms of expectation values, use Stirling's formula, and arrive at the main formula (5.5), which predicts that the averaged entanglement asymmetry is essentially zero for N_B < (N+N_A+s)/2 and saturates to (1/2) log(π N_B) for larger N_B. They also derive a decoupling inequality in Appendix A and use it to argue that the emergent U(1) symmetry below the transition is a genuine thermodynamic-limit effect. The maximally mixed case s = N−N_A is shown to yield exactly vanishing asymmetry for all N_B.
Significance. If the main formula (5.5) is established, the paper provides a new quantitative prediction for symmetry emergence in black-hole radiation, extending the pure-state analysis of Ref. [34] to the mixed-state Hayden-Preskill setup. The exact Haar integrations leading to Eqs. (3.7) and (4.4) are clean, parameter-free, and appear correct; the decoupling-inequality derivation in Appendix A is also a useful self-contained result. The qualitative claim that a maximally mixed initial black hole preserves the emergent symmetry exactly is solid and follows directly from the equality of the two averaged purities. The main uncertainty concerns the replacement E[log X] ≈ log E[X] for the pruned purity, which is load-bearing for the sharp transition and for the saturation value; this issue is fixable but requires either a concentration proof or a careful reframing of (5.5) as an annealed approximation.
major comments (3)
- [Section 5, Eqs. (5.1) and (5.5)] The replacement E[log X] ≈ log E[X] for X = tr ρ_B^2 and X = tr ρ_{B,Q}^2 is the only step that converts the exact ratio (5.2) into the sharp transition and saturation claimed in (5.5). The paper states in footnote 2 that this is proved in Refs. [37,38], but neither reference is shown to cover the specific observable tr ρ_{B,Q}^2, which is a sum over O(N_B) charge sectors in a mixed-state protocol rather than an entropy of a Haar-random pure state or a random tensor network. Since relative fluctuations of this pruned purity could in principle decay only polynomially, the validity of the log-average replacement is load-bearing for the central claim. Please either compute a variance bound for tr ρ_{B,Q}^2, or quote a theorem from Refs. [37,38] and verify its hypotheses, or present (5.5) explicitly as an annealed approximation and separate it from the rigorous statements.
- [Section 5, after Eq. (5.5)] The main formula (5.5) is not valid for s = N − N_A. The authors correctly observe immediately before (5.2) that for s = N − N_A one has EU[tr ρ_B^2] = EU[tr ρ_{B,Q}^2] exactly, hence E[ΔS^(2)] = 0 for every N_B. However, substituting s = N − N_A into (5.5) gives a nonzero value at N_B = N and a transition at N_B = N/2, in direct contradiction with the exact result. The approximation leading to (5.5) requires 2^{N−s−N_A} ≫ 1, which fails exactly in the maximally mixed case because the factor (2^{N−s−N_A} − 1) in the exact denominator vanishes. Please state the domain of validity of (5.5) explicitly and reconcile it with the exact maximally mixed statement.
- [Section 6, Eq. (6.4)] The inference from the decoupling bound to the conclusion that the entanglement asymmetry is almost vanishing is stated without a quantitative argument. A small average trace distance to the maximally mixed state does not by itself imply a small average of the difference of logarithms of purities unless one adds a Lipschitz or large-deviation estimate; the dimension-dependent Lipschitz constant of the logarithm of the purity near the maximally mixed state can be as large as O(d_B), so the rare-event contribution must be controlled explicitly. This can likely be repaired with a short Markov-inequality argument using the boundedness of the asymmetry, but as written the step is a heuristic. Please include that argument or state precisely which theorem justifies the conclusion.
minor comments (4)
- [Section 5, Eq. (5.5)] The equality sign in (5.5) should be replaced by an approximate sign, since the formula relies on Stirling's approximation and the log-average replacement. The domain of validity (large N, s not too close to N − N_A, and N_B not too close to N) should also be stated.
- [Section 5, Eq. (5.2)] The nested fraction in Eq. (5.2) is difficult to read as typeset; please rewrite it with explicit parentheses so that the denominator of the (C − 1) term is unambiguous.
- [Section 2] There is a typo in the sentence 'R´enyi-two entropy equals tos'; it should read 'Rényi-2 entropy equals s'.
- [Section 1] In the paragraph discussing Ref. [31], the name 'Hayden-Prskill' should be 'Hayden-Preskill'.
Circularity Check
No circularity: the central result follows from exact Haar averages with an externally cited concentration assumption, not from a fitted or self-referential input.
full rationale
The paper's derivation chain is self-contained and non-circular. Equations (3.7) and (4.4) compute the Haar-averaged purities E[tr(ρ_B^2)] and E[tr(ρ_{B,Q}^2)] directly from Haar moment identities, with no parameter fitted to any target result. The main result (5.5) is obtained by taking the ratio of these exact averages, applying Stirling's approximation, and using the approximation E[log X] ≈ log E[X] for the two purities. This concentration step is explicitly flagged in footnote 2 and justified by references [37,38], which are external works on typicality in random tensor networks, not self-citations of the present authors. Even if the applicability of that typicality result to the pruned purity could be questioned, that is a correctness or rigor concern, not circularity, because the approximation does not encode the claimed transition or the saturation value by construction. The transition threshold NB = (N + NA + s)/2 also follows directly from the decoupling inequality derived independently in Appendix A, and the parameter s is an input of the model rather than a quantity fitted to reproduce the final asymmetry. The only self-citation, [21], concerns Rényi entanglement asymmetry in CFT and is not load-bearing for any step in this paper. Thus there is no evidence that any 'prediction' reduces to an input by definition or by a self-citation chain.
Assumptions & free parameters
assumptions (3)
- domain assumption The merged black-hole diary system evolves by a Haar-random unitary U (Section 2), which models maximal scrambling.
- domain assumption E[log X] ≈ log E[X] for X = tr ρ_B^2 and tr ρ_{B,Q}^2 in the thermodynamic limit (footnote 2, Section 5).
- standard math The fourth moment Haar identity (eq. 3.3) and the decoupling inequality (Appendix A) are correct.
Cite this review
Pith. "Pith review of Entanglement asymmetry in the Hayden-Preskill protocol." pith.science (2026). https://pith.science/paper/BTECGPSA
@misc{pith2026241117695,
author = {Pith},
title = {Pith review of: Entanglement asymmetry in the Hayden-Preskill protocol},
year = {2026},
howpublished = {\url{https://pith.science/paper/BTECGPSA}},
note = {Machine review of arXiv:2411.17695}
}
abstract
In this paper, we consider the time evolution of entanglement asymmetry of the black hole radiation in the Hayden-Preskill thought experiment. We assume the black hole is initially in a mixed state since it is entangled with the early radiation. Alice throws a diary maximally entangled with a reference system into the black hole. After the black hole has absorbed the diary, Bob tries to recover the information that Alice thought should be destroyed by the black hole. In this protocol, we found that a $U(1)$ symmetry of the radiation emerges before a certain transition time (the time when the vanishing entanglement asymmetry begins to grow). This emergent symmetry is exact in the thermodynamic limit and can be characterized by the vanishing entanglement asymmetry of the radiation. The transition time depends on the initial entropy and the size of the diary. What's more, when the initial state of the black hole is maximally mixed, this emergent symmetry survives during the whole procedure of the black hole radiation. We successfully explained this novel phenomenon using the decoupling inequality.
Figures
Forward citations
Cited by 1 Pith paper
-
Entanglement asymmetry dynamics in random quantum circuits
Subsystem entanglement asymmetry in random unitary circuits relaxes on the scrambling time for subsystems smaller than half the system, growing linearly with size in local circuits and logarithmically in non-local cir...
Reference graph
Works this paper leans on
-
[34]
Entanglement asymmetry study of black hole radiation,
F. Ares, S. Murciano, L. Piroli, and P. Calabrese, “Entanglement asymmetry study of black hole radiation,” Phys. Rev. D, vol. 110, no. 6, p. L061901, 2024
work page 2024
-
[1]
Particle Creation by Black Holes,
S. W. Hawking, “Particle Creation by Black Holes,” Commun. Math. Phys., vol. 43, pp. 199–220,
-
[2]
Breakdown of Predictability in Gravitational Collapse,
S. W. Hawking, “Breakdown of Predictability in Gravitational Collapse,” Phys. Rev. D, vol. 14, pp. 2460–2473, 1976
work page 1976
-
[3]
Jerusalem Lectures on Black Holes and Quantum Information,
D. Harlow, “Jerusalem Lectures on Black Holes and Quantum Information,” Rev. Mod. Phys., vol. 88, p. 015002, 2016
work page 2016
-
[4]
The entropy of Hawking radiation,
A. Almheiri, T. Hartman, J. Maldacena, E. Shaghoulian, and A. Tajdini, “The entropy of Hawking radiation,” Rev. Mod. Phys., vol. 93, no. 3, p. 035002, 2021
work page 2021
-
[5]
Average entropy of a subsystem,
D. N. Page, “Average entropy of a subsystem,” Phys. Rev. Lett., vol. 71, pp. 1291–1294, 1993
work page 1993
-
[6]
Information in black hole radiation,
D. N. Page, “Information in black hole radiation,” Phys. Rev. Lett., vol. 71, pp. 3743–3746, 1993
work page 1993
-
[7]
Black holes as mirrors: Quantum information in random subsystems,
P. Hayden and J. Preskill, “Black holes as mirrors: Quantum information in random subsystems,” JHEP, vol. 09, p. 120, 2007
work page 2007
Show all 42 references
-
[8]
Efficient decoding for the Hayden-Preskill protocol,
B. Yoshida and A. Kitaev, “Efficient decoding for the Hayden-Preskill protocol,” 10 2017
2017
-
[9]
Disentangling Scrambling and Decoherence via Quantum Teleporta- tion,
B. Yoshida and N. Y. Yao, “Disentangling Scrambling and Decoherence via Quantum Teleporta- tion,” Phys. Rev. X, vol. 9, no. 1, p. 011006, 2019
2019
-
[10]
Hayden-Preskill decoding from noisy Hawking radiation,
N. Bao and Y. Kikuchi, “Hayden-Preskill decoding from noisy Hawking radiation,” JHEP, vol. 02, p. 017, 2021
2021
-
[11]
Realizing the Hayden-Preskill protocol with coupled Dicke models,
Y. Cheng, C. Liu, J. Guo, Y. Chen, P. Zhang, and H. Zhai, “Realizing the Hayden-Preskill protocol with coupled Dicke models,” Phys. Rev. Res., vol. 2, no. 4, p. 043024, 2020
2020
-
[12]
A Random Unitary Circuit Model for Black Hole Evap- oration,
L. Piroli, C. S¨ underhauf, and X.-L. Qi, “A Random Unitary Circuit Model for Black Hole Evap- oration,” JHEP, vol. 04, p. 063, 2020. 10
2020
-
[13]
Diagnosis of information scrambling from Hamiltonian evolution under decoherence,
T. Hayata, Y. Hidaka, and Y. Kikuchi, “Diagnosis of information scrambling from Hamiltonian evolution under decoherence,” Phys. Rev. D, vol. 104, no. 7, p. 074518, 2021
2021
-
[14]
Entanglement asymmetry as a probe of symmetry breaking,
F. Ares, S. Murciano, and P. Calabrese, “Entanglement asymmetry as a probe of symmetry breaking,” Nature Commun., vol. 14, no. 1, p. 2036, 2023
2023
-
[15]
Lack of symmetry restoration after a quan- tum quench: An entanglement asymmetry study,
F. Ares, S. Murciano, E. Vernier, and P. Calabrese, “Lack of symmetry restoration after a quan- tum quench: An entanglement asymmetry study,” SciPost Phys., vol. 15, no. 3, p. 089, 2023
2023
-
[16]
Entanglement asymmetry and quantum Mpemba effect in the XY spin chain,
S. Murciano, F. Ares, I. Klich, and P. Calabrese, “Entanglement asymmetry and quantum Mpemba effect in the XY spin chain,” J. Stat. Mech., vol. 2401, p. 013103, 2024
2024
-
[17]
Microscopic Origin of the Quantum Mpemba Effect in Integrable Systems,
C. Rylands, K. Klobas, F. Ares, P. Calabrese, S. Murciano, and B. Bertini, “Microscopic Origin of the Quantum Mpemba Effect in Integrable Systems,” Phys. Rev. Lett., vol. 133, no. 1, p. 010401, 2024
2024
-
[18]
Dynamical symmetry restoration in the Heisenberg spin chain,
C. Rylands, E. Vernier, and P. Calabrese, “Dynamical symmetry restoration in the Heisenberg spin chain,” 9 2024
2024
-
[19]
Quantum Mpemba effects in many-body localization systems,
S. Liu, H.-K. Zhang, S. Yin, S.-X. Zhang, and H. Yao, “Quantum Mpemba effects in many-body localization systems,” 8 2024
2024
-
[20]
The quantum Mpemba effect in free-fermionic mixed states,
F. Ares, V. Vitale, and S. Murciano, “The quantum Mpemba effect in free-fermionic mixed states,” 5 2024
2024
-
[21]
R´ enyi entanglement asymmetry in (1+1)-dimensional conformal field theories,
M. Chen and H.-H. Chen, “R´ enyi entanglement asymmetry in (1+1)-dimensional conformal field theories,” Phys. Rev. D, vol. 109, no. 6, p. 065009, 2024
2024
-
[22]
Entanglement asymmetry in CFT with boundary symmetry breaking,
M. Fossati, C. Rylands, and P. Calabrese, “Entanglement asymmetry in CFT with boundary symmetry breaking,” 11 2024
2024
-
[23]
Entanglement asymmetry in conformal field theory and holography,
F. Benini, V. Godet, and A. H. Singh, “Entanglement asymmetry in conformal field theory and holography,” 7 2024
2024
-
[24]
Entanglement asymmetry and symmetry defects in boundary conformal field theory,
Y. Kusuki, S. Murciano, H. Ooguri, and S. Pal, “Entanglement asymmetry and symmetry defects in boundary conformal field theory,” 11 2024
2024
-
[25]
Dynamics of charge fluctuations from asymmetric initial states,
B. Bertini, K. Klobas, M. Collura, P. Calabrese, and C. Rylands, “Dynamics of charge fluctuations from asymmetric initial states,” Phys. Rev. B, vol. 109, no. 18, p. 184312, 2024
2024
-
[26]
Symmetry Restoration and Quantum Mpemba Effect in Symmetric Random Circuits,
S. Liu, H.-K. Zhang, S. Yin, and S.-X. Zhang, “Symmetry Restoration and Quantum Mpemba Effect in Symmetric Random Circuits,” Phys. Rev. Lett., vol. 133, no. 14, p. 140405, 2024
2024
-
[27]
Quantum Mpemba Effect in Random Circuits,
X. Turkeshi, P. Calabrese, and A. De Luca, “Quantum Mpemba Effect in Random Circuits,” 5 2024
2024
-
[28]
Non-equilibrium dynamics of charged dual-unitary circuits,
A. Foligno, P. Calabrese, and B. Bertini, “Non-equilibrium dynamics of charged dual-unitary circuits,” 7 2024
2024
-
[29]
Observing the Quantum Mpemba Effect in Quantum Simulations,
L. K. Joshi et al., “Observing the Quantum Mpemba Effect in Quantum Simulations,” Phys. Rev. Lett., vol. 133, no. 1, p. 010402, 2024
2024
-
[30]
Typical entanglement entropy in the presence of a center: Page curve and its variance,
E. Bianchi and P. Dona, “Typical entanglement entropy in the presence of a center: Page curve and its variance,” Phys. Rev. D, vol. 100, no. 10, p. 105010, 2019
2019
-
[31]
Black holes as clouded mirrors: the Hayden-Preskill protocol with symmetry,
Y. Nakata, E. Wakakuwa, and M. Koashi, “Black holes as clouded mirrors: the Hayden-Preskill protocol with symmetry,” Quantum, vol. 7, p. 928, 2023. 11
2023
-
[32]
Symmetry-resolved Page curves,
S. Murciano, P. Calabrese, and L. Piroli, “Symmetry-resolved Page curves,” Phys. Rev. D, vol. 106, no. 4, p. 046015, 2022
2022
-
[33]
Page curve and symmetries,
P. H. C. Lau, T. Noumi, Y. Takii, and K. Tamaoka, “Page curve and symmetries,” JHEP, vol. 10, p. 015, 2022
2022
-
[35]
Non-Abelian entanglement asymmetry in random states,
A. Russotto, F. Ares, and P. Calabrese, “Non-Abelian entanglement asymmetry in random states,” 11 2024
2024
-
[36]
Hayden-Preskill protocol and decoding Hawking radiation at finite temper- ature,
R. Li and J. Wang, “Hayden-Preskill protocol and decoding Hawking radiation at finite temper- ature,” Phys. Rev. D, vol. 106, no. 4, p. 046011, 2022
2022
-
[37]
Relative Entropy of Random States and Black Holes,
J. Kudler-Flam, “Relative Entropy of Random States and Black Holes,” Phys. Rev. Lett., vol. 126, no. 17, p. 171603, 2021
2021
-
[38]
Holographic duality from random tensor networks,
P. Hayden, S. Nezami, X.-L. Qi, N. Thomas, M. Walter, and Z. Yang, “Holographic duality from random tensor networks,” JHEP, vol. 11, p. 009, 2016
2016
-
[39]
A universal formula for the entanglement asymmetry of matrix product states,
L. Capizzi and V. Vitale, “A universal formula for the entanglement asymmetry of matrix product states,” J. Phys. A, vol. 57, no. 45, p. 45LT01, 2024
2024
-
[40]
Recovery algorithms for Clifford Hayden-Preskill problem,
B. Yoshida, “Recovery algorithms for Clifford Hayden-Preskill problem,” 6 2021
2021
-
[41]
Lecture Notes on Quantum Computation,
B. Yoshida, “Lecture Notes on Quantum Computation,” 1998. 12
1998
-
[1975]
46, 206 (1976)]
[Erratum: Commun.Math.Phys. 46, 206 (1976)]
1976
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.