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.
no_exact_collapse
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.
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.
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.
CsdLean4/RecordLayer/MeasurementConstraints.leanSource 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.
Google Analytics counts visits to this page, which stores cookies in your browser. They record how the page was reached, not who you are, and nothing is passed on. Blocking cookies for this site breaks nothing here. Details.