Anda di halaman 1dari 84

Introducao a Computacao Quantica

(para computatas)

Wilson Rosa de Oliveira Jr.


DEInfo-UFRPE
http://www.quantica.deinfo.ufrpe.br
https://www.facebook.com/ComputacaoQuantica/

II SEMINARIO SOBRE ESTUDOS DO FUTURO


CIn-UFPE

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 1 / 84
Prolegomena
Em Computacao Quantica (CQ) testemunhamos a juncao de
tres das areas mais importantes na ciencia do sec. XX:
I Matematica, Mecanica Quantica e Ciencia da Computacao

Esta juncao traz novos objetivos, desafios 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 http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 2 / 84
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 fenomenos naturais:
I Experimentalmente verificadas a 14 ordens de precisao;
I Ate o momento nao ha conflito entre o teoricamente previsto e
o verificado experimentalmente

Sem MQ nao podemos explicar propriedades dos superfluidos,


funcionamento dos lasers, a substancia da qumica, a estrutura e
funcao do DNA, a existencia e comportamento de corpos
solidos, cor das estrelas, semicondutores, etc.

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 3 / 84
Mecanica Quantica trata...
Das entidades fundamentais da Fsica partculas tais como:
I Protons, eletrons e neutrons (que constituem a materia);
I Fotons (que carregam radiacao eletromagnetica) sao as unicas
partculas que podemos observar diretamente;
I Varias outras partculas elementares que mediam outras
interacoes 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 http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 4 / 84
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 http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 5 / 84
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

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 6 / 84
Algumas frases famosas
Richard Feynman:
I think it is safe to say that no one understands
Quantum Physics.
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 http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 7 / 84
Mas afinal 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 http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 8 / 84
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 http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 9 / 84
Exemplo de estranheza: Interferometro de
Mach-Zehnder

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 10 / 84
Exemplo de estranheza: Luz Polarizada

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 11 / 84
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 numeros negativos. Poderia
ate ter sido descoberta pelos matematicos sem
qualquer motivacao dos experimentos (Aaronson,
1997).

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 12 / 84
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 fenomenos e sistemas quanticos


complexos podem ser gerados.

Criptografia quantica nos leva a um novo patamar de seguranca.

ICQ tem se mostrado ser mais eficiente em situacoes


importante;interessantes.

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 13 / 84
Informacao x Fsica
Norbert Wiener:
I Informacao e informacao, nem materia nem energia.

Ralf Landauer:
I Informacao e fsica.
F Deve entao fazer parte da Fsica a Teoria da Informacao e a
Teoria da Computacao?

Visao corrente:
I Fsica e informacional.
F Deve a mecanica quantica (espacos de Hilbert) fazer parte da
Informatica?

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 14 / 84
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 contribuicoes
fundamentais a teoria da informacao e computacao
quantica!

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 15 / 84
Outras motivacoes
Lei de Moore que preve que em 2020 precisaremos de um eletron
apenas para amarzenar um bit!

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 16 / 84
Outras motivacoes
Sistemas classicos nao modelam eficientemente sistemas
quanticos
I Sugere construcao de computadores baseados nas leis da

mecanica quantica para simular sistema quanticos.


Resolver problemas intrataveis classicamente.
Porque podemos! E uma generalizacao possvel!

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 17 / 84
Historico (breve)
Richard Feynman
1959: Nanotecnologia
I Ha muito mais espaco la embaixo

1982: Propoe o uso de computadores quanticos na solucao de


problemas em Mecanica Quantica

Paul Benioff
1982: Publica um PRL:
Quantum mechanical models of Turing machines
that dissipate no energy. Physical Review Letters,
48(23):15811585, 1982

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 18 / 84
Historico (breve)
David Deutsch
1985: MTQ (Maquina de Turing Quantica)

1989: publicou primeiro algoritmo quantico


I Problema de determinar se uma funcao de um bit e

