Fsica da Computao e da

Informao
Ivan S. Oliveira & Roberto S. Sarthour
Grupo de Computao Quntica
por RMN
Bibliografia
Quantum Computation and Quantum
Information, M.A. Nielsen e I.L. Chuang
(Cambridge Press 2002)
The Physics of Quantum Information, D.
Bouwmeester, A. Ekert e A. Zeilinger (Springer
2001)
Explorations in Quantum Computing, C.P.
Williams e S.H. Clearwater (Springer & Telos
1998)
Feynman Lectures on Computation
Breve Histrico
1854 George Boole - An investigation into the
laws of thought, on which are
founded the mathematical theories of logic and probabilities.
1938 Claude Shannon A symbolic analysis of relay
and switching circuits.
1936 Alan Turing On computable numbers,
with an application to the entscheidungsproblem.
1948 Claude Shannon A mathematical theory
of communication
Tecnologia Revolucionria
Computao Matemtica
1928 David Hilbert Existe algum procedimento puramente
mecnico capaz de resolver qualquer problema matemtico?
1936 Turing Sim, existe. Uma
Mquina de Turing!
Mquinas de Turing

1. Uma fita infinita, dividida em clulas;
2. Uma cabea de leitura e gravao;
3. Um conjunto de smbolos que formam
um alfabeto;
4. Um conjunto de instrues que
especificam as aes e os
estados da mquina.
0 1 1 0 0 1
Um computador moderno uma realizao fsica de uma
mquina de Turing. No h nenhum
problema conhecido que seja solucionvel em um computador real,
e que no possa ser resolvido em uma mquina de Turing!
Quanto 3 + 5?
Alfabeto: {*, <espao>}

Representao: 3 = ***, 5 = *****

Entrada: *** *****
Estados da
mquina
Ao para
leitura = *
Ao para
leitura = esp.
1
MOVER PARA A
DIREITA.
PERMANECER EM 1
ESCREVA * E V PARA
2
2
MOVER PARA A
DIREITA.
PERMANECER EM 2
VOLTAR UMA CLULA
E IR PARA 3.
3
APAGAR E PARAR
Resultado = ******** = 8
Chaves (ou portas) Lgicas
CONTROLE
ALVO
CONTROLE ALVO SADA
0 0 0
0 1 1
1 0 1
1 1 0
SADA
RESULTADO IMPORTANTE: QUALQUER AO
COMPUTACIONAL PODE SER CONSTRUDA A PARTIR DE
UM CONJUNTO UNIVERSAL DE CHAVES LGICAS!
AND, OR e NOT formam um conjunto universal de chaves lgicas.
NAND (sozinha) forma outro conjunto.
Chaves lgicas - 2
MEIO-SOMADOR
SOMADOR INTEIRO
Termodinmica, Estatstica e
Conhecimento
Durante muito tempo a computao foi considerada uma rea da matemtica
pura. Porm, computadores so objetos fsicos e consequentemente esto
sujeitos s leis da Fsica. So as leis da Fsica que dizem o que computadores
podem ou no fazer, e no regras matemticas.

David Deutsch
Estatstica de 4 Moedas
6/16 = 3/8
4/16 = 1/4 4/16 = 1/4
1/16 1/16
1
16
1
2
4
1
2
8
3
= + +
Informao e Entropia

