Measurement problem

Quantum mechanics contains two incompatible rules of change and no instruction for when to switch between them, and CSD replaces the switch with theorems about what no dynamics can do.

proved in corpus · proved here, no imported axiomsLean no_exact_collapse
Cartoon of the Schrödinger's cat thought experiment
Schrödinger's cat: the box, the vial, the trigger, and a cat that the formalism describes as both.Dhatfield, CC BY-SA 3.0, via Wikimedia Commons

In plain terms

Left alone, a quantum system evolves smoothly and reversibly, keeping every superposition intact, where a superposition is a state that combines several possible outcomes at once with none of them selected. Measured, the system delivers one definite outcome and the alternatives vanish. The theory contains both behaviours and refuses to say where one ends and the other begins, so you're left asking what counts as a measurement, whether a detector, an eyeball or a graduate student.

This isn't a philosophical itch, as the two rules are mathematically incompatible. The first is linear, so combinations of states evolve into the same combinations of their evolved parts, and reversible, so the motion can be run backwards, and the second is neither. A theory that holds both without a boundary between them isn't a closed description of anything.

Every serious interpretation is, at bottom, a proposal for which rule to sacrifice. Many-Worlds keeps the smooth evolution and drops definite outcomes, and collapse theories keep the outcomes and modify the evolution. The question is old, unresolved and entirely legitimate.

In CSD

CSD's move is that nothing abrupt ever happens on the substrate. The underlying motion is deterministic and volume-preserving throughout, meaning that it carries any region of the underlying state space to a region of the same size, and what changes at a measurement is which region of the epistemic space, the space of quantum states, the trajectory gets recorded against. Both textbook rules become views of one process.

What keeps this from being just another story is a trilemma, three theorems that stake out what any account must give up. No volume-preserving map implements exact collapse. No continuous dynamics correlates a pointer, the apparatus's readout, perfectly everywhere on a connected arena, a state space in one piece. And approximate collapse has a stated price, as accuracy costs improbability of the apparatus's ready state, and the exchange rate is quantitative.

So the corpus doesn't dissolve the measurement problem by narrative. It proves which combination of desiderata is impossible, then says openly which one CSD abandons, and that's what separates a result from an interpretation.

Mathematically

Three impossibility results on the pointer arena, so there's no exact collapse by a measure-preserving map, no everywhere-correlating continuous propagator on a connected arena, and a quantitative accuracy-versus-improbability bound.

All three are CSD-free in statement, being measure theory, topology and an estimate respectively, so any rival account with the corresponding structure inherits them, and they can't be cited against this programme without being cited against the citer.

Related entries

Module
CsdLean4/RecordLayer/MeasurementConstraints.lean
On the site
The fourth primer page is the measurement story in plain terms
New to this?
explainquantum's chapter 3, "What does measuring actually do?", explains it from scratch, with no maths
Background
Stanford Encyclopedia: measurement in quantum theory

Source links are pinned to a commit, so they do not drift. The anchors above are checked mechanically against the Lean tree on every build. The mathematics is not, and cannot be: that is a human responsibility and it rests with the author.

Part of Constraint-Surface Dynamics · Formalised in csd-lean4.

Privacy policy