Topicos de Algebra Linear

T
opicos de Algebra
Linear
em
Mec
anica Qu
antica
Raphael Campos Drumond
Notas de Aula
Departamento de Matematica, UFMG
Belo Horizonte, Janeiro de 2014

CONTEUDO
1. Operadores Autoadjuntos - Estados Quanticos . . . . . . . . . . . . 1

1.1 Notacao e resultados basicos . . . . . . . . . . . . . . . . . . . 1
1.2 Teorema espectral e algumas de suas aplicacoes e consequencias 3
1.3 POVM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4 Os operadores de Pauli . . . . . . . . . . . . . . . . . . . . . . 9
1.5 O estado quantico . . . . . . . . . . . . . . . . . . . . . . . . . 10
2. O Produto Tensorial - Sistemas Quanticos Compostos
2.1 Construcao . . . . . . . . . . . . . . . . . . . .
2.2 O produto tensorial . . . . . . . . . . . . . . . .
2.3 Operadores no produto tensorial . . . . . . . . .
2.4 Representacao matricial . . . . . . . . . . . . .
2.5 O traco parcial . . . . . . . . . . . . . . . . . .
2.6 Teorema da dilatacao de Naimark . . . . . . . .
2.7 Operadores Separaveis . . . . . . . . . . . . . .
2.8 Sistemas Quanticos Compostos . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3. Mapas Completamente Positivos - Operacoes Quanticas . . . . . .

3.1 Mapas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Mapas completamente positivos: Teorema da Representacao
de Krauss . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3 O isomorfismo de Choi-Jamiolkowsi e mapas positivos . . . .
3.4 Mapas completamente positivos que preservam traco . . . .
3.5 Mapas positivos e operadores separaveis . . . . . . . . . . .
3.6 A equacao de Schrodinger . . . . . . . . . . . . . . . . . . .
3.7 Operacoes quanticas . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
16
16
18
21
22
24
26
28
28
. 31
. 31
.
.
.
.
.
.
33
36
37
41
43
47
1. OPERADORES AUTOADJUNTOS - ESTADOS
QUANTICOS
1.1 Notacao e resultados basicos
O objetivo desta secao e simplesmente fixar notacao e explicitar alguns resultados e definicoes que supomos conhecidas pelo leitor. Caso o mesmo nao se
sinta seguro sobre as expressoes e conceitos descritos abaixo, deve primeiramente procurar um bom livro de algebra linear e voltar aqui posteriormente1 .
Os elementos centrais deste curso sao os espacos vetorias complexos munidos de produto interno e dimensao finita, que chamaremos simplesmente
de espacos de Hilbert2 . Denotaremos tais espacos, tipicamente, pelas letras
latinas X, Y, ..., seus elementos por letras latinas min
usculas x, y, ..., e seu
produto interno por h, i. Assim, se x, y X, hx, yi C e o produto interno
entre x e y.
Consideraremos o produto interno linear na segunda entrada e sesquilinear na primeira, quer dizer, se C e denota seu complexo conjugado,
vale hx, yi = hx, yi = h x, yi.
p
A norma de um vetor e definida por ||x|| = hx, xi e vetores normalizados satisfazem ||x|| = 1.
Denotaremos por dim(X) = n N a dimensao de X e uma base U =
{u1 , ..., un } satisfazendo hui , uj i = ij para i, j = 1, ..., n e dita ortonormal3 .
Operadores ou aplicacoes lineares serao denotados por letras latinas A, B, C....
O espaco vetorial complexo de todas as aplicacoes lineares A : X Y sera
denotado por L(X; Y ), sendo que a sua dimensao e o produto das dimensoes
de cada espaco, dim[L(X; Y )] =dim(X)dim(Y ). Em especial, em se tratando de espacos de operadores lineares, ou seja, quando X = Y , escrevemos
simplesmente L(X).
1
Recomendamos fortemente as seguintes opcoes: o prel

udio de [1], toda a referencia
[2], os cinco primeiros captulos (pelo menos) de [3], alem de [4].
2
Sendo o espaco vetorial de dimensao infinita, a definicao de espaco de Hilbert pede
tambem a completude do espaco, quer dizer, aconvergencia de toda sequencia de Cauchy.
1 se i = j
3
Aqui usamos o delta de Kronecker ij =
0 se i 6= j
1. Operadores Autoadjuntos - Estados Quanticos
O smbolo 0 sera usado para representar tanto o n

umero complexo zero,
quanto o elemento neutro de X e o operador nulo de L(X; Y ).
O posto de uma aplicacao A : X Y e simplesmente a dimensao da sua
imagem, postoA =dim(ImA), onde ImA = {y Y |y = Ax, para algum x
X}. Pode-se definir em L(X; Y ) a norma ||A|| = sup||x||=1 ||Ax||.
O dual de X, quer dizer, conjunto dos funcionais lineares {f : X
C|f e linear} sera denotado por X . Para cada x X podemos definir
seu elemento dual x X fazendo x (y) = hx, yi para todo y X. O
mapeamento x 7 x e um isomorfismo entre X e X , e assumimos em X o
produto interno tal que hx , y i = hy, xi.
Dados x X e y Y , podemos definir uma aplicacao linear yx
L(X; Y ) que atua da seguinte forma em um elemento u X: yx (u) =
x(u)
y = hx, ui y.
A adjunta de uma aplicacao linear sera denotada por . Quer dizer, se
A : X Y e linear, a sua adjunta e a aplicacao linear A : Y X definida
de forma a satisfazer hy, Axi = hA y, xi para todos x X e y Y .
Se X = Y e A = A , A e dito autoadjunto. Caso A apenas comute com
A , quer dizer, AA = A A, diz-se que A e operador normal.

O conjunto dos operadores autoadjuntos atuando em X formam um
espaco vetorial real, denotado por A(X), e vale dim[A(X)] = dim(X)[dim(X)+
1]/2.
Um operador A : X X e unit
ario se sua inversa A1 existe e A1 =
A .
O operador identidade de um espaco X sera denotado por IX , que dizer
IX (x) = x para todo x X.
Dada uma qualquer base ordenada B = {v1 , ...., vn } de X, a matriz de
um operador A nesta base sera representadaPpelo smbolo [A], com entradas
{[A]ij }ni,j=1 definidas pelas equacoes Avj = ni=1 [A]ij vi , para j = 1, ..., n. Se
B e ortonormal, vale que [A]ij = hvi , Avj i.
A adjunta de uma matriz (sua transposta conjugada) tambem sera denotada com e uma matriz que coincide com sua adjunta sera denominada
hermitiana.
Dado W X subespaco de X, denotamos por W seu complemento
ortogonal, quer dizer, o subespaco formado pelos vetores ortogonais a todos
os elementos de W . O projetor ortogonal em W e o operador linear
PW : X X tal que P x = x para todo x em W e P x = 0 para todo x em
W . Caso seja unidimensional, W = [{u}], onde o [S] indica o subespaco
gerado pelo subconjunto S X, e u e unitario, entao PW = uu , pois
(uu )(x) = u (x)u = hu, xi u para todo x X.
Finalmente, se, para um operador A existem um vetor nao-nulo x X
e C tais que Ax = x, x e dito autovetor de A com autovalor . O
conjunto de todos os autovetores com mesmo autovalor e um subespaco

de X, denominado autoespaco do autovalor . O conjunto dos autovalores
de um operador e denominado espectro. Se A e auto-adjunto, decorre que
seus autovalores sao necessariamente reais e que autovetores com autovalores
distintos devem ser ortogonais.
Observe finalmente que todos os espacos de Hilbert aqui considerados sao
entao isomorfos e isometricos a Cn = {(z1 , ..., zn )|zi C para i = 1, ..., n}, o
espaco complexo ndimensional das nuplas de
umeros complexos, munido
Pn
n
0
0
do produto interno h(z1 , ..., zn ), (z1 , ..., zn )i = j=1 zj zj0 . Ademais, L(X; Y )
e isomorfo ao espaco Mnm = {[M ]|[M ]ij C para i = 1, ..., m, j = 1, ..., n}
das matrizes m n com entradas complexas, se dim(X) = n e dim(Y ) = m.
1.2 Teorema espectral e algumas de suas aplicacoes e

consequencias
Um resultado central para entendimento do conte
udo destas notas e o teorema espectral, que garante, para todo operador autoadjunto, a existencia
de uma base ortonormal inteiramente formada por autovetores do operador:
Teorema 1. Se A e um operador autoadjunto no espaco de Hilbert X de
dimensao n N, existe uma base ortonormal {u1 , ..., un } e n n
umeros
reais 1 , ..., n , nao necessariamente distintos, tais que Auj = j uj para
j = 1, ..., n.
Observac
ao 1. Segue do teorema que
A=
n
X
i ui ui
i=1
Pn
P
P
pois, para j = 1, ..., n, i=1 i ui ui (uj ) = ni=1 i hui , uj iui = ni=1 i ij ui =
j uj . Ou seja, o operador do lado direito da equacao atua da mesma forma
que A em uma base de X, logo coincide com A. Dizemos que a expressao do
operador A nessa equacao e a decomposi
c
ao espectral do mesmo.
Observac
ao 2. Supondo que i1 , ..., ik , k n, sao os autovalores distintos
de A, e que Pij e o projetor ortogonal no subespaco dos autovetores com
autovalor ij , e facil concluir que
A=
k
X
j=1
ij Pij ,
P
onde, ademais, vale Pij Pi 0 = Pi 0 Pij = 0 para j 6= j 0 e kj=1 Pij = IX .
j
j
Tambem dizemos que a soma acima e a decomposicao espectral do operador
A.
Ideia da demonstrac
ao. O teorema decorre de dois fatos: i) todo
operador linear em X possui pelo menos um autovetor e ii) se um operador autoadjunto A preserva um subespaco W (quer dizer, a imagem dos
elementos de W por A pertencem a W ), entao tambem ira preservar W .
Assim sendo, dado um operador auto-adjunto A atuando em um espaco de
dimensao d > 1, i) nos garante a existencia de um subespaco de dimensao 1
preservado por A e ii) nos garante que seu complementar tambem sera preservado. Logo, podemos definir a restricao de A a este complementar como um
operador atuando em um espaco de dimensao d 1. Dada a obvia veracidade
do teorema para dim(X) = 1, o resultado segue do princpio da inducao.
Exerccio 1. Mostre que se um operador autoadjunto A : X X preserva
subespaco W entao preserva seu complemento ortogonal W .
Exerccio 2. Mostre que todo operador linear A : X X tem pelo menos
um autovetor. Dica: Considere o polinomio caracterstico det(A zI), onde
I e o operador identidade em X e use o teorema fundamental da algebra4 .
Exerccio 3. Para qualquer operador linear A : X X, verifique que os
operadores B = 21 (A+A ) e C = 2i (A+A ) sao auto-adjuntos, e A = B+iC.
Exerccio 4. Se A, B : X X sao autoadjuntos e comutam, entao existe
uma base {ui }ni=1 ortogonal de X formada por autovetores de A e B. Dica:
se W e o autoespaco de um autovalor de A, use a comutatividade para
mostrar que W sera preservado por B.
Exerccio 5. Use os Exerccios 3 e 4 para generalizar o teorema espectral
para operadores normais: se A : X X comuta com A , existe uma base
ortonormal em X inteiramente formada por autovetores de A.
Exerccio 6. Mostre que U : X X e unitario se, e somente se, X admite uma base de ortonormal formada por autovetores de U e com todos os
autovalores de modulo um. Dica: observe que U e operador normal.
4
Uma possvel demonstrac

ao sem uso do determinante e a seguinte. Primeiramente
2
observe que o conjunto de elementos {I, A, A2 ..., An } de L(X), onde I e o operador
2
identidade, e linearmente dependente pois contem n +1 elementos, enquanto dim[L(X)] =
2
n2 . Logo, existem coeficientes complexos 0 , ..., n2 tais que 0 I + 1 A + ... + n2 An = 0
e i 6= 0 para algum i 1 (observe que nao e possvel ter apenas 0 6= 0). Se k e o maior
natural tal que k 6= 0, o teorema fundamental da Algebra

nos garante que o polinomio
k
p(z) = 0 z + 1 z + ... + k z pode ser fatorado como produto de polinomios de grau 1,
p(z) = k (z 1 )...(z k ). Logo k (A 1 I)...(A k I) = 0 e necessariamente deve
existir x 6= 0 tal que (A j I)x = 0 para algum j, quer dizer, Ax = j x.
Operadores semi-definido positivos