=
k
k k
p p S ) ( log
2
Entropia a grandeza fsica ligada informao.
Definio de Shannon:
Para o caso das moedas:
03 , 2
16
1
log
16
1
2
4
1
log
4
1
2
8
3
log
8
3
2 2 2
~
(

|
.
|

\
|
+
|
.
|

\
|
+
|
.
|

\
|
= S
Este nmero a quantificao da ignorncia!
Exemplo...
1
2
1
log
2
1
2
1
log
2
1
2
1
2 2
= =
= =
S
p p
coroa cara
Entropia associada a um jogo de cara-ou-coroa com uma moeda no-viciada:
Se a moeda for tendenciosa:
) 2 ln(
2
1
) 2 ln(
2
1
2
1
log
2
1
;
2
1
2
2
o
o
o
o o
=
+ ~
|
.
|

\
|
+
= + =
S
p p
coroa cara
Entropias e mais Entropias

=
y x
y x p y x p Y X S
,
)] , ( log[ ) , ( ) , (
) ( ) , ( ) | ( Y S Y X S Y X S =
Sejam X e Y variveis aleatrias com distribuio de probabilidades p(x,y). Define-se
a entropia conjunta de X e Y como:
A entropia conjunta mede a incerteza sobre o par (X,Y). Se S(Y) a entropia relacio-
nada somente Y, define-se a entropia condicional S(X|Y) como:
Medida da informao sobre X, condicio-
nada informao sobre Y.
E a informao mtua S(X:Y) :
) , ( ) ( ) ( ) : ( Y X S Y S X S Y X S + =
Medida da informao
comum a X e Y.
Propriedades e mais Propriedades
) ( ) : ( ) 1 Y S Y X S s
) , ( ) ( ) 2 Y X S X S s
) ( ) ( ) , ( ) 3 Y S X S Y X S + s
A informao comum a X e Y no pode ser maior
do que a informao sobre Y (ou X).
A incerteza sobre X no pode superar a incerteza
sobre X e Y.
A desinformao sobre o par no pode superar
a soma das desinformaes individuais.
Consequentemente:
0 ) : ( ) , ( ) ( ) ( ) 4 > = + Y X S Y X S Y S X S
Termodinmica e Entropia
Entropia a grandeza fsica ligada desordem.
Entropia alta
Entropia baixa
Reversibilidade e Entropia
Entropia a grandeza fsica ligada reversibilidade e
fluxo de calor.
T
A
T
B
AQ
0 > A + A
A +
= A
A
= A
A
= A
>
B A
B
B
A
A
B A
S S
T
Q
S
T
Q
S
T
Q
S
T T
Informao e Entropia 2
O aumento de entropia corresponde perda de informao.
Entropia alta
Entropia baixa
Entropia baixa
Entropia alta
2 + 2 tem mais informao do que 4!!
Estatstica, Entropia e
Termodinmica

=
k
k k B
p p k S ) ln(

=
k
T k E
T k E
k
B k
B k
e
e
p
/
/
E
0
E
1
E
2
E
n-1
E
n
p
k
= probabilidade de que um nvel k
esteja ocupado.
TS U A =
Maximizao
Termodinmica
BOA TARDE, AT AMANH!
Resumo
1. Computadores so realizaes fsicas de mquinas de Turing. No existe
problema que possa ser resolvido em um computador, que no possa
tambm o ser em uma mquina de Turing;
2. Portas lgicas so operaes sobre bits. Qualquer operao lgica pode
ser decomposta na ao de um conjunto de portas lgicas universais;
3. A representao fsica de bits e circuitos lgicos torna os computadores
sujeitos s leis da Fsica.
4. A entropia a quantidade fsica ligada informao e tambm ordem
dos sistemas termodinmicos. Entropia alta significa desordem e falta de
informao.
5.A Fsica Estatstica d uma fundamentao microscpica para a termodinmica.
A partir do princpio da maximizao da entropia (para sistemas em equilbrio)
deriva-se as funes termodinmicas a partir de consideraes microscpicas
sobre o sistema.
Computao, Reversibilidade e
Entropia
Perda de bits = perda de
informao => aumento de
entropia => irreversibilidade.
No. de bits se conserva
informao se conserva
reversibilidade.
A computao clssica IRREVERSVEL!
1973...um ano importante para a
computao
Naquele ano, um fsico da IBM (Charles Bennett) demonstrou ser possvel
implementar a computao clssica com operaes inteiramente reversveis.
A conseqncia mais importante deste resultado foi o surgimento da
Computao Quntica!
Porta de Toffoli
a
b
c
a
b
c
a b c a b c
0 0 0 0 0 0
0 0 1 0 0 1
0 1 0 0 1 0
1 0 0 1 0 0
0 1 1 0 1 1
1 0 1 1 0 1
1 1 0 1 1 1
1 1 1 1 1 0
A porta NAND
uma porta
clssica universal
possvel fazer
computao
clssica reversvel!
TRANSFORMAES UNITRIAS EM MQ
SO OPERAES REVERSVEIS. AQUI APARECE
A NOO DE COMPUTAO QUNTICA!
1871 - O Demnio de Maxwell viola
Segunda Lei da Termodinmica?!
T
A
= T
B T
A
< T
B
ENTROPIA MXIMA
ENTROPIA MENOR
Entropia diminui sem realizao de trabalho!?
1961 O Princpio de Landauer
At aquele ano, acreditava-se que qualquer ao computacional exigia
gasto de energia. Rolph Landauer, tambm da IBM, mostrou que no!
O que gasta energia o ato de apagar informao!
) 2 log(
) 2 log(
B
B
k S
T k E
= A
= A
Energia mnima para apagar 1 bit.
Aumento mnimo na entropia ao se
apagar 1 bit.
Charles Bennett usou o Princpio de Landauer para, em 1987, resolver o
problema do demnio de Maxwell, pondo fim a mais de 100 anos de discusso!
O demnio precisa apagar informao na sua memria sobre a energia das
Molculas, e isso aumenta a entropia!
Fenmenos Naturais como
processos Computacionais
entrada
processamento
sada
Computao Fsica
computador sistema
computao experimento
entrada estado inicial
programa leis da fsica
sada estado final
Mecnica Quntica para
pedestres...
E t t t
etc
r
Mm
G
k
dt
d
m
), ( ), ( ), (
. ,
;
3
2
2
L p r
r F
r F
r
F
=
=
=
Mecnica clssica:
Mecnica Quntica:

=
=
=
+ =
=
c
c

n
n n
iHt
t c t
t O t t O
e t
V T H
t H
t
t
i

) ( ) (
) ( ) ( ) (
) 0 ( ) (
) (
) (
/

Limites fsicos da computao - 1

=
dt
d
|
|
.
|

\
|
=
= =
- = - =
=
0 1
1 0
2
1
2
1
) (
e
eo

H
I B H
H
x x
B I B
I
e
2
1
=

E
1. Qual o tempo mnimo para inverter 1 bit de informao?

B
Equao clssica de
movimento
Aqui vamos ns...
Autoenergias:
e
t
e
~ A
~ A A
= A
t
h
t E
E
2

Limites fsicos da computao 2

+ = |
| = |
|
|
.
|

\
|

=
|
|
.
|

\
|
= +
|
|
.
|

\
|
= |
2
1
2
1
1 0
0 1
2
1
1
0
0
1
x
z
Z
I
I
I
|
(

|
.
|

\
|
A
+
|
.
|

\
|
A
=
| = =
A A

x
t
i
t H
i
t
i I
t
t
e t e t
x
o
e e

o
e
2
sin
2
cos ) (
) ( ) (
2
0

A cozinha quntica
e
t
t e
= A
=
A
t
t
2 2
Evoluo
Tempo mnimo para inverter 1 bit:
O tempo mnimo para inverter
1 bit aquele dado pelo
Princpio de Incerteza
Limites fsicos da computao 3
Hz
h
mc
t
h
t E
mc E
50
2
2
10
1
2
~ ~
A
~ A A
=
Laptop supremo: 1 kg de massa confinada em um volume de 1 litro.

1) Limite de velocidade: 2) Limite de memria:
bits
k
V E S
I
B
31
10
) 2 ln(
) , (
~ =
O laptop supremo opera com
Uma velocidade de 10
50
operaes
lgicas por segundo, em 10
31
bits.
Energia: grandeza fsica associada velocidade de processamento.
Entropia: grandeza fsica associada capacidade de memria.
Computador-Buraco Negro
(socorro!)
A Lei de Moore - 1
Ano da publicao!
Modelo do
processador
Ano do
lanamento
Nmero de
transistores
4004 1971 2 250
8008 1972 2 500
8080 1974 5 000
8086 1978 29 000
Intel 286 1982 120 000
Intel 386 1985 275 000
Intel 486 1989 1 180 000
Pentium 1993 3 100 000
Pentium II 1997 7 500 000
Pentium III 1999 24 000 000
Pentium 4 2000 42 000 000
L
e
i

d
e

M
o
o
r
e

-

2

Lei de Moore - 3
CLSSICO
QUNTICO!
1973 Charles Bennett: computao (clssica) reversvel;
1982 Paul Benioff: computador quntico;
1984 Protocolo BB84;
1985 - David Deutsch: uso do paralelismo quntico para
resolver problemas matemticos rapidamente;
1994 - Peter Shor: fatorao de nmeros grandes em tempo
polinomial;
1996 Primeiro teste experimental do BB84 sobre 23 km;
1997 - Lov Grover: algoritmo de busca em tempo quadrtico;
1997 - Neil Gershenfeld & Isaac Chuang: uso da RMN em CQ;
- Teleporte com ftons;
1998 - Jones & Mosca: primeira demonstrao experimental do algoritmo
de Deutsch com RMN;
- Chuang, Gershenfeld e Kubinec: demonstrao
experimental do algoritmo de Grover por RMN;
- Nielsen, Knill e Laflamme: demonstrao do teleporte quntico
usando RMN;
2001 - Vandesypen, Chuang e outros: demonstrao do algoritmo de
Shor por RMN;
2002 - Novas propostas para elevar o nmero de q-bits acima de N = 100!
2004 Teleporte com tomos.
H
I
S
T

R
I
A
Computao Quntica: novos
recursos computacionais
0
0
1
Princpio Fundamental: estados qunticos podem existir em superposies de
autoestados.
1
1
2 /
2
0 000011 1 111001 1 001011
2
1 0
N
+ + +
=
+
=