Manuscript XXII-D@1 · XXII-D.tex · proposition · 17889d18

Proposition: Arrival-window transfer

Complete-channel transport and error assembly › Arrival records and complete attempts · lines 911–931 · proof included or linked

XXII-D@1#prop:arrival, XXII-D@1#eq:arrival-bound

Back to manuscript

If the ideal record marginal of $Θ_{n}$ is supported entirely on the good codes and $d_{⋄} (Γ_{n}, Θ_{n}) \leq e_{n}$ , then, for every input state, including a referenced input,

Γ_{n} Pr {failure or arrival outside the declared window} \leq e_{n} .

Proof. The bad-code projector is an effect on the complete output. Its ideal probability is zero. Its actual probability differs from that value by at most the output trace distance, bounded by the half-diamond error.

Displayed formulas in this passage

XXII-D@1#eq:arrival-bound · line 917
$Γ_{n} Pr {failure or arrival outside the declared window} \leq e_{n} .$

Nearby in this section

section: Arrival records and complete attempts
section: Arrival records and complete attempts