Completeness and faithfulness of the extended Q-system for simply-laced integrable spin chains: bijection with the Bethe algebra beyond type A

The extended Q-system of Ekhammar, Shu and Volin packages the Baxter Q-functions of an integrable spin chain into Q-vectors taking values in every fundamental representation of the underlying simply-laced Lie algebra, equivalently into a fused flag that is a finite-difference oper; once its members are constrained by the analytic ansatz appropriate to rational, trigonometric, or elliptic chains, it is conjectured to encode the spectrum completely. The completeness conjecture states that the algebraic number of extended Q-systems satisfying the ansatz (i.e. the number of solutions of the algebraic system formed by the ansatz together with the Q-system relations, counted with algebraic multiplicity), counted modulo residual gauge symmetries, equals the dimension of the corresponding weight subspace of the Hilbert space; the faithfulness conjecture states that the resulting algebra of Q-functions is isomorphic to the Bethe algebra (the commuting transfer matrices) restricted to that subspace, which would imply a simple joint spectrum. The status of these conjectures is known precisely: they are proven for rational type-A chains (Mukhin-Tarasov-Varchenko; Chernyak-Leurent-Volin for gl(m|n)), are precisely formulated and numerically supported but unproven for the orthogonal family D_r (Ekhammar-Volin, 2025), and are untouched for E_6, E_7, E_8 and for the trigonometric and elliptic regimes. The problem is open.

Background

Integrable spin chains are quantum many-body systems whose infinite family of conserved charges commute and can be diagonalised simultaneously. In the algebraic Bethe ansatz these charges are organised into transfer matrices $T(u)$ , traces of monodromy matrices depending on a complex spectral parameter $u$ ; the commutative algebra they generate is called the Bethe algebra of the chain. Baxter's Q-functions are special eigenvalue functions whose zeros (Bethe roots) determine the joint spectrum through functional relations such as $TQ$ - and $QQ$ -relations. For a chain based on a rank- $r$ Lie algebra $\mathfrak g$ , the standard (Cartan) $QQ$ -system involves one Q-function per simple root. The extended Q-system of Ekhammar-Shu-Volin is a covariant enlargement: for every fundamental representation $L(\omega_a)$ , $a=1,\dots,r$ , of the Langlands-dual algebra (for simply-laced types, the algebra itself), it introduces a whole vector of Q-functions $\boldsymbol{Q}^{(a)}$ tied together by fusion, projection, and quantisation relations generalising the scalar $QQ$ -relations. Geometrically the Q-vectors are Plücker coordinates of a complete flag, the relations say that these flags are fused with one another, and the paper identifies such a fused flag with a finite-difference oper - a discrete analogue of the oper connections of geometric Langlands theory, i.e. a connection valued in a Borel subalgebra - in a specific gauge. Structural theorems of the source show that, given generic functions $Q^{(a)}_1$ , the Q-system on the Weyl orbit and then the full extended Q-system exist and are unique up to symmetry; the functional relations are universal for the Lie algebra and by themselves carry no physics.

The physical model is selected by an analytic Bethe ansatz imposed directly on the Q-functions (equations (4.9)-(4.14) of the source): each component $Q^{(a)}_i(u)$ must factorise into a normalisation constant, a character factor $e^{2\pi u\,\omega_a(H)}$ fixed by the boundary twist $H$ (a Cartan element of $\mathfrak g$ defining the twisted boundary condition of the chain), a dressing factor $\sigma_a(u)$ fixed by the chain content (the Dynkin labels $m_{\ell a}$ of the representation at site $\ell$ and the inhomogeneities $\theta_\ell$ shifting the spectral parameter site by site), and a Baxter polynomial whose zeros are Bethe roots. In type $A$ this ansatz reduces to the Wronskian Bethe equations, a determinant form of the nested Bethe equations. The rational regime corresponds to Yangian symmetry (XXX-type chains), the trigonometric regime to quantum affine algebra symmetry (XXZ-type chains), and the elliptic regime to elliptic quantum groups; a fundamental-representation node means each site carries the lift of an irreducible representation whose highest weight is a fundamental weight $\omega_a$ , its content encoded in Drinfeld polynomials $P_a(u)$ - the polynomials whose zeros encode the evaluation parameters and highest-weight data of a Yangian representation.

