Pith. sign in

REVIEW 1 cited by

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

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1812.09114 v1 pith:LGHV5DBO submitted 2018-12-21 quant-ph

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

classification quant-ph
keywords werezx-calculusaxiomatisationscompleteinterpretationlanguagephysicalachieve
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
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.

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 ribbon ZX calculus for gauge theory

    hep-th 2026-06 unverdicted novelty 7.0

    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.