Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures

Timothée Goubault de Brugière (1, 2) , Marc Baboulin (3) , Benoît Valiron (4) , Simon Martiel (2) , Cyril Allouche (2)

1 LRI - Laboratoire de Recherche en Informatique
2 Atos Quantum Laboratory
3 ParSys - Systèmes Parallèles - LISN
4 LMF - Laboratoire Méthodes Formelles

Current proposals for quantum compilers require the synthesis and optimization of linear reversible circuits and among them CNOT circuits. Since these circuits represent a significant part of the cost of running an entire quantum circuit, we aim at reducing their size. In this paper we present a new algorithm for the synthesis of CNOT circuits based on the solution of the syndrome decoding problem. Our method addresses the case of ideal hardware with an all-to-all qubit connectivity and the case of near-term quantum devices with restricted connectivity. For both cases, we present benchmarks showing that our algorithm outperforms existing algorithms.

Keywords: hardware; qubit; costs; benchmark

Domains: Quantum Physics [quant-ph]; Computer Science [cs]

Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche. Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures. Science of Computer Programming, 2022, 214, pp.102726. ⟨10.1016/j.scico.2021.102726⟩. ⟨hal-03547113⟩