Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userCompleteness of algebraic ZX-calculus over arbitrary commutative rings and semirings
76
0
0.0
(
0
)
Authors
Quanlong Wang
Ask ChatGPT about the research
No Arabic 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.
rate research
Read More
ZX-calculus is a graphical language for quantum computing which is complete in the sense that calculation in matrices can be done in a purely diagrammatic way. However, all previous universally complete axiomatisations of ZX-calculus have included at least one rule involving trigonometric functions such as sin and cos which makes it difficult for application purpose. In this paper we give an algebraic complete axiomatisation of ZX-calculus instead such that there are only ring operations involved for phases. With this algebraic axiomatisation of ZX-calculus, we are able to establish for the first time a simple translation of diagrams from another graphical language called ZH-calculus and to derive all the ZX-translated rules of ZH-calculus. As a consequence, we have a great benefit that all techniques obtained in ZH-calculus can be transplanted to ZX-calculus, which cant be obtained by just using the completeness of ZX-calculus.
In this paper we give a complete axiomatisation of qubit ZX-calculus via elementary transformations which are basic operations in linear algebra. This formalism has two main advantages. First, all the operations of the phases are algebraic ones without trigonometry functions involved, thus paved the way for generalising complete axiomatisation of qubit ZX-calculus to qudit ZX-calculus and ZX-calculus over commutative semirings. Second, we characterise elementary transformations in terms of ZX diagrams, so a lot of linear algebra stuff can be done purely diagrammatically.
The Chevalley-Eilenberg differential calculus and differential operators over N-graded commutative rings are constructed. This is a straightforward generalization of the differential calculus over commutative rings, and it is the most general case of the differential calculus over rings that is not the non-commutative geometry. Since any N-graded ring possesses the associated Z_2-graded structure, this also is the case of the graded differential calculus over Grassmann algebras and the supergeometry and field theory on graded manifolds.
In this paper we exploit the utility of the triangle symbol which has a complicated expression in terms of spider diagrams in ZX-calculus, and its role within the ZX-representation of AND-gates in particular. First, we derive spider nest identities which are of key importance to recent developments in quantum circuit optimisation and T-count reduction in particular. Then, using the same rule set, we prove a completeness theorem for quantum Boolean circuits (QBCs) whose rewriting rules can be directly used for a new method of T-count reduction. We give an algorithm based on this method and show that the results of our algorithm outperform the results of all the previous best non-probabilistic algorithms.
ZX-calculus is graphical language for quantum computing which usually focuses on qubits. In this paper, we generalise qubit ZX-calculus to qudit ZX-calculus in any finite dimension by introducing suitable generators, especially a carefully chosen triangle node. As a consequence we obtain a set of rewriting rules which can be seen as a direct generalisation of qubit rules, and a normal form for any qudit vectors. Based on the qudit ZX-calculi, we propose a graphical formalism called qufinite ZX-calculus as a unified framework for all qudit ZX-calculi, which is universal for finite quantum theory due to a normal form for matrix of any finite size. As a result, it would be interesting to give a fine-grained version of the diagrammatic reconstruction of finite quantum theory [Selby2021reconstructing] within the framework of qufinite ZX-calculus.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
