Chapter 11 Version 2
Accounted work, copied records and a complete return cycle
Canonical reciprocity excludes a frozen source-dependent recoil on an open product phase space, but permits reciprocal replacements. This chapter retains the strongest complete work-accounting counterexample from [M25]. Its actual memories use the common chamber medium of [M24], while its work degree is classical canonical material. This is a different hybrid constitution from the preceding canonical packet source. The calculation is an architecture boundary, not a transfer of its Bell theorem without proof.
11.1 Canonical recoil is constrained but not neutral
On a finite amplitude cone and a classical work pair use
Here has energy units and has time units. A frozen-source map changes by . It is canonical on an open product domain only if . This proves a real reciprocity constraint, but does not require equal source energies on different contacts.
For finite Hermitian , define
This map is canonical, , and . Within maps of this form with and the stated phase/translation normalization, the two requirements determine uniquely. Moreover
For any differentiable unitary put and . Direct substitution gives , proving canonicity. Conversely its mixed source/work terms give the same , up to the fixed scalar translation. Energy matching requires , hence . The displayed product is its unique solution. The charts satisfy , proving composition. The first bound follows by Duhamel comparison of the two unitary groups; the second follows by differentiating and integrating its commutator norm. Tensoring an inaccessible reference leaves the bounds unchanged.
□A pulse of followed by a pulse of , each with coefficient integral one, implements this map. This factorization alone does not account for switching work at a native collision. Also an actual-event-dependent recoil changes the source wave and invalidates direct use of the fixed-wave kinetic proof. We next use an autonomous work cycle whose entire read, copy and return can be calculated.
11.2 The work rotor and physical memory medium
Let the carried space include position, internal input, two memory bits , and an inaccessible reference . Supply a canonical cylinder , with time-valued angle of circumference and . Its free energy is on an active bounded energy band. A smooth extension can be bounded below outside that band; the stated experiment stays strictly inside it. This linear-dispersion work rotor is a disclosed resource, not an ordinary quadratic kinetic pointer or a finite-dimensional consequence of finite energy.
Put and
Choose real fixed profiles and a fixed selector . The autonomous energy is
The action has kinetic one-form . Its equations are
Thus the source-dependent work displacement is a reciprocal Hamiltonian force, rather than a prescribed numerical impulse. Actual memory outcomes are supplied by the following separately specified physical medium.
For every finite joint sector , let , . An actual tracer has sector , depth and transverse coordinate . Set , , . Between stirrings and is fixed. The outgoing face is divided into destination strips of relative width ; the incoming face of into strips of relative width . At the tracer enters at and its transverse coordinate is rescaled affinely so that . Zero-width strips are absent. A fundamental rate- stirring resets in the current sector to for independent fresh uniforms .
This geometry specifies squared-norm chamber volumes, rectified normalized faces, perfect transmission and a Poisson uniform-refresh law. They are not derived here. The initial unique ready chamber has unit density in , with source-independent readiness. There is one unknown carried input, not additional input specimens. Work readiness and future stirring are independent of it.
For a deterministic bounded piecewise-smooth coherent programme, the chamber density identically one is preserved by the drift, portals and stirring. Consequently actual sector probabilities are . The process loses no probability at a finite-time explosion.
Interior drift has zero divergence in the chamber coordinates. The top boundary moves at while depth drift is , so its relative incoming flux is . The bottom outgoing flux is . The prescribed face rescaling equates each edge's boundary flux, and the incoming and outgoing strip partitions are exhaustive. Hence the constant density solves the transport equation with its moving-boundary conditions. Stirring replaces a sector's density by its uniform conditional density; it therefore also preserves density one. A killed construction has mass bounded by this transport solution. Its expected portal count is bounded by , and its expected stirring count by . Thus no finite-time explosion loses mass, and equality with the normalized transport solution follows. Vanishing-volume chambers have zero occupied probability. This is a preservation theorem under the supplied ready law, not its preparation or statistical selection.
□11.3 An exact read, genuine copy and complete work return
Prepare in and a source vector independent of these memories. Choose at readiness, during three disjoint ordered pulses, and
For every fixed carried input and work-ready point, the solution is
where is constant. Its total energy is exactly . After a full rotor cycle,
The source including inaccessible reference correlations, both work coordinates and the display return exactly. The actual retained archive has at every finite .
For fixed complete initial data the Hamiltonian separates into source and memory operators, so the wave remains a product across that partition. Since are real and the initial memory amplitudes are real, stays real. Therefore every expectation vanishes at every time, not only at endpoints. The work equations reduce to , . Also commutes with the entire contact, so is constant. This proves (11.7) and .
On the plateau, . The three exact memory gates give
Thus is a physical copy of the display and is used to reset it. The zero integral of restores the source unitary, periodicity restores , and restores . Lemma 11.2 makes the final volume of its actual probability. No auxiliary Born draw or ideal collapse was appended.
□The initial memory occupies a proper ready submanifold. On its reached real-amplitude curve the Berry one-form vanishes while the metric line element need not. There is no contradiction with a theorem about information export by a source-fixed map on an open full product domain. Hamiltonian reciprocity of the complete hybrid dynamics also does not give one preparation-independent linear propagator after eliminating its classical work trajectory.
11.4 Finite positive-area resources and the separating experiment
A concrete resource programme sets , and . Let on . Define
and on use the negative of the preceding profile translated by seven. Its two areas cancel. For , set
These profiles are and piecewise smooth, have the required pulse areas, and use a finite four-dimensional memory. Prepare independently of the source
with the uniform rectangle law, of nonzero canonical area . Its particular uniform density is not needed for the separated-band bit below; support on this rectangle suffices. Choose a fixed selector equal to one for and zero for . Then throughout the allowed ready bands,
All unknown inputs obey , and . The active band therefore has strict headroom; no promised branch exhausts the work resource. All couplings have finite duration and bounded strength on this domain. Contacts engage and disengage where their profiles vanish, with zero contact-energy switching cost. The actual read/copy/return is autonomous.
For a finite timing calculation let on , and put , . The display and copied-archive capture CDFs during their respective pulses are
The terminal null masses are . Indeed the relevant currents are unidirectional, so crossing into the daughter chambers is equivalent to having captured by that time; Lemma 11.2 gives the CDFs. Differentiation gives the ordinary time densities; for example the first is on the pulse. The reset has CDF and leaves unchanged. Integrating these formulas over (11.9) gives the full finite-read law. No conditioning on a successful branch is needed.
Run the detuned production (9.1) with restored, then a zero-current hold of duration , then the rotor programme. Compare, using fixed orthogonal inaccessible reference vectors ,
All declared apparatus readiness and active provenance agree; no ensemble label is supplied to a controller. The averaged source/reference matrices coincide. The actual raywise laws differ, and the exact returned archive satisfies
These are different complete source laws on rays; the result proves that their common matrix quotient is insufficient under the hybrid coupling. An actual retained preparation label would change the comparison and must not be erased in applying this conclusion.
11.5 A noncommuting continuation and native-path return
After the rotor retain and apply for . This does not commute with the detuned position Hamiltonian. At production end the source fibres are
Their inner product is , so the final position-one probability, in both read and clean experiments, is . This equality alone is only a marginal statement. The following stronger comparison controls the complete native position path in the declared finite-stirring experiment.
For the three tested input classes with the preparation above, compare the read experiment to the same production, hold, total port duration and later probe, but with source/work and memory contacts off. Both keep the same native stirring. If their final common quiet interval has length , then
The explicit profiles provide on the total physical horizon .
Couple initial tracer data and all stirring clocks. Production is identical. There is no native position current during the hold or rotor, so native position paths agree throughout that period. Memory transfers may change the depth and transverse coordinates, which are not asserted returned. By time the field, rotor and display have returned, all contacts are off, and is certain for each tested class. If a stirring occurs in the common final quiet interval, use the same uniform pair in the occupied read and clean chambers, identified by their fixed memory label. Their native weights agree, so depth and transverse coordinates then coincide. They remain identical through the subsequent probe and all its native crossings under the common coupling. Failure of this coupling is confined to no stirring in an interval of length , of probability . The archive value is already certain and unchanged by that stirring. This proves both statements, retaining exact native event times and null intervals.
□The special deterministic-memory input classes are sufficient for the separation. No uniform finite- path estimate for every intermediate , arbitrary memory feedback or perturbation of this programme is inferred from it. Increasing is a supplied stirring-rate resource; its Poisson count has no fixed finite upper bound. The ready uniform coordinate and repeated uniform refresh remain statistical postulates. This construction supplies a complete work and memory account, but no new universal admission principle.
11.6 Scope of the access conclusions
The original packet source permits delayed reads of a classical action. Destructive packet capture preserves a predesignated native path in a controlled resource limit. A marked native product preserves the entire native projection exactly. Local damage does not prevent that fixed-tag limit, and a common gate can be reset while retaining its copied record. The accounted-work model adds the stronger fact that reciprocal source forces, autonomous bounded work excursions, genuine copying and exact source/work/display return can coexist with a unit record gap in a specific hybrid constitution.
Each result identifies an admitted coupling rather than asserting that all source coordinates must be measurable. The constitutive class changes where stated: the rotor is not silently the old packet source, and a Bell law postulated or derived for one graph does not make all classical resource extensions into a common affine instrument. These countermodels show that conservation, reciprocity, consumption and finite local work accounting alone do not select a compatible complete reaction and record interface. The pilot theory supplies a different, explicit ordinary material coupling inventory; its exclusion of the displayed classical readers is new constitutive content. None of the countermodels proves that every possible source completion fails, and the new inventory does not invalidate a countermodel on its original permissive access domain.