Clifford Circuit Optimization with Templates and Symbolic Pauli Gates

Abstract

The Clifford group is a finite subgroup of the unitary group generated by the Hadamard, the CNOT, and the Phase gates. This group plays a prominent role in quantum error correction, randomized benchmarking protocols, and the study of entanglement. Here we consider the problem of finding a short quantum circuit implementing a given Clifford group element. Our methods aim to minimize the entangling gate count assuming all-to-all qubit connectivity. First, we consider circuit optimization based on template matching and design Clifford-specific templates that leverage the ability to factor out Pauli and SWAP gates. Second, we introduce a symbolic peephole optimization method. It works by projecting the full circuit onto a small subset of qubits and optimally recompiling the projected subcircuit via dynamic programming. CNOT gates coupling the chosen subset of qubits with the remaining qubits are expressed using symbolic Pauli gates. Software implementation of these methods finds circuits that are only 0.2% away from optimal for 6 qubits and reduces the two-qubit gate count in circuits with up to 64 qubits by 64.7% on average, compared with the Aaronson-Gottesman canonical form.

References in corpus (22)

• Mixed State Entanglement and Quantum Error Correction
• Improved Simulation of Stabilizer Circuits
• Universal Quantum Computation with ideal Clifford gates and noisy ancillas
• Quantum Computing with Very Noisy Devices
• Predicting Many Properties of a Quantum System from Very Few Measurements
• Randomized Benchmarking of Quantum Gates
• Demonstration of a small programmable quantum computer with atomic qubits
• Robust randomized benchmarking of quantum processes
• Exact and Approximate Unitary 2-Designs: Constructions and Applications
• Quantum advantage with shallow circuits
• t$|$ket$⟩$ : A Retargetable Compiler for NISQ Devices
• Quantum Circuit Simplification and Level Compaction
• Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
• Tapering off qubits to simulate fermionic Hamiltonians
• Reducing qubit requirements for quantum simulation using molecular point group symmetries
• Hadamard-free circuits expose the structure of the Clifford group
• Circuit optimization of Hamiltonian simulation by simultaneous diagonalization of Pauli clusters
• Exact and practical pattern matching for quantum circuit optimization
• Reducing the Depth of Linear Reversible Quantum Circuits
• Optimization of Clifford Circuits
• An Efficient Algorithm for approximating 1D Ground States
• 6-qubit Optimal Clifford Circuits

Cited by in corpus (5)

• Quantum Computation of Reactions on Surfaces Using Local Embedding
• Error Mitigation for Deep Quantum Optimization Circuits by Leveraging Problem Symmetries
• A SAT Encoding for Optimal Clifford Circuit Synthesis
• Automatic Test Pattern Generation for Robust Quantum Circuit Testing
• A graph-state based synthesis framework for Clifford isometries