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 is 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 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 has components and , not and . 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 turn through the full angle while the amplitudes turn through half, and it makes a rotation multiply the state by — 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 , the non-relativistic skeleton that the Dirac equation will later complete, and the language in which spin and motion entangle.
- A spin- state is a unit vector : are the amplitudes for , with and global phase unphysical (a ray).
- The spin-up eigenspinor along is — half angles, with the overlap law .
- Every pure spinor points somewhere: 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 with , amplitudes turn by but turns by the full ; at , — same ray, yet the sign is measurable in relative phase.
- Spin and space combine into the Pauli wavefunction with — 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.
A spin-1/2 state is a unit vector in ; rotations act on it through via , so a rotation gives — spinors are double-valued under .
Where this lives today
Every gate-based quantum computer is a machine for steering spinors around the Bloch sphere: state tomography reconstructs 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 and 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- states correspond one-to-one with points on a sphere. North pole: . South pole: . Equator: the equal-weight superpositions, distinguished only by relative phase. Latitude encodes the probabilities of the two outcomes; longitude encodes the phase between them. And the dictionary between the sphere and the amplitudes runs on half angles: a state of latitude away from the pole has amplitude to be found "up."
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 . Only after do the amplitudes close. On one beam nothing detects the sign; split a beam, rotate one arm, recombine — the fringes shift.
The spinor object
Start from what the measurement postulates require. The basis has two states, so the general state is their superposition — a column of two complex numbers:
where: and are probability amplitudes in exactly the Born sense: and are the probabilities of finding and , so normalization demands . Two more facts import wholesale from Hilbert Space and State Vectors: the state is really a ray — is the same physical state, a freedom we will spend to make real — while the relative phase between and 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 , real and non-negative, and let 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 has eigenvalues on every axis and deliberately stopped. Here is the eigenvector half, cashed.
The goal is the normalized spin-up and spin-down eigenspinors of for the axis — the construction Spin-1/2 and the Pauli Matrices explicitly deferred here. The strategy: write the 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 (imported form, re-verified symbolically):
Step 2. Impose on . The first row reads , so
using and . Why the half angle is forced: the ratio is — 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 real and non-negative: with ,
the second solving the eigenproblem, orthogonal to the first: .
Step 4. Sanity limits: returns ; gives , which is up to a phase; gives , the eigenvector of the previous article's worked example. And the overlap law falls out: — the probability that a -up spin answers "up" along an axis tilted by . Replacing (i.e. , ) turns into 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 (sympy); the limits at 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 :
where: each component is written out. Now take its squared length: — an identity (verified symbolically for arbitrary complex ). 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 , belongs to Density Operator and Mixed States. This article owns only the skin. For the eigenspinor of the construction, exactly (machine-checked symbolically) — so the two dictionaries are inverse to each other, and the correspondence
is a bijection once the unphysical global phase is stripped. The equator deserves a special row in your memory: states have — the relative phase is the longitude, sweeping as runs (all three verified exactly). Phase is not decoration; it is direction.
Rotating a spinor: half angle in, full angle out
How does 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:
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
The goal is the transformation law of under with , done explicitly for one generator — establishing that expectation values rotate through (not ) about the rotation axis, with the correct sense. The strategy: conjugate each Pauli matrix by 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 (); the computation below — machine-verified against the exact matrix exponential, and against Sakurai Eq. (3.2.7) — fixes it.
Step 1. Write with , , so , and conjugate :
expanding honestly term by term with , , :
Why the minus sign is right: the same conjugation computed numerically at agrees with to , while the variant equals — the inverse rotation. Signs here are exactly where conventions go to die; the machine adjudicated.
Step 2. The same algebra gives and . Assemble: for any state,
with the ordinary rotation by the full angle , counterclockwise about .
Step 3. Read the structure. The amplitudes acquired factors — 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 rotation () flips the state's sign while every returns exactly home.
Step 4. Scope note: what we verified for one generator holds for every axis — with — and the map is a two-to-one group homomorphism whose kernel is precisely the 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 transformed by to under ; the base's form shown to equal instead (verify script). Matches Sakurai Eq. (3.2.7), Shankar Ch. 14.
The bookkeeping table, worth memorizing once:
| object | transforms by | closes after |
|---|---|---|
| amplitudes | half angle | |
| ray (physical state) | — | up to sign, exactly |
| , all probabilities | full angle |
The sign you can and cannot see
Set in (3): on every axis, so . Hilbert Space and State Vectors says is the same ray — so is the sign physics or bookkeeping? Both, in different experiments. On a single beam: pure bookkeeping — no measurement distinguishes from , since every expectation is quadratic. In a superposition: physics — prepare and the relative sign is a relative phase, which shifts interference fringes. Rotate one arm of a neutron interferometer through (precession in a magnetic field does it) and the fringe pattern inverts; only 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 sign lives in the relative phase between coherent branches, exactly where the equator's lives (phase-sweep row of the verify script: flipping the relative sign moves from to ).
The Pauli wavefunction: spinors become fields
A real electron has a position and a spin. The Hilbert space is the tensor product , and the general state is a two-component wavefunction
where: is the joint probability "particle near and spin up" — the norm adds the two channels because they are orthogonal outcomes (additivity verified exactly on a two-channel Gaussian: ). Two structural readings matter. If and share one spatial shape, 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 in it — a magnetic interaction stirs and 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
| case | result | meaning |
|---|---|---|
| north pole = ; construction collapses to the trivial case | ||
| south pole; the leftover is pure gauge (all longitudes meet at the pole) | ||
| equator = equal weights; matches the eigenvector | ||
| equator, sweep | relative phase = longitude; walks | |
| rotation | , unchanged | the ray closes, the amplitudes do not — measurable only in relative phase |
| product state — spin marginal is pure; otherwise spin-position entangled |
Worked examples
Example 1 — build the spinor, extract the physics (confidence builder). Construct for , and find the probabilities and all three spin expectation values.
Step 1. Half angles: , , so .
Step 2. Probabilities from the top component: , — the overlap law with the tilt , not .
Step 3. Expectations, by : , , — consistent with directly.
Step 4. Check the theorem: — assembling, exactly (machine-verified). The state is fully polarized along , as every pure spinor must be. A bonus read: — probabilities along any axis come free once you know .
Example 2 — inverse problem: which way does this spinor point? (exam level). A student writes down . Identify the direction, then give the probability table for , , measurements.
Step 1. Normalization: , divided by — unit norm, legal state.
Step 2. Expectation vector by (2): , so , , : — the state points along (). Indeed : a global phase times the standard spinor (machine-checked).
Step 3. Probability table from : : · : · : — 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 hides a pure state behind a global phase. Compute ; it is three real numbers and it never lies.
Origins · 1 minPaul Ehrenfest and how this was discovered
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 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.
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) and the closed-form rotation; (ii) , ; (iii) the adjoint action ; (iv) the general eigenspinor by direct substitution. Standard values , , are textbook. Edition note: item (iii) as printed above carries a sign error in the base. For the machine-verified adjoint action is (Sakurai Eq. 3.2.7); the base's form equals , 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 ) · The Stern-Gerlach Experiment (the device that prepares and reads these spinors) · Magnetic Moment and the Gyromagnetic Ratio (what multiplies 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 , which is all "superposition" requires. It is not a spatial vector: under a rotation by its components mix through the half-angle matrix, not the full-angle 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, and give identical predictions — the sign is unobservable. But rotations act on parts of superpositions: rotate one branch and not the other, and the state becomes — 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 to ; orthogonal pairs of states in sit apart in Hilbert-space angle. The eigenspinor map must send antipodal directions ( apart) to orthogonal states ( apart) — so it must compress angles by exactly a factor of two. The trigonometric identity 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 identity. "Messy" superpositions of up and down are simply spin-up states along tilted axes; Example 2's turned out to be a pure 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 — the surface, this article's home. Mixtures average several pure states and land strictly inside, , down to the fully unpolarized center . Density Operator and Mixed States owns the interior, the purity radius , and the geometry of decoherence as an inward march. One picture, two articles, split cleanly at .
Is ψ↑(r) "the wavefunction of the spin-up electron"?
Only in the product case. In general is the amplitude for the joint event "at 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 , 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 and the double-valued rotation behavior exist at all, as Spin Angular Momentum argues.