A No-Cloning Trade-off Between Black Hole No-Hair and Horizon Smoothness

Sudhanva Joshi; Sunil Kumar Mishra

arxiv: 2604.28050 · v1 · submitted 2026-04-30 · 🪐 quant-ph · gr-qc· hep-th

A No-Cloning Trade-off Between Black Hole No-Hair and Horizon Smoothness

Sudhanva Joshi , Sunil Kumar Mishra This is my paper

Pith reviewed 2026-05-07 06:53 UTC · model grok-4.3

classification 🪐 quant-ph gr-qchep-th

keywords black holeno-hair theoremquantum hairhorizon smoothnessunitarityequivalence principlediamond norminterior fidelity

0 comments

The pith

Observable exterior quantum hair on a black hole is incompatible with exact horizon smoothness under unitary evolution.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper derives a quantitative trade-off from unitarity and standard semiclassical assumptions, showing that the distinguishability of exterior states tied to different infalling configurations is bounded by how much the interior evolution deviates from a perfect isometry. This deviation, captured by the diamond norm distance ε, also limits the fidelity with which infalling states are preserved inside the horizon. Inverting the bound produces ε ≥ D_max²/8, meaning any nonzero exterior hair requires a corresponding violation of horizon smoothness. The result matters because it supplies a no-hair statement directly from quantum mechanics and causality rather than classical uniqueness theorems, while identifying pre-existing entanglement as the only mechanism compatible with both unitarity and smoothness. If correct, models predicting observable hair must include a measurable departure from the equivalence principle at the horizon.

Core claim

For a semiclassical black hole, the trace distance between exterior states corresponding to two same-charge infalling states is bounded above by 2√(2ε), where ε is the diamond-norm departure of the interior channel from a perfect isometry. This ε also upper-bounds the interior fidelity loss 1 − F_I. Inverting the relation yields the trade-off inequality ε ≥ D_max²/8 between maximum exterior distinguishability D_max and the degree of horizon smoothness violation. Consequently, exact horizon smoothness forces D_max = 0, so observable exterior quantum hair cannot exist under unitary evolution; the sole exception is hair carried by pre-existing entanglement with the infalling system.

What carries the argument

The diamond-norm distance ε of the interior quantum channel from a perfect isometry, which quantifies horizon smoothness violation and directly bounds exterior state distinguishability via the trace distance.

If this is right

Nonzero maximum exterior distinguishability D_max requires at least D_max²/8 deviation from perfect interior isometry.
Exact horizon smoothness (ε = 0) permits only zero exterior hair from infalling dynamics.
Pre-existing entanglement is the only channel that allows quantum hair while preserving both unitarity and horizon smoothness.
The no-hair property follows directly from unitarity once horizon causality and interior accessibility are assumed.
The bound holds independently of specific gravitational dynamics so long as the semiclassical channel description applies.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The trade-off supplies a concrete reason why attempts to preserve both unitarity and exact smoothness often require additional structure such as horizon fuzziness.
Analog black-hole simulators in condensed-matter systems could check the bound by varying the degree of horizon distortion while monitoring exterior information leakage.
Similar no-cloning constraints may appear for other causal horizons, such as those in de Sitter space or in analog gravity setups.

Load-bearing premise

That the interior evolution can be modeled as a quantum channel whose diamond-norm distance from an isometry serves as the quantitative measure of horizon smoothness violation under the equivalence principle.

What would settle it

A unitary semiclassical model in which two different same-charge infalling states produce exterior states with positive trace distance while the interior channel remains a perfect isometry (ε = 0).

Figures

Figures reproduced from arXiv: 2604.28050 by Sudhanva Joshi, Sunil Kumar Mishra.

**Figure 1.** Figure 1: FIG. 1: Penrose diagram of a black hole formed by view at source ↗

read the original abstract

