Pith. sign in

REVIEW 4 major objections 3 minor 27 references

Shor-Movassagh chain leads to unusual integrable model

T0 review · 4 major / 3 minor · reviewed 2026-08-27 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The free Shor-Movassagh open spin chain is completely integrable, and the paper constructs its Lax pair and boundary K-matrices explicitly.

desk verdict Plausible but under-proved: the paper constructs explicit Lax and K-matrices for the free Shor-Movassagh open chain, but the central integrability claim rests on an unproved commutativity assertion. read the letter →

arxiv 2009.10368 v1 pith:UZH4DBNS submitted 2020-09-22 math-ph math.MPnlin.SIquant-ph

Bin Tong , Olof Salberger , Kun Hao , Vladimir Korepin This is my paper · ORCID
classification math-phmath.MPnlin.SIquant-ph MSC 81R1282B23
keywords Shor-MovassaghchainintegrablespinLaxpairopenboundaryconditionsK-matrixYang-BaxterequationMotzkinpathsTemperley-Liebalgebra
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves that the non-interacting (free) Shor-Movassagh spin chain with open boundaries is completely integrable. The proof works by explicitly writing down a Lax pair—bulk matrices and boundary matrices—and the associated boundary K-matrices, then building a double-row transfer matrix whose commutativity produces an infinite family of conserved charges. This matters because the full Shor-Movassagh chain, known for its Motzkin-path ground state and large entanglement, has resisted analytical treatment of excited states; the free case is an exactly solvable starting point. The construction is also unusual: because the R-matrix lacks crossing unitarity, the standard reflection-equation route to open integrable chains does not apply, so the Lax formulation carries the whole argument.

What carries the argument

The load-bearing object is the explicit Lax pair $(L_j, M_j, M_\pm)$ for the free Shor-Movassagh chain. The L-matrix is the R-matrix $R_{0j}(\lambda) = P_{0j}[(\lambda+\eta)I - \lambda \hat{e}_{0j}]$, with $\hat{e}_{0j} = \hat{U}_{0j}+\hat{D}_{0j}$ the Temperley-Lieb generator. The M matrices in equations (4.14)-(4.18) are chosen so that the Lax equations $\frac{d}{dt}L_j = M_{j+1}L_j - L_jM_j$ and their boundary analogues hold. From these, the paper forms the double-row transfer matrix $\tau(\lambda) = \operatorname{tr}_0[K_+(\lambda)L_N\cdots L_1 K_-(\lambda)(L_N\cdots L_1)^{-1}(-\lambda)]$, with the boundary K-matrices fixed by requiring $[\tau(\lambda),\tau(\mu)]=0$. What this object does is convert the problem of proving integrability into verifying a finite set of matrix identities and two boundary constraints, rather than solving the full spectrum.

What would settle it

Directly substitute the matrices (4.14)-(4.18) into the Lax equations (2.3)-(2.4), taking $L_j = R_{0j}(\lambda)$ with $R(\lambda) = P[(\lambda+\eta)I - \lambda \hat{e}]$. If any matrix element fails to satisfy the identity at generic $\lambda$, $\eta$, and boundary parameters $a_1,b_1,a_N,b_N$, then the double-row transfer matrix does not commute and the model is not integrable. Since the paper does not print this verification, checking it symbolically is the decisive test.

Watch

Extended reading notes

Core claim

The central discovery is that the free Shor-Movassagh open-chain Hamiltonian, built from projectors onto $|uf\rangle - |fu\rangle$ and $|df\rangle - |fd\rangle$, admits a Lax-pair description. Choosing the R-matrix $R(\lambda) = P[(\lambda+\eta)I - \lambda \hat{e}]$, where $\hat{e}$ is the Temperley-Lieb generator $\hat{U}+\hat{D}$, as the L-matrix, the paper derives explicit matrix expressions for the bulk $M_j(\lambda)$ and the boundary $M_-(\lambda)$, $M_+(\lambda)$, and asserts these satisfy the Lax equations. Boundary K-matrices are then determined from the resulting constraints, giving diagonal forms when $a_1=c_1$ and $a_N=c_N$. Because the double-row transfer matrix $\tau(\lambda) = \operatorname{tr}_0[K_+(\lambda)T(\lambda)K_-(\lambda)T^{-1}(-\lambda)]$ commutes for different spectral parameters, it generates an infinite set of conserved quantities, proving complete integrability. A distinctive feature is that this open-chain integrability cannot be obtained through the usual reflection equation: the partial transpose of the R-matrix is degenerate, so crossing unitarity fails.

