Universidade Federal de Campina Grande

Centro de Engenharia Eltrica e Informtica

Curso de Graduao em Engenharia Eltrica

TSSIO ROGRIO NBREGA BORJA DE MELO

PROJETO E SIMULAO DE UMA ARMADILHA DE ONS

PARA COMPUTAO QUNTICA

Campina Grande, Paraba

Maio de 2014

TSSIO ROGRIO NBREGA BORJA DE MELO

PROJETO E SIMULAO DE UMA ARMADILHA DE ONS

PARA COMPUTAO QUNTICA

Trabalho de Concluso de Curso submetido

Unidade Acadmica de Engenharia Eltrica da
Universidade Federal de Campina Grande
como parte dos requisitos necessrios para a
obteno do grau de Bacharel em Cincias no
Domnio da Engenharia Eltrica.

rea de Concentrao: Eletromagnetismo Aplicado.

Orientador:
Professor Francisco Marcos de Assis, Dr.

Campina Grande, Paraba

Maio de 2014

TSSIO ROGRIO NBREGA BORJA DE MELO

PROJETO E SIMULAO DE UMA ARMADILHA DE ONS

PARA COMPUTAO QUNTICA

Trabalho de Concluso de Curso submetido Unidade

Acadmica de Engenharia Eltrica da Universidade
Federal de Campina Grande como parte dos requisitos
necessrios para a obteno do grau de Bacharel em
Cincias no Domnio da Engenharia Eltrica.

rea de Concentrao: Eletromagnetismo Aplicado.

Aprovado em 12 / 05 / 2014. _______

Professor Francisco de Assis Ferreira Tejo, Dr.

Universidade Federal de Campina Grande
Avaliador, UFCG

Professor Francisco Marcos de Assis, Dr.

Universidade Federal de Campina Grande
Orientador, UFCG

Dedico este trabalho aos meus pais.

AGRADECIMENTOS

A Deus por ter me dado sade, coragem e perseverana para enfrentar o difcil
caminho at aqui.
Aos meus pais Romero Tadeu e Maria do Rosrio, por nunca medirem esforos
para que eu tivesse uma boa formao intelectual e moral. Por s vezes fazerem at mais
do que estava ao alcance, e principalmente, pelos momentos em que eles fizeram no a
minha vontade, mas o que era melhor para mim.
Aos meus irmos Tssia, Talyta e Romerinho, e a toda minha famlia, por
sempre me apoiarem e cuidarem de mim.
minha namorada Ana Cludia, pelo amor, carinho, constante apoio e
compreenso. Sem ela, talvez eu no tivesse conseguido chegar at aqui.
Ao professor Francisco Marcos pela excelente orientao, estmulo e pacincia.
Ao professor Francisco Tejo pela contribuio imprescindvel para a realizao
deste trabalho.
Aos amigos Pablo, Paulinho e Tico, pelas boas conversas na hora do almoo.
A todas as pessoas que direta ou indiretamente contriburam para a realizao
deste trabalho.

RESUMO

Neste trabalho discutimos a implementao de processadores qunticos usando

armadilhas de ons. Apresentamos os princpios bsicos da computao quntica,
destacando a diferena entre bits clssicos e qubits, bem como as operaes realizadas
sobre estes pelas portas lgicas qunticas. Discutimos as principais caractersticas das
armadilhas de ons, dando nfase s armadilhas lineares. Mostramos como as portas
qunticas podem ser implementadas usando o sistema de ons confinados
eletromagneticamente. Apresentamos os resultados da simulao numrica de uma
armadilha de ons linear do tipo Paul, realizada com o software COMSOL
Multiphysics, tendo como resultado o confinamento de um on de

40

+, cujo

movimento apresentou as caractersticas esperadas, estando de acordo com o que

previsto teoricamente.

Palavras-chave: Armadilha de ons, computao quntica, qubits, portas lgicas

qunticas.

ABSTRACT

In this work we discuss the implementation of quantum processors using ion

traps. We present the basic principles of quantum computing, emphasizing the
difference between classical bits and qubits, and the operations performed on these by
quantum logic gates. We discuss the main features of ion traps, emphasizing linear
traps. We show how quantum gates can be implemented using the system of ions
confined electromagnetically. We present the results of numerical simulation of a linear
ion trap type Paul performed with COMSOL Multiphysics software, resulting in the
confinement of an

40

+ ion, whose movement has presented the expected

characteristics, being in agreement with what is theoretically predicted.

Keywords: Ion traps, quantum computation, qubits, quantum logic gates.

LISTA DE ILUSTRAES

Figura 1: Portas lgicas qunticas de um qubit. ............................................................ 12

Figura 2: Esfera de Bloch. Adaptado de (CHUANG, NIELSEN, 2000, p.15). ............ 13
Figura 3: Porta cNOT. ................................................................................................... 14
Figura 4: Representao do potencial em torno da origem. O poo de potencial
gira, possibilitando o confinamento da partcula. ....................................................... 19
Figura 5: Diferentes geometrias para armadilhas de ons. (a) confinamento puramente
dinmico nas trs dimenses. (b) Armadilha linear tipo Paul. Confinamento dinmico
no plano x-y, e confinamento esttico no eixo . Adaptado de (LEIBFRIED, et al,
2003). .............................................................................................................................. 20
Figura 6: Controle dos estados qunticos por meio de lasers. Adaptado de (CIRAC,
ZOLLER, 1995). ............................................................................................................ 24
Figura 7: Transies entre os estados fundamental e excitado. 0 a frequncia de
ressonncia dos estados atmicos internos, enquanto que a frequncia de excitao
do modo de oscilao coletiva do centro de massa da cadeia de ons. Sintonizando o
laser nessas frequncias, so estimuladas as transies entre os diferentes nveis de
energia. ........................................................................................................................... 24
Figura 8: Modo de oscilao do centro de massa da cadeia de ons. ............................ 26
Figura 9: Arranjo geomtrico dos eletrodos na armadilha de ons tipo Paul. ............... 29
Figura 10: Superfcies limitantes da regio de clculo. ................................................ 30
Figura 11: Malha gerada para a implementao do mtodo dos elementos finitos. ..... 31
Figura 12: Alimentao dos eletrodos com tenso DC. ................................................ 32
Figura 13: Alimentao dos eletrodos com tenso AC. ................................................ 33
Figura 14: Potencial esttico ao longo da direo longitudinal. ................................... 33
Figura 15: Potenciais ao longo dos eixos e em vrios instante de tempo. As curvas
em verde representam o potencial ao longo do eixo , e as curvas em azul, ao longo do
eixo . ............................................................................................................................. 34
Figura 16: Trajetria do on confinado durante um tempo de 20. As diferentes cores
representam diversos valores de velocidade. A trajetria se assemelha a uma curva de
Lissajous e reflete o movimento secular da partcula. .................................................... 35
Figura 17: Trajetria do on confinado usando uma resoluo temporal melhor.
possvel identificar a presena do micromovimento, caracterizado pela oscilao em
torno da trajetria mdia. ................................................................................................ 36
Figura 18: Movimento do on no plano -. ................................................................. 37

SUMRIO

Introduo .................................................................................................................. 1

Fundamentos de Computao Quntica .................................................................... 4

2.1

Postulados da Mecnica Quntica ..................................................................... 5

2.2

Bits e Qubits....................................................................................................... 8

2.2.1 Qubits Individuais .......................................................................................... 8

2.2.2 Qubits Mltiplos............................................................................................. 9
2.3
3

Portas Lgicas Qunticas ................................................................................. 10

Fundamentos de Armadilhas de ons ....................................................................... 16

3.1

Confinamento Dinmico de Partculas Carregadas ......................................... 17

3.2

Implementao de Qubits e Portas Qunticas Usando ons Confinados ......... 23

Simulao da Armadilha Linear do Tipo Paul ......................................................... 29

Consideraes Finais ............................................................................................... 38

Apndice A Espao de Hilbert e Notao de Dirac .................................................... 40

Apndice B Estados Entrelaados ............................................................................... 42
Apndice C Transformaes de Calibre ...................................................................... 43
Bibliografia ..................................................................................................................... 47

INTRODUO

O desenvolvimento da cincia da computao ao longo do sculo XX provocou

