qec Package

Classes

OneDimensionalYokedSurfaceCode

This class models the Yoked surface code to provide a generic memory instruction based on lattice surgery instructions from a surface code like error correction code.

Hyper parameters: shape_heuristic: ShapeHeuristic The heuristic to determine the shape of the surface code patch for a given number of logical qubits. (Default is ShapeHeuristic.MIN_AREA)

References:

  • Craig Gidney, Michael Newman, Peter Brooks, Cody Jones: Yoked surface codes, arXiv:2312.04522
SurfaceCode

This class models the gate-based rotated surface code.

Hyper parameters: distance: int The code distance of the surface code.

References:

  • Dominic Horsman, Austin G. Fowler, Simon Devitt, Rodney Van Meter: Surface code quantum computing by lattice surgery, arXiv:1111.4022

  • Austin G. Fowler, Matteo Mariantoni, John M. Martinis, Andrew N. Cleland: Surface codes: Towards practical large-scale quantum computation, arXiv:1208.0928

  • David S. Wang, Austin G. Fowler, Lloyd C. L. Hollenberg: Quantum computing with nearest neighbor interactions and error rates over 1%, arXiv:1009.3686

SurfaceCodeLowMove

This class models a rotated surface code tailored to a reconfigurable, zoned neutral-atom architecture with mobile ancillas.

The syndrome-extraction schedule is based on a mobile-ancilla surface-code scheme in which a single ancilla visits the data qubits of each plaquette, combined with the atom-transport model used by NeutralAtom. In this model, the ancilla is moved within the Rydberg interaction range of each data atom to execute the entangling sequence, while other atoms and gate sites remain separated by about 10 microns to suppress crosstalk. The time model therefore combines the single-ancilla plaquette circuit with explicit motion overhead from horizontal and diagonal transport segments.

Hyper parameters: distance: int The code distance of the surface code.

-[ References ]-

      1. Wang, A. G. Fowler, L. C. L. Hollenberg: Quantum computing with

      nearest neighbor interactions and error rates over 1%, arXiv:1009.3686

    1. Horsman, A. G. Fowler, S. Devitt, R. Van Meter: Surface code quantum

      computing by lattice surgery, arXiv:1111.4022

      1. Fowler, M. Mariantoni, J. M. Martinis, A. N. Cleland: Surface

      codes: Towards practical large-scale quantum computation, arXiv:1208.0928

    1. Bluvstein, H. Levine, G. Semeghini, et al.: A quantum processor based

      on coherent transport of entangled atom arrays, arXiv:2112.03923

    1. Bluvstein, S. J. Evered, A. A. Geim, et al.: Logical quantum

      processor based on reconfigurable atom arrays, arXiv:2312.03982

    1. Jandura, L. Pecorari, G. Pupillo: Surface Code Stabilizer

    Measurements for Rydberg Atoms, arXiv:2405.16621

  • W.-H. Lin, D. B. Tan, J. Cong: Reuse-Aware Compilation for Zoned Quantum

    Architectures Based on Neutral Atoms, arXiv:2411.11784

    1. Bluvstein, A. A. Geim, S. H. Li, et al.: Architectural mechanisms of

      a universal fault-tolerant quantum computer, arXiv:2506.20661

ThreeAux

This class models the pairwise measurement-based surface code with three auxiliary qubits per stabilizer measurement.

Hyper parameters: distance: int The code distance of the surface code.

single_rail: bool Whether to use single-rail encoding.

References:

  • Linnea Grans-Samuelsson, Ryan V. Mishmash, David Aasen, Christina Knapp, Bela Bauer, Brad Lackey, Marcus P. da Silva, Parsa Bonderson: Improved Pairwise Measurement-Based Surface Code, arXiv:2310.12981
TwoDimensionalYokedSurfaceCode

This class models the Yoked surface code to provide a generic memory instruction based on lattice surgery instructions from a surface code like error correction code.

Hyper parameters: shape_heuristic: ShapeHeuristic The heuristic to determine the shape of the surface code patch for a given number of logical qubits. (Default is ShapeHeuristic.MIN_AREA)

References:

  • Craig Gidney, Michael Newman, Peter Brooks, Cody Jones: Yoked surface codes, arXiv:2312.04522