Flvio Lus Alves

Computao Quntica: Fundamentos Fsicos e Perspectivas

Monografia apresentada ao Departamento de Cincia da Computao da Universidade Federal de Lavras, 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

Monografia apresentada ao Departamento de Cincia da Computao da Universidade Federal de Lavras, 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
1.1 Mecnica quntica . . . . . . . . . .
1.2 Computao quntica . . . . . . . . .
1.2.1 O que computao quntica
1.2.2 Histria . . . . . . . . . . . .
1.2.3 Aplicaes . . . . . . . . . .
1.3 Motivao . . . . . . . . . . . . . . .
1.4 Objetivos . . . . . . . . . . . . . . .
1.5 Descrio do contedo da monografia

.
.
.
.
.
.
.
.

3
3
4
4
5
6
6
7
7

.
.
.
.
.
.
.
.
.
.
.
.

9
9
10
11
12
12
13
15
15
17
19
20
22

Implementao dos computadores qunticos

3.1 Armadilha de ons . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Eletrodinmica quntica cavidade . . . . . . . . . . . . . . . . .

25
26
29

Breve introduo mecnica quntica

2.1 Estado . . . . . . . . . . . . . . .
2.2 Espao de Hilbert . . . . . . . . .
2.3 Observveis . . . . . . . . . . . .
2.4 Medies . . . . . . . . . . . . .
2.5 Hamiltoniano . . . . . . . . . . .
2.6 Postulados da mecnica quntica .
2.7 Qubit . . . . . . . . . . . . . . .
2.8 Paralelismo quntico . . . . . . .
2.8.1 O algoritmo de Deutsch .
2.9 Decoerncia . . . . . . . . . . . .
2.10 Spin do eltron . . . . . . . . . .
2.10.1 O operador de spin . . . .

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

3.3

Ressonncia magntica nuclear . . . . . . . . . . . . . . . . . . .

31

Metodologia
4.1 Objetivos da pesquisa . . . . . . . . . . . . . . . . . . . . . . . .
4.2 Implementao . . . . . . . . . . . . . . . . . . . . . . . . . . .

35
35
35

Evoluo temporal e medida de um qubit

5.1 Sistema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

37
37

Concluses
6.1 Propostas de trabalhos futuros . . . . . . . . . . . . . . . . . . .
6.2 Contribuies . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.3 Consideraes finais . . . . . . . . . . . . . . . . . . . . . . . .

43
43
43
44

Referncias bibliogrficas

45

A Suplemento matemtico
A.1 Operadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
A.2 O espao dual H . . . . . . . . . . . . . . . . . . . . . . . . . .
A.3 Produto tensorial . . . . . . . . . . . . . . . . . . . . . . . . . .

47
47
49
49

B Centros de pesquisa

53

vi

Dedico esta monografia minha me e a meus irmos

vii

viii

Agradecimentos
Ao professor Antonio Tavares da Costa Jnior que me ajudou imensamente durante todo o trabalho.
Aos professores Fortunato Silva de Menezes e Heitor Augustus Xavier Costa pelas valorosas sugestes para a correo final da monografia.
A Anderson de Rezende Rocha pelo imenso apoio e colaborao durante 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

Resumo
Computao Quntica: Fundamentos Fsicos e
Perspectivas
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, inicialmente apenas em nvel de laboratrio. Procuraremos aqui dar uma viso geral, e logo a seguir um
embasamento terico que est por trs do Processamento Quntico.

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 propriedades 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 matemtico abstrato, uma propriedade de sistemas fsicos, levou a enormes avanos na
interpretao conceitual da Mecnica Quntica.
Com a utilizao da Computao Quntica a reduo de tempo necessrio para
executar certas tarefas de tal ordem que alguns problemas que levariam tempos
impraticveis em supercomputadores podem ser resolvidos em tempos normais em
computadores qunticos, ou seja, problemas praticamente insolveis para computao 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 cientfica. 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 estrutura matemtica coerente e extremamente elegante, como veremos mais tarde.
Da teoria quntica ainda surge o princpio da dualidade partcula-onda. Segundo 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
refletida por um espelho. Nenhum espelho perfeito, deste modo apenas 95 %
desta luz refletida 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 ftons. Estes ftons so indivisveis. Desta forma, um fton deve ser completamente
absorvido ou refletido. No possvel que um fton seja parcialmente refletido e
parcialmente absorvido. Ento, conclui-se que 19 ftons de 20 so refletidos pelo
espelho e o outro absorvido. Mas como saber qual absorvido e quais so refletidos? No possvel saber. Um fton tem 95% de chance de ser refletido 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
1.2.1

