surface-17
[[9,1,3]] skip done[[9,1,3]] Surface-17 code
Description
A [[9,1,3]] rotated surface code named for the sum of its 9 data qubits and 8 syndrome qubits. It is one of the four inequivalent CSS gauge fixings of the nine-qubit Bacon-Shor code \cite{arxiv:2501.17447}. It uses the smallest number o…
Introduced in: arxiv:1404.3747
Rationale
Audit override: explicitly a [[9,1,3]] rotated surface code — the L=3 instance of QEC/Stabilizer/Codes/RotatedSurface/N.lean (with stabilizer-code packaging in RotatedSurfaceCodeNStabilizerCode.lean and distance proof in RotatedSurfaceCodeNDistance*.lean). Previous rationale: Audit override: explicitly a [[9,1,3]] rotated surface code — the L=3 instance of QEC/Stabilizer/Codes/RotatedSurface/N.lean (with stabilizer-code packaging in RotatedSurfaceCodeNStabilizerCode.lean and distance proof in RotatedSurfaceCodeNDistance*.lean). Previous rationale: Audit override: explicitly a [[9,1,3]] rotated surface code — the L=3 instance of QEC/Stabilizer/Codes/RotatedSurface/N.lean (with stabilizer-code packaging in RotatedSurfaceCodeNStabilizerCode.lean and distance proof in RotatedSurfaceCodeNDistance*.lean). Previous rationale: Audit override: explicitly a [[9,1,3]] rotated surface code — the L=3 instance of QEC/Stabilizer/Codes/RotatedSurfaceCodeN.lean (with stabilizer-code packaging in RotatedSurfaceCodeNStabilizerCode.lean and distance proof in RotatedSurfaceCodeNDistance*.lean). Previous rationale: Audit override: explicitly a [[9,1,3]] rotated surface code — the L=3 instance of QEC/Stabilizer/Codes/RotatedSurfaceCodeN.lean (with stabilizer-code packaging in RotatedSurfaceCodeNStabilizerCode.lean and distance proof in RotatedSurfaceCodeNDistance*.lean). Previous rationale: [[9,1,3]] surface-17 code: a particular small rotated-surface instance, widely demonstrated on Google/IBM hardware. Almost certainly a direct corollary of the already-formalized rotated surface code at L=3.