Exact renormalization group equation

From Wikipedia, the free encyclopedia

This article or section is in need of attention from an expert on the subject.
Please help recruit one or improve this article yourself. See the talk page for details.
Please consider using {{Expert-subject}} to associate this request with a WikiProject

This article or section may require cleanup to meet Wikipedia's quality standards.
Please help improve this article or replace this tag with a more specific message. This article has been tagged since January 2006. (help, talk)

In quantum field theory and statistical mechanics, an exact renormalization group equation is an exact (meaning precisely that) renormalization group equation unlike approximate ones like the Callan-Symanzik equation which doesn't take irrelevant couplings into account. There is more than one ERGE.

1 Wilson ERGE
2 Polchinski ERGE
3 Effective average action ERGE
- 3.1 Details
4 Differences
5 References

[edit] Wilson ERGE

This is the simplest conceptually but is practically impossible to do real calculations with. Fourier transform into momentum space after Wick rotating into Euclidean space. Insist upon a hard momentum cutoff, $p^2 \leq \Lambda^2$ so that the only degrees of freedom are those with momenta less than Λ. The partition function is

$Z=\int_{p^2\leq \Lambda^2} \mathcal{D}\phi \exp\left[-S_\Lambda(\phi)\right].$

For any positive Λ' less than Λ, define S_Λ' (a functional over field configurations φ whose Fourier transform has momentum support within $p^2 \leq \Lambda'^2$ ) as

$\exp\left(-S_\Lambda'[\phi]\right)\ \stackrel{\mathrm{def}}{=}\ \int_{\Lambda' \leq p \leq \Lambda} \mathcal{D}\phi \exp\left[-S_\Lambda[\phi]\right].$

Obviously,

$Z=\int_{p^2\leq \Lambda'^2}\mathcal{D}\phi \exp\left[-S_\Lambda'[\phi]\right].$

In fact, this transformation is transitive. If you compute S_Λ' from S_Λ and then compute S_{Λ' '} from S_Λ', this gives you the same Wilsonian action as computing S_{Λ' '} directly from S_Λ.

[edit] Polchinski ERGE

This involves a smooth UV regulator cutoff.

Basically, the idea is an improvement over the Wilson ERGE. Instead of a sharp momentum cutoff, we use a smooth cutoff. Essentially, we suppress contributions from momenta greater than Λ heavily. The smoothness of the cutoff, however, allows us to derive a functional differential equation in the cutoff scale Λ. As in Wilson's approach, we have a different action functional for each cutoff energy scale Λ. Each of these actions are supposed to describe exactly the same model which means that their partition functionals have to match exactly.

In other words, (for a real scalar field; generalizations to other fields are obvious)

$Z_\Lambda[J]=\int \mathcal{D}\phi \exp\left(-S_\Lambda[\phi]+J\cdot \phi\right)=\int \mathcal{D}\phi \exp\left(-\frac{1}{2}\phi\cdot R_\Lambda \cdot \phi-S_{int\Lambda}[\phi]+J\cdot\phi\right)$

and Z_Λ is really independent of Λ! We have used the condensed deWitt notation here. We have also split the bare action S_Λ into a quadratic kinetic part and an interacting part S_{int Λ}. This split most certainly isn't clean. The "interacting" part can very well also contain quadratic kinetic terms. In fact, if there is any wave function renormalization, it most certainly will. This can be somewhat reduced by introducing field rescalings. R_Λ is a function of the momentum p and the second term in the exponent is

$\frac{1}{2}\int \frac{d^dp}{(2\pi)^d}\tilde{\phi}^*(p)R_\Lambda(p)\tilde{\phi}(p)$

when expanded. When $p \ll \Lambda$ , R_Λ(p)/p^2 is essentially 1. When $p \gg \Lambda$ , R_Λ(p)/p^2 becomes very very huge and approaches infinity. R_Λ(p)/p^2 is always greater than or equal to 1 and is smooth. Basically, what this does is to leave the fluctuations with momenta less than the cutoff Λ unaffected but heavily suppresses contributions from fluctuations with momenta greater than the cutoff. This is obviously a huge improvement over Wilson.

The condition that

$\frac{d}{d\Lambda}Z_\Lambda=0$

can be satisfied by (but not only by)

$\frac{d}{d\Lambda}S_{int\Lambda}=\frac{1}{2}\frac{\delta S_{int\Lambda}}{\delta \phi}\cdot \left(\frac{d}{d\Lambda}R_\Lambda^{-1}\right)\cdot \frac{\delta S_{int\Lambda}}{\delta \phi}-\frac{1}{2}Tr\left[\frac{\delta^2 S_{int\Lambda}}{\delta \phi\, \delta \phi}\cdot R_\Lambda^{-1}\right].$

Jacques Distler claimed [1] without proof that this ERGE isn't correct nonperturbatively.

[edit] Effective average action ERGE

This involves a smooth IR regulator cutoff.

Basically, the idea is to take all fluctuations right up to a IR scale k into account and then applying mean field theory to all other fluctuations below that scale. As is well known from the study of critical phenomena, mean field theory can be completely way off. So, we'd expect that the effective average action will only be accurate for fluctuations with momenta larger than k. But the smaller k is, the more accurate the effective average action will be. By the same reasoning, the large k is, the closer the effective action will be to the "bare action". So, the effective average action interpolates between the "bare action" and the effective action.

[edit] Details

For a real scalar field, we add an IR cutoff

$\frac{1}{2}\int \frac{d^dp}{(2\pi)^d} \tilde{\phi}^*(p)R_k(p)\tilde{\phi}(p)$

to the action S where R_k is a function of both k and p such that for $p \gg k$ , R_k(p) is very tiny and approaches 0 and for $p \ll k$ , Failed to parse (unknown error\gsim): R_k(p)\gsim k^2 . R_k is both smooth and nonnegative. Its large value for small momenta leads to a suppression of their contribution to the partition function which is effectively the same thing as neglecting large scale fluctuations. We will use the condensed deWitt notation

$\frac{1}{2} \phi\cdot R_k \cdot \phi$

for this IR regulator.

So,

$\exp\left(W_k[J]\right)=Z_k[J]=\int \mathcal{D}\phi \exp\left(-S[\phi]-\frac{1}{2}\phi \cdot R_k \cdot \phi +J\cdot\phi\right)$

where J is the source field. The Legendre transform of W_k ordinarily gives the effective action. However, the action that we started off with is really S[φ]+1/2 φ⋅R_k⋅φ and so, to get the effective average action, we subtract off 1/2 φ⋅R_k⋅φ. In other words,

$\phi[J;k]=\frac{\delta W_k}{\delta J}[J]$

can be inverted to give J_k[φ] and we define the effective average action Γ_k as

$\Gamma_k[\phi]\ \stackrel{\mathrm{def}}{=}\ \left(-W\left[J_k[\phi]\right]+J_k[\phi]\cdot\phi\right)-\frac{1}{2}\phi\cdot R_k\cdot \phi.$

So,

$\frac{d}{dk}\Gamma_k[\phi]=-\frac{d}{dk}W_k[J_k[\phi]]-\frac{\delta W_k}{\delta J}\cdot\frac{d}{dk}J_k[\phi]+\frac{d}{dk}J_k[\phi]\cdot \phi-\frac{1}{2}\phi\cdot \frac{d}{dk}R_k \cdot \phi=-\frac{d}{dk}W_k[J_k[\phi]]-\frac{1}{2}\phi\cdot \frac{d}{dk}R_k \cdot \phi=\frac{1}{2}\left\langle\phi \cdot \frac{d}{dk}R_k \cdot \phi\right\rangle_{J_k[\phi];k}-\frac{1}{2}\phi\cdot \frac{d}{dk}R_k \cdot \phi=\frac{1}{2}Tr\left[\left(\frac{\delta J_k}{\delta \phi}\right)^{-1}\cdot\frac{d}{dk}R_k\right]=\frac{1}{2}Tr\left[\left(\frac{\delta^2 \Gamma_k}{\delta \phi \delta \phi}+R_k\right)^{-1}\cdot\frac{d}{dk}R_k\right]$

$\frac{d}{dk}\Gamma_k=\frac{1}{2}Tr\left[\left(\frac{\delta^2 \Gamma_k}{\delta \phi \delta \phi}+R_k\right)^{-1}\cdot\frac{d}{dk}R_k\right]$

is the ERGE.

As there are infinitely many choices of R_k, there are also infinitely many different interpolating ERGEs.

We only looked at the case of a scalar field but the generalization to other fields like spinorial fields is obvious.

[edit] Differences

Although the Polchinski ERGE and the effective average action ERGE look similar, they are based upon very different philosophies. In the effective average action ERGE, the bare action is left unchanged (and the UV cutoff scale -- if there is one -- is also left unchanged) but we neglect the IR contributions to the effective action whereas in the Polchinski ERGE, we fix the QFT once and for all but vary the "bare action" at different energy scales to reproduce the prespecified model. Polchinski's version is certainly much closer to Wilson's idea in spirit. Note that one uses "bare actions" whereas the other uses effective (average) actions.