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.
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.
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 supermembranesSource 1. 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 stateSource 2. 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 momentumSource 3.
The state is hard to see because it sits at a threshold. The continuous spectrum, the energies of states that escape, starts at zeroSource 4. 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 essentialSource 5. Sethi and Stern obtained the N = 2 index by including such a boundary termSource 6. A general-N argument by Konechny assumed that certain matrix differences all grow at the same rateSource 7. 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 massSource 8. 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 upSource 9. The paper claims an unbounded sequence of positive energies with trapped wave functionsSource 10. 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 statesSource 11.
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)
-
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 -
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 -
In the matrix-theory interpretation, this relative bound state supplies the internal state of a single supergraviton carrying units of longitudinal momentum.
The unique threshold bound state of the SU(N) BFSS model Back to text -
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 -
In the present noncompact problem, contributions from infinity are essential.
The unique threshold bound state of the SU(N) BFSS model Back to text -
Yi computed the 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 -
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 -
For every finite , we prove that undeformed 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 -
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 -
For the relative 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 -
This refutes, at , 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
- openai/math release notes (2026): model provenance and review status
manuscripts and supporting proof artifacts produced by an internal OpenAI model
Related results
- 266Exactly three mutually unbiased bases in dimension sixMathematical physics
- 274Parity is not in QAC 0Mathematical physics
- 277Threshold repetition for entangled gamesMathematical physics
- 279Exact quantum factoring over a fixed finite gate setMathematical physics
- 269Uniform Laughlin gap and stability under bounded scalar disorderMathematical physics
Browse Mathematical physics Open since the 1990sClaimed, not yet checked