Skip to content
Shadow Theory

Chapter 11 Version 2

Accounted work, copied records and a complete return cycle

Reading position 17 of 53

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 (Y,P)(Y,P) use

ϑ=i2(zdzdzz)+PdY,Ei(z,Y)=zHiz+Y. \vartheta=\frac{i\hbar}{2}(z^\dagger dz-dz^\dagger z)+P\,dY, \qquad E_i(z,Y)=z^\dagger H_i z+Y.

Here YY has energy units and PP has time units. A frozen-source map (z,Y,P)(z,Y+f(z),P)(z,Y,P)\mapsto(z,Y+f(z),P) changes dϑd\vartheta by dPdfdP\wedge df. It is canonical on an open product domain only if df=0df=0. This proves a real reciprocity constraint, but does not require equal source energies on different contacts.

Theorem 11.1 (Energy-matching reciprocal recoil)

For finite Hermitian Hi,HjH_i,H_j, define

Uji(P)=eiPHj/eiPHi/,Kji(P)=HiUji(P)HjUji(P),Sji(z,Y,P)=(Uji(P)z,Y+zKji(P)z,P).\begin{align}U_{ji}(P)&=e^{iPH_j/\hbar}e^{-iPH_i/\hbar},\notag\\ K_{ji}(P)&=H_i-U_{ji}(P)^\dagger H_jU_{ji}(P),\notag\\ S_{ji}(z,Y,P)&=(U_{ji}(P)z,Y+z^\dagger K_{ji}(P)z,P). \tag{11.1}\end{align}

This map is canonical, EjSji=EiE_j\circ S_{ji}=E_i, and SkjSji=SkiS_{kj}S_{ji}=S_{ki}. Within maps of this form with U(0)=IU(0)=I and the stated phase/translation normalization, the two requirements determine UU uniquely. Moreover

Uji(P)IPHjHi/,Kji(P)(HiHj)P[Hi,Hj]/.\begin{align}\|U_{ji}(P)-I\|&\le |P|\|H_j-H_i\|/\hbar,\notag\\ \|K_{ji}(P)-(H_i-H_j)\| &\le |P|\|[H_i,H_j]\|/\hbar. \tag{11.2}\end{align}
Proof

For any differentiable unitary U(P)U(P) put K=iUUK=i\hbar U^\dagger U' and a=zKza=z^\dagger Kz. Direct substitution gives SUϑϑ=a,dP+P,da=d(Pa)S_U^*\vartheta-\vartheta=a,dP+P,da=d(Pa), proving canonicity. Conversely its mixed source/work terms give the same KK, up to the fixed scalar translation. Energy matching requires K=HiUHjUK=H_i-U^\dagger H_jU, hence iU=UHiHjUi\hbar U'=UH_i-H_jU. The displayed product is its unique solution. The charts Ci(z,Y,P)=(eiPHi/z,Y+zHiz,P)C_i(z,Y,P)=(e^{-iPH_i/\hbar}z,Y+z^\dagger H_i z,P) satisfy Sji=Cj1CiS_{ji}=C_j^{-1}C_i, proving composition. The first bound follows by Duhamel comparison of the two unitary groups; the second follows by differentiating eiPHi/HjeiPHi/e^{iPH_i/\hbar}H_je^{-iPH_i/\hbar} and integrating its commutator norm. Tensoring an inaccessible reference leaves the bounds unchanged.

A pulse of c1(t)PzHizc_1(t)Pz^\dagger H_i z followed by a pulse of c2(t)PzHjz-c_2(t)Pz^\dagger H_jz, 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 B,CB,C, and an inaccessible reference RR. Supply a canonical cylinder (ϕ,Y)(\phi,Y), with time-valued angle of circumference LL and {ϕ,Y}=1\{\phi,Y\}=1. Its free energy is YY 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 A=Ipos00intA=I_{\rm pos}\otimes\lvert0\rangle\langle0\rvert_{\rm int} and

G1=σyBIC,G2=11BσyC,G3=σyB11C. G_1=\sigma_y^B\otimes I_C,\qquad G_2=\lvert1\rangle\langle1\rvert_B\otimes\sigma_y^C,\qquad G_3=-\sigma_y^B\otimes\lvert1\rangle\langle1\rvert_C.

