Entanglement limits of frustration-free spin-1 chains: upper bounds, boundary-free translation-invariant constructions, and stability of long-range entanglement

The frustration-free (FF) spin-1 'Motzkin chain' of Bravyi, Caha, Movassagh, Nagaj and Shor (Phys. Rev. Lett. 109, 207202 (2012)) has a unique ground state whose half-chain entanglement entropy scales as $\frac{1}{2}\log n$ and a polynomially small spectral gap, showing that a one-dimensional chain can be gapless and entangled without frustration. The authors posed several open problems: (i) what the maximal ground-state entanglement of FF spin-1 chains is, in particular whether the Schmidt rank of a block can grow only polynomially in the block size so that FF spin-1 ground states are efficient matrix product states, and whether the Motzkin state saturates the bound; (ii) whether FF spin-1 chains with highly entangled ground states exist that do not rely on boundary terms, i.e., that possess a nontrivial translation-invariant thermodynamic limit; (iii) whether a two-bracket (spin-2) version achieves $S(A)\sim\sqrt{n}$ with an inverse-polynomial gap; and (iv) whether long-range ground-state entanglement, or steady-state entanglement in dissipative realizations, is stable under generic local perturbations such as external magnetic fields. Of these, (iii) has since been resolved affirmatively by the colored Motzkin chains of Movassagh and Shor; (i), (ii) and (iv) remain open: no general upper bound on the entanglement of FF spin-1 (local dimension 3) chains is known, no frustration-free fully translation-invariant chain with a globally unique highly entangled ground state is known at local dimension below 5, and no perturbative stability theorem for such entanglement exists.

Background

A quantum spin chain of length $n$ with local Hilbert-space dimension $d$ (a spin-$s$ particle has $d=2s+1$) is described by a Hamiltonian that is a sum of local terms. A Hamiltonian is called frustration-free (FF) if a ground state of the whole chain simultaneously minimizes every local term; FF Hamiltonians are the quantum analogue of satisfiable systems of local constraints, and their ground states are exactly the states annihilated by each term. The bipartite entanglement of a pure ground state is quantified by the von Neumann entropy $S(A)=-\mathrm{Tr}\,\rho_A\log\rho_A$ of the reduced density matrix of a block $A$. The Schmidt rank $\chi$ across a cut is the number of non-vanishing Schmidt coefficients in the bipartite decomposition, and $S(A)\le\log\chi$. For one-dimensional gapped systems the entropy of a contiguous block is bounded by a constant independent of the block size — the area law — and this is the reason such ground states admit efficient matrix product state (MPS) representations, i.e., chains of contracted tensors whose bond dimension grows polynomially in $\chi$. For gapless (critical) chains, often described at long distances by a conformal field theory (an emergent continuum theory with scale invariance), the entropy instead grows at most logarithmically in such systems, and it was widely expected that no physically reasonable one-dimensional system could violate the area law by more than a logarithmic factor.

For FF chains the smallest local dimension already matters: Chen, Chen, Duan, Ji and Zeng proved a no-go theorem stating that every FF two-body qubit (spin-1/2) Hamiltonian has a ground state that is a product of one- and two-qubit states, so no genuinely entangled state can be the non-degenerate ground state of such a chain. The first FF chain with an entangled unique ground state at the next local dimension, $d=3$ (spin 1), is the Motzkin chain of Bravyi, Caha, Movassagh, Nagaj and Shor. Its ground state is the uniform superposition of Motzkin paths — lattice walks that start and end at height zero using up, down and flat steps and never go below zero — encoded in the three spin states $|l\rangle,|r\rangle,|0\rangle$ (left bracket, right bracket, empty space), with the Hamiltonian enforcing the local Motzkin moves $00\leftrightarrow lr$, $0l\leftrightarrow l0$, $0r\leftrightarrow r0$ together with boundary projectors. The chain is translation-invariant in the bulk, FF, has a unique ground state with $S(\text{half-chain})=\frac{1}{2}\log n+O(1)$, and a spectral gap (the energy difference between the two lowest levels) lower-bounded by an inverse polynomial in $n$ and upper-bounded by $O(n^{-1/2})$; it is therefore gapless while frustration-free — 'criticality without frustration'. The construction also connects to dissipative state preparation: a FF ground state can be engineered as the unique steady state of a Lindblad master equation (a Markovian description of an open system coupled to a bath) with local quantum jump operators, so the entanglement questions for FF chains have direct open-system analogues.

Later work showed the Motzkin chain is not an endpoint. Movassagh and Shor generalized the construction to all integer spin $s$ (local dimension $d=2s+1$) using $s$-colored Motzkin paths in which each bracket carries one of $s$ colors, proving frustration-freeness, a unique ground state, $S\sim\sqrt{n}$ for $s\ge 2$, and polynomial gap bounds — the colored Motzkin (Shor–Movassagh) chains. Salberger and Korepin introduced the analogous Fredkin chain built from Dyck paths (walks with only up and down steps, equivalently balanced bracket strings) with three-body interactions at half-integer spin. Zhang, Ahmadain and Klich deformed the colored chain by an area weight, multiplying each path's amplitude by $t^{\text{area under the path}}$, obtaining a FF chain with a unique ground state and volume-law entanglement $S_n>n\log s$ for $t>1$, $s>1$ — at the price of an exponentially small gap proved by Levine and Movassagh — while Andrei, Lemm and Movassagh proved the spin-1 Motzkin chain becomes uniformly gapped for all $t<1$. Against this constructive progress, the entanglement capability of FF chains at the smallest local dimensions, and the robustness of these exotic ground states, are still only partially mapped.

