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.

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to explore the topological properties of Gottesman - Kitaev - Preskill (GKP) encoding and its applications in fault - tolerant quantum computing. Specifically, the authors aim to: 1. **Explain GKP Clifford gates as symplectic automorphisms of the corresponding GKP lattices**: By relating GKP Clifford gates to the mapping class group on a specific manifold, a topological interpretation for these gates is provided. 2. **Establish the connection between GKP encoding, Clifford gates and algebraic curves**: By exploring the correspondence between the space of unimodular GKP encoding and the moduli space of elliptic curves, the algebraic - geometric structure of these encodings is revealed. 3. **Introduce a classification method of fault - tolerant logic gates based on topological invariants**: In particular, the Rademacher function is used to describe the topological invariants of certain Clifford gates, thereby classifying the fault - tolerant implementations. ### Core content of the paper #### Introduction to GKP encoding GKP encoding is a bosonic quantum error - correcting code for quantum harmonic oscillator systems, which can encode discrete information into a set of quantum harmonic oscillators. The encoded state is defined by translational invariance in phase space, has a lattice structure, and can measure small displacements with high precision without destroying the structure of the state. GKP encoding has theoretically and experimentally proven its effectiveness in photon - loss protection and supports the possibility of large - scale fault - tolerant quantum computing. #### Symplectic automorphism interpretation of GKP Clifford gates The paper shows how to interpret GKP Clifford gates as symplectic automorphisms of GKP lattices and relates these automorphisms to the mapping class group of a specific genus surface. This correspondence introduces a topological interpretation of GKP encoding, indicating that fault - tolerant logic gates can be implemented by non - trivial homotopy loops. #### Connection between GKP encoding and algebraic curves For unimodular GKP encoding, the paper establishes a correspondence between its space and the moduli space of elliptic curves, that is, the space of all unimodular GKP encodings is equivalent to the three - dimensional sphere $ S^3 - K $ with the trefoil knot removed. The logical degrees of freedom come from choosing the horizontal structure on the corresponding curve. The paper also discusses how the implementation of Clifford gates corresponds to non - trivial homotopy loops on the GKP encoding space. #### Topological invariants and fault - tolerant logic gates The paper uses tools in the theory of modular forms to interpret the existence of the trefoil knot as the limit case where the GKP encoding distance is zero, and shows how to use the Rademacher function to describe the topological invariants of certain Clifford gates. This provides a classification and topological interpretation for fault - tolerant logic operations in any unimodular GKP encoding. #### Construction of a universal family of GKP encodings Finally, the paper constructs a universal family of unimodular GKP encodings as a universal family of elliptic curves with a horizontal structure. This construction inherits the complex manifold covering structure, and each leaf is marked by the logical Clifford group. This provides a concrete example for the fiber - bundle fault - tolerance framework proposed by Gottesman and Zhang. ### Summary By combining the methods of algebraic geometry and topology, the paper deeply explores the mathematical structure of GKP encoding and its application in fault - tolerant quantum computing, providing new perspectives and tools for future quantum error - correction research.

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

Fiber Bundle Fault Tolerance of GKP Codes

The fabulous world of GKP codes

Logical Gates and Read-Out of Superconducting Gottesman-Kitaev-Preskill Qubits

Genons, Double Covers and Fault-tolerant Clifford Gates

Non-Clifford and parallelizable fault-tolerant logical gates on constant and almost-constant rate homological quantum LDPC codes via higher symmetries

Classifying Logical Gates in Quantum Codes via Cohomology Operations and Symmetry

The x+y Floquet code: A simple example for topological quantum computation in the path integral approach

The Physics of (good) LDPC Codes I. Gauging and dualities

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

Fault-Tolerant Logical Clifford Gates from Code Automorphisms

Fault-tolerant simulation of Lattice Gauge Theories with gauge covariant codes

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

Fault-tolerant bosonic quantum error correction with the surface-GKP code

An algebraic quantum field theoretic approach to toric code with gapped boundary

Code conversion with the quantum Golay code for a universal transversal gate set

Quantum error correction with higher Gottesman-Kitaev-Preskill codes: minimal measurements and linear optics

Transversal non-Clifford gates for quantum LDPC codes on sheaves

Quantum error-correcting codes with a covariant encoding