Load-bearing premise

The load-bearing assumption is that the explicit matrices $M_j(\lambda)$, $M_-(\lambda)$, and $M_+(\lambda)$ listed in Section 4 really do satisfy the Lax equations (2.3)-(2.4) for the free Shor-Movassagh Hamiltonian; the paper states that the forms follow from these equations but does not display the verification.

Editorial extensions

If this is right

  • The double-row transfer matrix $\tau(\lambda)$ commutes with itself at different spectral parameters, so the free Shor-Movassagh open chain has an infinite family of commuting conserved charges, and every eigenstate can be labelled by them.
  • The Hamiltonian is recovered from the transfer matrix by $H_{\mathrm{FSM,open}} = -\frac{\eta}{2}\frac{\partial}{\partial\lambda}\ln\tau(\lambda)\big|_{\lambda=0}$, so the integrable structure contains the physical Hamiltonian as its logarithmic derivative.
  • The boundary K-matrices found here keep the model integrable for a family of boundary fields parametrized by $a_1,b_1,a_N,b_N$ (with $a_1=c_1$ and $a_N=c_N$ in the diagonal solution), not only for the specific boundary terms of the original Hamiltonian.
  • Because the R-matrix has degenerate partial transpose and lacks crossing unitarity, this open chain is an example where the standard reflection-equation construction is not available; the Lax-pair route is the one that works.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The construction suggests that a degenerate partial transpose does not by itself block open-chain integrability; other R-matrices without crossing unitarity may be integrable in this Lax sense even when no reflection-equation solution exists.
  • A direct byproduct would be an exact computation of excitation energies and correlation functions for the $g=0$ chain via the transfer matrix, giving a quantitative handle on dynamics that the interacting chain still lacks.
  • If a one-parameter deformation of these Lax matrices interpolates to nonzero $g$, that would define an integrable line through the full Shor-Movassagh model—an existence question not addressed in the paper.
  • The boundary K-matrices are not isomorphic for the two ends, so this model could serve as a test case for generalized algebraic Bethe ansatz techniques that do not rely on the reflection equation.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Request a human review

A listed scientist reviews the paper for a fee and the review publishes here regardless of verdict. See the reviewers or get listed.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 3 minor

Summary. The paper studies the open-boundary spin chain obtained by setting the interaction coupling g=0 in the Shor-Movassagh Hamiltonian. The authors propose explicit operator matrices M_j(λ) (4.14), M_-(λ) (4.15)-(4.16), and M_+(λ) (4.17)-(4.18), and boundary K-matrices (5.6)-(5.7), and construct a double-row transfer matrix τ(λ) via (2.5). They claim that the Lax equations (2.3)-(2.4) hold, that the boundary conditions (2.6)-(2.7) are satisfied, and that consequently the transfer matrices commute for different spectral parameters, proving complete integrability of the model. A distinctive feature emphasized by the authors is that the R-matrix lacks crossing unitarity, so Sklyanin's reflection equation cannot be used; the K-matrices are instead computed from the Lax formulation.

Significance. If correct, this would be an interesting example of an integrable open spin chain outside the standard Sklyanin framework, with explicitly known Lax pair and boundary matrices. The paper's explicit formulas for M_j, M_±, and K_±, and the constraint equations (5.2)-(5.5), are concrete and in principle checkable. However, the central claims are not established: the verification of the Lax equations is omitted, and the commutativity of the double-row transfer matrices is asserted without proof and without the usual reflection-equation mechanism. As it stands, the paper does not provide a valid proof of integrability.

