Computational Cosmic Censorship

Fuat Berkin Altunkaynak

REVIEW 3 major objections 3 minor 18 references

Computational Cosmic Censorship

T0 review · 3 major / 3 minor · reviewed 2026-08-02 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Holographic complexity of formation of overcharged AdS spacetimes carries no logarithmic divergence, so relative complexity across the extremal surface diverges in both directions, making the naked-singularity sector unreachable in finite t

desk verdict A genuinely new two-gap complexity proposal for WCCC, with a real calculation in the overcharged sector, but the reverse triangle inequality is doing heavy lifting without a proof, and the EH term is miscounted in D>4. read the letter →

arxiv 2604.20170 v3 pith:DUR6QMEW submitted 2026-04-17 hep-th gr-qcquant-ph

Fuat Berkin Altunkaynak This is my paper · ORCID

classification hep-thgr-qcquant-ph

keywords holographiccomplexitycomplexity=actioncomplexity=volumeweakcosmiccensorshipthirdlawofblack-holemechanicsReissner-Nordström-AdSWheeler-DeWittactionnakedsingularities

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proposes that the third law of black-hole mechanics and weak cosmic censorship share a single origin in the geometry of quantum complexity. In the complexity=action and complexity=volume prescriptions, every subextremal black hole has finite complexity, the extremal black hole has logarithmically divergent complexity, and the overcharged naked-singularity sector has no logarithmic divergence. The paper computes the Wheeler–DeWitt action of overcharged Reissner–Nordström–AdS spacetimes and finds that near-singularity divergences are at most power-law, with a prescription-dependent coefficient that can even cancel. Because the extremal complexity divergence is logarithmic, no cancellation is possible, so the relative complexity across each adjacent gap diverges. If physical state preparation has a finite complexity growth rate, neither gap can be crossed in finite boundary time, making the naked-singularity sector computationally inaccessible.

What carries the argument

The central machinery is the Wheeler–DeWitt (WdW) action in the complexity=action proposal and the maximal-volume functional in the complexity=volume proposal. For overcharged RN–AdS, the Maxwell bulk term and the Gibbons–Hawking–York boundary term at a small-radius regulator each diverge as ϵ^{-(D−3)}, but their combined coefficient K_D(γ) is prescription-dependent; the null, joint, and counterterm contributions are finite. No logarithmic divergence appears, so it cannot cancel the logarithmic divergence of the extremal complexity. In complexity=volume, the maximal volume near the singularity scales as O(ϵ^{2D−4}), removing any divergence. The near-singularity scaling f ~ a r^{-p} is then u

What would settle it

A specific test: compute the complexity of formation of overcharged RN–AdS in D=5 (near-singularity exponent p=4) using a differently shaped regulator at the singularity; the paper's claim predicts the WdW action is at worst power-law divergent in ϵ and never contains ln ϵ. If any valid regulator yields a logarithmic term, the 'no logarithmic divergence' input fails. Separately, constructing an explicit finite-complexity circuit in the dual CFT that prepares the extremal state from a subextremal state would falsify the first gap.

Watch

Extended reading notes

Core claim

The central claim is that two successive divergences in relative complexity protect the extremal surface from being crossed. The first gap separates any subextremal black hole (finite complexity) from the extremal black hole (logarithmically divergent complexity of formation). The second gap separates the extremal state from the naked-singularity sector: a direct on-shell Wheeler–DeWitt evaluation in general dimension D≥4 shows that the overcharged Reissner–Nordström–AdS complexity of formation contains only prescription-dependent power-law divergences or finite terms, never a logarithmic divergence. Since the extremal state's divergence is logarithmic, the difference in absolute complexitie

Load-bearing premise

The load-bearing premise is that complexity obeys the reverse triangle inequality, so a divergent absolute difference |C(E)−C(B_sprx)| implies a divergent complexity distance between the two states; the paper states this without proof or citation. The subsidiary finite-complexity-growth assumption is also needed to convert that divergence into an obstruction to finite-time crossing, and the paper explicitly frames the result as conditional evidence, not a proof of the full co

Editorial extensions

If this is right

