A Near-Optimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics
classification
🪐 quant-ph
keywords
werezx-calculusaxiomatisationscompleteinterpretationlanguagephysicalachieve
read the original abstract
Recent developments in the ZX-Calculus have resulted in complete axiomatisations first for an approximately universal restriction of the language, and then for the whole language. The main drawbacks were that the axioms that were added to achieve completeness were numerous, tedious to manipulate and lacked a physical interpretation. We present in this paper two complete axiomatisations for the general ZX-Calculus, that we believe are optimal, in that all their equations are necessary and moreover have a nice physical interpretation.
This paper has not been read by Pith yet.
Forward citations
Cited by 1 Pith paper
-
A ribbon ZX calculus for gauge theory
A ribbon ZX calculus is defined for 2D Yang-Mills theory via the Hopf Frobenius structure of the group algebra, which matches 2D TQFT diagrammatics.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.