Threshold and positive-energy bound states of the BFSS matrix model

Claims the BFSS matrix model has one zero-energy bound state for every N, and many positive-energy states at N = 2.

2 papers September 24, 2026 Explained by AI

The BFSS model is a quantum system of nine large matrices and their fermion partners, proposed as a description of M-theory. Witten predicted that, for every matrix size N, it has exactly one trapped state of zero energy. Physics arguments supported this, but they relied on assumptions about far-away regions. One paper claims to prove the prediction for every N, and a second claims infinitely many trapped positive-energy states at N = 2. There is no Lean check.

First step
1996
Edward Witten, prediction of a unique D0-brane threshold bound state
Significance
Major
The threshold-bound-state conjecture is a central assumption of the BFSS matrix-theory proposal in string theory.
Trust
Claimed, not checked
Field
Mathematical physics
2 papers

The explanation

Take two vectors x¹ and x² in a plane, and use the energy V = |x¹ ∧ x²|². This is the squared area of the parallelogram they span. Put x¹ = (r, 0) and x² = (0, s). Then V = r²s². At r = 10 and s = 0.1, V = 1. If the vectors point the same way, V = 0 however long they are. So the energy has flat valleys running off to infinity. A classical ball can roll out along such a valley. A quantum particle might not, because the valley gets narrower as r grows.

The BFSS model uses a potential of this kind. It has nine Hermitian matrices, plus fermion partners, linked by supersymmetry. Supersymmetric matrix quantum mechanics first appeared in the study of supermembranes. With SU(N) matrices it has 9(N² − 1) position coordinates. That is 27 for N = 2 and 72 for N = 3. Witten predicted that, with the centre of mass removed, every N has exactly one normalizable zero-energy state. Normalizable means the wave stays concentrated, so the particles stay bound. In matrix theory, this state is the inner state of a single supergraviton carrying N units of momentum.

The state is hard to see because it sits at a threshold. The continuous spectrum, the energies of states that escape, starts at zero. So the bound state has the same energy as states flying apart. Physicists counted zero-energy states with a supersymmetric index. In this noncompact problem, contributions from infinity are essential. Sethi and Stern obtained the N = 2 index by including such a boundary term. A general-N argument by Konechny assumed that certain matrix differences all grow at the same rate. Controlling the regions where they do not is the main obstacle.

The first paper claims the full result. For every N ≥ 2, the model has exactly one normalizable zero-energy state after removing the centre of mass. The paper calls this a proof of the threshold-bound-state conjecture.

The second paper looks at N = 2 above zero energy. The flat valleys appear when the three vectors in the model line up. The paper claims an unbounded sequence of positive energies with trapped wave functions. In some symmetry sectors, oscillation across the valley costs enough energy to hold the state in. The paper says this refutes, at N = 2, the original BFSS paper's exclusion of such states.

How sure is this? There is no Lean formalization for these papers. The claims rest on two papers, one of them long. No specialist review of them has been published.

What it doesn't show. This does not prove the BFSS matrix-theory conjecture itself, or anything about the large-N limit.

Where it came from

This result comes from an unreleased OpenAI model, published in the openai/math release on 6 October 2026.

Hype check

Major if it holds. There is no Lean check. Both the unique bound state and the N = 2 positive-energy states rest on two papers with no published specialist review.

Words used

BFSS model
Banks–Fischler–Shenker–Susskind matrix quantum mechanics: nine Hermitian matrices and fermions, proposed as a description of M-theory.
Supersymmetry
A symmetry pairing boson and fermion degrees of freedom; here it makes zero the lowest possible energy.
Normalizable state
A wave function with finite total probability, so the system stays bound rather than flying apart.
Threshold bound state
A bound state whose energy equals the lowest energy of escaping states, here zero.
Continuous spectrum
The range of energies of states that are not bound, such as particles moving apart.
Supersymmetric index
A count of zero-energy states, bosonic minus fermionic, used by physicists to predict bound states.
SU(N)
The group of N × N unitary matrices with determinant one; it sets the matrix size of the model.

The original papers (2)

All quoted lines (11)

  1. Supersymmetric matrix quantum mechanics appears in the regularization of supermembranes and in the matrix-theory conjecture of Banks, Fischler, Shenker, and Susskind.
    The unique threshold bound state of the SU(N) BFSS model Back to text
  2. The D0-brane bound-state prediction of Witten, subsequently central to matrix theory, is that after removing the free center of mass every finite matrix size has exactly one normalizable state of zero energy.
    The unique threshold bound state of the SU(N) BFSS model Back to text
  3. In the matrix-theory interpretation, this relative bound state supplies the internal state of a single supergraviton carrying NN units of longitudinal momentum.
    The unique threshold bound state of the SU(N) BFSS model Back to text
  4. The continuous spectrum starts at zero, so the proposed eigenstate lies at its threshold rather than below a gapped continuum.
    The unique threshold bound state of the SU(N) BFSS model Back to text
  5. In the present noncompact problem, contributions from infinity are essential.
    The unique threshold bound state of the SU(N) BFSS model Back to text
  6. Yi computed the \SU(2)\SU(2) bulk term and proposed a free-particle argument for its boundary correction; Sethi–Stern obtained the two-particle index by including its boundary term.
    The unique threshold bound state of the SU(N) BFSS model Back to text
  7. His expansion assumes that the eigenvalue differences of one diagonalized matrix grow at the same order.
    The unique threshold bound state of the SU(N) BFSS model Back to text
  8. For every finite N≥2N\ge2, we prove that undeformed \SU(N)\SU(N) BFSS matrix quantum mechanics has exactly one normalizable zero-energy state after removing the center of mass.
    The unique threshold bound state of the SU(N) BFSS model Back to text
  9. It vanishes when the three spatial vectors are collinear, leaving an unbounded set along which confinement can fail.
    Positive eigenvalues of the relative SU(2) BFSS Hamiltonian Back to text
  10. For the relative \SU(2)\SU(2) Hamiltonian defined below, we prove an unbounded sequence of positive eigenvalues with square-integrable eigenvectors.
    Positive eigenvalues of the relative SU(2) BFSS Hamiltonian Back to text
  11. This refutes, at N=2N=2, the exclusion of normalizable positive-energy states stated in the original BFSS paper.
    Positive eigenvalues of the relative SU(2) BFSS Hamiltonian Back to text

Other sources

  1. openai/math release notes (2026): model provenance and review status manuscripts and supporting proof artifacts produced by an internal OpenAI model

Browse Mathematical physics Open since the 1990sClaimed, not yet checked