Você está na página 1de 82

Introducao `a Computacao Quantica

(para computatas)
Wilson Rosa de Oliveira Jr.
DEInfo-UFRPE
Seminarios do
Quantum Computing Group DEInfo-UFRPE
http://www.quantica.deinfo.ufrpe.br
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 1 / 82
Prolegomena
Em Computacao Quantica (CQ) testemunhamos a juncao de
duas das areas mais importantes na ciencia do sec. XX:

Mecanica Quantica e Informatica


Esta juncao traz novos objetivos, desaos e potencialidades para
a Informatica bem como novas abordagens para a Fsica explorar
o mundo quantico.
Mesmo que seja no momento difcil prever impactos particulares
da CQ sobre a computacao em geral, esperamos que esta juncao
leve a resultados importantes
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 2 / 82
Mecanica Quantica e...
Uma teoria excelente para prever probabilidades de eventos
quanticos.
Uma teoria elegante e conceitualmente simples que descreve com
precisao assustadora um amplo espectro de fen omenos naturais:

Experimentalmente vericadas a 14 ordens de precisao;

Ate o momento nao ha conito entre o teoricamente previsto e


o vericado experimentalmente
Sem MQ nao podemos explicar propriedades dos superuidos,
funcionamento dos lasers, a substancia da qumica, a estrutura e
funcao do DNA, a existencia e comportamento de corpos
s olidos, cor das estrelas, semicondutores, etc.
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 3 / 82
Mecanica Quantica trata...
Das entidades fundamentais da Fsica partculas tais como:

Protons, eletrons e neutrons (que constituem a materia);

Fotons (que carregam radia cao eletromagnetica) sao as unicas


partculas que podemos observar diretamente;

Varias outras partculas elementaresque mediam outras


intera coes da Fsica.
Partculas? Algumas de suas propriedades sao totalmente
discordantes das propriedades do que chamamos de partculas no
nosso mundo usual!
Propriedades? Nao e claro em que sentido estas partculas
podem ser ditas possuir propriedades!
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 4 / 82
Mecanica Quantica
Independente de sua qualidade, do ponto de
vista de explicar fenomenos quanticos, e uma
teoria muito insatisfatoria!

E uma teoria que tem princpios difceis de


aceitar e leva a misterios e paradoxos.
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 5 / 82
Algumas frases famosas
Roger Penrose
Quantum theory seems to lead to philosophical
standpoints that many nd 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
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 6 / 82
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.
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 7 / 82
Mas anal o que MQ nos diz?
Nos diz o que acontece
Mas nao diz porque acontece.
E nao nos diz como acontece.
Nem quanto custa
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 8 / 82
Compreensao da FQ
Vou lhe dizer o que acontece na Natureza,
entretanto jamais pergunte a si mesmo:
Mas como ela pode ser assim?
Porque senao voce sera sugado para uma escuridao
da qual ninguem conseguiu ate hoje escapar!
Nobody knows how it can be like that.
Feynman
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 9 / 82
Exemplo de estranheza: Interferometro de Mach-Zehnder
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 10 / 82
Uma outra visao da Mecanica Quantica
MQ nao e Fsica no sentido usual nao e sobre
materia ou energia ou onda ou partculas e sobre
informacao, probabilidades, amplitudes de
probabilidades e observaveis; e como eles se
relacionam entre si.
MQ e o que se obtem quando se generaliza teoria da
probabilidade a permitir n umeros negativos. Poderia
ate ter sido descoberta pelos matematicos sem
qualquer motivacao dos experimentos (Aaronson,
1997).
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 11 / 82
Porque Informacao e Computacao Quantica sao tao
importantes?
ICQ pode levar a novas tecnologias que terao impactos amplos e
profundos.
Muitas das ciencias e tecnologias ja estao se aproximando do
ponto em que precisam isolar, manipular e transmitir partculas.
Novos conhecimentos sobre os fen omenos e sistemas quanticos
complexos podem ser gerados.
Criptograa quantica nos leva a um novo patamar de seguranca.
ICQ tem se mostrado ser mais eciente em situac oes
importante;interessantes.
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 12 / 82
Por que devemos tentar construir computadores quanticos
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
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 13 / 82
Informacao x Fsica
Norbert Wiener:

Informacao e informacao, nem materia nem energia.


Ralf Landauer:

Informacao e fsica.

Deve entao fazer parte da Fsica a Teoria da Informa cao e a


Teoria da Computacao?
Visao corrente:

Fsica e informacional.

Deve a mecanica quantica (espacos de Hilbert) fazer parte da


Informatica?
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 14 / 82
Curiosidade
Fsica Quantica e uma teoria extremamente
elaborada, cheia de paradoxos e misterios. Leva-se
anos para um fsico desenvolver um sentimento.
Alguns teoricos da computacao e matematicos, sem
qualquer base em FQ tem realizado contri-buicoes
fundamentais a teoria da informacao e computa cao
quantica!
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 15 / 82
Outra motivacao
Lei de Moore que preve que em 2020 precisaremos de um eletron
apenas para amarzenar um bit!
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 16 / 82
Historico (um pouco)
Richard Feynman

1959: Nanotecnologia

Ha muito mais espaco la embaixo

1982:

Sistemas classicos nao modelam ecientemente


sistemas quanticos

Sugere construcao de computadores baseados nas leis


da mecanica quantica
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 17 / 82
Historico
David Deutsch

1985: MTQ (Maquina de Turing Quantica)

1989: publicou primeiro algoritmo quantico

Problema de determinar se uma funcao de um bit e


constante ou balanceada.
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 18 / 82
Historico
Peter Shor

1993: Algoritmo de Shor

Fatoracao de n umeros grandes


Tempo de Fatoracao
pelo Algoritmo de
Shor
Comprimento do
n umero a ser
fatorado (bits)
Tempo de Fatoracao
pelo Algoritmo
Classico
34s 512 4 dias
4.5m 1024 10
5
anos
36m 2048 10
17
anos
4.8h 4096 10
35
anos
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 19 / 82
Computa cao Classica
Mais precisamente: Modelos de Circuitos.
Outros modelos nao considerados aqui:

Maquinas de Turing

-Calculo

Funcoes Recursivas, etc.


Mais pr oximo do computador digital
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 20 / 82
Computa cao Classica
f : {0, 1}
m
{0, 1}
n
ou
f : {0, 1}
m
{0, 1}
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 21 / 82
Computa cao Classica
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 22 / 82
Computa cao Classica
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 23 / 82
Computa cao Classica
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 24 / 82
Computa cao Classica
NAND e universal (crossover, fanout)
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 25 / 82
Computa cao Classica - exemplos
Meio Somador (half adder)
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 26 / 82
Computa cao Classica - exemplos
Somador Completo (full adder)
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 27 / 82
Famlia uniforme de circuitos

E uma sequencia enumeravel de circuitos {C


n
}

n=0
1
Os circuitos C
n
tem n entradas e um n umero nito de bits
suplementares (ancilla) de sada.
2
A sada C
n
e denotada por C
n
(x) e e denida para todo n umero
binario x de no maximo n bits.
3
Se m < n e x tem no maximo m bits entao C
m
(x) = C
n
(x)

E uma famlia uniforme de circuitos se existe um procedimento


efetivo que computa a descricao de C
n
para todo n.
A famlia computa f : N N se C
n
(x
(n)
) = f(x) todo n umero x e
x
(n)
e a representacao binaria de no maximo n bits de x.
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 28 / 82
Computa cao Classica Reversvel
CNot
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 29 / 82
Computa cao Classica Reversvel
Tooli
Qualquer funcao f pode ser computada usando apenas Tooli e
crossover!
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 30 / 82
Computa cao Classica Reversvel
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 31 / 82
Computa cao Classica Reversvel
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 32 / 82
Computa cao Classica Reversvel
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 33 / 82
Quantizacao Matematica
NiK Weaver (Washington University):
Substituir conjuntos por um espaco de Hilbert apropriadoe
fun coes por mapas lineares
O conjunto em consideracao passa a ser visto (representado)
como uma base (ortonormal).
As funcoes consideradas sao as lineares (ou subclasse destas).
Finitamente dimensional = espaco vetorial
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 34 / 82
Classical Bits: Cbits
Bit abstrato: 0 e 1
Representacao como cbit: |0 e |1

par de vetores ortonormais, e.g:


|0 =

1
0

e |1 =

0
1

Em R
2
ou C
2
Um estado arbitrario:
| = |0 + |1, onde
||
2
+||
2
= 1
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 35 / 82
Classical Bits: Cbits
F ormula de Euler: e
i
= cos() + isin()
Forma exponencial: c = e
i
| = cos()|0 + e
i
sin()|1
|+ =
1

2
|0 +
1

2
|1 | =
1

2
|0
1

2
|1
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 36 / 82
Classical Bits: Cbits
Quando precisarmos de mais de um Cbit:
Produto tensorial
|0 |0, |0 |1, |1 |0, |1 |1
|0|0, |0|1, |1|0, |1|1
|00, |01, |10, |11
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 37 / 82
Notacao
|0
2
|1
2
|2
2
|3
2
|x
n
0 x < 2
n
|19
6
= |010011 = |0|1|0|0|1|1
= |0 |1 |0 |0 |1 |1

y
0
y
1

z
0
z
1

y
0
z
0
y
0
z
1
y
1
z
0
y
1
z
1

x
0
x
1

y
0
y
1

z
0
z
1

x
0
y
0
z
0
x
0
y
0
z
1
x
0
y
1
z
0
x
0
y
1
z
1
x
1
y
0
z
0
x
1
y
0
z
1
x
1
y
1
z
0
x
1
y
1
z
1

Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 38 / 82
Operacoes
1|0 = |0, 1|1 = |1
X|0 = |1, X|1 = |0 (
x
)
S|xy = |yx
Z|0 = |0, Z|1 = |1 (
z
)
C
10
|x|y = (X
0
)
x
|x|y = |x|y x
X
2
= 1 X 1 1
S
10
=
1
2
(1+Z
1
Z
0
+X
1
X
0
Y
1
Y
0
)
Y = XZ (i
y
)
H =
1

2
(X + Z) =
1

1 1
1 1

Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 39 / 82
Portas Logicas Quanticas Single-qbit
Pauli gates
X =

0 1
1 0

; Y =

0 i
i 0

; Z =

1 0
0 1

Hadamard gate
H|0 =
|0+|1

2
; H|1 =
|0|1

2
; H =
1

1 1
1 1

Phase gate
P|0 = |0; P|1 = i|1; P =

1 0
0 i

; P
2
= Z
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 40 / 82
Controlled-not gate
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 41 / 82
Tooli gate
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 42 / 82
Computando fun coes classicas
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 43 / 82
Medi cao: obtendo resultados
Medida de um estado | = |0 + |1
{M
m
}
p(m) = |M

m
M
m
|

|0 com probabilidade ||
2
e

|1 com probabilidade ||
2
Completeza

m
|M

m
M
m
| = I
M
e
= |ee|
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 44 / 82
Matrizes Unitarias
A =

a b
c d

Conjugada Hermitiana; tomando a adjunta:


A

= (A

)
T
=

A e dita ser unitaria se AA

= A

A = I
Usualmente escrevemos unitarias como U.
Exemplo:
XX

0 1
1 0

0 1
1 0

1 0
0 1

= I
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 45 / 82
Emaranhamento (entanglement) Quantico
Suponhamos que | = |a|b. Entao:
| = (|0 +|1)(|0 +|1)
= |00 +|01 +|10 +|11
Logo ( = 0 ou = 0) e ( = 0 ou = 0), o que e um absurdo!
Schrodinger (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.
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 46 / 82
Estados Emaranhados
Considere os estados de 2-qubits:
| = 1/

2(|00 +|11) e | = 1/

2(|00 +|01)
| e composto do produto tensorial |0 1/

2(|0 +|1)
Medi cao do segundo qubit resultara em |0 ou |1 com uma
probabilidade 1/2 para cada resultado, independente de o
primeiro qubit ser medido ou nao. Medi cao do primeiro dara
sempre |0.
| nao pode ser decomposto em um produto de dois outros
qubits.

E um estado emaranhado!
entrelacado
A medicao do primeira determina completamente o resultado do
segundo.
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 47 / 82
C-Not em acao - Bell States
|00
C

2
(|00 +|11)
|01
C

2
(|01 +|10)
|10
C

2
(|00 |11)
|11
C

2
(|01 |10)
|000
C

2
(|000 +|111)
|001
C

2
(|001 +|110)
... etc
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 48 / 82
Emaranhamento (entanglement)
Um experimento usa luz para provocar um
emaranhamento entre dois atomos.
Dois atomos de iterbio para funcionar como qubits.
Excitaram os dois atomos induzindo eletrons a passar
para um estado mais baixo de energia e emitir um
foton.
Os atomos de iterbio sao capazes de emitir dois tipos
de fotons, cada um com um comprimento de onda
diferente.
Cada foton esta entrelacado com seu atomo.
Manipulando os fotons emitidos por cada um dos
atomos e guiando-os para interagir no interior de uma
bra optica, os pesquisadores conseguiram detectar o
choque dos dois e entrela car os dois atomos.
Entanglement of single-atom quantum bits at a distance D.
L. Moehring, P. Maunz, S. Olmschenk, K. C. Younge, D. N.
Matsukevich, L.-M. Duan, C. Monroe
Nature
6 September 2007
Vol.: 449, 68-71
DOI: 10.1038/nature06118
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 49 / 82
Copia (Cloning)
Estados quanticos nao podem ser copiados ou clonados!
Prova: assuma uma transformacao unitaria U tal que
U|a|0 = |a|a
Sejam |a e |b estados ortogonais e U|a|0 = |a|a e
U|b|0 = |b|b.
Considere agora |c = 1/

2(|a +|b).
Por linearidade,
U|c|0 = 1/

2(U|a|0 +U|b|0) = 1/

2(|a|a +|b|b)
Mas se U e uma transformacao de copia:
U|c|0 = |c|c = 1/

2(|a +|b) 1/

2(|a +|b)
= 1/2(|a|a +|a|b +|b|a +|b|b)
Contradicao!
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 50 / 82
Probabilidade?
f : {0, 1} {0, 1}
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
P
01
= P
10
= P
00
= P
11
= 0.5 resulta 0 e 1 aleatoriamente
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 51 / 82
Probabilidade?
Suponha que ao compor duas destas maquinas obtemos uma
maquina inversora de 0s e 1s.
Como pode? Nao me pergunto como, mas posso mostrar que...
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 52 / 82
Probabilidade?
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 53 / 82
Probabilidade?
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 54 / 82
Probabilidade Quantica
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 55 / 82
Curiosidade
Simulando um Computador Quantico

50 qubits

Especicar um estado generico | requer

2
50
10
15
n umeros complexos com 2 128 bits
ou seja

32 10
15
= 32000 terabytes

Dinamica requer a manipulacao de matrizes 2


50
2
50
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 56 / 82
Curiosidade
51 qubits

Requer o dobro de memoria


100 qubits

Especicar um estado generico | requer 480 Gbytes em cada


milmetro quadrado da superfcie da Terra!
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 57 / 82
Exemplo: Problema de Deutsch
Determinar se uma funcao f dada e 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 unica vez!
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 58 / 82
Esquematicamente...
Calculemos a amplitude de sair 0 dado 0:
C1 i/

2 x (1)
f(0)
x i/

2 = 1/2 x (1)
f(0)
C2 1/

2 x (1)
f(1)
x 1/

2 = 1/2 x (1)
f(1)
soma
1
2
((1)
f(1)
(1)
f(0)
)
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 59 / 82
Pondo informacao na fase
f(x) = 0:

|x(|0 |1) |x(|0 |1)


f(x) = 1:

|x(|0 |1) |x(|1 |0) = |x(|0 |1)


|x(|0 |1) (1)
f(x)
|x(|0 |1)
|x (1)
f(x)
|x
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 60 / 82
Algoritmo Quantico para o problema de Deutsch
f constante todas as amplitudes em |0
f balanceada todas as amplitudes em |1
Problema de pesquisa:

O que faz computadores quanticos serem tao poderosos?


Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 61 / 82
Beam us up Scotty!
How do i do that?
Heres is the code.
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 62 / 82
Circuito Teleporta cao
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 63 / 82
Os delates... [1]
Alice que enviar a Bob o estado:
| = |0 + |1
Para tal, qdo estao juntos criam o estado emaranhado:
|
00
=
|00 +|11

2
Bob vai para o lugar dele...
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 64 / 82
Os detalhes... [2]
O estado geral do sistemae:
| = | |
00
= (|0 + |1)
|00 +|11

2
=
(|000 +|011) + (|100 +|111)

2
Aplicando CNOT ao qubit de Alice :=
|

= U
X
|
=
(U
X
|000 + U
X
|011) + (U
X
|100 + U
X
|111)

2
=
(|000 +|011) + (|110 +|101)

2
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 65 / 82
Os detalhes... [3]
Aplicando Hadamard ao primeiro qubit de Alice:
|

=
|0(|00 +|11)

2
+
|1(|10 +|01)

2
resulta em:
|

= H|

=
H|0(|00 +|11)

2
+
H|1(|10 +|11)

2
= (
|0 +|1

2
)
|00 +|11

2
+ (
|0 |1

2
)
|10 +|01

2
Nao esqueca que Bob esta com o terceiro qubit!
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 66 / 82
Os detalhes... [4]
Alice mede seu par de qubits, onde o sistema reescrito esta em:
|

=
1
2
[|00(|0+|1)+|01(|1+|0)+|10(|0|1)+|11(|1|0)]
e Bob pode aplicar (resp.) I, X, Z e ZX ao resultado para obter
o estado original.
Como saber o que aplicar?
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 67 / 82
Os detalhes... [5]
Alice telefona por um canal classico a Bob informando o
resultado de sua medicao!
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 68 / 82
Busca desestruturada de Grover
Dada uma lista desestruturada de tamanho N e uma proposicao
P, encontre um x tal que P(x) seja verdadeiro.
Seja U
P
a porta quantica que implementa a funcao booleana
P(x) e n tal que 2
n
N.
U
P
: |x, 0 |x, P(x)
U
P
operando na superposi cao do todos os estados da base da:
1

2
n
2
n
1

i=0
|x, P(x)
Se existe unico estado tal que P(x) = 1, a pobabilidade de obter
este resultado ap os medicao e apenas 1/

2
n
.
Precisamos aumentar isto!!!
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 69 / 82
Primalidade e Fatoracao
Problema da primalidade:

Dado: um inteiro n > 1

Descobrir: se n e primo ou composto

Algoritmo: AKS (2002)


Problema da fatoracao:

Dado: um inteiro n composto

Descobrir: um fator de n

Algoritmo: Shor (1994)


Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 70 / 82
Algoritmo de Shor
Para fatorar N encontre x coprimo com N.
Usa computador quantico para encontrar r tal que x
r
= 1modN.
Se r e par, entao mdc(x
r/2
+ 1, x
r/2
1, N) e um fator de N
que podemos encontrar com o algoritmo de Euclides.
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 71 / 82
Algoritmo de Shor (exemplo)
Para fatorar N = 1295 seja x coprimo com N, e.g., x = 6.
Use um computador quantico para encontrar r tal que
6
r
= 1mod1295. r = 4.
Se r e par, entao
mdc(6
4/2
+ 1, 6
4/2
1, 1295) = mdc(35, 37, 1295) e um fator de
N que podemos encontrar com o algoritmo de Euclides. 1295 =
5 x 7 x 37.
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 72 / 82
Algoritmo de Shor: especicacao
Recebe:

um inteiro n composto, mpar

que nao uma potencia de primo

(n tem pelo menos 2 divisores primos)


Devolve:

um fator de n, com probabilidade 1/2.


Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 73 / 82
Algoritmo de Shor: caractersticas
Ideia:

transforma problema da fatora cao em:


busca do perodo de uma funcao.
Consumo de tempo:

polinomial em logn.
Observa cao:

um unico passo quantico!


Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 74 / 82
Algoritmo de Shor
Shor(n)
1
x rand {2, ..., n 1}
2
d mdc(x, n)
3
se d > 1
4
entao devolva d
5
r ordem(x, n), menor a > 0 tal que x
a
1(modn)
6
se r e mpar ou x
r/2
1(modn)
7
entao FALHOU!
8
senao devolva mdc(x
r/2
1, n)
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 75 / 82
Conclusoes
QC possui grande potencial

Capacidade de um paralelismo exponencial

Capacidade exponencial de armazenamento de dados em um


espaco extremamente pequeno

E possvel utilizar:

portas logicas (quanticas)

circuitos logicos (quanticos)


Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 76 / 82
Conclusoes
Nao eciste:

PC

Instru coes

Barramento
Possui uma arquitetura completamente nova!!
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 77 / 82
Conclusoes
Sao necessarios aperfeicoamentos

Nos instrumentos de indu cao das transformacoes (RMN, laser)

Necessidade de controle dos erros (melhorar as formas de


isolamento e intera cao com o sistema quantico)
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 78 / 82
Conclusoes
Talvez a cria cao de um PC Quantico seja muito complexa
Solucao: utilizar a computacao quantica em componentes de um
PC
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 79 / 82
Meu interesse atual
RAMs quanticas
Programmable gates arrays
Redes Neurais Quanticas (sem pesos)
Quantum Computing + Chaos ==> resolvendo problemas
NP-completos em tempo polinomial.
Modelos discretos da geometria dierencial (gravidade quantica)
==> Hypercomputacao(?)
Computa cao Relativstica ==> Hypercomputacao!
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 80 / 82
References I
Noson S. Yanofsky; Mirco A. Mannucci, Quantum Computing for
Computer Scientists, Cambridge University Press, 2008, ISBN
978-0-521-87996-5.
David McMahon, Quantum Computing Explained,
Wiley-Interscience, Hoboken, New Jersey, USA, 2008, ISBN
978-0-470-09699-4.
N. David Mermin, Quantum Computer Science - An
Introduction, Cambridge University Press, New York, USA, 2007,
ISBN 978-0-521-87658-2.
Alexei Yu. Kitaev, Alexander H. Shen e Mikhail N. Vyalyi,
Classical and Quantum Computation.
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 81 / 82
Obrigado por sua aten cao!
Wilson Rosa (DEInfo-UFRPE) Introducao `a Computa cao Quantica May 13, 2014 82 / 82