quantum_hamming

skip done

[[2^r, 2^r-r-2, 3]] Gottesman code

Family:: small_distance/quantum_hamming

Citations:: 3

Est. LoC:: 1500

EC Zoo:: quantum_hamming ↗

Description

A family of \hyperref[topic:quantum-weight-enumerator]{pure} \cite{arxiv:quant-ph/9608006} non-CSS stabilizer codes of distance 3 that saturate the asymptotic quantum Hamming bound. The family can be obtained from a modified CSS constru…

Introduced in: arxiv:quant-ph/9604038, arxiv:quant-ph/9608006

Rationale

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

Scoring composite -1.00

Reuse

8/10 ×0.25

Canon

4/10 ×0.15

Hardware

2/10 ×0.15

Tract

8/10 ×0.15

Prereq

8/10 ×0.2

Effort

7/10 ×0.1