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 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. 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.