On gauge invariance and minimal coupling

The principle of minimal coupling has been used in the study of Higgs boson interactions to argue that certain higher dimensional operators in the low-energy effective theory generalization of the Standard Model are suppressed by loop factors, and thus smaller than others. It also has been extensively used to analyze beyond-the-Standard-Model theories. We show that in field theory, and even in quantum mechanics, the concept of minimal coupling is ill-defined and inapplicable as a general principle, and give many pedagogical examples which illustrate this fact. We also clarify some related misconceptions about the dynamics of strongly coupled gauge theories. Many arguments in the literature on Higgs boson interactions that use minimal coupling, particularly in pseudo-Goldstone Higgs theories, are inherently flawed.


Introduction
Given the discovery of a Higgs-like boson at the LHC with a mass of 125 GeV, it is important to have a model-independent effective field theory (EFT) approach to Higgs boson physics. To date, the Standard Model (SM) provides a good description of LHC data up to energies of around 1 TeV. No evidence of beyond the SM (BSM) physics, natural or otherwise, has emerged thus far, so it is important not to introduce strong bias when considering how BSM physics can impact experimental studies, and to keep the analysis as general as possible.

JHEP09(2013)063
higher dimensional operators, and it has long been appreciated that minimal coupling is of limited value in the context of EFTs [18]. Even earlier, H. Weyl appreciated that theories could have non-minimally coupled interactions [19,20] in his study of electrodynamics and gravity. In fact, such interactions were required in these references for mathematical consistency. 4 In this paper, we show that the principle of minimal coupling is ill-defined in field theory and even in quantum mechanics, and that in general there is no unambiguous classification of higher dimensional operators into tree and loop operators based on a principle of minimal coupling. We provide many examples of well-studied EFTs to illustrate these points. Furthermore, we explain why it is not possible to postulate that an EFT satisfies a minimal coupling principle by the choice of a suitable UV theory. This point is relevant when considering the generation of higher dimensional operators by a UV theory, as many UV theories considered in the literature are themselves non-renormalizable EFTs with no valid operator classification based on a principle of minimal coupling. Many of the ideas in this paper can be traced at least as far back as 1970 [18] to Weinberg's distinction between algebraic and dynamical symmetries. While many of the ideas are familiar to EFT practitioners, we hope that at least a few points are novel.
The outline of the paper is as follows: • In section 2, we review the standard terminology of EFT, the notion of tree and loop graphs in the EFT, and EFT power counting. In some recent work invoking minimal coupling operator classification schemes, terms such as "tree", "loop", and "power counting" do not have the traditional definitions used in the EFT literature, so we summarize the standard EFT nomenclature.
• In section 3, we show that it is not possible to classify amplitudes in a low-energy effective theory arising from a strongly coupled gauge theory in a "tree" and "loop" classification based on the diagrams involving the fundamental fields. We also comment on the weakly coupled case, and show that the classification depends on assumptions about the high energy theory.
• In section 4, we show how the usual definition of minimal coupling is ambiguous, and does not lead to a clear-cut distinction between operators which preserve or violate minimal coupling. We propose several natural generalizations, which suffer from the same problem.
• In section 5, we provide many field-theoretic and quantum mechanical examples which violate the minimal coupling classification.
• section 6 discusses the concept of minimal coupling in chiral perturbation theory and in pseudo-Goldstone Higgs theories.
• Other common misconceptions are examined in section 7, i.e.:

JHEP09(2013)063
strongly coupled gauge theories can be treated as weakly coupled theories in which coupling constants are taken to be of order 4π, particles must have magnetic moments with g = 2 (at tree-level) in an EFT for good high-energy behavior up to the high-energy scale Λ where the EFT breaks down.
one can adjust UV theories so that their IR effective theories are minimally coupled.
We explain why these notions are not true in section 7.
• Finally, in the appendix, we show that any dimension-six Higgs operator can be generated by tree-level exchange, if the underlying theory is an EFT.

EFT and power counting
We start by summarizing well-known properties of EFTs (for a review, see ref. [21]). This summary will introduce the notation and terminology used in this paper. An EFT is described by a local gauge-invariant Lagrangian written as an expansion in operators, where L d≤4 denotes terms of dimension less than or equal to four, L 5 consists of terms of dimension five, etc. In certain cases, there also can be topological terms, which contribute to the action, but are not given as the integral of a Lagrange density. An EFT can be used to compute particle interactions in a power series in 1/Λ. The 1/Λ amplitude is given by one insertion of L 5 , the 1/Λ 2 amplitude by one insertion of L 6 or two insertions of L 5 , etc. Dimensionful parameters in the EFT consist of particle masses and momenta, so that an amplitude in the EFT has an expansion in powers of p/Λ, which is referred to as the EFT power counting parameter. One can also formulate a power counting expansion for fields and operators. The EFT is weakly coupled at p → 0. Tree and loop graphs in the EFT are well-defined, but this designation does not correspond to tree and loop graphs in the underlying theory. Whenever we refer to tree and loop graphs, we will mean tree and loop graphs computed using the EFT Lagrangian in the weak coupling regime of the EFT.
Loop graphs in the EFT can be divergent, and are usually renormalized using the MS scheme, in which operators of different dimension do not mix and no positive powers of Λ are generated by loop graphs. The EFT power counting is explicit, i.e. one can read off the powers of 1/Λ from the operator insertions. The renormalization structure of the EFT follows from the power counting. Let {c 4 }, {c 5 }, etc. be the coupling constants in L 4 , L 5 , etc, then schematically,

