The Physics Travel Guide

Weinberg-Witten Theorem

Prerequisites: Canonical Quantum Field Theory, Poincare Group. Full path (23 pages)

Intuitive

Higher spin particles have to be coupled to conserved currents, and there are no conserved currents of high spin in quantum field theories. The only conserved currents are vector currents associated with internal symmetries, the stress-energy tensor current, the angular momentum tensor current, and the spin-3/2 supercurrent, for a supersymmetric theory.

This restriction on the currents constrains the spins to 0,1/2 (which do not need to be coupled to currents), spin 1 (which must be coupled to the vector currents), spin 3/2 (which must be coupled to a supercurrent) and spin 2 (which must be coupled to the stress-energy tensor). https://physics.stackexchange.com/a/15164/37286

Concrete

Statement. Weinberg and Witten (1980) proved two statements about massless one-particle states ∣p,h⟩|p,h\rangle with helicity hh, in a theory with a Lorentz-invariant vacuum and Poincaré-covariant states:

  1. If the theory has a conserved current JμJ^\mu that is a Lorentz four-vector and whose charge Q=∫d3x J0Q = \int d^3x\, J^0 is nonzero on the particle, then ∣h∣≤1/2|h| \leq 1/2.
  2. If the theory has a conserved energy-momentum tensor TμνT^{\mu\nu} that is a Lorentz tensor and whose integral Pμ=∫d3x T0μP^\mu = \int d^3x\, T^{0\mu} is the momentum operator, then ∣h∣≤1|h| \leq 1.

Proof. We set ℏ=c=1\hbar = c = 1 and normalise states as ⟨p′,h∣p,h⟩=δ3(p⃗ ′−p⃗)\langle p',h|p,h\rangle = \delta^3(\vec{p}^{\,\prime} - \vec p). If the particle has charge qq, then ⟨p′,h∣Q∣p,h⟩=q δ3(p⃗ ′−p⃗)\langle p',h|Q|p,h\rangle = q\,\delta^3(\vec{p}^{\,\prime}-\vec p). Using translation invariance, ⟨p′∣Jμ(x)∣p⟩=ei(p−p′)⋅x⟨p′∣Jμ(0)∣p⟩\langle p'|J^\mu(x)|p\rangle = e^{i(p-p')\cdot x}\langle p'|J^\mu(0)|p\rangle, and Lorentz covariance, one finds lim⁡p′→p⟨p′,h∣Jμ(0)∣p,h⟩=q pμ(2π)3E,lim⁡p′→p⟨p′,h∣Tμν(0)∣p,h⟩=pμpν(2π)3E.\lim_{p' \to p} \langle p',h|J^\mu(0)|p,h\rangle = \frac{q\, p^\mu}{(2\pi)^3 E}, \qquad \lim_{p'\to p}\langle p',h|T^{\mu\nu}(0)|p,h\rangle = \frac{p^\mu p^\nu}{(2\pi)^3 E} . Both limits are nonzero (the second always, the first if q≠0q \neq 0). So the matrix elements cannot vanish for all p′≠pp' \neq p near pp.

Now take two different lightlike momenta pp and p′p'. Since p+p′p + p' is timelike, there is a frame in which p⃗\vec p points along +z+z and p⃗ ′\vec{p}^{\,\prime} along −z-z. Consider a rotation R(θ)R(\theta) by angle θ\theta about the zz-axis. It leaves both momenta invariant and acts on the helicity states by phases: U(R)∣p,h⟩=eiθh∣p,h⟩,U(R)∣p′,h⟩=e−iθh∣p′,h⟩,U(R)|p,h\rangle = e^{i\theta h}|p,h\rangle, \qquad U(R)|p',h\rangle = e^{-i\theta h}|p',h\rangle , where the opposite sign appears because p⃗ ′\vec{p}^{\,\prime} points along −z-z. Therefore ⟨p′,h∣U(R)−1Jμ(0) U(R)∣p,h⟩=e2iθh⟨p′,h∣Jμ(0)∣p,h⟩.\langle p',h|U(R)^{-1} J^\mu(0)\, U(R)|p,h\rangle = e^{2i\theta h}\langle p',h|J^\mu(0)|p,h\rangle . On the other hand U(R)−1JμU(R)=RμνJνU(R)^{-1}J^\mu U(R) = R^\mu{}_\nu J^\nu. Decomposed into components with definite angular momentum about the zz-axis (J0J^0, J3J^3 and J1±iJ2J^1 \pm i J^2), a four-vector only picks up the phases 11 and e±iθe^{\pm i\theta}. Comparing both sides for all θ\theta, the matrix element vanishes unless 2h∈{0,±1}2h \in \{0, \pm 1\}. For the tensor TμνT^{\mu\nu}, the possible phases are eimθe^{i m\theta} with m∈{0,±1,±2}m \in \{0,\pm1,\pm2\}, so the matrix element vanishes unless ∣2h∣≤2|2h| \leq 2. If ∣h∣>1/2|h| > 1/2 (respectively ∣h∣>1|h|>1), the matrix elements vanish for all p′≠pp' \neq p, contradicting the nonzero limits above.

What it does and does not exclude.

Abstract

Frequently occurring scientific expressions will be abbreviated: quantum field theory (QFT). local quantum physics (LQP), point-like (pl), string-like (sl), string-local quantum field theory (SLFT), power-counting bound (pcb), spontaneous symmetry breaking (SSB), string theory (ST), the Becchi-RouetStora-Tyutin gauge formalism (BRST).

[…]

This does not only lead to the sl replacement of the missing pl massless potential but it also defuses a No-Go theorem by Weinberg and Witten claiming that massless energy-momentum tensors do not exist for s ≥ 2 [37]. The correct statement is that pl conserved massless E-M tensors do not exist; they have to be replaced by sl E-M tensors which are different as densities but lead to the same global charges (generators of the Poincare group).

https://arxiv.org/pdf/1612.00003.pdf

Why is it interesting?

The punchline of the Weinberg-Witten theorem is that massless particles with helicity ∣h∣>1/2|h| > 1/2 cannot carry a Lorentz-covariant conserved current, and massless particles with ∣h∣>1|h| > 1 cannot carry a Lorentz-covariant conserved energy-momentum tensor.

"The Weinberg–Witten theorem states that a massless particle of spin strictly greater than one cannot possess an energy-momentum tensor TμνT_{\mu \nu} which is both Lorentz covariant and gauge invariant. Of course, this no-go theorem does not preclude gravitational interactions. In the spin-two case, it implies that there cannot exist any gauge-invariant energy-momentum tensor for the graviton."https://arxiv.org/abs/1007.0435

Path to this page

  1. Calculus
  2. Imaginary Numbers
  3. Linear Algebra
  4. Functional
  5. Group Theory
  6. Hilbert Space
  7. Legendre Transformation
  8. Newton's Second Law
  9. Vector Calculus
  10. Newtonian Mechanics
  11. Variational Calculus
  12. Configuration Space
  13. Euler-Lagrange Equations
  14. Special Relativity
  15. Lagrangian Formalism
  16. Lorentz Group
  17. Phase Space
  18. Classical Field Theory
  19. Hamiltonian Formalism
  20. Poincare Group
  21. Schrödinger Equation
  22. Canonical Quantum Mechanics
  23. Canonical Quantum Field Theory