Made available in DSpace on 2015-03-04T18:50:42Z (GMT). No. of bitstreams: 1 Capitulo 1 e 2.pdf: 236440 bytes, checksum: 0afb7e8e3c2b968e8c9a8921330a01b0 (MD5) Previous issue date: 2004-05-13 / Coordenacao de Aperfeicoamento de Pessoal de Nivel Superior / An universal quantum computer is capable to perform any calculation that any classical turing machine can perform. However, the orthodox quantum mechanics is described for isolated systems. Therefore, the description of quantum computers is made starting from linear and reversible transformations. The interaction with the environment tends to eliminate the quantum effects as the superposition of states. However, any natural system is not infact isolated. Hence, noises, dissipations and errors are inevitable for any procedures that manipulate information with any natural resources. The formalism known by Quantum Operation (QO) issued to describe most of the open quantum systems. Through this format we can display the characteristic noises of the computational processes. To show the effectiveness of the QO s we applied the formalism in the quantum biological model of Fröhlich. Starting from that characterization we build a bridge between Quantum Computation and biological processes. That bridge can reveal unknown properties or to help in understanding the microbiologic dynamics; or even new techniques in the construction of quantum computers. / Um computador quântico universal é capaz de efetuar qualquer cálculo que qualquer máquina de Turing clássica possa efetuar. Porém, sistemas quânticos, em geral, são descritos como sistemas isolados. A interação do meio com as superposições de estados reduz a função de onda para um único estado bem definido. Contudo nenhum sistema na natureza é de fato isolado. Assim, ruídos, dissipações e erros são 'inevitáveis' para quaisquer procedimentos que manipulem informação com quaisquer recursos naturais (quânticos ou clássicos). O formalismo conhecido por Operação Quântica (OQ) é usado para descrever a maioria dos sistemas quânticos abertos num formato de tempo discreto. A partir desse formato pode-se evidenciar operações e ruídos característicos de processos computacionais. Para mostrar a eficiência de uma OQ aplicamos o formalismo no modelo quântico-biológico de Fröhlich. A partir dessa caracterização construímos uma ponte entre computação quântica e processos biofísicos. Essa ponte pode revelar propriedades desconhecidas ou ajudar na compreensão da dinâmica ainda difusa de sistemas biológicos; ou mesmo em novas técnicas na construção de computadores quânticos.

Made available in DSpace on 2015-03-04T18:50:13Z (GMT). No. of bitstreams: 1 Apresentacao.pdf: 108219 bytes, checksum: 5d45885c1cb3a3bd5830f6b0e8711721 (MD5) Previous issue date: 2006-03-23 / Fundação Carlos Chagas Filho de Amparo a Pesquisa do Estado do Rio de Janeiro / Main memory limitations can lower the performance of segmentation applications for large images or even make it undoable. In this work we integrate the T-Surfaces model and Out-of-Core isosurface generation methods in a general framework for segmentation of large image volumes. T-Surfaces is a parametric deformable model based on a triangulation of the image domain, a discrete surface model and an image threshold. Isosurface generation techniques have been implemented through an Out-of-Core method that uses a kd-tree structure, called Meta-Cell technique. By using the Meta-Cell framework, we present an Out-of-Core version of a segmentation method based on T-Surfaces and isosurface extraction. The Gradient Vector Flow (GVF) is an approach based on Partial Differential Equations. This method has been applied together with snake models for image segmentation through boundary extraction. The key idea is to use a diffusion-reaction PDE in order to generate a new external force field that makes snake models less sensitivity to initialization as well as improves the snakes ability to move into boundary concavities. In this work, we firstly review basic results about global optimization conditions of the GVF and numerical considerations of usual GVF schemes. Besides, we present an analytical analysis of the GVF and a frequency domain analysis, which gives elements to discuss the dependency from the parameter values. Also, we discuss the numerical solution of the GVF based in a SOR method. We observe that the model can be used for Multiply Connected Domains and applied an image processing approach in order to increase the GVF efficiency. / Limitações de memória principal podem diminuir a performance de aplicativos de segmentação de imagens para grandes volumes ou mesmo impedir seu funcionamento. Nesse trabalho nós integramos o modelo das T-Superfícies com um método de extração de iso-superfícies Out-of-Core formando um esquema de segmentação para imagens de grande volume. A T-Superficie é um modelo deformável paramétrico baseado em uma triangulação do domínio da imagem, um modelo discreto de superfície e um threshold da imagem. Técnicas de extração de isso-superfícies foram implementadas usando o método Out-of-Core que usa estruturas kd-tree, chamadas técnicas de Meta-Células. Usando essas técnicas, apresentamos uma versão Out-of-Core de um método de segmentação baseado nas T-Superfícies e em iso-superfícies. O fluxo do Vetor Gradiente (GVF) é um campo vetorial baseado em equações diferenciais parciais. Esse método é aplicado em conjunto com o modelo das Snakes para segmentação de imagens através de extração de contorno. A idéia principal é usar uma equação de difusão-reação para gerar um novo campo de força externa que deixa o modelo menos sensível a inicialização e melhora a habilidade das Snakes para extrair bordas com concavidades acentuadas. Nesse trabalho, primeiramente serão revistos resultados sobre condições de otimização global do GVF e feitas algumas considerações numéricas. Além disso, serão apresentadas uma análise analítica do GVF e uma análise no domínio da frequência, as quais oferecem elementos para discutir a dependência dos parâmetros do modelo. Ainda, será discutida a solução numérica do GVF baseada no método de SOR. Observamos também que o modelo pode ser estendido para Domínios Multiplamente Conexos e aplicamos uma metodologia de pré-processamento que pode tornar mais eficiente o método.

