pith. sign in

arxiv: 1706.09877 · v1 · pith:5QG2NT74new · submitted 2017-06-29 · 🪐 quant-ph · cs.LO· math.CT

A universal completion of the ZX-calculus

Kang Feng Ng , Quanlong Wang This is my paper
classification 🪐 quant-ph cs.LOmath.CT
keywords completiongraphicaluniversalzx-calculusanothercompletenessdirectgive
0
0 comments X
read the original abstract

In this paper, we give a universal completion of the ZX-calculus for the whole of pure qubit quantum mechanics. This proof is based on the completeness of another graphical language: the ZW-calculus, with direct translations between these two graphical systems.

This paper has not been read by Pith yet.

discussion (0)

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

Forward citations

Cited by 3 Pith papers

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.

  2. Minimality of the Stabilizer ZX Calculus

    quant-ph 2026-06 unverdicted novelty 7.0

    The stabilizer ZX calculus rule set is minimal because the red/green compact-structure coincidence rule and the bialgebra law are each individually necessary relative to the connectivity meta-rule.

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

    quant-ph 2023-09 unverdicted novelty 7.0

    The qufinite ZXW calculus is complete for the category FHilb of finite-dimensional Hilbert spaces, as any diagram rewrites to a unique normal form.