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.

    https://doi.org/10.2168/LMCS-11(2:10)2015
    Source: arXiv.org:1310.6813
    Volume: Volume 11, Issue 2
    Published on: June 19, 2015
    Imported on: November 9, 2013
    Keywords: Quantum Physics, Computer Science - Emerging Technologies, Computer Science - Logic in Computer Science
    Licence: arXiv.org - Non-exclusive license to distribute
    Funding:
      Source : OpenAIRE Graph
    • Funder: Natural Sciences and Engineering Research Council of Canada

    23 Documents citing this article

    Share and export

    Consultation statistics

    This page has been seen 3830 times.
    This article's PDF has been downloaded 1188 times.