We derive a general formula for two-loop counterterms in Effective Field Theories (EFTs) using a geometric approach. This formula allows the two-loop results of our previous paper to be applied to a wide range of theories. The two-loop results hold for loop graphs in EFTs where the interaction vertices contain operators of arbitrarily high dimension, but at most two derivatives. We also extend our previous one-loop result to include operators with an arbitrary number of derivatives, as long as there is at most one derivative acting on each field. The final result for the two-loop counterterms is written in terms of geometric quantities such as the Riemann curvature tensor of the scalar manifold and its covariant derivatives. As applications of our results, we give the two-loop counterterms and renormalization group equations for the O(n) EFT to dimension six, the scalar sector of the Standard Model Effective Field Theory (SMEFT) to dimension six, and chiral perturbation theory to order p 6.

United States

Elizabeth Jenkins

Aneesh Manohar

Switzerland

Luca Naterop

Julie Pagès

Two loop renormalization of scalar theories using a geometric approach

We find a general formula for the two-loop renormalization counterterms of a scalar quantum field theory with interactions containing up to two derivatives, extending ’t Hooft’s one-loop result. The method can also be used for theories with higher derivative interactions, as long as the terms in the Lagrangian have at most one derivative acting on each field. We show that diagrams with factorizable topologies do not contribute to the renormalization group equations. The results in this paper will be combined with the geometric method in a subsequent paper to obtain the counterterms and renormalization group equations for the scalar sector of effective field theories (EFT) to two-loop order.

An algebraic formula for two loop renormalization of scalar quantum field theory

Peter Stoffer

Erratum to: Low-energy effective field theory below the electroweak scale: anomalous dimensions

Erratum to: Low-energy effective field theory below the electroweak scale: operators and matching

S-matrix elements are invariant under field redefinitions of the Lagrangian. They are determined by geometric quantities such as the curvature of the field-space manifold of scalar and gauge fields. We present a formalism where scalar and gauge fields are treated together, with a metric on the combined space of both types of fields. Scalar and gauge scattering amplitudes are given by the Riemann curvature R  ijkl  of this combined space, with indices i, j, k, l chosen to be scalar or gauge indices depending on the type of external particle. One-loop divergences can also be computed in terms of geometric invariants of the combined space, which greatly simplifies the computation of renormalization group equations. We apply our formalism to the Standard Model Effective Field Theory (SMEFT), and compute the renormalization group equations for even-parity bosonic operators to mass dimension eight.

Andreas Helset

Renormalization of the Standard Model Effective Field Theory from geometry

The Standard Model Effective Field Theory (SMEFT) and the Low Energy Effective Field Theory (LEFT) can be extended by adding additional spin 0, 1/2 and 1 dark matter particles which are singlets under the Standard Model (SM) gauge group. We classify all gauge invariant interactions in the Lagrangian up to terms of dimension six, and present the tree-level matching conditions between the two theories at the electroweak scale. The most widely studied dark matter models, such as those based on the Higgs portal or on kinetic mixing between the photon and a dark photon, are based on dimension-four interactions with the SM sector. We consider a model with dark vector particles with a ℤ2 symmetry, so that the lightest dark matter particle is stable. The leading interaction with the SM is through dimension-six operators involving two dark vector field-strength tensors and the electromagnetic field-strength tensor. This model is a viable dark matter model in the freeze-in scenario for a wide range of parameters.

Jason Aebischer

Wolfgang Altmannshofer

Dark matter effective field theory and an application to vector dark matter

We perform a model-independent analysis of the magnetic and electric dipole moments of the muon and electron. We give expressions for the dipole moments in terms of operator coefficients of the low-energy effective field theory (LEFT) and the Standard Model effective field theory (SMEFT). We use one-loop renormalization group improved perturbation theory, including the one-loop matching from SMEFT onto LEFT, and one-loop lepton matrix elements of the effective-theory operators. Semileptonic four-fermion operators involving light quarks give sizable non-perturbative contributions to the dipole moments, which are included in our analysis. We find that only a very limited set of the SMEFT operators is able to generate the current deviation of the magnetic moment of the muon from its Standard Model expectation.

Wouter Dekens

Dipan Sengupta

Austria

Effective field theory interpretation of lepton magnetic and electric dipole moments

We compute the non-perturbative contribution of semileptonic tensor operators   <math> <mfenced> <mrow> <mover> <mi>q</mi> <mo>¯</mo> </mover> <msup> <mi>σ</mi> <mrow> <mi>μ</mi> <mi>ν</mi> </mrow> </msup> <mi>q</mi> </mrow> </mfenced> <mfenced> <mrow> <mover> <mi>ℓ</mi> <mo>¯</mo> </mover> <msub> <mi>σ</mi> <mrow> <mi>μ</mi> <mi>ν</mi> </mrow> </msub> <mi>ℓ</mi> </mrow> </mfenced> </math>  $$ \left(\overline{q}{\sigma}^{\mu \nu }q\right)\left(\overline{\ell}{\sigma}_{\mu \nu}\ell \right) $$  to the purely leptonic process μ → eγ and to the electric and magnetic dipole moments of charged leptons by matching onto chiral perturbation theory at low energies. This matching procedure has been used extensively to study semileptonic and leptonic weak decays of hadrons. In this paper, we apply it to observables that contain no strongly interacting external particles. The non-perturbative contribution to μ → e processes is used to extract the best current bound on lepton-flavor-violating semileptonic tensor operators, ΛBSM ≳ 450 TeV. We briefly discuss how the same method applies to dark-matter interactions.

Non-perturbative effects in μ → eγ

The gauge-invariant operators up to dimension six in the low-energy effective field theory below the electroweak scale are classified. There are 70 Hermitian dimension-five and 3631 Hermitian dimension-six operators that conserve baryon and lepton number, as well as ΔB = ±ΔL = ±1, ΔL = ±2, and ΔL = ±4 operators. The matching onto these operators from the Standard Model Effective Field Theory (SMEFT) up to order 1/Λ2 is computed at tree level. SMEFT imposes constraints on the coefficients of the low-energy effective theory, which can be checked experimentally to determine whether the electroweak gauge symmetry is broken by a single fundamental scalar doublet as in SMEFT. Our results, when combined with the one-loop anomalous dimensions of the low-energy theory and the one-loop anomalous dimensions of SMEFT, allow one to compute the low-energy implications of new physics to leading-log accuracy, and combine them consistently with high-energy LHC constraints.

Low-energy effective field theory below the electroweak scale: operators and matching

We compute the one-loop anomalous dimensions of the low-energy effective Lagrangian below the electroweak scale, up to terms of dimension six. The theory has 70 dimension-five and 3631 dimension-six Hermitian operators that preserve baryon and lepton number, as well as additional operators that violate baryon number and lepton number. The renormalization group equations for the quark and lepton masses and the QCD and QED gauge couplings are modified by dimension-five and dimension-six operator contributions. We compute the renormalization group equations from one insertion of dimension-five and dimension-six operators, as well as two insertions of dimension-five operators, to all terms of dimension less than or equal to six. The use of the equations of motion to eliminate operators can be ambiguous, and we show how to resolve this ambiguity by a careful use of field redefinitions.