Computao quntica
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 computador 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 fileira de nmeros ao mesmo tempo, e um computador quntico poderia processar 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 eficientemente
os sistemas qunticos e que estes s poderiam ser modelados utilizando outro sistema quntico. Feynman sugeriu que computadores baseados nas leis da mecnica
quntica ao invs das leis da fsica clssica poderiam ser usados para modelar sistemas 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 ficou conhecido como "killer application". A fatorao de nmeros grandes a base de alguns
sistemas de criptografia, como, o RSA (em homenagem a Ronald Rivest, Adi Shamir 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
cientfica.
A partir desse interesse, surgiram outros algoritmos qunticos, tais como o algoritmo 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 aumentavam. 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 criptografia, incluindo esquemas utilizados 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 pequenos 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 computao. No importa quo inteligente seja o algoritmo, na realidade o tempo exigido
para fatorar nmeros cada vez maiores cresce exponencialmente. V alm de algumas 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. Crescimento rpido, certamente, mas nem tanto. Um computador convencional precisaria 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 criptografia 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 fisica 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 cientficas.
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 dificlima implementao que pode cair no esquecimento. O
fato que, hoje, essa tecnologia pode ser inegavelmente considerada revolucionria, 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 quntica, 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 infinitamente distante No h como negar entretanto, que foi dado o primeiro passo.

1.4

Objetivos

Nesta monografia foram abordados os principais fundamentos tericos que esto por trs da Computao Quntica. Foram apresentados todos os aspectos importantes da Mecnica Quntica: seus principais postulados e outras partes que
so importantes para o entendimento do funcionamento do processamento quntico. 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 monografia

A monografia dividida em 7 capitulos, alm de dois apndices. Uma breve

descrio apresentada a seguir:
Captulo 1 - Introduo Neste capitulo apresentaremos uma breve descrio informal 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 aspectos mais formais da mecnica quntica: como por exemplo os postulados
e ferramentas matemticas.
7

Captulo 3 - Implementao dos computadores qunticos Neste captulo apresentaremos as principais abordagens para a implementao dos computadores qunticos.
Capitulo 4 - Metodologia Aqui apresentados os mtodos utilizados para o desenvolvimento 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 resultados obtidos durante o projeto.
Captulo 7 - Referncias bibliogrficas Apresentaremos neste captulo as referncia bibliogrficas utilizadas.
Apndice A - Suplemento Matemtico Neste apndice apresentaremos alguns aspectos 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.

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 = 1010 m) sofre a influncia de efeitos
qunticos.

2.1 Estado
Um estado de um sistema clssico (governado pela mecnica newtoniana) caracterizado por valores bem definidos das grandezas fsicas mensurveis. Posio,
velocidade, energia, todas tm valores bem definidos a todo instante. Determinar
o estado de um sistema quntico corresponde a especificar probabilidades de encontrar 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 corresponderia, 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 representado matematicamente por um vetor num espao vetorial complexo, chamado
espao de Hilbert.
Para descrever esta situao pouco usual com preciso, necessitamos de ferramentas matemticas diferentes daquelas usadas na mecnica clssica. Vamos

apresentar agora, brevemente, a estrutura matemtica por trs da mecnica quntica.

2.2

Espao de Hilbert

O Espao de Hilbert um espao vetorial H, definido 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 definida de tal forma que:
i) se dois vetores |f i, |gi H, ento a soma |f i+|gi tambm um vetor
de H;
ii) a soma comutativa e associativa: |f i + |gi = |gi + |f i e (|f i + |gi) +
|hi = |f i + (|gi + |hi)
iii) existe em H um vetor chamado nulo, tal que |f i + 0 = |f i |f i H
iv) Tambm est definida uma operao de produto por escalar de tal
forma que, se , pertencem ao conjunto dos complexos, e |f i e
|gi so elementos de H, ento:
(a)
(b)
(c)
(d)
(e)

|f i H
()|f i = (|f i)
( + )|f i = |f i + |f i
(|f i + |gi) = |f i + |gi
1.|f i = |f i