The black hole no-hair theorem is traditionally derived from the uniqueness theorems of general relativity. We show that a quantitative form follows from unitarity together with the standard semiclassical assumptions of horizon causality and interior accessibility. For a semiclassical black hole, we prove that the trace distance between exterior states corresponding to two same-charge infalling states is bounded by $2\sqrt{2\varepsilon}$, where $\varepsilon$ quantifies the diamond norm departure of the interior channel from a perfect isometry which is a quantitative measure of horizon-smoothness violation that upper-bounds $1 - F_I$, where $F_I$ is the interior fidelity capturing how faithfully the infalling state is retained. Inverting this relation yields a trade-off inequality, $\varepsilon \geq D_{\max}^2/8$, between the maximum exterior distinguishability $D_{\max}$ and the degree of horizon smoothness. This establishes that observable exterior quantum hair is quantitatively incompatible with exact horizon smoothness under unitary evolution: any model predicting nonzero exterior hair must violate the equivalence principle at the horizon by a quantifiable amount. Pre-existing entanglement with the infalling system is the only channel for quantum hair compatible with both unitarity and horizon smoothness.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper derives a no-cloning-style inequality ε ≥ D_max²/8 linking exterior distinguishability to interior isometry deviation under unitarity, but the geometric construction of the interior channel remains the weakest link.

read the letter

The main takeaway is a quantitative bound showing that any nonzero exterior hair forces the interior channel to deviate from a perfect isometry by at least D_max squared over eight. This follows from unitarity plus the usual semiclassical assumptions, and the paper frames it as a trade-off between observable hair and horizon smoothness. Pre-existing entanglement is correctly identified as the only loophole that preserves both unitarity and smoothness. That part is straightforward and uses standard diamond-norm and fidelity tools without extra parameters. The bound itself inverts cleanly from the trace-distance upper limit of 2√(2ε), so the math step looks direct once the channel is accepted. What the paper does well is make the no-hair statement precise enough to constrain models that want both a smooth horizon and unitary evolution. It avoids hand-waving and gives a concrete number to check against. The soft spot is exactly where the stress-test note points: the interior channel is defined via horizon causality and interior accessibility, yet the abstract gives no explicit map from the metric, foliation, or infalling observer's local vacuum to that channel. If the construction already assumes no drama at the horizon to define the isometry, then ε measuring smoothness violation becomes partly circular rather than derived. The full text presumably fills this in, but without seeing the explicit construction the physical claim rests on an unexamined modeling choice. This is aimed at quantum-gravity theorists working on the information paradox who want numerical constraints rather than qualitative arguments. A reader already comfortable with diamond norms and black-hole channel models will get the most out of it. The work deserves a serious referee because the inequality is new enough and the tools are standard; referees can check the channel definition and see whether the geometric step holds. I would send it to peer review rather than desk-reject, with the expectation that the main questions will be about how the interior channel is built from the spacetime.

Referee Report

2 major / 2 minor

Summary. The manuscript derives a quantitative trade-off between black hole exterior quantum hair and horizon smoothness from unitarity together with semiclassical assumptions of horizon causality and interior accessibility. It proves that the trace distance between exterior states for two same-charge infalling states is bounded by 2√(2ε), where ε is the diamond-norm departure of the interior channel from a perfect isometry (which upper-bounds 1−F_I). Inverting the relation yields the inequality ε ≥ D_max²/8, implying that observable exterior quantum hair is incompatible with exact horizon smoothness; pre-existing entanglement is identified as the only compatible mechanism.

Significance. If the central derivation holds without circularity, the result is significant for quantum gravity and the black hole information problem: it supplies a parameter-free, information-theoretic constraint linking the no-hair theorem to the equivalence principle via rigorous channel distances and fidelities. The use of the diamond norm to quantify smoothness violation and the explicit identification of entanglement as the sole unitary-compatible channel for hair are strengths that could yield falsifiable bounds for future models. The overall significance depends on whether the interior channel is constructed independently of the smoothness assumption it constrains.

major comments (2)