Two statements then express that solving the constrained Q-system is equivalent to diagonalising the chain. Completeness: the algebraic number of extended Q-systems satisfying the ansatz, counted modulo residual symmetries (for a generic twist $H$ only the action of the Cartan subalgebra $\mathfrak h\subset\mathfrak g$ , which changes normalisations and is therefore inessential, is a symmetry, while for zero twist $H=0$ rotation by any element of $\mathfrak g$ is a symmetry), equals the dimension $d_\lambda$ of the weight subspace, i.e. the space of highest-weight vectors with respect to the residual symmetry (for a generic twist, simply the space of vectors of weight $\lambda$ ) with Dynkin labels $d_a=\sum_\ell m_{\ell a}-\sum_b C_{ab}M_b$ , where $C$ is the Cartan matrix and $M_b$ the number of Bethe roots of type $b$ . Faithfulness: the algebra of Q-functions obeying the ansatz and the extended Q-system relations - in the rational and trigonometric cases a polynomial quotient ring in the Baxter-polynomial coefficients - is isomorphic to the Bethe algebra restricted to the weight subspace; under this isomorphism, completeness is equivalent to the Bethe algebra being a maximal commutative algebra of endomorphisms of the subspace and the joint spectrum being simple. For rational $\mathfrak{gl}_N$ chains with vector-representation nodes this programme is a theorem: Mukhin-Tarasov-Varchenko identified the Bethe algebra on a weight subspace with the algebra of functions on a fibre of a discrete Wronski map, and Chernyak-Leurent-Volin proved completeness of Wronskian Bethe equations for rational $\mathfrak{gl}_{m|n}$ chains. For the orthogonal family, Ferrando-Frassek-Kazakov derived the full $D_r$ QQ-system together with Weyl-type transfer-matrix formulas, and Frassek constructed oscillator Lax operators realising part of an operatorial Q-system for the $D$ -type Yangian - ingredients toward, but not a proof of, the conjecture. Ekhammar-Shu-Volin pose the completeness and faithfulness conjectures for all simply-laced $\mathfrak g$ in all three regimes, and their sequel (Ekhammar-Volin, published 2025) makes the conjecture precise for cyclic representations of the Yangian $Y(\mathfrak{so}_{2r})$ and tests it extensively numerically; no proof beyond type A exists.

Problem Statement

Prove or refute the completeness and faithfulness conjectures of Ekhammar-Shu-Volin (arXiv:2008.10597, Section 4.3) for the analytically constrained extended Q-system. Consider spin chains whose symmetry is a simply-laced Lie algebra $\mathfrak g$ of rank $r$ - the open cases are the orthogonal family $D_r$ and the exceptional types $E_6$ , $E_7$ , $E_8$ , the type- $A$ rational chains with vector-representation nodes being the settled benchmark - with chain sites carrying fundamental representations of the Yangian (rational regime), of the quantum affine algebra (trigonometric regime), or of the elliptic quantum group (elliptic regime), with arbitrary inhomogeneities $\theta_\ell$ and twist $H$ (a Cartan element fixing the boundary condition), and with Hilbert space the tensor product of the site representations. Let $d_\lambda$ be the dimension of the weight subspace, the space of highest-weight vectors with respect to the residual symmetry (for a generic twist, the space of vectors of weight $\lambda$ ), with Dynkin labels $d_a=\sum_\ell m_{\ell a}-\sum_b C_{ab}M_b$ ( $C$ the Cartan matrix, $M_b$ the Bethe-root numbers, $m_{\ell a}$ the Dynkin labels of the site representations).

(i) Faithfulness: prove or disprove that the algebra of Q-functions satisfying the analytic ansatz (equations (4.9)-(4.14) of the source) together with the relations of the extended Q-system is isomorphic to the Bethe algebra generated by the transfer matrices, restricted to this weight subspace.

(ii) Completeness: prove or disprove that the algebraic number of extended Q-systems satisfying the ansatz, counted modulo the residual symmetries (for a generic twist only the action of the Cartan subalgebra $\mathfrak h\subset\mathfrak g$ , and for zero twist $H=0$ rotation by any element of $\mathfrak g$ ), equals $d_\lambda$ .

Consequently, prove or disprove that the Bethe algebra has simple joint spectrum on the weight subspace (the implication asserted in the source for the rational and trigonometric cases). The independently refutable claims are (i) and (ii), and a counterexample to either refutes that claim alone while leaving the other open; the simple-spectrum statement is not a separate target, since it follows from (i) and (ii) and need not be established on its own. The conjecture asserts these properties always, not merely for parameters in general position: configurations with coinciding Bethe roots, homogeneous chains, exceptional solutions in which both terms of a Wronskian determinant vanish simultaneously, and site representations that are irreducible as modules over the quantum algebra but reducible as representations of the Lie algebra $\mathfrak g$ must be covered by a proof (or may be exploited by a counterexample); in the proved type- $A$ benchmark the source requires only that the chain be a cyclic representation of the Yangian. The full target comprises all simply-laced types and all three regimes; the sharpest currently formulated subcase is rational $\mathfrak{so}_{2r}$ chains with fundamental-representation nodes as conjectured by Ekhammar-Volin (2025).

