Spin & helicity states

At rest, the four-component Dirac spinor is exactly what non-relativistic intuition expects: u1u_1 and u2u_2 are clean eigenstates of S^z=12Σz\hat S_z=\tfrac12\Sigma_z, spin-up and spin-down along whatever axis you fancy. The instant the particle moves, that comfort evaporates. The general plane-wave spinors of a boosted electron are not eigenstates of S^z\hat S_z — the boost mixes the upper and lower two-spinors and drags the spin projection with it — so the label "spin-up along zz" no longer names a state that survives in time. Only for the special case of motion exactly along the quantization axis, p=±pz^\mathbf p=\pm p\hat z, do u1,u2u_1,u_2 stay pure SzS_z eigenstates. Tying spin to an external axis was always artificial; for a relativistic particle it is also wrong. The cure is to project spin not onto a laboratory axis but onto the particle's own direction of flight. That projection is the helicity, h=S⋅p^h=\mathbf S\cdot\hat{\mathbf p}, with four-spinor operator h^=12Σ⋅p^\hat h=\tfrac12\boldsymbol\Sigma\cdot\hat{\mathbf p}. It works because helicity commutes with the free Dirac Hamiltonian where S^z\hat S_z does not: the anomalous term that spoiled [H^D,S^][\hat H_D,\hat{\mathbf S}] points across the momentum and vanishes when dotted into p^\hat{\mathbf p}. So helicity eigenstates can be chosen as simultaneous energy eigenstates, its eigenvalues are ±12\pm\tfrac12 because (σ⋅p^)2=1(\boldsymbol\sigma\cdot\hat{\mathbf p})^2=1, and the explicit right- and left-handed spinors follow from a two-line calculation in spherical polars. One catch remains, and it is the deep one: for a massive particle helicity is not Lorentz invariant — overtake the particle and its helicity flips — so the truly frame-independent label is chirality, which helicity equals only in the massless limit.

Key takeaways
  • At rest the Dirac spinors are clean S^z\hat S_z eigenstates, but a moving spinor generally is not — the boost mixes spin-up and spin-down.
  • Only for motion along the axis, p=±pz^\mathbf p=\pm p\hat z, do u1,v1u_1,v_1 stay spin-up and u2,v2u_2,v_2 spin-down.
  • Because [H^D,S^z]≠0[\hat H_D,\hat S_z]\neq0 but [H^D,Σ⋅p^]=0[\hat H_D,\boldsymbol\Sigma\cdot\hat{\mathbf p}]=0, helicity h^=12Σ⋅p^\hat h=\tfrac12\boldsymbol\Sigma\cdot\hat{\mathbf p} is the natural good quantum number for a plane wave.
  • Helicity eigenvalues are λ=±12\lambda=\pm\tfrac12 (right- and left-handed), since (σ⋅p^)2=1(\boldsymbol\sigma\cdot\hat{\mathbf p})^2=1.
  • Antiparticle physical spin is measured by S^z(v)=−S^z\hat S_z^{(v)}=-\hat S_z, flipping the naive spinor-label assignment.
  • Helicity is not Lorentz invariant for a massive particle — its invariant cousin is chirality, which it equals only when m→0m\to0.
  • Key idea: Spin along a fixed external axis is not conserved for a moving relativistic fermion, but spin along its own direction of motion (helicity) is — so helicity, not SzS_z, is the natural quantum number for plane waves.

Where this lives today

Helicity stopped being a bookkeeping choice and became physics the moment the weak interaction was found to care about it. Parity violation means nature distinguishes left from right: the charged-current weak force couples only to left-handed particles and right-handed antiparticles, so the helicity/chirality label of a fermion decides whether it feels the WW boson at all. The 1958 Goldhaber experiment pinned the neutrino's helicity at −1-1, and to the precision we can measure, every neutrino ever seen is left-handed — the cleanest handed object in physics. In modern collider calculations the practical payoff is the spinor-helicity formalism: rather than square Dirac traces, theorists compute amplitudes for definite external helicities directly, which collapses page-long QCD expressions into compact "MHV" formulas (Parke–Taylor) and powers the automated matrix-element generators (MadGraph, and the on-shell/BCFW methods behind precision LHC predictions). Experimentally, polarized electron beams at SLAC's SLC measured the left-right asymmetry ALRA_{LR} to determine the weak mixing angle, and a future linear collider (ILC/CLIC) plans beam polarization precisely to project out chosen helicity combinations. And the massless-limit identity helicity == chirality is the conceptual hinge of the whole electroweak theory, where the left-handed doublets and right-handed singlets are assigned by chirality — the frame-independent cousin of the helicity this article builds.

The physical picture

Picture a spin-half particle flying to the right and ask a single yes/no question: is its spin pointing along the flight direction or against it? That projection — spin onto momentum — is the helicity, and it splits every moving fermion into just two states. A right-handed particle carries spin parallel to p\mathbf p; corkscrew your right hand along the motion and the fingers curl the way the spin points. A left-handed particle carries spin antiparallel. Unlike "spin-up along the lab zz-axis", this label refers to nothing outside the particle itself, which is exactly why it is robust: rotate your head, tilt the apparatus, and the helicity does not care. The first figure fixes the two handedness states and the eigenvalue arithmetic behind them.

