Upload
anson
View
22
Download
0
Tags:
Embed Size (px)
DESCRIPTION
Física da Computação e da Informação. Ivan S. Oliveira & Roberto S. Sarthour Grupo de Computação Quântica por RMN. Bibliografia. Quantum Computation and Quantum Information , M.A. Nielsen e I.L. Chuang (Cambridge Press 2002) - PowerPoint PPT Presentation
Citation preview
Física da Computação e da Informação
Ivan S. Oliveira & Roberto S. Sarthour
Grupo de Computação Quântica 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 Histórico 1854 – George Boole - “An investigation into the laws of thought, on which arefounded 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 Revolucionária
Computação “Matemática”1928 – David Hilbert – “Existe algum procedimento puramente“mecânico” capaz de resolver qualquer problema matemático?”
1936 – Turing – “Sim, existe. UmaMáquina de Turing!”
Máquinas de Turing
1. Uma fita infinita, dividida em células;2. Uma cabeça de leitura e gravação;3. Um conjunto de símbolos que formam
um alfabeto;4. Um conjunto de instruções que
especificam as ações e os estados da máquina.
0 1 1 0 0 1
Um computador moderno é uma realização física de uma máquina de Turing. Não há nenhum
problema conhecido que seja solucionável em um computador real,e que não possa ser resolvido em uma máquina de Turing!
Quanto é 3 + 5?Alfabeto: {*, <espaço>}
Representação: 3 = ***, 5 = *****
Entrada: *** *****
Estados da máquina
Ação para leitura = *
Ação 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 CÉLULA E IR PARA 3.
3 APAGAR E PARAR
Resultado = ******** = 8
Chaves (ou portas) Lógicas
CONTROLE
ALVO
CONTROLE ALVO SAÍDA
0 0 0
0 1 1
1 0 1
1 1 0
SAÍDA
RESULTADO IMPORTANTE: QUALQUER AÇÃOCOMPUTACIONAL PODE SER CONSTRUÍDA A PARTIR DEUM CONJUNTO UNIVERSAL DE CHAVES LÓGICAS!
AND, OR e NOT formam um conjunto universal de chaves lógicas.NAND (sozinha) forma outro conjunto.
Chaves lógicas - 2
MEIO-SOMADOR
SOMADOR INTEIRO
Termodinâmica, Estatística e Conhecimento
“Durante muito tempo a computação foi considerada uma área da matemáticapura. Porém, computadores são objetos físicos e consequentemente estão
sujeitos às leis da Física. São as leis da Física que dizem o que computadorespodem ou não fazer, e não regras matemáticas.”
David Deutsch
Estatística de 4 Moedas
6/16 = 3/8
4/16 = 1/4 4/16 = 1/4
1/16 1/16
116
12
4
12
8
3
Informação e Entropia
k
kk ppS )(log2
Entropia é a grandeza física ligada à informação.
Definição de Shannon:
Para o caso das moedas:
03,216
1log
16
12
4
1log
4
12
8
3log
8
3222
S
Este número é a quantificação da ignorância!
Exemplo...
12
1log
2
1
2
1log
2
12
1
22
S
pp coroacara
Entropia associada a um jogo de cara-ou-coroa com uma moeda não-viciada:
Se a moeda for tendenciosa:
)2ln(
21
)2ln(
21
2
1log
2
1;
2
1
2
2
S
pp coroacara
Entropias e mais Entropias
yx
yxpyxpYXS,
)],(log[),(),(
)(),()|( YSYXSYXS
Sejam X e Y variáveis aleatórias com distribuição de probabilidades p(x,y). Define-sea 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 informação sobre X, condicio-nada à informação sobre Y.
E a informação mútua S(X:Y) :
),()()():( YXSYSXSYXS Medida da informação comum a X e Y.
Propriedades e mais Propriedades
)():()1 YSYXS
),()()2 YXSXS
)()(),()3 YSXSYXS
A informação comum a X e Y não pode ser maiordo que a informação sobre Y (ou X).
A incerteza sobre X não pode superar a incertezasobre X e Y.
A desinformação sobre o par não pode superara soma das desinformações individuais.
Consequentemente:
0):(),()()()4 YXSYXSYSXS
Termodinâmica e EntropiaEntropia é a grandeza física ligada à desordem.
Entropia alta Entropia baixa
Reversibilidade e EntropiaEntropia é a grandeza física ligada à reversibilidade e
fluxo de calor.
TA
TB
Q
0
BA
BB
AA
BA
SS
T
QS
T
QS
T
QS
TT
Informação e Entropia 2O aumento de entropia corresponde à perda de informação.
Entropia altaEntropia baixa
Entropia baixa Entropia alta
“2 + 2” tem mais informação do que “4”!!
Estatística, Entropia e Termodinâmica
k
kkB ppkS )ln(
k
TkE
TkE
k Bk
Bk
e
ep /
/
E0
E1
E2
En-1
En
pk = probabilidade de que um nível “k” esteja ocupado.
TSUA
Maximização
Termodinâmica
BOA TARDE, ATÉ AMANHÃ!
Resumo 1. Computadores são realizações físicas de máquinas de Turing. Não existe
problema que possa ser resolvido em um computador, que não possa também o ser em uma máquina de Turing;
2. Portas lógicas são operações sobre bits. Qualquer operação lógica pode ser decomposta na ação de um conjunto de portas lógicas universais;
3. A representação física de bits e circuitos lógicos torna os computadores sujeitos às leis da Física.
4. A entropia é a quantidade física ligada à informação e também à ordem dos sistemas termodinâmicos. Entropia alta significa desordem e falta de informação.
5.A Física Estatística dá uma fundamentação microscópica para a termodinâmica. A partir do princípio da maximização da entropia (para sistemas em equilíbrio) deriva-se as funções termodinâmicas a partir de considerações microscópicas sobre o sistema.
Computação, Reversibilidade e Entropia
Perda de bits = perda de informação => aumento de
entropia => irreversibilidade.
No. de bits se conservainformação se conserva reversibilidade.
A computação clássica é IRREVERSÍVEL!
1973...um ano importante para a computação
Naquele ano, um físico da IBM (Charles Bennett) demonstrou ser possível implementar a computação clássica com operações inteiramente reversíveis.A conseqüência mais importante deste resultado foi o surgimento da Computação Quântica!
Porta de Toffoli
a
b
c
a’
b’
c’
a b c a’ b’ c’0 0 0 0 0 00 0 1 0 0 10 1 0 0 1 01 0 0 1 0 00 1 1 0 1 11 0 1 1 0 11 1 0 1 1 11 1 1 1 1 0
A porta NANDé uma porta
clássica universal
É possível fazer computação
clássica reversível!
TRANSFORMAÇÕES UNITÁRIAS EM MQSÃO OPERAÇÕES REVERSÍVEIS. AQUI APARECEA NOÇÃO DE COMPUTAÇÃO QUÂNTICA!
1871 - O Demônio de Maxwell viola Segunda Lei da Termodinâmica?!
TA = TB TA < TB
ENTROPIA MÁXIMA ENTROPIA MENOR
Entropia diminui sem realização de trabalho!?
1961 – O Princípio de Landauer
Até aquele ano, acreditava-se que qualquer ação computacional exigia gasto de energia. Rolph Landauer, também da IBM, mostrou que não! O que gasta energia é o ato de apagar informação!
)2log(
)2log(
B
B
kS
TkE
Energia mínima para apagar 1 bit.
Aumento mínimo na entropia ao seapagar 1 bit.
Charles Bennett usou o Princípio de Landauer para, em 1987, resolver o problema do demônio de Maxwell, pondo fim a mais de 100 anos de discussão!O demônio precisa apagar informação na sua memória sobre a energia dasMoléculas, e isso aumenta a entropia!
Fenômenos Naturais como processos Computacionais
entrada
processamento
saída
Computação Física
computador sistema
computação experimento
entrada estado inicial
programa leis da física
saída estado final
Mecânica Quântica para pedestres...
Ettt
etcr
MmG
kdt
dm
),(),(),(
.,
;
3
2
2
Lpr
rF
rF
rF
Mecânica clássica: Mecânica Quântica:
nnn
iHt
tct
tOttO
et
VTH
tHt
ti
)()(
)()()(
)0()(
)()(
/
Limites físicos da computação - 1
μμ dt
d
01
10
2
1
2
1)(
H
IBH
H
xx
BIBμ
Iμ
2
1E
1. Qual o tempo mínimo para inverter 1 bit de informação?
B
Equação clássica de movimento
Aqui vamos nós...
Autoenergias:
t
htE
E
2
Limites físicos da computação – 2
2
12
1
10
01
2
1
1
0
0
1
x
z
Z
I
I
I
x
ti
tHi
tiI
tt
etetx
2sin
2cos)(
)()( 20
A cozinha quântica
t
t
22
Evolução
Tempo mínimo para inverter 1 bit:
O tempo mínimo para inverter1 bit é aquele dado peloPrincípio de Incerteza
Limites físicos da computação – 3
Hzh
mc
t
htE
mcE
502
2
101
2
Laptop “supremo”: 1 kg de massa confinada em um volume de 1 litro.
1) Limite de velocidade: 2) Limite de memória:
bitsk
VESI
B
3110)2ln(
),(
O laptop supremo opera com Uma velocidade de 1050 operações lógicas por segundo, em 1031 bits.
Energia: grandeza física associada à velocidade de processamento.Entropia: grandeza física associada à capacidade de memória.
Computador-Buraco Negro (socorro!)
A Lei de Moore - 1
Ano da publicação!
Modelo do processador
Ano do lançamento
Número 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
Lei d
e M
oore
- 2
Lei de Moore - 3
CLÁSSICO QUÂNTICO!
1973 – Charles Bennett: computação (clássica) reversível;1982 – Paul Benioff: computador quântico; 1984 – Protocolo BB84;1985 - David Deutsch: uso do paralelismo quântico para resolver problemas matemáticos rapidamente;1994 - Peter Shor: fatoração de números grandes em tempo polinomial;1996 – Primeiro teste experimental do BB84 sobre 23 km;1997 - Lov Grover: algoritmo de busca em tempo quadrático;1997 - Neil Gershenfeld & Isaac Chuang: uso da RMN em CQ; - Teleporte com fótons;1998 - Jones & Mosca: primeira demonstração experimental do algoritmo de Deutsch com RMN; - Chuang, Gershenfeld e Kubinec: demonstração experimental do algoritmo de Grover por RMN; - Nielsen, Knill e Laflamme: demonstração do teleporte quântico usando RMN;2001 - Vandesypen, Chuang e outros: demonstração do algoritmo de Shor por RMN;2002 - Novas propostas para elevar o número de q-bits acima de N = 100!2004 – Teleporte com átomos.
H
I
S
T
Ó
R
I
A
Computação Quântica: novos recursos computacionais
0 0
1
• Princípio Fundamental: estados quânticos podem existir em superposições deautoestados.
1
1
2/2
000001111110011001011
2
10
N