A universal completion of the ZX-calculus

Kang Feng Ng, Quanlong Wang

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.

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment