Este trabalho apresenta alguns problemas matemáticos ligados à Mecânica Quântica e à Teoria de Números; mais precisamente, este trabalho apresenta três problemas: dois deles no contexto da Mecânica Quântica e o terceiro no âmbito da Teoria de Números. O primeiro problema, dentro do contexto da Mecânica Quântica, trata de determinar a geometria dos estados da esfera de Bloch que representem estados fisicamente realizáveis. Tal geometria herda uma simetria que é preservada por transformacões isoespectrais que compõem um grupo abeliano; nesse sentido, obtivemos os mesmos resultados de Mendas, em [14], e Kimura, em [10] e [11], mas por um método diferente. Em [10] e [11] o problema é abordado inteiramente em coordenadas esféricas, o que conduz a uma formulação ligeiramente diferente na obtenção dos autolavores do operador densidade. Em [14], a mesma ideia de [10] e [11] é abordada mas em dimensão d = 4. Em ambas as referências o ponto principal foi tomar interseção da esfera de Bloch com hiperplanos especiais do espaço, isso permitiu aos autores utilizar métodos computacionais e ilustrar regiões de interesse na tentativa de compreender melhor a geometria do problema. Já o segundo problema trata de descobrir propriedades de sistemas dinâmicos quânticos, como convergência e velocidade de convergência de produto de matrizes unitárias sorteadas aleatoriamente para emaranhadores universais. Conseguimos um resultado interessante que garante a convergência com velocidade exponencial, mesmo sob condições relativamente gerais. Tal resultado é importante devido ao interesse da comunidade acadêmica em entender melhor emaranhadores universais e usá-los em aplicações da computação quântica. Mais especificamente, nosso resultado garante que dado um número finito de elementos u1, ... un ∈... U (n) escolhidos ao acaso, então o produto de elementos aleatoriamente sorteados na vizinhança dos elementos u1, ..., un converge fraco-estrela para um emaranhador universal na medida de Haar em U(n). Tal resultado pode auxiliar no entendimento de propriedades de emaranhadores universais e em aplicações da computação quântica, tópicos que vêm sendo bastante estudados pela comunidade acadêmica. Finalmente, o terceiro problema, pertencente à área de Teoria de Números. É uma conjectura que encontra-se sem solução desde 1932, quando foi formulada por Derrick Henry Lehmer. Uma nova abordagem na tentativa de resolver este problema é apresentada.
Este trabalho apresenta alguns problemas matemáticos ligados à Mecânica Quântica e à Teoria de Números; mais precisamente, este trabalho apresenta três problemas: dois deles no contexto da Mecânica Quântica e o terceiro no âmbito da Teoria de Números. O primeiro problema, dentro do contexto da Mecânica Quântica, trata de determinar a geometria dos estados da esfera de Bloch que representem estados fisicamente realizáveis. Tal geometria herda uma simetria que é preservada por transformacões isoespectrais que compõem um grupo abeliano; nesse sentido, obtivemos os mesmos resultados de Mendas, em [14], e Kimura, em [10] e [11], mas por um método diferente. Em [10] e [11] o problema é abordado inteiramente em coordenadas esféricas, o que conduz a uma formulação ligeiramente diferente na obtenção dos autolavores do operador densidade. Em [14], a mesma ideia de [10] e [11] é abordada mas em dimensão d = 4. Em ambas as referências o ponto principal foi tomar interseção da esfera de Bloch com hiperplanos especiais do espaço, isso permitiu aos autores utilizar métodos computacionais e ilustrar regiões de interesse na tentativa de compreender melhor a geometria do problema. Já o segundo problema trata de descobrir propriedades de sistemas dinâmicos quânticos, como convergência e velocidade de convergência de produto de matrizes unitárias sorteadas aleatoriamente para emaranhadores universais. Conseguimos um resultado interessante que garante a convergência com velocidade exponencial, mesmo sob condições relativamente gerais. Tal resultado é importante devido ao interesse da comunidade acadêmica em entender melhor emaranhadores universais e usá-los em aplicações da computação quântica. Mais especificamente, nosso resultado garante que dado um número finito de elementos u1, ... un ∈... U (n) escolhidos ao acaso, então o produto de elementos aleatoriamente sorteados na vizinhança dos elementos u1, ..., un converge fraco-estrela para um emaranhador universal na medida de Haar em U(n). Tal resultado pode auxiliar no entendimento de propriedades de emaranhadores universais e em aplicações da computação quântica, tópicos que vêm sendo bastante estudados pela comunidade acadêmica. Finalmente, o terceiro problema, pertencente à área de Teoria de Números. É uma conjectura que encontra-se sem solução desde 1932, quando foi formulada por Derrick Henry Lehmer. Uma nova abordagem na tentativa de resolver este problema é apresentada.
A Computação Quântica é um tópico relativamente recente e pouco conhecido, principalmente no meio da Computação.Seu estudo surgiu na tentativa de físicos simularem sistemas regidos pela Mecânica Quântica por computadores clássicos, o que se conjecturou inviável.Portanto, um novo modelo computacional que utiliza a estrutura quântica da matéria para computar foi teorizado para suprir estas deficiências.Este trabalho tem como objetivo principal estudar as influências da Computação Quântica na Teoria da Computação.Para atingir tal objetivo, primeiramente são expostos os conhecimentos básicos da Mecânica Quântica através de uma linguagem voltada para Teóricos de Computação sem conhecimento prévio na área, de forma a remover a barreira inicial sobre o tema.Em seguida, serão apresentadas inovações na área da Teoria de Computação oriundas da Computação Quântica.Começaremos com os principais Algoritmos Quânticos desenvolvidos até hoje, que foram os primeiros passos para demonstrar a possível superioridade computacional do novo modelo.Dentre estes algoritmos, apresentaremos o famoso Algoritmo de Shor, que fatora números em tempo polinomial.Adicionalmente, neste trabalho foram estudados tópicos mais avançados e atuais em Computabilidade e Complexidade Quânticas.Sobre Autômatos Quânticos, foram estudados aspectos de um modelo que mistura estados clássicos e quânticos, focando na comparação do poder computacional em relação aos Autômatos Finitos Clássicos.Do ponto de vista de Classes de Complexidade, será abordada a questão se em linguagens da classe QMA, o análogo quântico da classe NP, consegue-se atingir probabilidade de erro nulo na aceitação de instâncias positivas.
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.
Esta dissertacao tenta contribuir ao entendimento das possiveis interconexoes entre a Teoria de Informacao Quântica e Materia Condensada, um novo campo de pesquisa em amplo desenvolvimento. Mais especificamente, investigamos o papel do emaranhamento, ou correlacoes quânticas, em transicoes de fase quânticas continuas. Enquanto o papel do primeiro na Teoria de Informacao dispensa apresentacao, as ultimas sao de grande interesse por exibir um comportamento universal, o qual se origina na divergencia de um comprimento de correlacao. E esta origem mutua em correlacoes de ambos os fenomenos que cria uma expectativa de uma possivel relacao entre estes. Nosso trabalho, embasado no estudo do modelo XY unidimensional em um campo transverso, aponta evidencias de um favorecimento do emaranhamento multipartite em detrimento do bipartite na transicao, e assim da importância do primeiro no estabelecimento de correlacoes de longo alcance. Nessa tarefa, acabamos por definir uma classe de medidas de emaranhamento multipartite, generalizando o Emaranhamento Global introduzido por Meyer e Wallach em2002. Mostramos que algumas destas classes proveem informacoes adicionais a do Emaranhamento Global, alem de serem escritas de forma simples em termos de funcoes de correlacao. Tal simplicidade permite o estabelecimento de uma relacao formal entre uma dessas classes e transicoes de fase sinalizadas por divergencias na energia. Ao final estudamos o papel da quebra de simetria no emaranhamento bipartite e multipartite, evidenciando, uma vez mais, a maior importância do ultimo em relacao ao primeiro.
Em uma segunda parte, examinamos o uso de estados de produtos de matrizes na aproximacao de estados fundamentais de sistemas criticos. Estes estados podem ser vistos como o ansatz utilizado no Grupo de Renormalizacao de Matriz Densidade (DMRG), quando este e encarado como um metodo variacional. Analisando o poder de aproximacao de tais estados, agora no modelo de Ising, descobrimos que a dimensao do ansatz (ou numero de graus de liberdade renormalizados) e uma variavel relevante do grupo de renormalizacao de maneira analoga ao tamanho finito do sistema. Isto possibilita uma analise de escala em relacao a essa dimensao dos estados de produto de matrizes, com uma possivel obtencao de propriedades criticas a baixo custo computacional
Abstract
No que se segue, o leitor encontrará uma dissertação de doutorado no uso de métodos e abordagens computacionais para o estudo de contextualidade e outros fenômenos não clássicos. O capítulo 1 introduz o tópico de foco maior, isto é, contextualidade, com a linguagem matemática necessária para seu entendimento, enquanto o capítulo 2 dá a estrutura necessária para qualquer investigação sistemática a ser feita ao longo deste manuscrito, incluindo apresentação de problemas de otimização e usos típicos em problemas relacionados e a construção de quantificadores de contextualidade, além de uma pequena contribuição do autor nesse sentido. Esses dois capítulos resumem o conteúdo que o autor precisou aprender para se inserir na área. Os capítulos seguintes compõem outros dois resultados encontrados em colaboração com colegas durante o programa. O primeiro deles está relacionado com a construção de quantificadores de não-localidade para estados quânticos a partir de quantificadores similares para comportamentos em cenários de medição; nós apresentamos uma nova medida daquele recurso, iluminando debates conhecidos na literatura. Já no segundo deles, investigamos conjuntos de correlações típicos em redes causais de interesse, a fim de entender melhor a estrutura desses conjuntos dentro do universo de correlações possíveis para tais redes; em particular mostramos vantagens em utilizar programação quadrática ao invés de outra estratégia mais comum na literatura e também o impacto de intervenções para a detecção de não classicalidade. Conhecimento muito avançado em matemática não é presumido para os primeiros dois capítulos. Entretanto, um certo conhecimento em física quântica é desejável para apreciar melhor todo o trabalho.
Inicialmente, os conceitos fundamentais e a problemática básica subjacentes ao Controle de Sistemas Quânticos são apresentados, destacando-se, por exemplo, as questões físicas e dinâmicas envolvidas, os principais tipos e metodologias de controle no contexto quântico, bem como aplicações existentes e potenciais de Controle Quântico, muitas das quais situando-se na vanguarda da Ciência e da Tecnologia. Segue-se uma exposição do arcabouço teórico básico e do formalismo padrão da Mecânica Quântica, tendo em vista prover os elementos necessários à compreensão de sistemas quânticos, sua dinâmica e seu controle. O conceito de Controlabilidade é, então, apresentado no contexto de Sistemas Quânticos. Em seqüência, os fundamentos do Controle Quântico Ótimo são desenvolvidos como uma extensão da Teoria Clássica de Controle Ótimo, apresentando-se exemplos de aplicações. Ao problema da transferência de estados quânticos para um estado-alvo em tempo mínimo é devotada especial atenção, dada sua grande relevância em aplicações tecnológicas de ponta, como em Computação Quântica e Processamento de Informação Quântica. A partir de limitações físicas que são inerentes a qualquer sistema quântico, no tocante ao tempo mínimo necessário para que ocorra uma transição de estados, propõem-se Fatores de Mérito para quantificar a eficiência dos controles quânticos ótimos que minimizam o tempo de transferência de estados. Exemplos de aplicação, estudos teóricos e estudos de casos são levados a cabo para a definição dos Fatores de Mérito associados. Este trabalho termina com estudos relativos a uma possível formulação da Teoria de Controle Quântico Ótimo em termos de Integrais de Trajetória para o tratamento de sistemas quânticos contínuos, em especial, o controle espaço-temporal de partículas quânticas. Um possível emprego do Efeito Aharonov-Bohm é também discutido como estratégia de Controle Quântico.
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.