major comments (4)
  1. [Section 2, Eq. (2.8)] The assertion [τ(λ),τ(μ)]=0 is stated without proof. In the standard open-chain QISM this commutativity is a theorem derived from the RLL relations and the reflection equations. The authors explicitly state (Section 4, after (4.12)) that the reflection equations do not apply because the R-matrix fails crossing unitarity, but they provide no alternative derivation. Time-independence of τ(λ) from (2.3)-(2.4), even if established, would not imply (2.8). Since (2.8) is the source of the infinite family of commuting conserved charges, the central integrability claim is unsupported.
  2. [Section 4, Eqs. (4.14)-(4.18)] The text asserts that the given M-matrices follow from the Lax equations (2.3)-(2.4), but no substitution or explicit verification is shown. For instance, "From the equations (2.3) and (2.4), it follows that the M_-(λ) matrix has the following form" is followed directly by the matrix entries. The reader cannot verify that the bulk Lax equation (2.3) holds for M_j(λ) of (4.14) or that the boundary Lax equations (2.4) hold for M_± of (4.15)-(4.18) without redoing lengthy computations. This missing check is load-bearing, because the Lax equations are the starting point of the entire construction.
  3. [Section 5, Eq. (5.8)] The identity H_FSM,open = -η/2 ∂ln τ(λ)/∂λ|_{λ=0}+const is stated without proof. This identity is what connects the transfer matrix constructed in Section 2 to the Hamiltonian (3.2). Without it, even a family of commuting transfer matrices would not establish conservation of charges for the physical Hamiltonian.
  4. [Section 5, Eqs. (5.6)-(5.7)] The K-matrix solutions are derived under the assumption a1=c1 and aN=cN. The original Shor-Movassagh boundary terms (Section 1) are H1=|d1⟩⟨d1| and HN=|uN⟩⟨uN|, corresponding to (a1,b1,c1)=(0,0,1) and (aN,bN,cN)=(1,0,0), which violate these equalities. Therefore the paper does not prove integrability of the free Shor-Movassagh chain with its original open boundaries; the claim in the abstract that the model on the open interval is integrable is too broad. At minimum, the scope of the result must be stated as "for boundary parameters satisfying a1=c1, aN=cN".
minor comments (3)
  1. [Section 2, Eq. (2.5)] The definition of τ(λ) involves T^{-1}(-λ); the invertibility of T(λ) for the spectral parameters used should be addressed, or at least a remark added that the Lax matrices are generically invertible away from a discrete set of λ.
  2. [Section 4, Eq. (4.1)] The R-matrix is written in a compact one-line display; presenting it as an explicit 9×9 matrix with labeled rows and columns would improve readability and make the subsequent partial-transpose discussion easier to follow.
  3. [Section 5, Eqs. (5.2) and (5.5)] The derivations of the constraint equations are summarized as "after tedious calculations"; because these constraints are central to the K-matrix construction, it would be helpful to include the key intermediate steps or a supplementary verification.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular reduction: the Lax pair and K-matrices are explicit constructions for a fixed Hamiltonian, not fitted inputs or load-bearing self-citations.

full rationale

The claimed result is a Lax-operator existence proof for a fixed Hamiltonian. The inputs are the explicit R-matrix (4.1), the Hamiltonian (3.2), and the Lax/boundary conditions (2.3)-(2.4) and (2.6)-(2.7); the objects M_j(λ), M_±(λ), and K_±(λ) are presented as explicit constructions, and the Hamiltonian is recovered from the logarithmic derivative of τ(λ) via (5.8). None of these objects is fitted to a subset of data and then renamed as a prediction, and no load-bearing use is made of a self-citation or a 'uniqueness theorem' from the authors' earlier work. The self-citations [2,3,11,12,13] are background references to the Fredkin chain and standard QISM, not premises that force the conclusion. The assertion that (2.8) follows from (2.3)-(2.4) and the unshown verification of (2.3)-(2.4) with the displayed matrices are completeness gaps in the proof of integrability, but they are not circular reductions: they do not make the conclusion equal to an input by construction. Therefore the circularity score is 0.

Assumptions & free parameters 1 free parameters · 3 assumptions · 0 invented entities

The central claim rests on the validity of the provided Lax pair, which is asserted rather than verified, and on the standard quantum inverse scattering framework for open chains. No new physical entities are introduced.

free parameters (1)
  • Boundary coefficients a1, b1, aN, bN (with a1=c1, aN=cN)
    The K-matrix solutions (5.6)-(5.7) are written for these boundary parameters after imposing a1=c1 and aN=cN. They are not fitted to data but are arbitrary boundary couplings; the paper does not provide the general a1≠c1 case explicitly.
