On the uniqueness of translation-invariant ground states of the $S=1$ Heisenberg and $J$--$D$ antiferromagnetic chains
Using the analytic machinery and numerical inputs of OpenAI's proofs of the Haldane gap, we prove uniqueness of the translation-invariant ground state of the infinite $S=1$ Heisenberg antiferromagnetic chain and of the $J$-$D$ model for sufficiently small $|D|$. Uniqueness is among all translation-invariant ground stat...