SlideShare uma empresa Scribd logo
1 de 92
Baixar para ler offline
Introdução à
Computação Quântica
(para computatas)
Wilson Rosa de Oliveira Jr.
20 e 27/11/2012
Seminários do
Quantum Computing Group DEInfo-UFRPE
http:www.ppgia.ufrpe.br/quantum
1Tuesday, November 20, 2012
Prolegomena
• Em Computação Quântica (CQ) testemunhamos a junção de
duas das áreas mais importantes na ciência do sec. XX:
– Mecânica Quântica e Informática
• Esta junção traz novos objetivos, desafios e
potencialidades para a Informática bem como novas
abordagens para a Física explorar o mundo quântico.
• Mesmo que seja no momento difícil prever impactos
particulares da CQ sobre a computação em geral,
esperamos que esta junção leve a resultados importantes
2Tuesday, November 20, 2012
Mecânica Quântica é ...
• Uma teoria excelente para prever probabilidades de
eventos quânticos.
• Uma teoria elegante e conceitualmente simples que
descreve com precisão assustadora um amplo espectro de
fenômenos naturais:
– Experimentalmente verificadas a 14 ordens de precisão;
– Até o momento não há conflito entre o teoricamente previsto e o verificado
experimentalmente
• Sem MQ não podemos explicar propriedades dos
superfluidos, funcionamento dos lasers, a substância da
química, a estrutura e função do DNA, a existência e
comportamento de corpos sólidos, cor das estrelas,
semicondutores, etc
3Tuesday, November 20, 2012
Mecânica Quântica trata ...
• Das entidades fundamentais da Física – partículas tais
como:
– Prótons, elétrons e nêutrons (que constituem a matéria);
– Fótons (que carregam radiação eletromagnética) – são as únicas partículas
que podemos observar diretamente;
– Várias outras “partículas elementares” que mediam outras interações da
Física.
• Partículas? Algumas de suas propriedades são totalmente
discordantes das propriedades do que chamamos de
partículas no nosso mundo usual!
• Propriedades? Não é claro em que sentido estas
“partículas” podem ser ditas possuir propriedades!
4Tuesday, November 20, 2012
Mecânica Quântica
• Independente de sua qualidade, do ponto de
vista de explicar fenômenos quânticos, é uma
teoria muito insatisfatória!
• É uma teoria que tem princípios difíceis de
aceitar e leva a mistérios e paradoxos.
5Tuesday, November 20, 2012
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”
6Tuesday, November 20, 2012
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”.
7Tuesday, November 20, 2012
Mas afinal o que MQ nos diz?
• Nos diz o que acontece
• Mas não diz porque acontece.
• E não nos diz como acontece.
• Nem quanto custa
8Tuesday, November 20, 2012
Compreensão da FQ
Vou lhe dizer o que acontece na Natureza,
entretanto jamais pergunte a si mesmo:
“Mas como ela pode ser assim?”
Porque senão você será sugado para uma escuridão
da qual ninguém conseguiu até hoje escapar!
“Nobody knows how it can be like that”.
Feynman
9Tuesday, November 20, 2012
Exemplo de estranheza:
Interferômetro de Mach-Zehnder
10Tuesday, November 20, 2012
Uma outra visão da Mecânica
Quântica
• MQ não é Física no sentido usual – não é sobre
matéria ou energia ou onda ou partículas – é
sobre informação, probabilidades, amplitudes de
probabilidades e observáveis; e como eles se
relacionam entre si.
• MQ é o que se obtém quando se generaliza teoria
da probabilidade a permitir números negativos.
Poderia até ter sido descoberta pelos
matemáticos sem qualquer motivação dos
experimentos (Aaronson, 1997).
11Tuesday, November 20, 2012
Por que Informação e Computação
Quântica é tão importante?
• ICP pode levar a novas tecnologias que terão impactos
amplos e profundos.
• Muitas das ciências e tecnologias já estão se aproximando
do ponto em que precisam isolar, manipular e transmitir
partículas.
• Novos conhecimentos sobre os fenômenos e sistemas
quânticos complexos podem ser gerados.
• Criptografia quântica nos leva a um novo patamar de
segurança.
• ICP tem se mostrado ser mais eficiente em situações
importante;interessantes.
12Tuesday, November 20, 2012
Por que devemos tentar construir
computadores quânticos?
When you try to reach for stars you may not
quite get one, but you won’t come with a
handful of mud either.
Leo Burnett
13Tuesday, November 20, 2012
Informação X Física
• Norbert Wiener:
– Informação é informação, nem matéria nem energia.
• Ralf Landauer:
– Informação é física.
• Deve então fazer parte da Física a Teoria da Informação e a Teoria da
Computação?
• Visão corrente:
– Física é informacional.
• Deve a mecânica quântica (espaços de Hilbert) fazer parte da
Informática?
14Tuesday, November 20, 2012
Curiosidade
• Física Quântica é uma teoria extremamente
elaborada, cheia de paradoxos e mistérios. Leva-se
anos para um físico desenvolver um sentimento.
• Alguns teóricos da computação e matemáticos, sem
qualquer base em FQ têm realizado contri-buições
fundamentais a teoria da informação e computação
quântica!
15Tuesday, November 20, 2012
Outra motivação
• Lei de Moore que prevê que em 2020
precisaremos de um elétron apenas para
amarzenar um bit!
16Tuesday, November 20, 2012
Histórico (um pouco)
• Richard Feynman
– 1959: Nanotecnologia
•(“Há muito mais espaço lá embaixo”)‫‏‬
– 1982:
•Sistemas clássicos não modelam
eficientemente sistemas quânticos
•Sugere construção de computadores
baseados nas leis da mecânica quântica
17Tuesday, November 20, 2012
Histórico
• David Deutsch
– 1985: MTQ (Máquina de Turing Quântica)‫‏‬
– 1989: publicou primeiro algoritmo quântico
•Problema de determinar se uma função
de um bit é cte ou balanceada.
18Tuesday, November 20, 2012
Histórico
• Peter Shor
– 1993: Algoritmo de Shor
•Fatoração de números grandes
Tempo de Fatoração
pelo Algoritmo de Shor
Comprimento do número
a ser fatorado (bits)
Tempo de Fatoração
pelo Algoritmo de clássico
34s 512 4 dias
4.5m 1024 105 anos
36m 2048 1017 anos
4,8h 4096 1035 anos
19Tuesday, November 20, 2012
Computação Clássica
• Mais precisamente: Modelos de Circuitos.
• Outros modelos não considerados aqui:
Máquinas de Turing, λ-Cálculo, Funções
Recursivas, etc.
• Mais próximo do computador digital
20Tuesday, November 20, 2012
f : {0, 1}m
←→ {0, 1}n
f : {0, 1}m
←→ {0, 1}
Computação Clássica
ou
21Tuesday, November 20, 2012
Computação Clássica
22Tuesday, November 20, 2012
Computação Clássica
23Tuesday, November 20, 2012
Computação Clássica
24Tuesday, November 20, 2012
Computação Clássica
NAND é universal (crossover, fanout)
25Tuesday, November 20, 2012
Computação Clássica - exemplos
Meio Somador (half adder)
26Tuesday, November 20, 2012
Computação Clássica - exemplos
Somador Completo (full adder)
27Tuesday, November 20, 2012
É uma seqüência enumerável de circuitos :
1. Os circuitos Cn têm n entradas e um números finito de bits
suplementares (ancilla) e de saída.
2. A saída de Cn é denotada por Cn(x) e é definida para todo
número binário x de no máximo n bits.
3. Se m<n e x tem no máximo m bits então Cm(x) = Cn(x).
É uma família uniforme de circuitos se existe um procedimento
efetivo que computa a descrição de Cn para todo n .
A família computa f:N→N se Cn(x(n))=f(x) todo número x e x(n) é a
representação binária de no máximo n bits de x .
Família consistentes de circuitos
{Cn}∞
n=0
28Tuesday, November 20, 2012
Computação Clássica Reversível
• CNot
29Tuesday, November 20, 2012
Computação Clássica Reversível
• Toffoli
Qualquer função f pode ser computada usando apenas Toffoli e crossover!
30Tuesday, November 20, 2012
Computação Clássica Reversível
31Tuesday, November 20, 2012
Computação Clássica Reversível
32Tuesday, November 20, 2012
Computação Clássica Reversível
33Tuesday, November 20, 2012
Quantização Matemática
• NiK Weaver (Washington University):
“Substituir conjuntos por um espaço de Hilbert
apropriado” e “funções por mapas lineares"
• O conjunto em consideração passa a ser visto
(representado) como uma base (ortonormal).
• As funções consideradas são as lineares (ou
subclasse destas).
• Finitamente dimensional = espaço vetorial
34Tuesday, November 20, 2012
|α|2
+ |β|2
= 1
Classical Bits: Cbits
• bit abstrato: e
• Representação como cbit: e
–par de vetores ortonormais, e.g:
• Em R2
ou C2
•Um estado arbitrário:
|1|0
0 1
|0 =

