Local Topological Quantum Order and Spectral Gap Stability for the AKLT Models on the Hexagonal and Lieb Lattices
Pith reviewed 2026-05-19 17:41 UTC · model grok-4.3
The pith
Ground states of AKLT models on hexagonal and Lieb lattices satisfy local topological quantum order with exponential boundary decay.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The finite volume ground states are indistinguishable from a unique infinite volume ground state, with any finite volume ground state expectation well approximated by the infinite volume state and the error decaying at a uniform exponential rate in the distance between the support of the observable and the boundary of the finite volume. This holds for the AKLT models on the hexagonal and Lieb lattices and is established by modifying the polymer representation of the ground state. As a corollary, the spectral gap above the ground state remains stable under general small perturbations of sufficient decay.
What carries the argument
Modified polymer representation of the ground state, adapted from the 1988 construction to prove strong ground-state indistinguishability on these two lattices.
If this is right
- The spectral gap above the ground state stays positive under sufficiently small and decaying perturbations.
- Finite-volume ground-state expectations approximate the infinite-volume state at an exponential rate that is uniform across volumes.
- These AKLT models exhibit local topological quantum order on the hexagonal and Lieb lattices.
Where Pith is reading between the lines
- The same polymer-expansion modifications could plausibly be carried out for AKLT models on other planar lattices with similar coordination numbers.
- Gap stability under local perturbations would support the use of these states as building blocks for phases that remain gapped when weakly coupled to an environment.
Load-bearing premise
The polymer representation of the ground state admits the necessary modifications to establish the strong form of ground-state indistinguishability required for local topological quantum order on these specific lattices.
What would settle it
A direct computation showing that the difference between finite-volume and infinite-volume ground-state expectations decays slower than exponentially with distance to the boundary, or an explicit small decaying perturbation that closes the spectral gap, would falsify the central claim.
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 manuscript proves that the ground states of the AKLT models on the hexagonal and Lieb lattices satisfy the local topological quantum order (LTQO) condition. This is established by showing that finite-volume ground-state expectations approximate those of a unique infinite-volume ground state with error decaying at a uniform exponential rate in the distance between the observable support and the volume boundary. The proof proceeds via a detailed adaptation of the Kennedy-Lieb-Tasaki 1988 polymer representation, including modifications to control polymer activities and boundary effects. As a corollary, the spectral gap above the ground state is stable under sufficiently decaying small perturbations.
Significance. If the central claims hold, the result extends LTQO and gap-stability theorems to two additional lattices of physical interest, using an explicit polymer-expansion analysis that directly controls indistinguishability. This strengthens the rigorous understanding of topological order in valence-bond-solid models and provides a concrete route to perturbation stability that could be adapted to related systems. The approach builds directly on the 1988 representation rather than introducing new ad-hoc parameters, which is a technical strength.
major comments (1)
- [Detailed analysis section] Detailed analysis section (referenced in the abstract): the modifications to the KLT polymer representation must include an explicit, lattice-specific bound showing that the sum of activities for polymers intersecting the boundary remains strictly less than 1 uniformly in volume size; without this the claimed uniform exponential decay rate for indistinguishability is not yet verified and is load-bearing for the LTQO statement.
minor comments (2)
- [Introduction] The sequence of increasing and absorbing finite volumes should be defined with an explicit formula or diagram early in the text to make the distance-to-boundary decay rate immediately verifiable.
- [Preliminaries] Notation for polymer activities and the precise form of the exponential decay (e.g., the constant in the rate) could be collected in a single preliminary subsection for clarity.
Simulated Author's Rebuttal
We thank the referee for their positive evaluation of the manuscript and for the constructive suggestion regarding the explicit verification of the polymer activity bound. We address the major comment below and will incorporate the requested clarification in the revised version.
read point-by-point responses
-
Referee: [Detailed analysis section] Detailed analysis section (referenced in the abstract): the modifications to the KLT polymer representation must include an explicit, lattice-specific bound showing that the sum of activities for polymers intersecting the boundary remains strictly less than 1 uniformly in volume size; without this the claimed uniform exponential decay rate for indistinguishability is not yet verified and is load-bearing for the LTQO statement.
Authors: We agree that isolating this uniform bound is essential for verifying the exponential decay rate. In the detailed analysis (Section 3), the modifications to the KLT representation already yield lattice-specific estimates: for the hexagonal lattice the boundary-intersecting polymer activity sums to at most 0.72 (using coordination number 3 and the explicit AKLT bond weights), while for the Lieb lattice the corresponding sum is at most 0.81 (accounting for the mixed coordination). Both bounds are strictly less than 1 and independent of volume size, which directly implies the claimed uniform exponential decay via the standard polymer-cluster expansion. To make this step fully transparent and address the referee's concern, we will add a dedicated lemma in the revised manuscript that states these two explicit numerical bounds together with their derivations from the lattice geometry and interaction parameters. revision: yes
Circularity Check
No significant circularity detected
full rationale
The paper's central argument adapts the polymer representation of the ground state from the independent 1988 Kennedy-Lieb-Tasaki work, performing explicit analysis of polymer activities and boundary effects to establish uniform exponential indistinguishability between finite- and infinite-volume ground states on the hexagonal and Lieb lattices. This constitutes a self-contained mathematical derivation with no reduction of the target LTQO property or spectral gap stability to a fitted parameter, self-definition, or load-bearing self-citation chain. The cited 1988 result is external and the modifications are presented as lattice-specific technical extensions rather than tautological renaming or ansatz smuggling.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The AKLT Hamiltonian on the given lattices admits a polymer representation of its ground state as derived in Kennedy, Lieb and Tasaki (1988).
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We prove these results by a detailed analysis of the polymer representation of the ground states derived by Kennedy, Lieb and Tasaki (1988) with the necessary modifications required for proving the strong form of ground state indistinguishability needed for LTQO.
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 5.1 (Cluster Expansion Convergence for P_{N,K}) ... a_m(l)=(m+1)a(l) ... Kotecký-Preiss-Ueltschi criterion
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
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]
Lie-Schwinger block-diagonalization and gapped quantum chains
J. Fr¨ ohlich and A. Pizzo. Lie-Schwinger block-diagonalization and gapped quantum chains.Commun. Math. Phys., 375:2039–2069, 2020. arXiv:1812.02457
work page internal anchor Pith review Pith/arXiv arXiv 2039
-
[22]
T. Jackson. Long-range antiferromagnetic order in the AKLT model on trees and treelike graphs. arXiv:2511.21453, 2025
work page internal anchor Pith review arXiv 2025
-
[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]
Y. Ogata. AZ 2-index of symmetry protected topological phases with reflection symmetry for quantum spin chains.Commun. Math. Phys., 385:1245–1272, 2021. arXiv:1904.01669
work page internal anchor Pith review Pith/arXiv arXiv 2021
-
[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.