constante ou balanceada.

Peter Shor
1993: Algoritmo de Shor
I Fatoracao de numeros grandes

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 19 / 84
Complexidadse da Fatoracao

Tempo de Fatoracao Comprimento do Tempo de Fatoracao


pelo Algoritmo de numero a ser pelo Algoritmo
Shor fatorado (bits) Classico

34s 512 4 dias


4.5m 1024 105 anos
36m 2048 1017 anos
4.8h 4096 1035 anos

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 20 / 84
Computacao Classica
Mais precisamente: Modelos de Circuitos.

Outros modelos nao considerados aqui:


I Maquinas de Turing
I -Calculo
I Funcoes
I Recursivas, etc.

Mais proximo do computador digital

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 21 / 84
Computacao Classica

f : {0, 1}m {0, 1}n


ou
f : {0, 1}m {0, 1}

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 22 / 84
Computacao Classica

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 23 / 84
Computacao Classica

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 24 / 84
Computacao Classica

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 25 / 84
Computacao Classica

NAND e universal (crossover, fanout)

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 26 / 84
Computacao Classica - exemplos
Meio Somador (half adder)

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 27 / 84
Computacao Classica - exemplos
Somador Completo (full adder)

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 28 / 84
Famlia consistente de circuitos
E uma sequencia enumeravel de circuitos {Cn } n=0
1 Os circuitos Cn tem n entradas e um numero finito de bits
suplementares (ancilla) de sada.
2 A sada Cn e denotada por Cn (x) e e definida para todo numero
binario x de no maximo n bits.
3 Se m < n e x tem no maximo m bits entao Cm (x) = Cn (x)
E uma famlia uniforme de circuitos se existe um procedimento
efetivo que computa a descricao de Cn para todo n.
A famlia computa f : N N se Cn (x(n) ) = f (x) todo numero x e
x(n) e a representacao binaria de no maximo n bits de x.

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 29 / 84
Computacao Classica Reversvel
CNot

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 30 / 84
Computacao Classica Reversvel
Toffoli

Qualquer funcao f pode ser computada usando apenas Toffoli e


crossover!

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 31 / 84
Computacao Classica Reversvel

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 32 / 84
Computacao Classica Reversvel

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 33 / 84
Computacao Classica Reversvel

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 34 / 84
Quantizacao Matematica
NiK Weaver (Washington University):
Substituir conjuntos por um espaco de Hilbert apropriado e
funcoes 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 http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 35 / 84
Classical Bits: Cbits
Bit abstrato: 0 e 1

Representacao como cbit: |0i e |1i


I par devetores
 ortonormais,
  e.g:
1 0
|0i = e |1i =
0 1

Em R2 ou C2

Um estado arbitrario:
|i = |0i + |1i, onde
||2 + ||2 = 1

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 36 / 84
Classical Bits: Cbits

Formula de Euler: ei = cos() + isin()


Forma exponencial: c = ei
|i = cos()|0i + ei sin()|1i
|+i = 1 |0i + 1 |1i |i = 1 |0i 1 |1i
2 2 2 2
Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br
Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 37 / 84
Classical Bits: Cbits
Quando precisarmos de mais de um Cbit:
Produto tensorial
|0i |0i, |0i |1i, |1i |0i, |1i |1i

|0i|0i, |0i|1i, |1i|0i, |1i|1i

|00i, |01i, |10i, |11i

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 38 / 84
Notacao
|0i2 |1i2 |2i2 |3i2 |xin 0 x < 2n

|19i6 = |010011i = |0i|1i|0i|0i|1i|1i


= |0i |1i |0i |0i |1i |1i

x0 y0 z0
x0 y0 z1

   y 0 z0    
x0 y1 z0

y0 z0 y0 z1 x0 y0 z0 x0 y1 z1
= =

y1 z1 y1 z0 x1 y1 z1 x 1 y 0 z0


y1 z1 x1 y0 z1

x1 y1 z0
x1 y1 z1

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 39 / 84
Operacoes
1|0i = |0i, 1|1i = |1i X2 = 1 X 1 1

X|0i = |1i, X|1i = |0i (x )


S10 = 12 (1 + Z1 Z0 + X1 X0 Y1 Y0 )

S|xyi = |yxi
Y = XZ (iy )
Z|0i = |0i, Z|1i = |1i (z )
 
1 (X 1
1 1
H= + Z) =
C10 |xi|yi = (X0 )x |xi|yi = |xi|y xi 2 2 1 1

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 40 / 84
Portas Logicas Quanticas Single-qbit
Pauli gates     
0 1 0 i 1 0
X= ; Y = ; Z=
1 0 i 0 0 1
Hadamard gate

 
|0i+|1i |0i|1i
1
1 1
H|0i = ; H|1i = ; H=
2 2 2 1 1
Phase gate

 
1 0
P |0i = |0i; P |1i = i|1i; P = ; P2 = Z
0 i

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 41 / 84
Controlled-not gate

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 42 / 84
Toffoli gate

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 43 / 84
Computando funcoes classicas

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 44 / 84
Medicao: obetendo resultados
Medida de um estado |i = |0i + |1i
{Mm }

p(m) = h|Mm Mm |i

I |0i com probabilidade ||2 e


I |1i com probabilidade ||2

Completeza X

h|Mm Mm |i = I
m

Me = |eihe|

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 45 / 84
Matrizes Unitarias

a b
A=
c d

Conjugada Hermitiana; tomando a adjunta:


 
T a b
A = (A ) =
c d

A e dita ser unitaria se AA = A A = I


Usualmente escrevemos unitarias como U .
Exemplo:
    
0 1 0 1 1 0
XX = = =I
1 0 1 0 0 1

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 46 / 84
Emaranhamento (entanglement) Quantico

Suponhamos que |i = |ai|bi. Entao:


|i = (|0i + |1i)(|0i + |1i)
= |00i + |10i + |01i + |11i

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 http://www.quantica.deinfo.ufrpe.br
Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 47 / 84
Estados Emaranhados
Considere os estados de 2-qubits:

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

|i e composto do produto tensorial |0i 1//sqrt2(|0i + |1i)


Medicao do segundo qubit resultara em |0i ou |1i com uma
probabilidade 1/2 para cada resultado, independente de o
primeiro qubit ser medido ou nao. Medicao do primeiro dara
sempre |0i.
|i nao pode ser decomposto em um produto de dois outros
qubits.
E um estado emaranhado!
A medicao do primeira determina completamente o resultado do
segundo.
Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br
Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 48 / 84
C-Not em acao - Bell States

C
|00i 1 (|00i + |11i)
2

C
|01i 1 (|01i + |10i) C
1 (|000i
2 |000i 2
+ |111i)
C
|10i 1 (|00i |11i) C
1 (|001i
2 |001i 2
+ |110i)
C
|11i 1 (|01i |10i)
2 ... etc

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 49 / 84
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
fibra optica, os pesquisadores conseguiram detectar o
choque dos dois e entrelacar 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 http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 50 / 84
Copia (Cloning)
Estados quanticos nao podem ser copiados ou clonados!
Prova: assuma uma transformacao unitaria U tal que
U |ai|0i = |ai|ai
Sejam |ai e |bi estados ortogonais e U |ai|0i = |ai|ai e
U |bi|0i = |bi|bi.

Considere agora |ci = 1/ 2(|ai + |bi).
Por linearidade,

U |ci|0i = 1/ 2(U |ai|0i + U |bi|0i) = 1/2(|ai|ai + |bi|bi)
Mas se U e uma transformacao de copia:

U |ci|0i = |ci|ci = 1/ 2(|ai + |bi) 1/ 2(|ai + |bi)

= 1/2(|ai|ai + |ai|bi + |ai|bi + |bi|bi)

Contradicao!

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 51 / 84
Probabilidade?

f : {0, 1} {0, 1}

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

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 52 / 84
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 http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 53 / 84
Probabilidade?

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 54 / 84
Probabilidade?

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 55 / 84
Probabilidade Quantica

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 56 / 84
Curiosidade
Simulando um Computador Quantico
I 50 qubits
I Especificar um estado generico |i requer
I 250 1015 numeros complexos com 2x128 bits
ou seja
I 32x1015 = 32000 terabytes
I Dinamica requer a manipulacao de matrizes 250 x250

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 57 / 84
Curiosidade
51 qubits
I Requer o dobro de memoria

100 qubits
I Especificar um estado generico |i requer 480 Gbytes em cada
milmetro quadrado da superfcie da Terra!

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 58 / 84
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 http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 59 / 84
Esquematicamente...


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)
1
soma 2
((1)f (1) (1)f (0) )

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 60 / 84
Pondo informacao na fase

f (x) = 0:
I |xi(|0i |1i) |xi(|0i |1i)
f (x) = 1:
I |xi(|0i |1i) |xi(|1i |0i) = |xi(|0i |1i)
|xi(|0i |1i) (1)f (x) |xi(|0i |1i)
|xi (1)f (x) |xi
Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br
Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 61 / 84
Algoritmo Quantico para o problema de Deutsch

f constante todas as amplitudes em |0i


f balanceada todas as amplitudes em |1i
Problema de pesquisa:
I O que faz computadores quanticos serem tao poderosos?

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 62 / 84
Beam us up Scotty!

How do i do that?

Heres is the code.

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 63 / 84
Circuito Teleportacao

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 64 / 84
Os delates... [1]
Alice que enviar a Bob o estado:

|i = |0i + |1i

Para tal, qdo estao juntos criam o estado emaranhado:

|00i + |11i
|00 i =
2

Bob vai para o lugar dele...

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 65 / 84
Os detalhes... [2]
O estado geral do sistemae:

|00i + |11i
|i = |i |00 i = (|0i + |1i)
2
(|000i + |011i) + (|100i + |111i)
=
2

Aplicando CNOT ao qubit de Alice :=

| 0 i = Ux |i

(Ux |000i + Ux |011i) + (Ux |100i + Ux |111i)


=
2
(|000i + |011i) + (|110i + |101i)
=
2
Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br
Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 66 / 84
Os detalhes... [3]
Aplicando Hadamard ao primeiro qubit de Alice:

|0i(|00i + |11i) |1i(|10i + |01i)


| 0 i = +
2 2

resulta em:
H|0i(|00i + |11i) H|1i(|10i + |11i)
| 00 i = H| 0 i = +
2 2
|0i + |1i |00i + |11i |0i |1i |10i + |01i
= ( ) + ( )
2 2 2 2

Nao esqueca que Bob esta com o terceiro qubit!

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 67 / 84
Os detalhes... [4]
Alice mede seu par de qubits, onde o sistema reescrito esta em:
| 00 i= 12 [|00i(|0i+|1i)+|01i(|1i+|0i)+|10i(|0i|1i)+|11i(|1i|0i)]

e Bob pode aplicar (resp.) I, X, X e ZX ao resultado para obter


o estado original.
Com saber o que aplicar?

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 68 / 84
Os detalhes... [5]
Alice telefona por um canal classico a Bob informando o
resultado de sua medicao!

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 69 / 84
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 UP a porta quantica que implementa a funcao booleana
P(x) e n tal que 2n N .

UP : |x, 0i |x, P (x)i

UP operando na superposicao do todos os estados da base da:


1
nN
X
1/ 2 |x, P (x)i
i=0

Se existe unico estado tal que P (x) = 1, a pobabilidade de obter


n
este resultado apos medicao e apenas 1/ 2 .
Wilson Rosa Precisamos aumentarIntroducao
isto!!!
(DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br
a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 70 / 84
Primalidade e Fatoracao
Problema da primalidade:
I Dado: um inteiro n > 1
I Descobrir: se n e primo ou composto
I Algoritmo: AKS (2002)
Problema da fatoracao:
I Dado: um inteiro n composto
I Descobrir: um fator de n
I Algoritmo: Shor (1994)

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 71 / 84
Algoritmo de Shor

Para fatorar N encontre x coprimo com N.


Usa computador quantico para encontrar r tal que xr = 1modN .
Se r e par, entao mdc(xr/2 + 1, xr/2 1, N ) e um fator de N
que podemos encontrar com o algoritmo de Euclides.

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 72 / 84
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
6r = 1mod1295. r = 4.
Se r e par, entao
mdc(64/2 + 1, 64/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 http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 73 / 84
Algoritmo de Shor: especificacao
Recebe:
I um inteiro n composto, mpar
I que nao uma potencia de primo
I (n tem pelo menos 2 divisores primos)
Devolve:
I um fator de n, com probabilidade 1/2.

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 74 / 84
Algoritmo de Shor: caractersticas
Ideia:
I transforma problema da fatoracao em:
busca do perodo de uma funcao.
Consumo de tempo:
I polinomial em logn.
Observacao:
I um unico passo quantico!

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 75 / 84
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 xa 1(modn)
6 se r e mpar ou xr/2 1(modn)
7 entao FALHOU!
8 senao devolva mdc(xr/2 1, n)

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 76 / 84
Conclusoes
QC possui grande potencial
I Capacidade de um paralelismo exponencial
I Capacidade exponencial de armazenamento de dados em um
espaco extremamente pequeno
E possvel utilizar:
I portas logicas (quanticas)
I circuitos logicos (quanticos)

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 77 / 84
Conclusoes
Nao eciste:
I PC
I Instrucoes
I Barramento
Possui uma arquitetura completamente nova!!

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 78 / 84
Conclusoes
Sao necessarios aperfeicoamentos
I Nos instrumentos de inducao das transformacoes (RMN, laser)
I Necessidade de controle dos erros (melhorar as formas de
isolamento e interacao com o sistema quantico)

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 79 / 84
Conclusoes
Talvez a criacao de um PC Quantico seja muito complexa
Solucao: utilizar a computacao quantica em componentes de um
PC

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 80 / 84
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 differencial (gravidade quantica)
==> Hypercomputacao(?)
Computacao Relativstica ==> Hypercomputacao!

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 81 / 84
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 http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 82 / 84
Material Introdutorio Adicional
Em ordem cronlogica reversa
An Introduction to Quantum Computing, Without the Physics,
Giacomo Nannicini: arXiv:1708.03684 [cs.DM]
An Introduction to Quantum Computing, Noson S. Yanofsky:
arXiv:0708.0261 [quant-ph]
Introduction to Quantum Computation, Ashok Chatterjee:
arXiv:quant-ph/0312111
Introduction to Quantum Computers and Quantum Algorithms,
Christof Zalka: arXiv:quant-ph/0305053
Introduction to Quantum Computers and Quantum Algorithms,
Christof Zalka: arXiv:quant-ph/0305053
An Introduction to Quantum Computing for Non-Physicists,
Eleanor G. Rieffel, Wolfgang Polak: arXiv:quant-ph/9809016

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 83 / 84
Agradecimentos

Obrigado pela atencao!

Obrigado pelo convite!

Obrigado pela oportunidade!

Nao deixe de seguir ...


https://www.facebook.com/ComputacaoQuantica/

Wilson Rosa (DEInfo-UFRPE http://www.quantica.deinfo.ufrpe.br


Introducao a Computacao Quantica December 14, 2017
https://www.facebook.com/ComputacaoQuantica/) 84 / 84

Anda mungkin juga menyukai