profundas transformaes em vrias reas da atividade humana. O advento e
popularizao do computador pessoal, fez com que ele se tornasse um acessrio comum
ao dia a dia das pessoas, modificando a maneira como elas se comportam e se
relacionam. Essa popularizao proporcionou tambm um acesso mais rpido e fcil
informao, a qual passou a ser tratada como uma mercadoria muito valorizada. Pode-se
dizer que vivemos na era da informao.
Os fundamentos da teoria da computao moderna so creditados ao matemtico
ingls Alan Turing, graas a um notvel artigo publicado em 1936. Turing desenvolveu
a noo abstrata do que hoje chamamos de computador programvel, estabelecendo um
modelo de computao conhecido como mquina de Turing. No muito tempo aps a
publicao deste artigo fundamental, foram desenvolvidos os primeiros computadores
construdos com componentes eletrnicos. Posteriormente, John von Neumann
descreveu, em um modelo terico simples, como seria possvel montar de forma prtica
todos os componentes necessrios para a construo de uma mquina de Turing
universal.
Uma revoluo na produo do hardware computacional ocorreu a partir de
1947, quando John Bardeen, Walter Brattain e Will Shockley desenvolveram o primeiro
transistor. Desde ento, os computadores tm crescido em capacidade de processamento
num ritmo surpreendente, tal como sintetizado por Gordon Moore em 1965. A assim
chamada lei de Moore afirma que o nmero de transistores que podem ser gravados em
um chip eletrnico dobra a cada 18 meses, levando a uma duplicao da capacidade das
memrias e do poder computacional dos processadores (LE BELLAC, 2006, p.2).
Entretanto, h um limite fundamental para a miniaturizao dos dispositivos eletrnicos,
o que implica que a lei de Moore no dever ter validade ilimitada. Por extrapolao
desta lei, em um futuro no muito distante (uma ou duas dcadas), as dimenses
caractersticas dos circuitos em chips atingiro algo em torno de 10 nanmetros. Em
escalas de comprimento menores que esta, as propriedades individuais de tomos e
eltrons se tornam predominantes e os efeitos qunticos passam a interferir no
funcionamento dos componentes. Estes efeitos tero que ser levados em conta no caso

de se querer continuar a diminuir o tamanho dos componentes. Entretanto, diversos

estudos tericos recentes mostram que os efeitos qunticos podem ser aproveitados para
promover novos paradigmas de computao, qualitativamente diferentes dos atuais e,
em alguns casos, muito mais poderosos que estes (BOUWMEESTER, et at, 2000).
A concepo de componentes eletrnicos como o transistor foi realizada
aplicando resultados da mecnica quntica, de modo que os computadores digitais
atuais que chamamos de computadores clssicos1 sempre funcionaram segundo os
princpios da mecnica quntica. Entretanto, no chamamos este tipo de mquina de
computador quntico, porque eles no utilizam os princpios desta teoria diretamente
para a realizao do processamento da informao. Alm disso, o comportamento
quntico exibido pelos transistores um comportamento coletivo, sendo sempre
envolvida uma grande quantidade de eltrons da ordem de 104 a 105 . A grande
novidade, desenvolvida nas dcadas de 70 e 80, o advento da manipulao e
observao de objetos qunticos individuais. na possibilidade de manipulao desses
sistemas extremamente pequenos e delicados que residem os alicerces do que
chamamos computao quntica (LE BELLAC, 2006, p.2).
A idia original da utilizao de um computador quntico foi proposta por
Richard Feynman em 1982, o qual conjecturou o uso de um sistema quntico para
simular eficientemente uma classe de sistemas fsicos, os quais no podem ser
simulados eficientemente com computadores clssicos. Desde esta idia inicial, foram
descobertas vrias possveis aplicaes para computadores qunticos, a mais famosa
delas sendo o algoritmo que resolve o problema da decomposio de grandes nmeros
inteiros em seus fatores primos, conhecido como algoritmo de Shor (SHOR, 1994). O
advento deste algoritmo teve um impacto quase imediato na comunidade cientfica, por
demonstrar diretamente que computadores qunticos poderiam resolver problemas
extremamente complexos, que no tm soluo eficiente em computadores clssicos. De
fato, o algoritmo de Shor fez aumentar o interesse nesta nova rea de pesquisa,
impulsionando de forma decisiva o seu desenvolvimento, alm de abrir as portas para
uma nova cincia de algoritmos (LE BELLAC, 2006, p.3). Relacionada com a pesquisa
em computao quntica esto outras aplicaes, tais como: teletransporte quntico,
criptografia quntica, comunicao em canais qunticos e cdigo quntico superdenso
(CHUANG, NIELSEN, 2000).
1

No contexto deste trabalho, clssico um termo que tem significado antagnico ao termo quntico.
Isto se deve a razes histricas.

A computao quntica abre perspectivas fantsticas, porm h dificuldades em

realiz-la. Um grande esforo tem sido feito para a construo de um sistema fsico que
seja capaz de realizar a implementao de um processador quntico. A principal
dificuldade encontrada vencer os efeitos da chamada descoerncia, a qual provoca a
perda de informao durante o seu processamento. Dentre as vrias propostas de
implementao fsica, uma das principais o confinamento de partculas usando
armadilha de ons.
O objetivo do presente trabalho mostrar como as armadilhas de ons podem ser
aplicadas em computao quntica, e realizar uma simulao numrica demonstrando o
seu funcionamento. Estruturamos este trabalho da seguinte maneira: no captulo 2
tratamos dos fundamentos da computao quntica, definindo matematicamente os bits
no contexto quntico e as portas lgicas qunticas; no captulo 3 discutimos os
princpios de funcionamento de armadilhas de ons e como podem ser implementadas as
portas lgicas qunticas utilizando este sistema; no captulo 4 apresentamos os
resultados da simulao numrica da armadilha de ons tipo Paul e o captulo 5
reservado para as nossas consideraes finais. Foram ainda inseridos trs apndices,
escritos para enfatizar aspectos importantes de certos conceitos, sem desviar o foco
principal ao longo do texto.

FUNDAMENTOS DE COMPUTAO QUNTICA

A cincia da computao uma rea de conhecimento bastante abstrata que,

notadamente, possui fortes relaes com a lgica e a matemtica, muito mais do que
com a fsica. Contudo, como um computador um sistema fsico, o processo
computacional, seja ele efetuado por qualquer tipo de hardware, um processo que
deve em ltima instncia, obedecer s leis da fsica. Em sendo a mecnica quntica uma
teoria fundamental, lcito pensarmos em uma mquina que realize o processamento de
informao utilizando as caractersticas essenciais desta teoria como forma de recurso
computacional. Esta idia foi formalizada por Deutsch (DEUTSCH, 1985) em um artigo
que lanou as bases para essa rea de pesquisa relativamente nova, que chamamos de
computao e informao quntica, e que atualmente rene conhecimentos de fsica,
matemtica, cincia da computao e teoria da informao.
Um bit clssico de informao pode tomar os valores 0 ou 1, os quais so
estados mutuamente exclusivos. Um bit quntico, ou qubit, pode no somente assumir
os valores 0 e 1, mas tambm, em certo sentido, todos os infinitos valores
intermedirios. Esta uma conseqncia de uma propriedade fundamental de sistemas
qunticos: possvel construir combinaes lineares de um estado no qual o qubit tem o
valor 0, e de um outro estado que apresenta o valor 1. Esta propriedade, para a qual no
se encontra anlogo clssico, chamada superposio de estados (LE BELLAC, 2006,
p.2).
Outra importante propriedade quntica ainda mais intrigante que a primeira
o chamado entrelaamento (ou emaranhamento). Em nvel quntico, pode acontecer de
dois objetos distintos formarem uma nica entidade, mesmo que eles sejam separados
por uma distncia arbitrariamente grande (LE BELLAC, 2006, p.2). Qualquer tentativa
de descrever essa entidade como uma combinao de dois objetos independentes
condenada a falhar a menos que se admita a possibilidade da propagao de sinais
com velocidades superiores da luz, o que violaria o princpio da causalidade. A
despeito das possveis interpretaes filosficas dessas duas propriedades, elas so
extensivamente aplicadas em computao e informao quntica (BOUWMEESTER, et
at, 2000, p.7).

Quando combinadas, estas propriedades abrem a possibilidade de novos

conceitos em termos de computao, como por exemplo, o paralelismo quntico, o qual
possibilitou a concepo de algoritmos que utilizam a lgica quntica, os quais, por sua
prpria natureza, no podem ser executados em computadores clssicos. Exemplos
deles so o algoritmos de Shor decomposio de nmeros inteiros em seus fatores
primos e o algoritmo de Grover algoritmo de busca eficiente.
No que segue, apresentamos os princpios fundamentais da mecnica quntica,
enunciando seus postulados; apresentamos as propriedades de um e mltiplos qubits e
discutimos operaes sobre eles, as quais so realizadas por meio das portas lgicas
qunticas.

2.1 POSTULADOS DA MECNICA QUNTICA

A teoria quntica foi desenvolvida nas primeiras dcadas do sculo passado, ao
longo de um trabalhoso processo que envolveu a contribuio de diversos cientistas
importantes da poca e levou a grandes debates e mesmo desavenas acerca da
interpretao de suas idias bsicas. Na forma como a conhecemos hoje, ela pode ser
formulada com base em postulados que expressam de forma sinttica os seus princpios
fundamentais luz do conhecimento emprico adquirido. Pode-se dizer que os
postulados fornecem uma conexo entre o mundo fsico e o formalismo matemtico da
mecnica quntica. Segundo Chuang (CHUANG, NIELSEN, 2000), eles podem ser
enunciados da seguinte maneira:

Postulado 1: Associado a qualquer sistema fsico isolado est um espao

vetorial complexo dotado de produto interno (espao de Hilbert), denominado espao de
estados do sistema. O sistema completamente descrito por seu vetor de estado, o qual
um vetor unitrio neste espao complexo.
Postulado 2: A evoluo temporal do estado de um sistema quntico
fechado descrita pela equao de Schrdinger,

