Devon Hjelm Notes/070827

Subsystem construction from 2 classical linear codes
First take 2 classical linear codes $$C_1$$ and $$C_2$$, which encode $$k_1$$ and $$k_2$$ bits into $$n_1$$ and $$n_2$$ bits respectively. Define a set of stabilizers $$\mathcal{S}_1$$ from $$P_1$$ as $$\mathcal{S}_1 = \langle S_1,S_2,\dots,S_{n-k} \rangle $$ with $$S_i = Z$$