Pith. sign in

REVIEW 6 cited by

Heuristic and Optimal Synthesis of CNOT and Clifford Circuits

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2503.14660 v1 pith:NYJBT4IO submitted 2025-03-18 quant-ph

Heuristic and Optimal Synthesis of CNOT and Clifford Circuits

classification quant-ph
keywords circuitssynthesisalgorithmscliffordcnotmethodsquantumcircuit
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
Share X Bluesky LinkedIn Reddit HN
read the original abstract

Efficiently implementing Clifford circuits is crucial for quantum error correction and quantum algorithms. Linear reversible circuits, equivalent to circuits composed of CNOT gates, have important applications in classical computing. In this work we present methods for CNOT and general Clifford circuit synthesis which can be used to minimise either the entangling two-qubit gate count or the circuit depth. We present three families of algorithms - optimal synthesis which works on small circuits, A* synthesis for intermediate-size circuits and greedy synthesis for large circuits. We benchmark against existing methods in the literature and show that our approach results in circuits with lower two-qubit gate count than previous methods. The algorithms have been implemented in a GitHub repository for use by the classical and quantum computing community.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 6 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Lower bounds for the CNOT-complexity of linear reversible operators

    quant-ph 2026-07 accept novelty 7.0

    An explicit family of linear reversible circuits is shown to require at least 4n−o(n) CNOT gates, asymptotically surpassing the cyclic permutations and yielding an n=17167 instance with complexity >3(n−1).

  2. Fast logical operations in quantum LDPC codes using simple resource states

    quant-ph 2026-07 conditional novelty 7.0

    A scheduler-code protocol jointly measures up to 20 commuting logical operators in quantum LDPC codes with ~1.7 cat states per operator, yielding up to 3x faster logical measurements and up to 74x faster Clifford circ...

  3. Equivariant Reinforcement Learning for Clifford Quantum Circuit Synthesis

    quant-ph 2026-05 unverdicted novelty 7.0

    Equivariant RL agent synthesizes near-optimal Clifford circuits up to 30 qubits with lower two-qubit gate counts than Qiskit baselines.

  4. Noise-Aware Synthesis of Quantum LDPC Encoder Circuits via Two-Sided Hamming Descent

    quant-ph 2026-07 conditional novelty 6.0

    Two-sided Hamming descent plus noise-aware routing and live-range scheduling cuts CSS LDPC encoder CNOT counts by 53.8% aggregate and improves preparation fidelity under circuit-level noise.

  5. Efficient Fault-Tolerant Ancilla Preparation for Quantum BCH codes via Cyclic Symmetry

    quant-ph 2026-05 unverdicted novelty 6.0

    A symmetry-leveraging framework for fault-tolerant ancilla preparation in quantum BCH codes yields lower spatial overhead and logical error rates than standard distillation in simulations up to 127 qubits.

  6. Synthesis and Optimization of Encoding Circuits for Fault-Tolerant Quantum Computation

    quant-ph 2026-05 conditional novelty 6.0

    New search algorithms over stabilizer tableaus and modular assembly techniques yield encoders with up to 43% fewer two-qubit gates and 70% lower depth than prior constructions on tested stabilizer codes including qLDP...