Reducing the depth of linear reversible quantum circuits

Timothee Goubault De Brugiere (1) , Marc Baboulin (2, 3) , Benoît Valiron (4, 5) , Simon Martiel (6) , Cyril Allouche (6)

1 MOCQUA - Designing the Future of Computational Models
2 MDLS - Maison de la Simulation
3 ParSys - Systèmes Parallèles - LISN
4 LMF - Laboratoire Méthodes Formelles
5 CentraleSupélec
6 Atos Bull

In quantum computing the decoherence time of the qubits determines the computation time available and this time is very limited when using current hardware. In this paper we minimize the execution time (the depth) for a class of circuits referred to as linear reversible circuits, which has many applications in quantum computing (e.g., stabilizer circuits, “CNOT+T” circuits, etc.). We propose a practical formulation of a divide and conquer algorithm that produces quantum circuits that are twice as shallow as those produced by existing algorithms. We improve the theoretical upper bound of the depth in the worst case for some range of qubits. We also propose greedy algorithms based on cost minimization to find more optimal circuits for small or simple operators. Overall, we manage to consistently reduce the total depth of a class of reversible functions, with up to 92% savings in an ancilla-free case and up to 99% when ancillary qubits are available.

Mots clés: Linear reversible circuits; quantum computation; reversible logic

Domaines: Logique en informatique [cs.LO]; Physique Quantique [quant-ph]

Timothee Goubault De Brugiere, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche. Reducing the depth of linear reversible quantum circuits. IEEE Transactions on Quantum Engineering, In press, 2, pp.3102422. ⟨10.1109/TQE.2021.3091648⟩. ⟨hal-03553916⟩