Recognition: 1 theorem link
· Lean TheoremLocal Topological Quantum Order and Spectral Gap Stability for the AKLT Models on the Hexagonal and Lieb Lattices
Pith reviewed 2026-05-13 03:02 UTC · model grok-4.3
The pith
The AKLT models on the hexagonal and Lieb lattices have ground states satisfying local topological quantum order.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that, for sequences of increasing finite volumes that absorb the lattice, the expectation of any local observable in a finite-volume ground state differs from its value in the unique infinite-volume ground state by an amount that decays exponentially in the distance from the observable's support to the volume boundary, and the decay rate is independent of the volume. This strong form of ground-state indistinguishability directly yields the local topological quantum order property; the spectral gap above the ground state then remains stable under sufficiently weak perturbations of sufficient spatial decay.
What carries the argument
The modified polymer representation of the ground states, obtained by adapting the expansion originally introduced for the AKLT model to the geometry of the hexagonal and Lieb lattices, which supplies the uniform exponential bound on the finite-to-infinite volume error.
Load-bearing premise
The polymer representation of the ground states admits the necessary modifications for these lattices to yield uniform exponential decay of the approximation error between finite- and infinite-volume states.
What would settle it
A direct numerical or analytic computation, on successively larger finite hexagonal or Lieb lattices, that shows the error for a local observable placed at fixed distance from the boundary fails to decay exponentially with that distance.
Figures
read the original abstract
We prove that the ground state of the AKLT models on the hexagonal lattice and the Lieb lattice satisfy the local topological quantum order (LTQO) condition. This will be a consequence of proving that the finite volume ground states are indistinguishable from a unique infinite volume ground state. Concretely, we identify a sequence of increasing and absorbing finite volumes for which any finite volume ground state expectation is well approximated by the infinite volume state with error decaying at a uniform exponential rate in the distance between the support of the observable and boundary of the finite volume. As a corollary to the LTQO property, we obtain that the spectral gap above the ground state in these models is stable under general small perturbations of sufficient decay. We prove these results by a detailed analysis of the polymer representation of the ground states state derived by Kennedy, Lieb and Tasaki (1988) with the necessary modifications required for proving the strong form of ground state indistinguishability needed for LTQO.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that the ground states of the AKLT models on the hexagonal and Lieb lattices satisfy the local topological quantum order (LTQO) condition. This follows from showing that finite-volume ground state expectations are indistinguishable from those of a unique infinite-volume ground state, with the error decaying exponentially in the distance from the observable support to the volume boundary. The proof involves lattice-specific modifications to the polymer representation of the ground states from Kennedy, Lieb, and Tasaki (1988). As a corollary, the spectral gap is stable under small, sufficiently decaying perturbations.
Significance. If the central claims hold, this result is significant for the field of quantum spin systems and topological phases. It extends the LTQO property and gap stability to the hexagonal lattice (relevant for 2D antiferromagnets) and the Lieb lattice (with its unique coordination). The manuscript's strength lies in providing the detailed modifications to the 1988 polymer expansion to achieve the required uniform exponential decay, which is a non-trivial technical achievement. This could serve as a model for analyzing other lattices where direct application of prior results fails due to geometry.
major comments (1)
- [Polymer representation analysis (detailed in the main technical section)] The central claim of uniform exponential decay ||<O>_Λ - <O>_∞|| ≤ C exp(−dist(supp(O),∂Λ)/ξ) with ξ, C independent of the absorbing sequence Λ_n relies on the modified polymer expansion. The paper needs to explicitly verify that for the hexagonal lattice's 3-regular structure and the Lieb lattice's mixed 2/4-regular vertices, the polymer activities satisfy submultiplicativity with constants allowing convergence in a radius that ensures no lattice-dependent prefactors or loss of uniformity in the decay rate. This is load-bearing for the indistinguishability and thus for LTQO.
minor comments (1)
- [Abstract] The abstract is dense and could benefit from separating the main result from the method and corollary for better readability.
Simulated Author's Rebuttal
We thank the referee for their careful reading of our manuscript and for recognizing the significance of extending LTQO and gap stability to the hexagonal and Lieb lattices. We address the major comment below and will incorporate revisions to improve clarity.
read point-by-point responses
-
Referee: [Polymer representation analysis (detailed in the main technical section)] The central claim of uniform exponential decay ||<O>_Λ - <O>_∞|| ≤ C exp(−dist(supp(O),∂Λ)/ξ) with ξ, C independent of the absorbing sequence Λ_n relies on the modified polymer expansion. The paper needs to explicitly verify that for the hexagonal lattice's 3-regular structure and the Lieb lattice's mixed 2/4-regular vertices, the polymer activities satisfy submultiplicativity with constants allowing convergence in a radius that ensures no lattice-dependent prefactors or loss of uniformity in the decay rate. This is load-bearing for the indistinguishability and thus for LTQO.
Authors: We thank the referee for this observation, which correctly identifies a load-bearing technical requirement. In Sections 3 and 4 of the manuscript we adapt the Kennedy-Lieb-Tasaki polymer representation to the specific geometries: for the hexagonal lattice we use its uniform 3-regular structure to bound the polymer weights, while for the Lieb lattice we treat the mixed 2- and 4-coordinated vertices separately when enumerating connected clusters. We derive explicit submultiplicative bounds on the activities whose constants depend only on the maximum degree and the AKLT parameter range, yielding a convergence radius that is uniform across both lattices and independent of the absorbing sequence Λ_n. This ensures the exponential decay rate ξ and prefactor C remain free of lattice-dependent factors that would compromise LTQO. To make the verification fully explicit and address the referee's request, we will add a short lemma (or dedicated paragraph) in the main technical section that tabulates the activity bounds and confirms submultiplicativity for each lattice. revision: yes
Circularity Check
No circularity: LTQO follows from analysis of external KLT 1988 polymer representation with lattice modifications
full rationale
The paper derives LTQO for the AKLT models on the hexagonal and Lieb lattices by establishing uniform exponential indistinguishability between finite-volume and infinite-volume ground states. This is achieved through a detailed analysis of the polymer representation originally derived in the independent 1988 work of Kennedy, Lieb, and Tasaki, with explicit modifications for the target lattices to control boundary effects and ensure the required decay rate. The key citation has no author overlap with the present paper, the modifications are constructed and verified within the current work rather than presupposed, and no steps reduce a claimed prediction or uniqueness result to a fitted parameter or self-citation by construction. The derivation chain therefore remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The infinite-volume AKLT ground state on the given lattices is unique and gapped.
- domain assumption The polymer representation of Kennedy, Lieb and Tasaki (1988) extends to the hexagonal and Lieb lattices with the stated modifications.
Reference graph
Works this paper leans on
-
[1]
H. Abdul-Rahman, M. Lemm, A. Lucia, B. Nachtergaele, and A. Young. A class of two-dimensional AKLT models with a gap. In A. Young H. Abdul-Rahman, R. Sims, editor,Analytic Trends in Mathematical Physics, volume 741 ofContemporary Mathematics, pages 1–21. American Mathematical Society, 2020. arXiv:1901.09297
-
[2]
I. Affleck, T. Kennedy, E.H. Lieb, and H. Tasaki. Rigorous results on valence-bond ground states in antiferro- magnets.Phys. Rev. Lett., 59:799, 1987
work page 1987
-
[3]
I. Affleck, T. Kennedy, E.H. Lieb, and H. Tasaki. Valence bond ground states in isotropic quantum antiferro- magnets.Comm. Math. Phys., 115(3):477–528, 1988
work page 1988
- [4]
-
[5]
S. Bachmann, E. Hamza, B. Nachtergaele, and A. Young. Product Vacua and Boundary State models ind dimensions.J. Stat. Phys., 160:636–658, 2015
work page 2015
-
[6]
M. Bishop. Spectral gaps for the two-species product vacua and boundary states models on the d-dimensional lattice.J. Stat. Phys., 75:418–455, 2019
work page 2019
- [7]
-
[8]
J. E. Bj¨ ornberg, P. M¨ uhlbacher, B. Nachtergaele, and D. Ueltschi. Dimerization in quantum spin chains with O(n) symmetry.Commun. Math. Phys., 387:1151–1189, 2021
work page 2021
-
[9]
Classification of the anyon sectors of Kitaev’s quantum double model
Alex Bols and Siddharth Vadnerkar. Classification of the anyon sectors of Kitaev’s quantum double model. Commun. Math. Phys., 406:188, 2025
work page 2025
-
[10]
C. Bourne and Y. Ogata. The classification of symmetry protected topological phases of one-dimensional fermion systems.Forum of Mathematics, Sigma, 9:E25, 2021
work page 2021
- [11]
-
[12]
S. Bravyi and M. B. Hastings. A short proof of stability of topological order under local perturbations.Commun. Math. Phys., 307:609, 2011
work page 2011
- [13]
- [14]
- [15]
-
[16]
W. De Roeck and M. Salmhofer. Persistence of exponential decay and spectral gaps for interacting fermions. Commun. Math. Phys., 365:773–796, 2019. 58 T. JACKSON, B. NACHTERGAELE, AND A. YOUNG
work page 2019
-
[17]
S. Del Vecchio, J. Fr¨ ohlich, A. Pizzo, and S. Rossi. Lie-Schwinger block-diagonalization and gapped quantum chains with unbounded interactions.Commun. Math. Phys., 381:1115–1152, 2021. arXiv:1908.07450
-
[18]
S. Del Vecchio, J. Fr¨ ohlich, A. Pizzo, and S. Rossi. Local interative block-diagonalization of gapped Hamiltonians: a new tool in singular perturbation theory.J. Math. Phys., 63:073503, 2022. arXiv:2007.07667
- [19]
-
[20]
S. Friedli and Y. Velenik.Statistical Mechanics of Lattice Systems: A Concrete Mathematical Introduction. Cambridge University Press, 2017
work page 2017
-
[21]
J. Fr¨ ohlich and A. Pizzo. Lie-Schwinger block-diagonalization and gapped quantum chains.Commun. Math. Phys., 375:2039–2069, 2020. arXiv:1812.02457
- [22]
-
[23]
T. Jackson. SU(N) conjugate-neighbor AKLT models. In preparation, 2026
work page 2026
-
[24]
Local topological order and boundary algebras.Forum of Mathematics, Sigma, 13:e135, 2025
Corey Jones, Pieter Naaijkens, David Penneys, Daniel Wallick, and Masaki Izumi. Local topological order and boundary algebras.Forum of Mathematics, Sigma, 13:e135, 2025
work page 2025
-
[25]
A. Kapustin and N. Sopenko. Local Noether theorem for quantum lattice systems and topological invariants of gapped states.J. Math. Phys., 63:091903, 2022. arXiv:2201.01327
-
[26]
A. Kapustin, N. Sopenko, and B. Yang. A classification of phases of bosonic quantum lattice systems in one dimension.J. Math. Phys., 62:081901, 2021
work page 2021
-
[27]
T. Kennedy, E.H. Lieb, and H. Tasaki. A two-dimensional isotropic quantum antiferromagnet with unique disordered ground state.J. Stat. Phys., 53:383–415, 1988
work page 1988
-
[28]
A. Kitaev. Anyons in an exactly solved model and beyond.Annals of Physics, 321:2–111, 2006
work page 2006
-
[29]
R. Koteck´ y and D. Preiss. Cluster expansion for abstract polymer models.Commun. Math. Phys., 103:491–498, 1986
work page 1986
- [30]
-
[31]
M.A. Levin and X.-G. Wen. String-net condensation: A physical mechanism for topological phases.Phys. Rev. B, 71:045110, 2005
work page 2005
- [32]
- [33]
-
[34]
S. Michalakis and J.P. Zwolak. Stability of frustration-free Hamiltonians.Commun. Math. Phys., 322:277–302, 2013
work page 2013
- [35]
-
[36]
B. Nachtergaele, R. Sims, and A. Young. Quasi-locality bounds for quantum lattice systems and perturbations of gapped ground states II. Perturbations of frustration-free spin models with gapped ground states.Ann. H. Poincar´ e, 23:393–511, 2022
work page 2022
-
[37]
B. Nachtergaele, R. Sims, and A. Young. Stability of the bulk gap for frustration-free topologically ordered quantum lattice systems.Lett. Math. Phys., 114:24, 2024. arXiv:2102.07209
- [38]
- [39]
-
[40]
N. Pomata and T.-C. Wei. AKLT models on decorated square lattices are gapped.Phys. Rev. B, 100:094429, 2019
work page 2019
-
[41]
N. Pomata and T.-C. Wei. Demonstrating the Affleck-Kennedy-Lieb-Tasaki spectral gap on 2d degree-3 lattices. Phys. Rev. Lett., 124:177203, 2020. arXiv:1911.01410
- [42]
-
[43]
Tzu-Chieh Wei, Ian Affleck, and Robert Raussendorf. Affleck-Kennedy-Lieb-Tasaki state on a honeycomb lattice is a universal quantum computational resource.Phys. Rev. Lett., 106:070501, 2011
work page 2011
-
[44]
Hybrid valence-bond states for universal quantum computation.Phys
Tzu-Chieh Wei, Poya Haghnegahdar, and Robert Raussendorf. Hybrid valence-bond states for universal quantum computation.Phys. Rev. A, 90:042333, 2014
work page 2014
-
[45]
D. A. Yarotsky. Ground states in relatively bounded quantum perturbations of classical lattice systems.Commun. Math. Phys., 261:799–819, 2006. LTQO FOR AKLT MODELS ON HEXAGONAL AND LIEB LATTICES 59 (Thomas Jackson)Department of Mathematical Sciences, United Arab Emirates University, AL Ain, UAE (Bruno Nachtergaele)Department of Mathematics and Center for ...
work page 2006
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.