Efficient equivalence checking of Clifford-U circuits with shared single-qubit unitaries

Daisuke Sakamoto, Soshun Naito, Yusei Mori, Kosuke Mitarai

arXivarxiv/2603.12697Mar 13, 2026quant-phscore 0

Quantum circuit equivalence checking asks whether two circuits implement the same unitary. It guarantees compiler correctness and safe optimization, yet most existing approaches scale exponentially with the number of qubits or the circuit depth, or are restricted to specific circuit structures. In this work, we present an equivalence-checking method for circuits formed by arbitrary single-qubit layers interleaved with Clifford layers. This pattern is common in variational quantum algorithms and Hamiltonian simulation via Trotter decomposition. It can also represent any unitary with…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2603.12697
curl -X POST /api/v1/records/arxiv/2603.12697/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.12697/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'