Manuscript Hawk07-B@1 · Hawk07-B.tex · example · b9785538
Example: Why low leakage is not a freshness theorem
Convoys, relays, and the reset condition › A sufficient memory-reuse theorem · lines 1417–1436
Consider an exact first-session interface
The logical complement is replacement and has zero leakage. Nevertheless is correlated with .
If is discarded after returning , then the accessible resource is gone. The remaining marginal does not restore it. A proposed second teleportation session cannot replace a missing receiver half by the fact that this marginal is unchanged.
More generally, a Bell state on and the product state have identical marginals but trace distance . Marginal equality does not establish a reference-preserving reset.
Displayed formulas in this passage
unlabeled · line 1419