{"id":"02b11867-1b4a-442e-bf0a-72aa4f8d9ae7","arxiv_id":"2412.13251","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"The complete two-loop renormalization-group equations for the dimension-five LEFT sector, derived in a chirally symmetric scheme, with two methods that avoid gauge-variant nuisance operators.","lead":"This paper calculates the two-loop 'running' equations for the low-energy effective field theory (LEFT), the framework that keeps track of how new heavy physics would show up at low energies. It is the first complete calculation for the dimension-five sector and introduces two shortcuts that make such giant computations feasible.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Footnote 6's unchecked evanescent cancellation is the load-bearing gap: if tree-level evanescent coefficients are not one-loop suppressed, the two-loop RGEs in App. B inherit a scheme artifact.","rationale":"The reader's CONDITIONAL verdict identifies the right soft spot, and I agree with it. The paper's strongest evidence concerns algebraic and method-level consistency: two independent IR-rearrangement variants agree, gauge-parameter independence is checked, and known QED/QCD limits and the Misiak-Munz QCD dipole result are reproduced. These checks make a gross algebraic error in Appendix B unlikely, but none of them tests the one place the paper explicitly leaves open: footnote 6 says the cancellation of evanescent-operator dependence at two loops, term (A) of Eq. (4.7), was not checked. That assumption is structurally necessary for the 'complete' claim because the scheme is defined through its treatment of the evanescent sector. If the assumed one-loop loop-counting of evanescent coefficients fails, two-loop diagrams with evanescent insertions contribute and the finite counterterms of Ref. [71] are insufficient, so the reported RGEs would carry an unidentified scheme dependence. The proposed test is concrete and much cheaper than the full LEFT calculation: the QED-only electron/photon sector involves a small subset of the 1491 diagrams, and it directly verifies whether K_i cancels in the two-loop RGE combination. Passing that test would justify the condition and could support moving from CONDITIONAL toward ACCEPT; failing it would require revising Appendix B or adding an explicit caveat. Therefore the current CONDITIONAL verdict should stand unchanged.","tokens_in":31005,"tokens_out":8537,"duration_ms":91407,"concrete_test":"Recompute the QED-only LEFT sector (electron and photon Green's functions) with the dimension-five evanescent operators of Table 2 assigned arbitrary tree-level coefficients K_i, keeping K_i in all two-loop diagrams and in the one-loop counterterm insertions of Eq. (4.7). Then evaluate [dot L_e_gamma]_2 and [dot M_e]_2, the QED limits of Eqs. (B.13) and (B.5), and check whether all K_i dependence cancels after including the finite evanescent counterterms of Ref. [71]. If it cancels, the loop-counting assumption is validated in the smallest non-trivial chiral sector; if it does not, App. B contains a scheme artifact and the completeness claim must be corrected or qualified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is completeness of the two-loop LEFT RGEs at dimension five in the scheme of Ref. [71]. In Eq. (4.7), term (A) is supposed to cancel all dependence on evanescent coefficients K_i in the two-loop RGEs. Footnote 6 states that this cancellation 'was not checked'; instead, a loop counting is imposed on evanescent operators, so all K_i dependence in two-loop terms is dropped. This is load-bearing because K_i dependence would be a scheme artifact: the finite counterterms of Ref. [71] remove evanescent effects at one loop, but no proof or computation shows they suffice at two loops. If a residual K_i term survives, Eqs. (B.5)-(B.17) are not the RGEs of a fully specified scheme, and the 'complete' claim plus any NLL use of App. B are compromised. The assumption is not obviously wrong: since physical operators are defined over four dimensions, evanescent operators can plausibly be one-loop generated, and two-loop insertions of such coefficients would be three-loop order. But the paper itself marks this as unverified, and the strong internal consistency checks (two independent implementations, gauge-parameter independence, QED/QCD limits, Misiak-Munz agreement) do not exercise the evanescent sector because the implementations omit K_i insertions at two loops.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper presents a two-loop calculation of the anomalous dimensions of the dimension-five sector of the low-energy effective field theory (LEFT) in a chiral-symmetry-preserving 't Hooft-Veltman scheme. The authors discuss two methods for handling infrared rearrangement and for avoiding explicit construction of gauge-variant nuisance operators in background-field calculations, verify these methods on toy QED and QCD models, and then provide the full two-loop RGEs for fermion masses, gauge couplings, theta parameters, and dipole operators in Appendix B. The central claim is that this constitutes the complete set of LEFT two-loop RGEs up to dimension five in the scheme defined in Ref. [71].","tokens_in":31159,"tokens_out":7058,"duration_ms":71716,"significance":"If correct, Appendix B is the first complete set of two-loop LEFT RGEs at dimension five, which is a necessary ingredient for next-to-leading-logarithmic running of dipole operators and theta parameters. The paper has substantial strengths: two independent implementations of the R-operation (FORM and Symbolica), agreement between two different IR-rearrangement methods, gauge-parameter independence of the physical RGEs, and reproduction of known results in the QED/QCD limits and of the Misiak-Munz dipole RGE. These cross-checks make the central calculation credible. However, the completeness claim rests on an explicitly unverified cancellation of evanescent-operator dependence, which needs to be addressed before the results can be used as a fully specified reference.","major_comments":[{"comment":"The completeness claim is load-bearing but conditional on an unchecked assumption. In footnote 6 the authors state that the cancellation of evanescent-coefficient dependence in the two-loop RGEs, called term (A) in Eq. (4.7), \"was not checked,\" and that instead a loop-counting assumption is imposed so that all K_i dependence in two-loop terms is dropped. If a residual K_i contribution survived at two loops, Eqs. (B.5)-(B.17) would contain a scheme artifact and would not be the RGEs of a fully specified scheme. The finite counterterms of Ref. [71] remove evanescent effects at one loop, but no computation or proof is given that they suffice at two loops. The two independent implementations and the gauge-parameter independence checks do not exercise this sector, since both implementations omit K_i insertions at two loops by construction. The authors should either verify the cancellation explicitly, or state the loop-counting assumption as part of the definition of the scheme and qualify the \"complete\" claim accordingly. The computational cost mentioned in footnote 6 is not, by itself, a justification for the unverified step.","section":"Sec. 4.2, Eq. (4.7), footnote 6"}],"minor_comments":[{"comment":"The caption refers to a \"dummy field δζ\" used in the calculation of the θ terms; a short explanation of why a scalar dummy field is sufficient for the θ-term Green functions would help the reader understand the diagram count.","section":"Table 3"},{"comment":"The appendix lists only the two-loop contributions to the RGEs. Since the one-loop contributions and the scheme conventions come from Ref. [71], the paper should state more explicitly which equations of Ref. [71] define the one-loop counterterms and the flavor-space basis needed to use Eqs. (B.5)-(B.17) in a complete NLL analysis.","section":"Appendix B"},{"comment":"The term \"sublety\" appears to be a typo for \"subtlety\" in the sentence discussing cancellations of loop momenta before application of the dummy-mass operation.","section":"Sec. 3.2.1"},{"comment":"The discussion of holomorphy for τ_QCD is terse. The authors note that the violation is scheme-dependent and might be removed by a finite renormalization; a sentence clarifying whether this expected renormalization is part of the current scheme or would define a different scheme would prevent misreading of Eq. (B.11).","section":"Sec. 4.3, Eq. (4.10)"}],"recommendation":"major_revision","confidential_remarks":"The main concern is the unchecked evanescent cancellation in footnote 6. This is not a rejection based on disagreement with external consensus; it is an internal completeness issue. If the authors can either check the cancellation or present the results as conditional on an explicitly stated scheme definition, the paper would be publishable. I would also suggest that the referee ask for a clear statement in the abstract and conclusions that the 'complete' claim is subject to this condition until the check is performed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, this paper delivers the first complete two-loop RGEs for the dimension-five LEFT in a chirally symmetric HV scheme, including dipole mixing into masses, gauge couplings, and theta parameters, with generic non-diagonal mass matrices. That is genuinely new and directly useful for NLL BSM analyses, especially the theta-QCD mixing relevant to nEDM. Second, the authors flag the one real soft spot themselves: footnote 6 says the cancellation of evanescent-operator dependence in the two-loop RGEs was not checked. They assume evanescent coefficients are one-loop generated and drop all K_i dependence at two loops. The rest of the calculation is thoroughly cross-checked: two independent implementations agree, two IR rearrangement methods agree, gauge-parameter dependence cancels, and the MS limits and the QCD dipole result reproduce known results. That makes an algebraic error in App. B unlikely. But the evanescent assumption is not exercised by any of those checks, so the 'complete' claim is slightly stronger than what is demonstrated. It is a plausible assumption, and it may well be right, but the paper would be stronger if the two-loop evanescent insertions were computed or at least an argument given for why they cannot affect the physical RGEs.\n\nThe paper also does useful methodological work: the new IR rearrangement variant that avoids explicit construction of gauge-variant class-IIb operators is clearly explained and checked against the R-operation. That will matter for the dimension-six follow-up.\n\nSoft spots, in proportion. The evanescent issue is the main one, and it is real because any residual K_i dependence would be a scheme artifact in App. B. Minor: no code is released, so the Appendix formulas are hard to audit independently; and the basis choice for the chiral rotations defines part of the scheme, which is normal but worth remembering when comparing results. Neither is a flaw in the physics.\n\nBottom line: this is a careful, honest calculation paper. The right reader is anyone working on NLL running in the LEFT, low-energy BSM phenomenology, or nEDM. It deserves a serious referee; I would send it out. For my own work I would cite it as the reference for the dim-5 sector, with a note about the evanescent caveat.","headline":"First complete two-loop dim-5 LEFT RGEs, with an honest but real caveat about the evanescent sector; deserves a careful referee.","tokens_in":31861,"tokens_out":1859,"would_cite":true,"duration_ms":18419,"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":"This paper derives the complete two-loop renormalization-group equations for the dimension-five sector of the low-energy effective field theory, in a chirally symmetric 't Hooft–Veltman scheme.","keywords":["LEFT","two-loop RGEs","dimension-five operators","'t Hooft-Veltman scheme","dipole operators","anomalous dimensions","evanescent operators","infrared rearrangement"],"falsifier":"Run the two-loop calculation with the evanescent operators' one-loop coefficients retained in two-loop diagrams, evaluating term (A) of Eq. (4.7) explicitly; if the resulting RGEs differ from Eqs. (B.5)–(B.17), the 'complete' claim fails. Equivalently, change the evanescent basis by a one-loop finite shift and check whether the physical RGEs remain unchanged.","tokens_in":30609,"feed_emoji":"⚛️","tokens_out":8443,"duration_ms":73111,"temperature":0.7,"pith_summary":"This paper derives the complete two-loop renormalization-group equations (RGEs) for the dimension-five sector of the low-energy effective field theory (LEFT), including the mixing of dipole operators into fermion masses, gauge couplings, and the QED and QCD theta terms. The calculation is done in a chirally symmetric 't Hooft–Veltman scheme with finite counterterms that remove evanescent and chiral-symmetry-breaking effects, and it also supplies results in a scheme coinciding with naive dimensional regularization for the CP-even sector. The RGEs are written in a generic, non-diagonal flavor basis, so they are ready for matching and resummation in flavor-space applications. The paper also develops two technical methods that avoid constructing gauge-variant nuisance operators when renormalizing off shell, which matters for extending the approach to dimension six.","feed_headline":"Complete two-loop running of the dimension-five LEFT is now explicit","feed_subtitle":"Two-loop evolution now covers dipole terms, fermion masses, gauge couplings, and theta angles, enabling next-to-leading-log resummation.","key_machinery":"The central machinery is the operator basis and scheme of Ref. [71]: physical, on-shell-redundant, and evanescent LEFT operators at dimensions four and five, renormalized in the 't Hooft–Veltman scheme with finite counterterms that compensate evanescent insertions and restore chiral symmetry in the spurion sense. Two methods extract the counterterms without explicit gauge-variant class-IIb operators: the local R-operation, which automatically subtracts sub-divergences diagram by diagram, and an infrared-rearrangement variant that splits ultraviolet from infrared singularities via tadpole decomposition and disentanglement identities, keeping one-loop counterterm diagrams and two-loop diagrams on the same footing. The dimension-five dipole operators, defined over four-dimensional Lorentz indices, are the physical objects whose two-loop mixing into masses, gauge couplings, and theta parameters is the main result.","core_discovery":"The central claim is that Eqs. (B.5)–(B.17) of Appendix B give the correct two-loop anomalous dimensions of the LEFT at dimension five in the authors' scheme: the running of fermion mass matrices, electric and strong gauge couplings, theta parameters, and the dipole Wilson coefficients. A key element is that the two-loop RGEs are free of chiral-symmetry-breaking spurion terms, because finite one-loop counterterms restore chiral symmetry in the sense of the spurion analysis. The dipole operators are shown to mix into masses, couplings, and theta terms at two loops, and, for example, the QED charge RGE in this scheme is compact and spurion-symmetric. The two independent computational implementations, one based on the local R-operation and one on a new infrared-rearrangement variant with dimensional regularization of infrared singularities, agree with each other and with existing partial results.","pith_inferences":["Combined with one-loop matching at the electroweak and hadronic scales, these RGEs should enable fully scheme-consistent next-to-leading-log predictions for low-energy CP-violating observables such as electric dipole moments.","The new infrared-rearrangement variant appears well suited to the dimension-six LEFT, where avoiding gauge-variant counterterms would reduce a much larger computation.","A strong check would be to compute the same two-loop RGEs in pure MS plus explicit finite matching, and verify that a physical next-to-leading-log resummed observable is scheme independent; any residual dependence would trace back to the un-checked evanescent cancellation.","The noted holomorphy violation in the QCD complexified coupling is scheme dependent, so a finite renormalization restoring holomorphy, if found, would imply a corresponding shift in the Appendix B results."],"forward_implications":["Appendix B becomes the reference set of two-loop RGEs for the dimension-five LEFT, giving next-to-leading-logarithmic running of dipole operators, fermion masses, gauge couplings, and the QED and QCD theta terms in one scheme.","Because the results are expressed in generic non-diagonal flavor-space mass matrices, they apply directly to flavor-changing and CP-violating low-energy observables after a basis transformation.","The consistency of the two extraction methods with existing partial results means that the dimension-five sector is now on the same footing as the one-loop LEFT RGEs, allowing next-to-leading-log matching and running.","For CP-even dipole coefficients in one-flavor QED and QCD, the paper supplies explicit two-loop counterterms and RGEs, including the observation that the redundant operator mixes only into itself.","The reported holomorphy of the QED complexified coupling and its violation for QCD are scheme-dependent statements that can be shifted by finite renormalizations."],"supporting_citations":[{"why":"Defines the LEFT operator basis, the chirally symmetric HV scheme, and the finite evanescent and chiral-restoring counterterms that the two-loop calculation depends on.","marker":"[71]"},{"why":"Supplies the scheme-independent one-loop RGEs to dimension six that the two-loop results of Appendix B extend.","marker":"[27]"},{"why":"Provides the partial two-loop QCD dipole results used as a test case and as a consistency check for the new RGEs.","marker":"[101]"},{"why":"Introduces the tadpole-decomposition and disentanglement identities on which the new infrared-rearrangement method is based.","marker":"[69]"},{"why":"Gives the method used to extract the two-loop RGEs of the QED and QCD theta parameters.","marker":"[117]"},{"why":"Establishes the 't Hooft–Veltman scheme for gamma5 that the calculation employs for algebraic consistency.","marker":"[78]"},{"why":"Supplies the auxiliary-mass infrared regulator and the master two-loop vacuum integral used by the first extraction method.","marker":"[102]"},{"why":"Provides the local R-operation that automatically subtracts sub-divergences and is one of the two independent implementations used in the calculation.","marker":"[105–108]"}],"fun_headline_variants":["Two-loop dimension-five LEFT RGEs now complete","Dipole, mass, and theta running at two loops in LEFT","Two-loop LEFT running covers dipoles, masses, and theta","Spurion-safe two-loop LEFT RGEs at d=5 confirmed","Two methods agree on two-loop LEFT dimension-five RGEs"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The two-loop results rest on the unchecked assumption of footnote 6: evanescent-operator coefficients are generated only at one loop, so their insertions into two-loop diagrams can be neglected without leaving a scheme artifact.","fun_headline_variants_meta":{"raw":{"variants":["Two-loop dimension-five LEFT RGEs now complete","Dipole, mass, and theta running at two loops in LEFT","Two-loop LEFT running covers dipoles, masses, and theta","Spurion-safe two-loop LEFT RGEs at d=5 confirmed","Two methods agree on two-loop LEFT dimension-five RGEs"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000208,"raw_usage":{"total_tokens":1377,"prompt_tokens":894,"completion_tokens":483,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":510,"completion_tokens_details":{"reasoning_tokens":395}},"tokens_in":510,"tokens_out":483,"duration_ms":4858,"temperature":1.0,"reasoning_tokens":395,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T13:21:30.732500+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the two-loop calculation with the evanescent operators' one-loop coefficients retained in two-loop diagrams, evaluating term (A) of Eq. (4.7) explicitly; if the resulting RGEs differ from Eqs. (B.5)–(B.17), the 'complete' claim fails. Equivalently, change the evanescent basis by a one-loop finite shift and check whether the physical RGEs remain unchanged.","supporting_citations":[],"review_version":1}