iQbricks: integration of a fully-featured quantum language in the framework Qbricks

Bibliographic Details
Main Author: Carneiro, Tomás Barros
Publication Date: 2023
Format: Master thesis
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: https://hdl.handle.net/1822/91563
Summary: Dissertação de mestrado integrado em Information Physics
id RCAP_e07718a5b02090b97f514cdf138e4e83
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/91563
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling iQbricks: integration of a fully-featured quantum language in the framework QbricksQuantum computingQbricksFormal verificationQuantum programming languageQuantum fourier transformGrover’s algorithmComputação quânticaVerificação formalLinguagem para programação quânticaTransformada de fourier quânticaAlgoritmo de GroverEngenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e InformáticaDissertação de mestrado integrado em Information PhysicsQuantum Computing has noticeably grown over the last two decades, making it a revolu tionary field of investigation in the current era of technological research. Such a growth has been leading to an increasing demand in research by several big enter prises such as IBM, Google and Microsoft, paving the way for a richer ecosystem and untold benefits among the Quantum Computing community. Verification is a crucial aspect of software development, as it ensures that a program per forms as intended and reduces the risk of introducing errors. This is especially important in the field of Quantum Computing, where the complexity of programs is high and the behavior of quantum systems is often counterintuitive. Verification of quantum programs can help detect errors that may lead to incorrect results, which is of utmost importance when dealing with quantum algorithms and quantum simulations. As a result, having a formal verification framework for quantum programs can greatly benefit the development of reliable and accurate quantum software. Qbricks is a verification framework for building quantum programs, and corresponds to the framework on which this project has been integrated. During the course of this thesis, iQbricks – an intuitive and user-friendly language to build and formally verify quantum programs – was developed, along with a framework to translate and generate verifiable Qbricks programs from iQbricks. This project’s main achievements were: (1) the design and implementation of a high-level programming language for describing quantum circuits in an intuitive and user-friendly way and (2) the implementation of a translator, embedded in Qbricks’ framework, that converts iQbricks programs to Qbricks ones. The developed framework was evaluated against two different quantum algorithms: the Quantum Fourier Transform and Grover’s algorithm. This project was accompanied by an internship at the Commissariat à l’énergie atomique et aux énergies alternatives (CEA) - LSL, where this implementation was developed in direct involvement with Qbricks’ team of investigators.A Computação Quântica cresceu de forma notável nas últimas duas décadas, tornando-se um campo revolucionário de investigação na atual era da investigação tecnológica. Tal crescimento tem levado a uma crescente procura na investigação por parte de várias grandes empresas como a IBM, Google e Microsoft, abrindo caminho para um ecossistema mais rico e benefícios inéditos entre a comunidade da Computação Quântica. A verificação é um aspecto crucial no desenvolvimento de software, pois garante que um programa execute conforme o previsto e reduz o risco de introduzir erros. Isso é especialmente importante no campo da computação quântica, onde a complexidade dos programas é alta e o comportamento dos sistemas quânticos é frequentemente contra-intuitivo. A verificação de programas quânticos pode ajudar a detectar erros que possam levar a resultados incorretos, o que é de extrema importância ao lidar com algoritmos quânticos e simulações quânticas. Como resultado, ter um framework de verificação formal para programas quânticos pode beneficiar grandemente o desenvolvimento de software quântico confiável e preciso. Qbricks é uma estrutura de verificação para a construção de programas quânticos, e corresponde à estrutura sobre a qual este projecto foi integrado. Durante o curso desta tese, foi desenvolvida iQbricks - uma linguagem intuitiva e de fácil utilização para construir e verificar formalmente programas quânticos - juntamente com uma ferramenta para traduzir e gerar programas Qbricks verificáveis a partir de iQbricks. As principais concretizações deste projecto foram: (1) a concepção e implementação de uma linguagem de programação de alto nível para descrição de circuitos quânticos de uma forma intuitiva e de fácil utilização e (2) a implementação de um tradutor, embutido em Qbricks, que converte programas iQbricks para Qbricks. A ferramenta desenvolvida foi testada utilizando dois algoritmos quânticos diferentes: o Transformada de Fourier Quântica (QFT) e algoritmo de Grover. Este projecto foi acompanhado por um estágio no Commissariat à l’énergie atomique et aux énergies alternatives (CEA) - LSL, onde esta implementação foi desenvolvida em colaboração direta com a equipa de investigadores de Qbricks.Neves, Renato Jorge AraújoHenriques, Pedro RangelUniversidade do MinhoCarneiro, Tomás Barros2023-06-072023-06-07T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/1822/91563eng203561643info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-06-08T01:19:44Zoai:repositorium.sdum.uminho.pt:1822/91563Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T17:54:43.974291Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv iQbricks: integration of a fully-featured quantum language in the framework Qbricks
title iQbricks: integration of a fully-featured quantum language in the framework Qbricks
spellingShingle iQbricks: integration of a fully-featured quantum language in the framework Qbricks
Carneiro, Tomás Barros
Quantum computing
Qbricks
Formal verification
Quantum programming language
Quantum fourier transform
Grover’s algorithm
Computação quântica
Verificação formal
Linguagem para programação quântica
Transformada de fourier quântica
Algoritmo de Grover
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
title_short iQbricks: integration of a fully-featured quantum language in the framework Qbricks
title_full iQbricks: integration of a fully-featured quantum language in the framework Qbricks
title_fullStr iQbricks: integration of a fully-featured quantum language in the framework Qbricks
title_full_unstemmed iQbricks: integration of a fully-featured quantum language in the framework Qbricks
title_sort iQbricks: integration of a fully-featured quantum language in the framework Qbricks
author Carneiro, Tomás Barros
author_facet Carneiro, Tomás Barros
author_role author
dc.contributor.none.fl_str_mv Neves, Renato Jorge Araújo
Henriques, Pedro Rangel
Universidade do Minho
dc.contributor.author.fl_str_mv Carneiro, Tomás Barros
dc.subject.por.fl_str_mv Quantum computing
Qbricks
Formal verification
Quantum programming language
Quantum fourier transform
Grover’s algorithm
Computação quântica
Verificação formal
Linguagem para programação quântica
Transformada de fourier quântica
Algoritmo de Grover
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
topic Quantum computing
Qbricks
Formal verification
Quantum programming language
Quantum fourier transform
Grover’s algorithm
Computação quântica
Verificação formal
Linguagem para programação quântica
Transformada de fourier quântica
Algoritmo de Grover
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
description Dissertação de mestrado integrado em Information Physics
publishDate 2023
dc.date.none.fl_str_mv 2023-06-07
2023-06-07T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1822/91563
url https://hdl.handle.net/1822/91563
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 203561643
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833597052038152192

Similar Items