Flvio Lus Alves

Computao Quntica: Fundamentos Fsicos e Perspectivas

Monograa apresentada ao Departamento de Cin-
cia da Computao da Universidade Federal de La-
vras, como parte das exigncias do Curso de Cincia
da Computao, para obteno do ttulo de Bacharel.
Orientador
Prof. Antonio Tavares da Costa Jnior
Lavras
Minas Gerais - Brasil
2003
Flvio Lus Alves
Computao Quntica: Fundamentos Fsicos e Perspectivas
Monograa apresentada ao Departamento de Cin-
cia da Computao da Universidade Federal de La-
vras, como parte das exigncias do Curso de Cincia
da Computao, para obteno do ttulo de Bacharel.
Avaliada em 10 / 12 / 2003
Fortunato Silva de Menezes
Heitor Augustus Xavier Costa
Prof. Antonio Tavares da Costa Jnior
(Orientador)
Lavras
Minas Gerais - Brasil
Sumrio
1 Introduo 3
1.1 Mecnica quntica . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Computao quntica . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.1 O que computao quntica . . . . . . . . . . . . . . . 4
1.2.2 Histria . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.3 Aplicaes . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Motivao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4 Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5 Descrio do contedo da monograa . . . . . . . . . . . . . . . 7
2 Breve introduo mecnica quntica 9
2.1 Estado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 Espao de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.3 Observveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.4 Medies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.5 Hamiltoniano . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.6 Postulados da mecnica quntica . . . . . . . . . . . . . . . . . . 13
2.7 Qubit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.8 Paralelismo quntico . . . . . . . . . . . . . . . . . . . . . . . . 15
2.8.1 O algoritmo de Deutsch . . . . . . . . . . . . . . . . . . 17
2.9 Decoerncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.10 Spin do eltron . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.10.1 O operador de spin . . . . . . . . . . . . . . . . . . . . . 22
3 Implementao dos computadores qunticos 25
3.1 Armadilha de ons . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.2 Eletrodinmica quntica cavidade . . . . . . . . . . . . . . . . . 29
v
3.3 Ressonncia magntica nuclear . . . . . . . . . . . . . . . . . . . 31
4 Metodologia 35
4.1 Objetivos da pesquisa . . . . . . . . . . . . . . . . . . . . . . . . 35
4.2 Implementao . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
5 Evoluo temporal e medida de um qubit 37
5.1 Sistema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
6 Concluses 43
6.1 Propostas de trabalhos futuros . . . . . . . . . . . . . . . . . . . 43
6.2 Contribuies . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
6.3 Consideraes nais . . . . . . . . . . . . . . . . . . . . . . . . 44
7 Referncias bibliogrcas 45
A Suplemento matemtico 47
A.1 Operadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
A.2 O espao dual H