Figure
Helicity is spin projected on the direction of flight. A right-handed particle (h = +½) carries spin parallel to its momentum p; a left-handed particle (h = −½) carries spin antiparallel. The operator is ĥ = ½ Σ·p̂, and because (σ·p̂)² = 1 its only eigenvalues are ±1, so h = ±½
Two helicities: spin along the motion (right-handed) or against it (left-handed) right-handed h = +½ p S spin ∥ momentum left-handed h = −½ p S spin ∥ but reversed (antiparallel) the operator ĥ = ½ Σ·p̂ (σ·p̂)² = 1 ⇒ eigenvalues ±1 h = ±½

Helicity earns its place because it is conserved for a free particle where S^z\hat S_z is not, but it hides a subtlety that SzS_z does not: it is not the same for every observer. Since a massive particle travels slower than light, you can always board a faster frame that overtakes it. In that frame the momentum reverses direction while the spin, being unaffected by a boost along its own axis, does not — so the projection of spin on momentum flips sign, and a right-handed electron becomes left-handed. The threshold is the particle's own speed βp=p/E\beta_p=p/E: any observer moving faster than that, along the flight line, sees the opposite helicity. The second figure works this out for a clean numerical case.

Figure
Helicity is not Lorentz invariant for a massive particle. Take an electron with m = 3, p = 4, E = 5 (units where E² = p² + m²), so its speed is β = p/E = 0.8 and the spinor's lower-to-upper ratio is p/(E+m) = 0.5. Any observer boosting along the flight line faster than 0.8c overtakes the electron, its momentum reverses, and the measured helicity flips from +½ to −½
Overtake a massive particle and its helicity flips — so helicity is frame-dependent p = 4 m = 3 E = 5 E² = p² + m² = 16 + 9 = 25 β = p/E = 0.8 · p/(E+m) = 0.5 observer speed β_obs → 0 c β_p = 0.8 slower: sees h = +½ faster: h = −½ overtaking reverses p; spin is unmoved along its own axis, so h changes sign

The core equations

The starting point is the set of four plane-wave spinors that solve the free Dirac equation for momentum p\mathbf p. We work in natural units ℏ=c=1\hbar=c=1, in the Dirac (standard) representation, with Thomson's normalization u†u=2Eu^\dagger u=2E so that N=E+mN=\sqrt{E+m}. The upper two components are the "large" (particle) spinor; the lower two are fixed by σ⋅p/(E+m)\boldsymbol\sigma\cdot\mathbf p/(E+m) acting on them.

u1=E+m(10pzE+mpx+ipyE+m),u2=E+m(01px−ipyE+m−pzE+m)(1)u_1=\sqrt{E+m}\begin{pmatrix}1\\ 0\\ \tfrac{p_z}{E+m}\\ \tfrac{p_x+ip_y}{E+m}\end{pmatrix},\quad u_2=\sqrt{E+m}\begin{pmatrix}0\\ 1\\ \tfrac{p_x-ip_y}{E+m}\\ \tfrac{-p_z}{E+m}\end{pmatrix} \qquad (1)

where: E=p2+m2E=\sqrt{p^2+m^2} — particle energy; p=(px,py,pz)\mathbf p=(p_x,p_y,p_z) — three-momentum; p=∣p∣p=|\mathbf p|; the lower block is σ⋅pE+m\tfrac{\boldsymbol\sigma\cdot\mathbf p}{E+m} times the upper block. At rest (p=0\mathbf p=0) these collapse to (1,0,0,0)(1,0,0,0) and (0,1,0,0)(0,1,0,0) — pure spin-up and spin-down. The antiparticle spinors v1,v2v_1,v_2 have the same structure with the large block in the lower two components. Spin along the lab zz-axis is measured by the four-by-four operator S^z=12Σz\hat S_z=\tfrac12\Sigma_z. Testing whether the spinors of (1) are its eigenstates is the whole question of this section, and the answer depends entirely on the direction of p\mathbf p.

S^z=12Σz=12(σz00σz)=12 diag(1,−1,1,−1)(2)\hat S_z=\tfrac12\Sigma_z=\tfrac12\begin{pmatrix}\sigma_z&0\\ 0&\sigma_z\end{pmatrix}=\tfrac12\,\mathrm{diag}(1,-1,1,-1) \qquad (2)

where: Σz\Sigma_z — block-diagonal 4×44\times4 spin matrix; its eigenvalues are ±12\pm\tfrac12. Applying S^z\hat S_z to u1u_1 multiplies the fourth component by −1-1, so S^zu1=12u1\hat S_z u_1=\tfrac12 u_1 holds only if that component vanishes, i.e. px+ipy=0p_x+ip_y=0 — motion along ±z^\pm\hat z. For general p\mathbf p, u1u_1 is a superposition of Sz=+12S_z=+\tfrac12 and Sz=−12S_z=-\tfrac12. The remedy is helicity: spin projected onto the direction of motion. Its operator is built from the same Σ\boldsymbol\Sigma but contracted with the unit momentum, and — crucially — it commutes with the free Dirac Hamiltonian, so helicity and energy can be simultaneously definite.

h^=12 Σ⋅p^,p^=pp,[H^D,Σ⋅p^]=0,λ=±12(3)\hat h=\tfrac12\,\boldsymbol\Sigma\cdot\hat{\mathbf p},\qquad \hat{\mathbf p}=\frac{\mathbf p}{p},\qquad [\hat H_D,\boldsymbol\Sigma\cdot\hat{\mathbf p}]=0,\qquad \lambda=\pm\tfrac12 \qquad (3)

