Skip to content
Shadow Theory

Chapter 25 Version 2

Configuration records and coherent continuation

Reading position 36 of 53

This chapter consolidates the configuration constitution of [M18], the finite record interactions of [M30], and the corrected coherent continuation results of [C02]. Its principal result is a complete finite-record construction with one actual configuration and an uncollapsed wave, as an alternative to intrinsic absorbing extraction. Here the equivariant process and joint ready law remain explicit inputs. The later pilot theory derives an effective Bell process from its finite microscopic model and gives an autonomous material implementation. No argument identifies an actual configuration jump with a global projection of the wave.

25.1 Complete source and the two meanings of continuation

Let HS\mathcal H_S carry one unknown system, let HR\mathcal H_R be an inaccessible reference, and include all returning quantum memories in the carried space B\mathcal B. There is no control on RR. The complete source is (c,Φ,Q)(c,\Phi,Q): declared classical provenance and controls cc, a normalized wave Φ\Phi, and one actual apparatus configuration QQ. A newly acquired record has a physical carrier in QQ or in a jointly modeled configuration register. A mathematical past trajectory is not an additional accessible archive.

Two realizations will be used. In the continuous realization, ΦL2(Q;B)\Phi\in L^2(\mathcal Q;\mathcal B) and the specified linear wave dynamics have a conserved density and current,

ρt(q)=Φt(q)2,tρt+divJt=0,Q˙t=Jt(Qt)/ρt(Qt).\rho_t(q)=\|\Phi_t(q)\|^2,\qquad \partial_t\rho_t+\operatorname{div}J_t=0,\qquad \dot Q_t=J_t(Q_t)/\rho_t(Q_t). (25.1)

An admitted programme must have a unitary wave propagator and an almost-sure conservative guidance flow. These analytic properties are checked explicitly for the modules below; they are not asserted for arbitrary singular coefficients. A sufficient differential expression is

Ht=ik(Ak(q,t)qk+12qkAk(q,t))+V(q,t),Ak=Ak,V=V, H_t=-i\hbar\sum_k\left(A_k(q,t)\partial_{q_k} +\tfrac12\partial_{q_k}A_k(q,t)\right)+V(q,t), \qquad A_k=A_k^\dagger,\quad V=V^\dagger,

on a domain supplying those properties, with Jk=ΦAkΦJ_k=\Phi^\dagger A_k\Phi.

In the discrete realization, {Px:xQ}\{P_x:x\in\mathcal Q\} is a finite orthogonal configuration resolution, wx=PxΦ2w_x=\|P_x\Phi\|^2, and

Jyx=2ImPyΦ,HPxΦ. J_{yx}=\frac2\hbar\operatorname{Im} \langle P_y\Phi,H P_x\Phi\rangle.

The actual process is supplied by an admitted conservative equivariant law. The minimal Bell law is one such choice, conditional on the statistical selection developed elsewhere in this monograph. For comparison we also use the nonexplosive Markov family

qyx(t)=[Jyx(t)]++Kxy(t)wx(t),Kxy=Kyx0,q_{y\leftarrow x}(t)=\frac{[J_{yx}(t)]_++K_{xy}(t)}{w_x(t)}, \qquad K_{xy}=K_{yx}\ge0, (25.2)

where occupied-state rates are used and node behavior satisfies the well-posedness assumptions. Finite expected integrated traffic is a sufficient nonexplosion condition in equilibrium. The pairwise family (25.2) does not exhaust every equivariant process: divergence-free reassignments of net edge currents are additional possibilities. The present comparison requires the displayed pairwise matching.

Definition 25.1 (Relative branch and complete continuation)

For a physical record region Γh\Gamma_h, the relative branch is the normalized restriction PhΦ/PhΦP_h\Phi/\|P_h\Phi\|, when its norm is nonzero. The complete continuation is the actual global wave, actual configuration or its conditional law, and all retained controls and memories. A relative branch is a sufficient replacement only on a proved future domain in which omitted branches cannot affect the predictions being claimed.

For continuous local guidance, disjoint supports preserved by future propagation supply such a domain. For discrete processes, preservation of a record label does not by itself ensure that rates evaluated on the global wave equal rates evaluated on its normalized projection: an added KK may depend on amplitudes in other blocks. Endpoint quantum predictions proved below do not need that additional generator identity. Claims about an autonomous daughter process do.

25.2 A finite binary detector with exact time and null laws

