MECANICA

ESTAD
ISTICA

Curso 2010

Trabajo pr
actico N 1
Operador-Matriz Densidad - 17/03/10
Descripci
on general del estado de un sistema cu
antico. Cuando tratamos con sistemas cuanticos,
solemos representar un microestado por un vector de un espacio de Hilbert, mientras que el estado
macroscopico se representa mediante el operador (o matriz ) densidad.
=
D

X
| ip h |,

(0.1)

P
donde p es la probabilidad del microestado | i, y por tanto p = 1. Los elementos diagonales de
este operador en una base ortonormal {|un i}, Dun un , son las llamadas poblaciones asociadas a esa base,
mientras que los elementos no diagonales Dun um son las coherencias. El valor medio de un observable
en un sentido general (que combina tanto a los valores esperados cuanticos como al promedio estadstico
A).

clasico) puede escribirse hAi = Tr(D

Este operador trasciende su aplicacion a la estadstica: no complementa, sino que ampla las capacidades de los vectores utilizados hasta ahora para describir un estado cuantico. A diferencia de los vectores,
estos operadores: i) poseen un lmite clasico; ii) permiten condensar toda la informacion correspondiente
a solo una parte de un sistema cuantico compuesto. Esto u
ltimo es imprescindible si queremos describir
el proceso de medida en mecanica cuantica, en el que un sistema cuantico es puesto en contacto con
uno clasico y luego ambos son separados; iii) permite describir sistemas cuanticos de los que poseemos
informacion incompleta respecto a su preparacion (por ejemplo, un sistema en equilibrio termodinamico;
o un sistema de espines no polarizados.). Ninguna de estas posibilidades, que intentaremos desarrollar en
esta practica, es cierta en general para los vectores utilizados hasta ahora en Fsica Cuantica.
Bibliografa sugerida: R. Balian, C. Cohen-Tanoudji
Sea un macroestado definido por D,
y un observable macroscopico A,
Problema 1. [Propiedades de D]
Mostrar que:
representado por un operador hermtico A.

a) TrD = 1,
es hermtico (y con ello, sus autovectores |rk i tales que D|r
k i = rk |rk i pueden elegirse
b) D

como ortonormales;P
sus autovalores rk seran reales; y si A es un observable, entonces su valor medio hAi
sera real. Ademas, k rk = 1).
es semidefinido positivo (y con ello los rk 0; el promedio de un operador definido positivo
c) D
por ejemplo, una varianza sera positivo).
2 = D
(es decir, si D
es un proyector), entonces el sistema esta en un estado puro.
ch) si D
en la base de sus autovectores ortonorConclusi
on P
de este ejercicio Siempre podremos escribir a D

males: D = k |rk irk hrk |; las rk pueden seguirse interpretando como probabilidades, ahora de estados
sin solapamiento. Siempre sera la base mas comoda para trabajar.
Problema 2. [Poblaciones, coherencias, e interferencia cu
antica.] Sea un observable A cuyos autoestados

{|aj i}, A|aj i = aj |aj i, conforman una base ortonormal del espacio de estados. Sea otro observable B,

con una base ortonormal de autoestados {|bi i}, tal que [A, B] 6= 0. Supondremos que p1 y p2 son dos
n
umeros reales y positivos, con p1 + p2 = 1.

a) Tenemos un sistema que se encuentra en el estado dado el por ket |i = p1 |a1 i + p2 |a2 i, y otro
= |a1 ip1 ha1 | + |a2 ip2 ha2 |. Encontrar P (a1 )
sistema identico, pero descripto por el operador densidad D
(la probabilidad de medir el autovalor a1 ) y P (a2 ) en ambos sistemas.
1

b) Utilizando los ingredientes dados al comienzo del problema, muestre una diferencia escencial entre
ambos estados.
0 (notar que es u
c) Escribir el operador densidad D
nico: a diferencia de los vectores de estado, no
a0 a y
hay fases globales) que tenga el mismo contenido fsico que el ket |i. Calcular las poblaciones D
j j
a0 a de este operador. Escribir P 0 (a1 ) y P 0 (bi ) en terminos de las anteriores. Calcular
las coherencias D
j k

y comparar con las de D

0.
poblaciones y coherencias del operador D,

P ch) Supongamos ahora que el sistema esta descripto por un operador densidad mas general, D =
an siendo positivas. ii) Si midiera N veces el
| ip h |. i) Muestre que las poblaciones Daj aj seguir
observable A, en N sistemas identicos preparados en identicas condiciones En cuantos sistemas espera
medir el autovalor aj ? iii) Puede decirse algo a priori del valor de las coherencias?
Evoluci
on de un estado cu
antico Veremos ahora el analogo cuantico de la ecuacion de Liouville
estudiada en el caso clasico.
Problema 3.
a) Muestre que la evolucion temporal del operador densidad esta descripta por la ecuacion

