pith. sign in

arxiv: 2605.06251 · v1 · submitted 2026-05-07 · 🪐 quant-ph

Meromorphic Quantum Computing

Simon Burton , Hussain Anwar This is my paper

Pith reviewed 2026-05-08 11:19 UTC · model grok-4.3

classification 🪐 quant-ph
keywords meromorphic functionsprojective quantum statesquantum state preparationmagic state distillationquantum error correctioncoherent dynamicsquantum circuits
0
0 comments X

The pith

Projective quantum states as lines in vector space yield meromorphic functions that characterize coherence in logical state preparation and magic state distillation circuits.

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

The paper treats the axioms of quantum mechanics in projective form, replacing normalized states up to phase with one-dimensional subspaces of vector spaces. This projectivization is functorial and lax monoidal, and for qubits it maps the Bloch sphere onto the Riemann sphere. Interpreting quantum circuit diagrams through this projective lens produces an alternate derivation of certain arithmetic calculi and isolates meromorphic functions that track the coherent evolution inside circuits for preparing logical states in quantum codes and for distilling magic states. A sympathetic reader would care because these functions could supply a compact analytic description of protocols that are otherwise studied through explicit matrix calculations or stabilizer formalism.

Core claim

By replacing normalized pure states with one-dimensional subspaces, the kinematic structure of quantum mechanics becomes functorial and lax monoidal. This projective setting permits an interpretation of graphical circuit fragments that recovers known arithmetic calculi and identifies meromorphic functions whose poles and residues capture the coherent behavior of circuits used for logical state preparation in quantum codes and for magic state distillation.

What carries the argument

Projectivization of quantum kinematics, which converts states to one-dimensional subspaces and produces meromorphic functions that encode circuit coherence.

If this is right

  • Logical state preparation circuits admit a description in terms of poles and residues of meromorphic functions.
  • Magic state distillation protocols exhibit coherent behavior governed by the same class of functions.
  • An alternate derivation of arithmetic calculi follows directly from the projective interpretation of circuit diagrams.
  • Coherent dynamics in quantum error-correcting codes can be analyzed without explicit normalization of state vectors.

Where Pith is reading between the lines

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

  • The link between qubit states and the Riemann sphere suggests that residue calculus could be used to bound error rates in distillation protocols.
  • Extending the same projective construction to higher-dimensional systems might yield analogous meromorphic characterizations for qutrit or qudit codes.
  • If the functions prove stable under composition, they could serve as invariants for verifying equivalence of different circuit implementations.

Load-bearing premise

The projectivization remains functorial and lax monoidal while still capturing the coherent dynamics required for logical state preparation and distillation protocols.

What would settle it

A concrete circuit for logical state preparation or magic state distillation whose coherent map cannot be expressed by any meromorphic function, or whose projective image fails to preserve the lax monoidal composition.

Figures

Figures reproduced from arXiv: 2605.06251 by Hussain Anwar, Simon Burton.

Figure 1
Figure 1. Figure 1: Two ways to label qubit states. A common notation for elements of P d−1 is [v] = [v0 : ... : vd−1] with vi ∈ C and [v0 : ... : vd−1] = [λv0 : ... : λvd−1] for λ ∈ C − {0}. The zero based indexing is supposed to remind us that we lost a degree of freedom when projectivizing. The textbook treatment of quantum mechanics picks out states using unit vectors as a canonical representative, which leaves some annoy… view at source ↗
Figure 2
Figure 2. Figure 2: 3 Circuits and diagrams We recall the tensor network notation known as ZX-calculus [19]. Our diagrams flow from right-to-left, in agreement with algebraic (Dirac) notation. We define the Z-type (white) or X-type (black) spider with m outputs and n inputs, labelled with a non-zero multiplicative phase z ∈ C/{0}: := |+Z⟩ ⊗m⟨+Z| ⊗n + z|−Z⟩ ⊗m⟨−Z| ⊗n := |+X⟩ ⊗m⟨+X| ⊗n + z|−X⟩ ⊗m⟨−X| ⊗n When the multiplicative … view at source ↗
Figure 2
Figure 2. Figure 2: We show an octahedral “design” on the Riemann sphere, and its image under view at source ↗
read the original abstract