Submitted by Maria Cristina (library@lncc.br) on 2015-11-25T13:28:47Z No. of bitstreams: 1 dissertacao-aaron.pdf: 1893812 bytes, checksum: f036c76c3f4c1ba338a4e1075106ced6 (MD5) / Approved for entry into archive by Maria Cristina (library@lncc.br) on 2015-11-25T13:29:04Z (GMT) No. of bitstreams: 1 dissertacao-aaron.pdf: 1893812 bytes, checksum: f036c76c3f4c1ba338a4e1075106ced6 (MD5) / Made available in DSpace on 2015-11-25T13:29:13Z (GMT). No. of bitstreams: 1 dissertacao-aaron.pdf: 1893812 bytes, checksum: f036c76c3f4c1ba338a4e1075106ced6 (MD5) Previous issue date: 2015-11-04 / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / The development of quantum algorithms is not a easy task. Elements such as entanglement and quantum paralelism, intrinsics to quantum computation, difficult this task. Quantum walks are crucial tools for development of algorithms, mainly search algorithms. There are many types of quantum walks: with coin toss, Szegedy's, using tessellation (grouping of vertices) and the continuous-time quantum walk. To extract statistics data of a quantum walk, we need to perform its simulation. In this work, we develped the simulator Hiperwalk, a new simulator of quantum walks in graphs of one and two dimension for the quantum walk with a coin toss and coinless using tessellation. The Hiperwalk allows the user to perform simulations of quantum walks in graphs using high performance computing (HPC), even though the user does not knowing parallel programming. The user can employ the parallel devices such as CPU, GPGPU and accelerators cards to speedup the overall process of the walk. / O desenvolvimento de algoritmos quânticos não é uma tarefa trivial. Elementos como emaranhamento e paralelismo quântico, intrínsecos à computação quântica, dificultam esta tarefa. As caminhadas quânticas são ferramentas cruciais para o desenvolvimento de algoritmos, principalmente algoritmos de busca. Existem na literatura vários tipos de caminhadas: com lançamento de moeda, de Szegedy, utilizando tesselagem (agrupamento de vértices) e a caminhada a tempo contínuo. Para extrair dados estatísticos de uma determinada caminhada quântica, necessitamos fazer sua simulação. Neste trabalho, desenvolvemos o simulador Hiperwalk, um novo simulador de caminhadas quânticas, em grafos de uma e duas dimensões para as caminhadas com moeda e sem moeda utilizando tesselagem. O Hiperwalk permite ao usuário efetuar simulações de caminhadas quânticas em grafos utilizando processamento de alto desempenho, mesmo que o usuário não saiba programação paralela. O usuário pode empregar os dispositivos de paralelismo como CPU, GPGPU e co-processadores para acelerar o processo geral da caminhada.

