Abstract:Gottesman-Kitaev-Preskill (GKP) codes are a promising candidate for implementing fault tolerant quantum computation in quantum harmonic oscillator systems such as superconducting resonators, optical photons and trapped ions, and in recent years theoretical and experimental evidence for their utility has steadily grown. It is known that logical Clifford operations on GKP codes can be implemented fault tolerantly using only Gaussian operations, and several theoretical investigations have illuminated their general structure. In this work, we explain how GKP Clifford gates arise as symplectic automorphisms of the corresponding GKP lattice and show how they are identified with the mapping class group of suitable genus $n$ surfaces. This correspondence introduces a topological interpretation of fault tolerance for GKP codes and motivates the connection between GKP codes (lattices), their Clifford gates, and algebraic curves, which we explore in depth. For a single-mode GKP code, we identify the space of all GKP codes with the moduli space of elliptic curves, given by the three sphere with a trefoil knot removed, and explain how logical degrees of freedom arise from the choice of a level structure on the corresponding curves. We discuss how the implementation of Clifford gates corresponds to homotopically nontrivial loops on the space of all GKP codes and show that the modular Rademacher function describes a topological invariant for certain Clifford gates implemented by such loops. Finally, we construct a universal family of GKP codes and show how it gives rise to an explicit construction of fiber bundle fault tolerance as proposed by Gottesman and Zhang for the GKP code. On our path towards understanding this correspondence, we introduce a general algebraic geometric perspective on GKP codes and their moduli spaces, which uncovers a map towards many possible routes of future research.

On AG codes from a generalization of the Deligne-Lustzig curve of Suzuki type

Two-point AG codes from one of the Skabelund maximal curves

On certain self-orthogonal AG codes with applications to Quantum error-correcting codes

On Codes in the Projective Linear Group PGL(2,q)

Goppa-like AG codes from $C_{a,b}$ curves and their behaviour under squaring their dual

Quotient curves of the Deligne-Lusztig curve of Suzuki type

The Deligne-Lusztig curve associated to the Suzuki group

Goppa code and quantum stabilizer codes from plane curves given by separated polynomials

Constructions of Algebraic-Geometry Codes

Algebraic geometry codes over abelian surfaces containing no absolutely irreducible curves of low genus

Affine $\imath$quantum groups and Steinberg varieties of type C

Compact moduli of marked noncommutative cubic surfaces

Lattices, Gates, and Curves: GKP codes as a Rosetta stone

Improvements on Parameters of One-Point AG Codes from Hermitian Curves

Many Non-Reed-Solomon Type MDS Codes From Arbitrary Genus Algebraic Curves

Entanglement-assisted Quantum Codes from Algebraic Geometry Codes

Goppa Geometric Codes Achieving the Gilbert-Varshamov Bound

On regular sets of affine type in finite Desarguesian planes and related codes

Asymptotic Bounds on Quantum Codes from Algebraic Geometry Codes

Lifting iso-dual algebraic geometry codes

Best Codes from Generalized Hermitian Curves