Manuscript Oai265-B@2 · Oai265-B-v2.tex · section · 94b6f42f

Complete deterministic branch accounting

Certification contract and complete experiment › Complete deterministic branch accounting · lines 301–313

Oai265-B@2#eq:branchsum

Suppose the device produces an instrument ${M_{z}}_{z}$ , where each $M_{z}$ is completely positive and $\sum_{z} M_{z}$ is trace preserving. Let $D_{z}$ be a declared CPTP output operation on branch $z$ . Then

E (X) = z \sum D_{z} M_{z} (X)

is the deterministic logical channel.

Displayed formulas in this passage

Oai265-B@2#eq:branchsum · line 308
$E (X) = z \sum D_{z} M_{z} (X)$

Nearby in this section

lemma: Lemma: Complete branches define the tested channel
section: Complete deterministic branch accounting