Emergent Yang–Baxter factorization, elliptic deformations, and rapidity periodicity at the boundary of the two-dimensional S-matrix bootstrap (supersymmetric, $\mathbb{Z}_2$, and $\mathbb{Z}_4$ setups)

In the two-dimensional S-matrix bootstrap one carves out the space of consistent two-to-two scattering amplitudes using only unitarity, analyticity, and crossing symmetry, never imposing factorization. In the supersymmetric, $\mathbb{Z}_2$-, and $\mathbb{Z}_4$-symmetric setups of Bercini–Fabri–Homrich–Vieira (2020), the amplitudes that saturate the bootstrap bounds nevertheless satisfy the Yang–Baxter factorization equations on special loci (kinks, lines, and entire surfaces), and the boundary hosts new objects: an analytic continuation of the supersymmetric sine-Gordon (SSG) S-matrix with no known Lagrangian, a non-factorizable family $S_{\mathrm{NF}}(\theta)$ of unclear physical status, elliptic deformations of SSG, and Zamolodchikov's two-parameter elliptic $\mathbb{Z}_4$ S-matrices, which are periodic in real rapidity (hence in $\log s$) and lack any Lagrangian realization. The open problem is to give a mathematical and physical account of this boundary: explain why extremal bootstrap solutions become factorized integrable S-matrices, determine which of the newly found extremal S-matrices are realized by bona fide unitary two-dimensional QFTs, and interpret the rapidity periodicity (RG-time periodicity, limit-cycle-like behavior, or another mechanism).

Background

The S-matrix bootstrap aims to determine the space of consistent scattering amplitudes from first principles — unitarity, analyticity, and crossing symmetry (which relates a particle–particle amplitude to the corresponding particle–antiparticle amplitude by analytic continuation in the energy) — without reference to a Lagrangian. In two spacetime dimensions this program is numerically tractable: for a single multiplet of mass $m$, every two-to-two amplitude is a matrix-valued function of the rapidity difference $\theta$, related to the center-of-mass energy by $s = 4m^2\cosh^2(\theta/2)$, and the constraints become a convex optimization problem solved by semidefinite programming. A small number of independent functions of $\theta$ then parametrize whole families of theories, and the allowed region in coupling space displays sharp geometry — edges, cusps, and flat faces.

A parallel fact of 1+1-dimensional physics is integrability: theories with infinitely many conserved charges have no particle production, and their two-body S-matrices must satisfy the Yang–Baxter equation $S_{12}(\theta_{12})\,S_{13}(\theta_{13})\,S_{23}(\theta_{23}) = S_{23}(\theta_{23})\,S_{13}(\theta_{13})\,S_{12}(\theta_{12}),$ which states that the two decompositions of three-particle scattering into sequential two-particle scatterings agree. This strong factorization condition is a dynamical output of a Lagrangian in known examples; it is never an input of the bootstrap.

Bercini, Fabri, Homrich, and Vieira ran the 2D S-matrix bootstrap on setups with $\mathcal{N}=1$ supersymmetry, $\mathbb{Z}_2$, and $\mathbb{Z}_4$ internal symmetries. At the boundary of the allowed regions they recovered known integrable S-matrices — the breather (soliton–antisoliton bound-state) S-matrix of the supersymmetric sine-Gordon model (SSG; a Majorana fermion coupled to a pseudoscalar), and the restricted sine-Gordon (RSG) amplitudes, obtained by restricting the sine-Gordon spectrum to a finite tower of breathers — and found new objects: (i) at the top cusp of the 'blue' regions (one anti-fundamental bound-state multiplet) sits the analytic continuation of the SSG S-matrix multiplied by $-1$, for which no Lagrangian theory is known; (ii) the boundary segments connecting these cusps are swept by an explicit non-factorizable family $S_{\mathrm{NF}}(\theta)$ that saturates unitarity but violates the Yang–Baxter equations and is suspected to be non-physical, or at best close to a theory with very little particle production; (iii) elliptic deformations of the SSG breather S-matrix (first obtained in the multi-amplitude bootstrap of Homrich, Penedones, Toledo, van Rees, and Vieira); and (iv) full two-dimensional boundary surfaces filled by Zamolodchikov's $\mathbb{Z}_4$-symmetric elliptic S-matrix, proposed in 1979 and depending on an elliptic modulus $\kappa$ and a coupling $\gamma$.

