Manuscript Hawk02-E@1 · Hawk02-E.tex · remark · 4841592b

Remark: Why the regulator error is not multiplied by d

Complete-residual certificates and decoder certificates › The dimension factor · lines 1255–1260

The regulator theorem already bounds the complementary channel in diamond distance. Its allowance is therefore added after the Choi conversion. Replacing it by a Choi-state estimate and multiplying it by $d$ would be an unnecessary weakening.

Nearby in this section

lemma: Lemma: Normalized Choi-to-diamond bound
section: The dimension factor
theorem: Theorem: Certified residual and recovery bounds
remark: Remark: Certificate versus successful recovery