Justificadamente, o século XX poderia ser qualificado como o século da Eletrônica. Em 50 anos, os dispositivos eletrônicos revolucionaram a sociedade, incluindo desde os brinquedos eletrônicos e os eletrodomésticos, até os gigantescos supercomputadores usados em previsões climáticas. Toda esta revolução ocorreu à sombra de uma técnica para tornar os dispositivos menores e mais eficientes: esta técnica é conhecida como miniaturização ou top-down. No entanto, à medida que as dimensões dos dispositivos se aproximam das atômicas, parece que esta abordagem precisa ser substituída por uma nova: bottom-up. E é assim que acontece na Nanoeletrônica, da qual a Spintrônica pode ser considerada como uma sub-área. Nesta tese, estudamos teoricamente dois tipos de transistores spintrônicos: um bipolar e um a efeito de campo. Em linhas gerais, observamos que os dispositivos spintrônicos são melhores que os convencionais, mas sempre há um desafio associado (para assegurar este melhor desempenho). Paralela e conjuntamente à Spintrônica, diversos dispositivos têm sido propostos utilizando-se nanoestruturas semicondutoras. Em particular, com os pontos quânticos pode-se controlar o estado de um elétron individualmente, inclusive o seu spin, o que pode abrir caminho para a Computação Quântica ou para a Spintrônica de um único elétron. Nesta tese, estudamos pontos quânticos de GaN numa matriz de AlN, utilizando uma metodologia que aplica, de forma inédita, cálculos de primeiros princípios ao estudo destas nanoestruturas com célula unitária com uma quantidade de átomos da ordem de 10 milhões.

A computação quântica adiabática tem sua pedra angular no teorema adiabático, cuja eficiência está relacionada tradicionalmente à proporção da variação temporal do Hamiltoniano que descreve o sistema e o gap mínimo entre o estado fundamental e o primeiro excitado. Normalmente, esse gap tende a diminuir quando aumenta o número de recursos (bit quântico: qubit) de um processador quântico, exigindo dessa maneira variações lentas do Hamiltoniano para assim garantir uma dinâmica adiabática. Entre os candidatos para a sua implementação física, estão os qubits baseados em circuitos supercondutores os quais têm um grande potencial, por causa de seu alto controle e escalabilidade promissora. No entanto, quando esses qubits são implementados, eles têm uma fonte intrínseca de ruído devido a erros de fabricação, que não podem ser desprezados. Por isso, nesta tese nós estudamos como os efeitos causados pelas flutuações dos parâmetros físicos do qubit afetam o comportamento da fidelidade da computação, realizando com esse propósito a simulação da dinâmica de cadeias de spin pequenas desordenadas. A partir do análise exaustivo desse estúdio foi possível propor uma estratégia que permite aumentar a fidelidade considerando um sistema ruidoso. Por outro lado, motivados pelo interesse de obter critérios suficientes e necessários para satisfazer uma computação quântica adiabática e pelo fato que ainda não existe uma condição de adiabaticidade geral apesar de existir inúmeras propostas, nós apresentamos um novo critério que manifesta suficiência para sistemas mais gerais e finalmente apresentamos evidências de que tal condição seria um quantificador consistente. / Adiabatic quantum computation has its cornerstone in the adiabatic theorem, whose efficiency is traditionally related to the ratio of the Hamiltonian temporal variation that describes the system and the minimum gap between the ground state and the first excited state. Usually, this gap tends to decrease when the number of quantum resources (quantum bit: qubit) of a quantum processor increases, thus it requires slow variations of the Hamiltonian to ensure an adiabatic dynamic. Among the candidates for its physical implementation are the qubits superconducting circuit-based which have great potential because of their high control and promising scalability. However, when these qubits are implemented, they have an intrinsic source of noise due to manufacturing errors that can not be despised. Therefore, in this thesis we study how the effects caused by the fluctuations of the physical parameters of the qubit affect the behavior of the fidelity of the computation, accomplishing with this purpose the simulation of the dynamics of small disordered spin chains. From the exhaustive analysis of this studio, it was possible to propose a strategy that allows to increase the fidelity considering a noisy system. On the other hand, motivated by the interest of obtaining sufficient and necessary criteria to satisfy an adiabatic quantum computation and the fact that there is still no general adiabaticity condition despite there being numerous proposals, we present a new criterion that manifests sufficiency for more general systems and we finally presented evidence that such a condition would be a consistent quantifier.

Orientador: Eduardo Peres Novais de Sá / Dissertação (mestrado) - Universidade Federal do ABC. Programa de Pós-Graduação em Física, 2013

