Antiparticles & negative-energy states
The Dirac equation was built to cure a disease — the negative probabilities of the Klein–Gordon theory — and it succeeded, delivering a positive density . But it did not cure the symptom everyone feared: its free plane-wave solutions still carry energies , and there is no way to keep only the positive root. Four independent solutions exist at each momentum, and squaring the Dirac operator returns the mass shell for every one, so two must carry and two . A decisive check makes the split unavoidable: the free Hamiltonian is traceless, so its four eigenvalues sum to zero — exactly two positive, two negative. You cannot throw the negative ones away, because a quantum theory needs a complete basis to expand an arbitrary state. So the negative-energy solutions must be interpreted, and two great interpretations were offered. Dirac's 1930 picture fills every negative-energy level with electrons; the exclusion principle then blocks a positive-energy electron from cascading down, and a photon above knocks a sea electron up, leaving a hole that behaves as a positive-energy, positively charged antiparticle. It predicted the positron, found by Anderson in 1932 — but it fails for bosons and gives the vacuum infinite charge. The modern reading, due to Stückelberg and Feynman, keeps none of that scaffolding: a negative-energy particle running backward in time is mathematically identical to a positive-energy antiparticle of opposite charge running forward. This article makes that equivalence precise and turns the discarded into the working spinors .
- The free Dirac Hamiltonian is a traceless matrix, so its eigenvalues sum to zero — two positive and two negative energy states are mathematically unavoidable, not a removable defect.
- The negative-energy solutions cannot be discarded: a complete basis is needed to span the state space, so they must be physically interpreted instead.
- Dirac's hole theory (fill the sea, a hole = antiparticle) predicted the positron but fails for bosons and gives the vacuum infinite charge.
- The modern Feynman–Stückelberg view: an particle running backward in time an antiparticle of opposite charge running forward — the identity is its mathematical heart.
- The discarded are repackaged as antiparticle spinors obeying , normalised to , with charge conjugation mapping .
- Because is still a negative-energy particle in disguise, the naive operators give ; recover physical values with , , .
- Key idea: negative-energy solutions are not a defect to be removed but a feature to be reinterpreted — a backward-in-time negative-energy particle is precisely a forward-in-time positive-energy antiparticle of opposite charge.
Where this lives today
The negative-energy solutions are no longer a puzzle to be excused — they are the antiparticle creation operators of every quantum field theory, and the machinery runs continuously in the laboratory. At CERN's Antiproton Decelerator and ELENA, the ALPHA and AEgIS experiments trap antihydrogen — a positron bound to an antiproton — and compare its spectrum and free-fall against hydrogen, testing the CPT theorem that fixes particle and antiparticle to share a mass; in 2023 ALPHA-g confirmed that antimatter falls down under gravity. Positron annihilation into two 511 keV photons is the working principle of PET imaging in every hospital, while the diffuse 511 keV glow from the Galactic centre remains an unexplained positron source. And the reinterpretation is the default calculational rule, not a footnote: in every Feynman diagram an antiparticle line is drawn with its arrow pointing backward along the fermion flow, and the whole edifice of scattering amplitudes is bookkept that way. The deepest question it raises is cosmological — if the equations treat matter and antimatter so symmetrically, why is the universe made almost entirely of matter? The baryon asymmetry is still unsolved.
The physical picture
Start from the bare fact and let it force the interpretation. The Dirac equation has four plane-wave solutions per momentum, and squaring its operator hands every one of them — so half sit on the upper branch and half on the lower branch . The cleanest proof needs no spinor algebra: the free Hamiltonian is a sum of traceless matrices, so its four eigenvalues add to zero. With eigenvalues that means two of each sign — no arrangement of the algebra gives four positive energies. The first figure carries that spectrum and the electron's real gap MeV.
Keeping the solutions means reading them. The surviving reinterpretation rests on one identity: the time factor of a negative-energy solution, with , is indistinguishable from — a positive energy evolving in reversed time. Flip the charge to keep Maxwell's equations invariant under time reversal, and a negative-energy electron running backward becomes a positive-energy positron running forward. The second figure draws that conversion in spacetime, with the annihilation it explains: an electron and positron produce two 511 keV photons, the line PET scanners detect.
The core equations
The four free-particle solutions are labelled by momentum and two discrete choices; written together they are plane waves whose energies come in both signs. The first two are the particle spinors, the second two the ones we must reinterpret.
where: — four-component spinor amplitude; — momentum; — energy, taking both roots . Reading it: squaring the operator sends each component to Klein–Gordon, so all four obey the mass shell and two are forced onto the negative branch. The reason the split cannot be dodged is a one-line trace argument: the free Hamiltonian is a sum of traceless matrices, so its eigenvalues vanish in sum.
where: — Dirac matrices, each traceless; — the four eigenvalues, . Reading it: two positive and two negative energies is not a choice — it is fixed once the Hamiltonian is Hermitian and traceless. Rather than carry around, we rewrite the lower-branch solutions as antiparticle spinors in the physical positive energy and momentum, so the antiparticle plane wave reads with a sign in the exponent.
where: — antiparticle spinor; the flipped sign in (relative to the particle's ) is the whole content of "running backward in time". Reading it: is built from , but now every symbol denotes the measurable, positive quantity of a real antiparticle. The two families satisfy momentum-space Dirac equations differing only by the sign of the mass term — the algebraic fingerprint that describes the opposite branch.
where: — Dirac gamma matrices, ; with . Reading it: needs , needs — the relative sign distinguishes particle from antiparticle at the spinor level. The spinors carry a Lorentz-invariant normalisation, and the antiparticle norm comes out negative — an invariant marker of the lower branch no change of frame can erase.
where: — Dirac adjoint; — the density, positive for both. Reading it: the density is positive for particle and antiparticle alike (the Klein–Gordon disease cured), while the scalar quietly records which branch you are on. Finally, the operation that turns a particle solution into its antiparticle is charge conjugation, an explicit spinor operation in a given representation.
where: — complex conjugate of the spinor; — the second gamma matrix. Reading it: charge conjugation maps every particle spinor to the antiparticle spinor of opposite charge — the concrete realisation of "".
Go deeper · Derivation B · 1 minThe Feynman–Stückelberg reinterpretation of the negative branch
The aim is to convert a negative-energy particle solution into a physical positive-energy antiparticle, using only the plane-wave exponent and the behaviour of charge under time reversal. We isolate the offending time factor, apply the identity that trades a negative energy for reversed time, restore a positive-energy description, and identify the result as an antiparticle of opposite charge. No Dirac sea and no exclusion principle appear, which is why the argument works for bosons too.
Step 1. Isolate the time dependence. A negative-energy solution evolves as with ; write so the factor is , growing in phase the "wrong" way compared with an ordinary . Why: the sign of the exponent is the only place the negative energy shows up in the observable phase, so the reinterpretation must act there.
Step 2. Apply the identity. Note : a state of energy moving forward in has the same phase as one of energy moving in . The spatial factor behaves the same way, , so momentum flips alongside time. Why: this single equivalence is the mathematical heart of the reinterpretation — nothing is added, the same wave is read in reverse.
Step 3. Restore positive energy and flip the charge. A negative-energy electron of momentum running backward is thus identical to a positive-energy particle of momentum running forward. To keep the electromagnetic coupling invariant under this reversal, the charge must reverse: the forward-running object has charge . Why: reversing a worldline reverses the current it carries, so the forward-time reading describes a particle of opposite charge — an antiparticle.
Step 4. Name it. The forward-in-time, positive-energy, opposite-charge object is the antiparticle: for the electron () it is the positron (), with the same mass because and are unchanged. Charge conjugation realises the map at the spinor level, sending . Why: this identifies the reinterpreted solution with a real, detectable particle — closing the loop from "unwanted " to "physical antimatter".
Go deeper · Derivation C · 1 minBuilding the antiparticle spinors and their negative norm
This derivation constructs the antiparticle spinors explicitly and shows they satisfy with the Lorentz-invariant normalisation , while the density stays positive, . The negative scalar norm is the invariant fingerprint of lower-branch solutions in physical variables — it is what forces the sign-flipped operators of the warning below.
Step 1. Write the standard forms. In the Dirac–Pauli representation the positive-energy spinor is ; the antiparticle spinor from the negative branch is , with a Pauli spinor and . Why: the "large" and "small" blocks swap between and — the spinor-level signature of the opposite energy branch.
Step 2. Check the equation of motion. Acting with on and using gives identically zero, so solves the Dirac equation of (4). Why: the sign, versus for , is the algebra's way of tagging the antiparticle, and it must hold exactly for to be a genuine solution.
Step 3. Compute the density. With , . Using the numerator is , so — positive, like the particle. Why: a positive density on both branches is the cure the Dirac equation delivered; the antiparticle carries no negative probability.
Step 4. Compute the scalar. Insert : . The numerator is , so — negative, in contrast to . Why: the Lorentz-invariant is the frame-independent marker of the antiparticle branch, and its sign is what makes the naive operators return on . *As a concrete check in natural units with , , , : gives , , and component by component.*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| Rest frame () | pure upper block, pure lower block; | particle and antiparticle at rest sit on the two branches, split by the gap |
| Non-relativistic () | small component | becomes the upper two components, the lower two — ordinary spin- QM recovered |
| Ultra-relativistic () | helicity | spinors approach helicity/chirality eigenstates; becomes negligible next to |
| Massless () | the scalar marker vanishes; particle vs antiparticle is carried only by helicity (Weyl, and the Majorana question) | |
| Bosons (Klein–Gordon) | no exclusion principle | Dirac's sea fails, but Feynman–Stückelberg still works — antiparticles are not a fermion-only story |
Worked examples
1 · Pair production and annihilation energetics (fully worked)
The positron has the same mass as the electron, MeV. Find the threshold photon energy to create an pair, and the energy of each photon when a slow pair annihilates at rest into two photons. Why is the second number the one PET scanners look for?
Step 1. Pair creation must supply at least the rest energy of both particles: . A single real photon cannot do this in vacuum (energy and momentum cannot both balance), so pair production needs a nearby nucleus to absorb recoil — but the threshold is the gap of the first figure.
Step 2. Annihilation at rest is the reverse: total energy MeV and total momentum zero. Momentum conservation forbids a single final photon, so the minimum is two photons emitted back-to-back.
Step 3. By symmetry the two photons share the energy equally: each carries , flying in opposite directions.
Step 4. That 511 keV back-to-back signature is unmistakable. A PET tracer emits positrons; each annihilates with a tissue electron into two 511 keV photons apart, and a ring of detectors registers the coincident pair to reconstruct the emission line. Pair-creation threshold 1.022 MeV; each annihilation photon 511 keV — the line PET detects.
2 · Constructing an antiparticle spinor and checking its norm (fully worked)
Work in natural units with and . Build the antiparticle spinor and verify (positive) while (negative), the invariant marker of the lower branch.
Step 1. Energy and normalisation. , so and . With , , and : .
Step 2. Density (positive). . Compare — a match, so the antiparticle carries a positive density, no Klein–Gordon disease.
Step 3. Scalar (negative). With , . Compare — a match, and the sign is negative, opposite to .
Step 4. Read the lesson. The same spinor gives a positive density but a negative scalar; the negative is Lorentz-invariant, so no boost turns this into a particle — it is the frame-independent stamp of the antiparticle branch, and the reason the operators on must be sign-flipped. : , .
Physics of the portrait
The reinterpretation that made antiparticles ordinary — no infinite sea, no exclusion principle, working equally for electrons and pions — came not from Dirac but from a Swiss physicist who published it years ahead of the field and was ignored.
Origins · 1 minErnst Stückelberg and how this was discovered
Ernst Carl Gerlach Stückelberg was a Swiss theoretical physicist whose ideas repeatedly ran a decade ahead of their eventual fame. Working in Geneva and Lausanne, often in near-isolation and hampered by illness, he arrived at results others later rediscovered and were credited for. Around 1941–1942 he proposed reading the negative-energy solutions of relativistic wave equations as particles propagating backward in time — mathematically identical to positive-energy antiparticles propagating forward — precisely the picture that dispenses with Dirac's crowded sea and, crucially, works for bosons that have no exclusion principle to hold a sea in place. He also invented what is now the renormalization group with André Petermann and developed a covariant perturbation theory before Feynman's diagrams. Richard Feynman independently built the same backward-in-time reading of the positron into his 1949 formulation of quantum electrodynamics, and it is Feynman's version the world learned — so the reinterpretation is now called Feynman–Stückelberg, a rare correction of the record in Stückelberg's favour. He was nominated for the Nobel Prize but never received it; the modern, sea-free understanding of antimatter is substantially his.
Going further
Texts. Thomson, Modern Particle Physics, §4.5–4.7 (negative-energy solutions, antiparticles, Feynman–Stückelberg) · Griffiths, Introduction to Elementary Particles, 2nd ed., §7.1–7.3 and App. C (Dirac spinors and charge conjugation) · Halzen & Martin, Quarks and Leptons, Ch. 5 (antiparticles and the hole theory) · Peskin & Schroeder, An Introduction to Quantum Field Theory, §3.3–3.5 (the Dirac field, -spinors, charge conjugation) · Schwartz, Quantum Field Theory and the Standard Model, Ch. 11 (spinor solutions and antiparticles). The key results of this article are: (1) forces eigenvalues ; (2) the identity and the charge flip under time reversal; (3) with , , checked at giving , , ; (4) energetics MeV and annihilation photons keV.
Prerequisites. The Dirac Equation · Solutions of the Dirac Equation · The Klein–Gordon Equation. Leads to. Spin and Helicity States · Intrinsic Parity of Fermions · Covariant Dirac Formalism.
Ask the tutor: Ask me to run the trace argument that forces two negative-energy states, or to build the v-spinor and watch v̄v = −2m fall out.
Do the negative-energy solutions mean electrons can lose energy forever?
In the naive one-particle reading they would — a positive-energy electron could radiate photons and cascade down through the negative-energy states without limit, which is unphysical. That looming catastrophe is exactly what forced an interpretation. Dirac's answer was to fill every level so the exclusion principle blocks the cascade. The modern answer is cleaner: there is no cascade because the negative-energy solutions are not extra states an electron can fall into — they are antiparticle states, described by the -spinors and populated by positrons, not by low-lying electrons. Reinterpreting the branch, rather than filling it, removes the instability without burdening the vacuum.
What is the difference between Dirac's hole theory and Feynman–Stückelberg?
They explain the same experiments with very different pictures. Hole theory is a many-body construction: the vacuum is an infinite filled sea of negative-energy electrons, and an antiparticle is the absence of one — a hole — behaving as a positive-energy, positive-charge particle. It vividly pictures pair production (lift a sea electron, leave a hole) and predicted the positron, but it saddles the vacuum with infinite negative charge and, fatally, only works for fermions. Feynman–Stückelberg is a single-particle reinterpretation: a negative-energy particle running backward in time is a positive-energy antiparticle running forward, full stop. It needs no sea, works for every spin, and is the language of modern quantum field theory — the tool still in daily use.
Why can't we just discard the negative-energy solutions?
Because a quantum theory expands states on a complete basis, and at each momentum the four Dirac solutions are that basis. Keep only the two positive-energy ones and you can no longer represent a general localised wave packet. Worse, the moment you switch on any interaction (a potential step, an external field, an incoming photon) the equation couples positive-energy states to the negative-energy sector — the Klein paradox is exactly this coupling at a sharp barrier. So the negative-energy solutions are not passive baggage; leaving them out makes the mathematics incomplete and the physics inconsistent. The only coherent option is to keep them and give them a physical meaning — antiparticles.
Is the antiparticle really "the same particle running backward in time"?
As a calculational statement, yes and it is exact; as a claim about the flow of time, no. Inside a Feynman diagram the amplitude computed with a backward-pointing positive-energy positron is identical, term for term, to the one for a forward-pointing negative-energy electron — that equivalence is the content of . It is a superb bookkeeping device, physically correct for every observable. But no positron travels into your past; macroscopic time still runs one way, set by thermodynamics. "Backward in time" is the right way to organise the mathematics of antiparticles, not a statement that antimatter is a time machine.
Why does charge conjugation flip the charge but not the mass?
Charge conjugation swaps a particle solution for its antiparticle by complex-conjugating the spinor and rotating it in Dirac space. The complex conjugation reverses the sign of the coupling to the electromagnetic field — physically, the charge, turning an electron () into a positron (). The mass, however, enters as a real scalar untouched by conjugation or by the rotation; the operation maps the equation for into the equation for at the same . This is why every antiparticle has exactly the mass of its partner but the opposite charge — and, more generally, the opposite sign of every additive quantum number, which CPT elevates to a theorem.
If matter and antimatter are so symmetric, why is the universe made of matter?
That is one of the great unsolved problems, and this article sharpens rather than solves it. The Dirac equation and its Feynman–Stückelberg reading treat particle and antiparticle almost perfectly symmetrically — same mass, opposite charge — and a naive early universe should have made equal amounts, which would then annihilate into radiation, leaving no galaxies. The survival of a small residue of matter (about one part in a billion) requires the three Sakharov conditions: baryon-number violation, C and CP violation, and a departure from thermal equilibrium. The Standard Model contains CP violation (seen in kaon and B-meson decays) but far too little to explain the observed asymmetry, so the shortfall points to physics beyond it. The tidy reinterpretation of a negative-energy solution becomes, at cosmological scale, a genuine mystery.