Você está na página 1de 29

Computao quntica:!

realizaes e desafios!
Ernesto F. Galvo
Instituto de Fsica - UFF

XV Escola Regional de Informtica PR 2009

Resumo
Introduo de Turing computao quntica
Mecnica quntica para cientistas da computao
Realizaes
Perspectivas

Turing e complexidade computacional


Alan Turing (1935) - Formalizao matemtica dos conceitos de:

- procedimento preciso para calcular algo - algoritmo


- um tipo simples de computador

Mquina de Turing
CPU se movimenta de acordo com programa, lendo e apagando dados
- simples, mas capaz de qualquer computao:
Tese de Church-Turing
Resultados:

- existem problemas incomputveis - la Gdel


- problemas computacionais podem ser divididos, grosso modo, entre tratveis e intratveis.

Intratabilidade computacional
Considere
- Problema computacional com entrada de d dgitos;
- Algoritmo que usa N portas lgicas/passos computacionais.
Problema tratvel: N proporcional a polinmio de d.
- Ex.: multiplicao de dois nmeros de d dgitos.
N d2
Problema intratvel: N cresce mais rpido do que qualquer polinmio.
- Ex.: fatorao de inteiro de d dgitos.
- Melhor algoritmo conhecido: N 2d
resultado: fatorar um nmero de 400 dgitos levaria bilhes de anos neste computador!!

Problemas intratveis so importantes:


- Fatorao: chave para quebrar cdigos criptogrficos (RSA)
- Otimizao: aumento de rendimento na indstria
- Problemas cientficos em geral

Mas...
A cincia da computao no levava em conta que a computao um
processo fsico.

Leis fsicas determinam os limites dos computadores:


- Termodinmica
-computao reversvel versus irreversvel
-Irreversibilidade aparece quando apagamos memria
Energia dissipada: kT*ln2 por bit apagado

- qual a teoria mais abrangente que descreve a dinmica de mquinas que


computam?

Fsica Quntica

Fsica quntica
Desenvolvida na dcada de 1920 para descrever sistemas microscpicos:
ftons (luz), eltrons, tomos, etc.

Muito diferente das teorias fsicas anteriores (clssicas):


- Descrio probabilstica

Deus no joga
dados!

- Possibilidade de superposio - combinao peculiar de propriedades


contraditrias

- Emaranhamento quntico - correlaes fortes entre propriedades de


partculas separadas

Fantasmagrica
ao a distncia!

Superposies
Fsica clssica: objeto tem posio bem-definida
(2 posies codificam 1 bit)

Fsica quntica: eltron pode estar numa situao de


superposio de 2 posies
Ponto quntico duplo

bit

Superposies
qbit

A fsica quntica permite novas operaes sobre o eltron:


-estado inicial: 0
-Operao especial com eletrodos cria superposio
Medida da posio revela
-50% das vezes em 0
-50% das vezes em 1

p=1/2

p=1/2

A superposio sensvel ao que fizermos nas duas posies!


Pulsos lasers nas duas posies afetam o eltron
Medida da posio revela mudanas nas probabilidades
de encontrar o eltron em cada ponto.

P=3/4
p=1/4

um pouco como se o eltron estivesse nos dois lugares ao


mesmo tempo!

No-localidade quntica

0
1

Computao clssica (com notao quntica)


N. David Mermin introduo computao quntica para
cientistas da computao

Bit - dois estados distinguveis, os vetores-base:

1
0 ,
0

0
1
1

N bits: produto tensorial de N vetores-base de 1 bit.


Exemplo: 2 bits tm 4 estados, representados por vetores 4x1

A0 B0
A0 B0 A0 B1

=
A1 B1 A1B0

A
B
1 1

3 representaes para vetores-base


descrevendo a memria:

1A1B 3

AB

0

0 0 0
=
1 1 0

1

Computao clssica
Computao reversvel arbitrria =

2N

permutao do vetor
x1
correspondente ao estado inicial:

AB

= 0

= 0

Computador

Com esta notao, estado dos Nbits no meio da computao :

2N

= i i ,
i=1

onde todos os i = 0 , exceto k = 1, indicando que o estado atual k


Algoritmo:

1 AB = 0 A 1 B
2 AB = 1 A 0 B
3 AB = 1 A 1 B

1 AB = 0 A 1 B
2 AB = 1 A 0 B
3 AB = 1 A 1 B

F = P I

AB

