Teorema 2 dari [1] menyatakan:
Misalkan adalah aditif sub-kode diri ortogonal dari , mengandung vektor, sehingga tidak ada vektor berat di . Maka setiap eigenspace dari adalah kode koreksi kesalahan kuantum aditif dengan parameter .GF ( 4 ) n 2 n - k < d C ⊥ / C ϕ - 1 ( C ) [ [ n , k , d ] ]
di mana di sini adalah peta antara representasi biner dari operator lipatan Pauli dan codeword yang terkait, dan adalah self- orthogonal jika mana adalah ganda . n C C ⊆ C ⊥ C ⊥ C
Ini memberitahu kita bahwa setiap aditif ortogonal mandiri kode klasik mewakili kode kuantum . [ [ n , k , d ] ]
Pertanyaan saya adalah apakah kebalikannya juga benar, yaitu: apakah setiap kode kuantum diwakili oleh aditif ortogonal mandiri kode klasik?
Atau ekuivalen: Apakah ada kode kuantum yang tidak diwakili oleh aditif orthogonal mandiri kode klasik?
[1]: Calderbank, A. Robert, et al. "Koreksi kesalahan kuantum melalui kode lebih dari GF (4)." Transaksi IEEE tentang Teori Informasi 44.4 (1998): 1369-1387.