arxiv: 2604.27054 · v1 · submitted 2026-04-29 · ✦ hep-th · gr-qc

Recognition: unknown

A Timelike Quantum Focusing Conjecture

Violet Concepcion , Kyle Ritchie

Authors on Pith no claims yet

Pith reviewed 2026-05-07 08:44 UTC · model grok-4.3

classification ✦ hep-th gr-qc

keywords timelike quantum focusing conjecturegeneralized complexityquantum strong energy conditioncovariant entropy boundholographic complexitytimelike geodesicsquantum gravity

0 comments

The pith

The timelike quantum focusing conjecture implies a complexity-based quantum strong energy condition and a bound analogous to the covariant entropy bound.

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

The paper begins with a generalized notion of complexity modeled on generalized entropy and defines a corresponding quantum expansion for timelike geodesic congruences. It then assumes a timelike quantum focusing conjecture that keeps this expansion from becoming positive. For a suitable class of codimension-0 field theory complexity measures, the assumption yields both a complexity version of the quantum strong energy condition and an upper bound on complexity that parallels the covariant entropy bound. This matters for describing how complexity evolves in regimes dominated by quantum effects, such as evaporating black holes.

Core claim

Beginning with a notion of generalized complexity, the authors introduce a complexity-based quantum expansion for timelike geodesic congruences and investigate the timelike quantum focusing conjecture. They find that, for a suitable class of codimension-0 field theory complexity measures, the conjecture implies both a complexity-based quantum strong energy condition and a complexity bound analogous to the covariant entropy bound.

What carries the argument

The timelike quantum focusing conjecture, which requires that the complexity-based quantum expansion of timelike geodesic congruences remains non-positive and thereby constrains complexity growth under quantum corrections.

If this is right

The timelike focusing condition implies a complexity-based quantum strong energy condition.
It produces a complexity bound analogous to the covariant entropy bound.
The result supplies a tool for tracking holographic complexity in settings with significant quantum backreaction.
It connects geodesic focusing properties directly to bounds on field-theory complexity measures.

Where Pith is reading between the lines

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

The same logic might be used to test candidate complexity measures by checking consistency with known gravitational energy conditions.
If valid, the bound could limit how rapidly complexity can grow along timelike worldlines inside black hole horizons.
Checking the conjecture in explicit evaporating black hole geometries would give a direct test of the derived conditions.

Load-bearing premise

The existence of a suitable class of codimension-0 field theory complexity measures for which generalized complexity behaves analogously to generalized entropy.

What would settle it

A explicit calculation in a solvable model of a quantum field theory on a curved background in which the timelike complexity expansion becomes positive while the classical strong energy condition holds, or a holographic computation showing that complexity exceeds the implied bound.

read the original abstract

Recent proposals suggest that a notion of generalized complexity, analogous to generalized entropy, may be necessary for understanding the dynamics of holographic complexity in settings where quantum effects are non-negligible, such as evaporating black holes. Beginning with a notion of generalized complexity, we introduce a complexity-based quantum expansion for timelike geodesic congruences, and investigate the consequence of a timelike quantum focusing conjecture. We find that for a suitable class of codimension-0 field theory complexity measures the timelike focusing condition implies a complexity-based quantum strong energy condition as well as a complexity bound which is analogous to the covariant entropy bound.

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 introduces a timelike quantum focusing conjecture tied to generalized complexity, but its main claims only hold for an unspecified suitable class of measures whose existence is not shown.

read the letter

The new piece is the timelike quantum expansion for geodesic congruences and the conjecture that a focusing condition on it produces both a complexity-based strong energy condition and a bound analogous to the covariant entropy bound. The authors start from recent suggestions for generalized complexity in quantum settings like evaporating black holes and extend the logic to timelike directions. That move is straightforward and fits the existing program of linking complexity to geometric conditions in holography. They also keep the discussion at the level of field-theory complexity measures of codimension zero, which is a natural choice for the timelike case. The paper does a clean job of stating the conjecture and spelling out the formal consequences once the focusing assumption is granted. The central limitation is that all the implications are restricted to a suitable class of those complexity measures, and no member of the class is exhibited or shown to be non-empty in a physically relevant way. The derivations close by definition for measures that satisfy the required properties, but without an explicit construction or check that such measures arise in actual field theories, the result stays conditional. The abstract gives no derivations or numerical tests, so it is hard to judge how restrictive the class really is or whether the complexity bound adds new information beyond the conjecture itself. This work is aimed at researchers already working on holographic complexity and quantum energy conditions who want to see how the generalized-entropy analogy might extend to timelike congruences. A reader outside that niche will find little concrete guidance. It is worth sending to referees because the conjecture is cleanly stated and the target connection is worth testing, even though the current version leaves the key existence question open.