Escolha
de P
Decomposio de P em operaes (portas) envolvendo s 1 ou 2 bits por vez.

Computao quntica a memria


Bit quntico = qbit
Estado de 1 qbit = vetor complexo 2x1, normalizado
0
= 0 0 + 1 1 ,
1

0 + 1 = 1.

= cos( /2) 0 + exp(i )sin( /2) 1

Estado de N qbits = vetor complexo com 2N componentes, normalizado

2N

= i i ,

i=1

Ex.: dois qbits A e B

AB

= 0 0

2
i

=1

+ 1 0

1 B + 2 1

Estados socombinaes lineares dos vetores-base clssicos.

+ 3 1 A 1 B

Computao quntica a dinmica


Dinmica = algoritmo = aplicao de matrizes unitrias ( U U = U U = 1)
Ex.: matrizes de Pauli correspondem a 3 rotaes diferentes:

0 1
X =

1 0

0 i
Y =

i 0

1 0
Z =

0 1

Dinmica quntica mais rica que a clssica, levando a estados arbitrrios de descrio
complexa:

2N

= i i ,
i=1

2
i

=1

S uma pequena parte da informao presente nos i pode ser


obtida ao final, no processo quntico de medida

Computao quntica: o processo de medida (output)


Resultado = medida quntica em F = U I = i i
i

Medida irreversvel:

- Resultado (output): sequncia


de N bits correspondente a um dos
vetores-base k
- Probabilidade do resultado k associado a k : pk = k

- Aps medida com resultado k, o estado do sistema = k

preciso escolher o algoritmo U cuidadosamente para que ao final o

processo de medida nos d a soluo do problema


com alta probabilidade.

Bits x Qbits

Bits

Estado de N (q)bits

i,

Operaes reversveis

0i2

Permutaes

Medida revela o estado?

Sim

Como descobrir o estado

k
O mesmo: k

=1

No
Medida quntica
k com probabilidade k
Diferente: k

i,

Transf. unitrias

s olhar!

Informao adquirida
Estado depois da medida

Qbits

Emaranhamento quntico
Vimos que estado geral de sistema de 2 qbits dado por:

AB

= 0 0

+ 1 0

1 B + 2 1

+ 3 1 A 1 B

Por outro lado, se


- qbit A est no estado
- qbit B est no estado

AB

AB

= 0

= 0
= 0
B

+1 A
+1 B
B

+ 0

1 B + 1 A 0

+ 1 A 1 B

no geral nele ambos A e B tm estados bem-definidos (estado separvel).

Quando 0 3 2 1 temos
estados emaranhados, e os subsistemas no tm

bem-definidos.
estados

Emaranhamento quntico um recurso usado em vrias aplicaes.

Pioneiros da computao quntica


Richard Feynman (1982)
- clculo de propriedades de sistemas qunticos parece ser

um problema intratvel
- sistema quntico muito bem controlado poderia servir para
calcular essas propriedades de maneira eficiente

computador quntico

David Deutsch (1985)


-estudou as propriedades de uma mquina de Turing quntica
-mostrou que ela poderia resolver um problema em menos passos
que um computador clssico

Pioneiros da computao quntica


Peter Shor (1994)
- computadores qunticos podem fatorar inteiros em tempo
polinomial - exponencialmente mais rpido!
- o algoritmo (quntico) de Shor abriu caminho para o
crescimento da pesquisa em informao quntica e
computao quntica

Lov Grover (1996)


-algoritmo de busca em base de dados
-desempenho (nmero necessrio de consultas base de dados)
-til para acelerar soluo de problemas intratveis

Computando com qbits


Escolhemos sistema quntico para codificar zeros e uns.
Ex: nveis de energia eletrnicos de ons presos em armadilha

Ion trap
Steane group
(Oxford)

Foto de ons armadilhados

Modificamos as superposies qunticas de maneira controlada.


Ex: pulsos laser em conjuntos de ons

Medimos o sistema ao final das manipulaes.


Ex: pulsos laser especiais para identificar os nveis de energia.

S que h muitas dificuldades experimentais

Computando com qbits


Dificuldades:
- acesso experimental x isolamento
- fragilidade das superposies (descoerncia)
- controle preciso dos sistemas usados

Situao experimental atual:


- demonstrao de pequenas simulaes qunticas

Lanyon et al., arXiv:0905.0887

-demonstrao do algoritmo de fatorao em RNM

