Manuscript Hawk03-A@1 · Hawk03-A.tex · corollary · 9a109c12
Corollary: Leakage-only recovery certificate
Comparison errors and a conditional physical certificate · lines 1424–1438 · proof included or linked
Under the same output identifications, if only the comparison leakage is available, then
Proof. Combine (eq:physicalleak) with Theorem thm:approx.
Displayed formulas in this passage
unlabeled · line 1427
Nearby in this section
- section: Comparison errors and a conditional physical certificate
- lemma: Lemma: Sequential reference-stable comparison
- section: Comparison errors and a conditional physical certificate
- lemma: Lemma: Isometric full-output comparison
- lemma: Lemma: Finite POVM comparison
- remark: Remark: Effect and instrument budgets remain different
- assumption: Assumption: One-model physical bridge package
- section: Comparison errors and a conditional physical certificate