Automated synthesis of robust quantum programs on limited resource hardware

Scientific Challenge

  • Work exists on using ML and search-based techniques to evolve quantum circuits and algorithms from scratch.

  • Work exists on quantum  error correction schemes.

  • What about evolving an algorithm from scratch that includes error correction?

Evolving Robus Circuits

  • Previous search-based approaches to evolving algorithms evaluates the quality of a candidate solution using an ideal simulator.

  • What about evaluating solutions using a noisy simulator?

  • With a specific error model in mind, robustness becomes “baked in” to the fitness function.

Embracing Ensembles

  • Repeated runs of a single quantum circuit can be combined to produce a final result for some problem.

  • What about combining the results of an ensemble of diverse circuits with contrasting strengths and weaknesses?

  • This approach is also a means of adapting to limited resources.

The Team

John A Clark

Rob Hierons

Phil McMinn

Owain Parry