Orientador: Prof. Dr. Luciano Soares da Cruz / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Física, 2014. / A preparação de campos ópticos com propriedades estritamente quânticas é um requisito essencial de protocolos de Informação e Computação Quântica. Dentre as possíveis realizações experimentais, o uso de sistemas atômicos como meio não-linear e variáveis contínuas da luz como transmissor tem recebido atenção na comunidade científica devido as inúmeras manifestações de efeitos quânticos que podem ser obtidos da interação entre luz e átomos. Mostramos aqui, no caso de um sistema atômico opticamente fino de dois níveis com degenerescência Zeeman interagindo com um campo clássico, a geração de estados exibindo compressão de ruído e emaranhamento nos graus de liberdade de polarização. Partindo da equação de Langevin para a interação com um reservatório Markoviano e da interação intra-sistema do tipo dipolo elétrico, resolvemos a evolução temporal do operador densidade e calculamos o espectro de potência para as variáveis de polarização, mostrando a viabilidade deste sistema para geração de luz com as características não-clássicas citadas acima. Evidenciamos que o surgimento destas características depende fortemente da relação entre o momento angular total do nível excitado e fundamental; em especial, para o caso da transição F = 0 para F = 1, há aproximadamente 5:5% de compressão de ruído em cada polarização e uma violação de 1:3% no critério de emaranhamento de Duan-Giedke-Cirac-Zoller (DGCZ). Na parte experimental, apresentamos a caracterização de um laser Titânio-Safira, do sistema de detecção e a montagem experimental de um esquema para geração destes estados de luz no laboratório. / The preparation of optical fields with strictly quantum properties is an essential requirement for several Quantum Computation and Quantum Information protocols. Among the tangible experimental realizations, the use of atomic ensembles as non-linear media and continuous variables of light as transmitter has received atention in the scientific community due to many quantum phenomena that can be reached with this matter-light interaction. We show here, in the case of an optically thin two level atomic ensemble (including its complete Zeeman degeneracy) interacting with a classical field, the generation of states exhibiting squeezing and entanglement in the polarization degree of freedom. Starting from the Langevin equation for a Markovian thermal reservoir and electric dipole interaction between the atoms and the driving radiation, we solved the Liouville-von Neumann equation for the density operator in the Liouville space and calculated the power spectra to the polarization variables, showing the system¿s feasibility to generate light with the nonclassical properties mentioned above. As our main result, we point out that these characteristics strongly depend on the ground and excited total angular momentum relation; in particular, working on a F = 0 to F = 1 transition, there is 5:5% of squeezing in each polarization state and 1:3% violation of the DGCZ (Duan-Giedke-Cirac-Zoller) entanglement criterion. In the experimental section, we present the characterization of a Ti:Sapphire laser, of the detection scheme and the apparatus employed for a future experimental generation of these light states.