where: h^\hat h — helicity operator; λ\lambda — its eigenvalue, +12+\tfrac12 (right-handed) or −12-\tfrac12 (left-handed). The commutator vanishes because [H^D,Σ]=2i α×p^[\hat H_D,\boldsymbol\Sigma]=2i\,\boldsymbol\alpha\times\hat{\mathbf p} (inherited from aq-pp-spin-from-dirac) is orthogonal to p^\hat{\mathbf p}. Only two eigenvalues exist because (σ⋅p^)2=p^⋅p^ 1=1(\boldsymbol\sigma\cdot\hat{\mathbf p})^2=\hat{\mathbf p}\cdot\hat{\mathbf p}\,\mathbb 1=\mathbb 1. Solving h^u=λu\hat h u=\lambda u in spherical polar coordinates, with p^=(sin⁡θcos⁡ϕ,sin⁡θsin⁡ϕ,cos⁡θ)\hat{\mathbf p}=(\sin\theta\cos\phi,\sin\theta\sin\phi,\cos\theta), gives the explicit helicity eigenspinors. Both the upper and lower two-component blocks are proportional to the same two-spinor, because σ⋅p^\boldsymbol\sigma\cdot\hat{\mathbf p} has already been diagonalized.

u↑=E+m(cs eiϕpE+mcpE+ms eiϕ),u↓=E+m(−sc eiϕ−pE+mspE+mc eiϕ)(4)u_\uparrow=\sqrt{E+m}\begin{pmatrix}c\\ s\,e^{i\phi}\\ \tfrac{p}{E+m}c\\ \tfrac{p}{E+m}s\,e^{i\phi}\end{pmatrix},\quad u_\downarrow=\sqrt{E+m}\begin{pmatrix}-s\\ c\,e^{i\phi}\\ -\tfrac{p}{E+m}s\\ \tfrac{p}{E+m}c\,e^{i\phi}\end{pmatrix} \qquad (4)

where: c=cos⁡(θ/2)c=\cos(\theta/2), s=sin⁡(θ/2)s=\sin(\theta/2); u↑u_\uparrow has λ=+12\lambda=+\tfrac12, u↓u_\downarrow has λ=−12\lambda=-\tfrac12. The upper block χ+=(c, s eiϕ)\chi_+=(c,\,s\,e^{i\phi}) satisfies σ⋅p^ χ+=+χ+\boldsymbol\sigma\cdot\hat{\mathbf p}\,\chi_+=+\chi_+. For motion along z^\hat z (θ=0\theta=0) these reduce to the SzS_z spinors of (1), confirming that helicity and SzS_z agree only in that direction. Antiparticles carry one extra sign. Because a vv-spinor describes a negative-energy solution reinterpreted as an antiparticle, its physical spin is measured by the opposite operator, so the naive spinor label must be flipped to read off real spin.

S^z(v)=−S^z,h^(v)=−12 Σ⋅p^(5)\hat S_z^{(v)}=-\hat S_z,\qquad \hat h^{(v)}=-\tfrac12\,\boldsymbol\Sigma\cdot\hat{\mathbf p} \qquad (5)

where: S^z(v)\hat S_z^{(v)} — the antiparticle spin operator; the minus sign means v1v_1 is the spin-up antiparticle and v2v_2 the spin-down one, and a vv-spinor that is a +12+\tfrac12 eigenstate of the naive h^\hat h is physically a left-handed antiparticle. This bookkeeping is why weak-interaction handedness statements for antiparticles look inverted relative to particles.

Derivation AWhy the plane-wave spinors are S_z eigenstates only for motion along z

The goal is to take the explicit spinor u1(p)u_1(\mathbf p) of equation (1), apply the spin operator S^z=12Σz\hat S_z=\tfrac12\Sigma_z, and see under exactly what condition the result is proportional to u1u_1 — that is, when u1u_1 is a genuine eigenstate of S^z\hat S_z. The punchline is that the obstruction lives in a single component that is nonzero for any transverse momentum, so a generic boosted spinor is an inseparable mixture of spin-up and spin-down, and calling it "spin-up along zz" is simply false unless the particle moves along the axis.

Step 1. Write the operator's action componentwise. Since Σz=diag(1,−1,1,−1)\Sigma_z=\mathrm{diag}(1,-1,1,-1), acting on u1=E+m (1, 0, pzE+m, px+ipyE+m)u_1=\sqrt{E+m}\,(1,\,0,\,\tfrac{p_z}{E+m},\,\tfrac{p_x+ip_y}{E+m}) multiplies the first and third components by +1+1 and the second and fourth by −1-1. Why: S^z\hat S_z is diagonal, so it does nothing but attach a sign to each component — the whole question reduces to whether those signs reproduce the original spinor up to an overall factor.

