Does a field operator always commute with itself?

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
2 replies · 5K views · last reply
Frank Castle
Messages
579
Reaction score
23
In quantum field theory (QFT), the requirement that physics is always causal is implemented by the microcausality condition on commutators of observables ##\mathcal{O}(x)## and ##\mathcal{O}'(y)##, $$\left[\mathcal{O}(x),\mathcal{O}'(y)\right]=0$$ for spacelike separations. Intuitively, I've always understood this as the requirement that a measurement of the observable ##\mathcal{O}(x)## at the point ##x^{\mu}## cannot influence a measurement of the observable ##\mathcal{O}'(y)## at the point ##y^{\mu}## is the two points are spacelike separated.

Now, consider a scalar field ##\phi(x)##. Is it true that it always commutes with itself regardless of the spacetime separation? i.e. is $$\left[\phi(x),\phi(y)\right]=0 $$ true ##\forall\;x^{\mu},\,y^{\mu}##?

If so, how does one interpret this physically? Is it analogous to ordinary quantum mechanics (QM) in which the different position operators ##\hat{x}^{i}## all commute among themselves (since a particle can be in a simultaneous eigenstate of its 3-position)?
 
Physics news on Phys.org
Frank Castle said:
Now, consider a scalar field ##\phi(x)##. Is it true that it always commutes with itself regardless of the spacetime separation? i.e. is $$\left[\phi(x),\phi(y)\right]=0 $$ true ##\forall\;x^{\mu},\,y^{\mu}##?

The commutator of the Heisenberg picture scalar field operators can be written with propagators as

##[\phi (x) , \phi (y)] = D(x-y) - D(y-x)##.

For spacelike separations this vanishes as shown in Peskin&Schroeder and other sources. It's not always zero.
 
hilbert2 said:
The commutator of the Heisenberg picture scalar field operators can be written with propagators as

##[\phi (x) , \phi (y)] = D(x-y) - D(y-x)##.

For spacelike separations this vanishes as shown in Peskin&Schroeder and other sources. It's not always zero.

What is the physical interpretation of this though?

In which cases does the commutator of a field with itself not vanish? Is it only the case when one has anti-commuting fields such as spinors?