Spin-one Haldane gap
The quantity is the uniform periodic spin-one spectral-gap lower bound at , compared on the original domain of even . A higher lower bound is better. The claim assumes the cited OpenAI spatial-transfer identities and certified finite inputs. The extension to every integer is listed under Relevant repos.
These results are Claimed: their authors published them, and we have not checked them.
| Bound | Evidence level | Author | Date | Proof scope |
|---|---|---|---|---|
| Claimed | Proof scopeNo Lean proof is supplied. |
Relevant repos
- amachino/haldane-gap-refinement: The extension includes every integer length at least 24.