A ribbon ZX calculus for gauge theory
Pith reviewed 2026-06-27 06:02 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [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.
- [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
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
-
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
-
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
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
axioms (1)
- standard math The group algebra of a compact group carries a Hopf Frobenius algebra structure compatible with 2D TQFT diagrammatics.
Reference graph
Works this paper leans on
-
[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
2008
-
[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
2011
-
[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
Pith/arXiv arXiv 2017
-
[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 –
Pith/arXiv arXiv 2019
-
[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
arXiv 2023
-
[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
2025
-
[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
Pith/arXiv arXiv 2024
-
[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
arXiv 2024
-
[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 ...
2020
-
[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
2020
-
[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
arXiv 2020
-
[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
2024
-
[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...
2023
-
[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
2023
-
[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
arXiv 2025
-
[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
arXiv 2025
-
[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 –
arXiv 2025
-
[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
2019
-
[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...
2025
-
[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
arXiv 2026
-
[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...
2022
-
[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,...
2023
-
[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
arXiv 2025
-
[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
2024
-
[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]
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
arXiv 2026
-
[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
arXiv 2025
-
[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
arXiv 2022
-
[29]
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
arXiv 2025
-
[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
arXiv 2022
-
[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 –
Pith/arXiv arXiv 2021
-
[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
2004
-
[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
1991
-
[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]
Unpublished note on q deformed 2D Yang Mills,
W. Donnelly, “Unpublished note on q deformed 2D Yang Mills,”
-
[36]
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]
arXiv 2021
-
[37]
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]
arXiv 2021
-
[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]
arXiv 2019
-
[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]
arXiv 2024
-
[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]
arXiv 2026
-
[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]
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
Pith/arXiv arXiv 1993
-
[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]
Pith/arXiv arXiv 2017
-
[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]
arXiv 2019
-
[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]
arXiv 2023
-
[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]
arXiv 2025
-
[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 –
1990
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.