Artigos de física: III. Informação quântica

Esta página traz resumos em linguagem simples de artigos de física. Não fazemos ligação com Dost nem com outro texto; ler lado a lado é tarefa do próprio leitor.

Experimento: medido. Teoria: calculada ou demonstrada. Interpretação: seu significado é disputado. Os rótulos são nossa própria classificação; um artigo pode ter mais de uma natureza.

11. Não clonagem

Pergunta principal: Por que os estados quânticos não podem ser copiados?

Na mecânica quântica, o estado de um sistema (por exemplo, a polarização de um fóton) é descrito por um vetor de estado. A informação clássica pode ser copiada sem limite; duplicar um arquivo não danifica o original. A pergunta é esta: é possível construir um dispositivo que faça uma cópia exata, sem danificar o original, de um sistema quântico cujo estado não conhecemos? Os artigos de Wootters e Zurek e de Dieks, publicados no mesmo ano, mostram, a partir das próprias regras da teoria, que não pode haver tal dispositivo. Esse resultado é pré-condição para temas como a criptografia quântica e a correção de erros.

Nesta página11. Não clonagem · Wootters 1982 — A single quantum cannot · Dieks 1982 — Communication by EPR device …
  1. 11. Não clonagem
  2. Wootters 1982 — A single quantum cannot be cloned
  3. Dieks 1982 — Communication by EPR devices
  4. 12. Teletransporte quântico
  5. Bennett 1993 — Teleporting an unknown quantum state via dual classical and Einstein-Podols
  6. Bouwmeester 1997 — Experimental quantum teleportation
  7. 13. Criptografia quântica (BB84)
  8. Bennett 1984 — Quantum cryptography: Public key distribution and coin tossing
  9. 14. Entropia de Emaranhamento e a Medição do Emaranhamento
  10. Bennett 1996 — Concentrating partial entanglement by local operations
  11. Bennett 1996 — Mixed-state entanglement and quantum error correction
  12. 15. Correção Quântica de Erros
  13. Shor 1995 — Scheme for reducing decoherence in quantum computer memory
  14. Steane 1996 — Multiple-particle interference and quantum error correction

Wootters 1982 — A single quantum cannot be cloned

Nature 299, 802 teoria

Um artigo curto, de duas páginas, que mostra que um dispositivo que copiasse um estado quântico desconhecido contradiria a linearidade da mecânica quântica.

A pergunta do artigo é esta: se temos um único sistema quântico cujo estado não conhecemos, podemos, sem medi-lo e danificá-lo, preparar um segundo sistema no mesmo estado? No mundo clássico, isso é uma operação comum; colocamos uma folha de papel na fotocopiadora. Os autores mostram que, para estados quânticos, isso em geral não é possível.

A ideia básica é a linearidade da teoria. Na mecânica quântica, a mudança de um sistema ao longo do tempo obedece a uma regra tal que, aplicada a uma soma de estados (sua superposição), equivale a aplicá-la a cada componente separadamente e somar os resultados. Pensemos num dispositivo de cópia: se lhe damos o estado "0", ele produz dois "0"; se lhe damos o estado "1", produz dois "1". Pela linearidade, quando se dá "a superposição de 0 e 1", a saída do dispositivo é "a superposição de 00 e 11". No entanto, uma cópia verdadeira são duas cópias da própria superposição; esses dois são estados diferentes. Ou seja, o mesmo dispositivo não consegue copiar corretamente tanto dois estados de base separados quanto suas misturas.

O resultado é lido assim: um dispositivo pode copiar um dos estados conhecidos de antemão e distinguíveis entre si com certeza (mutuamente ortogonais); mas não pode copiar um estado arbitrário desconhecido. Se tal cópia fosse possível, os limites de aprender um estado medindo-o em um único sistema poderiam ser ultrapassados. O artigo é curto; apresenta o teorema apenas com o argumento da linearidade, sem um modelo detalhado de dispositivo.

É importante ler corretamente o alcance do resultado: o que é proibido é uma cópia perfeita de um estado arbitrário e desconhecido. Produzir cópias aproximadas do estado ou preparar um estado conhecido quantas vezes se queira não é proibido; porque, neste último caso, o estado já é conhecido. Do mesmo modo, transferir o estado de um qubit para outro sistema (com o primeiro sistema sendo destruído) não é copiar.

