Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

Completeness of the ZX-Calculus

Emmanuel Jeandel ; Simon Perdrix ; Renaud Vilmart.
The ZX-Calculus is a graphical language for diagrammatic reasoning in quantum mechanics and quantum information theory. It comes equipped with an equational presentation. We focus here on a very important property of the language: completeness, which roughly ensures the equational theory captures&nbsp;[&hellip;]
Published on June 4, 2020
Volume 16, Issue 2

Addition and Differentiation of ZX-diagrams

Emmanuel Jeandel ; Simon Perdrix ; Margarita Veshchezerova.
The ZX-calculus is a powerful framework for reasoning in quantum computing. It provides in particular a compact representation of matrices of interests. A peculiar property of the ZX-calculus is the absence of a formal sum allowing the linear combinations of arbitrary ZX-diagrams. The universality&nbsp;[&hellip;]
Published on May 21, 2024
Volume 20, Issue 2
  • < Previous
  • 1
  • Next >