Skip to content
Shadow Theory

From delivery to directed use

The exact joint-record accuracy frontier, its physical realization and the side-resource assumptions that make it valid.

The relation must reach the operation that uses it

Correctly stored ingredients do not determine their actual use. This chapter follows source delivery, predecessor retention and a directed update through one resource-accounted programme. It obtains a necessary resource condition for a nominated functional interpretation and a conditional ideal-interface realization. A detached task device is not thereby an experiencer.

A declared source-to-record programme

Prepare independent uniform bits a,ba,b in calibrated source slots: aa is predecessor and bb the later contribution. Include repeated features. In a relativistic embedding choose timelike-ordered source events. The local slot schedule is apparatus structure, not a universal simultaneous slice. The directed target is D=b−a∈{−1,0,+1}D=b-a\in\{-1,0,+1\} under fixed provenance. The full ordered pair, equivalently G=2b−aG=2b-a, is a stricter target. No unordered-pair label or preparation archive is free information. Learned context and timing standards are independent of the randomized features.

Use two independent copies of the positive XX chain. Until collection cuts their Hamiltonians remain fixed. At far endpoint ii,

ρx(qi)=(1−xqi)∣0⟩⟨0∣+xqi∣1⟩⟨1∣,qi=sin⁡2Ni−2(Ωiti/2).\rho_x(q_i)=(1-xq_i)|0\rangle\langle0|+xq_i|1\rangle\langle1|,\qquad q_i=\sin^{2N_i-2}(\Omega_it_i/2).

This sine delivery profile differs from the original endpoint's cosine return profile, but both follow from the solved amplitudes. Choose source and collection times so the first record arrives first. Calibrated slots disclose provenance, not values.

Ready memory MM collects the first endpoint by SWAP; ready live register LL collects the second. At each cut, decouple the endpoint from the chain and protect endpoint and collector during the finite pulse. Keep the remaining source isolated afterward. No old port, preparation controller or remote environment supplies a later uncounted carrier. Count schedules, switches, ready stock and timing references. For a Hermitian involution UU, HU=π(I−U)/(2τg)H_U=\pi(I-U)/(2\tau_g) enacts it over τg>0\tau_g\gt0. Charge isolation, switching and pulse durations to the deadline and every active memory exposure to retention. Switching transients or residual coupling enter the joint calibration budget. This composite scheduled programme is not the entire observer evolving autonomously under the original static chain Hamiltonian.

Retain MM through a ready inaccessible bath qubit KK:

Hmem=κ2(XMXK+YMYK)+2κ(nM+nK),r=cos⁡2(κΔ).H_{\mathrm{mem}}=\frac\kappa2(X_MX_K+Y_MY_K)+2\kappa(n_M+n_K),\qquad r=\cos^2(\kappa\Delta).

For κ>0\kappa\gt0 the eigenvalues 0,κ,3κ,4κ0,\kappa,3\kappa,4\kappa give positivity and a unique ready ground. Tracing KK yields survival rr after active memory time Δ\Delta. Coupling is off during collection and interpretive gates, on only for the declared retention interval; isolate it before the finite update. No bath return occurs before the target. The loss is reversible physical retention loss, not an assumed contraction law.

At use, the complete admitted code is

ρabML=ρa(p)⊗ρb(q),p=qAr,q=qB.(13)\rho_{ab}^{ML}=\rho_a(p)\otimes\rho_b(q),\qquad p=q_Ar,\quad q=q_B.\tag{13}

Independence, source-isolating collection and absence of cross-route/controller leakage establish the factorization. Separate marginal fits do not. The decoder may use a common instrument and fresh ancillas with ρabMLC=ρabML⊗σC\rho_{ab}^{MLC}=\rho_{ab}^{ML}\otimes\sigma_C. An input-independent ancillary marginal alone is inadequate. Correlated archives, incoming carriers, reference feedback or predictive context change the resources.

The exact joint-access frontier

Assume the joint record is diagonal in the M,LM,L basis and has pointwise marginals

Pr⁡(M=1∣a,b)=ap,Pr⁡(L=1∣a,b)=bq.\Pr(M=1\mid a,b)=ap,\qquad\Pr(L=1\mid a,b)=bq.

Set j=Pr⁡(M=L=1∣a=b=1)j=\Pr(M=L=1\mid a=b=1).

Theorem 6.1: joint record frontier for directed interpretation. For independent uniform features and the stated complete classical record,

