Add a new page:
This is an old revision of the document!
$[ \color{firebrick}{\hat{x}_i} , \color{firebrick}{\hat{x}_j}] =0, \ [ \color{royalblue}{\hat{p}_i} , \color{royalblue}{\hat{p}_j} ] = 0, \ [\color{royalblue}{\hat{p}_i},\color{firebrick}{\hat{x}_j}] = -i \hbar \delta_{ij}$
The canonical commutation relations tell us that we can't measure the momentum and the location of a particle at the same time with arbitrary precision.
Quantum Mechanics
\begin{equation} \label{eq:commquantummech} [\hat{p}_i,\hat{x}_j] = -i \delta_{ij} .\end{equation}
This equation tells us that, for example, a measurement of momentum in the x-direction changes what we can expect for a measurement of the location on the x-axis. Take note that only for measurements along the same axis is the commutator non-zero. A measurement of momentum in the y-direction has no influence on what we can expect for the position on the x-axis. In other words, this means that we can't know momentum and position in the same direction at the same time with arbitrary precision.
Every time we measure the location of a particle the momentum becomes uncertain and vice versa. This is known as Heisenberg's uncertainty principle. Analogous observations can be made for angular momentum along different axes, because the commutator for the corresponding operator is non-zero, too. In general, we can check for any two physical quantities if they commute with each other. If they don't, we know that they can't be measured at the same time with arbitrary precision.
For example, invariance under translation yields conservation of momentum and therefore
\[ \text{momentum } \hat{p}_i \rightarrow \text{ generator of spatial-translations } -i \partial_i \]
Analogous, the invariance under the action of the generator of time-translations leads us to the conservation of energy. Consequently \[ \text{energy } \hat{E} \rightarrow \text{ generator of time-translations } i \partial_o. \]
With these operators at hand, we can derive the canonical commutation relation \[[\hat{p}_i,\hat{x}_j] \Psi = (\hat{p}_i\hat{x}_j -\hat{x}_j \hat{p}_i ) \Psi = (-\partial_i\hat{x}_j + \hat{x}_j \partial_i )i \Psi \] \begin{equation}\underbrace{=}_{\text{product rule}} -(\partial_i\hat{x}_j)i \Psi - \ \hat{x}_j ( \partial_i \Psi ) + \hat{x}_j \partial_i \Psi \underbrace{=}_{\text{because } \partial_i\hat{x}_j = \frac{\partial x_j}{\partial x_i} } - i \delta_{ij} \Psi .\end{equation}
This equation holds for arbitrary $\Psi$, because we made no assumptions about $\Psi$ and therefore we can write the equation without it
Quantum Field Theory
The canonical commutation relation in quantum field theory reads
\begin{equation} \label{qftcomm} [\Phi(x), \pi(y)]=\Phi(x) \pi(y) - \pi(y) \Phi(x) = i \delta(x-y) \end{equation} where $\delta(x-y)$ is the Dirac delta distribution and $\pi(y) = \frac{\partial \mathscr{L}}{\partial(\partial_0\Phi)}$ is the conjugate momentum.
It tells us that the fields in quantum field theory $\Phi(x)$ can‘t be simply a function, but must be operators. In contrast, ordinary functions and numbers commute:
For example $f(x)=3x$ and $g(y)= 7y^2 +3$ clearly commute $$ [f(x) , g(x)]= f(x)g(x) - g(x) f(x) = 3x (7y^2 +3) -(7y^2 +3) 3x =0. $$
Therefore, we have to conclude that quantum fields are operators that act, like every operator in quantum theory, on abstract states. Upon closer inspection, we see that the action of the fields can be interpreted as the creation and destruction of particles.
The conjugate momentum is the conserved quantity that follows via Noether‘s theorem from invariance under translations of $\Phi(x)$ itself: $ \Phi(x) \rightarrow \Phi(x) + \epsilon$.
For example, for spin $0$ fields the conjugate momentum is$$\pi(x) = \frac{\partial \mathscr{L}}{\partial(\partial_0\Phi(x))} = \frac{\partial }{\partial(\partial_0\Phi(x))} \frac{1}{2}( \partial _{\mu} \Phi(x) \partial ^{\mu} \Phi(x) -m \Phi^2(x)) $$ $$ = \partial_0\Phi(x). $$
Take note that, for brevity, it‘s conventional to write $\Phi(x)$ instead of $\Phi(x,t)$ , which means we include $t$ in $x$: $x_0=t$, $x_1=x$, $x_2=y$ and $x_3=z$.
The invariance under displacements of the field itself $\Phi \rightarrow \Phi - i \epsilon$ yields a new conserved quantity, called conjugate momentum $\Pi$. So completely analogous to what we discussed above for quantum mechanics, we now identify the conjugate momentum density with the corresponding generator
\[ \mathrm{conj. \ mom. \ density \ } \pi(x) \rightarrow {\mathrm{gen. \ of \ displ. \ of \ the \ field \ itself: \ }} -i \frac{\partial}{\partial \Phi(x)} \]
We can then calculate
\[[\Phi(x), \pi(y)] \Psi = \left[\Phi(x), -i \frac{\partial}{\partial \Phi(y)}\right] \Psi \] \begin{equation} \label{eq:field-conjmom-commutator} \underbrace{=}_{\text{product rule}} -i \Phi(x) \frac{\partial \Psi}{\partial \Phi(y)} + i \Phi(x) \left(\frac{\partial\Psi}{\partial \Phi(y)} \right) + i \left( \frac{\partial \Phi(x)}{\partial \Phi(y)} \right) \Psi = i \delta(x-y) \Psi \end{equation} Again, the equations hold for arbitrary $\Psi$ and we can therefore write
\begin{equation} [\Phi(x), \pi(y)] = i \delta(x-y) \end{equation}
The canonical commutation relations encapsulate what quantum theory is all about.
In quantum mechanics, it tells us that we need to work with measurement operators.
In quantum field theory it tells us that our fields are operators.