Manuscript Hawk06-A@1 · Hawk06-A.tex · proposition · c59fe67c

Proposition: No commuting duplicate action on the same code

No duplicate logical copy and no hidden access enlargement · lines 1489–1508 · proof included or linked

Hawk06-A@1#prop:noduplicate

Back to manuscript

Let be an isometry. There cannot be two commuting star representations of on that preserve the code and both satisfy

for every logical , when .

Proof. Commutation would give

Injectivity of would make every pair of logical matrices commute, which is false.

Displayed formulas in this passage

  • unlabeled · line 1494

  • unlabeled · line 1502

Nearby in this section