shor_nine

[[9,1,3]] skip done

[[9,1,3]] Shor code

Family:: small_distance/small/9/shor_nine

Hardware demos:: 2

Citations:: 2

Est. LoC:: 1500

EC Zoo:: shor_nine ↗

Description

Nine-qubit \hyperref[code:css]{CSS code} that is the first quantum error-correcting code \cite[ID 8802]{preset:qiskit}. Among indecomposable [[9,1,3]] CSS codes, the Shor code has the largest automorphism group \cite{arxiv:2501.17447}. …

Introduced in: doi:10.1103/PhysRevA.52.R2493

Rationale

Already formalized: QEC/Stabilizer/Codes/Small/Shor9.lean.

Scoring composite -1.00

Reuse

8/10 ×0.25

Canon

3/10 ×0.15

Hardware

6/10 ×0.15

Tract

8/10 ×0.15

Prereq

8/10 ×0.2

Effort

8/10 ×0.1