References

Simon Ekhammar, Hongfei Shu, Dmytro Volin, Extended systems of Baxter Q-functions and fused flags I: simply-laced case, arXiv:2008.10597 (2020), https://arxiv.org/abs/2008.10597.
Simon Ekhammar, Dmytro Volin, Bethe algebra using pure spinors, Letters in Mathematical Physics 115, 20 (2025), doi:10.1007/s11005-024-01894-w, arXiv:2104.04539, https://arxiv.org/abs/2104.04539
E. Mukhin, V. Tarasov, A. Varchenko, Spaces of quasi-exponentials and representations of the Yangian Y(gl_N), Transformation Groups 19 (2014) 861-885, doi:10.1007/s00031-014-9275-8, arXiv:1303.1578, https://arxiv.org/abs/1303.1578
Dmitry Chernyak, Sébastien Leurent, Dmytro Volin, Completeness of Wronskian Bethe Equations for Rational gl(m|n) Spin Chains, Communications in Mathematical Physics 391 (2022) 969-1045, doi:10.1007/s00220-021-04275-9, arXiv:2004.02865, https://arxiv.org/abs/2004.02865
Gwenaël Ferrando, Rouven Frassek, Vladimir Kazakov, QQ-system and Weyl-type transfer matrices in integrable SO(2r) spin chains, JHEP 02 (2021) 193, doi:10.1007/JHEP02(2021)193, arXiv:2008.04336, https://arxiv.org/abs/2008.04336
Rouven Frassek, Oscillator realisations associated to the D-type Yangian: Towards the operatorial Q-system of orthogonal spin chains, Nuclear Physics B 956 (2020) 115063, doi:10.1016/j.nuclphysb.2020.115063, arXiv:2001.06825, https://arxiv.org/abs/2001.06825
Rouven Frassek, Ivan Karpov, Alexander Tsymbaliuk, Transfer Matrices of Rational Spin Chains via Novel BGG-Type Resolutions, Communications in Mathematical Physics 400 (2023) 1-82, doi:10.1007/s00220-022-04620-6, arXiv:2112.12065, https://arxiv.org/abs/2112.12065
Edward Frenkel, David Hernandez, Extended Baxter Relations and QQ-Systems for Quantum Affine Algebras, Communications in Mathematical Physics 405, 190 (2024), doi:10.1007/s00220-024-05051-1, arXiv:2312.13256, https://arxiv.org/abs/2312.13256
Davide Masoero, Andrea Raimondo, Feigin-Frenkel-Hernandez Opers and the QQ-System, Communications in Mathematical Physics 405, 193 (2024) (erratum: Communications in Mathematical Physics 406, 88 (2025)), doi:10.1007/s00220-024-05064-w, arXiv:2312.01955, https://arxiv.org/abs/2312.01955
Yunfeng Jiang, Yi-Chao Liu, Yuan Miao, Zi-Xi Tan, Rational Q-systems for integrable spin chains without U(1) symmetry, SciPost Physics 20, 175 (2026), doi:10.21468/SciPostPhys.20.6.175, arXiv:2512.01551, https://arxiv.org/abs/2512.01551
Zengo Tsuboi, Folding QQ-relations and transfer matrix eigenvalues: Towards a unified approach to Bethe ansatz for super spin chains, Nuclear Physics B 1005 (2024) 116607, doi:10.1016/j.nuclphysb.2024.116607, arXiv:2309.16660, https://arxiv.org/abs/2309.16660
Simon Ekhammar, Dmytro Volin, Monodromy bootstrap for SU(2|2) quantum spectral curves: from Hubbard model to AdS3/CFT2, JHEP 03 (2022) 192, doi:10.1007/JHEP03(2022)192, arXiv:2109.06164, https://arxiv.org/abs/2109.06164
Filipp Chernikov, Simon Ekhammar, Nikolay Gromov, Benjamin Smith, Gluing Quantum Spectral Curves: a two-copy osp(4|2) construction, JHEP 05 (2026) 285, doi:10.1007/JHEP05(2026)285, arXiv:2511.09654, https://arxiv.org/abs/2511.09654
Andrea Cavaglià, Rouven Frassek, Nicolò Primi, Roberto Tateo, On the quantum spectral curve for AdS3 x S3 x S3 x S1 strings and the d(2,1;alpha) Q-system, arXiv:2511.09635 (2025), https://arxiv.org/abs/2511.09635