A subextremal charged AdS black hole cannot be driven to extremality in finite boundary time under any finite-complexity-growth process, giving a complexity-geometric form of the third law.
Overcharging or overspinning gedanken experiments that attempt to reach a naked singularity must cross the extremal surface; in both directions the relative complexity diverges, so the naked-singularity sector is dynamically inaccessible.
The obstruction is prescription-independent: it holds in both complexity=action and complexity=volume and for any electromagnetic boundary prescription, since the naked-singularity sector never has a logarithmic divergence to cancel the extremal one.
The result generalizes to any static, spherically symmetric geometry with f ~ a r^{-p} near the singularity, covering RN black holes in D≥4 and broader multi-charge or dilatonic families with the same scaling.
If the paper is right, weak cosmic censorship is not primarily about the geometry of the endpoint but about the computational cost of preparing the endpoint state.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A direct test would be to compute the complexity distance, not just the absolute-complexity difference, between extremal and overcharged RN–AdS states in a concrete circuit model; a finite distance would undercut the two-gap conclusion even if the individual complexities diverge as stated.
The universality criterion suggests a classification program: for any static naked-singularity geometry with near-singularity scaling f ~ a r^{-p}, the absence of a log divergence in the WdW action is what protects the extremal surface; rotating Kerr–AdS is the natural next target, though its ring singularity changes the regulator geometry.
One could sharpen the obstruction by estimating the boundary time needed to approach the extremal surface as a function of the near-extremal parameter; if the required complexity gap diverges while the growth rate is bounded, the crossing time should diverge, giving a quantitative form of the barrier.
The paper's local near-singularity mechanism suggests computational censorship may extend beyond AdS asymptotics: because the relevant divergence is determined by local data near the singularity, similar obstructions might appear in other asymptotically flat or de Sitter settings where a holographic complexity notion exists.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Dear —,

This is worth a read if you work on holographic complexity, and it deserves a serious referee, but the central inference needs more than the paper gives it.

The genuinely new part is the explicit WdW evaluation for overcharged RN–AdS in general D. The claim that the naked-singularity complexity carries no logarithmic divergence in any electromagnetic prescription is concrete and, as far as I can see, the CV calculation supports it. The two-gap framing—subextremal vs extremal, extremal vs naked singularity—is a nice unification of the third law and WCCC, and the paper is appropriately honest that this is conditional on CA/CV and finite complexity growth.

The soft spots are in proportion. First, Eq. (8) says the EH bulk is finite because r^{D-2} is integrable, but the Ricci scalar also diverges. For D>4, R ~ r^{-(2D-4)} from the Maxwell trace, so the integrand is r^{-D+2} and the EH term has a power-law divergence of the same order as the GHY and Maxwell terms. The exact cancellation claimed in the minimal prescription is therefore not established by the text. That might be repairable—the coefficients could cancel—but as written it's an error.

Second, and more serious, the step from 'no log divergence in C(B_sprx)' to 'divergent relative complexity ΔC(E,B_sprx)' relies on the reverse triangle inequality for complexity distance. This is asserted in one sentence, with no proof or citation. The inequality is true if state complexity is a distance from a fixed reference and the pairwise distance is a metric, but that is not a standard established property for either CA or CV complexity. Without it, a divergent difference in complexities of formation does not imply the states are far apart in complexity distance. This is load-bearing: the entire obstruction to crossing the extremal surface depends on that bridge.

What holds up: the no-logarithmic-divergence core for the naked singularity looks right, the CV calculation is correct, and the universality criterion is useful. The citation pattern is appropriate, and the paper distinguishes its own conditional status clearly.

Bottom line: this is a serious proposal with a real calculation, and I would send it to a referee with a request to address the two issues above. The reverse triangle inequality needs a derivation or at least a citation to a model where it holds; the EH counting needs fixing. I'd bring it to a reading group first, though.

Referee Report

3 major / 3 minor

Summary. The paper proposes that the extremal surface in the AdS black-hole parameter space is a complexity-geometric barrier. In both CA and CV prescriptions, the complexity of formation of extremal RN-AdS black holes is logarithmically divergent, while every subextremal state is finite. The author computes the WdW action of overcharged RN-AdS and argues that the naked-singularity complexity carries at most a power-law divergence, never a logarithmic one. Combining the two gaps with the reverse triangle inequality for a complexity distance and a finite complexity-growth-rate assumption, the paper concludes that no finite-time physical process can cross the extremal surface, giving a complexity origin for the third law and weak cosmic censorship.

