pith. sign in

arxiv: 2606.05388 · v2 · pith:S6ZP65LUnew · submitted 2026-06-03 · ✦ hep-th

BPS Non-Renormalization in the BMN Matrix Model

Sean Colin-Ellerin , Kyriakos Papadodimas This is my paper

Pith reviewed 2026-06-28 04:51 UTC · model grok-4.3

classification ✦ hep-th
keywords BMN matrix modelBPS statesnon-renormalizationconjugation deformationspp-wave backgroundM-theorymatrix quantum mechanicsHilbert space normalizability
0
0 comments X

The pith

Conjugation deformations in the BMN matrix model preserve normalizability of states, so BPS states cannot lift when couplings vary between finite nonzero values.

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

The paper establishes that a special class of deformations, called conjugation deformations, can connect any two finite nonzero values of the coupling constant in the BMN matrix model while keeping all states inside the normalizable Hilbert space. Because these deformations form continuous paths without leaving the space, any BPS state that exists at one coupling value must persist at the other. This prevents the lifting of BPS states as the coupling changes, so the unsigned count of such states remains invariant except precisely at the free point and the Banks-Fischler-Shenker-Susskind point.

Core claim

In the (0+1)-dimensional Berenstein-Maldacena-Nastase matrix model, conjugation deformations connect any two finite, nonzero couplings while preserving normalizability of states. This implies that BPS states cannot lift as the couplings are varied, and hence their unsigned number cannot change, except at the free point and the Banks-Fischler-Shenker-Susskind point.

What carries the argument

Conjugation deformations, a class of continuous paths in coupling space that map normalizable states to normalizable states without encountering singularities.

If this is right

  • BPS states present at one finite nonzero coupling remain present at every other finite nonzero coupling.
  • The unsigned number of BPS states is constant throughout the interval of finite nonzero couplings.
  • Any change in the BPS spectrum can occur only when the coupling reaches zero or the Banks-Fischler-Shenker-Susskind point.
  • Computations of BPS states performed at one convenient coupling value apply to all other finite nonzero couplings.

Where Pith is reading between the lines

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

  • The invariance result allows one to compute the BPS spectrum at a technically easier coupling and transfer the count to other values without additional work.
  • The same deformation technique may apply to related matrix models or to other protected quantities beyond BPS states.
  • If normalizability fails at some intermediate coupling for a particular state, that state cannot be BPS at either endpoint.
  • The argument supplies a route to non-renormalization theorems in other pp-wave or plane-wave backgrounds by constructing analogous continuous deformations.

Load-bearing premise

Conjugation deformations can always be chosen to form a continuous path between any two finite nonzero couplings that stays entirely inside the space of normalizable states.

What would settle it

An explicit example of a conjugation deformation between two finite nonzero couplings that drives at least one BPS state out of the normalizable Hilbert space, or an intermediate value of the coupling where a BPS state lifts while remaining normalizable at the endpoints.

read the original abstract

We show in the $(0+1)$-dimensional Berenstein-Maldacena-Nastase matrix model, dual to M-theory on a pp-wave background, that the coupling can be changed between any two finite, non-zero values using a special class of deformations, known as conjugation deformations. Importantly, we prove that they preserve normalizability of the states. This implies that BPS states in the model cannot lift as the couplings are varied, and hence their (unsigned) number cannot change, except at the free point and Banks-Fischler-Shenker-Susskind point.

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 / 0 minor

Summary. The paper claims that in the (0+1)-dimensional BMN matrix model, a special class of conjugation deformations allows the coupling to be varied continuously between any two finite non-zero values. The central result is a proof that these deformations preserve normalizability of states; this is invoked to conclude that BPS states cannot lift under such variations, so that their unsigned number is invariant except at the free point and the Banks-Fischler-Shenker-Susskind point.

Significance. If the claimed preservation of normalizability holds and the path-connectivity argument is rigorous, the result would constitute a non-renormalization theorem for the unsigned BPS count in the BMN model. This would be of interest for matrix-model duals to M-theory on pp-waves, as it supplies a mechanism to relate spectra at different finite couplings without discrete jumps in the BPS sector.

