I'm somewhat unsure about how we go about counting degrees of freedom in classical field theory (CFT), and in QFT.
Often people talk about field theories as having 'infinite degrees of freedom'. My understanding of this is that we start with classical mechanics, which has one degree of freedom per spatial dimension – ie. one function of time per spatial dimension. Then we move to CFT, with the approach where we imagine that we discretise space into little boxes, and have a field value at each point. Then if we have $N$ lattice points this is a like $N$ versions of classical mechanics – ie. $N$ functions of time – and hence $N$ degrees of freedom. We formulate a limit where the size of each box goes to zero in a well-defined way, and this gives us an inifite number of degrees of freedom. Is this correct?
Now let's move to the photon. We often say that the photon has two degrees of freedom, one for each polarisation mode. My understanding of this is that we take a vector field on spacetime – which has four independent components and hence four degrees of freedom – and we loose two degrees of freedom, one from the gauge symmetry of the photon, and one from the equation of motion for the field.
My first question is how this relates to the 'infinite degrees of freedom in field theory' statement. Presumably this is just that it's not useful to say that we have infinite degrees of freedom, and so we've now come up with a new way to define degrees of freedom in terms of internal field space
My next question is why the field equation reduces our number of degrees of freedom by one. The field equation for the photon is a vector equation (ie. specifies four functions), so why does this not reduce the number of degrees of freedom by four?
And then in QFT we know that the photon can be off-shell. Presumably it still makes sense to say that the photon has two degrees of freedom in QFT because all in-coming and out-going states in the LSZ formula must be on-shell, and hence all amplitudes that we calculate must for particles with two degrees of freedom?
Then let's consider a real scalar field. If we lose one degree of freedom for the equations of motion for our photon, the same calculation tells me that a classical real scalar field has one degree of freedom which is then taken away by the equation of motion for the field, and hence has no degrees of freedom. This sounds strange to me, my understading is that something with no degrees of freedom isn't dynamical. Can someone explain this to me?
And then I'd like to think about SU(3) Yang-Mills theory. Now our gauge field becomes a matrix. My understanding is that the gauge field is in the fundamental representation, so that gives us $3 \times 3 \times 4 = 36$ degrees of freedom. We can decompose our (traceless Hermitian) gauge field in terms of the eight group generators for $SU(3)$, and this decomposition lets us think in terms of eight gluons. Gluons are massless spin-one particles like the photon, and hence have two degrees of freedom each – a total of 16.
So this leads me to think that we must have 20 conditions which reduce the number of degrees of freedom of the $SU(3)$ gauge field from 36 to 16. I think we have eight conditions from the Yang-Mills field equations (one for each group generator index, is this correct?), and so that tells me that the gauge freedom must correspond to twelve conditions which reduce the number of gluon degrees of freedom? Can anyone explain either where this twelve comes from, or why it's not correct?
My final question is to do with how we deal with these extra degrees of freedom. In QED, we just avoid integrating over the extra degree of freedom in the functional integral, which is acceptable because $U(1)$ is Abelian. In $SU(3)$ Yang Mills, we can't do this because $SU(3)$ is non-Abelian, and so we introduce ghost fields. Firstly, do we have the same number of ghost fields as extra gluon degrees of freedom? (Which would be twelve, if what I said above is correct).
This also looks to me that we have dealt with the extra gauge degrees of freedom by introducing equations of motion for the ghost fields. The total number of degrees of freedom is then reduced by the Yang-Mills field equations, and by the field equations for the ghost fields. Is this correct?
Best Answer
You really should split your question. I will answer the part where you do not understand how counting of degrees of freedom work.
Basically we count the number of propagating (physical) degrees of freedom per point of spacetime. Of course, the total number of degrees of freedom is infinite because spacetime is continuous and has an infinite number of points, but to ask for the number of degrees of freedom per spacetime point is a reasonable demand to make. Bear in mind that we only care about physical degrees of freedom by which we mean those that can be properly normalized.
You correctly state that photons can be off-shell but they are only those involved in internal processes. External photons are always on-shell. Moreover, gauge invariance is a physical property. External fields which you measure in your laboratory should be independent of your chosen gauge. In other words, the S-matrix should be gauge-invariant. On the other hand, there is nothing that stops me from having gauge-broken internal processes if ultimately I can make the S-matrix gauge-invariant. Therefore, the word "physical" should almost always give you a picture of external on-shell gauge-invariant quantities.
So yes, gauge redundancy kills one degree of freedom, and when we are talking about propagating physical degrees of freedom, one more is killed on-shell. You have to understand how that happens. It is not that every time you see an equation of motion, a degree of freedom is killed. Killing of degrees of freedom requires an elaborate process of imposing constraints on the equation of motion known as gauge-fixing. And this has to be done on a case by case basis.
For example, consider the four equations of motion (separated into temporal and spatial sets) for the massless photon $A^\mu = (\phi, \vec A)$ describing four on-shell degrees of freedom as follows.
\begin{align*} -\Delta \phi + \partial_t \vec\nabla\cdot\vec A = 0\,,\\ \square \vec A - \vec\nabla(\partial_t\phi-\vec\nabla\cdot\vec A) = 0\,.\\ \end{align*}
Since these equations exhibit a gauge symmetry $A_\mu \to A'_\mu := A_\mu + \partial_\mu \alpha_1(x)$, we can try to fix the gauge by choosing $\alpha_1$ such that, for instance, it is a solution of $\square \alpha_1 = -\vec\nabla\cdot\vec A$, giving us
\begin{align*} \Delta \phi' = 0\,, \\ \square \vec A' - \vec\nabla\partial_t\phi' = 0\,. \\ \\ \vec\nabla\cdot\vec{A}'=0\,.\\ \end{align*}
We have selected a divergence-free field, the so-called Coulomb gauge. Under this choice, the electric potential becomes non-propagating, that is there are no kinetic terms in the Lagrangian for it (observe that $\Delta \phi' = 0$ does not have any time derivatives).
In momentum space, this gauge condition reads $\vec p \cdot \vec \epsilon = 0$ where $ \vec \epsilon$ is the polarisation vector (Fourier transform of the magnetic potential). There are three solutions to this constraint. Choosing a frame in which $p^\mu = (E,0,0,E)$, we find that the three polarisation vectors are
$$ \epsilon^\mu_1 = (0,1,0,0), \qquad \epsilon_2^\mu=(0,0,1,0), \qquad \epsilon_t^\mu = (1,0,0,0) $$
The third polarisation is time-like and therefore cannot be normalized. It is unphysical, and we have to get rid of it. Luckily, the gauge symmetry is not exhausted. There are more available choices of gauge transformations which preserve the Coulomb gauge $\vec p \cdot \vec \epsilon = 0$. For example, we could go from $A'_\mu \to A_\mu:= A'_\mu + \partial_\mu \alpha_2(x)$ such that $\Delta \alpha_2 = 0,\ \partial_t \alpha_2 = - \phi'$ which preserves the divergence and sets $\phi = 0$.
Note that this time we have to make sure that this gauge transformation happens on-shell, namely that $\Delta \phi = 0$, otherwise this gauge-fixing will be inconsistent because $\Delta \alpha_2 = 0 \Rightarrow$ $0 = \Delta \partial_t\alpha_2 = - \Delta\phi' \ne 0$ off-shell. In other words, requiring $\phi = 0$, or equivalently $\epsilon^0 = 0$, in order to get rid of unphysical degrees of freedom requires us to be on-shell.
To summarize, we made an off-shell gauge choice $\vec p \cdot \vec \epsilon = 0$, an on-shell gauge choice $\epsilon^0 = 0$ and our equation of motion became $p^2 = 0$. Having exhausted our gauge choices, we find only two physical polarization modes or degrees of freedom.
Now, you understand that merely having an equation of motion does not eat up a degree of freedom. To find the correct number of degrees of freedom, keep on making gauge choices (producing independent constraint equations), some off-shell and some on-shell, until you exhaust your gauge freedom. Then check how many degrees of freedom you are left with. If you notice any unphysical guy showing up, most likely you haven't used up all your gauge freedom and you still have enough flex to shoot this guy dead. Then, count all that you are left with. That's your answer.