= ,

2.1

em que a constante de Planck e o operador hamiltoniano do sistema.

Postulado 3: Medies em sistemas qunticos so descritas por um conjunto

de operadores de medio, os quais atuam no espao de estados associado ao
sistema que est sendo medido. O ndice refere-se aos resultados possveis do
experimento. Se o sistema se encontra no estado antes da medio, a probabilidade
de que ocorra o resultado dada por,

=
,

2.2

e o estado do sistema imediatamente aps a medio

2.3

Os operadores de medio satisfazem a relao de completude,

= ,

2.4

em que o operador identidade.

Postulado 4: O espao de estados de um sistema fsico composto o produto

tensorial dos espaos de estado dos sistemas que o compem. Alm disso, se tivermos
sistemas numerados de 1 a , e o sistema nmero preparado no estado , ento o
estado do sistema composto 1 2 , em que o smbolo denota
produto tensorial.

Podemos fazer alguns comentrios a respeito dos postulados, a fim de

proporcionar uma perspectiva global sobre a teoria e tornar mais claro o carter e o
comportamento geral dos sistemas qunticos.

O primeiro postulado define o palco onde os fenmenos qunticos so

estudados, especificando a forma como o estado de um sistema isolado deve ser descrito
matematicamente, por meio de um vetor em um espao vetorial complexo. O postulado
2 nos diz que a dinmica de sistemas qunticos fechados descrita pela equao de
Schrdinger, a qual depende do operador hamiltoniano que caracteriza o sistema. Este
postulado no prescreve como obter o hamiltoniano especfico de um dado sistema,
afirma apenas que, uma vez conhecido este operador, pode-se em princpio determinar a
evoluo temporal do vetor de estado. Para a obteno do hamiltoniano necessria a
formulao de hipteses adicionais, e mesmo de teorias especficas sobre o sistema em
questo. Este postulado implica ainda que a evoluo temporal de entre dois
instantes de tempo realizada por transformaes unitrias, refletindo o fato de a norma
de permanecer fixa e igual a um (LE BELLAC, 2006, p.37). A equao de
Schrdinger pode ser resolvida formalmente, e o estado

em qualquer instante de

tempo ser dado por

= exp

O operador unitrio ; 0 = exp

0 , ao estado

0 .

2.5

leva o estado 0

no tempo

no tempo . , por esta razo, chamado de operador evoluo.

O terceiro postulado estabelece o comportamento de um sistema quntico

quando da realizao da medio de uma de suas grandezas observveis. por meio
deste postulado que sabemos de que maneira possvel extrair informaes de tais
sistemas. De acordo com ele, estamos limitados a ter apenas informaes estatsticas a
respeito das grandezas observveis, no sendo possvel acessar diretamente o vetor de
estado. Por fim, o quarto postulado nos diz como os espaos de estados de diferentes
sistemas podem ser combinados para que se tenha uma descrio matemtica do sistema
composto.
Estas so as regras fundamentais que os sistemas qunticos obedecem, e a partir
delas podem ser deduzidas certas conseqncias, algumas delas extremamente no
intuitivas, como superposio e entrelaamento. Apesar de anti-intuitiva, esta
complexidade adicional ausente no mundo clssico que permite que sistemas

qunticos possam ser usados para realizar um tipo de computao diferenciada em

relao computao clssica (DAVIDE, 2011).

2.2 BITS E QUBITS

O bit um dos conceitos fundamentais das teorias da computao e informao
clssicas. As teorias da computao e informao qunticas so construdas com base
no seu anlogo quntico, o qubit. Nesta seo, apresentamos as propriedades de um e
vrios qubits, procurando destacar as suas diferenas em relao aos bits clssicos.

2.2.1 QUBITS INDIVIDUAIS

Qubits so tratados como sendo objetos matemticos abstratos com certas
caractersticas especficas. Embora eles necessitem das propriedades de algum sistema
fsico para serem implementados (como a polarizao de um fton, ou estados de spins
atmicos), bastante til trat-los dessa forma abstrata, porque assim pode-se construir
uma teoria geral da computao e informao quntica que no depende de um sistema
especfico para sua realizao (CHUANG, NIELSEN, 2000, p.13).
Analogamente aos estados que um bit clssico pode apresentar 0 ou 1 um
qubit tambm pode apresentar dois estados, que denotamos por 0 e 1 . Uma primeira
grande diferena entre bits e qubits o fato de um qubit poder ser encontrado em um
estado que no seja nem 0 nem 1 . possvel formar estados superpostos por meio
de combinaes lineares da forma,
= 0 + 1 ,

2.6

em que e so nmeros complexos, frequentemente chamados de amplitudes. Ou

seja, em geral, o estado de um qubit um vetor em um espao vetorial complexo de
dimenso 2. Os estados especiais 0 e 1 formam uma base ortonormal para este
espao e so conhecidos como estados da base computacional.
Uma segunda diferena fundamental est relacionada com a medio de bits e
qubits. sempre possvel examinar um bit para determinar se ele est no estado 0 ou 1
isto o fazem os computadores, por exemplo, para recuperar o contedo de sua

memria. Em contrapartida, no possvel examinar um qubit para determinar o seu

estado quntico, ou seja, os valores de e na equao 2.6 . Em vez disso, a
mecnica quntica permite adquirir apenas informaes probabilsticas sobre o estado
do sistema. Quando medimos um qubit obtemos como resultado da medio o valor 0,
com probabilidade 2 , ou o valor 1, com probabilidade 2 . Naturalmente,

= 1, uma vez que a soma das probabilidades deve ser unitria. Logo aps a

medio, o estado do sistema ser 0 , se o valor obtido tiver sido 0, ou o estado 1 , se

o valor obtido tiver sido 1. Desta forma, no temos condies de afirmar nada sobre e
, em se medindo apenas um qubit.
Paradoxalmente, h um nmero infinito de estados possveis de serem ocupados
por um qubit, de modo que, em princpio, poder-se-ia armazenar uma quantidade de
informao infinita em um nico qubit por meio das amplitudes e . No entanto, esta
concluso se revela por ser enganosa, devido ao comportamento intrnseco de sistemas
qunticos quando observados, em conformidade com o postulado 3. A partir de uma
nica medio, obtm-se apenas um bit de informao sobre o estado do qubit, devido
ao fato de o resultado da medio ser sempre ou 0 ou 1. Alm disso, a medio altera o
seu estado, fazendo colapsar o seu estado de superposio de 0 e 1 , para o estado
especfico consistente com o resultado da medio ( 0 ou 1 ). Somente no caso da
medio de infinitos qubits identicamente preparados no mesmo estado , poder-se-ia
determinar os coeficientes e (CHUANG, NIELSEN, 2000, p.15).

2.2.2 QUBITS MLTIPLOS

Seria razovel esperar que um sistema de dois qubits no trouxesse nenhuma
grande novidade em relao a um sistema de um nico qubit. Entretanto, a estrutura de
dois qubits extraordinariamente rica, porque ela introduz correlaes qunticas entre
eles, as quais no podem ser reproduzidas usando argumentos clssicos da teoria de
probabilidades (LE BELLAC, 2006, p.49). Em um sistema de dois bits clssicos,
verifica-se que h quatro estados possveis: 00, 01, 10 e 11. Todavia, para que
possamos descrever adequadamente o que se passa com um sistema de dois qubits
necessrio levar em conta o postulado 4. O espao de estados do sistema composto ser
o produto tensorial dos espaos dos dois qubits simples que o constituem, de modo que
a base computacional, antes constituda apenas pelos vetores 0 e 1 , passar agora a
ser constituda por quatro vetores, denotados por 0 0 , 0 1 , 1 0 e

10

1 1 . Desta forma, o estado mais geral no espao do sistema composto uma

combinao linear desses novos vetores de base,
= 00 00 + 01 01 + 10 10 + 11 11 ,

2.7

em que adotamos a notao mais compacta para o produto tensorial,

. Quando as amplitudes atendem a certas condies (vide apndice B),
o estado dado acima ser um estado entrelaado dos qubits originais, e estes,
portanto, no podero mais ser descritos como objetos independentes.
De forma mais geral, podemos considerar um sistema de qubits, onde um
vetor qualquer da base computacional ter a forma 1 2 , com = 0,1. A base
ser constituda pelos vetores correspondentes a todas as combinaes dos . No caso
de um sistema de trs qubits, por exemplo, teremos oito combinaes possveis para os
, e um estado genrico nesse espao seria dado por,
= 000 000 + 001 001 + 010 010 + 011 011 + 100 100 + 101 101
+110 110 + 111 111 .

2.8

Pode-se perceber ento que o estado quntico de um sistema de qubits ser

especificado por 2 amplitudes, o que implica um importante resultado: a quantidade de
informao contida em um estado emaranhado de qubits cresce exponencialmente
com , e no linearmente, como no caso de bits clssicos para = 500, o nmero de
amplitudes que especificam o estado entrelaado do sistema maior do que o nmero
estimado de tomos no universo! Tentar armazenar todos esses nmeros complexos
seria impossvel em qualquer computador clssico concebvel. Entretanto, um
computador quntico poderia lidar naturalmente com essa quantidade de informao
(CHUANG, NIELSEN, 2000, p.17).