Three features of these results were left unexplained. First, the extremal amplitudes obey the Yang–Baxter equations precisely at the special loci (kinks in the supersymmetric setup, lines in the $\mathbb{Z}_2$ setup, entire surfaces in the $\mathbb{Z}_4$ setup), although factorization was never imposed — the authors call this 'mysterious bonus factorization' and ask where it comes from mathematically. (A related puzzle, why extremal amplitudes generically saturate unitarity, was explained around the same time by the dual formulation of the bootstrap in convex-optimization terms and is not part of this problem.) Second, the physical status of the new boundary S-matrices is unknown: classical intuition from Bercini–Trancanelli says SSG is the only supersymmetric boson-plus-Majorana-fermion theory without tree-level particle production, yet the analytic continuation of SSG at the blue cusps has no known Lagrangian, and it is undecided which elliptic deformations define unitary, UV-complete QFTs rather than formal analytic continuations. Third, the $\mathbb{Z}_4$ elliptic S-matrix is periodic in real rapidity — at high energy, periodic in $\log s$ — which Zamolodchikov suggested indicates a kind of RG-time periodicity and may explain why no Lagrangian description is known; whether such periodicity is compatible with conventional renormalization-group flow or signals genuinely non-Lagrangian, limit-cycle-like behavior is unresolved. Subsequent bootstrap studies with other symmetries ($O(N)$, $U(N)$, non-invertible fusion-category symmetries) keep finding integrable models at special boundary points and periodic extremal amplitudes, so the phenomenon is widespread, but its origin remains unexplained.

Problem Statement

Provide a mathematical and physical account of the extremal boundary of the two-dimensional S-matrix bootstrap spaces for the supersymmetric, $\mathbb{Z}_2$-symmetric, and $\mathbb{Z}_4$-symmetric two-particle setups of Bercini–Fabri–Homrich–Vieira. The components below share one objective — characterizing what the bootstrap boundary is mathematically (its factorization structure) and physically (which quantum field theories its extremal points define) — and are jointly the unresolved questions the source paper poses about its own results:

1. Emergent factorization. Establish, with explicit hypotheses on the symmetry setup, the amplitude class, and the maximized functional, under which circumstances the solutions that saturate the unitarity-plus-crossing bootstrap bounds satisfy the Yang–Baxter equations — as observed empirically at special kinks (supersymmetric setup), special lines ($\mathbb{Z}_2$ setup), and full boundary surfaces ($\mathbb{Z}_4$ setup) — and explain why factorization fails on the remaining boundary segments such as the non-factorizable family $S_{\mathrm{NF}}(\theta)$.

2. QFT status of the new extremal S-matrices. Determine which of the boundary S-matrices are realized by bona fide unitary two-dimensional quantum field theories and which are only formal analytic continuations, in particular: (a) the analytic continuation of the supersymmetric sine-Gordon S-matrix (with overall minus sign) sitting at the blue cusps — does a local Lagrangian exist, e.g. of a Majorana fermion plus a pseudo-scalar, or is there an obstruction; (b) the non-factorizable family $S_{\mathrm{NF}}(\theta)$, which saturates unitarity but violates Yang–Baxter — is it realized exactly or approximately by a theory with small particle production, or provably by no local QFT; (c) the elliptic deformations of the SSG breather S-matrix and Zamolodchikov's two-parameter elliptic $\mathbb{Z}_4$ S-matrices.