. . . . . . . . . . . . . . . . . . . . . . . . . . 49
A.3 Produto tensorial . . . . . . . . . . . . . . . . . . . . . . . . . . 49
B Centros de pesquisa 53
vi
Dedico esta monograa minha me e a meus irmos
vii
viii
Agradecimentos
Ao professor Antonio Tavares da Costa Jnior que me ajudou imen-
samente durante todo o trabalho.
Aos professores Fortunato Silva de Menezes e Heitor Augustus Xa-
vier Costa pelas valorosas sugestes para a correo nal da mono-
graa.
A Anderson de Rezende Rocha pelo imenso apoio e colaborao du-
rante o desenvolvimento do projeto.
A Adriano Adriano Arlei de Carvalho, que me ajudou imensamente
na implementao do simulador.
A todos os meus colegas que me acompanharam durante todo o curso.
ix
x
Resumo
Computao Quntica: Fundamentos Fsicos e
Perspectivas
O interesse na Computao Quntica surge devido ao avano de tc-
nicas de manipulaes de sistemas nanoscpicos. Avano esse que
proporcionou que idias de manipulao quntica de informao pu-
dessem ser implementadas, inicialmente apenas em nvel de labora-
trio. Procuraremos aqui dar uma viso geral, e logo a seguir um
embasamento terico que est por trs do Processamento Quntico.
1
2
Captulo 1
Introduo
Como todas as simples, mas profundas, idias na cincia, levou tempo para
que se notasse a conexo entre os conceitos de informao e computao e as pro-
priedades de sistemas fsicos microscpicos, propriedades como emaranhamento
e superposio coerentes de estados distintos esto presentes nos fundamentos da
mecnica quntica, e sempre foram considerados aspectos mais estranhos desta
teoria.
O reconhecimento de que a informao, muito mais que um conceito matem-
tico abstrato, uma propriedade de sistemas fsicos, levou a enormes avanos na
interpretao conceitual da Mecnica Quntica.
Coma utilizao da Computao Quntica a reduo de tempo necessrio para
executar certas tarefas de tal ordem que alguns problemas que levariam tempos
impraticveis emsupercomputadores podemser resolvidos emtempos normais em
computadores qunticos, ou seja, problemas praticamente insolveis para compu-
tao clssica passam a ser solveis em computao quntica.
1.1 Mecnica quntica
A teoria quntica , sem dvida, o maior avano da fsica no sculo XX, tendo
representado o que se costuma chamar de uma revoluo cientca. Ao contrrio
da Mecnica Clssica, a Mecnica quntica possui caractersticas intrinsicamente
probabilsticas.
Esta indeterminao diferente daquela que surge na Mecnica Estatstica
Clssica, que proveniente de um conhecimento incompleto sobre o sistema em
questo. Um sistema quntico probalstico intrinsicamente, ou seja, no existe
nenhuma varivel que desconhecemos, o fato que prprio sistema no sabe o
valor das grandezas fsicas a ele associadas.
Coloquialmente costuma-se descrever a Mecnica Quntica como uma teoria
na qual nada o que parece, ou o que o senso comum ou a fsica de Newton levam
a acreditar. As coisas mudam quando se olha para elas. Os objetos se comportam
de modo imprevisvel. De acordo com o princpio da incerteza, que emerge da
teoria quntica, nada pode ser medido to precisamente quanto se deseja, pois o
simples fato de medir afeta o estado daquilo que se mede.
Toda essa estranheza pode ser formulada precisamente, com base numa es-
trutura matemtica coerente e extremamente elegante, como veremos mais tarde.
Da teoria quntica ainda surge o princpio da dualidade partcula-onda. Se-
gundo este princpio, um eltron, por exemplo, pode comportar-se como partcula
e as vezes como onda.
Por outro lado, toda onda possui uma partcula associada. O fsico Richard
Feynman usava um bom exemplo para explicar esta questo. Imagine luz sendo
reetida por um espelho. Nenhum espelho perfeito, deste modo apenas 95 %
desta luz reetida pelo espelho e os outros 5% o atravessam, ou absorvido ou
perdido.
Classicamente esta era uma situao completamente aceitvel. Porm, sabe-se,
da descoberta de Planck, que a luz dividida em pacotes, ou quanta, chamados f-
tons. Estes ftons so indivisveis. Desta forma, um fton deve ser completamente
absorvido ou reetido. No possvel que um fton seja parcialmente reetido e
parcialmente absorvido. Ento, conclui-se que 19 ftons de 20 so reetidos pelo
espelho e o outro absorvido. Mas como saber qual absorvido e quais so ree-
tidos? No possvel saber. Um fton tem 95% de chance de ser reetido e 5% de
chance de ser absorvido. No h nenhuma regra ou propriedade secreta do fton
que possa predizer seu comportamento. A imprevisibilidade inata.
1.2 Computao quntica
1.2.1 O que computao quntica
Um computador quntico em prncipio, um dispositivo que usa as leis da
Mecnica Quntica para processar informao. A principal vantagem de um com-
putador quntico o chamado paralelismo quntico. Este baseado numa das
propriedades mais estranhas da Mecnica Quntica, a superposio coerente de
estados distintos. Em vez de um-ou-outro, como na lgica digital, um bit quntico
poderia ser ambos-e, ou seja, representar 0 e 1 ao mesmo tempo. Esses qubits
4
poderiam existir simultaneamente como uma combinao de todos os nmeros de
dois bits possveis quando se tm dois qubits. Adicionando um terceiro qubit,
pode-se ter a combinao de todos os nmeros de trs bits possveis. Esse sistema
cresce exponencialmente. Com isso, uma coleo de qubits poderia representar
uma leira de nmeros ao mesmo tempo, e um computador quntico poderia pro-
cessar toda uma entrada de dados simultaneamente.
1.2.2 Histria
O interesse pela computao quntica teve incio quando Feynman apontou,
em 1982, que os sistemas clssicos no seriam capazes de modelar ecientemente
os sistemas qunticos e que estes s poderiam ser modelados utilizando outro sis-
tema quntico. Feynman sugeriu que computadores baseados nas leis da mecnica
quntica ao invs das leis da fsica clssica poderiam ser usados para modelar sis-
temas qunticos. Deutsch foi o primeiro a levantar o questionamento de uma real
maior capacidade de processamento dos computadores qunticos em relao aos
clssicos em 1985. Com esta questo, ele estendeu a teoria da computao e ainda
mais com o desenvolvimento dos conceitos de um computador quntico universal
e da mquina quntica de Turing [Deutsch (1985)]. Foi ele tambm o primeiro a
publicar um algoritmo quntico, o Problema de Dois Bits de Deutsch, em 1989.
Este algoritmo poderia responder se uma funo balanceada ou constante em
apenas um passo, enquanto em computao clssica precisa de no mnimo dois.
At 1990, computao quntica era apenas uma curiosidade.
Isto s mudou quando, em 1994, Shor publicou o seu algoritmo quntico que
resolve o problema de fatorao de nmeros
inteiros grandes[Shor (1994)]. Com este algoritmo, um nmero seria fatorado
muito mais rapidamente do que com mquinas clssicas e por isso cou conhe-
cido como "killer application". A fatorao de nmeros grandes a base de alguns
sistemas de criptograa, como, o RSA (em homenagem a Ronald Rivest, Adi Sha-
mir e Leonard Adelman, os primeiros a propor o mtodo em 1978). Deste modo,
o algoritmo de Shor passou a despertar interesse em vrios setores da comunidade
cientca.
A partir desse interesse, surgiram outros algoritmos qunticos, tais como o al-
goritmo para logaritmos discretos de Shor, outro de fatorao de
Jozsa[Jozsa (1997)], entre outros. Enquanto o nmero de algoritmos qunticos
crescia, os esforos no sentido de produzir um hardware quntico tambm aumen-
tavam. Tcnicas como ressonncia nuclear magntica (NMR) e armadilha de ons
so usadas com sucesso no desenvolvimento de sistemas com 3 e 5 qubits.
5
No Apndice B so apresentados alguns do principais centros de pesquisa na
rea de Computao Quntica.
1.2.3 Aplicaes
Na maioria dos esquemas atuais de criptograa, incluindo esquemas utiliza-
dos para enviar nmeros de carto de crdito e outras informaes sensveis pela
Internet, um bisbilhoteiro pode decifrar o cdigo de uma determinada mensagem
simplesmente fatorando um nmero muito grande. A fatorao de nmeros peque-
nos trivial; crianas de escola primria aprendem que 12 = 2 x 2 x 3. Entretanto
fatorar nmeros grandes um dos problemas mais difceis na cincia da computa-
o. No importa quo inteligente seja o algoritmo, na realidade o tempo exigido
para fatorar nmeros cada vez maiores cresce exponencialmente. V alm de al-
gumas centenas de dgitos e mesmo a capacidade das mquinas mais modernas no
mundo ser superada. O tempo de fatorao exceder o tempo de existncia do
universo. Ou melhor, isso aconteceria com um computador convencional.
Shor provou que um computador quntico poderia fatorar nmeros grandes
num prazo que aumenta somente algumas potncias do tamanho do nmero. Cres-
cimento rpido, certamente, mas nem tanto. Um computador convencional pre-
cisaria rodar por bilhes de anos para fatorar um nmero de 400 dgitos. Uma
mquina quntica poderia fazer o servio em cerca de um ano. A implicao era
que cdigos "indecifrveis"poderiam ser agora decifrados. e com este anncio a
Agncia de Segurana Nacional, o Pentgono, a comunidade de criptograa e toda
a comunidade de computao acordaram para o fato de que a computao quntica
no era mais um domnio exclusivo dos tericos. Peter Shor estava mostrando a
possibilidade de uma aplicao real e importante.
1.3 Motivao
Desde muito novo, eu sempre gostei de fsica, principalmente astronomia.
Cheguei a iniciar do curso de sica na UFMG(Universidade Federal de Minas
Gerais). Eu j havia tido contato com computao quntica quando eu estudava na
UFMG. Mas na poca tal tal teoria no passava de especulao cientcas.
H aproximadamente um ano, eu comecei a ler vrios artigos sobre o tema.
E isso despertou em mim um interesse de estudar o assunto, pois aliava mecnica
quntica e computao, cincias que eu sempre admirei.
O tema muitssimo interessante e alm disso talvez estejamos, em matria
6
de tecnologia, em frente maior descoberta de todos os tempos; talvez, em frente
a uma tecnologia de diclima implementao que pode cair no esquecimento. O
fato que, hoje, essa tecnologia pode ser inegavelmente considerada revolucio-
nria, j que comeou-se a demonstrar a possibilidade de soluo para problemas
de alta complexidade, o que computadores digitais clssicos no fariam. Quando
entramos no mundo da computao quntica e conseqentemente da fsica qun-
tica, temos, no entanto, encontrado mais problemas do que solues. Estamos na
pr-histria da computao quntica, e a idia de supercomputadores, ou mesmo
laptops qunticos uma fantasia innitamente distante No h como negar entre-
tanto, que foi dado o primeiro passo.
1.4 Objetivos
Nesta monograa foram abordados os principais fundamentos tericos que es-
to por trs da Computao Quntica. Foram apresentados todos os aspectos im-
portantes da Mecnica Quntica: seus principais postulados e outras partes que
so importantes para o entendimento do funcionamento do processamento qun-
tico. E tambm como essa teoria aplicada no desenvolvimento do Computador
Quntico. Ser apresentado o que h de mais recente na Computao Quntica,
como: os algoritmos j desenvolvidos, as aplicaes e as perspectivas de futuro
para essa tecnologia. Durante o projeto desenvolvemos um simulador de evoluo
temporal de um sistema quntico de dois niveis, a base para o desenvolvimento de
qualquer algoritmo quntico.
1.5 Descrio do contedo da monograa
A monograa dividida em 7 capitulos, alm de dois apndices. Uma breve
descrio apresentada a seguir:
Captulo 1 - Introduo Neste capitulo apresentaremos uma breve descrio in-
formal do que a mecanica quntica. Logo em seguida apresentaremos o
conceito de computao quntica, seus aspectos histricos e aplicaes.
Capitulo 2 - Breve introduo mecnica quntica Aqui abordadoremos os as-
pectos mais formais da mecnica quntica: como por exemplo os postulados
e ferramentas matemticas.
7
Captulo 3 - Implementao dos computadores qunticos Neste captulo apre-
sentaremos as principais abordagens para a implementao dos computado-
res qunticos.
Capitulo 4 - Metodologia Aqui apresentados os mtodos utilizados para o desen-
volvimento do projeto
Captulo 5 - Evoluo temporal e medida de um qubit Apresentaremos aqui os
resultados da evoluo temporal e discutiremos os resultados.
Captulo 6 - Concluses Discutiremos aqui os resultados da pesquisa os resulta-
dos obtidos durante o projeto.
Captulo 7 - Referncias bibliogrcas Apresentaremos neste captulo as refe-
rncia bibliogrcas utilizadas.
Apndice A - Suplemento Matemtico Neste apndice apresentaremos alguns as-
pectos mais formais da estrutura matemtica da mecnica quntica.
Apndice B - Centros de pesquisa Neste apndice apresentaremos os principais
centros de pesquisa na rea de computao quntica.
8
Captulo 2
Breve introduo mecnica
quntica
A mecnica quntica a teoria que descreve corretamente o comportamento
fsico de sistemas microscpicos, como tomos e molculas. Qualquer sistema
com tamanho na escala dos Angstrons ( 1 = 10
10
m) sofre a inuncia de efeitos
qunticos.
2.1 Estado
Umestado de umsistema clssico (governado pela mecnica newtoniana) ca-
racterizado por valores bem denidos das grandezas fsicas mensurveis. Posio,
velocidade, energia, todas tm valores bem denidos a todo instante. Determinar
o estado de um sistema quntico corresponde a especicar probabilidades de en-
contrar determinados valores para as grandezas fsicas mensurveis. Existe uma
incerteza intrnseca ao sistema. Essa incerteza descrita matematicamente como
uma superposio coerente de estados distintos. Essa superposio corresponde-
ria, grosso modo, ao sistema estar, ao mesmo tempo, em vrios estados clssicos
diferentes. O estado clssico de uma partcula representado matematicamente
por um ponto no espao de fases, formado pelas componentes da posio e da
velocidade da partcula. Na mecnica quntica, o estado de uma partcula repre-
sentado matematicamente por um vetor num espao vetorial complexo, chamado
espao de Hilbert.
Para descrever esta situao pouco usual com preciso, necessitamos de fer-
ramentas matemticas diferentes daquelas usadas na mecnica clssica. Vamos
apresentar agora, brevemente, a estrutura matemtica por trs da mecnica qun-
tica.
2.2 Espao de Hilbert
O Espao de Hilbert um espao vetorial H, denido sobre o conjunto dos
nmeros complexos, sendo assim, satisfaz as seguintes propriedades:
1. H um conjunto de objetos chamados vetores, com uma operao de soma
de vetores denida de tal forma que:
i) se dois vetores [f), [g) H, ento a soma [f)+[g) tambm um vetor
de H;
ii) a soma comutativa e associativa: [f)+[g) = [g)+[f) e ([f)+[g))+
[h) = [f) + ([g) +[h))
iii) existe em H um vetor chamado nulo, tal que [f) + 0 = [f) [f) H
iv) Tambm est denida uma operao de produto por escalar de tal
forma que, se , pertencem ao conjunto dos complexos, e [f) e
[g) so elementos de H, ento:
(a) [f) H
(b) ()[f) = ([f))
(c) ( +)[f) = [f) +[f)
(d) ([f) +[g)) = [f) +[g)
(e) 1.[f) = [f)
2. Htem um produto interno, ou seja, pode-se denir uma operao entre dois
vetores [f) e [g) de H que fornece um escalar, denotada por ([f), [g)), que
possui as seguintes propriedades:
i) ([f), [g)) = ([g), [f))

ii) ([f), [g) +[h)) = ([f), [g)) + ([f), [h))

iii) ([f), [g)) = ([f), [g))
iv) ([f), [g)) =

([f), [g))
v) ([f), [f)) 0, e ([f), [f)) = 0 se e somente se [f) = 0 (vetor nulo).
10
Usa-se com bastante frequncia uma notao mais conveniente para o produto
interno ([f), [g)) f[g). Esta notao est baseada na denio de um espao
vetorial dual de H. Esta construo matemtica um pouco mais formal, e no
essencial compreenso do que se segue. Deixamos, portanto, sua exposicao para
o apndice A.
A existncia do produto interno em H dota o espao de uma noo natural de
distncia. Diz-se ento que H um espao mtrico. Denimos a norma de um
vetor de H por |[f)| =

f[f).
Dados dois vetores x e y emumEspao de Hilbert H, diz-se que so ortogonais
se seu produto interno zero, ou seja,
x[y) = 0 [x) [y).
Uma base de H o menor subconjunto [e
1
), [e
2
), ...[e
N
) de H que varre o
espao todo, ou seja, qualquer vetor de H pode ser escrito como uma combinao
linear dos vetores deste conjunto:
[) =
N

i=1

