DeepAI
Log In Sign Up

The rational fragment of the ZX-calculus

10/12/2018
by   Emmanuel Jeandel, et al.
0

We introduce here a new axiomatisation of the rational fragment of the ZX-calculus, a diagrammatic language for quantum mechanics. Compared to the previous axiomatisation introduced in [8], our axiomatisation does not use any metarule , but relies instead on a more natural rule, called the cyclotomic supplementarity rule, that was introduced previously in the literature. Our axiomatisation is only complete for diagrams using rational angles , and is not complete in the general case. Using results on diophantine geometry, we characterize precisely which diagram equality involving arbitrary angles are provable in our framework without any new axioms, and we show that our axiomatisation is continuous, in the sense that a diagram equality involving arbitrary angles is provable iff it is a limit of diagram equalities involving rational angles. We use this result to give a complete characterization of all Euler equations that are provable in this axiomatisation.

READ FULL TEXT

page 1

page 2

page 3

page 4

02/21/2020

PBS-calculus: A Graphical Language for Quantum-Controlled Computations

We introduce the PBS-calculus to represent and reason on quantum computa...
09/26/2017

Towards a Minimal Stabilizer ZX-calculus

The stabilizer ZX-calculus is a rigorous graphical language for reasonin...
02/18/2022

Circuit Extraction for ZX-diagrams can be #P-hard

The ZX-calculus is a graphical language for reasoning about quantum comp...
04/25/2018

Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams

Linear/non-linear (LNL) models, as described by Benton, soundly model a ...
09/27/2018

Fused Angles and the Deficiencies of Euler Angles

Just like the well-established Euler angles representation, fused angles...
04/08/2022

String Diagram Rewriting Modulo Commutative Monoid Structure

We characterise freely generated props with a chosen commutative monoid ...
03/22/2022

Cat-inspired Gaits for A Tilt-rotor – from Symmetrical to Asymmetrical

Among the tilt-rotors (quadrotors) developed in the last decades, Rylls ...