Step 2. Read off the result. We get S^zu1=12E+m (1, 0, pzE+m, −px+ipyE+m)\hat S_z u_1=\tfrac12\sqrt{E+m}\,(1,\,0,\,\tfrac{p_z}{E+m},\,-\tfrac{p_x+ip_y}{E+m}). Compare with 12u1\tfrac12 u_1: the first three components match, but the fourth has the wrong sign — −px+ipyE+m-\tfrac{p_x+ip_y}{E+m} instead of +px+ipyE+m+\tfrac{p_x+ip_y}{E+m}. Why: only the fourth component obstructs the eigenvalue equation, and it does so precisely because that component carries the transverse momentum px+ipyp_x+ip_y, which a boost along a slanted direction switches on.

Step 3. Impose the eigenstate condition. S^zu1=12u1\hat S_z u_1=\tfrac12 u_1 requires px+ipy=0p_x+ip_y=0, i.e. px=py=0p_x=p_y=0: motion along ±z^\pm\hat z. Then the fourth component vanishes, u1→E+m (1,0,pzE+m,0)u_1\to\sqrt{E+m}\,(1,0,\tfrac{p_z}{E+m},0), and it is a clean Sz=+12S_z=+\tfrac12 eigenstate. For any other direction it is not. Why: this is the exact statement behind the slogan "spin is only clean along the motion" — the zz-axis is special only when the particle already moves along it.

Step 4. Confirm the rest-frame limit and the mixture. At p=0\mathbf p=0 every lower component dies and u1=(1,0,0,0)u_1=(1,0,0,0), the textbook spin-up column — so the trouble is purely a boost effect. For general p\mathbf p, decompose: u1u_1 has Sz=+12S_z=+\tfrac12 weight in components 1 and 3 and Sz=−12S_z=-\tfrac12 weight in component 4, a true superposition with ⟨S^z⟩\langle\hat S_z\rangle strictly between ±12\pm\tfrac12. Why: it shows the failure is not a technicality but a physical mixing — the boosted electron genuinely has an indefinite SzS_z, and only its helicity is sharp.

Go deeper · Derivation B · 1 minHelicity commutes with the Dirac Hamiltonian and has eigenvalues plus or minus one half
Derivation BHelicity commutes with the Dirac Hamiltonian and has eigenvalues plus or minus one half

The goal is to prove the two facts that make helicity the right label: that h^=12Σ⋅p^\hat h=\tfrac12\boldsymbol\Sigma\cdot\hat{\mathbf p} commutes with the free Dirac Hamiltonian H^D=α⋅p^+βm\hat H_D=\boldsymbol\alpha\cdot\hat{\mathbf p}+\beta m (so it is conserved and can share eigenstates with energy), and that its eigenvalues are exactly ±12\pm\tfrac12 (so a moving fermion has precisely two helicity states). Both follow from properties already in hand — the spin commutator from the previous article and the square of σ⋅p^\boldsymbol\sigma\cdot\hat{\mathbf p} — assembled with care about which vectors are orthogonal.

Step 1. Recall the spin anomaly. From aq-pp-spin-from-dirac, [H^D,Σi]=2i(α×p^)i[\hat H_D,\Sigma_i]=2i(\boldsymbol\alpha\times\hat{\mathbf p})_i, the same equal-and-opposite term that spoiled orbital angular-momentum conservation. Contract it with the fixed unit vector p^\hat{\mathbf p}: [H^D,Σ⋅p^]=2i(α×p^)⋅p^[\hat H_D,\boldsymbol\Sigma\cdot\hat{\mathbf p}]=2i(\boldsymbol\alpha\times\hat{\mathbf p})\cdot\hat{\mathbf p}. Why: for a plane wave p^\hat{\mathbf p} is a c-number direction that passes through the commutator untouched, so the whole calculation collapses to a single dot product.

Step 2. Kill the anomalous term. The cross product α×p^\boldsymbol\alpha\times\hat{\mathbf p} is, component by component, orthogonal to p^\hat{\mathbf p}, so (α×p^)⋅p^=0(\boldsymbol\alpha\times\hat{\mathbf p})\cdot\hat{\mathbf p}=0 identically. Hence [H^D,Σ⋅p^]=0[\hat H_D,\boldsymbol\Sigma\cdot\hat{\mathbf p}]=0 and therefore [H^D,h^]=0[\hat H_D,\hat h]=0. Why: this is the precise reason S^z\hat S_z fails but h^\hat h succeeds — the leak of angular momentum is entirely transverse to the motion, so projecting spin onto the motion never sees it.

Step 3. Square the projected Pauli operator. On the upper two-spinor, (σ⋅p^)2=p^ip^jσiσj=p^ip^j(δij+iϵijkσk)=p^⋅p^=1(\boldsymbol\sigma\cdot\hat{\mathbf p})^2=\hat p_i\hat p_j\sigma_i\sigma_j=\hat p_i\hat p_j(\delta_{ij}+i\epsilon_{ijk}\sigma_k)=\hat{\mathbf p}\cdot\hat{\mathbf p}=1, since the antisymmetric piece vanishes against the symmetric p^ip^j\hat p_i\hat p_j. The same holds block-by-block for Σ⋅p^\boldsymbol\Sigma\cdot\hat{\mathbf p}, so (Σ⋅p^)2=1(\boldsymbol\Sigma\cdot\hat{\mathbf p})^2=\mathbb 1. Why: an operator whose square is the identity can only have eigenvalues ±1\pm1 — the entire spectrum is pinned by this one algebraic fact.