Problem Statement

The common scientific objective is to complete the characterization of how much bipartite entanglement the unique ground state of a one-dimensional frustration-free chain with nearest-neighbor interactions can carry when the local dimension is small, and to determine whether such entanglement survives away from the exactly solvable, finely tuned constructions. The components, as posed in the source paper's 'Open problems' section, are jointly directed at this objective: an upper bound calibrates the maximum, a boundary-free construction calibrates the achievable minimum dimension and geometry, and stability decides whether any of it is physical rather than fine-tuned. Components (1)-(3) are the open targets and are independently refutable sub-claims: a resolution of any one of them stands on its own.

(1) Upper bound. What is the maximal ground-state entanglement of FF spin-1 (local dimension $d=3$) chains? In particular, can the Schmidt rank $\chi(L)$ of a block of $L$ spins grow faster than polynomially in $L$, or does every FF spin-1 ground state admit an efficient matrix product state representation? Does the (uncolored) Motzkin state, with $S(A)=\frac{1}{2}\log n$, saturate the achievable scaling at $d=3$? No general upper bound is currently known; volume-law FF ground states are known only at larger local dimension. The maximal-scaling question at $d=3$ comprises both aspects — whether the Schmidt rank can grow faster than polynomially and whether the uncolored Motzkin state saturates the achievable scaling at $d=3$.

(2) Boundary-free construction. Determine whether FF spin-1 chains with highly entangled ground states that do not rely on boundary conditions exist — i.e., chains that admit a nontrivial translation-invariant thermodynamic limit, ideally with a unique ground state — by explicit construction or by an impossibility proof. The pair-flip model is translation-invariant, FF and gapless with a $\sqrt{n}$-entangled ground state at $d=3$, but its ground space is degenerate and uniqueness is only conjectured with a small amount of frustration, so the fully frustration-free, non-degenerate version is the open target.

(3) Stability. Is long-range ground-state entanglement — or steady-state entanglement in dissipative (Lindblad) realizations — in one-dimensional spin chains stable against general local perturbations such as uniform external magnetic fields, or is it a fine-tuned property of the frustration-free point? The question concerns translation-invariant local perturbations of bounded strength, which include uniform external fields, and it arises in both the ground-state and the dissipative steady-state setting.

(4) A further question posed in the same paragraph — whether the Motzkin chain is critical in the sense of having a continuum limit described by a conformal field theory — has since been largely answered negatively (the gap scaling and the observed dynamics are incompatible with a standard conformal field theory), leaving the precise continuum description of these chains as the remaining interpretive issue.

The source's two-bracket conjecture — that a spin-2 (local dimension 5) version with two bracket types should have $S(A)\sim\sqrt{n}$ with an inverse-polynomial gap — is resolved affirmatively by the colored Motzkin chains of Movassagh and Shor and is therefore prior progress rather than part of the open target.

References

