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
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
- proposition: Proposition: The physical residual remains the complement
- section: No duplicate logical copy and no hidden access enlargement
- section: No duplicate logical copy and no hidden access enlargement
- proposition: Proposition: Discard and nested access
- section: No duplicate logical copy and no hidden access enlargement