Smirnov and Zamolodchikov (2016) showed that any massive two-dimensional integrable quantum field theory (IQFT) admits an infinite family of integrable irrelevant deformations — bilinear composites of the left- and right-moving components of the higher-spin conserved currents — which act on the factorizable S-matrix as CDD-factor deformations, and posed the problem of mapping the space of integrable QFTs: its tangent space, its UV-complete subspace, and the analytic structures that probe locality within it. A decade of follow-up literature resolved two of their open issues: the conjecture that the deformed integrals of motion still mutually commute was proven by Le Floch and Mezei for deformations built from composites of commuting currents, and the finite-size square-root singularities of generic CDD deformations were given a physical mechanism as Hagedorn-type behavior incompatible with Wilsonian locality (asymptotic fragility). The surviving open core consists of four linked deliverables: (1) complete the classification of integrable tangent directions at a generic massive IQFT, including the principal deformations that change the Yang–Baxter solution and the charged semi-local deformations of sine-Gordon; (2) determine which CDD/-deformed theories are UV complete, as a criterion in the CDD data, and classify the UV completions; (3) establish rigorous convergence and analytic continuation of the form-factor (spectral) series for generic CDD factors, including the conjectured branch point at ; (4) construct the fermionic creation/annihilation operators of the sine-Gordon fermionic basis directly in the continuum theory or its UV conformal field theory.
Background
In -dimensional relativistic QFT, a special class of theories — integrable QFTs (IQFTs) — possess infinitely many mutually commuting local conserved quantities (integrals of motion, IM) of Lorentz spin , built from conserved currents obeying (overbars denote the right-moving sector). Their presence forbids particle production and momentum exchange, so the many-particle S-matrix factorizes into two-particle amplitudes depending only on the rapidity difference . The two-particle amplitude is constrained by unitarity and crossing , and, when mass degeneracies are present, by the Yang–Baxter equation (YBE), a consistency condition on three-particle scattering. These constraints fix only up to a CDD factor: a meromorphic function , analytic and bounded in the physical strip , satisfying and (eq. (7.2) of the source); equivalently a choice of poles via , or of deformation coordinates through the formal expansion (eq. (7.3) of the source).
Smirnov and Zamolodchikov studied the space of all two-dimensional QFTs (defined with a Wilsonian ultraviolet cutoff) and its integrable subspace , asking which infinitesimal deformations of an IQFT preserve integrability — the tangent space . They showed it always contains the infinite family of scalar fields
one for each IM; is the much-studied -deformation. They proved that deforming by any preserves conservation of the whole set of IM, and that in massive theories this deformation acts on the S-matrix precisely as a CDD factor. Relative to a conformal ultraviolet (UV) fixed point the have mass dimension , so all these deformations are irrelevant and generally — but not always — destroy UV completeness, i.e. the existence of a well-defined limit in which the cutoff length (equivalently, an RG trajectory extendible indefinitely backward in renormalization-group time; UV-complete theories form a subspace ). They conjectured, without proof, that the deformed IM still mutually commute (now proven), noted that the full tangent space may also contain finitely many principal deformations — those changing the YBE solution itself rather than its scalar CDD factor — and left the classification of open.
Two analytic structures enter the problem. First, UV consistency and locality can be probed on a cylinder of circumference through the finite-size energies , computable exactly from the thermodynamic Bethe ansatz (TBA), a system of nonlinear integral equations for the ground-state energy determined by the factorized S-matrix; and through the form-factor expansion: the two-point function of a local operator is a spectral series over multiparticle matrix elements (form factors), which in a local theory converges for all . For generic CDD factors, numerical TBA studies dating to the early 1990s show developing a square-root branch point at finite — the same singularity produced by flows from a conformal field theory (CFT) — and Smirnov–Zamolodchikov argued it plausibly signals a breakdown of true locality, since the discontinuity across the branch cut is directly related to the commutator. Which CDD deformations instead yield UV-complete IQFT (the staircase-type models being the classic examples) was left open. Second, the local and semi-local operators of the sine-Gordon (SG) model admit an expansion in the fermionic basis, a distinguished operator basis built from auxiliary fermionic creation/annihilation operators discovered through the hidden Grassmann structure of the XXZ spin chain, whose explicit realization directly in the continuum theory or its UV CFT was stated to remain largely open.
Problem Statement
The overarching objective, as posed by Smirnov and Zamolodchikov, is the geometric characterization of the integrable subspace of the space of two-dimensional QFTs: its local structure (the tangent space of integrable deformations), its UV boundary (which deformations of a UV-complete theory remain UV complete), and the analytic structures inside it that probe locality. Two of the original threads — commutativity of the deformed IM and the mechanism of the finite- singularities — are settled. The remaining problem has four linked deliverables, none restricted to free theories or isolated examples: (1)–(3) are posed for generic massive IQFTs, with sine-Gordon as the paradigmatic interacting case, and (4) is specific to sine-Gordon:
(1) Tangent-space classification. For a massive IQFT with factorizable S-matrix (the sine-Gordon model as the paradigmatic case), determine the full tangent space : prove that the infinite family together with the finitely many principal deformations — those changing the solution of the Yang–Baxter equation, such as the coupling shift generated by and the soliton-creating semi-local operator in sine-Gordon — exhaust the integrable tangent directions, or exhibit the additional directions. This includes the charged semi-local deformations: account within the classification for the integrable deformations generated by charged non-local operators, in particular the confining perturbations of sine-Gordon, which the source showed to lie in .
(2) UV-completion criterion. Given CDD data (pole positions or coordinates ) specifying a deformation of a massive IQFT or CFT, decide whether the deformed theory is UV complete: give necessary and sufficient conditions under which the finite-size ground-state energy obtained from the TBA equations is regular for all with a CFT-like limit, rather than developing a square-root branch point at finite ; and classify the UV completions.
(3) Locality of the spectral expansion. For theories with generic CDD factors, determine the convergence domain in of the form-factor series for two-point correlation functions: prove or refute that the series converges only for , that it exhibits a branch point at , and what this implies about locality of the deformed theory (the relation between the discontinuity across the branch cut and the commutator).
(4) Continuum fermionic basis. Construct the fermionic creation/annihilation operators of the sine-Gordon fermionic basis explicitly in the continuum massive theory or its UV CFT (beyond the free fermion point), or prove an obstruction to such a construction.
Each of the four deliverables is independently refutable and counts on its own; the demands listed within a single item are components of that one deliverable, not separate mandatory tasks, so a complete resolution of any single item is a self-contained contribution. These deliverables are jointly the map of : (1) provides the local coordinates; (2) determines which deformations extend to ; (3) is the analytic locality test that motivates the criterion in (2) and is computed from form factors whose structure (4) explains constructively.
References
- F. A. Smirnov and A. B. Zamolodchikov, 'On space of integrable quantum field theories', Nucl. Phys. B 915 (2017) 363-383, arXiv:1608.05499, DOI 10.1016/j.nuclphysb.2016.12.014, https://arxiv.org/abs/1608.05499
- A. Cavaglià, S. Negro, I. M. Szécsényi and R. Tateo, '-deformed 2D Quantum Field Theories', JHEP 10 (2016) 112, arXiv:1608.05534, DOI 10.1007/JHEP10(2016)112, https://arxiv.org/abs/1608.05534
- S. Dubovsky, V. Gorbenko and M. Mirbabayi, 'Asymptotic fragility, near AdS2 holography and ', JHEP 09 (2017) 136, arXiv:1706.06604, DOI 10.1007/JHEP09(2017)136, https://arxiv.org/abs/1706.06604
- B. Le Floch and M. Mezei, 'KdV charges in theories and new models with super-Hagedorn behavior', SciPost Phys. 7 (2019) 043, arXiv:1907.02516, DOI 10.21468/SciPostPhys.7.4.043, https://arxiv.org/abs/1907.02516
- R. Conti, S. Negro and R. Tateo, 'Conserved currents and irrelevant deformations of 2D integrable field theories', JHEP 11 (2019) 120, arXiv:1904.09141, DOI 10.1007/JHEP11(2019)120, https://arxiv.org/abs/1904.09141
- B. Doyon, J. Durnin and T. Yoshimura, 'The Space of Integrable Systems from Generalised -Deformations', SciPost Phys. 13 (2022) 072, arXiv:2105.03326, DOI 10.21468/SciPostPhys.13.3.072, https://arxiv.org/abs/2105.03326
- A. LeClair, ' deformation of the Ising model and its ultraviolet completion', J. Stat. Mech. 2111 (2021) 113104, arXiv:2107.02230, DOI 10.1088/1742-5468/ac2a99, https://arxiv.org/abs/2107.02230
- G. Camilo, T. Fleury, M. Lencsés, S. Negro and A. Zamolodchikov, 'On factorizable S-matrices, generalized TTbar, and the Hagedorn transition', JHEP 10 (2021) 062, arXiv:2106.11999, DOI 10.1007/JHEP10(2021)062, https://arxiv.org/abs/2106.11999
- C. Ahn and A. LeClair, 'On the classification of UV completions of integrable deformations of CFT', JHEP 08 (2022) 179, arXiv:2205.10905, DOI 10.1007/JHEP08(2022)179, https://arxiv.org/abs/2205.10905
- O. A. Castro-Alvaredo, S. Negro and F. Sailis, 'Form factors and correlation functions of -deformed integrable quantum field theories', JHEP 09 (2023) 048, arXiv:2306.01640, DOI 10.1007/JHEP09(2023)048, https://arxiv.org/abs/2306.01640
- O. A. Castro-Alvaredo, S. Negro and F. Sailis, 'Completing the bootstrap program for -deformed massive integrable quantum field theories', J. Phys. A 57 (2024) 265401, arXiv:2305.17068, DOI 10.1088/1751-8121/ad5395, https://arxiv.org/abs/2305.17068
- O. A. Castro-Alvaredo, S. Negro and I. M. Szécsényi, 'On the representation of minimal form factors in integrable quantum field theory', Nucl. Phys. B 1000 (2024) 116459, arXiv:2311.16955, DOI 10.1016/j.nuclphysb.2024.116459, https://arxiv.org/abs/2311.16955
- F. Sailis, O. A. Castro-Alvaredo and S. Negro, 'Complete minimal form factors for irrelevant deformations of integrable quantum field theory', Nucl. Phys. B 1019 (2025) 117131, arXiv:2506.20517, DOI 10.1016/j.nuclphysb.2025.117131, https://arxiv.org/abs/2506.20517
- R. Monten, R. M. Myers and K. Roumpedakis, 'Locality and conserved charges in -deformed CFTs', SciPost Phys. 19 (2025) 082, arXiv:2411.06261, DOI 10.21468/SciPostPhys.19.3.082, https://arxiv.org/abs/2411.06261
- L. W. Lindwasser, 'On the space of 2d integrable models', JHEP 01 (2025) 138, arXiv:2409.08266, DOI 10.1007/JHEP01(2025)138, https://arxiv.org/abs/2409.08266
- L. W. Lindwasser, 'Constraining all possible Korteweg–de Vries type hierarchies', Phys. Rev. D 112 (2025) 085004, arXiv:2502.18451, DOI 10.1103/lsp2-p3b2, https://arxiv.org/abs/2502.18451
- J. Kruthoff and O. Parrikar, 'On the flow of states under ', arXiv:2006.03054 (2020), https://arxiv.org/abs/2006.03054
- J. Gu, J. Hou and Y. Jiang, 'Beyond Hagedorn: A Harmonic Approach to Deformation', Phys. Rev. Lett. 137 (2026) 081603, arXiv:2604.20839, DOI 10.1103/kcs1-7q6n, https://arxiv.org/abs/2604.20839
- C. Ahn, T. Franzini and F. Ravanini, 'Hagedorn singularity in exact U_q(su_2) S-matrix theories with arbitrary spins', JHEP 06 (2024) 157, arXiv:2402.15794, DOI 10.1007/JHEP06(2024)157, https://arxiv.org/abs/2402.15794
- N. Brizio, T. Morone, N. Primi and R. Tateo, 'Graded S-matrices, generalised Gibbs ensembles and fractional-spin CDD deformations', JHEP 03 (2026) 137, arXiv:2511.03791, DOI 10.1007/JHEP03(2026)137, https://arxiv.org/abs/2511.03791
- S. Adler and H. Boos, 'Fermionic Basis in Conformal Field Theory and Thermodynamic Bethe Ansatz for Excited States II', SIGMA 21 (2025) 010, arXiv:2312.15522, DOI 10.3842/SIGMA.2025.010, https://arxiv.org/abs/2312.15522
- S. Adler and H. Boos, 'Fermionic Basis in Conformal Field Theory: The Free Fermion Point', arXiv:2601.12843 (2026), https://arxiv.org/abs/2601.12843
- H. Boos, M. Jimbo, T. Miwa, F. Smirnov and Y. Takeyama, 'Fermionic basis for space of operators in the XXZ model', arXiv:hep-th/0702086, https://arxiv.org/abs/hep-th/0702086
- S. L. Lukyanov and A. B. Zamolodchikov, 'Form factors of soliton-creating operators in the sine-Gordon model', Nucl. Phys. B 607 (2001) 437-455, arXiv:hep-th/0102079, DOI 10.1016/S0550-3213(01)00262-0, https://arxiv.org/abs/hep-th/0102079