Section 5 9 October 2026
Reading a retained archive into different receivers
5 Reading a retained archive into different receivers
The objective in this section is a joint path event. At a specified entrance an archive has an actual position. Its first binary digits are to be written into different receivers, and every written receiver must remain in its assigned separated region until a common final time. The construction retains the scratch, archive, receivers, reset modes and all earlier records. Its reset restores a quantum factor; it does not assume a new actual population.
We use dimensionless positions in units and time , with . Put
Thus , the oscillator is , and its scalar canonical current is . During a compact baker control the additional current of Theorem 3.1 is retained; a real stationary wave does not then imply zero current.
The scratch and archive are two coordinates of one planar carrier. Each is the longitudinal coordinate of a different physical receiver, and each is a distinct retained reset mode. The reference entrance contains the factors
tensored with the specified remaining wave. All initially unused modes remain oscillator factors until used. Every genuine positional copy or reference belongs to the full configuration; a finite internal fibre is included in the wave norm. The actual entrance law satisfies
on that complete state, or conditionally on a retained external parameter with the same uniform . Equivariance propagates this global inequality. It is never asserted after conditioning on a selected recorded bit. Proposition 10.2 distinguishes this premise from an earlier preparation statement conditional on a bank. For the full-flow assertion, additional positional quantum factors must have propagated regularity sufficient for a normalized, conserved complete spacetime current and for the finite current integrals specified in the proof of Proposition 6.3. Propagation of all finite weighted Sobolev orders under their specified decoupled dynamics is one sufficient choice. A passive finite internal reference is unrestricted. The constructed Gaussian bank meets these conditions directly. A retained external conditioning parameter is fixed during the protocol; it is not assigned a wave amplitude merely by being retained.
Let and . Off dyadic boundaries the inverse baker map is
It is invertible and area preserving, and for every . Repeating it exposes the successive digits of the actual entrance archive, even if every subsequent scratch position is correlated with all previous records. For the smooth inverse of Proposition 2.3, the endpoint is exactly (5.3) on
Its reference exceptional area is
On each half-strip the determinant is . Recover from , then , . The archive update contains no . It follows by induction that the exposed bits are the binary digits of regardless of the scratch values. The set (5.4) is the image of the forward baker's two retained rectangles. Reversing its complete smooth flow proves the endpoint assertion; its area gives (5.5).
□For comparison with an earlier warmup event, suppose the forward archive recursion was , with actual declarations . Then
The inverse reader emits . Accordingly receiver names must be reversed for a chronological decoder. An already priced event on which a smooth warmup differs from this history relation is added once; the reader itself does not manufacture a missing relation to an earlier writer event.
5.1 An exact sign-preserving scalar loader
For define
The square root is taken after adding densities. The sum of the two Gaussian amplitudes is a different wave and will be used only as a controlled comparator below.
Choose
with static extensions. This center is across its joins; the resulting potential is in time and smooth in position. If , the scalar Hamiltonian below has a common oscillator strong domain and an exact normalized solution
The expressions at have their continuous limits. Every actual trajectory preserves and its initial sign. At the endpoint the exact wave is the positive , and its holding Hamiltonian is
Its complete scalar current vanishes pointwise.
Writing gives
The mixture satisfies the exact conservation identity
Its positive-density current divided by is . Since , substitution in the imaginary and real parts of gives precisely (5.8). This verifies both equations, not only a prescribed real potential.
Here are sufficient global domain estimates. Set
They bound , respectively. Indeed , its maximum is , the acceleration maximum is , and the jerk maximum is . The polynomial decreases from to ; hence , with maximum at . The last ratio tends to zero at the initial join.
The inequalities
give, with ,
Conversely
The elementary bound gives
Finally, twice differentiating the integral expression shows
Differentiating the remaining terms gives a uniform , continuously through both joins.
Choose a common shift so that . For a compact smooth test,
Together with the preceding upper bound this makes the Hamiltonian graph equivalent to . The real resolvent cutoff identity for an distributional solution of is
Local elliptic regularity justifies the test. Positivity excludes a nonzero such solution; the semibounded closure is self-adjoint. Cutoff and mollifier approximation and the graph equivalence give the common domain . The time estimate makes continuously differentiable on this domain, supplying common-domain unitary evolution by the common-domain theorem in [5]. The explicit wave already constructed is its unique solution.
The velocity is globally bounded by , with derivative bounded by , so its ordinary trajectories are complete and unique. Continuity and the conservation equation give . Symmetry fixes . At the endpoint , , and direct multiplication gives the factorization (5.9). Thus is its normalized zero-energy state and has identically zero canonical velocity.
□For an inverse bit , the endpoint obeys . In particular its sign is the actual extracted bit. With , symmetry gives and . If , every good scratch in (5.4) is also loaded beyond . The receiver theorem below needs only the sign, and prices its own separated endpoint without assigning the scratch a Born population.