Este resumo foi escrito sem consultar o resumo ou o texto do próprio artigo, com base em um relato conhecido; deve ser conferido com a fonte.

Depois: Dieks publicou, de forma independente, um resultado semelhante no mesmo ano. Nos anos seguintes, a não clonagem foi usada como restrição básica no projeto da distribuição quântica de chaves e da correção quântica de erros.

Dieks 1982 — Communication by EPR devices

Phys. Lett. A 92, 271 teoria

Um artigo curto, que apareceu de forma independente no mesmo ano que o de Wootters–Zurek, e que examina, com base na linearidade, se os arranjos EPR podem ser usados para comunicação.

O título do artigo ("Comunicação por dispositivos EPR") dá a pergunta: as correlações no estado conjunto (emaranhado) de duas partículas podem ser usadas para transportar informação entre um emissor e um receptor? A resposta a essa pergunta é ligada a existir ou não um dispositivo capaz de duplicar um estado quântico desconhecido.

Um arranjo EPR é uma montagem que produz pares de partículas emaranhadas do tipo discutido por Einstein, Podolsky e Rosen em 1935. Quando as duas partes de um par desse tipo são medidas separadamente à distância, os resultados são correlacionados entre si. A pergunta de se essa correlação pode ser usada pela pessoa que faz a medição para enviar à pessoa distante uma mensagem mais rápida que a luz é o ponto de partida do artigo.

A abordagem de Dieks parte da estrutura linear da teoria. Quando um arranjo de medição ou de cópia é escrito como uma operação linear sobre os estados, um dispositivo que copia um estado desconhecido cai em contradição nas superposições. Essa é a mesma razão do resultado que Wootters e Zurek publicaram no mesmo ano; os dois artigos surgiram independentemente um do outro.

A importância do artigo está em não deixar a não clonagem apenas como um detalhe matemático, mas em relacioná-la à questão de as correlações EPR não carregarem mensagem. Se a cópia fosse possível, a parte distante poderia distinguir a escolha de medição do outro lado medindo cópias de sua própria partícula; a mecânica quântica não torna isso possível.

O ponto comum entre este artigo e o de Wootters–Zurek é que o resultado vem não de um experimento, mas da estrutura matemática da teoria. Portanto, a não clonagem não é uma deficiência tecnológica, mas uma consequência da própria teoria. A proibição da cópia é citada como um dos primeiros exemplos básicos que mostram em que aspecto a informação quântica difere da informação clássica.

Este resumo foi escrito sem consultar o resumo ou o texto do próprio artigo, com base em um relato conhecido; deve ser conferido com a fonte.

Depois: Os resultados de Wootters–Zurek e de Dieks são conhecidos em conjunto como o teorema da não clonagem.

12. Teletransporte quântico

Pergunta principal: Um estado quântico pode ser transportado?

Se um estado quântico não pode ser copiado, como é possível enviá-lo de um lugar a outro? O teletransporte é um método que, usando um par de partículas emaranhadas compartilhado de antemão por emissor e receptor e um canal de comunicação comum, destrói um estado quântico desconhecido em um lugar e o reconstrói em outro. O que é transferido é informação; nem matéria nem energia são transportadas. O tema é tratado com dois artigos: o artigo teórico de 1993 que propõe o método e uma das primeiras demonstrações experimentais.

Bennett 1993 — Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels

Phys. Rev. Lett. 70, 1895 teoria

O artigo que propõe o método que transfere um estado quântico por meio de um par emaranhado compartilhado e de um canal de comunicação clássico.

A pergunta é se é possível transferir um estado quântico desconhecido a um receptor distante sem aprender o estado de antemão e sem enviar a partícula que o carrega. Os autores mostram, com um método, que isso é possível.

No método há duas pessoas: o emissor (Alice) e o receptor (Bob). De antemão, duas partículas são preparadas como um par emaranhado do tipo tratado por Einstein, Podolsky e Rosen (EPR); uma é dada a Alice, a outra a Bob. Alice mede em conjunto a partícula que carrega o estado desconhecido que quer transferir e a sua própria partícula EPR. Essa medição conjunta tem quatro resultados possíveis. Alice informa o resultado a Bob por um canal comum, por exemplo por telefone. Bob aplica à sua partícula a operação correspondente ao resultado informado, e a partícula dele se torna uma cópia exata do estado original de Alice.

Como se diz no resumo do artigo, o estado desconhecido é primeiro decomposto em "informação puramente clássica e correlações EPR puramente quânticas" e depois reconstruído a partir delas. A medição conjunta de Alice destrói o estado original que ela tem; portanto, o princípio da não clonagem não é violado, e o mesmo estado não está em dois lugares ao mesmo tempo. Antes de receber a mensagem clássica, Bob encontra em sua partícula apenas um estado de aparência aleatória; por isso o arranjo não proporciona comunicação mais rápida que a luz.

A distinção a ter em mente aqui é esta: a partícula de Bob só se iguala ao estado de Alice depois que a mensagem clássica chegou e a correção foi aplicada. Como a mensagem clássica não pode viajar mais rápido que a luz, a velocidade da transferência é limitada pela velocidade desse canal. Além disso, o método não exige conhecer o estado de antemão; Alice também não aprende o estado.

Depois: Nos anos seguintes, o método tornou-se um bloco de construção usado em redes quânticas e em implementações de portas na computação quântica.

Bouwmeester 1997 — Experimental quantum teleportation

Nature 390, 575 experimento

Uma das primeiras demonstrações experimentais da proposta de teletransporte: a transferência de estados de polarização de fótons.

Este artigo busca resposta à pergunta de se a proposta de 1993 pode ser realizada em laboratório. O experimento é feito com fótons: o estado a ser transferido é a polarização de um fóton, e o par emaranhado é um par de fótons produzido em um cristal especial.

No arranjo, a medição conjunta feita por Alice se baseia em reunir dois fótons em um divisor de feixe e detectá-los separadamente. Essa medição só consegue distinguir um dos quatro resultados possíveis; isto é, o teletransporte não se completa em toda tentativa, mas apenas quando o resultado relevante é obtido. A polarização do fóton do lado de Bob é medida e sua concordância com o estado que se pretendia transferir é verificada.

Os autores relatam que os estados transferidos saíram de acordo com a polarização esperada do lado de Bob. O que o artigo apresenta é uma demonstração experimental de que um estado pode ser transferido fisicamente. Como, nessa demonstração, nem os quatro resultados são distinguidos, a transferência é completa apenas em um subconjunto selecionado de tentativas; isso deve ser lido como um limite do arranjo.

Este resumo foi escrito sem consultar o texto do artigo, dentro do quadro conhecido do tema; para os detalhes, é preciso voltar ao próprio artigo.

Nos experimentos, o teletransporte não é o transporte de luz, matéria ou energia, mas a escrita de um estado em outra partícula. O critério de tais experimentos é, portanto, que as estatísticas de medição da partícula de destino concordem com o estado de origem. Para os detalhes do artigo (divisor de feixe, cristal, resultados de medição), é preciso consultar o próprio artigo. Em uma demonstração desse tipo, o critério de comparação é que as estatísticas de medição do estado transferido coincidam com as estatísticas do estado de origem; um único resultado de medição não mostra isso, é necessária a distribuição de muitas tentativas.

Este resumo foi escrito sem consultar o resumo ou o texto do próprio artigo, com base em um relato conhecido; deve ser conferido com a fonte.

Depois: Em experimentos posteriores, a distância de transferência e a taxa de sucesso foram aumentadas; os detalhes estão fora do alcance dos artigos deste arquivo.

13. Criptografia quântica (BB84)

Pergunta principal: A comunicação absolutamente segura é possível?

Duas pessoas, mesmo que nunca tenham se visto, podem criar uma chave secreta compartilhada que um espião não consiga conhecer? A maior parte da criptografia clássica é segura porque algum problema matemático é difícil. Na proposta de Bennett e Brassard de 1984, a segurança se apoia no princípio de que medir um sistema quântico o altera: se um espião olha os fótons, deixa um rastro. Este artigo, que aparece na lista de temas como "BB84", foi o escolhido.

