Spinors and Two-Component Wavefunctions

Spin-1/2 and the Pauli Matrices armed you with operators and then stopped one theorem short, on purpose: it proved the spectrum of n^⋅σ\hat n\cdot\boldsymbol\sigma is ±1\pm1 for every axis and deferred the eigenvectors here. This article is about the objects those operators act on — the two-component column vectors called spinors — and about the strange, load-bearing geometry they carry. Strange is the right word. A spinor χ=(a,b)T\chi=(a,b)^{\mathsf T} looks like the most innocent object in linear algebra, yet it holds a direction in three-dimensional space using half angles: the spin-up state along an axis tilted by θ\theta has components cos⁡θ2\cos\frac\theta2 and sin⁡θ2\sin\frac\theta2, not cos⁡θ\cos\theta and sin⁡θ\sin\theta. That factor of two is not a convention. It makes orthogonal states point in opposite directions rather than perpendicular ones, it makes the expectation vector ⟨σ⟩\langle\boldsymbol\sigma\rangle turn through the full angle while the amplitudes turn through half, and it makes a 2π2\pi rotation multiply the state by −1-1 — a sign a single measurement can never see but an interference experiment can. The article builds the dictionary in both directions: from an axis to its eigenspinor (the construction the previous article deferred), and from any spinor back to the unique direction it points along — the Bloch sphere, on whose surface every pure spin state lives. Then it upgrades the spinor from a static pair of numbers to a field: the two-component Pauli wavefunction Ψ(r)=(ψ↑(r),ψ↓(r))T\Psi(\mathbf r)=(\psi_\uparrow(\mathbf r),\psi_\downarrow(\mathbf r))^{\mathsf T}, the non-relativistic skeleton that the Dirac equation will later complete, and the language in which spin and motion entangle.

Key takeaways
  • A spin-12\tfrac12 state is a unit vector χ=(a,b)T∈C2\chi=(a,b)^{\mathsf T}\in\mathbb C^2: a,ba,b are the amplitudes for Sz=±ℏ/2S_z=\pm\hbar/2, with ∣a∣2+∣b∣2=1|a|^2+|b|^2=1 and global phase unphysical (a ray).
  • The spin-up eigenspinor along n^(θ,ϕ)\hat n(\theta,\phi) is χ+(n^)=(cos⁡θ2,  eiϕsin⁡θ2)T\chi_+(\hat n)=\big(\cos\tfrac\theta2,\;e^{i\phi}\sin\tfrac\theta2\big)^{\mathsf T} — half angles, with the overlap law ∣⟨χ+(z^)∣χ+(n^)⟩∣2=cos⁡2θ2|\langle\chi_+(\hat z)|\chi_+(\hat n)\rangle|^2=\cos^2\tfrac\theta2.
  • Every pure spinor points somewhere: ⟨σ⟩\langle\boldsymbol\sigma\rangle is a unit vector, so pure states = the Bloch sphere's surface; antipodal points are orthogonal states. (The interior — mixtures — belongs to Density Operator and Mixed States.)
  • Under χ→Uχ\chi\to U\chi with U=e−iθn^⋅σ/2U=e^{-i\theta\hat n\cdot\boldsymbol\sigma/2}, amplitudes turn by θ/2\theta/2 but ⟨σ⟩\langle\boldsymbol\sigma\rangle turns by the full θ\theta; at θ=2π\theta=2\pi, χ→−χ\chi\to-\chi — same ray, yet the sign is measurable in relative phase.
  • Spin and space combine into the Pauli wavefunction Ψ(r)=ψ↑(r)χ++ψ↓(r)χ−\Psi(\mathbf r)=\psi_\uparrow(\mathbf r)\chi_++\psi_\downarrow(\mathbf r)\chi_- with ∫(∣ψ↑∣2+∣ψ↓∣2) d3r=1\int(|\psi_\uparrow|^2+|\psi_\downarrow|^2)\,d^3r=1 — a product state only when the two components share one spatial shape.
  • Key idea: a spin-1/2 state is a unit ray in ℂ²; rotations act through SU(2) with half-angles, so a 2π rotation gives −1 — spinors are double-valued under ordinary rotations.
The core insight

A spin-1/2 state is a unit vector in C2\mathbb C^2; rotations act on it through SU(2)SU(2) via U=e−iθ n^⋅σ/2U=e^{-i\theta\,\hat n\cdot\boldsymbol\sigma/2}, so a 2π2\pi rotation gives −1-1 — spinors are double-valued under SO(3)SO(3).

Where this lives today

Every gate-based quantum computer is a machine for steering spinors around the Bloch sphere: state tomography reconstructs ⟨σ⟩\langle\boldsymbol\sigma\rangle from measured probabilities exactly as in Example 2, and single-qubit gate errors are quoted as angular distances on this article's sphere. In silicon spin qubits the steered object is an electron spinor in a quantum dot. Meanwhile the Pauli wavefunction runs condensed matter: spintronic devices exploit the two-component structure directly (spin currents are differences between the ψ↑\psi_\uparrow and ψ↓\psi_\downarrow channels), and spin-orbit-coupled materials — the whole topological-insulator industry — have Hamiltonians in which momentum multiplies Pauli matrices, entangling the components of (4) with crystal momentum. The half-angle geometry is the design language of twenty-first-century hardware.

