Peter Selinger - Generators and relations for n-qubit Clifford operators

lmcs:1570 - Logical Methods in Computer Science, June 19, 2015, Volume 11, Issue 2 - https://doi.org/10.2168/LMCS-11(2:10)2015
Generators and relations for n-qubit Clifford operatorsArticle

Authors: Peter Selinger ORCID

    We define a normal form for Clifford circuits, and we prove that every Clifford operator has a unique normal form. Moreover, we present a rewrite system by which any Clifford circuit can be reduced to normal form. This yields a presentation of Clifford operators in terms of generators and relations.


    Volume: Volume 11, Issue 2
    Published on: June 19, 2015
    Submitted on: November 9, 2013
    Keywords: Quantum Physics,Computer Science - Emerging Technologies,Computer Science - Logic in Computer Science
    Funding:
      Source : OpenAIRE Graph
    • Funder: Natural Sciences and Engineering Research Council of Canada

    18 Documents citing this article

    Consultation statistics

    This page has been seen 2090 times.
    This article's PDF has been downloaded 758 times.