Académique Documents
Professionnel Documents
Culture Documents
Matemticos em Formao
Publicaes Matemticas
Brbara Amaral
UFOP/UFMG
Alexandre Tavares Baraviera
UFRGS
Marcelo O. Terra Cunha
UFMG
impa
ISBN: 978-85-244-327-9
Distribuio: IMPA
Estrada Dona Castorina, 110
22460-320 Rio de Janeiro, RJ
E-mail: ddic@impa.br
http://www.impa.br
Para
Thales
e
Tshabalala
(o co), pelo
carinho,
pela
lealdade, pelo
companheirismo
e tambm pelas
bochechas.
Para
urea,
Dirceu, Flvia
e Pedro, que
agora
ganha
mais um livrinho para puxar
da estante.
Para Mimi e
Tat,
como
sempre, e para
o Andrey, pela
primeira vez.
Programa
Abertura
ix
Preldio
Nmeros Complexos
1.1 Soma e Multiplicao . . .
1.2 Representao Geomtrica
1.3 A Exponencial Complexa
1.4 Limites e Derivadas . . .
1.5 Exerccios . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
5
5
7
9
2 lgebra Linear
2.1 Espaos Vetoriais . . . . . . . . . . . . . . . .
2.2 Base e Dimenso . . . . . . . . . . . . . . . .
2.3 Subespaos Vetoriais . . . . . . . . . . . . . .
2.4 Transformaes Lineares . . . . . . . . . . . .
2.5 Produto Interno . . . . . . . . . . . . . . . .
2.5.1 Produto Interno e Funcionais Lineares
2.6 Bases Ortonormais . . . . . . . . . . . . . . .
2.6.1 Ortogonalizao de Gram-Schmidt . .
2.7 Mudana de Base . . . . . . . . . . . . . . . .
2.8 Operadores Lineares . . . . . . . . . . . . . .
2.9 Adjunta de uma Transformao Linear . . . .
2.10 Projeo sobre um Subespao . . . . . . . . .
2.11 Autovetores e Autovalores . . . . . . . . . . .
2.11.1 de Transformaes Hermitianas . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
11
11
13
14
15
16
21
22
22
23
24
25
27
28
29
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
iv
PROGRAMA
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
30
32
32
33
33
38
41
42
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
50
50
51
51
52
53
53
53
55
55
56
57
58
60
5 lgebras C
5.1 lgebras C . . . . . . . . . . . . .
5.2 Estados de uma lgebra . . . . . .
5.2.1 Estados da lgebra Mn (C)
5.3 Espectro de Elementos da lgebra
5.4 Exerccios . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
62
62
65
66
68
69
Interldio
71
PROGRAMA
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
73
73
74
76
78
80
81
83
85
7 Sistemas de d nveis
7.1 Mecnica Quntica em Dimenso d
7.1.1 Estados e Medies . . . .
7.1.2 Depois das Medies . . .
7.1.3 Geometria . . . . . . . . . .
7.1.4 Evoluo Temporal . . . . .
7.2 Um exemplo: o Laplaciano discreto
7.2.1 Operador Posio . . . . . .
7.3 A Relao de Incerteza . . . . . . .
7.4 Mais um pouco de Fsica . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
89
89
89
91
93
93
94
96
97
99
.
.
.
.
.
.
.
.
.
.
.
.
101
101
101
106
107
109
111
113
114
115
116
117
119
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
vi
PROGRAMA
9 Operador Densidade
9.1 Operador Densidade como Ponto de Partida . . . . .
9.1.1 Testes e Operadores Densidade . . . . . . . .
9.1.2 Estados Mistos de um Qbit . . . . . . . . . .
9.2 Operador Densidade como Ignorncia Clssica . . .
9.3 Operador Densidade como Ignorncia Quntica . . .
9.4 Medies Generalizadas . . . . . . . . . . . . . . . .
9.5 Evoluo Temporal . . . . . . . . . . . . . . . . . . .
9.6 Uma Axiomatizao Alternativa . . . . . . . . . . .
9.6.1 Mecnica Quntica e lgebras de Operadores
9.6.2 Mas nem to novo assim... . . . . . . . . . .
9.7 Mais um bocadinho de Fsica . . . . . . . . . . . . .
10 Sistemas Qunticos Compostos - bis
10.1 Dois Qbits . . . . . . . . . . . . . . . . . . .
10.1.1 Critrios de Separabilidade . . . . .
10.1.2 Quantificadores de Emaranhamento
10.1.3 Geometria . . . . . . . . . . . . . . .
10.2 Sistemas Bipartites . . . . . . . . . . . . . .
10.3 Sistemas Multipartites . . . . . . . . . . . .
10.4 Um tantinho mais de Fsica . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
122
122
125
126
127
128
130
132
138
138
139
140
.
.
.
.
.
.
.
142
142
145
149
150
153
155
158
Posldio
161
11 Um
11.1
11.2
11.3
11.4
163
163
165
166
168
168
169
171
172
177
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
vii
PROGRAMA
178
178
179
180
13 Desigualdades de Bell
184
13.1 EPR e os Elementos de Realidade . . . . . . . . . . . 184
13.2 Bell . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186
13.3 A Desigualdade CHSH . . . . . . . . . . . . . . . . . . 187
14 Contextualidade
14.1 von Neumann . . . . . . . . . . . . . . . . . . . . . .
14.1.1 A Falha na Demonstrao de von Neumann .
14.1.2 Um Modelo de Variveis Ocultas Compatvel
14.2 Gleason . . . . . . . . . . . . . . . . . . . . . . . . .
14.2.1 A Crtica de Bell . . . . . . . . . . . . . . . .
14.3 Bell, Kochen e Specker . . . . . . . . . . . . . . . . .
14.3.1 Demonstrao Econmica em Dimenso Trs
14.3.2 Propriedades das Matrizes de Pauli . . . . . .
14.3.3 Demonstrao Simples em Dimenso Quatro
14.3.4 Demonstrao Simples em Dimenso Oito . .
14.4 Um Modelo de Variveis Ocultas Contextual . . . .
.
.
.
.
.
.
.
.
.
.
.
191
191
192
193
194
196
197
198
199
200
201
202
Abertura
O texto que voc est lendo agora o resultado de uma pequena
aventura ou uma grande ambio: falar de mecnica quntica para
matemticos em formao. Da nossa experncia, matemticos se formam sem qualquer conhecimento de mecnica quntica. Quando,
por interesse prprio, vo procurar tal formao, por razes histricas ou disponibilidade de textos1 , acabam esbarrando com textos que
ou assumem, ou iniciam a discusso por anlise funcional. Mas as ltimas dcadas permitiram o crescimento da chamada teoria quntica
da informao, ou, como mais comum, informao quntica. Um
dos maiores mritos desta foi levar a uma reviso dos conceitos fundamentais da mecnica quntica e, em especial, permitir uma maior
valorizao dos espaos de estado de dimenso finita. Dessa forma,
sai a anlise funcional (como pr-requisito ou ponto de partida) e
entra a lgebra linear, com a qual os estudantes tm contato desde o
incio de seus cursos. Esse o esprito do texto: discutir a matemtica
da mecnica quntica, principalmente em dimenso finita.
Por escolha, o texto foi divido em trs partes, usando uma metfora musical. O preldio apenas prepara a obra. No falamos de
mecnica quntica nele, embora, naturalmente, tudo que l se encontra ou tem aplicao na ou sustenta a nossa solista. O interldio a
essncia do texto. nele que a mecnica quntica introduzida. A
abordagem escolhida vai do particular para o geral, em busca da melhor compreenso. O posldio trata de alguns temas que gostaramos
de aprofundar mais, embora nem o formato nem os prazos tornem
isso adequado.
1O
Abertura
Ao escrever este livro, tnhamos em mente nosso pblico alvo: estudantes com o ciclo bsico completo, e com gosto pela matemtica.
No h necessidade de passar por todo o preldio, caso voc queira
ir direto ao assunto. Ele foi escrito com vrios objetivos complementares: tornar o texto razoavelmente autocontido2 , introduzir notao (caso especial da notao de Dirac, intensamente utilizada no
captulo 2) e discutir alguns conceitos (ou estratgias de apresentar
os conceitos) que normalmente no encontram lugar no ciclo bsico
pressuposto. Uma sugesto razovel que voc corra os olhos pelo ndice e escolha como se servir. Por outro lado, pensando nesse mesmo
pblico, o texto repleto de exerccios. H dois tipos deles, os que
se encontram em meio ao texto e os de final de captulo. Isso no
acontece por acaso. Ao encontrar um exerccio no meio do texto,
resolva-o; ou, ao menos, tente. Quase certamente ele ser utilizado
logo em seguida.
Cabe salientar que, normalmente, em um bacharelado em Fsica
os estudantes tomam cerca de trs disciplinas de Mecnica Quntica, enquanto este livro originalmente destinado a um minicurso.
Portanto, embora as definies bsicas e suas consequncias sejam apresentadas, h muito mais que no poder ser discutido. Para isso, o
estudante pode adotar textos que capricham na intuio, como [FLS],
ou textos mais tradicionais, como [CDL], mais profundos [Per95], ou
mais relacionados informao quntica [Pre, NC].
Quando resolvemos encarar essa empreitada, j tnhamos experincias (razoavelmente) recentes complementares: uma dissertao de
mestrado, [Ama], um livro sobre informao quntica, [Ter07a], e um
livro mais introdutrio sobre mecnica quntica, [Bar]. No foi possvel resistir a uma pequena dose de autoplagia e um leitor mais atento
vai encontrar trechos previamente publicados. Em algumas outras
partes, j temos dificuldade de lembrar quem fez a primeira redao
de tal pargrafo. Assim, a responsabilidade pelos erros3 encontrados
no texto compartilhada pelos trs autores.
Entretanto, um prazer agradecer a algumas pessoas que ajudaram a diminuir a quantidade destes erros e ainda contribuiram com
sugestes. Nessa funo, ainda que atropelados pela sobreposio
2 Tambm se buscou usar a nova ortografia, mas no podemos garantir que
tenhamos tido sucesso.
3 E eventuais acertos.
xi
de verses sempre incompletas, merecem destaque Glucia Murta,
Rodrigo Porto, Fernando Brando, Ricardo Falco, Pierre-Louis de
Assis, Raphael Drumond, Carlos Felipe Lardizbal, Mateus Arajo
Santos e Marco Tlio Coelho Quintino.
Um prazer ainda maior agradecer ao Artur O. Lopes, que tanto
incentivou os dois autores mais idosos deste texto, e, indiretamente,
a mais jovem. Capes, CNPq e Fapemig tambm merecem reconhecimento pelo apoio dado aos autores ao longo dos anos.
Por fim, hora e lugar de agradecermos e nos desculparmos com
aqueles entes prximos e queridos, que concordaram com tantas renncias em nome do livro que, finalmente, ganhou forma. Tambm
agradecemos e nos desculpamos com os organizadores do Colquio,
que apoiaram essa iniciativa e gentilmente compreenderam as nossas
fraquezas.
Brbara Amaral
Alexandre T. Baraviera
Marcelo Terra Cunha
Preldio
Antes de realmente focarmos na mecnica quntica, vamos discutir
alguns conceitos matemticos que permeiam o restante do texto. Naturalmente, no nos cabe aprofundamento em cada um desses temas.
Assim, esse preldio visto como um momento para fixar notao e
colecionar os contedos de maneira adequada a referncias rpidas.
Comeamos por nmeros complexos, apenas colecionando suas
principais propriedades e pedindo ao estudante que as relembre (ou
eventualmente aprenda algumas) atravs dos exerccios.
lgebra linear a base da mecnica quntica. Por isso ganha
papel de destaque nesse preldio.
Equaes diferenciais e grupos tambm merecem ateno. E no
resistimos tentao de apresentar as lgebras C , que acreditamos
desconhecidas da maioria de nossos leitores, mas que podem ser muito
teis na discusso da mecnica quntica, alm de possuirem beleza
intrnseca que nos atrai.
Captulo 1
Nmeros Complexos
O conjunto dos nmeros complexos tem um universo infinito de aplicaes. Em muitos casos eles podem facilitar os clculos e abreviar a
notao. A Mecnica Quntica faz uso dos nmeros complexos, mas
aqui eles no so s um atalho para simplificar a teoria. A importncia deles tamanha que alguns fsicos afirmam que impossvel
formul-la utilizando apenas os nmeros reais. Faremos aqui apenas
um resumo das principais propriedades que sero necessrias ao longo
do texto e para mais detalhes o leitor pode consultar [Soa].
1.1
Soma e Multiplicao
: C C C
(a, b) $ a b = ab
1) (Associatividade) a + (b + c) = (a + b) + c e a (b c) = (a b) c;
2) (Comutatividade) a + b = b + a e a b = b a;
3
[CAP. 1:
NMEROS COMPLEXOS
Exerccio 1.2. Mostre que a norma de um nmero complexo sempre um nmero real no negativo e temos que |z| = 0 se, e somente
se, z = 0.
Exerccio 1.3. Mostre que z 1 =
z e que se z unitrio, z 1 = z.
1.2
z
|z|2
o inverso multiplicativo de
Representao Geomtrica
1.3
A Exponencial Complexa
"
zn
.
ez =
n!
n=0
[CAP. 1:
NMEROS COMPLEXOS
"
|z n | " |z|n
=
= e|z|
n!
n!
n=0
n=0
e do seguinte resultado:
"
zn
n=0
"
n=0
|zn |
1
ez ;
3. e0 = 1
4. (ez )n = enz , para todo z C e n Z.
5. ez &= 0.
1.4
Limites e Derivadas
se para todo " > 0 possvel encontrar > 0 tal que se 0 < |zz0 | <
ento |f (z) w0 | < ".
Exerccio 1.5. Prove que se f1 : C C e f2 : C C so funes
tais que limzz0 f1 (z) = w1 e limzz0 f2 (z) = w2 e se c C ento
1. limzz0 (f1 (z) + f2 (z)) = w1 + w2 ;
2. limzz0 (cf1 (z)) = cw1 ;
3. limzz0 (f1 (z)f2 (z)) = w1 w2 ;
4. Se w1 &= 0, limzz0
1
f1 (z)
1
w1 .
zz0
f (z) f (z0 )
z z0
df
(z0 ).
dz
[CAP. 1:
NMEROS COMPLEXOS
e alm disso
u
u
(x0 , y0 ) + i (x0 , y0 ).
x
y
Por outro lado, se as derivadas parciais
f % (z0 ) =
u
v
v
u
(x0 , y0 ),
(x0 , y0 ),
(x0 , y0 ),
(x0 , y0 )
x
y
x
y
so contnuas em z0 e se as condies de Cauchy-Riemann so satisfeitas, ento f possui derivada em z0 .
1.5
Exerccios
(12i)2
2+2i .
3i
2
10
[CAP. 1:
NMEROS COMPLEXOS
Captulo 2
lgebra Linear
Neste captulo pretendemos relembrar ao leitor algumas noes bsicas sobre espaos vetoriais e produtos internos que sero muito utilizadas no decorrer do texto [NC, Lim, Vai]. Falaremos principalmente
de espaos vetoriais complexos, que aparecem naturalmente em mecnica quntica.
2.1
Espaos Vetoriais
Um espao vetorial V sobre um corpo C um conjunto, cujos elementos chamaremos vetores e denotaremos por |u), munido de uma
soma vetorial
+:V V
(, |u)) $ |u)
12
13
2.2
Base e Dimenso
14
2.3
Subespaos Vetoriais
15
0 S;
|x) + |y) S para todo par |x) e |y) S;
|x) S para todo C e todo |x) S.
Exerccio 2.3. Considere o subconjunto
S = {(t, 0, . . . , 0) Rn ; t R}.
Mostre que S um subespao vetorial de Rn .
Exerccio 2.4. Considere o subconjunto
S = {f CR [0, 1]; f (0) = f (1) = 0}.
Mostre que S um subespao vetorial de CR [0, 1].
2.4
Transformaes Lineares
v1
v2
T (|v)) = T
-m
"
i=1
vi |ei )
m
"
i=1
vi T (|ei )) =
m "
n
"
i=1 j=1
vi Tji |fj )
16
&
em que os nmeros Tji so tais que T (|ei )) = nj=1 Tji |fj ). Portanto
podemos representar a transformao linear T por meio de uma matriz TB,F com entradas Tij de forma que
[T (|v))]F = TFB [v]B .
De forma similar, dada uma matriz nm temos, desde que fixadas as
bases, uma transformao linear associada. Essa identificao to
forte que frequentemente nos referiremos uma transformao linear
apenas pela matriz que a representa, desde que no haja confuso
acerca de quais so as bases usadas em cada caso.
Quando U = V = Cn , as matrizes em questo so matrizes n n.
O conjunto das matrizes n n com coeficientes em C ser denotado
por Mn (C).
Um caso particular de destaque so os funcionais lineares.
Definio 2.4. Um funcional linear +| uma transformao linear +| : V C. O espao de todos os funcionais lineares de V
conhecido com o espao dual de V e denotado por V .
Os elementos de V sero denotados na notao de Dirac pelo
smbolo +|, que chamado de bra.
2.5
Produto Interno
1. +u + v|w ) = +u|w
)+
+v|w );
2. +u|v ) = +v|u );
3. +u|u ) 0;
2 Utilizaremos a notao !u + v|w " para denotar o produto interno entre os
vetores |u" + |v" e |w"
17
n
"
x
i yi
i=1
f (x)g(x)dx
[0,1]
18
pois +u|v ) = 0.
Observao 2. Durante a prova obtivemos uma identidade conhecida como identidade polar:
-u + v-2 = -u-2 + 2Re(+u|v )) + -v-2 .
Corolrio 2.2. Usando o teorema acima o leitor pode provar, indutivamente, o seguinte resultado: se {|v1 ), . . . , |vk )} so dois a dois
ortogonais, ento
-v1 + + vk -2 = -v1 -2 + + -vk -2 .
3 Evitamos o uso da notao #|u"# e optamos por denotar a norma de um vetor
|u" por #u# por simplicidade.
19
k
"
i=1
02
0
k
0
0
"
0
0
2
+vi |v )vi 0 .
|+vi |v )| + 0v
0
0
i=1
k
k
"
"
+vi |v )|vi ) + |v)
+vi |v )|vi )
i=1
i=1
23
|a&
23
|b&
i=1
k
"
i=1
6 7
k "
k
6
"
6
+vi |v )vi 6v
+vi |v )+vj |v )+vi |vj ) =
6
k
"
i=1
i=1 j=1
+vi |v )+vi |v )
k
"
i=1
+vi |v )+vi |v ) = 0.
k
"
i=1
|+v|vi )| .
20
21
2.5.1
Quando um espao vetorial munido de um produto interno, possvel associar vetores funcionais lineares.
Exerccio 2.8. Consideremos fixos um certo |v0 ) V , e um produto
interno + | ) em V . Mostre que L : V C definido como sendo
Lv0 |v) = +v0 |v ) um funcional linear.
Em alguns casos, o exemplo acima absolutamente geral: todo
elemento de V pode ser escrito na forma de Lv0 para algum |v0 ) em
V . Esse o caso quando V tem dimenso finita.
Teorema 2.5. Dado L V ento existe um nico |v0 ) V tal que
L|v) = +v0 |v ).
Demonstrao. Considere uma base ortonormal {|ei )}i=1,...,k de V .
Ento
k
"
vi |ei )
|v) =
i=1
L|v) =
k
"
i=1
k
"
i,j=1
vi L|ei ) =
k
"
i=1
k
"
i=1
vi
k <
"
j=1
6 =
6
L|ej )ej 6ei =
6 7 5
6 k
7
5 k
6
k
k
6"
"
"
"
6
6
vi ei = +v0 |v )
L|ej )ej 66ei =
L|ej )ej 6
vi
=
6
6
j=1
i=1
j=1
i=1
&k
j=1
L(ej )|ej ),
22
O teorema acima mostra que o produto interno fornece uma identificao natural entre elementos de um espao vetorial V e elementos
do seu espao dual V dada por
|v) Lv .
A notao de Dirac se aproveita desse fato para denotar o funcional
Lv pelo bra +v| de modo que
Lv |w) = (+v|)|w) = +v|w ).
2.6
Bases Ortonormais
2.6.1
Ortogonalizao de Gram-Schmidt
Para construir |u2 ) devemos ter em mente duas coisas: queremos que
|u2 ) tenha norma unitria e que seja ortogonal ao vetor j construdo
23
1 =
1
+v2 |v1 )
-v1 -
|w2 &
. Para obter
O vetor |u2 ) ento definido como sendo |u2 ) = 'w
2'
|u3 ) procederemos de forma similar: primeiro procuramos |w3 ) =
|v3 ) + 1 |u1 ) + 2 |u2 ) que deve ser ortogonal a |u1 ) e a |u2 ), o que
determina 1 e 2 como sendo
1 = +v3 |u1 )
2 = +v3 |u2 )
Seguindo dessa maneira no difcil ver que o vetor auxiliar |wk ) ser
dado pela expresso
|wk ) = |vk ) +vk |u1 )|u1 ) +vk |uk1 )|uk1 )
wk
e que |uk ) = 'w
, com k = 2, 3, . . . , n. Dessa forma podemos exibir
k'
todos os vetores |u1 ), . . . , |un ); por construo eles geram o mesmo
espao que |v1 ), . . . , |vn ). So tambm ortonormais, sendo assim a
base ortonormal procurada do espao V .
2.7
Mudana de Base
24
b = Ta
n
"
k=1
Tk1 |vk )
+ a2
n
"
k=1
Tk2 |vk )
+ + an
n
"
k=1
Tkn |vk )
2.8
Operadores Lineares
(T )|u) = T |u)
Exerccio 2.10. Mostre que as operaes T + S e T definidas assim so lineares. Mostre tambm que com essas operaes o espao
L(U, V ) um espao vetorial sobre C.
25
pois
|v&
'v'
'v'=1
Com essa norma podemos definir uma distncia em L(V ) da seguinte forma: d(A, B) = -A B-.
Se dim(V ) = n, fixada uma base em V , cada elemento de L(V )
pode ser representado por uma matriz quadrada nn com coeficientes
complexos.4 O conjunto dessas matrizes ser denotado por M (V ).
2.9
Quando temos uma transformao linear T : V V podemos procurar uma nova transformao T : V V de tal forma que
4 No
+T v|u ) = +v|T u )
26
27
2.10
W
+v|u )
|u) $
|v).
-v-2
(2.1)
(2.2)
Temos que
+Pv x|y ) =
1
1
+v|x )+v|y ) =
++v|x )v|y ) =
-v-2
-v-2
1
1
+x|v )+v|y ) =
+x|+v|y )v ) = +x|Pv (y) ).
-v-2
-v-2
28
+v|u )
+v|u )
+v|v )|v) =
|v) = Pv (u)
-v-4
-v-2
W
n
"
|u) $
Pvi |v).
(2.3)
(2.4)
i=1
2.11
Autovetores e Autovalores
para algum C.
29
2.11.1
Se uma transformao linear hermitiana, isto , se T = T , ento os autovalores e autovetores adquirem propriedades interessantes
que investigaremos aqui. Acerca dos autovalores temos o seguinte
resultado:
Teorema 2.8. Se T hermitiana ento seus autovalores so reais.
Demonstrao. Considere T |v) = |v). Ento
donde R.
e portanto, +v|v ) = +v|v
), mostrando que = ,
J para os autovetores, podemos verificar ortogonalidade.
Teorema 2.9. Seja T hermitiana e |v) e |u) dois autovetores associados, respectivamente, aos autovalores distintos e . Ento |u) e
|v) so ortogonais.
Demonstrao. Note que
+T v|u ) = +v|u ) = +v|u ).
Por outro lado,
+T v|u ) = +v|T u ) = +v|u ) =
+v|u ) = +v|u ).
Portanto +v|u ) = +v|u ). Como e so distintos ento temos
necessariamente +v|u ) = 0, ou seja, |u) e |v) so ortogonais.
30
n
"
i Pvi .
i=1
Definio 2.8. Dizemos que uma transformao linear T diagonalizvel se existe uma base para o espao vetorial em que a matriz
que representa T diagonal.
Exerccio 2.12. Mostre que quando podemos encontrar uma base
B = {|v1 ), . . . , |vn )} para o espao vetorial formada por autovetores
de uma aplicao T ento ela diagonalizvel. Em particular, mostre
que todo operador hermitiano diagonalizvel.
2.12
Operadores Positivos
31
32
2.13
Trao e Determinante
Vamos agora definir dois nmeros que podem ser naturalmente associados a uma dada matriz quadrada e relembrar algumas de suas
propriedades.
2.13.1
Trao
n
"
aii .
i=1
n
"
(AB)ii =
i=1
n "
n
"
i=1 k=1
Bki Aik =
n "
n
"
k=1 i=1
n "
n
"
Aik Bki
i=1 k=1
Bki Aik =
n
"
(BA)kk = Tr(BA).
k=1
2.13.2
33
Determinante
2.14
Produto Tensorial
mesma construo pode ser feita para espaos vetoriais sobre outros corpos.
34
35
+v|TrB (M )|v) =
"
j
+v|+j|
"
i,j
"
i
"
i,j
"
j
+v|+j|M |j)|v) 0
36
d
"
i=1
6 i B6 i B
6B ,
i 6A
(2.5)
n
uma vez que o conjunto {|A
)|mB )} forma uma base para VA
VB . Podemos6 supor
que
os
nmeros
so reais, englobando a parte
6 B
B
i
complexa em 6A
ou 6iB .
n
Seja 2n o autovalor de A associado ao autovetor |A
). Definimos
ento
" cnm
|nB ) =
|mB ),
n
m
de modo que
|) =
d
"
i=1
6 i B6 i B
6 .
i 6A
B
37
"
k, l
cnk cml
+kB |lB )
n m
" c cmk
1 "
n
m
nk
+|A
)|kB )+A
|+kB | )
=
n m
n m
k
n m nm
1 " m
n
+A |A |A
)=
= nm .
n m
n m
k
O ordenamento no-crescente dos coeficientes pode ser feito reordenando os vetores da base.
Os coeficientes de Schmidt so os autovalores das matrizes reduzidas A = TrB (|)+|) e B = TrA (|)+|). Por esse motivo
o nmero de coeficientes no nulos (chamado nmero de Schmidt)
e tambm os seus valores so os mesmos para toda decomposio.
Alm disso, se
"
ai |i)A |i)B ,
|) =
i
|) =
"
i
ai |i% )A |i% )B
|i)B $ |i% )B
38
2.15
"
xk
x
.
e =
k!
k=0
"
Tk
.
k!
k=0
A expresso envolve soma de operadores lineares, composies de operadores lineares e o produto por nmeros reais, todas essas operaes
que esto bem definidas para elementos de L(V ). Mas h uma passagem ao limite quando utilizamos a srie e por isso devemos investigar
com algum cuidado a questo da convergncia.
Nosso primeiro passo na direo de definir eT a procura de um
critrio de convergncia em L(V ).
Teorema 2.16. L(V ) com a norma de operador - - um espao
completo, isto , sequncias de Cauchy so convergentes.
Demonstrao. Uma sequncia de Cauchy uma sequncia {Sn }nN
L(V ) tal que para todo " > 0 existe N N tal que
-Sm Sn - < "
Fixemos agora um certo elemento |v) V . Podemos ento considerar a sequncia {Sn |v)}nN V ; da definio de - - sabemos
que
|Sm |v) Sn |v)| = |(Sm Sn )|v)| -Sm Sn --vo que mostra que {Sn (v)}nN V uma sequncia de Cauchy em
V para a norma | |. Como V um espao completo7 essa sequncia
converge para um ponto de V que denotaremos por S|v). Repetindo
39
e o leitor no ter dificuldade em provar que S(|v)) = S|v), mostrando que temos S L(V ).
Agora consideraremos a sequncia {Sn }nN L(V, V ) definida
pelas somas parciais
n
"
Tk
Sn =
.
k!
k=0
0
0
k! 0
k!
k=n+1
k=n+1
" -T -k
k!
k0
que uma srie convergente; sries convergentes tem a bela propriedade de que suas caudas ficam pequenas, ou, para ser mais claro,
dado " > 0 existe N N tal que
" -T -k
"
k!
kN
"
k!
k!
k=n+1
kN
40
D=
1
0
..
.
0
2
..
.
...
...
..
.
0
0
..
.
...
2.
ento eD =
eQDQ
e1
0
..
.
0
e2
..
.
...
...
..
.
0
0
..
.
...
en
= QeD Q1 ;
1 0 . . . 0
0 2 . . . 0
D= .
.. . .
.
..
. ..
.
0
0 . . . n
ento
Dk =
k1
0
..
.
0
k2
..
.
...
..
.
0
0
..
.
. . . kn
(QDQ1 )k = QDk Q1 .
Para as provas de 3 e 4 sugerimos ao leitor o texto de Sotomayor
[Sot].
41
2.16
Comutador de Matrizes
Uma caracterstica interessante de transformaes lineares e das matrizes que as representam (que o que usaremos no que segue) a
no comutatividade: em geral, dadas duas matrizes A e B (correspondendo a duas transformaes lineares no mesmo espao vetorial)
no verdade que AB = BA.
Exerccio 2.15. Faa o teste com
@
A
1 0
A=
e
0 2
B=
1
0
2
3
42
"
k
Aki Bjk
"
Bli Ajl =
"
k
Bjk Aki
"
Ajl Bli =
como desejado.
2.17
Exerccios
f (t)g(t)dt.
1
43
1 0 0 0
0 1 0 0
0 0 0 0
0 0 0 0
E11 = .
, E12 = .
.
.. , ,
.
.
.
.
.
.
.
0 0 0 0
0 0 0 0
Enn =
0
0
..
.
0 0
0 0
0 0
0
0
.. .
.
1
Captulo 3
Equaes Diferenciais
Ordinrias
Uma equao diferencial uma equao envolvendo uma funo desconhecida e suas derivadas. As equaes diferenciais tm inmeras
aplicaes prticas em medicina, engenharia, qumica, biologia e outras diversas reas do conhecimento pois podem ser usadas para modelar problemas relacionados com taxas de variao. Equaes diferenciais tambm aparecem naturalmente no estudo da dinmica dos
sistemas fsicos, uma vez que a funo matemtica que representa
um sistema em um dado instante de tempo deve em geral satisfazer
uma equao diferencial. Neste captulo fazemos um breve estudo
de equaes diferenciais ordinrias. Nossa ateno ser voltada para
equaes diferenciais lineares, que so as mais usadas em mecnica
quntica. Para um tratamento bastante completo do assunto o leitor
pode consultar [Sot, DL].
3.1
45
46
importante ressaltar que o teorema acima garante apenas existncia local, ou seja, em torno de alguma vizinhana de t0 . Alm
disso, mesmo sabendo da existncia de uma soluo, pode no ser
trivial encontr-la. No entanto, se tivermos um funo candidata a
soluo basta substitu-la na equao e verificar se ela satisfeita.
Em caso afirmativo, saberemos que essa a soluo que procuramos,
uma vez que a soluo nica.
3.2
47
(3.3)
R Cn
t $ eAt x0 ,
" 1
1 2 2
t A + ... =
tk Ak .
2!
k!
k=0
48
1 2 2
t A + ) = AeAt = eAt A
2!
(onde a ltima igualdade segue do fato simples de que a matriz A
comuta com I e com qualquer outra potncia de A, de forma que
podemos colocar A em evidncia direita ou esquerda).
Logo,
d
d
x(t) = eAt x0 = AeAt x0 = Ax(t)
dt
dt
e a equao satisfeita; logo, x(t) = eAt x0 a soluo do PVI enunciado acima.
A derivao termo a termo na srie que define etA deve ser justificada.
= A(I + tA +
"
cn X n
i=0
"
ncn X n1
i=0
3.3
Exerccios
1
0
=: D + N
49
d
dt x
d
dt y
= 2x + 3y
=
2y
Captulo 4
Grupos
Neste captulo recordamos o importante conceito de grupo e apresentamos exemplos de grupos especiais de transformaes lineares,
alguns dos quais sero usados mais tarde.
4.1
Grupos
51
Exemplo 4.3. O conjunto BL(V, V ) das transformaes lineares bijetivas de V munido da operao de composio um grupo. A aplicao identidade idV : V V faz o papel de elemento neutro (ou
unidade) deste grupo.
Um subconjunto no vazio H de G, munido da mesma operao
produto do grupo G, dito um subgrupo se:
i Para todo h1 e h2 de H, temos h1 h2 H;
ii Para todo h em H temos h1 H.
4.2
Grupos de Matrizes
4.2.1
Matrizes Invertveis
Uma matriz tem inversa se, e somente se, seu determinante diferente
de zero. Definimos
GL(n, C) = {A Mn (C) tal que det A &= 0}
e afirmamos que este conjunto, com a operao usual de produto
matricial, um grupo. Com efeito, os elementos de GL(n, C) tm
52
[CAP. 4: GRUPOS
inversa, pelo que foi comentado na seo 2.13.2; se A e B so elementos de GL(n, C) ento det AB = det A det B &= 0, e portanto
AB GL(n, C). O leitor no ter dificuldade em verificar que a
matriz identidade I tambm um elemento de GL(n, C) (sendo que
associatividade uma propriedade do produto matricial em geral).
Desta forma esse conjunto de fato um grupo, como desejado.
Um subgrupo interessante de GL(n, C) o que constitudo por
matrizes cujo determinante exatamente 1:
SL(n, C) = {A GL(n, C) tal que det A = 1}
De fato, se A e B esto em SL(n, C) ento
det AB = det A det B = 1
e assim AB SL(n, C), mostrando que SL(n, C) fechado com
relao ao produto; por outro lado, se A SL(n, C) ento tambm
tem uma inversa A1 (pois esta em GL(n, C)) e
det A1 =
1
=1
det A
4.2.2
Matrizes Unitrias
53
4.2.3
Matrizes Ortogonais
"
"
Oki Okj
4.3
Matrizes Especiais
4.3.1
SU(2)
e || + || = 1
54
[CAP. 4: GRUPOS
que tentaremos deixar clara. Em primeiro lugar, podemos representar S 3 como um subconjunto de C2 (e no do R4 , como fizemos),
escrevendo
& 2 = x1 + ix2 e = x3 +2 ix4 . 2Ento fica claro que a condio
xi = 1 equivalente a || + || = 1. Mas ento podemos
considerar uma matriz
@
A
M=
que exatamente um elemento de SU (2). Desta forma, podemos
induzir na esfera S 3 um produto: dados dois pontos p e q de S 3 ,
p = (x1 , x2 , x3 , x4 )
q = (y1 , y2 , y3 , y4 )
q = (2 , 2 )
55
4.3.2
SU(n)
4.4
Representao de Grupos
56
[CAP. 4: GRUPOS
0
1
(a) =
(a) =
0
1
1
0
1 0
0 1
A
.
A
4.5
Ao de Grupos
57
4.6
Definio 4.1. Uma relao binria em um conjunto X um subconjunto R de X X. Se (x, y) R usaremos a notao x y. Uma
relao binria em um conjunto X chamada relao de equivalncia
se satisfaz as seguintes propriedades
1. x x (reflexividade);
2. Se x y ento y x (simetria);
3. Se x y e y z ento x z (transitividade).
58
[CAP. 4: GRUPOS
4.7
A Fibrao de Hopf
Uma bela construo matemtica, a fibrao de Hopf , aparece naturalmente na descrio dos estados de um qbit. Esta seo dedicada
a explic-la.
Definio 4.2. Uma fibrao definida por um mapa h que leva
um espao E em um espao B, chamado espao base. Um conjunto
F E chamado fibra se corresponde a h1 (p) para algum p B.
Exemplo 4.11. Um exemplo trivial a projeo
C
h : R3
D
b c
R2
C
a
$
D
b .
59
x2 +y 2 1
x2 +y 2 +1
$
.
Observao 6. Um exerccio mais sofisticado mostrar que os mapas h1 e h2 so contnuos com respeito s topologias adequadas. Tambm possvel mostrar que o mapa h2 uma realizao do famoso
homeomorfismo entre o plano e a esfera menos um ponto. Assim,
ao passar do plano complexo para o plano mais um ponto, onde cada
ponto da forma C = 1 , dizemos que foi feita a compactificao do plano complexo, acrescentando o chamado ponto de infinito,
correspondente a = 0. Esta compactificao normalmente chamada esfera de Riemann.
60
[CAP. 4: GRUPOS
D
sen(2 1 ) .
4.8
Exerccios
61
uma ao de G sobre R.
1 x y
0 1 z
0 0 1
Captulo 5
lgebras C
Neste captulo formalizaremos um conceito que j estava latente nas
pginas anteriores, o de lgebra C , e mostraremos mais alguns exemplos. O leitor que se interessar pelo assunto deve consultar o
texto introdutrio de Ruy Exel [Exe].
5.1
lgebras C
63
6. -a a- = -a-2 ;
ento temos uma lgebra C .
Exemplo 5.1. C com a norma usual -z- = |z| e com a involuo
z = z sendo a operao de tomar o complexo conjugado uma lgebra C .
Exemplo 5.2. Seja C0 (R) o conjunto das funes f : R C contnuas e que se anulam no infinito, isto , tais que para todo " > 0 o
conjunto {x : |f (x)| "} compacto. A norma
-f - = sup |f (x)|
xR
torna esse espao vetorial completo. Para termos uma lgebra precisamos introduzir um produto e o faremos da forma mais simples:
(f g)(x) = f (x)g(x), o que nos d uma lgebra comutativa. Podemos
definir uma involuo como sendo
f (x) = f (x).
Com todos esses ingredientes temos ento uma lgebra C comutativa.
Uma questo interessante a de se saber se essa lgebra tem ou
no unidade, isto , uma funo que denotaremos por 1(x) tal que
1f = f 1 = f para toda f C0 (R). O leitor no ter dificuldade
em verificar que nossa funo s pode ser 1(x) = 1 para todo x R,
mas esse no um elemento de C0 (R) pois no se anula no infinito.
Desta forma essa uma lgebra sem unidade.
O leitor convidado a repensar o exemplo acima, mas trocando R
por [0, 1] para concluir que C[0, 1] (norma, produto e involuo como
acima) uma lgebra C com unidade.
O exemplo acima pode ser repetido trocando R por um espao
X mais geral. interessante notar que esse modelo bsico de uma
lgebra C comutativa na verdade , num certo sentido, o nico modelo pois uma lgebra desse tipo sempre acaba sendo isomorfa a uma
lgebra C(X) para um certo X (este um resultado muito importante
na rea, conhecido como Teorema de Gelfand. O leitor curioso
remetido a [Exe] para uma discusso mais completa).
64
[CAP. 5: LGEBRAS C
Exemplo 5.3. Seja Mn (C) o conjunto de matrizes n n com coeficientes complexos. Este espao vetorial tem um produto natural, o
produto de matrizes, que o torna uma lgebra. Podemos definir uma
norma como sendo a norma usual de operadores
-A- = sup |A(v)|.
v:|v|=1
65
5.2
a(x)p(x)dx
[0,1]
66
[CAP. 5: LGEBRAS C
5.2.1
+b|a ) = Tr(b a) =
n
"
i=1
+ei |a bei ) =
Alm disso,
i=1
n
"
+a|a ) = Tr(a a) =
=
i=1
+ei |b aei ) =
n
"
i=1
+a bei |ei ) =
n
"
+ei |a aei ) =
n
"
-aei -2 0.
i=1
i=1
n
"
+aei |aei ) =
i=1
67
n
"
F 6 B
a ei 6Vf a ei .
n
"
F 6 B
ei 6aVf a ei =
i=1
i=1
a |e
= 0.
1
para qualquer v Cn
< 6
=
6
e, assim, Vf 0. Tambm verificamos que v 6Vf v real (de fato
no-negativo) e portanto
F 6 B
v 6Vf v = +Vf v|v ) = +v|Vf v ) = +v|Vf v ).
68
[CAP. 5: LGEBRAS C
obtemos, respectivamente,
F 6
B
F 6
B
w6(Vf Vf )v = v 6(Vf Vf )w e
F 6
B F 6
B
w6(Vf Vf )v = v 6(Vf Vf )w .
< 6
=
< 6
=
< 6
=
6
6
6
Logo v 6(Vf Vf )w = w6(Vf Vf )v = v 6(Vf Vf )w e
< 6
=
6
assim v 6(Vf Vf )w = 0 para qualquer escolha de vetores v e w,
o que implica que devemos ter Vf = Vf , como afirmamos.
Portanto o espao de estados da lgebra C definida por Mn (C)
corresponde ao espao de elementos de Mn (C) hermitianos, positivos
e de trao unitrio. Voltaremos a encontrar estes estados no captulo
9.
5.3
69
5.4
Exerccios
Interldio
Agora sim comearemos com a mecnica quntica.
Nesta parte do texto, a menos que o leitor j conhea boa parte
do assunto, saltos no so recomendados. A parte principal de cada
captulo trabalha com os conceitos e ferramentas da mecnica quntica, mas sem nunca descer aos detalhes de como implementar estas
discusses em laboratrios. Por no conseguir resistir tentao de
falar de fsica, o final de cada captulo tem esse enfoque1 .
Como sempre, to ou mais difcil do que escrever foi escolher
sobre o que no escrever. Se voc discordar das nossas escolhas, pode
nos contactar e comentar. Mas antes, tente seguir a msica desse
interldio...
1 Para assim permitir que o leitor com o gosto complementar pule tais seces,
passando ao captulo seguinte.
Captulo 6
Um Bit de Mecnica
Quntica
Vamos comear a tratar a mecnica quntica por seu exemplo mais
simples: sistemas de dois nveis, tambm chamados bits qunticos, ou
simplesmente qbits. Deliberadamente, vamos fugir da estratgia de
apresentar uma definio geral e depois descrever exemplos especiais.
Vamos, ao longo do texto, redefinindo alguns conceitos de modo a
torn-los mais e mais gerais. Assim, as definies apresentadas neste
captulo so precisas apenas quando restritas a este captulo. Ainda
que parea inconsistente, acreditamos ser didaticamente acertado.
6.1
Vamos introduzir a Mecnica Quntica partindo de seu exemplo notrivial mais simples: o bit quntico. Um bit clssico uma varivel
aleatria que pode assumir dois valores, por exemplo 0 ou 1. O
bit quntico, porm, declara os estados extremais 0 e 1 uma base
ortogonal para o espao de estados do sistema. Essa frase simples
inclui vrias afirmaes nas entrelinhas. Vamos detalh-las.
73
74
6.1.1
Estados e Medies
Todo sistema quntico possui um espao de estados, E, que um espao vetorial complexo com produto escalar. Neste captulo, dim(E) =
2. Na descrio mais simples1 de mecnica quntica, o estado de um
sistema definido por um vetor unitrio em seu espao de estados.
Toda e qualquer predio sobre o sistema pode ser feita a partir do
conhecimento de seu estado. Para uso nesse captulo, adotemos:
Definio 6.1. O estado de um sistema um vetor normalizado em
seu espao de estados.
O leitor no deve se esquecer que o espao de estados um espao
vetorial sobre os complexos. Assim, o espao de estados de um qbit
isomorfo a C2 . Uma base para o espao de estados ser dada por dois
vetores linearmente independentes, {|e1 ), |e2 )}. Como as alternativas
clssicas de um bit costumam ser denotadas 0 e 1 e a notao de Dirac prescinde de uma letra para designar o vetor (a prpria figura do
ket j nos indica sua presena), comum utilizarmos a base {|0), |1)}.
O leitor deve ter muito cuidado para no confundir |0) com a origem
do espao vetorial. Claramente este no o caso, pois |0) e |1) so
linearmente independentes. Como tais vetores correspondem a alternativas clssicas2 distintas, temos ainda que esta base ortonormal.
Chegamos assim importante noo de teste, apresentada aqui para
qbits:
Definio 6.2. Um teste com alternativas clssicas a e b associado
a uma base ortonormal, denotada {|a), |b)}. Aplicar um teste pode
ser visto como decompor o vetor com relao a esta base, para em
seguida selecionar apenas uma das alternativas.
Definida uma base, todo vetor do espao de estados pode ser escrito como combinao linear destes elementos. Para um qbit, ento,
seu estado ser descrito por
|) = |0) + |1),
(6.1)
75
do prximo captulo.
76
6.1.2
Como relacionamos as alternativas clssicas 0 e 1 com a base ortonormal {|0), |1)}, natural introduzir o seguinte
Postulado 6.2. Aps a realizao de um teste para discriminar entre
as alternativas clssicas 0 e 1, se o resultado obtido foi 0, o sistema
passa a ser descrito pelo estado |0); se o resultado obtido foi 1, o
sistema passa a ser descrito pelo estado |1).
Este postulado est naturalmente associado noo de reprodutibilidade de testes. Ou seja, se um teste realizado e se obtm um
resultado, repeties deste mesmo teste no mesmo sistema corroboraro o resultado obtido5 . importante distinguir aqui entre agir
novamente no mesmo sistema e realizar o teste em outro elemento
do ensemble. Por construo da ideia de ensemble, seus elementos
so independentes. Assim, embora sigam a mesma distribuio de
4 Ensemble a palavra francesa para conjunto. Ganhou destaque e uso prprio
na mecnica estatstica e na mecnica quntica correspondendo a esta noo de
conjunto infinito de realizaes de um certo estado.
5 Ainda no falamos sobre evoluo temporal de estados. Neste momento,
adotamos tacitamente uma lei de inrcia: se nada for feito, o sistema continua no
mesmo estado.
77
78
6.1.3
1
(|0) + |1));
2
1
(|0) |1)).
2
(6.2)
79
80
6.1.4
vice-versa.
com algum sucesso comercial[.com].
81
Exerccio 6.6. Usando o que voc j aprendeu at o presente momento, proponha uma mquina quntica de gerar bits aleatrios10 .
De fato, j h trabalhos na linha de considerar aleatoriedade como
um recurso, to valioso quanto outros que ainda discutiremos nesse
texto.
6.1.5
82
(6.3)
83
&
produto 1v 1 representa a matriz i v i i . A dupla notao utilizada
(e.g.: x e X) se deve a uma ser a notao padro em textos de
mecnica quntica, a outra a notao padro em textos de informao
quntica. Vamos utilizar ambas.
Exerccio 6.9.
e Z.
6.1.6
Evoluo Temporal
(6.5)
84
(6.6)
85
2hz
! ,
ihz t
!
ihz t
!
|0),
|1),
teremos para
|(t)) =
6.2
Um pouco de Fsica
86
87
88
Captulo 7
Sistemas de d nveis
Devidamente explorado o caso mais simples, vamos passar ao caso
um pouco menos simples. Este captulo dedicado aos sistemas
qunticos de d nveis, ou seja, mecnica quntica em espao de
estados com dimenso finita.
7.1
Agora precisamos refazer a discusso da seco 6.1. A principal diferena advm do fato que, agora, um teste pode distinguir entre menos
alternativas que a dimenso do espao.
7.1.1
Estados e Medies
Como j afirmamos, todo sistema quntico possui um espao de estados que um espao vetorial complexo com produto escalar, E.
Neste captulo, a nica exigncia que dim(E) = d < . Ainda na
descrio mais simples e restrita da mecnica quntica, o estado de
um sistema definido por um vetor unitrio em seu espao de estados.
Toda e qualquer predio sobre o sistema pode ser feita a partir do
conhecimento de seu estado. Para uso nesse captulo, essencialmente
repetimos a definio 6.1:
89
90
Postulado
G 7.1. Sejam E um espao de estados, |) E um estado
e E =
i Ei um teste. Sejam ainda Pi : E E os projetores
ortogonais sobre cada Ei . A probabilidade de obter o resultado i
dada por pi = +|Pi |).
2. Seja {|vi )}i=1 uma base ortonormal. Defina Pi = |vi )+vi |. Mostre que1 Pi Pj = ij Pj .
&
3. Para J {1, . . . , d} defina PJ = iJ Pi . Mostre que PJ PK =
PJK . Em particular, PJ2 = PJ .
4. Qual a forma diagonal de PJ ? Interprete TrPJ , o trao de PJ .
Exerccio 7.2. Mostre que a definio 6.2 um caso particular da
7.2.
A definio 7.2 e o exerccio 7.1 podem ser unidos para chegar
forma mais comum de se descrever
H6 BI tais medies. Para cada Ei ,
escolha uma base ortonormal 6vik , onde o ndice k corre de
H6 1 at
BI
di = dim Ei . Temos ento uma base ortonormal para E, 6vik .
Se escrevemos o vetor
6 Bde estado |) com respeito a essa base, temos
& &di
k6 k
|) = i k=1 i vi .
1
ij
= 1, se i = j; ij = 0, se i $= j.
91
Exerccio 7.3.
1. Mostre que pi , a probabilidade de obter a al& i 6 k 62
6 6 .
ternativa i, dada por dk=1
i
Deve ficar claro porque esse tipo de medio normalmente chamada uma medio projetiva. Medies mais gerais que estas sero
discutidas no captulo 9, juntamente com uma noo mais geral de
estado.
Uma base para o espao de estados ser dada por d vetores linearmente independentes, {|e1 ), |e2 ), . . . , |ed )}. Justamente pela associao de testes a bases ortonormais, bastante comum que no contexto
de mecnica quntica, salvo meno em contrrio, bases sejam sempre ortonormais.
O Teorema Espectral permite associar esta noo de teste a uma
outra noo, muito presente nos textos de mecnica quntica do sculo XX: a de observvel2 . Seja A um operador auto-adjunto. O
teorema espectral nos diz que ele pode ser escrito como
"
ai Pi ,
A=
i
onde ai so seus autovalores (reais) e Pi projetores sobre os respectivos auto-espaos. Assim, comum, no chamado processo de quantizao cannica, associar a cada grandeza da mecnica clssica um
observvel A, que um operador auto-adjunto. A definio 7.2 passa
a ser lida como: os resultados possveis para cada medio so dados
pelos autovalores de A, com as probabilidades previamente associadas. Podemos ento calcular a esperana de A (tambm chamada
valor mdio, ou valor esperado), em um estado |), dada por
"
"
"
ai +|Pi |) = +|
ai Pi |) = +|A|).
ai p i =
+A) =
i
7.1.2
92
Exerccio 7.5. Mostre que o postulado 6.2 pode ser visto como caso
particular do postulado 7.2 se acrescentarmos a noo de equivalncia
de estados do exerccio 6.7.
Ei
93
7.1.3
Geometria
7.1.4
Evoluo Temporal
94
pode ser vista como uma curva em E (ou mesmo, nos vetores unitrios
de E) para cada |) (unitrio), ou ainda, se passarmos ao quociente,
uma curva em CPd1 .
7.2
95
0 1 0 0 ...
0 0 0 ... 1
0 0 1 0
1 0 0
0 0 0 1 ...
0 1 0
0 ...
N+ =
e N =
.
..
..
..
..
.
.
.
1 0
0 ...
0 ...
a0
a1
a0
an1
a1 a2
a1 a0
N+ . = . e N . = . .
.. ..
.. ..
an1
a0
an1
an2
2
b0,l
1
b1,l
|Bl ) =
.
..
d
.
bn1,l
2
96
Exerccio 7.7. Para a e b reais, obtenha os autovalores e os autovetores do operador a(N+ + N ) + bI.
Os vetores |Bl ) so uma base de Cd e portanto um estado inicial |) qualquer pode ser expresso como combinao linear |) =
&d
l=1 cl (0)|Bl ). Para obter a evoluo temporal deste estado inicial,
se considerarmos como hamiltoniano do sistema, devemos resolver
a equao de Schrdinger
d
|(t)) = i|(t)).
dt
Supondo que cada cl uma funo do tempo, obtemos uma famlia
de equaes
d
cl (t) = il cl (t)
dt
cuja soluo
cl (t) = eil t cl (0).
7.2.1
Operador Posio
X=
0 0
0 1
0 0
..
.
0
0
2
0
0
0
..
.
0 0
0 ... n 1
...
...
para k = 0, 1, . . . , d 1,
97
n1
"
j=0
bj,l |vj ).
7.3
A Relao de Incerteza
98
que tem mdia zero no estado dado). Para uma varivel aleatria
qualquer, X, definimos sua varincia como
F B
2
Var(X) = X 2 +X) .
Para observveis qunticos, os valores esperados sero calculados segundo sua prescrio.
F Ao
B consideramos apenas observveis com mdia nula, Var(A) = A2 . Veremos que
[A, B] = AB BA &= 0
1
2
|+|[A, B] )| .
4
F 6
BF 6
B
= 6A2 6B 2
= +A|A )+B|B )
= -A-2 -B-2
|+A|B )|2
+|AB )
+|([A, B] + BA) )
+|[A, B] ) + +|BA )
+|[A, B] ) + +BA| )
+[A, B]| ) + +A|B ).
99
Logo,
Im(+A|B )) =
1
+|[A, B] ).
2i
Assim,
Var(A) Var(B) |+A|B )|2 |Im(+A|B ))|2 =
1
|+|[A, B] )|2 .
4
7.4
100
Se um qbit permitia entender uma transio entre dois nveis atmicos, agora podemos trabalhar com processos onde vrios nveis desempenham papel relevante. Se o qbit bem representava o experimento
de fenda dupla, agora podemos trabalhar com fendas mltiplas.
Todos os exemplos citados acima so importantes e interessantes, mas o que acontece se tratarmos de um experimento de fendas
mltiplas com partculas de spin 21 , por exemplo? Esse um primeiro exemplo onde queremos tratar um sistema quntico composto,
o assunto do captulo 8.
Captulo 8
Sistemas Qunticos
Compostos
Agora poderemos discutir um dos aspectos mais interessantes da mecnica quntica. Assim como um par de variveis aleatrias podem
ser considerado uma nova varivel aleatria em um espao produto,
um par de sistemas qunticos tambm pode ser visto como um novo
sistema quntico, em um espao de estados produto. Mas as coisas
so um pouquinho diferentes...
8.1
8.1.1
Dois Qbits
Estados e Medies
Dois bits clssicos podem assumir quatro valores: 00, 01, 10 e 11.
Deve ser claro da prpria maneira de escrever que os dois bits trabalhados so distintos: existem o primeiro bit e o segundo bit, ou ainda
o bit A e o bit B. Portanto, dois bits clssicos correspondem a uma
varivel aleatria com quatro possveis valores. Dois bits qunticos
correspondero a um sistema quntico de 4 nveis, com uma base
para seu espao de estados dada por {|00), |01), |10), |11)}. Conforme
apresentado na 2.14, podemos ver esta base como a base produto
Z Z, o que permite reconhecermos um isomorfismo C4
= C2 C2 .
101
102
103
Bell1 :
| ) =
| ) =
1
(|00) |11)),
2
1
(|01) |10)).
2
(8.1a)
(8.1b)
104
3 No
105
106
8.1.2
(8.2)
107
8.1.3
Dois spins
1
2
!
x ,
2
Sy =
!
y ,
2
Sz =
!
z ,
2
(8.3a)
!
1u 1
2
(8.3b)
108
(8.4)
e estudarmos seus autovalores e autovetores. O mais simples comear por 1u = (0, 0, 1).
Exerccio 8.10. Com respeito base Z Z, obtenha as matrizes
que representam os operadores Sz I, I Sz e Sz .
Com o exerccio 8.10 voc deve ter obtido trs autovalores para
a componente z do spin do sistema composto: !, 0 e ! e deve ter
notado que o autovalor 0 degenerado.
Exerccio 8.11. Com respeito mesma base, obtenha matrizes que
representam Sx = Sx I + I Sx e Sy = Sy I + I Sy .
109
O que acabamos de obter uma decomposio bastante interessante, razoavelmente bvia em termos de dimenses, mas com consequncias profundas na mecnica quntica:
C2 C2
= C C3 ,
(8.5)
onde C se refere ao espao vetorial gerado por | ) e C3 seu complemento ortogonal. Em especial, voc deve reexaminar os resultados
do exerccio 8.4 para buscar compreend-los mais profundamente.
Exerccio 8.13. Considere a ao de grupo U (2) C4 C4 , definida em vetores decomponveis por (U, |) |)) $ U |) U |) e
estendida por linearidade.
1. Descreva geometricamente as rbitas de cada estado de Bell
obtidas por esta ao. Em particular, quantas so e qual a
dimenso de cada uma?
2. Mostre que esta ao passa ao quociente, isto , induz uma
ao de U (2) sobre CP3 . Como so as rbitas dos estados de
Bell nessa descrio?
3. Como isso se relaciona com a decomposio (8.5)?
8.1.4
Evoluo Temporal
A evoluo temporal continua sendo ditada pela Equao de Schrdinger (6.5). O ponto de discusso agora sero os diferentes hamiltonianos que determinam tal evoluo.
Se H AB = H A + H B , onde H A denota algum operador autoB
adjunto
J A Bda
K forma HA I, enquanto6H da forma I HB , teremos
H , H = 0 e, consequentemente ,
C
D
C
D
C
D
U AB (t) = exp iH AB t = exp iH A t exp iH B t = UA (t)UB (t).
Isso significa que cada base produto ser levada por U AB (t) em uma
outra base produto. Portanto, uma evoluo temporal assim propaga
as correlaes, sem cri-las nem destru-las.
6 A partir daqui adotamos o hbito de escolher unidades de forma que ! = 1.
Pode ser um interessante exerccio o leitor identificar onde esto estes ! escondidos.
110
(8.6)
gera dinmicas independentes nas partes A e B que esto sendo consideradas conjuntamente, como um sistema composto.
A coisa muda de figura quando a forma (8.6) no pode ser alcanada, ou seja, quando no temos geradores independentes para as
dinmicas de cada parte.
Exerccio 8.15. Tome como exemplo o hamiltoniano H AB = z
z .
1. Mostre que existe estado produto que se mantm produto pela
evoluo temporal;
2. Mostre que tambm existe estado produto que se torna emaranhado pela evoluo temporal;
3. Podemos escrever este H AB na forma (8.6)?
Neste caso, comum escrever-se o hamiltoniano do sistema composto na forma (no nica)
H AB = HA I + I HB + Hint ,
(8.7)
111
8.2
112
&
Se a decomposio de Schmidt de |) |) = i i |i )|i ), com
a conveno que os coeficientes so reais,
C Dno-negativos e escritos em
1 = 2 de vetor de Schmidt do
ordem decrescente, chamamos
i i
estado |). Note que a normalizao de |) implica que o vetor de
Schmidt um vetor de probabilidades, ordenado.
Para dois vetores de probabilidade, p1 = (pi )i e 1q = (qi )i , escritos
em ordem decrescente, dizemos que p1 majora 1
q , e denotamos 1p : 1q ,
quando
k
k
"
"
qi , k.
(8.8)
pi
i=1
i=1
1 : ,
1 ento existe uma estraO resultado de Nielsen [Nie] que se
tgia de LOCC capaz de converter |) em |). Se no permitida a
utilizao de outros sistemas quntico auxiliares9 , o critrio ainda
mais restritivo: se a majorao for estrita (quer dizer, para algum
k a desigualdade em (8.8) estrita), no apenas existe estratgia
de LOCC para converter |) em |), como no existe estratgia de
LOCC capaz de converter |) em |).
Interessante entender que a relao de majorao impe uma ordem parcial nos vetores de probabilidades e que o resultado discutido
acima mostra que essa ordem parcial levada ao emaranhamento dos
estados qunticos de duas parte. A melhor forma de entender por que
o ordenamento parcial (e quando ele total) parece ser resolver o
seguinte:
Exerccio 8.18. Mantendo a notao p1 e 1
q para vetores de probabi1 e
1 para vetores de Schmidt dos estados |) e |), respectilidade,
vamente:
1. Obtenha 1p e 1
q de forma que nem p1 : 1q , nem 1q : p1;
2. Mostre que se p1 = (p1 , p2 ) e 1
q = (q1 , q2 ), necessariamente ou
p1 : 1q , ou 1q : p1; Este item pode ser enunciado como: distribuies de probabilidade de Bernoulli10 so completamente
ordenadas pela relao de majorao;
9 E a propria definio de LOCC os descarta; aqui estamos apenas sendo
enfticos e o leitor curioso pode encontrar na ref. [JP] o motivo.
10 Aquelas onde o espao amostral tem apenas dois elementos.
113
1 = 1
1 = 1q do item 1 para exibir estados qunticos
3. Use
p e
de sistemas de duas partes que no podem ser conectados por
LOCC em nenhum sentido;
4. Mostre que os estados puros de dois qubits so completamente
ordenados com respeito ao emaranhamento.
Com relao geometria dos estados fisicamente distintos de sistemas bipartidos, sugerimos o exerccio a seguir.
Exerccio 8.19. Considere agora dois espaos projetivos complexos,
CPm e CPn . Construa o mergulho de Segre destes dois espaos, ou
seja, construa uma aplicao semelhante (8.2) no espao projetivo
com a dimenso adequada e faa a relao deste com os estados produto de um sistema quntico de duas partes.
Exerccio 8.20. Releia a subseco sobre evoluo temporal de dois
qbits, 8.1.4, fazendo sua generalizao para sistemas bipartidos quaisquer.
claro que, ao especificar como considerar dois sistemas conjuntamente, estamos tambm dando a receita para considerar qualquer
quantidade de sistemas como partes de um sistema maior.
8.3
Mais Qbits
114
isomorfo a C2
= C2 .
8.3.1
Emaranhamento: W vs GHZ
115
8.3.2
Geometria
116
8.3.3
Vrios spins
1
2
(8.10)
(8.11)
A
B
C
J =
+
+
.
15 Outras questes, tambm interessantes, aparecem quando consideramos partculas indistinguveis em mecnica quntica, mas no vamos abordar estas questes aqui.
16 Chamamos S P de extenso trivial de S , agindo na parte P .
!
u
!
u
117
C
(8.12)
= C C C3 C3 C3 C5 .
8.4
Compondo ou Decompondo?
118
Para responder essa questo fazemos uma exigncia de consistncia: se tratarmos as partes conjuntamente, devemos reobter o todo. E
assim, como a dimenso do produto tensorial de dois espaos vetoriais o produto de suas dimenses, as possveis decomposies devem
respeitar a decomposio em fatores primos da dimenso do espao
de estados do sistema grande. Dessa forma, para alguns casos h,
nesse sentido, uma nica decomposio:
C4
C6
Cpq
..
.
C2 C2 ,
C2 C3 ,
Cp Cq ,
119
bases ortonormais para cada fator e teremos a base produto, tambm ortonormal, para Cmn . Podemos inverter este processo e assim
obter diferentes TPS: escolhidos uma base ortonormal para Cmn e
um ordenamento para essa base, seus vetores podero ser numerados
{|eij )}, com i = 1, . . . , m e j = 1, . . . , n. Podemos ento declarar
que |eij ) = |i ) |j ), com {|i )} uma base ortonormal para um
fator Cm e {|j )} uma base ortonormal para o outro fator Cn . Duas
escolhas assim feitas geraro estruturas de produto tensorial equivalentes se a unitria, U , de C mn , que leva uma base ordenada em
outra, for decomponvel, i.e.: U = UA UB , com respeito a uma das
estruturas19 .
interessante notar que as propriedades de emaranhamento s
so definidas quando uma estrutura de produto tensorial apresentada. Assim, estados produto em uma TPS podem ser emaranhados
em outra e vice-versa. De fato, a construo acima mostra que para
todo vetor de estado existe uma TPS com respeito qual ele produto. Se, alm disso, reinterpretarmos o fato de um vetor genrico ser
emaranhado (exerccios 8.7 e 8.19), como com respeito a uma TPS
genrica aquele vetor emaranhado, somos levados a concluir que
emaranhamento no uma propriedade intrnseca de estados qunticos, mas dependem da TPS subentendida [TDV].
Exerccio 8.27. Defina uma TPS a partir da base de Bell, eq. (8.1).
Mostre que, com respeito a essa TPS, os vetores |ij) so maximamente emaranhados.
8.5
Vamos seguir Einstein e Feynman. Feynman afirma que o experimento de fenda dupla contm o nico mistrio da mecnica quntica
[FLS], enquanto Einstein tem uma citao famosa: voc sempre deve
fazer as coisas da maneira mais simples possvel20 .
Assim, vamos voltar ao interfermetro de fenda dupla, mas agora
considerando experimentos com um sistema auxiliar. Este sistema
auxiliar tem como objetivo registrar por qual fenda passa a part19 Por
20 A
120
cula interferomtrica. Para ser o mais simples possvel, consideraremos os dois estados de fenda, |d) e |e), enquanto o ponteiro que
registra por qual fenda a partcula passou ter seu espao de estados
gerado por |;) e |<). A dinmica deste sistema ser considerada de
forma ideal: o estado inicial do ponteiro ser
1
|) = (|;) + |<)),
2
com a evoluo temporal sendo condicionada ao estado de fenda:
|d) |)
$ |d) |;),
|e) |) $ |e) |<).
(8.14a)
(8.14b)
(8.14c)
1 (|d)
2
D
1 C
onde |) = |d) + ei |e) ,
2
1
1
1
1
(+d, ;| + +e, <|) () I (|d, ;) + |e, <)) = ,
2
2
(8.16)
121
Captulo 9
Operador Densidade
Formulamos a Mecnica Quntica usando a linguagem de vetores de
estado. Uma formulao alternativa e mais geral possvel usando
uma ferramenta conhecida como operador densidade ou matriz densidade [CDL].
O operador densidade em geral usado para indicar que nosso
conhecimento incompleto devido s imperfeies na preparao dos
estados, ou devido impossibilidade de conhecimento completo do
estado quntico do sistema, o que acontece quando o estado de um
sistema composto emaranhado.
9.1
123
[0, 1],
124
125
Os estados que no so puros so chamados mistos e sempre podem ser escritos como soma convexa de estados puros. Essa decomposio, no entanto, no nica, e existem muitas maneiras diferentes
de escrever um estado misto como soma convexa de estados puros.
Para recuperarmos a definio 7.1, observamos que a cada projetor
unidimensional est associado de maneira nica uma direo em E.
Desse modo, podemos identificar os estados puros de um sistema
quntico com as classes de equivalncia de vetores unitrios em E
pela relao
|) ei |), R,
uma vez que |) e ei |) geram o mesmo subespao e portanto o projetor associado a eles o mesmo. Assim, um estado puro do sistema
caracterizado por uma reta complexa passando pela origem em E que
como j vimos, so os pontos do espao projetivo CPd1 . Essa uma
das vantagens de se representar estados usando operadores densidade,
pois a cada estado fsico corresponde apenas um operador.
Os estados puros, pontos extremais de D(E), so os estados que
foram considerados nos captulos anteriores. Existem muitos operadores densidade em D(E) que no so puros. Em breve veremos por
que precisamos deles.
9.1.1
126
em que
|i ) =
Pi |)
.
-Pi |)-
..
- "
"
"
= Tr(A).
ai Tr(Pi ) = Tr
ai Pi
p i ai =
+A) =
i
(9.1)
9.1.2
Um estado geral de um qbit representado por um operador densidade agindo em C2 . O conjunto dos operadores hermitianos um
espao vetorial real e uma base para esse espao formado pelos
operadores de Pauli juntamente com o operador identidade I. Desse
modo, um operador densidade de um qbit pode ser sempre escrito na
forma
1
= (I + a1 + b2 + c3 ).
(9.2a)
2
O coeficiente de I deve ser 1/2 porque ela a nica matriz da base que
tem trao no nulo,C igual a dois,
D e Tr() = 1. Agora devemos impor
condies ao vetor a b c para que o operador seja positivo.
127
(9.2b)
(9.2c)
Logo podemos fazer uma associao bijetiva entre operadores densidade de um qbit e pontos na bola de raio um em R3 , comumente
chamada bola de Bloch. Os pontos na esfera S 2 correspondem aos
operadores que possuem determinante igual a zero, que nesse caso
so exatamente os estados puros. Essa associao coincide com a que
fizemos utilizando a fibrao de Hopf na seo 6.1.5.
9.2
128
9.3
A seo anterior mostra que nos casos em que no possumos informao completa sobre o sistema ele ser representado por um estado
misto. Existe outra situao em que, mesmo comeando com um estado puro, somos levados a considerar estados mistos: quando temos
acesso a apenas um dos subsistemas de um sistema composto.
Se o espao de estados do sistema A EA e o espao de estados
do sistema B EB ento os estados do sistema composto AB so
representados por operadores densidade em EA EB . Podemos usar
o isomorfismo
: L(EA ) L(EB ) L(EA EB )
definido para vetores decomponveis da forma
(OA OB )|vA ) |vB ) = OA |vA ) OB |vB )
e estendido por linearidade para os outros vetores. Esse um isomorfismo que preserva trao e positividade, de modo que os operadores
densidade em EA EB podem ser vistos como operadores positivos
de trao um em L(EA ) L(EB ).
Seria adequado associar um estado, e portanto um operador densidade, a cada sistema simples, especialmente em um cenrio onde
as partes A e B estejam separadas espacialmente. Para isso vamos
precisar da definio de trao parcial 2.11.
Postulado 9.4 (Operadores densidade reduzidos). Dado o operador
densidade que descreve um sistema quntico composto AB, o operador densidade A que descreve o sistema A dado por
A = TrB (),
129
O exerccio acima mostra que, apesar de podermos associar operadores densidade A e B a um sistema composto descrito pelo estado
, no sempre verdade que = A B . Alm disso, mesmo que
represente um estado puro, A e B podem no o ser! De acordo com
Schrdinger [Sch], uma outra maneira de expressarmos essa situao
peculiar da mecnica quntica : The best possible knowledge of a
whole does not necessarily include the best possible knowledge of all
its parts. Essa mais uma surpresa que aparece como consequncia
do emaranhamento: para estados emaranhados, mesmo puros, os
operadores densidade reduzidos so sempre mistos.
Teorema 9.3. Um estado puro fatorvel se e somente se os operadores densidade reduzidas A e B correspondem a estados puros.
Demonstrao. Basta utilizarmos a decomposio de Schmidt
"
ai |ii).
|) =
i
130
um estado misto.
Corolrio 9.4. (da demonstrao) Para um estado puro dos sistema
de duas partes, os autovalores no nulos de A e B so os mesmos,
com as mesmas multiplicidades.
9.4
Medies Generalizadas
Mi Mi
TrMi Mi
131
Ento os operadores
i
Mi = (I + v1i 1 )
2
definem um processo de medio para o sistema de um qbit [LBe].
Exemplo 9.7. Particularizando o exemplo anterior,
v11
v12
v13
= (0, 0, 1),
>
?
1
3
=
, 0, ,
2
2
?
>
1
3
, 0,
=
2
2
>
?
1
1
3
M2 = I
x z ,
2
2
6
>
?
1
1
3
M3 = I +
x z
2
2
6
Exerccio 9.7. Encontre o POVM relacionado ao processo de medio descrito no exemplo 9.7.
Exerccio 9.8.
1. Encontre a probabilidade de encontrarmos o
valor 1 se realizarmos a medio descrita no exemplo 9.7 no
estado |+) e o estado do sistema aps a medio caso esse resultado seja obtido.
2. Seja 1 o operador densidade obtido no item anterior. Mostre
que se repetirmos o processo de medio nesse estado a probabilidade de obtermos os resultados 2 e 3 no nula. A condio de
reprodutibilidade continua valendo para medies generalizadas?
132
9.5
Evoluo Temporal
Nos captulos anteriores abordamos a evoluo temporal de um sistema isolado, dada pela equao de Schrdinger. Agora vamos considerar o caso mais geral de evoluo temporal [B].
Vamos estudar os mapas qunticos, que so mapas que levam o
conjunto de matrizes densidade nele prprio, de uma maneira que
faa sentido do ponto de vista fsico, o que explicaremos melhor mais
a frente.
Dado um sistema fsico com espao de estados E de dimenso
d, vamos fixar uma base ortonormal em E e representar um operador densidade em D(E) por sua matriz em relao a essa base, que
chamaremos matriz densidade.1 Vamos comear com mapas
: D(E)
M (E)
$ % ,
133
"
n
m n
n
% = (% ) : %m = %m
"
"
m n =
m n m = m .
=
n
%mm =
""
mm n = 1.
n
134
1. % = (% ) D = D .
"
2. Tr(% ) = 1
Dmn = n .
m
+w|+x|D|x)|w),
=
i
i
i
n
i pi (zi )n (zi ) . Nesse caso,
i
%
+x| |x) =
"
xm %m x
xm
"
"
pi
"
m
xm
"
n
"
Dmn
"
pi (zi )n (zi ) x
135
espao de estados E E % , em que E o espao de estados associado ao nosso sistema de interesse e E % o espao de estados de um
sistema adicional. Gostaramos que um mapa fisicamente permitido
no s levasse a matriz densidade do nosso sistema em uma matriz
densidade, mas que tambm o fizesse se considerarmos a operao
agindo em E E % . Isso quer dizer que no s deve ser um mapa
positivo, mas tambm deve ser positiva toda extenso da forma I,
em que I o operador identidade em M (E % ).
Definio 9.6. Se o mapa I agindo em M (E E % ) positivo,
em que E % um espao vetorial de dimenso k, dizemos que um
mapa k-positivo. Se um mapa k-positivo para todo k N ento
chamado um mapa completamente positivo.
A exigncia que impomos agora em que ele seja um mapa
completamente positivo. Vejamos que implicao essa propriedade
tem sobre a matriz dinmica correspondente. Como ela uma matriz
d2 d2 , podemos visualiz-la como uma matriz agindo em um espao
vetorial de dimenso d2 , que pode ser identificado com E E. Como
ela hermitiana, podemos escrev-la em decomposio espectral:2
"
"
di |i )+i |, Dmn =
di imn i .
D=
mm! ! = zmm! z! .
nn! !
"
m Im! ! nn! !
n
nn! !
"
m m! n! ! ! znn! z !
n
nn! !
"
n
2 Escrevemos
de E E.
|i "
n! !
m znm! z! =
n
""
n
di imn znm! i z! .
136
"
xmm!
mm! !
"
di
"
mm! n
""
n
di imn znm! i z!
x!
.
"
imn znm! xmm!
i z! x!
!
6
62
6
" 66 "
6
imn znm! xmm! 6 .
di 6
=
6 !
6
i
mm n
Essa quantidade deve ser no-negativa para todo |z) e todo |x) que
escolhermos. Isso s acontece se cada um dos di for um nmero nonegativo, ou seja, se D for uma matriz positiva semi-definida.
&
Por outro lado, se D uma matriz positiva e = j pj |z j )+z j |,
ento vale:
"
xmm! %mm! ! x! =
mm! !
""
i
di pj
"
!
mm n
imn znm
! xmm!
"
!
i z
! x!
62
6
6
6"
""
6
6
j
i
di pj 6
=
mn znm! xmm! 6 0.
6
6 !
i
mm n
137
Teorema 9.7 (Representao de Kraus). Um mapa linear completamente positivo se, e somente se, da forma
"
Ai Ai ,
$ % =
i
""
n
Aimn Ai n =
""
n
"
Ai Ai .
""
i
(Ai Ai )m
"
"
i
(Ai Ai )n ,
138
ou seja,
"
Ai Ai = I.
&
I() =
Ai Ai , ento
"
i
Ai I()Ai I,
9.6
9.6.1
139
9.6.2
Porm nos cabe lembrar que a viso acima, embora o conceito de lgebra de operadores tenha sido efetivamente criado aps o surgimento
da mecnica quntica, no exclusividade do mundo quntico: na
verdade podemos representar a mecnica clssica da mesma forma.
Por exemplo, considere uma partcula que se move na reta, descrita
pela hamiltoniana
p2
+ V (q).
H=
2m
Os observveis tpicos nesse caso so posio (q) e momento (p, que
est ligado a velocidade), mas podemos pensar em qualquer funo
dessas variveis como sendo tambm um observvel. A energia cinp2
um exemplo. Portanto o conjunto de observveis na
tica, K = 2m
verdade o conjunto de funes contnuas reais C(R2 ) = {f : R2 R};
este conjunto uma lgebra C com produto definido por (f.g)(x) =
f (x)g(x). Mas note ento que essa lgebra comutativa, ao contrrio
da lgebra de matrizes que est associada descrio quntica. Portanto podemos dizer que a novidade de fato na passagem do mundo
140
clssico para o quntico a troca de uma lgebra de observveis comutativa por uma no-comutativa.
9.7
Naturalmente, toda essa discusso encontra aplicaes diversas. Operadores densidade so usados, por exemplo, para descrever os estados
de equilbrio trmico, fazendo a fronteira da mecnica quntica com
a mecnica estatstica e tambm com a termodinmica.
Mas tambm podemos encontrar aplicaes do postulado 9.3 em
reas como a criptografia. Para ser mais preciso, podemos utiliz-lo
para interpretar o protocolo de distribuio quntica de chaves criptogrficas BB84 [BB84]. Nesse protocolo Ana prepara estados, que
so enviados para Bernardo, que faz um teste. At a, nada demais.
O interessante que Ana prepara sempre um de quatro estados de
um qbit: {|0), |1), |+), |)}, de maneira equiprovvel. J Bernardo
faz sempre um de dois testes: X ou Z. Se considerarmos que o sorteio
de Ana corresponde a um par de bits clssicos: o primeiro definindo
qual base ela ir usar: X ou Z, e o segundo dizendo qual dos dois
estados dessa base ela deve preparar, a mecnica quntica estudada
no captulo 6 suficiente para dizer que quando o primeiro bit de
Ana coincide com o bit que Bernardo sorteia para definir o teste que
ir usar, o segundo bit de Ana estar completamente correlacionado
com o bit que Bernardo ir extrair deste teste. Por outro lado, se o
primeiro bit de Ana for distinto, o resultado da medio independente da preparao. O protocolo segue com Bernardo divulgando,
j de posse do resultado, qual dos dois testes ele realizou e Ana, aps
comparar com sua preparao, decide pela aceitao ou descarte do
bit obtido. Outras estratgias clssicas de amplificao de privacidade e reconciliao de informao so adotadas de forma a gerar
uma chave privada, utilizando um canal quntico pblico.
O ponto central, no para a criptografia, mas para a fsica que
queremos discutir aqui, est em considerar todo o processo de Ana
como uma preparao de estado. De maneira bem geral (depois vamos incluir a equiprobabilidade), o qbit enviado por Ana pode ser
141
descrito por
= p(X , +)|+)++| + p(X , )|)+| + p(Z, 0)|0)+0| + p(Z, 1)|1)+1|,
(9.3)
que pode ser reescrito como
=
+
p(X ) X + p(Z) Z .
(9.4a)
(9.4b)
1
I.
2
Moral da histria, do ponto de vista de descrio de estado, ou
ainda, se algum fosse usar os bits que Ana prepara, sem nunca mais
voltar a se comunicar com ela, teria o estado maximamente misto
em mos. Ainda mais interessante: a discusso acima mostra trs
maneiras distintas de Ana preparar o estado maximamente misto:
X , Z e . Existem ainda vrias outras. O interessante que a
preparao (9.3), aliada ao conhecimento que Bernardo tem dela e
possibilidade dele se comunicar com Ana, permite o estabelecimento
da chave.
Aqui fizemos toda essa discusso em termos de ignorncia clssica
(sec. 9.2), mas voc pode refrase-lo em termos de ignorncia quntica (sec. 9.3) e ver que, nesse caso, o emaranhamento entre Ana e
Bernardo (antes que ele fizesse a medio) desempenharia um papel
interessante.
= X = Z =
Captulo 10
Sistemas Qunticos
Compostos - bis
Agora que j temos uma definio mais geral de estados e medies
qunticos, podemos examinar com outros olhos as correlaes presentes em sistemas compostos. Mantendo o esprito do texto, vamos
abordar vrios assuntos, alguns deles sob intensa investigao atual,
comeando pelo caso mais simples e introduzindo generalidade e complexidade posteriormente. No poderemos1 nos aprofundar em todos
esses assuntos. Vemos isso como um convite ao leitor para cuidar de
seu prprio aprofundamento, tornando-se assim um pesquisador do
assunto2 .
10.1
Dois Qbits
142
143
144
densidade da forma
AB =
"
i
B
p i A
i i
(10.1)
#
$
= Tr Mj Nk AB Mj Nk
.
"
B
p i A
= Tr Mj Nk
i i M j N k
i
"
i
"
i
"
i
#
$
B
pi Tr Mj Nk A
i i M j N k
#
$
B
pi Tr Mj A
i M j N k i N k
#
$ #
$ "
B
pi p(j|i) p(k|i),
pi Tr Mj A
i Mj Tr Nk i Nk =
i
145
10.1.1
Critrios de Separabilidade
H muitos critrios e no nos cabe ser completos aqui. Vamos apresentar alguns, seja por importncia histrica, seja por facilidade de
aplicao, ou ainda por nos ensinar algo sobre o conjunto dos estados
qunticos.
5 Em
146
Transposio Parcial
Uma propriedade simples e importante dos estados separveis foi percebida por Asher Peres [Per96]. O ponto de partida que, definida
uma base6 , a operao de transpor uma matriz leva um operador
densidade em outro. Em smbolos:
T : L(E) L(E)
A
$ At
(10.2a)
(10.2b)
TB : L(EA EB ) L(EA EB )
(10.2c)
AB
$ A B
AB
$ A B t ,
147
1
TA (|01)+01| |10)+01| |01)+10| + |10)+10|)
2
1
(|01)+01| |00)+11| |11)+00| + |10)+10|).
2
148
:
L
C
C 2
D
C 2
D
C 2D
7
2
2
L C da forma I : L C C L C C , a transposio
essencialmente o nico mapa positivo e no completamente
C D
C positivo.
D
Para ser mais preciso, todo mapa positivo : L C2 L C2 pode
ser escrito na forma:
= 1 + 2 T,
onde
C 1 eD 2 so
C mapas D2-positivos, ou seja, tais que i I :
L C2 C2 L C2 C2 so positivos. Assim, I s pode
no ser positivo se T I no for positivo.
Testemunhas de Emaranhamento
Outro fato importante geomtrico. Por construo, o conjunto dos
estados separveis convexo e fechado. Vamos
denot-lo,
em geral,
C
D
S(E). Assim, qualquer ponto exterior a S C2 C2 podeC ser sepa-D
rado dele por um hiperplano. Aproveitando ainda que D C2 C2
est contido no hiperplano afim definido por Tr = 1, o hiperplano
separador referido acima pode ser dado na forma w() = 0, onde
C
D
w : L C2 C2 R
(10.3a)
C 2
D
3
L C C
exemplos.
149
10.1.2
Quantificadores de Emaranhamento
A quantificao de emaranhamento tambm um problema interessante, para o qual h apenas solues parciais8 .
Entre as abordagens possveis, algumas dependem da otimizao entre protocolos LOCC [BDSW], outras impem condies que
devem ser obedecidas por quantificadores [VPRK, Vid], outras transformam critrios de separabilidade como os vistos em quantificadores,
casos que vamos apresentar com algum detalhe. Por fim, mas no menos importantes, h aquelas que buscam inspirao em propriedades
geomtricas [VT] ou informacionais [VP]. As referncias so citadas
apenas como um ponto de partida, no sendo adequado tentar ser
completo neste tema, aqui.
Negatividade
A ideia de transposio parcial levou a um quantificador chamado
negatividade [LK, VW]. Para dois qbits, foi mostrado que um estado pode ter, no mximo, um autovalor negativo [VADM, Ama]. O
mdulo deste autovalor pode ser tomado como definio desse quantificador.
8E
150
Concorrncia
Um outro quantificador nasceu da inteno de tornar o emaranhamento de formao [BDSW] uma quantidade diretamente computvel. Acabou ganhando vida prpria e hoje em dia considerado
como um outro quantificador [Woo].
Emaranhamento Testemunhado
Uma grande famlia de quantificadores nasce quando passamos a otimizar as testemunhas do emaranhamento de um estado, sujeitas a
certas restries [EBA]. Neste caso, o mdulo do valor obtido pelo
funcional calculado no estado tambm serve como quantificador.
interessante que vrios outros quantificadores previamente definidos
por outros caminhos, podem ser includos nesta famlia de quantificadores, dependendo apenas do tipo de restrio que se impe s
possveis testemunhas.
10.1.3
Geometria
"
1
I I + 1r 1 I + I 1s 1 +
tjk j k ,
(10.4)
=
4
jk
= TrB
= TrA
1
(I + 1r 1 ),
2
1
= (I + 1s 1 ),
2
=
(10.5a)
(10.5b)
151
$ UA UB UA UB
so compostas por estados equivalentes, com respeito ao emaranhamento. Podemos usar esta liberdade para diagonalizar a matriz t e
com isso passar a trabalhar com um estado caracterizado por trs
vetores: 1r , 1s e 1t, este ltimo definido pelos elementos da diagonal
da matriz t correspondente a um elemento da rbita de que tem a
matriz t diagonal.
Exerccio 10.8. Obtenha o efeito da ao sobre os coeficientes 1r ,
1s e [tjk ], de modo a justificar o pargrafo anterior.
fcil notar que I, x e z so matrizes simtricas, enquanto
y anti-simtrica. Dessa forma, a transposio troca o sinal da
componente y do vetor de Bloch. Da mesma forma, a transposio
parcial, digamos no sistema A, troca o sinal da componente y de
1r e de 1t. Isso pode ser usado para visualizar algumas propriedades
[H2 ]. Um caso particularmente bonito e importante envolve estados
com 1r = 1s = 10. Por motivos razoavelmente claros, tais estados so
conhecidos como estados T. Pelo que j foi discutido, um estado T
ser um estado produto se, e s se, 1t = 10, caso em que corresponde
ao estado maximamente misturado, a rbita de completamente
degenerada e o estado invariante por qualquer transposio parcial.
Mas e para 1t &= 10, o que podemos afirmar? o que o exerccio a
seguir vai trabalhar.
Exerccio 10.9. Esse exerccio vai trabalhar com estados da forma
1
= (I I + tx x x + ty y y + tz z z ).
(10.6)
4
1. Mostre que combinaes convexas de estados da forma (10.6)
tambm so da mesma forma e descreva o que acontece com o
vetor 1t;
152
2. Mostre que os quatro estados de Bell (8.1) so estados T , correspondendo a diferentes vetores 1t;
3. Que regio em R3 corresponde a todas as combinaes convexas
dos estados de Bell? Vamos denot-la por T ;
Para mais detalhes o leitor pode consultar [Ama]. Para uma abordagem distinta mesma questo, pode consultar o captulo 4 de [Ara].
10.9
Exerccio 10.10. Use os#estados T$ do exerccio
#
$ para mostrar
que a transformao : 12 I + 1b 1 $ 12 I 1b 1 no uma evo-
luo quntica permitida. (Sugesto: reveja a discusso sobre evolues qunticas do captulo 9.)
C
D
Voltando ao conjunto D C2 C2 de todos os estados de dois
qbits, h um outro resultado bastante importante, por nos permitir formar uma imagem mais adequada deste. Na referncia [HLS]
mostrado que existe uma bola fechada centrada no estado mais misturado toda formada de estados separveis.
importante
C 2A consequncia
D
2
disso que o conjunto
os
separveis,
S
C
C
possui
a
mesma diC 2
D
2
menso que D C
C
,
e
tem
um
volume
que
uma
frao
positiva
C
D
do volume de D C2 C2 . Este resultado sobre o volume dos estados
separveis, aliado viso geomtrica do conjunto de estados, permite
entender como natural e esperado um fenmeno tido algumas vezes
como surpreendente: a morte do emaranhamento em tempo finito.
Nos casos em que a dinmica possui um atrator no interior do conjunto dos estados separveis, o destino de qualquer emaranhamento
morrer em tempo finito. A histria pode ser diferente se o atrator
tocar a fronteira do conjunto dos separveis e ser diferente se tal
atrator for composto apenas de estados emaranhados [Ter07b].
Por outro lado, ainda que caiba a descrio de um conjunto convexo, S, contido em outro conjunto convexo9, D, sabemos que suas
9 Como
153
10.2
Sistemas Bipartites
A maior parte do que falamos para dois qbits vale para dois sistemas
de dimenso finita. Para um espao de estados Cm Cn , D(Cm Cn )
ser um conjunto convexo, compacto de dimenso real m2 n2 1. As
definies de separabilidade e emaranhamento so rigorosamente as
mesmas j apresentadas.
Exerccio 10.11. Releia a seco 10.1 com a preocupao de identificar quais resultados dependem de serem dois qbits e quais se generalizam diretamente, fazendo a generalizao onde adequado.
O critrio da transposio parcial, conforme enunciado, continua
vlido; o que no vale, exceto se m = 2, n = 3, sua recproca, e essa
a grande novidade quando passamos a sistemas bipartidos em dimenso maior. J so conhecidos exemplos, tanto para m = 2, n = 4,
quanto para dois qtrits, i.e.: m = n = 3, de estados emaranhados
cuja transposta parcial tambm um estado possvel [H3 98]. Estes
estados so chamados PPT-emaranhados, da sigla, em ingls, para
Transposta Parcial Positiva. Isso d origem a um interessante problema em aberto na rea. Autovetores associados a autovalores negativos da transposta parcial do origem tanto a testemunhas de emaranhamento, quanto a estratgias para destilar tal emaranhamento:
ou seja, uma maneira de atuar conjuntamente (mas de maneira local:
LOCC o paradigma adotado) sobre vrios representantes deste estado e obter alguma outra quantidade de pares de Bell (pelo menos
de maneira aproximada - a definio precisa envolve o limite assinttico). Na sua ausncia, no h receita para destilar emaranhamento
e a conjectura a equivalncia entre emaranhamento PPT e emaranhamento que no pode ser destilado (o chamado emaranhamento
preso, do ingls bound entanglement).
154
Quantificadores
A discusso geral de quantificadores fica mais rica, mas a maioria das
ideias usadas para dois qbits encontra contra-partida em sistemas
bipartites de dimenso finita.
Em especial, dos quantificadores citados na 10.1.2, somente o emaranhamento testemunhado j foi feito de maneira bastante geral.
A negatividade pode ser redefinida10 como a soma dos mdulos
dos autovalores negativos da transposta parcial de . Pela discusso
anterior, fica claro que existem estados emaranhados com negatividade zero, violando uma das exigncias para ser um (bom) quantificador de emaranhamento (ser zero para todo estado separvel, e apenas para eles). Ainda assim, a negatividade quantifica alguma coisa,
relacionada ao emaranhamento (possivelmente associada ao emaranhamento destilvel).
J a concorrncia, depois de ganhar status de quantificador por
si s, tambm ganhou generalizaes para sistemas maiores.
Geometria
A geometria dos conjuntos D(Cm Cn ) e S(Cm Cn ), literalmente,
ganha mais espao. No h uma viso pictrica to agradvel quanto
os vetores de Bloch ou os estados T , mas continua vlida a noo que,
se estamos preocupados em entender o emaranhamento, devemos nos
concentrar nas rbitas da ao (veja, por exemplo, [SHK])
: (SU (m) SU (n)) D(Cm Cn ) D(Cm Cn )
((UA , UB ), )
$ UA UB UA UB .
155
TPS
A discusso sobre diferentes estruturas de produto tensorial, iniciada
na seco 8.4, tambm encontra eco aqui. J vimos que, para vetores
de estado (i.e.: estados puros), sempre existem TPS tais que um dado
estado fatorvel e outras em que ele emaranhado. Ser que isso
se repete para operadores densidade?
fcil concluir que a resposta no. Basta considerarmos o estado maximamente misturado, que ser separvel para qualquer TPS.
Em seguida, podemos usar o resultado que para qualquer TPS existe
uma bola de estados separveis centrada na mxima mistura, para um
argumento de continuidade e compacidade11 permitir concluir que h
um raio mnimo. Ou seja: existe um conjunto com medida positiva
de estados que so separveis com respeito a qualquer estrutura de
produto tensorial. Podemos cham-los de absolutamente separveis.
10.3
Sistemas Multipartites
N
P
Ei ,
(10.7)
i=1
onde cada Ei um espao de estados de dimenso finita. Com respeito a esta N -partio, natural definirmos como estados produto
aqueles da forma
N
P
i ,
(10.8)
=
i=1
156
onde Pi D
jPi
157
O exerccio 10.12 define uma hierarquia (no-completa) de emaranhamentos, a partir das possveis parties. Podemos ainda definir
uma nova estratificao a partir do nmero q de conjuntos da partio. Seja q o conjunto de todas as parties de {1, 2, . . . , N } em q
conjuntos. Um estado ser dito q-separvel se puder ser escrito como
"
=
p P P ,
(10.10)
Pq
#R
P
onde P S
jP Ej , ou seja um estado P-separvel e (pP )
um vetor de probabilidades.
158
10.4
159
Posldio
Passado o principal e j nos aproximando do fim do curso, nos propomos agora a dar um rpido passeio por temas, em algum sentido,
mais avanados.
A mecnica quntica na reta mais avanada por exigir espaos
vetoriais de dimenso infinita. Por outro lado, no conseguiramos reagir a um crtico que reclamasse de um livro sobre mecnica quntica
que no tratasse do problema fisicamente mais bsico: quantizao
de uma partcula sujeita a um potencial, includo a o onipresente
oscilador harmnico.
A verso quntica dos sistemas de funes iteradas avanado por
ser assunto de pesquisa recente, com o mrito adicional de ter tornado
dois dos autores deste livro co-autores14. Tambm no poderamos
evitar as crticas e acusaes de ingratido se no inclussemos tal
assunto na nova etapa desta parceria.
A questo de bem entender em que a mecnica quntica difere do
pensamento clssico avanada em vrios sentidos. Aqui, mais uma
vez, s conseguiremos tocar a ponta de um iceberg. Ainda assim, ser
possvel apresentar algumas demonstraes de como falham algumas
hipteses aparentemente naturais.
A sensao que o curso e o livro j esto perto do fim, mas as
notas finais devem convidar o estudante a seguir buscando conhecimento.
14 E,
Captulo 11
Um Pouco de Mecnica
Quntica na Reta
Neste captulo falaremos sobre a mecnica quntica num intervalo
da reta, ou na prpria reta. Usaremos agora um espao de estados
que mais sofisticado que os j descritos at aqui, por isso pedimos
licena para uma certa informalidade e ainda alguma confiana do
leitor pois a justificativa de algumas passagens mais sofisticada e
ser omitida. Acreditamos, no entanto, que a intuio obtida com os
exemplos estudados at agora ser suficiente para tornar ao menos
palatveis os resultados que sero expostos.
11.1
164
Newton:
dp
d2
= m 2 x = ma,
(11.1)
dt
dt
d
x(0) = v0 .
com condies iniciais x(0) = x0 e v(0) = dt
Um campo de foras pode ser convenientemente representado por
um potencial, uma funo V : R R tal que
F =
d
V (x) = F (x).
dx
No difcil ver que podemos obter uma funo V satisfazendo essa
propriedade se definirmos
/ x
V (x) =
F (s)ds.
x =
H,
dt
p
(11.3)
p = H.
dt
x
O leitor no ter dificuldades em ver que o sistema acima equivale lei de Newton. A mudana essencial de interpretao. Enquanto na verso newtoniana buscamos a funo x(t) utilizando uma
EDO de segunda ordem, na mecnica hamiltoniana queremos entender
# o par (x(t),
$ p(t)), governado por uma equao de primeira ordem;
H
H
um campo vetorial no chamado espao de fase do sisp , x
tema.
H(p, x) =
165
11.2
Partcula Quntica
(11.4)
d
,
dx
(11.5)
df
(x).
ou seja, pf = i dx
Podemos verificar a comutatividade (ou no) dos operadores x e
p; para isso usaremos uma funo auxiliar (que assumimos diferencivel):
[
x, p] = (
xp px) =
?
>
d
d
d
d
x i + i (x) = ix + i + ix = i,
dx
dx
dx
dx
ou seja,
[
x, p] = i;
(11.6)
166
1
1
1
|+|[
x, p] )|2 = |+| )|2 = ,
4
4
4
(11.7)
pois assumimos que um vetor normalizado. Essa a conhecida relao de incerteza momentum-posio que foi originalmente
encontrada por Heisenberg. Em particular, como o comutador proporcional identidade, a relao de incerteza a mesma para todo
estado , o que significa que, no podemos ter a disperso das medidas
de posio e a disperso das medidas de momentum arbitrariamente
pequenas.
11.3
(11.8)
1 2
+ V = i .
2m x2
t
(11.10)
Para resolvermos equaes como esta (note que o operador H
linear) um mtodo bastante empregado o da separao de variveis,
167
2
2m dx
dt
Dividindo ambos os lados por T obtemos
2
1 d
idT
2m
dx2 + V (x)
= dt .
1 d2
+ V = E,
2m dx2
(11.11a)
d
T = iET.
(11.11b)
dt
A primeira equao conhecida como equao de Schrdinger independente do tempo, e sua soluo pode ser mais ou menos difcil
dependendo do potencial V (x) que se utiliza. A segunda equao tem
uma soluo simples, a funo
T (t) = eiEt .
Isso mostra que para potenciais independentes do tempo, a dificuldade de se encontrar solues est concentrada na obteno de
(x) pois a parte temporal tem uma soluo simples. No que segue
168
(11.12)
A funo de Hamilton na mecnica clssica uma constante de movimento associada a energia mecnica do sistema; os autovalores de
na mecnica quntica correspondem energia do sistema quntico
H
em questo. Muitas vezes (como no exemplo que daremos a seguir),
esses autovalores formam um conjunto discreto e portanto a energia no pode assumir um contnuo de valores, como habitualmente
acontece no caso clssico, mas apenas um conjunto discreto, sendo
ento quantizada. Esse um dos aspectos chave da teoria quntica1 .
Quanto funo (que um vetor, um elemento de um espao de
estados conveniente), sua interpretao a seguinte: a probabilidade
de encontrar uma partcula descrita pelo estado (ateno, estamos usando a palavra estado novamente no sentido de vetor!) num
intervalo I da reta dada por
/
P(x I) = |(s)|2 ds.
I
11.4
11.4.1
Caso Clssico
Queremos obter o comportamento de uma partcula livre que se movimenta dentro de uma caixa unidimensional; ou seja, sua posio
representada como sendo um nmero real no intervalo [0, L], onde L
o comprimento da caixa. Se a partcula livre ento ela se move
sem a influncia de uma fora exterior dentro da caixa e assim sua
velocidade constante pois pela lei de Newton
ma = F = 0.
1E
169
11.4.2
Caso Quntico
170
maior, com a diferena entre esses valores bem maior que qualquer
parmetro2 de interesse no problema. o que os fsicos resumem por
infinito. Com isso, vamos trabalhar com funes de L2 (R C) que
se anulam fora de [0, L]. Mais ainda, natural pedirmos que essas
funes tenham certas regularidades (se V fosse C exigiramos de
classe C 2 , mas como V no sequer contnua, exigimos apenas
C 0 ). Com isso, razovel considerarmos como espao de estados para
o problema da partcula na caixa o subespao de L2 ([0, L]) composto
pelas funes duas vezes diferenciveis em (0, L) e que se anulam na
fronteira. Como a partcula livre, o potencial nulo e estamos
usando a equao de Schrdinger independente do tempo
d2
(x) = E(x)
dx2
(onde, por simplicidade, assumimos que a massa m = 1/2) com condies de fronteira (0) = (L) = 0. Devemos ento resolver esse
problema de autovalores.
Nesse caso
a soluo no difcil: as funes 1 = cos( Ex) e
2 = sen( Ex) claramente satisfazem a equao acima; como esta
linear ento as combinaes lineares de 1 e 2 tambm so solues,
o que nos d a forma geral de uma soluo como sendo
(x) = A1 1 + A2 2 ,
com constantes A1 e A2 que devem ser encontradas de forma que a
condio de fronteira seja satisfeita (e tambm a condio de normalizao, uma vez que o significado dessa funo expresso em termo
de probabilidades):
0 = (0) = A1
e
171
"
cn n .
n=1
11.4.3
172
2
L
X/
[a,b]
>
# ns $
1 1
cos 2
2 2
L
?Y
# ns $6b
|b a|
1
6
ds =
sen 2
6 .
L
2n
L
a
|b a|
,
L
ou seja, para os estados descritos por nmeros n elevados (que correspondem fisicamente a situaes de energias bem elevadas) obtem-se
que a probabilidade de encontrar uma partcula no intervalo [a, b] est
cada vez mais prxima da probabilidade que j havamos calculado
no caso clssico.
Exerccio 11.1. Refaa a discusso acima com n fixo e L .
11.5
O Oscilador Harmnico
173
Seguindo a prescrio j usada neste captulo agora temos de considerar o operador hamiltoniano
= 1 p2 + V (
H
x),
2m
"
an xn ,
n=0
Dessa forma, esse operador no auto-adjunto e portanto no representa um observvel. No entanto, note que
1.
a
a
= (
x i
p)(
x + i
p) = x2 + p2 + i[
x, p] = H
=a
Ou seja, H
a
+ 1.
Exerccio 11.2. Mostre que o operador a
a
auto-adjunto.
4 Por
simplicidade, adotamos m =
1
2
174
o operador auto-adjunto a
Denotaremos por N
a
. Ento podemos
um operador positivo: de fato
verificar que N
2
+|
a a
) = +
a|
a ) = -
a- 0,
para qualquer vetor . Podemos nos perguntar se existe algum vetor
0 = 0). A resposta sim, e no
0 tal que a
0 = 0 (e portanto, N
difcil obter tal vetor: a equao a
0 = 0 corresponde equao
diferencial
d
0 (x) = 0.
(11.14)
x0 (x) +
dx
Esta uma equao diferencial separvel e o leitor no ter dificuldade em verificar que a soluo geral dada por
0 (x) = Ae
x2
2
1
1/4
ex .
(11.15)
175
1. Desta
e assim 1, ou seja, o menor autovalor possvel para H
forma j encontramos, com 0 , a autofuno associada ao estado
de menor energia do oscilador harmnico, muitas vezes chamado de
estado fundamental.
O leitor pode perguntar nesse momento sobre a possibilidade de
existncia de outras autofunes linearmente independentes associadas ao autovalor 1; a preocupao legtima.
Exerccio 11.3. Use o Teorema de Existncia e Unicidade para a
equao (11.14) para concluir que o auto-espao associado ao auto unidimensional.
valor 1 de H
Queremos agora encontrar outros autovalores e suas respectivas
autofunes. Para isso note que
+ 1.
a
a
= H
Agora considere 1 = a
0 (voc consegue obter explicitamente a
1
2 = 2 ;
3!
de maneira geral,
1
n
a ) 0
n = (
n!
(11.17)
176
a
+a
(11.18)
e ento
x2 =
Logo
$
1# 2
1
2
a
+a
a
+ a
a
+ (
a ) .
(
a+a
)(
a+a
) =
4
4
F 6 2 B
n 6x
n =
=$
< 6
1 #F 66 2 B
6 2
n a
n + +n |
aa
n )+n |
a a
n ) + n 6(
a ) n .
4
Analisemos cada termo da expresso acima com calma:
< 6
=
6 2
n 6(
a ) n +n |n+2 ) = 0,
(2n + 1) 1 = 2n
=
< 6#
$ = < 6
6
6
+n |
aa
n ) = n 6 H
+ 1 n = n 6H
n + +n |n ) =
177
(2n + 1) + 1 = 2n + 2.
Portanto temos
F 6 2 B 1
1
n 6x
n = [(2n + 2) + 2n] = n + .
4
2
F 6
B
Exerccio 11.5. Calcule n 6p2 n e verifique o que acontece com
a relao de incerteza de Heisenberg nesses estados.
11.6
Exerccios
5
.
Provavelmente
ea
necessrio somar objetos
de
mesma
dimenso
W
k
voc gostar de definir =
.
m
5 No sentido fsico da palavra: comprimentos s podem ser somados a comprimentos, no a velocidades ou grandezas de outras dimenses.
Captulo 12
Sistema de Funes
Iteradas Quntico
12.1
Sistemas Dinmicos
179
12.2
180
12.3
181
k
"
j=1
pj Uj (X + Y )Uj =
k
"
pj Uj XUj +
j=1
k
"
pj Uj Y Uj
j=1
182
k
"
j=1
pj -Uj XUj - =
k
"
j=1
pj -X- = -X-
(12.2)
D
"
ai X i ,
i=1
onde os Xi so autovetores associados aos autovalores de norma menor do que 1. Desta forma, fcil ver que
n (0 ) = a0 I +
D
"
ai ni Xi
i=1
183
1
U=
2
1
1
X + U XU ,
2
2
1
3
A
3
.
1
&
onde
j pj () = 1 para todo ; nesse caso as probabilidades de
ocorrncia de cada uma das dinmicas Ui dependem do estado em
considerao. Um problema dessa natureza pode ser abordado com
ferramentas um pouco mais sofisticadas do que as usadas aqui e o
leitor curioso pode consultar, por exemplo, [BLLT] para uma abordagem deste caso.
Captulo 13
Desigualdades de Bell
A mecnica quntica uma teoria muito diferente da mecnica clssica em vrios aspectos e um deles o fato de que tudo que podemos
saber sobre uma medio so as probabilidades dos resultados possveis. Probabilidades tambm aparecem na fsica clssica, mas como
fruto do conhecimento parcial a respeito do sistema em questo. Em
mecnica quntica, as probabilidades parecem ser intrnsecas teoria e isso causa um certo desconforto. Ser que o mundo realmente
probabilstico ou falta alguma coisa na teoria?
13.1
185
|01) |10)
|+) |+)
=
2
2
(13.1)
186
O artigo de EPR iniciou uma longa discusso. Seria possvel encontrar uma teoria em que os elementos de realidade de EPR possussem valores definidos? Teorias desse tipo ficaram conhecidas como
Teorias de Variveis Ocultas 1 (TVO).
13.2
Bell
1 Do
2 Antecipando
187
Depois de alguns clculos, Bell mostra que dadas trs direes 1a,
1b e 1c vale a desigualdade
6
# $ 6
6
6
1 + E 1b, 1c 6E(1a, 1b) E(1a, 1c)6.
(13.2)
# $
Para que no haja contradio com a mecnica quntica, E 1a, 1b
deve concordar com o valor esperado de 1a 1 1b 1 .
13.3
A Desigualdade CHSH
188
(13.4)
189
x z
x + z
, B2 =
2
2
190
parte. Mas, mentes criativas alegam, esse efeito, supostamente aleatrio, de deteco ou no deteco deve ser determinstico em uma
TVO. E podem ser justamente esses dados faltantes os responsveis pela violao das desigualdades, ou seja, se eles tambm fossem
detectados e includos na estatstica das contagens, no haveria violao. J o loophole de localidade se refere necessidade de garantir
que as escolhas independentes de Ai e Bj realmente o sejam. A primeira vez que um outro princpio fsico pde ser experimentalmente
invocado para fechar este loophole foi quando Alain Aspect e colaboradores [Asp] fizeram um experimento onde as escolhas dependiam de
circuitos eletrnicos independentes, localizados em laboratrios suficientemente afastados para que um sinal enviado por um laboratrio
no fosse capaz de atingir o outro se viajasse velocidade da luz,
antes que a outra deciso fosse tomada; em linguajar de teoria da
relatividade, esses eram eventos com separao tipo espao, portanto
fora dos cones de causalidade.
Para mais aprofundamento em lngua portuguesa, sugerimos as
referncias [QA] e [Rab].
Captulo 14
Contextualidade
No captulo anterior mostramos que no possvel encontrar uma
teoria realista local que concorde com a mecnica quntica, uma vez
que a primeira deve satisfazer a desigualdade CHSH, que violada
para alguns estados qunticos. Podemos nos perguntar se existe uma
maneira de demonstrar essa impossibilidade encontrando alguma contradio que seja independente do estado do sistema. Como nenhum
experimento at hoje mostrou alguma contradio com as previses
da mecnica quntica, incluindo os experimentos que testam a desigualdade CHSH, assumimos que essas teorias devem ser compatveis
com ela. Teorias de variveis ocultas com essa propriedade sero
chamadas Teorias de Variveis Ocultas Compatveis (TOVC). Um
estudo bem completo sobre o assunto pode ser encontrado em [Cab].
14.1
von Neumann
192
(14.1)
tambm deveria ser vlida para uma TVOC. Pelo fato de que A possui
valor definido temos v(A) = +A) e portanto
v(A + B) = v(A) + v(B).
(14.2)
14.1.1
193
quntica em ponto algum. Por outro lado, se os observveis so compatveis, (14.2) deve ser satisfeita. Mais geralmente, se A1 , . . . , An
um conjunto de observveis compatveis em mecnica quntica que
obedecem uma relao do tipo
f (A1 , . . . , An ) = 0
em que f uma aplicao qualquer, ento a mesma relao deve ser
satisfeita pelos valores assumidos pelos observveis correspondentes
em uma TVOC:
f (v(A1 ), . . . , v(An )) = 0.
Se os observveis so incompatveis, no podemos assumir que uma
relao vlida em mecnica quntica tambm seja vlida em uma
TVOC. A contradio que aparece no exemplo 14.1 veio justamente
ao fazermos uma restrio desse tipo e por isso o argumento de von
Neumann falho.
14.1.2
194
14.2
Gleason
(14.4)
195
(14.6)
196
14.2.1
A Crtica de Bell
197
14.3
198
14.3.1
199
100
m01
0m1
m1s
s0m
01m
010
1m0
100
10m
0s1
010
010
100
110
010
smm
10s
11s
0sm
0sm
01s
Vetores ao 1
110
1m0
s0m
smm
m0s
mms
0sm
1s1
msm
0s1
Justificativa
Escolha do eixo z
Escolha de sentido em x
Escolha de sentido em y
Troca entre x e y
O 2 e o 3 valem zero
O 2 e o 3 valem zero
O 2 e o 3 valem zero
O 2 e o 3 valem zero
O 2 e o 3 valem zero
O 2 e o 3 valem zero
CONTRADIO
14.3.2
200
14.3.3
A 2 = I x
A 5 = y I
A 8 = y x
A 3 = x x
A 6 = y y
A 9 = z z
(14.7)
=1
(14.8a)
P2 =
P3 =
=1
(14.8b)
=1
(14.8c)
P4 =
=1
(14.8d)
P5 =
=1
(14.8e)
P6 =
= 1
(14.8f)
201
14.3.4
A2 = x x x A3 = y y x A4 = y x y A5 = x y y
A 6 = I I x
A 7 = I I y
A 8 = x I I
A 9 = I y I
A10 = I x I
Os operadores esto dispostos em cinco linhas de quatro operadores:
A1 A3 A6 A9 , A1 A4 A7 A10 , A2 A3 A4 A5 , A2 A6 A8 A10 e A5 A7 A8 A9 . Essas linhas formam uma estrela de cinco pontas. Valem as seguintes propriedades:
1. Os observveis em cada linha da estrela comutam;
2. O produto dos observveis em cada linha da estrela I, exceto para
a linha horizontal A2 A3 A4 A5 em que o produto vale I.
As propriedades acima implicam que
P1 =
= 1,
(14.9a)
P2 =
= 1,
(14.9b)
P3 =
= 1,
(14.9c)
P4 =
= 1,
(14.9d)
P5 =
= 1.
(14.9e)
Z
i
v(Ai )2 = 1.
202
14.4
"
i Pi ,
v(Pi , ) = 1
v(Pi , ) = 0
se ai1 < ai ,
caso contrrio.
&Pi $ =
v(Pi , )d = ai ai1 .
Apesar de artificial, o modelo acima mostra que possvel criarmos teorias de variveis ocultas, desde que sejam contextuais. A discusso sobre
variveis ocultas surgiu quando algumas pessoas se sentiram incomodadas com o fato de que a mecnica quntica se comportava de maneira
contra-intuitiva. O objetivo era recuperar a noo que temos em mecnica clssica de que todo observvel fsico possui um valor pr-definido,
que existe independente do processo de medio e que apenas revelado
por ele. No entanto, para recuperar essa propriedade, devemos aceitar a
contextualidade: o valor que um observvel assume depende do conjunto
203
Bibliografia
[.com]
http://www.idquantique.com e http://www.magiqtech.com so
bons exemplos.
[Ama]
B. Amaral, Emaranhamento em sistemas de dois qubits, dissertao de mestrado, UFMG (2010). Disponvel em
http://www.mat.ufmg.br/~tcunha/DisBarbara.pdf
[Ara]
[AM]
[Asp]
[Bar]
[BLLT]
[Bel64]
[Bel66]
J. S. Bell, On the problem of hidden variables in quantum mechanics, Rev. Mod. Phys. 38, 447 (1966). Reimpresso em [Bel87].
[Bel87]
[B]
205
206
[BB84]
BIBLIOGRAFIA
C.H. Bennett e G. Brassard, Procceedings of International Conference on Computers, Systems, and Signal Processing, Bangalore,
India (1984).
A. Cabello, Pruebas algebraicas da imposibilidad de variables ocultas en mecnica cuntica,, tese de doutorado, Madrid (1996). Disponvel em http://www.adancabello.com ou em
http://www.mat.ufmg.br/~tcunha/Tese-Adan.html
[CT]
V. Coffman, J. Kundu e W.K. Wootters, Distributed entanglement, Phys. Rev. A 61, 052306 (2000).
[CDL]
[Coh]
[Cou]
[DL]
[Dru]
[DVC]
[EPR]
BIBLIOGRAFIA
207
[EBA]
[Exe]
[FLS]
R.P. Feynman, R.B. Leighton e M. Sands, The Feynman Lectures on Physics, vol. 3, Addison-Wesley publishing company
(1965).
[Gle]
[GHZ]
[Har]
[H2 ]
R. e M. Horodecki, Information-theoretic aspects of inseparability of mixed states, Phys. Rev. A 54, 1838 (1996).
D. Jonathan e M.B. Plenio, Entanglement-Assisted Local Manipulation of Pure Quantum State, Phys. Rev. Lett. 83, 3566
(1999).
[KS]
[Kra]
[LBe]
[LK]
J. Lee e M.S. Kim, Entanglement teleportation via Werner states, Phys. Rev. Lett. 84, 4236 (2000).
[Lim]
[LP]
208
BIBLIOGRAFIA
[Mer]
[Nie]
M.A. Nielsen, Conditions for a Class of Entanglement Transformations, Phys. Rev. Lett. 83, 436 (1999).
[NC]
M.A. Nielsen e I.L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press (2000).
[NAJ]
[Per91]
[Per95]
[Per96]
[Pit]
I. Pitowsky, Quantum Probability - Quantum Logic, Lect. Notes Phys. 321, 1 (1989).
[Pre]
[QA]
[Rab]
R.L.S. Rabelo, No-localidade quntica: matemtica e fundamentos, dissertao de mestrado, UFMG (2010). Disponvel em
http://www.mat.ufmg.br/~tcunha/DisRafael.pdf
[SHK]
[Sch]
E. Schrdinger, Discussion of Probability Relations between Separated Systems, Math. Proc. Camb. Phil. Soc. 31, 555 (1935).
[Sin]
[Soa]
M.G. Soares, Clculo de uma Varivel Complexa, Coleo Matemtica Universitria, IMPA (2009).
[Sot]
BIBLIOGRAFIA
[Ter05]
209
M.O. Terra Cunha, Emaranhamento: caracterizao, manipulao e conseqncias, tese de doutorado, UFMG (2005). Disponvel em
http://www.mat.ufmg.br/~tcunha/TeseMTerraCunha.pdf
M.O. Terra Cunha, J.A. Dunningham e V. Vedral, Entanglement in single-particle systems, Proc. Royal Soc. A 463, 2277
(2007).
[Thi]
[Vai]
V. Vedral e M.B. Plenio, Entanglement measures and purification procedures, Phys. Rev. A 57, 1619 (1998).
[Vid]
[VW]
[vNe]
J. von Neumann, Mathematische Grundlagen der Quantenmechanik, Springer (1932); English translation: Mathematical
Foundations of Quantum Mechanics, Princeton University Press
(1955).
[WF]
[Woo]
210
BIBLIOGRAFIA
[ZLL]
[HLS]
K. yczkowski, P. Horodecki, M. Lewenstein e A. Sanpera, Volume of the set of separable states, Phys. Rev. A 58, 883 (1998).
[]