Gaussian elimination versus Greedy methods for the synthesis of linear reversible circuits - Systèmes Parallèles Access content directly
Journal Articles ACM Transactions on Quantum Computing Year : 2021

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

Abstract

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.
Fichier principal
Vignette du fichier
2201.06508.pdf (718.03 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03547117 , version 1 (08-02-2024)

Identifiers

Cite

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⟩
115 View
15 Download

Altmetric

Share

Gmail Facebook X LinkedIn More