Our work centers on involving the human designer in the automatic generation of new quantum algorithms through search-based software engineering. By incorporating background knowledge and human intuition we seek speed up the search for novel and more interpretable quantum algorithms.
Despite the vast potential of quantum computing, comparatively few quantum algorithms exist today. We address this shortcoming by using methods from the field of search-based software engineering to automatically generate new quantum algorithms.
In the past, our focus has been on incorporating the use of different levels of abstraction in the synthesis of quantum algorithms and as well as the incorporation of multiple objectives and optimization criteria in the process.
In our current work, we focus on involving the human designer in the automatic generation of new quantum algorithms by enabling them to encode their background knowledge to guide the synthesis process. Our goal is to leverage human knowledge to speed up the search for novel quantum algorithms while producing results that are both more robust and more interpretable.
For further information on our work or possible collaboration formats, contact Stefan Klikovits, Manuel Wimmer, or Christoph Stein.
F. Gemeinhardt, M. Eisenberg, S. Klikovits, M. Wimmer: Model-Driven Optimization for Quantum Program Synthesis with MOMoT, 5th Workshop on Artificial Intelligence and Model-driven Engineering, 26th International Conference on Model Driven Engineering Languages and Systems MODELS 2023, Västeras, Schweden, October 2023. 10.1109/MODELS-C59198.2023.00100
F. Gemeinhardt, A. Garmendia, M. Wimmer, R. Wille: A Model-Driven Framework for Composition-Based Quantum Circuit Design, ACM Transactions on Quantum Computing, July 2024. Doi: 10.1145/3688856
F. Gemeinhardt, S. Klikovits, M. Wimmer: Hybrid Multi-Objective Genetic Programming for Parameterized Quantum Operator Discovery, The Genetic and Evolutionary Computation Conference (GECCO ’23@Lisbon), Lisbon, Portugal, July 2023. Doi: 10.1145/3583133.3590696
C. Stein, M. Färber: Incorporating Quantum Advantage in Quantum Circuit Generation through Genetic Programming, Arxiv Preprint, January 2025. Doi: 10.48550/arXiv.2501.09682