λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript Hawk05-C@1 · Hawk05-C.tex · definition · ba0719f1

Definition: Complete interface

Complete interfaces and the two return types · lines 274–287

Back to manuscript

A complete interface is an isometry

V : C ⟶ R \otimes B,

with accessible channel and complete complement

N (X) = Tr_{B} (V X V^{†}), C (X) = Tr_{R} (V X V^{†}) .

Every unreturned purifier, measurement environment, lost mode, and admitted implementation factor belongs to $B$ .

Displayed formulas in this passage

unlabeled · line 276
$V : C ⟶ R \otimes B,$
unlabeled · line 280
$N (X) = Tr_{B} (V X V^{†}), C (X) = Tr_{R} (V X V^{†}) .$

Nearby in this section