Referee Report

2 major / 2 minor

Summary. The manuscript proposes a timelike quantum focusing conjecture formulated in terms of a generalized complexity (analogous to generalized entropy). It defines a complexity-based quantum expansion for timelike geodesic congruences and shows that the conjecture implies both a complexity-based quantum strong energy condition and a bound analogous to the covariant entropy bound, but only for a suitable class of codimension-0 field-theory complexity measures. The work is motivated by the dynamics of holographic complexity in regimes with significant quantum effects, such as evaporating black holes.

Significance. If a non-empty, physically relevant class of such complexity measures exists and the derivations are non-circular, the result would usefully extend the quantum focusing conjecture and covariant entropy bound to the complexity setting, offering potential new constraints on holographic complexity during black-hole evaporation. The analogy to established results in quantum gravity is a clear conceptual strength.

major comments (2)

[§4] §4 (definition of the suitable class): the class of codimension-0 field-theory complexity measures is introduced solely by the requirement that the timelike quantum focusing conjecture implies the stated energy condition and bound; no explicit example is constructed and no existence proof is supplied. Because the central claims are conditioned on this class being non-vacuous, the physical content of the implications remains unverified.
[§5.2] §5.2 (derivation of the complexity-based quantum strong energy condition): the step from the posited timelike quantum focusing conjecture to the energy condition appears to follow directly from the definition of the complexity-based quantum expansion; it is unclear whether the implication supplies independent physical content or is tautological once the expansion is defined in terms of the complexity.

minor comments (2)

[Eq. (3.7)] The notation for the complexity-based quantum expansion (Eq. (3.7)) uses the same symbol as the classical expansion; a distinct symbol or explicit qualifier would reduce confusion when comparing to the standard quantum expansion.
[Abstract and §1] The abstract and introduction refer to 'a suitable class' without a forward reference to the precise characterization in §4; adding such a pointer would improve readability.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We appreciate the recognition of the conceptual analogy to the quantum focusing conjecture. We address the two major comments point by point below, indicating planned revisions where appropriate.

read point-by-point responses

Referee: [§4] §4 (definition of the suitable class): the class of codimension-0 field-theory complexity measures is introduced solely by the requirement that the timelike quantum focusing conjecture implies the stated energy condition and bound; no explicit example is constructed and no existence proof is supplied. Because the central claims are conditioned on this class being non-vacuous, the physical content of the implications remains unverified.

Authors: We agree that the manuscript introduces the suitable class of codimension-0 field-theory complexity measures precisely by the property that the timelike quantum focusing conjecture yields the complexity-based quantum strong energy condition and the analogous bound, without supplying an explicit example or existence proof. This definitional approach is deliberate: it isolates those measures for which the conjecture produces physically interesting consequences, paralleling the selection of entropy measures in the standard quantum focusing conjecture. We acknowledge that an explicit construction would strengthen the result. In revision we will expand the discussion in §4 to provide additional motivation drawn from holographic complexity in evaporating black holes and to argue why the class is expected to be non-vacuous, while noting that a concrete example lies beyond the present scope. revision: partial
Referee: [§5.2] §5.2 (derivation of the complexity-based quantum strong energy condition): the step from the posited timelike quantum focusing conjecture to the energy condition appears to follow directly from the definition of the complexity-based quantum expansion; it is unclear whether the implication supplies independent physical content or is tautological once the expansion is defined in terms of the complexity.

Authors: The implication is not tautological. The complexity-based quantum expansion is obtained by direct substitution of generalized complexity for generalized entropy in the standard definition of quantum expansion. The timelike quantum focusing conjecture is the independent, non-trivial assertion that this expansion is non-increasing along timelike geodesics. The subsequent derivation of the complexity-based quantum strong energy condition follows exactly the same logical steps used to obtain the quantum null energy condition from the quantum focusing conjecture. This yields an independent condition on the effective energy associated with the complexity measure. We will revise §5.2 to emphasize this parallel and to clarify the substantive content of the conjecture. revision: yes

standing simulated objections not resolved

Constructing or proving the existence of at least one explicit codimension-0 field-theory complexity measure belonging to the suitable class.

Circularity Check

1 steps flagged

Central implications hold only for a 'suitable class' of complexity measures defined precisely by the properties that close the derivations.

specific steps

self definitional [Abstract]
"We find that for a suitable class of codimension-0 field theory complexity measures the timelike focusing condition implies a complexity-based quantum strong energy condition as well as a complexity bound which is analogous to the covariant entropy bound."

