Introduo

Computao Quntica
(para cientistas da computao)
Wilson Rosa de Oliveira Jr.
16/10/2010
DEInfo-UFRPE
Prolegomena
Em Computao Quntica (CQ) testemunhamos a
juno de duas das reas mais importantes na cincia
do sec. XX:
Fsica Quntica e Informtica
Esta juno traz novos objetivos, desafios e
potencialidades para a Informtica bem como novas
abordagens para a Fsica explorar o mundo quntico.
Mesmo que seja no momento difcil prever impactos
particulares da CQ sobre a computao em geral,
esperamos que esta juno leve a resultados
importantes
Mecnica Quntica ...

Uma teoria excelente para prever probabilidades de

eventos qunticos.

Uma teoria elegante e conceitualmente simples que

descreve com preciso assustadora um amplo espectro de
fenmenos naturais:
Experimentalmente verificadas a 14 ordens de preciso;
At o momento no h conflito entre o teoricamente previsto e o
verificado experimentalmente

Sem MQ no podemos explicar propriedades dos

superfluidos, funcionamento dos lasers, a substncia da
qumica, a estrutura e funo do DNA, a existncia e
comportamento de corpos slidos, cor das estrelas,
semicondutores, etc
Mecnica Quntica trata ...
Das entidades fundamentais da Fsica partculas tais
como:
Prtons, eltrons e nutrons (que constituem a matria);
Ftons (que carregam radiao eletromagntica) so as
nicas partculas que podemos observar diretamente;
Vrias outras partculas elementares que mediam outras
interaes da Fsica.
Partculas? Algumas de suas propriedades so
totalmente discordantes das propriedades do que
chamamos de partculas no nosso mundo usual!
Propriedades? No claro em que sentido estas
partculas podem ser ditas possuir propriedades!
Mecnica Quntica
Independente de sua qualidade, do
ponto de vista de explicar fenmenos
qunticos, uma teoria muito
insatisfatria!
uma teoria que tem princpios difceis
de aceitar e leva a mistrios e
paradoxos.
Algumas frases famosas

Roger Penrose:
Quantum theory seems to lead to philosophical
standpoints that many find deeply unsatisfying.
At best, and taking its descriptions at their most literal,
it provides us with a very strange view of the world
indeed.
At worst, and taking literally the proclamations of some
of its most famous protagonists, it provides us with no
view of the world at all
Algumas frases famosas
Richard Feynman:
I think it is safe to say that no one understands
Quantum Mechanics.
Nobody knows how it can be like that.
Bernard Shaw:
You have nothing to do but mention the quantum
theory, and people will take your voice for the
voice of science, and believe anything.
Mas afinal o que MQ nos diz?
Nos diz o que acontece
Mas no diz porque acontece.
E no nos diz como acontece.
Nem quanto custa
Compreenso da FQ
Vou lhe dizer o que acontece na Natureza,
entretanto jamais pergunte a si mesmo:
Mas como ela pode ser assim?
Porque seno voc ser sugado para uma
escurido da qual ningum conseguiu at hoje
escapar!
Nobody knows how it can be like that.
Feynman
Exemplo de estranheza:
Interfermetro de Mach-Zehnder
Uma outra viso da Mecnica
Quntica

MQ no Fsica mo sentido usual no sobre

matria ou energia ou onda ou partculas sobre
informao, probabilidades, amplitudes de
probabilidades e observveis; e como eles se
relacionam entre si.

MQ o que se obtm quando se generaliza teoria

