2
$\begingroup$

All the interesting/well-known $ [[n,1,d]] $ codes I know have $ n $ odd. Moreover, all these codes have the property that $ X^{\otimes n} $ implements logical $ X $ and $ Z^{\otimes n} $ implements logical $ Z $ (this property of course implies that $ n $ is odd since logical $ X $ and logical $ Z $ must anticommute).

Are there any interesting/well-known $ [[n,1,d]] $ codes for $ n $ even? If so what are logical $ X $ and logical $ Z $ for those codes?

Note: I don't consider the $ [[4,1,2]] $ code given by adding another stabilizer like $ ZZII $ to $ <XXXX,ZZZZ> $ to be an interesting code.

$\endgroup$
6
  • 1
    $\begingroup$ what about the Toric code? $\endgroup$
    – DaftWullie
    Nov 8, 2022 at 8:58
  • $\begingroup$ toric code has k=2 $\endgroup$
    – unknown
    Nov 9, 2022 at 16:38
  • $\begingroup$ @DaftWullie I guess by Toric code you mean some kind of $ [[n,1,d]] $ surface code? $\endgroup$ Nov 9, 2022 at 16:40
  • 1
    $\begingroup$ look here codetables.de for many examples, For example $[[6,1,3]]$, $[[8,1,3]]$,... $\endgroup$
    – unknown
    Nov 9, 2022 at 16:44
  • 1
    $\begingroup$ @unknown ok this is a very cool reference. I'm happy with the $ [[24,1,8]] $ code given there as an answer. Interesting to note that for every even number less than 24 the $ [[n,1,d]] $ code in the table is explicitly described as either an extension of a well known $ [[n,1,d]] $ code for $ n $ odd or as a restriction of a well known $ [[n,2,d]] $ code for $ n $ even. Anyway I would definitely consider that $ [[24,1,8]] $ code as an example of an $ [[n,1,d]] $ code of independent interest. Now I'm just curious what the logical $ X $ and logical $ Z $ are for that code? $\endgroup$ Nov 9, 2022 at 16:54

1 Answer 1

1
$\begingroup$

Here's the $[[24,1,8]]$ code and its logicals :

stabilizers : [

[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,1,0,0,0,0,0,0,0,1,0,1,0,1,1,0,0,1,0,0,1,1,0,0,1,0,0],
[0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,1,0,0,0,0,0,0,0,1,0,1,0,1,1,0,0,1,0,0,1,1,0,0,1,0],
[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,1,0,0,0,0,0,0,1,0,0,0,0,1,1,1,1,0,1,1,1,1,1,1,0,1],
[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,0,0,0,0,1,1,0,1,1,0,0,0,0,1,0,1,1,1,1,1,1,0,0,1],
[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,1,0,0,0,0,1,0,1,0,0,1,0,0,1,0,0,0,0,1,1,1,1,0,1,1],
[0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,0,0,0,0,0,1,0,0,1,1,0,1,0,1,1,1,0,1,0,1,1,1,0,1,0],
[0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,0,0,0,0,0,1,0,0,1,1,0,1,0,1,1,1,0,1,0,1,1,1,0,1],
[0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,1,1,0,1,1,1,0,0,0,0,1,0,0,1,0,1,0,0,1],
[0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,1,0,1,0,0,1,0,0,0,0,1,1,1,0,1,1,1],
[0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,1,0,1,0,0,1,1,1,0,0,1,1,0,1,1,0,0,0],
[0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,1,0,1,0,0,1,1,1,0,0,1,1,0,1,1,0,0],
[0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,1,0,1,0,0,1,1,1,0,0,1,1,0,1,1,0],
[0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,1,1,0,0,0,0,0,0,0,1,1,1,1,1,0,0,0,0,1,1,1,1,1,1,1,1,1],
[0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,1,1,0,0,0,0,1,1,1,1,1,1,0,0,1,0,0,0,0,0,0,1,1,1,0,0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,1,1,0,0,0,0,0,1,0,1,0,1,0,1,0,1,1,0,0,1,1,0,1,0,1,0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,1,0,1,0,1,0,0,0,1],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,1,0,0,1,0,0,0,0,1,1,0,0,1,0,0,0,0,1,1,0,0,0,1,0,1,1,1,1],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,1,0,1,0,0,0,0,0,1,0,1,0,1,1,0,0,1,0,0,1,1,0,0,1,0,0,0,0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,1,0,1,0,0,0,0,0,1,0,1,0,1,1,0,0,1,0,0,1,1,0,0,1,0,0,0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1,1,0,0,0,1,1,1,0,0,0,1,1,1,0,0,0,1,1],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,1,0,0,1,0,0,1,0,0,1,0,0,1,0,0,1,0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,1,0,0,1,0,0,1,0,0,1,0,0,1,0,0,1],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,0,0,0,1,1,1,0,0,0,1,1,1,0,0,0,1,1,1]]

logicals: [

[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,1,0,0,0,0,0,1,0,1,1,0,0,1,0,0,1,1,1,1,0,1,0,0,1,1],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,1,1,1,0,1,0,0,0,0,1,0,1,1,1,1,0,1]]

I checked that its distance is 8.

$\endgroup$
2
  • $\begingroup$ Interesting, it seems that $ Z^{\otimes 24} $ and $ X^{\otimes 24} $ both commute with the stabilizer so they both implement logical operations. I'm guessing neither of them are in the stabilizer in which case they would be implementing nontrivial logical operations. Since logical $ X $ and logical $ Z $ anticommute it can't both be the case that $ Z^{\otimes 24} $ implements logical $ Z $ and $ X^{\otimes 24} $ implemenets logical $ X $. I wonder what logical operations they actually implement(or maybe they are in the stabilizer and I just can't see it)? $\endgroup$ Nov 9, 2022 at 21:06
  • $\begingroup$ Try adding the last 4 stabilizers together (found by using mathematica. I set the stabilizer matrix above to a variable code and executed LinearSolve[Transpose[code], Join[Table[0, {24}], Table[1, {24}]], Modulus -> 2] $\endgroup$
    – DaftWullie
    Nov 10, 2022 at 8:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.