Towards quantum program calculation

Detalhes bibliográficos
Autor(a) principal: Neri, Ana Isabel Carvalho
Data de Publicação: 2018
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/67480
Resumo: Dissertação de mestrado integrado em Engenharia Física (área de especialização em Física da Informação)
id RCAP_6ce5c9804b6c31d6a794e372fd2a92c3
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/67480
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Towards quantum program calculationEngenharia e Tecnologia::Outras Engenharias e TecnologiasDissertação de mestrado integrado em Engenharia Física (área de especialização em Física da Informação)Based on the similarity between the categorial derivation of classical programs from their specification and the category theory approach to quantum physics, this dissertation aims at extending the laws of classical program algebra to quantum programming. In this context, the principles of the algebra of classical programs are applied to quantum programming, in order to verify the feasibility of creating correct-by-construction quantum circuits that can run on quantum devices available in the IBM Q Experience. The reversibility restrictions of quantum circuits are ensured by minimal complements. Moreover, measurements are postponed to the end of recursive computations called “quantamorphisms” to avoid the collapse of quantum states. Quantamorphisms are classical catamorphisms extended to ensure quantum reversibility. The derived quantamorphisms implement quantum cycles (vulg. for-loops) and quantum folds on lists. By Kleisli correspondence, quantamorphisms can be written as monadic functional programs with quantum parameters. This enables the use of Haskell, a monadic functional programming language, to perform the experimental work. The examples of the calculated quantum programs are simulated in Haskell, Quipper and QISKit and run on the quantum computers of the IBM Q Experience. The main conclusions of this work are that, while all the simulations produced correspond to the predicted results, running these programs on real quantum devices results in a significant amount of errors. As quantum devices are constantly evolving, it is likely that in the near future these devices will increase their reliability, allowing programs to run more accurately. The extension of the quantamorphism concept to more general input structures, such as finite trees, remains a challenge that is left for future work. Also relevant will be the study of conditional quantum control without measurements, which will extend the scope of quantamorphisms as quantum circuit specifications.Tendo como base a similaridade entre a matemática categorial para derivar programas a partir da sua especificação e a teoria categorial usada na física quântica, esta dissertação pretende estender as leis da álgebra de programas clássicos à programação quântica. Nesse contexto, a dissertação trata de explorar o significado desses princípios e suas construções na programação quântica e verificar a viabilidade de as aplicar à criação de programas quânticos correctos que possam correr em dispositivos quânticos disponíveis no IBM Q Experience. As restrições de reversibilidades exigidas pela programação quântica são asseguradas por complemento mínimo, e para evitar o colapso dos estados quânticos a medição é adiada através de “quantamorfismos”, nome dado à extensão reversível do conceito clássico de catamorfismo. Os quantamorfismos que se implementaram permitem correr ciclos-for quânticos e folds quânticos sobre listas. Com base na correspondência de Kleisli é possível escrevê-los como programas funcionais monádicos com parâmetros quânticos. Para esse efeito recorre-se à linguagem de programação funcional Haskell como base para o trabalho experimental. Os exemplos dos programas quânticos calculados foram simulados em Haskell, Quipper e QISKit e correram nos computadores quânticos da IBM Q Experience. Constata-se que, enquanto todas as simulações produzidas correspondem ao previsto, correr estes programas em máquinas reais resulta numa quantidade significativa de erros. Como os dispositivos quânticos estão em constante evolução, é provável que num futuro próximo estes dispositivos aumentem a sua fiabilidade, permitindo que os programas corram de forma mais precisa. Entre as questões que esta tese levanta inclui-se a extensão dos seus resultados a estruturas de entrada mais gerais, como por exemplo árvores, e estruturas de controlo condicionais que não efectuem medidas e que assim possam estender o âmbito do quantamorfismo como veículo de especificação de circuitos quânticos.Oliveira, José Nuno FonsecaBarbosa, Rui SoaresUniversidade do MinhoNeri, Ana Isabel Carvalho20182018-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/1822/67480eng202523624info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:52:27Zoai:repositorium.sdum.uminho.pt:1822/67480Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:51:35.634227Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Towards quantum program calculation
title Towards quantum program calculation
spellingShingle Towards quantum program calculation
Neri, Ana Isabel Carvalho
Engenharia e Tecnologia::Outras Engenharias e Tecnologias
title_short Towards quantum program calculation
title_full Towards quantum program calculation
title_fullStr Towards quantum program calculation
title_full_unstemmed Towards quantum program calculation
title_sort Towards quantum program calculation
author Neri, Ana Isabel Carvalho
author_facet Neri, Ana Isabel Carvalho
author_role author
dc.contributor.none.fl_str_mv Oliveira, José Nuno Fonseca
Barbosa, Rui Soares
Universidade do Minho
dc.contributor.author.fl_str_mv Neri, Ana Isabel Carvalho
dc.subject.por.fl_str_mv Engenharia e Tecnologia::Outras Engenharias e Tecnologias
topic Engenharia e Tecnologia::Outras Engenharias e Tecnologias
description Dissertação de mestrado integrado em Engenharia Física (área de especialização em Física da Informação)
publishDate 2018
dc.date.none.fl_str_mv 2018
2018-01-01T00: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 http://hdl.handle.net/1822/67480
url http://hdl.handle.net/1822/67480
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 202523624
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ório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799133104350167040

Registros relacionados