toric

skip done

Toric code

Family:: stabilizer/topological/surface/2d_surface/toric/toric

Hardware demos:: 1

Citations:: 1

Est. LoC:: 1500

EC Zoo:: toric ↗

Description

Version of the Kitaev surface code on a square lattice with periodic boundary conditions, encoding two logical qubits. Being the first manifestation of the surface code, "toric code" is often an alternative name for the general construction…

Introduced in: arxiv:quant-ph/9707021, doi:10.1070/RM1997v052n06ABEH002155, doi:10.1007/978-1-4615-5923-8_19

Rationale

Already formalized: QEC/Stabilizer/Codes/Toric/CodeN*.lean.

Scoring composite -1.00

Reuse

4/10 ×0.25

Canon

4/10 ×0.15

Hardware

4/10 ×0.15

Tract

5/10 ×0.15

Prereq

5/10 ×0.2

Effort

3/10 ×0.1