max⁡(0,p+q−1)≤j≤min⁡(p,q).\max(0,p+q-1)\le j\le\min(p,q).

Among all common quantum decoders with fresh fixed-factor ancillary resources, the exact optima are

SDmax⁡=1+j2,Spairmax⁡=1+p+q+j4.(14)S_D^{\max}=\frac{1+j}{2},\qquad S_{\mathrm{pair}}^{\max}=\frac{1+p+q+j}{4}.\tag{14}

Every feasible jj is attainable in this classical-record class. The independent prescribed source has

j=pq=qArqB,SDmax⁡=1+qArqB2,Spairmax⁡=(1+p)(1+q)4.(15)j=pq=q_Arq_B,\qquad S_D^{\max}=\frac{1+q_Arq_B}{2},\qquad S_{\mathrm{pair}}^{\max}=\frac{(1+p)(1+q)}4.\tag{15}

Proof. The premises force the complete conditional table:

ab\MLab\backslash ML0000010110101111
000011000000
01011−q1-qqq0000
10101−p1-p00pp00
11111−p−q+j1-p-q+jq−jq-jp−jp-jjj

Nonnegativity is exactly the stated interval. A POVM's success on diagonal states depends only on its diagonal entries, an ordinary stochastic decoder. Deterministic maximum-a-posteriori decoding is therefore optimal even among quantum procedures. For observation 0000, multiply unnormalized posterior masses by four. They are 2−p−q+j2-p-q+j for D=0D=0, 1−q1-q for D=+1D=+1, and 1−p1-p for D=−1D=-1; the zero mass is maximal. At 0101, q≥q−jq\ge q-j favors +1+1; at 1010, p≥p−jp\ge p-j favors −1-1; 1111 permits only zero. Thus Dout=L−MD_{\mathrm{out}}=L-M attains the directed optimum. Summing the maximal masses gives (1+j)/2(1+j)/2. Guessing the observed pair maximizes full-pair success; the four correct masses sum to 1+p+q+j1+p+q+j.

For sharpness choose input-independent joint survival flags (EA,EB)(E_A,E_B) with probabilities j,p−j,q−j,1−p−q+jj,p-j,q-j,1-p-q+j, and set (M,L)=(aEA,bEB)(M,L)=(aE_A,bE_B). Every feasible table results. This establishes class sharpness, not arbitrary-source attainment. The prescribed independent programme selects j=pqj=pq.

The governing decision formula is standard Bayesian decision theory:

Sf(P)=∑ymax⁡d∑x:f(x)=dπ(x)P(y∣x).S_f(P)=\sum_y\max_d\sum_{x:f(x)=d}\pi(x)P(y\mid x).

The theorem evaluates it for this commuting four-preparation family [1,3]. The flag interval is the established Bernoulli coupling bound, also used for packet erasures [9]. Those erasures are visibly flagged; here a lost one resets to zero, an unflagged Z-channel. Functional compression and distributed function computation supply the larger context [7,53]. The contribution is the closed task value and its physical delivery/retention interpretation.

More co-retention improves these two targets, not every task. At p=q=1/2p=q=1/2, j=0j=0 perfectly distinguishes 0000 from 1111, whereas j=1/2j=1/2 gives only 3/43/4 on that binary task, reversing their directed-change ranking. Any common garbling must fix outcomes 00,01,1000,01,10 because their preparation rows agree, and then cannot transform either 1111 row to the other. The experiments are incomparable. No general Blackwell dominance follows.

Directed error at most ϵ<1/2\epsilon\lt1/2 requires j≥1−2ϵj\ge1-2\epsilon. For the prescribed source this gives

qArqB≥1−2ϵ,Δ≤κ−1arccos⁡1−2ϵqAqB.(16)q_Arq_B\ge1-2\epsilon,\qquad \Delta\le\kappa^{-1}\arccos\sqrt{\frac{1-2\epsilon}{q_Aq_B}}.\tag{16}

This uses 0≤κΔ≤π/20\le\kappa\Delta\le\pi/2 and qAqB≥1−2ϵq_Aq_B\ge1-2\epsilon. Otherwise even perfect retention misses the target. Failure of delivery or retention now has an exact task consequence; it need not mean no experience. Uncertainty, fusion, an erroneous order or anticipation can still be taken up.

Countermodels locate the assumptions

At p=q=1/2p=q=1/2, a shared input-independent coin retains both features with probability 1/21/2 and resets both otherwise. It gives j=1/2j=1/2 and SD=3/4S_D=3/4, whereas independent loss gives j=1/4j=1/4 and SD=5/8S_D=5/8. Marginals alone allow the sharp upper envelope [1+min⁡(p,q)]/2[1+\min(p,q)]/2.

For preparation a=b=1a=b=1 the two laws are

(1/4,1/4,1/4,1/4),(1/2,0,0,1/2).(1/4,1/4,1/4,1/4),\qquad(1/2,0,0,1/2).

Their TV distance is 1/21/2, giving equal-prior one-shot identification error 1/41/4. For nn independent trials with fresh flags the exact error is 2−n−12^{-n-1}. The overlapping transcripts are the 2n2^n all-diagonal strings, with probabilities 4−n4^{-n} and 2−n2^{-n}. Half their overlap sum yields the formula. Choose the product model after any off-diagonal outcome, otherwise shared loss. Conditional errors are 2−n2^{-n} and zero. Finite trials never identify perfectly; all-diagonal data favor shared loss. Reused/correlated flags require a different law. Joint access or pooled records enlarge the experiment class. Separate one-port marginal experiments retain equivalence; no complete-law surrogate ceiling has been surpassed.

Directed-feature accuracy for independent versus marginal-only records and for varied co-retention at fixed half-survival.

Figure 2. Equal local survivals can conceal different joint access. At p=q=1/2p=q=1/2, varying jj moves the optimum from 1/21/2 to 3/43/4. These are analytic model curves, not fitted observations.

Joint diagonality matters too. Keep p=q=1/2p=q=1/2, set ρ00=∣00⟩⟨00∣\rho_{00}=|00\rangle\langle00|, ρ01=(∣00⟩⟨00∣+∣01⟩⟨01∣)/2\rho_{01}=(|00\rangle\langle00|+|01\rangle\langle01|)/2, ρ10=(∣00⟩⟨00∣+∣10⟩⟨10∣)/2\rho_{10}=(|00\rangle\langle00|+|10\rangle\langle10|)/2, and ρ11=∣Ψ+⟩⟨Ψ+∣\rho_{11}=|\Psi^+\rangle\langle\Psi^+|. Then j=0j=0, yet a POVM assigning zero to span⁡{00,11,Ψ+}\operatorname{span}\{00,11,\Psi^+\} and +1+1 to Ψ−\Psi^- attains 9/16>1/29/16\gt1/2. Diagonal marginals do not imply a diagonal joint state. The prescribed product construction does supply it.

A hidden preparation archive also defeats a local-code bound. Restricting to nonrepeated pairs lets a perfect predecessor identify the pair before live input arrives. Both alter premises rather than improve interpretation of the unchanged task.

Count the entire decoder input

A register RR may be marginally uniform under every preparation yet improve the task through correlations. Extend the product half-survival record as follows:

ababComplete (ML,R)(ML,R) conditional law
0000(00,0):1/2; (00,1):1/2(00,0):1/2;\ (00,1):1/2
0101(01,0):1/2; (00,1):1/2(01,0):1/2;\ (00,1):1/2
1010(10,0):1/2; (00,1):1/2(10,0):1/2;\ (00,1):1/2
1111(00,0):1/4; (10,0):1/4; (01,1):1/4; (11,1):1/4(00,0):1/4;\ (10,0):1/4;\ (01,1):1/4;\ (11,1):1/4

Tracing RR gives the same product table and RR remains unbiased for every abab. Yet decoding MLRMLR gives SD=11/16S_D=11/16 and Spair=5/8S_{\mathrm{pair}}=5/8, exceeding 5/85/8 and 9/169/16 from MLML. In outcome order (00,0),(00,1),(01,0),(01,1),(10,0),(10,1),(11,0),(11,1)(00,0),(00,1),(01,0),(01,1),(10,0),(10,1),(11,0),(11,1), maximal unnormalized masses are (3/4,1/2,1/2,1/4,1/2,0,0,1/4)(3/4,1/2,1/2,1/4,1/2,0,0,1/4) for DD and (1/2,1/2,1/2,1/4,1/2,0,0,1/4)(1/2,1/2,1/2,1/4,1/2,0,0,1/4) for the pair. Summing and multiplying by 1/41/4 proves the optima. Timing and control metadata need the same scrutiny.

This is different from disclosing the independent survival flags in the attainment proof. Conditional on those flags, missing bits remain uniform; L−ML-M and zero guessing for absent bits remain MAP. Averaging gives the original optima. Those particular flags are harmless for these uniform targets, not a certificate for arbitrary auxiliaries.

