Manuscript VIII-C@3 · VIII-C-v3.tex · section · 3b070436

Records do not determine residual access

Named access and the supplied-token boundary › Records do not determine residual access · lines 498–512

VIII-C@3#eq:destructive

For destructive computational readout of $S$ , with surviving complement $B$ , a specified output is

M_{S} (ρ) = z \sum ∣ z ⟩ ⟨ z ∣_{R} \otimes (⟨ z ∣_{S} \otimes I_{B}) ρ (∣ z ⟩_{S} \otimes I_{B}) .

Its codomain contains $R$ and $B$ , not the consumed factor $S$ . A pullback of an output observable is an input observable; it does not restore $S$ as a surviving output name CheungI,CheungVIIIA.

Displayed formulas in this passage

VIII-C@3#eq:destructive · line 502
$M_{S} (ρ) = z \sum ∣ z ⟩ ⟨ z ∣_{R} \otimes (⟨ z ∣_{S} \otimes I_{B}) ρ (∣ z ⟩_{S} \otimes I_{B}) .$

Nearby in this section

proposition: Proposition: Accessible expectations and residual separation
section: Records do not determine residual access