Um particular subconjunto dos operadores autoadjuntos sera especialmente
relevante para nos:
Definic
ao 1. Um operador linear A : X X e dito semi-definido positivo se hx, Axi 0 para todo5 x X. Tambem indicaremos essa propriedade do operador com a notacao A 0. O conjunto de todos os operadores semi-definido positivos atuando em um espaco X sera denotado por
DP(X) = {A L(X)|A 0}.
` primeira vista nao e claro que essa definicao implica em um operador
A
autoadjunto, mas isso e garantido pelo teorema abaixo.
Teorema 2. Um operador linear A : X X e positivo semi-definido se, e
somente se, e auto-adjunto e seus autovalores sao nao-negativos.
Demonstrac
ao. () Lembre que, para quaisquer x, y X vale hx, yi =
hy, xi . Logo, hx, Axi = hx, Axi = hAx, xi para todo x X, onde a primeira
igualdade decorre da hipotese de hx, Axi ser real. Para quaisquer x, y X
vale entao hx + iy, A(x + iy)i = hA(x + iy), x + iyi e hx + y, A(x + y)i =
hA(x+y), x+yi. Da primeira igualdade deduz-se que Rehx, Ayi = RehAx, yi
e da segunda, que Imhx, Ayi = ImhAx, yi. Logo hx, Ayi = hAx, yi e A e autoadjunto.
Sobre o sinal dos autovalores, basta notar que se A tivesse algum autovalor negativo com autovetor u, entao hu, Aui = hu, ui = hu, ui < 0,
contrariando a hipotese.
() Seja {ui }ni=1 uma
P base ortonormal de autovetores de A com autovalores i 0. Para x = ni=1 i ui arbitrario, vale
hx, Axi = h
=
=
n
X
i=1
n
X
i,j=1
n
X
n
n
X
X
i ui , A(
j uj )i =
i j hui , Auj i
j=1
i j hui , j uj i =
i,j=1
n
X
i j j ij
i,j=1
|j |2 j 0.
j=1
Note que em geral hx, Axi pode ser um n

umero complexo. A desigualdade numerica
hx, Axi 0 significa que hx, Axi e real e positivo.
Exerc
cio 7. Sejam Ai DP(X), 0 < i C para i = 1, ..., N . Mostre que
P
A= N
a contida
i=1 i Ai DP(X). Ademais, mostre que a imagem de Ai est
na imagem de A para i = 1, ..., N . Dica: mostre primeiramente para o caso
1 A1 + 2 A2 , onde os dois operadores tem posto unitario. Generalize para o
caso em que apenas um tem posto unitario e finalmente para o caso em que
ambos tem posto qualquer. Encerre usando inducao em N .
Exerccio 8. Sejam A DP(X) e B L(X), entao BAB DP(X).
Exerccio 9. Mostre que se R 4 e uma rotacao de /4 no plano R2 , vale
~x R 4 ~x 0 para todo ~x = (x, y) R2 , mas o operador nao e autoadjunto.
Quer dizer, a recproca do Teorema 2 so e valida para operadores em espacos
vetoriais complexos.
O traco
DefinicP
ao 2. O tra
co de um operador linear A : X X e definido por
n
TrA = i=1 hui , Aui i, onde {ui }ni=1 e uma base ortonormal.
Dados espacos de Hilbert X, Y , o traco pode ser usado para fazer de
L(X; Y ) tambem um espaco de Hilbert, definindo o produto interno hA, Bi =
Tr(A B), para A, B L(X; Y ), denominado produto de Hilbert-Schmidt.
Observe que A B e um operador linear definido em X e podemos de fato aplicar a definicao de traco (para uma aplicacao linear A : X Y , com X 6= Y ,
o traco nao e definido).
Os exerccios abaixo demonstram que o traco e de fato bem definido, quer
dizer, nao depende da escolha da base ortonormal para computa-lo.
Exerccio 10. Suponha A auto-adjunto e mostre que se {ui P
}ni=1 e uma base
ortonormal
de autovetores de A, com autovalores i , entao ni=1 hui , Aui i =
Pn
n
aria, expresse
i=1 i . Dada uma base ortonormal {wj }j=1 arbitr
Pn cada um de
seus elementos em termos da base de autovetores e mostre que i=1 hwi , Awi i =
P
n
co e bem definido para operadores auto-adjuntos
i=1 i . Conclua que o tra
e coincide com a soma de seus autovalores.
Exerccio 11. Use o exerccio acima para mostrar que o traco e bem definido
para operadores lineares arbitrarios. Dica: use tambem o Exerccio 3.
Exerccio 12. Dados operadores lineares atuando em espaco de Hilbert X,
A, B L(X), mostre que Tr(AB) =Tr(BA). Conclua tambem que, para
A1 , ..., AN L(X), Tr(A1 ...AN ) =Tr(AN A2 ...AN 1 ), chamada propriedade
cclica do traco. Dica: Expresse os elementos de matriz de AB e BA
em uma base ortonormal e em termos dos elementos de matriz de A e B.
Verifique que as somas dos elementos da diagonal coincidem.
Definic
ao 3. Os operadores lineares em X, semi-definido positivos e de traco
unitario, sao denominados operadores densidade e seu conjunto sera denotado por D(X).
Exerccio 13. Se A e um operador semi-definido positivo, TrA = 1 e {wj }nj=1
e uma base ortonormal arbitraria, P
mostre que os n
umeros pi = hwi , Awi i,
n
satisfazem pi 0 para i = 1, .., n e i=1 pi = 1.
Exerccio 14.
para i = 1, ..., N e os n
umeros reais i 0
PNSe Di D(X) P
N
satisfazem i=1 i = 1, entao i=1 i Di D(X).
A exponencial de um operador
Dado operador linear A : XP X, podemos definir um novo operador
Aj
erie converge6 na norma
eA : X X fazendo eA =
j=0 j! , pois essa s
de L(X) para todo operador A, e dizemos que eA e a exponencial de A. A
convergencia na norma de L(X) implica em particular que para todo x X,
P Aj x
e uma serie convergente em X, e converge para eA x.
j=0 j!
Para entender como uma exponencial de um operador A atua em X e
necessario entender todas as potencias deste operador. Essa tarefa e particularmente simples se olhamos para autovetores de A. De fato,
P seAj xx e
n
n
A
autovetor de A com autovalor , entao A x = x, e vale e x = j=0 j! =
P j
e autoadjunto poderemos entender sua atuacao

j=0 j! x = e x. Logo, se A
em todo o espaco: se {ui } e uma base de ortonormal de autovetores de A, com
autovalores i , vemos que eA tambem tera todos os autovetores desta base
como seus autovetores e com autovalores correspondentes ei . Em particular,
eA tambem sera autoadjunto.
Exerccio 15. Mostre que det[eA ] = eTr(A) para A autoadjunto.
Exerccio 16. Mostre que eiA e um operador unitario se A e autoadjunto.
Reciprocamente, se U e unitario, mostre que existe operador autoadjunto A
tal que U = eiA . Dica: para a segunda parte, use o Exerccio 6.
Pn
j
Para ver esta convergencia note que, se Sn = j=1 Aj! e uma soma parcial, entao para
j
Pn
Pn
Pn
j
j
n
umeros naturais n > m, vale ||Sn Sm || = || m+1 Aj! || m+1 || Aj! || m+1 ||A||
j! .
Au
ltima desigualdade segue da propriedade ||AB|| ||A|| ||B||, valida para a norma de
j
P
L(X). Ora, a serie numerica j=1 ||A||
e convergente, logo, dado > 0, existe N N
j!
Pn
||A||j
tal que n, m > N implica m+1 j! < . Estas desigualdades mostram portanto que Sn
e uma sequencia de Cauchy na norma de L(X), sendo portanto convergente, visto L(X)
ser completo.
O leitor n
ao familiarizado com fundamentos de analise pode ter dificuldade com o argumento acima. Esta, no entanto, e a u
nica passagem desta notas onde esse tipo de
argumento ser
a usado e o leitor pode ignorar esta passagem em um primeiro momento.
6
Exerccio 17. Se A, B L(X) sao auto-adjuntos e comutam, mostre que

eA+B = eA eB = eB eA . Dica: use o Exerccio 4.
1.3 POVM
O ttulo desta secao se refere à sigla em ingles da expressao positive operators
valued measures, que pode ser traduzida por medidas com valores em
operadores positivos. Grosseiramente, a ideia por tras desta expressao
e generalizar uma medida de probabilidade. Essa medida, ao inves de
assumir valores reais, assume valores em operadores semi-definido positivos
atuando em algum espaco de Hilbert fixado.
Se e uma conjunto com uma quantidade finita de elementos i , chamado
espaco amostral, com i = 1, ..., N N, uma medida de probabilidade
e um funcao da forma P : P() R+ , onde P() e o conjunto formado
por todos os subconjuntos de e R+ e o conjunto dos n
umeros
P reais naonegativos. Ela deve satisfazer ainda7 P () = 1 e P (E) = i E P ({i })
para todo E . Os subconjuntos E sao chamados eventos enquanto
os subconjuntos com apenas um elemento, {i }, sao chamados eventos elementares.
Pelas propriedades de P , vemos que basta conhecer os n
umeros pi =
P ({i }), quer dizer, as probabilidades dos eventos elementares, para computar a probabilidade de qualquer evento. Podemos entao agrega-los em um
vetor de probabilidades (p1 , ..., pN ) para identificar a medida de probabilidade correspondente.
A definicao de POVM basicamente muda P (E) R, P (E) 0 para
P (E) L(X), P (E) 08 e P () = 1 para P () = IX , sendo IX o operador
identidade em X. Para ser mais preciso:
e um
Definic
ao 4. Um POVM e uma tripla (, X, ) onde = {i }N
i=1
conjunto com quantidade finita de elementos, X e espaco de Hilbert e :
P() DP(X) satisfaz:
P
i) para cada E , (E) = i E ({i }),
ii) () = IX .
A propriedade i) permite identificar um POVM igualmente bem pelo
conjunto de operadores {i }N
i=1 , onde i = ({i }), sendo essa a forma mais
7
A definic
ao de medida de probabilidade aqui apresentada e valida apenas para espacos
amostrais com um n
umero finito de elementos. Para uma exposicao geral, recomendamos
[5].
8
Ou, em outra notac
ao, de P (E) R+ para P (E) DP(X).
comumente encontrada em textos de fsica. Os elementos deste conjunto sao

chamados os elementos do POVM.
No caso especial em que X = C o POVM coincide com a nocao usual de
medida de probabilidade9 .
Por exemplo, se X e bidimensional, = {1, 2, 3, 4}, {u1 , u2 } e {w1 , w2 }
sao bases ortonormais, entao { 21 Pu1 , 21 Pu2 , 12 Pw1 , 12 Pw2 } sao elementos de um
POVM. Aqui temos apenas que verificar que todos elementos do conjunto sao
semi-definido positivos e que a sua soma e a identidade. Ora, todos eles sao
proporcionais a projetores ortogonais, com constantes de proporcionalidade
positivas, logo sao de fato semi-definido positivos. Ademais, 12 Pu1 + 21 Pu2 +
1
P + 12 Pw2 = 12 (Pu1 + Pu2 ) + 21 (Pw1 + 12 Pw2 ) = 12 IX + 12 IX = IX .
2 w1
Exerccio 18. Seja X espaco de Hilbert, {u1 , ..., un } base ortogonal para X,
= {1, ..., n} e para E , WE subespaco gerado pelos vetores {ui }iE .
Mostre que (, X, ), onde (E) = PWE e um POVM.
Exerccio 19. Dados (, X, ) um POVM e um operador D D(X) (quer
dizer, D 0 e Tr(D) = 1), mostre que a aplicacao P : P() R definida
por P (E) = Tr[(E)D] para E e uma medida de probabilidade. Dizemos que essa e a medida de probabilidade induzida pelo POVM (, X, )
e o operador densidade D D(X).
Um caso particular importante de POVMs sao aqueles em que (E) e
projetor ortogonal para todo E e (E)(E 0 ) = (E 0 )(E) = 0 sempre
que E E 0 = , sendo denominados POVMs projetivos. Neste caso, para
cada particao do espaco amostral, = E1 ... Em onde os eventos da uniao
sao dois a dois disjuntos, os subespacos projetados por (Ei ) sao mutuamente
ortogonais e formam uma decomposicao em soma direta de X (em particular,
a quantidade de elementos do espaco amostral deve ser menor ou igual a
dimensao de X).
Exerccio 20. Construa um POVM projetivo (, X, ) usando a decomposicao espectral de um operador autoadjunto A L(X).
1.4 Os operadores de Pauli

O objetivo desta secao e introduzir uma famlia bastante simples de operadores atuando em espacos bidimensionais, devido a sua importancia e presenca
macica na literatura em fsica. Seja X espaco de Hilbert de dimensao 2 com
9
DP(C) pode ser identificado naturalmente com o conjunto dos n

umeros reais naonegativos, R+ .
10
{u0 , u1 } base ortonormal ordenada, enquanto x , y e z sao operadores que

atuam da seguinte forma:
x u0 = u1 e x u1 = u0 ,
y u0 = iu1 e y u1 = iu0 ,
z u0 = u0 e z u1 = u1 .
(1.1)
(1.2)
(1.3)
Estes sao denominados operadores de Pauli.

Exerccio 21. Mostre que os operadores sao auto-adjuntos e unitarios. Quais
sao as suas inversas?
Exerccio 22. Como atuam os operadores = 21 (x iy ) e + = 12 (x +iy )?
Eles sao autoadjuntos? Senao, calcule suas adjuntas.
Exerccio 23. Mostre que as suas matrizes sao

1 0
0 1
0 i
[z ] =
, [x ] =
, [y ] =
.
0 1
1 0
i 0
Exerccio 24. Mostre que os operadores de Pauli, juntamente com o operador
identidade IX , formam uma base para L(X) e tambem para A(X).
Exerccio 25. Diagonalize x e y .
Exerccio 26. Mostre que [x , y ] = 2iz , [y , z ] = 2ix , [z , x ] = 2iy , onde
[A, B] = AB BA denota o comutador de dois operadores.
Exerccio 27. Se A = 21 (I + rx x + ry y + rz z ), onde rx , ry , rz R, mostre
que A e semi-definido positivo se, e somente se |~r| 1, onde ~r = (rx , ry , rz ).
1.5 O estado quantico

Com o que foi exposto acima, ja temos elementos matematicos suficientes
para formular alguns dos princpios gerais da teoria quantica. Vamos expor
estes princpios de tres maneiras distinas, em graus crescentes de generalidade, com vistas a preparar o leitor para outras leituras na literatura em
fsica, onde as tres formulacoes ainda sao usadas. Pois, apesar da terceira formulacao incluir as duas primeiras como casos especiais, na literatura usa-se
frequentemente a linguagem e os objetos das duas primeiras por simplicidade
ou razoes historicas.
Mas antes, para dar uma ideia um pouco mais precisa da importancia
e significado destes princpios, vamos primeiramente explorar a formulacao
matematica de um exemplo simples de um sistema descrito pela mecanica
classica, uma vez que o leitor certamente tem alguma familiaridade com esta
teoria.
11
Considere uma sistema fsico S formado por uma u

nica partcula de massa
m, tal que a sua locomocao e restrita a uma dimensao espacial. A sua
posicao e descrita por uma coordenada x, suponha que V (x) e a sua energia
potencial, enquanto seu momento linear e p = mv, sendo v a sua velocidade.
Note que o simples conhecimento do par de n
umeros (x(t = 0), p(t = 0)),
explicitando o instante de tempo t = 0 onde estes n
umeros sao conhecidos,
tem consequencias muito fortes:
i) Permite-nos computar o valor obtido pela medic
ao de qualquer grandeza fsica relevante desse sistema nesse instante de tempo, como a sua energia cinetica T (p) = p2 /(2m) ou a sua energia mecanica total E = T (p)+V (x),
pois de maneira geral as grandezas sao uma funcao f (x, p) da posicao e do
momento da partcula, como nos dois exemplos acima.
ii) Podemos calcular, gracas às leis de Newton, o par (x(t), p(t)) para
qualquer instante de tempo posterior t > 0, assim como, por i), qualquer
outra grandeza que nos interesse10 .
Quer dizer, por i) e ii) teremos basicamente todas as informacoes sobre
o sistema S. Por isso, dizemos que o par (x(0), p(0)) e o estado do sistema
S no instante t = 0. Consequentemente, a colecao de todos estes possveis
pares (em um instante de tempo fixado), que aqui podemos simplesmente
identificar com R2 , e denominado espaco de estados. As medicoes neste
sistema sao descritas por funcoes f (x, p), como a energia cinetica ou energia
mecanica total, enquanto a dinamica do (estado do) sistema e determinada
pelas leis de Newton (que, por sua vez, e determinada pela energia mecanica
total, ou Hamiltoniano).
Finalmente, se tivermos um sistema S 0 formado por uma outra partcula
de massa m0 , posicao e momento x0 , p0 , sabemos como descrever o estado do
par de sistemas S + S 0 : basta considerar a posicao e o momento de ambas,
(x, p, x0 , p0 ). Aqui, o espaco de estados pode ser identificado com R2 R2 .
1a Formulacao
Postulado 1. A mecanica quantica postula que a todo sistema fsico S e
associado um espaco de Hilbert X. O sistema pode se encontrar em diferentes
estados, que neste caso sao vetores unitarios em X. Uma medic
ao neste
sistema, por outro lado, e descrita por um operador autoadjunto A : X X.
A interpretacao de A e a seguinte: os seus autovalores ai correspondem aos
possveis resultados da medicao. Se o sistema se encontra em um estado
x X, e e feita uma medicao descrita pelo operador A, a probabilidade
10
Lembre-se que a segunda lei de Newton e uma equacao diferencial ordinaria de segunda
ordem, e o que conhecimento dos dados iniciais x(0) e x(0)
(ou, equivalentemente, de x(0)

e p(0)) implica na existencia de uma solucao u
nica para o problema.
12
P
pi de se obter um particular valor ai e dada por pi = kj=1 | hx, wj i |2 , onde
os vetores wj formam um base ortonormal para o autoespaco do autovalor
ai (ou, equivalentemente, pi = hx, Pai xi, onde Pai e o projetor ortogonal
no
Pk subespaco do autovalor ai ). Em particular, o valor esperado de A,
e hx, Axi.
i=1 pi ai ,
Assim, se em um laboratorio tem-se um sistema fsico como, por exemplo,
um atomo de hidrogenio, os fsicos podem fazer e responder perguntas como:
se medirmos a energia deste atomo, quais valores podemos obter? E qual
e a probabilidade de se obter cada uma delas? Para responder a primeira
pergunta e necessario entao: a) identificar o espaco de Hilbert X associado
ao atomo; b) identificar o operador autoadjunto H : X X que descreve
as medicoes de energia e, finalmente; c) computar o espectro de H, pois os
n
umeros reais deste conjunto serao exatamente os possveis valores de energia.
Para responder a segunda pergunta teriam que identificar, no experimento
em questao, qual o particular estado x X em que o atomo se encontra e,
juntamente com os autovetores de H, computar as probabilidades desejadas.
2a Formulacao
Postulado 1.
A mecanica quantica postula que a todo sistema fsico
S e associado um espaco de Hilbert X. O sistema pode se encontrar em
diferentes estados, que neste caso sao elementos de D(X) (quer dizer, sao
operadores semi-definido positivos de traco unitario). Uma medic
ao neste
sistema ainda e descrita por um operador auto-adjunto A : X X.
A interpretacao de A agora e: os seus autovalores ai ainda correspondem
aos possveis resultados da medicao. Se o sistema se encontra em um estado D D(X), e e feita uma medicao descrita pelo operador
a probabiPA,
k
lidade pi de se obter um particular valor ai e dada por pi = j=1 hwj , Dwj i,
onde os vetores wj formam um base ortonormal para o autoespaco do autovalor ai (ou, equivalentemente, pi =Tr(DPai ), onde Pai e o projetor ortogonal
no
Pk subespaco do autovalor ai ). Em particular, o valor esperado de A,
e Tr(AD).
i=1 pi ai ,
Exerccio 28. Mostre que se nos restringirmos a operadores D D(X) de
posto unitario, D = Px = xx , sendo x X de norma 1, a formulacao acima
e equivalente a primeira. Os estados fsicos descritos por operadores deste
tipo sao dito puros. Caso o operador tenha posto 2, o estado e dito misto.
3a Formulacao
Postulado 1.
A mecanica quantica postula que a todo sistema fsico
S e associado um espaco de Hilbert X. O sistema pode se encontrar em
13
diferentes estados, que neste caso sao elementos de D(X) (quer dizer, sao
operadores semi-definido positivos de traco unitario). Uma medic
ao neste
sistema, no entanto, agora e descrita por um P OV M (, X, ).
A interpretacao do POVM e a seguinte: os possveis resultados da
medic
ao sao os elementos de onde = {1 , ..., N } e um conjunto finito,
cujos elementos nao sao necessariamente reais e pode ser que N > dim(X)
(observe que nas formulacoes anteriores o n
umero de possveis resultados de
uma medicao estava limitado pela dimensao de X). Se o sistema se encontra
em um estado D D(X), e e feita uma medicao descrita pelo POVM, a
probabilidade pE de se observar um determinado evento E e dada
por p(E) =Tr[D(E)]. Em particular, se os elementos deP sao n
umeros
N
reais, podemos computar o valor esperado da medicao, i=1 p{i } i , por
PN
ao os elementos de POVM.
i=1 i Tr(i D), onde i = ({i }) s
Exerccio 29. Mostre que se so tem elementos reais e o POVM e projetivo,Pessa formulacao se reduz a` segunda. Dica: mostre que o operador
ao os elementos de POVM, e autoadjunto e com
A= N
i=1 i i , onde i s
decomposicao espectral dada pelo lado direito da igualdade.
Faltou algo...
Dois ingredientes essenciais faltaram mesmo a essa formulacao mais geral:
i) Caso tenhamos dois sistemas distintos S e S 0 , descritos por espacos de
Hilbert X e X 0 , qual e o estado do sistema composto S + S 0 , quer dizer,
considerando uma situacao experimental onde medicoes podem ser feitas
conjuntamente em S e S 0 ? No proximo captulo definiremos o ferramental
necessario para dar essa resposta.
ii) Em nenhum momento dizemos como que o estado de um sistema
se comporta no tempo. Oferecemos apenas uma descricao estatica da teoria.
Queremos ser capazes de computar, a partir do estado de um sistema D(0)
D(X) em um instante de tempo t = 0, o estado do sistema D(t) em um
instante de tempo posterior t > 0 arbitrario. Este sera um dos objetos de
estudo do terceiro e u
ltimo captulo destas notas.
Uma observacao sobre a notacao
A notacao adotada aqui nestas notas e pouqussimo usual na literatura de
fsica (experimental, teorica ou matematica). A esmagadora maioria dos
textos faz uso dos bras e kets. Mas como essas notas tem em mente principalmente estudantes de matematica, com algum background em algebra
linear e pouco em fsica, preferimos adotar uma notacao que o faca se sentir
mais em casa. Nao obstante, acreditamos que a notacao sera igualmente u
til
14
aos estudantes de fsica, pois a notacao tradicional deixa muita informacao

