Manuscript Hawk05-C@1 · Hawk05-C.tex · lemma · ba0719f1
Lemma: Full-domain Petz completion
Access algebras and independently certified recovery › A deterministic Petz candidate and its certificate · lines 1672–1687 · proof included or linked
Hawk05-C@1#lem:petz
Equation (eq:petz) is CPTP on the entire accessible input space. It is a candidate decoder, not an automatic recovery theorem.
Proof. Both terms are CP. The trace of the first is
The second contributes , proving trace preservation.
Displayed formulas in this passage
unlabeled · line 1681