A Teoria da Informação Quântica é uma ciência que utiliza os paradigmas da Mecânica Quântica para realizar estudos sobre os limites máximos possíveis para o processamento e transmissão da informação por meio de um canal quântico. Uma das subáreas de pesquisa é a capacidade dos canais quânticos, que é entendida como o supremo das taxas para as quais a probabilidade de erro tende assintoticamente a zero à medida que o comprimento do código tende ao infinito, quando a infor mação é transmitida por meio de canais quânticos. Em determinados contextos, há interesse no estudo da capacidade dos canais quânticos de enviar informações com probabilidade de erro exatamente igual a zero. Neste caso, o canal é dito ter capacidade erro-zero positiva ou não trivial. Para que um canal quântico transmita informações com probabilidade de erro exatamente igual a zero, é necessário que o canal satisfaça determinadas condições. Dessa forma, com a proposta da definição de capacidade de erro-zero de um canal quântico na primeira década deste século, foi demonstrada uma condição necessária para a capacidade de erro-zero de um ca nal quântico, baseada na ortogonalidade de estados quânticos na saída do canal. Mais recentemente, no ano de dois mil e dezenove, foi provada outra condição para a capacidade erro-zero de canais quânticos, baseada na ortogonalidade de estados quânticos com o subespaço gerado por todas as arrumações de produtos aos pares de operadores de Kraus que representam o canal quântico. Na linha de proposição de condições de capacidade erro-zero de canais quânticos, este trabalho de tese tem como eixo central o estudo de condições matemáticas para que os canais quânticos tenham capacidade erro-zero. Nesse sentido, é apresentada uma condição de capaci dade baseada nos estados próprios comuns aos operadores de Kraus que representam o canal quântico. Também é provado que canais quânticos com subespaços invari antes comuns também são capazes de enviar informações com probabilidade de erro exatamente igual a zero. Ainda dando ênfase ao conceito de capacidade erro-zero dos canais quânticos, é apresentada uma classe de canais quânticos com capacidade de erro-zero positiva, denominados canais quânticos não ergódicos. Além disso, tam bém são apresentadas algumas conexões entre o conceito de capacidade de erro-zero de um canal quântico e o Teorema de Shemesh.
A Teoria da Informação Quântica é uma ciência que utiliza os paradigmas da Mecânica Quântica para realizar estudos sobre os limites máximos possíveis para o processamento e transmissão da informação por meio de um canal quântico. Uma das subáreas de pesquisa é a capacidade dos canais quânticos, que é entendida como o supremo das taxas para as quais a probabilidade de erro tende assintoticamente a zero à medida que o comprimento do código tende ao infinito, quando a infor mação é transmitida por meio de canais quânticos. Em determinados contextos, há interesse no estudo da capacidade dos canais quânticos de enviar informações com probabilidade de erro exatamente igual a zero. Neste caso, o canal é dito ter capacidade erro-zero positiva ou não trivial. Para que um canal quântico transmita informações com probabilidade de erro exatamente igual a zero, é necessário que o canal satisfaça determinadas condições. Dessa forma, com a proposta da definição de capacidade de erro-zero de um canal quântico na primeira década deste século, foi demonstrada uma condição necessária para a capacidade de erro-zero de um ca nal quântico, baseada na ortogonalidade de estados quânticos na saída do canal. Mais recentemente, no ano de dois mil e dezenove, foi provada outra condição para a capacidade erro-zero de canais quânticos, baseada na ortogonalidade de estados quânticos com o subespaço gerado por todas as arrumações de produtos aos pares de operadores de Kraus que representam o canal quântico. Na linha de proposição de condições de capacidade erro-zero de canais quânticos, este trabalho de tese tem como eixo central o estudo de condições matemáticas para que os canais quânticos tenham capacidade erro-zero. Nesse sentido, é apresentada uma condição de capaci dade baseada nos estados próprios comuns aos operadores de Kraus que representam o canal quântico. Também é provado que canais quânticos com subespaços invari antes comuns também são capazes de enviar informações com probabilidade de erro exatamente igual a zero. Ainda dando ênfase ao conceito de capacidade erro-zero dos canais quânticos, é apresentada uma classe de canais quânticos com capacidade de erro-zero positiva, denominados canais quânticos não ergódicos. Além disso, tam bém são apresentadas algumas conexões entre o conceito de capacidade de erro-zero de um canal quântico e o Teorema de Shemesh.
A Teoria da Informação Quântica é uma área de pesquisa a qual considera o estudo dos limites máximos possíveis para o processamento e transmissão da informação, considerando que esta última encontra-se representada de acordo com as leis da Mecânica Quântica. Uma das maneiras de contribuir com esta área de pesquisa é no desenvolvimento de contrapartidas quânticas para os conceitos da Teoria da Informação Clássica. Graças a esta abordagem é que foi proposta a Teoria da Informação Quântica Erro-Zero, a qual considera o uso e as condições para que canais quânticos ruidosos possam transmitir informação clássica sem erros de decodificação. Apesar da proposição desta teoria e dos progressos recentes, foi identificado que o conhecimento das potencialidades, limitações e aplicações desta teoria ainda é incipiente. Na tentativa de minimizar este problema, esta tese apresenta dois novos conceitos ligados à Teoria da Informação Quântica Erro-Zero: (i) a capacidade quântica de sigilo erro-zero; e a (ii) informação acessível erro-zero de fontes quânticas. Em relação à primeira contribuição, tem-se o estabelecimento das condições necessárias para enviar informação por canais quânticos ruidosos sem que haja erros de decodificação e com sigilo absoluto, identificando uma nova capacidade de canais quânticos, estabelecendo a relação desta capacidade com a Teoria dos Grafos e identificando as situações em que esta possui caracterização de letra isolada. A segunda contribuição trata da proposição de uma medida de informação sobre fontes quânticas, a qual mensura o potencial de decodificar, sem erros, estados quânticos emitidos por estas fontes. Obter esta medida é um problema análogo ao de calcular a capacidade erro-zero de canais clássicos equivalentes e não há medida equivalente na Teoria da Informação Erro-Zero Clássica. Os conceitos propostos colaboram para o desenvolvimento da Teoria da Informação Quântica Erro-Zero em termos teóricos e práticos, uma vez que é possível considerar implementações de ambas contribuições com tecnologia existente atualmente. Além disto, intersecções da Teoria da Informação Quântica Erro-Zero junto à Criptografia, Teoria dos Grafos e Ciência da Computação são identificadas. O estabelecimento de tais contribuições colabora diretamente para a resolução de um dos desafios da Teoria da Informação Quântica, o qual trata da determinação de limites para a classe de tarefas de processamento de informação que são possíveis considerando a utilização da Mecânica Quântica.
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.
Efeitos notáveis são obtidos na transmissão e no processamento de informação quando se utilizam canais quânticos. Exemplos desses efeitos são algoritmos quânticos ultrarrápidos, teletransporte quântico criptografia quântica, codificação superdensa e correção quântica de erros. Embora a teoria da informação quântica comumente lide apenas com sistemas não-relativísticos, um tratamento relativístico é de grande interesse não apenas para a completeza lógica da teoria, como também para o desenvolvimento de novas limitações e efeitos físicos que surgem quando há movimento relativo entre as partes que trocam informação. Além disso, um entendimento mais profundo da extensão relativística da teoria da informação quântica pode ajudar a esclarecer problemas conceituais importantes, como o paradoxo da perda de informação em buracos negros. Do ponto de vista prático, foi proposto, recentemente, um experimento para o qual essa formulação estendida pode ser significativa. Ele consiste na transmissão de fótons emaranhados pelo espaço livre, entre estações terrestres e satélites em órbita, com o bjetivo de testar a mecânica quântica para grandes distâncias e, sobretudo, dar or primeiros passos rumo à implementação de protocolos de informação quântica em escala global. Nesta tese , apresentamos alguns dos resultados seminais da incipiente teoria relativística da informação quântica e acrescentamos duas contribuições originais: estudamos como a relatividade afeta as correlações entre as polarizações de um par de fótons emaranhados, analisando, para isso, as desigualdades de Bell quando um detector move-se em relação ao outro (como será o caso nos experimentos envolvendo satélites em órbita), e analisamos o limite de Holevo para investigar sistemas de comunicação quando há movimento relativo entre o emissor e o receptor de uma mensagem clássica enviada por um canal quântico
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.
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.
Não-localidade é um dos aspectos mais intrigantes da teoria quântica, que revela que a natureza é intrinsecamente diferente da nossa visão clássica do mundo. Um dos principais objetivos no estudo de não-localidade é determinar a máxima violação obtida por correlações quânticas em um cenário de Bell. Entretanto, dada uma desigualdade de Bell, nenhum algoritmo geral é conhecido para calcular esse máximo. Como um passo intermediário, o desenvolvimento de cotas eficientemente computáveis para o valor quântico de desigualdadesde Bell tem tido um papel importante para o desenvolvimento da área. Nessa tese, apresentamos nossas contribuições explorando cotas eficientemente computáveis, baseada na norma de certas matrizes, para o valor quântico de uma classe particular de desigualdades de Bell: os jogos lineares. Na primeira parte introduzimos os pré-requisitos necessários para os resultados principais: Conceitos e resultados das teorias de otimização e complexidade de computação, com foco em problemas de não-localidade; O formalismo de jogos não-locais como um caso particular de desigualdades de Bell; E a abordagem de grafos para não-localidade. Na segunda parte apresentamos nossos resultados principais sobre a caracterização de condições necessárias e suficientes para um jogo XOR não ter vantagem quântica, e provamos uma cota eficientemente computável para o valor quântico de jogos lineares. Os principais resultados apresentados aqui são: (i) Determinação da capacidade de Shannon para uma nova família de grafos; (ii) Generalização, para funções com d possíveis valores, do princípio de não-vantagem em computação não-local; (iii) Um método sistemático de gerar testemunha de emaranhamento genuíno independente de dispositivo para sistemas tripartidos.