Measurement Corridor from Born Pressure: Conditioning, Outcome-Update Laws, and the Collapse-Class Slot

Kenneth Searcy

Published Feb 15, 2026• 0 citations

Abstract

A forced-structure derivation of corridor-consistent measurement updating from the Born slot. This preprint extends the Forced Sequence / Corridor program beyond closed evolution. Given the Born extraction rule and the operator corridor (local, linear, norm-preserving closed updates), it derives a refinement-stable conditioning update for registered outcomes: the state updates by normalized outcome filtering under an interface-cut. The paper defines a collapse-class slot by four constraints: (1) Born-consistent outcome weights, (2) coarse-graining invariance (no partition-sensitive tie-break dependence), (3) exhaustiveness as weight preservation at the prediction tier, and (4) single-summary bookkeeping closure at this stage of the series (with mixed-state extensions deferred to composite/open-system corridors).

DOI: 10.5281/zenodo.18644848

Related papers

Effective Dynamics Corridor: Closed-to-Open Induction, Markov Compression, and the Lindblad-Class Slot

Kenneth Searcy

Effective open dynamics emerges from compression, not mystery. This paper continues a forcing sequence that derives quantum-formal structure from refinement-stable bookkeeping constraints. Building on prior results (operator corridor, measurement corridor, composite-system corridor, open-system corridor, and open-system update corridor), it shows how a subsystem can exhibit a stable open evolution while the larger ledger evolves by closed norm-preserving updates. The core pressures are: (1) closed-to-open induction (reduction of a closed composite to a subsystem), (2) open-tier no-full-recompute (effective updates cannot depend on unbounded environment history), and (3) time-homogeneous coarse-graining at the effective tier. These pressures drive the effective family of subsystem updates into a Markov/semigroup structure (up to corridor equivalence). Under a stabilized first-order content assumption at the effective tier, the evolution occupies a time-local master-equation slot. Finally, enforcing the already-derived CPTP constraints on the effective semigroup identifies the Lindblad-class (GKSL) generator slot as the conventional representation of the corridor-forced constraint class. The paper is representation-agnostic: it forces the constraint slot and clarifies what is derived versus deferred (conditions for Markov validity, non-Markov regimes, locality and symmetry constraints, and relativistic compatibility).

Feb 18, 20260 citations

Composite-System Corridor: Independent Ledger Composition, Tensor-Class Product, and the Entanglement Slot

Kenneth Searcy

This paper extends the Forced Sequence / Corridor program to composite systems. After deriving the Born slot, local linear norm-preserving closed evolution (Schrodinger-class slot), and interface-cut conditioning (collapse-class slot), the next forced step is composition: how two subsystem ledgers combine without introducing forbidden tie-break structure. The paper shows that subsystem superposition compatibility, composite superposition closure over product generators, and Born-consistent factorization on product states force a tensor-class product slot for the composite carrier. This yields an entanglement slot: composite summaries need not factor into a single product, and non-factorability is the corridor definition of entanglement. The paper also derives the corridor form of local conditioning in composites: a local outcome registration updates the joint ledger by normalized filtering, changing conditional predictions for the other subsystem as bookkeeping rather than superluminal dynamics. Open-system reductions, density-matrix style bookkeeping, and interaction-generator selection are deferred to the next forced corridors.

Feb 15, 20260 citations

Operator Corridor from Quantization Pressure: Local Update Compression, Linearity, and the Schr¨odinger-Class Slot

Kenneth Searcy

A forced-structure route from quantization constraints to a Schrödinger-class update law. This preprint continues the Forced Sequence / Corridor program. It derives an operational “local update” corridor that avoids global recomputation, then shows how refinement stability constrains admissible updates into a linear, norm-preserving class with a phase-bearing generator. The result is presented as a structural slot (what must hold under the corridor constraints), not as an assumed physical postulate. Prior papers in the sequence provide the prerequisite corridor objects and invariants.

Feb 13, 20260 citations

Open-System Update Corridor: Kraus-Class Update Laws, Sequential Compatibility, and the CPTP Slot

Kenneth Searcy

Open systems force CPTP updates: Kraus-class laws from corridor stability. This paper extends the Forced Sequence by deriving the open-system update slot required once density-class subsystem states and trace-slot reduction exist. Coarse-graining invariance forces an outcome-indexed instrument structure and a non-selective branch-sum channel. Normalization preservation requires weight preservation for exhaustive interfaces. Because accessible subsystems can be entangled with inaccessible references, extension consistency forces complete positivity rather than mere positivity. Together these constraints yield the CPTP slot for non-selective open-system updates, with Kraus-form expressions treated as conventional representations of the forced properties. A sequential reduction compatibility principle is introduced as the lever that upgrades trace-slot reduction from existence/minimality to corridor-uniqueness at the active tier.

Feb 17, 20260 citations

Open-System Corridor: Reduced Ledger Summaries, Density-Class States, and the Trace Slot

Kenneth Searcy

Entanglement forces mixed states: density-class reduction is not optional. This preprint derives the Open-System Corridor as the next forced step after tensor-class composition and entanglement. Composite systems immediately create partial-access cases: a joint ledger for AB may exist while only subsystem A is accessible at an interface, with B functioning as an environment or untracked ledger. Corridor admissibility therefore requires a reduction rule that preserves all A-outcome weights under any declared A-interface without retaining B. The paper shows that entanglement makes pure amplitude summaries on A insufficient for this role, forcing an enlarged reduced-state class. The minimal forced reduced object is a density-class state: a positive, coarse-graining additive, weight-normalized quadratic-functional object rho_A that generates Born-consistent outcome weights for any A-interface. The paper then forces a trace-slot reduction (partial trace analogue) from composite density-class objects to subsystem density-class states, establishing existence and minimality of a reduction map that preserves all local A-outcome weights (with uniqueness deferred until sequential reduction compatibilities are forced). Standard formulas using operators and trace pairing are presented only as representations of the corridor-forced role, not as axioms. The next forced papers are Open-System Update Corridor (Kraus-class update slot) and Effective Dynamics Corridor (interaction-induced open evolution and Lindblad-class pressure under added continuity/Markov assumptions).

Feb 16, 20260 citations

Quantization Corridor from Action Pressure: Soft Selection, Phase-Weighted Accumulation, and the Born Slot

Kenneth Searcy

Quantum structure follows from refinement-stable bookkeeping, not postulates. Soft selection is forced when corridor-level action ties make hard selection require forbidden tie-break (micro-history) data. The corridor therefore retains all admissible configuration classes and aggregates them using action-only weights. Interference stability pressures a phase-bearing carrier, concatenation stability pressures exponential phase weights, and gauge-meaningful scalar prediction forces quadratic magnitude extraction (the Born slot). No Hilbert axioms, path-integral primitives, or calculus limits are assumed.

Feb 12, 20260 citations