2. H tem um produto interno, ou seja, pode-se definir uma operao entre dois
vetores |f i e |gi de H que fornece um escalar, denotada por (|f i, |gi), que
possui as seguintes propriedades:
i) (|f i, |gi) = (|gi, |f i)
ii) (|f i, |gi + |hi) = (|f i, |gi) + (|f i, |hi)
iii) (|f i, |gi) = (|f i, |gi)
iv) (|f i, |gi) = (|f i, |gi)
v) (|f i, |f i) 0, e (|f i, |f i) = 0 se e somente se |f i = 0 (vetor nulo).
10

Usa-se com bastante frequncia uma notao mais conveniente para o produto
interno (|f i, |gi) hf |gi. Esta notao est baseada na definio 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 p
que H um espao mtrico. Definimos a norma de um
vetor de H por k|f ik = hf |f i.
Dados dois vetores x e y em um Espao de Hilbert H, diz-se que so ortogonais
se seu produto interno zero, ou seja,
hx|yi = 0 |xi |yi.
Uma base de H o menor subconjunto {|e1 i, |e2 i, ...|eN i} de H que varre o
espao todo, ou seja, qualquer vetor de H pode ser escrito como uma combinao
linear dos vetores deste conjunto:
|i =

N
X

i |ei i

(2.1)

i=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 definir um observvel, precisamos primeiro definir o que um operador, e depois o que o hermiteano conjugado
de um operador.
Um operador A um mapa linear entre dois espaos de Hilbert. Para a mecnica quntica so importantes os operadores lineares que mapeiam o espao de
estados H no proprio H. Representamos a atuao de um operador A na forma de
"produto":
A:H H
|f i |gi = A|f i
11

Podemos definir o hermiteano conjugado de um operador A da seguinte forma: Se

A|f i = |gi, hg|hi = hf |A |hi, 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 fisicas
tenham apenas autovalores reais, que uma das propriedades dos operadores autoadjuntos.

2.4

Medies

Uma outra propriedade importante dos operadores auto-adjuntos que seus

autovetores formam um conjunto ortogonal, que fornece uma base ortonormal
para H1 . Sendo assim, sempre possvel escrever um estado qualquer de um
sistema quntico em termos dos autovetores de um observvel A. Sejam ento
{|a1 i, |a2 i, ...|aN i} os autovetores de A, associados aos autovalores {a1 , a2 , ...aN }.
Se
PNo sistema est num estado qualquer |i, sempre podemos escrever |i =
i=1 i |ai i. Um dos postulados da mecnica quntica diz que, se fizermos um
experimento para medir qual valor da grandeza fsica associada ao operador A que
o sistema possui quando est no estado |i, encontraremos o autovalor al com
probabilidade kl k2 . Um outro postulado afirma 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 quntico". Se novas medidas de A forem feitas, os resultados sero sempre al , 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. O fato de que os hamiltonianos de vrios
sistemas fisicos 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 Scrdin1

A forma precisa desta afirmacao esta descrita no apndice A

12

ger, a maneira como o sistema quntico evolui no tempo. A equao de Scrhdinger pode ser escrita como
H|(t)i = i~

|(t)i
t

(2.2)

Mostra-se que a soluo desta equao pode ser escrita como o resultado da aplicacao de um operador linear (chamado de operador de evoluo temporal) U (t, t0 )
sobre o estado inicial do sistema |(t0 )i, |(t) = U (t, t0 )|(t0 )i.
Se o hamiltoniano do sistema nao depende explicitamente do tempo, o operador de evolucao temporal U (t, t0 ) dado por:
U (t, t0 ) = e

iH(tt0 )
~

(2.3)

O significado matemtico da exponencial de um operador est explicado no apndice A.

importante notar que a dinmica quntica tem um carter estritamente determinstico, ou seja, dado que o sistema encontra-se inicialmente num |(0)i, existe
uma regra para determinar precisamente seu estado quntico |(t)i 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 fica 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 Quntica, 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
A cada grandeza fsica mensurvel corresponde um operador linear hermiteano
que atua sobre um espao de Hilbert, chamado de observvel.
Daqui por diante nos referiremos grandeza fsica e ao seu observvel associado 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 i = gi |i i

(2.4)

Postulado 4
Se |(t)i representa o estado quntico normalizado de um sistema no instante
t, ento o valor mdio do observvel G nesse instante :
hGi = h|G|i

(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)i, caso seja conhecida a fora que atua sobre a
partcula associada, especificando 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~

|i

= H|i,
t