3. Interpretation of periodicity. Explain physically the periodicity of the elliptic $\mathbb{Z}_4$ S-matrices in real rapidity (at high energy, periodicity in $\log s$): is it compatible with conventional renormalization-group flow and Lagrangian descriptions, or does it signal genuinely non-Lagrangian, limit-cycle-like RG behavior (Zamolodchikov's 'RG-time periodicity'), and what are its observable consequences (for example for the running central charge and the resonance towers)?

An answer may resolve any subset of these components with rigorous results (theorems, constructions, or impossibility proofs) applicable to the stated setups; a complete answer would make the observed locus of integrability on the bootstrap boundary a theorem and assign each named boundary S-matrix a definite physical status.

References

1. C. Bercini, M. Fabri, A. Homrich, P. Vieira, 'S-matrix bootstrap: Supersymmetry, Z_2, and Z_4 symmetry', Phys. Rev. D 101 (2020) 045022, DOI 10.1103/PhysRevD.101.045022, https://arxiv.org/abs/1909.06453 (source of the problem statement)
2. A. B. Zamolodchikov, 'Z4-symmetric factorized S-matrix in two space-time dimensions', Commun. Math. Phys. 69 (1979) 165-178, DOI 10.1007/BF01221446, https://doi.org/10.1007/BF01221446
3. A. Homrich, J. Penedones, J. Toledo, B. C. van Rees, P. Vieira, 'The S-matrix Bootstrap IV: Multiple Amplitudes', JHEP 11 (2019) 076, DOI 10.1007/JHEP11(2019)076, arXiv:1905.06905, https://arxiv.org/abs/1905.06905
4. A. L. Guerrieri, A. Homrich, P. Vieira, 'Dual S-matrix bootstrap. Part I. 2D theory', JHEP 11 (2020) 084, DOI 10.1007/JHEP11(2020)084, arXiv:2008.02770, https://arxiv.org/abs/2008.02770
5. L. Córdova, Y. He, M. Kruczenski, P. Vieira, 'The O(N) S-matrix Monolith', JHEP 04 (2020) 142, DOI 10.1007/JHEP04(2020)142, arXiv:1909.06495, https://arxiv.org/abs/1909.06495
6. M. Kruczenski, J. Penedones, B. C. van Rees, 'Snowmass White Paper: S-matrix Bootstrap', arXiv:2203.02421, https://arxiv.org/abs/2203.02421
7. L. Córdova, S. Negro, F. I. Schaposnik Massolo, 'Thermodynamic Bethe Ansatz past turning points: the (elliptic) sinh-Gordon model', JHEP 01 (2022) 035, DOI 10.1007/JHEP01(2022)035, https://arxiv.org/abs/2110.14666
8. A. Antunes, M. S. Costa, J. Pereira, 'Exploring inelasticity in the S-matrix Bootstrap', Phys. Lett. B 846 (2023) 138225, DOI 10.1016/j.physletb.2023.138225, arXiv:2301.13219, https://arxiv.org/abs/2301.13219
9. L. Cordova, M. Correia, A. Georgoudis, A. Vuignier, 'The O(N) monolith reloaded: sum rules and Form Factor Bootstrap', JHEP 01 (2024) 093, DOI 10.1007/JHEP01(2024)093, arXiv:2311.03031, https://arxiv.org/abs/2311.03031
10. L. Córdova, R. Rodrigues, 'On the space of U(N) scattering amplitudes', JHEP 09 (2025) 076, DOI 10.1007/JHEP09(2025)076, https://arxiv.org/abs/2504.20239
11. V. Gorbenko, B. Zan, 'Two-dimensional O(n) models and logarithmic CFTs', JHEP 10 (2020) 099, DOI 10.1007/JHEP10(2020)099, arXiv:2005.07708, https://arxiv.org/abs/2005.07708
12. A. Homrich, 'Bootstrapping Quantum Field Theories', PhD thesis, University of Waterloo (2024), https://hdl.handle.net/10012/20272
13. C. Copetti, L. Cordova, S. Komatsu, 'S-matrix bootstrap and non-invertible symmetries', JHEP 03 (2025) 204, DOI 10.1007/JHEP03(2025)204, arXiv:2408.13132, https://arxiv.org/abs/2408.13132
14. C. Appadu, T. J. Hollowood, D. Price, D. C. Thompson, 'Yang Baxter and Anisotropic Sigma and Lambda Models, Cyclic RG and Exact S-Matrices', JHEP 09 (2017) 035, DOI 10.1007/JHEP09(2017)035, arXiv:1706.05322, https://arxiv.org/abs/1706.05322
15. C. Bercini, D. Trancanelli, 'Supersymmetric integrable theories without particle production', Phys. Rev. D 97 (2018) 105013, DOI 10.1103/PhysRevD.97.105013, https://arxiv.org/abs/1803.03612
16. A. Guerrieri, A. Homrich, P. Vieira, 'Multiparticle Flux-Tube S-matrix Bootstrap', Phys. Rev. Lett. 134 (2025) 041601, DOI 10.1103/PhysRevLett.134.041601, arXiv:2404.10812, https://arxiv.org/abs/2404.10812