A Model-Driven Framework for Composition-Based Quantum Circuit Design

Quantum programming languages support the design of quantum applications. However, to create such programs, one needs to understand the fundamental characteristics of quantum computing and quantum information theory. Furthermore, quantum algorithms frequently make use of abstract operations with a h...

Descripción completa

Detalles Bibliográficos
Autores: Gemeinhardt, Felix, Garmendia Jorge, Antonio, Wimmer, Manuel, Wille, Robert
Tipo de recurso: artículo
Fecha de publicación:2024
País:España
Institución:Universidad Autónoma de Madrid
Repositorio:Biblos-e Archivo. Repositorio Institucional de la UAM
Idioma:inglés
OAI Identifier:oai:repositorio.uam.es:10486/721222
Acceso en línea:http://hdl.handle.net/10486/721222
https://dx.doi.org/10.1145/3688856
Access Level:acceso abierto
Palabra clave:quantum computing
quantum software engineering
quantum circuits
model-driven engineering
quantum software languages
Informática
Telecomunicaciones
id ES_83c9451ad80aaf73e918b1925bbc4913
oai_identifier_str oai:repositorio.uam.es:10486/721222
network_acronym_str ES
network_name_str España
repository_id_str
spelling A Model-Driven Framework for Composition-Based Quantum Circuit DesignGemeinhardt, FelixGarmendia Jorge, AntonioWimmer, ManuelWille, Robertquantum computingquantum software engineeringquantum circuitsmodel-driven engineeringquantum software languagesInformáticaTelecomunicacionesQuantum programming languages support the design of quantum applications. However, to create such programs, one needs to understand the fundamental characteristics of quantum computing and quantum information theory. Furthermore, quantum algorithms frequently make use of abstract operations with a hidden low-level realization (e.g., Quantum Fourier Transform). Thus, turning from elementary quantum operations to a higher-level view of quantum circuit design not only reduces the development effort but also lowers the entry barriers for non-quantum computing experts. To this end, this article proposes a modeling language and design framework for quantum circuits. This allows the definition of composite operators to advocate a higher-level quantum algorithm design, together with automated code generation for the circuit execution. To demonstrate the benefits of the proposed approach, coined Composition-based Quantum Circuit Designer, we applied it for realizing the Quantum Counting algorithm and the Quantum Approximate Optimization Algorithm. Our evaluation results show that, compared to an existing state-of-the-art editor, the proposed approach allows for the realization of both quantum algorithms on a high level with a substantially reduced development effort. In particular, the proposed approach shows constant scaling when increasing the size of the investigated quantum circuits and a lower change criticality when evolving existing quantum circuitsFinancial support by the Austrian Federal Ministry for Digital and Economic Affairs and the National Foundation for Research, Technology and Development and by the Austrian Science Fund (P 30525-N31) is gratefully acknowledged. Besides this, our work has been partially sponsored by the Spanish MICINN, with projects PID2021-122270OB-I00 and TED2021- 129381B-C21. This work also received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (DA QC, grant agreement No. 101001318), was part of the Munich Quantum Valley, which is supported by the Bavarian state government with funds from the Hightech Agenda Bayern Plus, and has been supported by the BMWK on the basis of a decision by the German Bundestag through project QuaSTACMDepartamento de Ingeniería InformáticaEscuela Politécnica Superior20242024-10-10research articlehttp://purl.org/coar/resource_type/c_2df8fbb1VoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10486/721222https://dx.doi.org/10.1145/3688856reponame:Biblos-e Archivo. Repositorio Institucional de la UAMinstname:Universidad Autónoma de MadridInglésengopen accesshttp://purl.org/coar/access_right/c_abf2Attribution-NonCommercial 4.0 Internationalhttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccessoai:repositorio.uam.es:10486/7212222026-06-23T12:46:27Z
dc.title.none.fl_str_mv A Model-Driven Framework for Composition-Based Quantum Circuit Design
title A Model-Driven Framework for Composition-Based Quantum Circuit Design
spellingShingle A Model-Driven Framework for Composition-Based Quantum Circuit Design
Gemeinhardt, Felix
quantum computing
quantum software engineering
quantum circuits
model-driven engineering
quantum software languages
Informática
Telecomunicaciones
title_short A Model-Driven Framework for Composition-Based Quantum Circuit Design
title_full A Model-Driven Framework for Composition-Based Quantum Circuit Design
title_fullStr A Model-Driven Framework for Composition-Based Quantum Circuit Design
title_full_unstemmed A Model-Driven Framework for Composition-Based Quantum Circuit Design
title_sort A Model-Driven Framework for Composition-Based Quantum Circuit Design
dc.creator.none.fl_str_mv Gemeinhardt, Felix
Garmendia Jorge, Antonio
Wimmer, Manuel
Wille, Robert
author Gemeinhardt, Felix
author_facet Gemeinhardt, Felix
Garmendia Jorge, Antonio
Wimmer, Manuel
Wille, Robert
author_role author
author2 Garmendia Jorge, Antonio
Wimmer, Manuel
Wille, Robert
author2_role author
author
author
dc.contributor.none.fl_str_mv Departamento de Ingeniería Informática
Escuela Politécnica Superior
dc.subject.none.fl_str_mv quantum computing
quantum software engineering
quantum circuits
model-driven engineering
quantum software languages
Informática
Telecomunicaciones
topic quantum computing
quantum software engineering
quantum circuits
model-driven engineering
quantum software languages
Informática
Telecomunicaciones
description Quantum programming languages support the design of quantum applications. However, to create such programs, one needs to understand the fundamental characteristics of quantum computing and quantum information theory. Furthermore, quantum algorithms frequently make use of abstract operations with a hidden low-level realization (e.g., Quantum Fourier Transform). Thus, turning from elementary quantum operations to a higher-level view of quantum circuit design not only reduces the development effort but also lowers the entry barriers for non-quantum computing experts. To this end, this article proposes a modeling language and design framework for quantum circuits. This allows the definition of composite operators to advocate a higher-level quantum algorithm design, together with automated code generation for the circuit execution. To demonstrate the benefits of the proposed approach, coined Composition-based Quantum Circuit Designer, we applied it for realizing the Quantum Counting algorithm and the Quantum Approximate Optimization Algorithm. Our evaluation results show that, compared to an existing state-of-the-art editor, the proposed approach allows for the realization of both quantum algorithms on a high level with a substantially reduced development effort. In particular, the proposed approach shows constant scaling when increasing the size of the investigated quantum circuits and a lower change criticality when evolving existing quantum circuits
publishDate 2024
dc.date.none.fl_str_mv 2024
2024-10-10
dc.type.none.fl_str_mv research article
http://purl.org/coar/resource_type/c_2df8fbb1
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv http://hdl.handle.net/10486/721222
https://dx.doi.org/10.1145/3688856
url http://hdl.handle.net/10486/721222
https://dx.doi.org/10.1145/3688856
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial 4.0 International
http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial 4.0 International
http://creativecommons.org/licenses/by-nc/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv ACM
publisher.none.fl_str_mv ACM
dc.source.none.fl_str_mv reponame:Biblos-e Archivo. Repositorio Institucional de la UAM
instname:Universidad Autónoma de Madrid
instname_str Universidad Autónoma de Madrid
reponame_str Biblos-e Archivo. Repositorio Institucional de la UAM
collection Biblos-e Archivo. Repositorio Institucional de la UAM
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869412161506246656
score 15,81155

Similares en LA Referencia