figures for stab_5_1_2, surface-17

Author: valbert4

codes/quantum/qubits/small_distance/small/5/stab_5_1_2/stab_5_1_2.svg

@@ -22,6 +22,18 @@ description: |
     X & I & I & X & X
   \end{array}~.
   \end{align}
+  The code is depicted in \ref{figure:512-operators}.
+
+  \begin{figure}
+    \includegraphics{stab_5_1_2}
+    \caption{
+    Stabilizer generators of the \([[5,1,2]]\) rotated surface code.
+    The 5 data qubits (circles) consist of 4 corner qubits and 1 center qubit.
+    Each triangular region corresponds to a weight-three stabilizer generator.
+    Red regions correspond to \(X\) operators while blue regions correspond to \(Z\) operators.}
+    \label{figure:512-operators}
+  \end{figure}
+
 
 features:
   general_gates:

…ts/small_distance/small/5/stab_5_1_2.yml …stance/small/5/stab_5_1_2/stab_5_1_2.ymlcodes/quantum/qubits/small_distance/small/5/stab_5_1_2.yml renamed to codes/quantum/qubits/small_distance/small/5/stab_5_1_2/stab_5_1_2.yml codes/quantum/qubits/small_distance/small/5/stab_5_1_2.yml renamed to codes/quantum/qubits/small_distance/small/5/stab_5_1_2/stab_5_1_2.yml

@@ -24,7 +24,7 @@ description: |
     Z & Z & Z & I & X & X & Z
   \end{array}~.
   \end{align}
-  It is one of sixteen distinct \([[7,1,3]]\) codes \cite{arxiv:0709.1780}.
+  It is one of sixteen distinct indecomposable \([[7,1,3]]\) codes \cite{arxiv:0709.1780}.
 
 features:
   decoders:

codes/quantum/qubits/small_distance/small/7/bare_7_1_3.yml

@@ -25,7 +25,7 @@ description: |
   \end{align}
   The above stabilizer tableau is equivalent to \cite[ID 646]{preset:qiskit} by applying \(H\) to qubits 1 and 2 and \(SH\) (with \(H\) applied first) to qubits 3 and 4, followed by the qubit relabeling \((1,2,3,4,5,6,7)\to(5,6,1,3,7,2,4)\).
 
-  The stabilizer group of the \([[7,2,2]]\) QETC, together with the logical-\(Z\) operator on the first logical qubit, generates the stabilizer group of one of the sixteen distinct \([[7,1,3]]\) codes \cite{arxiv:0709.1780}.
+  The stabilizer group of the \([[7,2,2]]\) QETC, together with the logical-\(Z\) operator on the first logical qubit, generates the stabilizer group of one of the sixteen distinct indecomposable \([[7,1,3]]\) codes \cite{arxiv:0709.1780}.
 
 
 relations:

codes/quantum/qubits/small_distance/small/7/qetc_7_2.yml

@@ -46,7 +46,7 @@ description: |
   \end{align}
 
   The automorphism group of the code is \(PGL(3,2)\) \cite{arxiv:2109.12735}.
-  It is one of sixteen distinct \([[7,1,3]]\) codes \cite{arxiv:0709.1780}.
+  It is one of sixteen distinct indecomposable \([[7,1,3]]\) codes \cite{arxiv:0709.1780}.
 
 # and the check matrix for the Steane code is therefore
 # \begin{align}

codes/quantum/qubits/small_distance/small/7/steane/steane.yml

@@ -27,7 +27,7 @@ description: |
     Z & I & I & Z & Z & I & X
   \end{array}~.
   \end{align}
-  It is one of sixteen distinct \([[7,1,3]]\) codes \cite{arxiv:0709.1780}.
+  It is one of sixteen distinct indecomposable \([[7,1,3]]\) codes \cite{arxiv:0709.1780}.
 
 
 protection: |

codes/quantum/qubits/small_distance/small/7/twist_defect_7_1_3.yml

@@ -31,6 +31,17 @@ description: |
     I & Z & I & I & I & Z & I & Z & Z
   \end{array}~.
   \end{align}
+  The code is depicted in \ref{figure:surface-17}.
+
+  \begin{figure}
+    \includegraphics{surface-17}
+    \caption{
+    Stabilizer generators of the \([[9,1,3]]\) surface-17 code.
+    The 9 data qubits (circles) are arranged on a \(3\times 3\) rotated surface code lattice with open boundaries.
+    The generators are weight-four (four-body) operators in the bulk and weight-two (two-body) operators on the boundaries.
+    Red regions correspond to \(X\) operators while blue regions correspond to \(Z\) operators.}
+    \label{figure:surface-17}
+  \end{figure}
 
 protection: |
   Independent correction of single-qubit \(X\) and \(Z\) errors. Correction for some two-qubit \(X\) and \(Z\) errors.