Coupled Temperley-Lieb algebra route to the superintegrable chiral Potts chain: exact spectrum (open boundaries), representations, diagrammatic completeness, and Baxterization

The $N$-state superintegrable chiral Potts (SICP) chain can be written in terms of a coupled Temperley-Lieb (TL) algebra with $N-1$ types of generators, equipped for $N=3$ with a pictorial loop-and-pole calculus. Whether this algebra can be developed into a full solution framework for the SICP chain - the role the ordinary TL algebra plays for the Potts and XXZ chains - is open. The central unresolved target is the derivation of the complete eigenspectrum of the SICP Hamiltonian, above all for open boundary conditions, for which no solution is known by any method. Companion open questions, posed together with it in the source and reaffirmed by a 2025 follow-up by Adderton and Batchelor, are the classification of further representations of the coupled algebra (beyond the SICP representation with loop weight $Q=\sqrt N$ and the staggered spin-1/2 XX chain with $Q=2$), the extension of the pictorial construction to periodic boundaries and its completion so that all algebraic relations including the family $\mathcal{A}_n(\alpha)$ hold diagrammatically, and Baxterization: constructing a spectral-parameter $R$-operator satisfying the Yang-Baxter equation in the presence of the pole.

Background

The $N$-state superintegrable chiral Potts (SICP) chain, introduced by von Gehlen and Rittenberg in 1985, is a one-dimensional quantum spin chain with $N$-dimensional local Hilbert spaces. Writing $\omega=e^{2\pi i/N}$, each site carries a pair of generalized Pauli matrices: the shift operator $\tau$ (a cyclic permutation matrix) and the clock operator $\sigma=\mathrm{diag}(1,\omega,\ldots,\omega^{N-1})$, obeying $\sigma\tau=\omega\tau\sigma$ and $\tau^N=\sigma^N=1$. The Hamiltonian is

$$H_{\mathrm{SICP}}=-\sum_{j=1}^{L}\sum_{n=1}^{N-1}\frac{2}{1-\omega^{-n}}\left(\lambda\,\tau_j^{n}+(\sigma_j\sigma_{j+1}^{\dagger})^{n}\right),$$

with $\lambda$ a temperature-like coupling; open boundary conditions are obtained by dropping the terms $(\sigma_L\sigma_{L+1}^{\dagger})^n$. The chain is called superintegrable because, beyond an infinite number of commuting conserved charges, it carries the additional symmetry of the Onsager algebra - the infinite-dimensional Lie algebra discovered by Onsager in his solution of the two-dimensional Ising model, which enters here through the Dolan-Grady construction of conserved charges from self-duality (an exact symmetry of the model exchanging the clock and shift operators). For periodic boundary conditions this Onsager-algebra structure determines the layout of the spectrum, although the Baxter polynomials that label the branches of the solution are not fixed by the Hamiltonian alone. For open boundary conditions no solution of the SICP Hamiltonian is known by any method.

The Temperley-Lieb (TL) algebra underlies the solvability of the spin-1/2 XXZ and $N$-state Potts chains: their Hamiltonians are sums of generators $e_j$ satisfying $(e_j)^2=Q\,e_j$ and $e_j e_{j\pm1} e_j=e_j$, and the algebra's pictorial representation - planar diagrams evaluated with the Kauffman bracket skein relation, in which each closed contractible loop contributes the loop weight $Q$ - turns algebraic manipulation into planar topology. This pictorial calculus powers loop-model solutions, Bethe-ansatz diagonalizations (an exact method that parametrizes the eigenstates of integrable chains by quasimomenta) of TL-type Hamiltonians with both periodic and open boundaries, and Jones's Baxterization: endowing the algebra generators with a spectral parameter so that they satisfy the Yang-Baxter equation, the consistency condition behind commuting transfer matrices in integrable lattice models.

