Manuscript Hawk02-C@2 · Hawk02-C.tex · proposition · bb332d66
Proposition: A shared-reservoir obstruction
Access controls, shared reservoirs, and records › Shared-reservoir dark codes · lines 1979–2003 · proof included or linked
Hawk02-C@2#prop:dark
Take degenerate source states and a common reservoir coupling
Every -dimensional code in remains in the source up to phase . Its field channel is constant and its recovery error is for every .
Proof. The one-excitation Hamiltonian is
For , . The field therefore remains vacuum. Apply Lemma lem:replacement.
Displayed formulas in this passage
unlabeled · line 1983
unlabeled · line 1994