Isolation

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.

definition · a definition, no claim attached

In plain terms

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.

In CSD

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.

Mathematically

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.

Related entries

On the site
The fourth primer page follows a system's trajectory in visibility and isolation
New to this?
explainquantum is a beginners' course in quantum mechanics, which starts from scratch and needs no maths

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