pith. sign in

arxiv: 2606.13551 · v1 · pith:355P77TAnew · submitted 2026-06-11 · ✦ hep-th · cond-mat.other· math-ph· math.MP· quant-ph

A ribbon ZX calculus for gauge theory

Pith reviewed 2026-06-27 06:02 UTC · model grok-4.3

classification ✦ hep-th cond-mat.othermath-phmath.MPquant-ph
keywords ZX calculusYang-Mills theorygauge theoryHopf algebraFrobenius algebratopological quantum field theorydiagrammatic calculusribbon category
0
0 comments X

The pith

ZX calculus generalizes to two-dimensional Yang-Mills theory by organizing both around the Hopf Frobenius algebra of a group algebra via two-dimensional TQFT diagrams.

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

The paper establishes a direct generalization of the ZX calculus graphical rules from quantum information to two-dimensional Yang-Mills gauge theory for any compact gauge group. The central link is that both the qubit-based ZX diagrams and the gauge theory can be built from the same Hopf Frobenius algebraic structure extracted from the group algebra. This structure admits a complete description using the standard diagrammatic language of two-dimensional topological quantum field theory. A reader would care because the shared algebra suggests that diagrammatic reasoning tools from quantum computing can be carried over to compute or reason about gauge theory quantities in low dimensions.

Core claim

Both ZX calculus and two-dimensional Yang-Mills theory with compact gauge group can be organized around the Hopf Frobenius algebraic structure associated with a group algebra, which can in turn be described by the diagrammatics of two-dimensional topological quantum field theory.

What carries the argument

The Hopf Frobenius algebraic structure associated with a group algebra, equipped with ribbon structure and described by two-dimensional TQFT diagrammatics.

If this is right

  • ZX-style graphical rewriting rules become available for manipulating Wilson loops and other observables in 2D Yang-Mills.
  • The same algebraic identities that simplify quantum circuits now simplify gauge-theory partition functions and correlation functions.
  • Known relations between 2D gauge theory and 3D gravity allow the diagrams to be carried over to low-dimensional gravitational models.
  • The ribbon structure encodes braiding and framing information needed for consistent treatment of topological features in the theory.

Where Pith is reading between the lines

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

  • The construction may allow direct translation of ZX-based quantum circuit optimization techniques into gauge-theory simplifications.
  • It opens a route to represent 2D Yang-Mills on quantum hardware using the same diagrammatic language already implemented for qubits.
  • The shared structure suggests similar generalizations could exist for other diagrammatic calculi such as the ZW or ZH calculi.

Load-bearing premise

The Hopf Frobenius algebra extracted from the group algebra encodes the full gauge theory dynamics and interactions rather than only the topological or representation-theoretic sector.

What would settle it

An explicit calculation of a gauge-invariant observable or interaction vertex in 2D Yang-Mills that cannot be reproduced by any finite combination of the proposed ribbon ZX diagrams.

read the original abstract

ZX calculus provides a graphical formalism for reasoning about quantum processes, built from two interacting Frobenius algebras associated with the Z and X bases of a qubit. While it has found widespread application in quantum information and computing, its relationship to quantum field theory has only recently begun to be explored. In this work, we further develop this connection by providing a generalization of ZX calculus to two-dimensional Yang Mills theory with a compact gauge group. The key observation is that both frameworks can be organized around the Hopf Frobenius algebraic structure associated with a group algebra, which can in turn be described by the diagrammatics of two dimensional topological quantum field theory. Given the well known relationship between gauge theory and gravity in two and three dimensions, our work paves the way for applications of ZX to low dimensional gravity.

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 / 0 minor

Summary. The paper constructs a ribbon ZX calculus for two-dimensional Yang-Mills theory with compact gauge group G by generalizing the standard ZX diagrammatics. The central claim is that both ZX calculus and 2D YM can be organized around the Hopf Frobenius algebra structure of the group algebra ℂ[G], which admits a description via the diagrammatics of 2D TQFT; this is asserted to encode the gauge theory and to open routes to low-dimensional gravity.

Significance. If the construction reproduces the full set of 2D YM observables (including area dependence) via the ribbon ZX rules, it would supply a new graphical calculus for gauge theory that inherits the computational advantages of ZX. The link to 2D TQFT and Hopf algebras is standard, but a successful extension to the dynamical sector would be a concrete advance in the emerging interface between categorical quantum mechanics and QFT.

