Analytic optimal amplitudes and the unidentified integrable solutions in the two-dimensional charged S-matrix bootstrap

The two-dimensional S-matrix bootstrap bounds the two-to-two scattering of the lightest particles of a gapped quantum field theory using only unitarity, crossing, analyticity and global symmetry. For particles charged under $O(N)$ or $U(N)$, Paulos and Zheng maximized the residue of a prescribed bound-state pole over the coupled tensor-channel amplitudes and found sharp numerical bounds, saturated by integrable S-matrices but without closed-form optima. This problem asks for the exact characterization of the boundary of this space of consistent charged amplitudes: derivation of closed-form optimal amplitudes (or matching dual certificates) for the multi-channel charged bootstrap with general prescribed bound-state spectra, and identification of the quantum field theories — or proof of their non-existence — behind the minimal $U(N)$-symmetric Yang-Baxter solutions — classes IV, V and VI of the Berg-Karowski-Weisz-Kurak classification, together with the class VII solution later found by Córdova and Rodrigues — which lack any known physical realization: classes V–VII sit at special points of the boundary of the allowed space, while class IV, whose amplitude vanishes at the crossing-symmetric point, is excepted from that boundary claim. The higher-dimensional extension of the bootstrap and the $O(5)$ Gross-Neveu mismatch (explained by Coleman-Thun pole reinterpretation) are outside the scope of this problem.

Background

Two-dimensional gapped quantum field theories are the laboratory where the non-perturbative S-matrix bootstrap is most tractable. The two-to-two scattering amplitude of the lightest particle depends on a single kinematic variable, conveniently the rapidity difference $\theta$, related to the center-of-mass energy by $s=4m^2\cosh^2(\theta/2)$; crossing symmetry (swapping an incoming with an outgoing particle) acts as $\theta\to i\pi-\theta$, and elastic unitarity requires the amplitude in each channel to have modulus at most one on the real axis. The bootstrap asks for the set of all amplitudes compatible with these principles and bounds observables by solving optimization problems over this set. A prototypical question, going back to Creutz in 1972 and revived by Paulos, Penedones, Toledo, van Rees and Vieira, is whether the cubic coupling of a given bound state — the residue of the corresponding pole in the physical strip $0<\mathrm{Im}\,\theta<\pi$ — can be arbitrarily large; physically one expects a definite upper bound, since too strong an attraction should create new bound states. When the scattered particles carry charge under a global symmetry group — transforming in the vector representation of $O(N)$ or the fundamental of $U(N)$ — the amplitude becomes a matrix with several independent channel functions (for $U(N)$: two singlet, two adjoint, antisymmetric- and symmetric-tensor combinations of transmission and reflection amplitudes), all coupled by crossing and unitarity. Paulos and Zheng set up this multi-component optimization and computed sharp numerical upper bounds on pole residues for $O(N)$ and $U(N)$ scattering with prescribed bound-state spectra. The bounds are saturated by amplitudes without particle production, and in many cases by known integrable (factorized-scattering) amplitudes: the $O(N)$ and $SU(N)$ Gross-Neveu models (asymptotically free fermionic theories whose exact S-matrices were found in the 1970s), the $O(2N)$ nonlinear sigma model, and sine-Gordon. However, no closed-form expression for the optimal amplitudes was found — in contrast with the single-component (uncharged) case, where the analogous optimization can be solved analytically. The same kind of optimization also carves out the allowed region of amplitudes evaluated at the crossing-symmetric point (called a monolith in this literature), whose boundary carries special points occupied by integrable models. For $U(N)$, the integrable two-to-two amplitudes are the minimal solutions of the Yang-Baxter equation — the consistency condition allowing three-body scattering to factorize into two-body processes — classified by Berg, Karowski, Weisz and Kurak in 1978 into six classes built from a building-block function $f_\lambda(\theta)$ of gamma functions. Class I is free theory; class II underlies the chiral $SU(N)$ Gross-Neveu model and the massive $CP^{N-1}$-type models; class III is the $O(2N)$ sigma model; but classes IV, V and VI have never been associated with any known field theory. Later charting of the $U(N)$ monolith by Córdova and Rodrigues (2025) corrected inaccuracies in the original expressions for classes V and VI and uncovered two previously missed solutions: class VII (periodic in rapidity, no free parameters) and a one-parameter family for $N=2$ of Wiegmann-Polyakov type. All of these integrable solutions except class IV, whose amplitude vanishes at the crossing-symmetric point, sit on the boundary of the allowed space; the two-particle contribution to the UV central charge computed from their form factors (matrix elements of local operators between one-particle asymptotic states) exhibits walking (approximately constant) behavior, and the conjectured connection is to deformations of complex conformal field theories (non-unitary limiting cases of ordinary two-dimensional conformal theories) and to loop models (statistical-mechanical models of fluctuating curves on a lattice) — but the physical theories themselves remain unidentified. A further subtlety relevant to any identification is the Coleman-Thun mechanism: singularities of an amplitude can be generated by on-shell multiparticle intermediate states rather than by single-particle bound states, which changes the interpretation of pole residues.