1
0

|1 =

0
1

|ϕ = α |0 + β |1
35Tuesday, November 20, 2012
F´ormula de Euler:
eiθ
= cos(θ) + i sin(θ)
Forma exponencial:
c = ρeiθ
|ψ = cos(θ) |0 + eiφ
sin(θ) |1
Classical Bits: Cbits
36Tuesday, November 20, 2012
|0 ⊗ |0 , |0 ⊗ |1 , |1 ⊗ |0 , |1 ⊗ |1
|0 |0 , |0 |1 , |1 |0 , |1 |1
|00 , |01 , |10 , |11 ,
Classical Bits: Cbits
• quando precisarmos de mais de um Cbit:
produto tensorial
37Tuesday, November 20, 2012
|02 |12 |22 |32
|xn 0 ≤ x  2n
|196 = |010011 = |0 |1 |0 |0 |1 |1
= |0 ⊗ |1 ⊗ |0 ⊗ |0 ⊗ |1 ⊗ |1
Notação

y0
y1
 
z0
z1

=




y0z0
y0z1
y1z0
y1z1





x0
x1
 
y0
y1
 
z0
z1

=












x0y0z0
x0y0z1
x0y1z0
x0y1z1
x1y0z0
x1y0z1
x1y1z0
x1y1z1












38Tuesday, November 20, 2012
Operações
39Tuesday, November 20, 2012
Portas Lógicas Quânticas Single-qbit
Hadamard gate
Phase gate
Pauli gates
=
40Tuesday, November 20, 2012
Controlled-not gate
Control
Target U
Controlled-phase gate
Z
Exercício: Mostre que HZH = X.
Z
Z
=
Simetria faz
controlled-phase gate
mais natural para
implementação
X
=
ZH H
CNOT é
o caso quando
U=X
41Tuesday, November 20, 2012
Toffoli gate
Control qubit 1
Target qubit
Control qubit 2
⊕
42Tuesday, November 20, 2012
quantum NAND
Computando funções clássicas
quantum fanout
Circuito Classico Circuito Quântico
Text
|f(x)〉
|x〉
⊕⊕
43Tuesday, November 20, 2012
• Medida de um estado |ϕ = α |0 + β |1
• {Mm}
p(m) = ϕ| M†
mMm |ϕ
– |0 com probabilidade |α|2
| e
– |1 com probabilidade |β|2
|
• Completeza 
m
ϕ| M†
mMm |ϕ = I
• Me = |e e|
Medição: obtendo resultados
|β|2
|α|2
e
44Tuesday, November 20, 2012
Conjugada Hermitiana; tomando a adjunta
Matrizes Unitárias
A é dita ser unitária se
Usualmente escrevemos unitárias como U.
Exemplo:
45Tuesday, November 20, 2012
|ψ = |00+|11
√
2
Suponhamos que |ψ = |a |b. Ent˜ao:
|ψ = (α |0 + β |1)(γ |0 + δ |1)
= αγ |00 + βγ |10 + αδ |01 + βδ |11
Logo (β = 0 ou γ = 0) e (α = 0 ou δ = 0) o que ´e um absurdo!
Emaranhamento (entanglement) Quântico
Alice Bob
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.”
46Tuesday, November 20, 2012
Estados Emaranhados
Considere os estados de 2-qubits:
|ψ〉 = 1/√2(|00 〉 + |11 〉) e |ϕ〉 = 1/√2(|00 〉 + |01 〉)
|ϕ〉 é composto do produto tensorial |0〉 ⊗ 1/√2(|0〉+|1〉)
Medição do segundo qubit resultará em |0〉ou |1 〉 com uma probabilidade ½ para
cada resultado, independente de o primeiro qubit ser medido ou não. Medição do
primeiro dará sempre |0 〉
|ψ〉 não pode ser decomposto em um produto de dois outros qubits
É um estado emaranhado!!.
A medição do primeiro determina completamente o resultado
do segundo.
47Tuesday, November 20, 2012
|00
C
−→
1
√
2
(|00 + |11)
|01
C
−→
1
√
2
(|01 + |10)
|10
C
−→
1
√
2
(|00 − |11)
|01
C
−→
1
√
2
(|01 − |10)
|000
C
−→
1
√
2
(|000 + |111)
|001
C
−→
1
√
2
(|001 + |110)
· · ·etc
⊕
⊕
C-NOT em ação - Bell states
H H
⊕
48Tuesday, November 20, 2012
Emaranhamento(entanglement)
• Um experimento usa luz para provocar um
emaranhamento entre dois átomos.
• Dois átomos de itérbio para funcionar como
qubits.
• Excitaram os dois átomos induzindo elétrons a
passar para um estado mais baixo de energia e
emitir um fóton.
• Os átomos de itérbio são capazes de emitir
dois tipos de fótons, cada um com um
comprimento de onda diferente.
• Cada fóton está entrelaçado com seu átomo.
• Manipulando os fótons emitidos por cada um
dos átomos e guiando-os para interagir no
interior de uma fibra óptica, os pesquisadores
conseguiram detectar o choque dos dois e
entrelaçar os dois átomos.
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
49Tuesday, November 20, 2012
Cópia (Cloning)
50Tuesday, November 20, 2012
Cópia (Cloning)
Estados quânticos não podem ser copiados ou clonados!
50Tuesday, November 20, 2012
Cópia (Cloning)
Estados quânticos não podem ser copiados ou clonados!
Prova: Assuma uma transformação unitária U tal que U⏐a〉⏐0〉 =
⏐a〉⏐a〉.
50Tuesday, November 20, 2012
Cópia (Cloning)
Estados quânticos não podem ser copiados ou clonados!
Prova: Assuma uma transformação unitária U tal que U⏐a〉⏐0〉 =
⏐a〉⏐a〉.
Sejam ⏐a〉 e ⏐b〉 estados ortogonais e
50Tuesday, November 20, 2012
Cópia (Cloning)
Estados quânticos não podem ser copiados ou clonados!
Prova: Assuma uma transformação unitária 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〉
50Tuesday, November 20, 2012
Cópia (Cloning)
Estados quânticos não podem ser copiados ou clonados!
Prova: Assuma uma transformação unitária 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〉)
50Tuesday, November 20, 2012
Cópia (Cloning)
Estados quânticos não podem ser copiados ou clonados!
Prova: Assuma uma transformação unitária 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,
50Tuesday, November 20, 2012
Cópia (Cloning)
Estados quânticos não podem ser copiados ou clonados!
Prova: Assuma uma transformação unitária 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〉)
50Tuesday, November 20, 2012
Cópia (Cloning)
Estados quânticos não podem ser copiados ou clonados!
Prova: Assuma uma transformação unitária 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 é uma transformação de cópia
50Tuesday, November 20, 2012
Cópia (Cloning)
Estados quânticos não podem ser copiados ou clonados!
Prova: Assuma uma transformação unitária 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 é uma transformação de cópia
U⏐c〉⏐0〉 = ⏐c〉⏐c〉 = 1/√2(⏐a〉 + ⏐b〉) ⊗ 1/√2(⏐a〉 + ⏐b〉)
50Tuesday, November 20, 2012
Cópia (Cloning)
Estados quânticos não podem ser copiados ou clonados!
Prova: Assuma uma transformação unitária 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 é uma transformação de cópia
U⏐c〉⏐0〉 = ⏐c〉⏐c〉 = 1/√2(⏐a〉 + ⏐b〉) ⊗ 1/√2(⏐a〉 + ⏐b〉)
= ½ (⏐a〉⏐a〉 + ⏐a〉⏐b〉 + ⏐a〉⏐b〉 + ⏐b〉⏐b〉)
50Tuesday, November 20, 2012
Cópia (Cloning)
Estados quânticos não podem ser copiados ou clonados!
Prova: Assuma uma transformação unitária 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 é uma transformação de cópia
U⏐c〉⏐0〉 = ⏐c〉⏐c〉 = 1/√2(⏐a〉 + ⏐b〉) ⊗ 1/√2(⏐a〉 + ⏐b〉)
= ½ (⏐a〉⏐a〉 + ⏐a〉⏐b〉 + ⏐a〉⏐b〉 + ⏐b〉⏐b〉)
Contradição!!
alalalalalalalalalal
50Tuesday, November 20, 2012
Probabilidade?
P01=P10=0, P00=P11=1 computa identidade
P01=P10=1, P00=P11=0 computa um NOT
P01=P10=P00=P11=0.5 resulta 0 e 1 aleatoriamente
a=0 ou 1
ƒ:{0,1}→{0,1}
b=0 ou 1
51Tuesday, November 20, 2012
Probabilidade?
Suponha que ao compor duas destas máquina obtemos
uma máquina inversora de 0s e 1s
Como pode? Não me pergunto como, mas posso mostrar que ...
52Tuesday, November 20, 2012
Probabilidade?
53Tuesday, November 20, 2012
Probabilidade?
54Tuesday, November 20, 2012
Probabilidade Quântica
55Tuesday, November 20, 2012
Curiosidade
56Tuesday, November 20, 2012
Curiosidade
57Tuesday, November 20, 2012
Exemplo: Problema de Deutsch’s
Caixa preta Reversível
Caixa preta Quântica
Determinar se uma função 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!
58Tuesday, November 20, 2012
Esquematicamente ...
C1
C2
soma
59Tuesday, November 20, 2012
Pondo informação na fase
60Tuesday, November 20, 2012
|0 → |0 + |1
Algoritmo Quântico para o problema de Deutsch
H H
Paralelismo quântico
Problema de Pesquisa:
O que faz computadores
quânticos serem tão poderosos?
f constante ⇒ todas as amplitudes em |0〉
f balanceada ⇒ todas as amplitudes em |1〉
→ (−1) f (0) (|0〉−|1〉) + (−1) f (1) (|0〉−|1〉)
61Tuesday, November 20, 2012
Beam us up Scotty!
…
How do I do that?
Here´s is the code
62Tuesday, November 20, 2012
Circuito Teleportação
H
H x
y
circuito de criação
do Bell State
s
Inverso do circuito
de criação do Bell
State
63Tuesday, November 20, 2012
Os detalhes ... (1)
Alice que enviar a Bob o estado:
Para tal, qdo estão juntos criam o estado
emaranhado:
Bob vai para o lugar dele ...
|ϕ = α |0 + β |1
|β00 =
|00 + |11
√
2
64Tuesday, November 20, 2012
O estado geral do “sistema” é:
Aplicando um CNOT ao qubit de Alice:=
Os detalhes ... (2)
|ψ = |ϕ ⊗ |β00 = (α |0 + β |1) ⊗
|00 + |11
√
2
=
α(|000 + |011) + β(|100 + |111)
√
2
|ψ
 = UX |ψ