The physical picture

Forget components for a moment and picture the set of states. Every normalized spinor, it will turn out, is the spin-up state along exactly one direction — so pure spin-12\tfrac12 states correspond one-to-one with points on a sphere. North pole: ∣↑⟩|{\uparrow}\rangle. South pole: ∣↓⟩|{\downarrow}\rangle. Equator: the equal-weight superpositions, distinguished only by relative phase. Latitude encodes the probabilities of the two SzS_z outcomes; longitude encodes the phase between them. And the dictionary between the sphere and the amplitudes runs on half angles: a state 60°60° of latitude away from the pole has amplitude cos⁡30°\cos 30° to be found "up."

Figure
The Bloch sphere of pure states — latitude carries probability, longitude carries phase, amplitudes carry half-angles
Every pure spin state = one point on the sphere's surface |↑⟩ = (1, 0) |↓⟩ = (0, 1) — antipodal, orthogonal χ₊(n̂) = (cos θ⁄2, e^{iφ} sin θ⁄2) θ — polar tilt equator: |a| = |b| = 1⁄√2, longitude = relative phase δ latitude → probabilities: P(up) = cos²(θ⁄2) P(down) = sin²(θ⁄2) ⟨σ⟩ = n̂ — length exactly 1, every pure state points somewhere the interior (mixtures, |r| less than 1) belongs to the density-operator article — pure states live on the skin

The second picture explains why "double-valued" is bookkeeping, not a scare word. Rotate a state's direction around a full circle and the direction comes home; the amplitudes, turning at half speed, arrive at −χ-\chi. Only after 4π4\pi do the amplitudes close. On one beam nothing detects the sign; split a beam, rotate one arm, recombine — the fringes shift.

Figure
Half speed — the direction closes at 2π, the amplitudes only at 4π
Physical rotation θ vs amplitude rotation θ⁄2 ⟨σ⟩: full turn at θ = 2π ✓ amplitudes: half turn — χ → −χ needs 4π to close same 2π rotation → the −1 is invisible on a single beam (same ray) but shifts fringes when a rotated arm interferes with an unrotated one

The spinor object

Start from what the measurement postulates require. The SzS_z basis has two states, so the general state is their superposition — a column of two complex numbers:

χ=(ab)=a χ++b χ−,χ+=(10), χ−=(01)(1)\chi=\begin{pmatrix}a\\ b\end{pmatrix}=a\,\chi_++b\,\chi_-,\qquad \chi_+=\begin{pmatrix}1\\0\end{pmatrix},\ \chi_-=\begin{pmatrix}0\\1\end{pmatrix} \qquad (1)

where: a=⟨↑∣χ⟩a=\langle{\uparrow}|\chi\rangle and b=⟨↓∣χ⟩b=\langle{\downarrow}|\chi\rangle are probability amplitudes in exactly the Born sense: ∣a∣2|a|^2 and ∣b∣2|b|^2 are the probabilities of finding Sz=+ℏ/2S_z=+\hbar/2 and −ℏ/2-\hbar/2, so normalization demands ∣a∣2+∣b∣2=1|a|^2+|b|^2=1. Two more facts import wholesale from Hilbert Space and State Vectors: the state is really a ray — eiαχe^{i\alpha}\chi is the same physical state, a freedom we will spend to make aa real — while the relative phase between aa and bb is measurable physics (it is the longitude of the picture above, and the phase-sweep table below exhibits it). A convention worth fixing now, because every table in the literature assumes it: write a=∣a∣a=|a|, real and non-negative, and let bb carry the relative phase. With that choice a normalized spinor has exactly two real parameters — matching the two angles of a direction. That counting is the first hint of the theorem below: pure spin states are directions.

From axis to spinor: the deferred construction

The previous article proved n^⋅σ\hat n\cdot\boldsymbol\sigma has eigenvalues ±1\pm1 on every axis and deliberately stopped. Here is the eigenvector half, cashed.

Derivation AThe eigenspinor along an arbitrary axis

The goal is the normalized spin-up and spin-down eigenspinors of n^⋅σ\hat n\cdot\boldsymbol\sigma for the axis n^=(sin⁡θcos⁡ϕ,sin⁡θsin⁡ϕ,cos⁡θ)\hat n=(\sin\theta\cos\phi,\sin\theta\sin\phi,\cos\theta) — the construction Spin-1/2 and the Pauli Matrices explicitly deferred here. The strategy: write the 2×22\times2 matrix (its form is imported from that article), solve the two-equation eigensystem for the amplitude ratio, and convert the ratio to clean components with half-angle identities. Watch where the half angles enter — they are forced by trigonometry, not chosen — and watch the phase convention spent in the last step.

Step 1. The matrix, from the components of n^\hat n (imported form, re-verified symbolically):