subentendida, de forma que conceitos matematicos sutis podem passar desapercebidos ou mesmo ser erroneamente entendidos. Cremos que a notacao
aqui adotada e mais explcita e abre menos espaco para erros de leitura.
Na notacao usual, vetores dos espacos de Hilbert sao representados pelos
smbolos |i, chamados kets, enquantos os elementos do dual sao representados pelos smbolos h|, chamados bras. Essa notacao para o bra explora a
identificacao natural dos elementos de um espaco de Hilbert com seu dual,
|i 7 h|. Quer dizer, h| e o funcional linear (|i) , ou seja, a sua atuacao
em um elemento arbitrario |i e h| (|i) = h|i , |ii. Por isso, o produto interno entre dois vetores |i e |i e convenientemente representado por h|i.
Note entao que este mesmo smbolo pode tambem ser entendido como o produto interno ou a atuacao do elemento do dual h| no vetor |i. Ademais, na
literatura os operadores densidade sao usualmente representados pelas letras
gregas e e seu domnio e propriedades sao frequentemente subentendidos.
Nao obstante, a notacao e bastante u
til para calculos e manipulacoes
algebricas mais longas, devido a sua simplicidade e fluidez. Por exemplo,
um projetor na direcao de um vetor normalizado |i pode ser convenientemente representado pela smbolo |i h|, e sua atuacao em um vetor |i fica
|i h| (|i) = (h|i) |i, ou simplesmente |i h| |i = h|i |i.
A estranheza da mecanica quantica
Voltando aos princpios da mecanica quantica ja introduzidos, chamamos a
atencao para o fato que a formulacao da teoria causa estranheza (para muitos)
essencialmente porque a palavra probabilidade inevitavelmente aparece.
De maneira geral, podemos dar duas interpretacoes a` probabilidade p de
um evento: i) p e a fracao de vezes que este evento e observado quando um
mesmo experimento e repetido muitas vezes (que e a adotada em analises
quantitativas de experimentos) ou ii) p e uma medida do grau de expectativa deste evento ocorrer, 1 indicando que temos certeza que ira ocorrer, 0
indicando que temos certeza que nao ira ocorrer (que e a adotada quando
ouvimos a previsao do tempo, apostamos em um jogo de azar).
Qualquer que seja a interpretacao do que e probabilidade, necessariamente faz-se referencia a uma observacao (ou medicao). Isso implica que a
mecanica quantica nao diz como que todas as caractersticas relevantes de um
sistema fsico (como posicao, momento, energia, n
umero de partculas, etc.)
estao, mas apenas o que devemos esperar ao fazer nele uma observacao,
ou medicao, destas caractersticas. Nesse ponto, a interpretacao da fsica
quantica se desvia da fsica classica. Nessa u
ltima podemos pensar, ou pelo
menos fingir, que os sistemas fsicos por ela descritos tem suas caractersticas
15
bem definidas, independentemente de observa-los ou nao.

claro que a mecanica classica tambem lida com probabilidades, espeE
cialmente a mecanica estatstica. Jamais vamos descrever, por exemplo, o
estado do gas em uma caixa especificando as mais de 1023 posicoes e momentos de suas partculas. Descrevemos apenas a probabilidade de se encontrar
uma partcula em um determinado ponto da caixa, ou a probabilidade dela
ter um determinado momento linear, etc. Nao obstante, do ponto de vista
conceitual, e possvel considerar que essas probabilidades surgem apenas da
ignorancia do observador a respeito do sistema: as 1023 partculas poderiam
ter, pelo menos a princpio, em qualquer instante de tempo, suas posicoes e
momentos bem definidos, apenas teramos dificuldades (ou falta de interesse)
de experimentalmente determinar todos eles. Mas, ainda a princpio, alguem
com muitos recursos (e tempo) o poderia fazer.
Este nao e o caso das probabilidades da mecanica quantica. Elas nao sao
consequencia de limitacoes ou erros experimentais, sao inerentes a` natureza.
Elas sao irremovveis e incontornaveis: certos fenomenos fsicos sao intrinsecamente imprevisveis, no sentido do que o melhor que podemos fazer e
atribuir a ele uma probabilidade estritamente entre 0 e 1.
Evidentemente, isso pode ser uma limitacao da teoria em si, quer dizer,
apenas nao sabemos o suficiente sobre a natureza para construir uma teoria
fsica correta e capaz de descrever todos os fenomenos sem uso de probabilidades (ou predize-los sempre com probabilidade 1 ou 0). De fato, essa
possibilidade foi considerada desde os primordios da mecanica quantica, e
as hipoteticas teorias que fariam tal trabalho sao tipicamente denominadas
teorias de variaveis ocultas. A ideia destas teorias nao seria exatamente
mostrar que a mecanica quantica esta errada, pois ate o momento nao foi
feito qualquer experimento apontando neste sentido, mas sim que ela poderia ser melhorada. Em situacoes em que a mecanica quantica atribui
uma probabilidade estritamente entre 0 e 1 para eventos, variaveis adicionais permitiriam dizer se os eventos sao certos ou nao. Ao se desconsiderar
estas variaveis, no entanto, recuperaramos as probabilidades previstas pela
quantica.
No proximo captulo iremos voltar a este ponto e discutir brevemente
porque tais teorias, embora a princpio matematicamente viaveis, violariam
um outro princpio importante da fsica. Ademais, recomendamos ao leitor
uma visao bastante recente sobre a mecanica quantica e sua interpretacao na
Ref. [6].

2. O PRODUTO TENSORIAL - SISTEMAS QUANTICOS
COMPOSTOS
Neste captulo definiremos o chamado produto tensorial entre dois espacos
de Hilbert, resultando em um novo espaco de Hilbert cuja dimensao e o produto da dimensao de cada um dos espacos envolvidos. O produto tensorial
pode ser definido na verdade para quaisquer espacos vetoriais (nao necessariamente com produto interno, dimensao finita ou sobre os complexos) mas nos
preocuparemos aqui unicamente com a construcao para espacos de Hilbert.
2.1 Construcao
A definicao abaixo possivelmente parecera estranha ou artificial, mas tem
o proposito de deixar claro para o leitor que e possvel construir o produto
tensorial de forma razoavelmente simples e concreta. Nao, obstante, como
no restante do texto nao usaremos os detalhes da construcao, mas u
nica e
somente as propriedades expostas na proxima secao, o leitor pode pular para
ela sem riscos a` compreensao do restante do material.
Definic
ao 5. O produto tensorial entre dois espacos de Hilbert X e Y e o
espaco vetorial das aplicacoes lineares entre X e Y , ou L(X ; Y ), munido do
produto interno hA, Bi = Tr(A B), sendo A, B L(X , Y ) e A : Y X
a adjunta de A. Denotaremos este espaco de Hilbert por X Y .
Dado um par de elementos x X, y Y , seu produto e o elemento
de X Y , denotado por x y, definido por (x y)(f ) = f (x)y, para f
X . Dito de outra forma, o produto entre dois vetores e uma aplicacao
: X Y X Y que associa cada par (x, y) ao elemento x y de X Y
acima definido.
Proposic
ao 1. Sendo X, Y espacos de Hilbert, n = dim(X), m = dim(Y ),
0
x, x X, y, y 0 Y , C, {u}ni=1 , {w}m
i=1 bases ortonormais para X e Y ,
17
respectivamente, sao validas as seguintes propriedades:

i) (x + x0 ) y = x y + x0 y
ii) x (y + y 0 ) = x y + x y 0
iii) (x) y = x (y) = (x y)
iv) hx y, x0 y 0 i = hx, x0 ihy, y 0 i
v) o conjunto {ui wj }n,m
e uma base ortonormal
i,j=1
(2.1)
(2.2)
(2.3)
(2.4)
(2.5)
Demonstrac
ao.
i) Para todo f X vale [(x+x0 )y](f ) = f (x+x0 )y = f (x)y +f (x0 )y =
(x y)(f ) + (x0 y)(f ), entao (x + x0 ) y = x y + x0 y.
ii) Para todo f X vale [x(y+y 0 )](f ) = f (x)(y+y 0 ) = f (x)y+f (x)y 0 =
(x y)(f ) + (x y 0 )(f ), entao x (y + y 0 ) = x y + x y 0 .
iii) Exerccio.
iv) Se {fi }ni=1P
e uma base ortonormal para X , valePhxy, x0 y 0 i = Tr[(x
n
n
0 0
0
0
y) (x0 P
y 0 )] =
i=1 hfi (x)y, fi (x )y i =
i=1 h(x y)(fi ), (x y )(fi )i =
n
hy, y 0 i i=1 fi (x) fi (x0 ) = hy, y 0 ihx, x0 i. A primeira igualdade e somente a
definicao do produto interno em X Y ; a segunda e consequencia imediata
das definicoes de traco e adjunta (ver o Exerccio 31); a terceira e a definicao
do produto tensorial entre vetores de cada espaco; a quarta decorre de propriedades do produto interno enquanto a quinta e deixada como exerccio1 .
consequencia imediata de iv) que o conjunto e ortonormal. Como
v) E
dim[L(X , Y )] = nm, segue que tambem e uma base.
Exerccio 30. Identifique ao longo do enunciado e da demonstracao da Proposicao 1 a quais espacos, X, Y ou X Y , correspondem as operacoes de
soma, multiplicacao por escalar e produto interno.
Exerccio 31. Sendo n =
dim(X) e {ui }ni=1 uma base ortonormal para X ,
P
mostre que Tr(X Y ) = ni=1 hX(ui ), Y (ui )i.
Caso tomemos o produto entre mais de dois espacos, digamos X, Y e Z, a
princpio temos que X (Y Z) e (X Y ) Z, segundo a construcao acima,
estritamente falando, sao distintos: um e o espaco vetorial L(X ; (Y Z))
enquanto o segundo e L((X Y ) ; Z)). Nao obstante, podemos identifica-los
de forma bastante natural.
k
Se {xi }ni=1 , {yi }m
ao bases ortonormais para X, Y e Z, respectii=1 e {zi }i=1 s
vamente, decorre da Proposicao 1 que a aplicacao linear I : L(X ; (Y Z))
L((X Y ) ; Z) definida por I[xi (yj zl )] = (xi yj ) zl para i = 1, ..., n,
Lembre-se que pelo fato dos elementos fi formarem uma base ortonormal em X , os
n
umeros fi (x), para i = 1, ..., n, s
ao as componentes de x em uma base ortonormal.
1
18
j = 1, ..., m e l = 1, ..., k e um isomorfismo isometrico (preserva o produto

interno entre vetores) pois mapeia uma base ortonormal em uma base ortonormal. Alem disso, dado qualquer trio de vetores (x, y, z) X Y Z,
vale que I[x (y z)] = (x y) z. Portanto, iremos denotar o produto
tensorial entre espacos simplesmente por X Y Z, bem como o produto
entre vetores, x y z, sem a preocupacao quanto a` ordem das operacoes.
2.2 O produto tensorial

Na secao anterior oferecemos uma construcao explcita do produto tensorial
entre espacos de Hilbert. Nesta secao oferecemos uma abordagem alternativa,
apenas enunciando as propriedades essenciais do produto tensorial, com quais
e possvel demonstrar todos os resultados subsequentes2 .
Sendo X, Y espacos de Hilbert, n = dim(X), m = dim(Y ), x, x0 X,
y, y 0 Y , C, {ui }ni=1 , {wi }m
i=1 bases ortonormais para X e Y , respectivamente, o produto tensorial X Y e um espaco de Hilbert onde existe uma
aplicacao : X Y X Y tal que:
i) (x + x0 ) y = x y + x0 y
ii) x (y + y 0 ) = x y + x y 0
iii) (x) y = x (y) = (x y)
iv) hx y, x0 y 0 i = hx, x0 ihy, y 0 i
e uma base ortonormal
v) o conjunto {ui wj }n,m
i,j=1
(2.6)
(2.7)
(2.8)
(2.9)
(2.10)
O produto tensorial e associativo X (Y Z) = (X Y )Z = X Y Z

e para todo trio de vetores (x, y, z) X Y Z, x (y z) = (x y) z =
x y z. Alem disso, propriedades analogas as (2.6)-(2.10) sao validas para
o produto X Y Z.
Definimos ainda X C = C X = X, e se x X, C x = x =
x.
Os vetores da forma x y sao denominamos vetores produto, enquanto
a base descrita no item v) e denominada base produto de X Y associadas
a`s bases {ui } e {wj }. O exerccio abaixo mostra que nem todos os vetores
do produto tensorial precisam ser da forma produto.
Exerccio 32. Suponha que dim(X) =dim(Y ) = 2 e que {x0 , x1 } e {y0 , y1 }
sao bases ortonormais para X e Y respectivamente. Mostre que o vetor
x0 y0 + x1 y1 nao e produto. Dica: escreva vetores arbitrarios x e y nas
2
A ideia e similar a da an
alise: basta conhecer os axiomas do conjunto dos n
umeros reais
(o fato de formarem um corpo ordenado completo) para demonstrar todos os resultados
relevantes, sem a necessidade de se usar qualquer construcao explcita do conjunto.
19
bases ortogonais e mostre que a igualdade x y = x0 y0 + x1 y1 nao pode

se verificar.
Exerccio 33. Nas condicoes do exerccio anterior,defina novas bases ortonormais {x+ , x } e {y+ , y } onde x = (x0 x1 )/ 2 (e analogamente para
y). Mostre que x0 y0 + x1 y1 = x y + x+ y+ .
Exerccio 34. Generalize e demonstre as propriedades (2.6)-(2.10) para o
produto de tres espacos X Y Z.
Exerccio 35. Mostre que para x X, y Y quaisquer, x 0 = 0 y = 0
X Y.
Exerccio 36. Mostre que se dim(X) = 1 ou dim(Y ) = 1 entao todos os
vetores de X Y sao da forma produto.
ao bases (nao necessariamente
Exerccio 37. Mostre que se {xi }ni=1 e {yj }m
j=1 s
e base para
ortonormais) para X e Y , respectivamente, entao {xi yj }n,m
i,j=1
X Y.
A proposicao (2.10) nos garante que, de maneira geral, um vetor de um
produto tensorial X Y e uma combinacao linear de nm elementos ui wj ,
se {ui }ni=1 e {wj }m sao bases ortogonais de X e Y fixadas. O teorema a seguir
nos mostra que, por outro lado, se fixamos um vetor de X Y e permitimos
variar as bases ortonormais de X e Y , entao apenas uma combinacao linear
de min{n, m} de vetores e necessaria.
Teorema 3. (Decomposi
c
ao de Schmidt). Se X, Y sao espacos de Hilbert com n = dim(X), m = dim(Y ), r = min{n, m}, fixado X Y ,
existem bases ortonormais {ui }ni=1 e {wj }m
j=1 para X e Y , respectivamente,
Pr
tais que = i=1 i ui wi , onde i 0.
Demonstrac
ao. Este teorema decorre basicamente da decomposicao em
valores singulares de uma matriz3 .
n
m
Tome
Pn,m{xi }i=1 e {yj }j=1 bases ortonormais para X e Y de forma que
=
i,j=1 ij xi yj para algum conjunto de coeficientes complexos ij .
Aplicando o teorema da decomposicao em valores singulares para a matriz
formada por estes coeficientes, podemos concluir que
ij =
n,m
X
[U ]ik [D]kk0 [V ]k0 j ,
k,k0 =1
3
Se [M ] e uma matriz nm, existem matrizes [U ], [V ], [D] de dimensoes nn, mm e

n m, respectivamente, com [U ], [V ] unitarias e [D] diagonal com entradas nao negativas,
tais que [M ] = [U ][D][V ]. As entradas da diagonal de [D] sao as razes quadradas dos
autovalores de [M ][M ] .
20
onde os coeficientes [U ]ik e [V ]k0 j formam matrizes unitarias n n e m m,

enquanto [D]kk0 e diagonal com entradas nao-negativas. Logo
=
n,m
X
ij xi yj
i,j=1
n,m
n,m
X X
[U ]ik [D]kk0 [V ]k0 j )xi yj
=
(
i,j=1 k,k0 =1
n,m
=
=
n
m
X
X
[D]kk0 ( [U ]ik xi ) ( [V ]k0 j yj )
k,k0 =1
r
X
i=1
j=1
[D]kk uk wk .
k=1
Na u
ltima igualdade usamos que os coeficientes [D]kk0 formam um matriz
diagonal (logo,
na diagonal) e definimos os vePncom r =min{n, m}Pentradas
m
tores uk =
j=1 [V ]k0 j yj . Como os coeficientes [U ]ik
i=1 [U ]ik xi e wk =
e [V ]k0 j formam matrizes unitarias e os xi e yj formam bases ortonormais,
em serao ortonormais (verifique!).
entao os conjuntos {uk }nk=1 e {wk }m
k=1 tamb
2
Definindo k = [D]kk , conclumos a demonstracao.
Observac
ao 3. Definimos
os
coeficientes
num
e
ricos
i com esta raiz quaP
drada para que |||| = ri=1 i . Como i 0, se e normalizado o vetor
(1 , ..., r ) pode ser pensado como um vetor de probabilidades. De maneira
geral (com suas entradas somando 1 ou nao), o vetor e chamado vetor de
Schmidt de . No exerccio a seguir o leitor pode demonstrar que este vetor
e bem definido (a menos de reordenamento de suas entradas). Dizemos que
a expressao para na forma enunciada pelo teorema e uma decomposi
c
ao
de Schmidt de . Ademais, o n
umero de elementos nao nulos do vetor de
Schmidt e denominado posto de Schmidt de .
Exerccio 38. Se {xi }ni=1 , {x0i }ni=1 sao bases ortonormais paraP
X, {yj }m
j=1 e
n,m
0 m
{yj }j=1
bases
ortonormais
para
Y
e
Y
,
ent
a
o
i,j=1 ij xi
Pn,m 0 0
0
0
yj = i,j=1 ij xi yj . Mostre que as matrizes [M ] e [M ] formadas pelos
0
coeficientes complexos ij e ij
respectivamente, se relacionam por [M ] =
[U ][M 0 ][V ], onde [U ] e [V ] sao unitarias. Conclua que o vetor de Schmidt de
e bem definido, a menos de reordenamentos. Dica: como que os pares de
bases de cada espaco se relacionam?.
21
2.3 Operadores no produto tensorial

e B : Y Y , onde X, X,
Y, Y sao
Dadas aplicacoes lineares A : X X
espacos de Hilbert, e natural definir um produto entre elas, denotado por
A B, atuando nos produto tensoriais entre os espacos, fazendo A B :
Y tal que (A B)(xi yj ) = (Axi ) (Byj ) onde {xi }n e
X Y X
i=1
n,m
{yj }m
s
a
o
bases
para
X
e
Y
respectivamente.
Como
o
conjunto
{x
y
}
i
j i,j=1
j=1
forma uma base para X Y , AB fica definido. Dizemos que essas aplicacoes
Y ) sao da forma produto.
de L(X Y ; X
A aplicacao linear assim definida nao depende da escolha das bases para
0 m
X e Y . De fato, se {x0k }nk=1
Pmnovo par de bases para
Pn e {yl }l=1 0sao um
0
=
yj para coeficientes
x
,
y
estes espacos, entao xk =
ik i
l
j=1 ljP
i=1 P
n,m
n,m
0 0
complexos ik e P
lj . Dado =
kl
xk yl0 sei,j=1 ij xi yj =
k,l=1
Pn,m
n,m
0
gue que P
ij = P k,l=1 ik kl lj . Entao (A B)()
Pn,m =0 i,j=1
Pn ij (Axi )
n,m
n,m
0
(ByP
j) =
i,j=1 (
k,l=1 ik kl lj )(Axi ) (Byj ) =
k,l=1 kl [A(
i=1 ik xi )]
P
n,m
m
0
0
0
[B( j=1 lj yj )] = k,l=1 kl (Axk ) (Byl ).
Y espacos de Hilbert e A : X X
e B :
Proposic
ao 2. Sendo X, Y, X,
Y Y aplicacoes lineares, vale que (A B) = A B .

Demonstrac
ao. Sendo {xi yj }n,m
i,j=1 base ortonormal para X Y , observe que, para todos i, i0 = 1, ..., n e j, j 0 = 1, ..., m vale hxi yj , (A B)xi0
yj 0 i = hxi yj , (Axi0 )(Byj 0 )i = hxi , Axi0 ihyj , Byj 0 i = hA xi , xi0 ihB yj , yj 0 i =
h(A xi ) (B yj ), xi0 yj 0 i = h(A B )xi yj , xi0 yj 0 i.
Exerccio 39. Sendo Xi , Yi espacos de Hilbert para i = 1, 2, 3 e A : X1 X2 ,
B : Y1 Y2 , C : X2 X3 e D : Y2 Y3 aplicacoes lineares, mostre que:
(C D)(A B) = (CA) (DB).
(2.11)
Exerccio 40. Mostre que o produto tensorial de operadores autoadjuntos e

autoadjunto e o produto tensorial de operadores unitarios e unitario.
Se A : X X e B : Y Y sao operadores lineares, dizemos que
A B L(X Y ) sao operadores produto. Nem todo elemento de
L(X Y ) e um operador produto (ver exerccio abaixo), porem e possvel
escrever qualquer um de seus elementos como uma combinacao linear de
operadores produto.
Proposic
ao 3. Se X, Y sao espacos de dimensao n e m, respectivamente,
A, C L(X), B, D L(Y ), entao
i) Tr(A B)=(TrA)(TrB).
2 ,m2
2
2
ii) {Ai }ni=1 , {Bj }m
ao {Ai Bj }ni,j=1
j=1 formam bases para L(X) e L(Y ), ent
e uma base para L(X Y ).
22
Demonstrac
ao.
n
i) Tome {xi }i=1 e {yi }ni=1 bases ortonormais para X e Y , fazendo
de {xi
Pn,m
n,m
yj }i,j=1 uma base ortonormal
para
X
Y
.
Ent
a
o
Tr(A
B)
=
i,j=1 hxi
Pn,m
Pn,m
yP
)i = i,j=1 hxi yj , (Axi )(Byj )i = i,j=1 hxi , Axi ihyj , Byj i =
j , (AB)(xi yjP
n
( i=1 hxi , Axi i)( m
j=1 hyj , Byj i) = (TrA)(TrB).
ii) Como dim[L(X Y )] = (nm)2 , mesmo n
umero de elementos do conjunto, basta mostrar sua independencia linear. Para tanto, podemos lancar
2
2
mao do produto de Hilbert-Schmidt. Sendo os conjuntos {Ai }ni=1 e {Bj }m
j=1 li2
j }m2
nearmente independentes, podemos obter novos conjuntos {Ai }ni=1 e {B
j=1
ortogonais, via ortogonalizacao de Gram-Schmidt. O item i) garante que o
j }n2 ,m2 sera ortogonal e, portanto, L.I. Alem disso, e tambem
conjunto {Ai B
i,j=1
uma base. Mas2 como
seus elementos sao combinacoes lineares dos elementos
n ,m2
de {Ai Bj }i,j=1 , esse conjunto tambem deve ser uma base.
Exerccio 41. Se A, B sao autoadjuntos, obtenha os autovetores e autovalores
de A B em termos dos autovetores e autovalores de A e B. Os autovetores
de A B sao necessariamente da forma produto?
Exerccio 42. Se A, B sao semi-definido positivos, mostre que A B e semidefinido positivo.
Exerccio 43. Se X, Y sao espacos de Hilbert e L(X Y ) e tal que
hx y, x yi R, para todo x X e y Y , entao e autoadjunto. Dica:
Mostre primeiramente que hx y,
x yi = hx y, x yi para x, x X
e y, y Y arbitrarios, usando estrategia semelhante à da demonstracao do
Teorema 2.
Exerccio 44. Se um operador autoadjunto atuando em X Y admite base
ortonormal de vetores, todos eles produto, entao o operador e tambem da
forma produto?
Exerccio 45. Mostre que se um operador L(X Y ) e produto, quer
dizer, = A B, e tem posto um, entao A e B tambem tem posto unitario.
Exerccio 46. Mostre que a aplicacao linear : L(X) L(Y ) L(X Y )
definida de forma a levar uma base produto de (Ai ) (Bj ) L(X) L(Y )
em Ai Bj L(X Y ) e um isomorfismo.
2.4 Representacao matricial

Se X, Y sao espacos de Hilbert com {u0 , ..., un1 } e {w0 , ..., wm1 } bases
ortonormais ordenadas, podemos considerar um ordenamento adequado para
a correspondente base produto de X Y para que a matriz de um operador
23
A B se expresse de forma simples em termos das matrizes de A e B em

cada uma das bases.
Supondo o ordenamento {1 , ..., i , ..., nm } = {u0 w0 , ..., u0 wm1 , u1
w0 , ..., u1 wm1 , ..., un1 w0 , ..., un1 wm1 }, vamos olhar para a matriz
de A B como n n blocos de tamanho m m. Pois se i = mk + l
onde k = 0, ..., n 1 e l = 0, ..., m 1, j = mk 0 + l0 onde k 0 = 0, ..., n 1 e
l0 = 0, ..., m1, de forma que (k, k 0 ) indexa cada bloco e (l, l0 ) suas respectivas
m2 entradas, vemos que o elemento de matriz
[A B]ij = hi , (A B)j i
= huk wl , (A B)uk0 wl0 i
= huk , Auk0 ihwl , Bwl0 i = [A]kk0 [B]ll0 .
Ou seja, cada bloco (k, k 0 ) e a matriz de B multiplicada pela entrada (k, k 0 )
da matriz de A:
[A]11 [B] [A]12 [B] [A]1n [B]

[A] [B] [A] [B] [A] [B]
21
22
2n
[A B] =
.
..
..
..
.
.
.
[A]n1 [B]
[A]nn [B]
Por exemplo, se X e de dimensao 2, {u0 , u1 } uma base ordenada e x , y
operadores de Pauli anteriormente definidos [ver Eqs., (1.1)-(1.3)], a matriz
do operador x y sera
0
0
(i)
1
0
1
(i)

0i
[x ]11 [y ] [x ]12 [y ]
00
1i
10
[x y ] =
=
[x ]21 [y ] [x ]22 [y ]
1 0 1 (i) 0 0 0 (i)
1i
10
0i
00
0 0 0 i
0 0 i 0
=
0 i 0 0 .
i 0 0 0
Nos exerccios abaixo, X e espaco de Hilbert bidimensional, {u0 , u1 } e
uma base ordenada, enquanto x , y e z sao os operadores de Pauli definidos
pelas Equacoes (1.1)-(1.3).
Exerccio 47. Calcule as matrizes dos operadores atuando em X X definidos
por x x , z z e x z e obtenha seus autovetores e autovalores.
Exerccio 48. Calcule os coeficientes do vetor =
base ordenada de X X obtida da base de X.
1 (u0
2
u0 + u1 u1 ) na
24
Exerccio 49. Calcule, para X X definido no exerccio anterior, os

z
z
)i, h, z ( x+
)i, h, x
seguintes produtos internos h, x ( x+
2
2
x
z
x
z
( 2 )i e h, z ( 2 )i diretamente e usando as representacoes matriciais.
N
Exerccio 50. Seja N N e Y = N
opias de
i=1 X, o produto tensorial de N c
x iy
X. Para j = 1, ..., N defina em Y os operadores j = I ...( 2 )...I

onde o operador entre parentesis se encontra na jesima posicao. Ainda em
j1
Y , defina C1 =
1 e para j = 2, ..., N , Cj = (i=1 z )j . Mostre que
{Ci , Cj } = {Ci , Cj } = 0 e {Ci , Cj } = ij I onde {A, B} = AB + BA e o
anticomutador de dois operadores. Dica: considere a base formada por todos
os possveis produtos dos elementos da base de X (tendo esta base produto
um total de 2N elementos) e entenda primeiramente como que os operadores
j1
j e suas adjuntas, bem como i=1 z , nela atuam.
2.5 O traco parcial

Nesta secao definiremos uma importante aplicacao linear que mapeia elementos de L(X Y ) em elementos de L(X) (ou L(Y )), denominada traco
parcial, eliminando um dos espacos no produto.
Definic
ao 6. Sendo X, Y espacos de Hilbert o tra
co parcial de Y e a
aplicacao linear TrY : L(X Y ) L(X) definida por (IL(X) Tr) 1 ,
onde 1 : L(X Y ) L(X) L(Y ) e inverso do isomorfismo definido no
Exerccio 46, IL(X) : L(X) L(X) operador identidade e Tr: L(Y ) C a
aplicacao linear traco.
A proposicao abaixo nos da formas mais operacionais de se computar o
traco parcial de um operador.
Proposic
ao 4. Se L(X Y ) 3 = A B e produto, vale TrY (A B) =
Tr(B)A. Em geral, se {ui }ni=1 , {wi }m
ao bases ortonormais para X e Y ,
i=1 s
respectivamente, e P
L(X Y ), a matriz de TrY () na base {ui }ni=1 tem
elementos [TrY ()]ii0 = m
j=1 hui wj , (ui0 wj )i.
Demonstrac
ao. Dado AB L(XY ), vale (IL(X) Tr)1 (AB) =
(IL(X) Tr)[(A) (B)] = [IL(X) (A)] Tr(B) = Tr(B)A. Quanto a` segunda
afirmacao, pelo o que ja foi demonstrado, e facil atestar sua veracidade para
o caso em que e produto, enquanto o caso geral segue por linearidade.
Exerccio 51. Seja X espaco de Hilbert com bidimensional e {u0 , u1 }
base
ortonormal. Se , X Y sao dados por = (u0 u0 + u1 u1 )/ 2 e
= x x0 , onde x, x0 X, calcule os tracos parciais de e .
25
As seguintes propriedades do traco parcial sao simples mas importantes

para a continuidade da formulacao da mecanica quantica, a ser feita no final
desse captulo.
Proposic
ao 5. Sendo L(X Y ) vale Tr[TrY ()] = Tr(). Se, ademais,
DP(X Y ), entao TrY () DP(X).
bases ortonormais para X
Demonstrac
ao. Tomando {ui }ni=1 , {wi }m
i=1
Pn,m
ePY , respectivamente,
temos
que
Tr()
=
i,j=1 hui wj , ui wj i =
Pm
Pn
n
i=1 (
j=1 hui wj , ui wj i) =
i=1 [TrY ]ii = Tr(TrY ). A primeira
igualdade e somente a definicao de traco de , pois {ui wj }n,m
e uma base
i,j=1
para L(X Y ); na terceira e u
ltima usamos, respectivamente, a Proposicao
4 e a definicao do traco de um operador em X.
Para mostrar a segunda afirmacao, tome X 3 x 6= 0 e faca u = x/||x|| elemento de uma base
P ortonormal em X. Entao, novamente pela Proposicao 4,
hu, (TrY )ui = m
j=1 hu wj , u wj i 0 pois 0.
Exerccio 52. De um exemplo para mostrar que TrY () 0 nao implica
0.
Exerccio 53. Se L(X Y ) e B L(Y ), mostre que TrX [(IX B)] =
(TrX )B. Dica: escreva como uma combinacao linear de operadores produto.
P
Exerccio 54. Seja X Y e = ri=1 i ui wi uma decomposicao de
Schmidt, onde r =min{dim(X),dim(Y )}, i 0 e os vetores uiP
e wj formam
conjuntos P
ortonormais. Se = , mostre que TrY () = ri=1 i ui ui e
TrX () = rj=1 j wj wj .
Encerramos esta secao como o chamado teorema da dilatacao, usado
frequentemente para simplificar demonstracoes envolvendo operadores semidefinido positivos, ao permitir que sejam substitudos por vetores em um
espaco de Hilbert maior, uma dilatacao do espaco original.
Teorema 4. Se A L(X) e semi-definido positivo, existe Y espaco de
Hilbert e X Y tal que TrY ( ) = A.
P
Demonstrac
ao. Se A = ni=1 i ui ui onde i 0 sao os autovalores de
A, enquanto
faca Y = X
Pn seus autovetores ui formam uma base ortonormal,
e = i=1 i ui ui X X. Pelo Exerccio 54, TrY ( ) = A.

Exerccio 55. Mostre que, na demonstracao do Teorema 4, e possvel tomar
algum espaco Y com dimensao igual ao posto p do operador A. Seria possvel
tomar Y de dimensao inferior a p?
Exerccio 56. Se , 0 X Y sao tais que TrY ( ) =TrY (0 0 ), existe
aplicacao unitaria U L(Y ) tal que = (IX U )0 . Dica: use o Exerccio
54.
26
2.6 Teorema da dilatacao de Naimark

No captulo anterior vimos que um POVM (, X, ) e um operador densidade
atuando em X, D D(X), induzem uma medida de probabilidade no mesmo
espaco amostral, definindo P (E) =Tr[(E)D] para todo evento E .
Da mesma forma que podemos dilatar um espaco de Hilbert para que
um operador densidade seja visto como um vetor (ou um operador de posto
unitario) do espaco maior, nesta secao vamos ver como, dados POVM e
operador densidade, dilatar o espaco de Hilbert para obter POVM projetivo
no espaco maior, mas cuja medida de probabilidade induzida e a mesma do
POVM original [7, 8].
Teorema 5. (Dilata
c
ao de Naimark). Se (, X, ) e um POVM, exis tais que
tem espaco de Hilbert Y , y Y e POVM projetivo (, X Y, )
Tr[(E)(D yy )] =Tr[(E)D] para todo evento E e operador densidade D D(X).

Demonstrac
ao. Se = {1 , ..., N }, tome Y um qualquer espaco de
Hilbert de dimensao N (e.g., Y = CN ) e uma qualquer base ortonormal
{w1 , ..., wN } para Y . Defina o subespaco W X Y , fazendo W = {
X Y | = xP w1
, x X} e a aplicacao linear U : W X Y , onde
N
U (x w1 ) = k=1 ( k x) wk e k = (k ) sao os elementos de POVM4 .
Se {ui }ni=1 e base ortonormal para X, note que
N p
N p
X
X
hU (ui w1 ), U (uj w1 )i = h
k ui wk ,
k0 uj wk0 i
k=1
N
X
k0 =1
p
p
h k ui , k0 uj i hwk , wk0 i
k,k0 =1
N p
N
X
X
p
=h
k ui , k uj i = hui ,
k uj i
k=1
k=1
= hui , uj i .
Quer dizer, U mapeia uma base ortonormal da W em um conjunto ortonormal de X Y , sendo entao possvel tomar uma extensao unitaria5
4
Aqui usamos que operadores semi-definido positivos tem u

nica raiz quadra semidefinida positiva:
se
A
e
semi-definido
positivo
com
autovalores
i 0 e autovalores
Pn
Pn
ui , ent
ao A = i=1 i ui ui e A = i=1 i ui ui
5
Tome bases ortonormais para W e [Im(U )] , defina U 0 : W X Y que faz um
L(X Y ) tal que sua restricao a W coincide
mapeamento entre esse par de bases, e U
com U e sua restric

ao a W coincide com U 0 .
27
U : X Y X YP. Observe
que,
para todo A L(X), U (A w1 w1 )U =
N
U (A w1 w1 )U = k,k0 =1 k A k0 wk wk0 .
cujos elementos sao (
k) =
k =
Defina um POVM (, X Y, )
U [IX (wk wk )]U . Estes elementos
de fato definem um POVM pois sao claP
k = PN U [IX (wk w )]U = U [IX
ramente definido positivos e N
k
k=1
k=1
P

( N
w
w
)]
U
=
U
I
I
U
=
I
.
X
Y
XY
k=1 k k
Primeiramente vamos verificar que o POVM e projetivo. Realmente,
2
note que IX wk wk e autoadjunto e (IX wk wk )2 = IX
(wk wk )2 =
IX wk wk , quer dizer estes operadores sao projetores ortogonais. Ademais,
(IX wk wk )(IX wk0 wk0 ) = IX (wk wk )(wk0 wk0 ) = 0 se k 6= k 0 . Como os
k sao obtidos dos operadores acima por uma operacao
elementos de POVM
unitaria, eles continuarao sendo projetores ortogonais em subespacos mutuamente ortogonais.
Finalmente, vejamos qual e a medida de probabilidade induzida por este
POVM e o operador densidade D yy , onde y = w1 .
k (D w1 w )] = Tr[U IX wk w U (D w1 w )]
Tr[
1
k
1

= Tr[IX wk w U (D w1 w )U ]
k
= Tr[(IX wk wk )(
N
X
p
p
k0 D k00 wk0 wk00 )]
k0 ,k00 =1
N
X
Tr[
p
p
k D k00 wk wk00 ]
k00 =1
p
p
= Tr[ k D k ]
= Tr[k D].
Para um evento qualquer E ,
Tr[(E)(D
w1 w1 )] = Tr[
({
k })D w1 w1 ]
k E
Tr[({
k })D w1 w1 ]
k E
Tr[({k })D]
k E
= Tr[
({k })D]
k E
= Tr[(E)D].
28
2.7 Operadores Separaveis

N
Sejam {Ai }N
ao operadores
i=1 , {Bi }i=1 conjuntos onde Ai L(X), Bi L(Y ) s
semi-definido
positivos.
O
leitor
n
a
o
ter
a
dificuldade
de
verificar
que que
PN
e tambem semi-definido positivo. Os operadores
i=1 Ai Bi L(X Y )
de L(X Y ) que podem ser expressos desta forma (onde N pode assumir
qualquer valor natural, independentemente das dimensoes de X e Y ) sao
dito separ
aveis e denotaremos o conjunto de todos estes operadores por
S(X Y ).
Os elementos do complementar de S(X Y ) em DP(X Y ) podem ser
denominados operadores emaranhados e denotaremos o seu conjunto por
E(X Y ).
Exerccio 57. Se A, B S(X Y ) e C 3 1 , 2 0, entao 1 A + 2 B

S(X Y ).
De maneira geral, dado um operador DP(X Y ), e extremamente
difcil determinar se S(X Y ) ou E(X Y ) e a literatura contem
um enorme leque de condicoes necessarias e/ou suficientes para tal determinacao. Abaixo exploraremos um caso bem simples e deixamos para o
proximo captulo alguns resultados mais fortes e gerais.
Proposic
ao 6. Se o posto de DP(X Y ) e unitario, de forma que
= , sendo o vetor 0 6= X Y , entao S(X Y ) se, e somente

se, e vetor produto.
Demonstrac
ao. () Claramente, se = x y, com x X e y Y
nao-nulos, vale que = = (x y)(x y) = xx yy S(X Y ) pois
xx e yy sao semi-definido
positivos.
PN
() Se = i=1 i Ai Bi e necessario que todos os operadores envolvidos
na soma tenham posto unitario e sejam proporcionais entre si, quer dizer,
Ai B
Pi = i A1 B1 para i = 1, 2, ..., N e i 0 (ver Exerccio 7). Logo,
=( N
ario, necessariamente A1 e
i=1 i i )A1 B1 . Sendo de posto unit
B1 tambem o sao, quer dizer, A1 = xx e B1 = yy onde x X eq

y Y sao
PN
PN
nao-nulos. Logo, = ( i=1 i )xx yy = , onde = x y/
i=1 i .
2.8 Sistemas Quanticos Compostos

Na secao 1.5 ja introduzimos os princpios gerais da mecanica quantica, mas
ja alertando que faltavam alguns pontos. Um deles era o seguinte: se sabemos
descrever um sistema S e um sistema S 0 , como descrever o sistema composto
S + S 0 ? Dado o conte
udo deste captulo, o leitor talvez ja adivinhou que a
resposta esta no produto tensorial. De fato, temos o:
29
Postulado 2. Se os sistemas quanticos S e S 0 tem espacos de Hilbert

associados X e X 0 , o sistema S + S 0 , onde o par e considerado conjuntamente
como um novo sistema, tem espaco de Hilbert associado X X 0 .
Naturalmente, os estados do sistema serao vetores normalizados neste
produto tensorial ou, mais geralmente, elementos de D(X X 0 ), quer dizer,
operadores semi-definido positivos de traco um. Por outro lado, medicoes
serao descritas por operadores autoadjuntos em X X 0 ou, mais geralmente,
POVMs assumindo valores em DP(X X 0 ) (o espaco dos operadores semidefinido positivos atuando em X X 0 ).
Caso A : X X descreva uma medicao no sistema S, a mesma medicao,
quando o sistema S 0 e tambem considerado, sera descrita por AIX 0 , onde IX 0
e o operador identidade em X 0 . De forma similar, se um operador A0 : X 0
X 0 descreve uma medicao em S 0 , a mesma medicao, no sistema composto
S + S 0 sera descrita por IX A0 .
Mais geralmente, uma medicao descrita por um POVM (, X, ) quando
o sistema S 0 e considerado, sera descrita pelo POVM (, X X 0 , IX 0 ),
onde [ IX 0 ](E) = (E) IX 0 .
Assim, se em um laboratorio temos em uma caixa um sistema S constitudo por um atomo de hidrogenio em um estado x X, em outra caixa
temos um sistema S 0 constitudo por um nanotubo de carbono, em um estado x0 X 0 , o par de caixas tera espaco de Hilbert X X 0 e estara no
estado x x0 X X 0 . Caso H : X X seja o operador que descreve
uma medicao de energia no atomo de hidrogenio, esta medicao sera descrita,
somente pelo fato de considerarmos o nanotubo como parte remota do nosso
sistema, por H IX 0 .
Os sistemas compostos quanticos tambem se destacam fortemente da
mecanica classica, devido basicamente a existencia dos estados emaranhados, quer dizer, que nao sao da forma produto x x0 (ver Exerccio 32) ou,
na definicao mais geral de estados, operadores pertences a E(X X 0 ). Isso
significa que nem sempre podemos nos referir separadamente ao estado de
cada um dos sistemas, mas apenas ao estado do sistema como um todo6 .
Alem disso, propriedades das estatsticas de medicoes nestes estados sao, de
certa forma, u
nicas a mecanica quantica, nao podendo ser reproduzidas por
sistemas descritos pela mecanica classica. Esta muito alem do escopo destas notas discutir com algum grau de precisao esta u
ltima afirmacao, mas
referimos o leitor ao posl
udio da Ref. [1] para um introducao detalhada.
O traco parcial tem uma importancia especial neste contexto de sistemas
6
Compare com os estados de duas partculas massivas descritas pela mecanica classica,
discutido no captulo anterior: podemos dizer sempre que o estado do par de partculas e
(x, p, x0 , p0 ) ou que uma partcula esta no estado (x, p) enquanto a outra no estado (x0 , p0 ).
30
compostos. Suponha que em um laboratorio tenhamos um par de sistemas

S + S 0 , podendo inclusive estar em um estado emaranhado, mas, por alguma
razao, nos temos acesso apenas as medicoes em um deles, digamos, S. Sera
necessario continuar descrevendo toda a estrutura matematica do segundo
sistema? Na verdade nao. Se D(X X 0 ) e o estado do par de sistemas,
o operador X =TrX () D(X) sera capaz de descrever quaisquer medicoes
em X. Por exemplo, se A : X X descreve uma medicao em S, o valor
esperado desta medicao sera, a princpio, Tr[A IX 0 ], onde nesta expressao
devemos considerar a estrutura matematica do sistema como um todo. Por
outro lado:
Exerccio 58. Tr[A IX 0 ] =Tr(AX ).
No lado direito da igualdade acima, apenas operadores atuando em X
estao envolvidos, e o sistema S 0 pode ser ignorado por completo. Portanto,
o operador X =TrX 0 tem um significado especial, por permitir descrever
quaisquer medicoes que atuam exclusivamente em S, e e chamado estado
reduzido do sistema.
3. MAPAS COMPLETAMENTE POSITIVOS
OPERAC
OES
QUANTICAS
3.1 Mapas
Dado espaco de Hilbert X, podemos definir o espaco vetorial dos operadores
lineares L(X) e naturalmente considerar os operadores lineares nele atuando,
que chamaremos, para facilitar a exposicao, de mapas (muito embora sejam
apenas operadores lineares atuando em um particular espaco vetorial) e denotaremos seu conjunto por L2 (X) (para abreviar L[L(X)]). Destes mapas,
serao particularmente interessantes para nos aqueles que preservam o subconjunto dos operadores semi-definido positivos, DP(X):
Definic
ao 7. Um mapa L2 (X) e dito positivo se (A) 0 para todo
A L(X) e A 0. O conjunto de todos estes mapas sera denotado por
MP(X).
Exerccio 59. Se X e espaco de Hilbert e A0 L(X) e operador semi-definido
positivo fixado, mostre que o mapa L2 (X) definido por (A) =Tr(A)A0
para todo A L(X), e positivo.
Exerccio 60. Se X e espaco de Hilbert, L(X) e positivo se, e somente
se, (xx ) e semi-definido positivo para todo x X.
Exerccio 61. Se K L(X), mostre que o mapa K : L(X) L(X),
A 7 KAK e positivo. Em particular, se K = IX , IX = IL2 (X) e positivo.
Exerccio 62. Fixada base = {ui }ni=1 para X, mostre que e positivo o mapa
T : L(X) L(X), onde T (A) 7 AT , sendo AT o operador atuando em X
cuja matriz na base e a transposta da matriz de A nesta mesma base.
Exerccio 63. Para : L(X) L(X) uma mapa positivo, mostre que
Tr[A (A)] 0 sempre que A DP(X).
Exerccio 64. Considere X espaco de Hilbert bidimensional e o operador z
definido em (1.3), em uma base ortonormal {u0 , u1 }. Verifique a desigualdade
Tr[(u0 u1 ) , z u0 u1 z ] < 0.
Exerccio 65. Se : L(X) L(X) e um mapa tal que Tr[A (A)] 0
para todo A L(X), mostre que e positivo. Observe que Tr[A (A)] =
hA, (A)i, o produto interno de Hilbert-Schmidt entre A e (A).
3. Mapas Completamente Positivos - Operacoes Quanticas
32
Os dois exerccios acima mostram que se um mapa e semi-definido positivo com relacao ao produto interno de Hilbert-Schmidt1 em L2 (X), entao e
tambem positivo (no sentido da Definicao 7). Mas um mapa pode ser positivo
sem ser semi-definido positivo segundo esse produto interno.
Por outro lado, se e mapa positivo e e a sua adjunta (munindo L(X)
do produto de Hilbert-Schmidt), vale, para quaisquer x, y X:
hy, (xx )yi = Tr[ (xx )yy ]
= Tr[xx (yy )]
= hx, (yy )xi 0.
Com isso demonstramos a:
Proposic
ao 7. Se X e espaco de Hilbert e L2 (X) e mapa positivo, a
adjunta de , munindo L(X) do produto de Hilbert-Schmidt, e tambem um
mapa positivo.
Caso tenhamos um par de mapas : L(X) L(X), : L(Y ) L(Y ),
L2 (X Y ), tomando : L(X)
podemos definir uma mapa
L(Y ) L(X) L(Y ) como definimos no captulo anterior, e identificando
L(X) L(Y ) com L(X Y ) pelo isomorfismo definido no Exerccio 46.
Quer dizer, entenderemos como definicao do produto tensorial entre mapas,
= ( )1 . Por simplicidade, no restante do texto
o mapa
usaremos o smbolo tambem para esse produto.
Uma surpresa que temos nesta definicao e fato de que, ao contrario do
que ocorre como o produto tensorial de operadores semi-definido positivos
(ver Exerccio 42), o produto entre mapas positivos nao e necessariamente
positivo, demonstrado pelo exerccio abaixo:
Exerccio 66. Seja = {u0 , u1 } base para espaco de Hilbert bidimensional
X e defina o mapa : L(X X) L(X X) fazendo = IL(X) T , onde
T e como definido no Exerccio 62. Calcule a matriz [( )], de ( ) na
base {u0 u0 , u0 u1 , u1 u0 , u1 u1 }, onde = u0 u0 + u1 u1 . Calcule
seu determinante e conclua que nao e uma mapa positivo.
O fato ilustrado no exerccio acima motiva a seguinte definicao:
Definic
ao 8. Um mapa L2 (X) e dito completamente positivo se os
mapas IL(Y ) L2 (X Y ) sao positivos para todo espaco de Hilbert Y .
O conjunto dos mapas completamente positivos serao denotados por CP(X).
1
Quer dizer, segundo a definic

ao usual de operadores semi-definido positivos atuando
em um espaco com produto interno.
33
Os mapas definidos no Exerccio 61 sao completamente positivos. De

fato:
Proposic
ao 8. Para qualquer K L(X) o mapa K L2 (X), definido por
K (A) = KAK , e completamente positivo.
Demonstrac
ao. Se dim(X) = n, dim(Y ) = m e escrevendo L(X
P 2 ,m2
2 ,m2
Y ) em uma base {Ai Bj }ni,j=1
para L(X Y ), = ni,j=1
ij Ai Bj , vale
Pn2 ,m2
Pn2 ,m2
(K IL(Y ) )() = i,j=1 ij (K IL(Y ) )(Ai Bj ) = i,j=1 ij (KAi K )
P 2 ,m2
Bj = (K IY )( ni,j=1
ij Ai Bj )(K IY ) = (K IY )(K IY ) =
(K IY )(K IY ) . Se 0, entao (K IY )(K IY ) 0, logo K e

completamente positivo.
Exerccio 67. Se , CP(X) e 0, entao + CP(X) e CP(X).
cao e do exerccio acima segue que mapas da forma A 7
PNDa proposi
ao sempre completamente positivos. Na

j=1 Kj AKj , onde Kj L(X) s
proxima secao veremos que vale a recproca desse fato: todo mapa completamente positivo admite uma representacao da forma acima, denominada
representac
ao de Krauss.
3.2 Mapas completamente positivos: Teorema da

Representacao de Krauss
Para entender melhor e simplificar a analise da positividade completa de um
mapa L2 (X), e u
til ver que nao e necessario verificar a positividade de
todos os mapas IY para todo espaco de Hilbert Y , mas apenas para Y
com dimensao igual a de X. Para tanto, comecemos com a
Definic
ao 9. Um mapa L2 (X) e dito kpositivo, para k N, se IY ,
para algum espaco de Hilbert Y com dim(Y ) = k.
Claramente, se e kpositivo e Y e um espaco de Hilbert kdimensional
tal que IL(Y ) e positivo, entao IL(Y ) sera um mapa positivo para todo
espaco de Hilbert Y com dim(Y ) = m k.
De fato, sejam {x1 , ..., xn }, {y1 , ..., ym } e {w1 , ..., wk } bases ortonormais
para X, Y e YP
, respectivamente, e suponha, por absurdo, que exista
n,n,m,m
L(X Y ) =
i,j,i0 ,j 0 =1 iji0 j 0 xi xj yi0 yj 0 positivo tal que IL(Y ) () =
Pn,n,m,m
ao e positivo, quer dizer, para algum =

i,j,i0 ,j 0 =1 iji0 j 0 (xi xj ) yi0 yj 0 n
Pn,m
=
Definindo entao
0 =1 ii0 xi yi0 , vale h, [( IL(Y ) )]i < 0.
Pi,i
P
n,n,m,m
n,m
i,j,i00 ,j 00 =1 iji00 j 00 xi xj wi00 wj 00 L(X Y ) e =

i,i00 =1 ii00 xi wi00
34
(note que e necessario ter k m para estas definicoes), vemos que h, [(

= h, [( IL(Y ) )]i < 0, uma contradicao.
i
IL(Y ) )]
Enfim, com esta definicao podemos enunciar o resultado central desta
secao, que garante a existencia de um representacao de Krauss para qualquer
mapa completamente positivo:
Teorema 6. Seja X de dimensao n. Se L2 (X) e npositivo, existem
Pn2
n2 operadores Kj L(X) tal que =
j=1 Kj , onde K definido por
K (A) = KAK . Em particular, e completamente positivo.
ao. Tome base ortonormal para X, {ul }nl=1 e o vetor =
PnDemonstrac
l=1 ul ul de X X. A npositividade de garante que = [
IL(X) ]( ) e semi-definido positivo, uma vez que e semi-definido po2
sitivo. Tome entao uma base ortonormal de autovetores de , {j }nj=1
P 2
com P
autovalores j 0, de forma que = nj=1 j j j . Por outro lado,
= nk,l=1 (uk ul ) uk ul .
Vamos olhar agora para os elementos de matriz de na base {ui uj }ni,j=1
de X X usando estas duas expressoes para o operador. Por um lado:
hui ui0 , uj uj 0 i = hui ui0 , [
n
X
(uk ul ) uk ul ]uj uj 0 i
k,l=1
n
X
hui , (uk ul )uj i ul (uj 0 ) hui0 , uk i
l,k=1
= hui , (ui0 uj 0 )uj i .

A igualdade acima nos permite identificar como atua na base {ui0 uj 0 }ni0 ,j 0 =1
de L(X), ao identificar os elementos de matriz das imagens correspondentes
em uma base. Por outro lado,
2
hui ui0 , (uj uj 0 )i =
n
X
k hui ui0 , (k k uj uj 0 )i
k=1
2
n
X
k hk , ui ui0 i hk , uj uj 0 i .
k=1
Definindo os operadores Kk L(X) cujos elementos de matriz sao [Kk ]i0 i =
P 2
k hk , ui ui0 i para k = 1, ..., n2 , vale que (ui0 uj 0 ) = nk=1 Kk ui0 uj 0 Kk .
35
De fato,
2
hui ,
n
X
Kk ui0 uj 0 Kk uj i
n
X
hKk ui , ui0 uj 0 Kk uj i
k=1
k=1
n
n
n
X
X
X
=
h [Kk ]li ul , ui0 uj 0
[Kk ]l0 j ul0 i
k=1
l=1
l0 =1
n2
[Kk ]i0 i [Kk ]j 0 j
k=1
2
n
X
k hk , ui ui0 i hk , uj uj 0 i .
k=1
Enfim, como definimos a atuacao de em uma base de L(X), temos que

P 2
de fato (A) = nj=1 Kj AKj para todo A L(X). Para finalizar, observamos que a positividade completa do operador decorre da Proposicao 8 e do
Exerccio 67.
Observac
ao 4. Da demonstracao do teorema acima extramos uma condicao
simples, necessaria e suficiente para determinar a positividade completa de
um mapa : basta verificar se [P
IL(X) ]( ) e um operador semidefinido
positivo em X X, sendo = ni=1 ui ui X X, enquanto {ui }ni=1
e uma qualquer base ortonormal para X. Ademais, a demonstracao oferece
uma construcao explcita de uma representacao de Krauss para o mapa.
Exerccio 68. Se X e espaco de Hilbert e A0 L(X) e operador semi-definido
positivo fixado, use a observacao acima para mostrar que o mapa L2 (X)
definido por (A) =Tr(A)A0 , para todo A L(X), e completamente positivo.
Exerccio 69. Seja X espaco de Hilbert com dim(X) = 2 e {u0 , u1 } base
2
ortonormal. Considere uma mapa
L (X)
definido para todo
operador

a11 a12
a11 0
A L(X) com matriz [A] =
, por [(A)] =
.
a21 a22
0 a22
Calcule a matriz do operador [ IL(X) ]( ) na base {u0 u0 , u0 u1 , u1
u0 , u1 u1 } onde = u0 u0 + u1 u1 e obtenha uma representacao de
Krauss para .
Exerccio 70. Repita o exerccio anterior para o mapa L2 (X) definido
por (A) = Tr(A)IX .
Vimos que a positividade de mapas e de mogo geral mal comportada
com relacao ao produto: o produto tensorial de mapas positivos pode resultar
36
em um mapa nao-positivo. Agora ja temos condicoes de ver que a positividade completa, no entanto e bem comportada. Dito de forma precisa:
Proposic
ao 9. Se X, Y sao espacos de Hilbert enquanto L2 (X) e
L2 (Y ) sao mapas completamente positivos, entao L2 (X Y ) e
completamente positivo.
Demonstrac
ao. Tomando representacoes de Krauss para cada mapa,
M
quer dizer, famlias de operadores {Ki }N
n=1 , {Lj }j=1 de L(X) e L(Y ), resPN
pectivamente, tais que (A) = i=1 KAK para todo A L(X) e (B) =
PM
ao a famlia {Ki Lj }N,M

e uma
i,j=1
j=1 LBL para todo B L(Y ), ent
representacao de Krauss
para
.
De
fato,
vale
(
)(A
B) =
PN,M
PM
PN
(A) (B) = ( i=1 Ki AKi ) j=1 Lj BLLj ) =

i,j=1 (Ki Lj )(A
PN,M
B)(Ki Lj ) = i,j=1 (Ki Lj )(A B)(Ki Lj ) . Logo, por linearidade,

P
para todo L(X Y ), ( )() = N,M

i,j=1 (Ki L)(Ki Lj ) e o mapa
e completamente positivo.
3.3 O isomorfismo de Choi-Jamiolkowsi e mapas positivos

Na demonstracao do Teorema 6 e usado um artifcio interessante para se
identificar a atuacao de um mapa L2 (X) em todo o seu domnio atraves
de um operador atuando em um espaco maior2 . Basicamente,
tomamos uma
P
base ortonormal {ui }ni=1 para X, definimos = ni=1 ui ui X X e
olhamos para o operador de L(X X), = IL(X) ( ), e vemos que os
elementos de matriz de (ui0 uj 0 ) podem ser escritos em termos do elementos
de matriz de em uma base produto:
hui , (ui0 uj 0 )uj i = hui ui0 , uj uj 0 i .
(3.1)
No lado esquerdo da equacao temos que, varrendo os ndices i0 , j 0 = 1, ..., n

percorremos uma base para L(X), domnio de , enquanto a variacao nos
ndices i, j = 1, ..., n nos da (os elementos de matriz da) imagem de para
cada um dos elementos da base. Ou seja identificamos por completo o mapa.
No lado direito da equacao, por outro lado, varrendo os mesmos ndices,
percorremos todos os elementos de matriz de em uma base produto para
X X. Com isso temos o [9, 10]
Teorema 7. Isomorfismo de Choi-Jamiolkowsi. Dado espaco de Hilbert X e base ortonormal {ui }ni=1 X, a P
aplicacao linear J : L2 (X)
L(X X), 7 IL(X) ( ), onde = ni=1 ui ui , e um isomorfismo.
2
Similar `
a ideia de identificar um operador atuando em um espaco de dimensao n como
um vetor de um espaco n2 -dimensional.
37
Demonstrac
ao. Sendo valida a igualdade (3.1) para todos i, i0 , j, j 0 =
1, ..., n, segue que J () = 0 se, e somente se, = 0. Como temos ainda
dim[L2 (X)] =dim[L(X X)] = n4 , a aplicacao e de fato um isomorfismo.
Na secao anterior, essencialmente, usamos este isomorfismo para caracterizar os mapas completamente positivos: esta aplicacao faz uma bijecao entre
os mapas completamente positivos atuando em X com os operadores semidefinido positivos atuando em X X. Aqui vamos usa-los para caracterizar
os mapas apenas positivos.
Proposi
ao 10. Se X e espaco de Hilbert, {ui }ni=1 X e base ortonormal
Pcn
e =
ao L2 (X) e um mapa positivo se,
i=1 ui ui X X, ent
e somente se, = IL(X) ( ) satisfaz hx y, x yi 0 para todos
x, y X.
Demonstrac
aP
o. Dados x, y PX, expresse-os em termos da base ortonormal dada, x = ni=1 i ui , y = nj=1 i ui , e note que:
n
X
hx, (yy )xi =

=
i j i0 j0 hui , (ui0 uj 0 )uj i
i,i0 ,j,j 0 =1
n
X
i j i0 j0 hui ui0 , uj uj 0 i
i,i0 ,j,j 0 =1
n
X
n
n
n
X
X
X
i ui ) (
i0 ui0 ), (
j uj ) (
j0 uj 0 )i
= h(
i=1
i0 =1
j=1
j 0 =1
= hx y, x yi ,
P
onde y = ni=1 i ui .
Supondo entao que e positivo, temos garantia que hx, (yy )xi 0 para
todos x, y X, e da deducao acima conclumos que satisfaz a propriedade
desejada. Por outro lado, se assumirmos que satisfaz hx y, x yi 0,
conclumos, pelo Exerccio 60, que e positivo, visto que a deducao garante
que (yy ) sera semi-definido positivo para todo y X.
Observac
ao 5. Pelo Exerccio 43, o operador da proposicao acima sera
tambem autoadjunto.
3.4 Mapas completamente positivos que preservam traco

Um subconjunto relevante dos mapas completamente sao aqueles em preservam traco:
38
Definic
ao 10. Diz-se que um mapa L2 (X) preserva traco se Tr[(A)] =Tr(A)
para todo A L(X).
A condicao de preservar traco, para mapas completamente positivos, pode
ser entendida de forma simples usando uma representacao de Krauss.
Proposic
ao 11. Um mapa completamente
positivo CP(X) com repreP
preserva
traco se, e somente se,
sentacao de Krauss (A) = N
K
AK
l
l
l=1
PN
l=1 Kl Kl = IX .
PN
Demonstrac
ao. () Basta ver que Tr[(A)] =
l=1 Tr[Kl AKl ] =
P
PN
N
l=1 Kl Kl )A] =TrA.

l=1 Tr[Kl Kl A] =Tr[(
() Tome base ortonormal {ui }ni=1 para X e note que Tr(ui uj ) = hui , uj i =
ij . Se preserva traco, entao;
ij = Tr(ui uj )
= Tr[(ui uj )]
=
N
X
l=1
N
X
l=1
N
X
Tr[Kl ui uj Kl ]
Tr[Kl Kl ui uj ]
hui , Kl Kl uj i
l=1
N
X
Kl Kl )uj i .
= hui , (
l=1
Quer dizer, os elementos de matriz do operador N

ao iguais aos do
l=1 Kl Kl s
operador identidade, logo, e o operador identidade.
Uma consequencia imediata do resultado acima e que da representacao
de Krauss de uma mapa completamente positivo que preserva traco, (A) =
P
N
l=1 Kl AKl , com A L(X), podemos definir de forma natural um POVM

em X. Basta fazer = {1, ..., N } e tomar como elementos de POVM os
operadores l = Kl Kl , pois sao semi-definido positivos e somam para a identidade em X. Isso sugere a possibilidade de usar uma dilatacao para descrever mapas completamente positivos de forma mais simples neste espaco
maior. O leitor que acompanhou atentamente a demonstracao do Teorema 5
pode talvez adivinhar que, escolhendo apropriadamente o espaco maior, o
mapa ira atuar como um operador unitario.
39
De fato, seguindo a mesma linha de ideias da demonstracao do teorema

da dilatacao de Naimark, tome Y espaco de Hilbert de dimensao N , (e.g.,
N
C
PN), e {w1 , ..., wN } Y base ortonormal. A aplicacao linear x w1 7
co de X Y em
j=1 (Kl x) wj mapeia uma base ortonormal de um subespa
um conjunto ortonormal deste mesmo espaco. Tal aplicacao linear pode ser
estendida entao a um operador
unitario U L(X Y ), valendo em particular
PN
que U (A w1 w1 )U = l,l0 =1 (Kl AKl0 ) wl wl0 para todo A L(X). Logo,

TrY [U (A
w1 w1 )U ]
N
X
TrY [(Kl AKl0 ) (wl wl0 )]
l,l0 =1
N
X
(Kl AKl0 )Tr(wl wl0 )
l,l0 =1
N
X
Kl AKl0 ll0
l,l0 =1
N
X
Kl AKl = (A).
l=1
Com isso, demonstramos o

Teorema 8. Se L2 (X) e completamente positivo e preserva traco, existem Y espaco de Hilbert, y Y e U L(X Y ) operador unitario tais que
(A) =TrY [U (A yy )U ] para todo A L(X).
Exerccio 71. Mostre que vale a recproca do teorema acima: Se X, Y sao
espacos de Hilbert, U L(X Y ) e unitario e y Y , entao o mapa
A 7TrY [U (A yy )U ] , onde A L(X), e completamente positivo e preserva traco.
Uma aplicacao
Pode-se definir em L(X) a chamada norma do traco fazendo, para A
L(X), ||A||1 =supU U (X) |Tr(AU )|, onde U(X) = {U L(X)|U e unitario}.
Para ver que a definicao acima nos da de fato uma norma, e u
til usar a
caracterizacao abaixo:
Proposi
ao 12. Dado X espaco de Hilbert e A L(X), ||A||1 =Tr|A|, onde
c
|A| = A A.
40
Demonstrac
ao. Escrevendo A em sua forma polar, A = |A|V , onde V
e operador unitario, vemos imediatamente que
||A||1 = supU U (X) |Tr(AU )| = supU U (X) |Tr(|A|V U )| |Tr|A|| = Tr|A|.
P
Por outro lado, tomando a decomposicao espectral |A| = ni=1 i ui ui , onde
i 0, e usando a base ortonormal {ui }ni=1 para computar o traco:
||A||1 = supU U (X) |Tr(|A|V U )| = supU U (X) |
n
X
i hui , V U ui i |
i=1
supU U (X)
n
X
i | hui , V U ui i |
i=1
supU U (X)
supU U (X)
n
X
i=1
n
X
i=1
i ||ui || ||V U ui ||
i ||U V || ||ui || =
n
X
i = Tr|A|.
i=1
Exerccio 72. Mostre que ||A||1 e de fato uma norma em L(X), que dizer,
vale, para todos A, B L(X): i) ||A||1 = 0 se, e somente se A = 0, ii)
||A||1 = ||A||1 para C e iii) ||A + B||1 ||A||1 + ||B||1 . Dica: use a
proposicao para resolver i) e a definicao para resolver iii).
Exerccio 73. Se X, Y sao espacos de Hilbert, A L(X) e B L(Y ), entao
||AB||1 = ||A||1 ||B||1 . Dica: mostre primeiramente que |AB| = |A||B|.
Vamos usar a caracterizacao dos mapas completamente positivos que preservam traco, dada nesta secao, para mostrar que eles sempre atuam como
uma contracao para a norma do traco. Em outras palavras, a distancia entre
operadores sempre diminui apos a aplicacao de uma mapa completamente
positivo.
Teorema 9. Se L2 (X) e completamente positivo e preserva traco, entao
||(A)||1 ||A||1 para todo A L(X).
Demonstrac
ao. Pelo Teorema 8 existe espaco de Hilbert Y , y Y
e unitaria U0 L(X Y ) tal que (A) =TrY [U0 (A yy )U0 ] para todo
41
A L(X). Logo,
||(A)||1 = supU U (X) |Tr[(A)U ]|
= supU U (X) |Tr[TrY (U0 A yy U0 )U ]|
= supU U (X) |Tr[(U0 A yy U0 )(U IY )]|
= supU U (X) |Tr[(A yy )(U0 U IY U0 )|
sup
|Tr(A yy )U |
= ||A
U U (XY )
yy ||1 =
||A||1 .
Da segunda para a terceira linha usamos a Proposicao 5 e o Exerccio 53,

enquanto na u
ltima igualdade foi usado o Exerccio 73.
3.5 Mapas positivos e operadores separaveis

No captulo anterior distinguimos uma classe especial de operadores atuando
em produto tensorial de espacos, os operadores separaveis. Nesta secao vamos
estabelecer uma conexao entre os operadores separaveis atuando em X X
com os mapas positivos atuando em X.
Para tanto, vamos considerar S(X Y ) como subconjunto do espaco
vetorial real dos operadores autoadjuntos em X. Observe primeiramente que
S(X Y ) e um conjunto convexo3 :
Exerccio 74. Se X, Y sao espacos de Hilbert, S, S 0 S(X Y ) e 0 1,
entao [S + (1 )S 0 ] S(X Y ).
Outra propriedade igualmente relevante de S(X Y ), mas menos trivial, e a de que o conjunto e tambem fechado (na topologia da norma).
A demonstracao envolve conceitos um tanto estranhos ao curso, e portanto
encaminhamos o leitor interessado ao apendice dessas notas.
Um u
ltimo ingrediente importante para a nossa analise sera uma versao
fraca do teorema de Hahn-Banach geometrico: se S e subconjunto convexo
nao-vazio de um espaco vetorial real e y e um ponto no seu complementar,
existe um hiperplano que separa y de S. Tambem recomendamos o apendice
para o leitor interessado em uma demonstracao simples desse fato.
Podemos demonstrar entao o:
Teorema 10. Se E L(XY ) e operador semi-definido positivo pertencente
a E(X Y ), existe operador autoadjunto T L(X Y ) tal que Tr(T S) 0
para todo S S(X Y ) e Tr(T E) < 0.
3
Segmentos de reta unindo dois pontos do conjunto pertencem inteiramente ao conjunto.
42
Demonstrac
ao. Do fato de S(X Y ) ser convexo e fechado, vem do
Teorema de Hahn-Banach que existe funcional linear f [L(X Y )] e
T0 L(X Y ) tal que f (S T0 ) 0 e f (E T0 ) < 0. O fato de 0 S(X Y )
implica f (T0 ) 0 e, portanto, f (E) < 0. Ademais, suponha por absurdo
que existe S0 S(X Y ) tal que f (S0 ) < 0. Podemos entao tomar > 0
tal que f (S0 T0 ) < 0, o que contradiz o fato de S0 S(X Y ) para
todo > 0. Enfim, vale que f (S) 0 para todo S S(X Y ).
Ora, sendo f funcional linear, existe T L(XY ) tal que f (A) =Tr(T A)
para todo A (basta considerar em L(X Y ) o produto interno de HilbertSchmidt). Para todo x X, y Y , xx yy S(X Y ), vale Tr(T xx
yy ) = f (xx yy ) 0. Pelo Exerccio 43, T e autoadjunto e T = T . Ademais, Tr(T S) = f (S) 0 para todo S S(XY ) e Tr(T E) = f (E) < 0.
Observac
ao 6. O Teorema 7 nos garante que, para T P
L(X X), existe
mapa L2 (X) tal que IL(X) ( ) = T , sendo = ni=1 ui , enquanto
{ui }ni=1 e base ortonormal. Se, alem disso, hx y, T x yi =Tr(T xx
yy ) 0 para todos x, y X, a Proposicao 10 garante que este mapa e
positivo.
Finalmente, podemos demonstrar a seguinte relacao entre operadores separaveis atuando em S(X X) e os mapas positivos atuando em L(X):
Teorema 11. Se X e espaco de Hilbert, um operador S L(X X) e
separavel se, e somente se, para todo mapa positivo L2 (X) vale
IL(X) (S) 0.
Demonstrac
ao.
P
A Bi , onde Ai , Bi 0
() Sendo S S(X X), entao S = N
PN i=1 i
para i = 1, ..., N . Logo, IL(X) (S) = i=1 (Ai ) Bi S(X X) pois
(Ai ) 0.
() Suponha, por absurdo, que S
/ S(X X). Pelo Teorema 10,
existe T A(X X) tal que Tr(T S) < 0 mas Tr(T S 0 ) 0 para todo
S 0 S(X X). Pelo Teorema P
7, deve existir mapa L2 (X) tal que
IL(X) ( ) = T , sendo = ni=1 ui , enquanto {ui }ni=1 e base ortonormal. Por outro lado, a Proposicao 10 garante que este mapa e positivo, pois
hx y, T x yi =Tr(T xx yy ) 0 para todos x, y X. Mas,
Tr(T S) = Tr[ IL(X) ( )S]
= Tr[ ( IL(X) ) (S)]
= Tr[ ( IL(X) )(S)]
= h, ( IL(X) )(S)i 0,
(3.2)
(3.3)
(3.4)
(3.5)
uma contradicao (a u
ltima desigualdade decorre de ser tambem um mapa
positivo, pela Proposicao 10).
43
3.6 A equacao de Schrodinger

Se f e uma funcao de uma variavel real t tomando valores em um espaco
de Hilbert X, visto que temos em X uma norma, podemos tambem falar da
continuidade desta funcao, assim como de usa derivabilidade.
Definic
ao 11. Se X e espaco de Hilbert, dizemos que f : R X e derivavel
em t R se existe h X tal que para toda sequencia de n

umeros reais
tn 0, tn 6= 0, vale ||h [f (t + tn ) f (t)]/tn || 0 quando n .

Neste caso, dizemos que h e a derivada de f em t e escrevemos h = f 0 (t).
Dizemos que f e derivavel se a sua derivada existir em todos os pontos, donde
podemos definir a aplicacao derivada f 0 : R X, t 7 f 0 (t).
Exerccio 75. Mostre, usando a definicao, que se x0 X e um vetor fixado e
g : R R e uma funcao real derivavel, a aplicacao f : R X definida por
f (t) = g(t)x0 e derivavel e f 0 (t) = g 0 (t)x0 para todo t R. Reciprocamente,
se x0 6= 0 e f (t) = g(t)x0 para alguma funcao real g(t), e derivavel, entao
g(t) e derivavel.
Fixada uma base ortonormal {ui }ni=1 para X, uma funcao f : R X
pode ser equivalentemente descrita por n funcoes complexas fj : R C,
fazendo
fj (t) = huj , f (t)i para todo t R e j = 1, ..., n. Assim, f (t) =
Pn
coes as func
oes coordenada de f na
j=1 fj (t)uj . Denominamos tais fun
n
base {ui }i=1 .
Mais ainda, como cada fj pode ser descrita por um par de funcoes reais,
fj,I : R R e fj,R : R R, onde fj,I =Im(fj ) e fj,R =Re(fj ), a funcao
tomando valores em X pode ser descrita por 2n funcoes reais, as partes
real e imagin
aria das func
oes coordenada.
Exerccio 76. Mostre que uma funcao f : R X, onde X e espaco de
Hilbert, e derivavel em t R se, e somente se, as partes real e imaginaria
das n funcoes coordendas de f em uma base ortonormal {ui }ni=1 sao derivaveis
em t.
Ora, se podemos derivar funcoes f com valores em espacos de Hilbert,
podemos considerar equacoes diferenciais para elas:
Definic
ao 12. Se X e espaco de Hilbert e H L(X) e auto adjunto, a
equa
c
ao de Schr
odinger associada a H e:
f 0 (t) = iHf (t).
Uma solu
c
ao para a equacao e uma funcao f : R X derivavel, cuja
aplicacao derivada satisfaz a igualdade acima para todo t R. O operador
H e denominado Hamiltoniano da equacao.
44
Exerccio 77. Tomando uma base ortonormal {ui }ni=1 para X, e facil ver
que as funcoes coordenadaP
de f nesta base irao satisfazer o sistema de n
n
0
=
equacoes diferenciais
f
i
j=1 Hij fj , onde Hij = hui , Hu
P
Pnj i e i = 1, ..., n.
n
0
0
Ademais, fi,R = j=1 [Re(Hij )fi,R Im(Hij )fi,I ] e fi,I = j=1 [Re(Hij )fi,I +
Im(Hij )fi,R ]. Quer dizer, as partes real e imaginaria de f satisfazem um
sistema com 2n equacoes diferenciais.
Podemos usar a exponencial de um operador, definida no Captulo 1, para
construir solucoes de uma equacao de Schrodinger:
Proposic
ao 13. Se X e espaco de Hilbert, x0 X, e H L(X) e autoadjunto, a funcao f : R X, t 7 eitH x0 e solucao da equacao de Schrodinger associada a H.
Demonstrac
ao. Devemos mostrar que a derivada de f existe em qual0
quer t R e f (t) = iHeitH x0 . Para tanto, tome t R e sequencia
umeros reais nao-nulos tal que tn 0 quando n .
(tn )
n=1 de n
Entao
(eiH(t+tn ) x0 eiHt x0 )
||
|| iHeiHt x0
tn
eiHtn I
= ||eiHt (iH
)x0 ||
tn
eiHtn I
||eiHt || ||(iH
)|| ||x0 ||
tn
eiHtn I
= || iH
|| ||x0 ||
tn
X
X
(itn )j1 H j
(itn )j2 H j
= ||
|| ||x0 || = |tn | ||
|| ||x0 ||
j!
j!
j=2
j=2
|tn |(
X
||H||j
j=2
j!
)||x0 || 0,
quando n . Na primeira igualdade usamos o Exerccio 17 para concluir

0
0
0
que eiH(t+t ) = eiHt eiHt = eiHt eiHt para quaisquer t, t0 R. Na u
ltima
desigualdade assumimos, sem perda de generalidade, que |tn | 1.
Se adicionarmos a` equacao de Schrodinger uma condicao inicial, teremos
em maos um problema com solucao u
nica, que podemos construir usando a
exponencial de operadores:
Teorema 12. Dados espaco de Hilbert X, operador auto-adjunto H L(X)
e x0 X, a funcao t 7 eitH x0 e a u
nica que satisfaz a equacao de Schrodinger associada a H,
f 0 (t) = iHf (t)
45
e a condicao inicial f (0) = x0 .

