Manuscript Hawk01-A@1 · Hawk01-A.tex · definition · 11979653

Definition: Complete cutoff channel

Finite outgoing packets and ordinary detection › A flagged occupation regulator · lines 1068–1082

Hawk01-A@1#def:cutoff, Hawk01-A@1#eq:cutoffchannel

On a packet state, define

R_{L} (ρ) = P_{L} ρ P_{L} + Tr ((I - P_{L}) ρ) ∣ ⊥ ⟩ ⟨ ⊥ ∣ .

With an external spectator or reference, the overflow branch retains its corresponding unnormalized reference state. The channel is trace preserving; it does not condition on low occupation.

Displayed formulas in this passage

Hawk01-A@1#eq:cutoffchannel · line 1071
$R_{L} (ρ) = P_{L} ρ P_{L} + Tr ((I - P_{L}) ρ) ∣ ⊥ ⟩ ⟨ ⊥ ∣ .$

Nearby in this section

section: A flagged occupation regulator
proposition: Proposition: Cutoff error and a moment certificate
section: A flagged occupation regulator