{"id":"7085b766-8744-425f-8970-43e2c1758c99","arxiv_id":"2504.20239","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"New rigorous bounds chart the allowed space of U(N) symmetric 2D scattering amplitudes, with a previously overlooked integrable solution (class VII) at the boundary and periodic extremal amplitudes.","lead":"This paper maps the space of all possible 2-to-2 scattering rules for heavy particles with a U(N) symmetry in two spacetime dimensions, using an S-matrix bootstrap. It finds known integrable theories at the corners of this space plus one previously missed integrable solution, and shows hints of a walking central charge.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Class VII novelty rests on an unproven completeness claim; a gauge-equivalent relabeling may map it to an existing class V/VI-type solution.","rationale":"The reader's weakest assumption was the completeness of the Yang-Baxter equation set in appendix A, which I agree is an unresolved gap. However, I identify the more specific and more load-bearing threat to the paper's central scientific contribution: the novelty of Class VII depends on an omitted proof that the solution set has been fully exhausted, and the paper's own wording ('to our knowledge') admits the literature check is not exhaustive. If Class VII is equivalent to a known solution under crossing or gauge relabeling, the paper's headline addition to the integrable catalog loses its novelty, while the bootstrap bounds and the geometric picture would remain valid. I therefore recommend keeping the reader's CONDITIONAL verdict, but with a clearer target: the completeness of the YB classification is the main risk, and it should be tested by an explicit independent derivation and a literature search. The numerical analysis is strong and the paper is honest in flagging the 'to our knowledge' caveat, so the concern is not about correctness of the bootstrap but about the strength of the central claim.","tokens_in":23094,"tokens_out":1981,"duration_ms":18495,"concrete_test":"Independently re-derive Class VII by solving the full Yang-Baxter equations (A.2)-(A.9) without the ansatz u1=t1=u2=t2=0, e.g., by a symbolic computer algebra scan for N=2,3,4 over rational trial functions, and check whether an alternative solution branch (with u1,t1 nonzero or with a different crossing assignment) reduces to the class V or VI form under a gauge transformation θ→θ+const or under exchange of particle/antiparticle labels. In parallel, perform a systematic literature search of the Berg-Karowski-Weisz-Kurak classification and subsequent U(N) and O(2N) R-matrix solutions; if a known solution is found that matches Class VII up to CDD factors or rapidity shifts, the novelty claim fails.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim is that Class VII in table 1 is a previously overlooked, parameter-free Yang-Baxter solution for U(N), with u1=t1=u2=t2=0, r1(θ)=∏_{k∈Z} f_{1-ik/μ}(θ)/f_{ik/μ}(θ), and cosh(πμ)=N/2. The derivation in appendix A (A.52) obtains this by setting u1=t1=u2=t2=0 while keeping r1,r2 nonzero, and then solving the factorization equations; the parameter μ is fixed by (A.9) to satisfy cosh(πμ)=N/2, i.e., one replaces N by N/2 in the class V condition (A.44). Superficially this looks like a new branch, but the Yang-Baxter equations are written for particles in the fundamental representation N, and equation (A.9) is one particular factorization constraint selected from the set (A.1). The paper explicitly admits (footnote 11) that two other factorization types were checked but not shown to be redundant; if those omitted equations are not actually implied, the classification is incomplete and the N/2 condition could be an artifact of solving only a subset. More importantly, the claim that no literature entry contains Class VII is supported only by the phrase 'to our knowledge' (footnote 4, section 4), rather than by a systematic search of the known U(N) R-matrix or O(2N)/U(N) integrable classifications; if Class VII is a gauge or crossing-equivalent relabeling of a known solution (e.g., obtained from class V by exchanging which legs are particle versus antiparticle, or by tensoring with a finite-dimensional representation), then its novelty would evaporate while the bootstrap results would remain unchanged. The complete derivation of Class VII does not appear in the paper; appendix A only states the condition and the resulting amplitude, without showing that the set of equations (A.2)-(A.9) is exhaustive for N>2 or that all nontrivial solutions with r1,r2≠0 and u1=t1=u2=t2=0 have been correctly classified.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":23472,"tokens_out":22178,"duration_ms":209786,"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":[{"comment":"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":"Appendix A, footnote 11, Eqs. (A.1)-(A.9)"},{"comment":"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.","section":"Section 4, Table 1, footnote 4"},{"comment":"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.","section":"Appendix A.1, Eqs. (A.51)-(A.52)"}],"minor_comments":[{"comment":"There is a duplicated word in 'In this work we we used both methods'; please correct this and any similar typos.","section":"Section 2.1"},{"comment":"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.","section":"Table 1"},{"comment":"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).","section":"Eq. (3.3)"},{"comment":"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.","section":"Abstract and Section 1"},{"comment":"Reference [27] has an incomplete bibliographic entry; please supply the full publication details or a preprint number.","section":"References [27] and [28]"}],"recommendation":"major_revision","confidential_remarks":"The main risk in this manuscript is the unproven completeness of the Yang-Baxter equation set, which is directly tied to the paper's central novelty (class VII). If the authors can provide the missing verification (or a rigorous citation), I would be satisfied. The numerical bootstrap results appear sound and the O(2N) consistency check is reassuring."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Jordan,\n\nShort version: this is the U(N) analogue of the O(N) monolith, and it is mostly done right. The new pieces are the full no-bound-state bootstrap for fundamental/antifundamental U(N) scattering, the crossing matrix that makes it work, and one new integrable amplitude, class VII, that sits at the boundary of the allowed region. The O(2N) subregion reproduces earlier known results, which is a good consistency check. I would send this to a serious referee.\n\nWhat the paper does well: the Yang-Baxter classification is worked out explicitly in appendix A rather than quoted, the numerical bounds are checked from both primal and dual sides with increasing truncations, and the Mathematica code is appended. The walking central charge analysis is speculative but clearly labelled as such, and the mismatch with the PSU(N) loop model at N=2 is acknowledged rather than hidden. The authors also correct the class V expression from [11], which is useful.\n\nThe soft spots are real but not fatal. The classification claim in appendix A depends on the assertion in footnote 11 that two additional types of factorization equations are redundant; no proof is shown. If that set is incomplete, table 1 could miss or mislabel solutions. Class VII in particular is only 'to our knowledge' new, and a more systematic search of the U(N)/O(2N) integrable literature would be needed to nail that down. The stress-test worry that class VII might be a relabeling of class V or VI does not obviously land—the tensor structures are genuinely different and the YB equations were solved explicitly—but the unproven completeness is exactly where that kind of equivalence could hide. Separately, the paper states the duality gap vanishes in the limit but does not quantify it; since both primal and dual plots converge, I treat this as minor.\n\nWho this is for: people working on S-matrix bootstrap and 2D integrable QFTs. The bounds are rigorous in the standard bootstrap sense, and the O(2N) consistency check gives me confidence. The central claims hold up enough that a referee should spend time on it rather than desk reject. I would ask the authors to prove or at least more carefully justify the redundancy of the omitted Yang-Baxter equations, and to expand the literature check for class VII. Then I would be happy to cite it.","headline":"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.","tokens_in":24057,"tokens_out":2803,"would_cite":true,"duration_ms":29193,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.55.Ds","11.80.-m"],"model":"deepseek-v4-flash","headline":"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.","keywords":["S-matrix bootstrap","U(N) symmetry","two-dimensional quantum field theory","Yang-Baxter equations","integrable S-matrix","no-bound-state amplitudes","crossing symmetry","walking central charge"],"falsifier":"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.","tokens_in":22879,"feed_emoji":"⚛️","tokens_out":9858,"duration_ms":91722,"temperature":0.7,"pith_summary":"This paper maps the space of consistent two-to-two scattering amplitudes for massive two-dimensional quantum field theories with a global U(N) symmetry and no bound states. Using primal and dual bootstrap methods, it bounds that space at the crossing-symmetric point and finds a convex allowed region whose boundary is populated by exactly solvable amplitudes: free theory, massive $CP^{N-1}$-type models, the O(2N) nonlinear $\\sigma$ model, periodic Yang-Baxter amplitudes, and two constant solutions. The central new result is a previously overlooked, parameter-free solution of the Yang-Baxter equations, class VII, with only backward-scattering components and $u_1=t_1=u_2=t_2=0$, whose $r_1(\\theta)=\\prod_{k\\in\\mathbb{Z}} f_{1-ik/\\mu}(\\theta)/f_{ik/\\mu}(\\theta)$ is periodic in rapidity when $\\cosh(\\pi\\mu)=N/2$. The paper also identifies an O(2N)-symmetric subregion of the U(N) space and shows that the periodic integrable amplitudes produce walking central charges, $c\\approx1$ for classes V and VI and $c\\approx2$ for class VII.","feed_headline":"New integrable amplitude found inside U(N) scattering space","feed_subtitle":"Every no-bound-state U(N) theory lives in one convex region; the new exactly solvable point sits on its edge.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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$."],"forward_implications":["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."],"supporting_citations":[{"why":"Original classification of factorized U(N) S-matrices; the paper's table 1 revises it, and the claim of novelty for class VII is a claim about what this work missed.","marker":"[11]"},{"why":"The O(N) S-matrix monolith; supplies the dual bootstrap method and the monolith geometry that this paper adapts to U(N).","marker":"[5]"},{"why":"Earlier integrable amplitudes with U(1)xSU(N) symmetry; provides the N=2 one-parameter family and the CP^{N-1}-type amplitudes used for classes II and (N=2)p.","marker":"[10]"},{"why":"The factorized S-matrix construction whose crossing and unitarity building blocks $f_\\lambda$ underlie all classes in table 1; also identifies the O(2N) nonlinear sigma model amplitudes of class III.","marker":"[29]"},{"why":"Proposal that periodic O(N) Yang-Baxter solutions describe walking between complex conformal field theories; the paper uses this to interpret the walking central charges of classes V to VII.","marker":"[33]"},{"why":"O(N) monolith sum-rule and form-factor bootstrap; supplies the $f(t)$ kernels and minimal form factors used to compute $c_2$ for classes V to VII.","marker":"[15]"},{"why":"Gives the exact O(3) nonlinear sigma model amplitude from which the N=2 p-family is derived.","marker":"[22]"}],"fun_headline_variants":["New U(N) integrable amplitude found on convex edge","U(N) amplitude space proven convex and bounded","Missing integrable U(N) solution found from classification","O(2N) symmetry emerges inside U(N) amplitude space","New U(N) integrable amplitude: class VII"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["New U(N) integrable amplitude found on convex edge","U(N) amplitude space proven convex and bounded","Missing integrable U(N) solution found from classification","O(2N) symmetry emerges inside U(N) amplitude space","New U(N) integrable amplitude: class VII"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000586,"raw_usage":{"total_tokens":2744,"prompt_tokens":923,"completion_tokens":1821,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":539,"completion_tokens_details":{"reasoning_tokens":1742}},"tokens_in":539,"tokens_out":1821,"duration_ms":13546,"temperature":1.0,"reasoning_tokens":1742,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T05:34:30.098654+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Original classification of factorized U(N) S-matrices; the paper's table 1 revises it, and the claim of novelty for class VII is a claim about what this work missed."},{"cited_title":"On the integrability of two-dimensional models with U(1)xSU(N) symmetry","cited_arxiv_id":"1207.0413","evidence_quote":"Earlier integrable amplitudes with U(1)xSU(N) symmetry; provides the N=2 one-parameter family and the CP^{N-1}-type amplitudes used for classes II and (N=2)p."},{"cited_title":"Zamolodchikov and A.B","cited_arxiv_id":null,"evidence_quote":"The factorized S-matrix construction whose crossing and unitarity building blocks $f_\\lambda$ underlie all classes in table 1; also identifies the O(2N) nonlinear sigma model amplitudes of class III."},{"cited_title":"Wiegmann, EXACT SOLUTION OF THE O(3) NONLINEAR SIGMA MODEL , Phys","cited_arxiv_id":null,"evidence_quote":"Gives the exact O(3) nonlinear sigma model amplitude from which the N=2 p-family is derived."}],"review_version":1}