Proposition 6.2: harmless side-resource certificate. If the entire available input is σab=C(ρabML)\sigma_{ab}=\mathcal C(\rho_{ab}^{ML}) for one common CPTP map, its task optimum cannot exceed Theorem 6.1. If one common recovery obtains ρabML\rho_{ab}^{ML} from σab\sigma_{ab}, equality and the original attainer follow. Fresh fixed-factor ancillas meet both conditions.

Proof. Compose any decoder with C\mathcal C for the upper bound. Compose the original attainer with recovery for the reverse inequality. Appending and tracing a fixed ancillary factor give those maps in the fresh-resource case.

For extra classical records, the conditional law given MLML may simply be preparation-independent. This weaker data-processing certificate allows harmless correlation with MLML. The counterexample fails it.

The product calculation is conditional on actual preparation, isolation and control interfaces. A positive Hamiltonian does not certify those interfaces. A scoring archive must be inaccessible before decision. Random preparation, switches and timing must introduce no hidden completion. Joint calibration must cover every accessible controller/reference or establish its harmlessness. Postselection and later lookup are not free. Charge all active memory time to Δ\Delta, protected gate storage separately, and collection, isolation, latency and readout to deadlines. The gate's norm π/τg\pi/\tau_g is an additional control resource, not bounded by the chain couplings. The model is not an exact relativistic speed-limit theorem or a built apparatus.

Robustness and the operation actually performed

Let ρ~ab\widetilde\rho_{ab} be actual complete conditional inputs and ρabideal=ρabML⊗σC\rho_{ab}^{\mathrm{ideal}}=\rho_{ab}^{ML}\otimes\sigma_C. Bound their average joint trace distance, including all accessible side resources, by

ηˉ=14∑a,bD(ρ~ab,ρabideal).\bar\eta=\frac14\sum_{a,b}D(\widetilde\rho_{ab},\rho_{ab}^{\mathrm{ideal}}).

Actual states may be coherent or correlated. Each correct-answer effect lies between zero and identity; its probability differs by at most trace distance. Taking suprema gives

S~Dmax⁡≤(1+j)/2+ηˉ.(17)\widetilde S_D^{\max}\le(1+j)/2+\bar\eta.\tag{17}

An independently justified confidence lower bound LL on success therefore requires j≥[2L−1−2ηˉ]+j\ge[2L-1-2\bar\eta]_+. Contractivity and triangle inequalities combine compatible channel, preparation and finite-gate errors. Marginal bars do not establish this joint premise. The numerical examples are constructed, not human fits.

A finite native update uses ready registers:

(M,L,0D,0G,0valid)↦(M,L,code⁡(L−M),code⁡(2L−M),1).(M,L,0_D,0_G,0_{\mathrm{valid}})\mapsto(M,L,\operatorname{code}(L-M),\operatorname{code}(2L-M),1).

Input-controlled flips, with Toffoli gates where needed, implement this reversibly in finite time. CNOT alone is not claimed sufficient for arbitrary output encodings. The XOR-on-output map is an involution and admits the stated finite Hamiltonian. GG may drive a fixed comparison or anticipation rule; prediction is current organization, not receipt from the future.

Closing the use gate preserves the archive but leaves the valid flag false and executes no directed update. Swapping actual predecessor/live bindings preserves records and total information but enacts M−LM-L. In the product model its task success becomes (2−p−q+2pq)/4(2-p-q+2pq)/4, rather than (1+pq)/2(1+pq)/2. Another decoder could repair the swap: the contrast is realized use, not a lower resource-class optimum. At ideal delivery, an unordered bag permits only 3/43/4 for the directed target. Later addressed retrieval is separate; deletion after the update removes later access without undoing its occurrence.

For human application, delivered relations must actually enter an independently qualifying person's grounded uptake. The finite device does not select that person's experiential boundary. Under complete-enactment identity, an integrated predecessor/live/anticipatory relation belongs to the experience itself. No later output or moving present converts it. A third source event can occur after the update, so the transition is already enacted before the sequence ends.

The result is a source-to-functional-interpretation constraint with a conditional experiential application. Classical order success does not establish coherent completion. Reference-assisted tests use separate incompatible preparations and their own inert-reference and closed-cut conditions. Ordinary environmental memory survives both analyses; the exact joint-access, timing, intervention and calibration requirements make the nominated operation physically assessable.

Published source: Block Universe and Shadow Theory. Read the original PDF alongside the web treatment.