n^⋅σ=(cos⁡θsin⁡θ e−iϕsin⁡θ eiϕ−cos⁡θ).\hat n\cdot\boldsymbol\sigma=\begin{pmatrix}\cos\theta & \sin\theta\,e^{-i\phi}\\ \sin\theta\,e^{i\phi} & -\cos\theta\end{pmatrix}.

Step 2. Impose (n^⋅σ)χ=+χ(\hat n\cdot\boldsymbol\sigma)\chi=+\chi on χ=(a,b)T\chi=(a,b)^{\mathsf T}. The first row reads (cos⁡θ−1) a+sin⁡θ e−iϕ b=0(\cos\theta-1)\,a+\sin\theta\,e^{-i\phi}\,b=0, so

ba=1−cos⁡θsin⁡θ eiϕ=eiϕtan⁡θ2,\frac{b}{a}=\frac{1-\cos\theta}{\sin\theta}\,e^{i\phi}=e^{i\phi}\tan\frac{\theta}{2},

using 1−cos⁡θ=2sin⁡2θ21-\cos\theta=2\sin^2\frac\theta2 and sin⁡θ=2sin⁡θ2cos⁡θ2\sin\theta=2\sin\frac\theta2\cos\frac\theta2. Why the half angle is forced: the ratio (1−cos⁡θ)/sin⁡θ(1-\cos\theta)/\sin\theta is tan⁡(θ/2)\tan(\theta/2) — an identity, not a choice. Any parametrization of this eigenvector problem lands on half angles; the geometry of the sphere-to-amplitude map is baked into the trigonometry.

Step 3. Normalize and spend the ray freedom making aa real and non-negative: with cos⁡2θ2+sin⁡2θ2=1\cos^2\frac\theta2+\sin^2\frac\theta2=1,

χ+(n^)=(cos⁡θ2eiϕsin⁡θ2),χ−(n^)=(−e−iϕsin⁡θ2cos⁡θ2),\chi_+(\hat n)=\begin{pmatrix}\cos\tfrac\theta2\\[2pt] e^{i\phi}\sin\tfrac\theta2\end{pmatrix},\qquad \chi_-(\hat n)=\begin{pmatrix}-e^{-i\phi}\sin\tfrac\theta2\\[2pt] \cos\tfrac\theta2\end{pmatrix},

the second solving the −1-1 eigenproblem, orthogonal to the first: ⟨χ+∣χ−⟩=0\langle\chi_+|\chi_-\rangle=0.

Step 4. Sanity limits: θ=0\theta=0 returns (1,0)T=∣↑⟩(1,0)^{\mathsf T}=|{\uparrow}\rangle; θ=π\theta=\pi gives (0,eiϕ)T(0,e^{i\phi})^{\mathsf T}, which is ∣↓⟩|{\downarrow}\rangle up to a phase; θ=π2,ϕ=0\theta=\tfrac\pi2,\phi=0 gives 12(1,1)T\tfrac1{\sqrt2}(1,1)^{\mathsf T}, the σx\sigma_x eigenvector of the previous article's worked example. And the overlap law falls out: ∣⟨χ+(z^)∣χ+(n^)⟩∣2=cos⁡2θ2|\langle\chi_+(\hat z)|\chi_+(\hat n)\rangle|^2=\cos^2\tfrac\theta2 — the probability that a zz-up spin answers "up" along an axis tilted by θ\theta. Replacing n^→−n^\hat n\to-\hat n (i.e. θ→π−θ\theta\to\pi-\theta, ϕ→ϕ+π\phi\to\phi+\pi) turns χ+\chi_+ into χ−\chi_- up to phase: antipodal directions carry orthogonal states. *Verified: eigenvalue equations for both spinors, normalization, orthogonality, the overlap law, and the antipodal map all checked symbolically in θ,ϕ\theta,\phi (sympy); the limits at θ=0,π,π/2\theta=0,\pi,\pi/2 evaluated exactly (verify script, 43 checks green). Matches Griffiths Problem 4.30, Cohen-Tannoudji Ch. IV.*

From spinor to axis: the Bloch sphere

The construction has an inverse, and the inverse is a theorem. Compute the expectation vector of a general normalized spinor χ=(a,b)T\chi=(a,b)^{\mathsf T}:

⟨σ⟩=(2 Re(a∗b), 2 Im(a∗b), ∣a∣2−∣b∣2)(2)\langle\boldsymbol\sigma\rangle=\big(2\,\mathrm{Re}(a^*b),\ 2\,\mathrm{Im}(a^*b),\ |a|^2-|b|^2\big) \qquad (2)

where: each component is χ†σiχ\chi^\dagger\sigma_i\chi written out. Now take its squared length: 4∣a∗b∣2+(∣a∣2−∣b∣2)2=(∣a∣2+∣b∣2)2=14|a^*b|^2+(|a|^2-|b|^2)^2=(|a|^2+|b|^2)^2=1 — an identity (verified symbolically for arbitrary complex a,ba,b). Every pure spinor's expectation vector is a unit vector: every pure state points, with full polarization, along exactly one direction. There is no such thing as an unpolarized pure spinor — unpolarized beams are mixtures, and their home, the solid Bloch ball with ∣r∣<1|\mathbf r|<1, belongs to Density Operator and Mixed States. This article owns only the skin. For the eigenspinor of the construction, ⟨σ⟩=n^\langle\boldsymbol\sigma\rangle=\hat n exactly (machine-checked symbolically) — so the two dictionaries are inverse to each other, and the correspondence

