qubit_stabilizer

Description

An \(((n,2^k,d))\) qubit stabilizer code is denoted as [[n,k]] or [[n,k,d]], where k is the number of logical qubits (code dimension), and where d is the code's distance. The logical subspace is the joint eigenspace of commu…

Introduced in: arxiv:quant-ph/9605005, arxiv:quant-ph/9705052

Rationale

Audit override: the abstract qubit-stabilizer-code class. Already implemented as the Stabilizer/Core/StabilizerGroup + Stabilizer/Core/StabilizerCode infrastructure in this repo — not a concrete code to be formalized separately. Previous rationale: Audit override: the abstract qubit-stabilizer-code class. Already implemented as the Stabilizer/Core/StabilizerGroup + Stabilizer/Core/StabilizerCode infrastructure in this repo — not a concrete code to be formalized separately. Previous rationale: Audit override: the abstract qubit-stabilizer-code class. Already implemented as the Stabilizer/Core/StabilizerGroup + Stabilizer/Core/StabilizerCode infrastructure in this repo — not a concrete code to be formalized separately. Previous rationale: Audit override: the abstract qubit-stabilizer-code class. Already implemented as the Stabilizer/Core/StabilizerGroup + Stabilizer/Core/StabilizerCode infrastructure in this repo — not a concrete code to be formalized separately. Previous rationale: Audit override: the abstract qubit-stabilizer-code class. Already implemented as the Stabilizer/Core/StabilizerGroup + Stabilizer/Core/StabilizerCode infrastructure in this repo — not a concrete code to be formalized separately. Previous rationale: Abstract qubit stabilizer code class. Most of this is already in the repo (StabilizerGroup, IsNontrivialLogicalOperator). Lightweight wrapping mostly.

Scoring composite -1.00