Consider a scalar field in dimensions with the standard decomposition into creation and annihilation operators,
Then the commutation relations between the creation/annihilation operators,
where , imply exact commutativity of spacelike separated fields:
where the last step follows from the fact that since , there exists a continuous Lorentz transformation that interchanges the order of events; in particular, this allows us to take in one of the two terms, whereupon the commutator vanishes. A similar argument can be made for commutators of the form .
The vanishing of the commutator between spacelike separated observables is what is technically meant by microcausality in QFT. The prefix “micro” is to distinguish this quantum concept from macrocausality, which refers to our classical notion that no effects propagate faster than light. Since the latter is almost always taken for granted in such discussions, one often takes the unqualified “causality” to refer to the former, but we shall refrain from following this convention here for the sake of exactness.
Note that the correlation function does not vanish, even for . This does not imply any superluminal violations of causality. Rather, this is simply the statement that the fields share some small correlation; i.e., that their past lightcones overlap. (Ignoring such issues as cosmological expansion, in flat space this will always be true if one goes back far enough). In other words, it is the commutator, and not the correlator, that provides the correct diagnostic of microcausality in field theories.
Ironically, the exact microcausality of fields (inherently nonlocal entities defined on the whole space) does not extend to particles (the local excitations thereof). Consider the number operator density , defined via
where is the number operator that counts the number of particles in a state within a given spatial region . It is then straightforward to show (see, e.g., Anthony Duncan’s The Conceptual Framework of Quantum Field Theory, 2012, sec. 6.5) that
and therefore measurements of the number of particles in two non-overlapping volumes, , , (where and ) will exhibit an interference that falls off exponentially with the minimum spacelike separation between and . In other words, a one-particle state can be localized with respect to the number density operator only with an energy density that falls off exponentially at a rate determined by the Compton wavelength, i.e., . This is why it is meaningless to speak of “particles” below their Compton wavelength. Incidentally, lest one worry, the above is a uniquely quantum phenomenon: one recovers in the non-relativistic limit, . (In fact, the discussion is even more subtle: technically speaking, number operators localized within finite subregions do not exist).
As should now be apparent, the concepts of causality and locality are intimately linked, but technically distinct. In particular, the impossibility of exactly localizing particles reflects the fact that one cannot localize physical attributes (e.g., energy, momentum, charge) at a dimensionless spacetime point. Indeed, the point-like nature of elementary particles is merely a statement about their interaction (via a Hamiltonian which multiplies them at the same spacetime point), and is therefore epistemic. At best, one can localize particles as wavepackets. This is sufficient to ensure clustering: the factorization of the S-matrix for groups of separated particles such that, in the limit that the separation distance goes to , the total scattering amplitude approaches the product of the independent scattering amplitudes of the particles in each region. Ultimately, this is what we observe in the laboratory, and as such one could consider this an operational definition of locality. But it is microcausality that ensures the analyticity of the S-matrix (via the singularity structure, which inhibits future interactions from influencing the past) on which the covariant formulation of clustering rests.