Pith. sign in

REVIEW 2 minor 1 cited by

Symplectically integral lattices turn GKP codes into polarized complex abelian varieties with a structure-preserving dictionary.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-06-29 09:38 UTC pith:VHXRY3KT

load-bearing objection The paper sets up a dictionary from GKP codes to polarized abelian varieties and proves three statements that turn physics heuristics into theorems.

arxiv 2605.28784 v1 pith:VHXRY3KT submitted 2026-05-27 math.AG math-phmath.DGmath.MPquant-ph

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

Maxence Mayrand , Baptiste Royer This is my paper
classification math.AG math-phmath.DGmath.MPquant-ph
keywords GKP codesabelian varietiesquantum error correctiontheta functionspolarizationsisogeniesGaussian unitariessymplectic lattices
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper formulates GKP quantum error-correcting codes geometrically by associating them to polarized complex abelian varieties via symplectically integral lattices. It builds an explicit dictionary in which the code space becomes the space of theta functions H^0(X, L), logical Pauli operators come from the theta group, passive Clifford gates arise as automorphisms of the polarized variety, and concatenation of codes corresponds to isogenies. The authors prove that the encoding map is asymptotically isometric, that every logical Clifford gate is realized by a Gaussian unitary, and that the leading term in the failure probability under small-variance noise is given by the shortest nontrivial vector in the kernel of the polarization isogeny. These statements convert heuristic claims from the physics literature into theorems and naturally pose optimization problems over the moduli space of polarized abelian varieties.

Core claim

GKP codes constructed from symplectically integral lattices define polarized complex abelian varieties; under the resulting dictionary the finite-dimensional code space is identified with 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. The encoding is asymptotically isometric, every logical Clifford gate is realized by a Gaussian unitary, and 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 t

What carries the argument

The dictionary that maps GKP code structures (code space, logical gates, concatenation) to classical objects on polarized complex abelian varieties (theta functions, theta group, automorphisms, isogenies), realized by associating each symplectically integral lattice to a polarized abelian variety.

Load-bearing premise

Every symplectically integral lattice arising from a GKP code defines a polarized complex abelian variety that preserves the code space, logical gates, and concatenation structures without additional normalizations or choices.

What would settle it

An explicit example of a GKP lattice for which at least one logical Clifford gate cannot be realized by any Gaussian unitary, or a direct computation showing that the leading failure probability under small noise deviates from the length of the shortest nontrivial kernel vector.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The encoding map from logical to physical space becomes isometric in the continuum limit of finer lattices.
  • Every logical Clifford operation on a GKP code can be implemented exactly by a Gaussian unitary acting on the underlying continuous-variable system.
  • For low-variance noise the dominant contribution to the logical error rate is a systolic invariant of the polarization isogeny.
  • Concatenation of a GKP code with a discrete stabilizer code corresponds to an isogeny between the associated polarized abelian varieties.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Minimizing logical error rates for GKP codes may be recast as a search for polarized abelian varieties whose polarizations have large systolic constants.
  • The same geometric dictionary could be applied to multi-mode GKP codes by using higher-dimensional abelian varieties.
  • The correspondence raises the question of whether other families of quantum codes admit natural interpretations inside the moduli spaces of abelian varieties or related algebraic objects.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 2 minor

Summary. The manuscript develops a correspondence between Gottesman-Kitaev-Preskill (GKP) codes constructed from symplectically integral lattices and polarized complex abelian varieties. It defines a dictionary mapping the code space to the space of theta functions H^0(X, L), logical Pauli operators to the theta group, passive logical Clifford gates to automorphisms of the polarized variety, and concatenation to isogenies. The authors prove that the encoding map is asymptotically isometric, that every logical Clifford gate is realized by a Gaussian unitary, and that the leading-order failure probability under small-variance noise is controlled by the shortest nontrivial element in the kernel of the polarization isogeny (a systolic invariant).