JHEP09(2013)063
and so on. This pattern shows that operators of arbitrarily high dimension in the EFT are required to absorb divergences from loops with arbitrarily many insertions of L d≥5 . For this reason, EFTs are referred to as non-renormalizable theories. The infinite set of higher dimension operators is not generated if there are no terms with dimension ≥ 5; these are the renormalizable theories, and are a very special case of EFT with Λ → ∞. The pattern of eq. (2.2) shows that, in general, it is not useful to introduce an ordering scheme of the c i of the EFT based on some external principle unless the ordering follows from a symmetry, and hence is preserved by loop diagrams. Minimal coupling, as we discuss below, is not a symmetry, and it does not lead to an ordering scheme which is preserved under renormalization.
It is important to remember that the EFT has a different divergence structure from the full theory, because massive propagators are expanded out in a momentum expansion, The EFT is constructed by a procedure known as matching: coefficients in the EFT are adjusted order by order in the power counting expansion so that the EFT produces the same S matrix elements as the full theory. Operators in the full theory need to be matched onto operators in the effective theory. Fields in the effective theory are not identical to the corresponding fields in the full theory. For example, the gluon field A a µ in QCD with six quark flavors is not the same as the gluon field A a µ in the EFT of QCD with five quark flavors obtained when the top quark is integrated out of the full QCD theory. As an example, the matching result for the field strength tensor is [22] where the unprimed fields are in the full QCD theory with a top quark, and the primed fields are in the EFT without a top quark. The EFT should be thought of as a different field theory than the original full theory; it has been constructed to reproduce the S-matrix elements of the original theory order by order in the power counting expansion in 1/Λ. The input of the underlying theory is via the matching procedure. In some cases, a perturbative matching can be performed, as in HQET. By construction, higher dimension operators in the EFT are treated as insertions, i.e. the effective theory is treated as an expansion in 1/Λ. The expansion parameter p/Λ becomes order unity, and the EFT expansion breaks down, when p becomes order Λ. While the EFT is treated as an expansion in 1/Λ, the theory need not be perturbative. For example, the standard analysis of hadronic weak decays treats the weak interactions using four-fermion operators with a coefficient G F ∼ 1/v 2 . The weak Hamiltonian can be treated perturbatively, but the hadronic matrix elements of the weak Hamiltonian needed for hadronic weak decays are non-perturbative, and one expands the decay amplitude in G F Λ 2 QCD .

JHEP09(2013)063
The EFT describes the interactions of low-energy degrees of freedom, such as particle scattering amplitudes at momenta below Λ. In general, an EFT is constructed by writing down the most general possible Lagrangian consistent with the symmetries and the low-energy degrees of freedom, with arbitrary coefficients for the operators. One can estimate the size of the coefficients using naive dimensional analysis [23], or relate coefficients through symmetries, but their numerical values generally have to be determined from experiment if the UV theory is strongly coupled, or if the UV theory is not known.
The above power counting procedure works for massless or massive gauge theories, as long as the gauge boson mass is generated by spontaneous symmetry breaking [24]. Thus, one can use an EFT for the SM augmented by higher dimension operators suppressed by Λ > v, and this EFT will be valid up to energies of order Λ, since the EFT includes the Higgs field which gives mass to the electroweak gauge bosons by spontaneous symmetry breaking.

Tree versus loop
Weakly coupled theories have a perturbative expansion in coupling constants, and amplitudes can be expanded in the number of loops. Typically, each additional loop gives a 1/(16π 2 ) suppression, in addition to suppressions from factors of small coupling constants, which are generically denoted by g 2 in this paper. The leading amplitudes are tree amplitudes, followed by one-loop amplitudes, two-loop amplitudes, etc. This weak coupling analysis does not carry over to strongly coupled gauge theories, such as QCD at low energies. To illustrate this point, consider QCD with light quark masses set to zero. The theory is given by a coupling constant g 3 (µ), which evolves with µ. As is well-known, QCD has the property of dimensional transmutation -g 3 (µ) can be replaced by a dimensionful parameter Λ QCD . In terms of the one-loop β-function, Λ QCD and g 3 (µ) are related by where we have put back the factors of [25,26]. Λ QCD is a non-perturbative parameter. It is clear from eq. (3.2) that Λ QCD is not of any given order in the loop expansion. It cannot even be thought of as summing the g 2 3 expansion to all orders. There is an essential singularity at g 2 3 = 0 in the g 2 3 and expansions, and Λ QCD is non-analytic in g 2 3 . A formal expansion of eq. (3.2) in powers of g 2 3 > 0 gives a series with all terms vanishing. It simply is not possible to describe non-perturbative physics as a series of factors of g 2 /16π 2 with g → 4π, and treat QCD as a weakly coupled theory in which g ∼ 4π.
The low-energy dynamics of QCD is governed by χPT, which is discussed further in Sec 6.1. The scattering amplitudes depend on the pion decay constant f π ∝ Λ QCD , and they cannot be characterized as n-loop amplitudes for some value of n ≥ 0. χPT has its own power counting as an EFT, but this expansion in p/Λ χ has nothing to do with the loop JHEP09(2013)063 expansion of QCD. Loops in the effective theory defined by the chiral Lagrangian are not related to loops in the full theory, QCD. (The only connection between the two theories is through the flavor dependence of amplitudes in the large N c limit [27] in terms of single vs multi-trace operators, but that is not what is being referred to here.) In weakly coupled theories, one can classify operators based on whether they are generated by tree or loop graphs when heavy particles are integrated out. The distinction between tree and loop operators depends on the high energy theory. For example, in the Standard Model, nonleptonic weak decays of hadrons can be described by four-quark operators. ∆S = 1 weak decays such as K → ππ are given by the current-current operator which is generated at tree level by single W exchange at the scale M W . ∆S = 2 processes, such as K 0 − K 0 mixing, are given by very similar-looking current-current operators However, in the Standard Model, these operators are not generated at tree level because there are no flavor changing neutral currents at tree-level due to the GIM mechanism. They are generated by box graphs, and are second order in the weak interactions. They could be generated at tree-level if there were new physics interactions such as new gauge bosons or quark multiplets which violated the GIM mechanism. The tree-loop classification of operators in the EFT requires knowledge of the underlying high energy theory, even in a weak coupled theory. The ∆S = 1 operator eq. (3.3) looks like the product of currents. However, it is a composite operator in an interacting field theory, and cannot be treated as the product of two current operators when one takes hadronic matrix elements. A very prominent feature of nonleptonic weak decays is the ∆I = 1/2 rule: the ∆I = 1/2 amplitude A 1/2 is enhanced relative to the ∆I = 3/2 amplitude A 3/2 by a factor of A 1/2 /A 3/2 ∼ 20. If the ∆S = 1 operator is treated as the product of currents, one can show that A 1/2 = √ 2A 3/2 (see Prob. 4.1 in [27]).
In summary, when non-perturbative physics is present (and sometimes even when it is not), intuition based on weak coupling or minimal coupling, can fail in an EFT in nonintuitive ways. These cautionary remarks are relevant to the case of the pseudo-Goldstone boson (PGB) Higgs theories, and to other theories containing higher dimensional operators.

