Evolutionary discovery of algorithms as circuits for quantum computers

  • Authors:
  • Alvin J. Surkan;Amiran Khuskivadze

  • Affiliations:
  • University of Nebraska-at-Lincoln, Lincoln, Nebraska;University of Nebraska-at-Lincoln, Lincoln, Nebraska

  • Venue:
  • APL '02 Proceedings of the 2002 conference on APL: array processing languages: lore, problems, and applications
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper demonstrates an application of an evolutionary approach for solving a class of non-trivial, hardware-design problems. Array processing features of the computer language APL simplify the implementation of an evolutionary solution in which simulation is performed by a genetic algorithm on a population of candidate solutions until one or more are satisfactory quantum algorithms. The objective of the simulation model is the automatic discovery of quantum computer algorithms. The algorithms are expressed in a circuit model that specifies the sequences in which quantum operators are to be applied. The automatically configured circuits operate as quantum computers that for the present have their domains of application limited to evaluation of only a few specific functions. The simulations use a small collection of basic and relatively low-level operators to obtain perfect results for five different target functions. These functions were chosen to demonstrate how, on a personal computer, an evolutionary method is able to discover novel designs of computing hardware. The results establish that it is feasible to use genetic algorithms in an evolutionary method to invent correct hardware designs. The progress of simulated evolution is directed by input/output constraints and a fitness function. Alternative configurations of circuit models can obtain algorithms with promise for future quantum computers. Current simulations yield primitive quantum algorithms with a total of twelve or fewer inputs and outputs. The discovered algorithms produce the correct results for evaluating the five selected logical and arithmetic functions.