We consider the kinematic axioms of quantum mechanics projectively. Instead of normalized (pure) states up to global phase, states become one-dimensional subspaces of vector spaces. This process of projectivization is functorial and lax monoidal. For qubits it identifies the Bloch sphere with the Riemann sphere. We interpret a fragment of the ZXW-calculus projectively and thereby provide an alternate derivation of the arithmetic GHZ/W-calculus of Coecke et al. We find meromorphic functions that characterize the coherent behaviour of circuits for logical state preparation of quantum codes and magic state distillation.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The manuscript considers the kinematic axioms of quantum mechanics in projective form, with states as one-dimensional subspaces rather than normalized vectors up to global phase. It asserts that projectivization is functorial and lax monoidal, identifies the Bloch sphere with the Riemann sphere for qubits, interprets a fragment of the ZXW-calculus projectively to derive the arithmetic GHZ/W-calculus, and identifies meromorphic functions that characterize the coherent behaviour of circuits for logical state preparation of quantum codes and magic state distillation.

Significance. If the central claims hold, the work would supply a projective and categorical route to known calculi together with a meromorphic characterization of coherence in state-preparation and distillation protocols. The explicit use of functoriality and lax monoidal structure, if verified to preserve the necessary relative phases, would constitute a genuine technical contribution to the interface between projective geometry and quantum circuit semantics.

major comments (2)
  1. [Abstract] Abstract: the claim that the identified meromorphic functions characterize the coherent behaviour of logical state-preparation and magic-state-distillation circuits is load-bearing, yet no explicit example is supplied in which a standard distillation protocol is re-derived from the projective meromorphic data and shown to reproduce the known output state (up to global phase). Without such a verification, it remains unclear whether the lax monoidal structure reconstructs the relative-phase coherences required by these circuits.
  2. [Projectivization and functoriality] Projectivization construction: the assertion that projectivization is functorial and lax monoidal while still capturing the coherent dynamics of the cited protocols requires an explicit definition of the monoidal structure on the category of projective spaces together with a proof that it preserves the relative phases appearing in standard circuit semantics; the current statement leaves open whether quotienting by global phases erases information essential to the target applications.
minor comments (1)
  1. [Qubit case] The identification of the Bloch sphere with the Riemann sphere is standard; a brief reference to the classical literature would clarify the novelty of the subsequent meromorphic interpretation.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major point below and will incorporate revisions to strengthen the presentation of the projectivization construction and the supporting examples for the meromorphic characterization.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the claim that the identified meromorphic functions characterize the coherent behaviour of logical state-preparation and magic-state-distillation circuits is load-bearing, yet no explicit example is supplied in which a standard distillation protocol is re-derived from the projective meromorphic data and shown to reproduce the known output state (up to global phase). Without such a verification, it remains unclear whether the lax monoidal structure reconstructs the relative-phase coherences required by these circuits.

    Authors: We agree that the abstract claim would be strengthened by an explicit verification. The manuscript derives the meromorphic functions from the projective axioms and applies them to characterize coherent behaviour in logical state-preparation circuits. To address the concern directly, the revised version will include a concrete example: we will take a standard magic-state distillation protocol, extract the corresponding projective meromorphic data, and verify that the output state is reproduced up to global phase. This will explicitly demonstrate preservation of relative-phase coherences under the lax monoidal structure. revision: yes

  2. Referee: [Projectivization and functoriality] Projectivization construction: the assertion that projectivization is functorial and lax monoidal while still capturing the coherent dynamics of the cited protocols requires an explicit definition of the monoidal structure on the category of projective spaces together with a proof that it preserves the relative phases appearing in standard circuit semantics; the current statement leaves open whether quotienting by global phases erases information essential to the target applications.

    Authors: The manuscript states that projectivization is functorial and lax monoidal, identifying the Bloch sphere with the Riemann sphere and deriving the arithmetic GHZ/W-calculus. We acknowledge that the current text would benefit from greater explicitness. In revision we will add a dedicated subsection that: (i) defines the monoidal structure on the category of projective spaces, (ii) specifies the lax monoidal functor from Hilbert spaces, and (iii) proves that relative phases are preserved for the circuit semantics of the cited protocols. This will confirm that the quotient by global phases does not erase essential coherence information. revision: yes

Circularity Check

0 steps flagged

No significant circularity: projective axioms yield meromorphic characterization as an independent finding

full rationale

The paper asserts projectivization of quantum kinematics as functorial and lax monoidal, then interprets a ZXW fragment projectively to derive the arithmetic GHZ/W-calculus and extract meromorphic functions characterizing coherent circuit behavior. No quoted equation or step reduces a claimed prediction or result to a fitted parameter, self-defined quantity, or load-bearing self-citation by construction. The derivation chain treats the projective structure as an input axiom set whose consequences (including meromorphic functions for state preparation and distillation) are presented as derived outputs, with no visible renaming of known results or smuggling of ansatzes via citation. The central claim remains self-contained against the stated axioms.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract alone supplies insufficient detail to enumerate free parameters, axioms, or invented entities; the projective reinterpretation appears to rest on standard categorical constructions but no explicit ledger can be extracted.