(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 clssica. 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
infinidade de estados, representados por superposies coerentes dos estados |0i
e |1i. Em outras palavras, um bit quntico qualquer sistema quntico de dois
nveis. Dois possveis estados para um qubit so os estados |0i e |1i. O estado de
um qubit pode ser representada por uma combinao linear de estados, chamada
superposio coerente:
|i = |0i + |1i

(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 |0i e |1i formam
uma base ortonormal para para o espao de estados.
Os estados |0i e |1i 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, dizemos que os autovalores associados a esses dois estados so 0 e 1, respectivamente.
Quando feita a medida medida deste observvel possvel encontrar ou o
valor 0, com probabilidade ||2 ou o valor 1, com probabilidade ||2 . Naturalmente ||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 computadores 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 computao clssica. O funcionamento dos componentes dos computadores atuais
15

baseado nas propriedades qunticas da matria, contudo, os bits, unidades fundamentais de processamento, so clssicos, dado que podem estar apenas no estado
|0i ou no estado |1i. Em contraposio, os bits de um computador quntico, ou
quBits, poderiam ser colocados em estados que so superposies coerentes do
estado |0i e do estado |1i.
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, yi. Com uma apropriada sequncia de portas lgicas possvel transformar este
estado em |x, y f(x) i, onde indica adio mdulo 2; o primeiro registrador
chamado de registrador de dados , e o segundo registrador de registrador alvo. A
transformao Uf definida como:
|x, yi |x, y f(x) i,

(2.8)

e fcil notar que uma transformao unitria. Se y = 0, ento o estado final do

segundo qubit apenas f(x) .

Se aplicarmos Uf s entradas x = |0i+|1i

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

(2.9)
2

X preparado aplicando-se a porta Hamadard2 a entrada |0i.

Este um estado extraordinrio! Os diferentes termos contm informao sobre f(0) e f(1) ; como se tivssemos avaliado f(x) para dois valores de x simultaneamente, 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 nmero arbitrrio de bits, ao usar uma operao geral conhecida como a transformada de Hamadard, ou algumas vezes como transformada de Walsh-Hamadard.
2

A porta Hamadard definida como:

1
H
2

1
1

16

1
1

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 tensorial3 . Mais geralmente, o resultado de processar
a transformada de Hamadard em n qubits, todos inicialmente no estado |0i :
1 X

|xi,
2n 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: {|0i, |1i} . Alm disso, faz
isto de modo extremamente eficiente, produzindo uma superposio de 2n 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: preparase os n + 1 estados do qubit |0i |0i, ento aplica-se a transformada de Hamadard
para os n primeiros qubits em seguida aplica-se Uf . Isto produz o estado:
1 X

|xi|f(x) i.
2n 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 dP
somente |0, f(0) i ou |1, f(1) i! Similarmente, no caso geral a medida
do estado x |xi|f(x) i 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
P
superposio x |xi|f(x) i. necessria, ento a elaborao de algoritmos qunticos 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 enfa3

Ver Apndice A

17

tizou que um computador quntico poderia realizar melhor seu potencial computacional se utilizasse o chamado paralelismo quntico. Para entender o que isso
significa, considere o exemplo a seguir.
Seguindo a idia de Deutsch, imagine que se tenha uma caixa preta que computa 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 suficiente
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) 6= 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 computador quntico unitria e precisa ser inversvel. Assim, preciso uma transformao Uf que leve 2 quBits em outros dois quBits:
Uf : |xi|yi |xi|y f(x) i.

(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 |0i e |1i. Se o segundo quBit for inicialmente preparado no estado: 12 (|0i |1i), ento:
1
1
Uf : |xi (|0i |1i) |xi (|f(x) i |1 f(x) i)
2
2
1
= |xi(1)f (x) (|0i |1i).
2
Deste modo, isolou-se a funo f em uma fase dependente de x. Agora suponha que o primeiro quBit tenha sido preparado no estado: 12 (|0i |1i). Ento a
caixa preta atuar como:
18

1
1
Uf : (|0i + |1i) (|0i |1i)
2
2
1
1
[(1)f (0) |0i + (1)f (1) |1i] (|0i |1i).
2
2
Finalmente, pode-se fazer uma medida que projeta o primeiro quBit sobre a
base:
1
|i = (|0i |1i)
2
Evidentemente, sempre ser obtido |+i se a funo balanceada, e |i 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 classific-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 {|0i e |1i}, 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 quntico devido interao com o ambiente. A inevitvel interao entre esses sistemas
e o ambiente que os cerca tem como efeito a destruio das caractersticas qunticas classicamente ausentes dos fenmenos em questo.
4

Geralmente a medida final de uma computao quntica projeta cada quBit sobre a base
{|0i, |1i}. 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 final.

19

2.10

Spin do eltron

O spin uma propriedade intrnseca de vrias partculas subatmicas. Matematicamente, esta propriedade tem todas as caractersticas de um momento angular, 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, representada 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 propriedades 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 experimentalmente em fsica atmica: a estrutura fina de linhas espectrais e o efeito Zeeman
Anmalo.[Cohen, 1977]

A Estrutura fina 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 espectroscpica revele linhas bem definidas, 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 existncia 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)

B =

q~
2me

(2.14)

onde B o magneton de Bohr:

Este momento magntico interage com um campo magntico aplicado, de tal

forma que a energia desta partcula depende da orientao do seu momento angular 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 deflexo de um feixe de tomos parmagnticos neutros (neste caso tomos de prata) em um campo magntico nohomogneo. O aparato usado mostrado na Figura 2.1.
tomos de prata contidos em uma fornalha E, que aquecida a alta temperatura, 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 tomos cuja velocidade paralela a uma direo que ns escolheremos como sendo o
eixo Oy . 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 eletromagneto A. Este campo magntico tem um plano de simetria (que ns designaremos por yOx) que contm a direo inicial Oy do feixe atmico. No vcuo ele
o mesmo em todos os pontos situados em qualquer linha paralela a Oy . B no tem
nenhum componente em Oz . Seu maior componente ao longo de Ox ; ele varia
fortemente com x.
No Experimento de Stern-Gerlach verificou-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 afirmava 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 um momento

angular intrnseco ao eltron, chamado spin, que no est associado a nenhum movimento 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 significa que,
primeiro, o operador de spin deve ser um vetor de trs componentes (todas opera22

dores), e essas componentes devem obedecer s seguintes relaes de comutao:

[Sx , Sy ] = i~Sz ,

(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, verifica-se que existem partculas cujo spin inteiro, 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 estados 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, necessrio 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 suficientes 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 eficiente e confivel.
Portas lgicas. necessrio a possibilidade de manipulao de quBits individuais. 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 confiveis.
A seguir sero apresentadas trs abordagens para implementao de um computador 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 |gi (interpretado como |0i ) e um estado excitado metaestvel (de
longa durao) |ei (interpretado como |1i ). Uma combinao linear coerente
destes dois nveis,
a|gi + beiwt |ei,

(3.1)

pode sobreviver por um tempo comparvel a uma vida inteira de um estado excitado (apesar de que as fases relativas oscilam devido diferena de energia ~
entre os nveis). Os ons so to bem isolados que decaementos espontneos podem ser a forma dominante de decoerncia.
relativamente fcil ler os ons atravs de sua medida que faz a projeo sobre
a base {|gi, |ei}. Um laser sintonizado para uma transio a partir do estado |gi
para um estado excitado de vida curta |e0i.
Quando o laser ilumina os ons, cada quBit no estado |0i repetidamente absorve e reemite a luz do laser, assim ele fluoresce. Por outro lado, os quBits no
estado |1i permanecem escuros.
Devido sua repulso mtua de Coulomb, os ons so suficientemente 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 |0i e |1i . 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 |0i e |1i.
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 corretamente 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 mecnicoquntico. Agora imagine que o laser seja sintonizado para a freqncia ( )
iluminando o n-simo on. Para uma durao de pulso propriamente escolhido o
estado |ein ir transformar-se para |0in , enquanto o oscilador de centro de massa
far uma transio do estado fundamental |0icm para seu primeiro estado excitado
|1icm , assim um fnon1 produzido. Entretanto, o estado |gin |0icm 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:
|gin |0icm |gin |0icm ,
|ein |0icm i|gin |1icm
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 significa que o estado de movimento do m-simo on (m 6= n) foi influenciado 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 poder 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 in |0icm na
concluso da implementao da porta lgica. Por exemplo, Cirac e Zoller[CZ95]
mostraram que a porta lgica quntica XOR
|x, yi |x, y xi

(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 hiperfinos de um tomo, spins nucleares,

e o menor nvel vibracional, fnons, de tomos aprisionados nas armadilhas
2. Evoluo unitria. Transformaes arbitrrias so construdas a partir da aplicao de pulsos de laser que externamente manipulam o estado
atmico, numa interao conhecida na literatura como interao de JaynesCummings[Nielsen e Chuang, 2000]. A interao entre os quBits feita atravs 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 hiperfinos.
4. Leitura. Mede-se as populaes dos estados hiperfinos.
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 definio, feitos de dispositivos lentos. A velocidade destes dispositivos
limitada, no final 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 informao 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 vibracionais 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 lgicas qunticas dois anos atrs. Nesta demonstrao, a polarizao circular de um
fton influencia a fase de outro fton.

|L1 i|L2 i |L1 i|L2 i

|L1 i|R2 i |L1 i|L2 i
|R1 i|L2 i |L1 i|L2 i
|R1 i|R2 i ei |R1 i|L2 i

(3.3)

onde |Li, |Ri 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 |Li no se acopla ao tomo, mas aquele com a
polarizao |Ri o faz fortemente. O segundo fton, tambm, interage dando preferncia a um tomo de acordo com sua polarizao. O pacote de onde do segundo
fton adquire uma fase particular deslocada ei apenas se ambos os ftons tm polarizao |Ri. 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 Rz , divisores de luz (rotaes Ry ), e uma cavidade tica, para que o campo tico seja acoplado.
3. Preparao do estado inicial. Cria estados de um fton, atravs da atenuao 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 mostrouse 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 ( |i = |0i ) ou anti-alinhado
( |i = |1i ) 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 um campo magntico oscilatrio intermitente com freqncia (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 determinao 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 entre |i e |i 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 quntica. 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 ordem de milhes de vezes maior que a energia entre |0i e |1i . Isto significa que
os estados qunticos deste computador (os spins em uma mlecula ) so muito
ruidosos esto sujeitos a intensas flutuaes trmicas aleatrias. Alm disso,
atualmente, pode-se fazer processamento sobre uma molcula apenas. mas preciso fazer amostras macroscpicas contendo na ordem de 1023 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 dificuldades.
Eles descreveram como estados efetivos puros podem ser preparados, manipula31

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 reduzem o sinal exponencialmente no nmero de quBits, a menos que a polarizao
inicial seja suficientemente 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 flutuao 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
Fton

Eletrodinmica
quntica
de
cavidade
Armadilha de
ons

Spins
res

nuclea-

Principais caractersticas
Podem servir como bons quBits, usando |01i e |10i como 0
e 1 lgicos. Entretanto, materiais ticos no linerares convencionais que sejam suficientemente fortes para permitir
interaes simples entre os ftons inevitavelmente absorvem ou espalham estes.
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.
Podem ser congelados de modo a permitir que seus estados nucleares de spin e eletrnicos possam ser controlados
atravs da aplicao de pulsos de laser. Pelo emparelhamento de estados de spin atravs de fnons de centros de
massa, portas lgicas entre diferentes ons podem ser construdas
Esto muito prximos dos quBits ideais, e molculas simples poderiam estar prximas de computadores qunticos
ideais se seus estados de spin pudessem apenas ser controlados e medidos. A ressonncia magntica nuclear torna
isto possvel usando grandes grupos de molculas, mas o
custo de perda de sinal devido a um ineficiente procedimento 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. Existem vrios 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. abordada a Fsica Quntica e seus postulados. O leitor contextualizado sobre a Computao Quntica. Ficar sabendo de sua histria, de suas aplicaes, dificuldades
de implementao e muitos outros aspectos sobre Processamento Quntico.

4.2 Implementao
O trabalho ser realizado em sua grande parte nos laboratrios do Departamento 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: |i = |+i + |i, sendo

= 12 + 0i e = 0 12 i, onde |+i e |i formam a base ortonormal para esse
 
1
espao de estado e so definidas da seguinte maneira: |+i =
e
0
 
0
|i =
.
1
~ = Bx~i + By~j + Bz~k
O campo magntico aplicado dado por1 : B
~
~
~
O
momentoangular considerado

 dado por:
 ~ = x i + y j + z k, onde;
0 1
0 i
1 0
x =
, y =
, z =
. Estas matrizes so as
1 0
i 0
0 1
chamadas matrizes de Pauli.
~ = ~.~ , onde ~ = g ~ B.
~ Nesta
O hamiltoniano do sistema dado por: H
2
equao g o fator giromagntico, ~ a constante de Planck
O operador de evoluo temporal dado por U (t) = eiHt
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|i = |i encontrando os coeficientes de |i para cada valor de .
(iii) Encontrar a expresso do vetor |i = |+i + |i em termos dos autovetores de H
Os autovalores de H encontrados no passo (i) so:
2 = Bx 2 + By 2 + Bz 2
q
+ = + Bx 2 + By 2 + Bz 2
q
= Bx 2 + By 2 + Bz 2
No passo (ii) encontramos os seguintes coeficientes para + :
A1 = A2
A2 =

(Bx iBz )
+ Bz
|+ Bz |

2 2 2 + Bz

e para

B1 = B2
B2 =

(Bx iBz )
Bz
| Bz |

2 2 2 Bz

Deste modo os autovetores de H podem ser escritos da seguinte maneira:

|+ i = A1|+i + A2|i
| i = B1|+i + B2|i
Etapa (iii):na base {|+ i, | i}
 
 




1
0
A1
A2
|+ i =
, | i =
, |+i =
, |i =
,
0
1
B1
B2
38

sendo A1 , B1 , A2 e B2 os complexos conjugados de A1, B1, A2 e B2, respectivamente.

O vetor inicial escrito da seguinte maneira na nova base:
|i = |+ i + | i
Depois do vetor representado em termos de dos autovetores de H, a expresso
que d a evoluo temporal :
U (t)|i = U (t)|i = eiHt |i

(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 um programa na linguagem C++ que simula a evoluo temporal 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 encontrava 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 definido realizou-se as seguintes medidas:
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

verificar que quanto maior o nmero de medidas realizadas, mais o valor se aproxima 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. Foram diversas as dificuldades encontradas. Primeiramente procurouse entender os Prncpios da Mecnica Quntica, condio bsica para o entendimento da Computao Quntica. Depois implementou-se um simulador de evoluo 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 grfica 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 nanoscpicos esto cada vez mais avanadas. Com isto j as pesquisas esto avanando
cada vez mais.

6.3

Consideraes finais

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,
finalmente poderamos ter cdigos de encriptao realmente seguros, pesquisas em
gigantescos bancos de dados usando algoritmos inteligentes e traos de inteligncia artificial poderiam ser feitas quase instantaneamente, a transmisso de dados
poderia alcanar velocidades da ordem de Terabytes por segundo usando fibras pticas 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
dificultam a vida dos pesquisadores. Os primeiros computadores qunticos j so
realidade, a IBM por exemplo desenvolveu um processador de 5 qubits, que equivalem 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 computadores 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 dificlima implementao
que pode cair no esquecimento, o fato que, hoje, essa tecnologia pode ser inegavelmente 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 quntica e conseqentemente da computao quntica, temos podido, com certeza; no
entanto, encontrar mais problemas do que solues efetivamente procuradas. Estamos, com certeza, na pr-histria da computao quntica, fantasiando supercomputadores, ou mesmo laptops qunticos mas no h como negar que foi dado
o primeiro passo, afinal, mostrou-se que existe essa possibilidade.

44

Referncias Bibliogrficas
[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 Logarithms 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, Cambridge 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 field sieve. Vol. 1554 of Lecture Notes in Mathematics.
Springer Verlag, 1993.
45

[Rieffel e Polak, 2000] RIEFFEL, Eleanor e Wolfgang. An introduction to quantum 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 Mechanics, 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. Quantum computation 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. F. 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. Naegerl, D. M. Stamper-Kurn, and H. J. Kimble State-Insensitive Cooling 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 matemtica da mecnica quntica, que fariam texto principal muito carregado para
algum interessado apenas nos aspectos gerais da computao quntica. Ao invs 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

Definimos rapidamente, no Captulo 2, operadores lineares, sobre um espao

de Hilbert. Vamos apresentar algumas propriedades adicionais desses operadores, importantes para a mecnica quntica. Para maiores detalhes, consultar, por
exemplo, [Cohen, 1977] e [vonNeumann].
Um operador linear A agindo sobre um espao de Hilbert H um mapeamento
linear que leva um vetor |f i H em um outro vetor |i = A|f i H, satisfazendo
as seguintes condies:
1. A(|f i) = (A|f i), C
2. A(|f i + |gi) = A|f i + A|gi
Cada operador linear tem um espectro associado, que o conjunto de solues
da equao de autovalores
A|f i = |f i, 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.
Definimos o produto de dois operadores A e B por
(AB)|f i = A(B|f i)
Em geral, AB 6= BA. Isto significa 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 definimos a operao
[A, B] = AB BA ,
que chamamos comutador de A e B. Se [A, B] = 0, dizemos que A e B comutam. 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 definir operadores. Este o caso do momento angular. Diz-se que qualquer conjunto de trs
operadores que satisfazem relaes de comutao da forma
[Lx , Ly ] = iLz
~ = Lx + Ly + Lz k
e permutaes cclicas forma um vetor momento angular L
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 definimos por
f (A) =

X
f (k) (0)
k=0

k!

Ak

As consideraes sobre a convergncia desta srie esto fora dos objetivos deste
trabalho.
A partir da definio acima, fcil perceber que, se aplicarmos f (A) a um
autovetor |al i de A com autovalor al , o resultado ser
f (A)|al i = f (al )|al i ,
48

desde que a srie infinita convirja.

Uma das funes de operadores mais importantes a exponencial. Ela aparece, por exemplo, na definio do operador de evoluo temporal. Como a srie
de Taylor para a exponencial tem raio de convergncia infinito, o operador de evoluo temporal est bem definido para qualquer hamiltoniano.
O operador inverso de um operador A, denotado por A1 , tambm muito
importante. A definio de A1
A1 A|f i = AA1 |f i = |f i, |f i H.

A.2

O espao dual H

Quando definimos 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 i, |gi H, (|f i, |gi) pode ser visto como
um funcional1 linear de |gi associado a |f i. Denotamos este funcional por hf |, e
dizemos que
hf |gi (|f i, |gi)
O conjunto dos funcionais lineares associados aos vetores de H chamado de espao dual de H, ou H . O fato de que esses funcionais so lineares consequncia
de sua definio em termos do produto interno.
Um operador importante pode ser definido com o auxlio do espao dual. Dizemos que um operador A tem um adjunto (ou hermiteano conjugado) A definido
da seguinte forma: O vetor de H associado a A|f i hf |A . Ou seja,
(A|f i, |gi) = (|f i, A |gi) = hf |(A |gi) = hf |A |gi.

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 espaos de Hilbert. Se duas partculas, quando descritas individualmente, tm seus
espaos HA e HB , os estados do sistema conjunto de duas partculas so vetores no espao de Hilbert HAB HA HB . Sejam {|1iA , |2iA , , |N iA } e
1

Um funcional uma operao que atribui a um vetor de H um nmero C

49

{|1iB , |2iB , , |N iB } bases dos espaos HA e HB , respectivamente. O conjunto de N 2 elementos {|iiA |jiB }, i, j = 1, 2, , N uma base de HAB .
Assim, um vetor |i HA HB pode ser escrito como uma combinao linear
dos vetores desta base de HAB :
N
X

|i HAB = |i =

ij |iiA |jiB .

i,j=1

Ou seja, o espao de estados das duas partculas tem dimenso N 2 se os espaos

das partculas individuais tm dimenso N . A regra para escrever operadores sobre
o espao HAB simples: operadores que dizem respeito partcula A no alteram
a parte do produto tensorial relativo partcula B e vice-versa. Assim, se OA
um operador que atua em HA , a extenso deste operador para HAB denotada
OA 1B , onde 1B o operador identidade em HB , e sua atuao sobre os vetores
de HAB dada por:
N
X

(OA 1B )|i = (OA 1B )

ij |iiA |jiB =

i,j=1
N
X

ij (OA |iiA ) (1B |jiB ) =

i,j=1
N
X

ij (OA |iiA ) |jiB

i,j=1

A regra para extenses de operadores de HB anloga.

importante notar que existem estados de HAB que no podem ser escritos
como produto tensorial de estados de HA e HB . Estes so chamados estados
emaranhados, e tm propriedades muito interessantes, tanto que algumas delas
so motivo de profundas controvrsias conceituais e filosficas 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 aparentemente no locais implicadas pela existncia de estados do tipo
|0iA |1iB + |1iA |0iB .
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 subsistemas. Este tipo de correlao, intrinsecamente quntica, faz com que os dois
sistemas se comportem como se um soubesse o estado do outro, instantaneamente, mesmo estando os dois infinitamente 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 variados em revistas de divulgao cientfica.

51

52

Apndice B

Centros de pesquisa
Atualmente, grande parte parte das pesquisas envolvidas em computao quntica 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 Chuang 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 qubits 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 fluoreno possam funcionar como qubits programados por radiofrequncia. Com esta
molcula, a equipe de Chuang resolveu em um nico passo um problema matemtico para o qual computadores convencionais requereriam repetidos ciclos de
execuo. O problema, chamado "order-finding"consiste em achar o perodo de
uma determinada funo.
um problema matemtico tpico no qual se baseiam aplicaes importantes
como a criptografia. Chuang diz que as primeiras aplicaes da computao quntica seriam como coprocessadores para funes especficas, 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 eficincia 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 confinou 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 eltrons. 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