2
$\begingroup$

I'm trying to learn the renormalization group, but I am confused about renormalization schemes. The general idea of RG is that physical predictions are independent of "the scale at which a theory is defined", and that every renormalization scheme will throw in such an arbitrary scale, which we can then vary.

My problem is that my textbooks will say this, and then, a hundred pages later, suddenly declare that some random quantity is "the scale that defines the theory". I still have no idea what that phrase means! Usually, this quantity is the parameter $\mu$ that appears in dimensional regularization, but it's unclear how to interpret that quantity.

To make my question more specific, I have a restricted version of the question for each of the three renormalization schemes I know about.

  • Minimal subtraction: the counterterms have zero finite part, so $\mu$ appears in renormalized quantities. How does $\mu$ get the interpretation of "the scale at which the theory is defined"?
  • On-shell subtraction: we specify counterterms by demanding that renormalized quantities match physical ones, e.g. the renormalized mass is equal to the pole mass. As a result, renormalized quantities are completely determined and do not involve $\mu$ at all. In this case, how can we generate any nontrivial results by varying $\mu$ in RG flow?
  • Momentum subtraction (MOM): here, we set counterterms by demanding that certain Green's functions are equal to certain finite expressions at external momentum scale $M$. For example, we might demand the renormalized propagator is $i/(p^2-M^2)$ at $p^2 = M^2$. In this case, $M$ appears to be the scale that defines the theory, not $\mu$, yet we vary $\mu$ anyway. Why not vary $M$ instead?
$\endgroup$
  • 1
    $\begingroup$ Related: What is precisely the energy scale of a process?, this should answer the first bullet point. I don't actually understand the second bullet point - you match the physical quantities at a fixed scale. Being able to change the scale by just running the couplings and not having to do the perturbative matching again for some scale which might be difficult to actually measure is a non-trivial result, no? The third bullet point about a specific scheme would be better off as its own question, I'd say. $\endgroup$ – ACuriousMind Mar 7 '16 at 10:44
3
$\begingroup$

Question 1

Nontrivial RG flow is the result of explicit breaking of classical theory scale invariance in corresponding quantum field theory. If there is no dimensionful parameters in classical lagrangian of corresponding theory (the generalization on the presence of masses is straightforward, but is not relevant here), we naively expect that after scaling transformation, $$ \Phi (x) \to e^{\sigma \epsilon}\Phi (e^{\epsilon}x), \quad x \to e^{\epsilon}x, $$ with $\sigma$ being the canonical dimension of $\Phi$ field and $\epsilon$ being the continuous parameter of transformation, the action will be unchanged. Corresponding symmetry defines dilatation current conservation law: $$ \partial_{\mu}D^{\mu} =0 $$ This naive law is completely broken by infinities of QFT (such breaking is called the trace anomaly), because of which regularization enters the game. I.e, we introduce the dimensionful parameter by hand, and initial free from dimensionful parameters lagrangian begins to contain the one, called $\mu$. Since it is dimensionful, it is called the scale of theory. However, it is unphysical, and we can't say that it is the scale on which theory is defined: for example, we can choose it so that it coincides with square of transfer momentum, but it is only formal correspondence which depends on our wish.

In general, because of the presence of scale the dilatation current conservation law is modified by quantum corrections. For example, for massless QED $$ \partial_{\mu}D^{\mu} \sim \beta (\alpha)F_{\mu \nu}F^{\mu \nu}, \quad \alpha \equiv \frac{e^{2}}{4 \pi} $$ This leads to nontrivial behaviour of lagrangian parameters (like couplings) with changing of $\mu$.

What's about your question, $\mu$ as the scale on which theory is defined? The answer is dimensional transmutation phenomena, which occurs because of described above breaking of scaling invarince. Precisely, by solving RG equation (here $\alpha$ is the running coupling) $$ \mu\frac{d\alpha}{d\mu} = \beta (\alpha (\mu)) $$ we obtain that $$ \alpha (\mu) = f(\mu , \mu_{0}, \alpha (\mu_{0})) $$ We can invert this relation and use dimensionful parameter $\mu_{0}$ instead of $\alpha $ in perturbation theory (and this is what people call the dimensional transmutation). Such parameter is really physical scale: it defines set of theory parameters. For example, for QCD it defines the strong coupling scale, which is closely related to the confinement and chiral symmetry breaking scale $\Lambda_{QCD}$. The latter determines the scale at which effective theory which describes hadrons interactions works.

Question 2

1. General remarks

The scheme of renormalization precisely defines renormalization constants, including their finite part. In general, the renormalization constants are given as (for example, for dimensional regularization) $$ \tag 0 Z_{i} = a_{i} + \sum_{j = 1}\frac{c^{(i)}_{j}}{\epsilon^{j}}, $$ We have the freedom for choosing $a_{i}$, while $c^{(i)}_{j}$ are completely fixed by the structure of infinities in theory. The renormalization group states that the scheme dependence of the physical observables is absent.

