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