Spin measurement 2026-10-18
For a spin one-half system, an ideal projective measurement along a unit vector measures . Its eigenvalues are , corresponding to physical spin angular momentum components , and its orthogonal projections are . For density matrix , the Born rule and the Pauli matrix multiplication law give the displayed probabilities. Thus a spin measurement along one direction tests only that component of the Bloch vector; measurements along three independent directions determine the entire density matrix.
Spinor sign under a full spatial rotation Created 2026-10-05 Updated 2026-10-06
For a Dirac spinor a spatial rotation acts in each chiral block by a matrix exponential , depending on angle orientation. Since for a unit axis, the Pauli matrix multiplication law gives this exponential as . At it is , and at it is . A vector returns already at . This describes the lift of the rotation loop to the Spin group, rather than a single-valued representation of the ordinary rotation group on spinors.
For a qubit, use the dimensionless Pauli matrices as observables , . Their Pauli matrix multiplication law gives
These observables have eigenvalues ; the physical spin components are , where is the reduced Planck constant, so their standard deviations acquire a factor .
In the computational basis, prepare , an eigenstate of with eigenvalue . Direct multiplication gives
Both Pauli measurements return and with equal probabilities, and the Robertson uncertainty principle is saturated: .
Instead prepare . Now the expectation values are , , so , . The Pauli measurement of is certain, and both sides of the bound vanish. The commutator is still nonzero as an operator: noncommuting observables do not guarantee a positive lower bound independent of the quantum state. This example is useful for distinguishing the algebra of the observables from the expectation values in a particular preparation.
Figure 1.
Pauli standard deviations, their product, and the Robertson bound in two preparations: the same noncommuting observables give bounds of one and zero
. Details.
For qubit density operators, the trace distance has a particularly simple geometry. Write their Bloch vectors as in the Bloch ball:
where is the identity operator and denotes the Pauli matrices. This Bloch vector representation includes both pure states on the Bloch sphere and mixed states in the interior of the Bloch ball. [ref]
The Pauli matrix multiplication law gives . Hence the two eigenvalues of are , and their absolute sum gives
The trace distance is half the straight-line Euclidean distance between the Bloch vectors, not the angular or surface distance along the Bloch sphere. Opposite Bloch vectors have trace distance one; the centre is at trace distance from every pure state.
For the pure states and , the Bloch vectors are and . Their straight-line separation is , so
These Bloch vectors are perpendicular, but the pure states are not orthogonal: . The Helstrom measurement for the zero and plus states measures along the difference direction , rather than along either input Bloch vector.
Figure 1.
Trace distance is half a Bloch-vector chord, and the optimal zero-versus-plus measurement follows the difference direction
. Details.
With the defining two-dimensional matrix trace and inner product , the displayed Pauli matrix basis is orthonormal. The Pauli matrix multiplication law gives the indicated structure constants of a Lie algebra. With the alternative form , the orthonormal basis is and the structure constant is one. The bracket and inner-product normalizations must be kept consistent in projected gauge-field formulas.
Weyl sigma matrices 2026-10-14
For mostly-minus metric signature, the Weyl sigma matrices are and , where are the Pauli matrices. The Pauli matrix multiplication law proves
A real Lorentz four-vector is equivalently a Hermitian matrix with . The transformation for preserves this determinant and gives the Lorentz spinor double cover. The indices therefore convert a vector index into one undotted and one dotted Weyl spinor index. They are the invariant tensors in the mixed supercharge anticommutator .