Choose real fixed profiles f,1,2,3f,\ell_1,\ell_2,\ell_3 and a fixed selector 0χ(Y)10\le\chi(Y)\le1. The autonomous energy is

E=Y+f(ϕ)A+1(ϕ)χ(Y)G1+2(ϕ)G2+3(ϕ)G3.\mathcal E=Y+f(\phi)\langle A\rangle+ \hbar\ell_1(\phi)\chi(Y)\langle G_1\rangle+ \hbar\ell_2(\phi)\langle G_2\rangle+ \hbar\ell_3(\phi)\langle G_3\rangle. (11.3)

The action has kinetic one-form i(ΨdΨdΨΨ)/2+Y,dϕi\hbar(\Psi^\dagger d\Psi-d\Psi^\dagger\Psi)/2+Y,d\phi. Its equations are

iΨ˙=[fA+1χ(Y)G1+2G2+3G3]Ψ,ϕ˙=1+1χ(Y)G1,Y˙=fA1χ(Y)G12G23G3.\begin{align}i\hbar\dot\Psi&=[fA+\hbar\ell_1\chi(Y)G_1+ \hbar\ell_2G_2+\hbar\ell_3G_3]\Psi,\tag{11.4}\\ \dot\phi&=1+\hbar\ell_1\chi'(Y)\langle G_1\rangle,\notag\\ \dot Y&=-f'\langle A\rangle-\hbar\ell_1'\chi(Y)\langle G_1\rangle -\hbar\ell_2'\langle G_2\rangle-\hbar\ell_3'\langle G_3\rangle. \tag{11.5}\end{align}

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 q=(i,b,c)q=(i,b,c), let Cq=[0,wq]×[0,1]\mathcal C_q=[0,w_q]\times[0,1], wq=PqΨ2w_q=\|P_q\Psi\|^2. An actual tracer has sector qq, depth dd and transverse coordinate ζ\zeta. Set frq=[Jrq]+f_{rq}=[J_{rq}]_+, Fq=rfrqF_q=\sum_rf_{rq}, Iq=rfqrI_q=\sum_rf_{qr}. Between stirrings d˙=Fq\dot d=-F_q and ζ\zeta is fixed. The outgoing face is divided into destination strips of relative width frq/Fqf_{rq}/F_q; the incoming face of rr into strips of relative width frq/Irf_{rq}/I_r. At d=0d=0 the tracer enters rr at d=wrd'=w_r and its transverse coordinate is rescaled affinely so that Fq,dζ=Ir,dζF_q,d\zeta=I_r,d\zeta'. Zero-width strips are absent. A fundamental rate-κ\kappa stirring resets (d,ζ)(d,\zeta) in the current sector to (wqU,V)(w_qU,V) for independent fresh uniforms U,VU,V.

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 (d,ζ)(d,\zeta), with source-independent readiness. There is one unknown carried input, not additional input specimens. Work readiness and future stirring are independent of it.

Lemma 11.2 (Density preservation in the finite memory medium)

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 wq(t)w_q(t). The process loses no probability at a finite-time explosion.

Proof

Interior drift has zero divergence in the chamber coordinates. The top boundary moves at w˙q=IqFq\dot w_q=I_q-F_q while depth drift is Fq-F_q, so its relative incoming flux is IqI_q. The bottom outgoing flux is FqF_q. 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 qFqdt<\int\sum_qF_qdt<\infty, and its expected stirring count by κT\kappa T. 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 B,CB,C in 00\lvert00\rangle and a source vector ΨS\Psi_S independent of these memories. Choose f=0f=0 at readiness, f=Kf=-K during three disjoint ordered pulses, and

0Lf(ϕ)dϕ=0,j(ϕ(t))dt=π/2(j=1,2,3).\int_0^Lf(\phi)d\phi=0,\qquad \int\ell_j(\phi(t))dt=\pi/2\quad(j=1,2,3). (11.6)
Theorem 11.3 (Accounted-work acquisition with a retained copy)

For every fixed carried input and work-ready point, the solution is

