Wigner rigidity

In plain terms

Any two quantum states have an overlap, a number between zero and one that experiments can measure directly as the probability of finding one state when the other was prepared. An overlap of one means the two states are the same, and an overlap of zero means they can be told apart with certainty. Wigner rigidity is about what happens when you rearrange the space of states while keeping every overlap fixed.

Imagine rearranging the entire space of states however you like, with no rules about smoothness, no rules about linearity, and no promise that the rearrangement can be undone, and one condition only, that every overlap stays the same. You might expect that to leave enormous freedom, and it leaves almost none.

Wigner proved that the only rearrangements passing this test are the rigid motions physics already knew about, the unitary transformations, which are the quantum counterpart of rotations, and their mirror images, the anti-unitary transformations, which are the mathematics of time reversal. Nothing else exists. The structure of quantum state space is so tight that preserving one experimentally meaningful number forces everything.

In CSD

This is the strongest result in the corpus by logical type, rather than by difficulty. Almost everything else described as forced here rests on first assuming a symmetry group and then deriving consequences, while this theorem assumes only that overlaps are preserved and derives the group. That's a different and better kind of claim, and the corpus's own necessity audit singles it out as one of exactly two unconditional necessities in the whole development.

What it buys is the licence to treat unitary evolution as compelled rather than chosen. A flow that preserves transition probabilities, which is to say the overlaps, has no option but to act unitarily at each moment, and that's half of the Schrodinger pillar, the part of the programme that derives the equation of motion. The other half, that a continuous unitary flow has a generator, is Stone's theorem, and together they make the dynamics an output rather than an input.

It also anchors the record layer, the part of CSD that describes how measurement outcomes are recorded. There the preserved quantity is a statistic of records rather than an abstract overlap, and the same rigidity turns that operational requirement into the same group of transformations.

Mathematically

Every transition-probability-preserving self-map of CP^(N-1) is induced by a unitary or by an antiunitary map, and there are no other hypotheses.

What makes the formalisation honest is that linearity is an output of the construction and never an assumption, and bijectivity is likewise derived. The antiunitary branch is genuinely present rather than waved away, which matters because time reversal is antiunitary and a version of the theorem without that branch would exclude a real physical symmetry. Foundational-triple only.

The name

Eugene Wigner (1902-1995) was born in Budapest and trained, of all things, as a chemical engineer at the Technische Hochschule in Berlin, a background he credited for his nose for problems that mattered. He worked at Gottingen and Berlin, left as the Nazis rose, and settled at Princeton in 1930 for the rest of his career, apart from the war years on the Manhattan Project at Chicago and Oak Ridge.

The theorem appeared in his 1931 book on group theory and atomic spectra, with a proof so compressed that filling the gaps became a minor industry for decades, and genuinely complete proofs are surprisingly recent. The antiunitary branch, which looked like a technical annoyance, turned out to be the mathematics of time reversal, and Wigner himself supplied that application. He shared the 1963 Nobel Prize for his work on symmetry principles in physics.

Related entries

• Stone's theoremAsk only that time evolution never jumps, and differentiability, a generator and the Hamiltonian all follow for free.
• Bargmann invariantOne phase survives every change of convention, the phase of the product of three overlaps taken around a cycle, and it's also the fingerprint that tells a unitary symmetry from an anti-unitary one.
• Schrodinger from recordsCSD doesn't postulate the Schrodinger equation, as preserving the statistics of records forces the dynamics to be unitary, unitarity together with continuity forces a Hamiltonian, and the exponential form of the equation is a theorem at the end of that chain.
• Projective sectorQuantum mechanics is written on a curved projective space, and in CSD that space isn't fundamental, as it's the sector the arena projects onto, with its geometry forced by symmetry.
• Hilbert spaceHilbert space is the stage on which quantum mechanics is usually performed, and CSD's claim is that it's scenery, the shadow cast by the physical object and not the object itself.
• Wigner functionThe Wigner function writes a quantum state as a distribution over position and momentum together, which reproduces every prediction of quantum mechanics and goes negative, so it's a phase-space picture that can't be a probability.