Abstract
This article is meant as a summary and introduction to the ideas of effective field theory as applied to gravitational systems, ideas which provide the theoretical foundations for the modern use of general relativity as a theory from which precise predictions are possible.
Introduction
Quantum mechanics and general relativity were discovered within a decade of one another close to a century ago, and almost immediately the search for a quantum theory of gravity had begun. Ever since it has been a puzzle as to what theoretical framework might ultimately reconcile these two theories with one another. This reconciliation has proven to be difficult to achieve, and although several promising proposals now exist none can yet claim complete theoretical and experimental vindication.
Against the split brain
The longstanding nature of this difficulty has driven some physicists to a state of intellectual despair, wherein they conclude that a crisis exists in physics which might be called the crisis of the split brain. On one hand, quantum mechanics (and its offspring quantum field theory) provides an incredibly successful description of all known nongravitational phenomena, with agreement between predictions and experiment sometimes taking place at the partperbillion level (for a recent precision test of QED, see for example [132]; a survey of precision electroweak measurements can be found in an article by Langacker [106]). On the other hand, classical general relativity is also extremely successful, with its predictions being well tested within the solar system and for some binary pulsar systems; a survey of tests of gravity with references may be found in [156]. (The cosmological evidence for dark matter and dark energy is sometimes proposed as indicating the failure of gravity over long distances — perhaps the most successful such proposal for galaxies is given by [120] — but at present the evidence for new gravitational physics at large distances does not seem compelling; a summary of some of the observational difficulties of replacing dark matter with new physics at long distances is given in [4], see, however, [121].) The perceived crisis is the absence of an overarching theoretical framework within which both successes can be accommodated. Our brains are effectively split into two incommunicative hemispheres, with quantum physics living in one and classical general relativity in the other.
The absence of such a framework would indeed be a crisis for theoretical physics, since real theoretical predictions are necessarily approximate. Controllable results always require some understanding of the size of the contributions being neglected in any given calculation. If quantum effects in general relativity cannot be quantified, this must undermine our satisfaction with the experimental success of its classical predictions.
It is the purpose of this article to present the modern point of view on these issues, which has emerged since the early 1980’s. According to this point of view there is no such crisis, because the problems of quantizing gravity within the experimentally accessible situations are similar to those which arise in a host of other nongravitational applications throughout physics. As such, the size of quantum corrections can be safely estimated and are extremely small. The theoretical framework which allows this quantification is the formalism of effective field theories, whose explanation makes up the better part of this article. In so doing we shall see that although there can be little doubt of the final outcome, the explicit determination of the size of subleading quantum effects in gravity has in many cases come only relatively recently, and a complete quantitative analysis of the size of quantum corrections remains a work in progress.
Identifying where the problems lie
This is not to say that there are no challenging problems remaining in reconciling quantum mechanics with gravity. On the contrary, many of the most interesting issues remain to be solved, including the identification of what the right observables should be, and understanding how space and time might emerge from more microscopic considerations. For the rest of the discussion it is useful to separate these deep, unsolved issues of principle from the more prosaic, technical problem of general relativity’s nonrenormalizability.
There have been a number of heroic attempts to quantize gravity along the lines of other field theories [81, 55, 6, 71, 138, 54, 70, 113, 50, 51, 53, 25, 38, 7, 8, 9, 10, 14, 16, 15, 11, 12, 13, 18], and it was recognized early on that general relativity is not renormalizable. It is this technical problem of nonrenormalizability which in practice has been the obstruction to performing quantum calculations with general relativity. As usually stated, the difficulty with nonrenormalizable theories is that they are not predictive, since the obtention of welldefined predictions potentially requires an infinite number of divergent renormalizations.
It is not the main point of the present review to recap the techniques used when quantizing the gravitational field, nor to describe in detail its renormalizability. Rather, this review is intended to describe the modern picture of what renormalization means, and why nonrenormalizable theories need not preclude making meaningful predictions. This point of view is now wellestablished in many areas — such as particle, nuclear, and condensedmatter physics — where nonrenormalizable theories arise. In these other areas of physics predictions can be made with nonrenormalizable theories (including quantum corrections) and the resulting predictions are wellverified experimentally. The key to making these predictions is to recognize that they must be made within the context of a lowenergy expansion, in powers of E/M (energy divided by some heavy scale intrinsic to the problem). Within the validity of this expansion theoretical predictions are under complete control.
The lesson for quantum gravity is clear: Nonrenormalizability is not in itself an obstruction to performing predictive quantum calculations, provided the lowenergy nature of these predictions in powers of E/M, for some M, is borne in mind. What plays the role of the heavy scale M in the case of quantum gravity? It is tempting to identify this scale with the Planck mass M_{p}, where \(M_{\rm{P}}^{ 2} = 8\pi G\) (with G denoting Newton’s constant), and in some circumstances this is the right choice. But as we shall see M need not be M_{p}, and for some applications might instead be the electron mass m_{e}, or some other scale. One of the points of quantifying the size of quantum corrections is to identify more precisely what the important scales are for a given quantumgravity application.
Once it is understood how to use nonrenormalizable theories, the size of quantum effects can be quantified, and it becomes clear where the real problems of quantum gravity are pressing and where they are not. In particular, the lowenergy expansion proves to be an extremely good approximation for all of the present experimental tests of gravity, making quantum corrections negligible for these tests. By contrast, the lowenergy nature of quantumgravity predictions implies that quantum effects are important where gravitational fields become very strong, such as inside black holes or near cosmological singularities. This is what makes the study of these situations so interesting: it is through their study that progress on the more fundamental issues of quantum gravity is likely to come.
A road map
The remainder of this article is organized in the following way:
Section 2 about effective field theories does not involve gravity at all, but instead first describes why effective field theories are useful in other branches of physics. The discussion is kept concrete by considering a simple toy model, for which it is argued how some applications make it useful to keep track of how small ratios of energy scales appear in physical observables. In particular, considerable simplification can be achieved if an expansion in small energy ratios is performed as early as possible in the calculation of lowenergy observables. The theoretical tool for achieving this simplification is the effective Lagrangian, and its definition and use is briefly summarized using the toy model as an explicit example.
Section 3, which deals with quantum gravity as an effective theory, describes how the tools of the previous section may be applied to calculating quantum effects including the gravitational field. In particular, it is shown how to make predictions despite general relativity’s nonrenormalizability, since effective Lagrangians are generically not renormalizable. As we shall see, however, some of the main results one would like to have regarding the size of quantum corrections to arbitrary loop orders remain incomplete.
In Section 4 explicit applications of these ideas are described in this section, which use the above results to compute quantum corrections to several gravitational results for two kinds of sources. These calculations compute the leading quantum corrections to Newton’s Law between two slowlymoving point particles, and to the gravitational force between two cosmic strings (both in 3 + 1 spacetime dimensions).
In the final Section 5 conclusions are briefly summarized.
Effective Field Theories
This section describes the effectiveLagrangian technique within the context of a simple toy model, closely following the discussion of [28].
In all branches of theoretical physics a key part of any good prediction is a careful assessment of the theoretical error which the prediction carries. Such an assessment is a precondition for any detailed quantitative comparison with experiment. As is clear from numerous examples throughout physics, this assessment of error usually is reliably determined based on an understanding of the small quantities which control the corrections to the approximations used when making predictions. Perhaps the most famous example of such a small quantity might be the finestructure constant, α = e^{2}/ħc, which quantifies the corrections to electromagnetic predictions of elementary particle properties or atomic energy levels.
The utility of lowenergy approximations
It sometimes happens that predictions are much more accurate than would be expected based on an assessment of the approximations on which they appear to be based. A famous example of this is encountered in the precision tests of quantum electrodynamics, where the value of the finestructure constant, α, was until recently obtained using the Josephson effect in superconductivity.
A DC potential difference applied at the boundary between two superconductors can produce an AC Josephson current whose frequency is precisely related to the size of the applied potential and the electron’s charge. Precision measurements of frequency and voltage are in this way converted into a precise measurement of e/ħ, and so of α. But use of this effect to determine α only makes sense if the predicted relationship between frequency and voltage is also known to an accuracy which is better than the uncertainty in α.
It is, at first sight, puzzling how such an accurate prediction for this effect can be possible. After all, the prediction is made within the BCS theory of superconductivity (see, for example, [139]), which ignores most of the mutual interactions of electrons, focussing instead on a particular pairing interaction due to phonon exchange. Radical though this approximation might appear to be, the theory works rather well (in fact, surprisingly well), with its predictions often agreeing with experiment to within several percent. But expecting successful predictions with an accuracy of parts per million or better would appear to be optimistic indeed!
The astounding theoretical accuracy required to successfully predict the Josephson frequency may be understood at another level, however. The key observation is that this prediction does not rely at all on the details of the BCS theory, depending instead only on the symmetrybreaking pattern which it predicts. Once it is known that a superconductor spontaneously breaks the U(1) gauge symmetry of electromagnetism, the Josephson prediction follows on general grounds in the lowenergy limit (for a discussion of superconductors in an effectiveLagrangian spirit aimed at a particlephysics audience see [151]). The validity of the prediction is therefore not controlled by the approximations made in the BCS theory, since any theory with the same lowenergy symmetrybreaking pattern shares the same predictions.
The accuracy of the predictions for the Josephson effect are therefore founded on symmetry arguments, and on the validity of a lowenergy approximation. Quantitatively, the lowenergy approximation involves the neglect of powers of the ratio of two scales, ω/Ω, where ω is the low energy scale of the observable under consideration — like the applied voltage in the Josephson effect — and Ω is the higher energy scale — such as the superconducting gap energy — which is intrinsic to the system under study.
Indeed, arguments based on a similar lowenergy approximation may also be used to explain the surprising accuracy of many other successful models throughout physics, including the BCS theory itself [130, 135, 136, 35]. This is accomplished by showing that only the specific interactions used by the BCS theory are relevant at low energies, with all others being suppressed in their effects by powers of a small energy ratio.
Although many of these arguments were undoubtedly known in various forms by the experts in various fields since very early days, the systematic development of these arguments into precision calculational techniques has happened more recently. With this development has come considerable crossfertilization of techniques between disciplines, with the realization that the same methods play a role across diverse disciplines within physics.
The remainder of this article briefly summarizes the techniques which have been developed to exploit lowenergy approximations. These are most efficiently expressed using effectiveLagrangian methods, which are designed to take advantage of the simplicity of the lowenergy limit as early as possible within a calculation. The gain in simplicity so obtained can be the decisive difference between a calculation’s being feasible rather than being too difficult to entertain.
Besides providing this kind of practical advantage, effectiveLagrangian techniques also bring real conceptual benefits because of the clear separation they permit between of the effects of different scales. Both of these kinds of advantages are illustrated here using explicit examples. First Section 2.2 presents a toy model involving two spinless particles to illustrate the general method, as well as some of its calculational advantages. This is followed by a short discussion of the conceptual advantages, with quantum corrections to classical general relativity, and the associated problem of the nonrenormalizability of gravity, taken as the illustrative example.
A toy example
In order to make the discussion as concrete as possible, consider the following model for a single complex scalar field ϕ:
with
This theory enjoys a continuous U(1) symmetry of the form ϕ → e^{iω}ϕ where the parameter ω is a constant. The two parameters of the model are λ and v. Since v is the only dimensionful quantity it sets the model’s overall energy scale.
The semiclassical approximation is justified if the dimensionless quantity λ should be sufficiently small. In this approximation the vacuum field configuration is found by minimizing the system’s energy density, and so is given (up to a U(1) transformation) by ϕ = v. For small A the spectrum consists of two weaklyinteracting particle types described by the fields \({\mathcal R}\) and \({\mathcal I}\), where \(\phi =\left({v + {1 \over {\sqrt 2}}{\mathcal R}} \right) + {i \over {\sqrt 2}}{\mathcal I}\) leading order in λ the particle masses are \({m_{\mathcal I}} = 0\) and \({m_{\mathcal R}} = \lambda v\).
The lowenergy regime in this model is \(E \ll {m_{\mathcal R}}\). The masslessness of \({\mathcal I}\) ensures the existence of degrees of freedom in this regime, with the potential for nontrivial lowenergy interactions, which we next explore.
Masslessparticle scattering
The interactions amongst the particles in this model are given by the scalar potential:
Imagine using the potential of Equation (3) to calculate the amplitude for the scattering of \({\mathcal I}\) particles at low energies to lowestorder in λ. For example, the Feynman graphs describing treelevel \({\mathcal I} {\mathcal R}\) scattering are given in Figure 1. The Smatrix obtained by evaluating the analogous treelevel diagrams for \({\mathcal I}\) selfscattering is proportional to the following invariant amplitude:
where s^{μ} and r^{μ} (and s′^{μ} and r′^{μ}) are the 4momenta of the initial (and final) particles.
An interesting feature of this amplitude is that when it is expanded in powers of external fourmomenta, both its leading and nexttoleading terms vanish. That is
The last equality uses conservation of 4momentum, s^{μ} + r^{μ} = s′^{μ} + r′^{μ}, and the massless massshell condition r^{2} = 0. Something similar occurs for \({\mathcal R} {\mathcal I}\) scattering, which also vanishes due to a cancellation amongst the graphs of Figure 1 in the zeromomentum limit.
Clearly the lowenergy particles interact more weakly than would be expected given a cursory inspection of the scalar potential, Equation (3), since at tree level the lowenergy scattering rate is suppressed by at least eight powers of the small energy ratio r = E/m_{R}. The real size of the scattering rate might depend crucially on the relative size of r and λ^{2}, should the vanishing of the leading lowenergy terms turn out to be an artifact of leadingorder perturbation theory.
If \({\mathcal I}\) scattering were of direct experimental interest, one can imagine considerable effort being invested in obtaining higherorder corrections to this lowenergy result. And the final result proves to be quite interesting: As may be verified by explicit calculation, the first two terms in the lowenergy expansion of \({\mathcal A}\) vanish orderbyorder in perturbation theory. Furthermore, a similar suppression turns out also to hold for all other amplitudes involving \({\mathcal I}\) particles, with the npoint amplitude for \({\mathcal I}\) scattering being suppressed by n powers of r.
Clearly the hard way to understand these lowenergy results is to first compute to all orders in λ and then expand the result in powers of r. A much more efficient approach exploits the simplicity of small r before calculating scattering amplitudes.
The toy model revisited
The key to understanding this model’s lowenergy limit is to recognize that the lowenergy suppression of scattering amplitudes (as well as the exact masslessness of the light particle) is a consequence of the theory’s U(1) symmetry. (The massless state has these properties because it is this symmetry’s NambuGoldstone boson. The earliest general formulation of nonAbelian Goldstoneboson interactions arose through the study of lowenergy pion interactions [145, 146, 32, 73]; for reviews of Goldstone boson properties see [84, 107]; see also [148, 29].) The simplicity of the lowenergy behaviour is therefore best displayed by

making the symmetry explicit for the lowenergy degrees of freedom, and

performing the lowenergy approximation as early as possible.
Exhibiting the symmetry
The U(1) symmetry can be made to act exclusively on the field which represents the light particle by parameterizing the theory using a different set of variables than \({\mathcal I}\) and \({\mathcal R}\). To this end imagine instead using polar coordinates in field space
In terms of θ and χ the action of the U(1) symmetry is simply θ → θ + ω, and the model’s Lagrangian becomes
The semiclassical spectrum of this theory is found by expanding \({\mathcal L}\) in powers of the canonicallynormalized fluctuations, \(\chi^{\prime} = \sqrt 2 (\chi  v)\) and \(\theta {\prime} = \sqrt 2 v\theta\), about the vacuum χ = v, revealing that χ′ describes the massm_{R} particle while θ′ represents the massless particle.
With the U(1) symmetry realized purely on the massless field θ, we may expect good things to happen if we identify the lowenergy dynamics.
Timely performance the lowenergy approximation
To properly exploit the symmetry of the lowenergy limit we integrate out all of the highenergy degrees of freedom as the very first step, leaving the inclusion of the lowenergy degrees of freedom to last. This is done most efficiently by computing the following lowenergy effective (or Wilson) action.
A conceptually simple (but cumbersome in practice) way to split degrees of freedom into ‘heavy’ and ‘light’ categories is to classify all field modes in momentum space as heavy if (in Euclidean signature) they satisfy p^{2} + m^{2} > Λ^{2}, where m is the corresponding particle mass and Λ is an appropriately chosen cutoff.
Light modes are then all of those which are not heavy. The cutoff Λ, which defines the boundary between these two kinds of modes, is chosen to lie well below the highenergy scale (i.e., well below m_{R} in the toy model), but is also chosen to lie well above the lowenergy scale of ultimate interest (like the centreofmass energies E of lowenergy scattering amplitudes). Notice that in the toy model the heavy degrees of freedom defined by this split include all modes of the field χ′, as well as the highfrequency components of the massless field θ′.
If h and ℓ schematically denote the fields which are, respectively, heavy or light in this characterization, then the influence of heavy fields on lightparticle scattering at low energies is completely encoded in the following effective Lagrangian:
The Λdependence which is introduced by the lowenergy/highenergy split of the integration measure is indicated explicitly in this equation.
Physical observables at low energies are now computed by performing the remaining path integral over the light degrees of freedom only. By virtue of its definition, each configuration in the integration over light fields is weighted by a factor of exp \([i{\int d ^4}x{{\mathcal L}_{{\rm{eff}}}}(\ell)]\) implying that the effective Lagrangian weights the lowenergy amplitudes in precisely the same way as the classical Lagrangian does for the integral over both heavy and light degrees of freedom. In detail, the effects of virtual contributions of heavy states appear within the lowenergy theory through the contributions of new effective interactions, such as are considered in detail for the toy model in some of the next sections (see, e.g., Sections 2.3.3, 2.3.4, and 2.5.2).
Although this kind of lowenergy/highenergy split in terms of cutoffs most simply illustrates the conceptual points of interest, in practical calculations it is usually dimensional regularization which is more useful. This is particularly true for theories (like general relativity) involving gauge symmetries, which can be conveniently kept manifest using dimensional regularization. We therefore return to this point in subsequent sections to explain how dimensional regularization can be used with an effective field theory.
Implications for the lowenergy limit
Now comes the main point. When applied to the toy model, the condition of symmetry and the restriction to the lowenergy limit together have strong implications for \({{\mathcal L}_{{\rm{eff}}}}(\theta)\). Specifically:

Invariance of \({{\mathcal L}_{{\rm{eff}}}}(\theta)\) under the symmetry θ → θ+ω implies \({{\mathcal L}_{{\rm{eff}}}}\) can depend on θ only through the invariant quantity ∂_{μ}θ.

Interest in the lowenergy limit permits the expansion of \({{\mathcal L}_{{\rm{eff}}}}\) in powers of derivatives of θ. Because only lowenergy functional integrals remain to be performed, higher powers of ∂_{μ}θ correspond in a calculable way to higher suppression of observables by powers of \(E/{m_{\mathcal R}}\).
Combining these two observations leads to the following form for \({{\mathcal L}_{{\rm{eff}}}}\):
where the ellipses represent terms which involve more than six derivatives, and so more than two inverse powers of \({m_{\mathcal R}}\).
A straightforward calculation confirms the form (9) in perturbation theory, but with the additional information
In this formulation it is clear that each additional factor of θ is always accompanied by a derivative, and so implies an additional power of r in its contribution to all lightparticle scattering amplitudes. Because Equation (9) is derived assuming only general properties of the low energy effective Lagrangian, its consequences (such as the suppression by r^{n} of lowenergy npoint amplitudes) are insensitive of the details of the underlying model. They apply, in particular, to all orders in λ.
Conversely, the details of the underlying physics only enter through specific predictions, such as Equations (10), for the lowenergy coefficients a, b, and c. Different models having a U(1) Goldstone boson in their lowenergy spectrum can differ in the lowenergy selfinteractions of this particle only through the values they predict for these coefficients.
Redundant interactions
The effective Lagrangian (9) does not contain all possible polynomials of ∂_{μ}θ. For example, two terms involving 4 derivatives which are not written are
where d and e are arbitrary real constants. These terms are omitted because their inclusion would not alter any of the predictions of \({{\mathcal L}_{{\rm{eff}}}}\) Because of this, interactions such as those in Equation (11) are known as redundant interactions.
There are two reasons why such terms do not contribute to physical observables. The first reason is the old saw that states that total derivatives may be dropped from an action. More precisely, such terms may be integrated to give either topological contributions or surface terms evaluated at the system’s boundary. They may therefore be dropped provided that none of the physics of interest depends on the topology or what happens on the system’s boundaries. (See, however, [2] and references therein for a concrete example where boundary effects play an important role within an effective field theory.) Certainly boundary terms are irrelevant to the form of the classical field equations far from the boundary. They also do not contribute perturbatively to scattering amplitudes, as may be seen from the Feynman rules which are obtained from a simple total derivative interaction like
since these are proportional to
This shows that the two interactions of Equation (11) are not independent, since we can integrate by parts to replace the couplings (d, e) with (d′, e′) = (d − e, 0).
The second reason why interactions might be physically irrelevant (and so redundant) is if they may be removed by performing a field redefinition. For instance under the infinitesimal redefinition δθ = A□θ, the leading term in the lowenergy action transforms to
This redefinition can be used to set the effective coupling e to zero, simply by choosing 2Av^{2} = e. This argument can be repeated orderbyorder in powers of 1/m_{R} to remove more and more terms in \({{\mathcal L}_{{\rm{eff}}}}\) without affecting physical observables.
Since the variation of the lowestorder action is always proportional to its equations of motion, it is possible to remove in this way any interaction which vanishes when evaluated at the solution to the lowerorder equations of motion. Of course, a certain amount of care must be used when so doing. For instance, if our interest is in how the θfield affects the interaction energy of classical sources, we must add a source coupling \(\Delta {\mathcal L} = {J^\mu}{\partial _\mu}\theta\) to the Lagrangian. Once this is done the lowestorder equations of motion become \(2{v^2}\square \theta = {\partial _\mu }{J^\mu }\), and so an effective interaction like □θ□θ is no longer completely redundant. It is instead equivalent to the contact interactions like \({({\partial _\mu}{J^\mu})^2}/(4{v^4})\).
Lessons learned
It is clear that the kind of discussion given for the toy model can be performed equally well for any other system having two wellseparated energy scales. There is a number of features of this example which also generalize to these other systems. It is the purpose of this section to briefly list some of these features.
Why are effective Lagrangians not more complicated?
\({{\mathcal L}_{{\rm{eff}}}}\) as computed in the toy model is not a completely arbitrary functional of its argument θ. For example, \({{\mathcal L}_{{\rm{eff}}}}\) is real and not complex, and it is local in the sense that (to any finite order in 1/m_{R}) it consists of a finite sum of powers of the field θ and its derivatives, all evaluated at the same point.
Why should this be so? Both of these turn out to be general features (so long as only massive degrees of freedom are integrated out) which are inherited from properties of the underlying physics at higher energies:

Reality: The reality of \({{\mathcal L}_{{\rm{eff}}}}\) is a consequence of the unitarity of the underlying theory, and the observation that the degrees of freedom which are integrated out to obtain \({{\mathcal L}_{{\rm{eff}}}}\) are excluded purely on the grounds of their energy. As a result, if no heavy degrees of freedom appear as part of an initial state, energy conservation precludes their being produced by scattering and so appearing in the final state.
Since \({{\mathcal L}_{{\rm{eff}}}}\) is constructed to reproduce this time evolution of the full theory, it must be real in order to give a Hermitian Hamiltonian as is required by unitary time evolution^{Footnote 1}.

Locality: The locality of \({{\mathcal L}_{{\rm{eff}}}}\) is also a consequence of excluding highenergy states in its definition, together with the Heisenberg Uncertainty Relations. Although energy and momentum conservation preclude the direct production of heavy particles (like those described by χ in the toy model) from an initial lowenergy particle configuration, it does not preclude their virtual production.
That is, heavy particles may be produced so long as they are then redestroyed sufficiently quickly. Such virtual production is possible because the Uncertainty Relations permit energy not to be precisely conserved for states which do not live indefinitely long. A virtual state whose production requires energy nonconservation of order ΔE ∼ M therefore cannot live longer than Δt ∼ 1/M, and so its influence must appear as being local in time when observed only with probes having much smaller energy. Similar arguments imply locality in space for momentumconserving systems. (This is a heuristic explanation of what goes under the name operator product expansion [157, 41] in the quantum field theory literature.)
Since it is the mass M of the heavy particle which sets the scale over which locality applies once it is integrated out, it is 1/M which appears with derivatives of lowenergy fields when \({{\mathcal L}_{{\rm{eff}}}}\) is written in a derivative expansion.
Predictiveness and power counting
The entire rationale of an effective Lagrangian is to incorporate the virtual effects of highenergy particles in lowenergy processes, orderbyorder in powers of the small ratio r of these two scales (e.g., \(r = E/{m_{\mathcal R}}\) in the toy model). In order to use an effective Lagrangian it is therefore necessary to know which terms contribute to physical processes to any given order in r.
This determination is explicitly possible if the lowenergy degrees of freedom are weakly interacting, because in this case perturbation theory in the weak interactions may be analyzed graphically, permitting the use of powercounting arguments to systematically determine where powers of r originate. Notice that the assumption of a weaklyinteracting lowenergy theory does not presuppose the underlying physics to be also weakly interacting. For instance, for the toy model the Goldstone boson of the lowenergy theory is weakly interacting provided only that the U(1) symmetry is spontaneously broken, since its interactions are all suppressed by powers of r. Notice that this is true independent of the size of the coupling λ of the underlying theory.
For example, in the toy model the effective Lagrangian takes the general form
where the sum is over interactions \({{\mathcal O}_{id}}\) involving i powers of the dimensionless field θ and d derivatives. The power of m_{R} premultiplying each term is chosen to ensure that the coefficient c_{id} is dimensionless. (For instance, the interaction (∂_{μ}θ ∂^{μ}θ)^{2} has i = d = 4.) There are three useful properties which all of the operators in this sum must satisfy:

1.
d must be even by virtue of Lorentz invariance.

2.
Since the sum is only over interactions, it does not include the kinetic term, which is the unique term for which d = i = 2.

3.
The U(1) symmetry implies every factor of θ is differentiated at least once, and so d ≥ i. Furthermore, any term linear in θ must therefore be a total derivative, and so may be omitted, implying i ≥ 2 without loss.
Powercounting lowenergy Feynman graphs
It is straightforward to track the powers of v and m_{R} that interactions of the form (15) contribute to an ℓloop contribution to the amplitude \({{\mathcal A}_{\mathcal E}}(E)\) for the scattering of N_{i} initial Goldstone bosons into N_{f} final Goldstone bosons at centreofmass energy E. The label \({\mathcal E} = {N_{\rm{i}}} + {N_{\rm{f}}}\) here denotes the number of external lines in the corresponding graph. (The steps presented in this section closely follow the discussion of [29].)
With the desire of also being able to include later examples, consider the following slight generalization of the Lagrangian of Equation (15):
Here ϕ denotes a generic boson field, c_{n} are again dimensionless coupling constants which we imagine to be at most \({\mathcal O}(1)\), and f, M, and v are mass scales of the underlying problem. The sum is again over operators which are powers of the fields and their derivatives, and d_{n} is the dimension of the operator \({{\mathcal O}_n}\), in powers of mass. For example, in the toymodel application we have f^{2} = v mr, \({f^2} = v{m_R},M = {m_{\mathcal R}}\), and we have written θ = ϕ/v. In the toymodel example the sum over n corresponds to the sum over i and d, and d_{n} = d.
Imagine using this Lagrangian to compute a scattering amplitude \({{\mathcal A}_{\mathcal E}}(E)\) involving the scattering of \({\mathcal E}\) relativistic particles whose energy and momenta are of order E. We wish to focus on the contribution to \({\mathcal A}\) due to a Feynman graph having I internal lines and V_{ik} vertices. The labels i and k here indicate two characteristics of the vertices: i counts the number of lines which converge at the vertex, and k counts the power of momentum which appears in the vertex. Equivalently, i counts the number of powers of the fields ϕ which appear in the corresponding interaction term in the Lagrangian, and k counts the number of derivatives of these fields which appear there.
Some useful identities
The positive integers I, E, and V_{ik}, which characterize the Feynman graph in question are not all independent since they are related by the rules for constructing graphs from lines and vertices.
The first such relation can be obtained by equating two equivalent ways of counting how internal and external lines can end in a graph. On the one hand, since all lines end at a vertex, the number of ends is given by summing over all of the ends which appear in all of the vertices: \({\sum\nolimits_{ik}}i{V_{ik}}\) On the other hand, there are two ends for each internal line, and one end for each external line in the graph: 2I + E. Equating these gives the identity which expresses the ‘conservation of ends’:
A second useful identity gives the number of loops L for each (connected) graph:
For simple planar graphs, this last equation agrees with the intuitive notion of what the number of loops in a graph means, since it expresses a topological invariant which states how the Euler number for a disc can be expressed in terms of the number of edges, corners, and faces of the triangles in one of its triangularization. For graphs which do not have the topology of a plane, Equation (18) should instead be read as defining the number of loops.
Dimensional estimates
We now collect the dependence of \({{\mathcal A}_{\mathcal E}}(a)\) on the parameters appearing in \({{\mathcal L}_{{\rm{eff}}}}\). Reading the Feynman rules from the Lagrangian of Equation (16) shows that the vertices in the Feynman graph contribute the following factor:
where p generically denotes the various momenta running through the vertex. Similarly, there are I internal lines in the graph, each of which contributes the additional factor:
where, again, p denotes the generic momentum flowing through the line. m generically denotes the mass of any light particles which appear in the effective theory, and it is assumed that the kinetic terms which define their propagation are those terms in \({{\mathcal L}_{{\rm{eff}}}}\) involving two derivatives and two powers of the fields ϕ.
As usual for a connected graph, all but one of the momentumconserving deltafunctions in Equation (19) can be used to perform one of the momentum integrals in Equation (20). The one remaining deltafunction which is left after doing so depends only on the external momenta δ^{4}(q), and expresses the overall conservation of fourmomentum for the process. Future formulae are less cluttered if this factor is extracted once and for all, by defining the reduced amplitude \(\widetilde{\mathcal A}\) by
Here q generically represents the external fourmomenta of the process, whose components are of order E in size.
The number of fourmomentum integrations which are left after having used all of the momentumconserving deltafunctions is then I − ∑_{ik} V_{ik} + 1 = L. This last equality uses the definition, Equation (18), of the number of loops L.
We now estimate the result of performing the integration over the internal momenta. To do so it is most convenient to regulate the ultraviolet divergences which arise using dimensional regularization^{Footnote 2}. For dimensionallyregularized integrals, the key observation is that the size of the result is set on dimensional grounds by the light masses or external momenta of the theory. That is, if all external energies q are comparable to (or larger than) the masses m of the light particles whose scattering is being calculated, then q is the light scale controlling the size of the momentum integrations, so dimensional analysis implies that an estimate of the size of the momentum integrations is
with a dimensionless prefactor which depends on the dimension n of spacetime, and which may be singular in the limit that n → 4. Notice that the assumption that q is the largest relevant scale in the lowenergy theory explicitly excludes the case of the scattering of nonrelativistic particles.
One might worry whether such a simple dimensional argument can really capture the asymptotic dependence of a complicated multidimensional integral whose integrand is rife with potential singularities. The ultimate justification for this estimate lies with general results like Weinberg’s theorem [143, 85, 129, 79], which underly the powercounting analyses of renormalizability. These theorems ensure that the simple dimensional estimates capture the correct behaviour up to logarithms of the ratios of high and lowenergy mass scales.
With this estimate for the size of the momentum integrations, we find the following contribution to the amplitude \({\widetilde{\mathcal A}_{\mathcal E}}(E)\):
where X = ∑_{ik} kV_{ik} and Y = 4L − 2I + ∑_{ik} kV_{ik}. Liberal use of the identities (17) and (18), and taking q ∼ E, allows this to be rewritten as the following estimate:
with P = 2 + 2L + ∑_{ik}(k − 2)V_{ik}. Equivalently, if we group terms depending on L, Equation (24) may also be written as
with P′ = 2 + ∑_{ik} (k − 2)V_{ik}.
Equation (24) is the principal result of this section. Its utility lies in the fact that it links the contributions of the various effective interactions in the effective Lagrangian (16) with the dependence of observables on small energy ratios such as r = E/M. As a result it permits the determination of which interactions in the effective Lagrangian are required to reproduce any given order in E/M in physical observables.
Most importantly, Equation (24) shows how to calculate using nonrenormalizable theories. It implies that even though the Lagrangian can contain arbitrarily many terms, and so potentially arbitrarily many coupling constants, it is nonetheless predictive so long as its predictions are only made for lowenergy processes, for which E/M ≪ 1. (Notice also that the factor (M/f)^{4L} in Equation (24) implies, all other things being equal, that the scale f cannot be taken to be systematically smaller than M without ruining the validity of the loop expansion in the effective lowenergy theory.)
Application to the toy model
We now apply this powercounting estimate to the toy model discussed earlier. Using the relations \({f^2} = v{m_{\mathcal R}}\) and \(M = {m_{\mathcal R}}\), we have
where P = 2 + 2L + ∑_{id} (d −2)V_{id}. As above, V_{id} counts the number of times an interaction involving i powers of fields and d derivatives appears in the amplitude. An equivalent form for this expression is
Equations (26) and (27) have several noteworthy features:

The condition d ≥ i ≥ 2 ensures that all of the powers of E appearing in \({\mathcal A}_{\mathcal E}\) are positive. Furthermore, since d = 2 only occurs for the kinetic term, d ≥ 4 for all interactions, implying \({\mathcal A}_{\mathcal E}\) is suppressed by at least 4 powers of E, and higher loops cost additional powers of E. Furthermore, it is straightforward to identify the graphs which contribute to \({\mathcal A}_{\mathcal E}\) to any fixed power of E.

