Complex abelian varieties and quantum error correction: a mathematical framework for GKP codes

• URL: http://arxiv.org/abs/2605.28784v1
• Date: Wed, 27 May 2026 17:43:30 GMT
• Title: Complex abelian varieties and quantum error correction: a mathematical framework for GKP codes
• Abstract summary: We study a class of quantum error-correcting codes through the geometry of complex abelian varieties.<n>We give a precise mathematical formulation of this relationship and extend it to a dictionary between the main structures of GKP code theory and classical objects in the theory of abelian varieties.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We study a class of quantum error-correcting codes through the geometry of complex abelian varieties. These codes, introduced by Gottesman--Kitaev--Preskill, are built from symplectically integral lattices and therefore naturally define polarized complex abelian varieties. We give a precise mathematical formulation of this relationship and extend it to a dictionary between the main structures of GKP code theory and classical objects in the theory of abelian varieties. For instance, under this dictionary, the finite-dimensional code space becomes the space of theta functions $H^0(X, L)$, logical Pauli gates arise from the theta group, passive logical Clifford gates correspond to automorphisms of the polarized abelian variety, and concatenation with stabilizer codes corresponds to isogeny. We also prove several key results that give precise mathematical formulations of statements about these codes that often appear in heuristic form in the physics literature. In particular, we prove that the encoding is asymptotically isometric, that every logical Clifford gate is realized by a Gaussian unitary, and that, for noise of small variance, the failure probability is governed to first order by the shortest nontrivial displacement in the kernel of the polarization isogeny, a systolic invariant of the underlying polarization. This leads naturally to optimization problems on the moduli space of polarized abelian varieties.

Related papers

• Theory of approximate quantum error correction and the error-set model [53.73800998389749]
  We develop a theory of approximate quantum error correction based on the error-set model.<n>Code correcting a given error set automatically protects against every channel whose Kraus operators lie in their linear span.<n>This linearity gives rise to code distance, the equivalence between erasures and general errors, and a theory ofally good codes.
  arXiv  Detail & Related papers  (2026-07-25T02:15:33Z)
• Binary Gauss Stabilizers for Abelian Lattice Gauge Theories [41.99844472131922]
  We study a family of discrete Abelian lattice gauge theories described by a $mathbbZ_N$ gauge group with $N$ an arbitrary power of two.<n>In this setting, we find a set of stabilizers for the gauge-invariant subspace which is an alternative to the Gauss operators.<n>We use this alternative stabilizer group to build practical error-correcting codes exploiting the gauge symmetries of the system without the addition of extra qubits.
  arXiv  Detail & Related papers  (2026-07-16T11:34:00Z)
• Intrinsic locality dimension of quantum codes [1.5869827932384792]
  Quantum error-correcting codes are a cornerstone of quantum computing.<n>We introduce the notion of intrinsic locality dimension of stabilizer codes that is independent of any background geometry.<n>We show how the intrinsic dimension serves as a fundamental organizing parameter that unifies code properties.
  arXiv  Detail & Related papers  (2026-05-29T15:38:50Z)
• Qudit stabiliser codes for $\mathbb{Z}_N$ lattice gauge theories with matter [42.418429168532406]
  We show that a $mathbbZ_N$ gauge theory with prime dimension $N$ coupled to dynamical matter can be expressed as a qudit stabilizer code.<n>Using the stabilizer formalism we show how to formulate an exact mapping of the encoded $mathbbZ_N$ gauge theory onto two different bosonic models.
  arXiv  Detail & Related papers  (2026-02-24T08:07:05Z)
• Non-Abelian qLDPC: TQFT Formalism, Addressable Gauging Measurement and Application to Magic State Fountain on 2D Product Codes [1.1087735229999818]
  We show that native non-Clifford logical gates can be realized using constant-rate 2D hypergraph-product codes and their Clifford-stabilizer variants.<n>This is achieved by a spacetime path integral effectively implementing the addressable gauging measurement of a new type of 0-form subcomplex symmetries.
  arXiv  Detail & Related papers  (2026-01-11T01:20:36Z)
• Preparing Code States via Seed-Entangler-Enriched Sequential Quantum Circuits: Application to Tetra-Digit Topological Error-Correcting Codes [14.058410852202826]
  We introduce a unified and efficient framework of quantum circuits.<n>We construct long-range entangled states (i.e., code states) in code space of topological error-correcting codes.
  arXiv  Detail & Related papers  (2025-03-07T12:32:13Z)
• Anyon Theory and Topological Frustration of High-Efficiency Quantum Low-Density Parity-Check Codes [12.383649662360302]
  Quantum low-density parity-check (QLDPC) codes offer a promising path to low-overhead fault-tolerant quantum computation.<n>Our Letter provides a rigorous theoretical basis for exploring the fault tolerance of QLDPC codes.
  arXiv  Detail & Related papers  (2025-03-06T18:46:14Z)
• Geometric structure and transversal logic of quantum Reed-Muller codes [51.11215560140181]
  In this paper, we aim to characterize the gates of quantum Reed-Muller (RM) codes by exploiting the well-studied properties of their classical counterparts. A set of stabilizer generators for a RM code can be described via $X$ and $Z$ operators acting on subcubes of particular dimensions.
  arXiv  Detail & Related papers  (2024-10-10T04:07:24Z)
• Lattices, Gates, and Curves: GKP codes as a Rosetta stone [0.0]
  We explain how GKP Clifford gates arise as symplectic automorphisms of the corresponding GKP lattice. For a single-mode GKP code, we identify the space of all GKP codes with the moduli space of elliptic curves. We construct a universal family of GKP codes and show how it gives rise to an explicit construction of fiber bundle fault tolerance.
  arXiv  Detail & Related papers  (2024-07-03T16:57:53Z)
• Homological Quantum Error Correction with Torsion [0.0]
  This work is an exploration of the relevant topics, a journey from classical error correction, through homology theory, to CSS codes acting on qudit systems. We prove an original result, the Structure Theorem for the Qudit Logical Space. This work introduces our own abstracted and restricted version of the general notion of a cell complex, suited exactly to our needs.
  arXiv  Detail & Related papers  (2024-05-06T15:28:21Z)
• General quantum algorithms for Hamiltonian simulation with applications to a non-Abelian lattice gauge theory [44.99833362998488]
  We introduce quantum algorithms that can efficiently simulate certain classes of interactions consisting of correlated changes in multiple quantum numbers. The lattice gauge theory studied is the SU(2) gauge theory in 1+1 dimensions coupled to one flavor of staggered fermions. The algorithms are shown to be applicable to higher-dimensional theories as well as to other Abelian and non-Abelian gauge theories.
  arXiv  Detail & Related papers  (2022-12-28T18:56:25Z)
• Pauli topological subsystem codes from Abelian anyon theories [2.410842777583321]
  We construct Pauli topological subsystem codes characterized by arbitrary two-dimensional Abelian anyon theories. Our work both extends the classification of two-dimensional Pauli topological subsystem codes to systems of composite-dimensional qudits.
  arXiv  Detail & Related papers  (2022-11-07T19:00:01Z)
• A refinement of Reznick's Positivstellensatz with applications to quantum information theory [72.8349503901712]
  In Hilbert's 17th problem Artin showed that any positive definite in several variables can be written as the quotient of two sums of squares. Reznick showed that the denominator in Artin's result can always be chosen as an $N$-th power of the squared norm of the variables.
  arXiv  Detail & Related papers  (2019-09-04T11:46:26Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.