Krylov Correlators in mathfrak{sl}(2,mathbb R) Models: Exact Results and Holographic Complexity
Pith reviewed 2026-05-19 22:29 UTC · model grok-4.3
The pith
Certain out-of-time-ordered Krylov correlators are proportional to radial momenta of an infalling particle in the BTZ black hole.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show that certain out-of-time-ordered correlators of two or more Krylov speed operators at different times are proportional to combinations of the proper radial momenta of a particle falling into the BTZ black hole in AdS3, evaluated at those times. This is achieved by first deriving exact results for Krylov correlators in quantum systems with sl(2,R) or Heisenberg-Weyl symmetry and then applying them to the complexity-momentum correspondence, representing a first step in its generalization to higher Krylov complexities.
What carries the argument
Out-of-time-ordered correlators of Krylov speed operators, which encode temporal correlations and fluctuations in the growth of Krylov complexity and map to bulk radial momenta via the complexity-momentum correspondence.
If this is right
- The complexity-momentum correspondence applies to temporal correlations in Krylov complexity growth in addition to its average rate.
- Exact results in solvable sl(2,R) models allow boundary computations to predict the radial momentum of an infalling particle without directly solving the bulk geodesic equation.
- Fluctuations around the mean complexity growth rate acquire a geometric meaning in the eternal black hole spacetime.
- The relation extends to correlators of multiple operators inserted at distinct boundary times.
Where Pith is reading between the lines
- The same proportionality might hold for other measures of operator growth or quantum chaos beyond Krylov complexity.
- This dictionary could be checked in holographic models with different black hole geometries to test whether the direct match survives beyond the BTZ case.
- Higher-point Krylov functions may correspond to multi-time or multi-particle bulk observables in the same framework.
Load-bearing premise
The semiclassical complexity-momentum correspondence established for the BTZ black hole extends directly to higher Krylov complexities and their out-of-time-ordered correlators without additional corrections or loss of proportionality.
What would settle it
An explicit calculation of a three-operator Krylov correlator in an sl(2,R) invariant model whose value deviates from the predicted sum or difference of radial momenta extracted from the BTZ particle trajectory at the corresponding times.
read the original abstract
In holography, the complexity--momentum correspondence relates the increasing momentum of a point particle falling into an eternal black hole to the rate of growth of the Krylov complexity of the dual boundary state, a conjecture established exactly for the BTZ black hole in AdS$_{3}$ at the semiclassical level. We examine possible extensions of the correspondence by considering boundary higher Krylov complexities and Krylov correlators encoding fluctuations and temporal correlations of the spreading quantum state. To this end, we derive exact results for Krylov correlators in quantum systems with $\mathfrak{sl}(2,\mathbb{R})$ or Heisenberg-Weyl symmetry and apply them to the complexity--momentum correspondence. We show that certain out-of-time-ordered correlators of two or more Krylov speed operators at different times are proportional to combinations of the proper radial momenta of a particle falling into the BTZ black hole in AdS$_{3}$, evaluated at those times. This represents a first step in the generalization of the original complexity--momentum relation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper derives exact closed-form expressions for Krylov correlators (including out-of-time-ordered ones) in quantum systems possessing sl(2,R) or Heisenberg-Weyl symmetry. These boundary results are then applied to the holographic complexity-momentum correspondence for the BTZ black hole, where certain multi-operator Krylov OTOCs are shown to be proportional to linear combinations of the proper radial momenta p_r(τ) of an infalling particle, evaluated at the corresponding times. The work positions itself as a first step toward generalizing the original complexity-momentum relation to include fluctuations and temporal correlations.
Significance. If the operator identification and time-matching hold, the exact boundary expressions provide a concrete, falsifiable link between Krylov operator correlators and bulk geodesic data, extending the semiclassical BTZ result to higher-point functions without introducing free parameters. The strength lies in the model-independent derivations for the sl(2,R) and Heisenberg-Weyl cases, which could serve as benchmarks for numerical or holographic checks.
major comments (2)
- [§4.3, Eq. (41)] §4.3, Eq. (41): The proportionality ⟨K(t1)K(t2)⟩ ∝ p_r(t1) + p_r(t2) is stated after identifying the Krylov speed operator with the radial momentum generator, but the overall constant and the precise relation between boundary time t and bulk proper time τ are not re-derived for the finite-energy representations used here. A rescaling of the sl(2,R) generators would alter the prefactor while leaving the bulk geodesic solution unchanged, so an explicit normalization check is needed to confirm the claimed direct proportionality.
- [§5.1] §5.1, paragraph following Eq. (48): The extension of the complexity-momentum correspondence to correlators assumes that the semiclassical BTZ identification carries over without model-specific corrections once the state is prepared in a highest-weight representation. No explicit computation is shown that verifies the time parametrization remains identical when the Krylov basis is truncated or when higher Krylov complexities are included.
minor comments (3)
- [Eq. (12)] Eq. (12): the definition of the Krylov speed operator K(t) uses a commutator; clarify whether this is the standard nested commutator or a different convention, as the subsequent OTOC expressions depend on it.
- [Figure 3] Figure 3: the curves for different numbers of operators are difficult to distinguish; add direct labels or a clearer legend.
- Reference list: the discussion of prior BTZ complexity-momentum work cites only the original conjecture; include the follow-up papers that tested it numerically or in other models.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the constructive major comments. We respond to each point below, indicating where revisions will be made to strengthen the presentation.
read point-by-point responses
-
Referee: [§4.3, Eq. (41)] The proportionality ⟨K(t1)K(t2)⟩ ∝ p_r(t1) + p_r(t2) is stated after identifying the Krylov speed operator with the radial momentum generator, but the overall constant and the precise relation between boundary time t and bulk proper time τ are not re-derived for the finite-energy representations used here. A rescaling of the sl(2,R) generators would alter the prefactor while leaving the bulk geodesic solution unchanged, so an explicit normalization check is needed to confirm the claimed direct proportionality.
Authors: We thank the referee for highlighting this point. The sl(2,R) generators are fixed by the standard commutation relations that reproduce the isometries of the BTZ geometry, and the identification of the Krylov speed operator with the radial momentum generator is made in the representation where the semiclassical limit matches the known single-particle result. In the revised manuscript we will add an explicit normalization check in §4.3, comparing the two-point Krylov correlator to the semiclassical BTZ momentum to confirm that the proportionality constant is unity with these conventions. The boundary-to-bulk time map t ↔ τ follows from the standard holographic dictionary and is independent of the finite-energy representation details. revision: yes
-
Referee: [§5.1] The extension of the complexity-momentum correspondence to correlators assumes that the semiclassical BTZ identification carries over without model-specific corrections once the state is prepared in a highest-weight representation. No explicit computation is shown that verifies the time parametrization remains identical when the Krylov basis is truncated or when higher Krylov complexities are included.
Authors: We agree that an explicit statement on this point improves clarity. Our exact results are derived for the complete, untruncated highest-weight representations of sl(2,R), so the operator algebra and the associated time evolution are identical to those used in the original semiclassical complexity-momentum correspondence. We will add a short clarifying paragraph in §5.1 noting that the time parametrization is fixed by the same bulk geodesic equations and does not acquire additional corrections within the highest-weight module. Truncation of the Krylov basis would correspond to a different (non-highest-weight) state preparation outside the present scope; we will mention this as a possible direction for future work. revision: partial
Circularity Check
Exact boundary Krylov results derived independently from symmetry; holographic extension applies prior conjecture without definitional reduction or fitted inputs.
full rationale
The paper first derives exact closed-form expressions for Krylov correlators and out-of-time-ordered correlators in sl(2,R) and Heisenberg-Weyl models directly from the commutation relations and representation theory of the symmetry generators. These algebraic derivations stand alone and contain no reference to bulk geometry, fitted parameters, or holographic identifications. The subsequent application to BTZ radial momenta invokes the complexity-momentum correspondence as an established conjecture for the leading semiclassical case and extends it interpretively to higher correlators. This extension does not reduce the claimed proportionality to a self-definitional identity, a renamed fit, or a load-bearing self-citation chain; the boundary expressions remain independently verifiable. No step in the derivation chain equates an output to its input by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The complexity-momentum correspondence holds exactly for the BTZ black hole at the semiclassical level
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.lean and Foundation/AlphaCoordinateFixation.leancostAlphaLog_fourth_deriv_at_zero; dAlembert_to_ODE_general echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
C(t) = h * 8α²/(4α²−γ²) sinh²(Dt/2) ... L0(t) expressed via cosh(Dt) and sinh(Dt) coefficients; rC(p)(t) via cos/sin generating functions that become hyperbolic under D real
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking matches?
matchesMATCHES: this paper passage directly uses, restates, or depends on the cited Recognition theorem or module.
BTZ geometry with proper radial coordinate ρ; complexity-momentum map C'(t) ∝ P_ρ; D=3 bulk
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
S. Baiguera, V. Balasubramanian, P. Caputa, S. Chapman, J. Haferkamp, M. P. Heller et al., Quantum Complexity in Gravity, Quantum Field Theory, and Quantum Information Science, Phys. Rept.1159(2026) 1 [2503.10753]. E. Rabinovici, A. Sánchez-Garrido, R. Shir and J. Sonner,Krylov Complexity,2507.06286
-
[2]
J. Maldacena, S. H. Shenker and D. Stanford,A Bound on Chaos,JHEP08(2016) 106 [1503.01409]
work page internal anchor Pith review Pith/arXiv arXiv 2016
- [3]
-
[4]
J. L. F. Barbón, E. Rabinovici, R. Shir and R. Sinha,On The Evolution Of Operator Complexity Beyond Scrambling,JHEP10(2019) 264 [1907.05393]. E. Rabinovici, A. Sánchez-Garrido, R. Shir and J. Sonner,Krylov localization and suppression of complexity,JHEP03(2022) 211 [2112.12128]. E. Rabinovici, A. Sánchez-Garrido, R. Shir and J. Sonner,Krylov complexity fr...
-
[5]
E. Rabinovici, A. Sánchez-Garrido, R. Shir and J. Sonner,A bulk manifestation of Krylov complexity,JHEP08(2023) 213 [2305.04355]
-
[6]
K. Hashimoto and N. Tanahashi,Holography and Optimal Transport: Emergent Wasserstein Spacetime in Harmonic Oscillator, Syk and Krylov Complexity,2604.17649. D. Roychowdhury,Krylov Complexity for Lin-Maldacena Geometries and Their Holographic Duals,2604.16977. 29
work page internal anchor Pith review Pith/arXiv arXiv
-
[7]
J. M. Maldacena,Eternal Black Holes in Anti-de Sitter,JHEP04(2003) 021 [hep-th/0106112]
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[8]
Addendum to Computational Complexity and Black Hole Horizons
L. Susskind,Computational Complexity and Black Hole Horizons,Fortsch. Phys.64(2016) 24 [1403.5695]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[9]
Complexity and Shock Wave Geometries
D. Stanford and L. Susskind,Complexity and Shock Wave Geometries,Phys. Rev. D90 (2014) 126007 [1406.2678]. A. R. Brown, D. A. Roberts, L. Susskind, B. Swingle and Y. Zhao,Complexity, Action, and Black Holes,Phys. Rev. D93(2016) 086006 [1512.04993]
work page internal anchor Pith review Pith/arXiv arXiv 2014
- [10]
-
[11]
Switchbacks and the Bridge to Nowhere
L. Susskind and Y. Zhao,Switchbacks and the Bridge to Nowhere,1408.2823. L. Susskind,Why Do Things Fall?,1802.01198. L. Susskind,Complexity and Newton’s Laws,Front. in Phys.8(2020) 262 [1904.12819]. L. Susskind and Y. Zhao,Complexity and Momentum,JHEP03(2021) 239 [2006.03019]. H. W. Lin, J. Maldacena and Y. Zhao,Symmetries Near the Horizon,JHEP08(2019) 04...
work page internal anchor Pith review Pith/arXiv arXiv 2020
-
[12]
J. L. F. Barbón, J. Martín-García and M. Sasieta,Momentum/Complexity Duality and the Black Hole Interior,JHEP07(2020) 169 [1912.05996]. J. L. F. Barbón, J. Martin-Garcia and M. Sasieta,Proof of a Momentum/Complexity Correspondence,Phys. Rev. D102(2020) 101901 [2006.06607]. J. L. F. Barbón, J. Martin-Garcia and M. Sasieta,A Generalized Momentum/Complexity ...
- [13]
-
[14]
Quantum chaos and the complexity of spread of states,
V. Balasubramanian, P. Caputa, J. M. Magan and Q. Wu,Quantum Chaos and the Complexity of Spread of States,Phys. Rev. D106(2022) 046007 [2202.06957]
- [15]
-
[16]
Fan,Momentum-Krylov Complexity Correspondence,2411.04492
Z.-Y. Fan,Momentum-Krylov Complexity Correspondence,2411.04492. P.-Z. He,Revisit the Relationship Between Spread Complexity Rate and Radial Momentum, 2411.19172. A. Fatemiabhari, H. Nastase and D. Roychowdhury,Holographic Krylov complexity inN“4 SYM,2511.19286. A. Fatemiabhari, H. Nastase, C. Nunez and D. Roychowdhury,Holographic Krylov Complexity in Conf...
-
[17]
A. R. Brown and L. Susskind,Second Law of Quantum Complexity,Phys. Rev. D97(2018) 086015 [1701.01107]. L. Susskind,Three Lectures on Complexity and Black Holes, SpringerBriefs in Physics, Springer, 10, 2018,1810.11563, DOI
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[18]
B. Bhattacharjee, X. Cao, P. Nandy and T. Pathak,Operator Growth in Open Quantum Systems: Lessons from the Dissipative SYK,JHEP03(2023) 054 [2212.06180]
-
[19]
B. Bhattacharjee, P. Nandy and T. Pathak,Krylov Complexity in Large Q and Double-Scaled SYK Model,JHEP08(2023) 099 [2210.02474]
-
[20]
Y. Fu, K.-Y. Kim, K. Pal and K. Pal,Statistics and Complexity of Wavefunction Spreading in Quantum Dynamical Systems,JHEP06(2025) 139 [2411.09390]. H. A. Camargo, Y. Fu, V. Jahnke, K.-Y. Kim and K. Pal,Higher-Order Krylov State Complexity in Random Matrix Quenches,JHEP07(2025) 182 [2412.16472]
- [21]
- [22]
-
[23]
A. Dymarsky and A. Gorsky,Quantum chaos as delocalization in Krylov space,Phys. Rev. B 102(2020) 085137 [1912.12227]
-
[24]
A. Dymarsky and M. Smolkin,Krylov Complexity in Conformal Field Theory,Phys. Rev. D 104(2021) L081702 [2104.09514]
-
[25]
S. Chowdhury,Spread and Circuit Complexity as a Measure of Particle Content and Phase Space Fluctuations,2511.02013
-
[26]
K. N. Boyadzhiev,Derivative polynomials for tanh, tan, sech and sec in explicit form,The Fibonacci Quarterly45(2007) 291
work page 2007
-
[27]
A. I. Larkin and Y. N. Ovchinnikov,Quasiclassical method in the theory of superconductivity, Sov Phys JETP28(1969) 1200
work page 1969
-
[28]
The Black Hole in Three Dimensional Space Time
M. Bañados, C. Teitelboim and J. Zanelli,The Black Hole in Three-Dimensional Space-Time, Phys. Rev. Lett.69(1992) 1849 [hep-th/9204099]. M. Bañados, M. Henneaux, C. Teitelboim and J. Zanelli,Geometry of the (2+1) Black Hole, Phys. Rev. D48(1993) 1506 [gr-qc/9302012]
work page internal anchor Pith review Pith/arXiv arXiv 1992
-
[29]
D. Berenstein and J. Simón,Localized states in global AdS space,Phys. Rev. D101(2020) 046026 [1910.10227]
-
[30]
Holographic Local Quenches and Entanglement Density
M. Nozaki, T. Numasawa and T. Takayanagi,Holographic Local Quenches and Entanglement Density,JHEP05(2013) 080 [1302.5703]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[31]
Toward Krylov-based holography in double-scaled SYK
Y. Fu, H.-S. Jeong, K.-Y. Kim and J. F. Pedraza,Toward Krylov-Based Holography in Double-Scaled Syk,2510.22658. 31
work page internal anchor Pith review Pith/arXiv arXiv
- [32]
-
[33]
J. M. Maldacena,The LargeNLimit of Superconformal Field Theories and Supergravity,Int. J. Theor. Phys.38(1999) 1113 [hep-th/9711200]
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[34]
K. Hashimoto, K. Murata, N. Tanahashi and R. Watanabe,Krylov Complexity and Chaos in Quantum Mechanics,JHEP11(2023) 040 [2305.16669]. 32
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.