Minimal coupling is ambiguous
Usually, in constructing effective theories, one writes down all possible gauge invariant operators up to a given dimension. All operators occurring at a given dimension are regarded as equally important because they contain the same suppression factor of 1/Λ d−4 . Recently, it has become popular to advocate an additional ordering principle, minimal coupling. One assumes that the underlying UV theory is minimally coupled. Some gauge invariant operators result from integrating out particles in the minimally coupled theory at tree level,

JHEP09(2013)063
while others do not, and the latter operators have coefficients suppressed by at least a loop suppression factor of g 2 /(16π 2 ) beyond the usual EFT power counting. For this concept to have any content, it is necessary that some gauge invariant operators are minimally coupled, and others are not. Otherwise, minimal coupling becomes indistinguishable from gauge invariance.
To be able to use minimal coupling in EFTs, it is important to define minimal coupling at the operator level in the EFT in an unambiguous way. Otherwise, different authors using the same principle will obtain different results. Unfortunately, the definition of minimal coupling in EFT is ambiguous, as explained below.
The principle of minimal coupling is a method of constructing theories with gauge interactions from a theory without gauge interactions. In non-relativistic quantum mechanics, one constructs the Hamiltonian with electromagnetic interactions from the Hamiltonian without electromagnetic interactions by the replacement where A is the photon field, and e is the coupling constant. The momentum operator p acts on particle fields (or wavefunctions), and q is the corresponding particle charge. In four-vector notation, one replaces the ordinary derivative by the covariant derivative, In non-Abelian gauge theories, i∂ µ is replaced by the covariant derivative iD µ = i∂ µ − gT a A a µ , where the matrices T a are the generators of the gauge group in the representation of the field on which the covariant derivative acts. A covariant derivative D µ is only defined when it acts on some field, because the matrices T a in D µ depend on the representation of the field.
It is important to keep in mind that minimal coupling is merely one way of constructing a gauge Lagrangian from an ungauged Lagrangian, and that the minimal coupling prescription does not always lead to a unique gauge Lagrangian, or even the correct one. Elevating "minimal coupling" to a fundamental principle and confusing it with gauge invariance is a mistake. One can always go the other way -the ungauged theory is obtained from the gauged theory by setting all the gauge fields and gauge couplings to zero. The question is whether a mapping in the opposite direction can be defined: can a unique gauge theory Lagrangian be obtained from a Lagrangian without gauge interactions? The answer to this question is "no," as we show below.
The difference between gauge invariance and minimal coupling can be illustrated by a simple example. In QED, consider the three gauge invariant dimension-six operators where φ is a charged scalar field with q = 1, and Φ is a neutral complex scalar field with q = 0. The procedure for going from the gauge theory to the theory without gauge fields is well-defined -set the gauge fields to zero. The ungauged operator analogues of the above JHEP09(2013)063 three operators are If we apply a principle of minimal coupling to eq. (4.4), we recover O 1 from O 1 , but O 2,3 cannot be recovered from O 2,3 , which are zero. In the standard EFT power counting, O 1,2,3 all have coefficients of order 1/Λ 2 . Invoking the principle of minimal coupling at an operator level, on the other hand, implies that O 2,3 are suppressed by an additional loop suppression factor of g 2 /(16π 2 ) relative to O 1 . The above procedure for constructing a gauge invariant theory from a theory without gauge fields via minimal coupling is not unique, however. The operator O 2 , while zero, can be written in the equivalent form can be recovered from O 2 by a minimal coupling procedure, since φ has q = 1. It is a logical possibility that the correct rule for obtaining a gauge theory from an ungauged theory is to write down all possible interactions in the non-gauge theory, including terms such as eq. (4.5) which are zero, before applying a principle of minimal coupling. This new rule gives a different result from the previous paragraph -now the coefficient of No commutator gymnastics can produce an F µν . Thus, there are two distinct ways to apply a principle of minimal coupling to the same theory, and these two possibilities give different tree and loop classifications of higher dimensional operators. To distinguish these two distinct ways of applying minimal coupling, we refer to the one in this paragraph as the principle of next-to-minimal coupling.
It is also instructive to study the case of a non-Abelian gauge theory. Consider SU(N ) gauge theory with a scalar field ϕ which transforms according to the fundamental representation. There are two dimension-six gauge invariant operators analogous to O 2,3 of the previous QED case, namely where G µν ≡ G a µν T a . These operators are not generated by the principle of minimal coupling, since they both vanish when the gauge field is set to zero. The first operator can be generated by the principle of next-to-minimal coupling applied to the vanishing ungauged operator (4.7) The second operator O 5 , however, cannot be generated by next-to-minimal coupling, because of the color structure. The representation matrix T a in the covariant derivative D µ = ∂ µ + igT a A a µ depends on the field on which it acts. An object such as Tr [D µ , D ν ] [D µ , D ν ] is meaningless, since the covariant derivatives need to act on some JHEP09(2013)063 field on the right. One can try constructing a O 5 by acting on ϕ † ϕ, but ϕ † ϕ is a gauge singlet, and D µ acting on a gauge singlet is an ordinary derivative. Acting on the adjoint ϕ † T a ϕ also does not work, because D µ does not change the color transformation property of the object on which it acts, and a Lagrangian term must be invariant under color. Once again, the principle of minimal coupling and the principle of next-to-minimal coupling give different tree and loop classifications of operators. The principle of minimal coupling implies that both O 4 and O 5 are loop suppressed, whereas the principle of next-to-minimal coupling implies that only O 5 is loop suppressed.
In summary, we have attempted to apply a principle of minimal coupling systematically in an EFT at an operator level. The minimal coupling procedure is not unique, and different procedures give different tree versus loop operator classifications.

EFTs are not minimally coupled
In constructing effective Lagrangians, one can impose symmetries such as baryon or lepton number conservation, or flavor symmetries. These symmetries lead to relations between scattering amplitudes that must be respected by the effective theory, and hence lead to constraints on the effective theory. This statement is true even if the flavor symmetry is spontaneously broken, as in χPT. Weinberg [18] refers to such symmetries as algebraic symmetries because they lead to algebraic relations between S-matrix elements. In contrast, Weinberg [18] calls gauge invariance a dynamical symmetry, since it does not lead to relations between S-matrix elements. Gauging a symmetry does not give any additional conserved charges beyond those of the corresponding global symmetry. Minimal coupling is not a symmetry of any kind.