2.3 PORTAS LGICAS QUNTICAS

Portas lgicas podem ser entendidas como sendo operadores que atuam sobre
bits, realizando um mapeamento entre os seus estados de entrada e sada. No caso de um
nico bit clssico, h apenas uma operao no trivial que pode ser realizada, que a

11

inverso do estado do bit de entrada: 0 1 e 1 0. A porta que realiza esta ao

chamada de porta NOT. Uma porta NOT quntica anloga a esta definida de modo
que o estado 0 levado no estado 1 , e vice-versa. Entretanto, isto no suficiente
para especificar completamente a sua ao, pois no est claro como a porta opera sobre
estados superpostos de 0 e 1 . Neste caso, ela far com que o estado
= 0 + 1 ,

seja levado no estado

= 0 + 1 ,

2.9

ou seja, as amplitudes e so invertidas.

Diferentemente do caso dos bits clssicos, existe uma infinidade de operaes
no-triviais possveis sobre qubits individuais. Se denotarmos o vetor de estado como
uma matriz coluna,

= ,

2.10

podemos representar a ao das portas qunticas por meio de matrizes 2 2.

necessrio, entretanto, que a norma do vetor de estado seja preservada e isto implica que
essas matrizes devem ser unitrias, ou seja, se representa a matriz de uma porta lgica
quntica, ela deve satisfazer a relao = , em que a matriz adjunta de
(obtida pela transposio e, em seguida, conjugao complexa dos elementos de ). De
fato, esta a nica restrio que a mecnica quntica impe sobre operaes em qubits,
de modo que qualquer operao unitria especifica uma porta quntica vlida
(CHUANG, NIELSEN, 2000, p.18).
Suponha que definamos uma matriz para representar a porta NOT quntica.
Escrita em forma matricial, a ao desta porta deve ser tal que,

=
.

2.11

12

Verifica-se facilmente que a matriz que satisfaz esta relao

0 1
.
1 0

2.12

Observa-se tambm que unitria, = . Esta matriz, juntamente com

0
0

1 0
0 1

2.13

so as chamadas matrizes de Pauli as quais so tambm denotadas por , e ,

respectivamente. Alm delas, outra importante operao sobre qubits aquela realizada
pela porta de Hadamard ,

1 1 1
,
2 1 1

a qual transforma o estado zero 0 em

0 + 1

2.14

2 , e o 1 em

0 1

2,

realizando portanto uma mistura dos estados 0 e 1 .

Estas portas so representadas em circuitos qunticos utilizando a simbologia
mostrada na figura 1.

Figura 1: Portas lgicas qunticas de um qubit.

Num espao de dimenso 2 correspondente a um nico qubit o efeito da

aplicao de operaes unitrias pode ser visualizado como sendo rotaes de um vetor
de norma um na chamada esfera de Bloch. Por esse motivo, operaes unitrias sobre

13

qubits so frequentemente chamadas de rotaes de qubits (CHUANG, NIELSEN,

2000, p.15).

Figura 2: Esfera de Bloch. Adaptado de (CHUANG, NIELSEN, 2000, p.15).

As matrizes de Pauli do origem aos operadores de rotao em torno dos eixos

, e pela aplicao da funo exponencial:

cos 2
sen 2
cos 2
sen 2

=
0

sen 2
cos 2
sen 2
cos 2

2.15

2.16

2.17

Qualquer porta quntica de um qubit pode ser escrita como sendo uma composio
destes operadores de rotao.
Existem vrias portas lgicas clssicas de mltiplos bits, a exemplo das portas
AND, OR, XOR, NAND e NOR. Entretanto, um importante resultado terico afirma
que qualquer funo nos bits pode ser computada a partir da composio de portas
NAND apenas, a qual assim conhecida como porta lgica universal (CHUANG,
NIELSEN, 2000, p.20). No caso quntico, uma porta de mltiplos qubits de importncia

14

fundamental a chamada porta controlled-NOT, ou simplesmente cNOT. Esta porta

tem dois qubits de entrada e implementa uma operao controlada de inverso do
chamado qubit alvo, em consonncia com o estado do chamado qubit de controle. A
representao do circuito para a cNOT mostrada na figura 2, onde a linha superior
representa o qubit de controle, e a inferior representa o qubit alvo.

Figura 3: Porta cNOT.

A ao da porta pode ser descrita como segue. Se o qubit de controle 0 , ento

o qubit alvo deixado inalterado. Se o qubit de controle 1 , o qubit alvo invertido.
Ou seja,
00 00
01 01
10 11

2.18

11 10

em que estamos usando a conveno de que o primeiro dgito corresponde ao qubit de

controle, e o segundo ao qubit alvo. Pode-se descrever compactamente a ao da porta
cNOT como , , , onde representa adio mdulo 2. Outra maneira
de descrever a ao da cNOT por meio da sua representao matricial,

1
= 0
0
0

0
1
0
0

0
0
0
1

0
0 .
1
0

2.19

Assim como no caso de qubits individuais, a exigncia de que a probabilidade seja

conservada expressa no fato de que uma matriz unitria.

15

Naturalmente, existem muitas outras portas de mltiplos qubits alm da cNOT.

No entanto, uma operao arbitrria em qualquer nmero de qubits pode ser gerada por
um conjunto finito de portas, de acordo com o seguinte resultado: qualquer operao
unitria pode ser aproximada, com preciso arbitrria, usando a porta cNOT e as portas
de rotaes de qubits individuais. Diz-se ento que estas portas formam um conjunto
universal de portas qunticas. Este importante resultado o anlogo quntico da
universalidade da porta NAND (SILVA, 2002).

16

FUNDAMENTOS DE ARMADILHAS DE ONS

A busca pela implementao fsica de computadores qunticos tem sido um tema

de intensa pesquisa atualmente, tendo sido propostos, nas ltimas duas dcadas,
diversos tipos de aparatos experimentais para a sua realizao. Pode-se dizer que o
estgio de desenvolvimento da tecnologia ainda est nos seus primeiros passos, tendo-se
ainda que percorrer um longo caminho para a obteno de um computador quntico que
tenha algum uso prtico. Entretanto, os avanos alcanados nos ltimos anos so
promissores e permitem esperar com otimismo os desenvolvimentos futuros deste
campo de pesquisa. Dentre os principais sistemas propostos, podemos destacar:
ressonncia nuclear magntica com molculas; ftons em meios pticos no lineares;
cavidades ressonantes em microondas; eletrodinmica quntica de cavidades; circuitos
supercondutores com junes Josephson; tomos de condensados de Bose-Einstein
confinados em redes pticas, dentre outros (LE BELLAC, 2006, p.108; CHUANG,
NIELSEN, 2000, p.277).
Em 2000, David P. DiVincenzo listou cinco critrios que um sistema deveria
satisfazer a fim de implementar um computador quntico (DIVICENZO, 2000).
Segundo ele, um tal sistema deve:

Ser escalvel, isto , capaz de ser estendido a um nmero suficiente de

qubits, sendo estes bem caracterizados;

Ser capaz de inicializar os qubits no estado 0 de forma simples e com

fidelidade;

Ter qubits suportados por estados fsicos de tempos de vida longos o

suficiente para que o estado permanea coerente durante a realizao das
operaes;

Ser capaz da realizao de um conjunto universal de portas qunticas;

Possuir um mtodo eficiente de medio de qubits especficos ao final do

processo computacional.

De todas as propostas existentes atualmente, uma das que mais chamam a

ateno, atendendo maioria dos requisitos listados acima, o sistema que utiliza

17

armadilhas de ons. As suas principais caractersticas so: mtodo de leitura da

informao via tcnicas de fluorescncia cuja eficincia quase unitria (LE BELLAC,
2006, p.122; BOUWMEESTER, et at, 2000, p.127); escrita da informao realizada por
meio de lasers, usando tcnicas bem desenvolvidas e utilizadas h bastante tempo em
espectroscopia de alta preciso e estabelecimento de padres de freqncia e relgios
atmicos (BOUWMEESTER, et at, 2000, p.127; BERKELAND, et al, 1998);
manuteno do aprisionamento dos tomos por grandes perodos de tempo (dias ou at
semanas) (SILVA, 2002).
Entretanto, como na maioria das outras tentativas de implementao, a maior
dificuldade a limitao imposta pela chamada descoerncia, provocada devido
interao do sistema com o ambiente que o envolve. Esta interao faz com que os
qubits percam as caractersticas de superposio coerente, corrompendo a informao
nele contida. A dificuldade reside no fato de que para ser de uso prtico, um
computador quntico deve ser capaz de armazenar e processar milhares de qubits
(STEANE, 2007), enquanto que o atual estado da arte da ordem de apenas dez
(MONZ, et al, 2011), devido ao efeito da descoerncia piorar com o aumento do
nmero de qubits. Ainda assim, o sistema da armadilha de ons possui tempos de
descoerncia grandes comparados maioria das outras implementaes e apresenta
melhores possibilidades de escalabilidade que as outras propostas, sendo por isso um
dos sistemas mais promissores disponveis.
No que segue, discutiremos os princpios de funcionamento de armadilhas de
ons, mais especificamente, as armadilhas lineares do tipo Paul. Em seguida, mostramos
como este sistema se presta implementao de um processador quntico, mostrando
como as portas lgicas podem ser realizadas.

