advanced27 min studyLesson 44 in Physics

Propagators and causal influence

Distinguish time-ordered correlations, retarded response, and spacelike commutativity without treating internal lines as signals.

On this page

What you’ll understand

  • State the Feynman propagator convention and its Green-function equation.
  • Use microcausality to test a claim about faster-than-light influence.
  • Choose the appropriate correlation or response function for a question.

A propagator is often described as the amplitude for a particle to travel between two events. That phrase can hide crucial distinctions. A time-ordered vacuum correlation is not the same object as a response to a controlled source. Understanding the difference lets us use relativistic quantum fields without inventing superluminal messages from nonzero spacelike correlations.

Time ordering specifies an operator question

Keep ℏ=c=1\hbar=c=1, metric (+−−−)(+---), and the free real scalar field. Define ΔF(x−y)=⟨0∣Tϕ(x)ϕ(y)∣0⟩\Delta_F(x-y)=\langle0|T\phi(x)\phi(y)|0\rangle, including the factor of ii in its momentum-space representation below. For bosons, time ordering places the later operator on the left. This is a vacuum expectation of an ordered product, not the expectation of the field produced after an experimenter turns on a source.

The infinitesimal iϵi\epsilon prescription tells us how the energy integration passes the poles. It implements the vacuum time-ordering boundary condition and cannot be discarded before integration. Different pole prescriptions solve related differential equations with different boundary conditions. Calling all of them “the inverse wave operator” omits information that is as necessary as boundary conditions were for the classical initial-value problem.

ΔF(z)=∫d4p(2π)4i e−ip⋅zp2−m2+iϵ,(□+m2)ΔF(z)=−iδ(4)(z)\Delta_F(z)=\int\frac{d^4p}{(2\pi)^4}\frac{i\,e^{-ip\cdot z}}{p^2-m^2+i\epsilon},\qquad (\Box+m^2)\Delta_F(z)=-i\delta^{(4)}(z)
Here epsilon approaches zero from above after the distributional integral is defined. Some texts call this object i times the propagator; compare definitions before comparing signs.↔ Scroll wide equations horizontally.

Correlations do not identify signaling channels

For spacelike separation, the free scalar commutator vanishes although ΔF\Delta_F generally does not. This is not a contradiction. Two observables can be correlated in a shared state without either allowing a local agent to change the other’s outcome distribution instantaneously. In local relativistic QFT, commuting spacelike observables encode this operational separation. A vacuum correlation measures the state’s structure; it does not on its own specify an intervention or a response.

A useful response object is GR(z)=iθ(z0)⟨[ϕ(z),ϕ(0)]⟩G_R(z)=i\theta(z^0)\langle[\phi(z),\phi(0)]\rangle in our convention. For a source added as +Jϕ+J\phi to the Lagrangian, it solves the classical retarded Green-function problem and determines the linear induced mean field. The step function removes response before the source; the spacelike commutator removes response outside the light cone. These two restrictions address different parts of causal support.

[ϕ(x),ϕ(y)]=0if (x−y)2<0,GR(z)=iθ(z0)⟨0∣[ϕ(z),ϕ(0)]∣0⟩[\phi(x),\phi(y)]=0\quad\text{if }(x-y)^2<0,\qquad G_R(z)=i\theta(z^0)\langle0|[\phi(z),\phi(0)]|0\rangle
The retarded function defined here obeys (Box + m²)G_R = delta. This fixes its sign convention and links it to a positive J phi source term.↔ Scroll wide equations horizontally.

A light cone is an invariant test

For two events separated by (Δt,Δx)(\Delta t,\Delta\mathbf x), calculate the interval Δt2−∣Δx∣2\Delta t^2-|\Delta\mathbf x|^2 before drawing causal conclusions. A spacelike interval stays spacelike under a Lorentz transformation, but the time order of its endpoints can reverse. The vanishing commutator makes the time-ordered bosonic correlation consistent across such frames: exchanging the two spacelike operators changes nothing. This connects an algebraic condition to relativity’s geometry.

For timelike separations, the later event can lie in the earlier event’s future, but the amount of response still depends on the field equation and the source. A light cone describes possible causal support, not a guarantee that every allowed response is nonzero. Likewise, a Feynman diagram’s internal line is an integration kernel in an amplitude calculation, not an observed particle path threading the apparatus. Keep the question, operator ordering, and boundary condition attached to every propagator.

A correlated pair of spacelike events

Let event A be (t,x)=(0,0)(t,x)=(0,0) and event B be (1,2)(1,2), with other coordinates zero. A calculation gives a nonzero scalar Feynman correlation. Does this permit a source at A to influence B?

  1. Compute the invariant separation: s2=12−22=−3s^2=1^2-2^2=-3. The events are spacelike in every inertial frame.

  2. The retarded response contains the field commutator. Microcausality sets that commutator to zero at this separation, so the linear response to a localized source vanishes there.

  3. A boost with β=3/4\beta=3/4 gives Δt′=γ(1−β 2)<0\Delta t'=\gamma(1-\beta\,2)<0. Their order reverses, but the commuting operators give the same time-ordered correlation. A nonzero correlation therefore supplies no controllable superluminal signal.

The result

The Feynman correlation can be nonzero at B, while the causal response to a local intervention at A is zero. The two calculations answer different questions.

Explore the model

Interactive lab

Interactive lab · spacetime

Change the frame, preserve the interval

The lab holds an event at x = 0.6 and lets you change its time and the observer velocity. Put the event outside the light cone, then boost until its displayed time changes sign. Compare with a timelike event.

Change the frame, preserve the intervalA fixed x = 0.6 event is Lorentz transformed with c = 1. Playback highlights the relation between coordinate descriptions; it does not move the event. Current readings: Lorentz factor γ: 1.12; Event x′: 0.168; Event ct′: 0.817. All parameters are adjustable with the labeled controls below.−4.69−2.3502.354.69−2.2−1.101.12.2x or x′ · c = 1ct or ct′EE′ct² − x² = 0.64
Original eventTransformed eventLight cone
Lorentz factor γ
1.12
Event x′
0.168
Event ct′
0.817
t = 0 s

A fixed x = 0.6 event is Lorentz transformed with c = 1. Playback highlights the relation between coordinate descriptions; it does not move the event. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forThis is an exact Lorentz transformation of one event in 1+1 dimensions, not a propagator plot. It visualizes the invariant causal classification used in the commutator argument.

Check your understanding

Which fact prevents a nonzero spacelike Feynman correlation from being a signaling instruction?

Try it yourself

For two events with Δt=3\Delta t=3 and Δx=1\Delta x=1, can a physical boost reverse their order? Explain using the Lorentz transformation.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

Inspect the sign of Δt′=γ(3−β)\Delta t'=\gamma(3-\beta) for ∣β∣<1|\beta|<1.

Compare with the solution

The interval is 9−1=8>09-1=8>0, so the separation is timelike. Since 3−β>23-\beta>2 and γ>0\gamma>0 for every physical boost, the transformed time difference remains positive. Causal order is invariant for this pair, unlike the spacelike pair in the worked example. This permits a response in principle without calculating its magnitude.

Take it with you

  • A propagator’s definition includes ordering and a pole prescription.
  • Spacelike correlation is compatible with zero spacelike controllable response.
  • Internal propagators organize amplitudes; they do not draw literal microscopic trajectories.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.