Lifting an $[n,k,d]$ Binary Linear Code to an $[[n,k,d]]$ Quantum Stabilizer CodeLifting an $[n,k,d]$ Binary Linear Code to an $[[n,k,d]]$ Quantum Stabilizer Code

Thamadathil Aswanth, Navin Kashyap

The codeword stabilized (CWS) framework provides a systematic method for constructing quantum error correcting codes from a simple undirected graph and a classical code. When the underlying classical code is linear, the resulting quantum code is a stabilizer code. In this work, we investigate the conditions under which an arbitrary $[n,k,d]$ classical binary linear code can be lifted to an $[[n,k,d]]$ quantum stabilizer code using the CWS framework. We analyze the random CWS code constructed from a given $[n,k,d]$ binary linear code $\mathcal{C}$ and an Erdős-Rényi random graph $\mathrm{G}(n, \frac12)$ . We establish a lower bound on the probability that the resulting quantum code preserves the minimum distance $d$ of the classical code. This probabilistic analysis yields a Gilbert-Varshamov-type condition on the $n,k,d$ parameters of the classical code that guarantees the existence of a graph resulting in a quantum code with the same $n,k,d$ parameters.The codeword stabilized (CWS) framework provides a systematic method for constructing quantum error correcting codes from a simple undirected graph and a classical code. When the underlying classical code is linear, the resulting quantum code is a stabilizer code. In this work, we investigate the conditions under which an arbitrary $[n,k,d]$ classical binary linear code can be lifted to an $[[n,k,d]]$ quantum stabilizer code using the CWS framework. We analyze the random CWS code constructed from a given $[n,k,d]$ binary linear code $\mathcal{C}$ and an Erdős-Rényi random graph $\mathrm{G}(n, \frac12)$. We establish a lower bound on the probability that the resulting quantum code preserves the minimum distance $d$ of the classical code. This probabilistic analysis yields a Gilbert-Varshamov-type condition on the $n,k,d$ parameters of the classical code that guarantees the existence of a graph resulting in a quantum code with the same $n,k,d$ parameters.

quant-pharXiv:2610.14192Oct 13, 20260 citations

A novel construction for quantum stabilizer codes based on binary formalism

Duc Manh Nguyen, Sunghwan Kim

In this research, we propose a novel construction of quantum stabilizer code based on a binary formalism. First, from any binary vector of even length, we generate the parity-check matrix of the quantum code from a set composed of elements from this vector and its relations by shifts via subtraction and addition. We prove that the proposed matrices satisfy the condition constraint for the construction of quantum codes. Finally, we consider some constraint vectors which give us quantum stabilizer codes with various dimensions and a large minimum distance with code length from six to twelve digits.In this research, we propose a novel construction of quantum stabilizer code based on a binary formalism. First, from any binary vector of even length, we generate the parity-check matrix of the quantum code from a set composed of elements from this vector and its relations by shifts via subtraction and addition. We prove that the proposed matrices satisfy the condition constraint for the construction of quantum codes. Finally, we consider some constraint vectors which give us quantum stabilizer codes with various dimensions and a large minimum distance with code length from six to twelve digits.

International Journal of Modern Physics BMar 24, 202016 citations

A CONSTRUCTION FOR NON-STABILIZER CLIFFORD CODES

Manabu Hagiwara, Hideki Imai

International Symposium on Mesoscopic Superconductivity and Spintronics (MS+S)Aug 1, 20050 citations

Local Clifford equivalence to CSS codes: Polynomial-time classification and conversion

Mingyuan Wang, Stefan Krastanov

