Q-operator, exceptional parameter loci, and correlation functions for the cyclic Bazhanov–Stroganov representations of the 6-vertex reflection algebra

Maillet–Niccoli–Pezelier solved the transfer-matrix spectral problem for open integrable chains built from the cyclic (Bazhanov–Stroganov) representations of the trigonometric 6-vertex Yang–Baxter algebra at roots of unity: paper I (SciPost Phys. 2, 009 (2017)) treats one triangular boundary matrix, and paper II (SciPost Phys. 5, 026 (2018)) extends the separation-of-variables solution to the most general integrable boundary conditions via a gauge transformation, characterizing the spectrum by a discrete system and an inhomogeneous Baxter $T$–$Q$ equation. This task concerns the following open directions: (i) the explicit construction of a Q-operator for the cyclic representations of the 6-vertex reflection algebra, whose eigenvalues reproduce the polynomial $Q(\lambda)$ of the inhomogeneous $T$–$Q$ equation and which is expected to connect the open cyclic 6-vertex transfer matrices to chiral Potts transfer matrices; (ii) the classification of the exceptional parameter loci excluded from the almost-all-parameters theorems, where pseudo-diagonalizability or the generic degree $N_Q=(p-1)N$ of $Q(\lambda)$ may fail; and (iii) the constructive computation of local-operator form factors and correlation functions from the determinant scalar-product formulae, including the homogeneous and thermodynamic limits, notably for the lattice sine-Gordon reductions.

Background

An open integrable quantum spin chain with $N$ sites is built from an $R$-matrix solving the Yang–Baxter equation — here the trigonometric 6-vertex $R$-matrix with anisotropy parameter $q$ — together with boundary matrices $K_-(\lambda)$ and $K_+(\lambda)$ solving the reflection equations, the boundary analogues of the Yang–Baxter equation that guarantee commutativity of the double-row transfer matrices. The monodromy matrix $M(\lambda)$ (a product of Lax operators over the $N$ local spaces) generates the Yang–Baxter algebra; after contraction with the boundary matrices one obtains, in Sklyanin's construction, a commuting family of transfer matrices $T(\lambda)$ whose logarithmic derivatives give the conserved charges of the open chain. Solving the model means characterizing the complete spectrum of $T(\lambda)$ (eigenvalues and eigenstates) and then the dynamics: form factors — matrix elements of local operators between transfer-matrix eigenstates — and correlation functions of local operators.

Most of the literature treats the fundamental spin-$1/2$ representations. This problem concerns instead the $p$-dimensional cyclic representations at roots of unity, $q^p=1$, associated with the general Bazhanov–Stroganov (BS) Lax operator (also called the $\tau_2$ Lax operator): the local quantum spaces carry a $p$-dimensional representation of a Weyl algebra — generated by 'clock' and 'shift' operators $u$, $v$ with $uv=q\,vu$ and $u^p=v^p=1$ — rather than a highest-weight representation, so the Hilbert space has dimension $p^N$. Models in this class include the $\tau_2$-model and, on a special algebraic curve of the representation parameters, the $p$-state chiral Potts model, a $p$-state generalization of the Ising model on the square lattice whose solvability rests on these cyclic representations; special reductions contain the lattice sine-Gordon model, a lattice discretization of the relativistic sine-Gordon field theory. Because these representations admit no reference state, the algebraic Bethe ansatz does not apply, and Maillet–Niccoli–Pezelier (MNP) developed instead Sklyanin's separation of variables (SoV).