Significance. If the stated dictionary and proofs hold without hidden normalizations, the work supplies a rigorous geometric language for GKP codes that directly imports results from the theory of abelian varieties and theta functions. The explicit theorems on asymptotic isometry, Gaussian realization of Cliffords, and systolic error bounds formalize statements that have appeared only heuristically in the physics literature; the resulting optimization problems on the moduli space of polarized abelian varieties constitute a concrete new research direction. These features are genuine strengths of the manuscript.

minor comments (2)
  1. [Abstract] The abstract asserts that 'proofs are given' for the three main results, yet the introduction does not list the corresponding theorem numbers or section references; adding such pointers would improve navigability.
  2. Notation for the symplectically integral lattice, its polarization, and the associated isogeny is introduced gradually; a single early table or diagram collecting the dictionary entries would reduce the need for forward references.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the significance of the dictionary and theorems, and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper defines a dictionary mapping symplectically integral lattices to polarized abelian varieties and their theta functions, theta groups, automorphisms, and isogenies, then derives the stated theorems (asymptotic isometry, Gaussian realization of Cliffords, first-order failure probability via systolic length) directly from this identification and standard facts about abelian varieties. No quoted step reduces a claimed prediction or result to a fitted parameter, self-citation chain, or definitional renaming; the central claims rest on external mathematical structures rather than internal re-labeling of inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the standard theory of polarized abelian varieties and theta functions; no free parameters or invented entities are introduced in the abstract. The lattice-to-variety correspondence is treated as a domain assumption from algebraic geometry.

axioms (1)
  • domain assumption Symplectically integral lattices define polarized complex abelian varieties whose theta functions and automorphism groups correspond to the code space and logical gates of the associated GKP code.
    Invoked in the opening paragraph of the abstract as the foundation for the entire dictionary.

pith-pipeline@v0.9.1-grok · 5764 in / 1480 out tokens · 22348 ms · 2026-06-29T09:38:20.578100+00:00 · methodology

0 comments
read the original 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.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A diagrammatic field theory of quantum error correction

    quant-ph 2026-07 conditional novelty 6.5

    Exact correctability of fusion-space codes is equivalent to fibrewise Knill–Laflamme conditions on syndrome-admissible footprint algebras, with a conditional Peierls threshold for growing families and explicit Ising e...

Reference graph

Works this paper leans on