major comments (2)
  1. [Abstract, paragraph 2] Abstract, paragraph 2: the assertion that conjugation deformations preserve normalizability (and thereby prevent BPS lifting) is presented as a direct mathematical implication, yet the manuscript supplies no Hilbert-space definitions, explicit conjugation operators, or derivation steps establishing that the deformed states remain in the domain of the Hamiltonian. This is load-bearing for the central claim.
  2. [Abstract, paragraph 2] Abstract, paragraph 2: the weakest assumption—that conjugation deformations form a continuous path inside the normalizable subspace connecting any two finite non-zero couplings without encountering additional singularities—is stated but not verified by any explicit check or continuity argument in the provided material.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the abstract. We address each major comment below and will revise the manuscript accordingly to improve clarity and completeness.

read point-by-point responses

  1. Referee: [Abstract, paragraph 2] Abstract, paragraph 2: the assertion that conjugation deformations preserve normalizability (and thereby prevent BPS lifting) is presented as a direct mathematical implication, yet the manuscript supplies no Hilbert-space definitions, explicit conjugation operators, or derivation steps establishing that the deformed states remain in the domain of the Hamiltonian. This is load-bearing for the central claim.

    Authors: We agree that the abstract presents the result concisely without including these technical elements. In the revised manuscript we will expand the abstract to briefly define the Hilbert space as the L^2 space over the matrix configuration space, state the explicit form of the conjugation operators, and outline the key derivation steps showing that the deformed states remain in the domain of the Hamiltonian and preserve normalizability. revision: yes

  2. Referee: [Abstract, paragraph 2] Abstract, paragraph 2: the weakest assumption—that conjugation deformations form a continuous path inside the normalizable subspace connecting any two finite non-zero couplings without encountering additional singularities—is stated but not verified by any explicit check or continuity argument in the provided material.

    Authors: We agree that an explicit verification of the continuity assumption would strengthen the abstract. In the revision we will add a short continuity argument, including an explicit check that the one-parameter family of conjugation deformations connects any two finite non-zero couplings while remaining inside the normalizable subspace and avoiding additional singularities, via uniform norm bounds along the path. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is a direct mathematical proof

full rationale

The paper presents a mathematical proof that conjugation deformations preserve normalizability of states in the BMN matrix model, allowing continuous paths between couplings without altering the unsigned count of BPS states (except at free and BFSS points). No step reduces by construction to fitted parameters, self-definitions, or load-bearing self-citations; the central claim follows from the stated preservation property under the listed assumptions about the Hilbert space. The derivation chain is self-contained against external benchmarks and does not invoke renaming, ansatze smuggled via citation, or uniqueness theorems from the authors' prior work. This matches the expected non-circular outcome for a proof-based manuscript.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard identification of the BMN model with M-theory on a pp-wave and on the technical properties of conjugation deformations; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption The (0+1)-dimensional BMN matrix model is dual to M-theory on a pp-wave background
    Stated in the first sentence of the abstract as the setting for the result.
  • domain assumption Conjugation deformations constitute a valid continuous family of deformations inside the space of normalizable states
    Invoked to connect arbitrary finite non-zero couplings while preserving normalizability.

pith-pipeline@v0.9.1-grok · 5618 in / 1348 out tokens · 28718 ms · 2026-06-28T04:51:37.091876+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

