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
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