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

Back to manuscript

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