{"id":"252d16af-23d1-4148-a8f8-96ba570df291","arxiv_id":"2505.08741","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Massive N=1 superamplitudes for chiral multiplets have the universal non-factorizable form δ^(2)(Q†) Q^2 ∏(1 - 1/2 η_i^2), with form factors built from Q and Q† insertions.","lead":"This paper derives a general formula for non-factorizable scattering amplitudes of massive particles in N=1 supersymmetry, using symmetry constraints and the requirement that massive results reduce to massless ones. It offers a practical tool for building supersymmetric effective field theories without Feynman diagrams.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The uniqueness of the massive factor G in Eq. (3.5) is asserted without proof; SU(2)-singlet deformations such as products of η_i^2 factors are not excluded by the stated criteria, so the 'most general' claim is underdetermined.","rationale":"The paper's central claim is that the no-form-factor massive superamplitude is uniquely Eq. (3.5), fixed by dimensional analysis, little-group scaling, and the massless limit. The internal logic of Sec. 3.2 makes F = Q^2 G plausible, but the uniqueness of G is the hinge: the text says 'The unique form that satisfies these requirements is...' without a derivation. The stated requirements — dimension zero, SU(2) singlet, correct massless little-group scaling — are satisfied by many G's. The simplest deformation is multiplying G0 by (1 + c η_1^2η_2^2) for N≥4; each η_i^2 is an SU(2) singlet, so the product is too, and no mass dimension is introduced. This term does not vanish in the massless limit; it changes the relative weights of daughter amplitudes in which legs 1 and 2 are chiral, while leaving anti-chiral daughters unchanged. Unless the paper proves that these daughter weights are fixed by the massless Ward identities, c is a free parameter and Eq. (3.5) is not the most general amplitude. The 3-point sector already shows that more than one structure exists: Eq. (3.8) from [23] has two independent parameters, and the paper's Eq. (3.7) selects a one-parameter slice; the relation between λ and b is asserted, not derived. Appendix A is not sufficient because it is a massless proof and fixes the η-degree Nη, so it cannot rule out SU(2)-singlet completion terms in the massive G. There is no machine-checked verification and no independent N>3 check, so the 'most general' conclusion is conditional. I therefore keep the reader's CONDITIONAL verdict; the concrete test above would settle whether the deformation is physical or redundant.","tokens_in":17513,"tokens_out":31477,"duration_ms":331562,"concrete_test":"Perform an explicit deformation check at N=4: set G_c = ∏_{i=1}^4(1 - 1/2 η_i^2) × (1 + c η_1^2η_2^2), compute A_c = δ^(2)(Q†) Q^2 G_c using the identities of App. B, and compare A_c with A_0. Verify that A_c has the same mass dimension and little-group assignments as Eq. (3.5), then evaluate the massless limit m_i→0 for two daughter configurations: legs 1,2 chiral with 3,4 anti-chiral, and legs 1,3 chiral with 2,4 anti-chiral. If the ratio of these two daughter amplitudes depends on c, then G is not unique and Eq. (3.5) is not the most general amplitude; if the ratio is c-independent, the deformation is redundant. As a cross-check at N=3, test whether varying the coefficients of η_1^2, η_2^2, η_3^2 in G reproduces the independent λ parameter of Eq. (3.8).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central formula (3.5) rests on the claim in Sec. 3.2 that the dimension-zero SU(2)-singlet factor G is uniquely G0 = ∏(1 - 1/2 η_i^2). This is asserted, not proven, and the three listed criteria do not imply it. For N≥4, G_c = G0(1 + c η_1^2η_2^2) has mass dimension zero, is an SU(2) singlet for every leg, and after Q^2 produces a non-factorizable amplitude with no denominators. It does not vanish in the massless limit: with Ψ|m=0 = \\hatηΦ + Φ†, η_1^2η_2^2 reduces to 4\\hatη_1η_1\\hatη_2η_2, so the daughter amplitudes with legs 1 and 2 chiral receive corrections proportional to c, while anti-chiral daughters are unchanged. The paper gives no argument that the massless Ward identities fix those relative weights; Appendix A proves Q^2-factorization only in the massless setting and assumes a fixed η-degree Nη, so it does not constrain massive SU(2)-singlet completion terms. The 3-point comparison makes the gap visible: Eq. (3.8) from [23] has two independent parameters λ and b, while Eq. (3.7) is the one-parameter slice selected by choosing G0; the relation between λ and b is stated as a consequence of the massless limit but not derived from the stated criteria. Unless the coefficient c is shown to vanish by an independent argument, Eq. (3.5) is not established as the most general non-factorizable amplitude.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies non-factorizable N=1 superamplitudes for massive chiral and anti-chiral superstates. Starting from massless amplitudes determined by dimensional analysis, little group scaling, and the supersymmetric Ward identities, it proposes a massive master formula A(Ψ_1...Ψ_N) = δ^(2)(Q†) Q^2(∏_i (1 - ½η_i^2)) and argues that this is the most general non-factorizable amplitude. The construction is extended to Dirac (non-self-conjugate) states and to form-factor dressings generated by acting on legs with Q and Q†. The paper checks the N=3 result against Ref. [23] and verifies several massless limits in Appendix D.","tokens_in":17894,"tokens_out":16530,"duration_ms":151996,"significance":"If the central claim is correct, the paper gives a compact and elegant classification: every non-factorizable massive N=1 superamplitude is fixed up to an overall coefficient by supersymmetry, little group scaling, and the massless limit. The treatment of Majorana vs. Dirac states and of form-factor dressings is systematic, and the explicit match with the known 3-point amplitude and the massless reductions provide nontrivial consistency checks. However, the load-bearing uniqueness assertion for the massive factor G is not proven, and the submitted manuscript therefore does not yet establish the 'most general' form claimed.","major_comments":[{"comment":"The load-bearing premise of the paper is the assertion that G = ∏_i(1 - ½η_i^2) is the unique factor satisfying the three criteria stated in Section 3.2: mass dimension zero, SU(2)-singlet little group behavior for each leg, and reduction to the massless little group scaling. This uniqueness is not proven, and the criteria as stated do not imply it. For N≥4, G_c = G0(1 + c η_1^2 η_2^2) has mass dimension zero, is an SU(2) singlet for each leg, and is nonvanishing in the massless limit: with Ψ|m=0 = η̂Φ + Φ†, η_i^2 reduces to a multiple of η̂_i η_i, so the deformation changes the relative weight of the daughter amplitude in which legs 1 and 2 are chiral while leaving the anti-chiral daughters unchanged. The paper provides no argument that the massless Ward identities fix those relative weights; Appendix A proves Q^2-factorization only in the massless setting and assumes a fixed η-degree, so it does not constrain massive SU(2)-singlet completion terms. The N=3 comparison makes the gap concrete: Eq. (3.8) from Ref. [23] contains two independent parameters λ and b, while Eq. (3.7) is the one-parameter slice λ = -b m3; footnote 12 explicitly concedes that little group scaling and the Ward identity do not relate λ and b, and the massless-limit argument invoked to relate them presupposes the uniqueness in question. I request either a proof that c=0 follows from the stated criteria (for instance by solving the massive Ward identities directly for N=4), or a revised claim that presents Eq. (3.5) as a canonical amplitude with the required massless limit rather than as the most general non-factorizable amplitude.","section":"Section 3.2, Eq. (3.5)"},{"comment":"The form-factor master formulae inherit the same ambiguity. The statement that the only forms consistent with the three criteria for QΨ_i and Q†Ψ_i are λ_{iI}η^I_i and λ̃_{iI}η^I_i concerns the single-leg action and may be correct, but it does not fix the base factor G. Inserting G_c = G0(1 + c η_1^2 η_2^2) into the examples listed after Eq. (3.11) preserves the kinematic prefactors and the leg-by-leg supercharge actions while altering the relative weights of the massless daughter amplitudes obtained in the massless limit. Thus the master formulae of Section 3.3 are only as unique as Eq. (3.5). The paper should either extend the uniqueness proof to the dressed amplitudes or label the form-factor results as canonical examples rather than the most general ones.","section":"Section 3.3"}],"minor_comments":[{"comment":"The massless limit of Ψ_{i,lowest} = 1 - ½η_i^2 is written as η̂_i η_i + 1, but with a conventional contraction η_i^2 = η_i^+η_i^- + η_i^-η_i^+ and the replacement η^+→η̂, η^-→η one obtains 1 - η̂_i η_i. Please state the contraction/sign convention explicitly, since the sign propagates into the relative coefficients in Section 3.2 and Appendix D.","section":"Section 3.1, Eq. (3.4)"},{"comment":"The statement that the term proportional to η_2^2 η_3^2 'vanishes when hit by δ^(2)(Q†)' is not self-evident, because δ^(2)(Q†) contains the piece ½ m_1 η_1^2 whose product with η_2^2 η_3^2 is the top-degree monomial η_1^2 η_2^2 η_3^2 and need not vanish for three massive legs. Please show the explicit cancellation or clarify the convention.","section":"Section 3.2, Eq. (3.6)"},{"comment":"There are several typographical errors: 'idenitites' in Section 2, 'polynormial' in Section 2.3, 'to to' in Conclusions, and 'perpermultiplets' in Conclusions. Please proofread.","section":"General"},{"comment":"The counting argument that 'there are enough conditions to completely determine the amplitude up to an overall coefficient' for general N_c is only sketched; providing the explicit linear system or a reference to the earlier derivation in Ref. [24] would make the massless foundation easier to verify.","section":"Section 2.2"}],"recommendation":"major_revision","confidential_remarks":"The paper's central claim is likely true in spirit, but the uniqueness proof is the crux and needs to be supplied. If the authors can show that the SU(2)-singlet deformations are excluded (or relax the claim), the paper would be acceptable. I also note that the massless results are drawn from the authors' own previous papers; an independent cross-check for N>3 would strengthen the presentation. The topic fits the journal's scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the quick version. The paper proposes a master formula, Eq. (3.5), for non-factorizable N-point superamplitudes of massive N=1 chiral superstates, plus a parallel construction with form factors. If the formula is right, it turns operator enumeration in supersymmetric EFTs into a one-liner. The 3-point amplitude matches the independent result by Herderschee-Koren-Trott, which is a real check. The massless re-derivation also gives a useful perspective.\n\nWhat's actually new: the N-point massive formula and the form-factor dressing in Sec 3.3. The massless part is largely a re-derivation of the authors' earlier replacement rule, but it's cleanly argued.\n\nThe soft spot is the uniqueness claim in Sec 3.2. The paper states that G = ∏(1 - ½η_i²) is the unique object with mass dimension zero, SU(2) singlet per leg, and the correct massless limit. That is asserted, not proven. The stress-test's deformation G_c = G0(1 + c η_1²η_2²) is a concrete counterexample to the stated criteria: it's dimension zero, an SU(2) singlet, and doesn't vanish in the massless limit. The paper's requirement that the constant and η_i² terms have the same coefficient for each leg does not kill this term, because G_c preserves those single-leg ratios; it only changes the relative weight of two-chiral daughter amplitudes. So either the massless-limit requirement has to be stated more strongly (reproduce the full massless amplitudes, not just little group scaling), or the uniqueness proof has to be supplied. The 3-point match is a good sign but only probes a one-parameter slice; it cannot exclude such deformations at N≥4.\n\nThe relation to the two independent λ, b parameters in Ref [23] is also hand-waved. The paper says the massless limit fixes the relation but doesn't show it. That's not a fatal flaw—it's probably true—but it should be argued.\n\nMy bottom line: the central construction is likely correct, but the 'most general' claim is under-supported. The paper deserves peer review; a serious referee should ask for a proof of uniqueness or a softened statement, and ideally an N=4 example computed independently.","headline":"A plausible and useful master formula for massive non-factorizable N=1 superamplitudes, but the 'most general' claim rests on an unproven uniqueness assertion.","tokens_in":18408,"tokens_out":8457,"would_cite":true,"duration_ms":83632,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"One formula determines all massive N=1 superamplitudes","keywords":["N=1 supersymmetry","superamplitudes","massive spinor-helicity","supersymmetric Ward identities","little group scaling","non-factorizable amplitudes","form factors","on-shell effective field theory"],"falsifier":"Compute the four- or five-point non-factorizable amplitude from an explicit supersymmetric higher-dimensional operator, such as $\\int d^4\\theta\\,\\Psi^2\\bar\\Psi^2$, with the massive propagators evaluated on shell, and compare term by term with $\\delta^{(2)}(Q^\\dagger)Q^2\\prod(1-\\tfrac12\\eta_i^2)$. If any dimension-zero SU(2)-singlet term appears that satisfies the Ward identity and vanishes in the massless limit but is absent from the master formula, the claimed uniqueness fails. A simpler targeted check is to enumerate all independent SU(2)-singlet polynomials in the $\\eta_{iI}$ of degree four or higher for N=4 and test them directly against the Ward identity and massless-limit conditions.","tokens_in":17299,"feed_emoji":"⚛️","tokens_out":8366,"duration_ms":73287,"temperature":0.7,"pith_summary":"This paper aims to establish that the non-factorizable part of any N-point superamplitude built from massive N=1 chiral or anti-chiral superstates is fixed by supersymmetry, little-group scaling, and the requirement that it reduce to the known massless superamplitude when every mass is sent to zero. The claimed master formula for the undressed case is $A(\\Psi_1\\cdots\\Psi_N)=\\delta^{(2)}(Q^\\dagger)\\,Q^2\\prod_{i=1}^N(1-\\tfrac12\\eta_{iI}\\eta^I_i)$, where the factor $1-\\tfrac12\\eta_i^2$ is the dimension-zero SU(2)-singlet component of a massive superstate in the coherent-state basis. The same construction works when the amplitude is dressed by form factors built from $Q\\Psi_i\\to\\lambda_{iI}\\eta^I_i$ and $Q^\\dagger\\Psi_i\\to\\tilde\\lambda_{iI}\\eta^I_i$, and it does not care whether the fermionic components are Majorana or Dirac. If the paper is right, this gives an on-shell way to enumerate higher-dimensional operators in supersymmetric effective theories without off-shell redundancies. The authors check the three-point case against the known Wess-Zumino result and show that the form-factor-dressed and Dirac-state versions follow from the same master formula.","feed_headline":"One formula determines all massive N=1 superamplitudes","feed_subtitle":"Supersymmetry, little-group scaling, and the massless limit pin down the non-factorizable amplitude up to one coefficient.","key_machinery":"The load-bearing object is the massive coherent-state factor $G_i=1-\\tfrac12\\eta_{iI}\\eta^I_i$, the unique dimension-zero SU(2)-singlet built from the two Grassmann variables of a massive N=1 superstate; it plays the role that $\\eta_i$ (for a chiral leg) or $1$ (for an anti-chiral leg) plays in the massless replacement rules. With it, the undressed amplitude is assembled as $\\delta^{(2)}(Q^\\dagger)Q^2\\prod_i G_i$, where $\\delta^{(2)}(Q^\\dagger)$ enforces the super-Ward identity and $Q^2$ carries the mass dimension. Form-factor dressing is generated by replacing legs according to $Q\\Psi_i\\to\\lambda_{iI}\\eta^I_i$ and $Q^\\dagger\\Psi_i\\to\\tilde\\lambda_{iI}\\eta^I_i$, each insertion adding dimension $1/2$ without changing the little-group scaling; pairs of such insertions build the dressed amplitudes shown in Section 3.3. The proof structure relies on an appendix argument that any non-factorizable massless amplitude must contain a factor $Q^2(\\eta_{i_1}\\cdots\\eta_{i_{N_\\eta}})$, which is then lifted to the massive case by the massless-limit requirement.","core_discovery":"The paper's central claim is that every non-factorizable massive N=1 superamplitude has the form $\\delta^{(2)}(Q^\\dagger)Q^2G$, with $G=\\prod_{i=1}^N(1-\\tfrac12\\eta_{iI}\\eta^I_i)$ for the undressed case, and that $G$ is the unique dimension-zero SU(2)-singlet compatible with the massless limit. The factor $1-\\tfrac12\\eta_i^2$ is forced because a massive superstate splits into a chiral and an anti-chiral massless superstate, and both daughter amplitudes must come out with the same relative coefficient. Adding a form factor means acting on individual legs with $Q$ and $Q^\\dagger$, which preserves little-group scaling and reproduces the massless replacement rules $Q\\Psi_i\\to\\lambda_{iI}\\eta^I_i$ and $Q^\\dagger\\Psi_i\\to\\tilde\\lambda_{iI}\\eta^I_i$. The construction does not depend on whether the states are self-conjugate; for Dirac states one simply tracks $\\Psi$ versus $\\bar\\Psi$ when taking massless limits. The paper concludes that the non-factorizable piece of the N-point massive superamplitude is therefore determined up to an overall coefficient.","pith_inferences":["If the uniqueness of $G$ is accepted, the same master formula should also organize the complete on-shell basis of non-renormalizable operators for massive superfields: each operator class would correspond to the base amplitude plus a form-factor tower, replacing the off-shell equation-of-motion redundancy with on-shell contact terms.","A direct test of the uniqueness premise would be to enumerate all dimension-zero SU(2)-singlet polynomials in the $\\eta_{iI}$ for N=4 or N=5 and check explicitly that none of them, when inserted in place of $\\prod(1-\\tfrac12\\eta^2)$, satisfies the Ward identity and massless-limit conditions; the paper states uniqueness without giving this enumeration for N>3.","The same logic suggests a route to massive vector supermultiplets, provided the three-point amplitudes are arranged so that momentum factors sit only in numerators; the authors flag denominator-type kinematic factors as the obstacle for vectors."],"forward_implications":["Every undressed non-factorizable massive N-point superamplitude is determined up to one overall coefficient; there is no additional SU(2)-singlet contact term with the same mass dimension and little-group weight.","The massless limit of the master formula automatically yields the expected daughter amplitudes, reproducing the known three-point results including the terms $[1I2J]\\eta_{1I}\\eta_{2J}$ and the mass-dependent $\\eta^2$ pieces.","Form-factor dressed amplitudes are built by inserting $Q\\Psi_i\\to\\lambda_{iI}\\eta^I_i$ and $Q^\\dagger\\Psi_i\\to\\tilde\\lambda_{iI}\\eta^I_i$ in pairs; each dressing is the on-shell image of partitioning derivatives in an operator.","For Majorana states with R-charge 1, imposing R-symmetry forces the amplitude to scale as $\\eta^{N_\\Psi}$; because the general form only has even powers of $\\eta$, odd-particle interactions of this type are forbidden at the amplitude level.","The construction is unchanged for Dirac states; the only modification is bookkeeping $\\Psi$ versus $\\bar\\Psi$ when projecting onto massless chiral and anti-chiral daughters."],"supporting_citations":[{"why":"The three-point massive superamplitude from the literature that the N=3 case of the master formula must reproduce; matching it validates the construction.","marker":"[23]"},{"why":"The authors' preceding paper establishing a basis for non-factorizable N=1 superamplitudes, from which the replacement-rule and form-factor reasoning is carried over.","marker":"[24]"},{"why":"The earlier paper that derived the hidden U(N) symmetry and the Lagrangian-to-amplitude replacement rules used here for massless states.","marker":"[25]"},{"why":"The general solution to the supersymmetric Ward identities for superamplitudes, which underpins the assertion that Q-annihilated forms are captured by Q^2 acting on polynomials.","marker":"[10]"},{"why":"The massive spinor-helicity formalism; supplies the SU(2) little-group conventions and the massless-limit decomposition used throughout Section 3.","marker":"[29]"},{"why":"The massive spinor-helicity conventions and massive contact-term construction that define the notation and the comparison class for on-shell amplitudes.","marker":"[30]"}],"fun_headline_variants":["Single formula fixes all massive N=1 superamplitudes","Massless limit determines massive N=1 superamplitudes","A unique factor governs non-factorizable N=1 superamplitudes","How little-group scaling fixes massive N=1 superamplitudes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the asserted uniqueness in Section 3.2 of the factor $G=\\prod_i(1-\\tfrac12\\eta_i^2)$: the paper assumes no other dimension-zero, SU(2)-singlet polynomial in the Grassmann variables can be added to the amplitude without breaking the Ward identity or the massless limit, and this uniqueness is stated without proof, so the 'most general' conclusion for N>3 rests on it.","fun_headline_variants_meta":{"raw":{"variants":["Single formula fixes all massive N=1 superamplitudes","Massless limit determines massive N=1 superamplitudes","A unique factor governs non-factorizable N=1 superamplitudes","How little-group scaling fixes massive N=1 superamplitudes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001156,"raw_usage":{"total_tokens":4765,"prompt_tokens":900,"completion_tokens":3865,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":516,"completion_tokens_details":{"reasoning_tokens":3800}},"tokens_in":516,"tokens_out":3865,"duration_ms":25659,"temperature":1.0,"reasoning_tokens":3800,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T21:47:13.367713+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the four- or five-point non-factorizable amplitude from an explicit supersymmetric higher-dimensional operator, such as $\\int d^4\\theta\\,\\Psi^2\\bar\\Psi^2$, with the massive propagators evaluated on shell, and compare term by term with $\\delta^{(2)}(Q^\\dagger)Q^2\\prod(1-\\tfrac12\\eta_i^2)$. If any dimension-zero SU(2)-singlet term appears that satisfies the Ward identity and vanishes in the massless limit but is absent from the master formula, the claimed uniqueness fails. A simpler targeted check is to enumerate all independent SU(2)-singlet polynomials in the $\\eta_{iI}$ of degree four or higher for N=4 and test them directly against the Ward identity and massless-limit conditions.","supporting_citations":[],"review_version":1}