aiqbench analysis
This research establishes a rigorous mathematical equivalence between two distinct topological indices for U(1)-symmetric quantum spin chains, removing the need for translation invariance or matrix product representations. By deriving an explicit computable formula with error bounds, the work advances the theoretical framework for characterizing symmetry-protected topological phases in integer-spin systems. The study also highlights a novel collaboration method where an AI model contributed substantially to developing the proof alongside the human author.
The equivalence of topological indices for $\mathrm{U}(1)\rtimes\mathbb{Z}_2$-symmetric quantum spin chains
arXiv:2609.34119v1 Announce Type: cross Abstract: 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.
Abstract: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.
Mathematical Physics (math-ph); Statistical Mechanics (cond-mat.stat-mech); Strongly Correlated Electrons (cond-mat.str-el); Quantum Physics (quant-ph)
arXiv:2609.34119 [math-ph]
(or arXiv:2609.34119v1 [math-ph] for this version)
https://doi.org/10.48550/arXiv.2609.34119 arXiv-issued DOI via DataCite (pending registration)
Full text under the publisher's open licence · 200 words
Related coverage
The Hidden Subgroup Problem in Semidirect Products and Quasi-Hamiltonian Groups
arXiv · Aug 7, 2026
Quantum mechanics on the line with two origins
arXiv · Jul 30, 2026
Symmetry-enriched topological order in tensor networks: Defects, gauging and anyon condensation
Quantum Journal · Sep 1, 2026
Spin Chain with Continuous Exponential Symmetry: Topological Phase and Beyond
arXiv · Oct 9, 2026