In the SoV method one diagonalizes a co-actor of the (gauged) monodromy — here the boundary operator $\mathscr{B}_-(\lambda)$, an entry of the double-row (boundary) monodromy matrix that generates the reflection algebra. MNP prove that $\mathscr{B}_-(\lambda)$ (after the gauge transformation of paper II for general boundaries) is pseudo-diagonalizable with simple spectrum for almost all boundary, bulk and gauge parameter values — pseudo-diagonalizable meaning that the operator acts diagonally on the $N$ separated quantum numbers up to a multiplicative shift of one remaining label, $\beta\to q^2\beta$ — which produces a separated basis of $p^N$ states. In this basis the transfer-matrix eigenvectors are 'separate states' with factorized wavefunctions, and scalar products of separate states admit determinant formulae. The spectrum is characterized by a discrete system of second-order difference equations and equivalently by an inhomogeneous Baxter $T$–$Q$ equation of the schematic form $\tau(\lambda)\,Q(\lambda)=a(\lambda)\,Q(\lambda/q)+a(1/\lambda)\,Q(\lambda q)+G(\lambda),$ where $\tau(\lambda)$ is an eigenvalue of $T(\lambda)$, $Q(\lambda)$ is a polynomial of degree $N_Q=(p-1)N$ in $\Lambda=\lambda^2+\lambda^{-2}$ (equivalently a symmetric Laurent polynomial in $\lambda$), and $G(\lambda)$ is an explicit inhomogeneous term that vanishes only under additional boundary constraints.

Baxter's Q-operator is an operator-level counterpart of this equation: a family $Q(\lambda)$ commuting with the transfer matrix whose eigenvalues are precisely the polynomials $Q(\lambda)$; standard constructions realize it as the trace of a monodromy matrix over an auxiliary representation of (a Borel subalgebra of) the quantum affine algebra — the subalgebra generated by one half of its current generators — or as a spectral determinant in SoV. In the periodic case this structure is well understood at roots of unity: the chiral Potts transfer matrix acts as the Q-operator of the cyclic 6-vertex chain (Roan 2007), the Q-operator was reconstructed from SoV for cyclic representations (Niccoli 2010), and explicit Q-operators satisfying $T$–$Q$ relations were recently built from semi-cyclic representations (Miao–Lamers–Pasquier 2021) and from finite-dimensional cyclic representations of the Borel subalgebra $U_q(b_+)$ (Weston 2026). For open chains, Q-operators have been constructed only at generic $q$, from infinite-dimensional representations (Frassek–Szécsényi 2015; Baseilhac–Tsuboi 2018; Cooper–Vlaar–Weston 2024). For the open-boundary root-of-unity (cyclic) case no construction is known — a situation described by Weston (2026) as an explicit barrier and target of current research.

Problem Statement

Complete the exact solution of the open-boundary cyclic 6-vertex (Bazhanov–Stroganov) models of Maillet–Niccoli–Pezelier beyond their generic-parameter spectral characterization, along the three directions its authors left open. The three directions are independently resolvable sub-objectives: an explicit operator construction with the operatorial $T$–$Q$ proof resolves (1), a classification of the excluded loci with the extension of the spectral characterization resolves (2), and a form-factor and correlation-function computation resolves (3); the overall objective is complete only when all three are resolved. These three components share one objective — the full structural and dynamical solution of the open cyclic chains — and are linked: the Q-operator is the operator-level form of the inhomogeneous $T$–$Q$ spectral equation, the exceptional loci are the parameter regimes where that equation's generic degree and the SoV diagonalizability underlying it are unproven, and the correlation functions are the physical output of the same SoV framework whose scalar-product formulae are already available.

(1) Construct explicitly a Q-operator for the cyclic representations of the 6-vertex reflection algebra: a commuting family $Q(\lambda)$ with $[T(\lambda),Q(\mu)]=0$ — for example, the trace of a monodromy matrix over an auxiliary representation satisfying the relevant reflection equations for the cyclic Bazhanov–Stroganov Lax operators, or a spectral determinant in the SoV framework — whose eigenvalues on the separated basis reproduce the polynomial $Q(\lambda)$ of the MNP inhomogeneous Baxter $T$–$Q$ equation, and prove the corresponding operatorial $T$–$Q$ relation, including the explicit inhomogeneous term and the polynomial class of degree $N_Q=(p-1)N$ in $\Lambda=\lambda^2+\lambda^{-2}$. Such a construction is expected to lead to new connections with transfer matrices of exactly solvable models of non-6-vertex type, such as the chiral Potts transfer matrices.