A descoberta do algoritmo de Shor, para a fatoração de inteiros em tempo polinomial, motivou esforços rumo a implementação de um computador quântico. Ele é capaz de quebrar os principais criptossistemas de chave pública usados hoje (RSA e baseados em curvas elípticas). Estes fornecem diversos serviços de segurança, tais como confidencialidade e integridade dos dados e autenticação da fonte, além de possibilitar a distribuição de uma chave simétrica de sessão. Para quebrar estes criptossistemas, um computador quântico grande (2000 qubits) é necessário. Todavia, alternativas começaram a ser investigadas. As primeiras respostas vieram da própria mecânica quântica. Apesar das propriedades interessantes encontradas na criptografia quântica, um criptossistema completo parece inatingível, principalmente devido as assinaturas digitais, essenciais para a autenticação. Foram então propostos criptossitemas baseadas em problemas puramente clássicos que (acredita-se) não são tratáveis por computadores quânticos, que são chamadas de pós-quânticas. Estes sistemas ainda sofrem da falta de praticidade, seja devido ao tamanho das chaves ou ao tempo de processamento. Dentre os criptossistemas pós-quânticos, destacam-se o McEliece e o Niederreiter. Por si só, nenhum deles prevê assinaturas digitais, no entanto, as assinaturas CFS foram propostas, complementandos. Ainda que computadores quânticos de propósito geral estejam longe de nossa realidade, é possível imaginar um circuito quântico pequeno e dedicado. A melhoria trazida por ele seria a diferença necessária para tornar essas assinaturas práticas em um cenário legitimamente pós-quântico. Neste trabalho, uma arquitetura híbrida quântica/clássica é proposta para acelerar algoritmos criptográficos pós-quânticos. Dois coprocessadores quânticos, implementando a busca de Grover, são propostos: um para auxiliar o processo de decodificação de códigos de Goppa, no contexto do criptossistema McEliece; outro para auxiliar na busca por síndromes decodificáveis, no contexto das assinaturas CFS. Os resultados mostram que em alguns casos, o uso de um coprocessador quântico permite ganhos de até 99; 7% no tamanho da chave e até 76; 2% em tempo de processamento. Por se tratar de um circuito específico, realizando uma função bem específica, é possível manter um tamanho compacto (300 qubits, dependendo do que é acelerado), mostrando adicionalmente que, caso computadores quânticos venham a existir, eles viabilizarão os criptossistemas pós-quânticos antes de quebrar os criptossistemas pré-quânticos. Adicionalmente, algumas tecnologias de implementação de computadores quânticos são estudadas, com especial enfoque na óptica linear e nas tecnologias baseadas em silício. Este estudo busca avaliar a viabilidade destas tecnologias como potenciais candidatas à construção de um computador quântico completo e de caráter pessoal. / The discovery of the Shor algorithm, which allows polynomial time factoring of integers, motivated efforts towards the implementation of a quantum computer. It is capable of breaking the main current public key cryptosystems used today (RSA and those based on elliptic curves). Those provide a set of security services, such as data confidentiality and integrity and source authentication, and also the distribution of a symmetric session key. To break those cryptosystem, a large quantum computer (2000 qubits) is needed. Nevertheless, cryptographers have started to look for alternatives. Some of which came from quantum mechanics itself. Despite some interesting properties found on quantum cryptography, a complete cryptosystem seems intangible, specially because of digital signatures, necessary to achieve authentication. Cryptosystems based on purely classical problems which are (believed) not treatable by quantum computers, called post-quantum, have them been proposed. Those systems still lacks of practicality, either because of the key size or the processing time. Among those post-quantum cryptosystems, specially the code based ones, the highlights are the McEliece and the Niederreiter cryptosystems. Per se, none of these provides digital signatures, but, the CFS signatures have been proposed, as a complement to them. Even if general purpose quantum computers are still far from our reality, it is possible to imagine a small dedicated quantum circuit. The benefits brought by it could make the deference to allow those signatures, in a truly post-quantum scenario. In this work, a quantum/classical hybrid architecture is proposed to accelerate post-quantum cryptographic algorithms. Two quantum coprocessors, implementing the Grover search, are proposed: one to assist the decoding process of Goppa codes, in the context of the McEliece and Niederreiter cryptosystems; another to assist the search for decodable syndromes, in the context of the CFS digital signatures. The results show that, for some cases, the use of the quantum coprocessor allows up to 99; 7% reduction in the key size and up to 76; 2% acceleration in the processing time. As a specific circuit, dealing with a well defined function, it is possible to keep a small size (300 qubits), depending on what is accelerated), showing that, if quantum computers come to existence, they will make post-quantum cryptosystems practical before breaking the current cryptosystems. Additionally, some implementation technologies of quantum computers are studied, in particular linear optics and silicon based technologies. This study aims to evaluate the feasibility of those technologies as potential candidates to the construction of a complete and personal quantum computer.

