Circuit Relations for Real Stabilizers: Towards TOF+H

by   Cole Comfort, et al.

The real stabilizer fragment of quantum mechanics was shown to have a complete axiomatization in terms of the angle-free fragment of the ZX-calculus. This fragment of the ZXcalculus--although abstractly elegant--is stated in terms of identities, such as spider fusion which generally do not have interpretations as circuit transformations. We complete the category CNOT generated by the controlled not gate and the computational ancillary bits, presented by circuit relations, to the real stabilizer fragment of quantum mechanics. This is performed first, by adding the Hadamard gate and the scalar sqrt 2 as generators. We then construct translations to and from the angle-free fragment of the ZX-calculus, showing that they are inverses. We remove the generator sqrt 2 and then prove that the axioms are still complete for the remaining generators. This yields a category which is not compact closed, where the yanking identities hold up to a non-invertible, non-zero scalar. We then discuss how this could potentially lead to a complete axiomatization, in terms of circuit relations, for the approximately universal fragment of quantum mechanics generated by the Toffoli gate, Hadamard gate and computational ancillary bits.



page 1

page 2

page 3

page 4


The ZX calculus: A complete graphical calculus for classical circuits using spiders

We give a complete presentation for the fragment, ZX , of the ZX-calcu...

Generators and Relations for Real Stabilizer Operators

Real stabilizer operators, which are also known as real Clifford operato...

The category TOF

We provide a complete set of identities for the symmetric monoidal categ...

Generators and relations for U_n(ℤ [1/2, i])

Consider the universal gate set for quantum computing consisting of the ...

Distributive Laws, Spans and the ZX-Calculus

We modularly build increasingly larger fragments of the ZX-calculus by m...

Extending the Graph Formalism to Higher-Order Gates

We present an algorithm for efficiently simulating a quantum circuit in ...

In-place implementation of Quantum-Gimli

We present an in-place implementation of the Gimli permutation, a NIST r...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.