Problem Statement

The problem is the exact characterization of the boundary of the space of consistent two-to-two S-matrices for the lightest particles charged under a global $O(N)$ or $U(N)$ symmetry in massive 1+1-dimensional quantum field theories, as posed by Paulos and Zheng. It comprises two linked deliverables sharing this common objective. (1) Analytic optimal amplitudes of the charged bootstrap: derive, in closed form, the tensor-channel amplitudes that maximize the residue of a prescribed bound-state pole — equivalently, the extremal amplitudes of the dual convex formulation (the equivalent minimization problem whose optimal value certifies the primal bound) — for the multi-channel charged problem, for general prescribed bound-state spectra (several poles in several channels with independent masses). At present these optima are known only numerically; the single-component uncharged problem admits analytic solutions, and the question is whether an optimization principle yields exact closed-form optima in the charged case, together with their exact singularity structure (zeros, resonances, and the observed periodicity in rapidity). (2) Identification of the remaining minimal integrable $U(N)$ S-matrices: determine the quantum field theories — if any — whose exact two-particle S-matrices are the minimal $U(N)$-symmetric solutions of the Yang-Baxter equation in classes IV, V and VI of Berg et al., together with class VII of Córdova-Rodrigues; for each class, either construct a local (not necessarily unitary) theory of fundamental $U(N)$-charged particles whose two-to-two amplitude equals the minimal solution of that class up to CDD factors (unit-modulus factors that only add or remove physical-strip poles and zeros without affecting elastic unitarity), or prove that no such theory exists. Deliverable (1) fixes the analytic form of the boundary of the allowed space and its generic extremal points; deliverable (2) fixes the physical identity of the remaining minimal integrable solutions, whether or not they lie on that boundary; together they complete the exact map of the charged two-dimensional S-matrix space that the numerical bounds of Paulos and Zheng began. The higher-dimensional extension of the bootstrap and the physical origin of the $O(5)$ Gross-Neveu mismatch are not part of this problem.

References

1. M. F. Paulos and Z. Zheng, Bounding scattering of charged particles in 1+1 dimensions, JHEP 05 (2020) 145, arXiv:1805.11429, doi:10.1007/JHEP05(2020)145, https://arxiv.org/abs/1805.11429
2. B. Berg, M. Karowski, P. Weisz and V. Kurak, Factorized U(n) symmetric S-matrices in two dimensions, Nucl. Phys. B 134 (1978) 125-132, doi:10.1016/0550-3213(78)90489-3, https://www.sciencedirect.com/science/article/pii/0550321378904893
3. A. B. Zamolodchikov and Al. B. Zamolodchikov, Factorized s matrices in two dimensions as the exact solutions of certain relativistic quantum field theory models, Annals Phys. 120 (1979) 253-291, doi:10.1016/0003-4916(79)90391-9, https://www.sciencedirect.com/science/article/pii/0003491679903919
4. M. Creutz, Rigorous bounds on coupling constants in two-dimensional field theories, Phys. Rev. D 6 (1972) 2763-2765, doi:10.1103/PhysRevD.6.2763, https://journals.aps.org/prd/abstract/10.1103/PhysRevD.6.2763
5. M. F. Paulos, J. Penedones, J. Toledo, B. C. van Rees and P. Vieira, The S-matrix bootstrap II: two dimensional amplitudes, JHEP 11 (2017) 143, arXiv:1607.06110, doi:10.1007/JHEP11(2017)143, https://arxiv.org/abs/1607.06110
6. L. Córdova and P. Vieira, Adding flavour to the S-matrix bootstrap, JHEP 12 (2018) 063, arXiv:1805.11143, doi:10.1007/JHEP12(2018)063, https://arxiv.org/abs/1805.11143
7. Y. He, A. Irrgang and M. Kruczenski, A note on the S-matrix bootstrap for the 2d O(N) bosonic model, JHEP 11 (2018) 093, arXiv:1805.02812, doi:10.1007/JHEP11(2018)093, https://arxiv.org/abs/1805.02812
8. L. Córdova, Y. He, M. Kruczenski and P. Vieira, The O(N) S-matrix monolith, JHEP 04 (2020) 142, arXiv:1909.06495, doi:10.1007/JHEP04(2020)142, https://arxiv.org/abs/1909.06495
9. A. L. Guerrieri, A. Homrich and P. Vieira, Dual S-matrix bootstrap. Part I. 2D theory, JHEP 11 (2020) 084, arXiv:2008.02770, doi:10.1007/JHEP11(2020)084, https://arxiv.org/abs/2008.02770
10. L. Córdova and R. Rodrigues, On the space of U(N) scattering amplitudes, JHEP 09 (2025) 076, arXiv:2504.20239, doi:10.1007/JHEP09(2025)076, https://arxiv.org/abs/2504.20239
11. B. Basso and A. Rej, On the integrability of two-dimensional models with U(1)×SU(N) symmetry, Nucl. Phys. B 866 (2013) 337-377, arXiv:1207.0413, doi:10.1016/j.nuclphysb.2012.09.003, https://arxiv.org/abs/1207.0413
12. P. B. Wiegmann, Exact solution of the O(3) nonlinear σ-model, Phys. Lett. B 152 (1985) 209-214, doi:10.1016/0370-2693(85)91171-2, https://www.sciencedirect.com/science/article/pii/0370269385911712
13. A. M. Polyakov and P. B. Wiegmann, Theory of nonabelian Goldstone bosons in two dimensions, Phys. Lett. B 131 (1983) 121-126, doi:10.1016/0370-2693(83)91104-8, https://www.sciencedirect.com/science/article/pii/0370269383911048
14. Y. He and M. Kruczenski, S-matrix bootstrap in 3+1 dimensions: regularization and dual convex problem, JHEP 08 (2021) 125, arXiv:2103.11484, doi:10.1007/JHEP08(2021)125, https://arxiv.org/abs/2103.11484
15. H. Chen, A. L. Fitzpatrick and D. Karateev, Nonperturbative bounds on scattering of massive scalar particles in d >= 2, JHEP 12 (2022) 092, arXiv:2207.12448, doi:10.1007/JHEP12(2022)092, https://arxiv.org/abs/2207.12448
16. J. Elias Miró, A. Guerrieri and M. A. Gümüş, Bridging positivity and S-matrix bootstrap bounds, JHEP 05 (2023) 001, arXiv:2210.01502, doi:10.1007/JHEP05(2023)001, https://arxiv.org/abs/2210.01502
17. P. Tourkine and A. Zhiboedov, Scattering from production in 2d, JHEP 07 (2021) 228, arXiv:2101.05211, doi:10.1007/JHEP07(2021)228, https://arxiv.org/abs/2101.05211
18. M. Correia, Nonperturbative anomalous thresholds, Phys. Rev. D 110 (2024) 025012, arXiv:2212.06157, doi:10.1103/PhysRevD.110.025012, https://arxiv.org/abs/2212.06157
19. L. Córdova, M. Correia, A. Georgoudis and A. Vuignier, The O(N) monolith reloaded: sum rules and Form Factor Bootstrap, JHEP 01 (2024) 093, arXiv:2311.03031, doi:10.1007/JHEP01(2024)093, https://arxiv.org/abs/2311.03031
20. A. Antunes, M. S. Costa and J. Pereira, Exploring inelasticity in the S-matrix Bootstrap, Phys. Lett. B 846 (2023) 138225, arXiv:2301.13219, doi:10.1016/j.physletb.2023.138225, https://arxiv.org/abs/2301.13219
21. A. Guerrieri, A. Homrich and P. Vieira, Multiparticle Flux-Tube S-matrix Bootstrap, Phys. Rev. Lett. 134 (2025) 041601, arXiv:2404.10812, doi:10.1103/PhysRevLett.134.041601, https://arxiv.org/abs/2404.10812
22. C. Copetti, L. Córdova and S. Komatsu, S-matrix bootstrap and non-invertible symmetries, JHEP 03 (2025) 204, arXiv:2408.13132, doi:10.1007/JHEP03(2025)204, https://arxiv.org/abs/2408.13132
23. P. Roux, J. L. Jacobsen, S. Ribault and H. Saleur, Critical spin chains and loop models with PSU(n) symmetry, SciPost Phys. 18 (2025) 033, arXiv:2404.01935, doi:10.21468/SciPostPhys.18.1.033, https://arxiv.org/abs/2404.01935
24. V. Gorbenko and B. Zan, Two-dimensional O(n) models and logarithmic CFTs, JHEP 10 (2020) 099, arXiv:2005.07708, doi:10.1007/JHEP10(2020)099, https://arxiv.org/abs/2005.07708