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
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.