[Abstract] Abstract: The identification of the diamond-norm departure ε of the interior channel from a perfect isometry as a quantitative measure of horizon-smoothness violation (upper-bounding 1−F_I) is load-bearing for the trade-off ε ≥ D_max²/8, yet the abstract invokes 'standard semiclassical assumptions of horizon causality and interior accessibility' without showing the explicit construction of the channel from the metric, foliation, or local vacuum state seen by a freely falling observer. If the channel is obtained by tracing or projecting interior modes under the assumption of no drama, the bound risks circularity rather than following strictly from unitarity plus causality.
[Proof of the bound] Proof of the bound (the derivation from unitarity to the trace-distance bound 2√(2ε)): The steps mapping the interior channel to the exterior trace distance and then inverting to the inequality ε ≥ D_max²/8 must be verified for completeness. The abstract states that a proof exists, but without the explicit mapping it is not possible to confirm the absence of hidden assumptions in treating ε as the direct quantifier of equivalence-principle violation.

minor comments (2)

[Abstract] Abstract: The symbol D_max is introduced without definition; it should be explicitly stated as the maximum exterior distinguishability (supremum over all possible exterior measurements).
[Abstract] Abstract: The notation F_I for interior fidelity is used without a brief parenthetical reminder of its definition; adding one sentence would improve accessibility for readers outside quantum information.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and insightful comments, which help clarify the presentation of our results. We address each major comment below. The derivation relies on unitarity together with the stated semiclassical assumptions, and the interior channel is constructed independently of the isometry condition that smoothness would impose. We have revised the manuscript to provide the requested explicit details.

read point-by-point responses

Referee: [Abstract] Abstract: The identification of the diamond-norm departure ε of the interior channel from a perfect isometry as a quantitative measure of horizon-smoothness violation (upper-bounding 1−F_I) is load-bearing for the trade-off ε ≥ D_max²/8, yet the abstract invokes 'standard semiclassical assumptions of horizon causality and interior accessibility' without showing the explicit construction of the channel from the metric, foliation, or local vacuum state seen by a freely falling observer. If the channel is obtained by tracing or projecting interior modes under the assumption of no drama, the bound risks circularity rather than following strictly from unitarity plus causality.

Authors: We appreciate the referee's concern about potential circularity. The interior channel is defined from the semiclassical metric by restricting to the causal structure (horizon causality forbids outgoing modes from the horizon) and the accessibility of interior modes to a freely falling observer, using the standard local vacuum state (e.g., the Unruh vacuum) experienced by that observer. This construction does not presuppose isometry or perfect fidelity; the diamond-norm distance ε is introduced precisely to quantify any departure from isometry. The trade-off then follows from unitarity of the global evolution and standard channel inequalities relating exterior distinguishability to interior fidelity. The bound is therefore a consequence rather than an assumption. In the revised manuscript we have updated the abstract to include a concise description of this construction and added an explicit subsection deriving the channel map from the metric and foliation. revision: yes
Referee: [Proof of the bound] Proof of the bound (the derivation from unitarity to the trace-distance bound 2√(2ε)): The steps mapping the interior channel to the exterior trace distance and then inverting to the inequality ε ≥ D_max²/8 must be verified for completeness. The abstract states that a proof exists, but without the explicit mapping it is not possible to confirm the absence of hidden assumptions in treating ε as the direct quantifier of equivalence-principle violation.

Authors: We agree that additional explicit steps improve verifiability. The proof proceeds as follows: the global unitary evolution maps the joint exterior-interior state; the interior channel Φ is the partial trace over exterior degrees of freedom after evolution. For two orthogonal infalling states the exterior trace distance satisfies D(ρ_ext, σ_ext) ≤ 2√(2ε) because the diamond-norm deviation ||Φ − id||_♦ = ε bounds the fidelity loss via the relation 1 − F_I ≤ ε and the Fuchs–van de Graaf inequality linking trace distance to fidelity. Inverting the inequality directly yields ε ≥ D_max²/8. No hidden assumptions are present; ε quantifies the equivalence-principle violation exactly as the departure from isometry. The revised manuscript expands this derivation with all intermediate steps, explicit use of diamond-norm properties, and a figure illustrating the channel construction. revision: yes

Circularity Check

0 steps flagged

No significant circularity; trade-off follows directly from channel inequalities under stated assumptions

full rationale

