Chapter 9 Version 2
Readable histories and reciprocal source writers
This part consolidates the finite compatibility witness of [M11], the reciprocal stored-action writer of [M21], the destructive and native-product contacts of [M22, M23], and the accounted-work counterexample of [M25]. These are different levels of physical restriction on access, tested on explicit complete experiments. They are not a universal prohibition of Bell trajectories. Their common point is that preserving a native path or accounting for a local disturbance does not establish a common affine law for every additional record.
9.1 One reusable detuned experiment
Let physical sectors be the position factor of , with inaccessible. Put in this chapter and take
Initially position and every native carrier are at , the source action and queues are empty, and the unknown normalized internal/reference vector is . Set . The two frequencies give
The bracket is decreasing on , so the current reverses at most once, from positive to negative. Write , so .
The original Bell process initialized at the unique ready sector has first-exit probability by
It has and .
Before first exit the integrated hazard is . On the sole increasing interval of , , so survival equals the minimum attained . Subsequent negative current adds no outward first-exit hazard. For , set ; then
Its minimum is , at . The basis-frequency minima are zero.
□Suppose one complete represented ready preparation admits both the basis ensemble with probabilities and the equal ensemble
without an active preparation tag distinguishing their methods. If their complete represented matrix input is the same, no common affine record law reproduces both original Bell first-exit histories. A common record approximation with TV error at most on each preparation obeys
This conclusion places no restriction on the possible event daughters.
Both ensembles have matrix and the same ready position. Their Bell first-exit probabilities are respectively and . An affine map assigns their common complete input a common event probability. The triangle inequality yields . The proof concerns this one record marginal, so arbitrary subsequent daughter kernels cannot repair it.
□The theorem's complete-preparation qualification is essential. A canonical source can regard the actual ray decomposition as physically different data and predict different records consistently with its own ontology. The theorem then shows that the proposed matrix quotient is insufficient; it does not license discarding legitimate active provenance. Conversely, if a common affine complete-input law is retained, the unmodified Bell first-exit history cannot be made an arbitrarily accurate public record in this comparison class. Terminal position weights do not show the conflict: both ensembles end with position-one probability .
9.2 A structural incompatibility of classical and quantum writers
The difference between a classical canonical field and an affine classical–quantum source is algebraic. Let be the observable algebra of a classical coordinate and finite quantum bank. A reversible infinitesimal star-derivation satisfies the Leibniz rule.
Every derivation of maps its center to its center. In particular the rule with nonscalar Hermitian cannot be such a reversible classical–quantum transport law.
For central and arbitrary , differentiate : . Thus is central. Choosing nonzero proves the final statement.
□This result does not invalidate the classical canonical action. It prevents identifying that action's exact expectation writer with a reversible transport of this different algebra without changing physical premises. Dissipative instruments, their noise and their disturbance must be derived or separately specified in the latter constitution.
9.3 Reciprocity does not remove a delayed classical read
Attach a canonical pointer to the current action of Chapter 3 through
Its equations are , , , . The pointer can kick the connection; it is not a one-way expectation assignment.
Run the canonical source on with , , and , . During set the coherent source Hamiltonian to zero and apply a pulse of area . Then
If the reaction generator has the scalar form (4.1), or the unchanged material response of Chapter 5, the native coherent field and all native reaction paths through read completion are exactly unchanged. This includes unfinished-queue reactions in the zero-current hold.
During production . During reading the source Hamiltonian vanishes, so and are constant; is constant throughout. Integration gives (9.7). Queues, carriers and material retain their original equations because their declared reaction coefficients have no added dependence during the hold. The same primitive reaction clocks therefore couple all native paths exactly. A later connection kick cannot alter a record already secured in .
□In the detuned experiment, gives . If and a finite comparator has bounded error ,
guarantees that the bit is one for and zero for . Equal and equal ensembles then give bit probabilities and . No particular distribution inside the nonzero-width ready rectangle is needed. For example, , , , , , satisfy the strict inequality. A smooth comparator with constant response plateaux on the separated bands can amplify the bit without a derivative force on those bands.
All pointer and connection variables remain represented. A later prescribed Hamiltonian with obeys the wave bound
This controls the full vector including the reference. It is not a Bell path bound near nodes and does not cover feedback through the new pointer. An internal rotation noncommuting with but independent of is unaffected at the time it is applied.
9.4 Equivalent encodings and noisy returns
Deleting access to the symbol is insufficient if its exact accounting remains readable. For the monitored edge, let be net native reaction count, residual signed queue and exporter residue. Then
with pending and captured charges added when those resources are present. The identity follows by adding every export and reaction rewrite. Separate registers may reveal no useful scalar individually while their joint return reconstructs it. A gauge-invariant difference of two such actions is equally available to a canonical coupling if that relational action is a physical observable.
Let be any proper additive-noise variable independent of the source value. The laws and cannot agree for . If has variance , then
If the noise key itself is retained and returned jointly with the noisy readout, the two joint laws have TV one.
Equality of characteristic functions would require for every . Continuity and contradict this on a small punctured neighborhood of zero. For the bound, center and test the bounded cosine centered at . Its expectation gap is in absolute value. Take . Then and . A bounded test of absolute value at most one has expectation gap at most , giving (9.10). Finally determines , whose values are in in one preparation and in the other. Those supports are disjoint.
□