3.1 CONFINAMENTO DINMICO DE PARTCULAS CARREGADAS

O objetivo de uma armadilha de ons, como o nome sugere, o confinamento
tridimensional de partculas carregadas em uma pequena regio do espao, para que seja
possvel manipul-las de maneira controlada. Dentre os vrios tipos de potencial
possveis para aprisionar um on, normalmente desejado que ele seja semelhante ao
potencial de um oscilador harmnico, pois desta forma, a descrio analtica do

18

movimento das partculas se torna mais simples. Em geral, busca-se que a fora seja
aproximadamente restauradora,
~ .

3.1

= ,

3.2

onde o vetor posio. Como,

onde a energia potencial, segue que deve ter a forma (WERTH, et al, 2005, p.12),
, , , = 2 + 2 + 2 ,

3.3

onde , e so constantes e uma funo que pode depender do tempo.

Verifica-se que no possvel alcanar o confinamento usando apenas um campo
eletrosttico, conforme demonstrado por Earnshaw na forma de um teorema que leva o
seu nome (GRIFFITHS, 1999, p.115). Busca-se ento engendrar uma combinao de
campos estticos e variantes no tempo, de modo a gerar barreiras de potencial em
todas as direes, s quais a partcula no seja capaz de transpor. Vamos considerar
potenciais que possam ser decompostos em uma parte esttica superposta a uma parte
dinmica, a qual varia senoidalmente no tempo,
, , , = 2 + 2 + 2 + cos

2 + 2 + 2 ,
3.4

onde = , e so as amplitudes das tenses DC e AC aplicadas aos

eletrodos da armadilha, a freqncia do campo AC e , , , , , so
coeficientes associados ao arranjo geomtrico da armadilha. O potencial 3.4 apresenta
um ponto de sela na origem, fazendo com que o equilbrio do on seja estvel em duas
das direes, mas necessariamente instvel na terceira. Esta instabilidade compensada
fazendo com que o poo de potencial gire rapidamente, de modo que a partcula
sempre se encontre sujeita a um mnimo efetivo em todas as direes.

19

Figura 4: Representao do potencial em torno da origem. O poo de potencial gira, possibilitando o

confinamento da partcula.

No calibre de Coulomb, o potencial , , , satisfaz a equao de Laplace

(vide apndice C),
2 , , , = 0,

3.5

o que implica nas seguintes condies sobre os coeficientes,

++ =0

3.6

+ + = 0.

3.7

A escolha destes coeficientes uma opo de projeto e implica diferentes

geometrias da armadilha de ons. Uma escolha comumente utilizada
===0

3.8

+ =

3.9

a qual leva a um confinamento puramente dinmico nas trs dimenses, sendo realizado
com um arranjo de eletrodos como mostrado na figura 5(a). Outra escolha possvel, a
qual o objeto do nosso estudo, a seguinte
= > 0

3.10

= , = 0,

3.11

20

levando a um confinamento dinmico no plano -, e a um confinamento esttico ao

longo do eixo-. Esta uma armadilha linear do tipo Paul (PAUL, 1990), cuja
configurao mostrada na figura 5(b). Este tipo de armadilha mais adequado para
computao quntica, devido sua geometria facilitar a captao da fluorescncia
inica e ainda permitir o alinhamento de vrios ons ao longo de um eixo.

Figura 5: Diferentes geometrias para armadilhas de ons. (a) confinamento puramente dinmico nas trs
dimenses. (b) Armadilha linear tipo Paul. Confinamento dinmico no plano x-y, e confinamento esttico
no eixo z. Adaptado de (LEIBFRIED, et al, 2003).

A fora que uma partcula de carga = est submetida quando imersa em

um campo eletromagntico, a fora de Lorentz,
= + ,

3.12

onde a carga eltrica elementar, e so os campos eltrico e magntico e a

velocidade da partcula. Sob condies normais, entretanto, a fora magntica muito
menor em magnitude que a fora eltrica, se tornando comparvel a esta somente
quando a velocidade da partcula se aproxima da velocidade da luz (GRIFFITHS, 1999,
p.233). Deste modo podemos considerar, com muito boa aproximao, somente o efeito
da fora eltrica,
= .

3.13

21

O movimento na direo (as outras direes so tratadas analogamente)

descrito pela equao,

=
+ cos .

3.14

Esta equao de movimento clssica de uma partcula carregada sob a ao de

um potencial da forma 3.4 foi primeiro estudada por Paul, Osberghaus e Fischer em
1958. Ela pode ser escrita na forma padro da uma equao diferencial de Mathieu,
2
+ 2 cos 2 = 0
2

3.15

pelas substituies

,
2

4
,
2

2
.
2

3.16

A equao de Mathieu pertence classe geral de equaes diferenciais com

coeficientes peridicos. A forma geral das solues estveis decorre do teorema de
Floquet (LEIBFRIED, et al, 2003),

2 2

3.17

em que o expoente caracterstico e os coeficientes 2 so funes de e apenas

e no dependem das condies iniciais. e so constantes arbitrrias que podem ser
utilizadas para satisfazer condies de contorno ou normalizar uma soluo particular.
Substituindo a equao 3.17 na equao 3.15 , obtm-se uma relao recursiva,

2 2 2 + 22 = 0,
2 = 2 +

3.18
3.19

22

que conecta os coeficientes e a e .

Pode-se obter uma soluo aproximada de ordem mais baixa para a trajetria dos
ons, , no caso de , 2 1, assumindo 4 0. Ento, junto com a condio
inicial = , a equao 3.19 d,

+ 2 2 ,

3.20

o que implica,

20 cos

cos .
2

3.21

Equaes similares so obtidas para as outras componentes.

A trajetria descrita pela equao acima consiste de oscilaes harmnicas na
freqncia = 2 , que o chamado movimento secular, cuja amplitude
modulada por pequenas oscilaes na freqncia da fonte , chamado de
micromovimento. Se o micromovimento pequeno o suficiente, o movimento secular
pode ser aproximado como sendo o de um oscilador harmnico de freqncia ao
longo do eixo (o mesmo vale no eixo ). O movimento na direo para o caso
especfico da armadilha de Paul se reduz a,

20 cos

,
2

3.22

pois = 0 implica = 0, = . Podemos ainda escrever 3.22 como

20 cos ,

em que =

3.23

. Ou seja, ao longo do eixo , no h a presena do

micromovimento.
importante ter o conhecimento do comportamento da trajetria clssica dos
ons na armadilha, pois o estado de oscilao das partculas confinadas usado como
recurso para a realizao do processamento da informao quntica. Conforme
mostraremos em maiores detalhes a seguir, necessrio que o movimento dos ons seja

23

praticamente todo ao longo da direo longitudinal da armadilha, e o micromovimento,

o menor possvel. Desta forma, a armadilha deve ser projetada de modo que o
confinamento dinmico no plano - seja muito mais acentuado que o confinamento
esttico na direo . Isto conseguido aplicando uma tenso muito maior que .
Valores tpicos so de 100 a 800, enquanto que de 10 a 50.

3.2 IMPLEMENTAO DE QUBITS E PORTAS QUNTICAS

USANDO ONS CONFINADOS
Computao quntica baseada na transformao de estados qunticos, os quais
evoluem conforme determinado pelo operador hamiltoniano do sistema. Para a
realizao de um computador quntico necessrio o controle preciso deste
hamiltoniano, de modo que se possa efetivar transformaes unitrias arbitrrias sobre
os estados de um qubit. Como mencionado no captulo 2, qualquer transformao
unitria pode ser composta por rotaes em qubits individuais e portas cNOT, e por isso
a realizao desses dois tipos de portas lgicas so objetivos naturais para um sistema
que busque realizar um processador quntico. Nesta seo, buscamos mostrar como os
qubits podem ser implementados usando ons aprisionados na armadilha linear descrita
na seo anterior, bem como o modo com que as portas lgicas podem ser realizadas,
mostrando assim, o potencial de utilizao deste sistema para a construo de um
computador quntico.
Para que se possa realizar a implementao de qubits, necessrio um sistema
quntico de dois nveis, correspondentes aos estados 0 e 1 . No caso de um on, so
usados os estados de sua estrutura atmica: o estado fundamental 0 , e um
estado excitado de um longo tempo de vida (da ordem de 1) 1 , o qual pode ser
um estado hiperfino de spin, ou um estado eletrnico metaestvel. Estes so os
chamados estados atmicos internos. Um sistema como este com boa aproximao um
sistema quntico de dois nveis, desde que as transies para outros estados indesejveis
sejam improvveis. Vrios tipos de ons se adquam a esta condio, a exemplo de:
9

+, 40 +, 138 +, 25 + e 199+ (BOUWMEESTER, et at, 2000, p.149).