Step 4. Read off the eigenvalues. If (Σ⋅p^)2=1(\boldsymbol\Sigma\cdot\hat{\mathbf p})^2=\mathbb 1 then Σ⋅p^\boldsymbol\Sigma\cdot\hat{\mathbf p} has eigenvalues ±1\pm1, so h^=12Σ⋅p^\hat h=\tfrac12\boldsymbol\Sigma\cdot\hat{\mathbf p} has eigenvalues λ=±12\lambda=\pm\tfrac12. A massive spin-half particle therefore has exactly two helicity states, right-handed and left-handed. Why: this reproduces the two-fold multiplicity 2s+1=22s+1=2 expected of spin-half, but now organized around the motion rather than an arbitrary axis — the natural basis for scattering.

Go deeper · Derivation C · 1 minConstructing the explicit helicity eigenspinors
Derivation CConstructing the explicit helicity eigenspinors

The goal is to solve σ⋅p^ χ=±χ\boldsymbol\sigma\cdot\hat{\mathbf p}\,\chi=\pm\chi for the two-component eigenspinors when the momentum points in a general direction (θ,ϕ)(\theta,\phi), then promote them to the full four-spinors of equation (4) using the Dirac equation's link between upper and lower blocks. This turns the abstract statement "helicity is diagonal" into concrete columns you can plug into a matrix element, and it exposes the half-angle structure cos⁡(θ/2),sin⁡(θ/2)\cos(\theta/2),\sin(\theta/2) that pervades every spin-rotation formula.

Step 1. Write the matrix. With p^=(sin⁡θcos⁡ϕ,sin⁡θsin⁡ϕ,cos⁡θ)\hat{\mathbf p}=(\sin\theta\cos\phi,\sin\theta\sin\phi,\cos\theta), the helicity matrix on the upper block is σ⋅p^=(cos⁡θsin⁡θ e−iϕsin⁡θ eiϕ−cos⁡θ)\boldsymbol\sigma\cdot\hat{\mathbf p}=\begin{pmatrix}\cos\theta & \sin\theta\,e^{-i\phi}\\ \sin\theta\,e^{i\phi} & -\cos\theta\end{pmatrix}. Its determinant is −cos⁡2θ−sin⁡2θ=−1-\cos^2\theta-\sin^2\theta=-1 and its trace is 00, so its eigenvalues are ±1\pm1 — consistent with Derivation B. Why: reducing to a 2×22\times2 problem is legitimate because Σ⋅p^\boldsymbol\Sigma\cdot\hat{\mathbf p} is block-diagonal, so the four-spinor eigenproblem is two copies of this one.

Step 2. Solve for the +1+1 eigenvector. Setting (σ⋅p^)χ+=χ+(\boldsymbol\sigma\cdot\hat{\mathbf p})\chi_+=\chi_+ and using the half-angle identities cos⁡θ=c2−s2\cos\theta=c^2-s^2, sin⁡θ=2sc\sin\theta=2sc with c=cos⁡(θ/2),s=sin⁡(θ/2)c=\cos(\theta/2),s=\sin(\theta/2), one verifies that χ+=(c, s eiϕ)\chi_+=(c,\,s\,e^{i\phi}) works: the first row gives c(c2−s2)+s⋅2sc=cc(c^2-s^2)+s\cdot2sc=c and the second gives eiϕ(2sc⋅c−(c2−s2)s)=s eiϕe^{i\phi}(2sc\cdot c-(c^2-s^2)s)=s\,e^{i\phi}. Why: the half-angle form is not a lucky guess — it is the spin-12\tfrac12 rotation that carries z^\hat z into the direction (θ,ϕ)(\theta,\phi), so χ+\chi_+ is literally "spin-up, rotated to point along p\mathbf p."

Step 3. Solve for the −1-1 eigenvector. The orthogonal choice χ−=(−s, c eiϕ)\chi_-=(-s,\,c\,e^{i\phi}) satisfies (σ⋅p^)χ−=−χ−(\boldsymbol\sigma\cdot\hat{\mathbf p})\chi_-=-\chi_- by the same algebra, and χ+†χ−=0\chi_+^\dagger\chi_-=0 as required for eigenvectors of a Hermitian operator with distinct eigenvalues. Why: the two helicities must be orthogonal because a right-handed and a left-handed state of the same momentum are physically exclusive — you cannot be both.

Step 4. Promote to four-spinors. The free Dirac equation fixes the lower block of a positive-energy solution as σ⋅pE+m\tfrac{\boldsymbol\sigma\cdot\mathbf p}{E+m} times the upper block. Since σ⋅p χ±=±p χ±\boldsymbol\sigma\cdot\mathbf p\,\chi_\pm=\pm p\,\chi_\pm, the lower block is ±pE+mχ±\pm\tfrac{p}{E+m}\chi_\pm, giving exactly the columns of equation (4). Why: this is what makes helicity so clean in the Dirac spinor — both blocks share one two-spinor, so the lower components differ from the upper only by the scalar ±p/(E+m)\pm p/(E+m), which runs from 00 at rest to 11 in the massless limit where helicity becomes chirality.

Limiting cases