assumptions (3)
  • standard math The R-matrix (4.1) satisfies the quantum Yang-Baxter equation (4.8).
    Stated but not proven in the paper; it is the basis for bulk integrability.
  • domain assumption The method of refs. [14,15,27] allows construction of the M-matrix from the L-matrix such that the Lax equations hold.
    The paper says it follows the method in those refs to obtain (4.14), but no derivation is shown.
  • domain assumption The Lax formulation for open chains (refs. [11,12,17]) guarantees commutativity of double-row transfer matrices when constraints (2.6)-(2.7) hold.
    The paper relies on this framework to conclude integrability from the Lax pair.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Shor-Movassagh chain leads to unusual integrable model." pith.science (2026). https://pith.science/paper/UZH4DBNS

@misc{pith2026200910368,
  author       = {Pith},
  title        = {Pith review of: Shor-Movassagh chain leads to unusual integrable model},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UZH4DBNS}},
  note         = {Machine review of arXiv:2009.10368}
}
abstract

The ground state of Shor-Movassagh chain can be analytically described by the Motzkin paths. There is no analytical description of the excited states, the model is not solvable. We prove the integrability of the model without interacting part in this paper [free Shor-Movassagh]. The Lax pair for the free Shor-Movassagh open chain is explicitly constructed. We further obtain the boundary $K$-matrices compatible with the integrability of the model on the open interval. Our construction provides a direct demonstration for the quantum integrability of the model, described by Yang-Baxter algebra. Due to the lack of crossing unitarity, the integrable open chain can not be constructed by the reflection equation (boundary Yang-Baxter equation).

Figures

Figures reproduced from arXiv: 2009.10368 by the authors.

Figure 1
Figure 1. The local Hilbert space and its mapping to the steps in the “x-y” plane. The hamiltonian is given by (the coupling constant g was equal to 1 in the original paper): HSM = Hboundary + N X−1 j=1 Hfree,j + gHint,j In the original paper the Hamiltonian densities Hfree and Hint are given in terms of two-site projectors, as Hfree,j = (|ujfj+1i−|fjuj+1i)(hujfj+1|−hfjuj+1|)+(|djfj+1i−|fjdj+1i)(hdjfj+1|−hfjdj+1|) and Hint,j … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    Power law violation of the area law in quantum spin chains

    R. Movassagh, P . W. Shor, “ Power law violation of the area law in quantum spin chains,” Proc. Natl. Acad. Sci. 113, 13278-13282 (2016) and arXiv:1408.1657 [quant- ph]

    work page Pith review arXiv 2016

  2. [2]

    Violation of Cluster Decomposition and Absence of Light-Cones in Local Integer and Half-Integer Spin Chains

    L. Dell’Anna, O. Salberger, L.Barbiero, A. Trombettoni , V . E. Korepin, Violation of Cluster Decomposition and Absence of Light-Cones in Loca l Integer and Half- Integer Spin Chains, Phys. Rev. B 94, 155140 (2016) and arXiv:1604.08281 [cond- mat.str-el]

    work page Pith review arXiv 2016

  3. [3]

    Fredkin Spin Chain

    O. Salberger and V . E. Korepin, Fredkin Spin Chain, Ludwi g Faddeev Memorial V olume, pp. 439-458 (2018) and arXiv:1605.03842 [quant-ph]. 8The authors matched the results derived from both the Lax for mulation and the reflection equations for Hubbard model. 10

    work page Pith review arXiv 2018

  4. [4]

    Criticality without frustration for quantum spin-1 chains

    Sergey Bravyi, Libor Caha, Ramis Movassagh, Daniel Naga j, and Peter W Shor. Criticality without frustration for quantum spin-1 chains . Physical review letters , 109(20):207202, 2012

    work page 2012

  5. [5]

    E. K. Sklyanin, J. Phys. A 21 (1988) 2375

    work page 1988

  6. [6]

    Fendley , H

    P . Fendley , H. Saleur, Deriving boundary S matrices, Nuc l. Phys. B 428 (1994), 681-693

    work page 1994

  7. [7]

    Cao, W.-L

    J. Cao, W.-L. Yang, K. Shi and Y . Wang, Phys. Rev. Lett. 111 (2013), 137201; J. Cao, W.-L. Yang, K. Shi and Y . Wang,Nucl. Phys. B 875 (2013), 152

    work page 2013

  8. [8]

    Y . Wang, W. -L. Yang, J. Cao and K. Shi, Off-Diagonal Bethe Ansatz for Exactly Solv- able Models, Springer Press, 2015

    work page 2015

