International Bhurban Conference on Applied Sciences and Technology (IBCAST)

AutoQP: Genetic Programming for Quantum Programming

Usama Ahsan, Fayyaz Minhas

Published Jan 1, 2020• 5 citations

Abstract

Quantum computing is a new era in the field of computation which makes use of quantum mechanical phenomena such as superposition, entanglement, and quantum annealing. It is a very promising field and has given a new paradigm to efficiently solve complex computational problems. However, programming quantum computers is a difficult task. In this research, we have developed a system called AutoQP which can write quantum computer code through genetic programming on a classical computer provided the input and expected output of a quantum program. We have tested AutoQP on two different quantum algorithms: Deutsch Problem and the Bernstein-Vazirani problem. In our experimental analysis, AutoQP was able to generate quantum programs for solving both problems. The code generated by AutoQP was successfully tested on actual IBM quantum computers as well. It is expected that the proposed system can be very useful for the general development of quantum programs based on the IBM gate model. The source code for the proposed system is available at the URL: https://github.com/usamaahsan93/AutoQP.

DOI: 10.1109/ibcast47879.2020.9044554

Related papers

QuSBT: Search-Based Testing of Quantum Programs

Xinyi Wang, Paolo Arcaini, Tao Yue +1 more

Generating a test suite for a quantum program such that it has the maximum number of failing tests is an optimization problem. For such optimization, search-based testing has shown promising results in the context of classical programs. To this end, we present a test generation tool for quantum programs based on a genetic algorithm, called QuSBT (Search-based Testing of Quantum Programs). QuSBT automates the testing of quantum programs, with the aim of finding a test suite having the maximum number of failing test cases. QuSBT utilizes IBM’s Qiskit as the simulation framework for quantum programs. We present the tool architecture in addition to the implemented methodology (i.e., the encoding of the search individual, the definition of the fitness function expressing the search problem, and the test assessment w.r.t. two types of failures). Finally, we report results of the experiments in which we tested a set of faulty quantum programs with QuSBT to assess its effectiveness. Repository (code and experimental results): https://github.com/Simula-COMPLEX/qusbt-tool Video: https://youtu.be/3apRCtluAn4

ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)May 1, 20227 citations

QUANTUM CIRCUIT DESIGN BY MEANS OF GENETIC PROGRAMMING ê

Andrei Bãutu, Elena Bãutu

Research in quantum technology has shown that quantum computers can provide dramatic advantages over classical computers for some problems. The efficiency of quantum computing is considered to become so significant that the study of quantum algorithms has attracted widespread interest. Development of quantum algorithms and circuits is difficult for a human researcher, so automatic induction of computer programs by means of genetic programming, which uses almost no auxiliary information on the search space, proved to be useful in generating new quantum algorithms. This approach takes advantage of the intrinsic parallelism of the genetic algorithm and quantum computing parallelism. The paper begins with a brief review on some basic concepts in genetic algorithms and quantum computation. Next, it describes an application of genetic programming for evolving quantum computing circuits.

Jan 1, 20073 citations

QUANTUM CIRCUIT DESIGN BY MEANS OF GENETIC PROGRAMMING

Andrei Bãutu, Elena Bãutu

Jan 1, 20066 citations

Evolving quantum computer algorithms

Lee C. Spector

Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed and if the properties of these computers meet optimistic expectations. Nevertheless, computer scientists still lack a thorough understanding of the power of quantum computing, and it is not always clear how best to utilize the power that is understood. This dilemma exists because quantum algorithms are difficult to grasp and even more difficult to write. Despite large-scale international efforts, only a few important quantum algorithms are documented, leaving many essential questions about the potential of quantum algorithms unanswered. These unsolved problems are ideal challenges for the application of automatic programming technologies. Genetic programming techniques, in particular, have already produced several new quantum algorithms and it is reasonable to expect further discoveries in the future. These methods will help researchers to discover how additional practical problems can be solved using quantum computers, and they will also help to guide theoretical work on both the power and limits of quantum computing. This tutorial will provide an introduction to quantum computing and an introduction to the use of evolutionary computation for automatic quantum computer programming. No background in physics or in evolutionary computation will be assumed. While the primary focus of the tutorial will be on general concepts, specific results will also be presented, including human-competitive results produced by genetic programming. Follow-up material is available from the presenter's book, Automatic Quantum Computer Programming: A Genetic Programming Approach, published by Springer and Kluwer Academic Publishers.

Genetic and Evolutionary Computation Conference Companion (GECCO Companion)Jul 8, 20090 citations

Meta-genetic programming for static quantum circuits

Kenton M. Barnes, Michael B. Gale

Quantum programs are difficult for humans to develop due to their complex semantics that are rooted in quantum physics. It is therefore preferable to write specifications and then use techniques such as genetic programming (GP) to generate quantum programs instead. We present a new genetic programming system for quantum circuits which can evolve solutions to the full-adder and quantum Fourier transform problems in fewer generations than previous work, despite using a general set of gates. This means that it is no longer required to have any previous knowledge of the solution and choose a specialised gate set based on it.

Genetic and Evolutionary Computation Conference Companion (GECCO Companion)Jul 10, 20192 citations

Genetic programming for quantum computers

Lee C. Spector, Howard Barnum, Herbert Joseph Bernstein

Genetic programming can be used to automatically discover algorithms for quantum computers that are more efficient than any classical computer algorithms for the same problems. In this paper we exhibit the first evolved betterthan-classical quantum algorithm, for Deutsch’s “early promise ” problem. We also demonstrate a technique for evolving scalable quantum gate arrays and discuss other issues in the application of genetic programming to quantum computation and vice versa. 1. Quantum Computing Quantum computers are computational devices that use atomic-scale objects, for example 2-state particles, to store and manipulate information (Steane, 1997; for an elementary on-line tutorial see Braunstein, 1995; for an introduction for the general reader see Milburn, 1997). The physics of these devices allows them to do things that common digital (henceforth “classical”) computers cannot. Although quantum computers and classical computers appear to be bound by the same limits of Turing computability, physicists argue that quantum computers can solve certain problems using less resources (time and space) than classical computers are thought to require (Jozsa, 1997). For example, Shor’s quantum algorithm finds the prime factors of an n-digit number in time O(n 3), while the best known classical factoring algorithms

The MIT Press eBooksJan 1, 199855 citations