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

Daisuke Sakamoto, Soshun Naito, Yusei Mori +1

Quantum circuit equivalence checking asks whether two circuits implement the same unitary. It guarantees compiler correctness and safe optimization, yet most existing approaches sc…