42 extracted references · 3 canonical work pages · cited by 1 Pith paper

  1. [1]

    Scaling and networking a modular photonic quantum computer

    H Aghaee Rad, Thomas Ainsworth, Rafael N Alexander, Brandon Altieri, Mohsen F Askarani, R Baby, Leonardo Banchi, Ben Q Baragiola, J Eli Bourassa, RS Chadwick, et al. Scaling and networking a modular photonic quantum computer. Nature, 638(8052):912–919, 2025

    2025

  2. [2]

    Bargmann

    V. Bargmann. On a Hilbert space of analytic functions and an associated integral transform.Comm. Pure Appl. Math., 14:187–214, 1961

    1961

  3. [3]

    Bargmann

    V. Bargmann. On a Hilbert space of analytic functions and an associated integral transform. Part II. A family of related function spaces. Application to distribution theory.Comm. Pure Appl. Math., 20:1–101, 1967

    1967

  4. [4]

    Seshadri constants and periods of polarized abelian varieties.Math

    Thomas Bauer. Seshadri constants and periods of polarized abelian varieties.Math. Ann., 312(4):607–623, 1998. With an appendix by the author and Tomasz Szemberg

    1998

  5. [5]

    Springer-Verlag, Berlin, second edition, 2004

    Christina Birkenhake and Herbert Lange.Complex abelian varieties, volume 302 ofGrundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, second edition, 2004

    2004

  6. [6]

    Eli Bourassa, Rafael N

    J. Eli Bourassa, Rafael N. Alexander, Michael Vasmer, Ashlesha Patil, Ilan Tzitrin, Takaya Matsuura, Daiqin Su, Ben Q. Baragiola, Saikat Guha, Guillaume Dauphinais, Krishna K. Sabapathy, Nicolas C. Menicucci, and Ish Dhand. Blueprint for a scalable photonic fault-tolerant quantum computer. 5:392. Publisher: Verein zur F¨ orderung des Open Access Publizier...

  7. [7]

    Lifting level d-structures of abelian varieties.Archiv der Mathematik, 60(6):553–562, 1993

    Hans-J¨ urgen Brasch. Lifting level d-structures of abelian varieties.Archiv der Mathematik, 60(6):553–562, 1993

    1993

  8. [8]

    Fiber bundle fault tolerance of GKP codes.Quantum, 9:1899, 2025

    Ansgar G Burchards, Steven T Flammia, and Jonathan Conrad. Fiber bundle fault tolerance of GKP codes.Quantum, 9:1899, 2025

    2025

  9. [9]

    Buser and P

    P. Buser and P. Sarnak. On the period matrix of a Riemann surface of large genus.Invent. Math., 117(1):27–56, 1994. With an appendix by J. H. Conway and N. J. A. Sloane

    1994

  10. [10]

    Quantum error correction of a qubit encoded in grid states of an oscillator.Nature, 584(7821):368–372, 2020

    Philippe Campagne-Ibarcq, Alec Eickbusch, Steven Touzard, Evan Zalys-Geller, Nicholas E Frattini, Volodymyr V Sivak, Philip Reinhold, Shruti Puri, Shyam Shankar, Robert J Schoelkopf, et al. Quantum error correction of a qubit encoded in grid states of an oscillator.Nature, 584(7821):368–372, 2020

    2020

  11. [11]

    The fabulous world of GKP codes.PhD Thesis, Freie Universit¨ at Berlin (2024)

    Jonathan Conrad. The fabulous world of GKP codes.PhD Thesis, Freie Universit¨ at Berlin (2024). arXiv:2412.02442, 2024

    work page arXiv 2024

  12. [12]

    Lattices, gates, and curves: GKP codes as a rosetta stone

    Jonathan Conrad, Ansgar G Burchards, and Steven T Flammia. Lattices, gates, and curves: GKP codes as a rosetta stone. arXiv preprint arXiv:2407.03270, 2024

    work page arXiv 2024

  13. [13]

    Gottesman-kitaev-preskill codes: A lattice perspective.Quantum, 6:648, 2022

    Jonathan Conrad, Jens Eisert, and Francesco Arzani. Gottesman-kitaev-preskill codes: A lattice perspective.Quantum, 6:648, 2022

    2022

  14. [14]

    SL(2, Z).https://kconrad.math.uconn.edu/blurbs/grouptheory/SL(2,Z).pdf, n.d

    Keith Conrad. SL(2, Z).https://kconrad.math.uconn.edu/blurbs/grouptheory/SL(2,Z).pdf, n.d. Expository notes

  15. [15]

    Brennan de Neeve, Thanh-Long Nguyen, Tanja Behrle, and Jonathan P. Home. Error correction of a logical grid state qubit by dissipative pumping.Nature Physics, 18(3):296–300, March 2022

    2022

  16. [16]

    The klein quartic in number theory.The eightfold way, 35:51–101, 1999

    Noam D Elkies. The klein quartic in number theory.The eightfold way, 35:51–101, 1999

    1999

  17. [17]

    Folland.Harmonic analysis in phase space, volume 122 ofAnnals of Mathematics Studies

    Gerald B. Folland.Harmonic analysis in phase space, volume 122 ofAnnals of Mathematics Studies. Princeton University Press, Princeton, NJ, 1989

    1989

  18. [18]

    On automorphisms of principally polarized abelian varieties.Geometriae Dedicata, 139(1):249– 258, 2009

    V´ ıctor Gonz´ alez-Aguilera. On automorphisms of principally polarized abelian varieties.Geometriae Dedicata, 139(1):249– 258, 2009

    2009

  19. [19]

    California Institute of Technology, 1997

    Daniel Gottesman.Stabilizer codes and quantum error correction. California Institute of Technology, 1997

    1997

  20. [20]

    Encoding a qubit in an oscillator.Phys

    Daniel Gottesman, Alexei Kitaev, and John Preskill. Encoding a qubit in an oscillator.Phys. Rev. A, 64:012310, Jun 2001

    2001

  21. [21]

    Achievable rates for the gaussian quantum channel.Phys

    Jim Harrington and John Preskill. Achievable rates for the gaussian quantum channel.Phys. Rev. A, 64:062301, Nov 2001. 40 MAXENCE MAYRAND AND BAPTISTE ROYER

    2001

  22. [22]

    Analysis of loss correction with the gottesman-kitaev-preskill code.arXiv preprint arXiv:2112.01425, 2021

    Jacob Hastrup and Ulrik L Andersen. Analysis of loss correction with the gottesman-kitaev-preskill code.arXiv preprint arXiv:2112.01425, 2021

    work page arXiv 2021

  23. [23]

    Stabilizer states and clifford operations for systems of arbitrary dimen- sions and modular arithmetic.Phys

    Erik Hostens, Jeroen Dehaene, and Bart De Moor. Stabilizer states and clifford operations for systems of arbitrary dimen- sions and modular arithmetic.Phys. Rev. A, 71:042315, Apr 2005

    2005

  24. [24]

    Autonomous Quantum Error Correction of Gottesman-Kitaev-Preskill States.Physical Review Letters, 132(15), 2024

    Dany Lachance-Quirion. Autonomous Quantum Error Correction of Gottesman-Kitaev-Preskill States.Physical Review Letters, 132(15), 2024

    2024

  25. [25]

    M. V. Larsen, J. E. Bourassa, S. Kocsis, J. F. Tasker, R. S. Chadwick, C. Gonz´ alez-Arciniegas, J. Hastrup, C. E. Lopetegui- Gonz´ alez, F. M. Miatto, A. Motamedi, R. Noro, G. Roeland, R. Baby, H. Chen, P. Contu, I. Di Luch, C. Drago, M. Gies- brecht, T. Grainge, I. Krasnokutska, M. Menotti, B. Morrison, C. Puviraj, K. Rezaei Shad, B. Hussain, J. McMahon...

  26. [26]

    Geometric methods for improving the upper bounds on the number of rational points on algebraic curves over finite fields.J

    Kristin Lauter. Geometric methods for improving the upper bounds on the number of rational points on algebraic curves over finite fields.J. Algebraic Geom., 10(1):19–36, 2001. With an appendix in French by J.-P. Serre

    2001

  27. [27]

    Lengths of periods and Seshadri constants of abelian varieties.Math

    Robert Lazarsfeld. Lengths of periods and Seshadri constants of abelian varieties.Math. Res. Lett., 3(4):439–447, 1996

    1996

  28. [28]

    Frattini, Florian Hopfmueller, Chloe Gauvin-Ndiaye, Julien Camirand-Lemyre, and Philippe St-Jean

    Marc-Antoine Lemonde, Dany Lachance-Quirion, Guillaume Duclos-Cianci, Nicholas E. Frattini, Florian Hopfmueller, Chloe Gauvin-Ndiaye, Julien Camirand-Lemyre, and Philippe St-Jean. Hardware-efficient fault tolerant quantum comput- ing with bosonic grid states in superconducting circuits

  29. [29]

    Cambridge University Press, 2001

    Silvio Levy.The eightfold way: the beauty of Klein ’s quartic curve, volume 35. Cambridge University Press, 2001

    2001

  30. [30]

    Springer Science & Business Media, 1991

    Gregori A Margulis.Discrete subgroups of semisimple Lie groups, volume 17. Springer Science & Business Media, 1991

    1991

  31. [31]

    Action of the automorphism group on the Jacobian of Klein’s quartic curve

    Dimitri Markushevich and Anne Moreau. Action of the automorphism group on the Jacobian of Klein’s quartic curve. In Birational geometry, K¨ ahler-Einstein metrics and degenerations, volume 409 ofSpringer Proc. Math. Stat., pages 591–607. Springer, Cham, [2023]©2023

    2023

  32. [32]

    Universal quantum gate set for gottesman–kitaev–preskill logical qubits.Nature Physics, 21(10):1664–1669, 2025

    Vassili G Matsos, CH Valahu, Maverik J Millican, Thomas Navickas, Xanda C Kolesnikow, Michael J Biercuk, and Ting R Tan. Universal quantum gate set for gottesman–kitaev–preskill logical qubits.Nature Physics, 21(10):1664–1669, 2025

    2025

  33. [33]

    David Mumford.Tata lectures on theta. I. Modern Birkh¨ auser Classics. Birkh¨ auser Boston, Inc., Boston, MA, 2007. With the collaboration of C. Musili, M. Nori, E. Previato and M. Stillman, Reprint of the 1983 edition

    2007

  34. [34]

    David Mumford.Tata lectures on theta. II. Modern Birkh¨ auser Classics. Birkh¨ auser Boston, Inc., Boston, MA, 2007. Jacobian theta functions and differential equations, With the collaboration of C. Musili, M. Nori, E. Previato, M. Stillman and H. Umemura, Reprint of the 1984 original

    2007

  35. [35]

    David Mumford.Tata lectures on theta. III. Modern Birkh¨ auser Classics. Birkh¨ auser Boston, Inc., Boston, MA, 2007. With collaboration of Madhav Nori and Peter Norman, Reprint of the 1991 original

    2007

  36. [36]

    Cambridge university press, 2010

    Michael A Nielsen and Isaac L Chuang.Quantum computation and quantum information. Cambridge university press, 2010

    2010

  37. [37]

    Quantum capacity bounds of gaussian thermal loss channels and achievable rates with gottesman-kitaev-preskill codes.IEEE Transactions on Information Theory, 65(4):2563–2582, 2018

    Kyungjoo Noh, Victor V Albert, and Liang Jiang. Quantum capacity bounds of gaussian thermal loss channels and achievable rates with gottesman-kitaev-preskill codes.IEEE Transactions on Information Theory, 65(4):2563–2582, 2018

    2018

  38. [38]

    Cambridge University Press, Cambridge, 2003

    Alexander Polishchuk.Abelian varieties, theta functions and the Fourier transform, volume 153 ofCambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2003

    2003

  39. [39]

    Encoding qubits in multimode grid states.PRX Quantum, 3(1):010335, 2022

    Baptiste Royer, Shraddha Singh, and Steven M Girvin. Encoding qubits in multimode grid states.PRX Quantum, 3(1):010335, 2022

    2022

  40. [40]

    Real-time quantum error correction beyond break-even

    Volodymyr V Sivak, Alec Eickbusch, Baptiste Royer, Shraddha Singh, Ioannis Tsioutsios, Suhas Ganjam, Alessandro Miano, Benjamin L Brock, Andy Z Ding, Luigi Frunzio, et al. Real-time quantum error correction beyond break-even. Nature, 616(7955):50–55, 2023

    2023

  41. [41]

    Efficient classical simulations of quantum Fourier transforms and normalizer circuits over Abelian groups.Quantum Inf

    Maarten Van den Nest. Efficient classical simulations of quantum Fourier transforms and normalizer circuits over Abelian groups.Quantum Inf. Comput., 13(11-12):1007–1037, 2013

    2013

  42. [42]

    Gaussian quantum information.Reviews of modern physics, 84(2):621–669, 2012

    Christian Weedbrook, Stefano Pirandola, Ra´ ul Garc´ ıa-Patr´ on, Nicolas J Cerf, Timothy C Ralph, Jeffrey H Shapiro, and Seth Lloyd. Gaussian quantum information.Reviews of modern physics, 84(2):621–669, 2012. (Maxence Mayrand)D ´epartement de math´ematiques et Institut Quantique, Universit ´e de Sherbrooke, 2500 Bd de l’Universit´e, Sherbrooke, QC, J1K ...

    2012