Analytic characterization and field-theory realization of extremal charged S-matrices in 1+1 dimensions

For gapped 1+1-dimensional quantum field theories whose lightest particles carry a global O(N) or U(N) charge, Paulos and Zheng's numerical S-matrix bootstrap bounds the coupling of charged particles to bound states through channel-resolved unitarity, group-theoretic crossing matrices and analyticity; the bounds are saturated in many cases by known integrable S-matrices (sine-Gordon solitons, O(N) and SU(N) Gross-Neveu). Two linked questions from that work remain open: (i) no closed-form analytic expression, nor a derivation from an optimization principle, is known for the extremal matrix-valued amplitudes, unlike the diagonal scalar case; and (ii) the minimal U(N)-symmetric factorized S-matrices of classes IV, V and VI in the Berg-Karowski-Weisz-Kurak classification (corrected and extended by a seventh class by Córdova and Rodrigues in 2025) have still not been identified with any local quantum field theory. Both questions remain open, with partial progress across dual convex formulations and vertex theorems, zero-imposition recovering integrable amplitudes, and a conjectural complex-CFT/loop-model realization of the unidentified classes.

Background

In a gapped, unitary, Lorentz-invariant quantum field theory (QFT) in $1+1$ spacetime dimensions, the two-to-two scattering of the lightest particle of mass $m$ depends on a single kinematic invariant, conventionally encoded in the rapidity $\theta$ through $s=4m^2\cosh^2(\theta/2)$. When that particle is 'charged' — it transforms in a nontrivial representation of a global symmetry group $G$, here the vector representation of $O(N)$ or the fundamental representation of $U(N)$, so that particle and antiparticle are distinct for $U(N)$ — the two-particle $S$-matrix is a matrix in the internal indices: an incoming pair can scatter with their internal labels transmitted or reflected. Decomposing the two-particle state into irreducible $G$-channels (for $U(N)$: singlet, adjoint, symmetric and antisymmetric tensor channels, each in two parity versions; for $O(N)$: singlet, symmetric and antisymmetric tensor channels), the axioms become a coupled system of functional constraints on the channel amplitudes $S_a(\theta)$: analyticity (meromorphy in the physical strip $0<\mathrm{Im}\,\theta<\pi$), unitarity $|S_a(\theta)|\leq 1$ on the real $\theta$ axis channel by channel, and crossing symmetry $S_a(i\pi-\theta)=\sum_b \mathcal F_{ab} S_b(\theta)$, where $\mathcal F$ is a group-theoretic crossing matrix mixing the channels. Bound states appear as poles on the physical strip whose residues are the squared cubic couplings $g^2$ of the bound state to two fundamental particles.

The modern $S$-matrix bootstrap turns these axioms into an optimization problem: maximize the residue of a chosen bound-state pole (or another linear functional of the amplitudes) over all amplitudes satisfying the constraints. For a single uncharged scalar this was carried out by Paulos, Penedones, Toledo, van Rees and Vieira ('the S-matrix bootstrap II'), who obtained numerical upper bounds on couplings that in special cases admit closed-form analytic extremal amplitudes. Paulos and Zheng (arXiv:1805.11429) implemented the charged version for $O(N)$ vectors and $U(N)$ fundamentals and found numerical upper bounds on couplings to bound states which are saturated, remarkably, by the known integrable $S$-matrices — sine-Gordon solitons (topological particle-like excitations of the sine-Gordon model, a scalar field with a cosine self-interaction), $O(N)$ Gross-Neveu (a model of $N$ fermions with a quartic interaction), and $SU(N)$ Gross-Neveu. Unlike the scalar case, however, they could not find closed-form expressions for the optimal amplitudes, nor derive them from an optimization principle.

The relevant benchmark solutions come from integrable QFT, where infinitely many conserved charges forbid particle production and force scattering to factorize into two-particle amplitudes satisfying the Yang-Baxter equation (the consistency condition ensuring that three-particle scattering is independent of the ordering of two-particle collisions). Zamolodchikov and Zamolodchikov classified the minimal (simplest pole/zero content) scalar and $O(N)$ factorized solutions; for $U(N)$ the minimal solutions were classified by Berg, Karowski, Weisz and Kurak into six classes. Class I is the free theory; class II is the $SU(N)$ (chiral) Gross-Neveu model — equivalently the 'massive $CP^{N-1}$' models (sigma models whose target space is complex projective space) — up to a Castillejo-Dalitz-Dyson (CDD) factor, a crossing-symmetric prefactor that inserts extra poles and zeros while preserving the axioms; class III is the $O(2N)$ nonlinear sigma model. Classes IV, V and VI were never matched to any local field theory. This is not a merely catalogical gap: in $1+1$ dimensions an exact two-particle $S$-matrix satisfying the axioms and the Yang-Baxter equation is essentially the full solution of an integrable QFT, so an unidentified class is a potentially exactly-solved theory without a known Lagrangian. In 2025 Córdova and Rodrigues re-derived the classification, corrected the published expressions for classes V and VI (which do not satisfy the Yang-Baxter equations as printed), and found a seventh class plus a one-parameter $N=2$ family; they showed that classes V-VII are periodic in real rapidity and conjectured, by analogy with the two-dimensional $O(N)$ loop-model (lattice statistical models whose configurations are non-crossing loops) and complex-conformal-field-theory story, that they describe walking renormalization-group flows between pairs of complex (non-unitary) conformal fixed points — a conjecture, not an identification. The same work showed that generic extremal amplitudes of the $U(N)$ bootstrap saturate unitarity, carry infinite towers of resonances, and are periodic in rapidity; an analytic understanding of why the optimization produces this space of solutions is explicitly lacking.

Problem Statement

Within the charged $1+1$-dimensional $S$-matrix bootstrap of Paulos and Zheng — two-to-two scattering of mass-$m$ particles in the vector/fundamental representation of $O(N)$ or $U(N)$, with channel-resolved unitarity, group-theoretic crossing matrices, meromorphic analyticity and a prescribed bound-state spectrum — determine analytically what the extremal amplitudes are and which quantum field theories they describe. Completion requires two linked deliverables, both stated in the source:

(1) Closed-form extremal amplitudes. Derive, from an explicitly stated optimization principle, closed-form analytic expressions for the extremal matrix-valued channel amplitudes of the charged bootstrap — the amplitudes maximizing the residue of a bound-state pole of the prescribed bound-state spectrum (or extremizing another linear functional of the amplitudes fixed by the same physical input) — in the setups where known integrable $S$-matrices (sine-Gordon solitons, $O(N)$ Gross-Neveu and $SU(N)$ Gross-Neveu) saturate the numerical bounds. The characterization should explain analytically the generic structure of the extrema — unitarity saturation, infinite resonance towers, periodicity in rapidity — and the special status of integrable amplitudes as vertices of the allowed space. Completion of (1) requires the closed-form amplitudes together with the analytic explanation of their generic structure and the vertex status of integrable amplitudes; reconciling the two diagnostics listed below is desirable but not required for completion. Two diagnostics from the source's numerical results remain unresolved: the $O(5)$ Gross-Neveu $S$-matrix does not lie on the numerical bound obtained from its putative bound-state spectrum (its wrong-sign $s$-channel residues are Coleman-Thun poles — kinematic singularities from multi-particle intermediate states, here kink pair production, rather than genuine bound states), and the $O(2)$-symmetric extremum with a single pseudoscalar bound state differs from the sine-Gordon amplitude only by its missing zeros; the source suggests that adding further legitimate physical input (zero positions, inelastic constraints, correct pole interpretation) might reconcile these cases, but did not carry this out.

(2) Field-theory realization of the minimal $U(N)$ classes. Identify local quantum field theories (Lagrangian or lattice models) whose exact two-particle $S$-matrices are the minimal $U(N)$-symmetric factorized solutions of classes IV, V and VI of Berg-Karowski-Weisz-Kurak — in their corrected form per Córdova-Rodrigues 2025, the published expressions for classes V and VI failing the Yang-Baxter equations — or establish that no such local QFT exists. The complex-CFT/loop-model realization conjectured for these classes (walking renormalization-group flows — flows that linger over a long range of scales near an approximate fixed point — between pairs of complex (non-unitary) conformal fixed points, with effective central charges near $c\approx 1$ for classes V-VI and near $c\approx 2$ for the additional class VII found by Córdova-Rodrigues) remains a conjecture, not an identification.

The two deliverables are two faces of one question — which quantum field theories the charged bootstrap extrema describe. They are technically linked: the analytic extremizer machinery of (1) fixes the boundary of the allowed space on which the unidentified integrable classes of (2) either sit as vertices or provably fail to sit, while the identified theories of (2) are precisely the extrema whose closed forms (1) must reproduce (as already happens for sine-Gordon, $O(N)$ and $SU(N)$ Gross-Neveu). The extension of the charged bootstrap to $d>2$ spacetime dimensions, which the source proposed as a blueprint, is adjacent programmatic context and 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://doi.org/10.1016/0550-3213(78)90489-3
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://doi.org/10.1016/0003-4916(79)90391-9
4. 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
5. 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
6. 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
7. 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
8. 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
9. C. Bercini, M. Fabri, A. Homrich and P. Vieira, 'S-matrix bootstrap: Supersymmetry, Z2, and Z4 symmetry', Phys. Rev. D 101 (2020) 045022, arXiv:1909.06453, DOI 10.1103/PhysRevD.101.045022, https://arxiv.org/abs/1909.06453
10. A. Homrich, J. Penedones, J. Toledo, B. C. van Rees and P. Vieira, 'The S-matrix Bootstrap IV: Multiple Amplitudes', JHEP 11 (2019) 076, arXiv:1905.06905, DOI 10.1007/JHEP11(2019)076, https://arxiv.org/abs/1905.06905
11. 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
12. 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
13. 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
14. 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
15. K. Häring, A. Hebbar, D. Karateev, M. Meineri and J. Penedones, 'Bounds on photon scattering', JHEP 10 (2024) 103, arXiv:2211.05795, DOI 10.1007/JHEP10(2024)103, https://arxiv.org/abs/2211.05795
16. Y. He and M. Kruczenski, 'Gauge Theory Bootstrap' (preprint titled 'Bootstrapping gauge theories'), Phys. Rev. Lett. 133 (2024) 191601, arXiv:2309.12402, DOI 10.1103/PhysRevLett.133.191601, https://arxiv.org/abs/2309.12402
17. M. Kruczenski, J. Penedones and B. C. van Rees, 'Snowmass White Paper: S-matrix Bootstrap', arXiv:2203.02421, https://arxiv.org/abs/2203.02421