Calderbank--Shor--Steane (CSS) codes support decoding and fault-tolerant logical operations through separate pure $X$ and pure $Z$ stabilizer checks. Generator choices and single-qubit Clifford transformations can obscure this structure. We give a deterministic polynomial-time algorithm that decides whether an arbitrary stabilizer code is locally Clifford-equivalent to a CSS code and constructs the required transformation and CSS checks whenever such a form exists. For $m$ possibly redundant generator rows on $n$ qubits, the algorithm uses $O(mn^2+n^4)$ binary field operations. We reduce the problem to affine linear systems by characterizing local projectors that preserve the span of the binary stabilizer labels. The conversion preserves code parameters and check sparsity for quantum low-density parity-check (qLDPC) codes. We demonstrate CSS recovery and decoder reuse and resolve previously open LC-to-CSS classification questions for published code constructions. For graph states, LC-to-CSS equivalence corresponds to the existence of a bipartite graph in the local-complementation orbit. We derive a necessary-and-sufficient adjacency-matrix criterion for this property and construct such a graph whenever one exists. Our algorithm makes CSS decoding and fault-tolerant constructions accessible throughout the local Clifford equivalence classes of CSS codes.Calderbank--Shor--Steane (CSS) codes support decoding and fault-tolerant logical operations through separate pure $X$ and pure $Z$ stabilizer checks. Generator choices and single-qubit Clifford transformations can obscure this structure. We give a deterministic polynomial-time algorithm that decides whether an arbitrary stabilizer code is locally Clifford-equivalent to a CSS code and constructs the required transformation and CSS checks whenever such a form exists. For $m$ possibly redundant generator rows on $n$ qubits, the algorithm uses $O(mn^2+n^4)$ binary field operations. We reduce the problem to affine linear systems by characterizing local projectors that preserve the span of the binary stabilizer labels. The conversion preserves code parameters and check sparsity for quantum low-density parity-check (qLDPC) codes. We demonstrate CSS recovery and decoder reuse and resolve previously open LC-to-CSS classification questions for published code constructions. For graph states, LC-to-CSS equivalence corresponds to the existence of a bipartite graph in the local-complementation orbit. We derive a necessary-and-sufficient adjacency-matrix criterion for this property and construct such a graph whenever one exists. Our algorithm makes CSS decoding and fault-tolerant constructions accessible throughout the local Clifford equivalence classes of CSS codes.

quant-pharXiv:2610.28737Oct 22, 20260 citations

Family of fast quantum stabilizer codes constructions

Yuanli Cai, Xingxiang Liu

Optical ReviewMar 1, 20100 citations

Lifting an

[n,k,d]

Binary Linear Code to an

[[n,k,d]]

Quantum Stabilizer Code

[n,k,d]

classical binary linear code can be lifted to an

[[n,k,d]]

quantum stabilizer code using the CWS framework. We analyze the random CWS code constructed from a given

[n,k,d]

binary linear code

\mathcal{C}

and an Erdős-Rényi random graph

\mathrm{G}(n, \frac12)

. We establish a lower bound on the probability that the resulting quantum code preserves the minimum distance

d

of the classical code. This probabilistic analysis yields a Gilbert-Varshamov-type condition on the

n,k,d

parameters of the classical code that guarantees the existence of a graph resulting in a quantum code with the same

n,k,d

parameters.

Calderbank--Shor--Steane (CSS) codes support decoding and fault-tolerant logical operations through separate pure

X

and pure

Z

stabilizer checks. Generator choices and single-qubit Clifford transformations can obscure this structure. We give a deterministic polynomial-time algorithm that decides whether an arbitrary stabilizer code is locally Clifford-equivalent to a CSS code and constructs the required transformation and CSS checks whenever such a form exists. For

m

possibly redundant generator rows on

n

qubits, the algorithm uses

O(mn^2+n^4)

binary field operations. We reduce the problem to affine linear systems by characterizing local projectors that preserve the span of the binary stabilizer labels. The conversion preserves code parameters and check sparsity for quantum low-density parity-check (qLDPC) codes. We demonstrate CSS recovery and decoder reuse and resolve previously open LC-to-CSS classification questions for published code constructions. For graph states, LC-to-CSS equivalence corresponds to the existence of a bipartite graph in the local-complementation orbit. We derive a necessary-and-sufficient adjacency-matrix criterion for this property and construct such a graph whenever one exists. Our algorithm makes CSS decoding and fault-tolerant constructions accessible throughout the local Clifford equivalence classes of CSS codes.