{"id":"e59dfb14-9056-4888-ad7c-7e0837ac66dc","arxiv_id":"2504.21079","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Scattering amplitudes restricted to the span of identity and swap flavor gates are shown to commute with a diagonal SU(N) flavor symmetry and to obey exact selection rules.","lead":"A theory paper recasts relativistic two-to-two scattering as a quantum gate on an N-dimensional 'flavor' space, and argues that restricting the amplitude to combinations of the identity and swap gates yields an emerging SU(N) symmetry. The claim matters because it connects the old S-matrix program's dream of deriving symmetries from first principles to modern ideas about entanglement suppression.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central claim overreaches: minimal entanglement (Eqs. 9-10) constrains the S-matrix to two local-equivalence classes, not to span{SI,SW}; SU(N) follows only from the extra span ansatz of Eq. 45, so the symmetry is effectively assumed rather than derived from entanglement suppression.","rationale":"The paper has real value: the tensor-product decomposition of Eqs. (7)-(8), the selection rules following from C_ab=0 (Eqs. 21-28), and the projection-operator recoupling in Eqs. (39)-(43) are clean and extend earlier work. Those parts do not depend on the contested emergence claim. The contested step is the abstract's equivalence between entanglement suppression and SU(N). The reader's concern is correct and, on closer inspection, even sharper: not only is the classification about local-equivalence classes rather than linear span, but generic linear combinations of minimal entanglers generate entanglement, so 'span of minimally entangling operators' is not a legitimate information-theoretic constraint. The SU(N) result is a theorem about span{I,SW} that is equivalent to Schur-Weyl duality; the paper's ansatz Eq. (45) builds the symmetry in from the start. The concrete counterexample with (H⊗I)P for N=2 shows that a genuinely separability-preserving operator need not be SU(N)-invariant, so the emergence claim fails if taken literally. Eq. (12) is also internally inconsistent with the stated normalization, although this is fixable and not the central issue. The proper fix is to present Eq. (45) explicitly as an SU(N)-invariant ansatz motivated by (but not implied by) minimal entanglement, and to temper the abstract. That is exactly a conditional accept; no grounds for rejection since the formal framework and selection rules are correct and useful. The reader's weakest_assumption identifies the same load-bearing concern, so the verdict is unchanged: conditional acceptance pending revision.","tokens_in":8678,"tokens_out":13261,"duration_ms":139292,"concrete_test":"Set N=2, computational basis {|00⟩,|01⟩,|10⟩,|11⟩}, P the exact SWAP, and U=H (the Hadamard gate). Form M=(U⊗I)P. (i) Verify M is of the local-equivalence form of Eq. (10) with V_A=U, V_B=W_A=W_B=I, so it preserves separable states by construction. (ii) Evaluate ⟨00|M|01⟩=⟨0|U|1⟩=1/√2; this entry is zero for every operator αI+βP, so M is not in span{I,P}. (iii) Consequently M is not invariant under V⊗V for all V∈SU(2); compute, for example, the nonzero norm of [M,H⊗H]|01⟩. This directly falsifies the implication 'minimal entanglement ⇒ membership in span{I,SW} ⇒ SU(N) invariance,' isolating the ansatz in Eq. (45) as the place where the symmetry is inserted.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The load-bearing step is the passage from the separability-preservation classification, Eqs. (9)-(10), to the span ansatz M=A SI+B SW in Eq. (45). The classification says that a minimally entangling operator belongs to one of two local-equivalence classes, (VA⊗VB)SI(WA⊗WB) or (VA⊗VB)SW(WA⊗WB), with independent local unitaries. It does not say that the operator is a linear combination of the two canonical representatives in a fixed computational basis. For N=2, take M=(U⊗I)P with P the canonical SWAP and U a non-diagonal SU(2) rotation; this is exactly of the form in Eq. (10), hence preserves separability. But its matrix element ⟨00|M|01⟩ equals U_{01}, which must vanish for any αI+βP; hence M is not in span{I,P}, and by Schur-Weyl duality it does not commute with V⊗V for generic V. Moreover, generic elements of the span are not themselves minimally entangling: acting on |01⟩, (I+P)|01⟩ = |01⟩+|10⟩, an entangled state. Thus \"span of minimally entangling operators\" is not an entanglement-suppression condition; it is a stronger, basis-dependent ansatz. The SU(N) invariance of Eq. (45) is exactly Schur-Weyl duality—SU(N)-invariant operators on N⊗N are span{I,P}—so the conclusion restates the ansatz rather than deriving symmetry from entanglement. The abstract's 'central result' should be downgraded accordingly. (Independently, Eq. (12) is not the SWAP under the paper's own normalization: Σ_a T_a⊗T_a = (1/2)(P - I/N), so the correct form is P = I/N + 2Σ_a T_a⊗T_a.)","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a framework in which the relativistic S-matrix for 2-to-2 scattering of particles with a discrete flavor quantum number is viewed as a quantum gate on the bipartite Hilbert space H_N⊗H_N. It decomposes the amplitude in an SU(N) generator basis, derives selection rules from the condition C_ab=0, and analyzes the symmetry associated with the identity and SWAP gates. The central claim is that constraining the S-matrix to the span of the two canonical minimally entangling operators, span{I⊗I, SW}, is equivalent to realizing an emergent SU(N) global symmetry. The paper also recovers and extends previous results on entanglement suppression in scattering amplitudes.","tokens_in":8957,"tokens_out":13539,"duration_ms":118800,"significance":"If the central claim were correct, the paper would provide a concrete information-theoretic route to deriving global symmetries of the S-matrix, directly addressing a long-standing question in the S-matrix program. The derivation of the selection rules in Eqs. (24)-(28) from C_ab=0 is clean and unifies several earlier results; the projection-operator analysis in the 'Symmetric and symmetry-breaking interactions' section is a useful organizational framework. However, the main 'emergence' claim is not supported by the stated entanglement-suppression premise: the classification of minimally entangling operators gives local-equivalence classes, not the linear span considered in Eq. (45), and the SU(N) invariance of span{I,SW} is a direct restatement of Schur-Weyl duality. The paper also contains a concrete error in the definition of the SWAP operator. These issues prevent the paper from delivering its advertised result.","major_comments":[{"comment":"The central claim is a load-bearing overreach. The classification in Eqs. (9)-(10) states that a minimally entangling operator belongs to one of the two local-equivalence classes (V_A⊗V_B) SI (W_A⊗W_B) or (V_A⊗V_B) SW (W_A⊗W_B), with independent local unitaries. The paper, however, restricts to the linear combination M = A SI + B SW in Eq. (45). These are not the same condition. For N=2, take M = (U⊗I) SW with U a non-diagonal SU(2) rotation; this is of the form (10) and hence preserves separability, but it is not in span{I,SW} and does not commute with V⊗V for generic V. Thus the emergent SU(N) symmetry follows from the extra span ansatz, not from minimal entanglement. In fact, span{I,SW} is exactly the commutant of the diagonal U⊗U action by Schur-Weyl duality, so the conclusion restates the ansatz rather than deriving symmetry from an information-theoretic principle. The abstract's 'central result' should be substantially downgraded or the paper reframed.","section":"Emergence of SU(N) symmetry, Eq. (45) and abstract"},{"comment":"The operator defined in Eq. (12) is not the SWAP gate under the paper's stated normalization Tr(T_a T_b)=δ_ab/2. The standard identity is Σ_a (T_a)_{ki}(T_a)_{lj} = (1/2)(δ_kj δ_li - (1/N)δ_ki δ_lj), so the correct SWAP is P = (1/N) I⊗I + 2 Σ_a T_a⊗T_a. Substituting Eq. (12) gives matrix elements (1/N)[(N^2-2)/(N^2-1) δ_ki δ_lj + N/(N^2-1) δ_kj δ_li], not δ_kj δ_li. The commutator calculation in Eqs. (15)-(16) should be redone with the correct SWAP definition; the final diagonal-subgroup conclusion is likely unchanged, but the canonical representative of the SWAP equivalence class is misidentified.","section":"Eq. (12), definition of SW"},{"comment":"The stated expression C_ab = (M_Adj - M_1)δ_ab/2 appears to have the wrong sign and an incorrect prefactor. Using the projectors of Eq. (34) and the trace formula C_ab = 4 Tr(M T_a⊗T_b) from Eq. (20), a direct calculation gives Tr(P_1 T_a⊗T_b) = δ_ab/4 and Tr(P_Adj T_a⊗T_b) = -δ_ab/4, so for M = M_1 P_1 + M_Adj P_Adj one obtains C_ab = (M_1 - M_Adj)δ_ab, not the expression in the paper. The conclusion that C_ab=0 forces M ∝ I⊗I is unchanged, so this is a correctable technical error rather than a fatal one.","section":"Eq. (43), correlation coefficient for SU(N)-symmetric amplitudes"}],"minor_comments":[{"comment":"The phrase 'span of minimally entangling operators' is misleading: the paper actually studies the span of the two canonical representatives SI and SW, and generic elements of this span (e.g., SI+SW) are not minimally entangling. The terminology should be adjusted to avoid implying that the span itself consists of entanglement-suppressing operators.","section":"Abstract and Conclusions"},{"comment":"The footnote claims an 'additional factor of 2N' is due to a different normalization, but the stated normalization Tr(T_a T_b)=δ_ab/2 is the same as in Refs. [3-5]. This footnote should be reconciled with the corrected SWAP formula.","section":"Footnote 2, Eq. (12)"},{"comment":"The sentence describing these relations as 'fundamental to the structure of the S-matrix' is too strong, since they follow from the sufficient condition C_ab=0; the paper itself acknowledges this is not necessary. A softer formulation would be more precise.","section":"Perturbative scattering of qudits, Eqs. (24)-(28)"},{"comment":"There is a small typo in the abstract ('theS-matrix' should have a space) and in Eq. (13) the notation 'S∼I(W)' is ambiguous; it should be written as 'S∼I' or 'S∼W' separately.","section":"Abstract and Eq. (13)"}],"recommendation":"reject","confidential_remarks":"The central claim of the paper is not supported: the equivalence between entanglement suppression and emergent SU(N) symmetry is an artifact of replacing the local-equivalence-class classification with the linear span ansatz M=A SI + B SW. This is a fundamental issue that cannot be fixed by local revision; the paper would need a different central claim. There is also a concrete error in the definition of the SWAP operator in Eq. (12) and a sign/factor error in Eq. (43). While the selection-rule derivation is competent, it does not compensate for the failure of the advertised main result. I would not recommend acceptance or major revision; the paper should be rejected."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe genuinely useful part is the operator-basis machinery. Writing the 2-to-2 amplitude as a linear combination of identity, single-particle generators, and Ta⊗Tb is clean, and the derivation that Cab=0 imposes exact, model-independent selection rules (Eqs. 24, 25, 28) is solid. That part unifies earlier entanglement-suppression results from specific QCD and Higgs-sector papers, and the recoupling of the s- and t-channel projectors is a nice addition.\n\nThe soft spot is the advertised central result. The literature classification of minimally entangling operators (Eqs. 9–10) says they belong to two local-equivalence classes, local unitaries around SI or SW. It does not say they are linear combinations of the two canonical representatives in a fixed basis. The jump to Eq. 45, M = A SI + B SW, is an extra and much stronger assumption. That span is exactly the set of operators commuting with U⊗U, so the subsequent Schur's lemma argument is just Schur-Weyl duality restated. A generic member of the equivalence classes, say (U⊗I)SW with non-diagonal U, is not in span{SI,SW} and does not commute with V⊗V. So the abstract's phrase \"constraining the S-matrix to the span of minimally entangling operators\" overstates what is shown; the honest reading is that imposing the span ansatz postulates SU(N) invariance.\n\nThere is also a concrete normalization bug: Eq. 12 is not the SWAP under the paper's own convention. With Tr(TaTb)=δab/2, one gets Σ_a Ta⊗Ta = (1/2)(P − I/N), so the correct form is P = I/N + 2Σ_a Ta⊗Ta. The prefactor 2N/(N^2−1) corresponds to a different generator normalization; the text should be consistent.\n\nNone of this kills the value. The Cab=0 selection rules are exact, the projection-operator recoupling is useful, and the paper extends previous entanglement-suppression analyses in a transparent way. What should change is the framing: not \"emergence of SU(N) from entanglement,\" but \"if you assume the amplitude lies in span{I, P}, you are assuming SU(N) invariance.\" That is a constraint, not a derivation.\n\nWho is this for? People working on entanglement suppression in QCD, flavor model building, or S-matrix selection rules will get something useful from the formalism and the exact selection rules. It deserves a serious referee, but the author needs to fix Eq. 12 and rewrite the abstract before I'd call the central claim sound.\n\nBest.","headline":"A useful operator-basis toolkit and exact selection rules, but the advertised emergence of SU(N) is built into the span ansatz rather than derived from entanglement suppression.","tokens_in":9602,"tokens_out":2247,"would_cite":true,"duration_ms":23493,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Constraining the 2-to-2 S-matrix to minimally entangling operators forces an emergent SU(N) global symmetry.","keywords":["S-matrix","entanglement suppression","SU(N) symmetry","qudit scattering","quantum gates","minimally entangling operators","selection rules"],"falsifier":"Construct a generic gate of the form $M=(V_A\\otimes V_B)\\, S_W\\, (W_A\\otimes W_B)$ with single-qudit unitaries chosen randomly, and check whether $[M, U\\otimes U]=0$ for all $U\\in SU(N)$ or whether its matrix elements satisfy the SU(N)-symmetric selection rules; for generic choices they will not, which would disprove the claim that entanglement suppression alone implies the emergent symmetry.","tokens_in":8326,"feed_emoji":"⚛️","tokens_out":10260,"duration_ms":90548,"temperature":0.7,"pith_summary":"Relativistic 2-to-2 scattering can be viewed as a quantum gate acting on two N-dimensional flavor spaces, and this paper asks which symmetries follow from requiring that gate to produce no entanglement when applied to product states. The central claim is that restricting the amplitude to the linear span of the two canonical minimally entangling operators—the identity gate and the SWAP gate—is equivalent to the amplitude commuting with every simultaneous SU(N) rotation of the two flavors. The paper derives the selection rules for such amplitudes using Schur's lemma, and shows that they match and extend earlier results obtained from entanglement measures in specific scattering models. If the claim is correct, global symmetries of particle interactions can be understood as emergent from an information-theoretic principle rather than assumed from the outset.","feed_headline":"Minimal entanglement in the S-matrix implies SU(N) symmetry","feed_subtitle":"A quantum-information constraint on the S-matrix may explain why global symmetries appear in particle physics.","key_machinery":"The load-bearing object is the operator span{SI, SW}: $S_I = I\\otimes I$ (the identity gate) and $S_W = \\frac{1}{N}(I\\otimes I + \\frac{2N}{N^2-1} \\sum_a T^a\\otimes T^a)$ (the SWAP gate, which exchanges the two flavor states). The argument proceeds by decomposing any amplitude in the tensor-product basis of SU(N) generators, Eq. (19), so that the correlation coefficients $C_{ab}$ isolate non-local operations. Setting $C_{ab}=0$ yields the identity-class selection rules; restricting to span{SI, SW} makes the amplitude commute with the diagonal action $U\\otimes U$, and Schur's lemma converts that commutation into block diagonality over the irreducible subspaces (singlet/adjoint for $N\\otimes \\bar{N}$; symmetric/antisymmetric for $N\\otimes N$). This machinery turns the abstract condition of entanglement suppression into concrete amplitude patterns and selection rules.","core_discovery":"On the paper's own terms, the discovery is that a single information-theoretic constraint—demanding the S-matrix lie in span{SI, SW}, the span of the identity gate and the SWAP gate—realizes an emergent SU(N) global symmetry for the scattering of two N-dimensional qudits. Writing a general amplitude as $M = \\tilde{M}\\, I\\otimes I + A_a\\, T^a\\otimes I + B_a\\, I\\otimes T^a + C_{ab}\\, T^a\\otimes T^b$, the paper shows that setting $C_{ab}=0$ produces exact selection rules of the form $M_{il,ij}=M_{kl,kj}$ and the index-symmetric sum $M_{ij,ij}+M_{kl,kl}=M_{il,il}+M_{kj,kj}$. The stronger ansatz $M = A(s,t,u)\\, S_I + B(s,t,u)\\, S_W$ automatically satisfies $[M, U\\otimes U]=0$ for all $U\\in SU(N)$, and Schur's lemma then forces the amplitude to be block diagonal with one coefficient per irreducible representation: $M_1 P_1 + M_{Adj} P_{Adj}$ for $N\\otimes \\bar{N}$ scattering and $M_S P_S + M_A P_A$ for $N\\otimes N$ scattering. The paper presents this as equivalent to the realization of an SU(N) global symmetry, recovering the known identity-class results and extending them to the SWAP class.","pith_inferences":["The equivalence is proven for the linear span of the two canonical gates, not for the full family of minimally entangling operators defined by local equivalence classes $(V_A\\otimes V_B) S_I (W_A\\otimes W_B)$ and $(V_A\\otimes V_B) S_W (W_A\\otimes W_B)$; a generic member of those classes need not commute with $U\\otimes U$, so the emergence claim is specifically about span{SI, SW}.","If the local-equivalence classes are taken as the definition of entanglement suppression, then the paper's SU(N) conclusion would only follow after also imposing that the in/out bases be chosen to make the gate canonical—an extra assumption about preferred bases that the current argument does not specify.","The framework suggests a concrete test for low-energy QCD and other candidate theories: compute the full amplitude including subleading corrections and check whether the deviation from span{SI, SW} correlates with breaking of the emergent SU(N) symmetry.","One could extend the calculation to three-particle scattering by looking for the minimal-entanglement span of the three-qudit Hilbert space and checking whether the emergent symmetry group is still SU(N) or becomes a different structure."],"forward_implications":["Any amplitude of the form $M(s,t,u)=A(s,t,u)\\, S_I + B(s,t,u)\\, S_W$ is automatically SU(N)-symmetric, so the information-theoretic ansatz and the global symmetry impose exactly the same constraints on scattering.","The selection rules $M_{il,ij}=M_{kl,kj}$ and $M_{ij,ij}+M_{kl,kl}=M_{il,il}+M_{kj,kj}$, previously found in specific models by computing entanglement measures, are exact consequences of $C_{ab}=0$ and hold to all orders in perturbation theory.","For scattering of two fundamentals in the t-channel, the SU(N)-symmetric amplitude decomposes as $M_S P_S + M_A P_A$, while the s/u-channel decomposes as $M_1 P_1 + M_{Adj} P_{Adj}$, with the two bases related by recoupling coefficients.","If the condition is imposed at all momentum transfers, it forces relations among the positions of poles in different scattering channels, connecting the entanglement principle to the analytic S-matrix program.","The framework extends to Hilbert spaces of unequal dimensions $H_N\\otimes H_M$, giving $SU(N)\\times SU(M)$ symmetry for the identity class and a diagonal $SU(\\min(N,M))$ for the SWAP class."],"supporting_citations":[{"why":"Documents the observed connection between entanglement suppression and emergent symmetries in low-energy QCD that motivates the whole framework.","marker":"[2]"},{"why":"Establishes the qubit classification of minimally entangling operators and the concept of equivalence classes that the paper generalizes to arbitrary N.","marker":"[3]"},{"why":"Provides the earlier model calculation whose leading-order selection rules the paper recovers and extends from the $C_{ab}=0$ condition.","marker":"[7]"},{"why":"Supplies the classification of separability-preserving operators on qudit systems used to write the identity/SWAP equivalence classes of Eqs. (9) and (10).","marker":"[25]"},{"why":"Supplies an independent characterization of operations preserving separability measures that supports the same equivalence-class structure.","marker":"[26]"},{"why":"Gives the automorphism group of separable states, used as the basis for the qudit classification behind Eqs. (9) and (10).","marker":"[27]"},{"why":"Provides the SU(N) projection operators and recoupling relations that yield the singlet/adjoint and symmetric/antisymmetric decompositions of the amplitude.","marker":"[28]"},{"why":"Defines the operational notion of a symmetry of the S-matrix (traceless additive charges commuting with S) used to identify the emergent SU(N).","marker":"[17]"}],"fun_headline_variants":["Minimal S-matrix entanglement encodes SU(N) symmetry","Scattering amplitude constraint yields emergent SU(N)","Zero entanglement in S-matrix implies SU(N) global symmetry","S-matrix in identity-SWAP span realizes SU(N)","Entanglement suppression in scattering predicts SU(N)"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The derivation assumes that the only minimally entangling S-matrices are the linear combinations of the identity and SWAP gates, rather than the much larger family of operators obtained by conjugating those two gates with arbitrary independent local rotations on each side.","fun_headline_variants_meta":{"raw":{"variants":["Minimal S-matrix entanglement encodes SU(N) symmetry","Scattering amplitude constraint yields emergent SU(N)","Zero entanglement in S-matrix implies SU(N) global symmetry","S-matrix in identity-SWAP span realizes SU(N)","Entanglement suppression in scattering predicts SU(N)"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000823,"raw_usage":{"total_tokens":3611,"prompt_tokens":964,"completion_tokens":2647,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":580,"completion_tokens_details":{"reasoning_tokens":2570}},"tokens_in":580,"tokens_out":2647,"duration_ms":19235,"temperature":1.0,"reasoning_tokens":2570,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T05:16:36.111795+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a generic gate of the form $M=(V_A\\otimes V_B)\\, S_W\\, (W_A\\otimes W_B)$ with single-qudit unitaries chosen randomly, and check whether $[M, U\\otimes U]=0$ for all $U\\in SU(N)$ or whether its matrix elements satisfy the SU(N)-symmetric selection rules; for generic choices they will not, which would disprove the claim that entanglement suppression alone implies the emergent symmetry.","supporting_citations":[{"cited_title":"Alfsen and F","cited_arxiv_id":null,"evidence_quote":"Supplies the classification of separability-preserving operators on qudit systems used to write the identity/SWAP equivalence classes of Eqs. (9) and (10)."},{"cited_title":"Friedland, C.-K","cited_arxiv_id":null,"evidence_quote":"Gives the automorphism group of separable states, used as the basis for the qudit classification behind Eqs. (9) and (10)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the SU(N) projection operators and recoupling relations that yield the singlet/adjoint and symmetric/antisymmetric decompositions of the amplitude."}],"review_version":1}