Gaussian elimination versus Greedy methods for the synthesis of linear reversible circuits

Timothée Goubault de Brugière (1, 2) , Marc Baboulin (3, 1) , Benoît Valiron (4, 5, 6) , 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
5 CentraleSupélec
6 QuaCS - Quantum Computation Structures

Linear reversible circuits represent a subclass of reversible circuits with many applications in quantum computing. These circuits can be efficiently simulated by classical computers and their size is polynomially bounded by the number of qubits, making them a good candidate to deploy efficient methods to reduce computational costs. We propose a new algorithm for synthesizing any linear reversible operator by using an optimized version of the Gaussian elimination algorithm coupled with a tuned LU factorization. We also improve the scalability of purely greedy methods. Overall, on random operators, our algorithms improve the state-of-the-art methods for specific ranges of problem sizes: The custom Gaussian elimination algorithm provides the best results for large problem sizes (n > 150), while the purely greedy methods provide quasi optimal results when n < 30. On a benchmark of reversible functions, we manage to significantly reduce the CNOT count and the depth of the circuit while keeping other metrics of importance (T-count, T-depth) as low as possible.

Mots clés: computer; quantum; qubit; costs; benchmark; factorization; Linear reversible circuit; quantum computation; synthesis; operator; random

Domaines: Physique Quantique [quant-ph]; Informatique [cs]

Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche. Gaussian elimination versus Greedy methods for the synthesis of linear reversible circuits. ACM Transactions on Quantum Computing, 2021, 2 (3), pp.11. ⟨10.1145/3474226⟩. ⟨hal-03547117⟩