Difference between revisions of "ZX-calculus"

From PKC
Jump to navigation Jump to search
Line 9: Line 9:
[[Bob Coecke]]'s book on [[Book/Picturing Quantum Processes|Picturing Quantum Processes]]<ref name="PQP">{{:Book/Picturing Quantum Processes}}</ref> has section 9.4<ref extends="PQP">Section 9.4, p.581~P.610</ref> dedicated on [[ZX-calculus]].
[[Bob Coecke]]'s book on [[Book/Picturing Quantum Processes|Picturing Quantum Processes]]<ref name="PQP">{{:Book/Picturing Quantum Processes}}</ref> has section 9.4<ref extends="PQP">Section 9.4, p.581~P.610</ref> dedicated on [[ZX-calculus]].
==ZX-calculus is Universal==
==ZX-calculus is Universal==
In section 9.4.5<ref extends="PQP">Section 9.4.5 ZX for the God(esse)s:Completeness, p.601~p.608</ref> of this book, the notion of [[universality]] is discussed, and this section contains proofs.
In section 9.4.5<ref extends="PQP">Section 9.4.5 '''ZX for the God(esse)s:Completeness''', p.601~p.608</ref> of this book, the notion of [[universality]] is discussed, and this section contains proofs.
<noinclude>
<noinclude>



Revision as of 14:22, 19 March 2022

ZX-calculus(Q63888551) is a graphical language for quantum processes.

Some Useful Tutorials

There is a website:zxcalculus.com on this subject matter. It contains the following sections:

  1. Tutorial Section
  2. PyZX Demo Section
  3. ZX-calculus Info Map

A Textbook on ZX-calculus

Bob Coecke's book on Picturing Quantum Processes[1] has section 9.4Cite error: Invalid <ref> tag; invalid names, e.g. too many dedicated on ZX-calculus.

ZX-calculus is Universal

In section 9.4.5Cite error: Invalid <ref> tag; invalid names, e.g. too many of this book, the notion of universality is discussed, and this section contains proofs.


References

Related Pages