Minimal coupling in the SM
The Lagrangian of the SM is a renormalizable Lagrangian. The only terms with dimension ≤ 4 containing derivatives in the ungauged theory are the kinetic energy terms of the matter fields, and they give the correct gauged terms on using minimal coupling. In this example, minimal coupling gives the correct result, but the success is accidental, because there are no fermion or scalar gauge interactions of dimension ≤ 4 involving field strengths. The situation is similar to (B − L) conservation in the SM, which is an accidental symmetry. The most general gauge invariant Lagrangian with terms of dimension ≤ 4 automatically preserves (B − L). However, if one includes higher dimension operators, the symmetry can be violated. Similarly, in QED, there can be dimension-five anomalous magnetic moment interactions which are not given by minimal coupling. Eq. (5.1) often is given as an example of the success of minimal coupling, but in fact, renormalizable interactions in the Standard Model violate the minimal coupling principle. The reason is that there are two other interactions, the gauge kinetic term G a µν G aµν , and JHEP09(2013)063 a topological term proportional to G a µν G aµν , which both violate minimal coupling. 5 Thus, minimal coupling actually fails even for a renormalizable gauge theory such as the SM, if one looks at the full Lagrangian. The kinetic energy term has coefficient −1/4, and is order unity. The topological term has coefficient θg 2 /(32π 2 ), and is normalized so that the action is θν, where ν is an integer. The topological action is not loop suppressed, even though it has a 1/(16π 2 ) in the Lagrangian, because for classical field configurations (instantons), it is an integer.
It might be argued that minimal coupling is of some value in constructing the QED Lagrangian as it does not generate an anomalous magnetic moment (Pauli) term. However, such claims about the use of minimal coupling in gauge theories have long been appreciated to be incorrect [18]. Weinberg in his 1970 Brandeis lectures shows that for a charged fermion Ψ, under (next-to-)minimal coupling, the same argument used in section 4. Minimal coupling alone does not forbid the appearance of non-renormalizable operators involving the field strength, or lead to the conclusion that such operators must be suppressed. Instead, as Weinberg argues, it is renormalizability which forbids these terms in the SM. From the EFT point of view, if we want our theory to be valid to some high scale Λ → ∞, then the Pauli operator must be suppressed by an inverse power of the scale Λ by the EFT power counting expansion.

Charged particles in an electromagnetic field
Now, let us examine how minimal coupling can fail as an organizing principle. We start with the quantum mechanical Hamiltonian for a non-relativistic particle, where 1 is a unit matrix of dimension (2s + 1) for a particle of spin s. The Hamiltonian for the interaction with the electromagnetic field is using the substitution of eq. (4.1), assuming the particle has charge q. The eqA 0 term arises from using eq. (4.2) for the i∂/∂t term in the time-dependent Schrödinger equation. Eq. (5.4) describes a gauge invariant theory, but is it the correct theory? For electrons (with q e = −1), it is not, because it is missing the magnetic moment term. Let us rewrite eq. (5.3) for spin-1/2 particles in the alternate form

JHEP09(2013)063
We emphasize that Hamiltonian eq. (5.5) is identical to eq. (5.3). However, applying the principle of minimal coupling to eq. (5.5) gives not eq. (5.4). Starting with the same Hamiltonian as before, and applying exactly the same principle of minimal coupling, we have generated the Hamiltonian eq. (5.6) with a magnetic moment interaction rather than the Hamiltonian eq. (5.4) with no magnetic moment interaction! However, neither of these Hamiltonians is the correct electron interaction Hamiltonian, which is where c = 1.00116 = 1 + α/(2π) + . . . is the electron magnetic moment. Once again, generating an interacting theory from a non-interacting one by using minimal coupling is ambiguous. The ambiguity arises from terms involving the commutator of two derivatives, which vanishes, but which leads to the non-vanishing contribution, when partial derivatives are promoted to covariant derivatives via the minimal coupling procedure. This inconsistency is the reason why minimal coupling is ill-defined in theories with a derivative expansion, such as effective field theories.

Protons and neutrons
The minimal coupling enthusiast might think that eq. (5.7) gives the correct value of c up to a missing "loop correction." Maybe all one needs to do is to use σ · p for spin-1/2 particles (for unspecified reasons connected with the UV theory), and one will correctly reproduce all electromagnetic interactions up to "loop factors." However, this reasoning is also not correct. Consider another well-known spin-1/2 particle, the proton. Using q p = +1 leads to either eq. show is that one should be using nextto-minimal coupling, not minimal coupling. However, consider another familiar spin-1/2 particle, the neutron, with q n = 0. For the neutron, the ordinary and covariant derivatives are the same, and like the neutral scalar example in section 4, one cannot generate a magnetic interaction via minimal coupling. Nevertheless, the neutron has a magnetic moment which is approximately −2/3 as big as the proton, µ n = −1.91 nuclear magnetons.

JHEP09(2013)063
In this case, minimal coupling does not produce any electromagnetic interactions, since q = 0, but the neutron clearly interacts electromagnetically, and its magnetic moment interaction is not suppressed by a loop factor. One can prove in QCD that the ratio of the proton and neutron magnetic moments is [28,29] which follows from an exact SU(6) c symmetry in the N c → ∞ limit [28,30,31]. This is a symmetry relation that violates minimal coupling. The "minimal coupling" prediction is zero, since electromagnetic interactions are proportional to the particle charges.

The hydrogen atom and quarkonia
Another example in which neutral particles can couple to photons with couplings which are not loop suppressed is the Hydrogen atom. The interaction of the neutral Hydrogen atom with an external electric field leads to an effective interaction where E is the electric field, α E = 9a 3 0 /2 is the electric polarizability, and a 0 is the Bohr radius. Clearly, there is no loop suppression at work here, since there are no loop graphs in non-relativistic quantum mechanics. Brambilla, Pineda, Soto and Vairo pioneered an effective theory for QCD bound states called pNRQCD [32,33], and QED bound states are a special case of their formalism. The interaction eq. (5.11) with α E = 9a 3 0 /2 is consistent with their power counting.
Similarly, electromagnetic transitions of Hydrogen, such as the 2p → 1s + γ transition, are not loop suppressed. The transition amplitudes are given by p · E dipole transitions proportional to the field strength, and obey the pNRQCD power counting. Neutrality of the bound states implies that the electric fields at long distances are dipole fields of order 1/r 3 from a p · E interaction, rather than Coulomb fields of order 1/r 2 from a qA 0 interaction. Neutrality of bound states does not imply that electromagnetic transitions are suppressed by loop factors.
These basic examples are not exceptions to a general rule. Consider another example with a non-Abelian gauge symmetry. The interaction of quarkonium with background chromoelectric and chromomagnetic fields is given by an interaction [34] where P v annihilates the pseudoscalar meson η c or η b , and V µ,v annihilates the vector meson J/ψ or Υ for the Q = c and b quarkonia systems, respectively. Here, v is the velocity of the state, and a 0 is its radius. In the rest frame, v µ = (1, 0, 0, 0), and

JHEP09(2013)063
are the squares of the color electric and magnetic fields. The coefficient c E , the analogue of α E for the Hydrogen atom, was computed by Peskin [35], where a 0 is the bound state radius. The quarkonia states η c,b , J/ψ and Υ are all colorneutral particles. Nevertheless, they couple to colored fields with couplings given by pN-RQCD power counting, with no loop suppression factors, contrary to the expectation from minimal coupling. The intuitive idea that the photon must couple with a loop suppression to neutral fields, which is based on the accidental success of minimal coupling for the matter part of the Standard Model Lagrangian, cannot be used in arbitrary EFTs.

Baryon chiral perturbation theory
Now consider the interactions of baryons with photons at low momentum. These interactions are described by the baryon chiral Lagrangian. To describe the interactions of baryons with photons, we can study an even simpler version of the theory where the pion fields have been set to zero. The low-momentum interactions of baryons with the electromagnetic field can be described by a relativistic Lagrangian of the form where the total magnetic moment is q+ c, with q coming from the fermion kinetic term. The baryon interactions also can be described by using a non-relativistic Lagrangian written in terms of velocity-dependent fields [36], where v µ = (1, 0, 0, 0) in the baryon rest frame and the magnetic moment is c. The kinetic term in eq. (5.16) does not generate a magnetic moment interaction because it is spin independent. Eq. (5.16) is obtained from eq. (5.15) by taking the non-relativistic limit. The relativistic Lagrangian eq. (5.15) with A µ = 0 matches onto the non-relativistic Lagrangian eq. (5.16) with A µ = 0, The relativistic magnetic moment interaction matches onto the non-relativistic one, However, for the two Lagrangians to describe the same physics, we need c = c + q, i.e. the matching of the gauged kinetic term is

JHEP09(2013)063
This result (using the principle of minimal coupling and then matching) is not the same as first matching using eq. (5.17) and then using the principle of minimal coupling, which misses the F µν term in eq. (5.19). Introducing gauge interactions by the principle of minimal coupling is incorrect in a non-renormalizable EFT, even in a simple one such as eq. (5.16), which is obtained from eq. (5.15) by integrating out antiparticle states at tree level. Note that in our example, we have worked only at tree level, and the missing F µν term in eq. (5.19) is not suppressed by a loop factor.

EFTs of goldstone bosons and dynamical symmetry breaking
An interesting idea for solving the hierarchy problem is to have the weak interaction gauge symmetry spontaneously broken by a strongly interacting sector, in analogy to the spontaneous breaking of (global) chiral symmetry in QCD due to strong interaction dynamics. The earliest implementations of this idea were technicolor theories, which were essentially QCD-like theories with f , the analogue of the pion decay constant, equal to v, the electroweak symmetry breaking scale. The SU(3) L ×SU(3) R chiral symmetry of QCD with three light flavors is spontaneously broken by the strong interaction dynamics. As a result, one has an octet of Goldstone bosons, the π, K and η mesons. The SU(3) L × SU(3) R symmetry is realized non-linearly; under an infinitesimal chiral transformation , the octet Goldstone boson field π shifts by π → π + f , (6.1) where π and are traceless 3 × 3 matrices. The chiral symmetry eq. (6.1) forbids a pion mass term Tr ππ, so the pions are exactly massless in the absence of interactions which explicitly break the chiral symmetry, such as quark masses and electromagnetism. A similar symmetry argument is applicable in composite Higgs theories when the Higgs field is generated dynamically as a pseudo-Goldstone boson. In QCD, one can make the K meson doublet arbitrarily light compared to Λ QCD by taking m s → 0. A similar mechanism is commonly used in composite Higgs theories to generate a light scalar with the quantum numbers of the SM Higgs boson; one simply makes the symmetry breaking parameter small. In these theories, one needs to explicitly break the Higgs shift symmetry eq. (6.1), otherwise Yukawa couplings to SM fermions are forbidden. We will directly address the issues of minimal coupling in composite Higgs theories in subsection 6.2. However, before doing this, it is instructive to study minimal coupling in χPT, which describes the interactions of the photon with neutral particles in a spontaneously broken strongly coupled gauge theory, i.e. QCD.

Chiral perturbation theory
The chiral Lagrangian is an effective field theory with an expansion in powers of momentum p/Λ χ , where Λ χ ∼ 1 GeV is the scale of chiral symmetry breaking. As long as the momentum p Λ χ , one has a well-defined weakly coupled expansion. As p approaches Λ χ , the momentum expansion breaks down, and the theory becomes strongly coupled. The

JHEP09(2013)063
lowest order Lagrangian of order p 2 is where · denotes a trace over flavor indices, and is the quark mass matrix, which is order p 2 in the power counting. χ is the explicit breaking of chiral symmetry due to the light quark masses, and f ∼ 93 MeV is the pion decay constant. Amplitudes with different numbers of pions arise from the expansion of U , and are related algebraically, as a consequence of the chiral symmetry. The chiral Lagrangian is a non-renormalizable theory, because U is exponential in the pion fields, and generates interactions of arbitrarily high dimension when expanded. Thus, there is an infinite series of higher order terms that must be included to obtain a consistent theory. The order p 4 terms are [37] where F L,R are background flavor gauge fields. For electromagnetic interactions, one substitutes F µν L = F µν R = eQF µν , where Q = diag(2/3, −1/3, −1/3) is the quark charge matrix. The size of coefficients in the chiral Lagrangian is given by naive dimensional analysis [23], with terms of order where Λ χ ∼ 4πf is the scale of chiral symmetry breaking. (The last equality is not valid in the large N limit, see section 7.1). There is a double expansion, in powers of 1/Λ χ from the derivative expansion, and in powers of 1/f from expanding U . There is no sense in which terms in eq. (6.6) can be classified in terms of "tree" or "loop" graphs in QCD. Λ χ and f are non-perturbative parameters, as discussed in section 3. The anomalous dimensions of the couplings L i are