CaseResultMeaning
Rest frame (p=0\mathbf p=0)u1,u2u_1,u_2 are pure SzS_z eigenstateshelicity undefined (no direction of motion); any axis diagonalizes spin
Motion along z^\hat z (px=py=0p_x=p_y=0)S^zu1=12u1\hat S_z u_1=\tfrac12u_1, and h^=S^z\hat h=\hat S_zthe one direction where lab-axis spin and helicity coincide
General motiononly h^\hat h and J^\hat{\mathbf J} good; S^z\hat S_z not conservedlabel states by helicity, not SzS_z — the spinor is an SzS_z mixture
Ultrarelativistic (p→Ep\to E, m/E→0m/E\to0)p/(E+m)→1p/(E+m)\to1; helicity →\to chiralityright/left-handed helicity == right/left chiral projection PR,L=12(1±γ5)P_{R,L}=\tfrac12(1\pm\gamma^5)
Massless (m=0m=0)helicity is Lorentz invariant == chiralitycannot overtake the particle; handedness is absolute (neutrino-like)
Antiparticle (vv-spinors)physical spin from S^z(v)=−S^z\hat S_z^{(v)}=-\hat S_zv1v_1 is spin-up; naive helicity label flips to give physical handedness

Worked examples

1 · A massive particle whose helicity flips under a boost (fully worked)

An electron has mass m=3m=3, momentum p=4p=4, and energy E=5E=5 (units with E2=p2+m2E^2=p^2+m^2), moving along +z^+\hat z prepared with positive helicity (λ=+12\lambda=+\tfrac12). Find its speed, the spinor's lower-to-upper component ratio, and show that an observer boosting at β′=0.9\beta'=0.9 along +z^+\hat z sees the helicity flip.

Step 1. Speed and consistency. The velocity is β=p/E=4/5=0.8\beta=p/E=4/5=\mathbf{0.8}, and E2−p2=25−16=9=m2E^2-p^2=25-16=9=m^2 checks the on-shell condition. Because the electron moves at 0.8c0.8c, a faster observer can overtake it — the door through which helicity dependence enters. The particle is sub-luminal, so its helicity cannot be frame-invariant.

Step 2. The spinor structure. From equation (4) with θ=0\theta=0, the lower block is pE+m\tfrac{p}{E+m} times the upper block: pE+m=45+3=48=0.5\tfrac{p}{E+m}=\tfrac{4}{5+3}=\tfrac{4}{8}=\mathbf{0.5}. The lower two components are half the upper two — the electron is neither at rest (ratio 00) nor massless (ratio 11), but partway to becoming a pure chirality state. The "wrong-chirality" admixture is set by this 0.50.5; it would vanish only as m/E→0m/E\to0.

Step 3. Boost and reverse the momentum. In a frame moving at β′=0.9\beta'=0.9 along +z^+\hat z, with γ′=1/1−0.81=2.294\gamma'=1/\sqrt{1-0.81}=2.294, the longitudinal momentum transforms as pz′=γ′(pz−β′E)=2.294 (4−0.9⋅5)=2.294 (−0.5)=−1.147p_z'=\gamma'(p_z-\beta'E)=2.294\,(4-0.9\cdot5)=2.294\,(-0.5)=\mathbf{-1.147}. The momentum has reversed sign because the observer now outruns the electron. The energy is E′=γ′(E−β′p)=2.294 (5−3.6)=3.212E'=\gamma'(E-\beta'p)=2.294\,(5-3.6)=\mathbf{3.212}, and E′2−pz′2=10.32−1.32=9.0=m2E'^2-p_z'^2=10.32-1.32=9.0=m^2 ✓. The particle now travels backward in the new frame.

Step 4. Read off the flipped helicity. A boost along z^\hat z leaves the spin projection SzS_z unchanged (boosts along the spin axis do not rotate spin), but the momentum reversed, so h=S⋅p^h=\mathbf S\cdot\hat{\mathbf p} changes sign: the state that was λ=+12\lambda=+\tfrac12 is now measured as λ=−12\lambda=-\tfrac12. The right-handed electron has become left-handed simply by changing observer — the concrete meaning of "helicity is not Lorentz invariant for m≠0m\neq0." Had the electron been massless, β=1\beta=1 and no observer could overtake it, so the flip would be impossible and helicity would be absolute.

2 · A helicity eigenstate that is not an SzS_z eigenstate

Take a particle moving along the +x^+\hat x axis (θ=π2\theta=\tfrac{\pi}{2}, ϕ=0\phi=0) in a positive-helicity state. Build its two-spinor and show explicitly that ⟨S^z⟩=0\langle\hat S_z\rangle=0, so it is maximally not an SzS_z eigenstate.

Step 1. Evaluate the half-angles. For θ=π2\theta=\tfrac{\pi}{2}, c=cos⁡π4=s=sin⁡π4=12c=\cos\tfrac{\pi}{4}=s=\sin\tfrac{\pi}{4}=\tfrac{1}{\sqrt2}, and ϕ=0\phi=0 so eiϕ=1e^{i\phi}=1. The upper two-spinor is χ+=12(1, 1)\chi_+=\tfrac{1}{\sqrt2}(1,\,1). This is spin pointing along +x^+\hat x — exactly what "spin parallel to the motion" should mean.

Step 2. Verify it is a helicity eigenstate. With p^=x^\hat{\mathbf p}=\hat x, σ⋅p^=σx=(0110)\boldsymbol\sigma\cdot\hat{\mathbf p}=\sigma_x=\begin{pmatrix}0&1\\1&0\end{pmatrix}, and σxχ+=12(1, 1)=χ+\sigma_x\chi_+=\tfrac{1}{\sqrt2}(1,\,1)=\chi_+. So h^χ+=+12χ+\hat h\chi_+=+\tfrac12\chi_+ ✓. It is a clean helicity eigenstate with λ=+12\lambda=+\tfrac12.

