{"id":"a38fd198-301e-43aa-96db-24d05ea0268d","arxiv_id":"2412.20096","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new on-shell method using Young tableaux constructs complete EFT operator bases for massive particles of any spin, applied to dark photons and spin-3/2 gravitino-like particles up to dimension 8.","lead":"This paper introduces a more efficient way to list all possible interaction terms between new massive particles and Standard Model particles, up to a chosen energy scale. It provides complete lists up to dimension 8 for dark photons and, for the first time, for spin-3/2 'gravitino-like' particles.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Completeness of the massive bases rests on the rank argument of §4.2, which is stated but not shown; without it, massification could map independent massless basis elements to redundant massive ones.","rationale":"The reader's weakest assumption identifies exactly the load-bearing gap: the massification principle is invoked from prior work, and the rank argument that would justify completeness and independence for the new applications is omitted. I agree with this assessment. The paper provides an explicit worked example and a public Mathematica package, which are real evidence that the method runs and produces operator lists, but neither demonstrates exhaustiveness. The explicit statement in Section 4.2 that the subset relations 'can be rigorously proven' via rank analysis is a self-declared missing proof, not a derivation. The concern is not that the method disagrees with known results; it is that the central claim of completeness is not established within this paper for the novel spin-3/2 case. The proposed concrete test, comparing a direct rank computation against the printed lists for one dark-photon and one gravitino sector, would settle whether the omitted step conceals an actual gap. Since the reader already made the verdict conditional on verification of completeness, my read does not change that verdict.","tokens_in":136154,"tokens_out":4434,"duration_ms":56108,"concrete_test":"Take the dimension-8 XXeRe†R sector treated in Section 5 and enumerate all independent Lorentz- and little-group-invariant massive spinor monomials by direct linear algebra, without imposing the massification shortcut; compute the rank of this space and compare it with the four operators claimed after Eq. (5.5). A matching rank confirms completeness; a mismatch localizes the failure. Repeat this rank check for one gravitino sector, e.g., ψψdd at d=7 in Table 10, where no independent basis exists, to test whether the spin-3/2 list is exhaustive.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is that the operator lists in Appendices C and D are complete and redundancy-free. This depends on the massification step of Section 3.1, Eq. (3.4): after constructing the massless basis {c·f}^{{li}}, one restores little-group indices to obtain the massive basis {M}^{{li}}. The only support for independence is in Section 4.2, where the subset relations among {C·f}^{{li}} are described verbally and it is stated that the relations 'can be rigorously proven using representation theory and linear algebra by analyzing the ranks of linear spaces.' No rank computation is provided. The concern is load-bearing because Eq. (4.7) replaces i' with i; this map from massive to massless amplitudes is many-to-one. After restoring little-group indices, two distinct massless polynomials could become EOM-equivalent via Eq. (4.5), or linearly dependent after imposing momentum conservation and spin-statistics. If the rank of the massified span is smaller than the number of claimed basis elements, the lists in Apps. C and D are overcomplete; if larger, they are incomplete. The 'for the first time' spin-3/2 basis depends directly on this unproved step, and the paper explicitly defers the general principle to Refs. [2,3] rather than proving it here.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper presents a method for constructing complete, redundancy-free EFT operator bases involving massive particles of any spin, using on-shell spinor-helicity amplitudes and Young tableaux. The method classifies massive amplitude bases by polarization configurations {li}, factorizes each configuration into a C piece and an F piece (Eq. (3.3)), and constructs the massive basis by first building the massless-limit basis {c·f}^{{li}} with semi-standard Young tableaux and then restoring little-group indices ('massification', Eq. (3.4)). Completeness and independence are claimed to follow from subset relations among the {C·f}^{{li}} spaces (Section 4.2, Eq. (4.6)), which the paper says can be established by a rank argument that it does not carry out. As applications, the paper lists EFT operator bases up to dimension 8 for a massive dark photon interacting with SM fields (Appendix C) and, claimed for the first time, for a spin-3/2 gravitino-like particle interacting with SM fields (Appendix D), and it provides a Mathematica package for automated basis generation.","tokens_in":136410,"tokens_out":22772,"duration_ms":210161,"significance":"If the completeness claims can be substantiated, this is a useful contribution: exhaustive dimension-8 bases for dark photon and spin-3/2 gravitino-like fields coupled to the SM are directly relevant to phenomenological calculations (matching, RG running, and collider and astroparticle searches), and the spin-3/2 lists appear to be genuinely new. The paper also has concrete strengths that deserve credit: the SSYT filling rules of Section 4.3 are explicit and algorithmic; the treatment of identical-particle exchange symmetries via representation matrices (Section 4.4 and Appendix B) is concrete; and the companion Mathematica package on GitHub is a reproducibility asset. The central guarantee, however — that the published tables are complete and redundancy-free — rests on the massification principle and the rank-based subset relations of Section 4.2, which are asserted rather than demonstrated in this manuscript. Until that load-bearing step is supplied or independently verified, the significance of the tables is conditional, and the stress-test concern about Section 4.2 lands on reading the paper.","major_comments":[{"comment":"The claim that the bases in Appendices C and D are complete and redundancy-free rests on the subset relation {C·f}^{{l′}} ⊂ {C·f}^{{l}} for l ≤ l′ (Eq. (4.6)) and on the assertion that the union of unobstructed polarization blocks forms the lowest-dimensional complete basis (Fig. 1b). The manuscript states that these relations 'can be rigorously proven using representation theory and linear algebra by analyzing the ranks of linear spaces', but no rank computation is shown anywhere. This is load-bearing: the replacement i′→i in Eq. (4.7) is a many-to-one map, and after restoring little-group indices, two distinct massless polynomials could become EOM-equivalent via Eq. (4.5) or linearly dependent after the semi-standardization step of Section 4.3 (the paper's own Eq. (4.13) acknowledges that a (c·f) basis does not generally correspond to an SSYT). If the rank of the massified span is smaller than the number of claimed basis elements, the lists are overcomplete; if larger, they are incomplete. I ask the authors to provide the rank argument, at least for the two massive-vector case of Fig. 1 and for the spin-3/2 case, or to verify the lists by an explicit linear-independence computation of the massified amplitude polynomials.","section":"§4.2 (Eqs. (4.6)–(4.7), Fig. 1)"},{"comment":"The massification principle — that a complete massless basis {c·f}^{{li}} yields a complete and independent massive basis after restoring little-group indices — is imported from Refs. [2,3] rather than derived in this paper. Section 3.1 promises that 'the independence of the massive amplitude bases obtained in this way will be discussed in the next section', but Section 4.2 delivers only the verbal subset statement of Eq. (4.6) (see Major Comment 1), not a proof or a precise statement of the hypotheses under which the principle holds. This matters because the paper itself notes (Section 3) that for s ≥ 1 the number of polarization configurations (2s+1) does not match the number of helicity states in the massless limit, so the massive-to-massless map is not trivially bijective; and the spin-3/2 basis of Appendix D is presented 'for the first time'. The completeness of that new result is therefore conditional on a general principle whose applicability to spin 3/2 is not verified here. I request a precise statement of the theorem with its conditions, proved in an appendix or else explicitly checked in at least one gravitino sector (for example, the ψLHB and ψψH†H operators of Tables 9 and 10).","section":"§3.1 (Eq. (3.4))"},{"comment":"No independent validation of the operator counts is provided. Complete dark photon EFT bases already exist in the literature (Refs. [60,61] are cited as alternative approaches), yet the paper does not compare its Appendix C lists with those results, not even at the level of counts per class and dimension. A count comparison for the dark photon at d = 6 and d = 8 would be a direct, falsifiable check of the method; if the counts agree, confidence in the new spin-3/2 lists of Appendix D would increase substantially. I recommend adding such a comparison and, at a minimum, a summary table of the number of operators per dimension and field content for both appendices.","section":"Appendix C (compared with Refs. [60,61])"}],"minor_comments":[{"comment":"The second column header of Table 15 reads 'Form?'; this appears to be a typo and should be corrected.","section":"Table 15"},{"comment":"The representation matrix M(12) for the x6 basis is stated without showing the SSYT decomposition (Eqs. (4.12)–(4.13)) on which it is based; since this is the only fully worked example of the identical-particle projection, the intermediate steps should be shown.","section":"§5, Eq. (5.4)"},{"comment":"The term 'unobstructed blocks' is never formally defined; a short definition would make the completeness argument in Section 4.2 easier to follow.","section":"§4.2, Fig. 1"},{"comment":"The GitHub repository URL is provided but no version or commit identifier is given, and the paper does not document how the tables of Appendices C and D were generated from the code; this would materially improve reproducibility.","section":"§6"},{"comment":"Some references are incomplete, notably [16] (CMS Phase-II Technical Proposal, no year or arXiv identifier), and the formatting of collaboration author entries is inconsistent (e.g., [13], [14], [15]).","section":"References"},{"comment":"The symmetrized little-group index notation in Eqs. (3.1)–(3.2) is dense; an explicit two-index example would help readers apply the dictionary of Table 2, which relies on the same notation.","section":"§3.1, Eqs. (3.1)–(3.2)"}],"recommendation":"major_revision","confidential_remarks":"The main technical risk is the unproven rank argument in Section 4.2; if the authors can supply it, or an independent verification of the published lists, the paper is likely acceptable. Given the heavy reliance on the authors' own prior work [2–4] for the foundational machinery, the referee process should ensure that the new spin-3/2 lists are not obtained by overextrapolating the vector case; the most obvious referee test is a count comparison with the existing dark photon bases of Refs. [60,61], which I recommend requesting. The paper fits the scope of JHEP well."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper delivers what looks like a practical method for constructing massive EFT operator bases and a big set of tables for dark photon and spin-3/2 gravitino-like particles up to dimension 8. The polarization-configuration classification and the high-energy-limit trick are genuinely new refinements, and having a public Mathematica code attached is a real plus. That part deserves credit.\n\nThe soft spot is the completeness argument. The central claim is that the operator lists in Appendices C and D are complete and redundancy-free. That rests on the massification step of Section 3.1: after building the massless basis, you restore little-group indices to get the massive basis. The paper says the needed subset relations among {C·f}^{li} can be rigorously proven by rank analysis, but no rank computation is given. Without it, massification could turn independent massless polynomials into redundant massive ones, or miss some. The stress-test note is accurate: Eq. (4.7) is a many-to-one map, and the paper does not show that independence survives. This is load-bearing because the \"for the first time\" spin-3/2 basis depends on it.\n\nThe authors do cite their own earlier papers [2,3] for the massification principle, which is reasonable if those proofs are solid. But this paper is not a review; it should at least sketch the rank argument or cite a specific theorem and explain why it applies here. As written, the reader is asked to take the central claim on faith.\n\nThere are minor issues too: the dark photon basis may overlap with Refs. [60,61], and the \"any mass and spin\" generality outruns the demonstrated examples (dark photon and spin-3/2). But those are not fatal.\n\nWho is this for? Phenomenologists wanting an operator list for dark photon or gravitino-like EFT calculations will find it useful, but they should be aware that completeness isn't fully demonstrated in this version. It deserves a serious referee: the method is plausible, the code is there, and the tables are extensive. I'd ask the authors to provide the missing rank proof or an independent cross-check against an existing basis before publication.\n\nRecommendation: send to peer review with a request for the completeness proof.","headline":"Useful operator catalogues for dark photon and spin-3/2 EFTs, but the completeness proof is deferred to a rank argument that isn't shown; the bases may be right, but the paper needs to expose that step.","tokens_in":136944,"tokens_out":2399,"would_cite":false,"duration_ms":25456,"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":"The paper claims that classifying massive amplitudes by polarization configuration, then passing to the massless limit and back, constructs the complete redundancy-free EFT operator basis for particles of any spin, and it presents the…","keywords":["effective field theory","operator basis","on-shell amplitudes","massive particles","dark photon","gravitino","Young tableaux","dimension-eight operators"],"falsifier":"Take one concrete class, the dimension-8 amplitude for two dark photons and two right-handed electrons $XX e_R^\\dagger e_R$ worked out in Section 5. Enumerate all independent polynomials in the massive spinor brackets for that external state by brute-force linear algebra, imposing momentum conservation and the massive Dirac equations, then compare the count with the six Young-symmetrized monomials in Eq. (5.5). If the brute-force count is larger, the massification step missed operators; if smaller, two listed monomials are redundant.","tokens_in":135933,"feed_emoji":"⚛️","tokens_out":6630,"duration_ms":71821,"temperature":0.7,"pith_summary":"This paper claims a faster route to complete EFT operator bases for massive particles of arbitrary spin, based on on-shell scattering amplitudes and Young tableaux. The route classifies amplitude bases by each massive particle's polarization configuration, takes the high-energy massless limit to strip away redundancies, and then restores the massive spinors; no auxiliary fields or manual basis decomposition are needed. Applying this to dark photons and spin-3/2 gravitino-like particles, it produces explicit operator lists through dimension eight, which it claims are exhaustive. It also releases a computer-algebra package that automates the construction for other particle content.","feed_headline":"Operator bases for dark photons and spin-3/2 particles are complete to d=8","feed_subtitle":"A new polarization method removes redundancies for any massive spin and produces full operator lists.","key_machinery":"The load-bearing mechanism is the polarization-configuration label $\\{l_i\\}$ together with the factorization $M_{\\{l_i\\}}=C_{\\{l_i\\}}\\cdot F_{\\{l_i\\}}$ and the massless-limit/massification mapping between $\\{M\\}$ and $\\{c\\cdot f\\}$; Young tableaux, specifically semi-standard Young tableaux built from an effective $U(N)$ symmetry of the external legs, are the bookkeeping device that removes integration-by-parts redundancy in $f$, while the subset relations among different $\\{l_i\\}$ sectors remove equations-of-motion redundancy. The same Young-tableau technology is used to impose Bose/Fermi exchange symmetry on identical particles, with the new simplification that identical particles in different polarization configurations can be treated as effectively distinct.","core_discovery":"The central claim is that the correspondence between EFT operators and on-shell amplitudes can be organized by the polarization configuration $\\{l_i\\}$ of each massive particle, where $l_i$ is the number of left-handed spinors in its polarization tensor. In each configuration the amplitude factorizes as $M_{\\{l_i\\}} = C_{\\{l_i\\}} \\cdot F_{\\{l_i\\}}$, with $C$ built from right-handed spinors and $F$ from the rest. The paper argues that taking the massless limits $C\\to c$, $F\\to f$, constructing the massless basis $\\{c \\cdot f\\}$ by semi-standard Young tableaux, and then massifying back gives a complete independent massive basis, because EOM redundancy appears only as subset relations between higher- and lower-$l_i$ sectors and is removed by keeping the lowest-dimensional unobstructed blocks. On this basis it presents exhaustive operator tables up to dimension $d=8$ for a massive U(1) dark photon interacting with Standard Model fields and, for the first time, for a spin-3/2 gravitino-like fermion.","pith_inferences":["If the massification principle is sound, the same $\\{l_i\\}$ classification should let dimension-9 and higher bases be built by iterating the massless basis construction, with the same subset-relation pruning, rather than by solving IBP/EOM relations directly.","Treating identical particles with different polarization configurations as distinct suggests a counting shortcut for any number of identical massive bosons or fermions: enumerate polarization-configuration orbits first, then apply Young projectors only on diagonal blocks.","A concrete cross-check of the d=8 gravitino-like list would be to match the number of operators in each table against an independent linear-algebra count of massive spinor polynomials for the same external states; any mismatch would locate the failure step.","If these bases are complete, amplitude-level positivity or bootstrap constraints applied to dark-photon and gravitino-like interactions can now be mapped directly onto the full Wilson-coefficient space at this order, including operators that vanish in the massless limit."],"forward_implications":["The operator lists in Appendices C and D exhaust the independent dark-photon and spin-3/2 gravitino-like interactions with Standard Model fields up to dimension 8, so no operators are missing for consistent EFT calculations such as renormalization running.","The polarization-configuration shortcut applies to particles of any mass and spin, so the same algorithm can generate bases for other new-physics states without auxiliary fields or case-by-case decomposition.","The exchange-symmetry rule, imposing the Young projector only within equal-polarization blocks and treating $(l_1,l_2)$ and $(l_2,l_1)$ as one orbit, cuts the counting work for identical massive particles roughly in half.","A companion computer-algebra package automates the basis construction, making the complete operator sets usable for collider-signal, direct-detection, and bootstrap studies of light dark sectors."],"supporting_citations":[{"why":"Supplies the semi-standard Young tableau method for massless amplitude bases and the removal of integration-by-parts redundancy.","marker":"[1]"},{"why":"Establishes the general on-shell EFT framework for massive particles of all spins and the massification principle on which the present completeness claim rests.","marker":"[2]"},{"why":"Constructs on-shell operator bases for all masses and spins and provides the earlier version of the massification mapping used here.","marker":"[3]"},{"why":"Gives the Young-tableau construction of gauge factors and exchange symmetries that the paper adapts for identical massive particles.","marker":"[4]"},{"why":"Alternative approach for massive-vector dark photon bases that introduces auxiliary fields or Adler-zero conditions; the paper compares against it as a more restricted method.","marker":"[60]"},{"why":"Companion alternative construction for axion, ALP, and dark photon EFTs; serves as the comparison baseline that the new method claims to supersede.","marker":"[61]"},{"why":"Underpins the correspondence between EFT operators and on-shell scattering amplitudes that the whole construction relies on.","marker":"[70]"}],"fun_headline_variants":["Complete d=8 EFT bases for dark photons and gravitinos","First full EFT operator list for spin-3/2 particles","Polarization-based method yields complete EFT bases","On-shell trick constructs dark photon and gravitino EFT operators","All EFT terms up to d=8 for dark photons and gravitinos"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction rests on the massification principle, namely that restoring massive spinors to a complete massless amplitude basis yields a complete and independent massive basis, which the paper takes from its earlier work and does not fully re-prove here.","fun_headline_variants_meta":{"raw":{"variants":["Complete d=8 EFT bases for dark photons and gravitinos","First full EFT operator list for spin-3/2 particles","Polarization-based method yields complete EFT bases","On-shell trick constructs dark photon and gravitino EFT operators","All EFT terms up to d=8 for dark photons and gravitinos"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000185,"raw_usage":{"total_tokens":1292,"prompt_tokens":888,"completion_tokens":404,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":504,"completion_tokens_details":{"reasoning_tokens":312}},"tokens_in":504,"tokens_out":404,"duration_ms":4317,"temperature":1.0,"reasoning_tokens":312,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T23:33:40.129012+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take one concrete class, the dimension-8 amplitude for two dark photons and two right-handed electrons $XX e_R^\\dagger e_R$ worked out in Section 5. Enumerate all independent polynomials in the massive spinor brackets for that external state by brute-force linear algebra, imposing momentum conservation and the massive Dirac equations, then compare the count with the six Young-symmetrized monomials in Eq. (5.5). If the brute-force count is larger, the massification step missed operators; if smaller, two listed monomials are redundant.","supporting_citations":[{"cited_title":"Effective Field Theories of Axion, ALP and Dark Photon","cited_arxiv_id":"2305.16770","evidence_quote":"Companion alternative construction for axion, ALP, and dark photon EFTs; serves as the comparison baseline that the new method claims to supersede."}],"review_version":1}