1
dD
= [H,
D],
dt
i~
(ecuacion de Liouville-von Neumann).
> si
b) Escriba la ecuacion para la evolucion temporal de un observable A Que sucedera con < A(t)

[A, H] = 0?

0 ).
c) Muestre que TrD(t)
= TrD(t

Operador Densidad de un subsistema Tanto en mecanica cuantica como en estadstica, muchas

veces estamos interesados en estudiar solamente una parte de un sistema mayor. Lo que entendamos por
subsistemavariara de acuerdo al problema. Podra ser efectivamente un sistema separado fsicamente
del resto, como en el caso de un material en contacto con un termostato, o el de un sistema cuantico bajo
estudio que esta siendo medidopor un aparato. En practicas siguientes al estudiar teora cinetica de
los gases consideraremos solamente probabilidades reducidas a una partcula: el subsistema sera en ese
caso una partcula cualquiera del conjundo de las N que conforman al fludo. En el caso mas general,
consideraremos como subsistema a un subconjunto de los grados de libertad del sistema global (por ejemplo, los grados de libertad de espn con independencia de los traslacionales o los modos vibracionales
y rotacionales de una molecula con independencia de todos los demas).
Sea un espacio de Hilbert EH = EH a EH b , producto directo de dos espacios generados respectivamente
por las bases {|ka i} y {|lb i}. Un macroestado del sistema completo esta caracterizado por los elementos
a0 l0 i. Recordamos del curso de mecanica cuantica que los operadores Aa que act
uan
de matriz hka lb |D|k
b
solamente sobre el espacio EH a pueden ser extendidos al espacio completo EH como Aa = Aa Ib .
Problema 4.
a) Muestre que, puesto que el observable Aa opera efectivamente solo sobre el espacio EH a , el promedio
Aa ) puede escribirse como una traza sobre el espacio vectorial EH a . Esta traza parcial Tra ()
hAa i = Tr(D
Aa ) = Tra (D
a Aa ). El operador
comprende solamente operadores definidos sobre este espacio: hAa i = Tr(D

 a Trb (D)
es el operador densidad del subsistema a, y contiene toda la informacion concerniente a
D
observables que comprendan solo a este sistema.
b) Comprobar que cuando el operador densidad de un sistema de entidadesQdistinguibles puede es =

cribirse como producto de operadores de los subsistemas que lo componen D

i Di , los resultados de
las medidas parciales en un subsistema dado no se ven afectadas por el macroestado particular de los
no puede escribirse como un producto, decimos que los subsistemas estan
otros subsistemas. (Cuando D
correlacionados cuanticamente o entrelazados).
c) Sean a y b dos spines 12 en un estado singlete: |i = 12 (|+i |+i (se entiende aqu que, siendo
el
Sz el operador que da la proyeccion de spin a lo largo del eje z, Sz |i = 21 ~|i). Encontrar D,
a que describe al subsistema conformado por el spin a, y D
b.
operador densidad D
ch) Notar que pese a que en el ejemplo anterior partimos de un estado puro, el estado del subsistema
a es una mezcla estadstica (y por lo tanto, no puede describirse utilizando simplemente vectores de
estado). Si medimos solamente el estado del spin a, puedo decir con certeza cual sera el resultado?
Sera la entropa del subsistema mayor o menor que la del sistema global?
d) Los autoestados del operador Sx con proyecci
on de spin positiva o negativa a lo largo del eje x
1

puede escribirse como |ix = 2 (|+i |i). Los autoestados respectivos de Sy a su vez son |iy =
1 (|+i
2

i|i). Comente sobre el estado de polarizacion del spin a a lo largo de los ejes x e y.
mido el spin a obteniendo como resultado
e) Imaginemos que, dado el macroestado global anterior D,
que su proyeccion sobre el eje z es positiva. En que estado queda ahora el sistema conjunto? Si midiera
ahora (luego de medir el spin a) el estado de polarizacion del spin b, puedo tener alguna certeza de cual
sera el resultado? Notar que los espines a y b pueden estar separados espacialmente todo cuanto se quiera.
Este resultado (que la medida cuantica de un sistema separado fsicamente de otro pueda influenciar a
este segundo sistema) constituye la llamada paradoja EPR(Einstein, Podolsky y Rosen).
a siempre puede considerarse un
f) Muestre que un sistema con un operador densidad arbitrario D
subsistema de un sistema mayor ab que esta en un estado puro. ([Ayuda] : Alcanzara con encontrar un
a original.)
macroestado puro que al ser reducido por medio de la traza me de el operador densidad D