Spin-one Haldane gap

The quantity is the uniform periodic spin-one spectral-gap lower bound γL\gamma_L at J=1J=1, compared on the original domain of even L≥2304L\ge2304. A higher lower bound is better. The claim assumes the cited OpenAI spatial-transfer identities and certified finite inputs. The extension to every integer L≥24L\ge24 is listed under Relevant repos.

OpenAI baseline: log⁡(20)/784\log(20)/784, released .

These results are Claimed: their authors published them, and we have not checked them.

BoundEvidence levelAuthorDateProof scope
0.15150.1515Claimedamachino
Proof scope

No Lean proof is supplied.

Relevant repos