pure spin-12 states ⟷ points of the unit sphere S2\text{pure spin-}\tfrac12\ \text{states}\ \longleftrightarrow\ \text{points of the unit sphere } S^2

is a bijection once the unphysical global phase is stripped. The equator deserves a special row in your memory: states 12(1,eiδ)T\tfrac1{\sqrt2}(1,e^{i\delta})^{\mathsf T} have ⟨σ⟩=(cos⁡δ,sin⁡δ,0)\langle\boldsymbol\sigma\rangle=(\cos\delta,\sin\delta,0) — the relative phase δ\delta is the longitude, sweeping ∣+x⟩→∣+y⟩→∣−x⟩|{+x}\rangle\to|{+y}\rangle\to|{-x}\rangle as δ\delta runs 0→π2→π0\to\tfrac\pi2\to\pi (all three verified exactly). Phase is not decoration; it is direction.

Rotating a spinor: half angle in, full angle out

How does χ\chi respond when the physical system is rotated? The rotation operator is the exponential whose closed form Spin-1/2 and the Pauli Matrices derived and this article consumes:

U(n^,θ)=e−iθ n^⋅σ/2=cos⁡θ2 1−isin⁡θ2 (n^⋅σ)(3)U(\hat n,\theta)=e^{-i\theta\,\hat n\cdot\boldsymbol\sigma/2}=\cos\tfrac\theta2\,\mathbb 1-i\sin\tfrac\theta2\,(\hat n\cdot\boldsymbol\sigma) \qquad (3)

where: the half angle sits in the amplitudes — and yet anything you can measure rotates by the full angle. Both halves of that sentence are theorems, and the second is this derivation:

Go deeper · Derivation B · 2 minThe expectation vector turns by the full angle
Derivation BThe expectation vector turns by the full angle

The goal is the transformation law of ⟨σ⟩\langle\boldsymbol\sigma\rangle under χ→Uχ\chi\to U\chi with U=e−iθσz/2U=e^{-i\theta\sigma_z/2}, done explicitly for one generator — establishing that expectation values rotate through θ\theta (not θ/2\theta/2) about the rotation axis, with the correct sense. The strategy: conjugate each Pauli matrix by UU using the product rule, collapse double half-angle products with double-angle identities, and read the result as an ordinary rotation matrix. One honesty flag up front: the source base for this article printed the key line with a flipped sign (+sin⁡θ σy+\sin\theta\,\sigma_y); the computation below — machine-verified against the exact matrix exponential, and against Sakurai Eq. (3.2.7) — fixes it.

Step 1. Write U=c 1−is σzU=c\,\mathbb 1-is\,\sigma_z with c=cos⁡θ2c=\cos\tfrac\theta2, s=sin⁡θ2s=\sin\tfrac\theta2, so U†=c 1+is σzU^\dagger=c\,\mathbb 1+is\,\sigma_z, and conjugate σx\sigma_x:

U†σxU=(c+isσz) σx (c−isσz)=c2σx+ics [σz,σx]−…U^\dagger\sigma_xU=(c+is\sigma_z)\,\sigma_x\,(c-is\sigma_z)=c^2\sigma_x+ics\,[\sigma_z,\sigma_x]_-\ldots

expanding honestly term by term with σzσx=iσy\sigma_z\sigma_x=i\sigma_y, σxσz=−iσy\sigma_x\sigma_z=-i\sigma_y, σzσxσz=−σx\sigma_z\sigma_x\sigma_z=-\sigma_x:

U†σxU=(c2−s2) σx−2cs σy=cos⁡θ σx−sin⁡θ σy.U^\dagger\sigma_xU=(c^2-s^2)\,\sigma_x-2cs\,\sigma_y=\cos\theta\,\sigma_x-\sin\theta\,\sigma_y.

Why the minus sign is right: the same conjugation computed numerically at θ=0.7345\theta=0.7345 agrees with cos⁡θ σx−sin⁡θ σy\cos\theta\,\sigma_x-\sin\theta\,\sigma_y to 10−1410^{-14}, while the +sin⁡θ+\sin\theta variant equals UσxU†U\sigma_xU^\dagger — the inverse rotation. Signs here are exactly where conventions go to die; the machine adjudicated.

Step 2. The same algebra gives U†σyU=sin⁡θ σx+cos⁡θ σyU^\dagger\sigma_yU=\sin\theta\,\sigma_x+\cos\theta\,\sigma_y and U†σzU=σzU^\dagger\sigma_zU=\sigma_z. Assemble: for any state,

⟨σi⟩Uχ=χ†(U†σiU)χ    ⟹    ⟨σ⟩ → Rz(θ) ⟨σ⟩,\langle\sigma_i\rangle_{U\chi}=\chi^\dagger(U^\dagger\sigma_iU)\chi \;\;\Longrightarrow\;\; \langle\boldsymbol\sigma\rangle\ \to\ R_z(\theta)\,\langle\boldsymbol\sigma\rangle,