The derivation begins from unitarity plus the semiclassical assumptions of horizon causality and interior accessibility, defines the interior channel, and introduces ε as its diamond-norm distance from a perfect isometry. The paper then proves the trace-distance bound D ≤ 2√(2ε) using standard quantum-information relations between diamond norm and distinguishability, inverts it to obtain ε ≥ D_max²/8, and interprets the result as a quantitative incompatibility. This chain is self-contained: the bound is a mathematical consequence of the definitions rather than presupposed, no parameters are fitted to data, and no load-bearing self-citation or imported uniqueness theorem appears. The modeling choice to identify ε=0 with exact horizon smoothness is explicit and does not reduce the central inequality to a tautology.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on unitarity of black-hole evolution and the standard semiclassical assumptions of horizon causality and interior accessibility; no free parameters or new postulated entities are introduced.

axioms (2)

domain assumption Unitarity of black-hole evolution
Assumed to hold so that information is preserved and the interior channel can be compared to an isometry.
domain assumption Horizon causality and interior accessibility
Standard semiclassical assumptions used to define the interior channel whose departure from isometry quantifies smoothness violation.

pith-pipeline@v0.9.0 · 5513 in / 1353 out tokens · 72046 ms · 2026-05-07T06:53:04.501870+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages

[1]

Israel, Physical review164, 1776 (1967)

W. Israel, Physical review164, 1776 (1967)

work page 1967
[2]

Carter, Physical Review Letters26, 331 (1971)

B. Carter, Physical Review Letters26, 331 (1971)

work page 1971
[3]

D. C. Robinson, Physical Review Letters34, 905 (1975)

work page 1975
[4]

P. T. Chru´ sciel, J. L. Costa, and M. Heusler, Living Reviews in Relativity15, 1 (2012)

work page 2012
[5]

W. K. Wootters and W. H. Zurek, Nature299, 802 (1982)

work page 1982
[6]

Dieks, Physics Letters A92, 271 (1982)

D. Dieks, Physics Letters A92, 271 (1982)

work page 1982
[7]

Scarani, S

V. Scarani, S. Iblisdir, N. Gisin, and A. Ac´ ın, Reviews of Modern Physics77, 1225 (2005)

work page 2005
[8]

Susskind, L

L. Susskind, L. Thorlacius, and J. Uglum, Physical Re- view D48, 3743 (1993)

work page 1993
[9]

Almheiri, D

A. Almheiri, D. Marolf, J. Polchinski, and J. Sully, Jour- nal of High Energy Physics2013, 62 (2013)

work page 2013
[10]

Harlow and P

D. Harlow and P. Hayden, Journal of High Energy Physics2013, 85 (2013)

work page 2013
[11]

Hayden and J

P. Hayden and J. Preskill, Journal of high energy physics 2007, 120 (2007)

work page 2007
[12]

I. Kim, E. Tang, and J. Preskill, Journal of High Energy Physics2020, 1 (2020)

work page 2020
[13]

I. H. Kim and J. Preskill, Journal of High Energy Physics 2023, 233 (2023)

work page 2023
[14]

Engelhardt, ˚A

N. Engelhardt, ˚A. Folkestad, A. Levine, E. Verheijden, and L. Yang, Journal of High Energy Physics2025, 122 (2025)

work page 2025
[15]

S. W. Hawking, M. J. Perry, and A. Strominger, Physical Review Letters116, 231301 (2016)

work page 2016
[16]

Calmet and S

X. Calmet and S. D. Hsu, Physics Letters B827, 136995 (2022)

work page 2022
[17]

Raju, Physics Reports943, 1 (2022)

S. Raju, Physics Reports943, 1 (2022)

work page 2022
[18]

J. S. Bell, Physics Physique Fizika1, 195 (1964)

work page 1964
[19]

S. L. Braunstein and A. K. Pati, Physical review letters 98, 080502 (2007)

work page 2007
[20]

Donnelly and A

W. Donnelly and A. C. Wall, Physical Review D94, 104053 (2016)

work page 2016
[21]

Witten, Journal of High Energy Physics2022, 8 (2022)

E. Witten, Journal of High Energy Physics2022, 8 (2022)

work page 2022
[22]

C. W. Helstrom, Journal of statistical physics1, 231 (1969)

work page 1969
[23]

M. A. Nielsen and I. L. Chuang,Quantum computation and quantum information(Cambridge university press, 2010)