24

Os qubits individuais so manipulados por pulsos de laser, apontados para cada

um dos ons separadamente, como mostrado na figura 6. As transies entre estado
fundamental e o excitado so estimuladas ajustando convenientemente a durao
e freqncia dos pulsos do laser.

Figura 6: Controle dos estados qunticos por meio de lasers. Adaptado de (CIRAC, ZOLLER, 1995).

Figura 7: Transies entre os estados fundamental e excitado. 0 a frequncia de ressonncia dos

estados atmicos internos, enquanto que a frequncia de excitao do modo de oscilao coletiva do
centro de massa da cadeia de ons. Sintonizando o laser nessas frequncias, so estimuladas as transies
entre os diferentes nveis de energia.

O sistema de ons confinados eletromagneticamente , sob as condies descritas

na seo anterior, um conjunto de partculas em movimento oscilatrio coletivo ao
longo da direo longitudinal da armadilha. Esta oscilao corresponde aos chamados
graus de liberdade externos do sistema. Os ons so resfriados at o seu estado
fundamental por meio de uma tcnica conhecida como Doppler cooling (CHUANG,
NIELSEN, 2000, p. 312). O entrelaamento entre ons distintos conseguido por meio
do acoplamento dos graus de liberdade internos aos graus de liberdade externos de
oscilao, possibilitando a troca de informao entre dois ou mais ons.

25

A descrio da cadeia de ons pode ser feita como um oscilador sujeito ao

potencial harmnico = 2 2 2. Neste caso, o hamiltoniano pode ser escrito
como,

2 1
+ 2 2 ,
2 2

3.24

onde o momento linear na direo longitudinal. Introduzindo os operadores de

criao e aniquilao e ,

+
,
2

,
2

3.25

pode-se reescrever como,

= +

1
.
2

3.26

Os valores de energia que o sistema pode assumir so os autovalores do

1

operador . Eles so da forma + 2 , = 0,1,2, ,

= +

1
.
2

3.27

em que so os autovetores de . A ao dos operadores e sobre um

autovetor tal que,

= 1 ,

= + 1 + 1 .

3.28

Em particular,

1 = 0,

0 = 1 .

3.29

26

O operador leva o estado fundamental do oscilador 0 ao primeiro estado excitado

1 , criando um quantum de oscilao, denominado fnon. J a ao do operador
sobre o estado 1 , aniquilar este fnon, levando o sistema de volta para o estado
fundamental. No estado excitado 1 , os ons se movem em conjunto, oscilando em
torno da posio de equilbrio coletivamente. Este o chamado modo de oscilao do
centro de massa. Outros modos podem ser excitados, correspondentes aos estados
2 , 3 , etc. Porm, importante que somente o estado 1 seja excitado.

Figura 8: Modo de oscilao do centro de massa da cadeia de ons.

Os estados internos do -simo on da cadeia e as interaes com o campo

eletromagntico

produzido

pelo

laser

so

descritos

pelo

hamiltoniano

(BOUWMEESTER, et at, 2000, p.128),

= +

0 + + + sen + ,
2
2

3.30

em que a freqncia do laser, 0 a freqncia de transio entre dois nveis de

energia do on, a freqncia de Rabi, o vetor de onda do laser, uma
constante de fase e =

2. Dentro do limite de Lamb-Dicke, 1, e

considerando baixas intensidades do laser,

se torna

=
+ + +
+ + ,
2
2

3.31

27

em que o chamado parmetro de Lamb-Dicke. Nesse regime, possvel

implementar as portas lgicas, tal como descrito por Cirac e Zoller (CIRAC, ZOLLER,
1995). Aplicando um pulso do laser sintonizado na freqncia de transio = 0 , o
sistema ser regido pelo hamiltoniano , produzindo o seguinte operador evoluo,

= exp

+
2 +

3.32

A ao deste operador sobre os estados e , dada por

cos 2 sen 2

3.33

cos 2 sen 2

3.34

As equaes 3.33 e 3.34 representam rotaes sobre os estados

por um

ngulo qualquer. Desta forma, uma porta quntica de um qubit arbitrria pode ser
realizada.
Portas de dois ou mais qubits so mais difceis de implementar, porque elas
requerem a alterao do movimento de vibrao da cadeia de ons. O segundo termo em
3.31 rege o acoplamento dos graus de liberdade internos dos ons, com o movimento
oscilatrio da cadeia inica. Consideremos primeiro a freqncia do laser sintonizada de
maneira tal que excite somente o modo do centro de massa e um estado interno de um

dos ons. Aplicando o pulso do laser por um tempo =

um

chamado pulso os estados iro evoluir segundo o operador,

= exp

+
2 +

3.35

De maneira que,

1 cos 2

1 sen 2

3.36

0 cos 2

0 sen 2

3.37

0 0

3.38

28

em que 0 e 1 denotam o estado fundamental e o modo de oscilao do centro de

massa, e um estado eletrnico auxiliar, excitado seletivamente. Uma porta lgica
de dois qubits pode ser implementada como segue: usando um pulso focado no
primeiro on, trocamos o estado interno do primeiro on para o modo de vibrao do
centro de massa; introduzimos uma troca de sinal condicional por meio de um pulso
2 no segundo on usando o nvel auxiliar ; e a aplicao de um pulso ir
trocar novamente o estado quntico do modo de vibrao do centro de massa para o
estado interno do primeiro on. A evoluo completa dada por:

0
2

Desta forma, o efeito lquido da interao ser a troca de sinal somente quando
ambos os ons esto no estado (interno) excitado. As operaes descritas acima so
equivalentes a uma porta cNOT (CIRAC, ZOLLER, 1995). Note que antes e depois da
ao da porta, o modo de vibrao do centro de massa permanece no estado
fundamental 0 , ou seja, ele serve apenas para mediar a troca de informaes entre os
qubits, e no para armazenar informao nele prprio. Neste sentido, diz-se que a cadeia
inica funciona como sendo um barramento quntico de dados (LE BELLAC, 2006).
Finalmente, fazendo uso dessas operaes, pode-se realizar portas lgicas empregando
um nmero arbitrrio de qubits (BOUWMEESTER, et at, 2000, p.130).

29

SIMULAO

DA

ARMADILHA LINEAR

DO

TIPO

PAUL

Neste captulo descrevemos as etapas e os resultados da simulao numrica de

uma armadilha de ons linear do tipo Paul, realizada utilizando o software COMSOL
Multiphysics verso 4.3a, o qual baseado no mtodo dos elementos finitos.
Procuramos realizar o confinamento de um nico on de carga positiva, por meio da
gerao de um potencial eltrico de forma aproximada ao dado na equao 3.4 . O on
escolhido foi o

40

+, devido a este ser comumente usado em experimentos com

armadilhas de ons relacionados computao quntica.

O sistema simulado consiste de quatro eletrodos dispostos a uma igual distncia
do eixo longitudinal da armadilha, alimentados com tenses DC superpostas a tenses
AC em freqncias RF. Utilizamos o arranjo geomtrico dos eletrodos mostrado na
figura 9.

Figura 9: Arranjo geomtrico dos eletrodos na armadilha de ons tipo Paul.

30

Os parmetros geomtricos utilizados foram os seguintes:

Raio dos eletrodos: 1 ;

Comprimento dos eletrodos: 30 ;

Distncia dos eletrodos ao eixo longitudinal: 2,5 .

Para a realizao da simulao delimitamos uma regio do espao, sobre a qual

o clculo das grandezas pde ser efetuado. Isto necessrio na realizao de uma
simulao numrica pois, obviamente, no possvel calcular as grandezas fsicas, em
um computador digital com memria finita, se estas se estendem sobre todo o espao. A
escolha do tamanho dessa regio deve ser um compromisso entre a preciso do clculo
dos campos e o esforo computacional exigido. Por um lado, bom que a regio seja
pequena, pois assim requer-se menor esforo computacional. Por outro lado, no caso
especfico do campo eletromagntico, isto pode levar a uma distoro na forma das
linhas de campo, produzindo um resultado que no condiz com a realidade. Levando
isto em considerao, juntamente com a simetria apresentada pelo sistema, escolhemos
um volume em forma de caixa cilndrica, conforme mostrado na figura 10. Nela, as
superfcies limitantes do volume de clculo esto destacadas em cor diferenciada. So
mostrados apenas os limites posteriores da superfcie, para que se possa visualizar os
eletrodos da armadilha. Entretanto, as fronteiras constituem uma caixa cilndrica
completamente fechada.

Figura 10: Superfcies limitantes da regio de clculo.

31

As condies de contorno utilizadas sobre a superfcie limitante da regio de

clculo foram as condies default do programa, que so as seguintes,
=0

4.1

=0

4.2

em que o vetor normal superfcie, o vetor deslocamento eltrico e