As is most clear from Equation (27), perturbation theory in the effective theory relies only on the assumptions E ≪ 4πv and \(E \ll {m_{\mathcal R}}\) In particular, it does not rely on the ratio \({m_{\mathcal R}}/(4\pi v)\) being small. Since \({m_{\mathcal R}} = \lambda v\) in the underlying toy model, this ratio is simply of order λ/(4π), showing how weak coupling for the Goldstone boson is completely independent of the strength of the couplings in the underlying theory.
To see how Equations (26) and (27) are used, consider the first few powers of E in the toy model. For any \({\mathcal R}\) the leading contributions for small E come from tree graphs, L = 0. The tree graphs that dominate are those for which \(\sum\nolimits_{id}^{\prime}(d  2){V_{id}}\) takes the smallest possible value. For example, for 2particle scattering \({\mathcal E}=4\), and so precisely one tree graph is possible for which \(\sum\nolimits_{id}^{\prime}(d  2){V_{id}} = 2\), corresponding to V_{44} = 1 and all other V_{id} = 0. This identifies the single graph which dominates the 4point function at low energies, and shows that the resulting leading energy dependence is \({{\mathcal A}_4}(E) \sim {E^4}/({v^2}m_R^2)\).
The utility of powercounting really becomes clear when subleading behaviour is computed, so consider the size of the leading corrections to the 4point scattering amplitude. Order E^{6} contributions are achieved if and only if either (i) L =1 and V_{i4} = 1 with all others zero, or (ii) L = 0 and ∑_{i} (4V_{i6} + 2V_{i4}) = 4. Since there are no d =2 interactions, no oneloop graphs having 4 external lines can be built using precisely one d = 4 vertex, and so only tree graphs can contribute. Of these, the only two choices allowed by \({\mathcal E}=4\) at order E^{6} are therefore the choices V_{46} = 1 or V_{34} = 2. Both of these contribute a result of order \({{\mathcal A}_4}(E) \sim {E^6}/({v^2}m_{\mathcal R}^2)\).
The effective Lagrangian logic
With the powercounting results in hand we can see how to calculate predictively — including loops — using the nonrenormalizable effective theory. The logic follows these steps:

1.
Choose the accuracy desired in the answer. (For instance an accuracy of 1% might be desired in a particular scattering amplitude.)

2.
Determine the order in the small ratio of scales (i.e., \(r = E/{m_{\mathcal R}}\) in the toy model) which is required in order to achieve the desired accuracy. (For instance if r = 0.1 then \({\mathcal O}({r^2})\) is required to achieve 1% accuracy.)

3.
Use the powercounting results to identify which terms in \({{\mathcal L}_{{\rm{eff}}}}\) can contribute to the observable of interest to the desired order in r. At any fixed order in r this always requires a finite number (say: N) of terms in \({{\mathcal L}_{{\rm{eff}}}}\) which can contribute.

4.
(a) If the underlying theory is known, and is calculable, then compute the required coefficients of the N required effective interactions to the accuracy required. (In the toy model this corresponds to calculating the coefficients a, b, c, etc.)
(b) If the underlying theory is unknown, or is too complicated to permit the calculation of \({{\mathcal L}_{{\rm{eff}}}}\), then leave the N required coefficients as free parameters. The procedure is nevertheless predictive if more than N observables can be identified whose predictions depend only on these parameters.
Step 4a is required when the lowenergy expansion is being used as an efficient means to accurately calculating observables in a wellunderstood theory. It is the option of choosing instead Step 4b, however, which introduces much of the versatility of effectiveLagrangian methods. Step 4b is useful both when the underlying theory is not known (such as when searching for physics beyond the Standard Model) and when the underlying physics is known but complicated (like when describing the lowenergy interactions of pions in quantum chromodynamics).
The effective Lagrangian is in this way seen to be predictive even though it is not renormalizable in the usual sense. In fact, renormalizable theories are simply the special case of Step 4b where one stops at order r^{0}, and so are the ones which dominate in the limit that the light and heavy scales are very widely separated. We see in this way why renormalizable interactions play ubiquitous roles through physics! These observations have important conceptual implications for the quantum behaviour of other nonrenormalizable theories, such as gravity, to which we return in the next Section 3.
The choice of variables
The effective Lagrangian of the toy model seems to carry much more information when θ is used to represent the light particles than it would if \({\mathcal I}\) were used. How can physics depend on the fields which are used to parameterize the theory?
Physical quantities do not depend on what variables are used to describe them, and the lowenergy scattering amplitude is suppressed by the same power of r in the toy model regardless of whether it is the effective Lagrangian for \({\mathcal I}\) or θ which is used at an intermediate stage of the calculation.
The final result would nevertheless appear quite mysterious if \({\mathcal I}\) were used as the lowenergy variable, since it would emerge as a cancellation only at the end of the calculation. With θ the result is instead manifest at every step. Although the physics does not depend on the variables in terms of which it is expressed, it nevertheless pays mortal physicists to use those variables which make manifest the symmetries of the underlying system.
Regularization dependence
The definition of \({{\mathcal L}_{{\rm{eff}}}}\) appears to depend on lots of calculational details, like the value of Λ (or, in dimensional regularization, the matching scale) and the minutae of how the cutoff is implemented. Why doesn’t \({{\mathcal L}_{{\rm{eff}}}}\) depend on all of these details?
\({{\mathcal L}_{{\rm{eff}}}}\) generally does depend on all of the regularizational details. But these details all must cancel in final expressions for physical quantities. Thus, some Λdependence enters into scattering amplitudes through the explicit dependence which is carried by the couplings of \({{\mathcal L}_{{\rm{eff}}}}\) (beyond tree level). But Λ also potentially enters scattering amplitudes because loops over all light degrees of freedom must be cut off at Λ in the effective theory, by definition. The cancellation of these two sources of cutoffdependence is guaranteed by the observation that Λ enters only as a bookmark, keeping track of the light and heavy degrees of freedom at intermediate steps of the calculation.
This cancellation of Λ in all physical quantities ensures that we are free to make any choice of cutoff which makes the calculation convenient. After all, although all regularization schemes for \({{\mathcal L}_{{\rm{eff}}}}\) give the same answers, more work is required for some schemes than for others. Again, mere mortal physicists use an inconvenient scheme at their own peril!
Dimensional regularization
This freedom to use any convenient scheme is ultimately the reason why dimensional regularization may be used when defining lowenergy effective theories, even though the dimensionallyregularized effective theories involve fields with modes of arbitrarily high momentum. At first sight the necessity of having modes of arbitrarily large momenta appear in dimensionallyregularized theories would seem to make dimensional regularization inconsistent with effective field theory. After all, any dimensionallyregularized lowenergy theory would appear necessarily to include states having arbitrarily high energies.
In practice this is not a problem, so long as the effective interactions are chosen to properly reproduce the dimensionallyregularized scattering amplitudes of the full theory (orderbyorder in 1/M). This is possible ultimately because the difference between the cutoff and dimensionallyregularized lowenergy theory can itself be parameterized by appropriate local effective couplings within the lowenergy theory. Consequently, any regularizationdependent properties will necessarily drop out of final physical results, once the (renormalized) effective couplings are traded for physical observables.
In practice this means that one does not construct a dimensionallyregularized effective theory by explicitly performing a path integral over successively higherenergy momentum modes of all fields in the underlying theory. Instead one defines effective dimensionally regularized theories for which heavy fields are completely removed. For instance, suppose it is the lowenergy influence of a heavy particle h having mass M which is of interest. Then the highenergy theory consists of a dimensionallyregularized collection of light fields ℓ_{i} and h, while the effective theory is a dimensionallyregularized theory of the light fields ℓ_{i} only. The effective couplings of the lowenergy theory are obtained by performing a matching calculation, whereby the couplings of the lowenergy effective theory are chosen to reproduce scattering amplitudes or Green’s functions of the underlying theory orderbyorder in powers of the inverse heavy scale 1/M. Once the couplings of the effective theory are determined in this way in terms of those of the underlying fundamental theory, they may be used to compute any purely lowenergy observable.
An important technical point arises if calculations are being done to oneloop accuracy (or more) using dimensional regularization. For these calculations it is convenient to trade the usual minimalsubtraction (or modifiedminimalsubtraction) renormalization scheme, for a slightly modified decoupling subtraction scheme [149, 124, 125]. In this scheme couplings are defined using minimal (or modifiedminimal) subtraction between successive particle threshholds, with the couplings matched from the underlying theory to the effective theory as each heavy particle is successively integrated out. This results in a renormalization group evolution of effective couplings which is almost as simple as for minimal subtraction, but with the advantage that the implications of heavy particles in running couplings are explicitly decoupled as one passes to energies below the heavy particle mass. Some textbooks which describe effective Lagrangians are [74, 59]; some reviews articles which treat lowenergy effective field theories (mostly focussing on pion interactions) are [117, 108, 114, 133, 127, 100, 75].
A great advantage of the dimensionallyregularized effective theory is the absence of the cutoff scale Λ, which implies that the only dimensionful scales which arise are physical particle masses. This was implicitly used in the powercounting arguments given earlier, wherein integrals over loop momenta were replaced by powers of heavy masses on dimensional grounds. This gives a sufficiently accurate estimate despite the ultraviolet divergences in these integrals, provided the integrals are dimensionally regularized. For effective theories it is powers of the arbitrary cutoff scale Λ which would arise in these estimates, and because Λ cancels out of physical quantities, this just obscures how heavy physical masses appear in the final results.
The meaning of renormalizability
The previous discussion about the cancellation between the cutoffs on virtual lightparticle momenta and the explicit cutoffdependence of \({{\mathcal L}_{{\rm{eff}}}}\) is eerily familiar. It echoes the traditional discussion of the cancellation of the regularized ultraviolet divergences of loop integrals against the regularization dependence of the counterterms of the renormalized Lagrangian. There are, however, the following important differences:

The cancellations in the effective theory occur even though Λ is not sent to infinity, and even though \({{\mathcal L}_{{\rm{eff}}}}\) contains arbitrarily many terms which are not renormalizable in the traditional sense (i.e., terms whose coupling constants have dimensions of inverse powers of mass in fundamental units where ħ = c =1).