The 'suitable class' is not constructed or shown to be non-empty independently; it is defined as the set of measures for which the posited timelike quantum focusing conjecture yields the stated conditions. The implication therefore holds by the selection of the class rather than as a derived consequence.

full rationale

The paper begins from a posited generalized complexity (analogous to generalized entropy) and defines a timelike quantum expansion. It then posits a timelike quantum focusing conjecture and claims that this implies a complexity-based quantum strong energy condition plus a covariant-entropy-bound analogue, but only for an unspecified 'suitable class' of codimension-0 measures. No independent construction or existence proof is given for any member of the class; the class is instead characterized by exactly the properties required for the implications to follow from the conjecture. This renders the claimed consequences tautological with respect to the choice of class rather than a non-trivial derivation from first principles.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The central claims rest on the prior notion of generalized complexity and the assumption that a suitable class of codimension-0 complexity measures exists for which the focusing condition produces the stated implications.

axioms (1)

domain assumption A suitable class of codimension-0 field theory complexity measures exists such that the timelike focusing condition implies the stated energy condition and bound.
Invoked to obtain the implications; no justification or explicit construction is given in the abstract.

invented entities (2)

timelike quantum focusing conjecture no independent evidence
purpose: To constrain the dynamics of holographic complexity for timelike congruences
Newly introduced as the central assumption whose consequences are investigated.
complexity-based quantum expansion no independent evidence
purpose: To define expansion for timelike geodesic congruences using generalized complexity
Introduced as the starting point for applying the conjecture.

pith-pipeline@v0.9.0 · 5384 in / 1361 out tokens · 62846 ms · 2026-05-07T08:44:51.065200+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

52 extracted references · 43 canonical work pages

[1]

J. D. Bekenstein,Black holes and entropy,Phys. Rev. D7(1973) 2333–2346

1973
[2]

J. M. Bardeen, B. Carter, and S. W. Hawking,The four laws of black hole mechanics, Communications in Mathematical Physics31(1973) 161–170

1973
[3]

S. W. Hawking,Particle Creation by Black Holes,Commun. Math. Phys.43(1975) 199–220. [Erratum: Commun.Math.Phys. 46, 206 (1976)]

1975
[4]

J. D. Bekenstein,Generalized second law of thermodynamics in black-hole physics, Physical Review D9(1974), no. 12 3292–3300

1974
[5]

A Quantum Focussing Conjecture

R. Bousso, Z. Fisher, S. Leichenauer, and A. C. Wall,Quantum focusing conjecture, Phys. Rev. D93(2016), no. 6 064044, [arXiv:1506.02669]

work page Pith review arXiv 2016
[6]

Quantum Extremal Surfaces: Holographic Entanglement Entropy beyond the Classical Regime

N. Engelhardt and A. C. Wall,Quantum Extremal Surfaces: Holographic Entanglement Entropy beyond the Classical Regime,JHEP01(2015) 073, [arXiv:1408.3203]

work page Pith review arXiv 2015
[7]

Penington,Entanglement Wedge Reconstruction and the Information Paradox,JHEP09 (2020) 002 [arXiv:1905.08255]

G. Penington,Entanglement Wedge Reconstruction and the Information Paradox, arXiv:1905.08255. – 18 –

work page arXiv 1905
[8]

Almheiri, R

A. Almheiri, R. Mahajan, J. Maldacena, and Y. Zhao,The Page curve of Hawking radiation from semiclassical geometry,JHEP03(2020) 149, [arXiv:1908.10996]

work page arXiv 2020
[9]

Bousso and G

R. Bousso and G. Penington,Entanglement wedges for gravitating regions,Phys. Rev. D107(2023), no. 8 086002, [arXiv:2208.04993]

work page arXiv 2023
[10]

Jensen, J

K. Jensen, J. Sorce, and A. J. Speranza,Generalized entropy for general subregions in quantum gravity,Journal of High Energy Physics2023(2023), no. 12 020, [arXiv:2306.01837]

work page arXiv 2023
[11]

S. Kaya, P. Rath, and K. Ritchie,Hollow-grams: generalized entanglement wedges from the gravitational path integral,JHEP09(2025) 032, [arXiv:2506.10064]

work page arXiv 2025
[12]

Bousso and A

R. Bousso and A. Shahbazi-Moghaddam,Quantum singularities,Phys. Rev. D107 (2023), no. 6 066002, [arXiv:2206.07001]

work page arXiv 2023
[13]

Restricted quantum focusing,