Bennett 1984 — Quantum cryptography: Public key distribution and coin tossing

IEEE Int. Conf. on Computers, Systems and Signal Processing, Bangalore, 1984; yeniden basım: Theoretical Computer Science 560 (2014) 7–11 teoria

O artigo que propõe a distribuição de chave secreta com fótons polarizados (o protocolo BB84) e o cara ou coroa quântico.

O ponto de partida do artigo é este: quando a informação digital é transportada com sistemas quânticos básicos, como fótons polarizados, o princípio da incerteza dá origem a possibilidades criptográficas que não existem nos meios convencionais. Em particular, como a medição perturba o sistema, quem escuta o canal de transmissão é notado com alta probabilidade.

No protocolo, o emissor (Alice) codifica cada bit em um fóton com uma de duas "bases" que escolhe ao acaso; por exemplo, polarização vertical–horizontal ou polarização diagonal de 45°. O receptor (Bob), sem saber qual base foi usada, mede cada fóton escolhendo uma base ao acaso. Quando a base certa é escolhida, o resultado é o bit de Alice; quando a errada é escolhida, o resultado sai aleatório. Depois, as duas partes comparam, por um canal comum e aberto a escuta, apenas quais bases escolheram, não os bits; os bits dos fótons cujas bases coincidem formam a chave.

Se um espião (Eve) mede os fótons e os reenvia, perturba o estado nos fótons que mediu na base errada. Alice e Bob comparam abertamente uma parte de suas chaves e verificam se há mais erros do que o esperado; se há erros, descartam a chave.

O artigo também apresenta um protocolo de "cara ou coroa" por mensagens quânticas. O resumo diz que esse protocolo é seguro contra os tipos convencionais de trapaça, mesmo contra um adversário com poder de cálculo ilimitado. Os autores também observam, com ironia, que o protocolo poderia ser quebrado usando o fenômeno EPR.

A força do protocolo se apoia nisto: como o espião não sabe qual base foi usada, não pode aprender o estado nem sem perturbá-lo nem copiando-o. Por isso o princípio da não clonagem é um bloco de construção do argumento de segurança do protocolo. Em dispositivos reais, as imperfeições da fonte de fótons e do detector são um tema que precisa ser tratado separadamente.

Depois: No próprio resumo do artigo, registra-se que o protocolo de cara ou coroa poderia ser quebrado pelo fenômeno EPR. As análises formais de segurança da distribuição de chaves estão fora do alcance deste arquivo.

14. Entropia de Emaranhamento e a Medição do Emaranhamento

Pergunta principal: Como se mede o emaranhamento?

O emaranhamento é um estado quântico em que as partes de um todo não podem ser descritas separadamente. A questão é se essa "quantidade" pode ser medida por um único número. Dois artigos de Bennett e colegas, de 1996, lançam o alicerce desse tema. Um mostra que, para estados puros (totalmente conhecidos), o emaranhamento pode ser medido pela entropia; o outro mostra que purificar o emaranhamento em estados ruidosos (mistos) equivale à correção quântica de erros. A expressão "Bennett et al. 1996" na lista foi lida de modo a abranger os dois artigos.

Bennett 1996 — Concentrating partial entanglement by local operations

Physical Review A 53, 2046–2052 teoria

Artigo que mostra que pares compartilhados puros e parcialmente emaranhados podem ser convertidos, por operações locais, em pares totalmente emaranhados, e que a taxa é determinada pela entropia.

A pergunta é esta: se dois observadores distantes têm em mãos muitas cópias do mesmo par de partículas parcialmente emaranhado, será que eles, aplicando apenas operações locais às suas próprias partículas e conversando entre si de modo clássico, conseguem concentrar esse emaranhamento em um número menor de pares totalmente emaranhados (os "singletos" EPR)?

Os autores mostram que isso é possível. À medida que o número de pares cresce, o número de pares totalmente emaranhados obtidos se aproxima da "entropia de emaranhamento" do estado inicial. A entropia de emaranhamento é a entropia de von Neumann da matriz densidade reduzida vista por um dos lados. Intuitivamente: embora o estado inteiro seja completamente conhecido, ela mede quanta incerteza resta para uma parte que olha apenas para a sua própria partícula. É calculada na base dois e sua unidade é o bit. A entropia de um par totalmente emaranhado é de um bit; a de um par sem nenhum emaranhamento é zero. Em um par parcialmente emaranhado, o valor fica entre os dois, e de muitos pares podem-se extrair, em média, tantos pares totalmente emaranhados quanto esse valor.

O inverso também é mostrado: comunicando-se de modo clássico e aplicando operações locais, e gastando pares totalmente emaranhados como recurso, as duas partes podem produzir qualquer estado emaranhado, puro ou misto. Assim, os pares totalmente emaranhados funcionam como uma "moeda" comum para o emaranhamento. O resultado significa que, para estados puros, o emaranhamento pode ser expresso por um único número.

Um resultado que chama a atenção no artigo é que, para estados puros, o emaranhamento é medido pelo mesmo número (a entropia de emaranhamento) nos dois sentidos; ou seja, nesses casos o emaranhamento se comporta como um recurso "reversível". Nos estados mistos a situação é mais complicada; o segundo artigo do mesmo grupo trata disso.

Depois: Como a mesma questão deve ser tratada nos estados mistos é assunto do segundo artigo do mesmo ano.

Bennett 1996 — Mixed-state entanglement and quantum error correction

Physical Review A 54, 3824–3851 teoria

Artigo que mostra que enviar um estado quântico por um canal ruidoso equivale a destilar emaranhamento total a partir de estados emaranhados mistos.

Este artigo examina o que pode ser feito quando o emaranhamento se mistura ao ruído. Comparam-se dois caminhos de proteção: a purificação de emaranhamento (extrair um pequeno número de pares totalmente emaranhados do estado misto que as duas partes têm em mãos) e os códigos quânticos de correção de erros (enviar um estado quântico arbitrário por um canal ruidoso sem corrompê-lo).

Os autores mostram que um método de purificação que funciona com comunicação clássica unidirecional corresponde a um código corretor de erros que funciona na mesma taxa, e que o inverso também vale. A purificação exige comunicação clássica; a correção de erros não. Acrescentar comunicação unidirecional não aumenta a taxa de correção de erros. Já a comunicação bidirecional pode melhorar tanto a purificação quanto a correção de erros. Por exemplo, um canal despolarizante de cinquenta por cento pode ser usado para transferir um estado quântico se houver comunicação bidirecional; se houver apenas comunicação unidirecional, não pode.

O artigo trata também da quantidade de emaranhamento necessária para preparar um dado estado misto por operações locais (hoje chamada de "emaranhamento de formação") e dá uma expressão exata para estados diagonais na base de Bell. Por fim, apresenta uma família de códigos baseada em hashing universal e um código de bloco simples de cinco bits que corrige um único erro. Os autores mostram ainda que, sob a condição de que um código corretor de erros funcione com alta fidelidade no caso sem erros, o codificador pode ser escrito como a inversa matricial do decodificador.

Os resultados do artigo são lembrados por reunir em um único quadro dois temas distintos da teoria da informação quântica (a teoria do emaranhamento e a correção de erros). Este resumo repassa as afirmações do resumo do artigo; os detalhes das demonstrações estão no próprio artigo.

Depois: O código de cinco bits deste artigo é um dos exemplos mais citados na literatura de correção quântica de erros.

15. Correção Quântica de Erros

Pergunta principal: Como se calcula com sistemas ruidosos?

A informação quântica se corrompe com muita facilidade: todo contato com o ambiente dispersa a informação contida no estado (isso se chama decoerência). Nos computadores clássicos, o caminho para corrigir erros é copiar a informação e fazer uma votação por maioria; esse caminho não funciona para estados quânticos, porque eles não podem ser copiados e mudam quando medidos. Em 1995-96, Shor e Steane mostraram que, espalhando a informação por vários qubits físicos, é possível detectar e corrigir erros sem aprender o estado.

Shor 1995 — Scheme for reducing decoherence in quantum computer memory

Phys. Rev. A 52, R2493 teoria

Artigo que propõe um equivalente quântico dos códigos clássicos corretores de erros para reduzir o efeito da decoerência na memória quântica.

A pergunta do artigo se volta a um dos maiores obstáculos à computação quântica: a decoerência corrompe a informação de uma superposição e torna impossíveis os cálculos longos. O autor começa dizendo que o interesse pela computação quântica cresceu rapidamente nos últimos tempos e que se percebeu que certos cálculos podem ser drasticamente acelerados pelas propriedades da mecânica quântica.

O esquema proposto reduz o efeito da decoerência sobre a informação guardada na memória. A suposição é que o processo de decoerência age sobre cada bit da memória de modo independente dos demais. Nesse caso, usa-se um análogo quântico dos códigos clássicos corretores de erros. A ideia é distribuir a informação de um único qubit pelo estado conjunto de vários qubits, em vez de um único qubit físico. A votação clássica por maioria não funciona, porque o estado quântico não pode ser copiado e se corrompe se medido diretamente. Em vez disso, a presença de um erro é percebida por medições que sondam as correlações entre os qubits, e não a própria informação transportada (hoje chamadas de "medição de síndrome"). Assim a informação não é aprendida e, portanto, não é corrompida; apenas se deduz qual qubit sofreu que tipo de erro, e ele é corrigido.

O limite do próprio artigo é claro: o esquema se apoia na suposição de erros independentes e visa proteger a informação guardada na memória; executar o próprio cálculo de modo tolerante a falhas não é assunto deste artigo.

O artigo é lembrado como um ponto de virada importante no debate sobre a viabilidade da computação quântica, por mostrar que a correção de erros também é possível para estados quânticos. Contudo, o resumo do artigo apresenta isso como um esquema, e não como uma implementação. Um lembrete breve ao leitor: a palavra "bit" aqui é o uso do próprio artigo; hoje a unidade de memória se chama qubit.

Depois: Na mesma época, Steane abordou o mesmo problema com outra construção de código; nos anos seguintes vieram trabalhos que tornaram a correção de erros tolerante a falhas junto com as operações de porta.

Steane 1996 — Multiple-particle interference and quantum error correction

Proceedings of the Royal Society A 452, 2551–2577 teoria

Artigo que apresenta os códigos quânticos corretores de erros e seus limites, tratando a interferência de muitas partículas à luz da teoria clássica da codificação.

O artigo une duas coisas: a matemática dos códigos clássicos corretores de erros e a interferência quântica de muitas partículas. Usando essa ligação, o autor explica como a correção de erros pode ser feita em canais de comunicação quântica e em computadores quânticos, e avalia seus limites.

O resultado básico impõe um limite inferior e um limite superior à quantidade de informação que pode ser codificada. Se a informação de K qubits é codificada em n qubits, então, para proteção contra decoerência arbitrária de x qubits, a taxa deve estar na seguinte faixa: pode superar 1 − 2H(2x/n), mas não pode superar 1 − 2H(x/n); aqui H é a função de entropia binária. Corrigir mais erros exige mais qubits físicos; a taxa é limitada.

A conclusão do autor é esta: à medida que o comprimento do código aumenta, o efeito da decoerência pode ser reduzido exponencialmente, enquanto os recursos necessários crescem apenas polinomialmente. O autor interpreta isso como significando que, em níveis de decoerência fisicamente realistas, a computação quântica pode ser executada livre de erros; trata-se de uma inferência teórica, e não da demonstração de um dispositivo.

Os métodos também podem ser usados para isolar a comunicação do ruído e de um espião (amplificação quântica de privacidade). Como o artigo traduz a linguagem da teoria clássica da codificação para o estado quântico, ele é contado entre os artigos que prepararam o terreno para os métodos posteriores de derivar códigos quânticos a partir de códigos clássicos.

A importância do artigo está em estabelecer numericamente os limites da correção quântica de erros e em mostrar que o custo de recursos dos códigos corretores cresce apenas polinomialmente. Este é um dos fundamentos teóricos do debate sobre a escalabilidade do computador quântico. Esses limites dependem do tipo de erro e da estrutura do código; as condições em que as fórmulas valem são definidas no texto do artigo, e este resumo transmite apenas a forma do resultado.

Depois: O código de cinco bits de Bennett et al. 1996 pertence à mesma época (tema 14 neste arquivo).