JHEP09(2013)063
where γ i are pure numbers [37], e.g. γ 10 = −1/4. The anomalous dimensions do not contain any suppression factors which maintain an operator classification scheme based on minimal coupling. The operators with coefficients L 9 , L 10 involve the field strength F µν , violate minimal coupling and have anomalous dimensions of order unity. The chiral Lagrangian leads to observable scattering amplitudes, and the coefficients L i can be determined from experiment. The best fit values of L i are given in ref. [37,38]. A quick glance shows that there is no loop suppression whatsoever of L 9,10 in this EFT of a strongly interacting sector. In fact, L 9,10 are slightly larger than the other coefficients.

Interactions of neutral pseudo-goldstone bosons
There are some interesting features of the interaction of the neutral pseudo-scalars with photons in χPT which are relevant for PGB Higgs models. Consider QCD with three massless quarks, and turn on electromagnetic interactions. Even in the presence of electromagnetism, there is an unbroken chiral SU(2) L × SU(2) R × U(1) L × U(1) R symmetry generated by This symmetry is spontaneously broken, so the π 0 , η, K 0 andK 0 are exact Goldstone bosons, and have a shift symmetry eq. (6.1). It is important to realize that terms such as of order p 4 , with non-derivative interactions, are forbidden by this unbroken exact chiral symmetry, not because the mesons are neutral. When the remaining exact chiral symmetry is broken, e.g. for K 0 andK 0 by turning on m s , or for π 0 by non-zero m u and m d , then one generates interactions from the order p 6 terms [39,40] in the chiral Lagrangian without any loop suppression. We have explicitly verified that this is the case. Thus, neutral pseudo-Goldstone bosons in QCD do couple to photons without a loop factor once the Goldstone boson shift symmetry is broken.

The Higgs as a pseudo-goldstone boson
Now consider a very interesting class of models in which the Higgs is a pseudo-Goldstone boson [41][42][43][44]. A strongly interacting gauge theory with scale Λ S spontaneously breaks its global symmetry group G down to a subgroup H. The Goldstone bosons are parametrized by a field Σ(x) that lives in the coset space G/H [45,46]. One can weakly gauge a subgroup G W = SU(2) × U(1) of G or a larger subgroup that contains the SM SU(2) × U(1) group. The G symmetry is broken explicitly by these weak gauge couplings, and the Goldstone bosons are no longer exactly massless, but develop a potential proportional to powers of JHEP09(2013)063 the weak gauge coupling. The theory is constructed so that a pseudo-Goldstone multiplet with the quantum numbers of the SM Higgs doublet develops a vacuum expectation value v Λ S , which breaks SU(2) × U(1) down to U(1) electromagnetism. In PGB Higgs models, the leading sigma model interaction terms are There are also all possible higher dimension operators consistent with the EFT expansion in powers of 1/Λ S . The PGB Higgs theory, just like any other EFT, is not minimally coupled. The p 2 Lagrangian is only accidentally minimally coupled, because of the structure of the kinetic term in eq. (6.11). In general, the higher order terms will not be minimally coupled, and they include terms containing field-strength tensors, just as they do in QCD. The idea that PGB Higgs theories are minimally coupled arises from ignoring the . . . in eq. (6.11), and the gauge kinetic terms. 6 Of particular relevance is the neglect of operators of the form which, when expanded out, give contributions to operators that have been argued to be loop suppressed in ref. [13], but without any loop suppression factor. As we have shown, one cannot invoke a minimal coupling loop factor to suppress these operators. Eq. (6.12) is written for theories in which the Higgs field H is part of Σ(x), and Σ(x) transforms as a (2, 2) under weak and custodial SU(2) symmetry. In more general G/H symmetry breaking patterns, operators of the form eq. (6.12) are present, but the notation is more abstractτ a /2 and τ 3 should be thought of as the gauge generators acting on Σ(x) ∈ G/H. In PGB models, the Higgs would be an exactly massless Goldstone boson if the SM couplings were turned off, because the Goldstone boson's shift symmetry H → H + v is analogous to the pion chiral shift symmetry π → π + f in QCD. In QCD, weakly gauging electromagnetism generates a mass for the π + through graphs shown in figure 1(a), which generates the Goldstone boson potential L M = c Tr U QU † Q, (6.13) where c is of order f 2 Λ 2 χ × e 2 /(16π 2 ). We can use the perturbative estimate of c since the EFT is weakly coupled below the scale Λ χ , and the integral is cut off at Λ χ . Eq. (6.13) gives a pion mass term of order m 2 ∼ Λ 2 χ × e 2 /(16π 2 ), and is of the order of m 2 π + − m 2 π 0 . This term explains the π + − π 0 mass splitting in QCD. 7 The general structure of figure 1(a) involves the amplitude for the PGB to interact with two gauge fields, g 2 X ab (Σ, . . .) (6.14) 6 It is important to point out that the original papers developing the PGB Higgs idea [42][43][44] are not based on minimal coupling arguments. The concept was introduced in later work. 7 The total π + mass also gets a contribute from the u and d quark masses.