Significance. The question addressed is timely and potentially important: connecting holographic complexity to the dynamical inaccessibility of naked singularities would be a genuinely new structural result. The paper has clear strengths: the WdW calculations are direct and explicit, no parameters are fitted, the extremal logarithmic divergence is imported from external results [9-11], and the conclusion is explicitly framed as a conditional obstruction. The universality scaling analysis is also useful. However, two load-bearing points prevent acceptance in the present form: the claimed finiteness of the Einstein-Hilbert bulk term (Eq. (8)) is incorrect for D>4, and the reverse triangle inequality for 'complexity distance' is asserted without definition, proof, or citation. The no-logarithmic-divergence core may survive a corrected calculation, but the exact-cancellation statement in the abstract and the central dynamical conclusion need substantial revision.

major comments (3)

[Eq. (8), 'WdW Action for Overcharged RN-AdS'] The claim that the Einstein-Hilbert bulk contribution is finite because r^{D-2} is integrable at r=0 ignores the divergence of the on-shell Ricci scalar. For Einstein-Maxwell-AdS, the trace of the Einstein equations gives R - 2Λ = 4Λ/(D-2) - 2G(D-4)/(D-2) q^2/r^{2D-4} + ... . Hence √-g(R-2Λ) ~ r^{D-2} r^{-(2D-4)} = r^{-D+2}, and the integral in Eq. (8) diverges as ϵ^{-(D-3)}, not finite. This invalidates the abstract's statement that EH, Maxwell, and GHY terms 'cancel exactly' and also undermines the coefficient K_D(γ) in Eq. (22). The no-logarithmic-divergence conclusion may survive, but the explicit cancellation claim requires recomputation.
['Extremal Barrier, the Third Law, and WCCC', sentence after Eq. (22)] The only bridge from Eq. (22) to the claim that the transition E→B_sprx is dynamically obstructed is the sentence 'the reverse triangle inequality for complexity distance then implies divergent relative complexity.' The paper never defines the pairwise complexity distance D(E,B_sprx), nor proves or cites any property that CA/CV complexity satisfies the triangle inequality. A divergent difference of complexities of formation relative to the AdS vacuum, |C(E)-C(B_sprx)|, does not by itself imply a divergent pairwise relative complexity. If complexity distance is not a metric, a finite circuit could connect the two states and the two-gap obstruction would not follow. This assumption is load-bearing and must be either proved, cited, or explicitly added as an axiom with a discussion of its status.
['Universality' and general framework] The paper repeatedly states that the obstruction is 'prescription-independent' and holds in both CA and CV. But the prescription independence is established only under the unproved metric assumption of the previous comment, and the CA calculation is quantitatively affected by the Eq. (8) error. The universality criterion based on f(r) ~ a r^{-p} is plausible, but it is used to conclude that GHY terms are the only possible power-law source; once the EH bulk is included, the scaling criterion must be extended to curvature invariants. As written, the universality claim is stronger than what the explicit calculations support.

minor comments (3)

[Eq. (14)] The LMPS counterterm written for pure global AdS contains Λ^{D-2} power-law terms; calling it 'finite' is confusing unless the vacuum subtraction is applied immediately. Please clarify that the finiteness refers to the vacuum-subtracted quantity.
[Eq. (7) and surrounding notation] The term I_GHY^{(r=0)} is written with r=0 but is later evaluated at r=ϵ. Use a consistent notation, e.g., I_GHY(r=ϵ), to avoid confusion about where the regulator surface sits.
[General presentation] The symbol ΔC is used both for the difference of complexities of formation between two states and for a pairwise 'relative complexity.' These are conceptually different objects; define the latter explicitly and use distinct notation until the metric property is established.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the naked-singularity complexity is computed directly and the extremal log divergence is imported from external references; the obstruction is conditional on explicit axioms.

full rationale

The paper's central derivation is a direct WdW on-shell action evaluation for overcharged RN–AdS (Eqs. (7)–(22)), with no parameters fitted to data and no self-citation chain. The key input C(E) ~ log divergence is taken from external Refs. [9–11], not from the present author's prior work. Eq. (22) is a computation of the near-singularity action, not an assertion equivalent to the target. The conclusion ΔC(E,B_sprx) diverges follows from the absence of a log divergence in Eq. (22) plus the external log divergence of C(E); neither ingredient is defined in terms of the conclusion. The 'reverse triangle inequality' bridge is an unproved metric axiom, not a circular reduction: it is a logical premise stated without proof, and the paper explicitly frames the result as conditional ('Under a finite-complexity-growth assumption' and 'should ... be viewed not as a proof'). Potential technical concerns (e.g., finiteness of the EH bulk term, the reverse triangle inequality status) are correctness/rigor issues, not circularity. Per the instructions, non-finding is warranted.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The argument rests on the holographic complexity conjectures (CA and CV), the assumption that complexity is a metric with bounded growth rate, and the prior result that extremal complexity of formation diverges logarithmically. These are inputs from the literature, not fitted parameters. No new entities are introduced.

