{ "article_title": "Complexity Equals Action", "authors": "Adam R. Brown; Daniel A. Roberts; Leonard Susskind; Brian Swingle; Ying Zhao", "language": "en", "language_standard": "No journal rubric supplied", "summary": "This short letter proposes the complexity–action (CA) conjecture, C=A_WDW/(πℏ), identifying holographic state complexity with the on-shell action of the corresponding Wheeler–DeWitt patch. It presents late-time tests for neutral, rotating, and charged AdS black holes, together with perturbative tests involving static shells and shock waves. Its strongest result is the universal late-time neutral-black-hole rate dA/d(t_L+t_R)=2M, independent of horizon size and spacetime dimension. The cited companion paper supplies the detailed calculations intentionally omitted from the letter, including the neutral, charged, rotating, shell, shock-wave, and tensor-network analyses [E1]. The central claims are important and suitable for a short conjecture letter, but several statements should be narrowed so that conventionally normalized, late-time evidence is not presented as an unrestricted theorem.", "novelty_assessment": "The historical novelty is substantial but should be stated precisely. The general association between black-hole interior growth and complexity, the maximal-volume prescription, and the shock-wave/switchback benchmarks predate this manuscript [E2]. The new contribution is the replacement of maximal ERB volume by the action of the full WDW patch, eliminating the configuration-dependent auxiliary length scale and producing a universal late-time coefficient for neutral black holes [E1][E2]. The claim that CA “subsumes” CV is stronger than demonstrated: the two are distinct bulk prescriptions that share scaling behavior and pass many of the same tests, rather than one being derived from the other. Later work on null-boundary actions, formation complexity, divergences, and complete time dependence provides retrospective qualification rather than contemporaneous prior art [E3][E4][E5][E6].", "relevance_assessment": "The manuscript addresses a foundational problem in holography: how continuing black-hole interior growth may be encoded after ordinary boundary observables have equilibrated. The proposed relation connects quantum information, semiclassical gravity, tensor networks, and black-hole dynamics. The universal neutral result and the simpler treatment of shock-wave configurations make the proposal especially relevant. The “fastest computers” interpretation is potentially influential, provided it is consistently described as a conjectural, late-time conclusion for the semiclassical examples considered rather than as an all-time statement about all black holes.", "structure_assessment": "The presentation is concise and generally effective for a short letter. Figures 1 and 2 clearly depict the relevant WDW patches for neutral/collapsing and charged geometries, respectively, and the progression from the conjecture to neutral, rotating, charged, shock-wave, and shell tests is coherent. The division of technical labor with the companion paper is legitimate, because that paper explicitly supplies the detailed derivations [E1]. A brief roadmap to the companion paper would nevertheless make this division clearer. The prose requires two small corrections: delete the extra “be” in “good reasons to be believe,” and replace the awkward shock-wave sentence with a direct formulation such as “Both the complexity-volume duality of [3,7] and the complexity-action duality proposed here reproduce the matching of these two growths.”", "methodology_assessment": "The manuscript appropriately presents a conjecture supported by nontrivial semiclassical checks rather than claiming a derivation from boundary CFT complexity. The detailed action calculations delegated to [9] are present in the companion paper: they derive the arbitrary-dimensional neutral result, the four-dimensional charged result, the rotating BTZ result, static-shell time dilation, and single, multiple, finite-energy, and localized shock-wave behavior [E1]. Thus, their omission from this short letter is not a methodological gap in the research program. The principal unresolved issue is the boundary definition of complexity: the numerical equality depends on the gate set, approximation tolerance, reference state, and continuum regulator, while the factor of π is a normalization convention [E1]. Accordingly, the results presently support a consistently normalized relative growth prescription, not a uniquely defined microscopic equality. The neutral universality is established only at late times; the companion paper reports zero early-time action growth in the two-sided neutral case [E1], and later full-time analysis finds additional transient behavior [E6]. The rotating and charged calculations are dimension-specific—BTZ in 2+1 dimensions and charged black holes in 3+1 dimensions—so their extension to arbitrary dimension remains conjectural. Finally, the large charged-black-hole discrepancy is not resolved quantitatively: hair is a plausible proposed explanation, but the companion paper’s superconducting analysis is qualitative rather than a complete hairy-WDW calculation [E1].", "logical_errors": [ { "location": "Conclusion, page 8", "description": "This conclusion overgeneralizes the demonstrated result. Within the manuscript, the neutral calculation is explicitly a late-time result, while large charged black holes are said to apparently violate the refined bound. The companion paper further finds zero early-time action growth for neutral two-sided black holes and restricts the proposed energy bound to suitable semiclassical states [E1]. Later full-time calculations report transient behavior and an approach to the late-time rate from above [E6]. Thus, saturation is not established for all black holes or all times.", "suggestion": "Restrict the conclusion to the late-time semiclassical neutral solutions and the specific rotating and small-charged examples studied. State separately that an all-time, all-state Lloyd-type complexity bound remains conjectural.", "block_id": "pdf#page000009", "original": "If our complexity-action conjecture is correct, then black holes saturate Lloyd’s\nproposed limit on the rate of computation [21].", "replacement": null, "severity": "major", "evidence": "This is a demonstrated scope inconsistency: page 3 calls the neutral result the “late-time rate,” and page 5 says that large charged black holes “apparently violate the complexity bound.” The qualifications are reinforced by [E1] and, retrospectively, [E6].", "verification": "supported", "verification_reason": "The conclusion says broadly that “black holes saturate Lloyd’s proposed limit,” but the manuscript’s neutral result is explicitly the “late-time rate,” and its large charged examples “apparently violate” the tighter conserved-charge bound. The companion further restricts the bound to suitable semiclassical states and describes zero early-time action growth for neutral two-sided black holes. The proposed scope restriction preserves the demonstrated claims." }, { "location": "Definition of complexity, page 2", "description": "The conjectured equality does not identify the universal gate set, approximation tolerance, continuum regulator, or reference state sufficiently to define a unique numerical boundary complexity. The manuscript later acknowledges normalization dependence, and [E1] explicitly treats the prefactor and continuum definition as open. Consequently, agreement after adopting the Lloyd normalization is evidence for a relative growth prescription, not yet an independently normalized equality.", "suggestion": "State explicitly that CA presently conjectures a correspondence for an as-yet-unspecified continuum complexity measure, and list the gate-set, tolerance, reference-state, and regulator dependence. Distinguish conventionally normalized growth-rate agreement from a unique microscopic definition of complexity.", "block_id": "pdf#page000003", "original": "Computational\ncomplexity is the minimum number of quantum gates from some universal set required\nto prepare the boundary state from a reference state [19,20].", "replacement": null, "severity": "major", "evidence": "This is a foundational definitional uncertainty rather than an internal algebraic error. [E1] states that complexity depends on construction details and that the factor of π is a normalization convention.", "verification": "supported", "verification_reason": "The manuscript defines complexity using “some universal set” and a reference state, while its footnote says the normalization depends on “precise details of the quantum circuits.” The companion states that complexity depends on construction details, assumes an appropriate continuum definition, and calls the factor of π a normalization convention. Thus the exact numerical equality is not yet tied to a unique gate set, approximation prescription, reference state, and continuum regulator; the suggested clarification follows from the manuscript’s own qualifications." }, { "location": "Comparison with complexity–volume duality, page 7", "description": "No derivation is given showing that maximal-volume complexity follows as a limit or theorem of the action prescription. Contemporary evidence instead shows that CA and CV are distinct bulk proposals that often have similar scaling and pass the same shock-wave tests [E1][E2]. “Subsumes” therefore overstates their established relation.", "suggestion": "Describe CA as an alternative refinement that retains several successful CV tests while improving relative universality and avoiding a configuration-dependent length scale. If a literal subsumption is intended, state and demonstrate the limiting or derivational relation.", "block_id": "pdf#page000008", "original": "Although\nmotivated by the older complexity/volume duality of [3], the new conjecture subsumes\nthe old.", "replacement": null, "severity": "minor", "evidence": "[E2] defines complexity using a maximal codimension-one volume, whereas [E1] defines it using the action of the full WDW patch and compares rather than derives the two prescriptions.", "verification": "supported", "verification_reason": "The manuscript motivates CA from the rough relation between ERB world volume and action, but does not derive the maximal-volume prescription from the WDW-action prescription. The companion instead says that the assumptions are different and that their predictions are “roughly the same” for many black holes, while both pass the same shock-wave tests. Describing CA as an alternative refinement rather than saying it literally “subsumes” CV is therefore better supported." }, { "location": "Dimensional scope of charged and rotating examples, page 4", "description": "The examples presented establish arbitrary-dimensional universality for neutral nonrotating black holes, but the rotating calculation is restricted to 2+1 dimensions and the charged calculations to 3+1 dimensions. The broader dimensional claim does not follow from those special cases alone and may depend on horizon structure, thermodynamics, and action boundary terms.", "suggestion": "Limit the arbitrary-dimensional conclusion to the neutral result unless a general-dimensional derivation is supplied. Present the rotating BTZ and four-dimensional charged results as evidence motivating, rather than establishing, a broader conjecture.", "block_id": "pdf#page000005", "original": "We will now study a number of special cases, choosing the dimensionality to make\nthe calculations easy. Our conclusions should apply in any number of dimensions.", "replacement": null, "severity": "minor", "evidence": "Both the manuscript and [E1] explicitly calculate rotating BTZ in D=3 and the displayed charged examples in D=4; only the neutral result is derived for arbitrary spacetime dimension.", "verification": "supported", "verification_reason": "The manuscript proves the dimension-independent statement only for neutral black holes: it says the neutral result holds “in any number of spacetime dimensions.” Its rotating example is specifically in 2+1 dimensions and its charged examples are specifically in 3+1 dimensions. The broader sentence that the conclusions “should apply in any number of dimensions” is an extrapolation, so distinguishing the arbitrary-dimensional neutral result from conjectural extension of the rotating and charged examples is warranted." } ], "arithmetic_errors": [], "spelling_errors": [ { "location": "Charged-hair discussion, page 5", "description": "The phrase contains an extra “be.”", "suggestion": "Delete “be.”", "block_id": "pdf#page000006", "original": "There are\ngood reasons to be believe that neutral, rotating, and small charged AdS black holes", "replacement": "There are good reasons to believe that neutral, rotating, and small charged AdS black holes", "severity": "minor", "evidence": "The rendered PDF confirms the wording; this is not an extraction artifact.", "verification": "supported", "verification_reason": "The rendered PDF reads “good reasons to be believe.” Deleting the extra “be” yields the grammatically correct phrase without changing the scientific meaning." } ], "punctuation_errors": [], "table_errors": [], "style_errors": [ { "location": "Shock-wave comparison, page 6", "description": "The construction “successfully have these two growths match” is awkward and obscures the important point that the CV result is prior work while CA is being tested against the same benchmark.", "suggestion": "Use a direct construction that distinguishes the prior CV result from the present CA test.", "block_id": "pdf#page000007", "original": "Both the complexity-volume duality of [3,7] and the complexity-action\nduality of this paper successfully have these two growths match.", "replacement": "Both the complexity-volume duality of [3,7] and the complexity-action duality proposed here reproduce the matching of these two growths.", "severity": "minor", "evidence": "This is a plain-language clarity issue; [E2] confirms that the shock-wave and switchback match was already established for CV.", "verification": "supported", "verification_reason": "The phrase “successfully have these two growths match” is grammatically awkward. The proposed wording preserves the claim that both dualities reproduce the matching, while “of [3,7]” and “proposed here” retain the distinction between the prior CV result and the present CA test." } ], "recommendations": [ "Define the status of the boundary quantity more carefully. State that CA currently concerns an as-yet-unspecified continuum complexity measure and identify its dependence on the gate set, approximation tolerance, reference state, and regulator. Distinguish conventionally normalized growth-rate agreement from a uniquely normalized microscopic equality [E1].", "Restrict the Lloyd-bound conclusion to the late-time semiclassical neutral solutions and the specific rotating BTZ and small charged examples studied. Describe any all-time or all-state energy bound as conjectural; the companion paper itself limits the proposal to suitable semiclassical states and finds nontrivial early-time behavior [E1], while later work further qualifies the full-time interpretation [E6].", "Replace the statement that CA “subsumes” CV with the more precise claim that CA is an alternative refinement that retains successful CV benchmarks while improving relative universality and avoiding a configuration-dependent length scale [E1][E2].", "Limit the established arbitrary-dimensional statement to neutral nonrotating black holes. Present the 2+1-dimensional rotating and 3+1-dimensional charged results as evidence motivating a possible extension to other dimensions, unless a general-dimensional derivation is supplied.", "Present the charged case in three clearly separated steps: the exact action result for the hairless Einstein–Maxwell solution, the apparent violation of the refined fixed-chemical-potential bound, and the proposed—but not yet quantitatively demonstrated—resolution through charged hair and a changed ground state [E1].", "Add one sentence mapping the principal calculations to the companion paper’s sections, preserving the short-letter scope while making clear where the neutral, charged, rotating, shell, shock-wave, and tensor-network derivations appear [E1].", "Correct “good reasons to be believe” to “good reasons to believe,” and revise the awkward shock-wave comparison so that it clearly identifies CV as the prior benchmark and CA as the present test." ], "conclusion": "revise", "conclusion_text": "The manuscript contains an original and highly relevant conjecture supported by a substantial companion analysis. The requested revisions do not require expanding the letter into a full technical paper. They principally require sharpening the novelty claim, specifying the conventional status of the complexity normalization, limiting Lloyd-bound and dimensional statements to the regimes actually examined, and presenting charged hair as a proposed rather than demonstrated resolution. With these scope and wording corrections, the letter would give a more accurate and compelling account of the evidence for CA duality.", "total_errors": 6, "conclusion_label": "Advice to the author: revise the manuscript", "limitations": [ "The boundary complexity entering the exact equality is not uniquely specified by a gate set, tolerance, reference state, and continuum regulator; its normalization remains conventional [E1].", "Universal saturation is established for the late-time neutral result, not for all times or all black holes. Early-time and transient behavior do not generally saturate the proposed rate [E1][E6].", "Arbitrary-dimensional universality is derived for neutral nonrotating black holes; the displayed rotating and charged tests are restricted to 2+1 and 3+1 dimensions, respectively.", "The large charged-black-hole case exhibits an apparent violation of the refined conserved-charge bound. Charged hair is a plausible explanation, but restoration of the bound has not been demonstrated by a controlled quantitative WDW-action calculation for the hairy solution [E1].", "The claimed literal subsumption of CV by CA is not established; the evidence supports two distinct prescriptions with overlapping scaling behavior and shock-wave tests [E1][E2].", "Filtered findings: 1 without an unambiguous quote; 1 rejected by the critic." ], "provenance": { "pipeline_version": "source-grounded-v3", "source_sha256": "c00af3b9e80a7b8bb012fccf0b4c2ee998d3de4cac9a9b7e9f47add2505b1f27", "coverage": "full_supplied_extraction", "literature_search": true, "code_execution": false, "figure_vision": true, "pdf_visual_tokens_in_local_estimate": false, "verification": "model_consistency_not_external_validation", "assessment_synthesized_after_verification": true, "extraction_warnings": [ "PDF text extraction can lose equation structure, reading order and figure content. Consult the original pages; text alone cannot verify these.", "Native tracked changes require the original DOCX; PDF is not losslessly convertible to DOCX." ], "unanchored_findings_removed": 1, "rejected_findings": 1, "uncertain_findings": 0, "calls": [ { "schema": "LiteratureContext", "elapsed_seconds": 71.72, "input_tokens": 53471, "output_tokens": 2926 }, { "schema": "LiteratureReview", "elapsed_seconds": 59.25, "input_tokens": 172764, "output_tokens": 3605 }, { "schema": "DraftReview", "elapsed_seconds": 91.67, "input_tokens": 176526, "output_tokens": 3945 }, { "schema": "Verification", "elapsed_seconds": 35.3, "input_tokens": 177607, "output_tokens": 1160 }, { "schema": "FinalAssessment", "elapsed_seconds": 57.86, "input_tokens": 177801, "output_tokens": 1854 } ], "engine_files_sha256": { "__init__.py": "cf0c341a5b5c1c679e7c5975e10a2c7b2b8beb736faf48bc8185313b2dbb672d", "analyzer.py": "a4d239165b2e5d3a7d17700717faa9192cfdb71d35f092e79ac239ccf3eb5c8b", "anchors.py": "32a556ebd454757d26ca6e370f8aae2e0c317af8015cfcef40e0a85c3aae6fbd", "docx_export.py": "902de1ce958a2fa5fe0a87aa9443d102033fc91c10346b28360118596d381f66", "file_reader.py": "6cb0c3a8d6fe926db5c899bbc97d756ae776743664bbd6c6a3b132daa11fcdac", "format_export.py": "2adf1db648cff44c2074dcf36621e09ee1920cec3cf7f163aa95432e60f22749", "language_detector.py": "7731d481b4067578257ebcdc9b3351853341395b854a1e9a0153f89f66cb71e2", "literature.py": "d25ed3eb9d60f032c4dc5abae45436e429d3b745ea658c3e94c33c35e8dcd1d7", "manuscript.py": "6197d04d75de39d44e94cd8c7ab0aea8f85cf822d66f487e922bf4fb1996220e", "progress.py": "8c59585c0d78e3db09169999263b5eb75125eb6bddd53cef9dac7b40331f1b32", "prompts.py": "4c7a699f961c7068bc90addc56b3ac7c80fb009097b5f53f66abde33576cf512", "review_artifacts.py": "4bd66b564fe5ba584e0b010841631e310ec9c8af7527f873653520c9036fd020", "review_contract.py": "88caab50ff3ddba227c8648bddb8ab896089cdb7ab3ffc294badd109ccd357d0", "review_generator.py": "5414092f1451416c4c75c3448a9038d222e130e77de4d464b6cd85bfabc380a5", "review_model.py": "77f98f7dff583a7da46c59f464a6eb2407d0af201bbac53eded0e9327e6a665a" }, "generated_at_utc": "2026-09-18T05:53:24.966243+00:00", "presentation_postprocessing": { "operation": "Use retrieved source catalogue instead of duplicate generated bibliography", "implementation_sha256": "5e34f7da0051013edfcc4241d3c7438c117055a461f0f029c91454fe23653cd2" } }, "manuscript_export": {}, "research": { "status": "completed", "searched_at_utc": "2026-09-18T05:49:20.715291+00:00", "summary": "The supplied manuscript is the short CA-conjecture letter, revised May 10, 2016. **Context available by that date:** [E1] is the essential companion explicitly delegated by reference [9]. Its full text states that it supplies the calculations quoted in the letter and develops the Wheeler–DeWitt-action prescription; therefore objections that the short letter omits the neutral, charged, rotating, shell, and shock-wave derivations should first be checked against [E1], rather than treated as missing from the research program. [E2] is the closest direct precursor: it formulated the complexity–volume (CV) proposal and tested maximal Einstein–Rosen-bridge volume in shock-wave geometries. It establishes that the broad complexity/interior-growth idea and switchback tests predate CA, while the action functional, absence of an auxiliary length scale, and claimed universal neutral-black-hole coefficient are the letter’s proposed advances. ([arxiv.org](https://arxiv.org/abs/1512.04993))\n\n**Later retrospective context:** [E3] supplied the systematic gravitational-action prescription for regions with null boundaries and joints. It confirmed parametrization and normalization ambiguities, while giving rules that recover earlier WDW action-growth results. This resolves the technical objection that the letter’s displayed Einstein–Hilbert, Maxwell, and Gibbons–Hawking–York terms are not by themselves a complete specification of a null-bounded WDW action; it does not by itself remove every numerical convention. [E4] addressed the manuscript’s stated open problem of complexity already present at t=0 by defining a finite vacuum-subtracted “complexity of formation.” It found entropy-proportional high-temperature behavior for boundary dimension greater than two, but special behavior in two dimensions, and reported robustness of the difference under the known action ambiguities. ([arxiv.org](https://arxiv.org/abs/1609.00207))\n\n[E5] then analyzed ultraviolet divergences. It found that a null-boundary counterterm restoring reparametrization invariance also removes an unexpectedly strong divergence and makes the leading divergence proportional to boundary spatial volume. This qualifies any interpretation of the absolute CA value: time derivatives can avoid time-independent divergences, as the manuscript says, but absolute or formation complexities require an explicit regulator, null prescription, and subtraction/counterterm scheme. [E6] examined the complete time dependence rather than only late-time rates. It retained the universal neutral late-time limit but found that CA can initially remain constant, briefly decrease, and approach its late-time rate from above. Thus the manuscript’s statement that neutral black holes saturate Lloyd’s proposed bound is defensible as a late-time result in its setup, but not as a general all-time upper bound. ([arxiv.org](https://arxiv.org/abs/1612.05439))\n\nAll six sources were inspected through their arXiv full-text/record pages, not merely inferred from citation metadata. This is a targeted contextual check, not an exhaustive novelty search.", "sources": [ { "id": "E1", "title": "Complexity, action, and black holes", "url": "https://arxiv.org/abs/1512.04993", "published_date": "2015-12-15 (arXiv v1); revised 2016-05-10", "relationship": "Essential cited companion paper, reference [9].", "relevance": "Contains the detailed calculations and broader arguments delegated by the short letter; essential for assessing alleged missing derivations.", "access": "full_pdf", "pages": 70, "sha256": "b8047bc3d3815406ddc69a4c17fe8d9f80a16c0dc235e5dbeb242259e451d8d3", "retrieved_url": "https://arxiv.org/pdf/1512.04993" }, { "id": "E2", "title": "Complexity and Shock Wave Geometries", "url": "https://arxiv.org/abs/1406.2678", "published_date": "2014-06-10", "relationship": "Closest direct prior work and principal CV predecessor.", "relevance": "Formulates complexity as maximal ERB volume and develops shock-wave/switchback tests, clarifying what predates the CA proposal.", "access": "full_pdf", "pages": 26, "sha256": "0a30c77b3147ac6c312966d448ac8ec3258dca03f5cbcba64bba920443522cdc", "retrieved_url": "https://arxiv.org/pdf/1406.2678" }, { "id": "E3", "title": "Gravitational action with null boundaries", "url": "https://arxiv.org/abs/1609.00207", "published_date": "2016-09-01", "relationship": "Early subsequent technical foundation and qualification.", "relevance": "Completes the action prescription for null segments and joints and identifies parametrization ambiguities directly relevant to WDW patches.", "access": "web_search_evidence" }, { "id": "E4", "title": "Complexity of Formation in Holography", "url": "https://arxiv.org/abs/1610.08063", "published_date": "2016-10-25", "relationship": "Subsequent treatment of an open question explicitly identified in the manuscript.", "relevance": "Computes vacuum-subtracted t=0 complexity and tests its finiteness and sensitivity to null-action ambiguities.", "access": "web_search_evidence" }, { "id": "E5", "title": "Divergences in Holographic Complexity", "url": "https://arxiv.org/abs/1612.05439", "published_date": "2016-12-16", "relationship": "Subsequent ultraviolet and prescription analysis.", "relevance": "Characterizes CA divergences and shows why a reparametrization-invariant null-boundary counterterm matters for absolute complexity.", "access": "web_search_evidence" }, { "id": "E6", "title": "On the Time Dependence of Holographic Complexity", "url": "https://arxiv.org/abs/1709.10184", "published_date": "2017-09-28", "relationship": "Important later qualification of the Lloyd-bound interpretation.", "relevance": "Computes full-time CA/CV evolution and finds transient CA behavior and an approach to the late-time rate from above.", "access": "web_search_evidence" } ], "unresolved_questions": [ "Does a specific boundary-CFT gate set, tolerance, and reference state uniquely select the null-generator normalization and counterterm scale used in CA?", "Can the proposed charged-hair resolution be demonstrated quantitatively in a UV-complete embedding so that the appropriate complexity-growth bound is restored for large charged AdS black holes?", "Which independently defined CFT complexity measure reproduces both CA’s absolute, regulator-dependent terms and its detailed time dependence, rather than only selected growth-rate or switchback behavior?", "What is the complete and unambiguous WDW action prescription for higher-derivative bulk theories, especially for contributions near spacetime singularities?" ], "search_calls": 5, "scope": "targeted_primary_source_search", "review": { "overview": "The manuscript’s principal contribution is a new holographic dictionary: the computational complexity of a boundary state is identified with the on-shell gravitational action of its Wheeler–DeWitt (WDW) patch, C=A_WDW/(πℏ). This replaces the earlier maximal-volume prescription with a spacetime action and thereby removes the configuration-dependent auxiliary length scale required by the volume proposal. Its strongest contemporaneous result is the universal late-time neutral-black-hole rate dA/d(t_L+t_R)=2M, independent of black-hole size and spacetime dimension. The manuscript also examines rotating and charged solutions, static shells, and shock waves, connecting the action prescription to a conjectured complexity-growth bound. The central advance is therefore not the original association of interior growth with complexity, nor the switchback test—both predate this work—but the choice of WDW action as the bulk functional, its parameter-free relative normalization across geometries, and the resulting universal neutral late-time coefficient [E1][E2].\n\nThe article is a short conjecture letter rather than the complete technical presentation. Its cited companion paper explicitly states that it supplies the calculations quoted in the letter and contains the neutral, charged, rotating, static-shell, finite-energy-shock, multiple-shock, localized-shock, tensor-network, regularization, and boundary-term analyses [E1]. Consequently, missing derivations in the letter should not be presented as omissions from the contemporaneous research program. The literature discussion would nevertheless benefit from distinguishing more sharply among results inherited from earlier complexity–volume work, new results established by the action prescription, and conjectural interpretations such as the universal complexity bound and the charged-hair resolution.", "prior_work": "The closest direct precursor is Stanford and Susskind’s complexity–volume work. It proposed C∝V/(G_Nℓ_AdS), with V the regularized maximal codimension-one ERB volume, and showed the expected late-time linear growth proportional to ST. It also developed detailed shock-wave tests: precursor complexity is reduced by switchback cancellations over a scrambling time, and for multiple shocks the maximal volume reproduces the folded-time structure C/K=t_f−2n_sb t_* up to controlled subleading terms [E2]. Thus, the ideas that complexity tracks long-term ERB growth, that tensor networks motivate this relation, and that shock-wave geometries reproduce switchback delays are established prior work rather than novel features of the action proposal.\n\nRelative to that predecessor, the manuscript changes the bulk quantity from a maximal spatial volume to the action of the entire WDW patch. The earlier volume prescription was explicitly defined only up to an order-one coefficient and required a length scale; its neutral growth coefficients can depend on dimension and on the relation between the horizon and AdS scales [E2]. The action proposal instead claims that one normalization applies to neutral black holes of every size and dimension and extends without choosing a new length scale to rotating, charged, shell, and shock-wave configurations [E1]. This is the manuscript’s clearest conceptual and quantitative improvement.\n\nThe companion paper is essential contemporaneous evidence. It derives dA/dt=2M for neutral nonrotating AdS black holes in arbitrary dimension, obtains the charged result dA/dt=Q²/r_-−Q²/r_+, and derives the rotating BTZ rate 2√(M²−J²/ℓ_AdS²). It also reproduces the single-shock scrambling delay, the multiple-shock expression A=2M(t_f−2n_sb t_*), localized-shock spreading, finite-energy rates, and gravitational time dilation for a static shell [E1]. At the same time, it makes clear that the proposed complexity bound is not a general theorem: the normalization is chosen so neutral late-time growth saturates the bound, complexity depends on the gate set and reference state, and non-semiclassical cat states furnish serious counterexamples to a general energy-only bound [E1].\n\nThe charged case is less conclusive than the neutral and rotating cases. The action calculation agrees with the proposed refined bound for small charged black holes but apparently violates it for intermediate and large charged black holes, especially near extremality. The suggested resolution is that light charged degrees of freedom produce hair and change the fixed-chemical-potential ground state, invalidating the hairless Einstein–Maxwell comparison. The companion paper gives thermodynamic and superconducting arguments supporting this interpretation, but describes the superconducting comparison as qualitative and calls for a detailed hairy action calculation [E1]. The letter should therefore characterize hair as a proposed resolution or diagnostic, not as an established restoration of the bound.", "retrospective_context": "Later work clarified several issues that the manuscript and its companion paper themselves recognized as open. These developments should be presented separately from contemporaneous prior art and should not be treated as citations the 2016 letter was expected to contain.\n\nFirst, a systematic treatment of gravitational actions with null boundaries supplied the null-segment and joint terms needed for WDW patches and exposed normalization and parametrization ambiguities. Those rules recover the earlier WDW growth results but show that the Einstein–Hilbert, Maxwell, and Gibbons–Hawking–York terms displayed in the letter are not, by themselves, a complete general prescription for a null-bounded region [E3]. Second, the manuscript’s stated question about complexity already present at t=0 was addressed through a finite vacuum-subtracted complexity of formation. That work found high-temperature behavior proportional to entropy in boundary dimension greater than two, special behavior in two dimensions, and robustness of the subtracted quantity under the action ambiguities then known [E4]. Third, later divergence analysis showed that a null-boundary counterterm restoring reparametrization invariance also removes an anomalously strong divergence and yields a leading divergence proportional to boundary spatial volume. This reinforces the distinction between comparatively robust late-time derivatives and regulator- or scheme-dependent absolute action values [E5]. Finally, complete time-dependent calculations found an initial constant period, possible transient decrease, and an approach to the universal neutral late-time rate from above. Accordingly, saturation of Lloyd’s proposed value is a late-time statement in the relevant setup, not a general all-time upper bound [E6]. The companion paper already anticipated part of this qualification by finding zero early-time action growth until the past light sheets intersect [E1].\n\nEvidence basis: E1 and E2 were available and inspected as full PDFs. E3–E6 are later developments supported here by retrieved web-search evidence rather than supplied full text; claims about them should therefore remain limited to the reported results above.", "comparisons": [ { "source_ids": [ "E2" ], "relationship": "Direct predecessor: maximal ERB volume versus WDW action.", "assessment": "The earlier work already formulated a concrete complexity–geometry relation and obtained linear ERB growth and detailed shock-wave/switchback agreement. The manuscript’s novelty is the replacement of maximal volume by WDW action, elimination of the auxiliary length scale, and claimed universal neutral coefficient—not the general complexity/interior-growth idea or the existence of switchback tests [E2]." }, { "source_ids": [ "E1" ], "relationship": "Cited contemporaneous companion paper supplying delegated derivations.", "assessment": "The companion paper validates that the short letter’s quoted neutral, charged, rotating, shell, and shock-wave results belong to a larger calculation rather than being unsupported assertions. It also contains important qualifications: the complexity bound is conjectural and restricted, the normalization is conventional, early-time action growth is not generally 2M, and the charged-hair argument remains partly qualitative [E1]." }, { "source_ids": [ "E1", "E2" ], "relationship": "Comparison of shock-wave evidence under the two prescriptions.", "assessment": "Both prescriptions reproduce precursor growth, scrambling-time switchback cancellation, and multiple/localized perturbation structure. The action approach therefore passes an inherited benchmark rather than introducing it. Its comparative advantage is computational: WDW action integrals can replace the extremization and differential-equation problem for maximal slices [E1][E2]." }, { "source_ids": [ "E1", "E2" ], "relationship": "Universality of neutral-black-hole growth.", "assessment": "The volume proposal gives the correct scaling but retains order-one, dimension-, and size-dependent normalization issues. The action calculation yields the same late-time rate 2M for neutral nonrotating AdS black holes across dimensions and horizon sizes once a single normalization is fixed. This is the manuscript’s strongest specific improvement over the earlier prescription [E1][E2]." }, { "source_ids": [ "E1" ], "relationship": "Charged-black-hole bound and proposed hair resolution.", "assessment": "Small charged and rotating BTZ examples saturate the proposed charge-sensitive bounds, whereas large near-extremal charged black holes apparently violate the refined bound if the hairless extremal solution is taken as the ground state. The companion argues that charged hair may alter both the state and subtraction, but it does not provide a complete quantitative hairy-WDW calculation. The evidence supports a diagnostic conjecture, not a demonstrated universal resolution [E1]." }, { "source_ids": [ "E3" ], "relationship": "Later technical completion of the null-bounded action prescription.", "assessment": "The manuscript’s displayed action is adequate as a schematic starting point but does not state the later systematic null-boundary and joint prescription. Subsequent work identified parametrization ambiguities and supplied the corresponding rules. This is a retrospective qualification of the original formulation, not a contemporaneous omission [E3]." }, { "source_ids": [ "E4", "E5" ], "relationship": "Later treatment of absolute and t=0 complexity.", "assessment": "The letter focuses mainly on rates and explicitly leaves t=0 complexity open. Later work defined vacuum-subtracted complexity of formation and analyzed ultraviolet divergences and null counterterms. These results show that absolute CA values require explicit regulator, subtraction, and counterterm conventions even when time-dependent rates are finite [E4][E5]." }, { "source_ids": [ "E1", "E6" ], "relationship": "Late-time saturation versus complete time evolution.", "assessment": "The manuscript’s equation for neutral black holes is explicitly a late-time result, although some concluding language sounds broader. The companion already finds an initial interval of zero action growth, and later full-time analysis reports transient decrease and approach to the asymptotic rate from above. The “fastest computer” conclusion should therefore be restricted to the late-time semiclassical regime and should not be stated as an all-time bound [E1][E6]." } ], "coverage_gaps": [ "The manuscript does not clearly inventory which claims are inherited from the earlier volume program and which are genuinely new. In particular, switchback cancellation, multiple-shock folded-time behavior, and the broad complexity/interior-growth interpretation should be credited as prior benchmarks, while WDW action and its universal neutral coefficient should be isolated as the advance [E1][E2].", "The relation to the cited companion paper is too compressed. The letter says that calculations appear there, but a short roadmap identifying its neutral, charged, rotating, shell, shock-wave, tensor-network, regulator, and boundary-term sections would prevent readers from mistaking the format of the letter for an absence of derivations [E1].", "The conclusion sometimes generalizes from a late-time neutral result to an unrestricted statement that black holes saturate the computation bound. Available evidence supports a late-time statement for selected semiclassical states, not a proved all-time or all-state theorem [E1][E6].", "The charged-hair discussion lacks a quantitative calculation in a controlled hairy UV completion. The retrieved evidence supports only a qualitative thermodynamic argument for superconducting black holes and leaves restoration of the refined bound unresolved [E1].", "The absolute CA prescription is underspecified for null boundaries, joints, generator normalization, counterterms, and ultraviolet subtraction. These issues became explicit in later work and matter especially for t=0 or formation complexity, though not necessarily for the late-time derivative emphasized in the letter [E3][E4][E5].", "This was a targeted primary-source check, not an exhaustive novelty search. No claim of exhaustive bibliographic coverage or of additional omissions beyond the supported gaps should be made." ], "recommendations": [ "Revise the opening literature paragraph to state explicitly: earlier work proposed maximal ERB volume and established shock-wave/switchback tests; the present work proposes WDW action and seeks a universal normalization without an auxiliary length scale [E1][E2].", "Add a concise companion-paper roadmap after the conjecture, identifying where the detailed neutral, charged, rotating, shell, shock-wave, and tensor-network calculations are supplied. This preserves the letter format while making the evidentiary division transparent [E1].", "Qualify every Lloyd-bound statement with “conjectured,” “late-time,” and “for the semiclassical states considered.” Note that the normalization of complexity is conventional and that the companion paper itself gives counterexamples to an unrestricted energy-only complexity bound [E1].", "Present the charged result in three levels: exact WDW action calculation for the hairless solution; apparent violation of the refined fixed-chemical-potential bound; and proposed, not demonstrated, resolution through hair and a changed ground state [E1].", "If the manuscript is being discussed retrospectively, add a separate paragraph—not folded into the 2016 prior-art discussion—on null-boundary/joint terms, complexity of formation, ultraviolet counterterms, and full-time evolution [E3][E4][E5][E6].", "Clarify that time-independent asymptotic divergences do not affect the quoted late-time derivative, while absolute action and finite-time quantities require a specified regulator and null-boundary prescription [E3][E5].", "Temper the phrase that the new proposal “subsumes” the old one. A more precise formulation is that the two prescriptions often give similar scaling and pass the same shock-wave tests, while defining different bulk functionals; the action proposal improves relative universality and calculational economy rather than deriving maximal volume as a theorem [E1][E2]." ] } } }