In classical mechanics, the no-interaction theorem is a no-go theorem that shows that a system of many interacting particles cannot exist when special relativity is taken into account. It concludes that the only allowed configuration is that of a system of free particles only. The theorem is important for modern physics, as it suggest the necessity of introducing fields to describe interactions between particles. This theorem excludes the possibility of action at a distance. The modern understanding of the fundamental interactions (gravity, electromagnetism and nuclear forces) is that objects can interact by locally perturbing the fields in which each interaction propagates. Various formulations of the theorem exist. The earliest version was given by Douglas G. Currie, Thomas F. Jordan and E. C. George Sudarshan in 1963, extended by John T. Cannon and Jordan in 1964, and generalized by Heinrich Leutwyler in 1965. An alternative formulation was given by Hendrik van Dam and Eugene Wigner in 1966.
Assumptions Consider a system with a finite number N of particles described by special relativity using Lagrangian or Hamiltonian mechanics. The no-interaction theorem states that, aside from contact forces, there can be no direct interaction between any two particles in a form that is manifestly invariant under Lorentz transformations (covariant). The theorem can be explicitly shown using three postulates:
Conservation of total linear momentum: the total four-momentum at a given time t {\textstyle t} is expressed as P μ ( t ) = ∑ a = 1 N P ( a ) μ ( t ) {\textstyle P^{\mu }(t)=\sum _{a=1}^{N}P_{(a)}^{\mu }(t)} , where P ( a ) μ ( t ) {\textstyle P_{(a)}^{\mu }(t)} is the four-momentum of particle a {\textstyle a} . The postulate assumes that P μ ( t ) = constant {\textstyle P^{\mu }(t)={\text{constant}}} at any time. No coincidence: there are no two distinct particles a {\textstyle a} and b {\textstyle b} with proper times t a , t b {\textstyle t_{a},t_{b}} such that P ( a ) μ ( t a ) = P ( b ) μ ( t b ) {\textstyle P_{(a)}^{\mu }(t_{a})=P_{(b)}^{\mu }(t_{b})} . Asymptotically straight world lines: for large times, t a → ± ∞ {\textstyle t_{a}\to \pm \infty } , P ( a ) μ ( t a ) → constant {\textstyle P_{(a)}^{\mu }(t_{a})\to {\text{constant}}} . which leads to the momentum of individual particles being constant (no interactions) at any time. The third postulate implies that the total momentum transforms under Lorentz transformations. More advanced proofs rely on group theoretical arguments.
Case of two identical particles The no-interaction theorem indicates that two classical particles of mass m {\displaystyle m} cannot interact. If u ( 1 ) μ {\textstyle u_{(1)}^{\mu }} is the four-velocity of particle 1 and u ( 2 ) μ {\textstyle u_{(2)}^{\mu }} the four-velocity of particle 2, the total momentum is P μ = m u ( 1 ) μ + m u ( 2 ) μ . {\displaystyle P^{\mu }=mu_{(1)}^{\mu }+mu_{(2)}^{\mu }.} In another frame, the four-momentum transforms as P ′ μ = a μ
ν P ν {\displaystyle P'^{\mu }=a^{\mu }{}_{\nu }P^{\nu }} for some Lorentz boost a μ
ν {\textstyle a^{\mu }{}_{\nu }} . Van Dam and Wigner prove by contradiction that momentum is not conserved unless the particles come into contact. Supposing particle 1 is at point P at time t = 0 {\textstyle t=0} and also at point P at time t ′ = 0 {\textstyle t'=0} (following its world line), and particle 2 is at point Q at t = 0 {\textstyle t=0} and at Q' at t ′ = 0 {\textstyle t'=0} , the transformation of the total momentum is given by
m u ( 1 ) ′ μ | P + m u ( 2 ) ′ μ | Q = a μ
ν ( m u ( 1 ) ν | P + m u ( 2 ) ν | Q ′ ) , {\displaystyle mu_{(1)}^{\prime \mu }|_{P}+mu_{(2)}^{\prime \mu }|_{Q}=a^{\mu }{}_{\nu }\left(mu_{(1)}^{\nu }|_{P}+mu_{(2)}^{\nu }|_{Q'}\right),}
but as the four-velocity at point P also transforms as
u ( 1 ) ′ μ | P = a μ
ν u ( 1 ) ν | P , {\displaystyle u_{(1)}^{\prime \mu }|_{P}=a^{\mu }{}_{\nu }u_{(1)}^{\nu }|_{P},}
and at point Q as
u ( 2 ) ′ μ | Q = a μ
ν u ( 2 ) ν | Q , {\displaystyle u_{(2)}^{\prime \mu }|_{Q}=a^{\mu }{}_{\nu }u_{(2)}^{\nu }|_{Q},} as a μ
ν {\textstyle a^{\mu }{}_{\nu }} is arbitrary we conclude that u ( 2 ) μ | Q ′ = u ( 2 ) μ | Q , {\displaystyle u_{(2)}^{\mu }|_{Q'}=u_{(2)}^{\mu }|_{Q},} meaning that the velocity of particle 2 remains constant when moving from Q to Q'. This result implies that the momentum of each particle remains constant, which would be the case if the particles did not interact.
References