a densidade de corrente. Estas equaes representam a ausncia de cargas sobre a
superfcie cilndrica, e ausncia de fluxo de carga eltrica para o interior do volume
atravs desta superfcie (COMSOL Multiphysics Users Guide, 2012).
Sobre a regio de clculo geramos uma malha constituda de tetraedros de
tamanhos variados. Subdividimos portanto a regio em pequenas pores,
possibilitando a implementao do mtodo dos elementos finitos, utilizado internamente
pelo COMSOL. Construmos a malha de tal maneira que as regies de maior interesse
possussem um nmero maior de tetraedros, aumentando assim a preciso dos
resultados.

Figura 11: Malha gerada para a implementao do mtodo dos elementos finitos.

O cmputo das grandezas fez-se em trs etapas distintas: clculo do campo

eletrosttico; clculo do campo eltrico variante no tempo e o clculo da trajetria da

32

partcula sob a ao destes campos. Os resultados das duas primeiras etapas serviram
como input para a terceira, na qual calculada a fora resultante sobre o on e resolvida
a equao de movimento, resultando na trajetria da partcula. importante ressaltar
que usamos a aproximao de desprezar o efeito da fora magntica, pois a sua incluso
levaria a um maior esforo computacional, sem produzir no entanto uma modificao
significativa sobre a trajetria da partcula.
Para gerar um potencial da forma 3.4 , alimentamos os eletrodos da armadilha
da seguinte maneira: dois dos eletrodos foram divididos em trs segmentos, os dois das
extremidades sendo alimentados com uma tenso DC de 20 V, e o segmento central
com uma tenso de 20 V.

Figura 12: Alimentao dos eletrodos com tenso DC.

Superposto a esta tenso DC, alimentamos todos os trs segmentos com uma
tenso AC de freqncia 5 MHz, e amplitude de 300 V. Os outros dois eletrodos foram
alimentados com uma tenso AC de mesma freqncia e amplitude invertida, ou seja,
300 V. Escolhemos amplitude das tenses AC maior que a amplitude das tenses DC
para que o confinamento na direo radial fosse mais pronunciado do que na direo
longitudinal.

33

Figura 13: Alimentao dos eletrodos com tenso AC.

O potencial obtido ao longo do eixo longitudinal est mostrado na figura 14.

Verificamos que ele tem a forma de um poo e em pequenas energias se assemelha a
uma parbola, aproximando-se portanto ao potencial de um oscilador harmnico,
conforme requerido. Observamos que a profundidade do poo de aproximadamente
19 eV, de modo que uma partcula de energia cintica menor que 19 eV ficar
confinada ao longo desta direo.

Figura 14: Potencial esttico ao longo da direo longitudinal.

Os potenciais ao longo dos eixos e so mostrados a seguir. Nas figuras, so

mostradas as configuraes, em seqncia, dos potenciais em diferentes instantes de
tempo, durante um ciclo de oscilao da tenso AC aplicada. As curvas em verde

34

representam o potencial ao longo do eixo , e as curvas em azul, ao longo do eixo .

Novamente, notamos que eles se assemelham a um potencial harmnico.

Figura 15: Potenciais ao longo dos eixos e em vrios instante de tempo. As curvas em verde
representam o potencial ao longo do eixo , e as curvas em azul, ao longo do eixo .

35

No clculo da trajetria do on usamos uma massa de = 66,90487

1027 , correspondente ao

40

+, e consideramos a partcula sendo injetada no

centro da armadilha com velocidade inicial de 500 .

Figura 16: Trajetria do on confinado durante um tempo de 20. As diferentes cores representam
diversos valores de velocidade. A trajetria se assemelha a uma curva de Lissajous e reflete o movimento
secular da partcula.

36

Vemos que a partcula fica limitada a uma pequena regio do espao, oscilando
com uma amplitude praticamente constante em todas as direes, sendo a amplitude ao
longo do eixo maior que nos outros eixos. A amplitude de oscilao grande
comparada ao que requerido para computao quntica, pois neste caso suposto que
a partcula esteja no seu estado fundamental. Ressaltamos, entretanto, que o objetivo da
simulao foi testar a funcionalidade da armadilha, demonstrando confinamento da
partcula, o que foi conseguido com sucesso.
A trajetria mostrada acima ilustra essencialmente o movimento secular o qual
se assemelha a uma curva de Lissajous no sendo possvel identificar o
micromovimento. Isto devido ao fato de o tamanho do passo temporal utilizado ser
muito grande, frente escala de tempo do micromovimento. Em outras palavras, a
quantidade de instantes de tempo nos quais a posio da partcula foi calculada, foi
pequena em nmero, de modo que mais provvel que se obtenha um maior nmero de
posies

correspondentes

trajetria

mdia

(movimento

secular)

do

que

correspondentes s oscilaes em torno da mdia, que o que caracteriza o

micromovimento.

Figura 17: Trajetria do on confinado usando uma resoluo temporal melhor. possvel identificar a
presena do micromovimento, caracterizado pela oscilao em torno da trajetria mdia.

37

Figura 18: Movimento do on no plano -.

A trajetria mostrada na figura 16 foi calculada em intervalos de tempo de

0,2 s, ao longo de um tempo total de 20 s. J nas figuras 17 e 18, a trajetria foi
calculada usando uma resoluo temporal de 0,06 s, durante o mesmo intervalo de
tempo total de 20 s. Com o refinamento da resoluo temporal o micromovimento fica
evidente, caracterizado pela oscilao de alta freqncia, superposto ao movimento
secular. Na figura 18 mostrada a oscilao do on na direo radial, na qual tambm
fica clara a presena do micromovimento.

38

CONSIDERAES FINAIS

Neste trabalho buscamos mostrar a aplicao de armadilhas de ons em

computao quntica, destacando o porque de esta ser uma das alternativas mais
promissoras para vencer as dificuldades existentes na implementao fsica de um
processador quntico. Discutimos as condies sob as quais o sistema de ons
confinados se presta implementao das portas lgicas qunticas, necessrias ao
processamento da informao.
Com a simulao numrica realizada pudemos observar as principais
caractersticas previstas teoricamente no que concerne ao movimento clssico da
partcula confinada, quais sejam: o movimento secular e, sobreposto a este, o chamado
micromovimento. A amplitude de oscilao ao longo do eixo longitudinal foi maior que
na direo radial e os potenciais gerados pela configurao dos eletrodos se mostraram
aproximadamente quadrticos nas trs direes, conforme o esperado.
Os resultados obtidos com a simulao numrica foram satisfatrios, pois
demonstraram o confinamento da partcula pela ao do campo eletromagntico.
Entretanto, pode-se dizer que a simulao do aprisionamento de um nico on
demasiado simples para que tenha alguma aplicao til em computao quntica. De
fato, so requeridos vrios ons comportando-se de maneira bastante especfica para que
o sistema possa ter alguma aplicabilidade. No obstante, entendemos que este trabalho
pode servir como ponto de partida para a realizao de trabalhos posteriores,
possibilitando estudos mais aprofundados sobre o tema, a partir dos quais seria possvel
oferecer contribuies mais significativas. Dentre as possibilidades de extenso para o
nosso trabalho, destacamos as seguintes:

Realizar simulaes considerando o efeito da fora magntica (a qual foi

desprezada neste trabalho) e comparar com a simulao na ausncia da
mesma, avaliando at que ponto interessante a sua incluso.

Realizar a simulao para o confinamento de dois ons, levando em conta

sua interao mtua, podendo-se posteriormente estender a um nmero
maior de partculas.

39

Buscar propor novas geometrias para a armadilha, as quais poderiam

adequar-se melhor a propsitos especficos, como a diminuio da
amplitude do micromovimento, ou ainda, a adaptao para uso em
circuitos integrados.

Realizar simulaes considerando os efeitos qunticos sobre a dinmica

dos ons confinados, podendo-se visar simulao das portas lgicas.

Dentre as dificuldades encontradas na realizao deste trabalho, podemos citar

primeiramente a escassez de informaes na literatura que acessamos, a respeito do
porque de o potencial 3.4 ter que obedecer equao de Laplace. Esta equao
sabidamente vlida na eletrosttica, porm, a primeira vista, no parece poder ser
aplicada para potenciais dependentes do tempo, como o nosso caso. A soluo que
propomos foi a utilizao do calibre de Coulomb, conforme descrito em detalhes no
apndice C. Outra informao dificilmente disponvel na literatura especfica de
armadilhas de ons e computao quntica o porque de ser vlido desprezar o efeito da
fora magntica, a qual buscamos justificar com argumentos encontrados em textos de
eletromagnetismo (GRIFFITHS, 1999, p. 233).
A literatura tambm no clara no que diz respeito forma de alimentao dos
eletrodos na armadilha de Paul. Na grande parte dos trabalhos, a exemplo de (SINGER,
et al, 2010; LEIBFRIED, et al, 2003; CHUANG, NIELSEN, 2000), o leitor levado a
crer que apenas dois eletrodos so alimentados com tenso AC, os outros dois sendo
alimentados com tenso DC exclusivamente. Em realizando a simulao com esta
configurao, no tivemos xito em confinar a partcula. Apenas aps a introduo da
tenso AC superposta DC, conseguimos o resultado esperado. Posteriormente,
encontramos um trabalho (BERKELAND, et al, 1998) que indica a superposio das
tenses AC e DC de modo semelhante ao que fizemos. No sabemos afirmar se
possvel alcanar o confinamento usando a primeira configurao de eletrodos, o que
abre mais uma possibilidade de investigao futura.

