Skip to Main content Skip to Navigation
Conference papers

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

Emmanuel Jeandel 1 Simon Perdrix 1 Renaud Vilmart 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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.
Complete list of metadata
Contributor : Renaud Vilmart <>
Submitted on : Friday, February 3, 2017 - 11:32:07 AM
Last modification on : Tuesday, March 30, 2021 - 12:16:03 PM
Long-term archiving on: : 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