Manuscript En05-C@1 · En05-C.tex · proposition · aa213ea6
Proposition: A regional channel does not determine its device
The complete device extension and boundary compatibility · lines 1209–1228 · proof included or linked
En05-C@1#prop:extensiongap
There are two gauge-invariant devices supported on that agree on but disagree on .
Proof. The kinematic unitary is supported on and commutes with every Gauss operator. Its physical image is . The channels
agree on , because is central there. But for the cross-boundary observable ,
Displayed formulas in this passage
unlabeled · line 1220
unlabeled · line 1225
Nearby in this section
- section: The complete device extension and boundary compatibility
- definition: Definition: Specified localized device
- section: The complete device extension and boundary compatibility
- proposition: Proposition: Shared boundary data cannot be independently changed
- section: The complete device extension and boundary compatibility