da probabilidade a permitir nmeros negativos.
Poderia at ter sido descoberta pelos matemticos
sem qualquer motivao dos experimentos
(Aaronson, 1997).
Por que Informao e Computao
Quntica to importante?
ICP pode levar a novas tecnologias que tero impactos
amplos e profundos.
Muitas das cincias e tecnologias j esto se
aproximando do ponto em que precisam isolar,
manipular e transmitir partculas.
Novos conhecimentos sobre os fenmenos e sistemas
qunticos complexos podem ser gerados.
Criptografia quntica nos leva a um novo patamar de
segurana.
ICP tem se mostrado ser mais eficiente em situaes
importante;interessantes.
Por que devemos tentar construir
computadores qunticos?
When you try to reach for stars you may
not quite get one, but you wont come
with a handful of mud either.
Leo Burnett
Informao X Fsica
Norbert Wiener:
Informao informao, nem matria nem
energia.
Ralf Landauer:
Informao fsica.
Deve ento fazer parte da Fsica a Teoria da Informao
e a Teoria da Computao?
Viso corrente:
Fsica informacional.
Deve a mecnica quntica (espaos de Hilbert) fazer
parte da Informtica?
Curiosidade
Fsica Quntica uma teoria extremamente
elaborada, cheia de paradoxos e mistrios. Leva-
se anos para um fsico desenvolver um
sentimento.
Alguns tericos da computao e matemticos,
sem qualquer base em MQ tm realizado contri-
buies fundamentais a teoria da informao e
computao quntica!
Outra motivao

Lei de Moore que prev que em 2020
precisaremos de um eltron apenas para
amarzenar

um bit!
Histrico

(um pouco)

Richard Feynman

1959: Nanotecnologia

(H

muito

mais

espao

l

embaixo)

1982:

Sistemas

clssicos

no

modelam

eficientemente

sistemas

qunticos

Sugere

construo

de computadores

baseados

nas

leis da

mecnica

quntica
Histrico

David Deutsch

1985: MTQ (Mquina

de Turing Quntica)

1989: publicou

primeiro

algoritmo

quntico

Problema

de determinar

se uma

funo

de um bit

cte

ou

balanceada.
Histrico

Peter Shor

1993: Algoritmo

de Shor

Fatorao

de nmeros

grandes
Comprimento do nmero Tempo de fatorao
a ser fatorado (em bist) pelo algoritmo clssico
512 4 dias
1024 100 mil anos
2048 100 mil bilhes de anos
4096 100 bilhes de
quatrilhes de anos
Tempo de fatorao
pelo Algoritmo de Shor
34 segundos
4,5 minutos
36 minutos
4,8 horas
Computao Clssica

Mais precisamente: Modelos de
Circuitos.

Outros modelos no considerados aqui:
Mquinas de Turing, -Clculo, Funes
Recursivas, etc.

Mais prximo do computador digital
Computao Clssica
C
]:{0,1}
m
{0,1}
n
]:{0,1}
m
{0,1}
Computao Clssica
Computao Clssica
Computao Clssica
Computao Clssica
NAND

universal (crossover, fanout)
Computao Clssica -

exemplos
Meio Somador (half adder)
Computao Clssica -

exemplos
Somador Completo (full adder)

uma seqncia enumervel de circuitos :
1.

Os circuitos C
n

tm n

entradas e um nmeros finito de
bits suplementares (ancilla) e de sada.
2.

A sada de C
n

denotada por C
n

(x)

e

definida para
todo nmero binrio x de no mximo n

bits.
3.

Se

m<n

e x

tem no mximo

m bits ento

C
m

(x)

= C
n

(x).
uma famlia uniforme de circuitos

se existe um
procedimento efetivo que computa a descrio de C
n

para todo n

.
A famlia computa

f:NN

se C
n

(x
(n)

)=f(x)

todo nmero x e x
(n)

a representao binria de no mximo n

bits de x

.
Famlia consistentes de circuitos

=0
} {
n n
C
Computao Clssica Reversvel

CNot
Computao Clssica Reversvel

Toffoli
Qualquer funo f pode ser calculada usando apenas Toffoli

e crossover!
Computao Clssica Reversvel
Computao Clssica Reversvel
Computao Clssica Reversvel
Quantizao Matemtica

NiK

Weaver (Washington University):
Substituir conjuntos por um espao de Hilbert
apropriado

O conjunto em considerao passa a ser
visto (representado) como uma base
(ortonormal).

As funes consideradas so as lineares
(ou subclasse destas).

Finitamente dimensional = espao vetorial
Classical Bits: Cbits

bit abstrato: 0 e 1

Representao

como

cbit:
,0)

e
,1)

par de vetores

ortonormais, e.g:

Em

R
2

ou

C
2