Whereas the cancellation of regularization dependence in the traditional renormalization picture appears adhoc and implausible, those in the effective Lagrangian are sweet reason personified. This is because they simply express the obvious fact that Λ only was introduced as an intermediate step in a calculation, and so cannot survive uncancelled in the answer.
This resemblance suggests Wilson’s physical reinterpretation of the renormalization procedure. Rather than considering a model’s classical Lagrangian, such as \({\mathcal L}\) of Equation (1), as something pristine and fundamental, it is better to think of it also as an effective Lagrangian obtained by integrating out still more microscopic degrees of freedom. The cancellation of the ultraviolet divergences in this interpretation is simply the usual removal of an intermediate step in a calculation to whose microscopic part we are not privy.
LowEnergy Quantum Gravity
According to the approach just described, nonrenorma1izable theories are not fundamentally different from renormalizable ones. They simply differ in their sensitivity to more microscopic scales which have been integrated out. It is instructive to see what this implies for the nonrenormalizable theories which sometimes are required to successfully describe experiments. This is particularly true for the most famous such case, Einstein’s theory of gravity. (See [58] for another pedagogical review of gravity as an effective theory.)
General relativity as an effective theory
The lowenergy degrees of freedom in this case are the metric g_{μν} of spacetime itself. As has been seen in previous sections, Einstein’s action for this theory should be considered to be just one term in a sum of all possible interactions which are consistent with the symmetries of the lowenergy theory (which in this case are: general covariance and local Lorentz invariance). Organizing the resulting action into powers of derivatives of the metric leads to the following effective Lagrangian:
Here R_{μνλρ} is the metric’s Riemann tensor, R_{μν} is its Ricci tensor, and R is the Ricci scalar, each of which involves precisely two derivatives of the metric. For brevity only one representative example of the many possible curvaturecubed terms is explicitly written. (We use here Weinberg’s curvature conventions [147], which differ from those of Misner, Thorne, and Wheeler [122] by an overall sign.)
The first term in Equation (28) is the cosmological constant, which is dropped in what follows since the observed size of the universe implies λ is extremely small. There is, of course, no real theoretical understanding why the cosmological constant should be this small (a comprehensive review of the cosmological constant problem is given in [152]; for a recent suggestion in the spirit of effective field theories see [3, 27]). Once the cosmological term is dropped, the leading term in the derivative expansion is the one linear in R, which is the usual EinsteinHilbert action of general relativity. Its coefficient defines Newton’s constant (and so also the Planck mass, \(M_{\rm{P}}^{ 2} = 8\pi G\)).
The explicit mass scales, m and M_{p}, are introduced to ensure that the remaining constants a, b, c, d and e appearing in Equation (28) are dimensionless. Since it appears in the denominator, the mass scale m can be considered as the smallest microscopic scale to have been integrated out to obtain Equation (28). For definiteness we might take the electron mass, m = 5 × 10^{−4} GeV, for m when considering applications at energies below the masses of all elementary particles. (Notice that contributions like m^{2}R or \({R^3}/M_{\rm{P}}^2\) could also exist, but these are completely negligible compared to the terms displayed in Equation (28).)
Redundant interactions
As discussed in the previous section, some of the interactions in the Lagrangian (28) may be redundant, in the sense that they do not contribute independently to physical observables (like graviton scattering amplitudes about some fixed geometry, say). To eliminate these we are free to drop any terms which are either total derivatives or which vanish when evaluated at solutions to the lowerorder equations of motion.
The freedom to drop total derivatives allows us to set the couplings d and e to zero. We can drop e because \(\sqrt { g} \square R = {\partial _\mu}[\sqrt { g} {\nabla ^\mu}R]\), and we can drop d because the quantity
integrates to give a topological invariant in 4 dimensions. That is, in 4 dimensions \(\chi (M) = (1/32{\pi ^2})\int\nolimits_M {\sqrt g X\,{d^4}x}\) gives the Euler number of a compact manifold M — and so X is locally a total derivative. It is therefore always possible to replace, for example, R_{μνλρ}R^{μνλρ} in the effective Lagrangian with the linear combination 4R_{μν} R^{μν} − R^{2}, with no consequences for any observables which are insensitive to the overall topology of spacetime (such as the classical equations, or perturbative particle interactions). Any such observable therefore is unchanged under the replacement (a, b, d) − (a′, b′, d′) = (a − d, b + 4d, 0).
The freedom to perform field redefinitions allows further simplification (just as was found for the toy model in earlier sections). To see how this works, consider the infinitesimal field redefinition δg_{μν} = Y_{μν}, under which the leading term in \({{\mathcal L}_{{\rm{eff}}}}\) undergoes the variation
In particular, we may set the constants a and b to zero simply by choosing \(M_{\rm{P}}^2{Y_{\mu \nu}} = 2a\;{R_{\mu \nu}}  (a + 2b)R{g_{\mu \nu}}\). Since the variation of the lowerorder terms in the action are always proportional to their equations of motion, quite generally any term in \({{\mathcal L}_{{\rm{eff}}}}\) which vanishes on use of the lowerorder equations of motion can be removed in this way (order by order in 1/m and 1/M_{p}).
Since the lowestorder equations of motion for pure gravity (without a cosmological constant) imply R_{μν} = 0, we see that all of the interactions beyond the EinsteinHilbert term which are explicitly written in Equation (28) can be removed in one of these two ways. The first interaction which can have physical effects (for pure gravity with no cosmological constant) in this lowenergy expansion is therefore proportional to the cube of the Riemann tensor.
This last conclusion changes if matter or a cosmological constant are present, however, since then the lowestorder field equations become R_{μν} = S_{μν} for some nonzero tensor S_{μν}. Then terms like R^{2} or R_{μν}R^{μν} no longer vanish when evaluated at the solutions to the equations of motion, but are instead equivalent to interactions of the form \({({S^\mu}_\mu)^2}\), S_{μν}R^{μν}, or S_{μν}S^{μν}. Since some of our later applications of \({{\mathcal L}_{{\rm{eff}}}}\) are to the gravitational potential energy of various localized energy sources, we shall find that these terms can generate contact interactions amongst these sources.
Power counting
Since gravitons are weakly coupled, perturbative powercounting may be used to see how the highenergy scales M_{p} and m enter into observables like graviton scattering amplitudes about some fixed macroscopic metric. We now perform this power counting along the lines of previous sections for the interactions of gravitons near flat space: g_{μν} = η_{μν} + h_{μν}. For the purposes of this power counting all we need to know about the curvatures is that they each involve all possible powers of — but only two derivatives of — the fluctuation field h_{μν}.
A powercounting estimate for the Lloop contribution to the \({\mathcal E}\)point gravitonscattering amplitude \({{\mathcal A}_{\mathcal E}}\), which involves V_{id} vertices involving d derivatives and the emission or absorption of i gravitons, may be found by arguments identical to those used previously for the toy model. The main difference from the toymodel analysis is the existence for gravity of interactions involving two derivatives, which all come from the EinsteinHilbert term in \({{\mathcal L}_{{\rm{eff}}}}\). (Such terms also arise for Goldstone bosons for symmetrybreaking patterns involving nonAbelian groups and are easily incorporated into the analysis.) The resulting estimate for \({{\mathcal A}_{\mathcal E}}\) turns out to be of order
where \(Z = \Sigma _{id}^{\prime}{V_{id}}\) and \(P = 2 + 2L + \Sigma _{id}^{\prime}(d  2){V_{id}}\). The prime on both of these sums indicates the omission of the case d = 2 from the sum over d. If we instead group the terms involving powers of L and V_{ik}, Equation (31) takes the equivalent form
Notice that since d is even, the condition d > 2 in the product implies there are no negative powers of E in this expression.
Equations (31) and (32) share many of the noteworthy features of Equations (26) and (27). Again the weakness of the graviton’s coupling follows only from the lowenergy approximations, E ≪ M_{p} and E ≪ m. When written as in Equation (32), it is clear that even though the ratio E/m is potentially much larger than E/M_{p}, it does not actually arise in \({{\mathcal A}_{\mathcal E}}\) unless contributions from at least curvaturecubed interactions are included (for which d = 6).
These expressions permit a determination of the dominant lowenergy contributions to scattering amplitudes. The minimum suppression comes when L = 0 and P = 2, and so is given by arbitrary tree graphs constructed purely from the EinsteinHilbert action. We are led in this way to what we are in any case inclined to believe: It is classical general relativity which governs the lowenergy dynamics of gravitational waves!
But the nexttoleading contributions are also quite interesting. These arise in one of two ways, either (i) L =1 and V_{id} = 0 for any d = 2, or (ii) L = 0, ∑_{i} V_{i4} = 1, V_{i2} is arbitrary, and all other V_{id} vanish. That is, the next to leading contribution is obtained by computing the oneloop corrections using only Einstein gravity, or by working to tree level and including precisely one curvaturesquared interaction in addition to any number of interactions from the EinsteinHilbert term. Both are suppressed compared to the leading term by a factor of (E/M_{p})^{2}, and the oneloop contribution carries an additional factor of (1/4π)^{2}.
For instance, for 2body graviton scattering we have \({\mathcal E}=4\), and so the above arguments imply the leading behaviour is \({{\mathcal A}_4}(E) \sim {A_2}{(E/{M_{\rm{P}}})^2} + {A_4}{(E/{M_{\rm{P}}})^4} + \ldots\), where the numbers A_{2} and A_{4} have been explicitly calculated. At tree level all of the amplitudes turn out to vanish except for those which are related by crossing symmetry to the amplitude for which all graviton helicities have the same sign, and this is given by [52]:
where s, t and u are the usual Mandelstam variables, all of which are proportional to the square of the centreofmass energy E_{cm}. Besides vindicating the powercounting expectation that \({\mathcal A} \sim {(E/{M_{\rm{P}}})^2}\) to leading order, this example also shows that the potentially framedependent energy E, which is relevant in the powercounting analysis, is in this case really the invariant centreofmass energy E_{cm}.
The oneloop correction to this result has also been computed [64], and is infrared divergent. These infrared divergences cancel in the usual way with treelevel bremsstrahlung diagrams [144], leading to a finite result [62], which is suppressed as expected relative to the tree contribution by terms of order (E/4πM_{p})^{2}, up to logarithmic corrections.
Including matter
The observables of most practical interest for experimental purposes involve the gravitational interactions of various kinds of matter. It is therefore useful to generalize the previous arguments to include matter and gravity coupled to one another. In most situations this generalization is reasonably straightforward, but somewhat paradoxically it is more difficult to treat the interactions of nonrelativistic matter than of relativistic matter. This section describes the reasons for this difference.
Relativistic matter
Consider first relativistic matter coupled to gravity. Rather than describing the general case, it suffices for the present purposes to consider instead a relativistic boson (such as a massless scalar or a photon) coupled to gravity but which does not selfinteract. The matter Lagrangian for such a system is then
and so the new interaction terms all involve at most two matter fields, two derivatives, and any number of undifferentiated metric fluctuations. This system is simple enough to include directly into the above analysis provided the gravitonmatter vertices are counted together with those from the EinsteinHilbert term when counting the vertices having precisely two derivatives with V_{i2}.
Particular kinds of higherderivative terms involving the matter fields may also be included equally trivially, provided the mass scales which appear in these terms appear in the same way as they did for the graviton. For instance, scalar functions built from arbitrary powers of A_{μ}/M_{p} and its derivatives ℂ_{μ}/m can be included, along the lines of
if the dimensionless constant c_{kn} in these expressions is then the powercounting result for the dependence of amplitudes on m and M_{p} is the same as it is for the puregravity theory, with vertices formed from \(\Delta {{\mathcal L}_n}\) counted amongst those with d = (2 + 2k)n derivatives. If m ≪ M_{p} it is more likely that powers of A_{μ} come suppressed by inverse powers of m rather than M_{p}, however, in which case additional A_{μ} vertices are less suppressed than would be indicated above. The extension of the earlier powercounting estimate to this more general situation is straightforward.
Similar estimates also apply if a mass for the scalar field is included, provided that this mass is not larger than the energy flowing through the external lines: m_{ϕ} ≲ E. This kind of mass does not change the powercounting result appreciably for observables which are infrared finite (which may require, as mentioned above summing over an indeterminate number of soft final gravitons). They do not change the result because infraredfinite quantities are at most logarithmically singular as m_{ϕ} → 0 [150], and so their expansion in m_{ϕ}/E simply adds terms for which factors of E are replaced by smaller factors of m_{ϕ}. But the above discussion can change dramatically if m_{ϕ} ≫ E, since an important ingredient in the dimensional estimate is the assumption that the largest scale in the graph is the external energy E. Consequently the powercounting given above only directly applies to relativistic particles.
Nonrelativistic matter
The situation is more complicated if the matter particles move nonrelativistically, since in this case the particle mass is much larger than the momenta involved in the external lines, p = ∣p∣ ≪ m_{ϕ}, so E ≈ m_{ϕ} + p^{2}/(2m_{ϕ}) + …. We expect quantum corrections to the gravitational interactions of such particles also to be suppressed (such as, for instance, for the Earth) despite the energies and momenta involved being much larger than M_{p}. Indeed, most of the tests of general relativity involve the gravitational interactions and orbits of very nonrelativistic ‘particles’, like planets and stars. How can this be understood?
The case of nonrelativistic particles is also of real practical interest for the applications of effective field theories in other branches of physics. This is so, even though one might think that an effective theory should contain only particles which are very light. Nonrelativistic particles can nevertheless arise in practice within an effective field theory, even particles having masses which are large compared to those of the particles which were integrated out to produce the effective field theory in the first place. Such massive particles can appear consistently in a lowenergy theory provided they are stable (or extremely longlived), and so cannot decay and release enough energy to invalidate the lowenergy approximation. Some wellknown examples of this include the lowenergy nuclear interactions of nucleons (as described within chiral perturbation theory [153, 154, 101, 110]), the interactions of heavy fermions like the b and t quark (as described by heavyquark effective theory (HQET) [91, 92, 109]), and the interactions of electrons and nuclei in atomic physics (as described by nonrelativistic quantum electrodynamics (NRQED) [34, 112, 104, 105, 128, 111]).
The key to understanding the effective field theory for very massive, stable particles at low energies lies in the recognition that their antiparticles need not be included since they would have already been integrated out to obtain the effective field theory of interest. As a result heavyparticle lines within the Feynman graphs of the effective theory only directly connect external lines, and never arise as closed loops.
The most direct approach to estimating the size of quantum corrections in this case is to powercount as before, subject to the restriction that graphs including internal closed loops of heavy particles are to be excluded. Donoghue and Torma [61] have performed such a powercounting analysis along these lines, and shows that quantum effects remain suppressed by powers of lightparticle energies (or small momentum transfers) divided by M_{p} through the first few nontrivial orders of perturbation theory. Although heavyparticle momenta can be large, p ≫ M_{p}, they only arise in physical quantities through the small relativistic parameter p/m_{ϕ} ∼ v rather than through p/M_{p}, extending the suppression of quantum effects obtained earlier to nonrelativistic problems.
Unfortunately, if a calculation is performed within a covariant gauge, individual Feynman graphs can depend on large powers like m_{ϕ}/M_{p}, even though these all cancel in physical amplitudes. For this reason an allorders inductive proof of the above powercounting remains elusive. As Donoghue and Torma [61] also make clear, progress towards such an allorders powercounting result is likely to be easiest within a physical, noncovariant gauge, since such a gauge allows powers of small quantities like v to be most easily followed.
Nonrelativistic effective field theory
If experience with electromagnetism is any guide, effective field theory techniques are also likely to be the most efficient way to systematically keep track of both the expansion in inverse powers of both heavy masses, 1/M_{p} and 1/m_{ϕ} — particularly for bound orbits. Relative to the theories considered to this point, the effective field theory of interest has two unusual properties. First, since it involves very slowlymoving particles, Lorentz invariance is not simply realized on the corresponding heavyparticle fields. Second, since the effective theory does not contain antiparticles for the heavy particles, the heavy fields which describe them contain only positivefrequency parts. To illustrate how these features arise, we briefly sketch how such a nonrelativistic effective theory arises once the antiparticles corresponding to a heavy stable particle are integrated out. We do so using a toy model of a single massive scalar field, and we work in position space to facilitate the identification of the couplings to gravitational fields.
Consider, then, a complex massive scalar field (we take a complex field to ensure lowenergy conservation of heavyparticle number) having action
for which the conserved current for heavyparticle number is
Our interest is in exhibiting the leading couplings of this field to gravity, organized in inverse powers of m_{ϕ}. We imagine therefore a family of observers relative to whom the heavy particles move nonrelativistically, and whose foliation of spacetime allows the metric to be written as
where i = 1, 2, 3 labels coordinates along the spatial slices which these observers define.
When treating nonrelativistic particles it is convenient to remove the rest mass of the heavy particle from the energy, since (by assumption) this energy is not available to other particles in the lowenergy theory. For the observers just described this can be done by extracting a timedependent phase from the heavyparticle field according to \(\phi (x) = F{e^ }^{i{m_\phi}t}\chi (x)\). F = (2m_{ϕ})^{−1/2} is chosen for later convenience, to ensure a conventional normalization for the field χ. With this choice we have ∂_{t}ϕ = F(∂_{t} − im_{ϕ})χ, and the extra m_{ϕ}dependence introduced this way has the effect of making the largem_{ϕ} limit of the positivefrequency part of a relativistic action easier to follow.
With these variables the action for the scalar field becomes
and the conserved current for heavyparticle number becomes
Here g^{tt} = −1/D, g^{ti} = N^{i}/D, and g^{ij} = γ^{ij} − N^{i}N^{j}/D, with N^{i} = γ^{ij}N_{j} and D = 1 + 2ϕ + γ^{ij} N_{i}N_{j}.
Notice that for Minkowski space, where g^{μν} = η^{μν} = diag(−, +, +, +), the first term in \({\mathcal L}\) vanishes, leaving a result which is finite in the m_{ϕ} → ∞ limit. Furthermore — keeping in mind that the leading time and space derivatives are of the same order of magnitude (∂_{t} ∼ ∇^{2}/m_{ϕ}) — the leading largem_{ϕ} part of \({\mathcal L}\) is equivalent to the usual nonrelativistic Schrödinger Lagrangian density, \({L_{{\rm{sch}}}} = \chi^{\ast}[i{\partial _t} + {\nabla ^2}/(2{m_\phi})]\chi\). In the same limit the density of χ particles also takes the standard Schrödinger form \(\rho = {J^t} = \chi^{\ast}\chi + {\mathcal O}(1/{m_\phi})\).
The next step consists of integrating out the antiparticles, which (by assumption) cannot be produced by the lowenergy physics of interest. In principle, this can be done by splitting the relativistic field χ into its positive and negativefrequency parts χ(±), and performing the functional integral over the negativefrequency part χ(−). (To leading order this often simply corresponds to setting the negativefrequency part to zero.) Once this has been done the fields describing the heavy particles have the nonrelativistic expansion
with no antiparticle term involving \(a_p^{\ast}\). It is this step which ensures the absence of virtual heavyparticle loops in the graphical expansion of amplitudes in the lowenergy effective theory.
Writing the heavyparticle action in this way extends the standard parameterized postNewtonian (PPN) expansion [69, 67, 68, 147] to the effective quantum theory, and so forms the natural setting for an allorders powercounting analysis which keeps track of both quantum and relativistic effects. For instance, for weak gravitational fields having ϕ ∼ N^{2} ∼ γ_{ij} − ≪ 1, the leading gravitational coupling for large may be read off from Equation (39) to be
which for N_{i} = 0 reproduces the usual Newtonian coupling of the potential ϕ to the nonrelativistic mass distribution. For several χ particles prepared in position eigenstates we are led in this way to considering the gravitational field of a collection of classical point sources.
The real power of the effective theory lies in identifying the subdominant contributions in powers of 1/m_{ϕ}, however, and the above discussion shows that different components of the metric couple to matter at different orders in this small quantity. Once ϕ is shifted by the static nonrelativistic Newtonian potential, however, the remaining contributions are seen to couple with a strength which is suppressed by negative powers of m_{ϕ}, rather than positive powers. A full powercounting analysis using such an effective theory, along the lines of the analogous electromagnetic problems [34, 112, 104, 105, 128, 111], would be very instructive.
Effective field theory in curved space
All of the explicit calculations of the previous sections are performed for weak gravitational fields, which are well described as perturbations about flat space. This has the great virtue of being sufficiently simple to make explicit calculations possible, including the widespread use of momentumspace techniques. Much less is known in detail about effective field theory in more general curved spaces, although its validity is implicitly assumed by the many extant calculation of quantum effects in curved space [19], including the famous calculation of Hawking radiation [88, 89] by black holes. This section provides a brief sketch of some effectivefield theory issues which arise in curvedspace applications.
For quantum systems in curved space we are still interested in the gravitational action, Equation (28), possibly supplemented by a matter action such as that of Equation (36). As before, quantization is performed by splitting the metric into a classical background ĝ_{μν} and a quantum fluctuation h_{μν} according to g_{μν} = ĝ_{μν} + h_{μν}. A similar expansion may be required for the matter fields \(\phi = \hat\phi + \delta \phi\), if these acquire vacuum expectation values \(\hat\phi\).
The main difference from previous sections is that ĝ_{μν} is not assumed to be the Minkowski metric. Typically we imagine the spacetime may be foliated by a set of observers, as in Equation (38),
and we imagine that the slices of constant t are Cauchy surfaces, in the sense that the future evolution of the fields is uniquely specified by initial data on a constantt slice. The validity of this initialvalue problem may also require boundary conditions for the fluctuations h_{μν} such as that they vanish at spatial infinity.
When should effective Lagrangians work?
Many of the general issues which arise in this problem are similar to those which arise outside of gravitational physics when quantum fields are considered in the presence of background classical scalar or electromagnetic fields. In particular, there is a qualitative difference between the cases where the background fields are timeindependent or timedependent. The purpose of this section is to argue that we expect an effective field theory to work provided that the background fields vary sufficiently slowly with respect to time, an argument which in its relativistic context is called the ‘nice slice’ criterion [131].
Timeindependent backgrounds
In flat space, background fields which are timetranslation invariant allow the construction of a conserved energy H, which evolves forward the fields from one t slice to another. If H is bounded below^{Footnote 3}, then a stable ground state for the quantum fields (the ‘vacuum’) typically exists, about which small fluctuations can be explored perturbatively. Since energy can be defined and is conserved, it can be used as a criterion for defining an effective theory which distinguishes between states which are ‘lowenergy’ or ‘highenergy’ as measured using H. Once this is possible, a lowenergy effective theory may be defined, and we expect the general uncertaintyprinciple arguments given earlier to ensure that it is local in time.
A similar statement holds for background gravitational fields, with a conserved Hamiltonian following from the existence of a timelike Killing vector field K^{μ} for the background metric ĝ_{μν}^{Footnote 4}. For matter fields H is defined in terms of K^{μ} and the stress tensor T_{μν} by the integral
Here the integral is over any spacelike slice whose measure is dΣ_{μ}. Given appropriate boundary conditions this definition can also be extended to the fluctuations h_{μν} of the gravitational field [7, 8, 9, 10, 14, 16, 15, 11, 12, 13, 1].
If the timelike Killing vector K^{μ} is hypersurface orthogonal, then the spacetime is called static, and it is possible to adapt our coordinates so that K^{μ}∂_{μ} = ∂_{t} and so the metric of Equation (43) specializes to N_{i} = 0, with ϕ and γ_{ij} independent of t. In this case we call the observers corresponding to these coordinates ‘Killing’ observers. In order for these observers to describe physics everywhere, it is implicit that the timelike Killing vector K^{μ} be globally defined throughout the spacetime of interest.
If H is defined and is bounded from below, its lowest eigenstate defines a stable vacuum and allows the creation of a Fock space of fluctuations about this vacuum. As was true for nongravitational background fields, in such a case we might again expect to be able to define an effective theory, using H to distinguish ‘lowenergy’ from ‘highenergy’ fluctuations about any given vacuum.
It is often true that K^{μ} is not unique because there is more than one globallydefined timelike Killing vector in a given spacetime. For instance, this occurs in flat space where different inertial observers can be rotated, translated, or boosted relative to one another. In this case the Fock space of states to which each of the observers is led are typically all unitarily equivalent to one another, and so each observer has an equivalent description of the physics of the system.
An important complication to this picture arises when the timelike Killing vector field cannot be globally defined throughout all of the spacetime. In this case horizons exist, which divide the regions having timelike Killing vectors from those which do not. Often the Killing vector of interest becomes null at the boundaries of these regions. Examples of this type include the accelerated ‘Rindler’ observers of flat space, as well as the static observers outside of a black hole. In this case it is impossible to foliate the entire spacetime using static slices which are adapted to the Killing observer, and the above construction must be reconsidered.
Putting the case of horizons aside for the moment, we expect that a sensible lowenergy/highenergy split should be possible if the background spacetime is everywhere static, and if the conserved energy H is bounded from below.
Timedependent backgrounds
In nongravitational problems, timedependence of the background fields need not completely destroy the utility of a Hamiltonian or of a ground state, provided that this time dependence is sufficiently weak as to be treated adiabatically. In this case the lowest eigenstate of H(t) for any given time defines both an approximate ground state and an energy in terms of which lowenergy and highenergy states can be defined (such as by using an appropriate eigenvalue Λ(t) of H(t)).
Once the system is partitioned in this way into lowenergy and highenergy state, one can ask whether a purely lowenergy description of time evolution is possible using only a lowenergy, local effective Lagrangian. The main danger which arises with timedependent backgrounds is that the time evolution of the system need not keep lowenergy states at low energies, or highenergy states at high energies. There are several ways in which this might happen:

The time dependence of the background can be rapid, for instance having Fourier components which are larger than the dividing line Λ(t) between lowenergy and highenergy states. If so, the background evolution is not sufficiently adiabatic to prevent the direct production of ‘heavy’ particles, and an effective field theory need not exist. The criterion for this not to happen would be that the energies of any produced particles be smaller than the dividing eigenvalue Λ(t), which typically requires that Λ(t) be much smaller than the background time dependence, for instance if \(\Lambda \ll \dot \Lambda/\Lambda\).

Even for slowlyvarying backgrounds there can be other dangers, such as the danger of levelcrossing. For instance the dividing eigenvalue Λ(t) may slowly evolve to smaller values and so eventually invalidate an expansion in inverse powers of Λ(t). In this case states which are prepared in the lowenergy regime may evolve out of it, leading to a breakdown in the lowenergy approximation. For instance, this might happen if Λ(t) were chosen to be the mass of an initially heavy particle, which is integrated out to obtain the effective theory. If evolution of the background fields allows this mass to evolve to become too low, then eventually it becomes a bad approximation to have integrated it out.

A related potential problem can arise if states whose energy is initially larger than Λ(t) enter the lowenergy theory by evolving into states having energy lower than Λ(t)^{Footnote 5}. This usually is only a problem for the effectivetheory formulation if the states which enter in this way are not in their ground state when they do so, since then new physical excitations would arise at low energies. Conversely, they are not a problem for the effective field theory description so long as they enter in their ground states, as can usually be ensured if the background time evolution is adiabatic.
What emerges from this is that an effective field theory can make sense despite the presence of timedependent backgrounds, provided one can focus on the evolution of lowenergy states (E < Λ(t)) without worrying about losing probability into highenergy states (E > Λ(t)). This is usually ensured if the background time evolution is sufficiently adiabatic.
A similar story should also hold for background spacetimes which are not globally static, but for which a globallydefined timelike hypersurfaceorthogonal vector field V^{μ} exists. For such a spacetime the observers for whom V^{μ} is tangent to worldlines can define a foliation of spacetime, as in Equation (43), but with the various metric components not being tindependent. In this case the quantity defined by Equation (44) need not be conserved, H = H(t), for these observers. A lowenergy effective theory should nonetheless be possible, provided H(t) is bounded from below and is sufficiently slowly varying (in the senses described above). If such a foliation of spacetime exists, following [131] we call it a ‘nice slice’.
General power counting
Given an effective field theory, the next question is to analyze systematically how small energy ratios arise within perturbation theory. Since the key powercounting arguments of the previous sections were given in momentum space, a natural question is to ask how much of the previous discussion need apply to quantum fluctuations about more general curved spaces. In particular, does the argument that shows how large quantum effects are at arbitraryloop +order apply more generally to quantum field theory in curved space?
An estimate of higherloop contributions performed in position space is required in order to properly apply the previous arguments to more general settings. Such a calculation is possible because the crucial part of the earlier estimate relied on an estimate for the highenergy dependence of a generic Feynman graph. This estimate was possible on dimensional grounds given the highenergy behaviour of the relevant vertices and propagators. The analogous computation in position space is also possible, where it instead relies on the operator product expansion [157, 41]. In position space one’s interest is in how effective amplitudes behave in the shortdistance regime, rather than the limit of high energy. But the shortdistance limit of propagators and vertices are equally wellknown, and resemble the shortdistance limit which is obtained on flat space. Consequently general statements can be made about the contributions to the lowenergy effective theory.
Physically, the equivalence of the shortdistance positionspace and highenergy momentumspace estimates is expected because the highenergy contributions arise due to the propagation of modes having very small wavelength λ. Provided this wavelength is very small compared with the local radius of curvature r_{c} particle propagation should behave just as if it had taken place in flat space. One expects the most singular behaviour to be just as for flat space, with curvature effects appearing in subdominant corrections as powers of λ/r_{c}.
Unfortunately, although the result is not in serious doubt, such a general positionspace estimates for gravitational physics on curved space has not yet been done explicitly at arbitrary orders of perturbation theory. Partial results are known, however, including general calculations of the leading oneloop ultraviolet divergences in curved space [76, 36, 37, 116].
Horizons and large redshifts
Among the most interesting applications of effective field theory ideas to curved space is the study of quantum effects near black holes and in the early universe. In particular, for massive black holes (M ≫ M_{p}) one expects semiclassical arguments to be valid since the curvature at the horizon is small and the interesting phenomena (like Hawking radiation) rely only on the existence of the horizon rather than on any properties of the spacetime near the internal curvature singularity [142]. Although the powercounting near the horizon has not been done in the same detail as it has been for the asymptotic regions, semiclassical effectivefieldtheory arguments at the horizon are expected to be valid. Similar statements are also expected to be true for calculations of particle production in inflationary universes.
An objection has been raised to the validity of effective field theory arguments in both the black hole [140, 94, 95] and inflationary [96, 115, 23] contexts. For both of these cases the potential difficulty arises if one compares the energy of the modes as measured by different observers situated throughout the spacetime. For instance, a mode which emerges far from a black hole at late times with an energy (as seen by static and freelyfalling observers) close to the Hawking temperature starts off having extremely high energies as seen by freelyfalling observers very close to, but outside of, the black hole’s event horizon just as it forms. The energy measured at infinity is much smaller because the state experiences an extremely large redshift as it climbs out of the black hole’s gravitational well. The corresponding situation in inflation is the phenomenon in which modes get enormously redshifted (all the way from microscopic to cosmological scales) as the universe expands.
It has been argued that these effects prevent a consistent lowenergy effective theory from being built in these situations, because very highenergy states are continuously turning up at later times at low energies. If so, this would seem to imply that a reliable calculation of phenomena like Hawking radiation (or inflationary fluctuations of the CMB) necessarily require an understanding of very high energy physics. Since we do not know what this very high energy physics is, this is another way of saying that these predictions are theoretically unreliable, since uncontrolled theoretical errors potentially contribute with the same size as the predicted effect.
The remainder of this section argues that although the concerns raised are legitimate, they are special cases of the general conditions mentioned earlier which govern the applicability of effective field theory ideas to timedependent backgrounds also in nongravitational settings. As such one expects to find robustness against adiabatic physics at high energies, and sensitivity to nonadiabatic effects. (This is borne out by the explicit calculations to date.) Given a concrete theory of what the highenergy physics is, one can then ask into which category it falls, and so better quantify the theoretical error.
Black holes
For black holes the potential highenergy difficulty can be traced to the fact that the energy of an freelyfalling object as seen by static observers becomes arbitrarily large as one approaches the event horizon. This is why the escaping modes have such high energies as seen by static observers near the horizon. This raises two separate issues for effective field theories, which are worth separating: the issue of the relevance of static observers measuring very large energies for freelyfalling objects, and the issue of highenergy states descending into the lowenergy theory as time progresses. Each of these is now discussed in turn.
The fact that freelyfalling observers measure different energies for outgoing particles, depending on their distance from the horizon, underlines that there is a certain amount of frame dependence in any effectivetheory description, even in flat space. This is so because energy is used as the criterion for deciding which states fall into the effective theory and which do not, yet any nominally lowenergy particle has a large energy as seen by a sufficiently boosted observer. In practice this is not a problem, because the validity of the effective theory description only requires the existence of lowenergy observers, not that all observers be at low energy. What is important is that the physically relevant energies for the process of interest — for instance, the centreofmass energies in a scattering event — are small in order for this process to be describable using a lowenergy theory. Once this is true, invariant quantities like cross sections take a simple lowenergy form when expressed in terms of physical kinematic variables, regardless of the energies which the particles involved have as measured by observers who are highly boosted compared to the centreofmass frame.
Flatspace experience therefore suggests that there need not be a problem associated with escaping modes having large energies as seen by freelyfalling observers. This only indicates that the use of some observers near the horizon may be problematic. So long as the physics involved does not rely crucially on these observers, it may in any case allow an effectivetheory description. This is essentially the point of view put forward in [94, 95] and [131]^{Footnote 6}, where it is argued that the robustness of the Hawking radiation to highenergy physics is most simply understood if one is careful to foliate the spacetime using slices which are chosen to be ‘nice slices’ (in the sense described above), which cut through the horizon in such a way as to encounter only small curvatures and adiabatic time variation. Since such slices exist, a lowenergy theory may be set up in terms of the slowlyvarying H(t) which these slices define. A great many calculations using nice slices have been done, including for example [44, 47, 126, 118, 119].
Of course, calculations need not explicitly use the nice slices in order to profit from their existence. In the same way that dimensional regularization can be more useful in practice for calculations in effective field theories, despite its inclusion of arbitrarily high energy modes, the sensitivity of Hawking radiation to high energies can be investigated using a convenient covariant regularization. This is because if nice slices exist, covariant calculations must reproduce the insensitivity to high energies which they guarantee. This is borne out by explicit calculations of the sensitivity of the Hawking radiation to high energies [87] using a simple covariant regularization.
The most important manner in which highenergy states can influence the Hawking radiation has been identified from noncovariant studies, such as those which model the highenergy physics as nonLorentz invariant dispersion relations for otherwise free particles [141, 24, 42]. (See [96] for a review, with references, of these calculations.) These identify the second pertinent issue mentioned above: the descent of higherenergy states into the lowenergy theory. In these calculations highenergy modes cross into the lowenergy theory because of their redshift as they climb out of the gravitational potential well of the black hole. The usual expression for the Hawking radiation follows provided that these modes enter the lowenergy theory near the black hole horizon in their adiabatic ground state (a result which can also be seen in covariant approaches, where it can be shown that the Hawking radiation depends only on the form of the singularity of the propagator near the light cone [72]). If these modes do not start off in their ground state, then they potentially cause observable changes to the Hawking radiation.
The condition that highenergy modes enter the lowenergy theory in their ground state is reminiscent of the same condition which was encountered in previous sections as a general precondition for the validity of a lowenergy effective description when there are timedependent backgrounds (including, for example, the descent of Landau levels in a decreasing magnetic field). In nongravitational contexts it is automatically satisfied if the background evolution is adiabatic, and this can also be expected to be true in the gravitational case. Of course, this expectation cannot be checked explicitly unless the theory for the relevant highenergy physics is specified, but it is borne out by all of the existing calculations. To the extent that highenergy modes do not arise in their adiabatic vacua, their effects might be observable in the Hawking radiation as well as in possibly many other observables which would otherwise be expected to be insensitive to highenergy physics.
Clearly this is good news, since it tells us that we can believe that generic quantum effects do not ruin the classical calculations using general relativity, which tell us that black holes exist. Nor do they ruin the semiclassical calculations which lead to effects like the Hawking radiation [88, 89] in the vicinity of black holes — provided that the black hole mass is much larger than M_{p} (which we shall see is required if quantum effects are to remains small at the event horizon). On the other hand, it means that we cannot predict the final stages of black hole evaporation, since these inevitably lead to small black hole masses, where the semiclassical approximation breaks down.
Inflation
Many of the issues concerning the validity of effective field theories which arise for the Hawking radiation also arise within inflationary cosmology, and have generated considerable discussion due to the recent advent of precise measurements of CMB temperature fluctuations. By analogy with the black hole case, it has been proposed [96, 115, 23] that veryhighenergy physics may not decouple from inflationary predictions due to the exponential expansion of space. If so, there might be detectable imprints on the observed temperature fluctuations in the cosmic microwave background [97]. Conversely, if highenergy effects do contaminate inflationary predictions for CMB fluctuations at an observable level, then inflationary predictions themselves must be recognized as containing an uncontrollable theoretical uncertainty. If so, their successful description of the observations cannot be deemed to be credible evidence of the existence of an earlier inflationary phase. There is clearly much at stake.
It is beyond the scope of the this article to summarize all of the intricacies associated with quantum field theory in de Sitter space, so we focus only on the parallels with the black hole situation. The bottom line for cosmology is similar to what was found for the Hawking radiation:

Observable effects can be obtained from physics associated with energies E much higher than the inflationary expansion rate H, if the states associated with the heavy physics are chosen not to be in their adiabatic vacuum^{Footnote 7}. Potentially observable effects have been obtained by explicit calculations which incorporate nonadiabatic physics of various types. For many of these the highenergy physics is modelled as a free particle having a nonLorentzinvariant dispersion relation (for a review with references, see [22]). However large Lorentzviolating interactions need not be required since similar effects are also obtained using more conventional inflationary field theories, for which background scalar fields are allowed to roll nonadiabatically [31].

