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 Codes: Key to High Efficiency and Reliability in Communications

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

Quantum Stabilizer Codes from Maximal Curves

Goppa Geometric Codes Achieving the Gilbert-Varshamov Bound

Entanglement-assisted Quantum Codes from Algebraic Geometry Codes

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

Constructions of Algebraic-Geometry Codes

The fabulous world of GKP codes

Advances in Bosonic Quantum Error Correction with Gottesman-Kitaev-Preskill Codes: Theory, Engineering and Applications

Advances in bosonic quantum error correction with Gottesman–Kitaev–Preskill Codes: Theory, engineering and applications

Nonlinear Codes from Algebraic Curves Improving the Tsfasman-Vladut-Zink Bound

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

Quantum synchronizable codes from finite geometries

Quotient Space Quantum Codes

Wire Codes

Excellent nonlinear codes from algebraic function fields

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

Quantum Error Correction with the GKP Code and Concatenation with Stabilizer Codes

Nonbinary stabilizer codes over finite fields

Linear-optical quantum computation with arbitrary error-correcting codes

Performance and achievable rates of the Gottesman-Kitaev-Preskill code for pure-loss and amplification channels