pith-pipeline@v0.9.0 · 5371 in / 1097 out tokens · 26260 ms · 2026-05-08T11:19:02.347334+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

  1. [1]

    M. Blau. Symplectic geometry and geometric quantization.Lecture notes, 1992

    work page 1992

  2. [2]

    Bravyi and A

    S. Bravyi and A. Kitaev. Universal quantum computation with ideal clifford gates and noisy ancillas.Physical Review A—Atomic, Molecular, and Optical Physics, 71(2):022316, 2005

    work page 2005

  3. [3]

    Coecke and B

    B. Coecke and B. Edwards. Three qubit entanglement within graphical Z/X-calculus. arXiv preprint arXiv:1103.2811, 2011

    work page arXiv 2011

  4. [4]

    Coecke and A

    B. Coecke and A. Kissinger. The compositional structure of multipartite quantum en- tanglement. InInternational Colloquium on Automata, Languages, and Programming, pages 297–308. Springer, 2010

    work page 2010

  5. [5]

    Coecke, A

    B. Coecke, A. Kissinger, A. Merry, and S. Roy. The GHZ/W-calculus contains rational arithmetic.EPTCS, 52:34–48, 2011

    work page 2011

  6. [6]

    Echeverria-Enriquez, M

    A. Echeverria-Enriquez, M. C. Munoz-Lecanda, N. Rom´ an-Roy, and C. Victoria-Monge. Mathematical foundations of geometric quantization.arXiv preprint math-ph/9904008, 1999

    work page arXiv 1999

  7. [7]

    Gharahi, S

    M. Gharahi, S. Mancini, and G. Ottaviani. Fine-Structure Classification of Multiqubit Entanglement by Algebraic Geometry.Physical Review Research, 2(4):043003, 2020

    work page 2020

  8. [8]

    Girondo and G

    E. Girondo and G. Gonz´ alez-Diez.Introduction to compact Riemann surfaces and dessins d’enfants, volume 79. Cambridge University Press, 2012

    work page 2012

  9. [9]

    Gottesman.Stabilizer codes and quantum error correction

    D. Gottesman.Stabilizer codes and quantum error correction. PhD thesis, 1997

    work page 1997

  10. [10]

    J. L. Heilbron and C. Rovelli. Matrix mechanics mis-prized: Max born’s belated no- belization.The European Physical Journal H, 48(1):11, 2023

    work page 2023

  11. [11]

    Heunen and J

    C. Heunen and J. Vicary.Categories for Quantum Theory: an introduction. Oxford University Press, 2019

    work page 2019

  12. [12]

    arXiv:2204.14038

    A. Kissinger. Phase-free zx diagrams are css codes (... or how to graphically grok the surface code).arXiv preprint arXiv:2204.14038, 2022

    work page arXiv 2022

  13. [13]

    Klein.Lectures on the Icosahedron and the Solution of Equations of the Fifth Degree

    F. Klein.Lectures on the Icosahedron and the Solution of Equations of the Fifth Degree. Courier Corporation, 2003

    work page 2003

  14. [14]

    F. J. MacWilliams and N. J. A. Sloane.The theory of error-correcting codes, volume 16. Elsevier, 1977

    work page 1977

  15. [15]

    M. A. Nielsen and I. L. Chuang.Quantum Computation and Quantum Information. Cambridge University Press, 2010

    work page 2010

  16. [16]

    L. L. Sanchez-Soto, A. B. Klimov, A. Z. Goldberg, and G. Leuchs. The quantum sky of majorana stars, 2026

    work page 2026

  17. [17]

    A. H. A. Sumadi, N. M. Shah, U. A. Halim, and H. Zainuddin. Qubit geometry through holomorphic quantization.arXiv preprint arXiv:2504.16426, 2025. 16

    work page arXiv 2025

  18. [18]

    DOI 10.5281/zenodo.6259615

    The Sage Developers.SageMath, the Sage Mathematics Software System. DOI 10.5281/zenodo.6259615

    work page doi:10.5281/zenodo.6259615

  19. [19]

    arXiv preprint arXiv:2012.13966 (2020).https://doi.org/10.48550/ arXiv.2012.13966

    J. Van De Wetering. Zx-calculus for the working quantum computer scientist.arXiv preprint arXiv:2012.13966, 2020

    work page arXiv 2012

  20. [20]

    Zheng and D

    Y. Zheng and D. E. Liu. From magic state distillation to dynamical systems.arXiv preprint arXiv:2412.04402, 2024

    work page arXiv 2024

  21. [21]

    A. K. Zvonkin. Belyi functions: Examples, properties and applications. InApplications of Group Theory to Combinatorics, pages 171–190. CRC Press, 2008. 17

    work page 2008