Show all 27 references
  1. [9]

    Lax, Integrals of nonlinear equations of evolution an d solitary waves, Comm

    P . Lax, Integrals of nonlinear equations of evolution an d solitary waves, Comm. Pure Applied Math., 21 (5): (1968), 467-490. doi:10.1002/c pa.3160210503

    1968 doi

  2. [10]

    Lax and R.S

    P . Lax and R.S. Phillips, Scattering Theory for Automorphic Functions, Bull. Amer. Math. Soc. (N.S.), V olume 2, Number 2 (1980), 261-295

    1980

  3. [11]

    A. G. Izergin and V . E. Korepin, Sov . J. Part. Nucl. 13 (1982) 207-223

    1982

  4. [12]

    V . E. Korepin, N. M. Bogoliubov , and A. G. Izergin, Quantum Inverse Scattering Method and Correlation Functions , Cambridge University Press, New York (1993)

    1993

  5. [13]

    L. D. Faddeev , L. A. Takhtajan, Hamiltonian Methods in the Theory of Solitons (Clas- sics in Mathematics), Berlin Heidelberg New York (1987) Edi tion

    1987

  6. [14]

    Sogo and M

    K. Sogo and M. Wadati, Prog. Theor. Phys. 68 (1982) 85

    1982

  7. [15]

    Wadati, E

    M. Wadati, E. Olmedilla and Y . Akutu, J. Phys. Soc. Jpn. 5 6 (1987) 1340

    1987

  8. [16]

    Zhou and L.J

    H.Q. Zhou and L.J. Jiang, Phys. Lett. A 134 (1989) 469

    1989

  9. [17]

    H.Q. Zhou, J. Phys. A: Math. Gen. 29 (1996) L489

    1996

  10. [18]

    H.Q. Zhou, J. Phys. A 29 (1996) L607

    1996

  11. [19]

    Guan, M.S

    X.W. Guan, M.S. Wang, and S.D. Yang, Nucl. Phys. B 485 (1997) 685; X.W. Guan, M.S. Wang, and S.D. Yang, J. Phys. A: Math. Gen. 30 (1997) 4161-4169

    1997

  12. [20]

    X.W. Guan, J. Phys. A: Math. Gen. 33 (2000) 5391-5404

    2000

  13. [21]

    H. N. V . Temperley , E. H. Lieb, “Relations between the ‘P ercolation’ and ‘Colour- ing’ Problem and other Graph-Theoretical Problems Associated with Regular Pla- nar Lattices: Some Exact Results for the ‘Percolation’ Prob lem,” Proc. R. Soc. A, V ol. 322, 251-280

  14. [22]

    Saleur, Virasoro and Temperley Lieb algebras, in Kno ts, Topology and Quan- tum Field Theory , Firenze (1989)

    H. Saleur, Virasoro and Temperley Lieb algebras, in Kno ts, Topology and Quan- tum Field Theory , Firenze (1989)

    1989

  15. [23]

    Martin, H

    P . Martin, H. Saleur, The blob algebra and the periodic T emperley Lieb algebra, Lett. Math. Phys. 30 (1994), 189-206. 11

    1994

  16. [24]

    The Temperley-Lieb algebra and its genera lizations in the Potts and XXZ models,

    A. Nichols, “The Temperley-Lieb algebra and its genera lizations in the Potts and XXZ models,” J.Stat.Mech.0601:P01003, 2006 and arXiv:hep -th/0509069

    2006

  17. [25]

    The two-boundary Temperley-Li eb algebra,

    J. de Gier, A. Nichols, “The two-boundary Temperley-Li eb algebra,” Journal of Algebra 321 (2009), 1132-1167 and arXiv:math/0703338 [mat h.RT]

    2009 arXiv

  18. [26]

    J. Avan, P . P . Kulish, & G. Rollet, Reflection k-matrices related to Temperley-Lieb R-matrices, Theor. Math. Phys. 169, 1530-1538 (2011)

    2011

  19. [27]

    M. Q. Zhang, How to find the Lax pair from the Yang-Baxter e quation. Comm. Math. Phys. 141 (1991), no. 3, 523–531. 12

    1991

Pith tools

Reviewed August 27, 2026 · model on record in the stance chip above.