with Rz(θ)R_z(\theta) the ordinary 3×33\times3 rotation by the full angle θ\theta, counterclockwise about zz.

Step 3. Read the structure. The amplitudes acquired factors e∓iθ/2e^{\mp i\theta/2} — half speed — but expectation values are quadratic in amplitudes, and the two half-angles add. That is the entire mechanism of "half angle in, full angle out," and it is why the 2π2\pi rotation (θ/2=π\theta/2=\pi) flips the state's sign while every ⟨σ⟩\langle\boldsymbol\sigma\rangle returns exactly home.

Step 4. Scope note: what we verified for one generator holds for every axis — U†σiU=Rij(n^,θ)σjU^\dagger\sigma_iU=R_{ij}(\hat n,\theta)\sigma_j with R∈SO(3)R\in SO(3) — and the map U↦RU\mapsto R is a two-to-one group homomorphism whose kernel {±1}\{\pm\mathbb 1\} is precisely the 2π2\pi sign. That theorem, with its proof and its topology, is owned by Rotation Operators and SU(2); this derivation is its ground-level instance. Verified: the conjugations checked numerically against the exact matrix exponential; a random spinor's ⟨σ⟩\langle\boldsymbol\sigma\rangle transformed by Rz(+θ)R_z(+\theta) to 10−1310^{-13} under χ→Uχ\chi\to U\chi; the base's +sin⁡θ+\sin\theta form shown to equal UσxU†U\sigma_xU^\dagger instead (verify script). Matches Sakurai Eq. (3.2.7), Shankar Ch. 14.

The bookkeeping table, worth memorizing once:

objecttransforms bycloses after
amplitudes (a,b)(a,b)half angle θ/2\theta/24π4\pi
ray (physical state)—2π2\pi up to sign, 4π4\pi exactly
⟨σ⟩\langle\boldsymbol\sigma\rangle, all probabilitiesfull angle θ\theta2π2\pi

The sign you can and cannot see

Set θ=2π\theta=2\pi in (3): U=cos⁡π 1=−1U=\cos\pi\,\mathbb 1=-\mathbb 1 on every axis, so χ→−χ\chi\to-\chi. Hilbert Space and State Vectors says −χ-\chi is the same ray — so is the sign physics or bookkeeping? Both, in different experiments. On a single beam: pure bookkeeping — no measurement distinguishes χ\chi from −χ-\chi, since every expectation is quadratic. In a superposition: physics — prepare 12(χrotated+χunrotated)\tfrac1{\sqrt2}(\chi_{\text{rotated}}+\chi_{\text{unrotated}}) and the relative sign is a relative phase, which shifts interference fringes. Rotate one arm of a neutron interferometer through 2π2\pi (precession in a magnetic field does it) and the fringe pattern inverts; only 4π4\pi of rotation restores it. The quantitative worked example of that experiment — field, path length, the 1975 data — belongs to Rotation Operators and SU(2); what this article owns is the state-level reading: the 2π2\pi sign lives in the relative phase between coherent branches, exactly where the equator's δ\delta lives (phase-sweep row of the verify script: flipping the relative sign moves ⟨σx⟩\langle\sigma_x\rangle from +1+1 to −1-1).

The Pauli wavefunction: spinors become fields

A real electron has a position and a spin. The Hilbert space is the tensor product Hspace⊗C2\mathcal H_{\text{space}}\otimes\mathbb C^2, and the general state is a two-component wavefunction

Ψ(r)=(ψ↑(r)ψ↓(r)),∫(∣ψ↑∣2+∣ψ↓∣2) d3r=1(4)\Psi(\mathbf r)=\begin{pmatrix}\psi_\uparrow(\mathbf r)\\ \psi_\downarrow(\mathbf r)\end{pmatrix},\qquad \int\big(|\psi_\uparrow|^2+|\psi_\downarrow|^2\big)\,d^3r=1 \qquad (4)

where: ∣ψ↑(r)∣2 d3r|\psi_\uparrow(\mathbf r)|^2\,d^3r is the joint probability "particle near r\mathbf r and spin up" — the norm adds the two channels because they are orthogonal outcomes (additivity verified exactly on a two-channel Gaussian: 35+25=1\tfrac35+\tfrac25=1). Two structural readings matter. If ψ↑\psi_\uparrow and ψ↓\psi_\downarrow share one spatial shape, Ψ=ψ(r) χ\Psi=\psi(\mathbf r)\,\chi factorizes — a product state, spin and position independent. If they do not — say, spin-up rides a wave packet deflected upward and spin-down one deflected downward, which is precisely what a Stern–Gerlach magnet manufactures — the state is spin-position entangled: measuring position tells you the spin. The two cases are cleanly distinguished by the Schmidt rank of the coefficient structure (rank 1 vs 2 — machine-checked on displaced Gaussian branches); the general theory of such entanglement belongs to the entanglement chapter, but the Pauli wavefunction is where it first becomes unavoidable. Dynamics couples the components through any term with σ\boldsymbol\sigma in it — a magnetic interaction −γ B⋅S^-\gamma\,\mathbf B\cdot\hat{\mathbf S} stirs ψ↑\psi_\uparrow and ψ↓\psi_\downarrow into each other while the kinetic term evolves each alone. That Hamiltonian's precession physics stays with Spin Angular Momentum; the full machinery (Pauli equation, minimal coupling) is downstream.