ϕt=ϕ0+t(modL),Yt=Y0f(ϕt)p,Ψt=e(i/)A0tf(ϕu)duΨSmt,\phi_t=\phi_0+t\pmod L,\qquad Y_t=Y_0-f(\phi_t)p,\qquad \Psi_t=e^{-(i/\hbar)A\int_0^tf(\phi_u)du}\Psi_S\otimes m_t, (11.7)

where p=AΨSp=\langle A\rangle_{\Psi_S} is constant. Its total energy is exactly Y0Y_0. After a full rotor cycle,

(ΨS,ϕ0,Y0,00)(ΨS,ϕ0,Y0,0B[cosβ0C+sinβ1C]),β=π2χ(Y0+Kp).(\Psi_S,\phi_0,Y_0,\lvert00\rangle)\longmapsto (\Psi_S,\phi_0,Y_0, \lvert0\rangle_B[\cos\beta\lvert0\rangle_C+ \sin\beta\lvert1\rangle_C]), \quad \beta=\frac\pi2\chi(Y_0+Kp). (11.8)

The source including inaccessible reference correlations, both work coordinates and the display return exactly. The actual retained archive has P(C=1)=sin2β\mathbb P(C=1)=\sin^2\beta at every finite κ\kappa.

Proof

For fixed complete initial data the Hamiltonian separates into source and memory operators, so the wave remains a product across that partition. Since iGj-iG_j are real and the initial memory amplitudes are real, mtm_t stays real. Therefore every expectation Gj\langle G_j\rangle vanishes at every time, not only at endpoints. The work equations reduce to ϕ˙=1\dot\phi=1, Y˙=fp\dot Y=-f'p. Also AA commutes with the entire contact, so pp is constant. This proves (11.7) and E=Y+fp=Y0\mathcal E=Y+fp=Y_0.

On the plateau, Y=Y0+KpY=Y_0+Kp. The three exact memory gates give

00cosβ00+sinβ10cosβ00+sinβ110B(cosβ0C+sinβ1C). |00\rangle\longmapsto \cos\beta|00\rangle+\sin\beta|10\rangle \longmapsto\cos\beta|00\rangle+\sin\beta|11\rangle \longmapsto|0\rangle_B(\cos\beta|0\rangle_C+\sin\beta|1\rangle_C).

Thus CC is a physical copy of the display and is used to reset it. The zero integral of ff restores the source unitary, periodicity restores ϕ\phi, and f=0f=0 restores YY. Lemma 11.2 makes the final volume of C=1C=1 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 K=gK=\hbar g, L=16/gL=16/g and u=gϕ(mod16)u=g\phi\pmod{16}. Let s(x)=3x22x3s(x)=3x^2-2x^3 on [0,1][0,1]. Define