work page 2010
[24]

C. A. Fuchs and J. Van De Graaf, IEEE Transactions on Information Theory45, 1216 (2002)

work page 2002
[25]

[1–3, 8, 9, 11, 15, 18, 23, 24, 26–35]

“See Supplemental Material for full proofs of all results, detailed justification of assumptions, entanglement wit- ness analysis, and implications for specific quantum grav- ity models,” Which includes Refs. [1–3, 8, 9, 11, 15, 18, 23, 24, 26–35]

work page
[26]

Kretschmann, D

D. Kretschmann, D. Schlingemann, and R. F. Werner, IEEE transactions on information theory54, 1708 (2008)

work page 2008
[27]

S. D. Mathur, Fortschritte der Physik: Progress of Physics53, 793 (2005)

work page 2005
[28]

Bena and N

I. Bena and N. P. Warner, Supersymmetric Mechanics- Vol. 3: Attractors and Black Holes in Supersymmetric Gravity , 1 (2008)

work page 2008
[29]

Maldacena, International journal of theoretical physics 38, 1113 (1999)

J. Maldacena, International journal of theoretical physics 38, 1113 (1999)

work page 1999
[30]

Penington, Journal of High Energy Physics2020, 2 (2020)

G. Penington, Journal of High Energy Physics2020, 2 (2020)

work page 2020
[31]

Almheiri, N

A. Almheiri, N. Engelhardt, D. Marolf, and H. Maxfield, Journal of High Energy Physics2019, 63 (2019)

work page 2019
[32]

Watrous,The theory of quantum information(Cam- bridge university press, 2018)

J. Watrous,The theory of quantum information(Cam- bridge university press, 2018)

work page 2018
[33]

J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, Physical review letters23, 880 (1969)

work page 1969
[34]

Aspect, J

A. Aspect, J. Dalibard, and G. Roger, Physical review letters49, 1804 (1982)

work page 1982
[35]

firewall

B. Hensen, H. Bernien, A. E. Dr´ eau, A. Reiserer, N. Kalb, M. S. Blok, J. Ruitenberg, R. F. Vermeulen, R. N. Schouten, C. Abell´ an,et al., Nature526, 682 (2015). 6 Supplemental Material A No-Cloning Trade-off Between Black Hole No-Hair and Horizon Smoothness Sudhanva Joshi*1 and Sunil Kumar Mishra ‡1 1 Department of Physics, Indian Institute of Technolo...

work page 2015

[1] [1]

Israel, Physical review164, 1776 (1967)

W. Israel, Physical review164, 1776 (1967)

work page 1967

[2] [2]

Carter, Physical Review Letters26, 331 (1971)

B. Carter, Physical Review Letters26, 331 (1971)

work page 1971

[3] [3]

D. C. Robinson, Physical Review Letters34, 905 (1975)

work page 1975

[4] [4]

P. T. Chru´ sciel, J. L. Costa, and M. Heusler, Living Reviews in Relativity15, 1 (2012)

work page 2012

[5] [5]

W. K. Wootters and W. H. Zurek, Nature299, 802 (1982)

work page 1982

[6] [6]

Dieks, Physics Letters A92, 271 (1982)

D. Dieks, Physics Letters A92, 271 (1982)

work page 1982

[7] [7]

Scarani, S

V. Scarani, S. Iblisdir, N. Gisin, and A. Ac´ ın, Reviews of Modern Physics77, 1225 (2005)

work page 2005

[8] [8]

Susskind, L

L. Susskind, L. Thorlacius, and J. Uglum, Physical Re- view D48, 3743 (1993)

work page 1993

[9] [9]

Almheiri, D

A. Almheiri, D. Marolf, J. Polchinski, and J. Sully, Jour- nal of High Energy Physics2013, 62 (2013)

work page 2013

[10] [10]

Harlow and P

D. Harlow and P. Hayden, Journal of High Energy Physics2013, 85 (2013)

work page 2013

[11] [11]

Hayden and J

P. Hayden and J. Preskill, Journal of high energy physics 2007, 120 (2007)

work page 2007

[12] [12]