If the states associated with highenergy physics are prepared in their adiabatic vacua then an effective field theory description applies. In this case most kinds of heavy physics decouple, and the vast majority of effects it can produce for the microwave background can be argued to be smaller than \({\mathcal O}({H^2}/{M^2})\) [99, 98]. Even in this case, however, larger contributions can be obtained using ordinary inflationary fieldtheory examples, where lowenergy effects can instead be suppressed by powers of m/M rather than H/M, where m is a light scale which need not be as small as H [30].
Again the final picture which emerges is encouraging. The criteria for validity of effective field theories appear to be the same for gravity as they are in nongravitational situations. In particular, for a very broad class of highenergy physics effective field theory arguments apply, and so theoretical predictions for the fluctuations in the CMB are robust in the sense that they are insensitive to most of the details of this physics. But some kinds of highenergy effects can produce observable phenomena, and these should be searched for.
Explicit Quantum Calculations
Although the ideas presented in here have been around for more than twenty years [148], explicit calculations based on them have only recently been made. Two of these are summarized in this section.
Nonrelativistic point masses in three spatial dimensions
The first example to be considered consists of quantum corrections to the potential energy V(r) of gravitational interaction for two large, slowlymoving point masses separated by a distance r. Working to leading order in source velocities v, we expect the leading behavior for large source masses to be the Newtonian gravitational interaction of two classical, static point sources of energy:
Our interest is in the quantum and relativistic corrections to this Newtonian limit, as described by the gravitational action, Equation (28), plus the appropriate source action (like, for instance, Equation (39)). For point sources which are separated by a large distance r we expect these corrections to be weak, and so they should be calculable in perturbation theory about flat space. The strength of the gravitational interaction at large separation is controlled by two small dimensionless quantities, which suggest themselves on dimensional grounds. Temporarily reinstating factors of ħ and c, these small parameters are Għ/r^{2}c^{3} and GM_{i}/rc^{2}. Both tend to zero for large r, and as we shall see, the first controls the size of quantum corrections and the second controls the size of relativistic corrections^{Footnote 8}.
Definition of the potential
Because there is some freedom of choice in the definition of an interaction potential in a relativistic field theory, we first pause to consider some of the definitions which have been considered. Although more sophisticated possibilities are possible [123, 43], for systems near the flatspace limit a natural definition of the interaction potential between slowlymoving point masses can be made in terms of their scattering amplitudes.
Consider, then, two particles which scatter nonrelativistically, with each undergoing a momentum transfer, Δp_{1} = −Δp_{2} ≡ q, in the centerofmass frame. The most direct definition of the interaction potential V(r) of these two particles is to define its matrix elements within singleparticle states to reproduce the full fieldtheoretical amplitude for this scattering. For instance, if the fieldtheoretic scattering matrix takes the form \(\left\langle {f\vert T\vert i} \right\rangle = {(2\pi)^4}{\delta ^4}({p_{\rm{f}}}  {p_{\rm{i}}}){\mathcal A}(q)\), the potential V would be defined by
The positionspace potential is then given by V(r) = N(2π)^{−3} ∫ d^{3}qṼ(q). The overall normalization N depends on the conventions used for the normalization of the initial and final states, and is chosen to ensure the proper form for the Newtonian interaction.
Several other definitions for the interaction potential have also been considered by various workers, some of which we now briefly list.
Oneparticlereducible amplitude
An alternative definition, followed in [57, 56, 5], is to define the interaction potential in terms of the oneparticlereducible part of the amplitude \({{\mathcal A}_{1{\rm{PR}}}}\) — see Figure 2 — as is commonly done for quantum electrodynamics and quantum chromodynamics. The logic of this choice is that because the graviton propagator varies as 1/q^{2}, for small q^{2} graviton exchange dominates verylongdistance interactions. It has the disadvantage that the oneparticlereducible graphs are not observable in themselves, and so need not form a gaugeinvariant subset. Nevertheless, the results obtained from this definition can be interpreted [60, 21] as giving the leading quantum corrections to the Schwarzschild, KerrNewman, and ReisnerNordström metrics.
Vacuum polarization
Some early workers defined the interaction potential in terms of the purely vacuum polarization subset of the 1particlereducible graphs [63, 33, 80]. The motivation for such a choice is that these are the only graphs which would arise for a purely classical source, which macroscopic objects like planets or stars were expected to be. It is important to recognize that the powercounting arguments given earlier necessarily require the inclusion of vertex corrections at the same order in small quantities as the vacuum polarization graphs. The necessity for so doing shows that there is no limit in which a source for the gravitational field can be considered to be precisely classical. This nonclassicality arises because the gravitational field itself carries energy, and its quantum fluctuations do not decouple in the largemass limit due to the growth which the gravitational coupling experiences in this limit.
Calculation of the interaction potential
We now describe the results of recent explicit calculations of the gravitational potential just defined. A number of these calculations have now been performed [82, 93, 83, 86, 102, 103, 90], and it is the results of [57, 56, 21, 20] which are summarized here.
For any of these potentials, scattering at large distances (r → ∞) — i.e., large impact parameters — corresponds to small momentum transfers, q^{2} → 0. Because corrections to the Newtonian limit involve the interchange of massless gravitons, in general scattering amplitudes are not analytic in this limit. In particular, in the present instance the smallq^{2} limit to the scattering amplitude turns out to behaves as
where \({{\mathcal A}_{{\rm{an}}}} = {A_0} + {A_2}{{\bf{q}}^2}\) is an analytic function of q^{2} near q^{2} =0.
In position space the first three terms of Equation (47) correspond to terms which fall off with r like k_{2}/r, k_{1}/r^{2}, and k_{0}/r^{3}, respectively. By contrast, the powers of q^{2} in \({{\mathcal A}_{{\rm{an}}}}\) only contribute terms to V(r) which are local, inasmuch as they are proportional to δ^{3}(r) or its derivatives. Since our interest is only in the longdistance interaction, the analytic contributions of \({{\mathcal A}_{{\rm{an}}}}\) may be completely ignored in what follows.
The powercounting analysis described in earlier sections suggest that the leading corrections to the Newtonian result come either from (i) relativistic contributions coming from treelevel calculations within general relativity, (ii) oneloop corrections to the classical potential, again using only general relativity, or (iii) from treelevel contributions containing precisely one vertex from the curvaturesquared terms of the effective theory, Equation (28). The interaction potential therefore has the form
respectively corresponding to the contributions of classical general relativity, the oneloop corrections within general relativity, and the classical curvaturesquared contributions. The dependence of this latter term on the quantities M_{p}, a, and b are written explicitly to emphasize which contributions depend on which parameters. We now describe the result which is obtained for each of these three types of contribution.
Curvaturesquared terms
The simplest contribution to dispose of is that due to the curvaturesquared terms^{Footnote 9}. Because these terms are polynomials in momenta, they contribute only to the analytic part \({{\mathcal A}_{{\rm{an}}}}\) of the scattering amplitudes, and so give only local contributions to the interaction potential which involve δ^{3}(r) or its derivatives. Their precise form is computed in [57, 56], who find
with B given in terms of the constants a and b of Equation (28) by B = 128π^{2}G(a + b). Since they contribute only to \({{\mathcal A}_{{\rm{an}}}}\), we see that these contributions are necessarily irrelevant to the largedistance interaction potential.
It is instructive to think of this δfunction contribution due to curvaturesquared terms in another way. To this end, consider the toy model of a massless scalar field coupled to a classical δfunction source, whose Lagrangian is
The higherderivative term proportional to κ in this model is the analogue of the curvaturesquared gravitational interactions. The propagator for this theory satisfies the equation (□ − κ □^{2})G_{κ}(x, y) = δ^{4}(x − y), which becomes (to linear order in κ)
where G_{0}(x, y) is the usual propagator when κ = 0. We see the expected result that the leading contribution to V(r) is purely local in position space (as might be expected for the lowenergy implications of veryhighenergy/veryshortrange physics).
This way of thinking of things is useful because it illustrates an important conceptual issue for effective field theories. Normally one considers higherderivative theories to be anathema since higherderivative field equations generically have unstable runaway solutions, and the above calculation shows why these do not pose problems for the effective field theory. To see why this is so, it is useful to pause to review how the runaway solutions arise.
At the classical level, runaway modes are possible because of the additional initial data which higherderivative equations require. The reason for their origin in the quantum theory is also easily seen using the toy theory defined by Equation (50), for which at face value the momentumspace scalar propagator would be
This shows how the higherderivative term introduces a new pole into the propagator at p^{2} = − κ^{−1}, but with a residue whose sign is unphysical (corresponding to a ghost mode with negative kinetic energy).
The reason these do not pose a problem for effective field theories is that all of the higherderivative terms are required to be treated perturbatively, since these interactions are defined by reproducing the results of the underlying physics orderbyorder in powers of inverse heavy masses 1/m. In the effective theory of Equation (50) the propagator (52) must be read as
since the Lagrangian itself is only accurate to leading order in κ. The ghost pole does not arise perturbatively in κp^{2}, since its location is up at high energies, p^{2} = − κ^{−1}. Simon [137] makes this general argument explicit for the specific case of higherderivative gravity linearized about flat space.
Classical general relativity
The leading contributions for large r due to the relativistic corrections of general relativity have the larger form (with factors of c restored)
where \(G = 1/(8\pi M_{\rm{P}}^2)\) is Newton’s constant, M_{1} and M_{2} are the masses whose potential energy is of interest, and which are separated by the distance r.
The square brackets, [1 + …], in this expression represent the relativistic corrections to the Newtonian potential which already arise within classical general relativity, and λ is a known constant whose value depends on the precise coordinate conditions used in the calculation. For example, using the potential defined by the 1particlereducible scattering amplitude gives λ_{1PR} = −1 [57, 56, 21], corresponding to the classical result for the metric in harmonic gauge, for which the Schwarzschild metric takes the form
Alternatively, using the potential defined by the full scattering amplitude \({{\mathcal A}_{{\rm{tot}}}}\) instead gives λ_{tot} = +3 [20]. It is natural that different values for λ are obtained when different definitions for V are used, since these different definitions contribute differently to physical observables (on which all calculations must agree).
There is another ambiguity in the definition of the potential [90], which is related to the freedom to redefine the coordinate r, according to r → r′ = r(1 + aGM/r + …). Of course, such a coordinate change should drop out of physical observables, but how this happens in this case involves a subtlety. The main point is that the lowenergy effective Lagrangian for the nonrelativistic particles contains two terms of the same size at subleading order in the relativistic expansion, having the schematic form
where M and v are the mass and velocity of the nonrelativistic particle of interest. The main point is that the constants λ and λ′ are redundant interactions in the sense defined earlier, inasmuch as all physical observables only depend on a single combination of these two constants. Observables only depend on one combination because the other combination can be removed by performing the coordinate transformation r → r(1 + aGM/r + …) as above. From this we see that the coefficient λ of GM/r^{2} obtained for V(r) can also differ from one another, provided that the coefficient λ′ also differs in such a way as to give the same results for physical observables.
Oneloop general relativity
The final term in V(r) arises from the oneloop contribution as computed within general relativity, which is extracted by calculating the oneloop corrections to the scattering amplitude \({{\mathcal A}_{{\rm{q}}}}\). Although these corrections typically diverge in the ultraviolet, on general grounds such divergences contribute only polynomials in momenta, and so can contribute only to the nonrelativistic amplitude’s analytic part \({{\mathcal A}_{{\rm{an}}}} = ({{\bf{q}}^2})\). Indeed, this is required for the oneloop divergences to be absorbed by renormalizing the effective couplings a and b of the highercurvature terms of the gravitational action (28^{Footnote 10}.
It follows from this observation that to the extent that we focus on the longdistance interactions in V(r), to the order we are working these must be ultraviolet finite since they receive no contribution from the amplitude’s analytic part. This means that the leading quantum implications for V(r) are unambiguous predictions which are not complicated by the renormalization procedure.
Explicit calculation shows that the nonanalytic part of the quantum corrections to scattering are proportional to log q^{2}, and so the leading oneloop quantum contribution to the interaction potential is (again reinstating powers of ħ and c)
where ξ is a calculable number. If the potential is computed using only the oneparticlereducible scattering amplitude, the result for pure gravity is [21]:
Notice that this corrects an error in the earlier result for the same quantity, given in [57, 56]. If, instead, the full amplitude \({{\mathcal A}_{{\rm{tot}}}}\) is used to define the interaction potential, BjerrumBohr et al. [20] find
It is argued in [20] that these oneloop results for ξ do not suffer from ambiguity due to the freedom to perform redefinitions of the form r → r(1 + aG^{2}/r^{2} + …).
Implications
It is remarkable that the quantum corrections to the interaction potential can be so cleanly identified. In this section we summarize a few general inferences which follow from their size and dependence on physical parameters like mass and separation.
Conceptually, the main point is that the quantum effects are calculable, and in principle can be distinguished from purely classical corrections. For instance, the quantum contribution (57) can be distinguished from the classical relativistic corrections (54) because the quantum and the relativistic terms depend differently on G and the masses M_{1} and M_{2}. In particular, relativistic corrections are controlled by the dimensionless quantity GM_{tot}/rc^{2}, which is a measure of typical orbital velocities v^{2}/c^{2}. The leading quantum corrections, on the other hand, are Mindependent and are controlled by the ratio \(\ell _{\rm{P}}^2/{r^2}\), where ℓ_{p} = (Għ/c^{3})^{1/2} ∼ 10^{−35} m is the Planck length.
Although the oneparticlereducible contributions need not be separately gaugeindependent, BjerrumBorh [21] and Donoghue [60] argue that they may be usefully interpreted as defining longdistance quantum corrections to the metric external to various types of point sources. Besides obtaining corrections to the Schwarzschild metric in this way, they do the same for the KerrNewman and ReissnerNordström metrics by incorporating spin and electric charge into the nonrelativistic quantum source. Because the quantum corrections they find are sourceindependent, these authors suggest they be interpreted in terms of a running Newton’s constant, according to
Numerically, the quantum corrections are so miniscule as to be unobservable within the solar system for the forseeable future. Table 1 evaluates their size using for definiteness a solar mass M_{⊙}, and with r chosen equal to the solar radius R_{⊙} ∼ 10^{9} m, or the solar Schwarzschild radius r_{s} = 2GM_{⊙}/c^{2} ∼ 10^{3} m. Clearly the quantumgravitational correction is numerically extremely small when evaluated for gardenvariety gravitational fields in the solar system, and would remain so right down to the event horizon even if the sun were a black hole. At face value it is only for separations comparable to the Planck length that quantum gravity effects become important. To the extent that these estimates carry over to quantum effects right down to the event horizon on curved black hole geometries (more about this below) this makes quantum corrections irrelevant for physics outside of the event horizon, unless the black hole mass is as small as the Planck mass, M_{hole} ∼ Mp ∼ 10^{−5} g.
Of course, the undetectability of these quantum corrections does not make them unimportant. Rather, the above calculations underline the following three conclusions:

One need not throw up one’s hands when contemplating quantum gravity effects, because quantum corrections in gravity are often unambiguous and calculable.

Although the small size of the above quantum corrections in the solar system mean that they are unlikely to be measured, they also show that the great experimental success of classical general relativity in the solar system should also be regarded as a triumph of quantum gravity! Classical calculations are not a poor substitute for some poorlyunderstood quantum theory, they are rather an extremely good approximation for which quantum corrections are exceedingly small.

Despite the above two points, the mysteries of quantum gravity remain real and profound. But the above calculations show that these are highenergy (or shortdistance) mysteries, and so point to cosmological singularities or primordial black holes as being the places to look for quantum gravitational effects.
Codimension two and cosmic strings
A second explicit calculation of quantum corrections within general relativity has been done for the gravitational field of a cosmic string, which for our purposes is a line distribution of mass characterized by a massperunitlength ρ. This system naturally suggests itself as a theoretical laboratory for computing quantum effects because its classical gravitational field is extremely simple.
The classical field due to a line distribution of mass is simple for the following reason. Because of the symmetry of the mass distribution, the calculation of the gravitational field it produces is effectively a 2 + 1 dimensional problem. If the exterior to the mass distribution is empty, we seek there a solution to the vacuum Einstein equations R_{μν}= 0. But it is a theorem that in 2 + 1 dimensions any geometry which is Ricci flat must also be Riemann flat: R_{μνλρ} = 0! Superficially this appears to lead to the paradoxical conclusion that long, straight cosmic strings should not gravitate.
This conclusion is not quite correct, however. Although it is true that the vanishing of the Riemann tensor implies no tidal forces for test particles which pass by on the same side of the string, test particles are influenced to approach one another if they pass by on opposite sides of the string. The reason for this may be seen by more closely examining the spacetime’s geometry near the position of the cosmic string. The boundary conditions at this point require that spacetime there to resemble the tip of a cone, inasmuch as an infinitely thin cosmic string introduces a δfunction singularity into the curvature of spacetime. This implies that the flat geometry outside of the string behaves globally like a cone, corresponding to the removal of a defect angle, Δθ = 8πGρ radians, from the external geometry. This conical geometry for the external spacetime is what causes the focussing of trajectories of pairs of particles which pass by on either side of the string [49, 48].
The above considerations show that the gravitational interaction of two cosmic strings furnishes an ideal theoretical laboratory for studying quantum gravity effects near flat space. Since the classical gravitational force of one string on the other vanishes classically, its leading contribution arises at the quantum level. Consider, for instance, the interaction energy perunitlength u_{int} of two straight parallel strings separated by a distance a. This receives no contribution from the EinsteinHilbert term of the effective action, for the reasons just described. Furthermore, just as for point gravitational sources, highercurvature interactions only generate contact interactions, and so are also irrelevant for computing the strings’ interactions at long range. The leading contribution therefore arises at the quantum level, and must be ultraviolet finite.
These expectations are borne out by explicit oneloop calculations, which have been computed [155] for the case of two strings having constant massperunitlengths ρ_{1} and ρ_{2}. The result obtained is (again temporarily restoring the explicit powers of ħ and c)
whose sign corresponds to a repulsive interaction.
Conclusions
The goal of this review has been to summarize the modern picture of quantum gravity, within which the perturbative nonrenormalizability of general relativity is recognized as being a particular instance of a more general phenomena: the widespread application of nonrenormalizable quantum field theories throughout many branches of physics. Regarding quantum gravity in this way shows how quantitative predictions can be made: One must simply apply the rules of effective field theories, which are known to give an accurate description of experiments in lowenergy nuclear, particle, atomic, and condensed matter physics.
Thinking of general relativity as an effective theory in this way is not a new development, and underlies most approaches to quantum gravity either explicitly or implicitly. Neither is it new to calculate explicitly the behaviour of quantum fields in curved space (sometimes including the graviton). What is new (over the last few years) is proceeding beyond the qualitative statement that general relativity is an effective theory to obtain the quantitative nexttoleading predictions within a controlled semiclassical approximation. Although much of the mechanics of such calculations leans on experience obtained when calculating with quantum fields in curved space, the crucial new difference is the quantitative powercounting arguments which identify precisely which quantum effects contribute to any given order in small quantities.
What emerges from this summary is a snapshot of a work which is very much still in progress. The following loom large among the missing results:

Although a general statement of the powercounting result for very light, relativistic particles near flat space has been known for some time [61, 28], the central general powercounting results are not yet demonstrated to all orders for the most interesting case for practical calculations: the gravitational interactions of very massive, nonrelativistic sources which are weakly interacting gravitationally (i.e., in spacetimes which are perturbatively close to Minkowski space).

Although the theoretical tools exist, in the form of the operator product expansion, similarly general powercounting arguments are not yet given for quantum fluctuations about more general curved spaces.

Some explicit calculations which are cast within the powercounting framework have been done, but many more can surely be done.
There can be little doubt that quantum effects are extremely small in the classical systems for which gravitational measurements are possible (like the solar system), but this need not undermine the motivation for their computation. The point of such calculations is not their relevance for practical experiments (we wish!). Rather, their point is conceptual. It is only through the careful calculation of quantum effects that the theory of their size can be solidly established. In particular, any precise comparison between observations and the predictions of classical gravity is ultimately incomplete unless the quantitative size of the quantum corrections is explicitly established, as a systematic, allorders powercounting argument would do.
Furthermore, we can always hope to get lucky, even if only theoretically. A clean understanding of how the size of quantum corrections depends on the variables (mass, size, separation, etc.) in a given system, one might hope to find largerthangeneric quantum phenomena in special systems. Even if these lie beyond the reach of presentday experimenters, they may furnish instructive theoretical laboratories within which differing approaches to quantum gravity might be more starkly compared.
In the last analysis, I hope the reader has become convinced of the utility of effective field theory techniques, and that the effective field theory point of view lifts the experimental triumphs of classical general relativity to precision tests of the leadingorder implications of the quantum theory of gravity.
Notes
 1.
There can be circumstances for which energy is not the criterion used to define the effective theory, and for which \({{\mathcal L}_{{\rm{eff}}}}\) is not real. The resulting failure of unitarity in the effective theory reflects the possibility in these theories of having states in the effective theory converting into states that have been removed in its definition.
 2.
We return below to a discussion of how effective Lagrangians can be defined using dimensional regularization.
 3.
Examples where H is not bounded from below can arise, such as for charged particles in a sufficiently strong background electric field [134]. In such situations the runaway descent of the system to arbitrarily low energies is interpreted as being due to continual particle pair production by the background field.
 4.
A Killing vector field satisfies the condition \({\hat{\nabla}_\mu}{\hat{K}_\nu} + {\hat{\nabla}_\nu}{\hat{K}_{\mu}} = 0\), which is the coordinateinvariant expression of the existence of a timetranslation invariance of the background metric. The carets indicate that the derivatives are defined, and the indices are lowered by the background metric ĝ_{μν}.
 5.
For example, this could happen for a charged particle in a decreasing magnetic field if the effective theory is set up so that the dividing energy Λ(t) is not time dependent. Then Landau levels continuously enter the lowenergy theory as the magnetic field strength wanes.
 6.
These authors have slightly different spins on the more philosophical question of whether transPlanckian physics is likely to be found to be nonadiabatic.
 7.
 8.
The point of the nonrelativistic powercounting of the previous section is to show that the third, large, rindependent dimensionless quantity GM_{i}M_{j}/ħc does not appear in the interaction energy.
 9.
Notice that the curvaturesquared terms can no longer be eliminated by performing field redefinitions once classical sources are included. Instead they can only be converted into the direct sourcesource interactions in which we are interested.
 10.
The necessity for renormalizing a and b in addition to Newton’s constant at one loop reflects the fact that general relativity is not renormalizable. Still highercurvature terms would be required to absorb the divergences at two loops and beyond.
References
 [1]
Abbott, L.F., and Deser, S., “Charge definition in nonabelian gauge theories”, Phys. Lett. B, 116, 259–263, (1982).
 [2]
Aghababaie, Y., and Burgess, C.P., “Effective Actions, Boundaries and Precision Calculations of Casimir Energies”, (2003), [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0304066.
 [3]
Aghababaie, Y., Burgess, C.P., Parameswaran, S., and Quevedo, F., “Towards a naturally small cosmological constant from branes in 6D supergravity”, Nucl. Phys. B, 680, 389–414, (2004). For a related online version see: Y. Aghababaie, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0304256.
 [4]
Aguirre, A., Burgess, C.P., Friedland, A., and Nolte, D., “Astrophysical constraints on modifying gravity at large distances”, Class. Quantum Grav., 18, R223–R232, (2001). For a related online version see: A. Aguirre, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepph/0105083.
 [5]
Akhundov, A., Bellucci, S., and Shiekh, A., “Gravitational interaction to one loop in effective quantum gravity”, Phys. Lett. B, 395, 16–23, (1997). For a related online version see: A. Akhundov, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/grqc/9611018.
 [6]
Arnowitt, R.L., and Deser, S., “Quantum Theory of Gravitation: General Formulation and Linearized Theory”, Phys. Rev., 113, 745–750, (1959).
 [7]
Arnowitt, R.L., Deser, S., and Misner, C.W., “Dynamical Structure and Definition of Energy in General Relativity”, Phys. Rev., 116, 1322–1330, (1959).
 [8]
Arnowitt, R.L., Deser, S., and Misner, C.W., “Canonical Variables for General Relativity”, Phys. Rev., 117, 1595–1602, (1960).
 [9]
Arnowitt, R.L., Deser, S., and Misner, C.W., “Consistency of the Canonical Reduction of General Relativity”, J. Math. Phys., 1, 434–439, (1960).
 [10]
Arnowitt, R.L., Deser, S., and Misner, C.W., “Energy and the Criteria for Radiation in General Relativity”, Phys. Rev., 118, 1100–1104, (1960).
 [11]
Arnowitt, R.L., Deser, S., and Misner, C.W., “GravitationalElectromagnetic Coupling and the Classical SelfEnergy Problem”, Phys. Rev., 120, 313–320, (1960).
 [12]
Arnowitt, R.L., Deser, S., and Misner, C.W., “Interior Schwarzschild Solutions and Interpretation of Source Terms”, Phys. Rev., 120, 321–324, (1960).
 [13]
Arnowitt, R.L., Deser, S., and Misner, C.W., “Note on PositiveDefiniteness of the Energy of the Gravitational Field”, Ann. Phys. (N. Y.), 11, 116, (1960).
 [14]
Arnowitt, R.L., Deser, S., and Misner, C.W., Nuovo Cimento, 19, 668, (1961).
 [15]
Arnowitt, R.L., Deser, S., and Misner, C.W. “Coordinate Invariance and Energy Expressions in General Relativity”, Phys. Rev., 122, 997–1006, (1961).
 [16]
Arnowitt, R.L., Deser, S., and Misner, C.W., “Wave Zone in General Relativity”, Phys. Rev., 121, 1556–1566, (1961).
 [17]
Banks, T., and Mannelli, L., “de Sitter vacua, renormalization and locality”, Phys. Rev. D, 67, 0650091–0650096, (2003). For a related online version see: T. Banks, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0209113.
 [18]
Bern, Z., “Perturbative Quantum Gravity and its Relation to Gauge Theory”, Living Rev. Relativity, 5, lrr20025, (2002), [Online Journal Article]: cited on 07 March 2004, http://www.livingreviews.org/lrr20025.
 [19]
Birrell, N.D., and Davies, P.C.W., Quantum Fields n Curved Space, Cambridge Monographs on Mathematical Physics, (Cambridge University Press, Cambridge, 1982).
 [20]
BjerrumBohr, N.E.J., Donoghue, J.F., and Holstein, B.R., “Quantum gravitational corrections to the nonrelativistic scattering potential of two masses”, Phys. Rev. D, 67, 0840331–08403312, (2003).
 [21]
BjerrumBorh, N.E.J., Donoghue, J.F., and Holstein, B.R., “Quantum Corrections to the Schwarzschild and Kerr Metrics”, Phys. Rev. D, 68, 0840051–08400516, (2003).
 [22]
Brandenberger, R.H., “Lectures on the Theory of Cosmological Perturbations”, in Breton, N., CervantesCota, J., and Salgado, M., eds., The Early Un verse and Observat onal Cosmology, volume 646 of Lecture Notes in Physics, (Springer, Berlin; New York, 2004). For a related online version see: R.H. Brandenberger, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0306071. Proceedings of the 5th Mexican School on Gravitation and Mathematical Physics (DGFM 2002), Playa del Carmen, Quintana Roo, Mexico, 24–29 November 2002.
 [23]
Brandenberger, R.H., and Martin, J., “The Robustness of Inflation to Changes in SuperPlanckScale Physics”, Mod. Phys. Lett. A, 16, 999–1006, (2001). For a related online version see: R.H. Brandenberger, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/astroph/0005432.
 [24]
Brout, R., Massar, S., Parentani, R., and Spindel, P., “Hawking radiation without transPlanckian frequencies”, Phys. Rev. D, 52, 4559–4568, (1995). For a related online version see: R. Brout, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/9506121.
 [25]
Brown, M.R., and Duff, M.J., “Exact results for effective Lagrangians”, Phys. Rev. D, 11, 2124–2135, (1975).
 [26]
Bunch, T.S., and Davies, P.C.W., “Quantum Field Theory In De Sitter Space: Renormalization By Point Splitting”, Proc. R. Soc. London, Ser. A, 360, 117–134, (1978).
 [27]
Burgess, C.P., “Supersymmetric Large Extra Dimensions and the Cosmological Constant: An Update”, (2004), [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0402200.
 [28]
Burgess, C.P., “An Ode to Effective Lagrangians”, in Solà, J., ed., Radiative corrections: Application of quantum field theory to phenomenology. Proceedings of the 4th International Symposium on Radiative Corrections (RADCOR 98), held in Barcelona, September 8–12, 1998, 471–488, (World Scientific, Singapore, 1999). For a related online version see: C.P. Burgess, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepph/9812470.
 [29]
Burgess, C.P., “Goldstone and PseudoGoldstone Bosons in Nuclear, Particle and CondensedMatter Physics”, Phys. Rep., 330, 193–261, (2000). For a related online version see: C.P. Burgess, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/9808176.
 [30]
Burgess, C.P., Cline, J.M., and Holman, R., “Effective field theories and inflation”, JCAP, 10, 004, (2003). For a related online version see: C.P. Burgess, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0306079.
 [31]
Burgess, C.P., Cline, J.M., Lemieux, F., and Holman, R., “Are inflationary predictions sensitive to very high energy physics?”, JHEP, 02, 048, (2003). For a related online version see: C.P. Burgess, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0210233.
 [32]
Callan, C.G., Coleman, S., Wess, J., and Zumino, B., “Structure of Phenomenological Lagrangians. II”, Phys. Rev., 177, 2247–2250, (1969).
 [33]
Capper, D.M., Duff, M.J., and Halpern, L., “Photon corrections to the graviton propagator”, Phys. Rev. D, 10, 461–467, (1974).
 [34]
Caswell, W.E., and Lepage, G.P., “Effective lagrangians for bound state problems in QED, QCD, and other field theories”, Phys. Lett. B, 167, 437–442, (1986).
 [35]
Chen, T., Fröhlich, J., and Seifert, M., “Renormalization Group Methods: LandauFermi Liquid and BCS Superconductor”, in David, F., Ginsparg, P., and ZinnJustin, J., eds., Fluctuating Geometries in Statistical Mechanics and Field Theory: Proceedings of the Les Houches Summer School, Session LXII, 2 August–9 September 1994, volume 62 of Les Houches Summer School Proceedings, 913–970, (NorthHolland, Amsterdam, 1996). For a related online version see: T. Chen, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/condmat/9508063.
 [36]
Christensen, S.M., “Regularization, renormalization, and covariant geodesic point separation”, Phys. Rev. D, 17, 946–963, (1978).
 [37]
Christensen, S.M., and Duff, M.J., “New gravitational index theorems and super theorems”, Nucl. Phys. B, 154, 301–342, (1979).
 [38]
Christensen, S.M., and Duff, M.J., “Quantizing gravity with a cosmological constant”, Nucl. Phys. B, 170, 480–506, (1980).
 [39]
Collins, H., Holman, R., and Martin, M.R., “The fate of the αvacuum”, Phys. Rev. D, 68, 12401211–12401215, (2003). For a related online version see: H. Collins, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0306028.
 [40]
Collins, H., and Martin, M.R., “The enhancement of inflaton loops in an αvacuum”, (September, 2003), [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepph/0309265.
 [41]
Collins, J., Renormalization: An introduction to renormalization, the renormalization group, and the operatorproduct expansion, (Cambridge University Press, Cambridge; New York, 1984).
 [42]
Corley, S., and Jacobson, T., “Hawking spectrum and high frequency dispersion”, Phys. Rev. D, 54, 1568–1586, (1996). For a related online version see: S. Corley, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/9601073.
 [43]
Dalvit, D.A.R., and Mazzitelli, F.D., “Running coupling constants, Newtonian potential, and nonlocalities in the effective action”, Phys. Rev. D, 50, 1001–1009, (1994). For a related online version see: D.A.R. Dalvit, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/grqc/9402003.
 [44]
Damour, T., and Ruffini, R., “Blackhole evaporation in the KleinSauterHeisenbergEuler formalism”, Phys. Rev. D, 14, 332–334, (1976).
 [45]
Danielsson, U.H., “Inflation, holography, and the choice of vacuum in de Sitter space”, JHEP, 07, 040, (2002). For a related online version see: U.H. Danielsson, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0205227.
 [46]
Danielsson, U.H., “On the consistency of de Sitter vacua”, JHEP, 12, 025, (2002). For a related online version see: U.H. Danielsson, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0210058.
 [47]
Deruelle, N., and Ruffini, R., “Klein paradox in a kerr geometry”, Phys. Lett. B, 57, 248–252, (1975).
 [48]
Deser, S., and Jackiw, R., “ThreeDimensional Cosmological Gravity: Dynamics Of Constant Curvature”, Ann. Phys., 153, 405–416, (1984).
 [49]
Deser, S., Jackiw, R., and ’t Hooft, G., “ThreeDimensional Einstein Gravity: Dynamics Of Flat Space”, Ann. Phys. (N. Y.), 152, 220–235, (1984).
 [50]
DeWitt, B.S., “Quantum Theory of Gravity. II. The Manifestly Covariant Theory”, Phys. Rev., 162, 1195–1239, (1967).
 [51]
DeWitt, B.S., “Quantum Theory of Gravity. III. Applications of the Covariant Theory”, Phys. Rev., 162, 1239–1256, (1967).
 [52]
DeWitt, B.S., “Quantum Theory of Gravity. III. Applications of the Covariant Theory”, Phys. Rev., 162, 1239–1256, (1967).
 [53]
DeWitt, B.S., “Errata: Quantum Theory of Gravity”, Phys. Rev., 171, 1834, (1968).
 [54]
DeWitt, B.S., “The spacetime approach to quantum field theory”, in DeWitt, B.S., and Stora, R., eds., Relativity, Groups and Topology II: Proceedings of the 40th Summer School of Theoretical Physics, NATO Advanced Study Institute, Les Houches, France, June 27–August 4, 1983, Les Houches Summer School Proceedings, 381–738, (NorthHolland, Amsterdam, 1984).
 [55]
Dirac, P.A.M., “Fixation of Coordinates in the Hamiltonian Theory of Gravitation”, Phys. Rev., 114, 924–930, (1959).
 [56]
Donoghue, J.F., “General relativity as an effective field theory: The leading quantum corrections”, Phys. Rev. D, 50, 3874–3888, (1994). For a related online version see: J.F. Donoghue, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/grqc/9405057.
 [57]
Donoghue, J.F., “Leading quantum correction to the Newtonian potential”, Phys. Rev. Lett., 72, 2996–2999, (1994). For a related online version see: J.F. Donoghue, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/grqc/9310024.
 [58]
Donoghue, J.F., “Introduction to the Effective Field Theory Description of Gravity”, in Cornet, F., and Herrero, M.J., eds., Advanced School on Effective Theories: Almunecar, Granada, Spain 26 June–1 July 1995, 217–240, (World Scientific, Singapore, 1997). For a related online version see: J.F. Donoghue, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/grqc/9512024.
 [59]
Donoghue, J.F., Golowich, E., and Holstein, B.R., Dynamics of the Standard Model, (Cambridge University Press, Cambridge; New York, 1992).
 [60]
Donoghue, J.F., Holstein, B.R., Garbrecht, B., and Konstandin, T., “Quantum corrections to the ReissnerNordström and KerrNewman metrics”, Phys. Lett. B, 529, 132–142, (2002). For a related online version see: J.F. Donoghue, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0112237.
 [61]
Donoghue, J.F., and Torma, T., “Power counting of loop diagrams in general relativity”, Phys. Rev. D, 54, 4963–4972, (1996). For a related online version see: J.F. Donoghue, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/9602121.
 [62]
Donoghue, J.F., and Torma, T., “Infrared behavior of gravitongraviton scattering”, Phys. Rev. D, 60, 024003–1024003, (1999). For a related online version see: J.F. Donoghue, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/9901156.
 [63]
Duff, M.J., “Quantum corrections to the Schwarzschild solution”, Phys. Rev. D, 9, 1837–1839, (1974).
 [64]
Dunbar, D.C., and Norridge, P.S., “Calculation of graviton scattering amplitudes using stringbased methods”, Nucl. Phys. B, 433, 181–206, (1995).
 [65]
Einhorn, M., and Larsen, F., “Interacting quantum field theory in de Sitter vacua”, Phys. Rev. D, 67, 0240011–02400113, (2003). For a related online version see: M. Einhorn, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0209159.
 [66]
Einhorn, M., and Larsen, F., “Squeezed states in the de Sitter vacuum”, Phys. Rev. D, 68, 0640021–0640027, (2003). For a related online version see: M. Einhorn, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0305056.
 [67]
Einstein, A., and Infeld, L., “The Gravitational Equations and the Problem of Motion. II”, Ann. Math., 41, 455–464, (1940).
 [68]
Einstein, A., and Infeld, L., Can. J. Math., 1, 209, (1949).
 [69]
Einstein, A., Infeld, L., and Hoffmann, B., “The Gravitational Equations and the Problem of Motion”, Ann. Math., 39, 65–100, (1938).
 [70]
Fadeev, L.D., and Popov, V.N., “Feynman diagrams for the YangMills field”, Phys. Lett. B, 25, 29–30, (1967).
 [71]
Feynman, R.P., “Quantum theory of gravitation”, Acta Phys. Pol., 24, 697–722, (1963).
 [72]
Fredenhagen, K., and Haag, R., “On the Derivation of Hawking Radiation Associated with the Formation of a Black Hole”, Commun. Math. Phys., 127, 273–284, (1990).
 [73]
Gasser, J., and Leutwyler, H., “Chiral Perturbation Theory to One Loop”, Ann. Phys. (N. Y.), 158, 142–210, (1984).
 [74]
Georgi, H., Weak Interactions and Modern Particle Theory, (Benjamin/Cummings, Menlo Park, CA, USA, 1984).
 [75]
Georgi, H., “Effective Field Theory”, Annu. Rev. Nucl. Part. Sci., 43, 209–252, (1995).
 [76]
Gilkey, P.B., “The spectral geometry of a Riemannian manifold”, J. Differ. Geom., 10, 601–618, (1975).
 [77]
Goldstein, K., and Lowe, D.A., “A note on αvacua and interacting field theory in de Sitter space”, Nucl. Phys. B, 669, 325–340, (2003). For a related online version see: K. Goldstein, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0302050.
 [78]
Goldstein, K., and Lowe, D.A., “Realtime perturbation theory in de Sitter space”, Phys. Rev. D, 69, 0235071–0235078, (2004). For a related online version see: K. Goldstein, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0308135.
 [79]
Gomis, J., and Weinberg, S., “Are nonrenormalizable gauge theories renormalizable?”, Nucl. Phys. B, 469, 473–487, (1996). For a related online version see: J. Gomis, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/9510087.
 [80]
Grisaru, M.T., and Zak, J., “Oneloop scalar field contributions to gravitongraviton scattering and helicity nonconservation in quantum gravity”, Phys. Lett. B, 90, 237–240, (1980).
 [81]
Gupta, S.N., “Quantization of Einstein’s Gravitational Field: General Treatment”, Proc. Phys. Soc. London, Sect. A, 65, 608–619, (1952).
 [82]
Gupta, S.N., “Quantization of Einstein’s Gravitational Field: General Treatment”, Proc. Phys. Soc. London, Sect. B, 65, 608–619, (1952).
 [83]
Gupta, S.N., and Radford, S.F., “Quantum fieldtheoretical electromagnetic and gravitational twoparticle potentials”, Phys. Rev. D, 21, 2213–2225, (1980).
 [84]
Guralnik, G.S., Hagen, C.R., and Kibble, T.W.B., in Cool, R.L., and Marshak, R.E., eds., Advances in Particle Physics, volume 2, (Wiley, New York, 1968).
 [85]
Hahn, Y., and Zimmermann, W., “An elementary proof of Dyson’s power counting theorem”, Commun. Math. Phys., 10, 330–342, (1968).
 [86]
Hamber, H.W., and Liu, S., “On the quantum corrections to the newtonian potential”, Phys. Lett. B, 357, 51–56, (1995). For a related online version see: H.W. Hamber, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/9505182.
 [87]
Hambli, N., and Burgess, C.P., “Hawking radiation and ultraviolet regulators”, Phys. Rev. D, 53, 5717–5722, (1996). For a related online version see: N. Hambli, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/9510159.
 [88]
Hawking, S.W., “Black Hole Explosions”, Nature, 248, 30–31, (1974).
 [89]
Hawking, S.W., “Particle Creation by Black Holes”, Commun. Math. Phys., 43, 199–220, (1975).
 [90]
Hiida, K., and Okamura, H., “Gauge Transformation and Gravitational Potentials”, Prog. Theor. Phys., 47, 1743, (1972).
 [91]
Isgur, N., and Wise, M.B., “Weak decays of heavy mesons in the static quark approximation”, Phys. Lett. B, 232, 113–117, (1989).
 [92]
Isgur, N., and Wise, M.B., “Weak transition form factors between heavy mesons”, Phys. Lett. B, 237, 527–530, (1990).
 [93]
Iwasaki, Y., “Quantum Theory of Gravitation vs. Classical Theory: FourthOrder Potential”, Prog. Theor. Phys., 46, 1587, (1971).
 [94]
Jacobson, T., “Blackhole evaporation and ultrashort distances”, Phys. Rev. D, 44, 1731–1739, (1991).
 [95]
Jacobson, T., “Black hole radiation in the presence of a short distance cutoff”, Phys. Rev. D, 48, 728–741, (1993). For a related online version see: T. Jacobson, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/9303103.
 [96]
Jacobson, T., “Introduction to quantum fields in curved spacetime and the Hawking effect”, Prog. Theor. Phys. Suppl., 136, 1–17, (1999). For a related online version see: T. Jacobson, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/grqc/0308048.
 [97]
Jones, A., and Lasenby, A., “The Cosmic Microwave Background”, Living Rev. Relativity, 1, lrr199811, (1998), [Online Journal Article]: cited on 07 March 2004, http://www.livingreviews.org/lrr199811.
 [98]
Kaloper, N., Kleban, M., Lawrence, A., Shenker, S.,, and Susskind, L., “Initial Conditions for Inflation”, JHEP, 11, 037, (2002). For a related online version see: N. Kaloper, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0209231.
 [99]
Kaloper, N., Kleban, M., Lawrence, A., and Shenker, S., “Signatures of short distance physics in the cosmic microwave background”, Phys. Rev. D, 66, 1235101–12351021, (2002). For a related online version see: N. Kaloper, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0201158.
 [100]
Kaplan, D., “Effective Field Theories”, (June, 1995), [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/nuclth/9506035. Three lectures on effective field theory given at the Seventh Summer School in Nuclear Physics, Seattle June 19–30 1995.
 [101]
Kaplan, D.B., Savage, M.J., and Wise, M.B., “Nucleonnucleon scattering from effective field theory”, Nucl. Phys. B, 478, 629–659, (1996). For a related online version see: D.B. Kaplan, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/nuclth/9605002.
 [102]
Kazakov, K.A., “Notion of potential in quantum gravity”, Phys. Rev. D, 63, 0440041–04400410, (2001). For a related online version see: K.A. Kazakov, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0009220.
 [103]
Kirilin, G.G., and Khriplovich, I.B., “Quantum Power Correction to the Newton Law”, JETP, 95, 981–986, (2002).
 [104]
Labelle, P., “Effective field theories for QED bound states: Extending nonrelativistic QED to study retardation effects”, Phys. Rev. D, 58, 0930131–09301315, (1998). For a related online version see: P. Labelle, “Effective Field Theories for QED Bound States: Extending NRQED to Study Retardation Effects”, (August, 1996), [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepph/9608491.
 [105]
Labelle, P., Zebarjad, S.M., and Burgess, C.P., “Nonrelativistic QED and nexttoleading hyperfine splitting in positronium”, Phys. Rev. D, 56, 8053–8061, (1997). For a related online version see: P. Labelle, et al., “NRQED and NexttoLeading Hyperfine Splitting in Positronium”, (June, 1997), [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepph/9706449.
 [106]
Langacker, P., “Electroweak Physics”, (August, 2003), [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepph/0308145. Invited talk presented at the Conference on the Intersections of Particle and Nuclear Physics (CIPANP 2003), New York, May 2003.
 [107]
Leutwyler, H., “Goldstone Bosons”, (September, 1994), [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepph/9409422. Talk given at the Bose Conference, Jan.94, Calcutta, BUTP 94/17.
 [108]
Leutwyler, H., “Principles of Chiral Perturbation Theory”, in Herscovitz, V.E., Vasconcellos, C.A., and Ferreira, E., eds., Hadron Physics 94: Topics on the Structure and Interaction of Hadronic Systems, Rio Grande Do Sul, Brazil 10–14 April 1994, 1–46, (World Scientific, Singapore, 1995). For a related online version see: H. Leutwyler, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepph/9406283.
 [109]
Luke, M.E., “Effects of subleading operators in the heavy quark effective theory”, Phys. Lett. B, 252, 447–455, (1990).
 [110]
Luke, M.E., and Manohar, A.V., “Bound states and power counting in effective field theories”, Phys. Rev. D, 55, 4129–4140, (1997). For a related online version see: M.E. Luke, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepph/9610534.
 [111]
Luke, M.E., Manohar, A.V., and Rothstein, I.Z., “Renormalization group scaling in nonrelativistic QCD”, Phys. Rev. D, 61, 0740251–07402514, (2000). For a related online version see: M.E. Luke, et al., (October, 1999), [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepph/9910209.
 [112]
Luke, M.E., and Savage, M.J., “Power counting in dimensionally regularized nonrelativistic QCD”, Phys. Rev. D, 57, 413–423, (1998). For a related online version see: M.E. Luke, et al., “Power Counting in Dimensionally Regularized NRQCD”, (July, 1997), [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepph/9707313.
 [113]
Mandelstam, S., “Feynman Rules for the Gravitational Field from the CoordinateIndependent FieldTheoretic Formalism”, Phys. Rev., 175, 1604–1623, (1968).
 [114]
Manohar, A., “Effective Field Theories”, in Latal, H., and Schweiger, W., eds., Perturbative and nonperturbative aspects of quantum field theory: Proceedings of the 35. Internationale Universitätswochen für Kern und Teilchenphysik, Schladming, Austria, March 2–9, 1996, volume 479 of Lecture Notes in Physics, 311–362, (Springer, Berlin; New York, 1997). For a related online version see: A. Manohar, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepph/9606222.
 [115]
Martin, J., and Brandenberger, R.H., “TransPlanckian problem of inflationary cosmology”, Phys. Rev. D, 63, 1235011–12350116, (2001). For a related online version see: J. Martin, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0005209.
 [116]
McAvity, D.M., and Osborn, H., “A DeWitt expansion of the heat kernel for manifolds with a boundary”, Class. Quantum Grav., 8, 603–638, (1991).
 [117]
Meissner, U.G., “Recent Developments in Chiral Perturbation Theory”, Rep. Prog. Phys., 56, 903–996, (1993). For a related online version see: U.G. Meissner, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepph/9302247.
 [118]
Melnikov, K., and Weinstein, M., “A Canonical Hamiltonian Derivation of Hawking Radiation”, (September, 2001), [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0109201.
 [119]
Melnikov, K., and Weinstein, M., “On Unitary Evolution of a Massless Scalar Field In A Schwarzschild Background: Hawking Radiation and the Information Paradox”, (May, 2002), [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0205223.
 [120]
Milgrom, M., “A modification of the Newtonian dynamics as a possible alternative to the hidden mass hypothesis”, Astrophys. J., 270, 365–370, (1983).
 [121]
Milgrom, M., and Sanders, R.H., “MOND and the “Dearth of Dark Matter in Ordinary Elliptical Galaxies””, Astrophys. J., 599, L25–L28, (2003). For a related online version see: M. Milgrom, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/astroph/0309617.
 [122]
Misner, C.W., Thorne, K.P., and Wheeler, J.A., Gravitation, (Freeman, W.H., San Francisco, CA, USA, 1973).
 [123]
Modanese, G., “Potential energy in quantum gravity”, Nucl. Phys. B, 434, 697–708, (1995). For a related online version see: G. Modanese, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/9408103.
 [124]
Ovrut, B.A., and Schnitzer, H.J., “The decoupling theorem and minimal subtraction”, Phys. Lett. B, 100, 403–406, (1981).
 [125]
Ovrut, B.A., and Schnitzer, H.J., “Gauge theories with minimal subtraction and the decoupling theorem”, Nucl. Phys. B, 179, 381–416, (1981).
 [126]
Parikh, M.K., and Wilczek, F., “Hawking Radiation As Tunneling”, Phys. Rev. Lett., 85, 5042–5045, (2000). For a related online version see: M.K. Parikh, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/9907001.
 [127]
Pich, A., “Effective Field Theory”, in Gupta, R., De Rafael, E., David, F., and Morel, A., eds., Probing the Standard Model of Particle Interactions: Proceedings of the Les Houches Summer School, 28 July–5 September 1997, volume 68 of Les Houches Summer School Proceedings, 949–1049, (NorthHolland, Amsterdam, 1999). For a related online version see: A. Pich, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepph/9806303.
 [128]
Pineda, A., and Soto, J., “Potential NRQED: The positronium case”, Phys. Rev. D, 59, 0160051–01600510, (1999). For a related online version see: A. Pineda, et al., (1998), [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepph/9805424.
 [129]
Polchinski, J., “Renormalization and effective lagrangians”, Nucl. Phys. B, 231, 269–295, (1984).
 [130]
Polchinski, J., “Effective Field Theory of the Fermi Surface”, in Harvey, J. and Polchinski, J., ed., Recent Directions in Particle Theory: From Superstrings and Black Holes to the Standard Model. Proceedings of the Theoretical Advanced Study Institute in Elementary Particle Physics, Boulder, Colorado, 1–26 June 1992 (TASI92), quantum field theory, (World Scientific, Singapore, 1993). For a related online version see: J. Polchinski, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/9210046.
 [131]
Polchinski, J., “String Theory and Black Hole Complementarity”, in Bars, I., Bouwknegt, P., Minahan, J., Nemeschensky, D., and Pilch, K., eds., Future Perspectives in String Theory: Strings’ 95, University of Southern California, Los Angeles, 13–18 March 1995, 417–426, (World Scientific, Singapore, 1996). For a related online version see: J. Polchinski, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/9507094.
 [132]
Redin, S.I., et al., “Recent results and current status of the muon g − 2 experiment at BNL”, Can. J. Phys., 80, 1355–1364, (2002).
 [133]
Rho, M., “Effective Field Theory for Nuclei and Dense Matter”, Acta Phys. Pol. B, 29, 2297–2308, (1998). For a related online version see: M. Rho, [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/nuclth/9806029.
 [134]
Schwinger, J.S., “On Gauge Invariance and Vacuum Polarization”, Phys. Rev., 82, 664–679, (1951).
 [135]
Shankar, R., “Effective Field Theory in Condensed Matter Physics”, (March, 1997), [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/condmat/9703210. Lecture given at Boston Colloquium for the Philosophy of Science, Boston, Mass., 1996.
 [136]
Shankar, R., “Renormalizationgroup approach to interacting fermions”, Rev. Mod. Phys., 66, 129–192, (1994). For a related online version see: R. Shankar, (July, 1993), [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/condmat/9307009.
 [137]
Simon, J., “Stability of flat space, semiclassical gravity, and higher derivatives”, Phys. Rev. D, 43, 3308–3316, (1991).
 [138]
’t Hooft, G., and Veltman, M.J.G., “One loop divergencies in the theory of gravitation”, Ann. Inst. Henri Poincare, A, 20, 69–94, (1974).
 [139]
Tinkham, M., Introduction to Superconductivity, (McGraw Hill, New York, USA, 1996), 2nd edition.
 [140]
Unruh, W.G., “Origin of the particles in blackhole evaporation”, Phys. Rev. D, 15, 365–369, (1977).
 [141]
Unruh, W.G., “Experimental BlackHole Evaporation?”, Phys. Rev. Lett., 46, 1351–1353, (1981).
 [142]
Wald, R.M., “The Thermodynamics of Black Holes”, Living Rev. Relativity, 4, lrr20016, (2001), [Online Journal Article]: cited on 07 March 2004, http://www.livingreviews.org/lrr20016.
 [143]
Weinberg, S., “HighEnergy Behavior in Quantum Field Theory”, Phys. Rev., 118, 838–849, (1960).
 [144]
Weinberg, S., “Infrared Photons and Gravitons”, Phys. Rev., 140(2), B516–B524, (1965).
 [145]
Weinberg, S., “Dynamical Approach to Current Algebra”, Phys. Rev. Lett., 18, 188–191, (1967).
 [146]
Weinberg, S., “Nonlinear Realizations of Chiral Symmetry”, Phys. Rev., 166, 1568–1577, (1968).
 [147]
Weinberg, S., Gravitation and Cosmology: Principles and applications of the general theory of relativity, (Wiley, New York, 1972).
 [148]
Weinberg, S., “Phenomenological Lagrangians”, Physica, 96A, 327–340, (1979).
 [149]
Weinberg, S., “Effective gauge theories”, Phys. Lett. B, 91, 51–55, (1980).
 [150]
Weinberg, S., “Why the Renormalization Group is a Good Thing”, in Guth, A.H., Huang, K., and Jaffe, R.L., eds., Asymptotic Realms of Physics: Essays in Honor of Francis E. Low, 1–19, (MIT Press, Cambridge, MA, USA, 1981).
 [151]
Weinberg, S., “Superconductivity for Particular Theorists”, Prog. Theor. Phys. Suppl., 86, 43–53, (1986). Festschrift honoring Yoichiro Nambu on his 65th birthday.
 [152]
Weinberg, S., “The cosmological constant problem”, Rev. Mod. Phys., 61, 1–23, (1989).
 [153]
Weinberg, S., “Nuclear forces from chiral lagrangians”, Phys. Lett. B, 251, 288–292, (1990).
 [154]
Weinberg, S., “Effective chiral lagrangians for nucleonpion interactions and nuclear forces”, Nucl. Phys. B, 363, 3–18, (1991).
 [155]
Wessling, M.E., and Wise, M.B., “The long range gravitational potential energy between strings”, Phys. Lett. B, 523, 331–337, (2001). For a related online version see: M.E. Wessling, et al., [Online Los Alamos Archive Preprint]: cited on 07 March 2004, http://arxiv.org/abs/hepth/0110091.
 [156]
Will, C.M., “The Confrontation between General Relativity and Experiment”, Living Rev. Relativity, 4, lrr20014, (2001), [Online Journal Article]: cited on 07 March 2004, http://www.livingreviews.org/lrr20014.
 [157]
Wilson, K.G., “NonLagrangian Models of Current Algebra”, Phys. Rev., 179, 1499–1512, (1969).
Acknowledgements
I wish to thank the editors of Living Reviews for the invitation to write this article, and for their great patience in waiting for its delivery. I am also grateful to John Donoghue and Ted Jacobson for their many useful comments on an early draft of this review. My own ideas on this topic are heavily indebted to Steven Weinberg, as conveyed through his graduate lectures on quantum field theory (and now by his textbooks on the subject).
Author information
Affiliations
Corresponding author
Rights and permissions
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Burgess, C.P. Quantum Gravity in Everyday Life: General Relativity as an Effective Field Theory. Living Rev. Relativ. 7, 5 (2004). https://doi.org/10.12942/lrr20045
Accepted:
Published:
DOI: https://doi.org/10.12942/lrr20045
Keywords
 Effective Field Theory
 Nice Slices
 Effective Lagrangian
 Classical General Relativity
 Curvaturesquared Terms