Manuscript Hawk01-B@1 · Hawk01-B.tex · remark · cfa976f1

Remark: What is, and is not, optimized

Exact and approximate residual-leakage certificates › The half-diamond normalization audit · lines 462–471

The state $τ_{F}$ depends on the channel and may depend on the decoder in the converse proof. The theorem does not state that every chosen constant output state gives the converse bound. An executable decoder and its resource cost remain separate from the unrestricted existence statement. Approximate-QEC complementary-channel duality offers additional fidelity-based and near-optimal recovery formulations BenyOreshkov2010,BenyOreshkov2011.

Nearby in this section

section: The half-diamond normalization audit
lemma: Lemma: KSW continuity input
theorem: Theorem: Recovery–leakage bounds with explicit constants