Teorema de não clonagem - No-cloning theorem

Na física , o teorema da não clonagem afirma que é impossível criar uma cópia independente e idêntica de um estado quântico desconhecido arbitrário , uma afirmação que tem profundas implicações no campo da computação quântica, entre outros. O teorema é uma evolução do teorema no-go de 1970 de autoria de James Park, no qual ele demonstra que um esquema de medição não perturbador que é simples e perfeito não pode existir (o mesmo resultado seria derivado independentemente em 1982 por Wootters e Zurek bem como Dieks no mesmo ano). Os teoremas acima mencionados não impedem que o estado de um sistema fique emaranhado com o estado de outro, visto que a clonagem se refere especificamente à criação de um estado separável com fatores idênticos. Por exemplo, pode-se usar a porta NOT controlada e a porta Walsh-Hadamard para emaranhar dois qubits sem violar o teorema de não clonagem, pois nenhum estado bem definido pode ser definido em termos de um subsistema de um estado emaranhado. O teorema de não clonagem (como geralmente entendido) diz respeito apenas a estados puros, ao passo que o enunciado generalizado sobre estados mistos é conhecido como teorema de no-broadcast .

O teorema da não clonagem tem um dual invertido no tempo , o teorema da não exclusão . Juntos, eles sustentam a interpretação da mecânica quântica em termos de teoria das categorias e, em particular, como uma categoria compacta de punhal . Essa formulação, conhecida como mecânica quântica categórica , permite, por sua vez, uma conexão a ser feita da mecânica quântica à lógica linear como a lógica da teoria da informação quântica (no mesmo sentido que a lógica intuicionista surge das categorias fechadas cartesianas ).

História

De acordo com Asher Peres e David Kaiser , a publicação da prova de 1982 do teorema da não clonagem por Wootters e Zurek e por Dieks foi motivada por uma proposta de Nick Herbert para um dispositivo de comunicação superluminal usando emaranhamento quântico , e Giancarlo Ghirardi provou o teorema 18 meses antes da prova publicada por Wootters e Zurek em seu relatório de árbitro para a referida proposta (como evidenciado por uma carta do editor). No entanto, Ortigoso apontou em 2018 que uma prova completa, juntamente com uma interpretação em termos da falta de medições simples e não perturbadoras na mecânica quântica, já havia sido entregue por Park em 1970.

Teorema e prova

Suponha que temos dois sistemas quânticos A e B com um espaço de Hilbert comum . Suponha que desejamos ter um procedimento para copiar o estado do sistema quântico A , sobre o estado do sistema quântico B, para qualquer estado original (ver notação bra-ket ). Ou seja, começando com o estado , queremos acabar com o estado . Para fazer uma "cópia" do estado A , nós o combinamos com o sistema B em algum estado inicial desconhecido, ou em branco, independente do qual não temos conhecimento prévio.

O estado do sistema composto inicial é então descrito pelo seguinte produto tensorial :

(a seguir iremos omitir o símbolo e mantê-lo implícito).

Existem apenas duas operações quânticas permitidas com as quais podemos manipular o sistema composto:

  • Podemos realizar uma observação , que irreversivelmente colapsa o sistema em algum estado próprio de um observável , corrompendo a informação contida no (s) qubit (s) . Obviamente, não é isso que queremos.
  • Alternativamente, poderíamos controlar o hamiltoniano do sistema combinado e, portanto, o operador de evolução no tempo U ( t ), por exemplo, para um hamiltoniano independente do tempo ,. A evolução até algum tempo fixo produz um operador unitário U on , o espaço de Hilbert do sistema combinado. No entanto, nenhum operador U unitário pode clonar todos os estados.

O teorema da não clonagem responde negativamente à seguinte questão: É possível construir um operador unitário U , agindo sobre , sob o qual o estado em que o sistema B está sempre evolui para o estado em que o sistema A está, independentemente do estado o sistema A está dentro?

Teorema : Não há operador unitário U em tal que para todos os estados normalizados e em

para algum número real dependendo de e .

O fator de fase extra expressa o fato de que um estado quântico-mecânico define um vetor normalizado no espaço de Hilbert apenas até um fator de fase, isto é, como um elemento do espaço de Hilbert projetivado .

Para provar o teorema, selecionamos um par arbitrário de estados e no espaço de Hilbert . Porque U é suposto ser unitário, teríamos

Uma vez que o estado quântico é considerado normalizado, obtemos

Isso implica que ou . Daí, pela desigualdade de Cauchy-Schwarz, ou ou é ortogonal a . No entanto, esse não pode ser o caso para dois estados arbitrários . Portanto, um único U universal não pode clonar um estado quântico geral . Isso prova o teorema da não clonagem.

Pegue um qubit, por exemplo. Pode ser representado por dois números complexos , chamados amplitudes de probabilidade ( normalizados para 1 ), ou seja, três números reais (dois ângulos polares e um raio). Copiar três números em um computador clássico usando qualquer operação de copiar e colar é trivial (até uma precisão finita), mas o problema se manifesta se o qubit for transformado unitariamente (por exemplo, pela porta quântica de Hadamard ) para ser polarizado (cuja transformação unitária é uma sobrejetiva isometria ). Nesse caso, o qubit pode ser representado por apenas dois números reais (um ângulo polar e um raio igual a 1), enquanto o valor do terceiro pode ser arbitrário em tal representação. No entanto, a realização de um qubit (fóton codificado por polarização, por exemplo) é capaz de armazenar todo o suporte de informação do qubit dentro de sua "estrutura". Assim, nenhuma evolução unitária universal U pode clonar um estado quântico arbitrário de acordo com o teorema de não clonagem. Teria que depender do estado qubit (inicial) transformado e, portanto, não seria universal .

Generalização

No enunciado do teorema, duas suposições foram feitas: o estado a ser copiado é um estado puro e a copiadora proposta atua via evolução no tempo unitário. Essas suposições não causam perda de generalidade. Se o estado a ser copiado for um estado misto , ele pode ser purificado . Como alternativa, pode ser fornecida uma prova diferente que funcione diretamente com estados mistos; neste caso, o teorema é frequentemente conhecido como teorema de não transmissão . Da mesma forma, uma operação quântica arbitrária pode ser implementada através da introdução de um ancilla e realizando uma evolução unitária adequada. Assim, o teorema da não clonagem é totalmente geral.

Consequências

  • O teorema da não clonagem impede o uso de certas técnicas clássicas de correção de erros em estados quânticos. Por exemplo, cópias de backup de um estado no meio de uma computação quântica não podem ser criadas e usadas para corrigir erros subsequentes. A correção de erros é vital para a computação quântica prática e, por algum tempo, não estava claro se isso era possível ou não. Em 1995, Shor e Steane mostraram que é por desenvolver independentemente os primeiros códigos de correção de erros quânticos , que contornam o teorema da não clonagem.
  • Da mesma forma, a clonagem violaria o teorema do não-teletransporte , que diz que é impossível converter um estado quântico em uma sequência de bits clássicos (mesmo uma sequência infinita de bits), copiar esses bits para algum novo local e recriar uma cópia de o estado quântico original no novo local. Isso não deve ser confundido com teletransporte assistido por emaranhamento , que permite que um estado quântico seja destruído em um local e uma cópia exata seja recriada em outro local.
  • O teorema de não clonagem está implícito no teorema de não comunicação , que afirma que o emaranhamento quântico não pode ser usado para transmitir informações clássicas (seja superluminalmente ou mais lentamente). Ou seja, a clonagem, junto com o emaranhamento, permitiria que tal comunicação ocorresse. Para ver isso, considere o experimento mental EPR e suponha que os estados quânticos possam ser clonados. Suponha que partes de um estado de Bell maximamente emaranhado sejam distribuídas para Alice e Bob. Alice poderia enviar bits para Bob da seguinte maneira: Se Alice deseja transmitir um "0", ela mede o spin de seu elétron na direção z , reduzindo o estado de Bob para ou . Para transmitir "1", Alice não faz nada com seu qubit. Bob cria muitas cópias do estado de seu elétron e mede o spin de cada cópia na direção z . Bob saberá que Alice transmitiu um "0" se todas as suas medições produzirem o mesmo resultado; caso contrário, suas medições terão resultados ou com igual probabilidade. Isso permitiria que Alice e Bob comunicassem bits clássicos entre si (possivelmente por meio de separações semelhantes a espaço , violando a causalidade ).
  • Os estados quânticos não podem ser discriminados perfeitamente.
  • O teorema da não clonagem impede uma interpretação do princípio holográfico para buracos negros no sentido de que existem duas cópias de informações, uma situada no horizonte de eventos e a outra no interior do buraco negro. Isso leva a interpretações mais radicais, como a complementaridade do buraco negro .
  • O teorema da não-clonagem se aplica a todas as categorias compactas de punhal : não há morfismo de clonagem universal para qualquer categoria não trivial desse tipo. Embora o teorema seja inerente à definição desta categoria, não é trivial ver que assim é; o insight é importante, pois esta categoria inclui coisas que não são espaços de Hilbert de dimensão finita, incluindo a categoria de conjuntos e relações e a categoria de cobordismos .

Clonagem imperfeita

Embora seja impossível fazer cópias perfeitas de um estado quântico desconhecido, é possível produzir cópias imperfeitas. Isso pode ser feito acoplando um sistema auxiliar maior ao sistema a ser clonado e aplicando uma transformação unitária ao sistema combinado. Se a transformação unitária for escolhida corretamente, vários componentes do sistema combinado irão evoluir para cópias aproximadas do sistema original. Em 1996, V. Buzek e M. Hillery mostraram que uma máquina universal de clonagem pode fazer um clone de um estado desconhecido com a surpreendentemente alta fidelidade de 5/6.

A clonagem quântica imperfeita pode ser usada como um ataque de espionagem em protocolos de criptografia quântica , entre outros usos na ciência da informação quântica.

Veja também

Referências

  1. ^ a b Parque, James (1970). “O conceito de transição na mecânica quântica”. Fundamentos da Física . 1 (1): 23–33. Bibcode : 1970FoPh .... 1 ... 23P . CiteSeerX  10.1.1.623.5267 . doi : 10.1007 / BF00708652 .
  2. ^ a b Wootters, William; Zurek, Wojciech (1982). "Um único quantum não pode ser clonado". Nature . 299 (5886): 802–803. Bibcode : 1982Natur.299..802W . doi : 10.1038 / 299802a0 .
  3. ^ a b Dieks, Dennis (1982). “Comunicação por dispositivos EPR”. Physics Letters A . 92 (6): 271–272. Bibcode : 1982PhLA ... 92..271D . CiteSeerX  10.1.1.654.7183 . doi : 10.1016 / 0375-9601 (82) 90084-6 . hdl : 1874/16932 .
  4. ^ Baez, John; Fique, Mike (2010). "Física, Topologia, Lógica e Computação: Uma Pedra de Roseta" (PDF) . Novas estruturas para a física . Berlim: Springer. pp. 95–172. ISBN 978-3-642-12821-9.
  5. ^ Coecke, Bob (2009). "Quantum Picturalism". Física Contemporânea . 51 : 59–83. arXiv : 0908.1787 . doi : 10.1080 / 00107510903257624 .
  6. ^ Peres, Asher (2003). "Como o teorema da não clonagem ganhou seu nome". Fortschritte der Physik . 51 (45): 458–461. arXiv : quant-ph / 0205076 . Bibcode : 2003ForPh..51..458P . doi : 10.1002 / prop.200310062 .
  7. ^ Kaiser, David (2011). How the Hippies Saved Physics: Science, Counterculture, and the Quantum Revival . WW Norton . ISBN 978-0-393-07636-3.
  8. ^ Herbert, Nick (1982). "FLASH - Um comunicador superluminal baseado em um novo tipo de medição quântica". Fundamentos da Física . 12 (12): 1171–1179. Bibcode : 1982FoPh ... 12.1171H . doi : 10.1007 / BF00729622 .
  9. ^ a b Ghirardi, GianCarlo (2013), "Entanglement, Nonlocality, Superluminal Signaling and Cloning", em Bracken, Paul (ed.), Advances in Quantum Mechanics , IntechOpen (publicado em 3 de abril de 2013), arXiv : 1305.2305 , doi : 10.5772 / 56429
  10. ^ Ortigoso, Juan (2018). "Doze anos antes do teorema da não clonagem quântica". American Journal of Physics . 86 (3): 201–205. arXiv : 1707.06910 . Bibcode : 2018AmJPh..86..201O . doi : 10.1119 / 1.5021356 .
  11. ^ Barnum, Howard; Caves, Carlton M .; Fuchs, Christopher A .; Jozsa, Richard; Schumacher, Benjamin (1996-04-08). "Estados mistos não comutáveis ​​não podem ser transmitidos". Cartas de revisão física . 76 (15): 2818–2821. arXiv : quant-ph / 9511010 . Bibcode : 1996PhRvL..76.2818B . doi : 10.1103 / PhysRevLett.76.2818 . PMID  10060796 .
  12. ^ Kalev, Amir; Hen, Itay (29/05/2008). "Teorema da não-radiodifusão e sua contraparte clássica". Cartas de revisão física . 100 (21): 210502. arXiv : 0704.1754 . Bibcode : 2008PhRvL.100u0502K . doi : 10.1103 / PhysRevLett.100.210502 . PMID  18518590 .
  13. ^ Bae, Joonwoo; Kwek, Leong-Chuan (27/02/2015). "Discriminação de estados quânticos e suas aplicações" . Journal of Physics A: Mathematical and Theoretical . 48 (8): 083001. arXiv : 1707.02571 . doi : 10.1088 / 1751-8113 / 48/8/083001 . ISSN  1751-8113 .
  14. ^ S. Abramsky, "No-Cloning in categorical quantum mechanics", (2008) Semantic Techniques for Quantum Computation , I. Mackie e S. Gay (eds), Cambridge University Press. arXiv : 0910.2401
  15. ^ Bužek, V .; Hillery, M. (1996). "Quantum Copying: Beyond the No-Cloning Theorem". Phys. Rev. A . 54 (3): 1844. arXiv : quant-ph / 9607018 . Bibcode : 1996PhRvA..54.1844B . doi : 10.1103 / PhysRevA.54.1844 . PMID  9913670 .

Outras fontes

  • V. Buzek e M. Hillery, Quantum cloning , Physics World 14 (11) (2001), pp. 25-29.