Y-Calculus: A language for real Matrices derived from the ZX-Calculus

Abstract : The ZX-Calculus is a powerful diagrammatic language devoted to represent complex quantum evolutions. But the advantages of quantum computing still exist when working with rebits, and evolutions with real coefficients. Some models explicitly use rebits, but the ZX-Calculus can not handle these evolutions as it is. Hence, we define an alternative language solely dealing with real matrices, with a new set of rules. We show that three of its non-trivial rules are not derivable from the others and we prove that the language is complete for the π/2-fragment. We define a generalisation of the Hadamard node, and exhibit two interpretations from and to the ZX-Calculus, showing the consistency between the two languages.
Liste complète des métadonnées

Contributor : Renaud Vilmart <>
Submitted on : Friday, February 3, 2017 - 11:32:07 AM
Last modification on : Tuesday, December 18, 2018 - 4:48:02 PM
Document(s) archivé(s) le : Friday, May 5, 2017 - 1:33:20 PM


Files produced by the author(s)


  • HAL Id : hal-01445948, version 1
  • ARXIV : 1702.00934


Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. Y-Calculus: A language for real Matrices derived from the ZX-Calculus. International Conference on Quantum Physics and Logics (QPL), 2017, Nijmegen, Netherlands. ⟨hal-01445948⟩



Record views


Files downloads