Os algoritmos quânticos variacionais têm se destacado como uma maneira de obter vantagem quântica no atual estado da arte da computação quântica, a chamada era NISQ (escala quântica intermediária com ruídos). A estrutura destes algoritmos consiste em estrategicamente combinar processamento quântico (circuito parametrizado) com otimização clássica, conectados por meio de uma função custo que norteia a otimização dos parâmetros. Neste trabalho damos principal enfoque nos circuitos parametrizados inicialmente na tarefa de detecção de emaranhamento em cadeias de spin-1/2 descritas pelo Hamiltoniano de Heisenberg com interações de primeiros vizinhos e ausência de campo externo, via testemunha de emaranhamento, em que dois circuitos são utilizados em conjunto nesta tarefa, sendo um totalmente separável, enquanto outros com capacidade de gerar emaranhamento. Utilizando estes mesmos circuitos, buscamos obter o conjunto de parâmetros ideais para preparar o estado fundamental destes mesmos Hamiltonianos, os quais consideramos de 2 a 15 q-bits. Outro resultado consiste em uma proposta de extração de trabalho em baterias quânticas descritas como uma cadeia de spin-1/2 com interações de primeiros vizinhos, considerando várias configurações dos termos de anisotropia. Utilizamos circuitos parametrizados com diferentes topologias (conexão entre os q-bits definida por portas de 2 q-bits) para obter a ergotropia nestes sistemas. Neste resultado da ergotropia, consideramos sistemas com 2 a 8 q-bits.
Os algoritmos quânticos variacionais têm se destacado como uma maneira de obter vantagem quântica no atual estado da arte da computação quântica, a chamada era NISQ (escala quântica intermediária com ruídos). A estrutura destes algoritmos consiste em estrategicamente combinar processamento quântico (circuito parametrizado) com otimização clássica, conectados por meio de uma função custo que norteia a otimização dos parâmetros. Neste trabalho damos principal enfoque nos circuitos parametrizados inicialmente na tarefa de detecção de emaranhamento em cadeias de spin-1/2 descritas pelo Hamiltoniano de Heisenberg com interações de primeiros vizinhos e ausência de campo externo, via testemunha de emaranhamento, em que dois circuitos são utilizados em conjunto nesta tarefa, sendo um totalmente separável, enquanto outros com capacidade de gerar emaranhamento. Utilizando estes mesmos circuitos, buscamos obter o conjunto de parâmetros ideais para preparar o estado fundamental destes mesmos Hamiltonianos, os quais consideramos de 2 a 15 q-bits. Outro resultado consiste em uma proposta de extração de trabalho em baterias quânticas descritas como uma cadeia de spin-1/2 com interações de primeiros vizinhos, considerando várias configurações dos termos de anisotropia. Utilizamos circuitos parametrizados com diferentes topologias (conexão entre os q-bits definida por portas de 2 q-bits) para obter a ergotropia nestes sistemas. Neste resultado da ergotropia, consideramos sistemas com 2 a 8 q-bits.
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.
A teoria dos algoritmos quânticos promete benefícios sem precedentes ao utilizar as leis da mecânica quântica para resolver certos problemas computacionais. Entretanto, alguns desafios impedem que tais vantagens se apliquem a todos os algoritmos quânticos. Entre esses desafios está o desenvolvimento de uma codificação eficiente de dados clássicos em um estado quântico. Em aplicações práticas, o custo para carregar a informação clássica em um dispositivo quân- tico pode dominar o custo computacional assintótico do algoritmo. Foram propostos diversos métodos baseados em circuitos para codificar dados clássicos nas amplitudes de probabilidade de um estado quântico. Entretanto, esses métodos produzem circuitos com complexidade que cresce linearmente com o tamanho do dado, anulando o benefício da aplicação quântica. O objetivo principal deste trabalho é reduzir a complexidade computacional dos circuitos para a inicialização de estados quânticos. As duas estratégias utilizadas para alcançar tal objetivo exploram a troca de complexidade temporal por espacial ou a transferência de complexidade computacional para um computador clássico. A primeira estratégia reinterpreta métodos al- gébricos para a decomposição de estados quânticos como caminhadas ao longo de árvores binárias. A segunda investiga o grau de emaranhamento de bipartições do estado quântico através da decomposição de Schmidt. Os métodos baseados em árvore alcançam uma redução exponencial na profundidade dos circuitos, em comparação às abordagens existentes. Os base- ados na decomposição de Schmidt produzem circuitos de complexidade variável, proporcional ao emaranhamento do estado. A perspectiva é que o resultado desta tese auxilie os profissionais da computação quântica durante a era dos dispositivos ruidosos de escala intermediária.
O objetivo do trabalho é estudar algoritmos quânticos de busca, usados em computadores quânticos. Até então, algoritmos de busca utilizados em computadores clássicos dependem da estrutura na qual os dados estão organizados para serem ou não eficientes. Para conjuntos de dados não estruturados, o único jeito é verificar cada elemento do conjunto procurando o elemento passado na entrada do algoritmo, e dependendo da quantidade de elementos nesse conjunto, pode-se levar muito tempo, mesmo para computadores muito rápidos. Portanto, algoritmos que realizem busca de maneira eficiente são um atrativo e tanto para cientistas da computação, que podem pensar em inúmeras aplicações dos mesmos e tornar vários softwares cada vez mais eficientes. Tendo isso em vista, a computação quântica traz artifícios inexistentes na computação clássica que podem acelerar esse processo, como, por exemplo, o paralelismo quântico. Basicamente, consiste na capacidade de sobrepor todos os dados do conjunto em um único registrador, ou a grosso modo, analisar todos ao mesmo tempo, apesar de não ser tão simples quanto isso. É baseado nisso que temos o Algoritmo de Grover, que utilizando o paralelismo quântico, e reflexões no conjunto de dados, através do uso de transformações unitárias feitas por portas quânticas, temos uma probabilidade alta de que quando medirmos este registrador quântico, termos como resultado o dado procurado.
Desde o surgimento da mecânica quântica no início do século XX, ela vem sendo alvo de diversos estudos e suas característcas fazem com que a mesma seja descrita de forma totalmente diferente da teoria clássica. Com o aprofundamento em suas áreas, surgiram novos conceitos e a compreensão sobre a teoria da informação e computação quântica foi radicalmente mudada devido a uma propriedade básica da mecânica quântica, o emaranhamento. Assim, a popularização da ideia do computador quântico trouxe consigo uma série de pesquisas relacionadas a informação quântica e suas aplicações no mundo real. Nesta dissertação apresentamos um estudo sobre a construção de um critério de emaranhamento geral, no qual podemos aplicá-lo a quaisquer sistemas possuindo um Hamiltoniano descrito por cadeias de spins, seja ele bipartido ou multipartido. Esse critério é baseado na covariância de um observável geral que pode ou não possuir termos de interações entre os spins. Entretanto, esse critério pode ser facilmente reduzido a variância, uma vez que esta é muito mais adequada para a aplicação em sistemas físicos. Desta maneira, podemos utilizar a susceptibilidade magnética e o calor específico como testemunhas de emaranhamento para o critério, em razão da sua facilidade de medidas experimentais.
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.
Neste artigo descrevemos uma das plataformas mais promissoras para a construção de um computador quântico universal, que consiste em uma cadeia de N íons aprisionados em um potencial harmônico, cujos estados internos funcionam como qubits e são acoplados a modos vibracionais coletivos da cadeia. A partir de tal acoplamento, é possível construir interações entre diferentes íons, isto é, interações qubit-qubit que, juntamente com operações individuais sobre os íons, permitem construir um computador quântico como primeiramente proposto por Cirac e Zoller na década de 90 [Phys. Rev. Lett. 74, 4091 (1995)]. Aqui discutimos desde a física envolvida no aprisionamento de íons em armadilhas eletromagnéticas até a engenharia de hamiltonianos necessária para gerar um conjunto universal de portas lógicas, fundamental para a execução de algoritmos quânticos mais complexos. Por último, apresentamos o atual estado da arte da computação quântica em sistemas de íons aprisionados, destacando os recentes avanços obtidos por empresas e projetos governamentais que utilizam tal arquitetura, como IonQ e AQTION.