REVIEW 3 major objections 5 minor 2 cited by
On the space of U(N) scattering amplitudes
T0 review · 3 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read The paper identifies a previously overlooked, parameter-free integrable scattering amplitude for U(N) theories and shows it lies on the boundary of the space of all consistent no-bound-state amplitudes.
desk verdict Solid U(N) bootstrap extension with a credible new integrable amplitude, but the novelty claim for class VII depends on an unproven completeness assertion that a referee should check. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery has two parts. On the bootstrap side, the S-matrix is written in six U(N)-invariant functions, $u_1,u_2,t_1,t_2,r_1,r_2$, and repacked into four unitarity eigenchannels ($S_{\mathrm{sing}\pm},S_{\mathrm{adj}\pm},S_{\mathrm{sym}},S_{\mathrm{anti}}$) related by a crossing matrix $C$ with $C^2=1$; an optimized dual functional bounds any physical amplitude at $s=2m^2$, and matching primal and dual results locates the boundary of the allowed region. On the integrable side, the load-bearing object is the gamma-function building block $f_\lambda(\theta)$ and the infinite product $r_1(\theta)=\prod_{k\in\mathbb{Z}} f_{1-ik/\mu}(\theta)/f_{ik/\mu}(\theta)$, which solves the unitarity constraints and becomes periodic in real rapidity when the parameter $\mu$ satisfies $\cosh(\pi\mu)=N/2$, the defining condition of class VII.
What would settle it
Substitute the class VII functions into the two factorization equations dismissed as redundant in footnote 11; if the residual does not vanish for generic rapidities, class VII is not integrable and the classification is incomplete. The same test applied to all table-1 entries would settle whether the set of equations in appendix A is complete.
Extended reading notes
Core claim
The paper claims that the space of U(N)-symmetric, no-bound-state $2\to2$ amplitudes is convex and bounded, and that every minimal integrable amplitude without bound-state poles appears on its boundary; class IV is the exception because its transmission amplitude vanishes at the crossing-symmetric point. It further claims that the original classification of factorized U(N) S-matrices is incomplete in two ways: it misses a one-parameter family of solutions for $N=2$, and it misses a fully parameter-free solution valid for any $N$, class VII. In class VII the transmission amplitudes vanish, $u_1=t_1=u_2=t_2=0$, and the only nontrivial input is $r_1(\theta)=\prod_{k\in\mathbb{Z}} f_{1-ik/\mu}(\theta)/f_{ik/\mu}(\theta)$ with $\cosh(\pi\mu)=N/2$, related to $r_2$ by crossing; the amplitude is periodic in real rapidity with period $2\pi/\mu$. If this classification is complete, table 1 is the corrected catalog of integrable U(N) amplitudes without bound states, and class VII is a genuine new entry in that catalog.
Load-bearing premise
Everything in table 1, including the novelty of class VII, rests on the unproved claim that the Yang-Baxter equations written in appendix A plus the N=2 equations capture all independent factorization constraints, since footnote 11 declares two other factorization types redundant without proof.
Editorial extensions
If this is right
- Every consistent U(N) no-bound-state theory must lie inside the convex monolith, so any amplitude outside the plotted regions is excluded by analyticity, crossing, and unitarity.
- The integrable amplitudes of classes I, II, III, V, VI and VII, together with the two constant solutions, saturate the bootstrap bounds and therefore are extremal points of the allowed space.
- For $N=2$ there is a continuous one-parameter line of integrable amplitudes interpolating between class II at $p\to1$ and class III at $p\to\infty$, so the boundary of the $U(2)$ space contains a whole solvable curve, not just isolated points.
- The periodic integrable amplitudes V, VI and VII give walking two-particle central charges, around $c\approx1$ for classes V and VI and $c\approx2$ for class VII, indicating a long approximately conformal regime and suggesting complex conformal field theories.
- Class VII is a new parameter-free entry in the integrable S-matrix catalog; its absence from the earlier classification means that catalog was incomplete.
Reading between the lines
- If the appendix-A equation set is complete, class VII should be a vertex of the monolith for every $N$, not just a boundary point; this can be checked numerically by increasing the grid and precision parameters and looking for a sharp corner at the class-VII location.
- Because classes V, VI and VII share the same infinite-product structure for $r_1(\theta)$ and differ only in which transmission components vanish and in the condition on $\mu$, one could search for parameter-dependent deformations that interpolate between them; the paper does not perform such a search.
- The walking central charge near $c=2$ for class VII, together with the paper's speculative map to loop models, suggests a concrete test: a lattice or spin-chain realization of the U(N) loop model at $N=2$ with fundamental excitations liberated should show a walking regime at $c=2$ rather than $c=1$.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the space of 2→2 scattering amplitudes of massive two-dimensional quantum field theories with global U(N) symmetry and no bound states. Using the S-matrix bootstrap, the authors compute allowed regions in the space of amplitudes at the crossing-symmetric point, finding that integrable models sit at boundary points. The main classification result is a revised set of integrable U(N) amplitudes (Table 1), correcting classes V and VI of the old classification and adding a new class VII with u1=t1=u2=t2=0 and r1(θ)=∏_{k∈Z} f_{1-ik/μ}(θ)/f_{ik/μ}(θ), cosh(πμ)=N/2, plus the previously known N=2 one-parameter family. The paper also identifies an O(2N)-symmetric subregion of the monolith, studies the analytic structure of generic extremal amplitudes (resonances and periodicity), and computes two-particle central charge contributions for the periodic classes, observing walking behavior near c=1 and c=2.
Significance. If the results hold, the paper makes several useful contributions. It provides a numerical map of the U(N) amplitude space with both primal and dual implementations (Appendix C), a corrected and extended Yang-Baxter classification with an explicit derivation in Appendix A, and a non-trivial consistency check with the O(2N) monolith. The new class VII is a concrete, parameter-free candidate integrable amplitude that can be tested by direct substitution into the Yang-Baxter equations and by bootstrap geometry. The walking central charge analysis connects the periodic amplitudes to complex CFTs and loop models, generating falsifiable predictions (e.g., plateau values c=2 for class VII). The paper is careful in presenting numerical convergence evidence (vanishing duality gap) and openly discusses the limitations of the extremal amplitudes (particle production, finite precision).
major comments (3)
- [Appendix A, footnote 11, Eqs. (A.1)-(A.9)] The completeness of the Yang-Baxter equation set is load-bearing for the classification in Table 1, including the new class VII. The paper states in footnote 11 that two additional factorization types are redundant 'as such do not place further constraints', but the verification is not shown. If those omitted equations are not actually implied by (A.2)-(A.9), the N→N/2 condition (A.52) could be an artifact of solving only a subset of constraints, and other solutions could be missed. Please include the explicit reduction of the two omitted factorization types (or a citation where this is proven), or state that each class in Table 1 has been directly checked against them.
- [Section 4, Table 1, footnote 4] The claim that class VII is 'previously overlooked' is supported only by 'to our knowledge'. Since equivalent Yang-Baxter solutions can appear in different gauge or crossing frames, please add a comparison with known U(N)/SU(N) R-matrix classifications (e.g., trigonometric R-matrices) and demonstrate that no relabeling maps class VII to class V or VI, for instance by listing the representation-channel eigenvalues S_sym, S_anti, S_sing±, S_adj± and their N-dependence. The condition cosh(πμ)=N/2 is distinct from (A.44), but a systematic statement would settle the point.
- [Appendix A.1, Eqs. (A.51)-(A.52)] The derivation of class VII is compressed into three sentences. Please write out the reduced Yang-Baxter equation obtained from (A.9) when u1=t1=u2=t2=0 and show explicitly how the ratio a(θ)=r2/r1 satisfies (A.42) with N→N/2, so that the fixing cosh(πμ)=N/2 can be verified without reconstructing the index contractions.
minor comments (5)
- [Section 2.1] There is a duplicated word in 'In this work we we used both methods'; please correct this and any similar typos.
- [Table 1] The caption says classes I-VII are 'valid for any N', but for class VII the condition cosh(πμ)=N/2 gives μ=0 when N=2, where the product formula for r1(θ) is singular; please specify the range of N (e.g., N>2) or explain the limiting sense in which the solution is defined for N=2.
- [Eq. (3.3)] The constant solutions are presented as bare vectors; please state explicitly that their entries correspond to (S_sing+, S_adj+, S_sing-, S_adj-, S_sym, S_anti) as ordered in (2.16).
- [Abstract and Section 1] The bounds are called 'rigorous', but the dual implementation uses finite truncation n_max, Chebyshev quadrature, and finite-precision MOSEK. Please qualify the statement to indicate that the bounds are rigorous in the dual sense up to the numerical accuracy of the implementation, so as not to overclaim.
- [References [27] and [28]] Reference [27] has an incomplete bibliographic entry; please supply the full publication details or a preprint number.
Circularity Check
No significant circularity; the U(N) bounds and class VII are derived from bootstrap and Yang-Baxter equations, with self-citations only methodological.
full rationale
The central bootstrap bounds follow from optimizing primal/dual functionals subject to analyticity, crossing, and unitarity; no parameter is fitted to the boundary points that are then quoted as predictions. The integrable amplitudes in table 1, including class VII, are obtained by solving the Yang-Baxter equations (A.1)-(A.9): class VII is derived by setting u1=t1=u2=t2=0 and relating r2 to r1 via crossing, with the YB equations fixing cosh(pi mu)=N/2 and unitarity fixing r1(theta)=prod_k f_{1-ik/mu}(theta)/f_{ik/mu}(theta). This is an independent algebraic branch, not a renamed fit. The O(2N) section is presented as a consistency check against the independent O(2N) results of [5], and the walking central charges are computed from the amplitudes via the c-sum rule, not used to fix constants. The self-citations [5] and [15] supply the dual-bootstrap formalism and form-factor kernels; these are established tools whose content does not include the U(N) results claimed here. Two caveats are stated in the manuscript itself: footnote 11 says two factorization types were checked but gives no proof of redundancy, and the novelty of class VII is asserted only 'to our knowledge'. These are completeness and novelty risks, not circularity, because no derived quantity reduces to an input by construction in the quoted derivations.
Assumptions & free parameters
assumptions (7)
- domain assumption S-matrix analyticity with only branch cuts (no bound-state poles)
- domain assumption Unitarity |S_a(theta)|^2 <= 1 on the real physical line
- domain assumption Crossing symmetry via the C matrix (2.15)
- ad hoc to paper Completeness of the Yang-Baxter equation set (A.1)-(A.9) and the N=2 equations (A.53)-(A.57)
- ad hoc to paper Minimality (no CDD factors, no poles in the physical strip)
- standard math Zamolodchikov c-theorem sum rule and Watson's equation for form factors
- domain assumption Two-particle contribution dominates the UV central charge in the walking region
Cite this review
Pith. "Pith review of On the space of U(N) scattering amplitudes." pith.science (2026). https://pith.science/paper/U2ZN65PQ
@misc{pith2026250420239,
author = {Pith},
title = {Pith review of: On the space of U(N) scattering amplitudes},
year = {2026},
howpublished = {\url{https://pith.science/paper/U2ZN65PQ}},
note = {Machine review of arXiv:2504.20239}
}
abstract
We investigate the space of massive two-dimensional theories with a global U(N) symmetry and no bound states. Following S-matrix bootstrap principles, we establish rigorous bounds on the space of consistent $2 \rightarrow 2$ scattering amplitudes. The allowed regions exhibit rich geometric features with integrable models appearing at special points along the boundary. Generic extremal amplitudes display an infinite number of resonances and periodic behavior in energy, similar to previous studies with other group-like symmetries. Within the allowed space, we identify a subregion where the symmetry is enhanced to O(2N), establishing a connection with earlier studies. We also revisit the classification of integrable solutions, identifying one that was previously overlooked in the literature. Finally, we examine the walking behavior of the central charge associated with several of these periodic amplitudes.
Forward citations
Cited by 2 Pith papers
-
Cross-Section Bootstrap: Unveiling the Froissart Amplitude
A universal finite-energy upper bound on the integrated cross-section for identical scalars is derived; the conjectured saturating "Froissart amplitude" shows Regge trajectories, a rising cross-section, and annulus-li...
-
Bootstrapping Gravity with Crossing Symmetric Dispersion Relations
A crossing-symmetric dispersion-relation bootstrap reproduces known gravitational EFT bounds and gives new tree-level limits on the graviton coupling to a massive spin-4 state.
Reference graph
Works this paper leans on
-
[11]
B. Berg, M. Karowski, P. Weisz and V. Kurak, Factorized U(n) Symmetric s Matrices in Two-Dimensions, Nucl. Phys. B 134 (1978) 125
work page 1978
- [1]
- [2]
-
[3]
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 [ 1805.02812]
arXiv 2018
-
[4]
L. C´ ordova and P. Vieira,Adding flavour to the S-matrix bootstrap , JHEP 12 (2018) 063 [1805.11143]
arXiv 2018
-
[5]
L. C´ ordova, Y. He, M. Kruczenski and P. Vieira,The O(N) S-matrix Monolith , JHEP 04 (2020) 142 [ 1909.06495]
arXiv 2020
-
[6]
C. Bercini, M. Fabri, A. Homrich and P. Vieira, S-matrix bootstrap: Supersymmetry, Z2, and Z4 symmetry, Phys. Rev. D 101 (2020) 045022 [ 1909.06453]
arXiv 2020
-
[7]
A. Homrich, J.a. Penedones, J. Toledo, B.C. van Rees and P. Vieira, The S-matrix Bootstrap IV: Multiple Amplitudes , JHEP 11 (2019) 076 [ 1905.06905]
arXiv 2019
Show all 39 references
-
[8]
Copetti, L
C. Copetti, L. Cordova and S. Komatsu, S-matrix bootstrap and non-invertible symmetries , JHEP 03 (2025) 204 [ 2408.13132]
2025 arXiv
-
[9]
Paulos and Z
M.F. Paulos and Z. Zheng, Bounding scattering of charged particles in 1 + 1 dimensions, JHEP 05 (2020) 145 [ 1805.11429]
2020 arXiv
-
[10]
Basso and A
B. Basso and A. Rej, On the integrability of two-dimensional models with U(1)xSU(N) symmetry, Nucl. Phys. B 866 (2013) 337 [ 1207.0413]
2013 arXiv
-
[12]
Hogervorst and S
M. Hogervorst and S. Rychkov, Radial Coordinates for Conformal Blocks , Phys. Rev. D 87 (2013) 106004 [ 1303.1111]
2013 arXiv
-
[13]
Paulos, J
M.F. Paulos, J. Penedones, J. Toledo, B.C. van Rees and P. Vieira, The S-matrix bootstrap. Part III: higher dimensional amplitudes , JHEP 12 (2019) 040 [ 1708.06765]
2019 arXiv
-
[14]
Correia, J
M. Correia, J. Penedones and A. Vuignier, Injecting the UV into the bootstrap: Ising Field Theory, JHEP 08 (2023) 108 [ 2212.03917]
2023 arXiv
-
[15]
Cordova, M
L. Cordova, M. Correia, A. Georgoudis and A. Vuignier, The O(N) monolith reloaded: sum rules and Form Factor Bootstrap , JHEP 01 (2024) 093 [ 2311.03031]
2024 arXiv
-
[16]
Guerrieri, A
A.L. Guerrieri, A. Homrich and P. Vieira, Dual S-matrix bootstrap. Part I. 2D theory , JHEP 11 (2020) 084 [ 2008.02770]
2020 arXiv
-
[17]
Kruczenski and H
M. Kruczenski and H. Murali, The R-matrix bootstrap for the 2d O(N) bosonic model with a boundary, JHEP 04 (2021) 097 [ 2012.15576]
2021 arXiv
-
[18]
He and M
Y. He and M. Kruczenski, S-matrix bootstrap in 3+1 dimensions: regularization and dual convex problem, JHEP 08 (2021) 125 [ 2103.11484]
2021 arXiv
-
[19]
Guerrieri and A
A. Guerrieri and A. Sever, Rigorous Bounds on the Analytic S Matrix , Phys. Rev. Lett. 127 (2021) 251601 [ 2106.10257]
2021 arXiv
-
[20]
Guerrieri, A
A. Guerrieri, A. Homrich and P. Vieira, Multiparticle Flux-Tube S-matrix Bootstrap, Phys. Rev. Lett. 134 (2025) 041601 [ 2404.10812]. – 34 –
2025 arXiv
-
[22]
Wiegmann, EXACT SOLUTION OF THE O(3) NONLINEAR SIGMA MODEL , Phys
P.B. Wiegmann, EXACT SOLUTION OF THE O(3) NONLINEAR SIGMA MODEL , Phys. Lett. B 152 (1985) 209
1985
-
[23]
Polyakov and P.B
A.M. Polyakov and P.B. Wiegmann, Theory of Nonabelian Goldstone Bosons , Phys. Lett. B 131 (1983) 121
1983
-
[24]
D’Adda, P
A. D’Adda, P. Di Vecchia and M. Luscher, Confinement and Chiral Symmetry Breaking in CP**n-1 Models with Quarks , Nucl. Phys. B 152 (1979) 125
1979
-
[25]
Abdalla, M.C.B
E. Abdalla, M.C.B. Abdalla and M. Gomes, Anomaly Cancellations in the Supersymmetric CP(N −1) Model, Phys. Rev. D 25 (1982) 452
1982
-
[26]
Abdalla and M
E. Abdalla and M. Forger, Integrable Nonlinearσ Models With Fermions, Commun. Math. Phys. 104 (1986) 123
1986
-
[27]
Koberle and V
R. Koberle and V. Kurak, LIBERATION OF U(N) SOLITONS IN THE CP**(N-1) MODEL BY MASSLESS QUARKS ,
-
[28]
Koberle and V
R. Koberle and V. Kurak, Deconfinement in the CP( 1N) Model by Massless Fermions , Phys. Rev. Lett. 58 (1987) 627
1987
-
[29]
Zamolodchikov and A.B
A.B. Zamolodchikov and A.B. Zamolodchikov, Factorized s Matrices in Two-Dimensions as the Exact Solutions of Certain Relativistic Quantum Field Models , Annals Phys. 120 (1979) 253
1979
-
[30]
Antunes, M.S
A. Antunes, M.S. Costa and J. Pereira, Exploring inelasticity in the S-matrix Bootstrap , Phys. Lett. B 846 (2023) 138225 [ 2301.13219]
2023 arXiv
-
[31]
Copetti, L
C. Copetti, L. Cordova and S. Komatsu, Noninvertible Symmetries, Anomalies, and Scattering Amplitudes, Phys. Rev. Lett. 133 (2024) 181601 [ 2403.04835]
2024 arXiv
-
[32]
Hortacsu, B
M. Hortacsu, B. Schroer and H.J. Thun, A Two-dimensional σ Model With Particle Production, Nucl. Phys. B 154 (1979) 120
1979
-
[33]
Gorbenko and B
V. Gorbenko and B. Zan, Two-dimensional O(n) models and logarithmic CFTs , JHEP 10 (2020) 099 [ 2005.07708]
2020 arXiv
-
[34]
Domany, D
E. Domany, D. Mukamel, B. Nienhuis and A. Schwimmer, Duality Relations and Equivalences for Models With O(N) and Cubic Symmetry , Nucl. Phys. B 190 (1981) 279
1981
-
[35]
Zamolodchikov, Exact S matrix associated with selfavoiding polymer problem in two-dimensions, Mod
A.B. Zamolodchikov, Exact S matrix associated with selfavoiding polymer problem in two-dimensions, Mod. Phys. Lett. A 6 (1991) 1807
1991
-
[36]
Roux, J.L
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 [ 2404.01935]
2025 arXiv
-
[37]
Mussardo, Statistical field theory: an introduction to exactly solved models in statistical physics, Oxford Univ
G. Mussardo, Statistical field theory: an introduction to exactly solved models in statistical physics, Oxford Univ. Press, New York, NY (2010)
2010
-
[38]
Zamolodchikov, Irreversibility of the Flux of the Renormalization Group in a 2D Field Theory, JETP Lett
A.B. Zamolodchikov, Irreversibility of the Flux of the Renormalization Group in a 2D Field Theory, JETP Lett. 43 (1986) 730
1986
-
[39]
Watson, Some general relations between the photoproduction and scattering of pi mesons, Phys
K.M. Watson, Some general relations between the photoproduction and scattering of pi mesons, Phys. Rev. 95 (1954) 228
1954
-
[40]
Smirnov, Form-factors in completely integrable models of quantum field theory , vol
F.A. Smirnov, Form-factors in completely integrable models of quantum field theory , vol. 14 (1992). – 35 –
1992
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.