(2) Classify the exceptional loci in the boundary–bulk–gauge parameter space (and the special choices of the eigenvalue $\tau(\lambda)$) that are excluded from the almost-all-parameters theorems of MNP II — pseudo-diagonalizability and simplicity of the gauged $\mathscr{B}_-(\lambda|\beta)$ (Theorem 3.1), diagonalizability and simple spectrum of $T(\lambda)$ (Theorem 4.1, Proposition 5.1), and characterization by the inhomogeneous $T$–$Q$ equation with $N_Q=(p-1)N$ (Theorem 5.1) — and extend the spectral characterization to these loci, including the cases where the degree of $Q(\lambda)$ drops or the supplementary condition on $\tau(\lambda)$ fails.

(3) From the determinant scalar-product formulae for separate states, develop the constructive computation of form factors of local operators and correlation functions of the cyclic open chains: reconstruct the local operators in the separated variables, identify the ground state, perform the homogeneous limit (coincident inhomogeneities) and the thermodynamic limit $N\to\infty$, and extract explicit correlation functions, including for the lattice sine-Gordon reductions.

References

1. J.-M. Maillet, G. Niccoli, B. Pezelier, 'Transfer matrix spectrum for cyclic representations of the 6-vertex reflection algebra I', SciPost Phys. 2, 009 (2017). DOI: 10.21468/SciPostPhys.2.1.009; arXiv:1607.02983; https://arxiv.org/abs/1607.02983
2. J.-M. Maillet, G. Niccoli, B. Pezelier, 'Transfer matrix spectrum for cyclic representations of the 6-vertex reflection algebra II', SciPost Phys. 5, 026 (2018). DOI: 10.21468/SciPostPhys.5.3.026; arXiv:1802.08853; https://arxiv.org/abs/1802.08853
3. R. Weston, 'Cyclic Representations of $U_q(\hat{\mathfrak{sl}}_2)$ and its Borel Subalgebras at Roots of Unity and Q-operators', SciPost Phys. Core 9, 016 (2026). DOI: 10.21468/SciPostPhysCore.9.1.016; arXiv:2412.14811; https://arxiv.org/abs/2412.14811
4. X. Xu, K. Hao, T. Yang, J. Cao, W.-L. Yang, K. Shi, 'Bethe ansatz solutions of the $\tau_2$-model with arbitrary boundary fields', JHEP 11 (2016) 080. DOI: 10.1007/JHEP11(2016)080; arXiv:1608.06209; https://arxiv.org/abs/1608.06209
5. G. Niccoli, 'Reconstruction of Baxter Q-operator from Sklyanin SOV for cyclic representations of integrable quantum models', Nucl. Phys. B 835 (2010) 263–283. DOI: 10.1016/j.nuclphysb.2010.03.009; arXiv:1001.0035; https://arxiv.org/abs/1001.0035
6. S.-s. Roan, 'The Transfer Matrix of Superintegrable Chiral Potts Model as the Q-operator of Root-of-unity XXZ Chain with Cyclic Representation of $U_q(sl_2)$', J. Stat. Mech. (2007) P09021. DOI: 10.1088/1742-5468/2007/09/P09021; arXiv:0705.2856; https://arxiv.org/abs/0705.2856
7. Y. Miao, J. Lamers, V. Pasquier, 'On the Q operator and the spectrum of the XXZ model at root of unity', SciPost Phys. 11, 067 (2021). DOI: 10.21468/SciPostPhys.11.3.067; arXiv:2012.10224; https://arxiv.org/abs/2012.10224
8. R. Frassek, I. M. Szécsényi, 'Q-operators for the open Heisenberg spin chain', Nucl. Phys. B 901 (2015) 229–248. DOI: 10.1016/j.nuclphysb.2015.10.010; arXiv:1509.04867; https://arxiv.org/abs/1509.04867
9. P. Baseilhac, Z. Tsuboi, 'Asymptotic representations of augmented q-Onsager algebra and boundary K-operators related to Baxter Q-operators', Nucl. Phys. B 929 (2018) 397–437. DOI: 10.1016/j.nuclphysb.2018.02.017; arXiv:1707.04574; https://arxiv.org/abs/1707.04574
10. A. Cooper, B. Vlaar, R. Weston, 'A Q-operator for open spin chains II: boundary factorization', Commun. Math. Phys. 405 (2024) 110. DOI: 10.1007/s00220-024-04973-0; arXiv:2301.03997; https://arxiv.org/abs/2301.03997
11. N. Kitanine, J.-M. Maillet, G. Niccoli, V. Terras, 'The open XXZ spin chain in the SoV framework: scalar product of separate states', J. Phys. A 51 (2018) 485201. DOI: 10.1088/1751-8121/aae76f; arXiv:1807.05197; https://arxiv.org/abs/1807.05197
12. N. Grosjean, J.-M. Maillet, G. Niccoli, 'On the form factors of local operators in the lattice sine-Gordon model', J. Stat. Mech. (2012) P10006. DOI: 10.1088/1742-5468/2012/10/P10006; arXiv:1204.6307; https://arxiv.org/abs/1204.6307
13. N. Grosjean, J.-M. Maillet, G. Niccoli, 'On the form factors of local operators in the Bazhanov–Stroganov and chiral Potts models', Ann. Henri Poincaré 16 (2015) 1103–1153. DOI: 10.1007/s00023-014-0358-9; arXiv:1309.4701; https://arxiv.org/abs/1309.4701
14. G. Niccoli, H. Pei, V. Terras, 'Correlation functions by separation of variables: the XXX spin chain', SciPost Phys. 10, 006 (2021). DOI: 10.21468/SciPostPhys.10.1.006; arXiv:2005.01334; https://arxiv.org/abs/2005.01334
15. G. Niccoli, 'All correlation functions of the open XXX spin 1/2 quantum chains for unparallel boundary magnetic fields with one constraint', arXiv preprint (2021), arXiv:2105.07992; https://arxiv.org/abs/2105.07992
16. G. Niccoli, V. Terras, 'Correlation functions for open XXZ spin 1/2 quantum chains with unparallel boundary magnetic fields', J. Phys. A 55 (2022) 405203. DOI: 10.1088/1751-8121/ac7ca1; arXiv:2202.12870; https://arxiv.org/abs/2202.12870
17. G. Niccoli, V. Terras, 'On correlation functions for the open XXZ chain with non-longitudinal boundary fields: the case with a constraint', SciPost Phys. 16, 099 (2024). DOI: 10.21468/SciPostPhys.16.4.099; arXiv:2208.10097; https://arxiv.org/abs/2208.10097
18. G. Niccoli, V. Terras, 'The open XYZ spin 1/2 chain: Separation of Variables and scalar products for boundary fields related by a constraint', SciPost Phys. 19, 090 (2025). DOI: 10.21468/SciPostPhys.19.4.090; arXiv:2402.04112; https://arxiv.org/abs/2402.04112
19. G. Niccoli, V. Terras, 'On the gauge invariant boundary condition in open XXZ chains: SoV bases, elementary blocks and overlaps', arXiv preprint (2026), arXiv:2608.22365; https://arxiv.org/abs/2608.22365
20. J.-M. Maillet, G. Niccoli, 'On Separation of Variables for Reflection Algebras', J. Stat. Mech. (2019) 094020. DOI: 10.1088/1742-5468/ab357a; arXiv:1904.00852; https://arxiv.org/abs/1904.00852
21. N. Kitanine, J.-M. Maillet, G. Niccoli, 'Open spin chains with generic integrable boundaries: Baxter equation and Bethe ansatz completeness from separation of variables', J. Stat. Mech. (2014) P05015. DOI: 10.1088/1742-5468/2014/05/P05015; arXiv:1401.4901; https://arxiv.org/abs/1401.4901