# Why is quantum gravity non-renormalizable?

The book The Ideas Of Particle Physics contains a brief treatment of quantum gravity, in which the claim is asserted that if one attempts to construct a model of gravity along the same lines as QED, the result is non-renormalizable and the reason why can be traced to the fact that in this case the force-carrier (the graviton) is "charged" in the sense that it contains energy and therefore couples to energy which includes other gravitons. This is in contrast to the photons in QED, which are uncharged and therefore do not couple with each other.

Is this assertion accurate, or is it instead an oversimplification of something more complex?

• – Qmechanic Jun 30 '19 at 4:35
• – AccidentalFourierTransform Jun 30 '19 at 12:33
• I suspect that the assertion in the book is a reference to Weinberg–Witten theorem which can be used to kill some quantum gravity models but is not directly applicable to GR. – A.V.S. Jun 30 '19 at 18:18
• The answer to your question is "neither." It's neither accurate nor an oversimplification; it's just wrong. (But hey, at least it's not not even wrong!) – tparker Aug 10 '19 at 4:36

I think this is a misleading oversimplification.

Gluons carry color charge and couple to themselves, yet QCD is renormalizable.

Similarly, W bosons carry weak isospin and couple to themselves, yet electroweak theory is renormalizable.

In general, non-abelian gauge theories are renormalizable despite the fact that their force-carriers couple to each other.

The problem with gravity is that its coupling constant $$G$$ is not dimensionless (in units where $$\hbar$$ and $$c$$ are 1). Consequently, any perturbation expansion in $$G$$ will involve higher and higher powers of the Riemann curvature tensor. Rather than there being a finite number of possible “counterterms” during renormalization, as in renormalizable theories, there are an infinite number of them.

• could you please give us a text which talks about the $G$? – M.N.Raia Jun 30 '19 at 4:47
• $G$ is Newton’s (and Einstein’s) gravitational constant. – G. Smith Jun 30 '19 at 4:48
• +1: @nielsnielson Interestingly enough, not only is QCD (where gluons are charged under the color $SU(3)$) renormalizable but the perturbation theory becomes better and better at higher and higher energies. On the other hand, a photon of QED is not charged under the electromagnetic $U(1)$ and yet, QED perturbation theory breaks down in deep UV. – Dvij D.C. Jun 30 '19 at 12:05
• Quantum gravity is a general class of theories, so it is not correct to say that quantum gravity is not renormalizable. The statement should be that Einstein's general relativity is not renormalizable. @safesphere Added comment here. What do you mean by a "valid" theory of gravity that you know? – Avantgarde Jun 30 '19 at 16:28
• Note that the problem is not so much that the coupling constant is dimensionful, but rather that it has negative mass dimension. If the dimension were positive, it would be renormalizable. – Peter Kravchuk Jun 30 '19 at 19:26

As the other answer said, having a carrier that is charged has nothing to do with renormalizability. I would say that what the book says is not a mere oversimplification but it's straight up wrong.

The reason why gravity is non renormalizable has to do with the mass dimension of the coupling. To be more precise one should say that the theory is not renormalizable by power counting. There are two ways to approach this, which, in my opinion, are equally important.

Renormalization as a procedure to cure divergences

When computing Feynman diagrams sometimes it is possible to get an ill defined, divergent, answer. The purpose of renormalization is to figure out how to make sense of this.

The idea is that I start with a Lagrangian as a function of some couplings and modify the theory with a parameter $$\Lambda$$ so as to get finite results. Then I carefully tweak the parameters $$g_i$$ of my Lagrangian so that the dependence on $$\Lambda$$ cancels from all physical observables. In other words I have a machinery $$\mathcal{F}_\Lambda$$ (the Feynman diagrams) that from $$\mathcal{L}_0(g_i)$$ (the Lagrangian) produces the observables $$f_j$$ $$\mathcal{L}_0(g_i)\;\to\;\boxed{\mathcal{F}_\Lambda}\;\to\;f_j(g_i,\Lambda)\,,$$ and I choose $$g_i$$ so that $$f_j$$ actually does not depend on $$\Lambda$$ at all. The problem is that this is not always possible and sometimes we need to introduce other couplings to the Lagrangian $$\mathcal{L}_1(g_1,\ldots g_{n+1}) = \mathcal{L}_0(g_1,\ldots g_n) + g_{n+1}\mathcal{O}\,.$$ This new coupling wasn't there at the beginning, but it's needed to cancel the $$\Lambda$$ dependence. Every time I make a computation to a higher degree of accuracy, I risk of having to add more and more couplings. So is there any hope that this procedure stops at some point?

Yes, the answer is power counting. There is a nice property of the divergences encountered in Feynman diagrams: if the couplings that enter in the diagram have mass dimension $$\delta_i = g_i$$, then the divergent part can be absorbed by couplings with dimension greater or equal to $$\sum_i \delta_i$$.

Clearly $$\delta_i \leq d\;{}^{\underline{1}}$$ because there are no operators with negative mass dimension. So if all $$\delta_i$$'s are positive, the couplings are closed under renormalization. I can consistently eliminate all divergences by (in the worst case scenario) putting all possible operators of dimension $$0 \leq \delta_i \leq d$$.

If, on the other hand, at least one of the $$\delta_i$$ is negative, then there is a diagram that needs an operator whose coupling has dimension $$2 \delta_i$$. Which is even more negative, so we need another one with $$3\delta_i$$ and so on. In this scenario the procedure does not have an end and we and up with an infinite number of couplings $$\mathcal{L}_1 =\mathcal{L}_0 + g_{n+1} \mathcal{O} + g_{n+2} \mathcal{O}' + \ldots\,.$$ We need infinitely many experiments $$f_j$$ to fix all of those $$g_i$$'s, so the theory is useless.

Renormalization group approach

Another complementary approach is that of the renormalization group. The renormalization group approach studies the behavior of a quantum system when we "zoom" out. That means when we ignore the microscopic details and retain only those dynamical variables that describe the physics at larger scales.

The net effect of doing these transformations is a change of the couplings in the Lagrangian and possibly the addition of new ones. Very much like we do in the renormalization process.

This procedure is one way obviously because we lose information in the process. Nevertheless one can try and think of it backwards. The operators whose couplings have $$\delta_i > 0$$ are eigenvectors of this transformation with eigenvalue smaller than one. So they become less and less important while going at small distances (high energies). On the other hand, operators with $$\delta_i<0$$ blow up in the high energy regime. So in order to trace them backwards we need to know with extremely high accuracy all couplings of all these operators.

This is another signature of the fact that theories with couplings of negative mass dimensions cannot be extrapolated to high energy without having to supply an infinite amount of information.

Yeah, as the other answer pointed out, gravity does have a coupling with negative dimension and it's the Newton constant (or equivalently the Planck mass to the $$-2$$)$$\,{}^{\underline{2}}$$ $$8 \pi G = M_P^{-2}\,.$$ But it's not all lost. As I tried to explain in the last paragraph, the problem of non renormalizability is actually an issue of high energies. The theory remains predictive at the energies we can reach in the collider. However, at energies larger than $$M_P$$ we have no clue.

$$\;\;{}^{\underline{1}}$$ The number of dimensions, i.e. $$4$$.

$$\;\;{}^{\underline{2}}$$ I'm using Natural units.

• Standard disclaimer about how it’s wrong to call nonrenormalizable theories useless because they still provide explanatory power for low energies when only a finite number of IR-irrelevant operators aren’t neglect able also not everything is about hep, condensed matter theorists have been successfully using nobrenormalizable theories for generations blah blah blah – Prof. Legolasov Jun 30 '19 at 9:37
• Of course I agree. I tried to put this very disclaimer in the last sentence, but I should have emphasized it more. – MannyC Jun 30 '19 at 13:13
• Say, you majically succeed renormalizing gravity. How would this explain the gravitational time dilation? – safesphere Jun 30 '19 at 15:03
• @safesphere good point, also the fuzzy light cones go into the same bucket of arguments. The question was about nonrenormaizability though – Prof. Legolasov Jun 30 '19 at 21:40
• Is there a typo in "dimension greater of equal to"? – Jasper Jul 2 '19 at 15:56

I feel like MannyC's excellent answer deserves a brief postscript. Ultimately the reason that the gravitational coupling has negative mass dimension is a consequence of the fact that the high-energy spectrum of GR contains black holes. A good explanation of this can be found here. So yes, technically GR does not yield a renormalizable QFT because it requires an infinite number of counterterms. But this is just a symptom of the black holes in the theory.

• If this is just a postscript to MannyC's answer, then it would be better to make it into a comment. – user4552 Jun 30 '19 at 14:48
• @BenCrowell I think this one could stand as an answer on its own... The question was "Why is QG non renormalizable - This one answers - "Essentially because Black Holes exist in GR" – Falco Jul 1 '19 at 12:10
• @BenCrowell Also, comments get mass-deleted from time to time. So, if you want to make an addition to an existing answer that's supposed to last, referring to it in another answer is the only way to go. – cmaster - reinstate monica Jul 2 '19 at 6:59
• Cmaster is right, and that's a reason why I've upvoted d b's answer, but d b can still delete it as a different answer's already been accepted, so someone really really liking it should...uh...memorize it. As can be seen by anyone wanting to sit thru Guth's Jan.2018 lecture on the cosmology with infinite entropy and dual arrows-of-time (available on Youtube) that he's working on jointly with Carroll, this answer is getting close to the debate between the field-based and the bouncing versions of inflationary cosmology, in which Guth (who may favor the former) insists on renormalizability. – Edouard Jul 3 '19 at 3:04