major comments (2)
  1. [Abstract] Abstract (key observation paragraph): the claim that the Hopf Frobenius algebra of ℂ[G] organizes the full gauge theory is not supported by the algebraic data alone. Standard 2D YM partition functions on a surface of area A contain explicit factors exp(−(g²A/2)C_R) multiplying representation dimensions; these arise from the Yang-Mills action and are absent from the pure Hopf-Frobenius or 2D TQFT structure. The manuscript must exhibit an explicit mechanism (additional generators, weighting rules, or ribbon twists) that inserts these Casimir-dependent factors, or else restrict the claim to the topological sector.
  2. [Abstract] The abstract states that the ribbon ZX rules are obtained by “describing” the Hopf Frobenius structure via 2D TQFT diagrammatics. No derivation is supplied showing how the ribbon structure is lifted from the group algebra to the full set of Wilson-loop observables or to the area-weighted partition function; without this step the completeness of the calculus cannot be assessed.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address each point below and will revise the manuscript to clarify the scope of our results.

read point-by-point responses
  1. Referee: [Abstract] Abstract (key observation paragraph): the claim that the Hopf Frobenius algebra of ℂ[G] organizes the full gauge theory is not supported by the algebraic data alone. Standard 2D YM partition functions on a surface of area A contain explicit factors exp(−(g²A/2)C_R) multiplying representation dimensions; these arise from the Yang-Mills action and are absent from the pure Hopf-Frobenius or 2D TQFT structure. The manuscript must exhibit an explicit mechanism (additional generators, weighting rules, or ribbon twists) that inserts these Casimir-dependent factors, or else restrict the claim to the topological sector.

    Authors: We agree that the Hopf-Frobenius structure alone does not encode the area-dependent factors exp(−(g²A/2)C_R) from the Yang-Mills action. Our construction uses the group algebra structure and 2D TQFT diagrammatics to capture the topological sector of 2D YM, where observables are determined by representation theory without dynamical area weighting. We will revise the abstract and introduction to restrict all claims explicitly to this topological sector, avoiding any implication that the full dynamical theory is reproduced. revision: yes

  2. Referee: [Abstract] The abstract states that the ribbon ZX rules are obtained by “describing” the Hopf Frobenius structure via 2D TQFT diagrammatics. No derivation is supplied showing how the ribbon structure is lifted from the group algebra to the full set of Wilson-loop observables or to the area-weighted partition function; without this step the completeness of the calculus cannot be assessed.

    Authors: The ribbon ZX rules are obtained by equipping the Hopf Frobenius algebra of ℂ[G] with the standard 2D TQFT diagrammatics, which directly represent the Wilson-loop observables in the topological sector. We acknowledge that the abstract and manuscript would benefit from a more explicit derivation of this correspondence. We will add a clarifying paragraph detailing how the diagrammatics encode the topological Wilson loops, while cross-referencing the restriction to the topological sector noted in response to the first comment. revision: partial

Circularity Check

0 steps flagged

No circularity; relies on externally defined Hopf-Frobenius and TQFT structures

full rationale

The paper's key observation is that both ZX calculus and 2D Yang-Mills organize around the Hopf Frobenius algebra of a group algebra, which is described by standard 2D TQFT diagrammatics. These are independently defined mathematical objects (group algebras, Hopf algebras, Frobenius algebras, and TQFTs) with no reduction of any claimed result to a fitted parameter, self-definition, or load-bearing self-citation chain. The abstract and structure invoke well-known external relationships without introducing ansatzes or renaming that collapse back to the paper's own inputs. This is a reorganization using pre-existing algebraic tools, so the derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard algebraic structures already established in the literature; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)
  • standard math The group algebra of a compact group carries a Hopf Frobenius algebra structure compatible with 2D TQFT diagrammatics.
    Invoked in the key observation paragraph; this is a known result in algebra and TQFT, not derived in the paper.

pith-pipeline@v0.9.1-grok · 5668 in / 1387 out tokens · 22846 ms · 2026-06-27T06:02:57.469744+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