f(u/g)K={s(u1),1u2,1,2u7,[1s(u7)],7u8,0,0u1 or 15u16, \frac{f(u/g)}K= \begin{cases} -s(u-1),&1\le u\le2,\\ -1,&2\le u\le7,\\ -[1-s(u-7)],&7\le u\le8,\\ 0,&0\le u\le1\text{ or }15\le u\le16, \end{cases}

and on [8,15][8,15] use the negative of the preceding profile translated by seven. Its two areas cancel. For a1=2.5,a2=4,a3=5.5a_1=2.5,a_2=4,a_3=5.5, set

j(ϕ)=πgsin2(π(uaj))1[aj,aj+1](u). \ell_j(\phi)=\pi g\sin^2(\pi(u-a_j))1_{[a_j,a_j+1]}(u).

These profiles are C1C^1 and piecewise smooth, have the required pulse areas, and use a finite four-dimensional memory. Prepare independently of the source

u0[0,0.1],Y0[10KK/24,10K+K/24]u_0\in[0,0.1],\qquad Y_0\in[10K-K/24,10K+K/24] (11.9)

with the uniform rectangle law, of nonzero canonical area /120\hbar/120. Its particular uniform density is not needed for the separated-band bit below; support on this rectangle suffices. Choose a fixed C1C^1 selector equal to one for Y(10+2/3)KK/12|Y-(10+2/3)K|\le K/12 and zero for Y(10+2/3)KK/6|Y-(10+2/3)K|\ge K/6. Then throughout the allowed ready bands,

χ(Y0+Kp)=1(p=2/3),χ(Y0+Kp)=0(p=0,1). \chi(Y_0+Kp)=1\quad(p=2/3),\qquad \chi(Y_0+Kp)=0\quad(p=0,1).

All unknown inputs p[0,1]p\in[0,1] obey YtY0K|Y_t-Y_0|\le K, Yt[8.95833K,11.04167K]Y_t\in[8.95833K,11.04167K] and Hfield(1+π)K\|H_{ \rm field}\|\le(1+\pi)K. The active band [8K,12K][8K,12K] 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 Θ(v)=πv/2sin(2πv)/4\Theta(v)=\pi v/2-\sin(2\pi v)/4 on [0,1][0,1], and put vj=[gt+u0aj]01v_j=[gt+u_0-a_j]_0^1, x=χ(Y0+Kp)x=\chi(Y_0+Kp). The display and copied-archive capture CDFs during their respective pulses are

P(LBt)=sin2(xΘ(v1)),P(LCt)=sin2βsin2Θ(v2).\mathbb P(L_B\le t)=\sin^2(x\Theta(v_1)),\qquad \mathbb P(L_C\le t)=\sin^2\beta\sin^2\Theta(v_2). (11.10)

The terminal null masses are 1sin2β1-\sin^2\beta. 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 xπgsin2(πv1)sin(2xΘ(v1))x\pi g\sin^2(\pi v_1)\sin(2x\Theta(v_1)) on the pulse. The reset has CDF sin2βsin2Θ(v3)\sin^2\beta\sin^2\Theta(v_3) and leaves CC 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 \hbar restored, then a zero-current hold of duration 1/(2g)1/(2g), then the rotor programme. Compare, using fixed orthogonal inaccessible reference vectors r0,r1r_0,r_1,

Ebasis:0r0 with probability 2/3,1r1 with probability 1/3,Esup:2/30r0±1/31r1,each with probability 1/2.\begin{aligned}\mathcal E_{ \rm basis}:&\quad |0r_0\rangle\text{ with probability }2/3, \quad |1r_1\rangle\text{ with probability }1/3,\\ \mathcal E_{ \rm sup}:&\quad \sqrt{2/3}|0r_0\rangle\pm\sqrt{1/3}|1r_1\rangle, \quad\text{each with probability }1/2. \end{aligned}

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 pp laws differ, and the exact returned archive satisfies

Psup(C=1)=1,Pbasis(C=1)=0.\mathbb P_{ \rm sup}(C=1)=1,\qquad \mathbb P_{ \rm basis}(C=1)=0. (11.11)

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 CC and apply HP=hσyposH_P=\hbar h\sigma_y^{\rm pos} for TP=π/(4h)T_P=\pi/(4h). This does not commute with the detuned position Hamiltonian. At production end the source fibres are

ψ0=i1η,P0ΞP1Ξ,ψ1=iη,P0Ξ. \psi_0=-i\sqrt{1-\eta},P_0\Xi-P_1\Xi,\qquad \psi_1=-i\sqrt\eta,P_0\Xi.

Their inner product is pη(1η)p\sqrt{\eta(1-\eta)}, so the final position-one probability, in both read and clean experiments, is 1/2+pη(1η)1/2+p\sqrt{\eta(1-\eta)}. This equality alone is only a marginal statement. The following stronger comparison controls the complete native position path in the declared finite-stirring experiment.

Theorem 11.4 (A retained record after arbitrarily small native-path change)

For the three tested input classes p=0,1,2/3p=0,1,2/3 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 ss, then

dTV(read native position path,clean native position path)eκs,retained archive gap=1.\accTV(\text{read native position path}, \text{clean native position path})\le e^{-\kappa s}, \qquad \text{retained archive gap}=1. (11.12)

The explicit profiles provide s=1/gs=1/g on the total physical horizon π/(2g)+1/(2g)+16/g+π/(4h)\pi/(2g)+1/(2g)+16/g+\pi/(4h).

Proof

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 15/g15/g the field, rotor and display have returned, all contacts are off, and CC 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 ss, of probability eκse^{-\kappa s}. 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-κ\kappa path estimate for every intermediate pp, arbitrary memory feedback or perturbation of this programme is inferred from it. Increasing κ\kappa 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.