assumptions (5)

domain assumption Complexity=Action and Complexity=Volume proposals identify boundary state complexity with bulk action/maximal volume.
Used throughout (Eq. (21) and CV section); standard in holography but unproven.
domain assumption Complexity is a metric on state space, satisfying triangle/reverse triangle inequality.
Invoked in the argument that divergent |C(A)-C(B)| implies divergent relative complexity; no proof or citation given.
domain assumption Finite complexity growth rate: physically realizable states are connected by evolutions with bounded complexity growth, so divergent complexity difference implies infinite time.
Explicitly stated in Introduction; derives from circuit model results [5,6].
domain assumption Complexity of formation of extremal AdS black holes diverges logarithmically.
Imported from [9-11]; load-bearing for the first gap.
domain assumption Null-boundary and joint prescriptions of Refs. [4,13] apply to the WdW patch and regulate the naked singularity at r=ϵ.
Used to evaluate I_null, I_joints, I_ct; standard prescription.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Computational Cosmic Censorship." pith.science (2026). https://pith.science/paper/DUR6QMEW

@misc{pith2026260420170,
  author       = {Pith},
  title        = {Pith review of: Computational Cosmic Censorship},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DUR6QMEW}},
  note         = {Machine review of arXiv:2604.20170}
}

abstract

We identify a two-gap complexity structure underlying a holographic obstruction to reaching extremality and to the black-hole-mediated route toward weak cosmic censorship violation. The complexity of formation of extremal AdS black holes diverges logarithmically, while it is finite for every subextremal member of the stationary family. We compute the on-shell Wheeler--DeWitt action of overcharged Reissner--Nordstr\"om--AdS in general dimension $D\geq4$. In the minimal prescription, defined by omission of the Maxwell boundary term, the individually divergent Maxwell bulk, on-shell Einstein--Hilbert, and Gibbons--Hawking--York terms cancel exactly. We also evaluate the null--timelike joints and null-boundary counterterms explicitly and show that their combined lower-endpoint contribution vanishes. Adding the Maxwell boundary term produces only a prescription-dependent, regulator-local power-law divergence; no prescription produces a logarithmic divergence, and the corresponding vacuum-subtracted complexity=volume complexity of formation is finite. In the complexity=action and complexity=volume prescriptions, the reverse triangle inequality for complexity distance then implies divergent relative complexity across each adjacent gap. Under a finite-complexity-growth assumption, this gives a conditional obstruction to traversing the stationary path from subextremal black holes through extremality to the superextremal naked-singularity sector.