Let Q++Q=IQ_++Q_-=I be orthogonal system projectors, extended by the identity on HR\mathcal H_R and all carried memories. Degenerate outcomes are permitted. Take a normalized even H1H^1 packet ϕ\phi, supported on [a,a][-a,a], and a fresh pointer xRx\in\mathbb R. The wave and actual ready law are

Φ0(x)=ϕ(x)ψ,P(X0dx)=ϕ(x)2dx, \Phi_0(x)=\phi(x)\psi,\qquad \mathbb P(X_0\in dx)=|\phi(x)|^2dx,

conditionally on the complete actual past and independently of the unknown ψ\psi. For u>0u>0, define

H=u(Q+Q)Px,Px=ix.H=u(Q_+-Q_-)P_x,\qquad P_x=-i\hbar\partial_x. (25.3)

The exact field, density, and current are

Φt(x)=ϕ(xut)Q+ψ+ϕ(x+ut)Qψ,ρt(x)=p+f(xut)+pf(x+ut),Jt(x)=u[p+f(xut)pf(x+ut)],pj=Qjψ2,f=ϕ2.\begin{align}\Phi_t(x)&=\phi(x-ut)Q_+\psi+\phi(x+ut)Q_-\psi,\tag{25.4}\\ \rho_t(x)&=p_+ f(x-ut)+p_- f(x+ut),\tag{25.5}\\ J_t(x)&=u[p_+f(x-ut)-p_-f(x+ut)], \qquad p_j=\|Q_j\psi\|^2,\quad f=|\phi|^2. \tag{25.6}\end{align}

All operators act trivially on the inaccessible reference.

Lemma 25.2 (Quantile flow)

Put Ft(x)=xρt(z)dzF_t(x)=\int_{-\infty}^x\rho_t(z)\,dz. Almost every trajectory has Ft(Xt)=UF_t(X_t)=U, where U=F0(X0)U=F_0(X_0) is uniform on (0,1)(0,1). The generalized inverse Xt=Ft1(U)X_t=F_t^{-1}(U) realizes the guidance flow and has density ρt\rho_t.

Proof

The continuity equation gives tFt=Jt\partial_tF_t=-J_t. At positive-density points, differentiating the fixed-quantile identity gives X˙t=Jt/ρt\dot X_t=J_t/\rho_t. The inverse distribution transform gives its marginal law. Plateau values correspond to a null set of uniform ranks; the smooth interior packets used here give continuous trajectories away from those exceptional ranks. Thus the definition supplies a nonempty almost-sure flow without adding a second random tape.

Place exit surfaces at ±L\pm L, with L>aL>a, and let τ\tau be the first exit from (L,L)(-L,L). The outward current at either surface has only one nonzero packet. Define

r(t)=0tuf(Lus)ds. r(t)=\int_0^t u f(L-us)\,ds.

It vanishes before (La)/u(L-a)/u and equals one after (L+a)/u(L+a)/u.

Theorem 25.3 (Finite exit and retained local field)

The detector (25.3) obeys

P(j,τdt)=pjuf(Lut)dt,P(j,τt)=pjr(t),P(τ>t)=1r(t).\mathbb P(j,\tau\in dt)=p_j u f(L-ut)\,dt,\qquad \mathbb P(j,\tau\le t)=p_jr(t),\qquad \mathbb P(\tau>t)=1-r(t). (25.7)

At a nonzero-probability exit, the normalized local carried field is Qjψ/pjQ_j\psi/\sqrt{p_j} up to a global phase. At a null deadline with 1r(t)>01-r(t)>0, the actual conditional position law is

1{x<L}ρt(x)dx1r(t);\frac{1_{\{|x|<L\}}\rho_t(x)\,dx}{1-r(t)}; (25.8)

the global field remains (25.6).

Proof

At +L+L, the negative packet is absent and the outward current is up+f(Lut)up_+f(L-ut). At L-L the outward current is upf(L+ut)=upf(Lut)up_-f(-L+ut)=up_-f(L-ut) by evenness. Neither surface can be crossed inward while this translation interaction remains active. Equivariance from Lemma 25.2 therefore identifies first-exit probability with the integrated outward current. Their sum gives the null probability and restriction of the equilibrium density gives (25.8). Only the indicated sector component of Φ\Phi is present at an exit, so normalization yields the stated relative carried vector.

