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

Back to manuscript

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

Nearby in this section