49 extracted references · 17 linked inside Pith

  1. [1]

    When the bound (A2) is saturated we get null states already at the first level where we act with the raising operatorQ one time

    Short reps withj >0,A 1 shortening Multiplets withj >0 must obey the bound E0 ≥ µ 3 j+ 1 + 3R1 + 2R2 +R 3 4 .(A2) Consider a multiplet saturating this bound and let us denote by|ϕ j,j + ⟩a superprimary state in this multiplet, which is highest weight ofSU(4) andSU(2). When the bound (A2) is saturated we get null states already at the first level where we ...

  2. [2]

    If (A5) is saturated we find the following null state Q−1Q+1|ϕ+⟩= 0 (A6) which hasj= 0,[R 1 +2, R2, R3]

    Short reps withj= 0,A 2 shortening Whenj= 0, a unitarity bound coming from 2nd de- scendants reads E0 ≥ µ 3 1 + 3R1 + 2R2 +R 3 4 .(A5) Let us denote by|ϕ +⟩the superprimary which is high- est weight ofSU(4). If (A5) is saturated we find the following null state Q−1Q+1|ϕ+⟩= 0 (A6) which hasj= 0,[R 1 +2, R2, R3]. Again, these multiplets sit at the bottom of...

  3. [3]

    The ones withR 1 = 0 cannot continu- ously recombine into long multiplets and are thus ab- solutely protected — these representations were called doubly atypical in [14]

    Short reps withj= 0,B-shortening Whenj= 0 there is yet another class of unitary, short representations which saturate E0 = µ 3 3R1 + 2R2 +R 3 4 .(A8) Notice that these are separated by a gap of width µ 3 from the continuum. The ones withR 1 = 0 cannot continu- ously recombine into long multiplets and are thus ab- solutely protected — these representations...

  4. [4]

    But, as discussed in Sec

    that when such a Λ exists and [Λ,[Λ, Q]] = 0 (and 6 the same forQ †), then BPS states cannot lift to any order in perturbation theory. But, as discussed in Sec. III B, there are BPS states that lift after perturbing away from the point, so there must not be a permissible Λ. The goal of this Appendix is to check this explicitly. Perturbing around the free ...

  5. [5]

    D. E. Berenstein, J. M. Maldacena, and H. S. Nastase, Strings in flat space and pp waves from N=4 superYang- Mills, JHEP04, 013, arXiv:hep-th/0202021

    Pith/arXiv arXiv

  6. [6]

    M. S. Costa, L. Greenspan, J. Penedones, and J. Santos, Thermodynamics of the BMN matrix model at strong coupling, JHEP03, 069, arXiv:1411.5541 [hep-th]

    Pith/arXiv arXiv

  7. [7]

    Chang, Witten index of BMN matrix quantum me- chanics, SciPost Phys.19, 147 (2025), arXiv:2404.18442 [hep-th]

    C.-M. Chang, Witten index of BMN matrix quantum me- chanics, SciPost Phys.19, 147 (2025), arXiv:2404.18442 [hep-th]

    arXiv 2025

  8. [8]

    Zigdon, Charge constraint in the Berenstein- Maldacena-Nastase model, Phys

    Y. Zigdon, Charge constraint in the Berenstein- Maldacena-Nastase model, Phys. Rev. D113, 026002 (2026), arXiv:2506.19924 [hep-th]

    arXiv 2026

  9. [9]

    Chang, S

    C.-M. Chang, S. Duary, and K. Liu, Finite-NBMN index across all vacuum sectors, (2026), arXiv:2605.25560 [hep- th]

    Pith/arXiv arXiv 2026

  10. [10]

    (1) of [14] byg=R 3 2 and the redefinition Π us =g 1 3 Πthem andX us =g − 1 3 X them

    This Hamiltonian is related to the standard one in eq. (1) of [14] byg=R 3 2 and the redefinition Π us =g 1 3 Πthem andX us =g − 1 3 X them. Our choice gives a canonically normalized kinetic term. We use the same conventions as them for spinors, gamma matrices, etc

  11. [11]

    The non-trivial, interacting SU(N) sector consists of traceless, Hermitian matrices

    There is a trivialU(1) sector of the model coming from the trace mode, which is always free, and has an extra 16 supercharges associated to it. The non-trivial, interacting SU(N) sector consists of traceless, Hermitian matrices. We will restrict attention to the non-trivial part of the theory

  12. [12]

    Banks, W

    T. Banks, W. Fischler, S. H. Shenker, and L. Susskind, M theory as a matrix model: A conjecture, Phys. Rev. D55, 5112 (1997), arXiv:hep-th/9610043

    Pith/arXiv arXiv 1997

  13. [13]

    De Wit, M

    B. De Wit, M. L¨ uscher, and H. Nicolai, The supermem- brane is unstable, Nuclear Physics B320, 135 (1989)

    1989

  14. [14]

    Sethi and M

    S. Sethi and M. Stern, D-brane bound states redux, Commun. Math. Phys.194, 675 (1998), arXiv:hep- th/9705046

    arXiv 1998

  15. [15]

    Porrati and A

    M. Porrati and A. Rozenberg, Bound states at threshold in supersymmetric quantum mechanics, Nucl. Phys. B 515, 184 (1998), arXiv:hep-th/9708119

    Pith/arXiv arXiv 1998

  16. [16]

    G. W. Moore, N. Nekrasov, and S. Shatashvili, D- particle bound states and generalized instantons, Com- mun. Math. Phys.209, 77 (2000), arXiv:hep-th/9803265

    Pith/arXiv arXiv 2000

  17. [17]

    Dasgupta, M

    K. Dasgupta, M. M. Sheikh-Jabbari, and M. Van Raams- donk, Matrix perturbation theory for M theory on a PP wave, JHEP05, 056, arXiv:hep-th/0205185

    Pith/arXiv arXiv

  18. [18]

    Dasgupta, M

    K. Dasgupta, M. M. Sheikh-Jabbari, and M. Van Raams- donk, Protected multiplets of M theory on a plane wave, JHEP09, 021, arXiv:hep-th/0207050

    Pith/arXiv arXiv

  19. [19]

    Kim and J.-H

    N. Kim and J.-H. Park, Superalgebra for M theory on a pp wave, Phys. Rev. D66, 106007 (2002), arXiv:hep- th/0207061

    arXiv 2002

  20. [20]

    the vacuum would be 1/2-BPS in those conventions while it is fully BPS in ours

    Note that in the literature sometimes the 16 supercharges from the trivialU(1) sector are also included in the count- ing, so the designation of BPS is 1/2 of ours, e.g. the vacuum would be 1/2-BPS in those conventions while it is fully BPS in ours

  21. [21]

    Witten, Constraints on supersymmetry breaking, Nu- clear Physics B202, 253 (1982)

    E. Witten, Constraints on supersymmetry breaking, Nu- clear Physics B202, 253 (1982)

    1982

  22. [22]

    Agmon,Lectures on Exponential Decay of Solutions of Second-Order Elliptic Equations: Bounds on Eigen- functions of N-Body Schr¨ odinger Operators, Mathemati- cal Notes, Vol

    S. Agmon,Lectures on Exponential Decay of Solutions of Second-Order Elliptic Equations: Bounds on Eigen- functions of N-Body Schr¨ odinger Operators, Mathemati- cal Notes, Vol. 29 (Princeton University Press, Princeton, NJ, 1982)

    1982

  23. [23]

    Steinerberger, An Agmon estimate for Schr¨ odinger op- erators on Graphs (2022), arXiv:2206.09521 [math.SP]

    S. Steinerberger, An Agmon estimate for Schr¨ odinger op- erators on Graphs (2022), arXiv:2206.09521 [math.SP]

    arXiv 2022

  24. [24]

    Kim and J

    N. Kim and J. Plefka, On the spectrum of PP wave ma- trix theory, Nucl. Phys. B643, 31 (2002), arXiv:hep- th/0207034

    arXiv 2002

  25. [25]

    F. A. Dolan and H. Osborn, On short and semi-short rep- resentations for four-dimensional superconformal symme- try, Annals Phys.307, 41 (2003), arXiv:hep-th/0209056

    Pith/arXiv arXiv 2003

  26. [26]

    Kinney, J

    J. Kinney, J. M. Maldacena, S. Minwalla, and S. Raju, An Index for 4 dimensional super conformal theories, Commun. Math. Phys.275, 209 (2007), arXiv:hep- th/0510251

    arXiv 2007

  27. [27]

    Cordova, T

    C. Cordova, T. T. Dumitrescu, and K. Intriligator, Mul- tiplets of Superconformal Symmetry in Diverse Dimen- sions, JHEP03, 163, arXiv:1612.00809 [hep-th]

    Pith/arXiv arXiv

  28. [28]

    chaotic similarity transformation

    Notice that these have similarities to LMRS observ- ables. In particular, we expect them to exhibit BPS chaos, at least for large enough R-charges and not too- supersymmetric states. This suggests that our conjuga- tion deformation acts on the BPS subspace as a “chaotic similarity transformation”

  29. [29]

    L. Motl, A. Neitzke, and M. M. Sheikh-Jabbari, Heterotic plane wave matrix models and giant gluons, JHEP06, 058, arXiv:hep-th/0306051

    Pith/arXiv arXiv

  30. [30]

    Shimada, beta-deformation for matrix model of M- theory, Nucl

    H. Shimada, beta-deformation for matrix model of M- theory, Nucl. Phys. B813, 283 (2009), arXiv:0804.3236 7 [hep-th]

    Pith/arXiv arXiv 2009

  31. [31]

    Lee, BMN-like Matrix Models, (2026), arXiv:2602.22163 [hep-th]

    E. Lee, BMN-like Matrix Models, (2026), arXiv:2602.22163 [hep-th]

    arXiv 2026

  32. [32]

    Chang and Y.-H

    C.-M. Chang and Y.-H. Lin, Words to describe a black hole, JHEP02, 109, arXiv:2209.06728 [hep-th]

    arXiv

  33. [33]

    Chang and Y.-H

    C.-M. Chang and Y.-H. Lin, Holographic covering and the fortuity of black holes, (2024), arXiv:2402.10129 [hep-th]

    arXiv 2024

  34. [34]

    Chang, Y

    C.-M. Chang, Y. Chen, B. S. Sia, and Z. Yang, Fortuity in SYK models, JHEP08, 003, arXiv:2412.06902 [hep- th]

    arXiv

  35. [35]

    Chang and H

    C.-M. Chang and H. Zhang, Fortuity and R-charge con- centration in the D1-D5 CFT, (2025), arXiv:2511.23294 [hep-th]

    arXiv 2025

  36. [36]

    M. R. R. Hughes and M. Shigemori, Fortuity and super- gravity, JHEP03, 130, arXiv:2505.14888 [hep-th]

    arXiv

  37. [37]

    Belin, P

    A. Belin, P. Singh, R. Vadala, and A. Zaffaroni, Fortuity in ABJM, (2025), arXiv:2512.04146 [hep-th]

    arXiv 2025

  38. [38]

    Behan and L

    C. Behan and L. P. de Gioia, Two roads to fortuity in ABJM theory, (2025), arXiv:2512.23603 [hep-th]

    Pith/arXiv arXiv 2025

  39. [39]

    S. Choi, S. Kim, E. Lee, S. Lee, and J. Park, Towards quantum black hole microstates, JHEP11, 175, [Erra- tum: JHEP 03, 091 (2025)], arXiv:2304.10155 [hep-th]

    arXiv 2025

  40. [40]

    J. Choi, S. Choi, S. Kim, J. Lee, and S. Lee, Finite N black hole cohomologies, JHEP12, 029, arXiv:2312.16443 [hep-th]

    arXiv

  41. [41]

    de Mello Koch, M

    R. de Mello Koch, M. Kim, S. Kim, J. Lee, and S. Lee, Brane-fused black hole operators, JHEP07, 216, arXiv:2412.08695 [hep-th]

    arXiv

  42. [42]

    N. Kim, T. Klose, and J. Plefka, Plane wave matrix the- ory from N=4 superYang-Mills on R x S**3, Nucl. Phys. B671, 359 (2003), arXiv:hep-th/0306054

    Pith/arXiv arXiv 2003

  43. [43]

    H. W. Lin, J. Maldacena, L. Rozenberg, and J. Shan, Looking at supersymmetric black holes for a very long time, SciPost Phys.14, 128 (2023), arXiv:2207.00408 [hep-th]

    arXiv 2023

  44. [44]

    Y. Chen, H. W. Lin, and S. H. Shenker, BPS chaos, Sci- Post Phys.18, 072 (2025), arXiv:2407.19387 [hep-th]

    Pith/arXiv arXiv 2025

  45. [45]

    Y. Chen, S. Colin-Ellerin, O. Mamroud, and K. Pa- padodimas, Chaos of Berry curvature for BPS mi- crostates, (2026), arXiv:2604.23287 [hep-th]

    Pith/arXiv arXiv 2026

  46. [46]

    Asano, D

    Y. Asano, D. Kawai, and K. Yoshida, Chaos in the BMN matrix model, JHEP06, 191, arXiv:1503.04594 [hep-th]

    arXiv

  47. [47]

    Markovi´ c and M.ˇCubrovi´ c, Detecting few-body quan- tum chaos: out-of-time ordered correlators at saturation, JHEP05, 023, arXiv:2202.09443 [hep-th]

    D. Markovi´ c and M.ˇCubrovi´ c, Detecting few-body quan- tum chaos: out-of-time ordered correlators at saturation, JHEP05, 023, arXiv:2202.09443 [hep-th]

    arXiv

  48. [48]

    Amore, L

    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, arXiv:2407.07259 [hep-th]

    arXiv

  49. [49]

    Maldacena, S

    J. Maldacena, S. H. Shenker, and D. Stanford, A bound on chaos, JHEP08, 106, arXiv:1503.01409 [hep-th]

    Pith/arXiv arXiv