Synthesizing Quantum Circuits via Numerical Optimization

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

1 ParSys - LRI - Systèmes parallèles (LRI)
2 Bull - Bull SAS
3 CentraleSupélec
4 VALS - LRI - Vérification d'Algorithmes, Langages et Systèmes (LRI)

We provide a simple framework for the synthesis of quantum circuits based on a numerical optimization algorithm. This algorithm is used in the context of the trapped-ions technology. We derive theoretical lower bounds for the number of quantum gates required to implement any quantum algorithm. Then we present numerical experiments with random quantum operators where we compute the optimal parameters of the circuits and we illustrate the correctness of the theoretical lower bounds. We finally discuss the scalability of the method with the number of qubits.

Domaines: Informatique et langage [cs.CL]; Physique Quantique [quant-ph]; Calcul parallèle, distribué et partagé [cs.DC]; Science non linéaire [physics]

Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Cyril Allouche. Synthesizing Quantum Circuits via Numerical Optimization. 19th International Conference in Computational Science - ICCS 2019, Jun 2019, Faro, Portugal. pp.3-16, ⟨10.1007/978-3-030-22741-8_1⟩. ⟨hal-02174967⟩