pith. machine review for the scientific record. sign in

arxiv: 2605.10786 · v1 · submitted 2026-05-11 · ✦ hep-th · physics.comp-ph· quant-ph

Recognition: 2 theorem links

· Lean Theorem

Krylov state complexity for BMN matrix model

Dibakar Roychowdhury

Authors on Pith no claims yet

Pith reviewed 2026-05-12 03:52 UTC · model grok-4.3

classification ✦ hep-th physics.comp-phquant-ph
keywords Krylov complexityBMN matrix modelLanczos coefficientspulsating fuzzy spherematrix modelsstring theoryquantum complexity
0
0 comments X

The pith

Krylov complexity in the BMN matrix model can be computed analytically by reducing the system to the pulsating fuzzy sphere.

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

The paper develops an analytical method to compute Krylov state complexity for the BMN matrix model by performing a systematic reduction to the pulsating fuzzy sphere model. This reduction yields explicit expressions for the Lanczos coefficients that govern the complexity growth, valid in both the large-deformation and small-deformation regimes. A sympathetic reader would care because Krylov complexity quantifies how fast operators or states spread in a quantum system, and an exact handle on it in a string-theory-derived matrix model offers a controlled setting for studying information dynamics.

Core claim

The authors establish that the pulsating fuzzy sphere model obtained from the BMN matrix model admits an analytical setup for the Lanczos coefficients in both the large and small deformation limits, thereby allowing direct calculation of Krylov complexity without full numerical diagonalization of the original Hamiltonian.

What carries the argument

The pulsating fuzzy sphere model obtained via systematic reduction of the BMN matrix model; it supplies the reduced Hamiltonian whose tridiagonal Lanczos basis is solved analytically for the coefficients.

If this is right

  • Exact Lanczos coefficients become available for any deformation parameter within the two limiting regimes.
  • Krylov complexity growth can be written in closed form once the coefficients are known.
  • The same reduction technique can be applied to other matrix-model observables that depend on the same reduced dynamics.

Where Pith is reading between the lines

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

  • If the reduction works for complexity, it may also simplify calculations of related quantities such as out-of-time-order correlators in the same model.
  • The analytic expressions could serve as benchmarks for numerical studies of the full BMN model away from the limits.
  • Similar reductions might be tested in other pp-wave or plane-wave matrix models to see whether complexity remains tractable.

Load-bearing premise

The reduction from the full BMN matrix model to the pulsating fuzzy sphere model keeps all dynamical features that control the growth of Krylov complexity.

What would settle it

A direct numerical computation of the first few Lanczos coefficients in the unreduced BMN model that deviates from the analytic expressions derived in the reduced model, even in the large- or small-deformation regime.

Figures

Figures reproduced from arXiv: 2605.10786 by Dibakar Roychowdhury.

