Estudo de portas lógicas quânticas de dois qubits definidas em um subespaço livre de decoerência para um sistema de quatro qubits acoplado ao resto do universo por um agente degenerado
Nesta dissertação estudamos, no âmbito teórico, algumas propostas recentes de processamento de informação quântica passiva, isto é, descartando protocolos de correção de erros. Recorrendo à criação de subespaços livres de decoerência através de um sistema físico de quatro spins acoplados ao resto do universo por um agente degenerado, mostramos ser possível construir um conjunto universal de portas lógicas (C-NOT, T e Hadamard) neste mesmo subespaço, alcançando, por conseguinte, a realização de qualquer operação computacional, insensivelmente ao resto do universo. Partimos de um hamiltoniano geral com interações individuais de cada spin com campos externos, além de acoplamentos controlados entre pares de spins. Experimentalmente, hamiltonianos deste tipo são comuns no contexto de junções Josephson, motivo pelo qual tratamos esta implementação em um capítulo especial. Introduzindo perturbativamente ao hamiltoniano operadores espúrios ao subespaço livre de decoerência, incluímos sensibilidade do sistema frente ao ambiente, criando a possibilidade da incursão de erros através de mecanismos de dissipação. Tais mecanismos foram investigados em termos da intensidade do parâmetro de acoplamento entre o sistema e o ambiente, revelando uma clara evidência teórica do Efeito Zenão Quântico, através da excelente concordância entre resultados de operações realizadas em subespaços livres de decoerência e operações realizadas em sistemas fortemente acoplados ao resto do universo. Neste sentido, selecionamos a fidelidade como medida de distância entre um estado em evolução a partir de um certo estado inicial do subespaço livre de decoerência (e submetido a dissipação), e um estado em evolução regida pela mesma operação quântica e a partir das mesmas condições iniciais no caso ideal, livre de decoerência. Essa abordagem explícita permitiu-nos obter a razão necessária entre os parâmetros associados a perturbação (que remove o estado do subespaço original) e acoplamento (entendido como a freqüência entre as medidas promovidas pelo resto do universo), para alcançar a eficiência desejada na realização de uma certa porta lógica. Tecnicamente, o trabalho envolveu vários resultados matemáticos novos e operacionalmente úteis, levando a simplificações importantes durante os cálculos envolvidos.
Nesta dissertação estudamos, no âmbito teórico, algumas propostas recentes de processamento de informação quântica passiva, isto é, descartando protocolos de correção de erros. Recorrendo à criação de subespaços livres de decoerência através de um sistema físico de quatro spins acoplados ao resto do universo por um agente degenerado, mostramos ser possível construir um conjunto universal de portas lógicas (C-NOT, T e Hadamard) neste mesmo subespaço, alcançando, por conseguinte, a realização de qualquer operação computacional, insensivelmente ao resto do universo. Partimos de um hamiltoniano geral com interações individuais de cada spin com campos externos, além de acoplamentos controlados entre pares de spins. Experimentalmente, hamiltonianos deste tipo são comuns no contexto de junções Josephson, motivo pelo qual tratamos esta implementação em um capítulo especial. Introduzindo perturbativamente ao hamiltoniano operadores espúrios ao subespaço livre de decoerência, incluímos sensibilidade do sistema frente ao ambiente, criando a possibilidade da incursão de erros através de mecanismos de dissipação. Tais mecanismos foram investigados em termos da intensidade do parâmetro de acoplamento entre o sistema e o ambiente, revelando uma clara evidência teórica do Efeito Zenão Quântico, através da excelente concordância entre resultados de operações realizadas em subespaços livres de decoerência e operações realizadas em sistemas fortemente acoplados ao resto do universo. Neste sentido, selecionamos a fidelidade como medida de distância entre um estado em evolução a partir de um certo estado inicial do subespaço livre de decoerência (e submetido a dissipação), e um estado em evolução regida pela mesma operação quântica e a partir das mesmas condições iniciais no caso ideal, livre de decoerência. Essa abordagem explícita permitiu-nos obter a razão necessária entre os parâmetros associados a perturbação (que remove o estado do subespaço original) e acoplamento (entendido como a freqüência entre as medidas promovidas pelo resto do universo), para alcançar a eficiência desejada na realização de uma certa porta lógica. Tecnicamente, o trabalho envolveu vários resultados matemáticos novos e operacionalmente úteis, levando a simplificações importantes durante os cálculos envolvidos.
Nesta dissertação estudamos, no âmbito teórico, algumas propostas recentes de processamento de informação quântica passiva, isto é, descartando protocolos de correção de erros. Recorrendo à criação de subespaços livres de decoerência através de um sistema físico de quatro spins acoplados ao resto do universo por um agente degenerado, mostramos ser possível construir um conjunto universal de portas lógicas (C-NOT, T e Hadamard) neste mesmo subespaço, alcançando, por conseguinte, a realização de qualquer operação computacional, insensivelmente ao resto do universo. Partimos de um hamiltoniano geral com interações individuais de cada spin com campos externos, além de acoplamentos controlados entre pares de spins. Experimentalmente, hamiltonianos deste tipo são comuns no contexto de junções Josephson, motivo pelo qual tratamos esta implementação em um capítulo especial. Introduzindo perturbativamente ao hamiltoniano operadores espúrios ao subespaço livre de decoerência, incluímos sensibilidade do sistema frente ao ambiente, criando a possibilidade da incursão de erros através de mecanismos de dissipação. Tais mecanismos foram investigados em termos da intensidade do parâmetro de acoplamento entre o sistema e o ambiente, revelando uma clara evidência teórica do Efeito Zenão Quântico, através da excelente concordância entre resultados de operações realizadas em subespaços livres de decoerência e operações realizadas em sistemas fortemente acoplados ao resto do universo. Neste sentido, selecionamos a fidelidade como medida de distância entre um estado em evolução a partir de um certo estado inicial do subespaço livre de decoerência (e submetido a dissipação), e um estado em evolução regida pela mesma operação quântica e a partir das mesmas condições iniciais no caso ideal, livre de decoerência. Essa abordagem explícita permitiu-nos obter a razão necessária entre os parâmetros associados a perturbação (que remove o estado do subespaço original) e acoplamento (entendido como a freqüência entre as medidas promovidas pelo resto do universo), para alcançar a eficiência desejada na realização de uma certa porta lógica. Tecnicamente, o trabalho envolveu vários resultados matemáticos novos e operacionalmente úteis, levando a simplificações importantes durante os cálculos envolvidos.
Na presente tese estudamos o processamento de informacao quântica no sistema de atomos e cavidades acopladas. Em particular, a comunicacao quântica estabelecida entre atomos remotos e a implementacao de portas logicas no sistema de cavidades acopladas. Iniciamos apresentando o sistema de cavidades acopladas, o Hamiltoniano que governa sua evolucao, algumas promissoras implementacoes experimentais e a transferencia de um estado de campo arbitrario de um foton ao longo da cadeia. Incluindo um sistema massivo, propomos um novo protocolo para uma transferencia perfeita, deterministica e flexivel de estados quânticos entre atomos remotos interagindo sucessivamente com o sistema de cavidades acopladas (atuando como quantum bus). Mesmo levando em conta efeitos dissipativos e erros de procedimento obtivemos uma alta fidelidade maxima de transmissao. Por fim, apresentamos uma proposta alternativa para a implementacao de um porta R(rotacao)- controlada de dois qubits. A proposta esta baseada em operacoes de um qubit e fase geometrica nao-convencional em atomos de tres niveis identicos fortemente bombeados por um campo classico ressonante em cavidades opticas distantes conectadas por uma fibra optica. Nossa proposta resulta em um tempo operacional constante e, com um acoplamento qubit-bus ajustavel (atomoressonador), pode-se especificar uma rotacao R particular no qubit alvo
Abstract
Nessa dissertação, abordamos o problema de dois qubits interagindo com campos externos e entre si controladamente, de acordo com um Hamiltoniano considerado realista para implementação da porta lógica quântica XOR. Introduzimos acoplamentos entre as observáveis do sistema de dois qubits e um banho de osciladores harmônicos a fim de tratarmos o problema da dissipação e da decoerência. Primeiramente nós consideramos o limite no qual a decoerência é mais rápida que qualquer processo gerado pelo Hamiltoniano do sistema. Prosseguimos então, através do método numérico conhecido como Integrador Unitário, com o estudo da matriz densidade do sistema durante a operação da porta lógica quântica sem incluir, inicialmente, o acoplamento com o banho de osciladores harmônicos. Finalmente, implementamos o método numérico conhecido como Propagador quase adiabático para estudar a decoerência e a dissipação durante a operação da porta lógica quântica XOR, a fim de analisarmos os aspectos perturbativos do sistema quântico de dois qubits.
O processamento de informação quântica requer medidas, muitas vezes precedidas devoluções unitárias. Uma descrição realista de um computador quântico também deve levar em conta que o sistema interage com um ambiente externo - distinto do observador - que o remove de sua evolução ideal, gerando erros. Neste trabalho, fazemos um estudo da dinâmica de sistemas quânticos observados múltiplas vezes ou continuamente, enquanto interagem com ambientes externos. Para tanto, empregamos uma equação mestra híbrida, que permite modelar uma interação contínua e markoviana do sistema com o medidor, enquanto o ruído do ambiente apresenta características não markovianas. O estudo da dinâmica de uma medida contínua ruidosa revela que o sistema melhor preserva suas populações iniciais quando é realizada a medida de uma observável que não comuta com os operadores do ruído produzido pelo ambiente. Estes resultados, já conhecidos para o caso simples de um qubit de memória interagindo com o vácuo, são generalizados para uma temperatura inicial superior a zero e para um qubit submetido a uma porta quântica. A universalidade destes fenômenos de preservação da população inicial permite fazer analogia com o efeito Zenão quântico. Mantendo o mesmo formalismo, mas adaptando a interação com o ambiente para descrever um decaimento verificamos que o efeito Zenão quântico é observado para acoplamentos fracos com o ambiente. Tratamos também de como tal conhecimento sobre a preservação das populações pela medida auxilia na elaboração de melhores formas de preservar a informação em códigos quânticos. Com o auxílio da teoria das medidas fracas, propomos um possível método experimental simples para o teste da validade dos modelos de descrição de medidas contínuas. Com este estudo da dinâmica de uma medida quântica, esperamos elucidar questões de ordem prática no processamento de informação quântica, assim como ajudar no melhor entendimento de questões fundamentais, como o postulado da medida.
O processamento de informação quântica requer medidas, muitas vezes precedidas devoluções unitárias. Uma descrição realista de um computador quântico também deve levar em conta que o sistema interage com um ambiente externo - distinto do observador - que o remove de sua evolução ideal, gerando erros. Neste trabalho, fazemos um estudo da dinâmica de sistemas quânticos observados múltiplas vezes ou continuamente, enquanto interagem com ambientes externos. Para tanto, empregamos uma equação mestra híbrida, que permite modelar uma interação contínua e markoviana do sistema com o medidor, enquanto o ruído do ambiente apresenta características não markovianas. O estudo da dinâmica de uma medida contínua ruidosa revela que o sistema melhor preserva suas populações iniciais quando é realizada a medida de uma observável que não comuta com os operadores do ruído produzido pelo ambiente. Estes resultados, já conhecidos para o caso simples de um qubit de memória interagindo com o vácuo, são generalizados para uma temperatura inicial superior a zero e para um qubit submetido a uma porta quântica. A universalidade destes fenômenos de preservação da população inicial permite fazer analogia com o efeito Zenão quântico. Mantendo o mesmo formalismo, mas adaptando a interação com o ambiente para descrever um decaimento verificamos que o efeito Zenão quântico é observado para acoplamentos fracos com o ambiente. Tratamos também de como tal conhecimento sobre a preservação das populações pela medida auxilia na elaboração de melhores formas de preservar a informação em códigos quânticos. Com o auxílio da teoria das medidas fracas, propomos um possível método experimental simples para o teste da validade dos modelos de descrição de medidas contínuas. Com este estudo da dinâmica de uma medida quântica, esperamos elucidar questões de ordem prática no processamento de informação quântica, assim como ajudar no melhor entendimento de questões fundamentais, como o postulado da medida.
Neste trabalho, estudamos a teoria quântica de correção de erros, um dos principais métodos de prevenção de perda de informação num computador quântico. Este método, porém, normalmente é estudado considerando-se condições ideais em que a atuação das portas lógicas que constituem o algoritmo quântico não interfere com o tipo de erro que o sistema sofre. Além disso, as medidas de síndrome empregadas no método tradicional são consideradas instantâneas. Nossos objetivos neste trabalho serão avaliar como a alteração dessas duas suposições modificaria o processo de correção de erros. Com relação ao primeiro objetivo, verificamos que, para erros causados por ambientes externos, a atuação de uma porta lógica simultânea ao ruído pode gerar erros que, a princípio, podem não ser corrigíveis pelo código empregado. Propomos em seguida um método de correção a pequenos passos que pode ser usado para tornar desprezíveis os erros incorrigíveis, além de poder ser usado para reduzir a probabilidade de erros corrigíveis. Para o segundo objetivo, estudamos primeiro como medidas de tempo finito afetam a descoerência de apenas um qubit, concluindo que esse tipo de medida pode na verdade proteger o estado que está sendo medido. Motivados por isso, mostramos que, em certos casos, medidas de síndrome finitas realizadas conjuntamente ao ruído são capazes de proteger o estado dos qubits contra os erros mais eficientemente do que se as medidas fossem realizadas instantaneamente ao fim do processo.