The inhomogeneous six-vertex model — Baxter's multiparameter generalization of the six-vertex model, equivalent to an inhomogeneous XXZ spin-12\frac12 chain — is critical whenever the anisotropy is unimodular, q=eiγq=e^{i\gamma} with γ∈(0,π)\gamma\in(0,\pi), and for the Zr\mathcal{Z}_r-invariant inhomogeneity pattern the critical line splits into rr segments of width π/r\pi/r in each of which the universal behavior is expected to be described by a different continuum theory. The algebraic groundwork — Baxter Q-operators built as traces over qq-oscillator representations, functional relations, discrete symmetries, and Hermitian (⋆\star-sesquilinear) structures — was laid out by Bazhanov, Kotousov, Koval and Lukyanov, and the scaling limit is fully worked out only for r=1r=1 (homogeneous XXZ chain: free compact boson conformal field theory with the quantum KdV integrable structure) and r=2r=2 (Z2\mathcal{Z}_2 staggered model: W∞⊗Wˉ∞W_\infty\otimes\bar W_\infty extended conformal symmetry with −1<c<2-1<c<2, continuous plus discrete spectra, pseudo-Hilbert inner products, and a gauged SL(2)SL(2) Wess–Zumino–Witten description). For r≥3r\ge3 only partial, largely conjectural ODE/IQFT descriptions exist — for the first segment 0<γ<π/r0<\gamma<\pi/r, for the middle segment near the free-fermion point (odd rr), and for ground states of softly broken Zr\mathcal{Z}_r — while the identification of the continuum conformal field theories (extended conformal symmetry algebras, central charges, operator content, integrals of motion), the remaining anisotropy segments, the exceptional twist values where the Q-operator normalization fails, and the positivity of the induced sesquilinear forms all remain open.

Background

The six-vertex model is an exactly solvable two-dimensional lattice model of arrows (equivalently, heights) on the square lattice, solved by the Bethe ansatz; its row-to-row transfer matrix generates the Hamiltonian of the XXZ spin-12\frac12 chain, one of the paradigmatic integrable quantum spin chains. Baxter's multiparameter generalization allows the spectral parameters ("inhomogeneities") ηJ\eta_J to vary from site to site while preserving integrability. This problem concerns the scaling limit of that inhomogeneous model — the continuum theory emerging when the lattice is refined at criticality.

Three ingredients from the source paper are needed. First, the Baxter Q-operators A±(ζ)\mathbb{A}_\pm(\zeta): transfer matrices built from infinite-dimensional representations of the qq-oscillator algebra whose eigenvalues are polynomials whose zeros are the Bethe roots — the solutions of the Bethe ansatz equations determining the spectrum. They are constructed as normalized traces over qq-oscillator representations, subject to a convergence condition on the twist parameter ω\omega (which fixes the quasi-periodic boundary conditions), and extended by analytic continuation; at isolated exceptional values ω=±q−Sz+m\omega=\pm q^{-S^z+m} (m=±1,±2,…m=\pm1,\pm2,\dots, with SzS^z the total-spin, i.e. magnetization, sector) some Bethe roots vanish and the normalization fails. Second, the commuting family of transfer matrices contains, for translationally invariant inhomogeneity patterns, local Hamiltonians H(r)H^{(r)} (sums of local spin operators) and quasi-shift operators (members of the commuting family whose action amounts to a cyclic shift of the inhomogeneity pattern along the chain); when the inhomogeneities are periodic with period rr — ηJ+r=ηJ\eta_{J+r}=\eta_J with ηJ/η1=e2πi(J−1)/r\eta_J/\eta_1=e^{2\pi i(J-1)/r} — the model acquires an additional global Zr\mathcal{Z}_r cyclic symmetry. Third, for ∣q∣=∣ω∣=1|q|=|\omega|=1 (and conjugation-symmetric inhomogeneities) the paper constructs Hermitian structures — sesquilinear (inner-product-like) forms on the state space built from discrete ⋆\star-conjugations compatible with the integrable structure — whose positivity is analyzed only in special cases.

At criticality the anisotropy is a pure phase, q=eiγq=e^{i\gamma}, γ∈(0,π)\gamma\in(0,\pi), and the Zr\mathcal{Z}_r-invariant model is critical along this entire line; for fixed r≥3r\ge3 the line splits into rr segments of width π/r\pi/r, in each of which the universal (continuum) behavior is expected to be different. The expected continuum descriptions are two-dimensional conformal field theories (CFTs), characterized by a central charge, an operator content (the spectrum of scaling dimensions), typically an algebra of extended conformal symmetry — a W-algebra, i.e. an extension of the Virasoro algebra by higher-spin chiral currents — and, in integrable cases, an infinite commuting family of integrals of motion (IM) acting on the space of states. A powerful modern tool is the ODE/IQFT correspondence, which relates the scaling limits of the Q-function eigenvalues to spectral determinants of ordinary differential equations (ODEs), the ODE spectra reproducing the CFT spectra.

Two limiting cases are completely understood and set the benchmark for what a complete answer means. For r=1r=1 (the homogeneous XXZ chain) the continuum theory is the massless free compact boson (c=1c=1 Gaussian CFT), with operator content established by Alcaraz, Barber and Batchelor; the Q-function scaling limits are governed by Schrödinger operators with "monster potentials" (a distinguished class of exactly solvable potentials with power-law and logarithmic terms that arises in this correspondence), and the integrable structure is that of quantum KdV (the quantum version of the classic Korteweg–de Vries soliton equation, the simplest non-trivial integrable conformal field theory). For r=2r=2 (the Z2\mathcal{Z}_2 invariant, or staggered, six-vertex model) the scaling limit was worked out in a 152-page companion paper: the extended conformal symmetry is W∞⊗Wˉ∞W_\infty\otimes\bar W_\infty; with q=eiπ/(n+2)q=e^{i\pi/(n+2)}, n>0n>0, the central charge c=2(n−1)/(n+2)c=2(n-1)/(n+2) lies in −1<c<2-1<c<2; the space of states contains both continuous and discrete components; the lattice-induced inner products are not positive definite (a pseudo-Hilbert structure); and the underlying CFT was proposed to be a gauged SL(2)SL(2) Wess–Zumino–Witten model (a two-dimensional conformal nonlinear sigma model whose target is a group manifold, here with a U(1)U(1) subgroup gauged away so that the target becomes non-compact) with boundary and reality conditions, revising the earlier conjecture of Ikhlef, Jacobsen and Saleur that had identified the continuum limit as the Euclidean black-hole nonlinear sigma model. These cases show how rich the answers are: non-compact, non-unitary continua with continuous spectra.

For r≥3r\ge3 the picture is fragmentary. In the first segment 0<γ<π/r0<\gamma<\pi/r, Kotousov and Lukyanov proposed a class of ODEs and a quantization condition (conjectural, numerics-supported) for the scaling limit of the Q-functions and observed infinite degeneracies of conformal primary states together with a continuous spectral component for even rr, while stating explicitly that no field-theory description was developed. In the upper segment π(1−1/r)<γ<π\pi(1-1/r)<\gamma<\pi an ODE/IQFT-type description exists only for a related Gaudin model in whose parameter domain the Zr\mathcal{Z}_r symmetry is, in general, explicitly broken. For non-periodic inhomogeneities — in particular the "softly broken" Zr\mathcal{Z}_r patterns, in which the inhomogeneities are assigned a dependence on the lattice length NN such that they reach the Zr\mathcal{Z}_r-symmetric values only in the N→∞N\to\infty limit — only the ground-state Bethe roots have a scaling limit. In the middle segment — the one containing the free-fermion point γ=π/2\gamma=\pi/2 (the anisotropy value at which the six-vertex model admits an exact reformulation in terms of free fermions), which is a full segment of width π/r\pi/r only when rr is odd — the space of states was classified and the extended conformal symmetry conjectured to be su^(r)1⊕u^(1)\widehat{su}(r)_1\oplus\widehat{u}(1), with a proposed ODE class — but the conjectures are unproven and the integrals of motion have not been constructed as operators. The segments adjacent to the free-fermion point when rr is even, and the remaining intermediate segments (for r≥5r\ge5), have no published description at all.

Problem Statement

For the Zr\mathcal{Z}_r-invariant inhomogeneous six-vertex model (equivalently, the associated inhomogeneous XXZ spin-12\frac12 chain) with r≥3r\ge3, and for its further non-periodic multiparameter inhomogeneity patterns, determine the continuum limits along the critical line q=eiγq=e^{i\gamma}, γ∈(0,π)\gamma\in(0,\pi). The common objective is the continuum identification set out in items (1)–(5) below, each an independently addressable sub-question of one objective (resolving a single item for a single segment is a partial answer, not a resolution of the problem). For each of the rr anisotropy segments γ∈((k−1)π/r, kπ/r)\gamma\in((k-1)\pi/r,\,k\pi/r) this requires items (1)–(2); items (3)–(5) concern the non-periodic patterns and the other cross-cutting questions:

(1) identification of the conformal field theory — its extended conformal symmetry algebra (expected to close into a W-algebra), its central charge, and its space of states and operator content, including the structure of the observed infinite degeneracies of conformal primary states and of the continuous spectral components;

(2) construction of the commuting family of integrals of motion — local, semi-local and non-local (the standard trichotomy of this literature, ordered by how non-local the operators are relative to the local chiral currents) — as operators acting on the continuum space of states;

(3) the same identification for non-periodic inhomogeneity patterns, in particular the "softly broken" Zr\mathcal{Z}_r patterns, beyond the ground-state results currently available;

