Being isolated isn't scene-setting, as it's the variable the whole theory turns on, and quantum mechanics is what isolated pieces of the arena look like from outside.
Quantum mechanics works flawlessly for systems carefully shielded from everything else, and its rules seem to bend exactly when the shielding fails, at measurement, in decoherence, wherever the outside gets in. Most formulations treat this as a nuisance, and CSD treats it as the signal, with isolation as the concept that carries it.
In CSD isolation is the operative condition. An isolated subsystem follows the smooth unitary rule, the reversible evolution textbook quantum mechanics prescribes, and measurement is de-isolation, the engineered ending of that condition. And the familiar quantum state describes exactly what an isolated piece of the arena presents to the outside world, so not the full condition of the piece but the part of it the rest of the world can see while the piece is sealed off.
In slogan form, quantum mechanics is the physics of isolation, and the measurement rule is the physics of ending it.
Isolation enters the formal layer as conditioning. The state of knowledge available at a preparation, given that the system is isolated, is the epistemic measure, which is exact on the visible coordinate, the quantum state, and spread evenly over the hidden fibre above it. This reading, that isolation is conditioning, is written into the definitions of the record layer.
The complementary dynamical statement is the de-isolation tier. Coupling an isolated system to a pointer is what produces records, and the flows that do it are exhibited in the corpus. The same isolated-piece image frames the field track, as the continuous-variable arena shows standard physics reappearing on an isolated finite piece, and the corpus labels that as breadth rather than as the frontier.
The epistemic measure implements conditioning on isolation (the P6 reading, isolation is conditioning), exact on the base coordinate with Haar measure on the fibre, and the de-isolation flows implement its termination.
The open-system tier prices partial isolation quantitatively, with dephasing and damping semigroups with exact decay laws, and the Lindblad flow proved completely positive, so the effective dynamics of an imperfectly isolated system is a legitimate quantum channel at every time.
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.
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.