Manuscript Em03-G@1 · Em03-G-v1.tex · proposition · 0bb3a8a3

Proposition: Conditional coherent-receiver composition

Coherent local reception remains a separate gate · lines 1816–1836 · proof included or linked

Em03-G@1#prop:receiver

Suppose a receiver and its implemented decoder have a justified source-input referenced comparison

d_{⋄} (Λ_{receiver}, D_{λ} N_{h}) \leq e_{access} + e_{dec} .

Then

d_{⋄} (Λ_{receiver}, id_{2}) \leq min {1, E_{λ} + e_{src} + e_{access} + e_{dec}} .

Proof. Use the triangle inequality and Theorem thm:compacttransmission.

Displayed formulas in this passage

unlabeled · line 1820
$d_{⋄} (Λ_{receiver}, D_{λ} N_{h}) \leq e_{access} + e_{dec} .$
unlabeled · line 1826
$d_{⋄} (Λ_{receiver}, id_{2}) \leq min {1, E_{λ} + e_{src} + e_{access} + e_{dec}} .$