i
[e
i
) (2.1)
Dizemos que N a dimenso de H. Se este conjunto for ortonormal, dizemos que
ele uma base ortonormal de H. Bases ortonormais sao muito convenientes para
expressar vetores de H.
2.3 Observveis
Na mecnica quntica, quantidades mensurveis esto associadas a um tipo
especial de operadores lineares que atuam sobre vetores do espao de estados H.
Esses operadores so chamados observveis. Para denir um observvel, precisa-
mos primeiro denir o que umoperador, e depois o que o hermiteano conjugado
de um operador.
Um operador A um mapa linear entre dois espaos de Hilbert. Para a me-
cnica quntica so importantes os operadores lineares que mapeiam o espao de
estados Hno proprio H. Representamos a atuao de um operador A na forma de
"produto":
A : H H
[f) [g) = A[f)
11
Podemos denir o hermiteano conjugado de um operador A da seguinte forma: Se
A[f) = [g), g[h) = f[A

[h), e A

chamado o hermiteano conjugado de A.

Um operador ser um observvel se ele for auto-adjunto, ou seja, A

= A.
Esta propriedade faz com que os auto-valores de H sejam todos reais. Como os
resultados possveis de uma medida so os autovalores do operador A associado
quantidade medida, de se esperar que operadores associados quantidades sicas
tenham apenas autovalores reais, que uma das propriedades dos operadores auto-
adjuntos.
2.4 Medies
Uma outra propriedade importante dos operadores auto-adjuntos que seus
autovetores formam um conjunto ortogonal, que fornece uma base ortonormal
para H
1
. Sendo assim, sempre possvel escrever um estado qualquer de um
sistema quntico em termos dos autovetores de um observvel A. Sejam ento
[a
1
), [a
2
), ...[a
N
) os autovetores de A, associados aos autovalores a
1
, a
2
, ...a
N
.
Se o sistema est num estado qualquer [), sempre podemos escrever [) =

N
i=1

i
[a
i
). Um dos postulados da mecnica quntica diz que, se zermos um
experimento para medir qual valor da grandeza fsica associada ao operador Aque
o sistema possui quando est no estado [), encontraremos o autovalor a
l
com
probabilidade |
l
|
2
. Um outro postulado arma que, aps uma medida, o estado
do sistema passa a ser descrito pelo autoestado de A associado ao autovalor que
foi o resultado da medida. Este fato conhecido como o "colapso do estado qun-
tico". Se novas medidas de A forem feitas, os resultados sero sempre a
l
, com
probabilidade 1.
2.5 Hamiltoniano
O hamiltoniano um operador especial. Ele o observvel associado energia
total do sistema quntico. Sendo assim, seus autovalores so os valores possveis
(ou permitidos) para a energia do sistema. Ofato de que os hamiltonianos de vrios
sistemas sicos apresentam um conjunto discreto de autovalores a manifestao
matemtica da quantizao de energia.
O papel do hamiltoniano ainda mais importante do que fornecer os valores
permitidos de energia do sistema. Ele determina, atravs da equao de Scrdin-
1
A forma precisa desta armacao esta descrita no apndice A
12
ger, a maneira como o sistema quntico evolui no tempo. A equao de Scrhdin-
ger pode ser escrita como
H[(t)) = i

t
[(t)) (2.2)
Mostra-se que a soluo desta equao pode ser escrita como o resultado da apli-
cacao de um operador linear (chamado de operador de evoluo temporal) U(t, t
0
)
sobre o estado inicial do sistema [(t
0
)), [(t) = U(t, t
0
)[(t
0
)).
Se o hamiltoniano do sistema nao depende explicitamente do tempo, o opera-
dor de evolucao temporal U(t, t
0
) dado por:
U(t, t
0
) = e
iH(tt
0
)

(2.3)
O signicado matemtico da exponencial de um operador est explicado no apn-
dice A.
importante notar que a dinmica quntica tem um carter estritamente deter-
minstico, ou seja, dado que o sistema encontra-se inicialmente num[(0)), existe
uma regra para determinar precisamente seu estado quntico [(t)) em qualquer
tempo posterior. O carter probabilstico da mecnica quntica est no fato de
que o estado quntico, em qualquer instante, fornece apenas probabilidades de
encontrar-se em um determinado valor para uma determinada quantidade fsica.
Isto ca evidente no enunciado do postulado que diz respeito a medidas feitas
num sistema quntico.
Outro aspecto importante da evoluo temporal quntica que ela unitria,
ou seja, a norma do vetor de estado constante no tempo. Isso resulta de uma
propriedade matemtica do operador de evoluo temporal: U

= U
1
. Diz-se
que U um operador unitrio.
2.6 Postulados da mecnica quntica
Embora j tenhamos mencionado alguns dos postulados da Mecnica Qun-
tica, vamos sumariz-los aqui para melhor compreenso.
Postulado 1
O estado de um sistema quntico descrito por um vetor pertencente a um
espao de Hilbert.
13
Postulado 2
Acada grandeza fsica mensurvel corresponde umoperador linear hermiteano
que atua sobre um espao de Hilbert, chamado de observvel.
Daqui por diante nos referiremos grandeza fsica e ao seu observvel asso-
ciado indistintamente. Ficar sempre claro, pelo contexto, sobre qual dos dois
estaremos falando.
Postulado 3
Os resultados possveis de uma medio do observvel G so os autovalores
de G, ou seja as solues da equao:
G[
i
) = g
i
[
i
) (2.4)
Postulado 4
Se [(t)) representa o estado quntico normalizado de um sistema no instante
t, ento o valor mdio do observvel G nesse instante :
G) = [G[) (2.5)
Postulado 5
A equao de Schrdinger a equao fundamental da mecnica quntica, no
mesmo sentido que a segunda lei do movimento constitui a equao fundamental
da mecnica newtoniana. Ela nos d a assistncia necessria para conhecermos
a forma do estado quntico [(t)), caso seja conhecida a fora que atua sobre a
partcula associada, especicando a energia potencial correspondente. Em outras
palavras, o estado quntico uma soluo da equao de Schrdinger para aquela
energia potencial. De fato, a equao de Schrdinger uma equao diferencial,
i
[)
t
=

H[), (2.6)
Onde H = T +V , sendo T operador de energia cintica e V o operador de energia
potencial do sistema.
14
2.7 Qubit
O bit o conceito fundamental da computao clssica e da informao cls-
sica. Ele pode assumir dois estados - 0 ou 1. Pode-se pensar num bit clssico
como sendo um sistema fsico clssico de dois nveis. A Computao Quntica e
a Informao Quntica so construdas sobre um conceito anlogo, o bit quntico,
ou qubit. Ao contrrio de seu anlogo clssico, o bit quntico pode estar numa
innidade de estados, representados por superposies coerentes dos estados [0)
e [1). Em outras palavras, um bit quntico qualquer sistema quntico de dois
nveis. Dois possveis estados para um qubit so os estados [0) e [1). O estado de
um qubit pode ser representada por uma combinao linear de estados, chamada
superposio coerente:
[) = [0) +[1) (2.7)
Os nmeros e so nmeros complexos. O estado de um qubit um vetor
num espao de Hilbert de duas dimenses. Os estados especiais [0) e [1) formam
uma base ortonormal para para o espao de estados.
Os estados [0) e [1) so autoestados de algum observvel do sistema quntico
de dois nveis que escolhemos para representar o qubit. Por convenincia, e para
manter compatibilidade com a linguagem normalmente usada em computao, di-
zemos que os autovalores associados a esses dois estados so 0 e 1, respectiva-
mente.
Quando feita a medida medida deste observvel possvel encontrar ou o
valor 0, com probabilidade [[
2
ou o valor 1, com probabilidade [[
2
. Natural-
mente [[
2
+[[
2
= 1, pois a soma das probabilidades deve ser igual a um. Alm
disso, exceto quando = 0 ou = 0 a medida causa distrbios no estado. Mais
uma diferena entre os bits clssicos e os qubits que os bits clssicos podem ser
medidos e manipulados sem sofrerem distrbios.
2.8 Paralelismo quntico
a principal vantagem dos computadores qunticos em relao aos compu-
tadores clssicos. O paralelismo quntico permite aos computadores qunticos
avaliarem uma funo f
(
x) para muitos valores diferentes de x simultaneamente.
Devido ao chamado paralelismo quntico, a computao quntica promete
uma revoluo na maneira de lidar problemas comumente intratveis na com-
putao clssica. O funcionamento dos componentes dos computadores atuais
15
baseado nas propriedades qunticas da matria, contudo, os bits, unidades funda-
mentais de processamento, so clssicos, dado que podem estar apenas no estado
[0) ou no estado [1). Em contraposio, os bits de um computador quntico, ou
quBits, poderiam ser colocados em estados que so superposies coerentes do
estado [0) e do estado [1).
Suponha que f
(x)
: 0, 1 0, 1 seja uma funo que mapeia um nico bit
x para um unico bit f
(x)
.
Um modo conveniente de computar esta funo em um computador quntico
considerar um computador quntico de dois dois qubits que comea no estado
[x, y). Comuma apropriada sequncia de portas lgicas possvel transformar este
estado em [x, y f
(x)
), onde indica adio mdulo 2; o primeiro registrador
chamado de registrador de dados , e o segundo registrador de registrador alvo. A
transformao U
f
denida como:
[x, y) [x, y f
(x)
), (2.8)
e fcil notar que uma transformao unitria. Se y = 0, ento o estado nal do
segundo qubit apenas f
(x)
.
Se aplicarmos U
f
s entradas x =
|0+|1

2
e y = [0) obteremos o seguinte
estado:
[0, f
(0)
) +[1, f
(1)
)

2
(2.9)
X preparado aplicando-se a porta Hamadard
2
a entrada [0).
Este um estado extraordinrio! Os diferentes termos contm informao so-
bre f
(0)
e f
(1)
; como se tivssemos avaliado f
(x)
para dois valores de x simulta-
neamente, uma caracterstica conhecida como paralelismo quntico. Diferente do
paralelismo clssico, onde mltiplos circuitos, cada um construdo para computar
f
(x)
, so executados simultaneamente, aqui um nico circuito f
(x)
empregado
para avaliar a funo para mltiplos valores de x ao mesmo tempo, ao explorar a
habilidade de um computador quntico para estar em superposies de diferentes
estados.
Este procedimento pode facilmente ser generalizado para funes em um n-
mero arbitrrio de bits, ao usar uma operao geral conhecida como a transfor-
mada de Hamadard, ou algumas vezes como transformada de Walsh-Hamadard.
2
A porta Hamadard denida como:
H
1

1 1
1 1

.
16
Esta operao apenas n portas Hamadard agindo em paralelo em n qubits. Ns
escrevemos H
2
para denotar a ao paralela de de duas portas Hamadard, e
deve ser lido como produto tensorial
3
. Mais geralmente, o resultado de processar
a transformada de Hamadard em n qubits, todos inicialmente no estado [0) :
1

2
n

x
[x), (2.10)
onde a soma sobre sobre todos os valores possveis de x, e escreve-se H
n
para
denotar esta ao. Isso , a transformada de Hamadard produz uma superposio
uniforme de todos os estados da base computacional: [0), [1) . Alm disso, faz
isto de modo extremamente eciente, produzindo uma superposio de 2
n
estados
usando apenas n portas.
A evoluo paralela quntica de uma funo com uma entrada de n bits x e
uma sada de um bit, f
(x)
, pode ento ser preparada da seguinte maneira: prepara-
se os n + 1 estados do qubit [0)

[0), ento aplica-se a transformada de Hamadard

para os n primeiros qubits em seguida aplica-se U
f
. Isto produz o estado:
1

2
n

x
[x)[f
(x)
). (2.11)
O paralelismo quntico possibilita que todos os valores de uma funo f sejam
avaliados simultaneamente, sendo que f avaliado apenas uma vez. Contudo este
paralelismo no imediatamente til. Para o caso do qubit dado como exemplo, a
medida d somente [0, f
(0)
) ou [1, f
(1)
)! Similarmente, no caso geral a medida
do estado

x
[x)[f
(x)
) d somente f
(x)
para um nico valor de x. A computao
quntica requer alguma coisa mais do que paralelismos quntico para ser til; ela
requer a habilidade para extrair a informao sobre mais de um valor de f
(x)
da
superposio

x
[x)[f
(x)
). necessria, ento a elaborao de algoritmos qunti-
cos que aproveitem o paralelismo. Estes algoritmos correspondem a um conjunto
de operaes unitrias aplicadas sobre os qubits da computao quntica, seguidas
por medidas de observveis cuidadosamente escolhidos.
2.8.1 O algoritmo de Deutsch
David Deutsch[Nielsen e Chuang, 2000] deu um exemplo concreto sobre as
possibilidades e vantagens de um computador quntico, em 1985. Deutsch enfa-
3
Ver Apndice A
17
tizou que um computador quntico poderia realizar melhor seu potencial compu-
tacional se utilizasse o chamado paralelismo quntico. Para entender o que isso
signica, considere o exemplo a seguir.
Seguindo a idia de Deutsch, imagine que se tenha uma caixa preta que com-
puta uma funo que mapeia um simples bit x para um simples bit f(x). No se
conhece o que ocorre dentro da caixa, mas suponha algo complicado o suciente
para que sua computao consuma 24 horas. H quatro possibilidades de funes
para f(x) pois f(0) pode ser 0 ou 1 e, por sua vez, f(1) pode, tambm, ser 0 ou
1. No se sabe o valor que a caixa preta est computando. Logo, gasta-se 48 horas
para que f(0) e f(1) sejam calculadas.
Suponha, agora, que o objetivo seja saber se f(x) constante com f(0) =
f(1) ou balanceada com f(0) ,= f(1). Considere agora que no se tenha 48 horas
disponveis para tal atingir tal objetivo; precisa-se de uma resposta em 24 horas.
Agora suponha que se tenha uma caixa preta quntica capaz de computar f(x).
De fato, f(x) pode no ser uma funo inversvel, enquanto a ao deste compu-
tador quntico unitria e precisa ser inversvel. Assim, preciso uma transfor-
mao Uf que leve 2 quBits em outros dois quBits:
U
f
: [x)[y) [x)[y f
(x)
). (2.12)
A operao y f
(x)
a operao de xor binria.
Esta mquina troca o segundo quBit se f atua no quBit 1 resulta em 1 e se f
atua no quBit 2 resulta em 0. Claramente, pode-se concluir que a a funo f(x)
constante ou balanceada utilizando-se a caixa-preta duas vezes. Mas isto ainda
tomaria 48 horas para faz-lo. Logo, isto no ser feito. Este o problema de
Deutsch.
Pelo fato de a caixa preta ser um computador quntico, pode-se escolher a
entrada como sendo uma superposio de [0) e [1). Se o segundo quBit for inici-
almente preparado no estado:
1

2
([0) [1)), ento:
U
f
: [x)
1

2
([0) [1)) [x)
1

2
([f
(x)
) [1 f
(x)
))
= [x)(1)
f(x)
1

2
([0) [1)).
Deste modo, isolou-se a funo f em uma fase dependente de x. Agora supo-
nha que o primeiro quBit tenha sido preparado no estado:
1

2
([0) [1)). Ento a
caixa preta atuar como:
18
U
f
:
1

2
([0) +[1))
1

2
([0) [1))
1

2
[(1)
f(0)
[0) + (1)
f(1)
[1)]
1

2
([0) [1)).
Finalmente, pode-se fazer uma medida que projeta o primeiro quBit sobre a
base:
[) =
1

2
([0) [1))
Evidentemente, sempre ser obtido [+) se a funo balanceada, e [) se a
funo constante
4
. Com esta abordagem o problema de Deutsch foi resolvido e
agora possvel fazer uma separao entre o que os computadores clssicos e os
qunticos podem atingir. Um computador clssico precisa executar a caixa preta
duas vezes para comparar duas funes unrias e classic-las como contantes
ou balanceadas. Por outro lado, um computador quntico faz a mesma tarefa em
apenas um passo. Realmente um ganho considervel. Isto possvel porque os
computadores qunticos no so limitados a trabalhar com funes f(0) ou f(1).
Eles podem atuar em uma superposio dos estados [0) e [1), e, atravs disso,
extrair uma informao global sobre a funo, informao esta que depende de
f(0) e f(1) correlacionando-as. .
2.9 Decoerncia
Os sistemas estudados no so, em geral, isolados. O maior problema para
construir computadores do qunticos a decoerncia, a distoro do estado qun-
tico devido interao com o ambiente. A inevitvel interao entre esses sistemas
e o ambiente que os cerca tem como efeito a destruio das caractersticas qunti-
cas classicamente ausentes dos fenmenos em questo.
4
Geralmente a medida nal de uma computao quntica projeta cada quBit sobre a base
{|0, |1}. Entretanto, aqui foi permitido uma medida em uma base diferente. Para proceder como
anteriormente, sem perda de generalidade, basta aplicar uma mudana unitria da base para cada
quBit antes de fazer a medida nal.
19
2.10 Spin do eltron
O spin uma propriedade intrnseca de vrias partculas subatmicas. Mate-
maticamente, esta propriedade tem todas as caractersticas de um momento angu-
lar, embora no se possa associar a ela nenhum movimento real de rotao. O spin
um dos observveis qunticos que no possui anlogo clssico.
Ao momento angular de uma partcula carregada eletricamente est sempre
associado um momento magntico, que , no caso do spin, a maneira pela qual
podemos detectar experimentalmente a presena deste momento angular.
O spin surge naturalmente na descrio quntica-relativstica do eltron, repre-
sentada matematicamente pela equao de Dirac [Dirac]. Na mecnica quntica
no-relativstica ele tem que ser introduzido ad hoc. Pauli desenvolveu uma teoria
que permitiu que o spin fosse incorporado Mecnica Quntica no-relativstica
atravs da introduo de vrios postulados suplementares.
Evidncias experimentais da existncia do spin do eltron so numerosas e
aparecem em vrios fenmenos fsicos importantes. Por exemplo, as proprieda-
des magnticas de vrias subtncias, particularmente de metais ferromagnticos,
podem somente ser explicadas se o spin do eltron for levado em conta.
Logo a seguir sero descritos alguns fenmenos observados experimental-
mente em fsica atmica: a estrutura na de linhas espectrais e o efeito Zeeman
Anmalo.[Cohen, 1977]
A Estrutura na das linhas espectrais
O hamiltoniano de um eltron num tomo, como o hidrognio, por exemplo,
tal que os nveis de energia permitidos formam um conjunto discreto, separados
por energias proibidas, e esta separao pode ser calculada a partir dos autovalores
do hamiltoniano. Sendo assim, espera-se, a princpio, que uma medida espectros-
cpica revele linhas bem denidas, com a separao prevista pelo hamiltoniano
do sistema. Entretanto, com aparelhos de boa resoluo, possvel mostrar que
as linhas previstas pelos autovalores do hamiltoniano sem spin subdividem-se em
sub-linhas, cujo espaamento em energia muito menor do que o espaamento
entre as linhas originais. A existncia destas subdivises explicada pela existn-
cia do spin, e sua interao com o momento magntico orbital.
20
Efeito Zeeman
Quando um tomo colocado em um campo magntico uniforme, cada um de
seus nveis de energia, divide-se em dois nveis equidistantes em energia do nvel
original, sendo a distncia proporcional ao campo magntico. Este fenmeno pode
ser explicado supondo-se a existncia do spin. Sabe-se que toda partcula que
possui momento angular possui um momento magntico associado; no caso do
eltron, o momento magntico associado ao spin :
M =

B

(2.13)
onde
B
o magneton de Bohr:

B
=
q
2m
e
(2.14)
Este momento magntico interage com um campo magntico aplicado, de tal
forma que a energia desta partcula depende da orientao do seu momento an-
gular com relao ao campo magntico, da a duplicao do nmero de nveis de
energia."
O experimento de Stern-Gerlach
O experimento consiste em estudar a deexo de um feixe de tomos par-
magnticos neutros (neste caso tomos de prata) em um campo magntico no-
homogneo. O aparato usado mostrado na Figura 2.1.
tomos de prata contidos em uma fornalha E, que aquecida a alta tempera-
tura, atravessam uma pequena abertura e propagam-se em linha reta em alto vcuo
que existe dentro de todo o aparato. Uma fenda de observao F seleciona os to-
mos cuja velocidade paralela a uma direo que ns escolheremos como sendo o
eixo O
y
. O feixe atmico ento construdo atravessa o vcuo de um eletromagneto
A antes de se condensar em uma placa P.
Vamos descrever as caractersticas do campo magntico B produzido pelo ele-
tromagneto A. Este campo magntico tem um plano de simetria (que ns designa-
remos por yOx) que contm a direo inicial O
y
do feixe atmico. No vcuo ele
o mesmo em todos os pontos situados em qualquer linha paralela a O
y
. B no tem
nenhum componente em O
z
. Seu maior componente ao longo de O
x
; ele varia
fortemente com x.
No Experimento de Stern-Gerlach vericou-se que o feixe de tomos de prata
dividido simetricamente em dois. Estes resultados sugerem que j (momento
21
Figura 2.1: O experimento de Stern-Gerlach
angular orbital) pode assumir valores semi-inteiros. Mas a teoria armava que o
momento angular orbital de uma partcula deveria somente ser inteiro. At mesmo
em tomos com vrios eltrons, cada um destes tem um momento angular orbital
inteiro. A existncia de momento angular semi-inteiro no pode ser explicado com
o auxlio de hipteses suplementares.
2.10.1 O operador de spin
As evidncias experimentais apontam, ento, para a existncia de ummomento
angular intrnseco ao eltron, chamado spin, que no est associado a nenhum mo-
vimento real de rotao. Este momento angular uma grandeza fsica mensurvel
e, como tal, deve ter um observvel associado. A idia principal da formulao
no-relativstica do spin que os obervveis associados ao spin devem ter a mesma
estrutura matemtica do operador de momento angular orbital. Isso signica que,
primeiro, o operador de spin deve ser um vetor de trs componentes (todas opera-
22
dores), e essas componentes devem obedecer s seguintes relaes de comutao:
[S
x
, S
y
] = iS
z
, (2.15)
e permutaes cclicas. Pode-se mostrar que um operador que obedece s relaes
de comutao acima pode possuir autovalores inteiros (n=1,2,...) ou semi-inteiros
((2n+1)/2, n=1,2,...). De fato, verica-se que existem partculas cujo spin in-
teiro, que so chamadas de bsons, e outras cujo spin semi-inteiro (chamadas
frmions). O eltron um frmion, com spin 1/2; os valores possveis do spin ao
longo de uma dada direo no espao so, portanto, 1/2. Esta caracterstica faz
com que o spin do eltron seja um excelente candidato a qubit: ele o prottipo
de um sistema quntico de dois nveis. A estrutura matemtica do espao de esta-
dos de qualquer sistema de dois nveis idntica do espao de estados do spin
eletrnico.
23
24
Captulo 3
Implementao dos
computadores qunticos
Vrios estudos tm sido feitos no sentido de conseguir uma implementao
plausvel e til de um computador quntico [Preskill, 2002].
Para se conseguir construir o hardware para um computador quntico, ne-
cessrio uma tecnologia que possibilite a manipulao de quBits. O hardware
precisar se adequar a alguns requisitos severos:
Armazenamento. Os quBits precisam ser armazenados por perodos de
tempo sucientes para completar computaes interessantes.
Isolamento. Os quBits precisam estar isolados do ambiente, para minimizar
erros por decoerncia.
Leitura. Os quBits precisam permitir sua leitura de forma eciente e con-
vel.
Portas lgicas. necessrio a possibilidade de manipulao de quBits in-
dividuais. Deste modo, para permitir interaes controladas entre quBits
necessrio a construo de portas lgicas qunticas.
Preciso. As portas lgicas qunticas precisam ser implementadas com alta
preciso se o dispositivo for para clculos conveis.
A seguir sero apresentadas trs abordagens para implementao de um com-
putador quntico que esto sendo investigados presentemente.
25
3.1 Armadilha de ons
Um meio possvel para atingir os requisitos citados foi proposto por Ignacio
Cirac e Peter Zoller[CZ95] e tem sido continuado pelo grupo de pesquisas de
Dave Wineland no National Institute for Standards and Technology, NIST, nos
EUA[WMI
+
]. Neste esquema, cada quBit representado por um on aprisionado
em uma armadilha linear de Paul.
O estado quntico vibracional de cada on uma combinao linear do estado
fundamental [g) (interpretado como [0) ) e um estado excitado metaestvel (de
longa durao) [e) (interpretado como [1) ). Uma combinao linear coerente
destes dois nveis,
a[g) +be
iwt
[e), (3.1)
pode sobreviver por um tempo comparvel a uma vida inteira de um estado ex-
citado (apesar de que as fases relativas oscilam devido diferena de energia
entre os nveis). Os ons so to bem isolados que decaementos espontneos po-
dem ser a forma dominante de decoerncia.
relativamente fcil ler os ons atravs de sua medida que faz a projeo sobre
a base [g), [e). Um laser sintonizado para uma transio a partir do estado [g)
para um estado excitado de vida curta [e/).
Quando o laser ilumina os ons, cada quBit no estado [0) repetidamente ab-
sorve e reemite a luz do laser, assim ele uoresce. Por outro lado, os quBits no
estado [1) permanecem escuros.
Devido sua repulso mtua de Coulomb, os ons so sucientemente bem
separados de modo que eles podem ser individualmente endereados por pulsos
de laser. Se um laser sintonizado para a freqncia da transio e focado no
n-simo on, ento as oscilaes de Rabi[Nielsen e Chuang, 2000] esto induzidas
entre [0) e [1) . Atravs da determinao correta do tempo de durao do pulso do
laser e pela escolha da fase apropriada para este, os pulsos de laser podem preparar
qualquer combinao linear de [0) e [1).
No entanto, a parte mais complicada no projeto e construo de um hardware
para computao quntica tomar dois quBits e faz-los interagir um com o outro.
Na armadilha de ons, as interaes aparecem devido s repulses de Coulomb
entre os ons. Devido repulso mtua, h um espectro de modos normais de
vibrao para os ons aprisionados pela armadilha. Quando os ons absorvem ou
emitem um fton, o centro de massa do on recua. Todavia, se o laser correta-
mente direcionado, ento quando um nico on absorve ou emite um fton, um
26
modo normal envolvendo muitos ons ir recuar coerentemente. Isto conhecido
como efeito Mssbauer.
O modo vibracional de freqncia mais baixa, , o modo de centro de massa
(cm), em que os ons oscilam em fase, lockstep na armadilha. Os ons podem
ser resfriados pelo laser para uma temperatura muito menor que , assim, cada
modo vibracional ir, provavelmente, ocupar seu estado fundamental mecnico-
quntico. Agora imagine que o laser seja sintonizado para a freqncia ( )
iluminando o n-simo on. Para uma durao de pulso propriamente escolhido o
estado [e)
n
ir transformar-se para [0)
n
, enquanto o oscilador de centro de massa
far uma transio do estado fundamental [0)
cm
para seu primeiro estado excitado
[1)
cm
, assim um fnon
1
produzido. Entretanto, o estado [g)
n
[0)
cm
no estar na
ressonncia para qualquer transio e, deste modo, no estar afetado pelo pulso.
Assim, o pulso de laser induz uma transformao unitria atuando como:
[g)
n
[0)
cm
[g)
n
[0)
cm
,
[e)
n
[0)
cm
i[g)
n
[1)
cm
Esta operao remove um bit de informao que inicialmente armazenado no
estado interno do n-simo on, e deposita este bit no estado coletivo de movimento
de todos os ons.
Isto signica que o estado de movimento do m-simo on (m ,= n) foi inuen-
ciado pelo estado interno do n-simo on. Neste sentido, houve sucesso na induo
de interao entre os ons. Para completar a porta lgica quntica, precisa-se po-
der transferir a informao quntica do centro de massa de um fnon de volta para
o estado interno eletrnico de um dos ons. O processo pode ser implementado
j que modo centro de massa sempre retorna seu estado fundamental )
n
[0)
cm
na
concluso da implementao da porta lgica. Por exemplo, Cirac e Zoller[CZ95]
mostraram que a porta lgica quntica XOR
[x, y) [x, y x) (3.2)
pode ser implementada em uma armadilha de ons com um total de 5 pulsos de
laser.
Na Tabela 3.1 apresentamos um resumo da implementao de um computador
quntico, utilizando-se uma armadilha de ons.
1
Um fnon um quantum de energia vibracional
27
QUADRO-RESUMO
1. Representao do quBit. Estados hipernos de um tomo, spins nucleares,
e o menor nvel vibracional, fnons, de tomos aprisionados nas armadilhas
2. Evoluo unitria. Transformaes arbitrrias so construdas a par-
tir da aplicao de pulsos de laser que externamente manipulam o estado
atmico, numa interao conhecida na literatura como interao de Jaynes-
Cummings[Nielsen e Chuang, 2000]. A interao entre os quBits feita atra-
vs de estados de fnons compartilhados.
3. Preparao do estado inicial. Resfriar os tomos (por aprisionar e usar
extrao tica) dentro de seus estados base de movimento, e estados base hi-
pernos.
4. Leitura. Mede-se as populaes dos estados hipernos.
5. Desvantagens.
a) A durao da vida dos fnons muito pequena.
b) muito difcil preparar os ons em seus estados base de movimento.
c) Os computadores qunticos feitos com armadilhas de ons so, por de-
nio, feitos de dispositivos lentos. A velocidade destes dispositivos
limitada, no nal das contas, pela incerta relao tempo-energia.
Tabela 3.1: Quadro resumo da implementao de um computador quntico atravs da utilizao de
uma armadilha de ons
28
3.2 Eletrodinmica quntica cavidade
Um projeto de hardware alternativo (proposto por Pellizari, Gardiner, Cirac e
Zoller[CPZ96]) est sendo desenvolvido pelo grupo de Jeff Kimble no Caltech,
Instituto de tecnologia da Califrnia[Kimble et al.]. A idia aprisionar vrios
tomos neutros dentro de uma cavidade tica de altssima qualidade. A informa-
o quntica pode, ento, ser armazenada dentro dos estados internos dos tomos.
Contudo, aqui os tomos interagem indiretamente atravs do seu acoplamento com
o modo normal do campo eletromagntico na cavidade (ao invs de modos vi-
bracionais como na armadilha de ons). Novamente, atravs da sintonizao de
transies com pulsos de laser, pode-se induzir a transio em um tomo que est
condicionada ao estado interno de outro tomo.
Outra possibilidade armazenar um quBit no no estado interno de um on,
mas na polarizao de um fton. Ento, um tomo aprisionado pode ser utilizado
como intermedirio capaz de fazer com que um fton interaja com outro fton (ao
invs do fton ser utilizado para acoplar um tomo a outro).
O grupo de Kimble[Kimble et al.] demonstrou a operao de duas portas lgi-
cas qunticas dois anos atrs. Nesta demonstrao, a polarizao circular de um
fton inuencia a fase de outro fton.
[L
1
)[L
2
) [L
1
)[L
2
)
[L
1
)[R
2
) [L
1
)[L
2
)
[R
1
)[L
2
) [L
1
)[L
2
)
[R
1
)[R
2
) e
i
[R
1
)[L
2
) (3.3)
onde [L), [R) denotam os estados do fton com a polarizao esquerda (Left) e
direita (Right). Para atingir esta interao, um fton armazenado na cavidade,
onde o fton com a polarizao [L) no se acopla ao tomo, mas aquele com a
polarizao [R) o faz fortemente. O segundo fton, tambm, interage dando pre-
ferncia a um tomo de acordo com sua polarizao. O pacote de onde do segundo
fton adquire uma fase particular deslocada e
i
apenas se ambos os ftons tm po-
larizao [R). Devido ao fato de o deslocamento de fase ser condicionado pelas
polarizaes de ambos os ftons, esta no uma porta lgica quntica de dois
quBits de fcil construo.
Na Tabela 3.2 apresentamos um resumo da implementao de um computador
quntico, utilizando-se eletrodinmica qutica de cavidade.
29
QUADRO-RESUMO
1. Representao do quBit. Estado eletrnico de tomos em uma cavidade
tica, ou estado de polarizao dos ftons numa cavidade com tomos.
2. Evoluo unitria. Transformaes arbitrrias so construdas a partir de
deslocadores de fase (rotaes R
z
, divisores de luz (rotaes R
y
), e uma cavi-
dade tica, para que o campo tico seja acoplado.
3. Preparao do estado inicial. Cria estados de um fton, atravs da atenua-
o da luz laser.
4. Leitura. Detecta simples ftons nicos utilizando tubos fotomltiplicadores.
5. Desvantagens. O acoplamento de dois ftons mediado por um tomo,
e deste modo, desejvel aumentar o acoplamento com o campo atmico.
Entretanto, acoplar os ftons dentro e fora da cavidade tica difcil e limita o
cascateamento.
Tabela 3.2: Quadro resumo da implementao de um computador quntico atravs da utilizao da
eletrodinmica quntica de cavidade
30
3.3 Ressonncia magntica nuclear
Um terceiro esquema de hardware, inicialmente desacreditado e que mostrou-
se promissor, apareceu h poucos anos e ultrapassou os esquemas de armadilha de
ons e cavidade quntica eletrodinmica para se tornar o mais importante projeto
de processamento quntico coerente. Este novo esquema utiliza a tecnologia de
ressonncia magntica nuclear, RMN. Agora os quBits so os spins nucleares em
molculas particulares. Cada spin pode ser alinhado ( [) = [0) ) ou anti-alinhado
( [) = [1) ) com um campo magntico aplicado constante. Os spins demoram um
longo tempo at relaxar ou tornarem-se decoerentes, assim, os quBits podem ser
armazenados por um tempo razovel.
Pode-se tambm, ligar umcampo magntico oscilatrio intermitente comfreqn-
cia (onde a diferena de energia entre os estados spin-up e spin-down), e
induzir as oscilaes de Rabi[Nielsen e Chuang, 2000] do spin. Atravs da deter-
minao adequada do tempo de pulso, pode-se fazer uma transformao unitria
desejada sobre um nico spin (da mesma forma que discutido nas armadilhas de
ons). Todos os spins na molcula so expostos ao campo magntico oscilatrio
entre si mas apenas aqueles sob ressonncia respondem.
Alm disso, os spins tm interaes dipolo-dipolo, e este emparelhamento
pode ser explorado para se fazer uma porta lgica. A diferena de energia en-
tre [) e [) para um spin depende dos estados dos spins vizinhos.
Tudo isto j era conhecido por qumicos h dcadas. Apesar disso, foi apenas
no ano passado que Gershenfeld e Chuang[GC97] mostraram que a ressonncia
magntica nuclear providenciava uma implementao til para computao qun-
tica. Isto no era bvio por diversas razes. A mais importante que os sistemas
de RMN so muitos quentes. As temperaturas tpicas dos spins podem ser da or-
dem de milhes de vezes maior que a energia entre [0) e [1) . Isto signica que
os estados qunticos deste computador (os spins em uma mlecula ) so muito
ruidosos esto sujeitos a intensas utuaes trmicas aleatrias. Alm disso,
atualmente, pode-se fazer processamento sobre uma molcula apenas. mas pre-
ciso fazer amostras macroscpicas contendo na ordem de 10
23
registradores e o
sinal medido deste dispositivo a media deste grupo. Os algoritmos qunticos so
intrinsicamente probabilsticos, devido proprio natureza da mecncica quntica.
Por conseguinte, calcular a mdia sobre o grupo no equivalente a executar a
computao sobre um nico dispositivo; o clculo da mdia pode obscurecer os
resultados.
Gershenfeld e Chuang[GC97] explicaram como superar estas diculdades.
Eles descreveram como estados efetivos puros podem ser preparados, manipula-
31
QUADRO-RESUMO
1. Representao do quBit. Spins dos ncleos atmicos.
2. Evoluo unitria. Tranformaes arbitrrias so construdas a partir de
pulsos de campos magnticos aplicados aos spins em um campo magntico
forte. Acoplamento entre os spins so providenciados pelos limites qumicos
entre os tomos vizinhos.
3. Preparao do estado inicial. Polarizar os spins por coloc-los em um
campo magntico forte, ento usar tcnicas de preparao de estados efetivos
puros.
4. Leitura. Medir o sinal de voltagem induzido pelo momento magntico
precedente.
5. Desvantagens. Esquemas para preparao de estados efetivos puros redu-
zem o sinal exponencialmente no nmero de quBits, a menos que a polarizao
inicial seja sucientemente alta.
Tabela 3.3: Quadro resumo da implementao de um computador quntico atravs da utilizao de
RMN
dos e monitorados fazendo-se operaes adequadas na temperatura do grupo. A
idia arranjar as propriedades de utuao das molculas para calcular a mdia
quando o sinal for detectado, assim apenas as propriedades coerentes so medidas.
Atualmente j se consegue desenvolver dispositivos de trs quBits com esta
tecnologia.
Na Tabela 3.3 apresentamos um resumo da implementao de um computador
quntico, utilizando-se RMN .
Na Tabela 3.4 apresentamos um teste comparativo das realizaes fsicas dos
computadores qunticos.
32
Dispositivo Principais caractersticas
Fton Podem servir como bons quBits, usando [01) e [10) como 0
e 1 lgicos. Entretanto, materiais ticos no linerares con-
vencionais que sejam sucientemente fortes para permitir
interaes simples entre os ftons inevitavelmente absor-
vem ou espalham estes.
Eletrodinmica
quntica de
cavidade
uma tcnica pela qual tomos nicos podem interagir
fortemente com ftons nicos. Isto prov um mecanismo
para se usar um tomo para mediarinteraes entre ftons.
Armadilha de
ons
Podem ser congelados de modo a permitir que seus esta-
dos nucleares de spin e eletrnicos possam ser controlados
atravs da aplicao de pulsos de laser. Pelo emparelha-
mento de estados de spin atravs de fnons de centros de
massa, portas lgicas entre diferentes ons podemser cons-
trudas
Spins nuclea-
res
Esto muito prximos dos quBits ideais, e molculas sim-
ples poderiam estar prximas de computadores qunticos
ideais se seus estados de spin pudessem apenas ser contro-
lados e medidos. A ressonncia magntica nuclear torna
isto possvel usando grandes grupos de molculas, mas o
custo de perda de sinal devido a um ineciente procedi-
mento de preparao alto
Tabela 3.4: Teste comparativo das realizaes fsicas dos computadores qunticos propostas por
[Nielsen e Chuang, 2000]
33
34
Captulo 4
Metodologia
O interesse na Computao Quntica surge devido ao avano de tcnicas de
manipulaes de sistemas nanoscpicos. Avano esse que proporcionou que idias
de manipulao quntica de informao pudessem ser implementadas.
Existem atualmente alguns Processadores Qunticos implementados, mas eles
so muito lentos e possuem pouca memria A computao Quntica uma das
reas da mais promissoras Cincia, atualmente. Existemvrios centros de pesquisa
desenvolvendo estudos na rea. A Universidade de Oxford, e a de StandFord so
alguns dos centros de maior destaque na rea.
4.1 Objetivos da pesquisa
O objetivo desse trabalho dar uma fundamentao terica ao leitor. abor-
dada a Fsica Quntica e seus postulados. O leitor contextualizado sobre a Com-
putao Quntica. Ficar sabendo de sua histria, de suas aplicaes, diculdades
de implementao e muitos outros aspectos sobre Processamento Quntico.
4.2 Implementao
O trabalho ser realizado em sua grande parte nos laboratrios do Departa-
mento de Cincia da Computao da Universidade Federal de Lavras (UFLA),
numa distribuio Red Hat do sistema operacional Linux. A pesquisa ser feita
pela internet consultando-se sites como:
(http://www.qubit.org),
(http://tph.tuwien.ac.at/~oemer/doc/quprog/),
(http://www.almaden.ibm.com/st/projects/quantum/intro/),
(http://www.iqi.caltech.edu/),
(http://feynman.media.mit.edu/quanta/nmrqc-darpa/index.
html).
36
Captulo 5
Evoluo temporal e medida de
um qubit
5.1 Sistema
Inicialmente o qubit a ser medido descrito por: [) = [+) + [), sendo
=
1

2
+ 0i e = 0
1

2
i, onde [+) e [) formam a base ortonormal para esse
espao de estado e so denidas da seguinte maneira: [+) =

1
0

e
[) =

0
1

.
O campo magntico aplicado dado por
1
:

B = B
x

i +B
y

j +B
z

k
O momento angular considerado dado por: =
x

i +
y

j +
z

k, onde;

x
=

0 1
1 0

,
y
=

0 i
i 0

,
z
=

1 0
0 1

. Estas matrizes so as
chamadas matrizes de Pauli.
O hamiltoniano do sistema dado por:

H =

., onde

= g

2

B. Nesta
equao g o fator giromagntico, a constante de Planck
O operador de evoluo temporal dado por U(t) = e
iHt
Para se fazer a medida necessrio seguir os seguintes passos:
(i) encontrar os autovalores de H, resolvendo-se a seguinte expresso: [H
1[, onde 1 o operador identidade
1
Nas medidas realizadas as componentes By e Bz foram condideradas iguais a 0
(ii) Com os autovalores encontrados no item (i), resolve-se H[) = [) en-
contrando os coecientes de [) para cada valor de .
(iii) Encontrar a expresso do vetor [) = [+) + [) em termos dos autove-
tores de H
Os autovalores de H encontrados no passo (i) so:

2
= B
x
2
+B
y
2
+B
z
2

+
= +

B
x
2
+B
y
2
+B
z
2

B
x
2
+B
y
2
+B
z
2
No passo (ii) encontramos os seguintes coecientes para
+
:
A1 = A2
(B
x
iB
z
)

+
B
z
A2 =
[
+
B
z
[

2
2
2
+
B
z
,
e para

B1 = B2
(B
x
iB
z
)

B
z
B2 =
[

B
z
[

2
2
2

B
z
;
Deste modo os autovetores de H podem ser escritos da seguinte maneira:
[
+
) = A1[+) +A2[)
[

) = B1[+) +B2[)
Etapa (iii):na base [
+
), [

)
[
+
) =

1
0

, [

) =

0
1

, [+) =

A1

B1

, [) =

A2

B2

,
38
sendo A1

, B1

, A2

e B2

os complexos conjugados de A1, B1, A2 e B2, res-

pectivamente.
O vetor inicial escrito da seguinte maneira na nova base:
[) = [
+
) +[

)
Depois do vetor representado em termos de dos autovetores de H, a expresso
que d a evoluo temporal :
U(t)[) = U(t)[) = e
iHt
[) (5.1)
A evoluo temporal de um sistema quntico de dois nveis, como o caso do
spin do eltron, a base para o desenvolvimento de qualquer algoritmo quntico.
Foi implementado umprograma na linguagemC++ que simula a evoluo tem-
poral do Spin de um Eltron em um Campo magntico constante. Este programa
constitudo por quatro classes: main.cpp, camMag.h, clmatrix.h, complexo.h. A
seguir ns apresentamos uma breve descrio das classes do programa:
main.cpp a classe principal do programa
camMag.h utilizada para a criao de um objeto campo magntico
clmatrix.h usada para a se criar objetos do tipo matriz
complexo.h serve para se criar nmeros complexos, que so os ndices utilizados
na descrio dos estados qunticos
Foram calculadas as probalidades de se encontrar o Spin-Up do Eltron. O
campo aplicado tinha somente a componente no eixo X. E o Spin-Up se encon-
trava na direo do eixo Y. Os resultados obtidos demonstraram que o Spin-Up
realizou o movimento de precesso em torno do eixo X, o que j era esperado.
A Figura 5.1 demonstra tais resultados.
A seguir tomou-se um valor de uma probabilidade em um instante qualquer
2
,
calculado anteriormente. Com este valor denido realizou-se as seguintes medi-
das:
sorteia-se n nmeros aleatrios,
compara-se os nmeros com o valor da probabilidade,
2
A probabilidade diferente em instantes diferentes.
39
Figura 5.1: Probabilidade
se o nmero for menor aumenta-se o contador, que comea com 0,
depois divide-se o contador por n
Isto realizado para cada valor de n. Com isto procura-se simular a percentagem
de vezes em que se encontra o Spin-Up.
40
Como o que foi calculado foi a probabilidade de encontrar o Spin-Up, fcil
vericar que quanto maior o nmero de medidas realizadas, mais o valor se apro-
xima do provvel valor de se obt-lo. Os resultados das medidas so apresentados
nas Figuras 5.2 e 5.3
Figura 5.2: Porcentagem entre o nmero de valores encontrados pelo nmero de medidas
41
Figura 5.3: Porcentagem entre o nmero de valores encontrados pelo nmero de medidas
42
Captulo 6
Concluses
Este captulo apresenta uma breve concluso sobre os resultados obtidos com
esse trabalho. Foramdiversas as diculdades encontradas. Primeiramente procurou-
se entender os Prncpios da Mecnica Quntica, condio bsica para o entendi-
mento da Computao Quntica. Depois implementou-se um simulador de evolu-
o temporal do Spin do Eltron num Campo Magntico Uniforme.
6.1 Propostas de trabalhos futuros
O programa implementado puramente terico. Os resultados foram obtidos
todos atravs de simulao. O programa pode ter algumas melhorias como:
criar uma interface grca para o programa
extender para vrios eltrons no campo magntico
considerar o campo magntico varivel
6.2 Contribuies
Com este trabalho procurou-se contribruir para a divulgao deste notvel
campo da computao, que parece ser uma das sadas viveis para a miniaturizao
dos componentes eltronicos. As tcnicas de manipulaes de sistemas nanosc-
picos esto cada vez mais avanadas. Com isto j as pesquisas esto avanando
cada vez mais.
6.3 Consideraes nais
Cada vez menos gente duvida que os computadores qunticos sejam o futuro
da computao. Fatalmente os transstores chegaro ao limite de sua evoluo, e
para manter a lei de Moore por mais algumas dcadas, a nica sada seria substituir
transstores por tomos.
Num processador quntico, temos tomos ao invs de transstores. Ao invs
de bits temos bits qunticos, ou qubits.
Sem dvida, teramos gigantescos avanos em praticamente todos os campos,
nalmente poderamos ter cdigos de encriptao realmente seguros, pesquisas em
gigantescos bancos de dados usando algoritmos inteligentes e traos de intelign-
cia articial poderiam ser feitas quase instantaneamente, a transmisso de dados
poderia alcanar velocidades da ordem de Terabytes por segundo usando bras p-
ticas e alta densidade e roteadores qunticos, capazes de lidar com esta quantidade
de informao.
A grande pergunta quando? Ningum sabe o quo rpido as pesquisas nesta
rea podero avanar. Pode demorar cem anos para vermos estas aplicaes, ou
pode demorar apenas duas ou trs dcadas. Como um campo muito novo, no
se sabem de onde podem surgir as solues para os enormes problemas que ainda
dicultam a vida dos pesquisadores. Os primeiros computadores qunticos j so
realidade, a IBM por exemplo desenvolveu um processador de 5 qubits, que equi-
valem a um processador de 32 bits, porm operando a meros 200 Hz e precisando
de um maquinrio gigantesco e caro para funcionar, como os primeiros computa-
dores que tnhamos na dcada de 40, que acabaram evoluindo at os atuais.
Talvez estejamos, em matria de tecnologia, em frente maior descoberta de
todos os tempos; talvez, em frente a uma tecnologia de diclima implementao
que pode cair no esquecimento, o fato que, hoje, essa tecnologia pode ser ine-
gavelmente considerada revolucionria, j que pelas leis da natureza comeou a
provar-se a possibilidade de soluo para problemas de alta complexidade, o que
computadores digitais no fariam. Quando entramos no mundo da fsica qun-
tica e conseqentemente da computao quntica, temos podido, com certeza; no
entanto, encontrar mais problemas do que solues efetivamente procuradas. Es-
tamos, com certeza, na pr-histria da computao quntica, fantasiando super-
computadores, ou mesmo laptops qunticos mas no h como negar que foi dado
o primeiro passo, anal, mostrou-se que existe essa possibilidade.
44
Referncias Bibliogrcas
[Deutsch (1985)] Deutsch, D. Quantum theory, the Church-Turing principle and
the universal quantum computer, Proceedings of the Royal Society
of London, 1985, A 400, pp97-117.
[Shor (1994)] Shor, Peter W. Algorithms for Quantum Computation: Discrete Lo-
garithms and Factoring, Proceedings, 35th Annual Symposium on
Foundations of Computer Science (IEEE Press, November 1994)
[Jozsa (1997)] Jozsa, Richard. Quantum Algorithms and the Fourier Transform,
Submitted to Proc. Roy. Soc. Lond. A for the Proceedings of the
Santa Barbara Conference on Quantum Coherence and Decoherence
[Cohen, 1977] Cohen-Tannoudji, Claude at al. Quantum Mechanics, Vol 1.
France. Hermann and John Wiley & Sons Inc, 1977.
[Nielsen e Chuang, 2000] NIELSEN, Michel A. e Chuang, Isaac L. Quantum
Computation and Quantum Information. Cambridge, UK, Cam-
bridge University Press, 2000.
[Preskill, 2002] PRESKILL, John. Notas de aula do curso de computao
quntica. In http://www.theory.caltech.edu/people/
preskill/ph219
[Kaku, 1998] KAKU, Michio. Visions, How Science Will Revolutionize the 21st
Century. New York, September, 1998.
[Lenstra e Lenstra, 1993] LENSTRA, A. e Lenstra, H. The development of the
number eld sieve. Vol. 1554 of Lecture Notes in Mathematics.
Springer Verlag, 1993.
45
[Rieffel e Polak, 2000] RIEFFEL, Eleanor e Wolfgang. An introduction to quan-
tum computing for non-physicists. In: arXiv:quant-ph/ 9809016 vol.
2. 19 de janeiro de 2000.
[Simon, 1997] SIMON, D. R. On the power of quantum computation. Society for
Industrial and Applied Mathematics Journal on Computing 26, 5.
[vonNeumann] John von Neumann, Mathematical Foundations of Quantum Me-
chanics, Princeton University Press, Princeton, NJ, 1971.
[EPR] A. Einstein, B. Podolsky and N. Rosen, Phys. Rev. 47, 777 (1935).
[Isham] C.J. Isham, Lectures on Quantum Theory", Imperial College Press,
London, 1997.
[Dirac] P.A.M. Dirac, "Quantum Mechanics", Oxford University Press.
[CZ95] J.I. Cirac and P. Zoller. Quantumcomputation with cold trapped ions.
Phys. Rev. Lett., 74:4091,1995.
[WMI
+
] D.J. wineland, C. Monroe, W. M. Itano, D. Leibfried, B. E. King,
and D. M. Meekhof. Experimental issues in coherent quantum-state
manipulation of trapped atomic ions. T. Res. Natl. Inst. Stand. Tech.,
103:259, 1998.
[CPZ96] J.I. Ciraca, T. Pellizzari and P. Zoller. Enforcing coherent evolution
in dissipative quantum dynamics. Science, 273:1207, 1996.
[Kimble et al.] J. McKeever, J. R. Buck, A. D. Boozer, A. Kuzmich, H.-C. Nae-
gerl, D. M. Stamper-Kurn, and H. J. Kimble State-Insensitive Coo-
ling and Trapping of Single Atoms in an Optical Cavity, Phys. Rev.
Lett. 90, 133602 (2003).
[GC97] N. Gershenfeld and I. L. Chuang. Bulk spin ressonance quantum
computation. Science 275:350, 1997
46
Apndice A
Suplemento matemtico
Neste apndice apresentamos alguns aspectos mais formais da estrutura ma-
temtica da mecnica quntica, que fariam texto principal muito carregado para
algum interessado apenas nos aspectos gerais da computao quntica. Ao in-
vs de deix-las completamente de fora, resolvemos inclu-las para o benefcio do
leitor cujo interesse se orienta mais em direo fsica e matemtica.
A.1 Operadores
Denimos rapidamente, no Captulo 2, operadores lineares, sobre um espao
de Hilbert. Vamos apresentar algumas propriedades adicionais desses operado-
res, importantes para a mecnica quntica. Para maiores detalhes, consultar, por
exemplo, [Cohen, 1977] e [vonNeumann].
Um operador linear Aagindo sobre um espao de Hilbert H um mapeamento
linear que leva umvetor [f) Hemumoutro vetor [) = A[f) H, satisfazendo
as seguintes condies:
1. A([f)) = (A[f)), C
2. A([f) +[g)) = A[f) +A[g)
Cada operador linear tem um espectro associado, que o conjunto de solues
da equao de autovalores
A[f) = [f), C.
47
Este espectro pode ser contnuo ou discreto, dependendo da natureza do operador
A. Neste trabalho estaremos interessados em operadores com espectros discretos,
ou seja, cujos autovalores podem ser enumerados atravs de um ndice inteiro.
Denimos o produto de dois operadores A e B por
(AB)[f) = A(B[f))
Em geral, AB ,= BA. Isto signica que a lgebra de operadores lineares
em espaos de Hilbert, ao contrrio da lgebra de nmeros reais ou complexos,
intrinsecamente no-comutativa. Existem, entretanto, alguns pares de operadores
para os quais o produto comutativo. As relaes de comutao entre operadores
so to importantes que denimos a operao
[A, B] = AB BA,
que chamamos comutador de A e B. Se [A, B] = 0, dizemos que A e B co-
mutam. Uma das consequncias de dois operadores A e B comutarem que um
autovetor de A tambm ser autovetor de B. Por isso diz-se que dois observveis
que comutam so compatveis, do ponto de vista de medies.
As relaes de comutao entre operadores podem ser usadas para denir ope-
radores. Este o caso do momento angular. Diz-se que qualquer conjunto de trs
operadores que satisfazem relaes de comutao da forma
[L
x
, L
y
] = iL
z
e permutaes cclicas forma um vetor momento angular

L = L
x
+L
y
+L
z

k
Outro aspecto importante da lgebra de operadores lineares o que diz respeito
a funes de operadores. Uma funo f de um operador linear A um outro
operador linear f(A), que denimos por
f(A) =

k=0
f
(k)
(0)
k!
A
k
As consideraes sobre a convergncia desta srie esto fora dos objetivos deste
trabalho.
A partir da denio acima, fcil perceber que, se aplicarmos f(A) a um
autovetor [a
l
) de A com autovalor a
l
, o resultado ser
f(A)[a
l
) = f(a
l
)[a
l
) ,
48
desde que a srie innita convirja.
Uma das funes de operadores mais importantes a exponencial. Ela apa-
rece, por exemplo, na denio do operador de evoluo temporal. Como a srie
de Taylor para a exponencial tem raio de convergncia innito, o operador de evo-
luo temporal est bem denido para qualquer hamiltoniano.
O operador inverso de um operador A, denotado por A
1
, tambm muito
importante. A denio de A
1

A
1
A[f) = AA
1
[f) = [f), [f) H.
A.2 O espao dual H

Quando denimos o produto interno em H, no captulo 2, introduzimos uma

notao especial para represent-lo. Esta notao se baseia na noo de que o
produto interno entre dois vetores [f), [g) H, ([f), [g)) pode ser visto como
um funcional
1
linear de [g) associado a [f). Denotamos este funcional por f[, e
dizemos que
f[g) ([f), [g))
O conjunto dos funcionais lineares associados aos vetores de H chamado de es-
pao dual de H, ou H

. O fato de que esses funcionais so lineares consequncia

de sua denio em termos do produto interno.
Um operador importante pode ser denido com o auxlio do espao dual. Di-
zemos que um operador Atem um adjunto (ou hermiteano conjugado) A

denido
da seguinte forma: O vetor de H

associado a A[f) f[A

. Ou seja,
(A[f), [g)) = ([f), A

[g)) = f[(A

[g)) = f[A

[g).
A.3 Produto tensorial
O espao de estados de um sistema quntico de uma partcula um espao de
Hilbert. Se quisermos tratar do problema de vrias partculas na mecnica quntica
no-relativstica, necessrio introduzir o conceito de produto tensorial de espa-
os de Hilbert. Se duas partculas, quando descritas individualmente, tm seus
espaos H
A
e H
B
, os estados do sistema conjunto de duas partculas so veto-
res no espao de Hilbert H
AB
H
A
H
B
. Sejam [1)
A
, [2)
A
, , [N)
A
e
1
Um funcional uma operao que atribui a um vetor de Hum nmero C
49
[1)
B
, [2)
B
, , [N)
B
bases dos espaos H
A
e H
B
, respectivamente. O con-
junto de N
2
elementos [i)
A
[j)
B
, i, j = 1, 2, , N uma base de H
AB
.
Assim, um vetor [) H
A
H
B
pode ser escrito como uma combinao linear
dos vetores desta base de H
AB
:
[) H
AB
= [) =
N

i,j=1

ij
[i)
A
[j)
B
.
Ou seja, o espao de estados das duas partculas tem dimenso N
2
se os espaos
das partculas individuais tmdimenso N. Aregra para escrever operadores sobre
o espao H
AB
simples: operadores que dizem respeito partcula A no alteram
a parte do produto tensorial relativo partcula B e vice-versa. Assim, se O
A

um operador que atua em H
A
, a extenso deste operador para H
AB
denotada
O
A
1
B
, onde 1
B
o operador identidade em H
B
, e sua atuao sobre os vetores
de H
AB
dada por:
(O
A
1
B
)[) = (O
A
1
B
)
N

i,j=1

ij
[i)
A
[j)
B
=
N

i,j=1

ij
(O
A
[i)
A
) (1
B
[j)
B
) =
N

i,j=1

ij
(O
A
[i)
A
) [j)
B
A regra para extenses de operadores de H
B
anloga.
importante notar que existem estados de H
AB
que no podem ser escritos
como produto tensorial de estados de H
A
e H
B
. Estes so chamados estados
emaranhados, e tm propriedades muito interessantes, tanto que algumas delas
so motivo de profundas controvrsias conceituais e loscas sobre o status da
mecnica quntica como descrio da realidade. O famoso paradoxo de Einstein,
Podolsky e Rosen [EPR] pode ser expresso em termos das propriedades aparente-
mente no locais implicadas pela existncia de estados do tipo
[0)
A
[1)
B
+[1)
A
[0)
B
.
Dizer que um sistema quntico composto por dois subsistemas A e B encontra-se
num estado deste tipo implica em que existe uma correlao entre os estados das
50
duas partes que no depende, por exemplo, da separao espacial entre os dois sub-
sistemas. Este tipo de correlao, intrinsecamente quntica, faz com que os dois
sistemas se comportem como se um soubesse o estado do outro, instantanea-
mente, mesmo estando os dois innitamente separados espacialmente. Discutir as
consequncias conceituais deste tipo de correlao ultrapassa dos objetivos deste
trabalho. O leitor interessado poder consultar a referncia [Isham], e artigos va-
riados em revistas de divulgao cientca.
51
52
Apndice B
Centros de pesquisa
Atualmente, grande parte parte das pesquisas envolvidas emcomputao qun-
tica concentra-se no desenvolvimento do hardware. Nesta rea, os pesquisadores
esto principalmente focados em ressonncia magntica.
-IBMs Almaden Research Center: Em agosto de 2000, o fsico Isaac Chu-
ang e sua equipe do Centro de Pesquisa de Almaden da IBM anunciaram para o
mundo o desenvolvimento do BigBlue. Trata-se de computador quntico de 5 qu-
bits baseados na tcnica de rotao do ncleo do tomo (spin up = 1 e spin down
= 0) e medio atravs de ressonncia magntica nuclear usada normalmente em
hospitais e em laboratrios de qumica. So cinco tomos de Fluoreno dentro de
uma molcula especialmente projetada de forma que os spins do ncleo do uo-
reno possam funcionar como qubits programados por radiofrequncia. Com esta
molcula, a equipe de Chuang resolveu em um nico passo um problema mate-
mtico para o qual computadores convencionais requereriam repetidos ciclos de
execuo. O problema, chamado "order-nding"consiste em achar o perodo de
uma determinada funo.
um problema matemtico tpico no qual se baseiam aplicaes importantes
como a criptograa. Chuang diz que as primeiras aplicaes da computao qun-
tica seriam como coprocessadores para funes especcas, tais como busca em
uma base de dados e para a soluo de difceis problemas matemticos.
-Open Qubit - Quantum Computing: Este projeto desenvolvido por pessoas
de todas as partes do mundo. Aqui feito o compartilhamento de idias e cdigo
sobre a Computao Quntica. O objetivo principal era de escrever um simulador
de um computador quntico para demonstrar o algoritmo de fatorao de Shor
e sua ecincia na Computao Quntica. Posteriormente, estender este cdigo
53
para uma API mais genrica que permitiria a implementao de qualquer outro
algoritmo quntico.
-National Institute of Standards Technology: Em 1996, seus pesquisadores
provaram que pode-se estar ao mesmo tempo em dois lugares separados do espao
(um estado fsico da mecnica quntica, denominado superposio).
O experimento publicado no ano de 2000 melhora o trabalho realizado em
1996, no qual os pesquisadores isolaram um on de Berilium (um tomo sem um
de seus eltrons da camada mais externa) em uma armadilha eletromagntica e o
resfriaram a uma temperatura perto do zero connou o on a uma pequena regio
do espao menor que um milionsimo de centmetro, o que ocasiona a sua quase
imobilidade.
O que a equipe do NIST fez, diferentemente do ano de 1996 foi separar os
dois estados a uma distncia de quase 10 tomos. Embora, parea extremamente
pequena para a nossa percepo esta distncia enorme quando tratamos de el-
trons. Na verdade o que aconteceu foi que os pesquisadores do NIST cruzaram
uma ponte entre a mecnica quntica e o mundo real - o que vemos em nossa vida
cotidiana.
54