Manuscript Oai282-A@1 · Oai282-A.tex · proposition · 5b6134ec

Proposition: Commuting channels are not an observable-locality theorem

Stage 1: local currents, global actions, and bounded locality › Channel commutation versus observable locality · lines 460–471 · proof included or linked

Oai282-A@1#prop:channels

Back to manuscript

Commuting CPTP maps do not imply that their associated observables or arbitrarily assigned region algebras commute.

Proof. On one qubit, the conjugation channels and commute because . The observables do not commute. Assigning both to separately named regions does not alter that fact. A compatible observable localization is additional data.

Nearby in this section