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.

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

Goppa Codes: Key to High Efficiency and Reliability in Communications

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

Quantum Stabilizer Codes from Maximal Curves

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

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

Asymptotic Bounds on Quantum Codes from Algebraic Geometry Codes

Quotient Space Quantum Codes

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

Quantum Margulis Codes

Quantum synchronizable codes from finite geometries

Entanglement-assisted Quantum Codes from Algebraic Geometry Codes

On the algebraic structure of quasi-polycyclic codes and new quantum codes

Multivariate Goppa codes

The fabulous world of GKP codes

Euclidean and Hermitian Self-orthogonal Algebraic Geometry Codes and Their Application to Quantum Codes.

Quantum Codes on Graphs

A New Construction of Block Codes from Algebraic Curves

Polynomial representation of additive cyclic codes and new quantum codes

A graph-based formalism for surface codes and twists