JHEP09(2013)063
(a) (b) Figure 1. where g is the gauge coupling, which generates the mass term from figure 1(a), as for QCD, where we have used the cutoff Λ S . The . . . indicates that X ab is an arbitrary invariant polynomial that can be expanded in powers of the symmetry breaking interactions of the theory, such as gauge interactions gT a , or quark mass terms χ. The precise form for X ab depends on the G → H symmetry breaking pattern and the way in which SU (2)×U (1) is embedded in G.
In QCD, if we weakly gauge a subgroup of the SU(3) V symmetry, X ab has the form (6.16) to show some representative terms. For the case of electromagnetic interactions, we have only one generator T a → Q and g → e. The c 1 term in eq. (6.16) generates the π + and K + electromagnetic masses, the c 2 term generates higher order corrections to the π + and K + masses, and the c 3 term generates a mass for the neutral K 0 meson of order e 2 m s . In Little-Higgs theories, the Higgs mass is of order g 4 , so . . . in the X ab contains an additional factor of (gT )(gT ), and there is an additional gauge interaction hidden in the blob in figure 1. The details of X ab do not matter. By assumption in some PGH models, an interaction eq. (6.15) generates the Higgs mass. But this implies (by cutting open the gauge loop in figure 1(a) to get figure 1(b)) that the EFT also has a Higgs-gauge interaction allowed by the symmetries of the theory, Closing the gauge loop in figure 1(b) to generate eq. (6.15) shows that The relationship discussed here is between operators of the form in eq. (6.17), and the resulting counter terms generated by the divergent loops, which generate operators of the form that contribute to the Higgs mass. In Little Higgs theories, c 6 would be order g 2 ,

JHEP09(2013)063
and m 2 H order g 4 . It does not matter what suppression factors m H and c 6 have; we know experimentally that m H ∼ 125 GeV. From eq. (6.18), we see that (approximately) and c 6 is not suppressed by a loop factor for Λ S in the 1 − 10 TeV range. This equation also provides a rough relation between Λ S and any observed deviation of the h → γγ rate from the SM value due to the operator in eq. (6.17).

Higher dimension Higgs operators
In ref. [3], we considered the subset of dimension-six operators  (6.21) and four additional pure-gauge operators A full calculation of the 15 × 15 anomalous dimension matrix needs to be performed. However, it is easy to construct models of new physics which only produce the operators O W W , O BB and O W B in the EFT at the matching scale Λ. For such models, the RG running of the operator subset yields the results for h → γγ and h → Zγ given in our paper [3]. The authors of ref. [13] argue that the choice of operator basis is extremely important. They consider the operator O BB and four additional operators Notice that two of the three operators of ref. [3], namely O W W and O W B , have been eliminated from this subset of five operators. Ref. [13] uses the basis of ref. [14]. This basis is viewed to be a special transparent basis in which operators obey a tree and loop suppression organization in the EFT when minimal coupling is invoked in the underlying theory. In this basis, one combination of the operators P HW and P HB gives a direct coupling of the photon to ZH in the EFT (a violation of minimal coupling), and another combination of the operators contributes to the gyromagnetic ratio of the W deviating from 2, which is believed to not happen at "tree" level in the EFT due to minimal coupling. If another basis was used where more operators contributed to these effects, there would be no coherent scheme to use to identify offending operators directly, hence the belief that this basis is important. This reasoning underlies the opinion expressed in ref. [13] that for broad scenarios satisfying a minimal coupling assumption, the large contribution to the Wilson coefficients of the operators P HW , P HB , and O W B in the EFT must cancel in mixing that gives h → γγ. It is asserted that any direct contribution to these operators is loop suppressed, due to minimal coupling in the underlying theory, and that the only large contribution that these operators can possibly receive comes from P B and P W , which they claim do not mix with the single Wilson coefficient O BB giving h → γγ in their basis.
Ref. [13] considers operator mixing of their five operators but does not calculate explicitly the anomalous dimension matrix for this entire subset of operators. Instead, they use the anomalous dimension calculation of ref. [3], and they argue that some of the remaining unknown anomalous dimensions vanish because "tree" operators do not mix with "loop" operators. These zeros and the results of ref. [3] are used to determine part of the 5 × 5 anomalous dimension matrix for the alternative set of 5 operators, O W W , O BB , O W B , P HW and P HB , which they call the GJMT basis of ref. [3], despite the fact that it involves P operators, and was not the basis used in ref. [3] for the anomalous dimension calculation.
Two of the new operators introduced in ref. [13], P W and P B , can be eliminated using the gauge field equations of motion, D ν W a µν = g 2 j a µ and D ν B µν = g 1 j µ , in terms of the gauge currents which involve fermion and Higgs fields. Operators with a similar structure, the penguin operators ψγ µ T A P L ψ D ν G A µν , arise in the study of non-leptonic weak interaction, and are eliminated in favor of four-quark operators using the equation of motion D ν G A µν = g 3 j A µ in standard treatments of hadronic weak decays. We have explained at length in this paper why minimal coupling operator classification schemes are invalid in EFT. Ref. [13] uses such a scheme to argue that h → γγ is loopsuppressed in the EFT, and that this loop suppression is preserved under RG running.

Other misconceptions
In this section, we discuss the invalidity of other arguments which have been advanced in the literature, and are related to the minimal coupling arguments discussed earlier. In theories such as large N QCD with a spontaneously broken flavor symmetry, one can construct a sigma model description as in chiral perturbation theory. The N → ∞ limit of the gauge theory is taken so that the analog of Λ QCD , or equivalently, meson masses are order unity as N → ∞. We will call this generic scale m.

