A Novel Ant Colony Optimization Strategy for the Quantum Circuit Compilation Problem

Quantum Computing represents the most promising technology towards speed boost in computation, opening the possibility of major breakthroughs in several disciplines including Artificial Intelligence. This paper investigates the performance of a novel Ant Colony Optimization (ACO) algorithm for the realization (compilation) of nearest-neighbor compliant quantum circuits of minimum duration. In fact, current technological limitations (e.g., decoherence effect) impose that the overall duration (makespan) of the quantum circuit realization be minimized, and therefore the production of minimum-makespan compiled circuits for present and future quantum machines is of paramount importance. In our ACO algorithm (QCC-ACO), we introduce a novel pheromone model, and we leverage a heuristic-based Priority Rule to control the iterative selection of the quantum gates to be inserted in the solution. The proposed QCC-ACO algorithm has been tested on a set of quantum circuit benchmark instances of increasing sizes available from the recent literature. We demonstrate that the QCC-ACO obtains results that outperform the current best solutions in the literature against the same benchmark, succeeding in significantly improving the makespan values for a great number of instances and demonstrating the scalability of the approach.

[1]  Paolo Traverso,et al.  Automated Planning: Theory & Practice , 2004 .

[2]  Angelo Oddi,et al.  Greedy Randomized Search for Scalable Compilation of Quantum Circuits , 2018, CPAIOR.

[3]  Jeremy Frank,et al.  Temporal Planning for Compilation of Quantum Approximate Optimization Circuits , 2017, IJCAI.

[4]  Isaac L. Chuang,et al.  Quantum Computation and Quantum Information (10th Anniversary edition) , 2011 .

[5]  Hartmut Schmeck,et al.  Ant colony optimization for resource-constrained project scheduling , 2000, IEEE Trans. Evol. Comput..

[6]  Jongsoo Park,et al.  Gate scheduling for quantum algorithms , 2017, ArXiv.

[7]  Eyob A. Sete,et al.  A functional architecture for scalable quantum computing , 2016, 2016 IEEE International Conference on Rebooting Computing (ICRC).

[8]  Andrew W. Shogan,et al.  Semi-greedy heuristics: An empirical study , 1987 .

[9]  Liang Jiang,et al.  Quantum logic between remote quantum registers , 2012, 1206.0014.

[10]  Willem-Jan van Hoeve Integration of Constraint Programming, Artificial Intelligence, and Operations Research , 2018, Lecture Notes in Computer Science.

[11]  Stephen Brierley,et al.  Efficient implementation of quantum circuits with limited qubit interactions , 2015, Quantum Inf. Comput..

[12]  J. Christopher Beck,et al.  Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation , 2018, ICAPS.

[13]  Manuel López-Ibáñez,et al.  Ant colony optimization , 2010, GECCO '10.

[14]  Xin-She Yang,et al.  Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.

[15]  J. Cirac,et al.  Quantum Computations with Cold Trapped Ions. , 1995, Physical review letters.

[16]  Alfredo Milani,et al.  A New Precedence-Based Ant Colony Optimization for Permutation Problems , 2017, SEAL.

[17]  Alfredo Milani,et al.  Experimental evaluation of pheromone models in ACOPlan , 2011, Annals of Mathematics and Artificial Intelligence.

[18]  Tapabrata Ray,et al.  Rollout based Heuristics for the Quantum Circuit Compilation Problem , 2019, 2019 IEEE Congress on Evolutionary Computation (CEC).

[19]  Austin G. Fowler,et al.  Photonic implementation for the topological cluster-state quantum computer , 2010, 1005.2915.

[20]  Thomas Stützle,et al.  An Ant Approach to the Flow Shop Problem , 1998 .

[21]  Bryan O'Gorman,et al.  Planning for Compilation of a Quantum Algorithm for Graph Coloring , 2020, ECAI.

[22]  Angelo Oddi,et al.  An Innovative Genetic Algorithm for the Quantum Circuit Compilation Problem , 2019, AAAI.

[23]  E. Farhi,et al.  A Quantum Approximate Optimization Algorithm , 2014, 1411.4028.