Step 3. Now test S^z\hat S_z. Compute S^zχ+=12σzχ+=12⋅12(1, −1)\hat S_z\chi_+=\tfrac12\sigma_z\chi_+=\tfrac12\cdot\tfrac{1}{\sqrt2}(1,\,-1), which is not proportional to χ+\chi_+ — it is 12χ−\tfrac{1}{\sqrt2}\chi_--like — so χ+\chi_+ is not an SzS_z eigenstate. The expectation value is ⟨S^z⟩=χ+†S^zχ+=12⋅12(1⋅1+1⋅(−1))=0\langle\hat S_z\rangle=\chi_+^\dagger\hat S_z\chi_+=\tfrac12\cdot\tfrac12(1\cdot1+1\cdot(-1))=\mathbf{0}. A particle moving along x^\hat x with definite helicity has exactly zero average spin along z^\hat z — it is a 50/50 mixture of SzS_z up and down, the sharpest possible illustration that helicity and SzS_z are different questions off-axis.

Physics of the portrait

Helicity is not just a computational convenience; it is the label that a deep theorem says defines what a relativistic particle even is. That theorem is Eugene Wigner's 1939 classification of the unitary representations of the Poincaré group, which showed that every elementary particle is fixed by just two invariants — its mass and its spin (or, for massless particles, its helicity).

Origins · 1 minEugene Wigner and how this was discovered
EW
Eugene Wigner
1902–1984 · the little-group classification of relativistic particles by mass and helicity

Eugene Paul Wigner, a Hungarian-born chemical engineer turned physicist, brought the machinery of group theory into quantum mechanics more forcefully than anyone before him. His 1939 paper "On unitary representations of the inhomogeneous Lorentz group" asked a foundational question — what is an elementary particle, mathematically? — and answered it by classifying the irreducible unitary representations of the Poincaré group (Lorentz transformations plus translations). The states are labeled by the eigenvalues of the two Casimir invariants: the mass mm, and a spin quantum number determined by the "little group" that leaves a reference momentum fixed. For a massive particle at rest the little group is the rotation group SO(3)SO(3), whose representations are the familiar spins s=0,12,1,…s=0,\tfrac12,1,\dots with 2s+12s+1 states. But for a massless particle there is no rest frame; the little group is the symmetry of the plane, and its physically admissible representations are one-dimensional and labeled by a single number — the helicity. This is the group-theoretic reason a photon has only two polarizations rather than three, and why massless fermions come in definite handedness. Wigner's framework turned helicity from a kinematic projection into the very definition of a massless particle's internal state, and it underwrites the entire modern practice of building scattering amplitudes directly from helicities. He shared the 1963 Nobel Prize for these symmetry principles; his sister Margit married Paul Dirac, tying two of this chapter's protagonists together by marriage.

History
1929
— Weyl writes the two-component massless equation, making left- and right-handedness explicit
1939
— Wigner classifies relativistic particles by mass and helicity via the little group
1956
— Lee and Yang argue that parity need not be conserved in the weak interaction
1957
— Wu's cobalt-60 experiment reveals maximal parity violation, singling out a handedness
1958
— Goldhaber, Grodzins and Sunyar measure the neutrino to be left-handed, helicity −1

Going further

Texts. Thomson, Modern Particle Physics, §4.8 (pp. 122–125), Eqs. 4.48–4.65 — the explicit spinors and the helicity eigenstates followed here · Griffiths, Introduction to Elementary Particles, 2nd ed., Ch. 7, §7.1–7.3, Eqs. 7.46–7.51 — the four canonical solutions and the remark that clean spin states need zz along the motion · Peskin & Schroeder, An Introduction to Quantum Field Theory, §3.2–3.3 — helicity spinors and the massless limit · Halzen & Martin, Quarks and Leptons, §5.2–5.4 · Schwartz, Quantum Field Theory and the Standard Model, Ch. 11 — the spinor-helicity formalism and modern amplitudes. The key results threading through this article are: S^zu1=12u1\hat S_z u_1=\tfrac12u_1 requires px+ipy=0p_x+ip_y=0; [H^D,Σ⋅p^]=0[\hat H_D,\boldsymbol\Sigma\cdot\hat{\mathbf p}]=0 follows from the orthogonality of α×p^\boldsymbol\alpha\times\hat{\mathbf p} to p^\hat{\mathbf p}; (σ⋅p^)2=1⇒λ=±12(\boldsymbol\sigma\cdot\hat{\mathbf p})^2=1\Rightarrow\lambda=\pm\tfrac12; σ⋅p^ χ+=χ+\boldsymbol\sigma\cdot\hat{\mathbf p}\,\chi_+=\chi_+ for χ+=(cos⁡θ2,sin⁡θ2eiϕ)\chi_+=(\cos\tfrac\theta2,\sin\tfrac\theta2 e^{i\phi}); and the boost example with m=3,p=4,E=5,β=0.8m=3,p=4,E=5,\beta=0.8 yields pz′=−1.147,E′=3.212p_z'=-1.147,E'=3.212 at β′=0.9\beta'=0.9, flipping the helicity from +12+\tfrac12 to −12-\tfrac12.

