Completeness of algebraic ZX-calculus over arbitrary commutative rings and semirings
Abstract
ZX-calculus is a strict mathematical formalism for graphical quantum computing which is based on the field of complex numbers. In this paper, we extend its power by generalising ZX-calculus to such an extent that it is universal both in an arbitrary commutative ring and in an arbitrary commutative semiring. Furthermore, we follow the framework of arXiv:2007.13739 to prove respectively that the proposed ZX-calculus over an arbitrary commutative ring (semiring) is complete for matrices over the same ring (semiring), via a normal form inspired from matrix elementary operations such as row addition and row multiplication. This work could lead to various applications including doing elementary number theory in string diagrams.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2019
- DOI:
- 10.48550/arXiv.1912.01003
- arXiv:
- arXiv:1912.01003
- Bibcode:
- 2019arXiv191201003W
- Keywords:
-
- Quantum Physics;
- Mathematics - Category Theory
- E-Print:
- 73 pages