Demonstrac
ao. Tome base ortonormal {ui }ni=1 para X e considere,
para i = 1, ..., n e j = 1, 2, as coordenadas reais fi,j de f nesta base, onde
fi,1 =Re(hui , f i) e fi,2 =Im(hui , f i). Note que f satisfazer a equacao de
Schrodinger implica que e infinitamente diferenciavel e sua derivada de ordem
N satisfaz
f (N ) (t) = (iH)N f (t).
(3.6)
Em particular, as 2n funcoes coordenada sao infinitamente diferenciaveis e

tomando t > 0 fixo, mas arbitrario, podemos aplicar a formula de Taylor
fi,j (t) = Pi,j,N (t) + Ri,j,N (t),
(N )
(1)
onde Pi,j,N (t) = fi,j (0) + fi,j (0)/1! + ... + fi,j (0)/N ! e o polinomio de Taylor
de ordem N em torno do zero e Ri,j,N (t) o seu resto. Pelo Teorema de Taylor,
podemos dar a estimativa
Ri,j,N (t) Mi,j,N
(N +1)
onde Mi,j,N = sup0<t0 <t |fi,j

um todo:
tN +1
,
(N + 1)!
(t0 )|. Assim, podemos escrever para a f como
f (t) = x0 + (iH)x0 /1! + ... + (iHt)N x0 /N ! + RN (t),
(3.7)
pois, por (3.6), vale f (m) (0) = (iH)m f (0) = (iH)m x0 para m = 0, 1, 2, ....
Mas
(N +1)
|fi,j
(t0 )| ||f (N +1) (t0 )|| = ||(iH)N +1 f (t0 )|| ||H||N +1 ||f (t0 )||,
logo
Mi,j,N ||H||N +1 M,
onde M = sup0<t0 <t ||f (t0 )||. Vale entao
||RN (t)||
2nM ||H||N +1
tN +1
,
(N + 1)!
pois as 2n coordenadas reais de RN (t) sao cotadas por M ||H||N +1 tN +1 /(N +

1)!. Enfim, quando N , RN (t) 0 e o lado direito da igualdade (3.7)
converge para eiHt x0 .
46
certamente u
Observac
ao 7. E
til usar o fato de H ser auto-adjunto para
expressar a solucao da equacao de Schrodinger de forma mais conveniente em
e uma base ortonormal de
termos dos autovetores de H. De fato, se {wi }N
i=1
itH
autovetores de H,Pcom autovalores Ei , vale que e
wi = eiEi t wi , para i =
n
1, ..., n. Se x0 = i=1 i wi , a solucao da equacao de Schrodinger associada
a H, com condicao inicial x0 , sera simplesmente:
f (t) = eiHt x0 =
n
X
i eiHt wi =
i=1
n
X
i eiEi t wi .
i=1
Exerccio 78. Mostre que se f : R X e solucao de uma equacao de

Schrodinger, ||f (t)|| = ||f (0)|| para todo t R.
Exerccio 79. Se X e espaco de Hilbert bidimensional com base {u0 , u1 },
calcule a solucao das equacoes de Schrodinger
f 0 (t) = iz f (t)
e
f 0 (t) = ix f (t),
onde z e x sao os operadores de Pauli definidos em (1.1)-(1.3), para quatro
condicoes iniciais: u0 , u1 , u0 u1 .
Equacao de Schrodinger para operadores
Toda a discussao da secao anterior pode ser adaptada para generalizar a
equacao de Schrodinger para operadores atuando em X. De fato, temos
que L(X) e tambem um espaco normado, ou mesmo um espaco de Hilbert
se usarmos o produto interno de Hilbert-Schmidt, de forma que tambem
podemos derivar aplicacoes f : R L(X). Antes de ir adiante, considere o
Exerccio 80. Seja X espaco de Hilbert, operador H L(X), e defina o
mapa H : L2 (X), fazendo H(A) = [H, A] para todo A L(X). Se H
e autoadjunto, {ui }ni=1 e base ortonormal formada por autovalores de H,
com autovalores Ei , mostre que os operadores ui uj L(X) sao autovetores
de H, com autovalores (Ei Ej ), para i, j = 1, ..., n. Conclua que se em
L(X) e tomado o produto interno de Hilbert-Schmidt, o operador H sera
autoadjunto.
Definic
ao 13. Se X e espaco de Hilbert e H L(X) e auto adjunto, a
equa
c
ao de Schr
odinger para operadores associada a H e:
f 0 (t) = iHf (t),
47
onde f : R L(X) e H : L(X) L(X) e como definido no Exerccio 80.

Uma solu
c
ao para a equacao e uma funcao f : R X derivavel, cuja
aplicacao derivada satisfaz a igualdade acima para todo t R.
A solucao desta equacao, fixada uma condicao inicial, tambem sera u
nica
e pode ser construda usando a exponencial de operadores:
Teorema 13. Dados espaco de Hilbert X, operador auto-adjunto H L(X)
e A0 L(X), a funcao t 7 eitH A0 , onde H e como definido no Exerccio 80,
e a u
nica que satisfaz a equacao de Schrodinger para a operadores associada a H,
f 0 (t) = i[H, f (t)],
e a condicao inicial f (0) = A0 .
Demonstrac
ao. Esta demonstracao e inteiramente similar à do Teorema 12 e deixamos como exerccio.
Exerccio 81. Mostre que se H e autoadjunto, {ui }ni=1 e base ortonormal
formada por autovaloresP
de H, com autovalores Ei , e A0 L(X), entao
podemos escrever A0 = ni,j=1 i,j ui uj para coeficientes complexos ij e a
P
solucao de Schrodinger associada a H e t 7 ni,j=1 ij ei(Ei Ej )t ui uj .
Exerccio 82. Mostre que se A0 L(X) e semi-definido positivo, a solucao
f (t) de uma equacao de Schrodinger para operadores tendo A0 como condicao
inicial sera tal que f (t) e semi-definido positivo para todo t R. Ademais,
Tr[f (t)] =Tr(A0 ) para todo t R.
Exerccio 83. Mostre que se x0 X e A0 = x0 x0 , a solucao da equacao de
Schrodinger para operadores associada ao operador autoadjunto H L(X),
com condicao inicial A0 , e f (t) = x(t)[x(t)] , onde x(t) e a solucao da equacao
de Schrodinger usual, com condicao inicial x0 .
Exerccio 84. Mostre que eitH A = eiHt AeiHt para todo A L(X).
3.7 Operacoes quanticas

Nos dois captulos anteriores vimos como se da a descricao cinematica de
sistemas quanticos, isto e, o que podemos dizer sobre os mesmos em um
instante fixo de tempo. Mais especificamente, expomos a nocao de estados quanticos e como deles extrair previsoes sobre medicoes feitas no sistema. Com o conte
udo deste Captulo podemos fechar a formulacao geral da
mecanica quantica, ao definir como os estados quanticos se comportam no
tempo, quer dizer, vamos descrever como se da a sua dinamica.
48
necessario distinguir duas situacoes qualitativamente distintas para a

E
dinamica de estados de sistemas quanticos: 1) aquela em que o sistema se
encontra isolado e 2) aquela decorrente de um ato de medicao. No primeiro
caso, podemos dizer o seguinte:
Postulado 3. Se um sistema quantico tem espaco de Hilbert associado X, a medicao de sua energia e descrita por um operador autoadjunto
H L(X), e ele e isolado de seu ambiente, entao a dinamica de seu estado
quantico e descrita pela equacao de Schrodinger para operadores associada a
~H, onde ~ e a constante de Planck (no sistema internacional de unidades,
~ 6.62 1034 m2 kg/s).
Assim, se sabemos o estado quantico D D(X) do sistema em um instante t = 0, e conhecemos o operador autoadjunto que descreve medicoes
da sua energia, tambem denominado Hamiltoniano, podemos dizer que seu
estado em um instante t > 0 sera eitH D, desde que esteja isolado. Observe
que os Exerccios 83 e 84 garantem que as solucoes da equacao fazem sentido
fisicamente: se inicialmente o operador A0 D(X) a solucao tera imagem em
D(X) para todo t. O Hamiltoniano tem entao papel especial em mecanica
quantica, visto ser ele o regente da dinamica dos (estados dos) sistemas.
Postulado 4. Se em um sistema quantico com espaco de Hilbert associado X, que se encontra em um estado D D(X), e feita uma medicao
representada por
autoadjunto A L(X), com decomposicao
Pn um operador
espectral A = i=1 i ui ui e espectro nao-degenerado, sendo observado a particular valor i0 , ao fazer a mesma medicao imediatamente apos a obtencao
do resultado, o mesmo valor i0 deve ser novamente observado.
O postulado e, em certo sentido, razoavel: se efetuamos uma mesma
medicao duas vezes, com um intervalo de tempo entre elas suficientemente
pequeno, temos que obter o mesmo resultado. Isto tem a seguinte consequencia sobre o estado do sistema. Suponha que a primeira medicao se
da no instante de tempo t0 . A probabilidade de se observar o autovalor i0 ,
logo apos esse instante, e 1. Sendo o espectro de A nao-degenerado, necessariamente o estado do sistema imediatamente apos t0 e D0 = ui0 ui0 . De
fato,
Exerccio 85. Se X e espaco de Hilbert, D D(X) e operador densidade e
u X e um vetor unitario tal que Tr(Duu ) = 1, entao D = uu .
Este exerccio mostra que o u
nico estado quantico que preve probabilidade 1 para o resultado da medicao de A dar como resultado i0 e o projetor
ortogonal na direcao de ui0 .
Resumindo, dado que o estado do sistema e D, apos a medicao de A,
e sendo observado um particular autovalor i0 , o estado do sistema passa
a ser D0 = ui0 ui0 . Como a probabilidade de se obter um autovalor i de
49
A e pi =Tr(Dui ui ), caso nao saibamos o resultado obtido pela P

