rotated_surface

skip done

Rotated surface code

Family:: stabilizer/topological/surface/rotated_surface/rotated_surface/rotated_surface

Hardware demos:: 1

Est. LoC:: 1500

EC Zoo:: rotated_surface ↗

Description

Variant of the surface code defined on a square lattice that has been rotated 45 degrees such that qubits are on vertices, and both X- and Z-type check operators occupy plaquettes in an alternating checkerboard pattern. Stabilizer g…

Introduced in: arxiv:quant-ph/0703272, arxiv:1107.3502, arxiv:1202.0928, arxiv:1404.3747

Rationale

Already formalized: QEC/Stabilizer/Codes/RotatedSurface/*.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