Fjelstad and Mansson (2012) discovered that the $N=3$ SICP Hamiltonian is a representation of a coupled TL algebra with two generator types; Adderton, Batchelor and Wedrich (2020) generalized this to arbitrary $N$, with $N-1$ TL copies whose generators $e_j^{(k)}$ satisfy $(e_j^{(k)})^2=Q\,e_j^{(k)}$ and $e_j^{(k)}e_{j\pm1}^{(l)}e_j^{(k)}=e_j^{(k)}$ with $Q=\sqrt N$, while generators of different types at the same site annihilate each other. Two representations of this coupled algebra are known: the SICP chain itself, and the staggered spin-1/2 XX chain (an alternating-coupling XX chain equivalent to the Su-Schrieffer-Heeger model) with $Q=2$. The 2020 work also gave, for $N=3$, a pictorial representation of a related coupled algebra: ordinary TL diagrams augmented by a pole, a marked point in the plane around which loops can become entangled. Contractible loops carry weight $\sqrt3$ (SICP) or $2$ (staggered XX), loops non-contractible around the pole have weight zero, and resolving loops that encircle the pole involves a crossing relation with parameter $\rho=e^{2\pi i/3}$ for the SICP chain and $\rho=1$ for the staggered XX chain. A 2025 follow-up by Adderton and Batchelor extended the pictorial description to general $N$ through the planar parafermion algebra - parafermionic operators (the $\mathbb{Z}_N$ generalization of fermions, built as ordered products of the clock and shift operators) attached to the strands of a planar algebra (a diagrammatic calculus of planes bounded by strands), with rotations resolved by the string Fourier transform (a discrete Fourier transform acting on the $\mathbb{Z}_N$ charges carried by the strands) - and posed the dimension of the coupled algebra as a further open question. Interest in $\mathbb{Z}_N$ clock-type chains also runs through the study of parafermionic edge zero modes (localized zero-energy operators at the two ends of an open chain, the $\mathbb{Z}_N$ generalization of Majorana edge modes) and topological phases.

Problem Statement

The problem, as posed at the close of Adderton, Batchelor and Wedrich (2020) and reaffirmed by Adderton and Batchelor (2025, arXiv:2508.01672), is to develop the coupled Temperley-Lieb algebra and its pictorial (loop-and-pole, or planar parafermion) calculus into a genuine solution framework for the superintegrable chiral Potts chain, in the same way that the ordinary TL algebra underlies the solution of the Potts and XXZ chains. The common objective ties together five specific open questions:

1. Spectrum (the primary deliverable). Determine whether (and how) the full eigenspectrum of the SICP Hamiltonian can be obtained from the coupled TL algebra and its pictorial representation - in particular for open boundary conditions, for which no solution is known by any method - including the eigenvalues as functions of $\lambda$ and $N$, their degeneracies, and the symmetry-sector decomposition; and correspondingly for the periodic chain, where the coupled TL framework should reproduce and go beyond the Onsager-algebra spectral structure by capturing the Baxter-polynomial content. A negative result - a demonstration that the coupled-TL route cannot yield the open-boundary spectrum - counts as a resolution of this component.

2. Periodic pictorial extension. Extend the algebraic and pictorial construction to periodic boundary conditions, including the treatment of the pole and of non-contractible loops wrapping the periodic direction.

3. Representations. Find and classify other representations of the coupled algebra beyond the two known ones (the SICP representation with $Q=\sqrt N$ and the staggered spin-1/2 XX chain with $Q=2$); in particular, determine whether the staggered XX representation can be deformed or extended in $Q$ so as to interpolate towards the SICP representation for arbitrary $Q$, which would establish a TL-type equivalence for the $N=3$ chain in broader parameter regimes.

4. Diagrammatic completeness. Complete the pictorial representation so that all algebraic relations satisfied by the generators - including the additional relations found algebraically and collected in the family $\mathcal{A}_n(\alpha)$ - hold diagrammatically without imposing further ad hoc relations.

5. Baxterization. Construct a spectral-parameter-dependent $R$-matrix (or R-operator) from the coupled algebra generators that satisfies the Yang-Baxter equation, with the pole of the pictorial model expected to play an essential role.

