Track the frontier, from condensed matter to cosmology.
Search papers, labs, and topics across Lattice.
This work proves the formal equivalence between Ogata’s operator-algebraic topological indices and Tasaki’s elementary twist index for integer-spin quantum chains with on-site $\mathrm{U}(1)\rtimes\mathbb{Z}_2$ symmetry and locally unique gapped ground states. By eliminating the standard prerequisites of translation invariance and matrix product state representations, it establishes a computable formula with explicit error bounds for symmetry-protected topological phases whenever a spectral gap lower bound is known. The framework is validated on the antiferromagnetic Heisenberg chain to rigorously determine its Ogata index as $(-1)^S$, with substantial proof construction directly contributed by ChatGPT.
Two fundamentally distinct topological invariants for symmetry-protected quantum spin chains are provably identical even without translation invariance or matrix product representations.
Symmetry-protected topological (SPT) phases in quantum spin chains are distinguished by topological indices. Ogata's operator-algebraic indices apply to a broad range of symmetry classes without requiring continuous symmetry, whereas the elementary twist index of Tasaki requires $\mathrm{U}(1)$ symmetry. We prove their equivalence in the common setting of integer-spin chains with on-site $\mathrm{U}(1)\rtimes\mathbb{Z}_2$ symmetry and a symmetric locally-unique gapped ground state, without assuming translation invariance or a matrix product representation. A charge-fluctuation estimate yields a strong-limit construction of half-chain rotations with their phases fixed. An exact group commutator identity then identifies the Ogata index with the limit of local twist expectations and gives an explicit error bound. This provides a computable formula when a lower bound on the gap and the relevant ground-state expectations are available. As an application, a previous twist-index calculation determines the Ogata index to be $(-1)^S$ for the antiferromagnetic Heisenberg chain under explicit uniqueness and boundary-field gap assumptions. The author formulated the problem and proposed the basic strategy, while ChatGPT made substantial contributions to the development of the proof.