Limiting cases

caseresultmeaning
θ=0\theta=0χ+=(1,0)T\chi_+=(1,0)^{\mathsf T}north pole = ∣↑⟩\lvert{\uparrow}\rangle; construction collapses to the trivial case
θ=π\theta=\piχ+=(0,eiϕ)T∼∣↓⟩\chi_+=(0,e^{i\phi})^{\mathsf T}\sim\lvert{\downarrow}\ranglesouth pole; the leftover eiϕe^{i\phi} is pure gauge (all longitudes meet at the pole)
θ=π/2, ϕ=0\theta=\pi/2,\ \phi=012(1,1)T=∣+x⟩\tfrac1{\sqrt2}(1,1)^{\mathsf T}=\lvert{+x}\rangleequator = equal weights; matches the σx\sigma_x eigenvector
equator, δ\delta sweep⟨σ⟩=(cos⁡δ,sin⁡δ,0)\langle\boldsymbol\sigma\rangle=(\cos\delta,\sin\delta,0)relative phase = longitude; δ:0→π/2→π\delta:0\to\pi/2\to\pi walks +x→+y→−x+x\to+y\to-x
θ=2π\theta=2\pi rotationχ→−χ\chi\to-\chi, ⟨σ⟩\langle\boldsymbol\sigma\rangle unchangedthe ray closes, the amplitudes do not — measurable only in relative phase
ψ↑∝ψ↓\psi_\uparrow\propto\psi_\downarrowΨ=ψ(r)χ\Psi=\psi(\mathbf r)\chiproduct state — spin marginal is pure; otherwise spin-position entangled

Worked examples

Example 1 — build the spinor, extract the physics (confidence builder). Construct χ+(n^)\chi_+(\hat n) for θ=60°, ϕ=30°\theta=60°,\ \phi=30°, and find the SzS_z probabilities and all three spin expectation values.

Step 1. Half angles: cos⁡30°=32\cos30°=\tfrac{\sqrt3}2, sin⁡30°=12\sin30°=\tfrac12, so χ+=(32, eiπ/612)T\chi_+=\big(\tfrac{\sqrt3}2,\ e^{i\pi/6}\tfrac12\big)^{\mathsf T}.

Step 2. Probabilities from the top component: P(+ℏ/2)=cos⁡230°=P(+\hbar/2)=\cos^2 30°=\boldsymbol{\tfrac34}, P(−ℏ/2)=P(-\hbar/2)=\boldsymbol{\tfrac14} — the overlap law with the tilt θ=60°\theta=60°, not 30°30°.

Step 3. Expectations, by ⟨S^⟩=ℏ2n^\langle\hat{\mathbf S}\rangle=\tfrac\hbar2\hat n: ⟨S^x⟩=ℏ2sin⁡60°cos⁡30°=\langle\hat S_x\rangle=\tfrac\hbar2\sin60°\cos30°=\boldsymbol{\tfrac{3\hbar}8}, ⟨S^y⟩=ℏ2sin⁡60°sin⁡30°=\langle\hat S_y\rangle=\tfrac\hbar2\sin60°\sin30°=\boldsymbol{\tfrac{\sqrt3\hbar}8\approx0.217\hbar}, ⟨S^z⟩=ℏ2cos⁡60°=\langle\hat S_z\rangle=\tfrac\hbar2\cos60°=\boldsymbol{\tfrac\hbar4} — consistent with P+−P−=12P_+-P_-=\tfrac12 directly.

Step 4. Check the theorem: ∣⟨σ⟩∣=(3/4)2+(3/4)2+(1/2)2⋅…|\langle\boldsymbol\sigma\rangle|=\sqrt{(3/4)^2+(\sqrt3/4)^2+(1/2)^2}\cdot\ldots — assembling, exactly 11 (machine-verified). The state is fully polarized along n^\hat n, as every pure spinor must be. A bonus read: P(+x)=1+nx2=P(+x)=\tfrac{1+n_x}2=\boldsymbol{\tfrac78} — probabilities along any axis come free once you know n^\hat n.

Example 2 — inverse problem: which way does this spinor point? (exam level). A student writes down χ=12 (1+i, 1−i)T\chi=\tfrac12\,(1+i,\ 1-i)^{\mathsf T}. Identify the direction, then give the probability table for SzS_z, SxS_x, SyS_y measurements.

Step 1. Normalization: ∣1+i∣2+∣1−i∣2=2+2=4|1+i|^2+|1-i|^2=2+2=4, divided by 222^2 — unit norm, legal state.

