Does a field operator always commute with itself?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
2 replies · 5K views
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?