=
α(UX |000 + UX |011) + β(UX |100 + UX |111)
√
2
=
α(|000 + |011) + β(|110 + |101)
√
2
65Tuesday, November 20, 2012
Os detalhes ... (3)
Aplicando Hadamard ao primeiro qubit de Alice:
resulta em:
Nao esqueça que Bob está com o terceiro qubit!
|ψ
 =
α |0 (|00 + |11)
√
2)
+
β |1 (|10 + |01)
√
2
|ψ
 = H |ψ
 =
αH |0 (|00 + |11)
√
2)
+
βH |1 (|10 + |01)
√
2
= α

|0 + |1
√
2

|00 + |11
√
2
+ β

|0 − |1
√
2

|10 + |01
√
2
66Tuesday, November 20, 2012
Os detalhes ... (4)
Alice mede seu par de qubits, onde o sistema
reescrito está em:
e Bob pode aplicar (resp.) I, X, Z e ZX ao resultado
para obetr o estado original.
Como saber o que aplicar?
|ψ
 =
1
2
[|00 (α |0 + β |1) + |01 (α |1 + β |0) + |10 (α |0 − β |1) + |11 (α |1 − β |0)]
67Tuesday, November 20, 2012
Os detalhes ... (5)
Alice telefone, etc por um cana clássico a Bob
informando o resultado de sua medição!
68Tuesday, November 20, 2012
Busca Desestruturada de Grover
Dada uma lista desetruturada de tamanho N e uma
proposição P, encontre um x tal que P(x) seja
verdadeiro
Seja UP a porta quântica que implementa a função
booleana P(x) e n tal que 2n
≥ N.
UP : |x,0  |x,P(x)
UP operando na superposição de todos os estados da
base dá: 1/√2n
∑|x,P(x)
N-1
i=0
Se existe único estado tal que P(x)=1, a probailidade de
obter este estado após medição é apenas 1/√2n
Precisamos aumentar isto!!!
(verdadeiro)
69Tuesday, November 20, 2012
70Tuesday, November 20, 2012
Algoritmo de Shor
• Para fatorar N encontre x coprimo com N.
• Usa computador quântico encontrar r tal que xr
= 1 mod N.
• Se r é par, então mcd(xr/2
+1, xr/2
-1, N) é um fator de N que
podemos encontrar com o algoritmo de Euclides.
71Tuesday, November 20, 2012
• Para fatorar N = 1295 seja x coprimo com N, e.g., x
= 6.
• Use um computador quântico para encontrar r tal
que 6r
= 1 mod 1295. r = 4.
• Se r é par, então mcd(64/2
-1, 64/2
+1, 1295) = mcd
(35, 37, 1295) é um fator de N que podemos
encontrar com o algoritmo Euclides. 1295 = 5 × 7 ×
37.
Algoritmo de Shor (exemplo)
72Tuesday, November 20, 2012
73Tuesday, November 20, 2012
74Tuesday, November 20, 2012
75Tuesday, November 20, 2012
Conclusões
• QC possui grande potencial
–Capacidade de um paralelismo exponencial
–Capacidade exponencial de armazenamento de
dados um espaço extremamente pequeno
• É possível utilizar:
–portas lógicas (quânticas)‫‏‬
–circuitos lógicos (quânticos)‫‏‬
76Tuesday, November 20, 2012
Conclusões
• Não existe:
–PC
–Instruções
–Barramento
• Possui uma arquitetura completamente nova!!
77Tuesday, November 20, 2012
Conclusões
• São necessários aperfeiçoamentos
–Nos instrumentos de indução das
transformações (RMN, laser)‫‏‬
–Necessidade de controle dos erros (melhorar as
formas de isolamento e interação com o sistema
quântico)‫‏‬
78Tuesday, November 20, 2012
Conclusões
• Talvez a criação de um PC Quântico seja
muito complexa
• Solução: utilizar a computação quântica em
componentes de um PC
79Tuesday, November 20, 2012
Meu interesse atual
• RAMs quânticas
• Programmable gates arrays
• Redes Neurais Quânticas (sem pesos)
• Quantum Computing + Chaos == resolvendo
problemas NP-completos em tempo polinomial.
• Modelos discretos da geometria differencial
(gravidade quântica) == Hypercomputação(?)
• Computação Relativística == Hypercomputação!
80Tuesday, November 20, 2012
Referência
(por ordem de relevância)
1. Noson S. Yanofsky; Mirco A. Mannucci: Quantum Computing
for Computer Scientists. Cambridge University Press, 2008,
ISBN 978-0-521-87996-5
2. David McMahon: Quantum Computing Explained. Wiley-
Interscience, Hoboken, New Jersey, USA, 2008, ISBN
978-0-470-09699-4
3. N. David Mermin: Quantum Computer Science - An Introduc-
tion. Cambridge University Press, New York, USA, 2007, ISBN
978-0-521-87658-2
4. Alexei Yu. Kitaev, Alexander H. Shen e Mikhail N. Vyalyi:
Classical and Quantum Computation. Graduate Studies in
81Tuesday, November 20, 2012

Mais conteúdo relacionado

Destaque

Seminário de Teoria da Computação - Computação quântica
Seminário de Teoria da Computação - Computação quânticaSeminário de Teoria da Computação - Computação quântica
Seminário de Teoria da Computação - Computação quânticaCésar Amaral
 
Unidade 1 apontamentos
Unidade 1 apontamentosUnidade 1 apontamentos
Unidade 1 apontamentossandrinhalopes
 
3ª geração dos computadores
3ª geração dos computadores3ª geração dos computadores
3ª geração dos computadores4MaiconLustosa
 
História Computação
História ComputaçãoHistória Computação
História ComputaçãoRodrigo
 
Geração dos Computadores
Geração dos ComputadoresGeração dos Computadores
Geração dos ComputadoresRicardo Andrade
 
4ª geração de computadores
4ª geração de computadores4ª geração de computadores
4ª geração de computadoresalexm98
 
Segunda geração de computadores (1955 1964)
Segunda geração de computadores (1955 1964)Segunda geração de computadores (1955 1964)
Segunda geração de computadores (1955 1964)Thaís Santos
 
1º geração dos computadores
1º geração dos computadores1º geração dos computadores
1º geração dos computadoresLagratinhoemTic
 
Geração dos computadores
Geração dos computadoresGeração dos computadores
Geração dos computadoresIEFP-Porto
 
A Evolução dos Computadores
A Evolução dos ComputadoresA Evolução dos Computadores
A Evolução dos Computadoresplinioalmeida
 

Destaque (12)

Seminário de Teoria da Computação - Computação quântica
Seminário de Teoria da Computação - Computação quânticaSeminário de Teoria da Computação - Computação quântica
Seminário de Teoria da Computação - Computação quântica
 
Unidade 1 apontamentos
Unidade 1 apontamentosUnidade 1 apontamentos
Unidade 1 apontamentos
 
Sexta geraçao
Sexta geraçaoSexta geraçao
Sexta geraçao
 
3ª geração dos computadores
3ª geração dos computadores3ª geração dos computadores
3ª geração dos computadores
 
História Computação
História ComputaçãoHistória Computação
História Computação
 
Aula 02 - Evolução dos computadores - Operador de Microcomputador - SENAI
Aula 02 - Evolução dos computadores - Operador de Microcomputador - SENAIAula 02 - Evolução dos computadores - Operador de Microcomputador - SENAI
Aula 02 - Evolução dos computadores - Operador de Microcomputador - SENAI
 
Geração dos Computadores
Geração dos ComputadoresGeração dos Computadores
Geração dos Computadores
 
4ª geração de computadores
4ª geração de computadores4ª geração de computadores
4ª geração de computadores
 
Segunda geração de computadores (1955 1964)
Segunda geração de computadores (1955 1964)Segunda geração de computadores (1955 1964)
Segunda geração de computadores (1955 1964)
 
1º geração dos computadores
1º geração dos computadores1º geração dos computadores
1º geração dos computadores
 
Geração dos computadores
Geração dos computadoresGeração dos computadores
Geração dos computadores
 
A Evolução dos Computadores
A Evolução dos ComputadoresA Evolução dos Computadores
A Evolução dos Computadores
 

Último

Revolução russa e mexicana. Slides explicativos e atividades
Revolução russa e mexicana. Slides explicativos e atividadesRevolução russa e mexicana. Slides explicativos e atividades
Revolução russa e mexicana. Slides explicativos e atividadesFabianeMartins35
 
Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"Ilda Bicacro
 
Considere a seguinte situação fictícia: Durante uma reunião de equipe em uma...
Considere a seguinte situação fictícia:  Durante uma reunião de equipe em uma...Considere a seguinte situação fictícia:  Durante uma reunião de equipe em uma...
Considere a seguinte situação fictícia: Durante uma reunião de equipe em uma...azulassessoria9
 
PROJETO DE EXTENSÃO I - Radiologia Tecnologia
PROJETO DE EXTENSÃO I - Radiologia TecnologiaPROJETO DE EXTENSÃO I - Radiologia Tecnologia
PROJETO DE EXTENSÃO I - Radiologia TecnologiaHELENO FAVACHO
 
Análise poema país de abril (Mauel alegre)
Análise poema país de abril (Mauel alegre)Análise poema país de abril (Mauel alegre)
Análise poema país de abril (Mauel alegre)ElliotFerreira
 
Teoria heterotrófica e autotrófica dos primeiros seres vivos..pptx
Teoria heterotrófica e autotrófica dos primeiros seres vivos..pptxTeoria heterotrófica e autotrófica dos primeiros seres vivos..pptx
Teoria heterotrófica e autotrófica dos primeiros seres vivos..pptxTailsonSantos1
 
PROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIA
PROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIAPROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIA
PROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIAHELENO FAVACHO
 
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...IsabelPereira2010
 
Construção (C)erta - Nós Propomos! Sertã
Construção (C)erta - Nós Propomos! SertãConstrução (C)erta - Nós Propomos! Sertã
Construção (C)erta - Nós Propomos! SertãIlda Bicacro
 
Apresentação em Powerpoint do Bioma Catinga.pptx
Apresentação em Powerpoint do Bioma Catinga.pptxApresentação em Powerpoint do Bioma Catinga.pptx
Apresentação em Powerpoint do Bioma Catinga.pptxLusGlissonGud
 
GEOGRAFIA - COMÉRCIO INTERNACIONAL E BLOCOS ECONÔMICOS - PROF. LUCAS QUEIROZ.pdf
GEOGRAFIA - COMÉRCIO INTERNACIONAL E BLOCOS ECONÔMICOS - PROF. LUCAS QUEIROZ.pdfGEOGRAFIA - COMÉRCIO INTERNACIONAL E BLOCOS ECONÔMICOS - PROF. LUCAS QUEIROZ.pdf
GEOGRAFIA - COMÉRCIO INTERNACIONAL E BLOCOS ECONÔMICOS - PROF. LUCAS QUEIROZ.pdfRavenaSales1
 
apostila projeto de vida 2 ano ensino médio
apostila projeto de vida 2 ano ensino médioapostila projeto de vida 2 ano ensino médio
apostila projeto de vida 2 ano ensino médiorosenilrucks
 
matematica aula didatica prática e tecni
matematica aula didatica prática e tecnimatematica aula didatica prática e tecni
matematica aula didatica prática e tecniCleidianeCarvalhoPer
 
A QUATRO MÃOS - MARILDA CASTANHA . pdf
A QUATRO MÃOS  -  MARILDA CASTANHA . pdfA QUATRO MÃOS  -  MARILDA CASTANHA . pdf
A QUATRO MÃOS - MARILDA CASTANHA . pdfAna Lemos
 
Os editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptxOs editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptxTailsonSantos1
 
Slides Lição 6, CPAD, As Nossas Armas Espirituais, 2Tr24.pptx
Slides Lição 6, CPAD, As Nossas Armas Espirituais, 2Tr24.pptxSlides Lição 6, CPAD, As Nossas Armas Espirituais, 2Tr24.pptx
Slides Lição 6, CPAD, As Nossas Armas Espirituais, 2Tr24.pptxLuizHenriquedeAlmeid6
 
planejamento_estrategico_-_gestao_2021-2024_16015654.pdf
planejamento_estrategico_-_gestao_2021-2024_16015654.pdfplanejamento_estrategico_-_gestao_2021-2024_16015654.pdf
planejamento_estrategico_-_gestao_2021-2024_16015654.pdfmaurocesarpaesalmeid
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...azulassessoria9
 
2° ANO - ENSINO FUNDAMENTAL ENSINO RELIGIOSO
2° ANO - ENSINO FUNDAMENTAL ENSINO RELIGIOSO2° ANO - ENSINO FUNDAMENTAL ENSINO RELIGIOSO
2° ANO - ENSINO FUNDAMENTAL ENSINO RELIGIOSOLeloIurk1
 
Apresentação ISBET Jovem Aprendiz e Estágio 2023.pdf
Apresentação ISBET Jovem Aprendiz e Estágio 2023.pdfApresentação ISBET Jovem Aprendiz e Estágio 2023.pdf
Apresentação ISBET Jovem Aprendiz e Estágio 2023.pdfcomercial400681
 

Último (20)

Revolução russa e mexicana. Slides explicativos e atividades
Revolução russa e mexicana. Slides explicativos e atividadesRevolução russa e mexicana. Slides explicativos e atividades
Revolução russa e mexicana. Slides explicativos e atividades
 
Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"
 
Considere a seguinte situação fictícia: Durante uma reunião de equipe em uma...
Considere a seguinte situação fictícia:  Durante uma reunião de equipe em uma...Considere a seguinte situação fictícia:  Durante uma reunião de equipe em uma...
Considere a seguinte situação fictícia: Durante uma reunião de equipe em uma...
 
PROJETO DE EXTENSÃO I - Radiologia Tecnologia
PROJETO DE EXTENSÃO I - Radiologia TecnologiaPROJETO DE EXTENSÃO I - Radiologia Tecnologia
PROJETO DE EXTENSÃO I - Radiologia Tecnologia
 
Análise poema país de abril (Mauel alegre)
Análise poema país de abril (Mauel alegre)Análise poema país de abril (Mauel alegre)
Análise poema país de abril (Mauel alegre)
 
Teoria heterotrófica e autotrófica dos primeiros seres vivos..pptx
Teoria heterotrófica e autotrófica dos primeiros seres vivos..pptxTeoria heterotrófica e autotrófica dos primeiros seres vivos..pptx
Teoria heterotrófica e autotrófica dos primeiros seres vivos..pptx
 
PROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIA
PROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIAPROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIA
PROJETO DE EXTENSÃO I - AGRONOMIA.pdf AGRONOMIAAGRONOMIA
 
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...
DeClara n.º 75 Abril 2024 - O Jornal digital do Agrupamento de Escolas Clara ...
 
Construção (C)erta - Nós Propomos! Sertã
Construção (C)erta - Nós Propomos! SertãConstrução (C)erta - Nós Propomos! Sertã
Construção (C)erta - Nós Propomos! Sertã
 
Apresentação em Powerpoint do Bioma Catinga.pptx
Apresentação em Powerpoint do Bioma Catinga.pptxApresentação em Powerpoint do Bioma Catinga.pptx
Apresentação em Powerpoint do Bioma Catinga.pptx
 
GEOGRAFIA - COMÉRCIO INTERNACIONAL E BLOCOS ECONÔMICOS - PROF. LUCAS QUEIROZ.pdf
GEOGRAFIA - COMÉRCIO INTERNACIONAL E BLOCOS ECONÔMICOS - PROF. LUCAS QUEIROZ.pdfGEOGRAFIA - COMÉRCIO INTERNACIONAL E BLOCOS ECONÔMICOS - PROF. LUCAS QUEIROZ.pdf
GEOGRAFIA - COMÉRCIO INTERNACIONAL E BLOCOS ECONÔMICOS - PROF. LUCAS QUEIROZ.pdf
 
apostila projeto de vida 2 ano ensino médio
apostila projeto de vida 2 ano ensino médioapostila projeto de vida 2 ano ensino médio
apostila projeto de vida 2 ano ensino médio
 
matematica aula didatica prática e tecni
matematica aula didatica prática e tecnimatematica aula didatica prática e tecni
matematica aula didatica prática e tecni
 
A QUATRO MÃOS - MARILDA CASTANHA . pdf
A QUATRO MÃOS  -  MARILDA CASTANHA . pdfA QUATRO MÃOS  -  MARILDA CASTANHA . pdf
A QUATRO MÃOS - MARILDA CASTANHA . pdf
 
Os editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptxOs editoriais, reportagens e entrevistas.pptx
Os editoriais, reportagens e entrevistas.pptx
 
Slides Lição 6, CPAD, As Nossas Armas Espirituais, 2Tr24.pptx
Slides Lição 6, CPAD, As Nossas Armas Espirituais, 2Tr24.pptxSlides Lição 6, CPAD, As Nossas Armas Espirituais, 2Tr24.pptx
Slides Lição 6, CPAD, As Nossas Armas Espirituais, 2Tr24.pptx
 
planejamento_estrategico_-_gestao_2021-2024_16015654.pdf
planejamento_estrategico_-_gestao_2021-2024_16015654.pdfplanejamento_estrategico_-_gestao_2021-2024_16015654.pdf
planejamento_estrategico_-_gestao_2021-2024_16015654.pdf
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
 
2° ANO - ENSINO FUNDAMENTAL ENSINO RELIGIOSO
2° ANO - ENSINO FUNDAMENTAL ENSINO RELIGIOSO2° ANO - ENSINO FUNDAMENTAL ENSINO RELIGIOSO
2° ANO - ENSINO FUNDAMENTAL ENSINO RELIGIOSO
 
Apresentação ISBET Jovem Aprendiz e Estágio 2023.pdf
Apresentação ISBET Jovem Aprendiz e Estágio 2023.pdfApresentação ISBET Jovem Aprendiz e Estágio 2023.pdf
Apresentação ISBET Jovem Aprendiz e Estágio 2023.pdf
 

Computação quântica 2012.2 presentation

  • 1. Introdução à Computação Quântica (para computatas) Wilson Rosa de Oliveira Jr. 20 e 27/11/2012 Seminários do Quantum Computing Group DEInfo-UFRPE http:www.ppgia.ufrpe.br/quantum 1Tuesday, November 20, 2012
  • 2. Prolegomena • Em Computação Quântica (CQ) testemunhamos a junção de duas das áreas mais importantes na ciência do sec. XX: – Mecânica Quântica e Informática • Esta junção traz novos objetivos, desafios e potencialidades para a Informática bem como novas abordagens para a Física explorar o mundo quântico. • Mesmo que seja no momento difícil prever impactos particulares da CQ sobre a computação em geral, esperamos que esta junção leve a resultados importantes 2Tuesday, November 20, 2012
  • 3. Mecânica Quântica é ... • Uma teoria excelente para prever probabilidades de eventos quânticos. • Uma teoria elegante e conceitualmente simples que descreve com precisão assustadora um amplo espectro de fenômenos naturais: – Experimentalmente verificadas a 14 ordens de precisão; – Até o momento não há conflito entre o teoricamente previsto e o verificado experimentalmente • Sem MQ não podemos explicar propriedades dos superfluidos, funcionamento dos lasers, a substância da química, a estrutura e função do DNA, a existência e comportamento de corpos sólidos, cor das estrelas, semicondutores, etc 3Tuesday, November 20, 2012
  • 4. Mecânica Quântica trata ... • Das entidades fundamentais da Física – partículas tais como: – Prótons, elétrons e nêutrons (que constituem a matéria); – Fótons (que carregam radiação eletromagnética) – são as únicas partículas que podemos observar diretamente; – Várias outras “partículas elementares” que mediam outras interações da Física. • Partículas? Algumas de suas propriedades são totalmente discordantes das propriedades do que chamamos de partículas no nosso mundo usual! • Propriedades? Não é claro em que sentido estas “partículas” podem ser ditas possuir propriedades! 4Tuesday, November 20, 2012
  • 5. Mecânica Quântica • Independente de sua qualidade, do ponto de vista de explicar fenômenos quânticos, é uma teoria muito insatisfatória! • É uma teoria que tem princípios difíceis de aceitar e leva a mistérios e paradoxos. 5Tuesday, November 20, 2012
  • 6. 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” 6Tuesday, November 20, 2012
  • 7. 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”. 7Tuesday, November 20, 2012
  • 8. Mas afinal o que MQ nos diz? • Nos diz o que acontece • Mas não diz porque acontece. • E não nos diz como acontece. • Nem quanto custa 8Tuesday, November 20, 2012
  • 9. Compreensão da FQ Vou lhe dizer o que acontece na Natureza, entretanto jamais pergunte a si mesmo: “Mas como ela pode ser assim?” Porque senão você será sugado para uma escuridão da qual ninguém conseguiu até hoje escapar! “Nobody knows how it can be like that”. Feynman 9Tuesday, November 20, 2012
  • 10. Exemplo de estranheza: Interferômetro de Mach-Zehnder 10Tuesday, November 20, 2012
  • 11. Uma outra visão da Mecânica Quântica • MQ não é Física no sentido usual – não é sobre matéria ou energia ou onda ou partículas – é sobre informação, probabilidades, amplitudes de probabilidades e observáveis; e como eles se relacionam entre si. • MQ é o que se obtém quando se generaliza teoria da probabilidade a permitir números negativos. Poderia até ter sido descoberta pelos matemáticos sem qualquer motivação dos experimentos (Aaronson, 1997). 11Tuesday, November 20, 2012
  • 12. Por que Informação e Computação Quântica é tão importante? • ICP pode levar a novas tecnologias que terão impactos amplos e profundos. • Muitas das ciências e tecnologias já estão se aproximando do ponto em que precisam isolar, manipular e transmitir partículas. • Novos conhecimentos sobre os fenômenos e sistemas quânticos complexos podem ser gerados. • Criptografia quântica nos leva a um novo patamar de segurança. • ICP tem se mostrado ser mais eficiente em situações importante;interessantes. 12Tuesday, November 20, 2012
  • 13. Por que devemos tentar construir computadores quânticos? When you try to reach for stars you may not quite get one, but you won’t come with a handful of mud either. Leo Burnett 13Tuesday, November 20, 2012
  • 14. Informação X Física • Norbert Wiener: – Informação é informação, nem matéria nem energia. • Ralf Landauer: – Informação é física. • Deve então fazer parte da Física a Teoria da Informação e a Teoria da Computação? • Visão corrente: – Física é informacional. • Deve a mecânica quântica (espaços de Hilbert) fazer parte da Informática? 14Tuesday, November 20, 2012
  • 15. Curiosidade • Física Quântica é uma teoria extremamente elaborada, cheia de paradoxos e mistérios. Leva-se anos para um físico desenvolver um sentimento. • Alguns teóricos da computação e matemáticos, sem qualquer base em FQ têm realizado contri-buições fundamentais a teoria da informação e computação quântica! 15Tuesday, November 20, 2012
  • 16. Outra motivação • Lei de Moore que prevê que em 2020 precisaremos de um elétron apenas para amarzenar um bit! 16Tuesday, November 20, 2012
  • 17. Histórico (um pouco) • Richard Feynman – 1959: Nanotecnologia •(“Há muito mais espaço lá embaixo”)‫‏‬ – 1982: •Sistemas clássicos não modelam eficientemente sistemas quânticos •Sugere construção de computadores baseados nas leis da mecânica quântica 17Tuesday, November 20, 2012
  • 18. Histórico • David Deutsch – 1985: MTQ (Máquina de Turing Quântica)‫‏‬ – 1989: publicou primeiro algoritmo quântico •Problema de determinar se uma função de um bit é cte ou balanceada. 18Tuesday, November 20, 2012
  • 19. Histórico • Peter Shor – 1993: Algoritmo de Shor •Fatoração de números grandes Tempo de Fatoração pelo Algoritmo de Shor Comprimento do número a ser fatorado (bits) Tempo de Fatoração pelo Algoritmo de clássico 34s 512 4 dias 4.5m 1024 105 anos 36m 2048 1017 anos 4,8h 4096 1035 anos 19Tuesday, November 20, 2012
  • 20. Computação Clássica • Mais precisamente: Modelos de Circuitos. • Outros modelos não considerados aqui: Máquinas de Turing, λ-Cálculo, Funções Recursivas, etc. • Mais próximo do computador digital 20Tuesday, November 20, 2012
  • 21. f : {0, 1}m ←→ {0, 1}n f : {0, 1}m ←→ {0, 1} Computação Clássica ou 21Tuesday, November 20, 2012
  • 25. Computação Clássica NAND é universal (crossover, fanout) 25Tuesday, November 20, 2012
  • 26. Computação Clássica - exemplos Meio Somador (half adder) 26Tuesday, November 20, 2012
  • 27. Computação Clássica - exemplos Somador Completo (full adder) 27Tuesday, November 20, 2012
  • 28. É uma seqüência enumerável de circuitos : 1. Os circuitos Cn têm n entradas e um números finito de bits suplementares (ancilla) e de saída. 2. A saída de Cn é denotada por Cn(x) e é definida para todo número binário x de no máximo n bits. 3. Se m<n e x tem no máximo m bits então Cm(x) = Cn(x). É uma família uniforme de circuitos se existe um procedimento efetivo que computa a descrição de Cn para todo n . A família computa f:N→N se Cn(x(n))=f(x) todo número x e x(n) é a representação binária de no máximo n bits de x . Família consistentes de circuitos {Cn}∞ n=0 28Tuesday, November 20, 2012
  • 29. Computação Clássica Reversível • CNot 29Tuesday, November 20, 2012
  • 30. Computação Clássica Reversível • Toffoli Qualquer função f pode ser computada usando apenas Toffoli e crossover! 30Tuesday, November 20, 2012
  • 34. Quantização Matemática • NiK Weaver (Washington University): “Substituir conjuntos por um espaço de Hilbert apropriado” e “funções por mapas lineares" • O conjunto em consideração passa a ser visto (representado) como uma base (ortonormal). • As funções consideradas são as lineares (ou subclasse destas). • Finitamente dimensional = espaço vetorial 34Tuesday, November 20, 2012
  • 35. |α|2 + |β|2 = 1 Classical Bits: Cbits • bit abstrato: e • Representação como cbit: e –par de vetores ortonormais, e.g: • Em R2 ou C2 •Um estado arbitrário: |1|0 0 1 |0 = 1 0 |1 = 0 1 |ϕ = α |0 + β |1 35Tuesday, November 20, 2012
  • 36. F´ormula de Euler: eiθ = cos(θ) + i sin(θ) Forma exponencial: c = ρeiθ |ψ = cos(θ) |0 + eiφ sin(θ) |1 Classical Bits: Cbits 36Tuesday, November 20, 2012
  • 37. |0 ⊗ |0 , |0 ⊗ |1 , |1 ⊗ |0 , |1 ⊗ |1 |0 |0 , |0 |1 , |1 |0 , |1 |1 |00 , |01 , |10 , |11 , Classical Bits: Cbits • quando precisarmos de mais de um Cbit: produto tensorial 37Tuesday, November 20, 2012
  • 38. |02 |12 |22 |32 |xn 0 ≤ x 2n |196 = |010011 = |0 |1 |0 |0 |1 |1 = |0 ⊗ |1 ⊗ |0 ⊗ |0 ⊗ |1 ⊗ |1 Notação y0 y1 z0 z1 =     y0z0 y0z1 y1z0 y1z1     x0 x1 y0 y1 z0 z1 =             x0y0z0 x0y0z1 x0y1z0 x0y1z1 x1y0z0 x1y0z1 x1y1z0 x1y1z1             38Tuesday, November 20, 2012
  • 40. Portas Lógicas Quânticas Single-qbit Hadamard gate Phase gate Pauli gates = 40Tuesday, November 20, 2012
  • 41. Controlled-not gate Control Target U Controlled-phase gate Z Exercício: Mostre que HZH = X. Z Z = Simetria faz controlled-phase gate mais natural para implementação X = ZH H CNOT é o caso quando U=X 41Tuesday, November 20, 2012
  • 42. Toffoli gate Control qubit 1 Target qubit Control qubit 2 ⊕ 42Tuesday, November 20, 2012
  • 43. quantum NAND Computando funções clássicas quantum fanout Circuito Classico Circuito Quântico Text |f(x)〉 |x〉 ⊕⊕ 43Tuesday, November 20, 2012
  • 44. • Medida de um estado |ϕ = α |0 + β |1 • {Mm} p(m) = ϕ| M† mMm |ϕ – |0 com probabilidade |α|2 | e – |1 com probabilidade |β|2 | • Completeza m ϕ| M† mMm |ϕ = I • Me = |e e| Medição: obtendo resultados |β|2 |α|2 e 44Tuesday, November 20, 2012
  • 45. Conjugada Hermitiana; tomando a adjunta Matrizes Unitárias A é dita ser unitária se Usualmente escrevemos unitárias como U. Exemplo: 45Tuesday, November 20, 2012
  • 46. |ψ = |00+|11 √ 2 Suponhamos que |ψ = |a |b. Ent˜ao: |ψ = (α |0 + β |1)(γ |0 + δ |1) = αγ |00 + βγ |10 + αδ |01 + βδ |11 Logo (β = 0 ou γ = 0) e (α = 0 ou δ = 0) o que ´e um absurdo! Emaranhamento (entanglement) Quântico Alice Bob 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.” 46Tuesday, November 20, 2012
  • 47. Estados Emaranhados Considere os estados de 2-qubits: |ψ〉 = 1/√2(|00 〉 + |11 〉) e |ϕ〉 = 1/√2(|00 〉 + |01 〉) |ϕ〉 é composto do produto tensorial |0〉 ⊗ 1/√2(|0〉+|1〉) Medição do segundo qubit resultará em |0〉ou |1 〉 com uma probabilidade ½ para cada resultado, independente de o primeiro qubit ser medido ou não. Medição do primeiro dará sempre |0 〉 |ψ〉 não pode ser decomposto em um produto de dois outros qubits É um estado emaranhado!!. A medição do primeiro determina completamente o resultado do segundo. 47Tuesday, November 20, 2012
  • 48. |00 C −→ 1 √ 2 (|00 + |11) |01 C −→ 1 √ 2 (|01 + |10) |10 C −→ 1 √ 2 (|00 − |11) |01 C −→ 1 √ 2 (|01 − |10) |000 C −→ 1 √ 2 (|000 + |111) |001 C −→ 1 √ 2 (|001 + |110) · · ·etc ⊕ ⊕ C-NOT em ação - Bell states H H ⊕ 48Tuesday, November 20, 2012
  • 49. Emaranhamento(entanglement) • Um experimento usa luz para provocar um emaranhamento entre dois átomos. • Dois átomos de itérbio para funcionar como qubits. • Excitaram os dois átomos induzindo elétrons a passar para um estado mais baixo de energia e emitir um fóton. • Os átomos de itérbio são capazes de emitir dois tipos de fótons, cada um com um comprimento de onda diferente. • Cada fóton está entrelaçado com seu átomo. • Manipulando os fótons emitidos por cada um dos átomos e guiando-os para interagir no interior de uma fibra óptica, os pesquisadores conseguiram detectar o choque dos dois e entrelaçar os dois átomos. 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 49Tuesday, November 20, 2012
  • 51. Cópia (Cloning) Estados quânticos não podem ser copiados ou clonados! 50Tuesday, November 20, 2012
  • 52. Cópia (Cloning) Estados quânticos não podem ser copiados ou clonados! Prova: Assuma uma transformação unitária U tal que U⏐a〉⏐0〉 = ⏐a〉⏐a〉. 50Tuesday, November 20, 2012
  • 53. Cópia (Cloning) Estados quânticos não podem ser copiados ou clonados! Prova: Assuma uma transformação unitária U tal que U⏐a〉⏐0〉 = ⏐a〉⏐a〉. Sejam ⏐a〉 e ⏐b〉 estados ortogonais e 50Tuesday, November 20, 2012
  • 54. Cópia (Cloning) Estados quânticos não podem ser copiados ou clonados! Prova: Assuma uma transformação unitária 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〉 50Tuesday, November 20, 2012
  • 55. Cópia (Cloning) Estados quânticos não podem ser copiados ou clonados! Prova: Assuma uma transformação unitária 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〉) 50Tuesday, November 20, 2012
  • 56. Cópia (Cloning) Estados quânticos não podem ser copiados ou clonados! Prova: Assuma uma transformação unitária 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, 50Tuesday, November 20, 2012
  • 57. Cópia (Cloning) Estados quânticos não podem ser copiados ou clonados! Prova: Assuma uma transformação unitária 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〉) 50Tuesday, November 20, 2012
  • 58. Cópia (Cloning) Estados quânticos não podem ser copiados ou clonados! Prova: Assuma uma transformação unitária 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 é uma transformação de cópia 50Tuesday, November 20, 2012
  • 59. Cópia (Cloning) Estados quânticos não podem ser copiados ou clonados! Prova: Assuma uma transformação unitária 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 é uma transformação de cópia U⏐c〉⏐0〉 = ⏐c〉⏐c〉 = 1/√2(⏐a〉 + ⏐b〉) ⊗ 1/√2(⏐a〉 + ⏐b〉) 50Tuesday, November 20, 2012
  • 60. Cópia (Cloning) Estados quânticos não podem ser copiados ou clonados! Prova: Assuma uma transformação unitária 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 é uma transformação de cópia U⏐c〉⏐0〉 = ⏐c〉⏐c〉 = 1/√2(⏐a〉 + ⏐b〉) ⊗ 1/√2(⏐a〉 + ⏐b〉) = ½ (⏐a〉⏐a〉 + ⏐a〉⏐b〉 + ⏐a〉⏐b〉 + ⏐b〉⏐b〉) 50Tuesday, November 20, 2012
  • 61. Cópia (Cloning) Estados quânticos não podem ser copiados ou clonados! Prova: Assuma uma transformação unitária 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 é uma transformação de cópia U⏐c〉⏐0〉 = ⏐c〉⏐c〉 = 1/√2(⏐a〉 + ⏐b〉) ⊗ 1/√2(⏐a〉 + ⏐b〉) = ½ (⏐a〉⏐a〉 + ⏐a〉⏐b〉 + ⏐a〉⏐b〉 + ⏐b〉⏐b〉) Contradição!! alalalalalalalalalal 50Tuesday, November 20, 2012
  • 62. Probabilidade? P01=P10=0, P00=P11=1 computa identidade P01=P10=1, P00=P11=0 computa um NOT P01=P10=P00=P11=0.5 resulta 0 e 1 aleatoriamente a=0 ou 1 ƒ:{0,1}→{0,1} b=0 ou 1 51Tuesday, November 20, 2012
  • 63. Probabilidade? Suponha que ao compor duas destas máquina obtemos uma máquina inversora de 0s e 1s Como pode? Não me pergunto como, mas posso mostrar que ... 52Tuesday, November 20, 2012
  • 69. Exemplo: Problema de Deutsch’s Caixa preta Reversível Caixa preta Quântica Determinar se uma função 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! 58Tuesday, November 20, 2012
  • 71. Pondo informação na fase 60Tuesday, November 20, 2012
  • 72. |0 → |0 + |1 Algoritmo Quântico para o problema de Deutsch H H Paralelismo quântico Problema de Pesquisa: O que faz computadores quânticos serem tão poderosos? f constante ⇒ todas as amplitudes em |0〉 f balanceada ⇒ todas as amplitudes em |1〉 → (−1) f (0) (|0〉−|1〉) + (−1) f (1) (|0〉−|1〉) 61Tuesday, November 20, 2012
  • 73. Beam us up Scotty! … How do I do that? Here´s is the code 62Tuesday, November 20, 2012
  • 74. Circuito Teleportação H H x y circuito de criação do Bell State s Inverso do circuito de criação do Bell State 63Tuesday, November 20, 2012
  • 75. Os detalhes ... (1) Alice que enviar a Bob o estado: Para tal, qdo estão juntos criam o estado emaranhado: Bob vai para o lugar dele ... |ϕ = α |0 + β |1 |β00 = |00 + |11 √ 2 64Tuesday, November 20, 2012
  • 76. O estado geral do “sistema” é: Aplicando um CNOT ao qubit de Alice:= Os detalhes ... (2) |ψ = |ϕ ⊗ |β00 = (α |0 + β |1) ⊗ |00 + |11 √ 2 = α(|000 + |011) + β(|100 + |111) √ 2 |ψ = UX |ψ = α(UX |000 + UX |011) + β(UX |100 + UX |111) √ 2 = α(|000 + |011) + β(|110 + |101) √ 2 65Tuesday, November 20, 2012
  • 77. Os detalhes ... (3) Aplicando Hadamard ao primeiro qubit de Alice: resulta em: Nao esqueça que Bob está com o terceiro qubit! |ψ = α |0 (|00 + |11) √ 2) + β |1 (|10 + |01) √ 2 |ψ = H |ψ = αH |0 (|00 + |11) √ 2) + βH |1 (|10 + |01) √ 2 = α |0 + |1 √ 2 |00 + |11 √ 2 + β |0 − |1 √ 2 |10 + |01 √ 2 66Tuesday, November 20, 2012
  • 78. Os detalhes ... (4) Alice mede seu par de qubits, onde o sistema reescrito está em: e Bob pode aplicar (resp.) I, X, Z e ZX ao resultado para obetr o estado original. Como saber o que aplicar? |ψ = 1 2 [|00 (α |0 + β |1) + |01 (α |1 + β |0) + |10 (α |0 − β |1) + |11 (α |1 − β |0)] 67Tuesday, November 20, 2012
  • 79. Os detalhes ... (5) Alice telefone, etc por um cana clássico a Bob informando o resultado de sua medição! 68Tuesday, November 20, 2012
  • 80. Busca Desestruturada de Grover Dada uma lista desetruturada de tamanho N e uma proposição P, encontre um x tal que P(x) seja verdadeiro Seja UP a porta quântica que implementa a função booleana P(x) e n tal que 2n ≥ N. UP : |x,0  |x,P(x) UP operando na superposição de todos os estados da base dá: 1/√2n ∑|x,P(x) N-1 i=0 Se existe único estado tal que P(x)=1, a probailidade de obter este estado após medição é apenas 1/√2n Precisamos aumentar isto!!! (verdadeiro) 69Tuesday, November 20, 2012
  • 82. Algoritmo de Shor • Para fatorar N encontre x coprimo com N. • Usa computador quântico encontrar r tal que xr = 1 mod N. • Se r é par, então mcd(xr/2 +1, xr/2 -1, N) é um fator de N que podemos encontrar com o algoritmo de Euclides. 71Tuesday, November 20, 2012
  • 83. • Para fatorar N = 1295 seja x coprimo com N, e.g., x = 6. • Use um computador quântico para encontrar r tal que 6r = 1 mod 1295. r = 4. • Se r é par, então mcd(64/2 -1, 64/2 +1, 1295) = mcd (35, 37, 1295) é um fator de N que podemos encontrar com o algoritmo Euclides. 1295 = 5 × 7 × 37. Algoritmo de Shor (exemplo) 72Tuesday, November 20, 2012
  • 87. Conclusões • QC possui grande potencial –Capacidade de um paralelismo exponencial –Capacidade exponencial de armazenamento de dados um espaço extremamente pequeno • É possível utilizar: –portas lógicas (quânticas)‫‏‬ –circuitos lógicos (quânticos)‫‏‬ 76Tuesday, November 20, 2012
  • 88. Conclusões • Não existe: –PC –Instruções –Barramento • Possui uma arquitetura completamente nova!! 77Tuesday, November 20, 2012
  • 89. Conclusões • São necessários aperfeiçoamentos –Nos instrumentos de indução das transformações (RMN, laser)‫‏‬ –Necessidade de controle dos erros (melhorar as formas de isolamento e interação com o sistema quântico)‫‏‬ 78Tuesday, November 20, 2012
  • 90. Conclusões • Talvez a criação de um PC Quântico seja muito complexa • Solução: utilizar a computação quântica em componentes de um PC 79Tuesday, November 20, 2012
  • 91. Meu interesse atual • RAMs quânticas • Programmable gates arrays • Redes Neurais Quânticas (sem pesos) • Quantum Computing + Chaos == resolvendo problemas NP-completos em tempo polinomial. • Modelos discretos da geometria differencial (gravidade quântica) == Hypercomputação(?) • Computação Relativística == Hypercomputação! 80Tuesday, November 20, 2012
  • 92. Referência (por ordem de relevância) 1. Noson S. Yanofsky; Mirco A. Mannucci: Quantum Computing for Computer Scientists. Cambridge University Press, 2008, ISBN 978-0-521-87996-5 2. David McMahon: Quantum Computing Explained. Wiley- Interscience, Hoboken, New Jersey, USA, 2008, ISBN 978-0-470-09699-4 3. N. David Mermin: Quantum Computer Science - An Introduc- tion. Cambridge University Press, New York, USA, 2007, ISBN 978-0-521-87658-2 4. Alexei Yu. Kitaev, Alexander H. Shen e Mikhail N. Vyalyi: Classical and Quantum Computation. Graduate Studies in 81Tuesday, November 20, 2012