Um estado

arbitrrio: ,)=o,0)+|,1)
,1)
=
0
1
,0)
=
1
0
Classical Bits: Cbits
Classical Bits: Cbits

quando

precisarmos

de mais

de um Cbit:
produto

tensorial
Notao
Operaes
Portas

Lgicas

Qunticas

Single-qbit
Hadamard

gate
+
(
= = =
(

1 0 1 0 1
1 1
0 ; 1 ;
1 1 2 2 2
H H H
H
Phase gate
P
= = 0 0 ; 1 1 P P i
0 1 0 1 0
X ; Y ; Z
1 0 0 0 1
i
i

( ( (
= = =
( ( (

Pauli gates
P P
Z
=
1 0
0
P
i
(
=
(

2
P Z =
Controlled-not gate
c
t c t
c
Control
Target
(
(
(

0 1 0 0
1 0 0 0
0 0 1 0
0 0 0 1
U
Controlled-phase gate
Z
, ( 1) ,
ct
c t c t
1 0
Z
0 1
(
=
(

Exerccio:

Mostre

que

HZH = X.
Z
Z
=
Simetria

faz
controlled-phase gate
mais

natural para
implentao
X
=
Z H H
CNOT
o caso

quand
U=X
Toffoli

gate
1
c
t
2 1
c c t
1
c Control qubit

1
Target qubit
Control qubit

2
2
c
2
c
quantum NAND
x
1
y
1 x y
x
y
Computando

fues

clssicas
x
0
x
x
quantum fanout
Circuito

Classico
x
( ) f x f
x
0
m
x
g
( ) f x
f
U
Circuito

Quntico
Medio: obtendo resultados
a b
A
c d
(
=
(

Conjugada

Hermitiana; tomando

a adjounta
Matrizes

Unitrias
( )
*
T
A A =
* *
* *
a c
b d
(
=
(
(

A dita ser unitria se

AA A A I = =
Usualmente

escrevemos

unitrias

como

U.

Example:
0 1 0 1 1 0
XX
1 0 1 0 0 1
I
( ( (
= = =
( ( (

Exemplo:
Emaranhamento

(entanglement) Quntico
Alice Bob
00 11
2

+
=
a b =
Schroedinger (1935): I would not call
[entanglement] one but rather the characteristic
trait of quantum mechanics, the one that
enforces its entire departure from classical lines
of thought.
( )( )
0 1 0 1 o | o = + +
00 10 01 11 o | oo |o = + + +
0 or 0. | = = e ... (exerccio)
Probabilidade?
P
01

=P
10

=0, P
00

=P
11

=1 computa identidade
P
01

=P
10

=1, P
00

=P
11

=0 computa um NOT
a=0 ou 1
]:{0,1}{0,1}
Probabilidade?
Probabilidade?
Probabilidade?
Probabilidade Quntica
Curiosidade
Curiosidade
Exemplo: Problema

de Deutschs
Caixa

preta

Classica
x
z
( ) z f x
x
f
x
z
( ) z f x
x
f
U
Caixa

preta

Quntica
Determinar se uma funo f dada

constante

ou balanceada.
Dada uma caixa preta

computando f :{0,1}

{0,1}
Classicamente

precisamos avaliar ambos

f(0)

e

f(1)
Quanticamente

precisamos apenas avaliar f uma nica vez!
Esquematicamente ...
C1
C2
soma
( ) 0 : f x =
( ) ( )
0 1 0 1 x x
( ) 1 : f x =
( ) ( ) ( )
0 1 1 0 0 1 x x x =
( ) ( ) ( )
( )
0 1 1 0 1
f x
x x
Pondo

informao

na

fase
x
0 1
2

f
U
( )
( )
1
f x
x x
Algoritmo

Quantico para

o problema

de Deutsch
0
0 1
2

f
U
H H
0 0 1 +
( ) ( )
(0) (1)
1 0 1 1
f f
+
( ) ( ) ( ) ( )
(0) (1)
1 0 1 + 1 0 1
f f
+
( ) ( ) ( ) ( )
(0) (1) (0) (1)
1 1 0 + 1 1 1
f f f f
( (
= +

Paralelismo

quntico
Problema

de Pesquisa:
O que

faz

computadores
qunticos

serem

to

poderosos?
f

constante

todas as amplitudes em

,0)
f balanceada

todas as amplitudes em

,1)
Beam

us up

Scotty!
.
How

do I do that?
Heres is the

code
C-NOT em

ao

-

Bell states
H

00
1
2
0 0 + 1 1
( )
01
1
2
0 1 + 1 0
( )
10
1
2
0 0 1 1
( )
11
1
2
0 1 1 0
( )
000
1
2
0 0 0 + 1 1 1
( )
001
1
2
0 0 1 + 1 1 0
( )
...ETC
H
Circuito

Teleportao
H
H x
y
0 1
0 1 o o +
0
0
circuito

de criao
do Bell State
Inverso

do circuito
de criao

do Bell
State
Circuito

Teleportao
H
H x
y
0
0
( ) ( )
1
0 1
2
0 1 00 11 o o + +
1
0 0 1 1
2
000 011 100 111 o o o o ( + + +

=
1
2 2
00 + 11
( )
o
0
0 +o
1
1
( )
+ 00 11
( )
o
0
0 o
1
1
( )
+ 01 + 10
( )
o
0
1 +o
1
0
( )
+ 01 10
( )
o
1
0 o
0
1
( )

(
(
0 1
0 1 o o +
=
Circuito

Teleportao
H
H x
y
0 1
0 1 o o +
0
0
1
2 2
00 + 11
( )
o
0
0 +o
1
1
( )
+ 00 11
( )
o
0
0 o
1
1
( )
+ 01 + 10
( )
o
0
1 +o
1
0
( )
+ 01 10
( )
o
1
0 o
0
1
( )
|
\

|
.
|
1
2
00 o
0
0 +o
1
1
( )
+ 10 o
0
0 o
1
1
( )
+ 01 o
0
1 +o
1
0
( )
+ 11 o
1
0 o
0
1
( )
|
\

|
.
|
Teleportation circuit

1
2
00 o
0
0 +o
1
1
( )
+
01 o
1
0 +o
0
1
( )
+
10 o
0
0 o
1
1
( )

11 o
1
0 o
0
1
( )

(
(
(
(
(
(
00 o
0
0 + o
1
1
( )
01 o
1
0 +o
0
1
( )
10 o
0
0 o
1
1
( )
11 o
1
0 o
0
1
( )
1
X
Z
iY
H
H x
y 0
0
0 1
0 1 o o +
Circuito

Teleportao
H
H x
y 0
0
X
Z
iY
0 1
0 1 o o +
1
0 1
0 1 o o +
Emaranhamento

como

recurso
H x
y
X
Z
iY
0 1
0 1 o o +
1
0 1
0 1 o o +
great great
distance distance
Alice
Bob
Bell state
Previamente
compartilhado
1
2
00 + 11
( )
Computao

Quntica

Propostas

de implementaes

fsicas

Primeiras

propostas

Utilizavam

os

spins dos eltrons

para

representarem

os

qu-bits

Problemas

com a coerncia

do sistema

quntico
Concluses

QC possui

grande

potencial

Capacidade

de um paralelismo

exponencial

Capacidade

exponencial

de armazenamento

de dados um espao

extremamente

pequeno

possvel

utilizar:

portas

lgicas

(qunticas)

circuitos

lgicos

(qunticos)
Concluses

No

existe:

PC

Instrues

Barramento

Possui

uma

arquitetura

completamente

nova!!
Concluses

So necessrios

aperfeioamentos

Nos

instrumentos

de induo

das
transformaes

(RMN, laser)

Necessidade

de controle

dos erros

(melhorar

as formas

de isolamento

e
interao

com o sistema

quntico)
Concluses

Talvez

a criao

de um PC Quntico

seja

muito

complexa

Soluo: utilizar

a computao

quntica

em

componentes

de um PC
Meu interesse atual

RAMs

qunticas

Redes Neurais Qunticas

Programmable

gates

arrays

Modelos discretos da geometria
differencial

(gravidade quntica)
Referncia

Bsica