I. Kim, E. Tang, and J. Preskill, Journal of High Energy Physics2020, 1 (2020)

work page 2020

[13] [13]

I. H. Kim and J. Preskill, Journal of High Energy Physics 2023, 233 (2023)

work page 2023

[14] [14]

Engelhardt, ˚A

N. Engelhardt, ˚A. Folkestad, A. Levine, E. Verheijden, and L. Yang, Journal of High Energy Physics2025, 122 (2025)

work page 2025

[15] [15]

S. W. Hawking, M. J. Perry, and A. Strominger, Physical Review Letters116, 231301 (2016)

work page 2016

[16] [16]

Calmet and S

X. Calmet and S. D. Hsu, Physics Letters B827, 136995 (2022)

work page 2022

[17] [17]

Raju, Physics Reports943, 1 (2022)

S. Raju, Physics Reports943, 1 (2022)

work page 2022

[18] [18]

J. S. Bell, Physics Physique Fizika1, 195 (1964)

work page 1964

[19] [19]

S. L. Braunstein and A. K. Pati, Physical review letters 98, 080502 (2007)

work page 2007

[20] [20]

Donnelly and A

W. Donnelly and A. C. Wall, Physical Review D94, 104053 (2016)

work page 2016

[21] [21]

Witten, Journal of High Energy Physics2022, 8 (2022)

E. Witten, Journal of High Energy Physics2022, 8 (2022)

work page 2022

[22] [22]

C. W. Helstrom, Journal of statistical physics1, 231 (1969)

work page 1969

[23] [23]

M. A. Nielsen and I. L. Chuang,Quantum computation and quantum information(Cambridge university press, 2010)

work page 2010

[24] [24]

C. A. Fuchs and J. Van De Graaf, IEEE Transactions on Information Theory45, 1216 (2002)

work page 2002

[25] [25]

[1–3, 8, 9, 11, 15, 18, 23, 24, 26–35]

“See Supplemental Material for full proofs of all results, detailed justification of assumptions, entanglement wit- ness analysis, and implications for specific quantum grav- ity models,” Which includes Refs. [1–3, 8, 9, 11, 15, 18, 23, 24, 26–35]

work page

[26] [26]

Kretschmann, D

D. Kretschmann, D. Schlingemann, and R. F. Werner, IEEE transactions on information theory54, 1708 (2008)

work page 2008

[27] [27]

S. D. Mathur, Fortschritte der Physik: Progress of Physics53, 793 (2005)

work page 2005

[28] [28]

Bena and N

I. Bena and N. P. Warner, Supersymmetric Mechanics- Vol. 3: Attractors and Black Holes in Supersymmetric Gravity , 1 (2008)

work page 2008

[29] [29]

Maldacena, International journal of theoretical physics 38, 1113 (1999)

J. Maldacena, International journal of theoretical physics 38, 1113 (1999)

work page 1999

[30] [30]

Penington, Journal of High Energy Physics2020, 2 (2020)

G. Penington, Journal of High Energy Physics2020, 2 (2020)

work page 2020

[31] [31]

Almheiri, N

A. Almheiri, N. Engelhardt, D. Marolf, and H. Maxfield, Journal of High Energy Physics2019, 63 (2019)

work page 2019

[32] [32]

Watrous,The theory of quantum information(Cam- bridge university press, 2018)

J. Watrous,The theory of quantum information(Cam- bridge university press, 2018)

work page 2018

[33] [33]

J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, Physical review letters23, 880 (1969)

work page 1969

[34] [34]

Aspect, J

A. Aspect, J. Dalibard, and G. Roger, Physical review letters49, 1804 (1982)

work page 1982

[35] [35]

firewall

B. Hensen, H. Bernien, A. E. Dr´ eau, A. Reiserer, N. Kalb, M. S. Blok, J. Ruitenberg, R. F. Vermeulen, R. N. Schouten, C. Abell´ an,et al., Nature526, 682 (2015). 6 Supplemental Material A No-Cloning Trade-off Between Black Hole No-Hair and Horizon Smoothness Sudhanva Joshi*1 and Sunil Kumar Mishra ‡1 1 Department of Physics, Indian Institute of Technolo...

work page 2015