quantum_repetition

skip done

Quantum repetition code

Family:: small_distance/quantum_repetition

Hardware demos:: 9

Citations:: 2

Est. LoC:: 1500

EC Zoo:: quantum_repetition ↗

Description

Encodes 1 qubit into n qubits according to |0\rangle\to|\phi_0\rangle^{\otimes n} and |1\rangle\to|\phi_1\rangle^{\otimes n}. The code is called a \textit{bit-flip} code when |\phi_i\rangle = |i\rangle, and a \textit{pha…

Introduced in: doi:10.1103/PhysRevA.32.3266

Rationale

Already formalized: QEC/Stabilizer/Codes/Repetition/{Three,N}.lean.

Scoring composite -1.00

Reuse

8/10 ×0.25

Canon

3/10 ×0.15

Hardware

8/10 ×0.15

Tract

8/10 ×0.15

Prereq

8/10 ×0.2

Effort

7/10 ×0.1