Resumo-Neste artigo, é analisado o problema da correc ¸ão de erros para sistemas quânticos.Após uma introduc ¸ão ao formalismo quântico para a correc ¸ão de erros, são comparadas duas estratégias: a decodificac ¸ão usual por tabela de síndrome e a decodificac ¸ão usando a trelic ¸a quântica de Ollivier e Tillich.A principal contribuic ¸ão desse artigo é servir como um tutorial que trata especificamente do problema da decodificac ¸ão para CCEQs.Uma segunda contribuic ¸ão consiste na modificac ¸ão da construc ¸ão usual da trelic ¸a quântica a fim de simplificar a sua construc ¸ão quando ela é usada especificamente para a detecc ¸ão de erros.Palavras-Chave-Códigos quânticos, síndrome, trelic ¸as quânticas.
Resumo-Neste artigo, é analisado o problema da correc ¸ão de erros para sistemas quânticos.Após uma introduc ¸ão ao formalismo quântico para a correc ¸ão de erros, são comparadas duas estratégias: a decodificac ¸ão usual por tabela de síndrome e a decodificac ¸ão usando a trelic ¸a quântica de Ollivier e Tillich.A principal contribuic ¸ão desse artigo é servir como um tutorial que trata especificamente do problema da decodificac ¸ão para CCEQs.Uma segunda contribuic ¸ão consiste na modificac ¸ão da construc ¸ão usual da trelic ¸a quântica a fim de simplificar a sua construc ¸ão quando ela é usada especificamente para a detecc ¸ão de erros.Palavras-Chave-Códigos quânticos, síndrome, trelic ¸as quânticas.
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.
Resumo-Em [Phys.Rev. A65, 012308(2001)] Schlingmann e Werner propõem uma técnica para construc ¸ão de códigos estabilizadores com uso de grafos denominando-os códigos grafos quânticos.Neste trabalho apresenta-se uma operac ¸ão de decodificac ¸ão para esses códigos.Até onde foi possível verificar, trata-se da primeira operac ¸ão proposta com esta finalidade.Palavras-Chave-Código corretor de erro quântico, Códigos grafos quânticos, Decodificac ¸ão quântica, Transformada de Fourier quântica inversa.
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.
Erros computacionais e apagamentos quânticos são tipos de alterações que podem ocorrer naturalmente devido a interação entre os sistemas quânticos e o ambiente. O objetivo desta tese é propor um código capaz de realizar a proteção da informação contra a ocorrência desses tipos de alterações. Para tanto, primeiramente resolveu-se o problema de encontrar uma construção explícita que realize, de maneira eficiente, o cálculo da síndrome de erro para os códigos grafos quânticos (CGQ’s). Isso foi conseguido mediante adaptação da transformada de Fourier quântica inversa. Com isso, apresentou-se uma descrição detalhada da operação de decodificação para os CGQ’s não-degenerados. Em seguida, realizou-se o aprimoramento do código introduzido por Yang et al. [JETP Letters 79 (2004)] para caracterizar um esquema capaz de proteger a informação contra a ocorrência de múltiplos apagamentos quânticos utilizando-se estados Greenberger-Horne-Zeilinger (GHZ), que são estados maximamente emaranhados. A técnica desenvolvida neste esquema permite proteger k-qubit (do inglês, quantum bit) de informação, sendok ≥ 3, contra a ocorrência det =k/2 apagamentos quânticos. O esquema proposto faz uso de(t+1) blocos redundantes e possui a restrição de que cada apagamento deve ocorrer em blocos distintos. Visando cumprir o objetivo desta tese, propôs-se um esquema de concatenação em que o código externo é um código corretor de erros computacionais e o código interno é um código corretor de apagamentos quânticos que não realiza medição. Se esta construção for respeitada, o código concatenado resultante protege a informação contra a ocorrência de erros computacionais e de apagamentos quânticos. Por fim, os resultados obtidos são ilustrados por meio de um exemplo em que um qubit de informação é protegido contra a ocorrência de dois apagamentos e um erro computacional.
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.
Este trabalho tem como objetivo apresentar a idéia geral da teoria matemática envolvida no processo de codificação de dados utilizando estados quânticos.Para isso, apresentaremos conceitos e propriedades da Teoria Quântica, que caracterizam o novo ambiente para a construção de códigos.Definiremos o grupo de operadores de erros que podem atuar no processo de transmissão através de um canal quântico e, baseados neste grupo, estudaremos a estrutura dos códigos corretores de erros, visando encontrar condições para a eficiência destes.Entre os códigos corretores de erros quânticos e suas propriedades, destacaremos a classe de códigos estabilizadores, cuja estrutura tem correspondência com a formalização dos códigos clássicos gerados sobre GF(4). Palavras-Chave: