Pauli matrices

In plain terms

Here is the problem. The simplest quantum system has to describe spin measurements along ANY direction in three-dimensional space -- infinitely many possible questions -- with an economy fitting its two levels. What is the minimal toolkit?

Three matrices, one per axis. Every observable of a two-level system is a mix of these three and the identity; a measurement along any tilted direction is the corresponding mix of the three. Four building blocks, all questions answered.

Their crucial property is what they refuse to do: commute. Measuring along x then z differs from z then x, by a computable amount -- and that failure IS the uncertainty principle for spin, not an analogy to it. The whole two-level world, weirdness included, fits in these three matrices.

In CSD

These are the workhorses wherever the corpus touches spin: Bell and GHZ detector settings are built from them, singlet correlations computed through them, the Tsirelson bound proved in terms of them, the Bloch geometry is theirs.

The corpus claims nothing about the matrices -- they are two centuries of linear algebra -- but their concreteness is doing real work. The empirical twins are exact finite computations rather than schematic arguments precisely because the settings are explicit matrices, and several results that would be awkward abstractly become arithmetic in this basis.

Mathematically

Three traceless Hermitian involutions, pairwise anticommuting; with the identity they form a basis of two-by-two Hermitian matrices. Exponentials of i times their real combinations generate SU(2), the double cover of the rotation group -- which is why a spin-half state needs two full turns to return to itself, sign included.

The name

Wolfgang Pauli (1900-1958) was born in Vienna -- Ernst Mach was his godfather -- and announced himself at nineteen with a review of general relativity that Einstein praised in print. Doctorate under Sommerfeld at Munich; the exclusion principle at twenty-four; the ETH Zurich chair from 1928; Princeton for the war; Nobel in 1945.

He was the century's most feared critic -- not even wrong is his epitaph for untestable theorising -- and its most collegial: half the era's results were sharpened in savage letters from Zurich. The matrices come from his 1927 theory of spin. His decades-long correspondence with Carl Jung about physics and the psyche remains the strangest document left by any major physicist.