• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • 1
  • Tagged with
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Translating one-way quantum computation to the circuit model: methods and applications

Silva, Raphael Dias da 16 March 2017 (has links)
Submitted by Biblioteca do Instituto de Física (bif@ndc.uff.br) on 2017-03-16T19:23:13Z No. of bitstreams: 1 Tese_rdsilva_final.pdf: 10087516 bytes, checksum: d388e8ea89e24003b63d88b1aa7ea4a4 (MD5) / Made available in DSpace on 2017-03-16T19:23:13Z (GMT). No. of bitstreams: 1 Tese_rdsilva_final.pdf: 10087516 bytes, checksum: d388e8ea89e24003b63d88b1aa7ea4a4 (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico / In this thesis I study the one-way quantum computation (1WQC) model and some applications of the different ways of translating 1WQC algorithms into the circuit model. In a series of recent results, different sets of conditions for implementing a computation deterministically in the one-way model have been proposed, each of them with their own properties. Some of those sets of conditions - generically known as flow conditions - try to explore the distinct parallel power of the 1WQC model, by increasing the number of operations that can be performed simultaneously. Here I contribute to this line of research by defining a new type of flow, which I call the signal-shifted flow (SSF), which has an interesting parallel structure that equals that of a depth-optimal flow.I also introduce a new framework for translating 1WQC algorithms into the circuit model. This translation preserves not only the computation performed but also some features of the 1WQC algorithm design. Within this framework I give two algorithms, each implementing a different translation procedure: the first gives compact (in space use) circuits for Regular Flow one-way computations, and the second does the same for SSF one-way computations. As an application of the SSF translation procedure, I combine it with other translation and optimization techniques to give an automated quantum circuit optimization procedure. This procedure is based on back-and-forth translation between the 1WQC and the circuit model, using 1WQC techniques to time-optimize computations in the circuit model. In the second part of this thesis, I use 1WQC tools to analyze quantum circuits interacting with closed timelike curves (CTCs). I do so by translating to the 1WQC model CTC-assisted circuits, and then showing that in some cases they can be shown to be equivalent to time-respecting circuits. The predictions obtained in those cases are exactly those of the quantum CTC model based on post-selected teleportation, proposed by Bennett, Schumacher and Svetlichny (BSS). This enabled us to show that the BSS model for quantum CTCs makes predictions which disagree with those of the highly influential CTC model proposed by David Deutsch. / Nesta tese eu estudo o modelo de computação quântica baseada em medições (CQBM) e algumas aplicações das diferentes maneiras de traduzir algoritmos de CQBM para o modelo de circuitos. Em uma série de resultados recentes, vários conjuntos de condições para implementar uma computação deterministicamente no modelo de CQBM têm sido propostas, cada um deles com diferentes propriedades. Alguns desses conjuntos de condições - genericamente conhecidos como condições de fluxo (flow) - tentam explorar o poder de paralelização do modelo de CQBM, aumentando o número de operações que podem ser realizadas simultaneamente. Aqui eu contribuo para essa linha de pesquisa definindo um novo tipo de fluxo, chamado fluxo de sinal deslocado (FSD), que tem uma estrutura paralela interessante que se iguala ao de um fluxo ótimo, do ponto de vista temporal. Eu também introduzo um novo sistema para traduzir algoritmos de CQBM para o modelo de circuitos. Esta tradução preserva não só a computação, mas também outras características de algoritmos em CQBM. Usando esse sistema eu desenvolvo dois algoritmos, cada um capaz de executar um procedimento de tradução diferente: o primeiro obtém circuitos compactos a partir de computações com fluxo regular, e o segundo faz o mesmo para computações com FSD. Como uma aplicação do procedimento de tradução de computações com FSD, eu combino esse procedimento com outras técnicas de tradução e otimização para desenvolver um procedimento automático de otimização de circuitos quânticos. Esse procedimento é baseado em traduções nos dois sentidos entre os modelos de CQBM e de circuitos, usando técnicas de CQBM para otimizar circuitos quânticos Na segunda parte desta tese, eu uso ferramentas do modelo de CQBM para analisar circuitos quânticos interagindo com curvas temporais fechadas (CTFs). Essa análise é feita traduzindo circuitos interagindo com CTFs para o modelo de CQBM e em seguida mostrando que, em alguns casos, esses circuitos podem ser transcritos como circuitos sem CTFs que realizam a mesma computação. As predições obtidas nesses casos são exatamente as mesmas daquelas obtidas usando o modelo para estudar CTFs proposto por Bennett, Schumacher e Svetlichny (BSS). Isso nos permitiu mostrar que o modelo BSS para CTFs faz predições que não concordam com aquelas dadas pelo influente modelo de CFTs proposto por David Deutsch.
2

LinDCQ : uma linguagem para descrição de circuitos quânticos que possibilita o cálculo das operações na GPU utilizando JOCL

GOMES, Mouglas Eugênio Nasário 27 July 2015 (has links)
Submitted by Mario BC (mario@bc.ufrpe.br) on 2017-02-08T13:00:48Z No. of bitstreams: 1 Mouglas Eugenio Nasario Gomes.pdf: 2441879 bytes, checksum: 71064821936a79cf37326006ed006c46 (MD5) / Made available in DSpace on 2017-02-08T13:00:48Z (GMT). No. of bitstreams: 1 Mouglas Eugenio Nasario Gomes.pdf: 2441879 bytes, checksum: 71064821936a79cf37326006ed006c46 (MD5) Previous issue date: 2015-07-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This paper presents the LinDCQ tool — a description language and programming quantum circuits — which enables the creation of quantum circuits with calculus of operations performed in parallel on the GPU, using JOCL. The tool also allows the generation of graphically circuit. Used as a mechanism to generate grammars of languages and automata as language recognizer and the regular expression engine. In this context a discussion of the phases of compilers and on quantum computation is presented as well as an explanation of the main technologies used for the development of quantum circuits. LinDCQ The tool consists of: grammar in BNF form (Backus-Naur-Form), the compiler verifies that the incidence of errors in the code to be executed, a graphical interface to facilitate the programming features that allow the construction of the circuit graphically and parallel algorithms JOCL to perform operations that require greater computational cost in the GPU. At the end of an experiment is performed in order to assess the usability of the tool, to thereby ensure a higher level of user acceptance, facilitating interaction thereof with the tool developed in this work. / Este trabalho apresenta a ferramenta LinDCQ - uma linguagem de descrição e programação de circuitos quânticos — a qual possibilita a criação de circuitos quânticos com cálculo das operações realizados de forma paralela na GPU, utilizando JOCL. A ferramenta também permite a geração do circuito de forma gráfica. Utiliza gramáticas como mecanismo na geração de linguagens e autômatos como mecanismo reconhecedor de linguagens e de expressões regulares. Nesse contexto é apresentada uma discussão sobre as fases dos compiladores e sobre a computação quântica, assim como uma explanação sobre as principais tecnologias utilizadas para o desenvolvimento de circuitos quânticos. A ferramenta LinDCQ é composta de: gramática no formato BNF (Backus-Naur-Form), compilador que verifica a incidência de erros no código a ser executado, de uma interface gráfica com características facilitadoras à programação que permite a construção do circuito de forma gráfica e de algoritmos paralelos em JOCL para executar as operações que requerem maior custo computacional na GPU. Ao final é realizado um experimento com o intuito de aferir a usabilidade da ferramenta, para, deste modo, garantir um maior um nível de aceitação do usuário, facilitando a interação do mesmo com a ferramenta desenvolvida nesta dissertação.

Page generated in 0.0649 seconds