diff --git a/codes/quantum/properties/block/tensor_network/quantum_lego.yml b/codes/quantum/properties/block/tensor_network/quantum_lego.yml index ea836bc87..9f248c63f 100644 --- a/codes/quantum/properties/block/tensor_network/quantum_lego.yml +++ b/codes/quantum/properties/block/tensor_network/quantum_lego.yml @@ -66,8 +66,8 @@ relations: cousins: - code_id: steane detail: 'The Steane code can be built from two \([[4,2,2]]\) codes in the quantum Lego code framework \cite{arxiv:2109.08158}.' - - code_id: stab_6_2_2 - detail: 'The \([[6,4,2]]\) error-detecting code can be constructed out of two \([[4,2,2]]\) codes in the quantum Lego code framework.' + - code_id: stab_6_4_2 + detail: 'The \([[6,4,2]]\) error-detecting code can be constructed out of two \([[4,2,2]]\) codes in the quantum Lego code framework \cite{arxiv:2109.08158}.' - code_id: stab_4_2_2 detail: 'The Steane and \([[6,4,2]]\) error-detecting codes can be built from two \([[4,2,2]]\) codes in the quantum Lego code framework \cite{arxiv:2109.08158}.' - code_id: rotated_surface diff --git a/codes/quantum/qubits/small_distance/small/4/stab_4_2_2.yml b/codes/quantum/qubits/small_distance/small/4/stab_4_2_2.yml index d8eda017d..b7683c81f 100644 --- a/codes/quantum/qubits/small_distance/small/4/stab_4_2_2.yml +++ b/codes/quantum/qubits/small_distance/small/4/stab_4_2_2.yml @@ -123,8 +123,8 @@ relations: \cite{arxiv:1407.2777}.' - code_id: steane detail: 'The Steane code can be built from two \([[4,2,2]]\) codes in the quantum Lego code framework \cite{arxiv:2109.08158}.' - - code_id: stab_6_2_2 - detail: 'The \([[6,4,2]]\) error-detecting code can be constructed out of two \([[4,2,2]]\) codes in the quantum Lego code framework.' + - code_id: stab_6_4_2 + detail: 'The \([[6,4,2]]\) error-detecting code can be constructed out of two \([[4,2,2]]\) codes in the quantum Lego code framework \cite{arxiv:2109.08158}.' - code_id: cpc detail: 'CPC gadgets for the \([[4,2,2]]\) code have been implemented on the IBM 5Q superconducting device \cite{arxiv:1709.01866}.' diff --git a/codes/quantum/qubits/small_distance/small/7/steane/steane.yml b/codes/quantum/qubits/small_distance/small/7/steane/steane.yml index 796014e42..83d7c961e 100644 --- a/codes/quantum/qubits/small_distance/small/7/steane/steane.yml +++ b/codes/quantum/qubits/small_distance/small/7/steane/steane.yml @@ -33,7 +33,7 @@ description: | } \label{figure:steane-operators} \end{figure} - The Steane code can also be thought of as a code on all corners of a cube except one \cite{doi:10.1098/rsta.2011.0494,arxiv:1306.4532}, and the cube graph is the code''s \hyperref[topic:encoder-respecting]{encoder-respecting form} \cite{arxiv:2411.14448}. + The Steane code can also be thought of as a code on all corners of a cube except one \cite{doi:10.1098/rsta.2011.0494,arxiv:1306.4532}, and the code''s \hyperref[topic:encoder-respecting]{encoder-respecting form} is the graph of the full cube \cite{arxiv:2411.14448}. Logical codewords are \begin{align} diff --git a/codes/quantum/qubits/stabilizer/qubit_stabilizer.yml b/codes/quantum/qubits/stabilizer/qubit_stabilizer.yml index 3d93bf687..0785163ba 100644 --- a/codes/quantum/qubits/stabilizer/qubit_stabilizer.yml +++ b/codes/quantum/qubits/stabilizer/qubit_stabilizer.yml @@ -86,7 +86,7 @@ description: | Any stabilizer code can be represented by a \textit{ZX canonical form} (ZXCF) \cite{arxiv:2411.14448}, and there exist two other representations \cite{arxiv:2205.02009,arxiv:2411.14448} that utilize ZX calculus. \begin{defterm}{Encoder-respecting form} \label{topic:encoder-respecting} - In an \textit{encoder-respecting form}, each qubit stabilizer code \cite{arxiv:2411.14448} (see also Ref. \cite{arxiv:2109.10210}) is represented by a bipartite graph with \(k\) input and \(n\) output nodes in which the \(k\) input nodes are not connected to each other. + In an \textit{encoder-respecting form}, each qubit stabilizer code \cite{arxiv:2411.14448} (see also Ref. \cite{arxiv:2109.10210}) is represented by a semi-bipartite graph with \(k\) input and \(n\) output nodes in which the \(k\) input nodes are not connected to each other. Conversion between stabilizer tableaus and graphs is achieved using ZX calculus and takes time that is polynomial in \(n\). Properties of the underlying graph are related to properties of the code \cite{arxiv:2411.14448}. \end{defterm}