Step 2. Expectation vector by (2): a∗b=(1−i)(1−i)4=−i2a^*b=\tfrac{(1-i)(1-i)}4=-\tfrac i2, so ⟨σx⟩=2 Re(a∗b)=0\langle\sigma_x\rangle=2\,\mathrm{Re}(a^*b)=0, ⟨σy⟩=2 Im(a∗b)=−1\langle\sigma_y\rangle=2\,\mathrm{Im}(a^*b)=-1, ⟨σz⟩=12−12=0\langle\sigma_z\rangle=\tfrac12-\tfrac12=0: ⟨σ⟩=\langle\boldsymbol\sigma\rangle=\boldsymbol{(0,-1,0)} — the state points along −y^-\hat y (θ=90°, ϕ=270°\theta=90°,\ \phi=270°). Indeed χ=eiπ/4 12(1,−i)T\chi=e^{i\pi/4}\,\tfrac1{\sqrt2}(1,-i)^{\mathsf T}: a global phase times the standard ∣−y⟩|{-y}\rangle spinor (machine-checked).

Step 3. Probability table from P(±e^)=1±ne2P(\pm\hat e)=\tfrac{1\pm n_e}2: SzS_z: \boldsymbol{\tfrac12/\tfrac12} · SxS_x: \boldsymbol{\tfrac12/\tfrac12} · SyS_y: \boldsymbol{0/1} — certainty along the axis it points down, coin flips along both perpendicular axes.

Step 4. Moral: never read a spinor's direction off the symbols — the innocent-looking (1+i,1−i)(1+i,1-i) hides a pure −y-y state behind a global phase. Compute ⟨σ⟩\langle\boldsymbol\sigma\rangle; it is three real numbers and it never lies.

Origins · 1 minPaul Ehrenfest and how this was discovered
PE
Paul Ehrenfest
1880–1933 · Vienna, St. Petersburg, Leiden

The word "spinor" exists because Ehrenfest asked the right question and would not let it drop. By 1929 the objects were everywhere — Pauli's two-component states, Dirac's four-component ones, Cartan's 1913 mathematical constructions that nobody in physics had read — but no one could say what they were: tensor analysis, the universal grammar of relativity, had no slot for an object that flips sign under a 2π2\pi rotation. Ehrenfest, whose genius ran to questions that exposed everyone's confusion (his Leiden seminars were feared for them), pressed the Göttingen mathematician Bartel van der Waerden: is there no "spinor analysis," a calculus that does for these new objects what tensor calculus does for vectors? Van der Waerden's 1929 paper "Spinoranalyse" — which credits Ehrenfest for both the word and the demand — answered with the index formalism still used in field theory. Ehrenfest kept pushing; his 1932 "inquiry questions" essay asked, among other things, why the spinors' existence had surprised physics at all when the mathematics had been sitting in Cartan's work for two decades. The theorem bearing his name and the classical adiabatic invariants he loved belong to other articles in this wiki; this band remembers the asker — the physicist whose best instrument was the question nobody else dared admit they needed answered.

History
1913
— Cartan classifies the representations of rotation groups and constructs the double-valued ones — spinors, before physics needs them
1927
— Pauli's two-component formalism puts spinors into quantum mechanics
1928
— Dirac's relativistic equation demands four-component spinors
1929
— van der Waerden's "Spinoranalyse," commissioned by Ehrenfest's question, names and systematizes the objects
1975
— Rauch and Werner's neutron interferometers observe the 4π periodicity directly

Going further

References. Griffiths & Schroeter, Introduction to Quantum Mechanics, §4.4 · Sakurai & Napolitano, Modern Quantum Mechanics, §3.2–3.3 · Shankar, Principles of Quantum Mechanics, Ch. 14 · Cohen-Tannoudji, Diu & Laloë, Vol. I, Ch. IX · Townsend, A Modern Approach to Quantum Mechanics, Ch. 3.

Provenance. Equations from Griffiths §4.4, Sakurai §3.2–3.3, Shankar Ch.14, Cohen-Tannoudji Ch.IX, Townsend Ch.3. Verifier should recompute: (i) (n^⋅σ)2=1(\hat{\mathbf n}\cdot\boldsymbol\sigma)^2=\mathbb1 and the closed-form rotation; (ii) U(2π)=−1U(2\pi)=-\mathbb1, U(4π)=+1U(4\pi)=+\mathbb1; (iii) the adjoint action U†σxU=cos⁡θ σx+sin⁡θ σyU^\dagger\sigma_xU=\cos\theta\,\sigma_x+\sin\theta\,\sigma_y; (iv) the general eigenspinor (cos⁡ϑ2,eiφsin⁡ϑ2)T(\cos\frac\vartheta2,e^{i\varphi}\sin\frac\vartheta2)^T by direct substitution. Standard values s=1/2s=1/2, S2=34ℏ2\mathbf S^2=\frac34\hbar^2, g≈2g\approx2 are textbook. Edition note: item (iii) as printed above carries a sign error in the base. For U=e−iθσz/2U=e^{-i\theta\sigma_z/2} the machine-verified adjoint action is U†σxU=cos⁡θ σx−sin⁡θ σyU^\dagger\sigma_xU=\cos\theta\,\sigma_x\boldsymbol{-}\sin\theta\,\sigma_y (Sakurai Eq. 3.2.7); the base's +sin⁡θ+\sin\theta form equals UσxU†U\sigma_xU^\dagger, the inverse rotation. The article ships the corrected sign throughout, with the full interrogation in the verify script (43 checks green, all symbolic identities, worked-example numbers, the Schmidt-rank exhibits, and the phase-sweep table machine-executed). Ownership bridges: the σ-algebra and exponential identity are consumed from Spin-1/2 and the Pauli Matrices; the homomorphism theorem and the interferometry numbers stay with Rotation Operators and SU(2); the Bloch ball interior stays with Density Operator and Mixed States.

