Chapter 34 Version 2
A limiting discrete measurement chain
34.1 A constitution that can actually be combined
The preceding parts contain several explicit physical theories. For a reusable limiting-model calculation, this chapter fixes the finite full-wave configuration constitution. A finite complete sector resolution is part of the model. The source has a surviving normalized wave and one actual configuration. All physical apparatus memories are coherent factors with configuration labels. An inaccessible reference remains in the carried sector fibers. Prescribed finite coherent controls act on the source and apparatus; no wave-dependent classical expectation meter is added.
For the conditional comparator in this chapter, the wave follows a specified piecewise-constant Hamiltonian in physical time. Its actual native history is either the minimal Bell process admitted directly, or the zero-background law selected by the relative-entropy principle of Part IV. The second presentation retains expected edge-current realization, the neutral reference process and its limiting prescription. The pilot construction supplies a further microscopic route to this finite-graph Bell comparator, with explicit finite-resource error and its own complete material coupling inventory. Initial joint configurations have wave weights as a stated ensemble law or within the stronger control-stable evacuation domain proved earlier. The preparation results do not automatically prepare equilibrium of an arbitrary entire source and all returning memories.
These premises suffice for the finite construction below. They do not include CPC as an independent premise, and they do not invoke a Born-calibrated measurement of an auxiliary system. Squared amplitudes enter through the declared initial joint law and its derived equivariance. Statistical content has a named location.
34.2 A finite binary write with every branch retained
Let be any orthogonal binary resolution, with arbitrary degeneracy. Write , , and , . A blank apparatus qubit has wave . During set
The sector resolution includes the source block and apparatus position . Its exact wave is
The only nonzero inter-sector current is
For it is positive and the Bell hazard from is . Its conditional survival from the beginning of the pulse is . Thus the rate diverges near the end on a vanishing population, but there is exactly one event almost surely in the branch. The branch is inert. No event at the deterministic endpoint is required.
Under the constitution just specified, observing the actual apparatus sector at any fixed gives
Here is the unnormalized carried conditional state for future operations that preserve the recorded apparatus block. At these are the projective instrument with weights . At an earlier , the no-click daughter is the actual state in (34.3), rather than either the initial state or an ideal negative daughter.
The wave (34.2) itself is retained globally. If later operations reconnect the sectors, continuation must use that full wave and both branches. During block-preserving future evolution, normalized linear extraction of the conditional branch follows from factorization of the Hamiltonian and cancellation of its common branch weight in the Bell ratios.
Equation (34.2) follows by exponentiating , whose rotation sends to . The current calculation uses . Equivariance gives the squared norms of its two apparatus components. Orthogonality of gives the displayed probabilities. Restricting the full vector to gives the unnormalized vectors in (34.3), establishing both the probability and carried-state expression within this constitution.
For a later -block-preserving Hamiltonian, write the normalized branch wave as and its constant total weight as . Every current and origin weight wholly inside that block are respectively and . The common factor cancels in (1.4); the conditional sector law inside that block is therefore its own Bell process. All source and reference amplitudes in the block are kept. If the Hamiltonian reconnects blocks, this cancellation no longer describes the complete source; the continuing Schrödinger wave does.
□This construction includes an actual configuration event and a physical apparatus coordinate. The intermediate occupancy is a null, and only at the completed pulse is it a sharp negative record. Record stability requires the future Hamiltonian and actual event generator to respect the completed archive, or the quantitative crossing bound in Part VIII. A display label does not create that stability by itself.
A readiness variable may be retained as active classical data. Suppose its prepared law has , independent of the unknown input conditionally on the declared actual past. In branch run (34.1); in branch apply the identity and print a failure flag. Then the complete endpoint probabilities are , and the failure daughter is together with the actual failed resource state. The displayed probability is a resource premise or a previously proved preparation result, not silently declared to be one. A finite supply of blank cells supports at most fresh attempts; exhaustion is a separately recorded identity branch. Reuse requires an actual reset theorem for both the wave and its configuration law.
34.3 Sequential noncommuting measurements and retained records
After a completed write retain , apply a record-controlled unitary to , and write another resolution into a fresh cell by the same construction. In the complete coherent bank these are block-diagonal Hamiltonian pulses controlled by ; they do not require a second measurement postulate. The complete configuration resolution remains fixed during these controls; the later measurement changes the interaction Hamiltonian, not the declared microscopic sectors. The endpoint argument uses equivariance for that full Hamiltonian. It does not assign the first pulse's special one-jump hazard to a later noncommuting write. The final wave is
Consequently
and each nonzero branch continues with its displayed vector divided by its norm while the archives remain isolated. The proof is multiplication of the two finite writing unitaries and equivariance on their joint sectors, followed by the branch argument of Theorem 34.1. Induction proves the corresponding finite adaptive product formula. Classical records with active preparation provenance are kept rather than averaged away.
For an explicit noncommuting example, take a qubit, first the projectors and then the projectors, with . Equation (34.6) gives . The conditional source is the daughter, while the inaccessible reference retains the state proportional to the original -component reference vector. If the first pulse is stopped early, in the null branch is replaced by , so subsequent probabilities contain the surviving coherence. An ideal daughter after an imperfect declaration would give a different experiment.
A later copy or coherent erase is another unitary on and any return memory. The full-wave representation supplies its actual amplitudes. The reduced branch alone is sufficient only when the required block isolation persists. This is the structural distinction between effective conditional continuation and the irreversible-extraction constitution of Part VI.
34.4 A simultaneous finite error budget
For a fixed finite complete graph, the following errors can be combined because their state and output spaces have been specified:
bounds total variation of the actual initial configuration law from the equilibrium reference law for the complete admitted preparation, including active classical keys. Applying the same subsequent transition law contracts this error.
bounds a perturbation of the complete finite pulse programme, and . The fixed-graph Bell path bound is for identical initial waves.
A variational background of size contributes at most to the complete path comparison.
A physical archive used to represent earlier source labels adds the finite write error and the expected corrupting-crossing bound of Part VIII. These are needed for past-history meaning, even when final archive weights already agree.
Thus a common recorded path functional has the sufficient bound
For a complete output retaining the common global wave as well as the recorded path, add its trace-distance bound . For faithful sampled history add both writing and subsequent corruption errors. Conditioning on a rare record requires the probability denominator in Lemma 2.1.
One common useful regime fixes the graph, a finite number of pulses, and , and takes the initial preparation error, integrated control error, variational background, finite writing error and protected crossing budget to zero. The responsiveness in (34.1) stays positive and the measurement time stays . This limit does not suppress all useful events. If resources enlarge the graph, and the relevant operator norms must be tracked explicitly. The spectral-gap protection theorem supplies a different, complete-wave estimate under its own bounded block assumptions; a small reduced-wave error alone is not substituted for in (34.7).
The extraction/filtering instrument architecture has its own full-output sum of half-diamond errors in Part VI. That is a second valid finite chain, but its Gaussian/native admission and irreversible branches are not replaced by the present configuration law without a further embedding theorem.
34.5 Dependencies of the limiting-model calculation
| Physical or mathematical input | Consequence proved in this monograph | What it does not supply |
|---|---|---|
| Source/readout descent and target completion | Exact test for lost, target-active information; predictive-current quotient | A probability measure, least-traffic law or physical access rule |
| Canonical bond action and conservative exporter | Hamiltonian current and finite signed-charge export | Actual stochastic chemistry or complete response neutrality |
| Scalar pair chemistry and calibrated carrier population | Whole tagged-path Bell limit; physical residence denominator | Universal contact admission or harmless readable microscopic histories |
| Expected edge-current realization and path-entropy principle | Selected complete finite-background history and physical-time Bell limit | Derivation of the principle or neutrality of every statistical reference |
| CPC or the explicit finite-tag/interchange premises | Shared-Wiener population and signal matching | Gaussian noise origin, positive phase lift or universal CPC |
| Responsive zero-channel tests and reference/archive conditions | Faithful intrinsic daughter within the declared class | Universal physical necessity of those tests and conditions |
| Native reader, coherent converter and finite control library | Finite instruments, actual nulls and composed error bounds | Original Hamiltonian Bell trajectories |
| Bounded block interaction and prepared code sector | Quantitative transport protection and finite horizon | Protection against unrestricted logical couplings or scalar clocks |
| Full-wave source, admitted equivariant generator and joint initial law | Actual configuration records, conditional branch predictions and coherent returns | Selection of minimal actual traffic from endpoint Born records |
| Finite correct writes and small archive-changing traffic | Reliable sampled histories | Faithfulness of every first-entry record or every microscopic event |
| Explicit regular preparation class and protocol | Conditional operational preparation within the proved future-use domain | Arbitrary global equilibrium or arbitrary nonequilibrium-memory returns |
The monograph therefore establishes conditional realizations and controlled operational constructions. It retains the strongest incompatibility tests as results. In particular, exact readable histories of the unmodified original Bell process and a common affine complete-input law cannot be freely combined in the comparison class of Part III. Physical recording changes the complete experiment; a complete joint configuration model does not license a passive classical current writer by definition.
The statistical and interaction inputs of this limiting-model calculation remain explicit. Part II now supplies a deterministic microscopic approximation with controlled full-path error within P1–P4; Part IX supplies a separately postulated continuous-configuration alternative. Chapter 35 gives the final resolution statement and its remaining foundational obligations.