Pith. sign in

REVIEW 3 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

classification quant-ph
keywords circuitssynthesisalgorithmscliffordcnotmethodsquantumcircuit
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
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). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

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

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

    quant-ph 2026-07 accept novelty 7.0 of 10

    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 of 10

    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. Noise-Aware Synthesis of Quantum LDPC Encoder Circuits via Two-Sided Hamming Descent

    quant-ph 2026-07 conditional novelty 6.0 of 10

    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.

Pith tools