JHEP09(2013)063
The Goldstone boson dynamics is described by a chiral Lagrangian that depends on f ∝ √ N , so that f ∼ √ N m. Since the Lagrangian is expanded in powers of π/f , it automatically implements the suppression by 1/ √ N for each additional meson. The Lagrangian has an expansion in derivatives suppressed by Λ χ , which is order unity, not order √ N , in the large N limit. The scale of the derivative expansion is given by the scale of variation of form factors, or by the masses of mesons, which are order unity. One way to see this is to consider figure 2, which is a contribution to π − π scattering due to the exchange of a meson. The amplitude is order 1/N , from the two 1/ √ N factors at each three-meson vertex. The expansion of 1/(p 2 − m 2 ), produces terms of the form p 2 /m 2 r , so there is a p 4 /(N m 4 ) contribution to the scattering amplitude. This is precisely the amplitude from the p 4 term The large N theory also has an infinite tower of mesons with arbitrarily high spin. The reason is that correlation functions of gauge invariant operators can be obtained by summing over physical intermediate states, by the optical theorem. The gauge theory correlation functions at momentum Q scale with powers of log Q, by asymptotic freedom. The only way this log Q behavior can be reproduced by the sum over mesons is if the sum is over an infinite number of terms. One also must have mesons of arbitrarily high spin, since one can construct gauge invariant operators of arbitrarily high spin in the fundamental theory, such as ψγ µ 0 D µ 1 . . . D µn ψ, and these have to couple to physical mesons so that the optical theorem is satisfied.
The 't Hooft model, large N QCD in 1 + 1 dimension, has been exactly solved, and the above points have been explicitly demonstrated. The meson form factors can be computed, and vary on a scale of order one [47]. Operator correlation functions are reproduced by a sum over intermediate mesons [48], a feature often referred to as quark-hadron duality. A linear sigma model with a fundamental scalar where the scalar self-coupling λ is large does not capture all of the important physics of a confining gauge theory, which has an infinite tower of states. JHEP09(2013)063 One argument which has been advanced for the loop suppression of higher dimensional operators violating minimal coupling is that the value g = 2 for the gyromagnetic ratio of fundamental fields arises at tree level, and operators with explicit factors of F µν can lead to tree level deviations from this value. We have already seen how g = 2 arises in a fundamental renormalizable theory [18,49] -the anomalous magnetic moment operators are suppressed by 1/Λ and vanish as Λ → ∞. Arguments of this form do not imply that there are no 1/Λ terms for finite Λ. Several examples already have been discussed where these terms occur without loop suppression.
A second argument advanced to argue that some higher dimension operators (P HW and P HB ) in the EFT are loop suppressed is that they can contribute to scattering amplitudes of photons with W and Z bosons, potentially leading to high-energy behavior of scattering amplitudes which violates unitarity. In an EFT, one only needs to ensure that unitarity is not violated below the scale Λ of new physics. General arguments [24] imply that P HW and P HB do not lead to violations of unitarity in the EFT until the scale Λ. This result is true even for massive gauge bosons such as the W and Z, provided the gauge symmetry is spontaneously broken. We have verified by explicit calculation that the cross section γ + W → γ + W in the EFT does not violate unitarity below Λ, even if P HW and P HB have coefficients which are not suppressed by g 2 /(16π 2 ).

The UV theory cannot be adjusted to enforce minimal coupling in the IR
It has been argued that the underlying UV theory can be chosen so that the EFT is minimally coupled. This is usually done using the mantra "we assume that the UV completion is such that the EFT is minimally coupled." Consider the implications of this in QCD, as an example of a prototypical UV strongly interacting theory. We will take the light quark masses m u,d,s to be zero, as they are irrelevant to the discussion. The fundamental theory has only two parameters, the scale Λ QCD and electromagnetic coupling constant e. In the low-energy EFT, the ρ mass determines Λ QCD , and the ρ + charge determines e. There are no other parameters in the full QCD theory which can be adjusted to enforce minimal coupling in the low-energy effective theory. Or another example -let the low energy theory be atomic physics with the UV theory given by QED. What does it mean to adjust the UV theory so that atomic interactions satisfies minimal coupling, and Hydrogen polarizabilities and transition amplitudes are loop suppressed? There is no such freedom to modify QED. It certainly cannot be done by any local modification.
To make the argument even more explicit, consider QED bound states in a potential V (x). We know that V (x) must be a Coulomb potential, but assume that our "UV theory" is sufficiently flexible that we can adjust V (x) arbitrarily, while still retaining Coulomb bound states. Can we adjust V (x) to make Hydrogen and Positronium minimally coupled? For this to happen, all electromagnetic dipole transition matrix elements must be "loop suppressed." The oscillator-strength sum-rule for the dipole transition operators is [50] 2 2 | f |x a |i | 2 , a = 1, 2, 3 .

JHEP09(2013)063
One cannot make the i → f dipole transition matrix elements highly suppressed for all f , regardless of the potential V (x). The concept of choosing the UV theory so that the low-energy effective theory is minimally coupled is generally invalid; a UV theory will contain fewer parameters than the EFT, which has an infinite set of gauge invariant operators if one works to arbitrarily high orders in 1/Λ. There are not enough adjustable parameters in the UV theory to make the low energy theory minimally coupled. One can assume the EFT has symmetries such as CP which follow from symmetries of the underlying UV theory because they constrain low-energy scattering amplitudes through Ward identites. However, minimal coupling is not a symmetry, and does not give such constraints.

Conclusions
We have examined the concept of minimal coupling in EFT, and shown that it is contradicted by experimental evidence and explicit calculations in a wide range of examples. The results should not be surprising to those who have applied EFT methods to analyze experimental measurements of strong, weak and electromagnetic processes. Minimal coupling is not a symmetry, and does not lead to constraints on the low-energy effective theory other than the usual one of gauge invariance. In general, the use of minimal coupling as an organizing principle in an EFT is simply invalid and inconsistent. The notion that a UV theory can be chosen so that the EFT is minimally coupled also is misguided.
We have shown that in the case of PGB Higgs models, many claims in the literature based on minimal coupling are not generic predictions. The impact of new physics on the properties of the SM Higgs can be described by an EFT which contains all higher dimensional operators consistent with the symmetries of the theory with operator coefficients suppressed by the scale of new physics Λ. There is, in general, no additional ordering due to minimal coupling of the operator coefficients beyond the usual power counting expansion and gauge invariance of the EFT.

JHEP09(2013)063
arbitrary spin, and a tower of interactions consistent with the EFT's power counting, including super-renormalizable operators with explicit factors of the Λ scale of the EFT. Integrating out low mass states in the EFT can generate the desired operators with order unity coefficients.
A simple toy example is given by the interaction Lagrangian L = 1 Λ ag 2 2 σW a µ ν W a µ ν + bg 2 1 σB µ ν B µ ν + cg 1 g 2 Σ a W a µ ν B µ ν + Λ d H † Hσ + f H † τ a HΣ a , (A.1) where σ and Σ a are real scalar fields with masses m σ and m Σ , respectively, and W a µν and B µν are the usual SU (2) and U(1) field strengths of the SM. This example is an EFT with a cutoff scale Λ. The particles σ and Σ a are generated by dynamics at the scale Λ. An exactly solvable model which gives this toy model is constructed in ref. [51].
Integrating out σ and Σ a at tree level gives the effective interaction Lagrangian  [3] can receive independent contributions consistent with EFT power counting. Second, is the possibility of super-renormalizable operators being accompanied by positive powers of the EFT scale. When such operators are included in the EFT, one can generate any dimension-six Higgs operator at tree-level in a similar manner as the toy example.
Open Access. This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.