A. Shahbazi-Moghaddam,Restricted quantum focusing,Phys. Rev. D109(2024), no. 6 066023, [arXiv:2212.03881]

work page arXiv 2024
[14]

Susskind,Entanglement is not enough,Fortsch

L. Susskind,Entanglement is not enough,Fortsch. Phys.64(2016) 49–71, [arXiv:1411.0690]

work page arXiv 2016
[15]

Susskind, Computational Complexity and Black Hole Horizons, Fortsch

L. Susskind,Computational Complexity and Black Hole Horizons,Fortsch. Phys.64 (2016) 24–43, [arXiv:1403.5695]. [Addendum: Fortsch.Phys. 64, 44–48 (2016)]

work page arXiv 2016
[16]

Stanford and L

D. Stanford and L. Susskind,Complexity and Shock Wave Geometries,Phys. Rev. D 90(2014), no. 12 126007, [arXiv:1406.2678]

work page arXiv 2014
[17]

Alishahiha,Holographic Complexity,Phys

M. Alishahiha,Holographic Complexity,Phys. Rev. D92(2015), no. 12 126009, [arXiv:1509.06614]

work page arXiv 2015
[18]

C. A. Ag´ on, M. Headrick, and B. Swingle,Subsystem Complexity and Holography, JHEP02(2019) 145, [arXiv:1804.01561]

work page arXiv 2019
[19]

Y. Fan, N. Hunter-Jones, A. Karch, and S. Mittal,Sharp Transitions for Subsystem Complexity,arXiv:2510.18832

work page arXiv
[20]

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

work page arXiv 2016
[21]

Couch, W

J. Couch, W. Fischler, and P. H. Nguyen,Noether charge, black hole volume, and complexity,JHEP03(2017) 119, [arXiv:1610.02038]

work page arXiv 2017
[22]

J. F. Pedraza, A. Russo, A. Svesko, and Z. Weller-Davies,Sewing spacetime with Lorentzian threads: complexity and the emergence of time in quantum gravity,JHEP 02(2022) 093, [arXiv:2106.12585]

work page arXiv 2022
[23]

R. C. Myers and S.-M. Ruan,Complexity Equals (Almost) Anything, inGravity, Strings and Fields: A Conference in Honour of Gordon Semenoff, 3, 2024.arXiv:2403.17475. – 19 –

work page arXiv 2024
[24]

Emparan, A

R. Emparan, A. M. Frassino, M. Sasieta, and M. Tomaˇ sevi´ c,Holographic complexity of quantum black holes,JHEP02(2022) 204, [arXiv:2112.04860]

work page arXiv 2022
[25]

Al Balushi, R

A. Al Balushi, R. A. Hennigar, H. K. Kunduri, and R. B. Mann,Holographic complexity of rotating black holes,JHEP05(2021) 226, [arXiv:2010.11203]

work page arXiv 2021
[26]

Concepcion, Y

V. Concepcion, Y. Nomura, K. Ritchie, and S. Weiss,Complexity for an evaporating black hole,to appear
[27]

M. R. Dowling and M. A. Nielsen,The geometry of quantum computation,Quant. Inf. Comput.8(2008), no. 10 0861–0899, [quant-ph/0701004]

work page arXiv 2008
[28]

Jefferson and R

R. Jefferson and R. C. Myers,Circuit complexity in quantum field theory,JHEP10 (2017) 107, [arXiv:1707.08570]

work page arXiv 2017
[29]

Chapman, M

S. Chapman, M. P. Heller, H. Marrochio, and F. Pastawski,Toward a Definition of Complexity for Quantum Field Theory States,Phys. Rev. Lett.120(2018), no. 12 121602, [arXiv:1707.08582]

work page arXiv 2018
[30]

Balasubramanian, P

V. Balasubramanian, P. Caputa, J. M. Magan, and Q. Wu,Quantum chaos and the complexity of spread of states,Phys. Rev. D106(2022), no. 4 046007, [arXiv:2202.06957]

work page arXiv 2022
[31]

Bhattacharyya, A

A. Bhattacharyya, A. Shekar, and A. Sinha,Circuit complexity in interacting QFTs and RG flows,JHEP10(2018) 140, [arXiv:1808.03105]

work page arXiv 2018
[32]

H. A. Camargo, M. P. Heller, R. Jefferson, and J. Knaute,Path integral optimization as circuit complexity,Phys. Rev. Lett.123(2019), no. 1 011601, [arXiv:1904.02713]

work page arXiv 2019
[33]

B. Chen, B. Czech, and Z.-z. Wang,Query complexity and cutoff dependence of the CFT2 ground state,Phys. Rev. D103(2021), no. 2 026015, [arXiv:2004.11377]

