Manuscript Hawk07-A@1 · Hawk07-A.tex · proposition · f9c0f5da

Proposition: No commuting duplicate action

No duplicate logical exterior · lines 1553–1572 · proof included or linked

Hawk07-A@1#prop:noduplicate

Back to manuscript

For , there cannot be two commuting star representations of on the joint output which preserve the code and satisfy

for all .

Proof. For arbitrary ,

Injectivity of would make every logical matrix commute. This is false for .

Displayed formulas in this passage

  • unlabeled · line 1558

  • unlabeled · line 1566

Nearby in this section