Prerequisites. The Dirac Equation · Dirac Equation Solutions · Spin from the Dirac Equation. Leads to. Covariant Form of the Dirac Equation and Chirality · Antiparticles.

Ask the tutor: Ask me to boost a specific helicity spinor into a new frame and watch its handedness change, or to derive the helicity eigenspinors for any direction step by step.

Why can't I just always use spin along the z-axis, like in non-relativistic quantum mechanics?

Because for a moving relativistic particle S^z\hat S_z is not conserved: it does not commute with the Dirac Hamiltonian unless the momentum points along z^\hat z. Prepare an electron as "spin-up along zz" and let it fly off at an angle, and its SzS_z is no longer sharp — the state is a superposition of up and down whose weights change under time evolution and under boosts. In non-relativistic quantum mechanics a free particle's S^z\hat S_z does commute with p^2/2m\hat p^2/2m, so the habit is safe there; the linear-in-momentum Dirac Hamiltonian breaks it. Helicity survives because it projects spin onto the one direction the particle itself singles out — its momentum — and that projection commutes with H^D\hat H_D.

What is the difference between helicity and chirality?

Helicity is a kinematic quantity: the sign of spin projected on momentum, λ=S⋅p^\lambda=\mathbf S\cdot\hat{\mathbf p}. Chirality is a Lorentz-invariant, algebraic quantity: the eigenvalue of γ5\gamma^5, picked out by the projectors PR,L=12(1±γ5)P_{R,L}=\tfrac12(1\pm\gamma^5). For a massless particle the two coincide exactly and are both frame-independent. For a massive particle they differ: a helicity eigenstate is a mixture of chiralities, with the "wrong" chirality carrying weight of order m/Em/E, and helicity itself is not invariant (you can boost past the particle and flip it) while chirality remains invariant but is not conserved by the mass term. The Standard Model's weak interaction couples to chirality; what a detector measures is helicity; the two agree for the fast, nearly massless particles of high-energy physics, which is why the distinction is often blurred.

Why does helicity flip when I overtake the particle, but not when I overtake a photon?

A massive particle moves slower than light, so there is always a frame that outruns it. In that frame its momentum reverses direction while its spin — unchanged by a boost along the spin axis — does not, so spin-on-momentum changes sign and the helicity flips. A photon (or any massless particle) moves at cc in every frame; no observer can overtake it, its momentum direction can never be reversed by a boost, and so its helicity is the same for everyone. That is the deep reason Wigner's classification treats massless particles separately: with no rest frame, helicity becomes an absolute, defining label rather than a frame-dependent projection.

Why do antiparticles need the extra minus sign, Ŝz(v) = −Ŝz?

The vv-spinors arise as the negative-energy solutions of the Dirac equation, reinterpreted (à la Stückelberg–Feynman) as positive-energy antiparticles running forward in time. Under that reinterpretation the operators that read off physical quantities get conjugated, and the spin operator picks up a sign, so the antiparticle's true spin is S^z(v)=−S^z\hat S_z^{(v)}=-\hat S_z. Concretely, the spinor labeled v1v_1 — which looks "spin-down" if you naively apply S^z\hat S_z — is physically the spin-up antiparticle. The same flip applies to helicity: a vv-spinor that is a +12+\tfrac12 eigenstate of the naive helicity operator is a physically left-handed antiparticle. Forgetting this sign is the single most common way to get weak-decay angular distributions backward.

Where does the cos(θ/2), sin(θ/2) half-angle structure come from?

It comes from the fact that spin-12\tfrac12 objects transform under the double cover of the rotation group: rotating a spinor by an angle θ\theta is implemented by e−iθ n^⋅σ/2e^{-i\theta\,\hat n\cdot\boldsymbol\sigma/2}, which carries half-angles. The helicity eigenspinor χ+=(cos⁡θ2,sin⁡θ2eiϕ)\chi_+=(\cos\tfrac\theta2,\sin\tfrac\theta2 e^{i\phi}) is precisely "spin-up along z^\hat z" rotated to point along the direction (θ,ϕ)(\theta,\phi), so the rotation's half-angles appear directly in its components. A visible consequence is that a full 2π2\pi rotation sends χ→−χ\chi\to-\chi (the components flip sign at θ=2π\theta=2\pi), the famous 4π4\pi periodicity of spinors — the same half-angle bookkeeping that makes helicity spinors what they are.

Do neutrinos being "left-handed" mean helicity or chirality?

Both, with a caveat. In the Standard Model the weak interaction couples to left-handed chirality, so only left-chiral neutrinos participate — that is the fundamental statement. In the massless approximation used for decades, chirality equals helicity, so "the neutrino is left-handed" was a statement about helicity too, and Goldhaber's 1958 experiment measured its helicity to be −1-1. Now that we know neutrinos have a tiny mass, the two notions separate at the level mν/E∼10−6m_\nu/E\sim10^{-6} or smaller, so a neutrino is almost a helicity eigenstate but carries an utterly negligible wrong-helicity component. For all practical detector purposes the neutrino is left-handed in both senses; only its mass — revealed by oscillations, not by helicity measurements — forces the fine distinction.

Before this

Where this leads