40

APNDICE A ESPAO DE HILBERT E NOTAO DE

DIRAC

Seja um espao de dimenso finita sobre o corpo dos nmeros complexos e

sejam , e vetores em . O produto escalar sobre uma funo que associa a
qualquer par de vetores e um escalar complexo , de maneira tal que sejam
satisfeitas,
, + = , + ,
, = ,

. 1
. 2

, 0

. 3

Um espao dotado do produto escalar descrito acima (no estamos considerando

o caso mais geral de dimenso infinita), uma generalizao do conceito de espao
euclidiano. Tal espao chamado espao de Hilbert, em homenagem ao matemtico
David Hilbert, quem primeiro os estudou. A introduo deste tipo de espao na
mecnica quntica, devida a John Von Neumann, permite elaborar um formalismo da
mecnica quntica de carter mais rigoroso e preciso.
Seja uma base ortonormal de , = 1,2, , . Nesta base, os vetores ,
e tm as componentes

= , ,

= , ,

Consideremos um operador linear ,

= ,

. 4

definido por sua representao

matricial na base :
, =

. 5

41

A ao desse operador no vetor , = , dada em termos das

componentes por

, =

= , ,

. 6

Ou em forma vetorial,
= , = , .

. 7

Na notao de Dirac, vetores so escritos como e produtos escalares como

:

, .

. 8

Se o vetor , chamado de ket, escrito na forma de uma matriz coluna com

relao a uma certa base,

1
2
,

. 9

o vetor , chamado de bra, ser dado pelo transposto conjugado de ,

= 1

. 10

O produto escalar assim chamado um bracket. O vetor pertence a um

espao diferente do de , chamado espao dual de , denotado por .
A ao do operador , pode ser escrita como
= , =
=

. 11

42

Ento, com a notao de Dirac, podemos denotar operadores lineares como,

, = .

. 12

APNDICE B ESTADOS ENTRELAADOS

Consideremos um sistema de dois qubits. O primeiro qubit pertence a um

espao de Hilbert o qual tem a base ortonormal

0 , 1 , e o segundo qubit

pertence a um espao de Hilbert o qual tem a base ortonormal

0 , 1 . O

espao do sistema composto o produto tensorial dos espaos e , ou seja,

. Representamos um estado fsico no qual o primeiro qubit est no estado 0
e o segundo est no estado 0 por um vetor escrito como 00 = 0 0 . Levando
em conta todos os possveis valores dos qubits, teremos, a priori, quatro possibilidades:
00 = 0 0 ,

01 = 0 1 ,

10 = 1 0 ,

11 = 1 1 .

. 1

Algumas vezes, por comodidade, pode-se usar tambm as seguintes notaes

equivalentes: , , ou ainda . Consideremos que
o qubit est em um estado normalizado,

= 0 + 1 ,

= 1,

. 2

= 1.

. 3

assim como o qubit ,

= 0 + 1 ,

Denotaremos esse estado como :

= 0 0 + 0 1 + 1 0 + 1 1

43

= 00 + 01 + 10 + 11 .

. 4

Note que o vetor tambm normalizado. A idia essencial a ser

compreendida que o estado mais geral de no da forma de um produto
tensorial dada na equao . 4 ; estados da forma constituem
somente um pequeno subconjunto (nem mesmo um subespao) dos vetores de
. O estado mais geral em uma combinao linear do tipo,
= 00 0 0 + 01 0 1 + 10 1 0 + 11 1 1
= 00 00 + 01 01 + 10 10 + 11 11 ,

. 5

e para ser da forma uma condio necessria (e suficiente) que

00 11 = 01 10 ,

. 6

a qual no tem razo para ser vlida a priori.

Um estado de um sistema de dois qubits que no tem a forma de um produto
tensorial

dado em

. 4

chamado um estado entrelaado (ou

emaranhado). A propriedade fundamental de tal estado a seguinte: se um estado

entrelaado, ento o qubit no pode estar em um estado quntico definido , assim
como o qubit .

APNDICE C TRANSFORMAES DE CALIBRE

As equaes de Maxwell homogneas permitem escrever os campos e em

termos de funes potenciais. Da equao
= 0,

. 1

44

podemos escrever em termos do rotacional de um potencial vetor ,

= .

. 2

Substituindo esta equao na lei de Faraday,

= 0,

. 3

temos,
+

= 0

= 0.

. 4

A quantidade cujo rotacional nulo, pode ser escrita como o gradiente de uma
funo escalar,

= ,

ou seja,
=

. 5

O fato de ser dado como sendo o rotacional do potencial vetor , faz com que
seja possvel adicionar a o gradiente de um funo escalar arbitrria , sem provocar
qualquer alterao em , devido ao fato de o rotacional de um gradiente ser
identicamente nulo,
= + ,

= .

Para que o campo eltrico permanea tambm inalterado, o potencial escalar

deve ser simultaneamente transformado da seguinte forma,

45

= .

As transformaes,
= +

. 6

. 7

so chamadas transformaes de calibre e a invarincia dos campos frente a essas

transformaes chamada de invarincia de calibre (ou invarincia de gauge). Esta
invarincia uma simetria fundamental do eletromagnetismo.
Com base nas equaes

. 6

. 7

sempre podemos escolher uma

transformao de calibre de tal modo que a divergncia do potencial vetor seja nula,
= 0,

. 8

o que caracteriza o chamado calibre de Coulomb. Para mostrar isto, suponha que a
divergncia de seja no nula. Aplicando uma transformao de calibre . 6 , temos
que a divergncia de ser dada por,
= + 2 .

. 9

Dada a arbitrariedade de , basta o escolhermos de tal modo que

2 = ,

. 10

Obtendo assim,
= 0.
A escolha do calibre de Coulomb faz com que o potencial escalar satisfaa a
equao de Laplace, mesmo que ele dependa explicitamente do tempo. Partindo da lei
de Gauss, temos

46

.
0

. 11

Em uma regio onde no haja cargas,

= 0.

. 12

Substituindo a equao . 5 em . 12 ,

=0

= 0.

. 13

No calibre de Coulomb = 0. Logo satisfaz a equao de Laplace,

2 = 0.

. 14

47

BIBLIOGRAFIA
BERKELAND, et al, Journal of Applied Physics, Minimization of ion micromotion in
a Paul trap, vol.83, 1998.
BOUWMEESTER, et al, The Physics of Quantum Information, Quantum
Cryptography, Quantum Teleportation, Quantum Computation, Springer, 2000.
CHUANG, I. L.; NIELSEN, N. A., Quantum Computation and Quantum
Information, Cambridge University Press, Cambridge, 2000.
CIRAC, J.I.; ZOLLER, P. Physical Review Letters. Quantum Computations with
Cold trapped Ions, 74, 1995.
COMSOL Multiphysics Users Guide, verso 4.3a, 2012.
DAVIDE, G. Compact RF Amplifier for Scalable Ion-Traps, Tese (Mestrado em
Fsica) - Facolt di Scienze Matematiche, Fisiche e Naturali, Universit a Degli Studi di
Trento, 2011.
DEUTSCH, D. Proceedings of the Royal Society London, Quantum theory, the
Church-Turing machine principle and the universal quantum computer, 1985.
DEUTSCH, D, Proceedings of the Royal Society London, Quantum computational
networks. A 439, 553-558, 1989.
DIVICENZO, D. P. Fortschritte Physics Journal, The physical implementation of
quantum computation, 48, 771, 2000.
GRIFFITHS, D.J. Introduction to Electrodynamics, Prentice Hall, New Jersey, 1999.
JACKSON, J. D. Eletrodinmica Clssica. 2 ed. Rio de Janeiro: Guanabara Dois,
2003.
LE BELLAC, M., A Short Introduction to Quantum Information and Quantum
Computation, Cambridge University Press, Cambridge, 2006.
LEIBFRIED, D, et al, Reviews of Modern Physics, Quantum Dynamics of Single
Trapped Ions, Vol. 75, 2003.
MONZ, P. et al, Physical. Review. Letters, 14-qubit entanglement: Creation and
coherence, 106, 2011.
PAUL, W. Reviews of Modern Physics, Electromagnetic Traps for Charged and
Neutral Particles, Vol. 62, N 3, Julho 1990.

48

SHOR, P.W. Algorithms for quantum computation: Discrete logarithms and factoring,
1994.
SILVA, P. L. S. Processamento de Informao Quntica Usando um Sistema de
ons Aprisionados e Cavidades, Dissertao (Mestrado em Fsica) Instituto de Fsica
Gleb Wataghin, UNICAMP, Campinas, 2002.
SINGER, et al, Colloquium: Trapped ions as quantum bits essential numerical
tools, arXiv:0912.0196v3, 2010.
STEANE, A. M. Quantum Information and Computation, How to build a 300 bit, 1
giga-operation quantum computer, volume 7, pages 171-183, 2007.
WERTH, et al, Charged Particle Traps, Springer, Nova York, 2005.