Vandersypen et al., Nature 414, 883(2001)

-criao de superposies e controle de poucos qbits em diversos sistemas


H outras aplicaes interessantes alm da computao

Outras aplicaes de informao quntica


Criptografia quntica
Ftons individuais

A se comunica com B atravs de canal quntico (ex: polarizao de ftons)


Interceptao pelo espio (F) resulta em perturbao inevitvel do fton
medida quntica

Garantia de segurana absoluta na troca de mensagens

Criptografia quntica comercial


J h pelo menos 4 companhias que j comercializam sistemas de criptografia quntica:
- IdQuantique (Sua)

- Smartquantum (Frana)

- QuintessenceLabs (Austrlia)

- MagiQ Technologies (EUA)

Sistemas fsicos sendo investigados


Armadilhas de ons
-correntes e cargas eltricas prendem ons individuais no vcuo
-qbits codificados no estado eletrnico
-interaes entre qbits so feitas com lasers e atravs do balano conjunto dos ons

Foto de ons armadilhados (NIST)

micro-armadilha de ons (NIST)

Sistemas fsicos sendo investigados


Outras alternativas:
-eltrons presos em pontos qunticos
-ressonncia nuclear em lquidos
-tomos em redes ticas
-luz laser (tica quntica)
-circuitos supercondutores
-[??????]

??????

Importncia estratgica
Sc. XIX:
tecnologias limitadas pela
termodinmica e mecnica clssica

Sc. XX:
tecnologias limitadas pela mecnica
quntica

Sc. XXI:
tecnologias usando os efeitos mais sutis da mecnica quntica:
Informao quntica, spintrnica, ?

Novas tecnologias usando informao quntica


Computao

Tratabilidade/intratabilidade com computadores qunticos


Que problemas tratveis (classicamente) admitem acelerao polinomial com CQ?
Simulao de sistemas qunticos (novos materiais, etc)
Cdigos qunticos de correo de erros

Criptografia

fatorao rpida = quebra da criptografia RSA


desenvolvimento de protocolos seguros mesmo contra CQs
criptografia quntica com segurana absoluta

Protocolos interativos com comunicao quntica/emaranhamento

vantagem quntica (at exponencial) em complexidade de comunicao e outras tarefas

Metrologia

vantagem em medidas de preciso usando estados emaranhados da luz

Design de clulas solares, clculos de qumica quntica,


[ver A Federal Vision for Quantum Information Science (Janeiro 2009) relatrio do Conselho Nacional de Cincia e
Tecnologia E.U.A.]

Perspectivas Computao Quntica

Fsica

Matemtica

CQ
Cincia da Computao
No Brasil:
Instituto Nacional de Cincia e Tecnologia (INCT) de Informao Quntica - CNPq
-20 grupos de pesquisa em 7 estados, predominncia de fsicos
Fora:
IQC & Perimeter (Waterloo, Canad), Caltech, MIT, CQCT (Austrlia), Cambridge,Viena,

Perspectivas Computao Quntica


rea interdisciplinar em pleno desenvolvimento
Computao quntica em grande escala pode levar dcadas, mas antes:
-criptografia quntica
-simulaes de sistemas qunticos
-outras novas tecnologias
Por volta de 2020 j no conseguiremos mais miniaturizar os transstores...

Melhor aprender desde j como processar informao


quanticamente!

Sugestes de leitura
A face oculta da Natureza: o novo mundo da fsica
quntica Anton Zeilinger (Ed. Globo - 2005)
O que computao quntica?
Ernesto F. Galvo (Ed.Vieira&Lent 2007)
A revoluo dos q-bits
Ivan Oliveira e Cssio Leite (Zahar 2009)
Quantum computer science: an introduction
N. David Mermin (Cambridge UP 2007)
Computao quntica e informao quntica
Nielsen, Chuang (Ed. Bookman 2005)
Visitem o meu site para mais dicas de leitura na web:

http://profs.if.uff.br/ernesto/

Usando emaranhamento: computao distribuda


Complexidade de comunicao: cada pessoa tem parte dos dados, e Clara precisa
calcular f(x,y,z). Qual o mnimo de comunicao necessria entre as pessoas?

B
y

B
y

A
Soluo clssica

f(x,y,z)?

A
Soluo quntica

Aplicaes: design de circuitos eletrnicos, computao em rede


Vantagem quntica: usamos emaranhamento ao invs de comunicao

Você também pode gostar