Review history (3 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references

[1]

Penrose,Gravitational Collapse: The Role of General Relativity, Riv

R. Penrose,Gravitational Collapse: The Role of General Relativity, Riv. Nuovo Cim.1, 252–276 (1969)

1969
[2]

J. M. Maldacena,The LargeNLimit of Superconfor- mal Field Theories and Supergravity, Adv. Theor. Math. Phys.2, 231–252 (1998)

1998
[3]

A. R. Brown, D. A. Roberts, L. Susskind, B. Swingle, and Y. Zhao,Holographic Complexity Equals Bulk Action?, Phys. Rev. Lett.116, 191301 (2016)

2016
[4]

A. R. Brown, D. A. Roberts, L. Susskind, B. Swingle, and Y. Zhao,Complexity, Action, and Black Holes, Phys. Rev. D93, 086006 (2016)

2016
[5]

Haferkamp, P

J. Haferkamp, P. Faist, N. B. T. Kothakonda, J. Eisert, and N. Yunger Halpern,Linear Growth of Quantum Cir- cuit Complexity, Nature Physics18, 528–532 (2022)

2022
[6]

F. G. S. L. Brandão, W. Chemissany, N. Hunter-Jones, R. Kueng, and J. Preskill,Models of Quantum Complex- ity Growth, PRX Quantum2, 030316 (2021)

2021
[7]

Yang,Cryptographic Censorship, JHEP01, 122 (2025)

N.Engelhardt, Å.K.Folkestad, A.Levine, E.Verheijden, and L. Yang,Cryptographic Censorship, JHEP01, 122 (2025)

2025
[8]

Akers, N

C. Akers, N. Engelhardt, D. Harlow, G. Penington, and S. Vardhan,The Black Hole Interior from Non-Isometric Codes and Complexity, JHEP06, 155 (2024)

2024

Show all 18 references

[9]

Carmi, S

D. Carmi, S. Chapman, H. Marrochio, R. C. Myers, and S. Sugishita,On the Time Dependence of Holographic Complexity, JHEP11, 188 (2017)

2017
[10]

Al Balushi, R

A. Al Balushi, R. A. Hennigar, H. K. Kunduri, and R. B. Mann,Holographic Complexity of Rotating Black Holes, JHEP05, 226 (2021)

2021
[11]

Bernamonti, F

A. Bernamonti, F. Bigazzi, D. Billo, L. Faggi, and F. Galli,Holographic and QFT Complexity with Angu- lar Momentum, JHEP11, 037 (2021)

2021
[12]

R. M. Wald,Gedanken Experiments to Destroy a Black Hole, Ann. Phys.82, 548–556 (1974)

1974
[13]

Lehner, R

L. Lehner, R. C. Myers, E. Poisson, and R. D. Sorkin, Gravitational Action with Null Boundaries, Phys. Rev. D 94, 084046 (2016)

2016
[14]

Katoch, J

G. Katoch, J. Ren, and S. R. Roy,Quantum Complexity and Bulk Timelike Singularities, JHEP12, 085 (2023)

2023
[15]

Sorce and R

J. Sorce and R. M. Wald,Gedanken Experiments to De- stroy a Black Hole. II. Kerr-Newman Black Holes Cannot Be Over-Charged or Over-Spun, Phys. Rev. D96, 104014 (2017)

2017
[16]

Stanford and L

D. Stanford and L. Susskind,Complexity and Shock Wave Geometries, Phys. Rev. D90, 126007 (2014)

2014
[17]

Semiz,Dyonic Kerr–Newman Black Holes, Com- plex Scalar Field and Cosmic Censorship, Gen

İ. Semiz,Dyonic Kerr–Newman Black Holes, Com- plex Scalar Field and Cosmic Censorship, Gen. Relativ. Gravit.43, 833–846 (2011)

2011
[18]

Gwak,Weak Cosmic Censorship Conjecture in Kerr– (Anti-)de Sitter Black Hole with Scalar Field, JHEP09, 081 (2018)

B. Gwak,Weak Cosmic Censorship Conjecture in Kerr– (Anti-)de Sitter Black Hole with Scalar Field, JHEP09, 081 (2018)

2018

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.

[1] [1]

Penrose,Gravitational Collapse: The Role of General Relativity, Riv

R. Penrose,Gravitational Collapse: The Role of General Relativity, Riv. Nuovo Cim.1, 252–276 (1969)

1969

[2] [2]

J. M. Maldacena,The LargeNLimit of Superconfor- mal Field Theories and Supergravity, Adv. Theor. Math. Phys.2, 231–252 (1998)

1998

[3] [3]

A. R. Brown, D. A. Roberts, L. Susskind, B. Swingle, and Y. Zhao,Holographic Complexity Equals Bulk Action?, Phys. Rev. Lett.116, 191301 (2016)

2016

[4] [4]

A. R. Brown, D. A. Roberts, L. Susskind, B. Swingle, and Y. Zhao,Complexity, Action, and Black Holes, Phys. Rev. D93, 086006 (2016)

2016

[5] [5]

Haferkamp, P

J. Haferkamp, P. Faist, N. B. T. Kothakonda, J. Eisert, and N. Yunger Halpern,Linear Growth of Quantum Cir- cuit Complexity, Nature Physics18, 528–532 (2022)

2022

[6] [6]

F. G. S. L. Brandão, W. Chemissany, N. Hunter-Jones, R. Kueng, and J. Preskill,Models of Quantum Complex- ity Growth, PRX Quantum2, 030316 (2021)

2021

[7] [7]

Yang,Cryptographic Censorship, JHEP01, 122 (2025)

N.Engelhardt, Å.K.Folkestad, A.Levine, E.Verheijden, and L. Yang,Cryptographic Censorship, JHEP01, 122 (2025)

2025

[8] [8]

Akers, N

C. Akers, N. Engelhardt, D. Harlow, G. Penington, and S. Vardhan,The Black Hole Interior from Non-Isometric Codes and Complexity, JHEP06, 155 (2024)

2024