REVIEW 3 major objections 4 minor 37 references
A full-spectrum Krylov complexity stops growing a little past the Heisenberg time in every low-energy state, not at the Hilbert-space dimension.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-02 02:47 UTC pith:SMA3PA7H
load-bearing objection A real theorem and a promising application, but the printed derivation has a lambda-scaling error and the quantitative claim rests on an unverified spectral-rigidity assumption. the 3 major comments →
Non-perturbative saturation of Krylov complexity, and its implications in quantum gravity
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that even a Krylov complexity built from a seed state spread uniformly over all eigenstates still saturates at the Heisenberg scale in every low-energy state. The mathematical mechanism is a theorem about orthogonal polynomials on discrete spectra: near the spectral edge, the first q polynomials attain near-completeness once q is roughly the number of levels in an edge window times a spectral-rigidity factor, rather than the full dimension d. Applying this to double-scaled SYK with the mapping x=λn and z=z0+λE, the saturation length obeys x_{K,sat}(E) ≲ √(C+1)E e^{S0+2π√(2(C+1)E)}[√(J/(CE)){ln(4J/λ²)−L_edge(E)} + λ]; choosing C=J/E gives x_{K,sat}(E) ≈ √E e^{S(E)}[ln(4J/
What carries the argument
The engine is the Christoffel variational principle, which controls the Christoffel–Darboux kernel K_q(z,z)=Σ_{n≤q}|p_n(z)|²: any polynomial Q of degree q with Q(z_k)=1 must satisfy ∫|Q|² dμ ≥ 1/K_q(z_k,z_k). Using a trial polynomial that vanishes at all edge states except z_k and then decays via a Chebyshev residual polynomial outside the edge window, the paper extracts an explicit upper bound on the index q at which K_q(z_k,z_k) ≥ 1/(1+ε²). The input that converts this into a clean magnitude is the logarithmic spectral rigidity potential ν_{k,edge}, whose thermodynamic limit is evaluated under random-matrix rigidity assumptions on the edge spectrum.
Load-bearing premise
The quantitative bound depends on the low-energy edge spectrum of DSSYK obeying random-matrix rigidity—namely that minimum level spacings are no smaller than a power of 1/d and that level counts in an interval grow with interval size—which the authors assert is overwhelmingly reasonable but do not prove.
What would settle it
Numerically diagonalize the DSSYK Hamiltonian at moderate λ and, for each low-energy eigenstate with JT energy E, compute the cumulative Krylov overlap Σ_{n≤λ^{-1}x_{K,sat}(E)} |⟨z_k|K_n⟩|²; if any eigenstate retains significant overlap at Krylov indices beyond the bound from Eq. (4.12), the claimed saturation scale is falsified.
If this is right
- Every low-energy state, not only the thermofield double, has its Krylov components effectively confined to indices n ≲ e^{S(E)} log(1/λ).
- No modification of the Krylov seed to microcanonical or finite-temperature Gibbs states is needed; the β=0 seed that reproduces the semiclassical JT Hamiltonian already saturates at the physically correct scale.
- The saturation length matches, up to a logarithmic factor, the ergodicity-based length operator and the expected black-hole interior volume √E e^{S(E)}.
- The bound is an upper bound, so actual saturation may occur even closer to the ideal N(E) than the proven estimate.
- The result is state-independent in the sense that it constrains each energy component of any initial state, rather than depending on how that state was prepared.
Where Pith is reading between the lines
- Theorem 1 is a generic statement about orthogonal polynomials on discrete spectra, so the same edge-crowding should appear in any bounded-spectrum chaotic Hamiltonian, not only DSSYK, suggesting a universal relationship between spectral rigidity and Krylov saturation.
- If the logarithmic factor ln(1/λ) is tight, it predicts a concrete finite-λ correction to wormhole-length saturation that could be compared to direct numerical simulation of double-scaled SYK at moderate λ.
- The identification x=λn is verified semiclassically only at small x; if this mapping fails by the time x reaches e^{S(E)}, the gravitational interpretation of the saturation length could shift even though the underlying spectral theorem remains intact.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies Krylov state complexity in finite-dimensional quantum systems, with the Krylov basis generated from the uniform seed (2.4). The central mathematical result, Theorem 1 (Section 3.1, proved in Appendix A), asserts that for a spectral edge window of d_edge levels, the first q_k Krylov polynomials nearly saturate the completeness relation at an edge level z_k, with q_k bounded by d_edge times a logarithmic spectral rigidity potential ν_{k,edge} and an inverse-square-root factor in a width ratio. The authors argue that this “crowding away” of orthogonal polynomials from low-density spectral edges implies that the Krylov complexity of any low-energy state saturates only slightly beyond the Heisenberg scale, despite the Krylov basis being defined over the full spectrum. They then apply this to DSSYK/JT gravity via the identification x = λn, obtaining the quantitative bound (4.12): x_{K,sat}(E) ≲ √((C+1)E) e^{S_0+2π√(2(C+1)E)} [√(J/(CE)){ln(4J/λ²) − L_edge(E)} + λ], which for C=J/E and E≫J reduces to x_{K,sat}(E) ≲ √E e^{S(E)}[ln(4J/λ²) − L_edge(E) + λ]. This is presented as evidence that the β=0 Krylov proposal is consistent with the complexity=volume expectation, without modifying the seed as in Refs. [18,19].
Significance. If the result holds, it is a significant step toward reconciling the minimalist full-spectrum Krylov complexity proposal with non-perturbative expectations for black-hole interior volume. The proof of Theorem 1 is a genuine derivation from the spectrum; it contains no fitted parameters and the bound is a theorem consequence rather than a fit labeled as a prediction. The application to DSSYK/JT gives a concrete, falsifiable quantitative prediction for the saturation scale, and it sharpens the connection between Krylov complexity and ergodic notions of length. However, the advertised quantitative form of the DSSYK bound, in particular the clean logarithm ln(4J/λ²)−L_edge(E), rests on a set of spectral-rigidity assumptions in Appendix B that are asserted but not verified. There is also a displayed-factor inconsistency between the intermediate Eq. (4.8) and the final Eq. (4.12). These issues are local and correctable, but they currently make the strongest gravitational claim conditional.
major comments (3)
- [§3.2, Eq. (3.10); §4, Eq. (4.8)] The width-ratio simplification in Eq. (3.10) appears to invert η_k. With z_{d_edge}−z_0 ≈ (C+1)(z_k−z_0), one has η_k = (z_{d_edge}−z_k)/(z_{d−1}−z_{d_edge}) ≈ C(z_k−z_0)/(z_{d−1}−z_0), so the correct factor from Eq. (3.8) is 1/(2√η_k), i.e. √{(z_{d−1}−z_0)/(4C(z_k−z_0))}, not 1/(2√{(z_{d−1}−z_0)/(C(z_k−z_0))}). This propagates to Eq. (4.8), where the printed denominator yields a term scaling as λ², while the corrected expression gives d_edge ν_{k,edge}√(J/(CE)) — which is what Eq. (4.12) ultimately uses. The final result may be correct, but the displayed intermediate equations are inconsistent and should be corrected and re-audited through Eqs. (4.8)–(4.13).
- [Appendix B, Eqs. (B.11)–(B.16); Eq. (4.12)] The quantitative saturation scale in Eq. (4.12) depends crucially on the continuum estimate ν_{k,edge} ≈ ln(4J/λ²) − L_edge(E). This estimate is not a consequence of Theorem 1, which bounds q_k in terms of the realization-dependent ν_{k,edge}; the clean logarithm is obtained in Appendix B from the assumptions δz_min=Ω(d^{−a}), Δ̃₃=O(d^{−ε₃}), and N(z_k,ε_J)=O(d_edge ε_J/(z_{d_edge}−z_0)). The authors state these are “overwhelmingly reasonable” for DSSYK, but no numerical or analytic verification is provided. If the low-energy edge spectrum has non-universal clustering, ν_{k,edge} can be parametrically larger and the claimed saturation at e^{S(E)} log(1/λ) can fail. Because this is the bridge from the rigorous theorem to the gravitational prediction, the paper should either prove these rigidity estimates for DSSYK (for example from the matrix-integral/dual description), provide numerical
- [§2.2, Eq. (2.17); §3.1, Theorem 1] Theorem 1 gives, for each edge energy z_k, a small tail weight ∑_{m>q_k}|⟨z_k|K_m⟩|² from the completeness relation. To conclude that the Krylov complexity “stops growing” at q_k, one needs to control the m-weighted tail in the time-averaged identity (2.17). For fixed ε, the tail contribution to ⟨X⟩ can be as large as d ε², which is not small. The paper mentions in passing that ε≪1/√d can force completeness, but the main statement is not phrased with this precision. A rigorous statement would choose ε=O(1/d) and phrase the conclusion as a bound on the long-time average of ⟨X⟩, or as a bound that holds for most times. Please clarify this step so that the abstract’s “stops growing” claim is formally supported.
minor comments (4)
- [General notation] The notation oscillates between d_edge, dedge, and d_edge in the main text and Appendix B; please unify. Also define clearly whether d_edge denotes the number of levels in the edge window or the index of the last level in the window.
- [§2.1] The statement that “for any reasonable (not strongly oscillating) choice of log ρ(z)” the Lanczos asymptotics depend only on the tail (2.15) is informal. Please either cite the precise theorem in the orthogonal-polynomials literature or qualify the statement as heuristic; the later rigorous argument does not actually rely on this asymptotic claim.
- [§4, Eq. (4.8)] In addition to the factor issue in the major comment, the sentence introducing Eq. (4.8) should make explicit which definition of E_edge is used, since Eq. (4.8) and Eq. (4.12) use different choices of C and E_k. The text would be easier to follow if the two choices were displayed separately.
- [Acknowledgements] The acknowledgements describe substantial LLM assistance in constructing the variational ansatz and correcting typos. If the journal has a policy on disclosure of AI assistance, please ensure the statement complies with it; otherwise this is fine.
Circularity Check
No significant circularity: Theorem 1 is derived from the input spectrum via a variational principle; no fitted quantity is relabeled as a prediction.
full rationale
The paper's central derivation is self-contained and non-circular. Theorem 1 (Appendix A) is proved from the Christoffel variational principle and a Chebyshev residual-polynomial ansatz; the bound (3.8) is written directly in terms of the input spectrum through d_edge and ν_k,edge, not in terms of the target saturation scale. The application to DSSYK/JT in Eq. (4.12) substitutes the DOS and estimates ν_k,edge with the continuum expression in Appendix B. That estimate is conditional on explicit spectral-rigidity assumptions (Eqs. (B.11)–(B.16)) and on the stated expectation that DSSYK obeys CUE-type rigidity; this is an unverified input assumption, which is a correctness risk, but it is not circular because the rigidity assumptions do not contain the conclusion that Krylov complexity saturates at the Heisenberg scale. The x=λn identification is imported from Refs. [11–13] (not self-citations) and used only after the index bound is derived. Self-citations [21,22] are used for comparison and a conjecture, not as load-bearing proof of the saturation bound. No parameter is fitted to data and then 'predicted'; the saturation length is a theorem-consequence of the assumed spectrum, with the Heisenberg scale arising from the integrated DOS N(E), which is the physical input rather than an assumed output.
Axiom & Free-Parameter Ledger
free parameters (3)
- C (edge window cutoff) =
C = J/E chosen in Sec. 4 (E-dependent); C = O(1) otherwise
- ε (completeness resolution) =
any ε > 0; small value needed for tight tails
- Spectral-rigidity scaling exponents a, ε₃, c_ε =
a > 0, ε₃ ∈ (0,1), c_ε > 0
axioms (6)
- standard math Christoffel Variational Principle (Simon, Theorem 9.2 of Ref. [32])
- standard math Chebyshev/residual polynomial sup-norm bound |T_m(z)| ≤ 1 on [−1,1] and the cosh form outside
- domain assumption DSSYK spectrum is a non-degenerate random draw from DOS ρ(z)=e^{S0}ρ_0(z) with CUE-type level rigidity
- domain assumption Identification x = λn (Krylov index ↔ JT wormhole length) and the β=0 seed reproduce semiclassical JT Hamiltonian (4.1) at small x
- domain assumption JT entropy S(E) = S_0 + 2π√(2E) and DSSYK bandwidth z_{d−1} − z_0 ~ 4J/λ
- domain assumption Level count in the JT window: d_edge = N(E) ~ √E e^{S(E)}
read the original abstract
We study the dynamics of Krylov state complexity in finite-dimensional quantum systems. Orthogonal polynomials built on a discrete energy spectrum crowd away from regions where the density of states is low at large Krylov index. The physical implication of this result is that, even using a minimalist Krylov state complexity which is defined over the entire spectrum, the Krylov complexity provably stops growing a little past the Heisenberg length in every low-energy state. This has interesting implications for the proposal that Krylov complexity is related to the wormhole length in 2D quantum gravity.
Figures
Reference graph
Works this paper leans on
-
[1]
Computational Complexity and Black Hole Horizons,
Leonard Susskind, “Computational Complexity and Black Hole Horizons,” Fortsch. Phys.64, 24–43 (2016), [Addendum: Fortsch.Phys. 64, 44–48 (2016)], arXiv:1403.5695 [hep-th]
Pith/arXiv arXiv 2016
-
[2]
Complexity and shock wave geometries,
Douglas Stanford and Leonard Susskind, “Complexity and shock wave geometries,” Phys. Rev. D90, 126007 (2014)
2014
-
[3]
Does complexity equal anything?
Alexandre Belin, Robert C Myers, Shan-Ming Ruan, G´ abor S´ arosi, and Antony J Speranza, “Does complexity equal anything?” Phys. Rev. Lett.128, 081602 (2022), arXiv:2111.02429
Pith/arXiv arXiv 2022
-
[4]
Quantum complexity in gravity, quantum field theory, and quantum information science,
Stefano Baiguera, Vijay Balasubramanian, Pawel Caputa, Shira Chapman, Jonas Haferkamp, Michal P Heller, and Nicole Yunger Halpern, “Quantum complexity in gravity, quantum field theory, and quantum information science,” Physics Reports1159, 1–77 (2026)
2026
-
[5]
The volume of the black hole interior at late times,
Luca V. Iliesiu, M´ ark Mezei, and G´ abor S´ arosi, “The volume of the black hole interior at late times,” JHEP07, 073 (2022), arXiv:2107.06286 [hep-th]
Pith/arXiv arXiv 2022
-
[6]
On the non-perturbative bulk Hilbert space of JT gravity,
Luca V. Iliesiu, Adam Levine, Henry W. Lin, Henry Maxfield, and M´ ark Mezei, “On the non-perturbative bulk Hilbert space of JT gravity,” J. High Energy Phys.10, 1–66 (2024), arXiv:2403.08696 [hep-th]
Pith/arXiv arXiv 2024
-
[7]
A Universal Operator Growth Hypothesis,
Daniel E. Parker, Xiangyu Cao, Alexander Avdoshkin, Thomas Scaffidi, and Ehud Altman, “A Universal Operator Growth Hypothesis,” Phys. Rev. X9, 041017 (2019), arXiv:1812.08657 [cond-mat.stat-mech]
Pith/arXiv arXiv 2019
-
[8]
Quantum chaos and the complexity of spread of states,
Vijay Balasubramanian, Pawel Caputa, Javier M Magan, and Qingyue Wu, “Quantum chaos and the complexity of spread of states,” Phys. Rev. D106, 046007 (2022), 2202.06957
Pith/arXiv arXiv 2022
-
[9]
Quantum dynamics in Krylov space: Methods and applications,
Pratik Nandy, Apollonas S Matsoukas-Roubeas, Pablo Mart´ ınez-Azcona, Anatoly Dymarsky, and Adolfo del Campo, “Quantum dynamics in Krylov space: Methods and applications,” Physics Reports 1125, 1–82 (2025), arXiv:2405.09628
Pith/arXiv arXiv 2025
-
[10]
Eliezer Rabinovici, Adri´ an S´ anchez-Garrido, Ruth Shir, and Julian Sonner, “Krylov complexity,” (2025), 2507.06286
Pith/arXiv arXiv 2025
-
[11]
The bulk Hilbert space of double scaled SYK,
Henry W Lin, “The bulk Hilbert space of double scaled SYK,” J. High Energy Phys.11, 60 (2022)
2022
-
[12]
A bulk manifestation of Krylov complexity,
E Rabinovici, A S´ anchez-Garrido, Ruth Shir, and J Sonner, “A bulk manifestation of Krylov complexity,” J. High Energy Phys.8, 213 (2023)
2023
-
[13]
Operator K-complexity in DSSYK: Krylov complexity equals bulk length,
Marco Ambrosini, Eliezer Rabinovici, Adri´ an S´ anchez-Garrido, Ruth Shir, and Julian Sonner, “Operator K-complexity in DSSYK: Krylov complexity equals bulk length,” J. High Energy Phys.8, 059 (2025)
2025
-
[14]
Krylov Spread Complexity as Holographic Complexity beyond Jackiw-Teitelboim Gravity,
Michal P. Heller, Jacopo Papalini, and Tim Schuhmann, “Krylov Spread Complexity as Holographic Complexity beyond Jackiw-Teitelboim Gravity,” Phys. Rev. Lett.135, 151602 (2025), arXiv:2412.17785 [hep-th]. 20
arXiv 2025
-
[15]
Remarks on the Sachdev-Ye-Kitaev model,
Juan Maldacena and Douglas Stanford, “Remarks on the Sachdev-Ye-Kitaev model,” Phys. Rev. D94, 106002 (2016)
2016
-
[16]
The soft mode in the Sachdev-Ye-Kitaev model and its gravity dual,
Alexei Kitaev and S Josephine Suh, “The soft mode in the Sachdev-Ye-Kitaev model and its gravity dual,” J. High Energy Phys.2018, 183 (2018)
2018
-
[17]
Towards a full solution of the large N double-scaled SYK model,
Micha Berkooz, Mikhail Isachenkov, Vladimir Narovlansky, and Genis Torrents, “Towards a full solution of the large N double-scaled SYK model,” J. High Energy Phys.3, 1–72 (2019)
2019
-
[18]
Random matrix theory for complexity growth and black hole interiors,
Arjun Kar, Lampros Lamprou, Moshe Rozali, and James Sully, “Random matrix theory for complexity growth and black hole interiors,” JHEP01, 016 (2022), arXiv:2106.02046 [hep-th]
Pith/arXiv arXiv 2022
-
[19]
Spread complexity and the saturation of wormhole size,
Vijay Balasubramanian, Javier M Magan, Poulami Nandi, and Qingyue Wu, “Spread complexity and the saturation of wormhole size,” Phys. Rev. D113, 046004 (2026)
2026
-
[20]
J. Baik, T. Kriecherbauer, K. T. R. McLaughlin, and P. D. Miller, “Uniform asymptotics for polynomials orthogonal with respect to a general class of discrete weights and universality results for associated ensembles,” arXiv:math/0310278
-
[21]
Dynamical quantum ergodicity from energy level statistics,
Amit Vikram and Victor Galitski, “Dynamical quantum ergodicity from energy level statistics,” Phys. Rev. Res.5, 033126 (2023), arXiv:2205.05704
Pith/arXiv arXiv 2023
-
[22]
On the reconstruction map in JT gravity,
Chris Akers, Andrew Lucas, and Amit Vikram, “On the reconstruction map in JT gravity,” J. High Energy Phys.12, 045 (2025)
2025
-
[23]
Enhanced entanglement from quantum ergodicity,
Amit Vikram, “Enhanced entanglement from quantum ergodicity,” arXiv preprint arXiv:2507.08067 (2025)
Pith/arXiv arXiv 2025
-
[24]
A proof of Freud’s conjecture for exponential weights,
D. S. Lubinsky, H. N. Mhaskar, and E. B. Saff, “A proof of Freud’s conjecture for exponential weights,” Constr. Approx.4, 65 (1988)
1988
-
[25]
Szeg¨ o,Orthogonal Polynomials, 4 th ed
G. Szeg¨ o,Orthogonal Polynomials, 4 th ed. (American Mathematical Society, 1975)
1975
-
[26]
Debarghya Chakraborty,Topics in Quantum Information, Complexity and Chaos(University of Kentucky, 2024)
2024
-
[27]
Lower Dimensional Gravity,
R. Jackiw, “Lower Dimensional Gravity,” Nucl. Phys. B252, 343–356 (1985)
1985
-
[28]
Gravitation and Hamiltonian Structure in Two Space-Time Dimensions,
C. Teitelboim, “Gravitation and Hamiltonian Structure in Two Space-Time Dimensions,” Phys. Lett. B 126, 41–45 (1983)
1983
-
[29]
The Factorization Problem in Jackiw-Teitelboim Gravity,
Daniel Harlow and Daniel Jafferis, “The Factorization Problem in Jackiw-Teitelboim Gravity,” JHEP 02, 177 (2020), arXiv:1804.01081 [hep-th]
Pith/arXiv arXiv 2020
-
[30]
JT gravity as a matrix integral,
Phil Saad, Stephen H. Shenker, and Douglas Stanford, “JT gravity as a matrix integral,” (2019), arXiv:1903.11115 [hep-th]
Pith/arXiv arXiv 2019
-
[31]
The dilaton gravity hologram of double-scaled SYK,
Andreas Blommaert, Thomas G Mertens, and Jacopo Papalini, “The dilaton gravity hologram of double-scaled SYK,” J. High Energy Phys.6, 1–43 (2025)
2025
-
[32]
The Christoffel-Darboux kernel,
Barry Simon, “The Christoffel-Darboux kernel,” arXiv preprint arXiv:0806.1528 (2008)
Pith/arXiv arXiv 2008
-
[33]
Asymptotics of Chebyshev polynomials, V. residual polynomials,
Jacob S Christiansen, Barry Simon, and Maxim Zinchenko, “Asymptotics of Chebyshev polynomials, V. residual polynomials,” The Ramanujan Journal61, 251–278 (2023)
2023
-
[34]
Statistical theory of the energy levels of complex systems. IV,
Freeman J Dyson and Madan Lal Mehta, “Statistical theory of the energy levels of complex systems. IV,” J. Math. Phys.4, 701–712 (1963)
1963
-
[35]
Madan Lal Mehta,Random matrices(Elsevier, 2004)
2004
-
[36]
Extreme gaps between eigenvalues of random matrices,
G´ erard Ben Arous and Paul Bourgade, “Extreme gaps between eigenvalues of random matrices,” Ann. Probab.41, 2648–2681 (2013)
2013
-
[37]
Maximum of the characteristic polynomial of random unitary matrices,
Louis-Pierre Arguin, David Belius, and Paul Bourgade, “Maximum of the characteristic polynomial of random unitary matrices,” Commun. Math. Phys.349, 703–751 (2017). 21
2017
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.