Escolar Documentos
Profissional Documentos
Cultura Documentos
Matemticos em Formao
Publicaes Matemticas
Brbara Amaral
UFOP/UFMG
Para urea,
Dirceu, Flvia
e Pedro, que
agora ganha
mais um livri-
nho para puxar
da estante.
Para Mimi e
Tat, como
sempre, e para
o Andrey, pela
primeira vez.
Programa
Abertura ix
Preldio 1
1 Nmeros Complexos 3
1.1 Soma e Multiplicao . . . . . . . . . . . . . . . . . . . 3
1.2 Representao Geomtrica . . . . . . . . . . . . . . . . 5
1.3 A Exponencial Complexa . . . . . . . . . . . . . . . . 5
1.4 Limites e Derivadas . . . . . . . . . . . . . . . . . . . 7
1.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . 9
2 lgebra Linear 11
2.1 Espaos Vetoriais . . . . . . . . . . . . . . . . . . . . . 11
2.2 Base e Dimenso . . . . . . . . . . . . . . . . . . . . . 13
2.3 Subespaos Vetoriais . . . . . . . . . . . . . . . . . . . 14
2.4 Transformaes Lineares . . . . . . . . . . . . . . . . . 15
2.5 Produto Interno . . . . . . . . . . . . . . . . . . . . . 16
2.5.1 Produto Interno e Funcionais Lineares . . . . . 21
2.6 Bases Ortonormais . . . . . . . . . . . . . . . . . . . . 22
2.6.1 Ortogonalizao de Gram-Schmidt . . . . . . . 22
2.7 Mudana de Base . . . . . . . . . . . . . . . . . . . . . 23
2.8 Operadores Lineares . . . . . . . . . . . . . . . . . . . 24
2.9 Adjunta de uma Transformao Linear . . . . . . . . . 25
2.10 Projeo sobre um Subespao . . . . . . . . . . . . . . 27
2.11 Autovetores e Autovalores . . . . . . . . . . . . . . . . 28
2.11.1 de Transformaes Hermitianas . . . . . . . . . 29
iii
iv PROGRAMA
4 Grupos 50
4.1 Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.2 Grupos de Matrizes . . . . . . . . . . . . . . . . . . . . 51
4.2.1 Matrizes Invertveis . . . . . . . . . . . . . . . 51
4.2.2 Matrizes Unitrias . . . . . . . . . . . . . . . . 52
4.2.3 Matrizes Ortogonais . . . . . . . . . . . . . . . 53
4.3 Matrizes Especiais . . . . . . . . . . . . . . . . . . . . 53
4.3.1 SU (2) . . . . . . . . . . . . . . . . . . . . . . . 53
4.3.2 SU (n) . . . . . . . . . . . . . . . . . . . . . . . 55
4.4 Representao de Grupos . . . . . . . . . . . . . . . . 55
4.5 Ao de Grupos . . . . . . . . . . . . . . . . . . . . . . 56
4.6 rbitas e Classes de Equivalncia . . . . . . . . . . . . 57
4.7 A Fibrao de Hopf . . . . . . . . . . . . . . . . . . . 58
4.8 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . 60
5 lgebras C 62
5.1 lgebras C . . . . . . . . . . . . . . . . . . . . . . . . 62
5.2 Estados de uma lgebra . . . . . . . . . . . . . . . . . 65
5.2.1 Estados da lgebra Mn (C) . . . . . . . . . . . 66
5.3 Espectro de Elementos da lgebra . . . . . . . . . . . 68
5.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . 69
Interldio 71
PROGRAMA v
7 Sistemas de d nveis 89
7.1 Mecnica Quntica em Dimenso d . . . . . . . . . . . 89
7.1.1 Estados e Medies . . . . . . . . . . . . . . . 89
7.1.2 Depois das Medies . . . . . . . . . . . . . . 91
7.1.3 Geometria . . . . . . . . . . . . . . . . . . . . . 93
7.1.4 Evoluo Temporal . . . . . . . . . . . . . . . . 93
7.2 Um exemplo: o Laplaciano discreto . . . . . . . . . . . 94
7.2.1 Operador Posio . . . . . . . . . . . . . . . . . 96
7.3 A Relao de Incerteza . . . . . . . . . . . . . . . . . . 97
7.4 Mais um pouco de Fsica . . . . . . . . . . . . . . . . . 99
Posldio 161
14 Contextualidade 191
14.1 von Neumann . . . . . . . . . . . . . . . . . . . . . . . 191
14.1.1 A Falha na Demonstrao de von Neumann . . 192
14.1.2 Um Modelo de Variveis Ocultas Compatvel . 193
14.2 Gleason . . . . . . . . . . . . . . . . . . . . . . . . . . 194
14.2.1 A Crtica de Bell . . . . . . . . . . . . . . . . . 196
14.3 Bell, Kochen e Specker . . . . . . . . . . . . . . . . . . 197
14.3.1 Demonstrao Econmica em Dimenso Trs . 198
14.3.2 Propriedades das Matrizes de Pauli . . . . . . . 199
14.3.3 Demonstrao Simples em Dimenso Quatro . 200
14.3.4 Demonstrao Simples em Dimenso Oito . . . 201
14.4 Um Modelo de Variveis Ocultas Contextual . . . . . 202
Abertura
Brbara Amaral
Alexandre T. Baraviera
Nmeros Complexos
3
4 [CAP. 1: NMEROS COMPLEXOS
5) (Distributividade) a (b + c) = a b + a c.
z = x + iy,
3. e0 = 1
4. (ez )n = enz , para todo z C e n Z.
5. ez &= 0.
Exerccio 1.4. Prove que ez = ex (cos(y) + isen(y)).
[SEC. 1.4: LIMITES E DERIVADAS 7
se para todo " > 0 possvel encontrar > 0 tal que se 0 < |zz0 | <
ento |f (z) w0 | < ".
f (z) f (z0 )
f % (z0 ) = lim
zz0 z z0
dizemos que ele a derivada de f em z0 . Usamos tambm a notao
df
f % (z0 ) = (z0 ).
dz
Exerccio 1.6. Prove que se f1 : C C e f2 : C C so funes
que possuem derivada em z0 ento
1.5 Exerccios
Exerccio 1.9. Coloque na forma x + iy.
1. (3 5i)(2 + i);
2. (1 i)2 6i;
(12i)2
3. 2+2i .
lgebra Linear
+:V V V
(|u), |v)) $ |u) + |v)
:CV V
(, |u)) $ |u)
11
12 [CAP. 2: LGEBRA LINEAR
(x1 , . . . , xn ) = (x1 , . . . , xn ).
(f )(x) = f (x).
[SEC. 2.2: BASE E DIMENSO 13
(x1 , . . . , xn ) = (x1 , . . . , xn ).
1 |v1 ) + . . . + k |vk ), i C
1 |v1 ) + + k |vk ) = 0
gerados por um nmero finito de vetores, como o caso dos exemplos 2.1 e 2.3.
Em outros casos, como no exemplo 2.2, o espao vetorial no pode ser gerado por
nenhum conjunto finito e dizemos que a dimenso infinita.
[SEC. 2.4: TRANSFORMAES LINEARES 15
0 S;
|x) + |y) S para todo par |x) e |y) S;
|x) S para todo C e todo |x) S.
S = {(t, 0, . . . , 0) Rn ; t R}.
Da
-m . m m "
n
" " "
T (|v)) = T vi |ei ) = vi T (|ei )) = vi Tji |fj )
i=1 i=1 i=1 j=1
16 [CAP. 2: LGEBRA LINEAR
&
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 ma-
triz TB,F com entradas Tij de forma que
+| ) : V V C
(|u), |v)) $ +u|v )
+v|u ) = +u|v ).
Por isso uma maneira usual de reescrever a condio 1 acima
(f )(x) = f (x).
Mostre que /
+f |g ) = f (x)g(x)dx
[0,1]
+(x1 , x2 , x3 )|(y1 , y2 , y3 ) ) = x1 y1 + x2 y2 + x3 y3
Demonstrao. Temos
k
0 k
02
" 0 " 0
2
-v-2 = |+vi |v )| + 0v
0 0
+vi |v )vi 0 .
0 0
i=1 i=1
k
" k
"
+vi |v )+vi |v ) +vi |v )+vi |v ) = 0.
i=1 i=1
e
k
" k
"
L|v) = vi L|ei ) = vi L|ei )+ei |ei ) =
i=1 i=1
k
" k
" k <
" 6 =
= vi L|ej )+ej |ei ) = L|ej )ej 6ei =
6
vi
i,j=1 i=1 j=1
5 k 6 7 5 6 k 7
k 6 k 6"
" " 6 "
= L|ej )ej 66ei = vi ei = +v0 |v )
6
vi L|ej )ej 6
6 6
i=1 j=1 j=1 i=1
&k
onde |v0 ) fica unicamente determinado como sendo j=1 L(ej )|ej ),
o que conclui a demonstrao.
|v) Lv .
+(v1 , . . . , vn )|(u1 , . . . , un ) ) = v1 u1 + . . . + vn un .
Seguindo dessa maneira no difcil ver que o vetor auxiliar |wk ) ser
dado pela expresso
|) = a1 |u1 ) + + an |un )
e, analogamente,
|) = a1 |u1 ) + + an |un ) =
- n
. - n
. - n
.
" " "
a1 Tk1 |vk ) + a2 Tk2 |vk ) + + an Tkn |vk ) =
k=1 k=1 k=1
Lu (v) = +u|T v ).
Lu (v) = +u0 |v )
aij = +ei |T ej )
Ento temos
Pv : V W (2.1)
+v|u )
|u) $ |v). (2.2)
-v-2
Podemos procurar a adjunta de Pv , isto , a transformao Pv tal
que
+Pv x|y ) = +x|Pv y ) para todo |x) e |y) em V .
Temos que
1 1
+Pv x|y ) = ++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
Logo Pv = Pv e portanto a projeo uma transformao auto-
adjunta.
A projeo tem uma outra propriedade interessante: se aplicamos
esta transformao duas vezes ento temos
> ?
+v|u ) +v|u )
Pv (Pv (u)) = Pv 2
v = Pv (v) =
-v- -v-2
28 [CAP. 2: LGEBRA LINEAR
+v|u ) +v|u )
+v|v )|v) = |v) = Pv (u)
-v-4 -v-2
Normalmente isto denotado simplesmente por Pv2 = Pv (e quando
no h confuso omite-se o subndice v).
Podemos definir a projeo sobre subespaos de dimenso maior.
Se W um subespao de V com uma base ortonormal {|v1 ), ...|vn )},
a projeo sobre W dada por
PW : V W (2.3)
n
"
|u) $ Pvi |v). (2.4)
i=1
P |v) = |v)
Mas
|v) = P |v) = P P |v) = P (|v)) = 2 |v)
[SEC. 2.11: AUTOVETORES E AUTOVALORES 29
2.13.1 Trao
O trao de uma matriz quadrada A de elementos aij definido como
sendo a soma dos elementos da diagonal principal, ou seja,
n
"
TrA := aii .
i=1
2. Tr(A) = TrA;
3. Tr(AB) = Tr(BA).
n "
" n n "
" n n
"
Bki Aik = Bki Aik = (BA)kk = Tr(BA).
i=1 k=1 k=1 i=1 k=1
2.13.2 Determinante
O determinante uma funo polinomial det : Mn (C) C. No caso
de matrizes 2 2, por exemplo, o determinante definido como
@ A
a b
det := ad bc.
c d
O leitor pode encontrar uma discusso bastante completa do caso
geral, por exemplo, no livro de Elon Lima [Lim]. Podemos resumir
suas principais propriedades no lema abaixo:
Lema 2.13. det uma funo tal que:
det AT = det A;
det A = n det A;
det AB = det A det B.
Uma outra propriedade importante a seguinte: uma matriz A
admite inversa (ou seja, existe A1 tal que AA1 = A1 A = Id) se,
e somente se, det A &= 0.
Isso permite caracterizar autovalores de maneira razoavelmente
simples: dizemos que um autovalor se existe |v) =
& 0 tal que A|v) =
|v). Esta expresso pode ser reescrita como sendo (A I)|v) = 0
e estamos procurando uma soluo |v) no nula para a mesma. J
sabemos que a transformao linear AI, quando aplicada em zero,
tambm resulta no vetor nulo. Portanto, se temos |v) no nulo sa-
tisfazendo a equao isso significa que a transformao A I no
injetiva e portanto no admite inversa. Mas no ter inversa significa
que det (A I) = 0, sendo esta uma equao polinomial em cu-
jas razes so exatamente os autovalores associados transformao
linear representada pela matriz A.
|iA ) |jB ), iA = 0, 1, . . . , nA , jB = 0, 1, . . . , nB
" "
+v|TrB (M )|v) = +v|MAi |v)+j|MBi |j) = +v|+j|MAi MBi |j)|v) =
i,j i,j
" " "
+v|+j| MAi MBi |j)|v) = +v|+j|M |j)|v) 0
j i j
36 [CAP. 2: LGEBRA LINEAR
d
" 6 i B6 i B
|) = i 6A 6B , (2.5)
i=1
de modo que
d
" 6 i B6 i B
|) = i 6A 6 .
B
i=1
[SEC. 2.14: PRODUTO TENSORIAL 37
" c cmk
nk 1 " n m
= = +|A )|kB )+A |+kB | )
n m n m
k k
1 " m n n m nm
= +A |A |A )= = nm .
n m n m
k
"
|) = ai |i% )A |i% )B
i
UA UB (|)) = |).
finita sobre C.
[SEC. 2.15: EXPONENCIAL DE UMA MATRIZ 39
2. 1
eQDQ = QeD Q1 ;
[A, B] := AB BA.
Tr[A, B] = 0.
De fato
2.17 Exerccios
Exerccio 2.16. Seja Sn o subespao vetorial de Mn (C) formado
pelas matrizes n n simtricas, isto , tais que aij = aji . Obtenha
uma base para Sn e a sua dimenso.
Exerccio 2.17. Considere o espao vetorial Pn [1, 1] dos polin-
mios de grau n reais definidos em [1, 1] munido do produto interno
/ 1
+f |g ) = f (t)g(t)dt.
1
AB BA = I?
Equaes Diferenciais
Ordinrias
44
[SEC. 3.1: EQUAES DIFERENCIAIS ORDINRIAS 45
d
x(t) = ax(t)
dt
com a C e x : R C. Ento no difcil ver que x(t) = ceat
uma soluo, para qualquer constante c escolhida.
(t0 , v0 ).
x: R Cn
t $ eAt x0 ,
x(0) = eA0 x0 = e0 x0 = x0 ,
1 2 2
= A(I + tA + 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 enun-
ciado acima.
A derivao termo a termo na srie que define etA deve ser justi-
ficada.
Proposio 3.3. Seja
"
f (X) = cn X n
i=0
3.3 Exerccios
Exerccio 3.2. Obtenha as exponenciais das seguintes matrizes:
@ A @ A
3 0 2 1
A= B=
0 3 0 2
(para B note que podemos escrever
@ A @ A
2 0 0 1
B= + =: D + N
0 2 0 0
onde N tal que N 2 = 0 e N e D comutam; aproveite-se disso para
obter eB como sendo eD+N = eD eN ).
[SEC. 3.3: EXERCCIOS 49
Grupos
4.1 Grupos
Um conjunto G munido de uma operao : G G G, (a, b) =
a b = ab, dito um grupo se
4. ab = ba (comutatividade)
50
[SEC. 4.2: GRUPOS DE MATRIZES 51
4.3.1 SU(2)
Denotamos por SU (2) o conjunto de matrizes de M2 (C) unitrias com
determinante 1. Da condio de ser unitria segue que as colunas (e
linhas) devem ser ortogonais; alm disso temos a condio a mais
a respeito do determinante. Desta forma o grupo pode ser descrito
como segue:
8 @ A 9
2 2
SU (2) = M M2 (C)|M = e || + || = 1
p = (x1 , x2 , x3 , x4 ) e q = (y1 , y2 , y3 , y4 )
p = (1 , 1 ) e q = (2 , 2 )
1 1 2 2
@ A @ A
Mp = e Mq = .
1 1 2 2
4.3.2 SU(n)
O grupo SU (n), como de se esperar, formado pelas matrizes de
Mn (C) unitrias com determinante 1. Novamente temos linhas (e
colunas) ortogonais e mais uma restrio que dada pelo valor do
determinante. Uma maneira de se obter matrizes em SU (n) consiste
em tomar H Mn (C) com trao zero e tal que H = H . Ento
afirmamos que U = eiH est em SU (n). Primeiro, vamos verificar
que U unitria:
U = (eiH ) = eiH = eiH
e assim
U U = eiH eiH = I.
Agora basta verificar que o determinante de U 1; para isso usaremos
a seguinte propriedade que relaciona o trao e o determinante de uma
dada matriz A (ver [Sot]):
det eA = eTrA .
Ento
det U = det eiH = eTriH = eiTrH = e0 = 1
como desejado.
(a.b) = (a)(b)
4.5 Ao de Grupos
Considere uma funo : G X X satisfazendo as condies se-
guintes:
1. Para cada g G, (g, ) uma bijeo de X;
[SEC. 4.6: RBITAS E CLASSES DE EQUIVALNCIA 57
: U Cn Cn
(ei , |v)) $ ei |v)
uma ao de U em Cn .
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
(a b) a + ib.
O mapa h a composio de dois mapas h1 e h2 definidos da
seguinte forma
h1 : S 3 ! V C + {}
$ C = 1 ,
C D
h2 : C {} ! R2 {} S 2
C $ 1
E (C),
em que E : S 2 R2 {} denota a projeo estereogrfica
C D C a b
D
E a b c = 1c 1c .
Geometricamente, a projeo estereogrfica
C tem Dum significado
bem interessante. Tomamos um ponto q = a b c na C esfera S De
2
+i ) = +v |i | v)
C D
em que |v) = , temos
C C D C D D C D
h2 (C) = 2Re 2Im ||2 ||2 = +1 ) +2 ) +3 ) .
4.8 Exerccios
Exerccio 4.7. Verifique que o conjunto G = {a, b} munido do pro-
duto aa = a, ab = ba = b, bb = a um grupo.
Exerccio 4.8. Considere o conjunto {0, 1} munido da multiplicao
usual, ou seja, 00 = 0, 01 = 10 = 0 e 11 = 1. Verifique as propri-
edades de grupo neste caso; o grupo em questo conhecido como o
grupo multiplicativo Z2 ; compare-o com o grupo da primeira questo.
[SEC. 4.8: EXERCCIOS 61
lgebras C
5.1 lgebras C
Um espao vetorial A munido de uma operao de produto o que
se chama de uma lgebra. Quando temos uma norma no espao e ele
completo com relao a mesma (ou seja, um espao de Banach)
ento o chamamos de lgebra de Banach. Se, alm disso, temos uma
involuo : A A satisfazendo
1. (a + b) = a + b ;
2. (a) = a ;
3. (ab) = b a ;
4. (a ) = a;
5. -a - = -a-;
62
[SEC. 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 lge-
bra C .
Exemplo 5.2. Seja C0 (R) o conjunto das funes f : R C cont-
nuas 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 pre-
cisamos 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).
-A A- -A-2 -A A-
Ento -Id-2 = n &= 1; porm, uma unidade deve satisfazer -1 1- =
-1-2 , o que implica em -1- sendo 1 ou 0. Desta forma vemos que
Mn (C) munido de - -2 no uma lgebra C .
[SEC. 5.2: ESTADOS DE UMA LGEBRA 65
+a|b ) = Tr(a b)
n
" n
"
= +ei |a bei ) = +ei |a bei ) = Tr(a b) = +a|b ).
i=1 i=1
Alm disso,
n
" n
"
+a|a ) = Tr(a a) = +ei |a aei ) = +aei |aei ) =
i=1 i=1
n
"
= -aei -2 0.
i=1
n
" F 6 B
= a ei 6Vf a ei .
i=1
Mas dado um vetor v Cn , podemos escrever uma transformao
linear a tal que
a (e1 ) = v e a |e
1
= 0.
no-negativo) e portanto
F 6 B
v 6Vf v = +Vf v|v ) = +v|Vf v ) = +v|Vf v ).
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 =
Logo v 6(Vf Vf )w = w6(Vf Vf )v = v 6(Vf Vf )w e
6 6 6
< 6 =
assim v 6(Vf Vf )w = 0 para qualquer escolha de vetores v e w,
6
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.
det (a 1) = 0,
5.4 Exerccios
Exerccio 5.1. Considere uma lgebra C A com unidade 1, isto ,
com um elemento 1 tal que 1a = a1 = a para todo a A. Mostre que
1 = 1; mostre que -1- = 1.
Exerccio 5.2. Considere a lgebra C A = M2 (C). Se : A C
um funcional linear e que satisfaz a igualdade (a)(b) = (ab) para
todo par a e b em A ento mostre que o funcional nulo, ou seja,
(a) = 0 para todo a A (obs.: o resultado continua verdadeiro se
trocamos M2 (C) por Mn (C)).
Interldio
1 Para assim permitir que o leitor com o gosto complementar pule tais seces,
Um Bit de Mecnica
Quntica
73
74 [CAP. 6: UM BIT DE MECNICA QUNTICA
estratgia didtica, com a promessa que, ao final, o leitor ter uma axiomatizao
bastante geral.
2 Ao longo do texto, usaremos o termo alternativas clssicas com o sentido
adotamos tacitamente uma lei de inrcia: se nada for feito, o sistema continua no
mesmo estado.
[SEC. 6.1: MECNICA QUNTICA EM DIMENSO DOIS 77
distribuio equiprovvel.
82 [CAP. 6: UM BIT DE MECNICA QUNTICA
&
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.
d H
|) = |), (6.5)
dt i!
onde H : E E um operador linear, chamado hamiltoniano do
sistema, i a unidade imaginria e ! a famosa constante de Planck
(dividida por 2).
84 [CAP. 6: UM BIT DE MECNICA QUNTICA
existe uma evoluo quntica capaz de inverter o vetor de spin, qualquer que
seja ele. Voc consegue conciliar essa ltima afirmao com a discusso desse
pargrafo?
[SEC. 6.2: UM POUCO DE FSICA 87
Sistemas de d nveis
89
90 [CAP. 7: SISTEMAS DE D NVEIS
1
ij = 1, se i = j; ij = 0, se i $= j.
[SEC. 7.1: MECNICA QUNTICA EM DIMENSO D 91
outro contexto.
92 [CAP. 7: SISTEMAS DE D NVEIS
7.1.3 Geometria
Da mesma forma que para os qbits, a fase global irrelevante quando
tratamos das probabilidades dos resultados de testes. E isso traz
riqueza para a geometria do problema.
Para qualquer sistema quntico com espao de estados de dimen-
so finita d, os possveis vetores de estado so vetores de norma 1 em
E = Cd , um conjunto naturalmente identificado com a esfera S 2d1
(lembrando que neste caso, a dimenso indicada com respeito aos
reais). O conjunto das classes de equivalncia [|)] pode ser visto
como o conjunto de todos os subespaos unidimensionais (complexos)
de E = Cd . Mas esta exatamente a definio do espao projetivo
complexo CPd1 . Em particular, o conjunto dos vetores de estado
fisicamente distintos para um qbit homeomorfo a CP1 , a chamada
linha projetiva complexa. bem entendido, e nossa discusso sobre a
fibrao de Hopf deve ter deixado claro, que CP1 pode ser visto como
a esfera de Riemann (ou de Bloch, dependendo do contexto). Assim,
sua dimenso complexa 1, por isso linha4 , enquanto sua dimenso
real 2, condizente com esfera.
O conjunto dos estados fisicamente distintos pode ser visto como
S 2d1 /S 1
= Cd /C
= CPd1 .
d H
|) = |),
dt i!
4 Interessante notar que linhas projetivas so compactas.
94 [CAP. 7: SISTEMAS DE D NVEIS
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).
[A, B] = AB BA &= 0
Logo,
1
Im(+A|B )) = +|[A, B] ).
2i
Assim,
1
Var(A) Var(B) |+A|B )|2 |Im(+A|B ))|2 = |+|[A, B] )|2 .
4
Sistemas Qunticos
Compostos
101
102 [CAP. 8: SISTEMAS QUNTICOS COMPOSTOS
Bell1 :
1
| ) = (|00) |11)), (8.1a)
2
1
| ) = (|01) |10)). (8.1b)
2
1. Calcule a probabilidade de cada possvel resultado em um teste
E = E= E-= aplicado a cada estado de Bell, bem como os
respectivos estados aps a medio.
1
8.1.3 Dois spins 2
J apresentamos os sistemas de spin 12 como importante exemplo de
qbit, utilizado inclusive para melhor entender as possveis evolues
temporais destes. Agora vamos explorar mais uma propriedade, pre-
sente quando mais de um spin considerado. Por enquanto, mais de
um significa dois.
As matrizes de Pauli (6.4) esto intimamente relacionadas aos
observveis de spin. De fato, cada uma dessas trs matrizes representa
o observvel associado medio da respectiva componente do spin.
Em particular,
! ! !
Sx = x , Sy = y , Sz = z , (8.3a)
2 2 2
onde Su a componente u do spin. Cabe notar que tais observveis
no so compatveis, no havendo um estado com as trs componentes
de spin definidas.
De maneira mais geral, se 1u = (ux , uy , uz ) um vetor unitrio,
usamos a notao
1u 1 = ux x + uy y + uz z
mesma notao S!u est sendo usada para o observvel associado componente
$ do spin de cada partcula e do sistema composto. Caso o leitor prefira uma
u
notao mais clara, porm carregada, sugerimos: S!uA = S!u I, S!uB = I S!u e
S!uAB = S!uA + S!uB , que tambm utilizaremos eventualmente.
[SEC. 8.1: DOIS QBITS 109
C2 C2
= C C3 , (8.5)
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 ! escondi-
dos.
110 [CAP. 8: SISTEMAS QUNTICOS COMPOSTOS
H AB = HA I + I HB (8.6)
H AB = HA I + I HB + Hint , (8.7)
7 Pode-se dizer mais: os elementos de U (4) que respeitam o mergulho de Segre
ou so da forma UA UB , ou seu produto com USwap : |" |" & |" |",
fato este demonstrado na ref. [Dru].
[SEC. 8.2: SISTEMAS DE DUAS PARTES 111
&
Se a decomposio de Schmidt de |) |) = i i |i )|i ), com
a conveno que os coeficientes so reais,
C Dno-negativos e escritos em
ordem decrescente, chamamos 1 = 2 de vetor de Schmidt do
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
pi qi , k. (8.8)
i=1 i=1
1 : ,
O resultado de Nielsen [Nie] que se 1 ento existe uma estra-
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 or-
dem 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:
1. Obtenha 1p e 1
q de forma que nem p1 : 1q , nem 1q : p1;
8.3.2 Geometria
Aumentando o nmero de partes, aumenta a riqueza das construes
geomtricas encontradas. Comeando por trs qbits, deve ser claro
que os estados fisicamente distintos formam um CP7 . Para ganhar
intuio, vale se concentrar no seguinte:
1
8.3.3 Vrios spins 2
Vamos agora retomar a discusso da subseco 8.1.3. Para entender
melhor o processo, vamos passar a discusso para trs partculas de
spin 12 . importante destacar que estamos sempre considerando
partculas distinguveis15 .
Nosso problema entender como o sistema se comporta perante a
ao de operadores coletivos. Se nossos trs spins so rotulados A, B
e C, queremos generalizar a equao (8.4), ou seja, vamos considerar
C2 C2 C2
= C2 C2 C4 . (8.11)
= C2 C2 C3
= C2 C6
C12 = C4 C3 ,
enquanto sistemas com espaos de estado de dimenso prima so, a
esse respeito, atmicos17 .
interessante notar que essa condio relacionada s dimenses
restringe as possveis fatoraes tensoriais, mas apenas as deter-
mina a menos de isomorfismos. comum chamarmos duas fatoraes
distintas (mesmo que em espaos de mesmas dimenses) de diferentes
estruturas de produto tensorial (do ingls tensor product structures,
TPS), como definido na referncia [ZLL]. Primeiro devemos entender
melhor o que consideramos duas estruturas distintas e com isso po-
demos apresentar uma receita de como obter estruturas de produto
tensorial em um espao vetorial de dimenso composta.
Em mecnica quntica, podemos restringir nossa discusso a bases
ortonormais. Vamos fazer a discusso nesses termos, em benefcio do
leitor acostumado. Se dada uma estrutura de produto tensorial da
forma
Cmn
= Cm Cn , (8.13)
onde no necessariamente m e n so primos18 , podemos escolher
17 No sentido original da palavra: indivisveis.
18 Ou seja, estamos preocupados em como fazer uma separao; se m ou n no
for primo, o processo pode ainda ser continuado.
[SEC. 8.5: UM POUQUINHO MAIS DE FSICA 119
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 maxima-
mente emaranhados.
1 1
p() = (+d| + +e|)()(|d) + |e)) = (1 + cos ) = cos2 , (8.15)
2 2 2
tpica de um padro de interferncia.
Se agora consideramos o projetor () I e o estado final de
(8.14), obtemos
1 1
p() = (+d, ;| + +e, <|) () I (|d, ;) + |e, <)) = , (8.16)
2 2
[SEC. 8.5: UM POUQUINHO MAIS DE FSICA 121
Operador Densidade
122
[SEC. 9.1: OPERADOR DENSIDADE COMO PONTO DE PARTIDA 123
w = v + (1 )u , [0, 1],
= p1 + (1 p)2
124 [CAP. 9: OPERADOR DENSIDADE
+ || ) = p+ |1 | ) + (1 p)+ |2 | ) 0.
Tr = pTr1 + (1 p)Tr2 = 1.
em que
Pi |)
|i ) = .
-Pi |)-
Exerccio 9.1. Demonstre as afirmaes acima.
- - ..
" " "
+A) = p i ai = ai Tr(Pi ) = Tr ai Pi = Tr(A).
i i i
(9.1)
+A) = +|A|).
a2 + b2 + c2 1. (9.2c)
= p1 + (1 p)2 .
A = TrB (),
[SEC. 9.3: OPERADOR DENSIDADE COMO IGNORNCIA QUNTICA 129
um estado misto.
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,
: D(E) M (E)
$ % ,
(p1 1 + p2 2 ) = p1 (1 ) + p2 (2 ).
O mapa pode ser representado por uma matriz que age em
um espao vetorial de dimenso d2 , ou seja, uma matriz d2 d2 .
Usaremos dois ndices para indicar as componentes de uma matriz
densidade (d d) e quatro ndices para indicar as componentes de
um mapa agindo no espao de matrizes densidade (d2 d2 ). Assim
temos: "
%m = m n .
n
n
% = (% ) : %m = %m
" " "
m n = m n = m n m = m .
n n n n n
n n n
2. Tr(% ) = 1 :
" ""
%mm = mm n = 1.
n
m m n
Como essa equao deve valer para todo , podemos " usar =
|i)+i|, caso em que n = n ni , para concluir que mm = 1,
n
" m
se n = . Para concluir que mm = 0, se n &= , utilizamos
n
m
novamente as matrizes com os blocos mostrados acima.
3. A matriz % deve ser positiva, ou seja, deve levar matrizes
positivas em matrizes positivas.
Dmn = m .
n
1. % = (% ) D = D .
"
2. Tr(% ) = 1 Dmn = n .
m
m
- .
" " "
= pi xm (zi )n Dmn (zi ) x 0.
i m 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 no-
negativo, 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! !
- .
"" " j
" j
= di pj imn znm ! xmm!
i z! x!
i j ! !
mm n
6 62
"" 6" 6
i j
= mn znm! xmm! 6 0.
6 6
di pj 6
6 ! 6
i j mm n
ou seja, "
Ai Ai = I.
i
&
Por outro lado, se () = i Ai Ai , ento
"
I() = Ai I()Ai I,
i
descrito por
X = Z ,
e consequentemente
1
= X = Z = 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 qun-
tica (sec. 9.3) e ver que, nesse caso, o emaranhamento entre Ana e
Bernardo (antes que ele fizesse a medio) desempenharia um papel
interessante.
Captulo 10
Sistemas Qunticos
Compostos - bis
142
[SEC. 10.1: DOIS QBITS 143
densidade da forma
"
AB = p i A B
i i (10.1)
i
Transposio Parcial
Uma propriedade simples e importante dos estados separveis foi per-
cebida 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:
Mapas Positivos
De fato, Peres conjecturou que seu critrio fosse no apenas necess-
rio, mas tambm suficiente para detectar emaranhamento. Veremos
adiante que, em geral, esse no o caso. Mas para dois qbits !
E quem entendeu isso foi a famlia Horodecki [H3 96], colocando a
discusso em termos mais gerais.
Os termos mais gerais em questo so os chamados mapas positi-
vos:
: L(E) L(E)
tais que para todo L(E) positivo (semi-definido), tambm
positivo (semi-definido). A transposio (com respeito a alguma base
escolhida) um exemplo de mapa positivo. O fato interessante, talvez
no intuitivo, que extenses triviais de mapas positivos podem no
148 [CAP. 10: SISTEMAS QUNTICOS COMPOSTOS - BIS
Testemunhas de Emaranhamento
Outro fato importante geomtrico. Por construo, o conjunto dos
estados separveis convexo e fechado. Vamos
C denot-lo,
D em geral,
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)
Negatividade
A ideia de transposio parcial levou a um quantificador chamado
negatividade [LK, VW]. Para dois qbits, foi mostrado que um es-
tado pode ter, no mximo, um autovalor negativo [VADM, Ama]. O
mdulo deste autovalor pode ser tomado como definio desse quan-
tificador.
8E muitas solues parciais, pelo qual no nos cabe discuti-las aqui.
150 [CAP. 10: SISTEMAS QUNTICOS COMPOSTOS - BIS
Concorrncia
Um outro quantificador nasceu da inteno de tornar o emaranha-
mento de formao [BDSW] uma quantidade diretamente comput-
vel. 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 oti-
mizar 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 quanti-
ficadores, dependendo apenas do tipo de restrio que se impe s
possveis testemunhas.
10.1.3 Geometria
Uma boa forma
C de ganhar
D intuio sobre a geometria do conjunto de
estados D C2 C2 generalizar a noo de vetor de Bloch. Utili-
zando as matrizes de Pauli (6.4), podemos escrever
1 "
= I I + 1r 1 I + I 1s 1 + tjk j k , (10.4)
4
jk
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 ema-
ranhamento 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 negativi-
dade zero, violando uma das exigncias para ser um (bom) quantifi-
cador de emaranhamento (ser zero para todo estado separvel, e ape-
nas para eles). Ainda assim, a negatividade quantifica alguma coisa,
relacionada ao emaranhamento (possivelmente associada ao emara-
nhamento 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])
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 es-
tado 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.
um vetor de probabilidades.
Exerccio 10.14. Mostre que para todo p (0, 1) o estado
Um Pouco de Mecnica
Quntica na Reta
163
164 [CAP. 11: UM POUCO DE MECNICA QUNTICA NA RETA
Newton:
dp d2
F = = m 2 x = ma, (11.1)
dt dt
d
com condies iniciais x(0) = x0 e v(0) = dt x(0) = v0 .
Um campo de foras pode ser convenientemente representado por
um potencial, uma funo V : R R tal que
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.
0
O leitor pode ento se perguntar o porque da escolha do ponto 0
como extremo inferior da integral e a resposta que isso apenas
uma conveno; se 0 for trocado por qualquer outro ponto ser obtida
uma nova funo V que continua satisfazendo a condio acima. De
fato a diferena entre essas funes ser uma constante (pois ambas
tm a mesma derivada).
Com essa funo potencial podemos reescrever a equao de New-
ton numa verso conhecida como mecnica hamiltoniana, que consiste
essencialmente em se definir uma funo (a funo de Hamilton)
p2
H(p, x) = + V (x) (11.2)
2m
e tomar como equaes de movimento as equaes de Hamilton
d
x =
H,
dt p
(11.3)
d
p = H.
dt x
O leitor no ter dificuldades em ver que o sistema acima equiva-
le lei de Newton. A mudana essencial de interpretao. En-
quanto na verso newtoniana buscamos a funo x(t) utilizando uma
EDO de segunda ordem, na mecnica hamiltoniana queremos enten-
der
# o par (x(t),
$ p(t)), governado por uma equao de primeira ordem;
H H
p , x um campo vetorial no chamado espao de fase do sis-
tema.
[SEC. 11.2: PARTCULA QUNTICA 165
x := x, (11.4)
1 2
+ V = i . (11.10)
2m x2 t
Para resolvermos equaes como esta (note que o operador H
linear) um mtodo bastante empregado o da separao de variveis,
[SEC. 11.3: O OPERADOR HAMILTONIANO . . . 167
1 d2
+ V = E, (11.11a)
2m dx2
d
T = iET. (11.11b)
dt
A primeira equao conhecida como equao de Schrdinger in-
dependente 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 .
H = E. (11.12)
ma = F = 0.
1E origem do seu nome.
[SEC. 11.4: A PARTCULA EM UMA CAIXA UNIDIMENSIONAL 169
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 con-
dies de fronteira (0) = (L) = 0. Devemos ento resolver esse
problema de autovalores.
a soluo no difcil: as funes 1 = cos( Ex) e
Nesse caso
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 ,
X/ > ?Y
2 1 1 # ns $ |b a| 1 # ns $6b
cos 2 ds = sen 2
6
6 .
L [a,b] 2 2 L L 2n L a
|b a|
Pn (x [a, b]) ,
L
Ou seja, H = a a + 1.
H0 = (a a + 1)0 = a a0 + 10 = 10 ,
H = N + 1 = N = ( 1).
(2n + 1) 1 = 2n
e
< 6# $ = < 6 =
+n |aa n ) = n 6 H + 1 n = n 6Hn + +n |n ) =
6 6
[SEC. 11.6: EXERCCIOS 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.
Note que mesmo para o estado de mais baixa energia, n = 0, temos
incerteza associada ao observvel x. Este fato gera bastante discus-
so, alguma confuso e uma nomenclatura interessante: tratam-se
das flutuaes de ponto zero, ou ainda flutuaes qunticas.
11.6 Exerccios
Exerccio 11.6. Reflita um pouco sobre a influncia do tamanho da
caixa nos nveis de energia da partcula no caso da seo 11.4.
Exerccio 11.7. Para as autofunes da partcula na caixa obtenha
os valores esperados da posio. Lembre que
/ L
+x) = +|x ) = x|(x)|2 dx.
0
k
voc gostar de definir = .
m
5 No sentido fsico da palavra: comprimentos s podem ser somados a compri-
Sistema de Funes
Iteradas Quntico
178
[SEC. 12.2: SISTEMA DE FUNES ITERADAS 179
lim n (0 ). (12.2)
n
Desigualdades de Bell
184
[SEC. 13.1: EPR E OS ELEMENTOS DE REALIDADE 185
13.2 Bell
Em 1964, John Bell props uma maneira de testar a existncia de
variveis ocultas [Bel64]. Ele mostrou que, em uma teoria de va-
riveis ocultas obedecendo hipteses razoveis2, os valores esperados
de alguns observveis deveriam satisfazer uma inequao. Esta a
primeira desigualdade de Bell da histria. Se em algum experimento
essa desigualdade fosse violada, poderamos concluir que tais teorias
no poderiam ser verdadeiras.
Bell derivou sua desigualdade no contexto de um teste em um
par de partculas de spin 12 no estado | ). Vamos supor que o
estado do sistema seja descrito por uma varivel , que faz o papel
de varivel oculta e que determina qual ser o valor obtido quando
realizamos uma medio da componente de spin em uma direo 1u.
A varivel pode ser contnua ou discreta, pode ter uma componente
ou vrias. Em geral, temos apenas que , com um certo espao
de parmetros para variveis ocultas.
Vamos supor que um teste realizado em cada parte do par:
na parte A vamos medir a componte de spin na direo do vetor
1a e na parte B vamos medir a componente de spin na direo 1b.
O valor obtido em A, v(1a, ), depende da direo 1a escolhida e de
. Analogamente o valor obtido em B, v(B, 1 ), depende da direo
1b escolhida e de . Sabemos apenas que os valores possveis para
ambos os resultados so 1.
Suponhamos que p() seja a distribuio de probabilidade de .
Ento o valor esperado de v(1a, )v(1b, )
# $ /
E 1a, 1b = p()v(1a, )v(1b, )d.
Depois de alguns clculos, Bell mostra que dadas trs direes 1a,
1b e 1c vale a desigualdade
# $ 6 6
1 + E 1b, 1c 6E(1a, 1b) E(1a, 1c)6. (13.2)
6 6
# $
Para que no haja contradio com a mecnica quntica, E 1a, 1b
deve concordar com o valor esperado de 1a 1 1b 1 .
Exerccio 13.1. Mostre que
+ |1a 1 1b 1 | ) = 1a 1b.
|+CHSH)| 2, (13.4)
A1 = z , A2 = x ,
x z x + z
B1 = , B2 =
2 2
para obter uma violao de (13.4).
Contextualidade
191
192 [CAP. 14: CONTEXTUALIDADE
tambm deveria ser vlida para uma TVOC. Pelo fato de que A possui
valor definido temos v(A) = +A) e portanto
v(A + B) = 2, 0 ou 2.
No entanto A+ B = x + y possui autovalores 2 e por isso
v(A + B) = 2 o que uma contradio.
mecnica quntica mais uma outra varivel que pode ser um nmero real, um
vetor real, etc...
[SEC. 14.1: VON NEUMANN 193
f (A1 , . . . , An ) = 0
A = a0 I + a1 x + a2 y + a3 z ,
v(A) = a0 -1a-.
14.2 Gleason
Gleason no estava preocupado com teorias de varives ocultas. Ele
estava interessado em estudar medidas no conjunto de subespaos
fechados de um espao vetorial [Gle].
Definio 14.1. Seja E um espao vetorial e F o conjunto dos subes-
paos fechados de E. Uma medida em F uma funo : F R+
tal que se {Ei } uma coleo enumervel de subespaos de E mutu-
amente ortogonais que geram o subespao EI ento
"
(EI ) = (Ei ). (14.3)
i
com a norma gerada por ele. Um espao dito separvel se possui um subconjunto
denso enumervel. Os espaos Cn so espaos de Hilbert separveis, e como so
os exemplos considerados nesse texto, no precisamos nos preocupar muito com
essas exigncias.
[SEC. 14.2: GLEASON 195
R3 = {c1 |1 ) + c2 |2 ) + c3 |3 ) ; ci R}.
[A1 B1 , A2 B2 ] = 0.
200 [CAP. 14: CONTEXTUALIDADE
A 1 = x I A 2 = I x A 3 = x x
A 4 = I y A 5 = y I A 6 = y y (14.7)
A 7 = x y A 8 = y x A 9 = z z
1 = P1 P2 P3 = P4 P5 P6 = 1
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 li-
nhas formam uma estrela de cinco pontas. Valem as seguintes propriedades:
205
206 BIBLIOGRAFIA