Generators and relations for n-qubit Clifford operators

Abstract

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.

References in corpus (2)

• Instantaneous non-local computation of low T-depth quantum circuits
• New Limits on Fault-Tolerant Quantum Computation

Cited by in corpus (29)

• t$|$ket$⟩$ : A Retargetable Compiler for NISQ Devices
• Phase Gadget Synthesis for Shallow Circuits
• Optimising Clifford Circuits with Quantomatic
• Measurement-induced phase transitions in sparse nonlocal scramblers
• Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits
• Deterministic Fast Scrambling with Neutral Atom Arrays
• Exploring Ququart Computation on a Transmon using Optimal Control
• A Finite Presentation of CNOT-Dihedral Operators
• The Classification of Clifford Gates over Qubits
• No-Go Theorems for Universal Entanglement Purification
• Clifford Group and Unitary Designs under Symmetry
• Charged String Tensor Networks
• Formal Methods for Quantum Programs: A Survey
• Onset of scrambling as a dynamical transition in tunable-range quantum circuits
• With a Few Square Roots, Quantum Computing is as Easy as Π
• Symbolic Synthesis of Clifford Circuits and Beyond
• Generators and Relations for 2-Qubit Clifford+T Operators
• Tunable Geometries in Sparse Clifford Circuits
• Generators and Relations for Real Stabilizer Operators
• Sketching the Best Approximate Quantum Compiling Problem
• Clifford Orbits from Cayley Graph Quotients
• Generators and Relations for 3-Qubit Clifford+CS Operators
• A Complete and Natural Rule Set for Multi-Qutrit Clifford Circuits
• Bounding Entanglement Entropy with Clifford Double Cosets
• On The Stabilizer Formalism And Its Generalization
• On character table of Clifford groups
• Classical representation of local Clifford operators
• A Sound and Complete Equational Theory for 3-Qubit Toffoli-Hadamard Circuits
• Circuit Relations for Real Stabilizers: Towards TOF+H