work page arXiv 2021
[34]

Adhikari, S

K. Adhikari, S. Choudhury, and A. Roy,Krylov Complexity in Quantum Field Theory, Nucl. Phys. B993(2023) 116263, [arXiv:2204.02250]

work page arXiv 2023
[35]

R. M. Wald,General Relativity. Chicago Univ. Pr., Chicago, USA, 1984

1984
[36]

Epstein, V

H. Epstein, V. Glaser, and A. Jaffe,Nonpositivity of energy density in Quantized field theories,Nuovo Cim.36(1965) 1016

1965
[37]

C. J. Fewster and E.-A. Kontou,Quantum strong energy inequalities,Phys. Rev. D99 (2019), no. 4 045001, [arXiv:1809.05047]

work page arXiv 2019
[38]

E. H. Lieb and M. B. Ruskai,Proof of the strong subadditivity of quantum-mechanical entropy,J. Math. Phys.14(1973) 1938–1941

1973
[39]

Boruch, P

J. Boruch, P. Caputa, and T. Takayanagi,Path-Integral Optimization from Hartle-Hawking Wave Function,Phys. Rev. D103(2021), no. 4 046017, [arXiv:2011.08188]. – 20 –

work page arXiv 2021
[40]

Boruch, P

J. Boruch, P. Caputa, D. Ge, and T. Takayanagi,Holographic path-integral optimization,JHEP07(2021) 016. [Erratum: JHEP 09, 111 (2022)]

2021
[41]

Belin, R

A. Belin, R. C. Myers, S.-M. Ruan, G. S´ arosi, and A. J. Speranza,Complexity equals anything II,JHEP01(2023) 154, [arXiv:2210.09647]

work page arXiv 2023
[42]

Caceres, S

E. Caceres, S. Chapman, J. D. Couch, J. P. Hernandez, R. C. Myers, and S.-M. Ruan, Complexity of Mixed States in QFT and Holography,JHEP03(2020) 012, [arXiv:1909.10557]

work page arXiv 2020
[43]

C´ aceres, J

E. C´ aceres, J. Couch, S. Eccles, and W. Fischler,Holographic Purification Complexity, Phys. Rev. D99(2019), no. 8 086016, [arXiv:1811.10650]

work page arXiv 2019
[44]

Murugan and H

J. Murugan and H. J. R. van Zyl,Superadditivity of Krylov Complexity for Tensor Products,arXiv:2601.08723

work page arXiv
[45]

Auzzi, S

R. Auzzi, S. Baiguera, A. Legramandi, G. Nardelli, P. Roy, and N. Zenoni,On subregion action complexity in AdS 3 and in the BTZ black hole,JHEP01(2020) 066, [arXiv:1910.00526]

work page arXiv 2020
[46]

C´ aceres, R

E. C´ aceres, R. Carrasco, and J. F. Pedraza,Lorentzian threads and nonlocal computation in holography,arXiv:2512.07963

work page arXiv
[47]

Nakajima,Holographic Subregion Complexity and Fidelity Susceptibility in Noncommutative Yang–Mills Theory,arXiv:2602.14448

T. Nakajima,Holographic Subregion Complexity and Fidelity Susceptibility in Noncommutative Yang–Mills Theory,arXiv:2602.14448

work page arXiv
[48]

Lloyd,Ultimate physical limits to computation,Nature406(2000) 1047–1054, [quant-ph/9908043]

S. Lloyd,Ultimate physical limits to computation,Nature406(2000) 1047–1054, [quant-ph/9908043]

work page arXiv 2000
[49]

C. M. Dawson and M. A. Nielsen,The Solovay-Kitaev algorithm,Quant. Inf. Comput. 6(2006) 081–095, [quant-ph/0505030]

work page arXiv 2006
[50]

Oszmaniec, M

M. Oszmaniec, M. Kotowski, M. Horodecki, and N. Hunter-Jones,Saturation and Recurrence of Quantum Complexity in Random Local Quantum Dynamics,Phys. Rev. X14(2024), no. 4 041068, [arXiv:2205.09734]

work page arXiv 2024
[51]

A. R. Brown and L. Susskind,The second law of quantum complexity,Physical Review D97(2018), no. 8 086015, [arXiv:1701.01107]

work page arXiv 2018
[52]

Zhao,Uncomplexity and black hole geometry,Physical Review D97(2018), no

Y. Zhao,Uncomplexity and black hole geometry,Physical Review D97(2018), no. 12 126007, [arXiv:1711.03125]. – 21 –

work page arXiv 2018