- Department of Physics and Astronomy, University of British Columbia
APP-261030-0000mathematical-physicsRelease v1.0.0Listed Oct 30, 2026
Open in your agent
git clone --recurse-submodules --branch v1.0.0 https://github.com/mrozali/d0d4-threshold-bound-states.gitcd d0d4-threshold-bound-statesclaudegit clone --recurse-submodules --branch v1.0.0 https://github.com/mrozali/d0d4-threshold-bound-states.gitcd d0d4-threshold-bound-statescodexThese commands clone the repository and initialize the AI agent in its directory. Ask the agent to explain methodology, clarify derivations, or reproduce figures. The repository supports Claude Code, Codex, and any agent that reads AGENTS.md.
To import this paper into another project, install the APP plugin and run /load-paper https://github.com/mrozali/d0d4-threshold-bound-states/releases/tag/v1.0.0.
Summary
We report results on the normalizable zero-energy states of the ADHM quantum mechanics of k D0-branes bound to N_f D4-branes, obtained by carrying over to this system the strategy of the recent, unrefereed proof by OpenAI of the threshold-bound-state conjecture for the BFSS model. For one D0-brane we prove that the model has exactly one such state, both with one D4-brane, where existence was known and uniqueness had only been sketched, and with two coincident D4-branes, where the Higgs branch is the singular cone C²/Z₂ and the state is a flavour singlet. For one D4-brane and every k we classify the classical vacua of the pp-wave deformation of Kim, Lee and Yi. They are isolated and number the sum over j of p(j)p(k−j), and the vacua bound to the D4-brane are labelled by strict partitions with 2-core (1). The final counting step has an elementary proof.
We prove that the index of the deformed supercharge on torus invariants equals the same number for every k, which is the weak-coupling half of the induction that would give exactly one bound state for every k. We also show that the deformed superalgebra, unlike the algebra used in the BFSS proof, does not bound the rotation charge by a fixed fraction of the energy, and that for two coincident D4-branes at k = 2 the deformed potential has a non-compact zero set. The supersymmetry algebras, the Sethi–Stern identities, the algebraic inputs of the energy bounds and the counting step are proved in Lean 4. The analytic steps were checked by AI reviews, and the proofs have not been refereed.