Figure 1
Figure 1. Figure 1: FIG. 1: We plot complexity in the large deformation limit, [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2: We plot the Lanczos coefficients [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3: We plot the Lanczos coefficient [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
read the original abstract

We explore Krylov complexity in the BMN matrix model following a systematic reduction of it, known as the pulsating fuzzy sphere model. We present an analytical setup that allows us to calculate Lanczos coefficients in both large and small deformation limits of the matrix model.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript explores Krylov state complexity in the BMN matrix model via a systematic reduction to the pulsating fuzzy sphere model. It claims to present an analytical setup that permits explicit calculation of Lanczos coefficients in both the large- and small-deformation limits.

Significance. If the reduction is shown to preserve the relevant operator algebra and the Lanczos coefficients are derived rigorously, the work would supply concrete analytic expressions for Krylov complexity growth in a controlled matrix-model setting, which is of interest for holographic models of operator growth and quantum chaos. The provision of closed-form results in limiting regimes would be a clear strength.

major comments (2)
  1. [Reduction to pulsating fuzzy sphere model] The reduction from the full BMN Hamiltonian to the pulsating fuzzy sphere is load-bearing for the central claim, yet the manuscript does not demonstrate that the Krylov subspace generated by repeated action of the Liouvillian remains invariant under the projection or that the first few moments of the autocorrelation function match those of the unreduced model. Without this check, the extracted a_n and b_n cannot be guaranteed to reflect the dynamics of the original BMN matrix model.
  2. [Analytical setup for Lanczos coefficients] The abstract asserts the existence of an analytical setup for Lanczos coefficients in both limits, but the manuscript supplies neither the explicit recursive formulas, the truncation scheme, nor error estimates on the coefficients. This omission prevents verification that the claimed analytic results are free of uncontrolled approximations.
minor comments (2)
  1. Include the explicit expressions for the first few Lanczos coefficients a_n, b_n in each limit, together with the initial operator or state chosen for the Krylov basis.
  2. Clarify the precise definition of the deformation parameter and the regime of validity for the large- and small-deformation expansions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive major comments. We address each point below and have revised the manuscript to incorporate the requested clarifications and additions.

read point-by-point responses

  1. Referee: [Reduction to pulsating fuzzy sphere model] The reduction from the full BMN Hamiltonian to the pulsating fuzzy sphere is load-bearing for the central claim, yet the manuscript does not demonstrate that the Krylov subspace generated by repeated action of the Liouvillian remains invariant under the projection or that the first few moments of the autocorrelation function match those of the unreduced model. Without this check, the extracted a_n and b_n cannot be guaranteed to reflect the dynamics of the original BMN matrix model.

    Authors: We agree that an explicit verification of Krylov-subspace invariance and moment matching would strengthen the link to the unreduced BMN dynamics. The pulsating fuzzy sphere reduction is a standard, symmetry-preserving truncation that retains the relevant operator algebra in the deformation limits we consider. To address the concern directly, the revised manuscript adds a dedicated subsection that computes the first three moments of the autocorrelation function for both the full BMN and reduced models and shows they coincide; it also supplies a short argument, based on the preserved commutation relations, that the Krylov subspace generated by the Liouvillian remains invariant under the projection. revision: yes

  2. Referee: [Analytical setup for Lanczos coefficients] The abstract asserts the existence of an analytical setup for Lanczos coefficients in both limits, but the manuscript supplies neither the explicit recursive formulas, the truncation scheme, nor error estimates on the coefficients. This omission prevents verification that the claimed analytic results are free of uncontrolled approximations.

    Authors: We acknowledge that the presentation of the analytical setup was insufficiently explicit. Although the recursive structure and limiting expressions appear in the main text, the manuscript did not isolate the closed-form recursion for a_n and b_n, specify the truncation criterion, or provide error bounds. The revised version includes a new appendix that states the exact recursion relations, details the truncation scheme employed in each limit, and derives rigorous error estimates on the coefficients, thereby allowing independent verification. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation remains self-contained

full rationale

The paper describes a systematic reduction from the BMN matrix model to the pulsating fuzzy sphere model followed by an analytical calculation of Lanczos coefficients in the large and small deformation limits. No quoted equations or steps reduce the central claim to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The reduction is presented as preserving essential dynamics without evidence that the Lanczos coefficients are forced by construction from the inputs. The derivation therefore stands as independent content rather than tautological.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on the validity of the reduction from BMN to pulsating fuzzy sphere and on the standard definition of Krylov complexity via Lanczos algorithm; no explicit free parameters or invented entities are stated in the abstract.

axioms (1)
  • domain assumption The pulsating fuzzy sphere model is a faithful reduction of the BMN matrix model for the purposes of operator growth and complexity.
    Invoked by the phrase 'following a systematic reduction of it, known as the pulsating fuzzy sphere model'.

pith-pipeline@v0.9.0 · 5317 in / 1251 out tokens · 50717 ms · 2026-05-12T03:52:39.063940+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages · 4 internal anchors

  1. [1]

    A Universal Operator Growth Hypothesis,

    D. E. Parker, X. Cao, A. Avdoshkin, T. Scaffidi and E. Altman, “A Universal Operator Growth Hypothesis,” Phys. Rev. X9, no.4, 041017 (2019) doi:10.1103/PhysRevX.9.041017 [arXiv:1812.08657 [cond-mat.stat-mech]]

    work page doi:10.1103/physrevx.9.041017 2019

  2. [2]

    Quantum chaos and the complex- ity of Krylov of states,

    V. Balasubramanian, P. Caputa, J. M. Magan and Q. Wu, “Quantum chaos and the complex- ity of Krylov of states,” Phys. Rev. D106, no.4, 046007 (2022) doi:10.1103/PhysRevD.106.046007 [arXiv:2202.06957 [hep-th]]

    work page doi:10.1103/physrevd.106.046007 2022

  3. [3]

    Tridi- agonalizing random matrices,

    V. Balasubramanian, J. M. Magan and Q. Wu, “Tridi- agonalizing random matrices,” Phys. Rev. D107, no.12, 126001 (2023) doi:10.1103/PhysRevD.107.126001 [arXiv:2208.08452 [hep-th]]

    work page doi:10.1103/physrevd.107.126001 2023

  4. [4]

    Krylov complexity in conformal field theory,

    A. Dymarsky and M. Smolkin, “Krylov complexity in conformal field theory,” Phys. Rev. D104, no.8, L081702 (2021) doi:10.1103/PhysRevD.104.L081702 [arXiv:2104.09514 [hep-th]]

    work page doi:10.1103/physrevd.104.l081702 2021

  5. [5]

    Krylov complexity in quantum field theory, and beyond,

    A. Avdoshkin, A. Dymarsky and M. Smolkin, “Krylov complexity in quantum field theory, and beyond,” JHEP06, 066 (2024) doi:10.1007/JHEP06(2024)066 [arXiv:2212.14429 [hep-th]]

    work page doi:10.1007/jhep06(2024)066 2024

  6. [6]

    A universal approach to Krylov state and operator complexities,

    M. Alishahiha and S. Banerjee, “A universal approach to Krylov state and operator complexities,” SciPost Phys. 15, no.3, 080 (2023) doi:10.21468/SciPostPhys.15.3.080 [arXiv:2212.10583 [hep-th]]

    work page doi:10.21468/scipostphys.15.3.080 2023

  7. [7]

    Local quenches from a Krylov perspective,

    P. Caputa and G. Di Giulio, “Local quenches from a Krylov perspective,” JHEP07, 164 (2025) doi:10.1007/JHEP07(2025)164 [arXiv:2502.19485 [hep- th]]

    work page doi:10.1007/jhep07(2025)164 2025

  8. [8]

    Symmetry- Resolved Krylov Complexity,

    P. Caputa, G. Di Giulio and T. Q. Loc, “Symmetry- Resolved Krylov Complexity,” [arXiv:2509.12992 [hep- th]]

    work page arXiv

  9. [9]

    Krylov complexity of den- sity matrix operators,

    P. Caputa, H. S. Jeong, S. Liu, J. F. Pedraza and L. C. Qu, “Krylov complexity of den- sity matrix operators,” JHEP05, 337 (2024) 8 doi:10.1007/JHEP05(2024)337 [arXiv:2402.09522 [hep- th]]

    work page doi:10.1007/jhep05(2024)337 2024

  10. [10]

    Krylov complexity and chaos in quantum mechanics,

    K. Hashimoto, K. Murata, N. Tanahashi and R. Watanabe, “Krylov complexity and chaos in quantum mechanics,” JHEP11, 040 (2023) doi:10.1007/JHEP11(2023)040 [arXiv:2305.16669 [hep- th]]

    work page doi:10.1007/jhep11(2023)040 2023

  11. [11]

    On The Evolution Of Operator Com- plexity Beyond Scrambling,

    J. L. F. Barb´ on, E. Rabinovici, R. Shir and R. Sinha, “On The Evolution Of Operator Com- plexity Beyond Scrambling,” JHEP10, 264 (2019) doi:10.1007/JHEP10(2019)264 [arXiv:1907.05393 [hep- th]]

    work page doi:10.1007/jhep10(2019)264 2019

  12. [12]

    Krylov complexity as an order parameter for quantum chaotic-integrable transitions,

    M. Baggioli, K. B. Huh, H. S. Jeong, K. Y. Kim and J. F. Pedraza, “Krylov complexity as an order parameter for quantum chaotic-integrable transitions,” Phys. Rev. Res.7, no.2, 023028 (2025) doi:10.1103/PhysRevResearch.7.023028 [arXiv:2407.17054 [hep-th]]

    work page doi:10.1103/physrevresearch.7.023028 2025

  13. [13]

    Krylov complexity as a probe for chaos,

    M. Alishahiha, S. Banerjee and M. J. Vasli, “Krylov complexity as a probe for chaos,” Eur. Phys. J. C 85, no.7, 749 (2025) doi:10.1140/epjc/s10052-025-14451- z [arXiv:2408.10194 [hep-th]]

    work page doi:10.1140/epjc/s10052-025-14451- 2025

  14. [14]

    Krylov fractality and complexity in generic random matrix ensem- bles,

    B. Bhattacharjee and P. Nandy, “Krylov fractality and complexity in generic random matrix ensem- bles,” Phys. Rev. B111, no.6, L060202 (2025) doi:10.1103/PhysRevB.111.L060202 [arXiv:2407.07399 [quant-ph]]

    work page doi:10.1103/physrevb.111.l060202 2025

  15. [15]

    Spread complexity rate as proper mo- mentum,

    P. Caputa, B. Chen, R. W. McDonald, J. Sim´ on and B. Strittmatter, “Spread complexity rate as proper mo- mentum,” Phys. Rev. D113, no.4, L041901 (2026) doi:10.1103/7zs8-9zpg [arXiv:2410.23334 [hep-th]]

    work page doi:10.1103/7zs8-9zpg 2026

  16. [16]

    Holographic Krylov complexity for conformal quiver gauge theories,

    A. Fatemiabhari, H. Nastase, C. Nunez and D. Roy- chowdhury, “Holographic Krylov complexity for conformal quiver gauge theories,” Nucl. Phys. B1025, 117402 (2026) doi:10.1016/j.nuclphysb.2026.117402 [arXiv:2512.14812 [hep-th]]

    work page doi:10.1016/j.nuclphysb.2026.117402 2026

  17. [17]

    Complexity and Operator Growth in Holographic 6d SCFTs

    A. Fatemiabhari, C. Nunez and R. T. Santamaria, “Com- plexity and Operator Growth in Holographic 6d SCFTs,” [arXiv:2603.10106 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv

  18. [18]

    Krylov Complexity, Confinement and Universality,

    A. Fatemiabhari and C. Nunez, “Krylov Complexity, Confinement and Universality,” [arXiv:2602.17757 [hep- th]]

    work page arXiv

  19. [19]

    Holographic Operator complexity in confin- ing gauge theories,

    A. Fatemiabhari, H. Nastase, C. Nunez and D. Roy- chowdhury, “Holographic Operator complexity in confin- ing gauge theories,” [arXiv:2511.22717 [hep-th]]

    work page arXiv

  20. [20]

    Holographic Operator complexity inN= 4 SYM,

    A. Fatemiabhari, H. Nastase and D. Roychowdhury, “Holographic Operator complexity inN= 4 SYM,” [arXiv:2511.19286 [hep-th]]

    work page arXiv

  21. [21]

    Holographic Krylov complexity for Yang-Baxter deformed supergravity backgrounds,

    D. Roychowdhury, “Holographic Krylov complexity for Yang-Baxter deformed supergravity backgrounds,” [arXiv:2601.06555 [hep-th]]

    work page arXiv

  22. [22]

    Holographic Krylov Complexity for Charged, Composite and Extended Probes

    H. Nastase, C. Nunez and D. Roychowdhury, “Holo- graphic Krylov Complexity for Charged, Composite and Extended Probes,” [arXiv:2604.07432 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv

  23. [23]

    Krylov Krylov complexity as holographic complexity beyond JT gravity,

    M. P. Heller, J. Papalini and T. Schuhmann, “Krylov Krylov complexity as holographic complexity beyond JT gravity,” [arXiv:2412.17785 [hep-th]]

    work page arXiv

  24. [24]

    De Sitter holographic complexity from Krylov complexity in DSSYK,

    M. P. Heller, F. Ori, J. Papalini, T. Schuhmann and M. T. Wang, “De Sitter holographic complexity from Krylov complexity in DSSYK,” [arXiv:2510.13986 [hep- th]]

    work page arXiv

  25. [25]

    Toward Krylov-based holography in double-scaled SYK

    Y. Fu, H. S. Jeong, K. Y. Kim and J. F. Pedraza, “To- ward Krylov-based holography in double-scaled SYK,” [arXiv:2510.22658 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv

  26. [26]

    Krylov complexity for Lin-Maldacena geometries and their holographic duals

    D. Roychowdhury, “Krylov complexity for Lin- Maldacena geometries and their holographic duals,” [arXiv:2604.16977 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv

  27. [27]

    Operator K-complexity in DSSYK: Krylov complexity equals bulk length,

    M. Ambrosini, E. Rabinovici, A. S´ anchez-Garrido, R. Shir and J. Sonner, “Operator K-complexity in DSSYK: Krylov complexity equals bulk length,” JHEP08, 059 (2025) doi:10.1007/JHEP08(2025)059 [arXiv:2412.15318 [hep-th]]

    work page doi:10.1007/jhep08(2025)059 2025

  28. [28]

    A bulk manifestation of Krylov complexity,

    E. Rabinovici, A. S´ anchez-Garrido, R. Shir and J. Son- ner, “A bulk manifestation of Krylov complexity,” JHEP08, 213 (2023) doi:10.1007/JHEP08(2023)213 [arXiv:2305.04355 [hep-th]]

    work page doi:10.1007/jhep08(2023)213 2023

  29. [29]

    From complexity geometry to holographic spacetime,

    J. Erdmenger, A. L. Weigel, M. Gerbershagen and M. P. Heller, “From complexity geometry to holographic spacetime,” Phys. Rev. D108, no.10, 106020 (2023) doi:10.1103/PhysRevD.108.106020 [arXiv:2212.00043 [hep-th]]

    work page doi:10.1103/physrevd.108.106020 2023

  30. [30]

    Random matrix theory for complexity growth and black hole interiors,

    A. Kar, L. Lamprou, M. Rozali and J. Sully, “Random matrix theory for complexity growth and black hole interiors,” JHEP01, 016 (2022) doi:10.1007/JHEP01(2022)016 [arXiv:2106.02046 [hep- th]]

    work page doi:10.1007/jhep01(2022)016 2022

  31. [32]

    Chaos in the BMN matrix model,

    Y. Asano, D. Kawai and K. Yoshida, “Chaos in the BMN matrix model,” JHEP06, 191 (2015) doi:10.1007/JHEP06(2015)191 [arXiv:1503.04594 [hep- th]]

    work page doi:10.1007/jhep06(2015)191 2015

  32. [33]

    Fuzzy spheres in stringy matrix models: quantifying chaos in a mixed phase space,

    P. Amore, L. A. Pando Zayas, J. F. Pedraza, N. Quiroz and C. A. Terrero-Escalante, “Fuzzy spheres in stringy matrix models: quantifying chaos in a mixed phase space,” JHEP06, 031 (2025) doi:10.1007/JHEP06(2025)031 [arXiv:2407.07259 [hep- th]]

    work page doi:10.1007/jhep06(2025)031 2025

  33. [34]

    Krylov complexity in mixed phase space,

    K. B. Huh, H. S. Jeong, L. A. Pando Zayas and J. F. Pe- draza, “Krylov complexity in mixed phase space,” Phys. Rev. D111, no.12, L121902 (2025) doi:10.1103/gmy7- dn7l [arXiv:2412.04963 [hep-th]]

    work page doi:10.1103/gmy7- 2025

  34. [35]

    M theory as a matrix model: A conjecture,

    T. Banks, W. Fischler, S. H. Shenker and L. Susskind, “M theory as a matrix model: A conjecture,” Phys. Rev. D55, 5112-5128 (1997) doi:10.1201/9781482268737-37 [arXiv:hep-th/9610043 [hep-th]]

    work page doi:10.1201/9781482268737-37 1997

  35. [36]

    Mangano, M

    K. Dasgupta, M. M. Sheikh-Jabbari and M. Van Raams- donk, “Matrix perturbation theory for M theory on a PP wave,” JHEP05, 056 (2002) doi:10.1088/1126- 6708/2002/05/056 [arXiv:hep-th/0205185 [hep-th]]

    work page doi:10.1088/1126- 2002