medicao, ou
00
ignoremos qual foi ele, o estado do sistema deve ser entao D = ni=1 pi ui ui .
Note entao que a transformacao D 7 D0 = ui0 ui0 , aquela condicionada
a` observacao do particularP
resultado i0 , e nao-linear e nao-invertvel. Ja a
00
transformacao D 7 D = ni=1 pi ui ui , obtida ao se realizar a medicao de A
sem levar em conta o resultado obtido, e ainda nao-invertvel, mas e linear.
O postulado 4 pode ser generalizado para medicao descritas por POVMs,
mas de uma forma um pouco diferente:
representada por um POVM (,
sendo observado
o evento
p , X), p
p
p E , o
estado do sistema passa a ser (E)D (E)/Tr[ (E)D (E)].
Este formulacao do postulado ja nao tem o mesmo apelo intuitivo da
anterior e, na verdade, nem sempre a repetibilidade do resultado da medicao,
expressa anteriormente, se aplica agora. De fato, duas medidas consecutivas
de um mesmo POVM podem dar resultados distintos.
Exerccio 86. Seja S um sistema quantico com espaco de Hilbert X de dimensao 2 e {u0 , u1 } base ortonormal. Seja M uma medicao representada pelo
POVM (, , X), onde = {1 , 2 } e ({i }) = i , onde 1 = (1/2)u1 u1
e 2 = IX 1 . Se inicialmente temos o sistema no estado D = u1 u1 , e e
feita a medicao M com resultado 1 , o sistema ainda continuara no estado
u1 u1 . Nao obstante, mostre que probabilidade de se observar 2 caso seja
feita uma segunda medicao de M e nao-nula.
Na verdade essa nao-repetibilidade de um resultado de uma medicao nao
tem nada de extraordinario e nao e exclusivo da mecanica quantica. Qualquer
fsico experimental ha de confirmar que duas medicoes consecutivas darem a
mesma resposta e a excecao e nao a regra, um vez que em um experimento
real sempre ha erros e flutuacoes devido a perturbacoes externas ao sistema
observado, ou mesmo do proprio aparato de medicao. O postulado 4 se refere
na verdade a medicoes extremamente precisas e controladas.
Vale comentar ainda que os postulados 4 ou 40 nem sempre sao aplicaveis,
devido ao fato de certos processos de medicao levarem a perda de controle
do sistema, ou mesmo do proprio sistema. Portanto, nestes casos, apos a
medicao nao e possvel atribuir qualquer estado que seja ao sistema. Ademais,
o postulado 40 pode ser generalizado ainda mais um pouco:
representada por um POVM (, , X), sendo observado o evento E , o
estado do sistema passa a ser K(E)DK (E)/Tr[K (E)K(E)D], onde K(E)
50
sao operadores lineares, frequentemente chamados instrumentos4 , tais que

K (E)K(E) = (E).
O postulado 4 e suas generalizacoes se referem a uma transformacao do
estado de um sistema quantico devido a sua interacao com um segundo sistema fsico: o aparato de medicao. Caso essa interacao nao se de, e impossvel
extrair qualquer informacao do sistema quantico de interesse. Logo, de fato
nao se encaixa na situacao prevista pelo Postulado 3, que supoe o sistema
quantico isolado.
Tendo em vista o que foi dito no paragrafo anterior, podemos considerar ainda um situacao, de certa forma, intermediaria entre aquelas previstas
pelos postulados 3 e 4. De fato, pode ser que o sistema quantico S, com
espaco de Hilbert X, cuja evolucao e de nosso interesse determinar, nao esteja isolado, mas sim em interacao com um segundo sistema quantico R, com
espaco de Hilbert Y . Diz-se neste caso que o sistema e aberto. Se, no entanto, o par de sistemas S +R e sim um sistema fechado, tendo Hamiltoniano
HSR A(X Y ), enquanto inicialmente (t = 0) o par de sistemas se encontra em um estado DS DR , o estado de S em um instante posterior t sera,
pelo Postulado 3, DS (t) =TrY [U DS DR U ], onde U = eiHSR t . Quer dizer,
o mapa D 7 DS (t) e a restricao ao conjunto dos operadores densidade de
um mapa completamente positivo A 7 TrY [U A DR U ]. Como vimos anteriormente, no Teorema 8, todo mapa completamente positivo e desta forma.
Encerramos a formulacao da mecanica quantica ao postular que, a menos
de pos-selecoes (condicionamento do estado de um sistema ao resultado de
uma medicao), a operacao mais geral que podemos executar em um sistema
quantico e faze-lo interagir com um segundo sistema por um certo intervalo
de tempo e ignorar o estado desse segundo sistema. Dito de outra forma,
temos o:
Postulado 5. Qualquer transformacao temporal de um sistema quantico
S com espaco de Hilbert X, em um intervalo de tempo fixado t, quando
nao condicionada ao resultado de nenhuma medicao, deve ser descrita por
uma mapa completamente positivo L2 (X), restrito, claro, ao conjunto
dos operadores densidade D(X) L(X).
Observe que este postulado tem um carater distinto do Postulado 3. Esse
u
ltimo nos dita a dinamica completa do sistema, para todo instante de tempo,
desde que seja isolado e conhecamos seu Hamiltoniano. Ademais, se fixarmos
um instante de tempo t, a transformacao dos estados entre o instante inicial
t = 0 e t sera ditada por um operador unitario U = eiH t.
Ja o Postulado 5 nao nos permite inferir toda a dinamica do sistema caso
4
Apesar da longnqua relac

ao que tem com os instrumentos laboratoriais que implementam a mediac
ao fsica.
51
nao seja isolado, mas nos garante que, se fixarmos um instante de tempo t,
a transformacao dos estados entre o instante inicial e t deve necessariamente
ser dada por um mapa completamente positivo, o que nao e trivial. De fato,
a princpio nao e obvio sequer que essa transformacao tenha que ser linear.
Distinguibilidade de estados
Na secao 3.4, mostramos que os mapas completamente positivos sao um contracao segundo a norma do traco em L(X). Esse fato tem uma implicacao
forte em fsica. Suponha que um sistema quantico possa estar em um de dois
estados D ou D0 , elementos de D(X), mas nao saibamos qual dos dois e o
estado correto. Para nao cair na armadilha de atribuir um status ontologico
ao estado de sistemas quanticos, podemos imaginar o seguinte jogo: um fsico
experimental prepara um sistema em um desses dois estados, com probabilidade 1/2 para cada um, passa o sistema para um seu rival, e o desafia a
descobrir qual dos dois estados foi preparado (com a promessa de que nunca
sera preparado um terceiro estado).
Por exemplo, suponha que os dois estados em questao sao xx e yy ,
onde x, y X sao ortogonais. Ora, sabendo disso, o rival pode fazer uma
medicao descrita por operador autoadjunto atuando em X que tenha x e y
como autovetores associados a autovalores distintos, digamos x e y . Ao
observar o valor x , ele tera certeza que o sistema em suas maos estava no
estado xx . Caso observe o autovalor y , ele tera certeza que o estado era
yy . Assim, o rival sempre ganha o jogo.
Mas, de maneira geral, a melhor estrategia que ele possa adotar o levara
a descobrir o estado correto apenas com uma certa probabilidade. No caso
extremo em que D = D0 essa probabilidade sera 1/2. Ele simplesmente tera
que chutar qual foi a escolha do desafiante, pois nenhuma medicao que ele
possa fazer no sistema ira oferecer alguma informacao sobre essa escolha.
Bom, de maneira geral, e possvel mostrar que a melhor estrategia que
ele possa adotar fara com que ele adivinhe o estado corretamente com probabilidade p = 12 + 41 ||D D0 ||1 . Quer dizer, a norma do traco nos da
uma informacao do quao distinguveis dois estados de um mesmo sistema
sao. Por outro lado, o resultado obtido na secao 3.4 nos garante que nao
ha nenhuma operacao fsica que possamos fazer no sistema que possa aumentar as chances de distinguirmos dois estados, pois elas sao descritas
por mapas completamente positivos . Isso implica que a probabilidade
p0 = 21 + 14 ||(D) (D0 )||1 de se distinguir os estados apos a operacao e
menor que p, pois ||(D) (D0 )||1 ||D D0 ||1 .

APENDICE
Neste apendice vamos demonstrar dois ingredientes necessarios para a demonstracao do Teorema 10: o fato de S(X Y ) ser fechado e a existencia
de um hiperplano separando um conjunto convexo fechado de um ponto em
seu complementar.
Teorema 14. Se X, Y sao espacos de Hilbert, S(X Y ) e fechado.
Demonstrac
ao. Para m, N N, seja Km,N = {S L(X Y )|S =
PN
j=1 Aj Bj , Aj DP(X), Bj DP(X), Tr(S) m}. Vamos primeiramente mostrar que Km,N e compacto.
P
De fato, se S Km,N , S = N
j=1 Aj Bj , devemos ter Tr(Aj ) = ||Aj ||1
m e ||Bj ||1 m para j = 1, ..., N . Portanto, os conjuntos DP m (X) = {A
L(X)|A 0, ||A||1 m} e DP m (Y
PN) = {B L(Y )|B 0, ||B||1 m}, sao
compactos. Tome (Si )i=1 , Si = j=1 Aj,i Bj,i sequencia de Km,N . Para
cada j, a sequencia (Aj,i )
i=1 pertence ao compacto DP m (X) e possui subsequencia convergente. Da mesma forma, as sequencias (Bj,i )
i=1 pertencem
a compactos e possuem subsequencias convergentes. Podemos entao tomar
DP m (Y )
subsequencia ik tal que Aj,ik Aj DP m (X) e Bj,ik B
PN j
quando k , para j = 1, ..., N . Assim, Sik j=1 Aj Bj Km,N
quando k .
e fechado, pois e a uniao de
Agora, se Km =
N =1 Km,N , segue que Km
compactos encaixantes (Km,N Km,N +1 ). Como Km tambem e limitado
(S Km satisfaz Tr(S) = ||S||1 m), segue que e na verdade compacto.
Finalmente, sendo S(X Y ) =
m=1 Km , onde Km Km+1 , quer dizer, uma
uniao de compactos encaixantes, segue a conclusao do teorema.
Teorema 15. Seja C Rn subconjunto convexo, fechado e nao-vazio, e
y Rn ponto de seu complementar. Existe funcional linear f (Rn ) e
x0 Rn tal que f (y x0 ) < 0 e f (x x0 ) 0 para todo x C.
Demonstrac
ao. Seja x0 C tal que ||x0 y|| =inf{||x y|| : x C}5 e
funcional linear f (x) = hx0 y, xi. Vale entao f (y x0 ) = hx0 y, y x0 i =
||y x0 ||2 < 0.
5
Quer dizer, estamos usando que existem vetores que realizam a distancia entre um
conjunto compacto, {y}, e um fechado, C.
53
Tome x C qualquer. Note que f (

x x0 ) = hx0 y, x x0 i. Se 0 <
< 1, entao x0 + x(1 ) C e ||[x0 + x(1 )] y|| ||x0 y||, pois
x0 realiza a distancia entre C e {y}. Mas
||[x0 + x(1 )] y||2
= h[x0 + x(1 )] y, [x0 + x(1 )] yi
= h(x0 y) + (
x y)(1 ), (x0 y) + (
x y)(1 )i
2
2
2
2
= ||x0 y|| + (1 ) ||
x y|| + 2(1 ) hx0 y, x yi
2
2
2
= ||x0 y|| + (1 ) ||
x y||2 + 2(1 ) hx0 y, x x0 i
+ 2(1 ) hx0 y, x0 yi
= (2 + 2)||x0 y||2 + (1 )2 ||
x y||2 +
2(1 ) hx0 y, x x0 i
||x0 y||2 .
Logo,
2(1 ) hx0 y, x x0 i (1 )2 (||x0 y||2 ||
x y||2 )
e, desde que 6= 1,
2 hx0 y, x x0 i (1 )(||x0 y||2 ||
x y||2 ).
Tomando o limite 1 nos dois lados da desigualdade acima, segue que
f (
x x0 ) = hx0 y, x x0 i 0.
BIBLIOGRAFIA
[1] B. Amaral, A. T. Baraviera e M. Terra Cunha, Mecanica Quantica para
Matematicos em Formacao, Publicacoes Matematicas, 28 Coloquio Brasileiro de Matematica.
[2] R. J. Santos, Algebra

Linear com Aplicacoes.
[3] S. Lang, Algebra

Linear, Colecao Classicos da Matematica.
[4] E. L. Lima, Algebra

Linear, Colecao Matematica Universitaria.
[5] B. James, Probabilidade: Um Curso em Nvel Intermediario, Colecao
Projeto Euclides.
[6] C. Fucks, D. Mermin R. Schack, arXiv:1311.5253.
[7] I. M Gelfand e M. A. Naimark, On the embedding of normed rings into
the ring of operators in Hilbert space, Rec. Math [Mat. Sbornik] (1943).
[8] M. Nielsen e I. Chuang, Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, UK, 2000).
[9] A. Jamiolkowski, Rep. Math. Phys 3, 275 (1972).
[10] M. Choi, Completely Positive Maps Linear Maps on Complex matrices,
Linear Algebra and Its Applications, 285 (1975).

Topicos de Algebra Linear

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Topicos de Algebra Linear

Caricato da

Copyright:

Formati disponibili

T

Raphael Campos Drumond

Departamento de Matematica, UFMG

Belo Horizonte, Janeiro de 2014

1. Operadores Autoadjuntos - Estados Quanticos . . . . . . . . . . . . 1

3. Mapas Completamente Positivos - Operacoes Quanticas . . . . . .

1. OPERADORES AUTOADJUNTOS - ESTADOS

Recomendamos fortemente as seguintes opcoes: o prel

1. Operadores Autoadjuntos - Estados Quanticos

O smbolo 0 sera usado para representar tanto o n

A , quer dizer, AA = A A, diz-se que A e operador normal.

1. Operadores Autoadjuntos - Estados Quanticos

conjunto de todos os autovetores com mesmo autovalor e um subespaco

1.2 Teorema espectral e algumas de suas aplicacoes e

1. Operadores Autoadjuntos - Estados Quanticos

Uma possvel demonstrac

natural tal que k 6= 0, o teorema fundamental da Algebra

1. Operadores Autoadjuntos - Estados Quanticos

Operadores semi-definido positivos

Note que em geral hx, Axi pode ser um n

1. Operadores Autoadjuntos - Estados Quanticos

1. Operadores Autoadjuntos - Estados Quanticos

e autoadjunto poderemos entender sua atuacao

1. Operadores Autoadjuntos - Estados Quanticos

Exerccio 17. Se A, B L(X) sao auto-adjuntos e comutam, mostre que

1. Operadores Autoadjuntos - Estados Quanticos

comumente encontrada em textos de fsica. Os elementos deste conjunto sao

1.4 Os operadores de Pauli

DP(C) pode ser identificado naturalmente com o conjunto dos n

1. Operadores Autoadjuntos - Estados Quanticos

{u0 , u1 } base ortonormal ordenada, enquanto x , y e z sao operadores que

Estes sao denominados operadores de Pauli.

1.5 O estado quantico

1. Operadores Autoadjuntos - Estados Quanticos

Considere uma sistema fsico S formado por uma u

(ou, equivalentemente, de x(0)

1. Operadores Autoadjuntos - Estados Quanticos

1. Operadores Autoadjuntos - Estados Quanticos

1. Operadores Autoadjuntos - Estados Quanticos

aos estudantes de fsica, pois a notacao tradicional deixa muita informacao

1. Operadores Autoadjuntos - Estados Quanticos

bem definidas, independentemente de observa-los ou nao.

2. O Produto Tensorial - Sistemas Quanticos Compostos

respectivamente, sao validas as seguintes propriedades:

2. O Produto Tensorial - Sistemas Quanticos Compostos

j = 1, ..., m e l = 1, ..., k e um isomorfismo isometrico (preserva o produto

2.2 O produto tensorial

O produto tensorial e associativo X (Y Z) = (X Y )Z = X Y Z

2. O Produto Tensorial - Sistemas Quanticos Compostos

bases ortogonais e mostre que a igualdade x y = x0 y0 + x1 y1 nao pode

[U ]ik [D]kk0 [V ]k0 j ,

Se [M ] e uma matriz nm, existem matrizes [U ], [V ], [D] de dimensoes nn, mm e

2. O Produto Tensorial - Sistemas Quanticos Compostos

onde os coeficientes [U ]ik e [V ]k0 j formam matrizes unitarias n n e m m,

2. O Produto Tensorial - Sistemas Quanticos Compostos

2.3 Operadores no produto tensorial

Y Y aplicacoes lineares, vale que (A B) = A B .

Exerccio 40. Mostre que o produto tensorial de operadores autoadjuntos e

2. O Produto Tensorial - Sistemas Quanticos Compostos

2.4 Representacao matricial

2. O Produto Tensorial - Sistemas Quanticos Compostos

A B se expresse de forma simples em termos das matrizes de A e B em

[A]11 [B] [A]12 [B] [A]1n [B]

2. O Produto Tensorial - Sistemas Quanticos Compostos