This common interaction joins time, outlet, and local continuation. Its observed hazard is pjr(t)/(1r(t))p_jr'(t)/(1-r(t)), conditional on the ready preparation and no observed exit. Given the complete actual initial configuration, the exit is deterministic. This is not the original Hamiltonian Bell conditional jump intensity, nor an exponential clock in another notation.

A persistent position can encode the exit time. At a later cut,

Rt(x)={null,x<L,(signx, t(xL)/u),xL. R_t(x)= \begin{cases} \mathrm{null},&|x|<L,\\ (\operatorname{sign}x,\ t-(|x|-L)/u),&|x|\ge L. \end{cases}

Finite position bins give finite timestamp bins. If the pointer is reversed, a lasting timestamp requires an actual copy interaction. The formula does not provide an immutable external history.

The live relative sector populations remain pjp_j, but the coherent null is generally different from ψ\psi. Integrating over live positions gives the unnormalized internal matrix with (j,k)(j,k) block

QjψψQkLLϕ(xsjut)ϕ(xskut)dx,s±=±1. Q_j|\psi\rangle\langle\psi|Q_k \int_{-L}^L\phi(x-s_jut)\phi^*(x-s_kut)\,dx, \qquad s_\pm=\pm1.

At t>a/ut>a/u the off-diagonal blocks vanish. A frozen-null ray from an intrinsic extraction model therefore cannot replace this source in a return experiment.

For an explicit finite-gradient packet,

ϕ(x)=a1/2cos(πx/(2a))1{xa}, \phi(x)=a^{-1/2}\cos(\pi x/(2a))1_{\{|x|\le a\}},

direct integration gives

Eτ=Lu,Var(τ)=a2u2(132π2),ϕ22=π24a2.\mathbb E\tau=\frac Lu,\qquad \operatorname{Var}(\tau)=\frac{a^2}{u^2} \left(\frac13-\frac2{\pi^2}\right),\qquad \|\phi'\|_2^2=\frac{\pi^2}{4a^2}. (25.9)

Thus u2Var(τ)ϕ22=π2/121/2u^2\operatorname{Var}(\tau)\|\phi'\|_2^2=\pi^2/12-1/2 in this family. This is a concrete time/gradient tradeoff, not a new universal uncertainty relation. The transport generator is selfadjoint but unbounded and not lower bounded; its use is an effective source sector, not a microscopic stability theorem.

Loading errors have real branches. If a gated load prepares

ϕ(x)[cosθψrisinθjQjψj] \phi(x)\left[\cos\theta\,\psi|r\rangle -i\sin\theta\sum_jQ_j\psi|j\rangle\right]

and mode rr is stationary while modes jj propagate at sjus_ju, then P(j,τt)=sin2θpjr(t)\mathbb P(j,\tau\le t)=\sin^2\theta\,p_jr(t). After the traveling packets have exited, the surviving null is the stationary ready component, with probability cos2θ\cos^2\theta. This calculation assumes the propagation gate is closed during loading. It does not cover simultaneous loading and propagation by replacing their actual dynamics with these products.

25.3 Acquisition changes the packet that controls the exit

A physical snapshot is a defined wire, not a claim that every hidden coordinate is freely readable. Add a pointer with known packet χ(y)\chi(y), jointly equilibrated with XX, and use

Hcopy(t)=κ˙(t)XPy,κ(0)=0,κ(τc)=κ. H_{\rm copy}(t)=\dot\kappa(t)X P_y,\qquad \kappa(0)=0,\quad\kappa(\tau_c)=\kappa.

Characteristics give

Φτc(x,y)=ψϕ(x)χ(yκx),Xτc=X0,Yτc=Y0+κX0.\Phi_{\tau_c}(x,y)=\psi\phi(x)\chi(y-\kappa x),\qquad X_{\tau_c}=X_0,\quad Y_{\tau_c}=Y_0+\kappa X_0. (25.10)

The current in xx is zero during this pulse, while the current in yy is κ˙xΦ2\dot\kappa x|\Phi|^2.

Proposition 25.4 (Conditional rank after a snapshot)

Let

n(y)=ϕ(x)2χ(yκx)2dx,ϕy(x)=ϕ(x)χ(yκx)n(y). n(y)=\int|\phi(x)|^2|\chi(y-\kappa x)|^2dx,\qquad \phi_y(x)=\frac{\phi(x)\chi(y-\kappa x)}{\sqrt{n(y)}}.

For almost every yy with n(y)>0n(y)>0, the conditional actual density of XX is ϕy2|\phi_y|^2. Its own cumulative rank Fy(X)F_y(X) is uniform conditionally on Y=yY=y. Consequently an estimate based on YY and independent processing keys obeys

P(FY(X)a(Y)η)2η,0η12. \mathbb P(|F_Y(X)-a(Y)|\le\eta)\le2\eta,\qquad 0\le\eta\le\tfrac12.
Proof

Push the initial product density through (25.10). It becomes ϕ(x)2χ(yκx)2dxdy|\phi(x)|^2|\chi(y-\kappa x)|^2dx\,dy. Bayes' formula supplies the normalized conditional density. Its probability integral transform is uniform, and an interval of length at most 2η2\eta has at most that conditional probability. Independent keys can be conditioned on and then integrated out.

The original rank and the narrowed conditional rank are different variables. This theorem calculates the change; it does not impose numerical threshold retirement. For real Gaussian packets of variances σx2,σy2\sigma_x^2,\sigma_y^2, set r=κ2σx2/σy2r=\kappa^2\sigma_x^2/\sigma_y^2. Gaussian integration and UPxU=PxκPyU^\dagger P_xU=P_x-\kappa P_y give

Var(XY)=σx21+r,Dpure(Φτc,ψϕχ)=r4+r,ΔVar(Px)=2r4σx2. \operatorname{Var}(X\mid Y)=\frac{\sigma_x^2}{1+r},\qquad D_{\rm pure}(\Phi_{\tau_c},\psi\phi\chi)=\sqrt{\frac r{4+r}}, \qquad \Delta\operatorname{Var}(P_x)=\frac{\hbar^2r}{4\sigma_x^2}.

Indeed the wave overlap is (1+r/4)1/2(1+r/4)^{-1/2}, and the final momentum variance adds κ22/(4σy2)\kappa^2\hbar^2/(4\sigma_y^2). The pure-state distance compares complete fields; the information has not been discarded in a reduced channel.

Keeping yy frozen after copying and using the binary detector with L>2aL>2a gives the complete finite acquisition law

P(j,dt,dy)=pjuf(sj(Lut))χ(yκsj(Lut))2dtdy.\mathbb P(j,dt,dy)=p_j u f(s_j(L-ut)) |\chi(y-\kappa s_j(L-ut))|^2\,dt\,dy. (25.11)

To prove it, condition on yy and apply the quantile proof to ϕy\phi_y. For a right exit the originating packet coordinate is ξ=Lut\xi=L-ut; for a left exit it is ξ=utL\xi=ut-L. Multiplication by n(y)n(y) yields (25.11). Integrating in time gives P(j,dy)=pjn(y)dy\mathbb P(j,dy)=p_j n(y)\,dy, but the time profiles conditional on yy need not be equal for the two outlets. In particular, ϕy\phi_y may be asymmetric. Correct terminal weights therefore do not imply a common conditional clock at every snapshot value.

25.4 Finite wave writes, physical copies, and echo experiments

There is a discrete finite analogue that will also be used for archives. Let a blank register AA have orthogonal states b,j|b\rangle,|j\rangle. For projectors QjQ_j on the unknown system, define

HM=igjQj(jbbj).H_M=i\hbar g\sum_jQ_j\otimes (|j\rangle\langle b|-|b\rangle\langle j|). (25.12)

Its norm is g\hbar g, and from ψb\psi|b\rangle the exact wave is

Φt=jQjψ(cosgtb+singtj).\Phi_t=\sum_jQ_j\psi\otimes (\cos gt\,|b\rangle+\sin gt\,|j\rangle). (25.13)

It preserves all within-sector amplitudes and inaccessible reference correlations by its explicitly scalar action.

Put ej=Qjψ2e_j=\|Q_j\psi\|^2. For the pointer-only configuration resolution, the minimal Bell currents are Jjb=2gejsingtcosgtJ_{jb}=2ge_j\sin gt\cos gt. Before π/(2g)\pi/(2g),

qjb=2gejtangt,P(τ>t)=cos2gt,P(j,τdt)=ejgsin(2gt)dt. q_{j\leftarrow b}=2ge_j\tan gt,\qquad \mathbb P(\tau>t)=\cos^2gt,\qquad \mathbb P(j,\tau\in dt)=e_jg\sin(2gt)\,dt.

Integration of the total hazard proves survival; multiplication by the conditional mark rate gives the density. Its divergent endpoint hazard expels all residual blank probability without an explosion, since there can be only one jump during this pulse.

If the fixed fundamental resolution resolves system sectors as well, use Qj=PjSQ_j=P_j^S for this exact one-event example. Each transition (j,b)(j,j)(j,b)\to(j,j) has rate 2gtangt2g\tan gt and initial equilibrium mass eje_j. The same mixture density results. For arbitrary projectors on a finer fixed resolution, endpoint weights still follow from equivariance but the pointer-only first-event formula must not be imported. Coarse flux and path transfer require the separate conditions of Theorem 16.5.

A second blank register CC can be written by

HC=igCjjjA(jbbj)C H_C=i\hbar g_C\sum_j|j\rangle\langle j|_A\otimes (|j\rangle\langle b|-|b\rangle\langle j|)_C

for area π/2\pi/2. At a completed first write,

jQjψjAbCjQjψjAjC. \sum_jQ_j\psi|j\rangle_A|b\rangle_C \longmapsto\sum_jQ_j\psi|j\rangle_A|j\rangle_C.

Reversing the first write alone produces jQjψbAjC\sum_jQ_j\psi|b\rangle_A|j\rangle_C. Reversing both copies, in the appropriate reverse order, restores the full original product wave. These are unitary identities, not assertions that an occupied branch has changed the global source wave.

The partial-write experiment gives a useful finite backaction calculation. Write c=cosθ,s=sinθc=\cos\theta,s=\sin\theta, copy after the partial first pulse, and reverse that pulse by θ\theta. The final wave is

jQjψ[c2b,bcsj,b+s2b,j+scj,j]A,C.\sum_jQ_j\psi\left[ c^2|b,b\rangle-cs|j,b\rangle +s^2|b,j\rangle+sc|j,j\rangle\right]_{A,C}. (25.14)

Therefore, under any admitted equivariant complete configuration law,

P(A=b)=c4+s4,P(A=j)=2c2s2ej,P(C=j)=s2ej. \mathbb P(A=b)=c^4+s^4,\qquad \mathbb P(A=j)=2c^2s^2e_j,\qquad \mathbb P(C=j)=s^2e_j.

At θ=π/4\theta=\pi/4 copying reduces the return probability from one to one half. The acquired register is retained throughout this comparison.

A later noncommuting measurement makes the continuation distinction explicit. After a completed first write and copy, reverse AA, apply a known unitary VjV_j controlled by C=jC=j, and write projectors BkB_k into a fresh register. The final orthogonal components are (BkVjQjIR)ψb,j,k(B_kV_jQ_j\otimes I_R)\psi\,|b,j,k\rangle. Hence

P(C=j,D=k)=(BkVjQjIR)ψ2.\mathbb P(C=j,D=k)=\|(B_kV_jQ_j\otimes I_R)\psi\|^2. (25.15)

This is a coherent controlled Hamiltonian on a complete finite bank. No external rule first samples jj and then supplies a daughter. For ψ=+x\psi=|+x\rangle, a ZZ write followed by complete erasure and an XX probe gives ++ with probability one. If one copy remains, the same XX probe gives probability one half. A daughter-only mixture cannot reproduce the complete-erasure experiment.

25.5 What final-record equivariance actually proves

Theorem 25.5 (Complete physical endpoint law)

Fix a linear isometric apparatus preparation map TT independent of the unknown input, a complete linear wave programme UU, and an initially equivariant actual configuration law. Suppose the actual dynamics preserve the norm density of the complete wave. For a physically stored final record with configuration projector PhP_h,

Pψ(h)=PhUTψ2.\mathbb P_\psi(h)=\|P_hUT\psi\|^2. (25.16)

All null, opposite, failure, and exhaustion regions are included in the resolution. The formula retains arbitrary inaccessible references and returning quantum memories in UTψUT\psi.

Proof

Equivariance identifies the actual final configuration law with the squared norm of UTψUT\psi. Summing or integrating that law over the physical record region gives (25.16). Every step acts by the identity on the reference. Linearity of TT and UU then gives the matrix event map ρPhUTρTUPh\rho\mapsto P_hUT\rho T^\dagger U^\dagger P_h. This map is a consequence of the specified wave and probability laws, not an assumption used to select those laws. Classical provenance is retained by conditioning on its actual value and then averaging with its actual law.

Corollary 25.6 (Operational endpoint equivalence)

Two conservative equivariant configuration processes with the same initial complete wave, norm-distributed configuration, global Hamiltonian programme, and final physical record map have identical final-record distributions. This applies to minimal Bell dynamics and any well-defined member of (25.2). It also applies to a final bank storing an entire finite operational record string.

Proof

Both distributions equal (25.16). The record string must be physically present in the final bank, so it is a final configuration function; the argument does not apply to an unrecorded path functional.

For a finite sequence with retained record labels, expand the complete unitary programme into its orthogonal final branches. If their carried coefficients are Khn(n)Kh1(1)ψK_{h_n}^{(n)}\cdots K_{h_1}^{(1)}\psi, then

P(h1,,hn)=Khn(n)Kh1(1)ψ2. \mathbb P(h_1,\ldots,h_n) =\|K_{h_n}^{(n)}\cdots K_{h_1}^{(1)}\psi\|^2.

This follows by the expansion and Theorem 25.5, without independently sampling branch weights at each stage. The KK operators must be the actual branch coefficients, including coherent nulls, surviving excitations, and controlled phases.

An instructive null occurs when an active state e|e\rangle has a clean-return recorder e,M0Ae,M0+De,M1|e,M_0\rangle\mapsto A|e,M_0\rangle+D|e,M_1\rangle, A2+D2=1|A|^2+|D|^2=1, while a spectator u,M0|u,M_0\rangle is unchanged. For input αe+βu\alpha|e\rangle+\beta|u\rangle, the unnormalized null vector is αAe+βu\alpha A|e\rangle+\beta|u\rangle. A real rotation ece+su|e\rangle\mapsto c|e\rangle+s|u\rangle, use+cu|u\rangle\mapsto-s|e\rangle+c|u\rangle, followed by a second active recorder of response R2R_2, gives

P(null1,record2)=αAcβs2R2. \mathbb P(\mathrm{null}_1,\mathrm{record}_2) =|\alpha Ac-\beta s|^2 R_2.

For reference vectors Re,RuR_e,R_u, replace the square by

αAc2+βs22Re{αAcβsRuRe}. |\alpha Ac|^2+|\beta s|^2 -2\operatorname{Re}\{\alpha Ac\,\beta^*s \langle R_u|R_e\rangle\}.

Orthogonal references remove interference but not the spectator-to-active term. A scalar posterior for active origin is therefore insufficient.

At a separated cut and on a branch with PhΦ2>0\|P_h\Phi\|^2>0, conditioning on hh gives configuration probabilities PxPhΦ2/PhΦ2\|P_xP_h\Phi\|^2/\|P_h\Phi\|^2. For a claim that the normalized relative wave alone generates the same microscopic future path, additionally require

qyx[Φ,c]=qyx[PhΦ/PhΦ,c],x,yΓh,q_{y\leftarrow x}[\Phi,c] =q_{y\leftarrow x}[P_h\Phi/\|P_h\Phi\|,c], \qquad x,y\in\Gamma_h, (25.17)

and zero transitions out of Γh\Gamma_h on the claimed horizon. Minimal Bell rates with a block-diagonal Hamiltonian satisfy this by cancellation of the normalization factor. An arbitrary nonlinear K[Φ]K[\Phi] need not. The full-wave endpoint theorem remains valid without (25.17); autonomous daughter law and endpoint operational equivalence are different conclusions.

25.6 Autonomous recording: an obstruction and a completed repair

The shuttered write does not establish an independent memory oscillator that restarts at each actual product entry. A configuration jump leaves the full wave intact, so such a restart is another physical intervention. The following exact autonomous examples from [C02] keep all amplitudes.

For e=1,M0e=|1,M_0\rangle, p=R,M0p=|R,M_0\rangle, and m=R,M1m=|R,M_1\rangle, take

H3/=g(pe+ep)+χ(mp+pm). H_3/\hbar=g(|p\rangle\langle e|+|e\rangle\langle p|) +\chi(|m\rangle\langle p|+|p\rangle\langle m|).

Writing Ω3=g2+χ2\Omega_3=\sqrt{g^2+\chi^2}, the initial state ee evolves with

a=χ2+g2cosΩ3tΩ32,b=igΩ3sinΩ3t,c=gχΩ32(cosΩ3t1). a=\frac{\chi^2+g^2\cos\Omega_3t}{\Omega_3^2},\quad b=-i\frac g{\Omega_3}\sin\Omega_3t,\quad c=\frac{g\chi}{\Omega_3^2}(\cos\Omega_3t-1).

Substitution into ia˙=gbi\dot a=gb, ib˙=ga+χci\dot b=ga+\chi c, ic˙=χbi\dot c=\chi b verifies the solution and initial data. Consequently

suptP(m,t)4g2χ2(g2+χ2)20as χ/g.\sup_t\mathbb P(m,t)\le \frac{4g^2\chi^2}{(g^2+\chi^2)^2}\longrightarrow0 \quad\hbox{as }\chi/g\longrightarrow\infty. (25.18)

Strong memory coupling suppresses transfer; it is not automatically arbitrarily fast faithful acquisition. The added terminal-protection channel and its controlled weak-protection asymptotic are calculated in Section C.3. Product-reservoir recurrences are retained explicitly in Section C.2.

A scoped trapped-source obstruction is also exact. In native epe\leftrightarrow p minimal dynamics, product entry occurs by π/(2g)\pi/(2g) almost surely and the source returns to ee by T=π/gT=\pi/g. Suppose a monitored architecture traps every successfully recorded path on the product side through TT. Let dd be source-path total variation from the native model, EE be monitored product entry by TT, and ε=P(E and no protected record)\varepsilon=\mathbb P(E\hbox{ and no protected record}). Then P(E)1d\mathbb P(E)\ge1-d, the recorded probability is at least 1dε1-d-\varepsilon, and its trapped product endpoint differs from the native endpoint. Thus

2d+ε1.2d+\varepsilon\ge1. (25.19)

The inequality uses only these events and the definition of total variation. It is not a universal recorder impossibility theorem.

A four-state reaction supplies the relevant repair. In the basis e0,p0,p1,e1e0,p0,p1,e1, take

H4/=(0g00g0χ00χ0g00g0). H_4/\hbar= \begin{pmatrix} 0&g&0&0\\g&0&\chi&0\\0&\chi&0&g\\0&0&g&0 \end{pmatrix}.

Put Ω=χ2+4g2\Omega=\sqrt{\chi^2+4g^2}, C=cos(Ωt/2)C=\cos(\Omega t/2), S=sin(Ωt/2)S=\sin(\Omega t/2), v=χt/2v=\chi t/2, k=2g/Ωk=2g/\Omega, r=χ/Ωr=\chi/\Omega. From e0e0,

a=Ccosv+rSsinv,b=ikScosv,c=kSsinv,d=i(Csinv+rScosv). a=C\cos v+rS\sin v,\quad b=-ikS\cos v,\quad c=-kS\sin v,\quad d=i(-C\sin v+rS\cos v).

Reflection-symmetric and antisymmetric combinations reduce H4H_4 to two 2×22\times2 matrices (0gg±χ)\left(\begin{smallmatrix}0&g\\g&\pm\chi\end{smallmatrix}\right). Their elementary exponentials give these amplitudes, proving the formula.

The source product probability and coherence are

ρpp=4g2Ω2sin2(Ωt/2),ρep=igΩsin(Ωt). \rho_{pp}=\frac{4g^2}{\Omega^2}\sin^2(\Omega t/2),\qquad \rho_{ep}=i\frac g\Omega\sin(\Omega t).

Choose χ=23g\chi=2\sqrt3g, so Ω=4g\Omega=4g. At t=π/(2g)t=\pi/(2g) the monitored source is certainly ee, while the native source is certainly pp: endpoint and path total variation are one. At T=π/gT=\pi/g the monitored wave is

e{cos(3π)M0isin(3π)M1}, |e\rangle\{\cos(\sqrt3\pi)|M_0\rangle -i\sin(\sqrt3\pi)|M_1\rangle\},

and the source endpoint agrees exactly with the native one. The written branch permits source return, so the trapping premise of (25.19) has genuinely changed. Endpoint agreement has not removed the earlier disturbance.

At a clean factorized return e(aM0+dM1)|e\rangle(a|M_0\rangle+d|M_1\rangle), a subsequent source-only operation cannot reveal that isolated memory. A real conditional contact κ(p,M1e,M1+h.c.)\hbar\kappa(|p,M_1\rangle\langle e,M_1|+\mathrm{h.c.}) for time τ\tau gives instead P(p)=d2sin2(κτ)\mathbb P(p)=|d|^2\sin^2(\kappa\tau). Retained information matters through its correlations and later couplings, not merely through the name archive.