Table Of ContentMecânica Quântica para
Matemáticos em Formação
Publicações Matemáticas
Mecânica Quântica para
Matemáticos em Formação
Bárbara Amaral
UFOP/UFMG
Alexandre Tavares Baraviera
UFRGS
Marcelo O. Terra Cunha
UFMG
impa
28o Colóquio Brasileiro de Matemática
Copyright 2011 by Bárbara Amaral, Alexandre Tavares Baraviera e
Marcelo O. Terra Cunha
Impresso no Brasil / Printed in Brazil
Capa: Noni Geiger / Sérgio R. Vaz
28o Colóquio Brasileiro de Matemática
• Cadenas de Markov y Teoría de Potencial - Johel Beltrán
• Cálculo e Estimação de Invariantes Geométricos: Uma Introdução às
Geometrias Euclidiana e Afim - M. Andrade e T. Lewiner
• De Newton a Boltzmann: o Teorema de Lanford - Sérgio B. Volchan
• Extremal and Probabilistic Combinatorics - Robert Morris e Roberto
Imbuzeiro Oliveira
• Fluxos Estrela - Alexander Arbieto, Bruno Santiago e Tatiana Sodero
• Geometria Aritmética em Retas e Cônicas - Rodrigo Gondim
• Hydrodynamical Methods in Last Passage Percolation Models - E. A. Cator
e L. P. R. Pimentel
• Introduction to Optimal Transport: Theory and Applications - Nicola Gigli
• Introdução à Aproximação Numérica de Equações Diferenciais Parciais Via
o Método de Elementos Finitos - Juan Galvis e Henrique Versieux
• Matrizes Especiais em Matemática Numérica - Licio Hernanes Bezerra
• Mecânica Quântica para Matemáticos em Formação - Bárbara Amaral,
Alexandre Tavares Baraviera e Marcelo O. Terra Cunha
• Multiple Integrals and Modular Differential Equations - Hossein Movasati
• Nonlinear Equations - Gregorio Malajovich
• Partially Hyperbolic Dynamics - Federico Rodriguez Hertz, Jana Rodriguez
Hertz e Raúl Ures
• Random Process with Variable Length - A. Toom, A. Ramos, A. Rocha e A.
Simas
• Um Primeiro Contato com Bases de Gröbner - Marcelo Escudeiro
Hernandes
ISBN: 978-85-244-327-9 Distribuição: IMPA
Estrada Dona Castorina, 110
22460-320 Rio de Janeiro, RJ
E-mail: [email protected]
http://www.impa.br
Para Thales
e Tshabalala
(o cão), pelo
carinho, pela
lealdade, pelo
companheirismo
e também pelas
bochechas.
Para Áurea,
Dirceu, Flávia
e Pedro, que
agora ganha
mais um livri-
nho para puxar
da estante.
Para Mimi e
Tatá, como
sempre, e para
o Andrey, pela
primeira vez.
Programa
Abertura
ix
Prelúdio
1
1 Números Complexos 3
1.1 Soma e Multiplicação. . . . . . . . . . . . . . . . . . . 3
1.2 Representação Geométrica . . . . . . . . . . . . . . . . 5
1.3 A Exponencial Complexa . . . . . . . . . . . . . . . . 5
1.4 Limites e Derivadas . . . . . . . . . . . . . . . . . . . 7
1.5 Exercícios . . . . . . . . . . . . . . . . . . . . . . . . . 9
2 Álgebra Linear 11
2.1 Espaços Vetoriais . . . . . . . . . . . . . . . . . . . . . 11
2.2 Base e Dimensão . . . . . . . . . . . . . . . . . . . . . 13
2.3 Subespaços Vetoriais . . . . . . . . . . . . . . . . . . . 14
2.4 Transformações Lineares . . . . . . . . . . . . . . . . . 15
2.5 Produto Interno . . . . . . . . . . . . . . . . . . . . . 16
2.5.1 Produto Interno e Funcionais Lineares . . . . . 21
2.6 Bases Ortonormais . . . . . . . . . . . . . . . . . . . . 22
2.6.1 Ortogonalizaçãode Gram-Schmidt . . . . . . . 22
2.7 Mudança de Base . . . . . . . . . . . . . . . . . . . . . 23
2.8 Operadores Lineares . . . . . . . . . . . . . . . . . . . 24
2.9 Adjunta de uma Transformação Linear . . . . . . . . . 25
2.10 Projeção sobre um Subespaço . . . . . . . . . . . . . . 27
2.11 Autovetores e Autovalores . . . . . . . . . . . . . . . . 28
2.11.1 de Transformações Hermitianas . . . . . . . . . 29
iii
iv PROGRAMA
2.12 Operadores Positivos . . . . . . . . . . . . . . . . . . 30
2.13 Traço e Determinante . . . . . . . . . . . . . . . . . . 32
2.13.1 Traço . . . . . . . . . . . . . . . . . . . . . . . 32
2.13.2 Determinante . . . . . . . . . . . . . . . . . . . 33
2.14 Produto Tensorial . . . . . . . . . . . . . . . . . . . . 33
2.15 Exponencial de uma Matriz . . . . . . . . . . . . . . . 38
2.16 Comutador de Matrizes . . . . . . . . . . . . . . . . . 41
2.17 Exercícios . . . . . . . . . . . . . . . . . . . . . . . . . 42
3 Equações Diferenciais Ordinárias 44
3.1 Equações Diferenciais Ordinárias . . . . . . . . . . . . 44
3.2 Equações Diferenciais Lineares . . . . . . . . . . . . . 46
3.3 Exercícios . . . . . . . . . . . . . . . . . . . . . . . . . 48
4 Grupos 50
4.1 Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.2 Grupos de Matrizes. . . . . . . . . . . . . . . . . . . . 51
4.2.1 Matrizes Invertíveis . . . . . . . . . . . . . . . 51
4.2.2 Matrizes Unitárias . . . . . . . . . . . . . . . . 52
4.2.3 Matrizes Ortogonais . . . . . . . . . . . . . . . 53
4.3 Matrizes Especiais . . . . . . . . . . . . . . . . . . . . 53
4.3.1 SU(2) . . . . . . . . . . . . . . . . . . . . . . . 53
4.3.2 SU(n) . . . . . . . . . . . . . . . . . . . . . . . 55
4.4 Representação de Grupos . . . . . . . . . . . . . . . . 55
4.5 Ação de Grupos. . . . . . . . . . . . . . . . . . . . . . 56
4.6 Órbitas e Classes de Equivalência . . . . . . . . . . . . 57
4.7 A Fibração de Hopf . . . . . . . . . . . . . . . . . . . 58
4.8 Exercícios . . . . . . . . . . . . . . . . . . . . . . . . . 60
5 Álgebras C 62
∗
5.1 Álgebras C . . . . . . . . . . . . . . . . . . . . . . . . 62
∗
5.2 Estados de uma Álgebra . . . . . . . . . . . . . . . . . 65
5.2.1 Estados da Álgebra M (C) . . . . . . . . . . . 66
n
5.3 Espectro de Elementos da Álgebra . . . . . . . . . . . 68
5.4 Exercícios . . . . . . . . . . . . . . . . . . . . . . . . . 69
Interlúdio
71
PROGRAMA v
6 Um Bit de Mecânica Quântica 73
6.1 Mecânica Quântica em Dimensão Dois . . . . . . . . . 73
6.1.1 Estados e Medições . . . . . . . . . . . . . . . 74
6.1.2 Depois das Medições . . . . . . . . . . . . . . 76
6.1.3 O que os bits clássicos não têm . . . . . . . . . 78
6.1.4 Quando perder é ganhar . . . . . . . . . . . . . 80
6.1.5 Estados Físicos e Esfera de Bloch . . . . . . . . 81
6.1.6 Evolução Temporal . . . . . . . . . . . . . . . . 83
6.2 Um pouco de Física . . . . . . . . . . . . . . . . . . . 85
7 Sistemas de d níveis 89
7.1 Mecânica Quântica em Dimensão d . . . . . . . . . . . 89
7.1.1 Estados e Medições . . . . . . . . . . . . . . . 89
7.1.2 Depois das Medições . . . . . . . . . . . . . . 91
7.1.3 Geometria . . . . . . . . . . . . . . . . . . . . . 93
7.1.4 Evolução Temporal . . . . . . . . . . . . . . . . 93
7.2 Um exemplo: o Laplaciano discreto . . . . . . . . . . . 94
7.2.1 Operador Posição. . . . . . . . . . . . . . . . . 96
7.3 A Relação de Incerteza . . . . . . . . . . . . . . . . . . 97
7.4 Mais um pouco de Física. . . . . . . . . . . . . . . . . 99
8 Sistemas Quânticos Compostos 101
8.1 Dois Qbits . . . . . . . . . . . . . . . . . . . . . . . . . 101
8.1.1 Estados e Medições . . . . . . . . . . . . . . . 101
8.1.2 Estados Fisicamente Distintos. . . . . . . . . . 106
8.1.3 Dois spins 1 . . . . . . . . . . . . . . . . . . . . 107
2
8.1.4 Evolução Temporal . . . . . . . . . . . . . . . . 109
8.2 Sistemas de Duas Partes . . . . . . . . . . . . . . . . . 111
8.3 Mais Qbits . . . . . . . . . . . . . . . . . . . . . . . . 113
8.3.1 Emaranhamento: W vs GHZ . . . . . . . . . . 114
8.3.2 Geometria . . . . . . . . . . . . . . . . . . . . . 115
8.3.3 Vários spins 1 . . . . . . . . . . . . . . . . . . 116
2
8.4 Compondo ou Decompondo? . . . . . . . . . . . . . . 117
8.5 Um pouquinho mais de Física . . . . . . . . . . . . . . 119
vi PROGRAMA
9 Operador Densidade 122
9.1 Operador Densidade como Ponto de Partida . . . . . . 122
9.1.1 Testes e Operadores Densidade . . . . . . . . . 125
9.1.2 Estados Mistos de um Qbit . . . . . . . . . . . 126
9.2 Operador Densidade como Ignorância Clássica . . . . 127
9.3 Operador Densidade como Ignorância Quântica . . . . 128
9.4 Medições Generalizadas . . . . . . . . . . . . . . . . . 130
9.5 Evolução Temporal . . . . . . . . . . . . . . . . . . . . 132
9.6 Uma Axiomatização Alternativa . . . . . . . . . . . . 138
9.6.1 Mecânica Quântica e Álgebras de Operadores . 138
9.6.2 Mas nem é tão novo assim.... . . . . . . . . . . 139
9.7 Mais um bocadinho de Física . . . . . . . . . . . . . . 140
10 Sistemas Quânticos Compostos - bis 142
10.1 Dois Qbits . . . . . . . . . . . . . . . . . . . . . . . . . 142
10.1.1 Critérios de Separabilidade . . . . . . . . . . . 145
10.1.2 Quantificadores de Emaranhamento . . . . . . 149
10.1.3 Geometria . . . . . . . . . . . . . . . . . . . . . 150
10.2 Sistemas Bipartites . . . . . . . . . . . . . . . . . . . . 153
10.3 Sistemas Multipartites . . . . . . . . . . . . . . . . . . 155
10.4 Um tantinho mais de Física . . . . . . . . . . . . . . . 158
Poslúdio
161
11 Um Pouco de Mecânica Quântica na Reta 163
11.1 Partícula Clássica na Reta . . . . . . . . . . . . . . . . 163
11.2 Partícula Quântica . . . . . . . . . . . . . . . . . . . . 165
11.3 O Operador Hamiltoniano ... . . . . . . . . . . . . . . 166
11.4 A Partícula em uma Caixa Unidimensional . . . . . . 168
11.4.1 Caso Clássico . . . . . . . . . . . . . . . . . . . 168
11.4.2 Caso Quântico . . . . . . . . . . . . . . . . . . 169
11.4.3 Um Exemplo de Limite Clássico . . . . . . . . 171
11.5 O Oscilador Harmônico . . . . . . . . . . . . . . . . . 172
11.6 Exercícios . . . . . . . . . . . . . . . . . . . . . . . . . 177
Description:Mecânica Quântica para Matemáticos em Formação - Bárbara Amaral,. Alexandre Tavares Baraviera e Marcelo O. Terra Cunha. • Multiple Integrals