De-isolation

In plain terms

Textbook quantum mechanics has two rules for change, smooth, deterministic evolution while nobody looks, and an abrupt jump when somebody does. That's two rules, one world, and no principled statement of when each applies, which isn't a paradox but an unfinished theory.

CSD's diagnosis is that the second rule describes a change of circumstance and not a change of law. An isolated system follows the smooth rule, measurement is the deliberate destruction of that isolation, by coupling the system to an apparatus, and the jump is what the resulting joint dynamics looks like when you only keep track of the system.

It's one law, applied twice. The dial that turns is isolation, and it's a physical dial and not an interpretive one.

In CSD

De-isolation is the programme's word for the measurement interaction seen on the arena, and the corpus realises it concretely. A deterministic, measure-preserving de-isolation flow, one that never changes the volume of any set of states and is genuinely not the identity, couples the system to a pointer, the part of the apparatus that displays the result. It realises the measurement dilation dynamically, where a dilation is the standard description of a measurement as smooth evolution of system and apparatus together, and the volumes of its pointer blocks, the regions in which the pointer shows a given result, reproduce the Born weights for every preparation. The entangled tier has its own witness, as the singlet, the simplest entangled pair of systems, has a state that can't be split into separate states of the two parts, and that non-factorisation is realised by an explicit de- isolation flow on the enlarged arena.

What de-isolation doesn't do, and what remains open, is generate the record layer's fibre mechanism from first principles, and the honest boundary between "exhibited" and "derived" is maintained wherever the flows appear.

One specific attempt to derive it was retired as mis-specified rather than merely hard. The idea was to use a mixing de-isolation flow, one that stirs the arena so thoroughly that every region eventually spreads evenly through every other, and to obtain an exponential law for first passage, the time at which the trajectory first enters an outcome region, as a limit theorem. Three things defeat it. The limit theorems for hitting times need the target sets to be vanishingly rare, while the cells of a Born partition have sizes that sum to one. An asymptotic law would deliver the Born weights only in a limit, which is weaker than what the corpus proves exactly. And the race between outcomes needs independent clocks, which one deterministic trajectory can't supply. What survived is the clock law, which is forced rather than chosen, and the rates, which Kac's formula reads off any ergodic flow, as for a flow that visits every region in proportion to its volume the average time between visits to a region is fixed by that volume.

De-isolation also has an operational face, and the corpus proves the two agree. The flow that couples system and pointer, watched from the system alone, is a channel that keeps the pointer-basis diagonal of the density operator and discards the rest. Entropy never decreases under it, the second law of the thermodynamics track is its coarse-graining, and the classical information it lets through is exactly one bit per qubit, so the same de-isolation dynamics that realises the Born weights as volumes also realises decoherence as a channel, with no second mechanism.

Mathematically

The measurement-dynamics tier is a von Neumann de-isolation flow on the dilated space, measure-preserving and distinct from the identity, whose pointer-block volumes and almost-sure frequencies are the Born weights. The Naimark dilation is realised dynamically rather than cited abstractly, and the pointer-partition theorems deliver the outcome map per microstate.

The mixing-flow route to the fibre mechanism, with an exponential first-passage law arriving as a limit theorem, was retired in August 2026 as mis-specified rather than merely hard, as hitting-time limit theorems require shrinking target sets, an asymptotic law is weaker than the exact Born identity already proved, and one deterministic trajectory supplies no independent clocks. The clock law and the Kac- formula rates survive.

deisolationChannel N (LF6/DecoherenceChannel.lean) is stinespringChannel of the von Neumann coupling unitary with the pointer ready. deisolationChannel_apply_outerProduct recovers decohereReduced on rank-one inputs, deisolationChannel_apply_eq_pinch identifies it with the pinching of the second-law module, vonNeumannEntropy_le_deisolation is the entropy non-decrease and deisolationChannel_holevoCapacity the one-bit capacity.

Related entries

• Measurement flowA deterministic, volume-preserving flow carries out a measurement, and the volumes of its pointer blocks are the Born weights, for every preparation.
• Stinespring dilationEvery noisy quantum process is a reversible process on a larger system with part of that system ignored, and in CSD the larger system is the constraint surface itself, so every channel the programme uses is the environment's marginal of a volume- preserving flow.
• Holevo boundA quantum system can be prepared in infinitely many distinct ways, yet no reader can extract more classical information from it than from a classical system of the same size, and the measurement channel of CSD is proved to pass exactly one bit per qubit.
• Record layerA measurement is over when the world itself carries which outcome happened, and the record layer is where that fact lives, on the arena and not in anyone's notebook.
• IsolationBeing 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.