{"id":"73bf8f48-9874-4c8e-a4cf-44b9bbbf3592","arxiv_id":"2501.13185","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors compute, for the first time, the one-loop renormalization group equations of the bosonic operators of a completely general EFT up to mass dimension 6.","lead":"This paper builds the most general effective field theory (EFT) of scalars, fermions and gauge bosons up to mass dimension 6, providing a complete operator basis and the one-loop renormalization group equations for all bosonic operators. The result lets researchers derive the beta functions of any specific EFT by plugging in its field content and gauge group.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The universal claim rests on an unverified completeness statement for the dimension-5/6 operator basis; a missing or mislabeled operator would propagate into every beta function in Section 4.3, and no independent enumeration is provided.","rationale":"I agree with the reader that the weakest assumption is the completeness and non-redundancy of the operator basis, rather than the loop algebra itself. The internal cross-checks and the use of MatchMakerEFT and functional methods give substantial evidence that the computed poles are correct for the stated basis, and the reduction formulas are presented in enough detail to be checked. However, the advertised universality — 'any EFT up to mass dimension 6' — requires a completeness theorem that is asserted, not demonstrated in the text. The deferral of fermionic RGEs to the companion paper is a genuine scope limitation: it means the system is not closed for actual running, but it does not falsify the bosonic beta functions as a standalone calculation. Since the reader already issued a conditional verdict and the concern here supports rather than overturns that conditionality, no change to the verdict is needed.","tokens_in":35889,"tokens_out":13114,"duration_ms":152777,"concrete_test":"Independently enumerate all independent Green's and physical operators up to dimension 6 for a generic bosonic sector (one real scalar in a reducible representation of a compact gauge group plus one gauge multiplet) using a Hilbert-series method, and compare the counts and index symmetries with Eqs. (12) and (18); then, for a nontrivial example such as a scalar in the adjoint of SU(3), symbolically verify that the reductions in Eqs. (72)-(88) close on the listed physical operators and that the resulting divergences from Appendix B reproduce the corresponding Section 4.3 beta functions.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing premise is the completeness and non-redundancy of the Green's and physical bases listed in Section 2, together with the exactness of the reductions in Section 3. The text states that the basis was obtained 'in part with the help of the Sym2Int package' but gives no independent proof, no operator counts, and no released enumeration script that a reader could run. Because every equation in Section 4.3 is written in that basis, a missing operator, or a misassigned symmetry/contraction, would invalidate the corresponding beta function even if all listed cross-checks pass. The reported checks against SMEFT, ALP-SMEFT, and toy models are good evidence for those specific field contents, but they do not test the claimed universality for arbitrary compact gauge groups and arbitrary reducible scalar/fermion representations. A further, explicitly stated limitation is that fermionic-operator RGEs are deferred to a companion paper; since the bosonic beta functions depend on fermionic Wilson coefficients, the equations in Section 4.3 do not by themselves form a closed one-loop running system. This makes the advertised deliverable conditional, although it does not by itself demonstrate an error.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a universal one-loop renormalization program for the most general local, Lorentz-invariant EFT of scalars, fermions, and gauge fields up to mass dimension six. It defines a Green's basis and a physical basis for all operators, gives the on-shell reduction between them, computes the one-loop divergences in the Green's basis, and presents the resulting beta functions for all bosonic operators in the physical basis. The authors cross-check their results against SMEFT, ALP-SMEFT, and several toy models, and defer the renormalization of fermionic operators to a companion paper.","tokens_in":36135,"tokens_out":6387,"duration_ms":72259,"significance":"If correct, this is a valuable universal result: it effectively provides the bosonic block of the one-loop anomalous-dimension matrix for any EFT with arbitrary compact gauge group and arbitrary scalar/fermion content, generalizing the classical Machacek-Vaughn program and complementing SMEFT/ALP-SMEFT calculations. The authors are transparent about the tools used (MatchMakerEFT, GroupMath, functional methods, Sym2Int) and report nontrivial cross-checks. The main limitations are that the completeness of the operator basis is asserted rather than proven or independently verifiable, the very long formulas are not released in machine-readable form, and the fermionic-sector running is deferred to a companion paper, so the advertised system is not closed as it stands.","major_comments":[{"comment":"The central claim that the Green's basis is complete and non-redundant for all off-shell Green's functions up to dimension six is load-bearing: every beta function in Section 4.3 is written in this basis, and a missing operator or an incorrect contraction would propagate into all of them. The text states only that the basis was obtained 'in part with the help of the Sym2Int package' and gives no independent proof, no operator counts per class, and no enumeration script. Since the cross-checks against SMEFT, ALP-SMEFT, and toy models cover specific field contents rather than arbitrary reducible representations, the claimed universality is not actually tested. Please provide an independent completeness argument (for example, operator counts from Sym2Int, a Hilbert-series check, or a released enumeration script) and state explicitly where the completeness proof can be found.","section":"Section 2, Eqs. (12)-(19)"},{"comment":"The beta functions are extremely long, and the manuscript does not include machine-readable expressions or a detailed verification log. The statement that the results were double-checked with MatchMakerEFT and functional methods is reassuring, but it does not allow an independent reader to test the central deliverable. I recommend submitting an ancillary file containing all beta functions and reduction formulas in computer-readable form, together with a table of the specific SMEFT/ALP-SMEFT/toy-model cross-checks that were performed. Without this, the paper's main result is not independently verifiable.","section":"Section 4.3 and Appendix B, Eqs. (96)-(112), (130)-(147)"},{"comment":"The bosonic beta functions depend on fermionic Wilson coefficients such as a_psiF^(5), a_psi-phi2^(5), a_phi-psi^(6), a_psi-phi^(6), and a_psi-psi^(6), whose RGEs are deferred to the companion paper [31]. Consequently, Eqs. (100)-(112) do not by themselves form a closed one-loop running system. This is a clearly stated scope limitation rather than an error, but it should be made more prominent in the abstract and conclusions: the present paper delivers the bosonic rows of the one-loop anomalous-dimension matrix, not the complete running of any EFT until the fermionic sector is included.","section":"Section 4.3, Eqs. (100)-(112)"}],"minor_comments":[{"comment":"For the multi-U(1) mixing case, the replacement g_{AB} R^A V^B is introduced, but it would help to state explicitly that the kinetic-mixing matrix is symmetric and to clarify the index ordering in traces such as Tr[theta_A theta_B].","section":"Section 2.3, Eq. (65)"},{"comment":"The symmetrization conventions in the reduction formulas are dense; in particular, the 'sum over permutations' in Eq. (88) would benefit from a concrete example or a precise definition of the permutation sum, since the same notation is used for operators with different symmetry types.","section":"Section 3, Eqs. (66)-(88)"},{"comment":"There are minor typographical issues (e.g., 'straight-forward' should be 'straightforward') and the reference [31] is listed only as 'to appear'; an arXiv number should be added when available.","section":"Throughout"},{"comment":"The evanescent-operator reduction is stated in d=4, and the text correctly notes that additional shifts are needed for finite matching or two-loop RGEs. I suggest adding an explicit sentence that the d-dimensional reduction is not provided here, to avoid any impression that the exact reduction is fully d-dimensional.","section":"Section 2.1, Eqs. (48)-(52)"}],"recommendation":"major_revision","confidential_remarks":"The paper is technically serious and the cross-checks give reasonable confidence that the results are correct, but the completeness of the basis is the key assumption and it is not independently verifiable in the manuscript. Releasing the enumeration and the machine-readable beta functions would substantially raise the value and reliability of the paper. The deferral of fermionic RGEs to a companion is acceptable for a two-part project, but the present manuscript should present itself as the bosonic block of a larger dictionary rather than as a standalone closed system."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The headline: this paper does what it claims for the bosonic sector. It gives the complete one-loop RGEs for a fully general local, Lorentz-invariant EFT up to mass dimension 6, written directly in terms of representation matrices and group-theoretic data. That is genuinely new for the running, and the Green's/physical basis split plus the exact reduction formulas are useful results in their own right.\n\nThe cross-checks are the strongest part. Reproducing known SMEFT and ALP-SMEFT beta functions as special cases is real evidence, and the use of both MatchMakerEFT and independent functional methods for bosonic operators is careful. The treatment of evanescent operators and of mixed index symmetries is precise, and the pedagogical appendix on beta functions is clear. The authors are also explicit that fermionic-operator RGEs are deferred to a companion paper.\n\nThe soft spots are mostly about verifiability, not correctness. No code or model files are released, so the extremely long formulas in Section 4.3 cannot be checked without redoing the whole calculation. The completeness of the basis rests on the authors' own Sym2Int package, and while that package is published, the paper itself gives neither an operator count nor a standalone enumeration script. The stress-test worry that a missing operator would propagate into every beta function is logically sound, but it is speculation: the SMEFT and ALP-SMEFT checks cover a wide set of structures and would likely catch many omissions. I do not see a load-bearing flaw.\n\nThe one real limitation is that the bosonic beta functions depend on fermionic Wilson coefficients, and those RGEs are not in this paper. So the advertised tool does not yet form a closed system for a generic EFT. That is a scope choice, stated clearly, not an error.\n\nWho is this for? Practitioners doing EFT matching and running for new models. It is a reference result, not a revolutionary method, but it will save people significant work. The lack of released code is annoying but not disqualifying.\n\nRecommendation: send it to peer review. A serious referee should push for a release of the enumeration and calculation pipeline, or at least a nontrivial independent toy-model check, but the paper is substantial, honest, and likely correct. It deserves referee time.","headline":"A technically impressive universal one-loop dictionary for bosonic dimension-6 EFT running, with real cross-checks; the caveats are missing code release and the deferred fermionic sector, not a demonstrated error.","tokens_in":36630,"tokens_out":1783,"would_cite":true,"duration_ms":21531,"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 derives the complete one-loop beta functions for every bosonic operator of the most general EFT up to dimension 6, for any compact gauge group and any scalar and fermion content.","keywords":["effective field theory","renormalization group","beta functions","dimension-six operators","Green's basis","physical basis","operator reduction","bosonic operators"],"falsifier":"Take a model not among the paper's cross-checks—for instance, a compact gauge group with two scalar multiplets in distinct representations—and compute one physical $\\beta$ function, such as $\\dot{a}^{(6)}_{\\phi D}$, by direct one-loop Feynman diagrams or by an independent functional calculation. If it disagrees with the value obtained by substituting the model's representation matrices into the published formula, the central claim fails; an independent enumeration of all independent dimension-5 and dimension-6 operators can separately check whether the Section 2 basis is complete.","tokens_in":35689,"feed_emoji":"⚛️","tokens_out":13461,"duration_ms":125153,"temperature":0.7,"pith_summary":"The paper sets out to make one-loop renormalization-group running a solved problem for the bosonic sector of any effective field theory. It constructs the most general local, Lorentz-invariant EFT containing scalars, fermions and gauge bosons up to mass dimension 6, for any compact gauge group and any field content, and lists a complete off-shell Green's basis together with the on-shell physical basis and the exact reduction between them. From the one-loop divergences it derives the beta functions—the equations governing how couplings run with energy—for every bosonic operator in the physical basis, so that applying the result to a specific model reduces to a group-theory calculation. If the central claim is right, a practitioner with a new EFT can obtain bosonic running up to dimension 6 without repeating any loop calculation. The renormalization of fermionic operators is left to a companion paper.","feed_headline":"All bosonic operators of any EFT now have one-loop beta functions","feed_subtitle":"Plug in a model's group-theory factors and bosonic running to dimension six follows without new loops.","key_machinery":"The machinery has three pieces: a complete Green's basis that captures off-shell one-loop divergences, a physical basis of on-shell operators, and exact field-redefinition reduction formulas, including terms quadratic in dimension-five operators, that convert redundant operators into physical ones. A projector $P$ on rank-four tensors encodes the mixed permutation symmetries of the $\\phi^2 D^2$ and four-fermion operators, so the most general Wilson coefficients with the correct index symmetries can be generated by projecting arbitrary tensors. In the background-field gauge (a gauge choice that keeps the gauge-field background manifestly gauge invariant), the one-loop $\\beta$ function of a Wilson coefficient $a_i$ is $\\beta_i=-2a'_i$, where $a'_i$ is the coefficient of the $1/\\epsilon$ pole after canonical normalization, and the gauge-coupling $\\beta$ function is read directly from the gauge kinetic counterterm as $\\dot{g}_A=(a'_{KF})_{AB}g_B$.","core_discovery":"The central claim is that Section 4.3 contains the complete one-loop renormalization-group equations for all physical bosonic operators of the most general local, Lorentz-invariant effective field theory up to mass dimension 6, valid for any compact gauge group and any scalar and fermion content. The authors state that with this calculation one can obtain the one-loop $\\beta$ functions of the bosonic operators of any EFT up to mass dimension 6 by means of a straightforward group-theoretical calculation. The derivation computes the one-loop UV divergences in a Green's basis (a complete off-shell operator set before equations of motion are used), canonically normalizes the kinetic terms, and then applies exact field-redefinition reduction formulas to pass to the physical basis (the independent on-shell operators). The explicit formulas cover the tadpole, scalar mass, trilinear and quartic couplings, the dimension-five bosonic operators $\\phi F^2$, $\\phi \\tilde F^2$ and $\\phi^5$, and the dimension-six bosonic operators $F^3$, $\\tilde F^3$, $\\phi^2 D^2$, $\\phi^2 F^2$, $\\phi^2 \\tilde F^2$ and $\\phi^6$, with all gauge factors written in terms of explicit representation matrices and structure constants so that the formulas adapt to any compact gauge group, including several U(1) factors with kinetic mixing.","pith_inferences":["Editorial inference: because every formula is written in terms of representation matrices and group-theory invariants, the bosonic one-loop running of any new EFT could be fully automated from group-theory inputs alone; the paper demonstrates this principle but does not ship a general-purpose tool.","Editorial inference: the same Green's/physical-basis machinery should extend to mass dimension 8 and to two loops, and reproducing the known dimension-8 SMEFT bosonic results would provide a sharp test; the authors list these as future directions.","Editorial inference: the evanescent-operator shifts treated here are only those needed for one-loop renormalization, so the current formalism is not yet complete for two-loop finite matching, which would require the additional shifts the paper explicitly defers.","Editorial inference: an independent, non-automated enumeration of the dimension-5 and dimension-6 operator basis would settle the completeness question on which the central claim rests, since the paper's completeness assertion relies on automated enumeration rather than a standalone proof."],"forward_implications":["For any specific EFT, the one-loop bosonic beta functions up to dimension 6 are obtained by substituting representation matrices and structure constants into the published formulas; no new loop integrals are required.","The reduction formulas include non-linear terms, so they support finite off-shell matching as well as one-loop running.","The previously computed SMEFT and ALP-SMEFT beta functions should be recovered as special cases; the paper reports partial and full cross-checks of exactly this kind.","The gauge-coupling running is read off the gauge kinetic counterterm in background-field gauge, including the case of multiple U(1) factors with kinetic mixing.","Fermionic operator beta functions and the associated evanescent shifts are deferred to a companion article, so the present result is a bosonic-sector result."],"supporting_citations":[{"why":"Automated operator enumeration is used to build the Green's basis and supplies the claimed completeness of the operator list.","marker":"[32, 33]"},{"why":"Field redefinitions at higher orders justify the exact on-shell reduction formulas, including non-linear terms.","marker":"[30]"},{"why":"Automated one-loop matching and divergence computation is used to obtain the UV poles in the Green's basis.","marker":"[1]"},{"why":"The background-field method is used to compute gauge-invariant one-loop divergences and to read off the gauge-coupling beta function.","marker":"[42]"},{"why":"Functional-methods automation is used for an independent computation of the purely bosonic divergences.","marker":"[45]"},{"why":"Group-theory automation is used to compute Wilson coefficients of toy models that cross-check the general formulas.","marker":"[43]"},{"why":"The SMEFT dimension-six beta-function results serve as a partial cross-check of the general result.","marker":"[6–8]"},{"why":"The ALP-SMEFT beta functions serve as a full cross-check of the general formulas.","marker":"[16–18, 20]"}],"fun_headline_variants":["Complete one-loop RGEs for all EFT bosonic operators","Every bosonic operator in any EFT now has one-loop running","Full bosonic beta functions for general EFTs up to dim 6","One-loop bosonic renormalization for any gauge group","All dimension-six bosonic operators: one-loop RGEs done"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the list of off-shell operators in Section 2 is complete up to dimension 6 and that every reduction formula in Section 3 is exactly right; if an independent operator is missing or a reduction is wrong, the physical beta functions in Section 4.3 would be wrong, and the paper relies on automated enumeration for completeness rather than a standalone proof.","fun_headline_variants_meta":{"raw":{"variants":["Complete one-loop RGEs for all EFT bosonic operators","Every bosonic operator in any EFT now has one-loop running","Full bosonic beta functions for general EFTs up to dim 6","One-loop bosonic renormalization for any gauge group","All dimension-six bosonic operators: one-loop RGEs done"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000211,"raw_usage":{"total_tokens":1388,"prompt_tokens":891,"completion_tokens":497,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":507,"completion_tokens_details":{"reasoning_tokens":406}},"tokens_in":507,"tokens_out":497,"duration_ms":5022,"temperature":1.0,"reasoning_tokens":406,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T16:22:15.018754+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a model not among the paper's cross-checks—for instance, a compact gauge group with two scalar multiplets in distinct representations—and compute one physical $\\beta$ function, such as $\\dot{a}^{(6)}_{\\phi D}$, by direct one-loop Feynman diagrams or by an independent functional calculation. If it disagrees with the value obtained by substituting the model's representation matrices into the published formula, the central claim fails; an independent enumeration of all independent dimension-5 and dimension-6 operators can separately check whether the Section 2 basis is complete.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The background-field method is used to compute gauge-invariant one-loop divergences and to read off the gauge-coupling beta function."}],"review_version":1}