A complete answer to component 1 is the sole completion marker of the program; components 2-5 (periodic diagrammatics, representation theory, complete relations, and the integrability backbone) are independent, separately standing contributions rather than prerequisites, so partial progress on them does not by itself complete the program. Within component 1 the essential target is the spectrum for open boundary conditions; the periodic-chain counterpart is a secondary target, its spectral structure already being determined by the Onsager algebra, so that what remains there is to capture the Baxter-polynomial content. The program is complete when the SICP eigenspectrum - above all with open boundary conditions - has been resolved within this framework, either by deriving it or by showing that the coupled-TL route cannot yield it.

References

1. R. Adderton, M. T. Batchelor, P. Wedrich, 'A coupled Temperley-Lieb algebra for the superintegrable chiral Potts chain', J. Phys. A: Math. Theor. 53 (2020) 36LT01, DOI 10.1088/1751-8121/aba143, arXiv:2004.10392, https://arxiv.org/abs/2004.10392
2. R. Adderton, M. T. Batchelor, 'The planar parafermion algebra: the Z_N clock model and the coupled Temperley-Lieb algebra', J. Phys. A: Math. Theor. 59 (2026) 045201, DOI 10.1088/1751-8121/ae36d5, arXiv:2508.01672, https://arxiv.org/abs/2508.01672
3. J. F. Fjelstad, T. Mansson, 'New symmetries of the chiral Potts model', J. Phys. A: Math. Theor. 45 (2012) 155208, DOI 10.1088/1751-8113/45/15/155208, arXiv:1109.6503, https://arxiv.org/abs/1109.6503
4. G. von Gehlen, V. Rittenberg, 'Z(n)-symmetric quantum chains with an infinite set of conserved charges and Z(n) zero modes', Nucl. Phys. B 257 (1985) 351, DOI 10.1016/0550-3213(85)90350-5, https://doi.org/10.1016/0550-3213(85)90350-5
5. L. Dolan, M. Grady, 'Conserved charges from self-duality', Phys. Rev. D 25 (1982) 1587, DOI 10.1103/PhysRevD.25.1587, https://doi.org/10.1103/PhysRevD.25.1587
6. V. F. R. Jones, 'Baxterization', Int. J. Mod. Phys. A 6 (1991) 2035, DOI 10.1142/S0217751X91001027, https://doi.org/10.1142/S0217751X91001027
7. P. Fendley, 'Parafermionic edge zero modes in Z_n-invariant spin chains', J. Stat. Mech. (2012) P11020, DOI 10.1088/1742-5468/2012/11/P11020, arXiv:1209.0472, https://arxiv.org/abs/1209.0472
8. Y. Miao, 'Generalised Onsager Algebra in Quantum Lattice Models', SciPost Phys. 13 (2022) 070, DOI 10.21468/SciPostPhys.13.3.070, arXiv:2203.16594, https://arxiv.org/abs/2203.16594
9. N. G. Jones, A. Prakash, P. Fendley, 'Pivoting through the chiral-clock family', SciPost Phys. 18 (2025) 094, DOI 10.21468/SciPostPhys.18.3.094, arXiv:2406.01680, https://arxiv.org/abs/2406.01680
10. I. Camp, N. G. Jones, 'Matrix-product state skeletons in Onsager-integrable quantum chains', J. Stat. Phys. 193 (2026) 73, DOI 10.1007/s10955-026-03637-8, arXiv:2511.07212, https://arxiv.org/abs/2511.07212
11. H. Zhu, 'A symmetry formula for correlation functions in the superintegrable chiral Potts spin chain', arXiv:2603.27930 (2026), https://arxiv.org/abs/2603.27930
12. L. H. Ymai, K. W. Wilsmann, J. B. Neves, A. P. Tonel, J. Links, A. Foerster, 'Supersensitive rotation sensor from superintegrability', arXiv:2605.09709 (2026), https://arxiv.org/abs/2605.09709
13. X. Poncini, J. Rasmussen, 'Integrability of planar-algebraic models', J. Stat. Mech. (2023) 073101, DOI 10.1088/1742-5468/acdce7, arXiv:2206.14462, https://arxiv.org/abs/2206.14462
14. X. Poncini, J. Rasmussen, 'Integrable models from singly generated planar algebras', Nucl. Phys. B 994 (2023) 116308, DOI 10.1016/j.nuclphysb.2023.116308, arXiv:2302.11712, https://arxiv.org/abs/2302.11712