Manuscript Hawk01-A@1 · Hawk01-A.tex · corollary · 11979653

Corollary: Robust classical null

Exact delayed-query scoring and classical nulls · lines 855–869 · proof included or linked

Hawk01-A@1#cor:robustEB, Hawk01-A@1#eq:robustEB

Back to manuscript

If a regulated complete channel is within half-diamond distance of a measure-and-prepare channel, then

Proof. Apply Proposition prop:scorecontinuity and Theorems thm:score and thm:classical.

Displayed formulas in this passage

  • Hawk01-A@1#eq:robustEB · line 859

Nearby in this section