Generators and Relations for Real Stabilizer Operators
Quantum Physics
2021-09-14 v1 Emerging Technologies
Logic in Computer Science
Abstract
Real stabilizer operators, which are also known as real Clifford operators, are generated, through composition and tensor product, by the Hadamard gate, the Pauli Z gate, and the controlled-Z gate. We introduce a normal form for real stabilizer circuits and show that every real stabilizer operator admits a unique normal form. Moreover, we give a finite set of relations that suffice to rewrite any real stabilizer circuit to its normal form.
Cite
@article{arxiv.2109.05655,
title = {Generators and Relations for Real Stabilizer Operators},
author = {Justin Makary and Neil J. Ross and Peter Selinger},
journal= {arXiv preprint arXiv:2109.05655},
year = {2021}
}
Comments
In Proceedings QPL 2021, arXiv:2109.04886