Esta tese apresenta alguns resultados sobre dois temas importantes para a teoria da informacao quântica: entrelacamento quântico e algoritmos quânticos. Com respeito ao entrelacamento, e estabelecida uma relacao entre a negatividade e os menores principais de matrizes Hermitianas, o que permite analisar o entrelacamento para estados de dois qubits e estados puros de tres e quatro qubits, usando os menores principais. Foi proposta tambem uma nova medida para o calculo do entrelacamento de estados puros de seis qubits, usando a negatividade. Para ambos os casos, o calculo da variacao do entrelacamento de estados parametrizados foi realizado atraves de formulas analiticas e simulacoes numericas. Por fim, com relacao aos algoritmos quânticos e proposto um algoritmo de busca capaz de achar o minimo de uma funcao realizando apenas uma medicao ao final do algoritmo. O algoritmo e descrito e um exemplo de utilizacao do mesmo no calculo do periodo de uma funcao periodica e apresentado.
Esta tese apresenta alguns resultados sobre dois temas importantes para a teoria da informacao quântica: entrelacamento quântico e algoritmos quânticos. Com respeito ao entrelacamento, e estabelecida uma relacao entre a negatividade e os menores principais de matrizes Hermitianas, o que permite analisar o entrelacamento para estados de dois qubits e estados puros de tres e quatro qubits, usando os menores principais. Foi proposta tambem uma nova medida para o calculo do entrelacamento de estados puros de seis qubits, usando a negatividade. Para ambos os casos, o calculo da variacao do entrelacamento de estados parametrizados foi realizado atraves de formulas analiticas e simulacoes numericas. Por fim, com relacao aos algoritmos quânticos e proposto um algoritmo de busca capaz de achar o minimo de uma funcao realizando apenas uma medicao ao final do algoritmo. O algoritmo e descrito e um exemplo de utilizacao do mesmo no calculo do periodo de uma funcao periodica e apresentado.
Quando se estuda entrelaçamento de estados quânticos, há uma preocupação em fornecer critérios para saber se um dado estado quântico é ou não entrelaçado, bem como quantificar esse entrelaçamento. Diante disso, serão propostas, neste trabalho, duas expressões algébricas para a negatividade de um estado puro de n qubits. As duas serão utilizadas no cálculo da negatividade desse estado, sendo que uma delas está relacionada com a soma dos menores principais de ordem 3 da transposta parcial da matriz densidade do tal estado, e a outra, depende das amplitudes do referido estado. Com essas expressões é possível calcular, , com , obtendo-se uma generalização do cálculo da negatividade para estados de dois qubits A e B, , com .
Desde a primeira vez que computação quântica foi concetualizada por Feynman, simulação quântica tem estado na vanguarda das possiveis aplicações de interesse. Os custos proibitivos de simular sistemas quânticos com computadores classicos são uma forte motivação para a investigação em computação quântica. Ao longo da última década, tem-se observado um progresso notável no desenvolvimento de hardware quantico. No entanto, os obstáculos entre nos e a era de vantagem quantica util mantem-se essencialmente os mesmos: A informação quântica e fragil, e protegê-la é um desafio. Visto que os dispositivos quânticos atuais são ruidosos e tem um número limitado de qubits, desenvolver algoritmos que possam ser executados neles e uma area de investigação importante. Por resultarem em circuitos de preparação de estado (ansatze) pouco profundos e treinaveis, algoritmos quânticos variacionais (VQAs) adaptativos são uma opção promissora. O primeiro algoritmo nesta classe, o ADAPT-VQE, pode ser utilizado para problemas de estrutura eletronica, otimização combinatoria, materia condensada, sistemas periódicos no tempo, entre outros. Nesta tese, são propostas varias melhorias para VQAs adaptativos, com o objetivo de diminuir os custos e aumentar a viabilidade a curto prazo. Propõe-se um otimizador quasi-Newton para VQAs adaptativos que reduz os custos de medição necessários para implementar estes algoritmos em hardware quântico, bem como o tempo necessario para os simular classicamente. Propõe-se ainda um novo conjunto de operadores — “operatores de intercambio acoplado” (CEOs) — que resulta no menor numero de portas quanticas e na menor profundidade de circuito entre todas as propostas na literatura. Combina-se varios desenvolvimentos-chave e mostra-se uma redução dramatica dos recursos computacionais quânticos necessários em comparação com as primeiras versões do algoritmo ou com ansätze estáticos para VQE. Adicionalmente, propõe-se uma versão codesenhada do ADAPT-VQE (Co-ADAPT-VQE) onde o hardware quântico e tido em consideração na construção do ansatz. Este paradigma pode ser utilizado para otimizar circuitos de preparação de estado em qualquer dispositivo, colmatando limitações como conetividade limitada, tempos de coerencia curtos, e erros nas portas quanticas. Finalmente, propomos estrategia para mitigar “vales de gradientes”, um problema de convergência especifico ao ADAPT-VQE.
Computação quântica é uma área de grande desenvolvimento hoje em dia e isso traz uma necessidade para desenvolver hardware e software. Uma vez que o hardware disponível é muito pouco e o software precisa de ser testado, existe uma necessidade de uma boa plataforma para testar as soluções de software. Simular um computador quântico num computador clássico não é ideal, contudo é uma resposta viável a esta necessidade, para um pequeno número de qubits. Além disso, os computadores quânticos necessitam dos computadores clássicos de forma a criar um sistema real prático, isto apresenta-se como uma excelente oportunidade para testar técnicas de programação clássica para melhorar a programação quântica. Esta tese propõe o uso de programação clássica para melhorar a implementação de um algoritmo de adição modular usando transformadas de Fourier quânticas. Os principais objectivos deste trabalho são: simular um circuito quântico; testar um algoritmo quântico e compará-lo com o seu equivalente clássico; implementar o algoritmo de adição modular, usando as capacidades de aceleração de computação das transformadas de Fourier quânticas e optimizá-lo; Testar e implementar códigos quânticos de correcção de erros; fazer um teste num computador quântico real.De forma a testar a linguagem e comparar um algoritmo quântico com um clássico, fez-se um teste ao algoritmo de Shor que está disponível de raiz na plataforma liquid. Apesar do algoritmo de Shor ter, teoricamente, uma dependência de tipo polinomial com a dimensão do problema, os testes realizados mostraram que o tempo de computação tem um comportamento exponencial. Simular um algoritmo quântico num computador clássico requer tempo de computação que cresce de forma exponencial, pois é necessário armazenar e processar todos os estados do sistema, que é um espaço de Hilbert de dimensão 2^n.O algoritmo de adição modular usando transformadas de Fourier quânticas foi implementado na plataforma liquid. Seguidamente fizeram-se melhorias e optimizações. O número de operações teórico é O(n^2). Contudo, depois de fazer melhorias ao circuito, removendo gates desnecessárias para casos específicos, o número de operações passa a ter um valor mínimo de Omega(n). Com este tipo de alterações o sistema pode apresentar melhorias no que respeito ao tempo de simulação até um factor de ordem 10. Isto mostra que programar um algoritmo quântico tendo em conta casos específicos pode melhorar imenso o desempenho da simulação.Os códigos de correção de erros quânticos foram implementados num circuito simples, com as ferramentas disponíveis na plataforma liquid, e obteve-se um sistema que consegue lidar com erros com probabilidade inferior ou igual a 2%, com uma taxa de sucesso na sua correção de 95%. Contudo são necessários circuitos muito grandes, pouco exequíveis.A plataforma disponibilizada pela IBM para fazer testes num computador quântico real, foi utilizada para testar o algoritmo de adição modular e adição normal (com carry bit). Uma vez que esta plataforma tem um número limitado de gates, reforça a ideia de que se deve otimizar os algoritmos tendo em conta casos particulares. Os resultados destes testes mostram também que é importante utilizar correcção de erros quânticos, mas para que isso seja viável é necessário que haja mais qubits disponíveis ou outro tipo de códigos.
A computação quântica é uma área de pesquisa relativamente nova em que cientistas e empresas de todo o mundo estão investigando suas potenciais aplicações, tanto no contexto científico quanto no contexto industrial. Em particular, a implementação de algoritmos quânticos e a arquitetura de qubits são as tarefas principais para a execução das aplicações de interesse. Apesar das grandes vantagens que computadores quânticos podem proporcionar em relação aos computadores clássicos, existem grandes desafios a serem superados como a decoerência e os ruídos que interferem nos processos investigativos e nos resultados das rotinas empregadas. O trabalho investiga o passeio quântico unidimensional e sua implementação nos computadores quânticos da IBM. Comparamos os principais resultados do passeio clássico com o passeio quântico, em especial foi investigado que o passeio quântico não apresenta uma distribuição de probabilidade normal à medida que o número de passos aumenta, resultado que é observado para o passeio clássico. Além disso, o desvio padrão do passeio quântico é proporcional ao número de passos n, enquanto o desvio padrão do passeio clássico é dado por √n. Através dos computadores quânticos da IBM foram realizados simulações, primeiramente de um passeio quântico de dois qubits e outra de um passeio quântico de três qubits. Os resultados para a simulação do passeio quântico de dois qubits indicam que a simulação efetuada em um computador quântico real obteve um bom desempenho apesar dos fatores de interferência e decoerência não serem desprezíveis. No entanto, os resultados para o passeio quântico de três qubits apresentaram muito ruído.
Em computação quântica e especificamente na modelagem de circuitos quânticos de computação, uma porta lógica quântica (ou simplesmente porta quântica) é um circuito quântico básico que opera sobre um pequeno número de qubits, que são as unidades básicas de informação constituída por um sistema quântico de dois estados. Estes são os alicerces de construção de circuitos quânticos da mesma forma que as portas lógicas clássicas são para os circuitos digitais convencionais. No presente trabalho, pretendemos investigar aplicações da mecânica quântica não linear q-deformada em computação quântica, assim como a construção de suas portas lógicas quânticas que possam descrever fenômenos de interesse da comunidade científica nas áreas de computação quântica, teoria quântica, entre outras. Para a escrita dos trabalhos, utilizamos a linguagem de programação LaTeX, e para o desenvolvimento de gráficos ou resoluções de equações diferenciais, fizemos o uso da linguagem de programação Python. Para isso, promovemos estudos sobre alguns tópicos de computação quântica, álgebras generalizadas, linguagem de programação Python, entre outros. Nesta etapa do projeto, consideramos as seguintes referências bibliográficas: computação quântica, álgebra q-deformada, mecânica quântica não linear, circuitos quânticos, fenômenos de decoerência quântica, e etc. e promover as suas aplicações na construção do projeto, a fim de obter resultados que auxiliem a outros pesquisadores destes tópicos de pesquisa. Foram criados circuitos e analisamos a sua entropia em relação ao parâmetro de deformação algébrico q, analisamos também a taxa de variação da modificação dos estados e das probabilidades de estados dos qubits presentes nos circuitos simulados, sendo estudados também as plotagens acerca das funções generalizadas presentes nos artigos que foram usados como base neste trabalho e projeto. e para uma melhor consolidação dos resultados, criamos uma biblioteca no python que nos auxiliou no trabalho. Foi percebido que usando a matemática não usual presente nos artigos acerca da álgebra q-deformada, o parâmetro q consegue ter um enorme controle de entropia e velocidade de convergência do circuito quântico deformado em alguns respectivos algoritmos quânticos. Vendo que a sua velocidade de convergência pode ser modificada, para maior ou menor do que a usual, verifica-se aqui a extrema importância do parâmetro q em simulações e convergências de resultados acerca dos temas aqui trabalhados.
Nesse trabalho demonstramos uma serie de resultados para sistemas qu^anticos de dimensão finita. O tema central s~ao os qubits, sistema que se tornou muito importante com osurgimento da computação quântica. O principal objetivo é estudar dois quantificadores de emaranhamento para o sistema de dois qubits, chamados Negatividade e Concorrência. O emaranhamento de uma propriedade muito interessante de sistemas quânticos compostos, que não aparece em mec^anica classica. Ele esta por tras de varios resultados surpreendentes como a teleportação de estados quânticos e o algoritmo de Shor, capaz de fatorar numeros inteiros em tempo polinomial, entre varios outros.Ainda nao se sabe precisamente, mas acredita-se que os sitemas quanticos permitem realizar computação de maneira mais efciente que os sistemas classicos e a presenca de emaranhamento pode ser um recurso valioso.