1. S. Bravyi, L. Caha, R. Movassagh, D. Nagaj, P. W. Shor, 'Criticality without frustration for quantum spin-1 chains', Phys. Rev. Lett. 109, 207202 (2012). DOI: 10.1103/PhysRevLett.109.207202, https://doi.org/10.1103/PhysRevLett.109.207202; preprint arXiv:1203.5801, https://arxiv.org/abs/1203.5801.
2. R. Movassagh, P. W. Shor, 'Supercritical entanglement in local systems: Counterexample to the area law for quantum matter', Proc. Natl. Acad. Sci. U.S.A. 113 (47), 13278-13282 (2016). DOI: 10.1073/pnas.1605716113, https://doi.org/10.1073/pnas.1605716113; preprint arXiv:1408.1657 'Power law violation of the area law in quantum spin chains', https://arxiv.org/abs/1408.1657.
3. Z. Zhang, A. Ahmadain, I. Klich, 'Novel quantum phase transition from bounded to extensive entanglement', Proc. Natl. Acad. Sci. U.S.A. 114 (20), 5142-5146 (2017). DOI: 10.1073/pnas.1702029114, https://doi.org/10.1073/pnas.1702029114; preprint arXiv:1606.07795, https://arxiv.org/abs/1606.07795.
4. L. Caha, D. Nagaj, 'The pair-flip model: a very entangled translationally invariant spin chain', arXiv:1805.07168 (2018), https://arxiv.org/abs/1805.07168.
5. J. Chen, X. Chen, R. Duan, Z. Ji, B. Zeng, 'No-go theorem for one-way quantum computing on naturally occurring two-level systems', Phys. Rev. A 83, 050301 (2011). DOI: 10.1103/PhysRevA.83.050301, https://doi.org/10.1103/PhysRevA.83.050301; preprint arXiv:1004.3787, https://arxiv.org/abs/1004.3787.
6. R. Movassagh, 'Entanglement and correlation functions of the quantum Motzkin spin-chain', J. Math. Phys. 58, 031901 (2017). DOI: 10.1063/1.4977829, https://doi.org/10.1063/1.4977829; arXiv:1602.07761, https://arxiv.org/abs/1602.07761.
7. L. Levine, R. Movassagh, 'The gap of the area-weighted Motzkin spin chain is exponentially small', J. Phys. A: Math. Theor. 50, 255302 (2017). DOI: 10.1088/1751-8121/aa6cc4, https://doi.org/10.1088/1751-8121/aa6cc4; arXiv:1611.03147, https://arxiv.org/abs/1611.03147.
8. R. Andrei, M. Lemm, R. Movassagh, 'The spin-one Motzkin chain is gapped for any area weight $t<1$', arXiv:2204.04517 (2022), https://arxiv.org/abs/2204.04517.
9. Z. Zhang, I. Klich, 'Entropy, gap and a multi-parameter deformation of the Fredkin spin chain', J. Phys. A: Math. Theor. 50, 425201 (2017). DOI: 10.1088/1751-8121/aa866e, https://doi.org/10.1088/1751-8121/aa866e; arXiv:1702.03581, https://arxiv.org/abs/1702.03581.
10. F. Sugino, P. Padmanabhan, 'Area law violations and quantum phase transitions in modified Motzkin walk spin chains', J. Stat. Mech. 2018, 013101 (2018). DOI: 10.1088/1742-5468/aa9dcb, https://doi.org/10.1088/1742-5468/aa9dcb; arXiv:1710.10426, https://arxiv.org/abs/1710.10426.
11. K. Adhikari, K. S. D. Beach, 'Deforming the Fredkin spin chain away from its frustration-free point', Phys. Rev. B 99, 054436 (2019). DOI: 10.1103/PhysRevB.99.054436, https://doi.org/10.1103/PhysRevB.99.054436; arXiv:1805.00532, https://arxiv.org/abs/1805.00532.
12. X. Chen, E. Fradkin, W. Witczak-Krempa, 'Gapless quantum spin chains: multiple dynamics and conformal wavefunctions', J. Phys. A: Math. Theor. 50, 464002 (2017). DOI: 10.1088/1751-8121/aa8dbc, https://doi.org/10.1088/1751-8121/aa8dbc; arXiv:1707.02317, https://arxiv.org/abs/1707.02317.
13. O. Salberger, V. Korepin, 'Fredkin Spin Chain', arXiv:1605.03842 (2016), https://arxiv.org/abs/1605.03842 (also published as a chapter, pp. 439-458, in the Ludwig Faddeev Memorial Volume, World Scientific (2018), DOI: 10.1142/9789813233867_0022, https://doi.org/10.1142/9789813233867_0022).
14. V. Menon, A. Gu, R. Movassagh, 'Symmetries, correlation functions, and entanglement of general quantum Motzkin spin-chains', arXiv:2408.16070 (2024), https://arxiv.org/abs/2408.16070.
15. A. Anshu, I. Arad, D. Gosset, 'Entanglement subvolume law for 2D frustration-free spin systems', Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing (STOC 2020), pp. 868-874. DOI: 10.1145/3357713.3384292, https://doi.org/10.1145/3357713.3384292; journal version: Commun. Math. Phys. 393, 955-988 (2022), DOI: 10.1007/s00220-022-04381-2, https://doi.org/10.1007/s00220-022-04381-2; arXiv:1905.11337, https://arxiv.org/abs/1905.11337.
16. K. Klocke, J. E. Moore, M. Buchhold, 'Power-law entanglement and Hilbert space fragmentation in nonreciprocal quantum circuits', Phys. Rev. Lett. 133, 070401 (2024). DOI: 10.1103/PhysRevLett.133.070401, https://doi.org/10.1103/PhysRevLett.133.070401; arXiv:2405.06021, https://arxiv.org/abs/2405.06021.
17. Y. Li, F. Pollmann, N. Read, P. Sala, 'Highly entangled stationary states from strong symmetries', Phys. Rev. X 15, 011068 (2025). DOI: 10.1103/PhysRevX.15.011068, https://doi.org/10.1103/PhysRevX.15.011068; arXiv:2406.08567, https://arxiv.org/abs/2406.08567.
18. A. Anshu, S. Balasubramanian, J. Haferkamp, A. W. Harrow, X. Tan, 'Depth-1 expanders on the unitary group and applications', arXiv:2609.01605 (2026), https://arxiv.org/abs/2609.01605.
19. S. J. Garratt, D. A. Abanin, 'Quantum matter is weakly entangled at low energies', arXiv:2604.14143 (2026), https://arxiv.org/abs/2604.14143.
20. A. G. Pronko, 'Periodic Motzkin chain: Ground states and symmetries', arXiv:2504.00835 (2025), https://arxiv.org/abs/2504.00835.