Your question is following: suppose that we have specifit renormalization scheme for which the scale parameter $\mu$ doesn't affect parameters of theory - particularly, the mass parameter, which is fixed by the pole of propagator - why do we introduce the other scheme, for which the mass becomes to run and the RG equations enter the game?

The specific renormalization scheme is called on-shell scheme, while the convenient scheme with the precence of the scale in the expression for the mass is called minimal subtraction. So what's the point?

2. On-shell renormalization scheme: limitations

Let's assume that you use on-shell renormalization scheme. For this scheme $a_{i}$ is not zero, and it is uniquely fixed by specific conditions.

Lets assume the simplest case - scalar theory with self-interaction, and lets concentrate on the mass renormalization. After computing the self-energy by keeping this scheme you have that the propagator is $$ D^{-1}(p^{2}) = p^{2} - m_{\text{pole}}^{2} - \Sigma (p^{2}), $$ where $m_{\text{pole}}$ is the physical mass, for which $$ \tag 1 D^{-1}(m_{\text{pole}}^{2}) = 0 $$ (since it is observable than it doesn't depend on the $\mu$ scale), and $\Sigma (p^{2})$ is self-energy. Eq. $(1)$ expicitly reads $$ \tag 2 \Sigma (p^{2} = m_{\text{pole}}^{2}) = 0 $$ Also, the requirement that the propagator has the unity residue leads to the statement that $$ \tag 3 \left(\frac{d\Sigma (p^{2})}{dp^{2}}\right)_{p^{2} = m_{\text{pole}}^{2}} = 0 $$ This condition, let me remind, in fact is nothing but the requirement that the propagator corresponds to the one-particle state.

Note two things about $\Sigma (p^{2})$ in on-shell scheme. The first one is that it doesn't depend on the scale $\mu$ since the mass $m_{\text{pole}}$ is indeed scale independent, and this result, of course, is regularization scheme independent. The second is that the condition $(3)$ can't be satisfied in the limit of $m_{\text{pole}}^{2} = 0$, since in massless limit Callen-Lemman representation of the propagator (which just binds the pole of the Green function with one-particle state) doesn't contain isolated pole: the one-particle state with zero energy isn't different from many-particle states.

We can't deal with this problem without introducing regularizing scale $m_{\text{reg}}^{2}$. It is indeed unphysical, and in general this is the price for obtaining $\mu$-scale independent quantities in theories with massless states. Note that the most of realistic theories are ones with massless states. For example, QED in on-shell prescription suffers from IR divergences in self-energy because of exactly zero photon mass.

To avoid such singularities, we need to change the renormalization scheme.

3. Extra: the minimal subtraction scheme

For this scheme, all $a_{i}$s in Eq. $(0)$ are zero. So that, Eq. $(1)$ now is $$ D^{-1}(p^{2}) = p^{2} - m^{2} - \Sigma (p^{2}, \alpha , \mu), $$ where $\alpha$ is the set of other couplings which are present in theory (here they are couplings for cubic, quartic terms).

For $p^{2} = m_{\text{pole}}^{2}$ $$ D^{-1}(m_{\text{pole}}^{2}) = m_{\text{pole}}^{2} - m^{2} - \Sigma (m_{\text{pole}}^{2}(m^{2}, \alpha , \mu), \alpha, \mu) = 0, $$ or at the lowest order of perturbation theory $$ m_{\text{pole}}^{2} = m^{2} + \Sigma (m^{2}, \alpha , \mu) $$ In this scheme $\Sigma$ depends on $\mu$ explicitly. But the $m_{\text{pole}}$ doesn't depend on it, so that we come to the statement that $m^{2}$ and $\alpha$ depend on $\mu$.

$\endgroup$
  • $\begingroup$ "If there is no dimensionful parameters in classical lagrangian of corresponding theory" That's a bit of a silly assumption in general, because except for pure Yang-Mills most theories have a field with mass. $\endgroup$ – ACuriousMind Mar 7 '16 at 12:30
  • $\begingroup$ If there are dimensionful parameters, then Eqs. $(1), (2)$ are modified, but the morality is the same: classical conservation law for dilatation current is modified by quantum corrections which depend on the scale. $\endgroup$ – Name YYY Mar 7 '16 at 12:36
  • $\begingroup$ @NameYYY I don't understand your answer to my question #2. The relation you wrote down, $m_p^2 - m_b^2 - \Sigma(m_p^2) = 0$, is always true, since it simply says there is a pole at $m_p$. The on-shell scheme is the more specific assumption $m_b = m_p$, in which case $m_b$ does not depend on $\mu$ at all. Therefore there is no RG equation for the on-shell scheme. Where am I going wrong here? $\endgroup$ – knzhou Mar 8 '16 at 19:18
  • $\begingroup$ @knzhou : sorry, my initial answer was the result of misunderstanding of your question. I've completely rewrote it. $\endgroup$ – Name YYY Mar 10 '16 at 16:12
  • $\begingroup$ After coming back and reviewing it, this makes perfect sense now. Thanks! $\endgroup$ – knzhou Mar 22 '16 at 0:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.