(4) an operator-level treatment of the Q-operators and of the spectral characterization at the exceptional twist values ω=±q−Sz+m\omega=\pm q^{-S^z+m} (m=±1,±2,…m=\pm1,\pm2,\dots, SzS^z the magnetization sector) where the trace normalization of A±(ζ)\mathbb{A}_\pm(\zeta) fails;

(5) determination of the parameter regimes in which the sesquilinear forms induced by the lattice ⋆\star-conjugations are positive definite, and the physical interpretation of their indefiniteness in the remaining regimes.

The source paper's wider outlook items — scaling limits of inhomogeneous six-vertex models on arbitrary planar lattices (intersecting-line lattices, circle patterns) and continuum limits of alternating-inhomogeneity discrete sine–Gordon-type systems — are adjacent open directions and are not part of this problem.

References

  1. V. V. Bazhanov, G. A. Kotousov, S. M. Koval, S. L. Lukyanov, Some Algebraic Aspects of the Inhomogeneous Six-Vertex Model, SIGMA 17 (2021) 025, DOI: 10.3842/SIGMA.2021.025, https://arxiv.org/abs/2010.10615
  2. V. V. Bazhanov, G. A. Kotousov, S. M. Koval, S. L. Lukyanov, Scaling limit of the Z_2 invariant inhomogeneous six-vertex model, Nuclear Physics B 965 (2021) 115337, DOI: 10.1016/j.nuclphysb.2021.115337, https://arxiv.org/abs/2010.10613
  3. G. A. Kotousov, S. L. Lukyanov, On the scaling behaviour of an integrable spin chain with Z_r symmetry, Nuclear Physics B 993 (2023) 116269, DOI: 10.1016/j.nuclphysb.2023.116269, https://arxiv.org/abs/2305.03620
  4. G. A. Kotousov, S. L. Lukyanov, D. A. Shabetnik, Scaling limit of Q-functions for the Z_r invariant inhomogeneous XXZ spin-1/2 chain near free fermion point, Nuclear Physics B 1024 (2026) 117315, DOI: 10.1016/j.nuclphysb.2026.117315, https://arxiv.org/abs/2511.20530
  5. G. A. Kotousov, S. L. Lukyanov, ODE/IQFT correspondence for the generalized affine sl(2) Gaudin model, Journal of High Energy Physics 2021 (2021) 201, DOI: 10.1007/JHEP09(2021)201, https://arxiv.org/abs/2106.01238
  6. S. Gehrmann, G. A. Kotousov, S. L. Lukyanov, Scaling limit of the ground state Bethe roots for the inhomogeneous XXZ spin-1/2 chain, Nuclear Physics B 1006 (2024) 116624, DOI: 10.1016/j.nuclphysb.2024.116624, https://arxiv.org/abs/2406.12102
  7. F. C. Alcaraz, M. N. Barber, M. T. Batchelor, Conformal invariance, the XXZ chain and the operator content of two-dimensional critical systems, Annals of Physics 182 (1988) 280-343, DOI: 10.1016/0003-4916(88)90015-2, https://doi.org/10.1016/0003-4916(88)90015-2
  8. R. J. Baxter, Generalized ferroelectric model on a square lattice, Studies in Applied Mathematics 50 (1971) 51-69, DOI: 10.1002/sapm197150151, https://doi.org/10.1002/sapm197150151
  9. Y. Ikhlef, J. L. Jacobsen, H. Saleur, Integrable Spin Chain for the SL(2,R)/U(1) Black Hole Sigma Model, Physical Review Letters 108 (2012) 081601, DOI: 10.1103/PhysRevLett.108.081601, https://arxiv.org/abs/1109.1119
  10. H. Frahm, S. Gehrmann, Finite-size spectrum of the staggered six-vertex model with antidiagonal boundary conditions, Nuclear Physics B 1006 (2024) 116655, DOI: 10.1016/j.nuclphysb.2024.116655, https://arxiv.org/abs/2405.20919
  11. H. Frahm, S. Gehrmann, Gleb Andreevich Kotousov, Scaling limit of the staggered six-vertex model with U_q(sl(2)) invariant boundary conditions, SciPost Physics 16 (2024) 149, DOI: 10.21468/SciPostPhys.16.6.149, https://arxiv.org/abs/2312.11238
  12. M. Azhari, A. Klümper, Managing singular kernels and logarithmic corrections in the staggered six-vertex model, Journal of High Energy Physics 2024 (2024) 040, DOI: 10.1007/JHEP12(2024)040, https://arxiv.org/abs/2406.09889
  13. N. F. Robertson, J. L. Jacobsen, H. Saleur, Lattice regularisation of a non-compact boundary conformal field theory, Journal of High Energy Physics 2021 (2021) 180, DOI: 10.1007/JHEP02(2021)180, https://arxiv.org/abs/2012.07757