Upstream: Spin-1/2 and the Pauli Matrices (operators, product rule, exponential — consumed whole) · Spin Angular Momentum (what spin is; precession dynamics stays there) · Hilbert Space and State Vectors (the ray doctrine, spent here twice). Downstream: Rotation Operators and SU(2) (the group behind the half angle) · Wigner D-Matrices (rotation amplitudes for every jj) · The Stern-Gerlach Experiment (the device that prepares and reads these spinors) · Magnetic Moment and the Gyromagnetic Ratio (what multiplies σ\boldsymbol\sigma in real Hamiltonians).

Is a spinor a vector or not? I keep hearing both.

It is a vector in the linear-algebra sense — an element of C2\mathbb C^2, which is all "superposition" requires. It is not a spatial vector: under a rotation by θ\theta its components mix through the half-angle SU(2)SU(2) matrix, not the full-angle SO(3)SO(3) matrix that rotates arrows. The safe sentence: a spinor is a vector in an internal space on which rotations act double-valuedly. When a text says "spinors are not vectors," it means "not spatial vectors."

If −χ is the same physical state, in what sense is the 2π sign real?

Both statements are exactly true and do not conflict. As a lone state, −χ-\chi and χ\chi give identical predictions — the sign is unobservable. But rotations act on parts of superpositions: rotate one branch and not the other, and the state 12(χ1+χ2)\tfrac1{\sqrt2}(\chi_1+\chi_2) becomes 12(−χ1+χ2)\tfrac1{\sqrt2}(-\chi_1+\chi_2) — a different ray, with visibly shifted interference. The sign is real relationally: it lives in relative phases, never in solo expectation values.

Where do the half angles actually come from?

From a mismatch of ranges. Directions on a sphere span polar angles 00 to π\pi; orthogonal pairs of states in C2\mathbb C^2 sit 90°90° apart in Hilbert-space angle. The eigenspinor map must send antipodal directions (180°180° apart) to orthogonal states (90°90° apart) — so it must compress angles by exactly a factor of two. The trigonometric identity (1−cos⁡θ)/sin⁡θ=tan⁡(θ/2)(1-\cos\theta)/\sin\theta=\tan(\theta/2) in the construction is that compression made explicit. Nothing was chosen; the sphere-to-Hilbert-space geometry forces it.

Does every spinor really point in some definite direction? Even messy superpositions?

Every normalized spinor, no exceptions — that is the ∣⟨σ⟩∣=1|\langle\boldsymbol\sigma\rangle|=1 identity. "Messy" superpositions of up and down are simply spin-up states along tilted axes; Example 2's (1+i,1−i)/2(1+i,1-i)/2 turned out to be a pure −y-y state. What cannot be written as a spinor is an unpolarized ensemble — that needs the density operator, and lives strictly inside the Bloch ball, not on the sphere.

What is the difference between the Bloch sphere here and the Bloch ball elsewhere?

Radius. Pure states have ∣⟨σ⟩∣=1|\langle\boldsymbol\sigma\rangle|=1 — the surface, this article's home. Mixtures average several pure states and land strictly inside, ∣r∣<1|\mathbf r|<1, down to the fully unpolarized center r=0\mathbf r=0. Density Operator and Mixed States owns the interior, the purity radius Trρ2=(1+r2)/2\mathrm{Tr}\rho^2=(1+r^2)/2, and the geometry of decoherence as an inward march. One picture, two articles, split cleanly at r=1r=1.

Is ψ↑(r) "the wavefunction of the spin-up electron"?

Only in the product case. In general ψ↑\psi_\uparrow is the amplitude for the joint event "at r\mathbf r and spin up" — a component, not a wavefunction of its own. When the two components have different spatial shapes (a Stern–Gerlach output), position and spin are entangled and neither factor has an independent state; asking "where is the spin-up electron" already presumes the product form. The Schmidt-rank test in the article is the clean discriminator.

Why two components rather than a wavefunction of some internal angle?

Because there is no internal angle. Orbital angular momentum lives on wavefunctions of ϕ\phi, which is why single-valuedness quantizes it to integers — the argument of Eigenfunctions of L_z and the Azimuthal Quantization. Spin has no coordinate to be single-valued in: its "space" is abstractly two-dimensional, full stop. That absence is not a defect — it is exactly what lets s=12s=\tfrac12 and the double-valued rotation behavior exist at all, as Spin Angular Momentum argues.

Before this

Where this leads