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
    Submitted 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

    18 Documents citing this article

    Share and export

    Consultation statistics

    This page has been seen 1540 times.
    This article's PDF has been downloaded 660 times.