Introduo computao quntica

Heitor Nicoliello
RA: 089041
03 July 2009
Resumo
Um computador quntico um dispositivo que executa clculos usando
propriedades da mecnica quntica. Essas propriedades possibilitam alto
grau de paralelismo computacional, permitindo que algoritmos com ordem
exponencial de operaes em computadores tradicionais sejam executados
em tempo polinomial por computadores qunticos. Uma das implicaes
mais revolucionrias desse fato a possibilidade de quebra de qualquer
algoritmo de criptograa. Tais dispositivos j foram construdos, mas
operaram com uma quantidade muito pequena de dados. O intuito deste
trabalho oferecer uma introduo computao quntica. Delphi theory
1 O computador tradicional
O computador de hoje baseado no modelo descrito municiosamente pela
primeira vez por von Neumann [1], baseado na mquina de Turing. Trata-
se de uma mquina de clculos e uma memria que armazena tanto in-
strues a serem executadas - o programa - quanto a entrada para esse
conjunto de instrues. O nvel mais baixo da representao interna dos
dados dado por bits: variveis cujo domnio se restringe ao conjunto
0, 1. A representao desses bits e as operaes sobre eles foram con-
cretizadas atravs de vlvulas e evoludas para transistores e cirtuitos
integrados, o que fez com que o computador aumentasse sua capacidade
de forma exponencial ao longo do tempo, seguindo a lei de Moore [2]. O
desao at ento era aumentar a capacidade diminuindo o tamanho fsico
da mquina. Encontramos, nos dias de hoje, uma limitao diferente: a
dissipao de calor. Apesar de tanta evoluo, o modelo do computador
continua o mesmo. Isso signica que a maneira de programar no mudou,
assim como a gama de questes que o computador pode responder.
Paralelamente evoluo da computao, estudava-se a possibilidade
de usar a mecnica quntica para aumentar a capacidade dos computa-
dores. David Deutsch mostrou que seria impossvel modelar um computa-
dor quntico atravs de uma mquina de Turing, pois esta no era capaz
de explorar o chamado paralelismo quntico. [3]
A evoluo da computao quntica ganhou ateno quando Shor pub-
licou um algoritmo quntico para fatorar inteiros em nmeros primos. [4]
O fato de no haver algoritmo clssico que resolva tal problema em tempo
1
polinomial a base da maioria dos sistemas de criptograa atuais, in-
cluindo o RSA.
2 Fundamentos da computao quntica
Pelo princpio de superposio, um sistema quntico pode estar simul-
taneamente em mais de um estado, tambm permite obter um grau muito
alto de paralelismo. [1] Analogamente ao bit da computao tradicional,
a computao quntica introduz o conceito de qubit (bit quntico), que
alm dos dois estados tradicionais de um bit pode estar num estado de
superposio coerente de ambos. como se ele estivesse nos dois estados
ao mesmo tempo ou como se houvesse dois universos paralelos e em cada
qubit assumisse um dos estados tradicionais.
Feyman j armava que tal modelo no intuitivo: "acredito que posso
dizer com segurana que ningum entende a fsica quntica."[5]
Enquanto um computador precisa analisar duas possibilidades de um
bit (0 e 1) em, por exemplo, uma busca num universo de estados, o com-
putador quntico consegue fazer operaes nesses dois estados ao mesmo
tempo. Um conjunto de dois qubits pode armazenar quatro estados ao
mesmo tempo. Genericamente, um conjunto de n qubits pode armazenar
2
n
combinaes de estados. A fsica quntica permite operar sobre todos
esses estados de uma vez. da que surge o paralelismo quntico.
Um outro fato curioso se d quando duas particulas entrelaadas num
espao de estados so separadas a uma distncia qualquer. Ainda assim,
elas sofrem interferncia mtua: ao medir uma delas e, conseqentemente,
pass-la ao estado de decoerncia, a outra imediatamente sofre a mesma
decoerncia, caindo no mesmo estado tradicional (0 ou 1) da primeira. Isso
sugere uma comunicao instantnea a distncias arbitrrias, o que seria
um paradoxo pelas leis da mecnica j que haveria uma comunicao mais
rpida que a luz. Porm, John Bell e Alain Aspect resolveram o paradoxo
e mostraram que no possvel criar tal comunicao usando esta tcnica.
[6]
Dado o fato de que um computador quntico pode ser acoplado a um
computador clssico que serve de interface, razovel considerar que a
diferena entre computador quntico para o clssico ser apenas o ncleo
e a forma como os programas so escritos. Toda arquitetura restante
(memrias, caches, etc) poder ser mantida.
3 Experimento da mecnica quntica
Vejamos um experimento que demonstra os princpios qunticos que in-
spiram este novo modelo de computao. Um fton, partcula de energia
indivisvel, emitido em direo a um espelho semi-prateado, que reete
metade da luz que emitida sobre ele e deixa passar a outra metade.
Tratando-se de apenas um fton, ele segue apenas um dos caminhos pos-
sveis, cada um com probabilidade de 50 por cento. Apenas um dos detec-
tores da gura1 percebe sua presena. Mas quando dispomos dois espelhos
semi-prateados e dois espelhos totalmente prateados como na gura2, o
2
detector 1 sempre acusa a presena do fton. como se o fton percor-
resse os dois caminhos ao mesmo tempo e, ao cruzar os dois caminhos,
h um interferncia que faz com que o fton chegue sempre no detector
1. Menos intuitivo ainda o caso de acrescentar um bloqueio em um dos
caminhos, como na gura3. Neste caso, o fton detectado pelos dois
detectores com a mesma probabilidade.
1.png
Figura 1: Experimento 1
2.png
Figura 2: Experimento 2
3.png
Figura 3: Experimento 3
4 Aplicaes
Alm da fatorao de naturais em primos, a computao quntica pode-
ria ajudar tambm a simular experimentos da prpria fsica quntica em
tempo vivel, capacidade tal que os computadores tradicionais no tm.
3
Das explicaes sobre paralelismo quntico dadas na seo de fun-
damentos, ca evidente que a computao quntica tambm poderia ser
aplicada inteligncia articial. Existem hipteses de que o funciona-
mento crebro humano seja regido por leis qunticas.
Uma terceira aplicao a busca em uma lista no ordenada. O algo-
ritmo da computao clssica percorre cada elemento da lista em busca
do elemento buscado. evidente que este algoritmo O(n), onde n o
tamanho da lista. Contudo, Lov Grover props [7] um algoritmo quntico
capaz de realizar a busca no estruturada em tempo O(

n) (provado ser
o menor tempo possvel para algoritmo qunticos).
O algoritmo consiste, primeiramente, na inicializao de qubits de
forma que se atinja uma superposio de estados, um para cada elemento
da lista a ser procurada. Repete-se ento uma seqncia de operaes
(por

n iteraes) de forma que cada iterao aumente a amplitude do
estado desejado por O(
1

n
). Aps as interaes, o estado desejado ter
amplitude (e probabilidade) O(1).
5 Arquiteturas
Da mesma forma que toda a lgica proposicional pode ser contruda ape-
nas com as portas AND e NO, ou tambm, apenas com a porta NAND,
foi provado que o computador quntico precisa apenas das portas que op-
eram em apenas um bit e da porta CNOT (controlled-not), que opera em
dois qubits, invertendo o segundo se o primeiro for 1. [8]
Computadores qunticos devem ser construdos com os menores el-
ementos da matria e energia. Sua estrutura bsica de computao
formada por eltrons, ftons e at pelo spin do ncleo atmico.
O primeiro prottipo foi criado em 1992 por Charles Bennett, Gilles
Brassard e Artur Ekert. [9]
Em 2001, a IMB demonstrou um computador quntico de 7 qubits,
no qual foi executado o algoritmo de Shor para fatorar o nmero 15. O
computador formado por uma nica molcula que possui 7 tomos cujos
estados so determinados pelos spins de seus ncleos. Para manipular
esses tomos e fazer a computao utilizado um sistema de ressonncia
magntica nuclear, ou NMR (Nuclear Magnetic Resonance). Para que a
molcula que estvel e se possa realizar a computao necessrio que o
sistema que resfriado prximo ao zero absoluto.
6 Diculdades e restries
Ao medir o valor de um qubit, obtemos apenas um resultado: 0 ou 1.
Quando o qubit pode estar em mais de um estado, dizemos que ele est
no estado de coerncia. Ao sofrer interao com o ambiente (ex: medio),
ele sofre decoerncia e volta a um dos estados tradicionais.
O problema da decoerncia durante a medio regido pelo princpio
da incerteza de Heisenberg: ao medir a posio de um eltron, quanto mais
precisamente tentamos medi-la, mais deslocamos o eltron, portanto, mais
imprecisa a medida. Porm, tal diculdade j foi superada atravs de
4
algoritmos de correo de erros. Trata-se de uma tcnica que corrige em
nvel lgico um erro de nvel fsico.
Para se construir um computador quntico, deve-se atender cinco req-
uisitos [10]:
1. Um sistema fsico escalvel com qubits bem denidos.
Deve existir uma entidade capaz de representar o qubit, obedecendo
aos critrios de comportamento quntico e de suportar dois estados trata-
dos como 0 e 1. Deve-se conhecer o mecanismo para se manipular os
qubits, assim como suas caractersticas internas. Vrios mtodos j foram
propostos e alguns at demonstrados, como ion-traps (utilizando ons em
uma campo eletromagntico) ou ressonncia magntica nuclear com to-
mos.
2. Existncia de um mtodo para se inicializar os estadosdos qubits.
Tal requisito lgico, ao se observar que para se realizar uma com-
putao, deve-se conhecer o estado inicial do sistema. Ele tambm tem
aplicaes na correo de erro quntico descrita a seguir. possvel re-
alizar a inicializao atravs de uma medio, que far o sistema se colap-
sar em um determinado estado que, se no for o estado inicial desejado,
pode ser convertido nele. A velocidade com que possvel inicializar um
qubit vital e pode limitar a velocidade de todo o sistema.
3. Tempos de decoerncia longos, maiores que o tempo de operao
das portas.
Uma importante caracterstica de um sistema quntico que, com
o tempo, ele interage com o ambiente e seu estado alterado imprevi-
sivelmente. Tal tempo chamado de tempo de decoerncia e um dos
problemas vitais da computao quntica. De fato, acreditava-se que a
decoerncia impedia denitivamente a construo de computadores qun-
ticos, at que Peter Shor provou que era possvel a realizao da correo
de erro quntica atravs de cdigos de correo de erro.
4. Um conjunto universal de portas qunticas. importante notar
que portas qunticas no podem ser implementadas perfeitamente; elas
tambm podem causar erros. Contudo, tais erros podem ser contornados
com o mesmo mecanismo de correo de erro usado para a decoerncia.
5. Capacidade de ser medir qubits especcos. Outro requisito natural:
necessrio poder ler o resultado de uma computao de modo convel.
Este fator tambm importante na correo de erro quntico.
7 Concluso
A computao quntica tem potencial para revolucionar o campo da com-
putao. A viabilidade de sua construo ainda desconhecida. como
se estivssemos estudando a arquitetura atual de computadores na poca
em que no se havia inventado os transistores.
H um paralelo interessante entre a computao clssica e a quntica:
a primeira nasceu estvel e buscou-se velocidade e armazenamento; a outra
nasceu com processamento alto e busca-se estabilidade.
Apesar de no sabermos se a construo do computador quntico
vivel, a pesquisa nesta rea de suma importncia para o avano da
cincia.
5
8 Referncias
[1] http://www.ic.unicamp.br/ tomasz/projects/vonneumann/node3.htmlSECTION00030000000000000000,
(acessado em 03/06/2009).
[2] Tuomi, Ilkka. "The Lives and Death of Moores Law". http://www.rstmonday.org/issues/issue711/tuomi/, (acessadoem03/06/2009)
[3] "Quantum theory, the Church-Turing principle and the Universal Quantum
Computer."Proceedings of the Royal Society, A400:97-117, 1985.
[4] Peter W. Shor. "Algorithms for Quantum Computation: Descrete Logarithms
and Factoring."Sha Goldwasser, editor, Proceedings of the 35th Annual Symposium
on Foundations of Computer Science, pgs. 124-134, 1994.
[5] Richard Feynman, "The character of physical law". MIT press, 1967. ISBN:
0-262-56003-8
[6] John Bell e Alain Aspect, "The Topsy turvy world of quantum computing".
IEEE spectrum.
[7] L. K. Grover. "A fast quantum mechanical algorithm for database search". In
STOC 96: Proceedings of the twenty-eighth annual ACM symposium on Theory of
computing, pages 212 to 219, New York, NY, USA, 1996. ACM.
[8] D. DiVincenzo. "Two-bit gates are universal for quantum computation. A
Physical Review". 1995.
[9] Charles H. Bennett, Gilles Brassard, e Artur K. Ekert. "Quantum Cryptogra-
phy". Scientic American, 269(10):26-33, Outubro de 1992.
[10] D. DiVincenzo. "The physical implementation of quantum computation. Fortschritte
der Physik". 48(9-11):771783, 2000.
[11] Schneider, Guilherme Goettems. "Arquitetura de Computadores Qunticos",
Porto Alegre, outubro de 2005. http://www.inf.ufrgs.br/procpar/disc/cmp135/trabs/gschneider/t1/ArquiteturasQuanticas.pdf
(acessado em 03/06/2009)
6