47 extracted references · 2 canonical work pages

  1. [1]

    Interacting Quantum Observables,

    B. Coecke and R. Duncan, “Interacting Quantum Observables,” inAutomata, Languages and Programming, L. Aceto, I. Damg˚ ard, L. A. Goldberg, M. M. Halld´ orsson, A. Ing´ olfsd´ ottir, and I. Walukiewicz, eds., Lecture Notes in Computer Science, pp. 298–310. Springer, Berlin, Heidelberg, 2008

  2. [2]

    Interacting quantum observables: Categorical algebra and diagrammatics,

    B. Coecke and R. Duncan, “Interacting quantum observables: Categorical algebra and diagrammatics,”New Journal of Physics13no. 4, (Apr., 2011) 043016

  3. [3]

    A universal completion of the ZX-calculus,

    K. F. Ng and Q. Wang, “A universal completion of the ZX-calculus,” June, 2017. https://arxiv.org/abs/1706.09877

  4. [4]

    A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics,

    R. Vilmart, “A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics,” in2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp. 1–10. June, 2019.arXiv:1812.09114. – 15 –

  5. [5]

    Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus,

    B. Po´ or, Q. Wang, R. A. Shaikh, L. Yeh, R. Yeung, and B. Coecke, “Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus,” in2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp. 1–14. Boston, MA, USA, June, 2023. arXiv:2302.12135

  6. [6]

    ZX-calculus is Complete for Finite-Dimensional Hilbert Spaces,

    B. Po´ or, R. A. Shaikh, and Q. Wang, “ZX-calculus is Complete for Finite-Dimensional Hilbert Spaces,”Electronic Proceedings in Theoretical Computer Science426(Aug., 2025) 127–158

  7. [7]

    Completeness of qufinite ZXW calculus, a graphical language for finite-dimensional quantum theory,

    Q. Wang, B. Po´ or, and R. A. Shaikh, “Completeness of qufinite ZXW calculus, a graphical language for finite-dimensional quantum theory,” Jan., 2024. https://arxiv.org/abs/2309.13014

  8. [8]

    The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation,

    R. A. Shaikh, L. Yeh, and S. Gogioso, “The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation,” June, 2024. https://arxiv.org/abs/2406.02905

  9. [9]

    Fast and effective techniques for t-count reduction via spider nest identities,

    N. de Beaudrap, X. Bian, and Q. Wang, “Fast and effective techniques for t-count reduction via spider nest identities,” in15th conference on the theory of quantum computation, communication and cryptography (TQC 2020), S. T. Flammia, ed., vol. 158 ofLeibniz international proceedings in informatics (lipics), p. 11:1–11:23. Schloss Dagstuhl–Leibniz-Zentrum ...

  10. [10]

    Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus,

    R. Duncan, A. Kissinger, S. Perdrix, and J. van de Wetering, “Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus,”Quantum4(June, 2020) 279

  11. [11]

    Reducing T-count with the ZX-calculus,

    A. Kissinger and J. van de Wetering, “Reducing T-count with the ZX-calculus,”Physical Review A102no. 2, (Aug., 2020) 022406,arXiv:1903.10477

  12. [12]

    A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code Fault-Tolerant Quantum Computing,

    D. B. Tan, M. Y. Niu, and C. Gidney, “A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code Fault-Tolerant Quantum Computing,” in2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA), pp. 325–339. June, 2024

  13. [13]

    Graphical CSS code transformation using ZX calculus,

    J. Huang, S. M. Li, L. Yeh, A. Kissinger, M. Mosca, and M. Vasmer, “Graphical CSS code transformation using ZX calculus,” inProceedings of the Twentieth International Conference on Quantum Physics and Logic, S. Mansfield, B. Valˆ ıron, and V. Zamdzhiev, eds., vol. 384 of Electronic Proceedings in Theoretical Computer Science, pp. 1–19. Open Publishing Ass...

  14. [14]

    Floquetifying the colour code,

    A. Townsend-Teague, J. Magdalena de la Fuente, and M. Kesselring, “Floquetifying the colour code,” inProceedings of the Twentieth International Conference on Quantum Physics and Logic, S. Mansfield, B. Valˆ ıron, and V. Zamdzhiev, eds., vol. 384 ofElectronic Proceedings in Theoretical Computer Science, pp. 265–303. Open Publishing Association, 2023

  15. [15]

    Fault Tolerance by Construction,

    B. Rodatz, B. Po´ or, and A. Kissinger, “Fault Tolerance by Construction,” Oct., 2025. https://arxiv.org/abs/2506.17181

  16. [16]

    Ultra low overhead syndrome extraction for the steane code,

    B. Po´ or, B. Rodatz, and A. Kissinger, “Ultra low overhead syndrome extraction for the steane code,” 2025.https://arxiv.org/abs/2511.13700

  17. [17]

    Planar fault-tolerant circuits for non-clifford gates on the 2d color code,

    A. Bauer and J. C. M. de la Fuente, “Planar fault-tolerant circuits for non-clifford gates on the 2d color code,” 2025.https://arxiv.org/abs/2505.05175. – 16 –

  18. [18]

    Universal MBQC with generalised parity-phase interactions and Pauli measurements,

    A. Kissinger and J. van de Wetering, “Universal MBQC with generalised parity-phase interactions and Pauli measurements,”Quantum3(Apr., 2019) 134

  19. [19]

    Inserting planar-measured qubits into mbqc patterns while preserving flow,

    M. Backens and T. Perez, “Inserting planar-measured qubits into mbqc patterns while preserving flow,” inProceedings of the 22nd International Conference on Quantum Physics and Logic, Varna, Bulgaria, 14 July 2025 - 18 July 2025, A. D´ ıaz-Caro, O. Oreshkov, and A. B. Sainz, eds., vol. 426 ofElectronic Proceedings in Theoretical Computer Science, pp. 100–1...

  20. [20]

    ZX-Flow: A Flexible Criterion for Deterministic Computation with ZX-Diagrams,

    A. Kissinger and J. van de Wetering, “ZX-Flow: A Flexible Criterion for Deterministic Computation with ZX-Diagrams,” 2026.https://arxiv.org/abs/2603.09580

  21. [21]

    How to sum and exponentiate hamiltonians in ZXW calculus,

    R. A. Shaikh, Q. Wang, and R. Yeung, “How to sum and exponentiate hamiltonians in ZXW calculus,” inProceedings 19th International Conference on Quantum Physics and Logic, Wolfson College, Oxford, UK, 27 June - 1 July 2022, S. Gogioso and M. Hoban, eds., vol. 394 ofElectronic Proceedings in Theoretical Computer Science, pp. 236–261. Open Publishing Associa...

  22. [22]

    Light-Matter Interaction in the ZXW Calculus,

    G. de Felice, R. A. Shaikh, B. Po´ or, L. Yeh, Q. Wang, and B. Coecke, “Light-Matter Interaction in the ZXW Calculus,” inProceedings of the Twentieth International Conference on Quantum Physics and Logic, Paris, France, 17-21st July 2023, S. Mansfield, B. Valˆ ıron, and V. Zamdzhiev, eds., vol. 384 ofElectronic Proceedings in Theoretical Computer Science,...

  23. [23]

    From Fermions to Qubits: A ZX-Calculus Perspective,

    H. McDowall-Rose, R. A. Shaikh, and L. Yeh, “From Fermions to Qubits: A ZX-Calculus Perspective,” 2025.https://arxiv.org/abs/2505.06212

  24. [24]

    Differentiating and Integrating ZX Diagrams with Applications to Quantum Machine Learning,

    Q. Wang, R. Yeung, and M. Koch, “Differentiating and Integrating ZX Diagrams with Applications to Quantum Machine Learning,”Quantum8(Oct., 2024) 1491

  25. [25]

    AKLT-States as ZX-Diagrams: Diagrammatic Reasoning for Quantum States,

    R. D. East, J. van de Wetering, N. Chancellor, and A. G. Grushin, “AKLT-States as ZX-Diagrams: Diagrammatic Reasoning for Quantum States,”PRX Quantum3no. 1, (Jan.,

  26. [26]

    Generalized kramers-wannier self-duality in hopf-ising models,

    D.-C. Lu, A. Chatterjee, and N. Tantivasadakarn, “Generalized kramers-wannier self-duality in hopf-ising models,” 2026.https://arxiv.org/abs/2602.10183

  27. [27]

    A graphical diagnostic of topological order using zx calculus,

    S. Mas-Mendoza, R. D. P. East, M. Filippone, and A. G. Grushin, “A graphical diagnostic of topological order using zx calculus,” 2025.https://arxiv.org/abs/2509.12355

  28. [28]

    Categorical Semantics for Feynman Diagrams,

    R. A. Shaikh and S. Gogioso, “Categorical Semantics for Feynman Diagrams,” May, 2022. https://arxiv.org/abs/2205.00466

  29. [29]

    Beyond Penrose tensor diagrams with the ZX calculus: Applications to quantum computing, quantum machine learning, condensed matter physics, and quantum gravity,

    Q. Wang, R. D. P. East, R. A. Shaikh, L. Yeh, B. Po´ or, and B. Coecke, “Beyond Penrose tensor diagrams with the ZX calculus: Applications to quantum computing, quantum machine learning, condensed matter physics, and quantum gravity,” 2025. https://arxiv.org/abs/2511.06012

  30. [30]

    Spin-networks in the ZX-calculus,

    R. D. P. East, P. Martin-Dussaud, and J. Van de Wetering, “Spin-networks in the ZX-calculus,” Nov., 2022.https://arxiv.org/abs/2111.03114

  31. [31]

    Area-Dependent Quantum Field Theory,

    I. Runkel and L. Szegedy, “Area-Dependent Quantum Field Theory,”Commun. Math. Phys. 381no. 1, (2021) 83–117,arXiv:1807.08196 [math.QA]. – 17 –

  32. [32]

    A categorical semantics of quantum protocols,

    S. Abramsky and B. Coecke, “A categorical semantics of quantum protocols,” in19th IEEE Symposium on Logic in Computer Science (LICS 2004), pp. 415–425. IEEE Computer Society, turku, finland, 2004

  33. [33]

    The geometry of tensor calculus, I,

    A. Joyal and R. Street, “The geometry of tensor calculus, I,”Advances in Mathematics88 no. 1, (July, 1991) 55–112

  34. [34]

    A new description of orthogonal bases,

    B. Coecke, D. Pavlovic, and J. Vicary, “A new description of orthogonal bases,”Mathematical Structures in Computer Science23no. 3, (Nov., 2012) 555–567. http://dx.doi.org/10.1017/S0960129512000047

  35. [35]

    Unpublished note on q deformed 2D Yang Mills,

    W. Donnelly, “Unpublished note on q deformed 2D Yang Mills,”

  36. [36]

    Entanglement entropy and edge modes in topological string theory. Part I. Generalized entropy for closed strings,

    W. Donnelly, Y. Jiang, M. Kim, and G. Wong, “Entanglement entropy and edge modes in topological string theory. Part I. Generalized entropy for closed strings,”JHEP10(2021) 201, arXiv:2010.15737 [hep-th]

  37. [37]

    Entanglement entropy and edge modes in topological string theory. Part II. The dual gauge theory story,

    Y. Jiang, M. Kim, and G. Wong, “Entanglement entropy and edge modes in topological string theory. Part II. The dual gauge theory story,”JHEP10(2021) 202,arXiv:2012.13397 [hep-th]

  38. [38]

    Entanglement branes, modular flow, and extended topological quantum field theory,

    W. Donnelly and G. Wong, “Entanglement branes, modular flow, and extended topological quantum field theory,”JHEP10(2019) 016,arXiv:1811.10785 [hep-th]

  39. [39]

    Dynamical edge modes and entanglement in Maxwell theory,

    A. Ball, Y. T. A. Law, and G. Wong, “Dynamical edge modes and entanglement in Maxwell theory,”JHEP09(2024) 032,arXiv:2403.14542 [hep-th]

  40. [40]

    Dynamical edge modes in Yang-Mills theory,

    A. Ball and L. Ciambelli, “Dynamical edge modes in Yang-Mills theory,”SciPost Phys.20 no. 1, (2026) 013,arXiv:2412.06672 [hep-th]

  41. [41]

    Quantum and braided zx calculus*,

    S. Majid, “Quantum and braided zx calculus*,”Journal of Physics A: Mathematical and Theoretical55no. 25, (2022) 254007.http://dx.doi.org/10.1088/1751-8121/ac631f

  42. [42]

    Two-dimensional QCD is a string theory,

    D. J. Gross and W. Taylor, “Two-dimensional QCD is a string theory,”Nucl. Phys. B400 (1993) 181–208,arXiv:hep-th/9301068

  43. [43]

    Entanglement branes in a two-dimensional string theory,

    W. Donnelly and G. Wong, “Entanglement branes in a two-dimensional string theory,”JHEP 09(2017) 097,arXiv:1610.01719 [hep-th]

  44. [44]

    Fine Structure of Jackiw-Teitelboim Quantum Gravity,

    A. Blommaert, T. G. Mertens, and H. Verschelde, “Fine Structure of Jackiw-Teitelboim Quantum Gravity,”JHEP09(2019) 066,arXiv:1812.00918 [hep-th]

  45. [45]

    A proposal for 3d quantum gravity and its bulk factorization,

    T. G. Mertens, J. Sim´ on, and G. Wong, “A proposal for 3d quantum gravity and its bulk factorization,”JHEP06(2023) 134,arXiv:2210.14196 [hep-th]

  46. [46]

    Edge modes, extended TQFT, and measurement based quantum computation,

    G. Wong, “Edge modes, extended TQFT, and measurement based quantum computation,” JHEP06(2025) 205,arXiv:2312.00605 [hep-th]

  47. [47]

    Quasitriangular Hopf Algebras and Yang-Baxter Equations,

    S. Majid, “Quasitriangular Hopf Algebras and Yang-Baxter Equations,”Int. J. Mod. Phys. A5 (1990) 1–91. – 18 –