Ocorre atualmente um movimento de aumento da importância que a manutenção da segurança da informação vem adquirindo em redes de informação de crítica. Ao longo das últimas décadas a utilização de ferramentas criptográficas, especialmente aquelas baseadas em problemas de díficil solução computacional, foram suficientes para garantir a segurança dos sistemas de comunicação. Contudo, o desenvolvimento da nova técnica de processamento de informação conhecida como computação quântica e os resultados téoricos e experimentais apresentados por esta mostram que é possível inviabilizar alguns dos sistemas de criptografia atuais amplamente utilizados. A existência de tal vulnerabilidade representa um fator crítico em redes em que falhas de segurança da informação podem estar associadas a riscos de segurança física. Uma alternativa para os métodos criptográficos atuais consiste na utilização de sistemas quânticos na obtenção de um método criptográfico, o que se conhece como criptografia quântica. Este novo paradigma tem seu fundamento resistente mesmo na presença de capacidade tecnológica ilimitada, incluindo o cenário com disponibilidade de computação quântica. Este trabalho tem como objetivo levantar os impactos que o desenvolvimento da computação quântica têm sobre a segurança dos atuais sistemas criptográficos, apresentar e desenvolver alternativas de protocolos de criptografia quântica disponíveis, e realizar um estudo de caso por meio da avaliação da utilização de criptografia quântica no contexto da Aeronautical Telecommunication Network (ATN). Isto é feito por meio do desenvolvimento de um ambiente de simulacão que permite avaliar o comportamento de um protocolo de criptografia quântica em um cenário em um ambiente com requisitos de missão crítica, como é o caso da ATN. / The importance of security maintenance in critical information networks has been rising in recent times. Over the past decades, the utilization of cryptography tools, mainly those based on computationally intractable problems, was enough to ensure the security of communications systems. The development of the new information processing technique known as quantum computation and the theoretical and experimental results showed by this approach demonstrated that could be possible to cripple the current widely used cryptography techniques. This vulnerability represents a critical issue for networks where a security fault could be associated to a safety fault. An alternative for the current cryptography methods consists in the utilization of quantum systems to obtain a new cryptographic method. The new paradigm presented by this approach has solid principles even in the presence of unlimited computational capacity, including the scenario with availability of quantum computation. The aim of this work is the assessment of impacts that the development of quantum computation has over the current cryptographic methods security, the presentation and development of alternatives based on quantum cryptography protocols, and the development of a case study using the case of Aeronautical Telecommunication Network (ATN). This aim is reached by means of the development of a simulation environment that allows the evaluation of a quantum cryptography protocol behavior in an environment with mission critical requirements, like the ATN case.

Orientador: Alexandre César Rodrigues da Silva / Abstract: Research in the field of quantum circuits has increased as technology advances in the development of quantum computers. IBM offers access to quantum computers via the cloud service called IBM Q. However, these architectures have some restrictions regarding the types of quantum gates that can be realized. This work proposes a methodology for the mapping of quantum and reversible circuits to the architectures made available by the IBM Q project. The methodology consists in finding CNOT mappings using a set of defined qubits movements to satisfy the architectures constraints by adding as few gates as possible. In order to reduce the number of CNOT gates needing mapping, the permutation of the circuit can be changed. One alternative to find this permutation is trough exhaustive search. However, is not feasible as the number of qubit increases. To solve this problem, the permutation problem was formulated as an Integer Linear Programming problem. The mapping of quantum circuits realized with non-implementable gates and reversible Toffoli circuits to the IBM quantum architectures were proposed in this work as well. This was done by adapting the developed CNOT mappings along with the Integer Linear Programming formulation. The proposed methodology was evaluated by mapping quantum and reversible circuits to an IBM quantum architectures with 5 and 16 qubits. The results were compared with two algorithms that map quantum circuits to IBM architectures. The cost metric used in the evalua... (Complete abstract click electronic access below) / Resumo: Pesquisa no campo de circuitos quânticos tem alavancado conforme a tecnologia avança no desenvolvimento de computadores quânticos. Atualmente, a IBM oferece acesso a computadores quânticos através do serviço em nuvem chamado IBM Q. No entanto, essas arquiteturas têm algumas restrições com relação aos tipos de portas quânticas e qubits em que uma porta CNOT pode ser implementada. Neste trabalho foi proposta uma metodologia para o mapeamento de circuitos quânticos e reversíveis para as arquiteturas disponibilizadas pelo projeto IBM Q. A metodologia consiste em mapear as portas CNOT utilizando uma série de movimentos de qubits, mantendo a permutação do circuito inalterada. A fim de reduzir o número de portas CNOT não implementáveis, a permutação do circuito pode ser alterada. Uma alternativa para encontrar essa permutação é a busca exaustiva. No entanto, é inviável conforme o número de qubits aumenta. Para resolver este problema, o problema de permutação foi formulado como um problema de Programação Linear Inteira. Como a metodologia é facilmente adaptável, o mapeamento de circuitos quânticos utilizando portas quânticas não implementáveis e circuitos reversíveis Toffoli também foram propostas neste trabalho. A avaliação da metodologia proposta foi feita com a realização do mapeamento de circuitos quânticos e reversíveis para arquiteturas quânticas com 5 e 16 qubits. Os resultados foram comparados com dois algoritmos que mapeiam circuitos quânticos para arquiteturas IBM. A métric... (Resumo completo, clicar acesso eletrônico abaixo) / Doutor