Table of Contents
Fetching ...

Model-Driven Engineering for Quantum Programming: A Case Study on Ground State Energy Calculation

Furkan Polat, Hasan Tuncer, Armin Moin, Moharram Challenger

TL;DR

This study introduces a novel framework that brings together two main Quantum Programming methodologies, gate-based Quantum Computing and Quantum Annealing, by applying the Model-Driven Engineering principles, and develops a mapping method for programs between gate-based quantum computers and quantum annealers which can lead to the automatic transformation of these programs.

Abstract

This study introduces a novel framework that brings together two main Quantum Programming methodologies, gate-based Quantum Computing and Quantum Annealing, by applying the Model-Driven Engineering principles. This aims to enhance the adaptability, design and scalability of quantum programs, facilitating their design and operation across diverse computing platforms. A notable achievement of this research is the development of a mapping method for programs between gate-based quantum computers and quantum annealers which can lead to the automatic transformation of these programs. Specifically, this method is applied to the Variational Quantum Eigensolver Algorithm and Quantum Anneling Ising Model, targeting ground state solutions. Finding ground-state solutions is crucial for a wide range of scientific applications, ranging from simulating chemistry lab experiments to medical applications, such as vaccine development. The success of this application demonstrates Model-Driven Engineering for Quantum Programming frameworks's practical viability and sets a clear path for quantum Computing's broader use in solving intricate problems.

Model-Driven Engineering for Quantum Programming: A Case Study on Ground State Energy Calculation

TL;DR

This study introduces a novel framework that brings together two main Quantum Programming methodologies, gate-based Quantum Computing and Quantum Annealing, by applying the Model-Driven Engineering principles, and develops a mapping method for programs between gate-based quantum computers and quantum annealers which can lead to the automatic transformation of these programs.

Abstract

This study introduces a novel framework that brings together two main Quantum Programming methodologies, gate-based Quantum Computing and Quantum Annealing, by applying the Model-Driven Engineering principles. This aims to enhance the adaptability, design and scalability of quantum programs, facilitating their design and operation across diverse computing platforms. A notable achievement of this research is the development of a mapping method for programs between gate-based quantum computers and quantum annealers which can lead to the automatic transformation of these programs. Specifically, this method is applied to the Variational Quantum Eigensolver Algorithm and Quantum Anneling Ising Model, targeting ground state solutions. Finding ground-state solutions is crucial for a wide range of scientific applications, ranging from simulating chemistry lab experiments to medical applications, such as vaccine development. The success of this application demonstrates Model-Driven Engineering for Quantum Programming frameworks's practical viability and sets a clear path for quantum Computing's broader use in solving intricate problems.
Paper Structure (32 sections, 5 equations, 6 figures, 1 table)

This paper contains 32 sections, 5 equations, 6 figures, 1 table.

Figures (6)

  • Figure 1: The schematic diagram illustrates a variational quantum algorithm (VQA). Cerezo2021Variational
  • Figure 2: The Proposed Vision of MDE4QP in the context of Model Driven Architecture for the ground state calculations in different quantum platforms
  • Figure 3: The schematic diagram illustrates the abstract mapping of solutions from different platforms to ground state calculation. The upper green side represents the Quantum Annealing aproach, while the lower orange side depicts the Hybrid VQE approach in a Quantum Gate-based model. This conceptually simplifies the two methods for solving the same ground state calculation problem."
  • Figure 4: Circuits of different entangled ansatzes. Each subfigure depicts a unique quantum circuit layout corresponding to its entanglement strategy.
  • Figure 5: Step vs energy plots for different entangled ansatzes. Each subfigure illustrates the energy convergence with the red line indicating the exact ground state energy.
  • ...and 1 more figures