Universidad Complutense de Madrid

Trabajo de Fin de Grado

Mecanica Cuantica, Segundo Principio y

Entrelazamiento

Alexandre Salas Bernardez

Departamento de Fsica Aplicada I

Abstract: It is studied the concept of entropy in the different areas (including information theory) where it has been defined and
treated throughout history. The various attempts to justify the second principle of thermodynamics in both classical mechanics
and quantum mechanics are also analysed. Some numerical simulations on a two-LMG model are carried out to illustrate the
notions presented in this Bachelor Final Thesis.

September 11, 2017

2
Trabajo de Fin de Grado: Mecanica Cuantica,
Segundo Principio y Entrelazamiento

Alexandre Salas Bernardez

dirigido por

Armando Relano Perez

September 11, 2017

Contenidos

Introduccion 1

Marco Teorico 2
1.1 Termodinamica y sus Principios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Fsica Estadstica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.1 Postulado de Boltzmann y Ergodicidad . . . . . . . . . . . . . . . . . . . . . . 4
1.2.2 Entropa estadstica, informacion y principio de Jaynes . . . . . . . . . . . . . . 4
1.3 Mecanica Cuantica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3.1 Representacion de Estados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3.2 Dinamica e Invariantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3.3 Pureza y Entropa de von Neumann . . . . . . . . . . . . . . . . . . . . . . . . 8

Hacia la Fundamentacion del Segundo Principio 9

2.1 Teorema H, Celdas Macroscopicas y Tipicalidad . . . . . . . . . . . . . . . . . . . . . . 9
2.2 Enfoques Cuanticos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2.1 Promedio Temporal de la Matriz Densidad . . . . . . . . . . . . . . . . . . . . 12
2.2.2 Sistemas Bipartitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2.3 Entrelazamiento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.2.4 Termalizacion en sistemas cuanticos aislados . . . . . . . . . . . . . . . . . . . 17
2.2.5 Teorema H Cuantico e Informacion . . . . . . . . . . . . . . . . . . . . . . . . . 18

Simulaciones Numericas 19
3.1 El Modelo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.2 Resultados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.3 Programas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

Conclusiones 24

Referencias 25

i
Introduccion

Una de las caractersticas de la Mecanica Cuantica no relativista es que la informacion contenida en un

sistema fsico no se pierde bajo ninguna circunstancia, ya que la ecuacion de Schrodinger conserva la
probabilidad. Esto quiere decir que las leyes que gobiernan la fsica microscopica son reversibles. Pero
como conciliar estos principios fundamentales de la mecanica cuantica con los de la termodinamica,
teora bien estudiada desde el siglo XIX? Segun esta ultima, la informacion que poseemos sobre los
sistemas fsicos decrece, a consecuencia de ello existe una magnitud llamada entropa que es creciente.
Esta ultima afirmacion es conocida como el Segundo Principio de la Termodinamica y esta es una ley
que gobierna todos los procesos naturales, desde el funcionamiento de organismos vivos al destino de
todo el universo.

El objetivo de este trabajo sera pues, analizar los conceptos de entropa e informacion y la irreversibil-
idad que caracteriza a cualquier proceso fsico que tiene lugar en la naturaleza. Este analisis sera
llevado a cabo a nivel teorico y tambien a nivel practico.

En la primera parte se revisaran ideas basicas de Termodinamica, Fsica Estadstica y Mecanica

Cuantica y tambien la conexion entre los metodos estadsticos y teora de la informacion. El segundo
captulo versa sobre el tema central de este trabajo, la fundamentacion del segundo principio mediante
leyes microscopicas y la justificacion de los metodos estadsticos, tanto cuanticos como clasicos. En la
ultima parte del trabajo se presentan algunas simulaciones numericas en un sistema cuantico con el
objetivo de ilustrar parte de los conceptos que se presentan.

Este trabajo es principalmente bibliografico. La mayor parte de la informacion ha sido obtenida de

artculos cientficos y la referencia principal es el libro de texto Quantum Thermodynamics de J.
Gemmer, M. Michel y G. Mahler [1]. Las simulaciones han sido realizadas con programas originales
del autor escritos en Matlab.

1
Marco Teorico

En un principio, la termodinamica nacio y se desarrollo como una ciencia puramente fenomenologica.

Grandes pioneros como Galileo, Celsius o Fahrenheit eran capaces de definir y tratar con cantidades
o caractersticas de ciertos sistemas fsicos mas o menos intuitivas, como pueden ser la presion o la
temperatura. La conexion entre estos fenomenos y la Mecanica Clasica era una cuestion candente y
aun sin resolver. Fue en 1845 cuando Joule provo en su artculo The Mechanical Equivalent of Heat
que el calor en sentido Termodinamico es una forma de energa al igual que lo son la energa cinetica
o potencial en el marco de la Mecanica Clasica, incluso, unos anos antes, Humphry Davy demostro,
al derretir hielo por friccion, que el calor de alguna forma era movimiento. A finales del siglo XIX,
cuando la teora atomica se popularizo, la idea de describir los gases como una gran coleccion de
bolitas microscopicas se extendio entre los fsicos. Con esta vision en mente, era tentadora la idea
de reducir toda la Termodinamica a la Mecanica Clasica.
La primera persona en hacer un avance significativo en esta direccion fue Ludwig Boltzmann en
1866, cuando conecto la entropa (cantidad termodinamica hasta ese momento solamente definida
empricamente) con el volumen de una cierta region del espacio de fases (concepto perteneciente a
la Mecanica Clasica). Postulando esta conexion era posible calcular todo tipo de observables ter-
modinamicos con la funcion de Hamilton del sistema. En este momento nacio la Termodinamica
moderna basada en la Fsica Estadstica, teora con una validez fuera de toda duda hoy en da. De
todas maneras, esta conexion no ha sido probada con principios fundamentales y sin asumir otros
postulados como el ergodico (el cual dice que un sistema dinamico tiene el mismo comportamiento
promediado en el tiempo que promediado en el espacio de fases).
De todas maneras, en los ultimos anos se ha visto como la Mecanica Cuantica es mucho mas fundamen-
tal que su homologa clasica. Parece ser ademas, que principios termodinamicos son aplicables incluso
a sistemas que no pueden ser descritos por la Mecanica Clasica. Por lo tanto, parece ser necesario el
reformular la Termodinamica llevandola al regimen cuantico.

1.1 Termodinamica y sus Principios

Clasicamente un sistema fsico puede describirse a nivel microscopico por su funcion de Hamilton o
Hamiltoniano, la cual depende de las variables microscopicas del mismo, como pueden ser las posiciones
y las velocidades de las moleculas en un gas. Sin embargo, macroscopicamente, el estado del sistema
se especificara con una funcion de estado. Esta funcion de estado, como por ejemplo la energa
interna U , es una caracterstica macroscopica del sistema medible experimentalmente. Se postula
que las funciones de estado estan definidas en el espacio de macroestados, donde el macroestado
de un sistema queda definido como un conjunto completo de variables de estado independientes.
Los sistemas siempre se describen dentro de un entorno y en base a su relacion con este, se tienen:
sistemas aislados, sistemas cerrados y sistemas abiertos. La existencia de estados de equilibrio es

2
1.2. FISICA ESTADISTICA 3

un hecho experimental, despues de un cierto tiempo de relajacion un sistema aislado llega a un estado
estacionario. Un proceso reversible consiste en estados de equilibrio solamente, el sistema evoluciona
desde un estado de equilibrio inicial a otro final moviendose infinitesimalmente entre infinitos estados
de equilibrio en el camino. Un proceso irreversible es la relajacion de un estado de no-equilibrio al
equilibrio.
Historicamente, despues de muchos anos del nacimiento emprico de la termodinamica, a principios
del siglo XIX, se logro condensar todo lo conocido de esta teora en una serie de enunciados o principios,
mediante los cuales se podan describir todo tipo de procesos en sistemas termodinamicos. El principio
cero define el concepto de equilibrio termico. El primer principio es una especie de conservacion de la
energa entre el trabajo y el calor que intercambia un sistema con su entorno, nos dice ademas que no
existen procesos cclicos donde se pueda producir trabajo sin aportar calor externamente (ya que estos
no tienen diferenciales totales). Aunque todos los procesos conserven la energa, en la naturaleza hay
algunos de ellos que no se observan o no ocurren espontaneamente, aunque estos no violen el primer
principio. Si transformamos el cambio infinitesimal del calor en un diferencial total mediante el factor
integrante 1/T , se tiene que para procesos reversibles QT = dS donde S se define como la entropa del
sistema. Para procesos irreversibles ocurre que la entropa deja de ser integrable. En general, para
cualquier tipo de proceso, se tiene S Q T . La entropa de un sistema puede variar debido al cambio
interno de entropa o a la transferencia externa de esta a traves de un intercambio de calor reversible:
S = S int + dS ext . El segundo principio enuncia que

S int 0. (1.1)

Esto viene a decir que en un sistema aislado, existe una produccion no negativa de entropa cuando
el sistema evoluciona en el tiempo. Se tiene ademas que el cambio de entropa en un sistema puede
medirse experimentalmente a traves del intercambio reversible de calor. Este hecho tiene consecuen-
cias importantes en lo que atane a la identificacion de la entropa como algo que da cuenta de la
ignorancia subjetiva que poseemos sobre los sistemas ya que al ser algo medible e independiente del
observador, excluye todo tipo de interpretacion subjetivista[1]. El tercer principio enuncia que si
T 0 se tiene que S 0 y viene a decirnos que el cero absoluto de temperaturas no es alcanzable
experimentalmente.

1.2 Fsica Estadstica

Hasta el momento, todas las consideraciones hechas son resultados empricos sin ninguna justificacion
mediante principios fundamentales. Todos los principios postulados en la seccion anterior, y especial-
mente el segundo, estan exclusivamente formulados basandose en la experiencia de una mirada de
diferentes experimentos termodinamicos llevados a cabo durante siglos. Esta teora fenomenologica no
es capaz de calcular desde un punto de vista microscopico un potencial termodinamico, al contrario,
este tiene que medirse experimentalmente. Debemos pues conectar el comportamiento macroscopico
de un cierto sistema con la evolucion microscopica dictada por la funcion clasica de Hamilton o el
Hamiltoniano cuantico. Sin embargo, la Fsica Estadstica es una especie de receta para calcular
entropas de equilibrio desde una descripcion microscopica de la cual no conocemos el funcionamiento
fundamental ya que para hacerla funcionar tendremos que tomar como verdaderas ciertas suposiciones
aparentemente arbitrarias.
4 MARCO TEORICO

1.2.1 Postulado de Boltzmann y Ergodicidad

El primer paso en la busqueda de la citada conexion entre la vision microscopica y la macroscopica

lo dio Boltzmann en 1866. Este postulo la relacion entre la entropa termodinamica y el microestado
clasico de un sistema aislado (donde todas las variables de estado extensivas, la energa interna U , el
volumen V , y el numero de partculas N , estan fijados) como

S = kB ln m(U, V, N ) (1.2)

donde kB es la llamada constante de Boltzmann y m es el numero de microestados accesibles al sistema

bajo las las restricciones impuestas a este.
La idea que llevo a Boltzmann a hacer esta conexion fue el suponer que cualquier posible medida
macroscopica sobre un sistema fsico dura un tiempo practicamente infinito en comparacion con la
escala de tiempo tpica del movimiento molecular. Por lo tanto, el resultado de dicho experimento
deba interpretarse como un promedio temporal sobre muchas medidas hipoteticamente instantaneas.
Durante el tiempo de medida el sistema recorrera practicamente todo el volumen de la region acce-
sible del espacio de fases clasico, y sera como si el sistema estuviese en todos los puntos accesibles
al mismo tiempo. El resultado del experimento nos especificara el macroestado, pero dejara sin de-
terminar el microestado exacto. Es as, y a traves de la hipotesis ergodica, como la idea de entropa
puede conectarse con el volumen de la region accesible del espacio de fases. Asumir como cierta la
hipotesis de ergodicidad abrio las puertas a la descripcion de los sistemas mediante densidades de pun-
tos en el espacio de fases pertenecientes a colectividades estadsticas, como puede ser la colectividad
microcanonica en el contexto de sistemas aislados.

1.2.2 Entropa estadstica, informacion y principio de Jaynes

Nos preguntamos ahora: Como inferir distribuciones de probabilidad de un sistema cuando se posee
informacion parcial sobre este? Nuestro objetivo es encontrar la distribucion mas imparcial y que no
este en contradiccion con lo que ya sabemos del sistema para poder inferir informacion adicional.
E.T. Jaynes fue el pionero en tratar este tema en el contexto de teora de la informacion [2]. Esta
teora nos dice que existe un unico criterio para caracterizar la cantidad de indeterminacion que
contiene una distribucion de probabilidad de una variable aleatoria que toma valores discretos xi con
probabilidades pi . C. E. Shannon demostro en [3] que la cantidad positiva que crece cuando aumenta
la indeterminacion y ademas es aditiva para fuentes de indeterminacion independientes es
n
X
Y (p1 , ..., pn ) = K pi ln pi (1.3)
i=1

donde K es una constante positiva.

Parece evidente como resolver nuestro problema ahora. Para realizar inferencias basandonos en la
informacion parcial que poseemos debemos maximizar la cantidad de indeterminacion Y bajo las
restricciones conocidas. Este criterio, conocido como principio de Jaynes, es el unico que podemos
usar ya que cualquier otro equivaldra a asumir cierta informacion que de partida no tenemos. Tiene
ademas la propiedad de que ninguna posibilidad es ignorada ya que asigna un peso positivo a todas
las situaciones que no estan completamente excluidas por la informacion que ya conocemos.
Imaginemos que todo lo que sabemos de una variable aleatoria x es el valor esperado de una cierta
funcion f (x)
Xn
hf (x)i = pi f (xi ). (1.4)
i=1
1.2. FISICA ESTADISTICA 5

Sabemos ademas, que la suma de todas las probabilidades parciales pi es

n
X
pi = 1 . (1.5)
i=1

Si maximizamos pues la cantidad Y bajo las condiciones (1.4) y (1.5) introduciendo los multiplicadores
de Lagrange y (considerando K = 1 por simplicidad), obtenemos

pi = e1f (xi ) . (1.6)

Sustituyendo esta expresion en (1.4) y usando (1.5) se tiene

hf (x)i = ln Z() = ln Z() 1 (1.7)

donde
n
X
Z() = ef (xi ) (1.8)
i=1

la llamaremos funcion de particion. Obteniendo finalmente:

1 f (xi )
pi = e (1.9)
Z()

Estos resultados son generalizables a cualquier numero de funciones f (x).

Ademas, en su artculo, Jaynes dio un nuevo punto de vista sobre la Fsica Estadstica al consider-
arla, no como una teora fsica propiamente, sino como una forma de inferencia estadstica. Esto se
debe a que la inferencia mediante el principio de maxima entropa explicada anteriormente coincide
matematicamente con los calculos de la Fsica Estadstica. Este enfoque tiene ademas la ventaja de
saltarse todas las suposiciones que hicimos anteriormente para justificar los metodos estadsticos como
la hipotesis de ergodicidad o la de estados a priori equiprobables.
Imaginemos que un sistema tiene unos niveles de energa Ei (1 , 2 , ...), donde los parametros externos
i pueden ser el volumen, intensidades de campos electricos o magneticos aplicados al sistema, poten-
cial gravitatorio, etc. Si conocemos el valor esperado de la energa hEi, las probabilidades asociadas a
los niveles Ei predecidas por el principio de Jaynes coinciden con la distribucion de Boltzmann para
un sistema en equilibrio termico (colectividad canonica) y la cantidad de indeterminacion o falta de
informacion Y con la entropa termodinamica S (identificando la constante K con la constante de
Boltzmann kB ). Este ultimo aspecto subraya el caracter subjetivista de la vision de Jaynes. Segun
esta vision, el comportamiento termodinamico de los sistemas deriva de la imposibilidad de medir con
detalle y de una forma precisa por parte del observador.
El hecho de que una cantidad termodinamica basica como la entropa este basada en la falta de infor-
macion subjetiva significara que, si un observador obtuviese informacion adicional sobre un sistema,
la entropa de este decrecera, haciendo que, a su vez, la temperatura decreciese, cosa que no parece
muy fsica. Esta es una de las grandes objeciones que se ponen al Principio de Jaynes. Jaynes tena
presente estas implicaciones y se pregunto en que medida las probabilidades inferidas con su prin-
cipio podan ser relevantes para describir el comportamiento de sistemas fsicos reales. Para el, en
palabras de Laplace, la teora de la probabilidad no es mas que sentido comun reducido al calculo.
Su teora hace buenas predicciones experimentales solamente cuando da como resultado distribuciones
con poca dispersion. Los fenomenos donde la Fsica Estadstica ha sido verificada experimentalmente
son, de hecho, aquellos donde las distribuciones de probabilidad de las cantidades medidas, tienen
6 MARCO TEORICO

unos picos muy marcados. Sin embargo, la inferencia mediante la maximizacion de la entropa es
la que nos da la distribucion de probabilidad mas dispersa posible. Por lo tanto, dichas distribuciones
estrechas para ciertas cantidades macroscopicas pueden ocurrir solamente si para la mayor parte de
los microestados con peso significativo se tiene el mismo comportamiento macroscopico. Esta uni-
formidad macroscopica es esencial para la validez experimental de la Fsica Estadstica y es la que
provee la parte objetiva a nuestros calculos, no las probabilidades en s. Si se quiere realizar una
interpretacion, o sea, observar el comportamiento macroscopico de un sistema para sacar conclusiones
sobre las causas microscopicas de tal comportamiento, se necesita una teora diferente que podramos
llamar Fsica Estadstica objetiva. Donde se deberan calcular las probabilidades de cada estado
como la fraccion de tiempo que pasa el sistema en dicho estado, cosa que es imposible de hacer te-
niendo a disposicion solamente medidas macroscopicas.

1.3 Mecanica Cuantica

A finales del siglo XIX, los handicaps de la teora clasica se hacan mas y mas evidentes. Efectos
como el fotoelectrico o la formula de la radiacion de cuerpo negro de Planck fueron de los primeros
fenomenos descritos en el marco de una nueva teora, la Mecanica Cuantica. Es tambien interesante
notar que estos dos fenomenos entraban dentro del regimen termodinamico, Planck baso su resultado
en la hipotesis de que el intercambio de energa entre las paredes de un recipiente y el campo de ra-
diacion contenido ocurra en quantos de energa fija y Einstein obtuvo sus coeficientes de absorcion
y emision de luz por un atomo en condiciones de equilibrio termodinamico. La Mecanica Cuantica ha
demostrado ser una teora de una efectividad extraordinaria a lo largo del siglo XX hasta nuestros das.
Por lo tanto, esta parece mucho mas fundamental que su homologa clasica y nuestro objetivo ultimo
sera describir como comportamientos termodinamicos pueden emerger en el marco de esta teora.

1.3.1 Representacion de Estados

En Mecanica Cuantica un estado puro de un sistema fsico se representa como un vector |i H

perteneciente a un espacio de Hilbert H. En este trabajo nos centraremos en espacios de Hilbert de
dimension finita ntot donde podremos introducir una base ortonormal de estados |ii H. Los oper-
adores que corresponden a observables son hermticos a fin de tener autovalores reales A = A.
Para definir estados mas generales de un sistema, o sea, no solamente estados puros si no tambien
mezclas estadsticas de ellos, usaremos la matriz densidad ij , la cual especifica el operador densi-
dad X
= ij Pij , con Pij |ii hj| (1.10)
i,j

con la condicion X
T r{} = ii = 1 . (1.11)
i

P
El valor esperado de cierto observable A = ij Aij Pij en el estado es

X
hAi = T r{A} = Aij ij . (1.12)
i,j
1.3. MECANICA CUANTICA 7

Para un estado puro arbitrario |i se tiene que = |i h|. En la base en la que es diagonal, con
Wi ii , tenemos
X
= Wi Pii , (1.13)
i

por lo que podemos interpretar este estado como una mezcla estadstica de estados puros Pii con el
peso estadstico Wi . Somos capaces as de calcular la probabilidad W (|i) de encontrar al sistema en
un estado puro arbitrario |i, expresado en la base |ii
X
|i = i |ii (1.14)
i

como X
W (|i) = h| |i = |i |2 Wi . (1.15)
i

1.3.2 Dinamica e Invariantes

La evolucion temporal de un sistema cuantico cerrado en un estado puro |(t)i esta dictada por la
ecuacion de Schrodinger

i~ |(t)i = H(t) |(t)i (1.16)
t
donde H(t) es el operador Hamiltoniano del sistema, el cual puede contener potenciales que sean
dependientes del tiempo. Partiendo de esta ecuacion se puede obtener a su vez la ecuacion de evolucion
para el operador densidad
 
i~ = H, , (1.17)
t
 
con A, B AB B A definido como el conmutador. Esta ecuacion puede resolverse formalmente
con
(t) = U (t)(0)U (t) , (1.18)

donde el operador unitario de evolucion temporal, U U = U U = 1, obedece tambien la ecuacion de

Schrodinger

i~ U (t) = H(t)U (t) . (1.19)
t
Para los casos en los que el Hamiltoniano no dependa explcitamente del tiempo, i.e., H/t = 0. La
ecuacion (1.19) tiene como solucion
U = eiHt/~ . (1.20)

Se tiene ademas que funciones del operador densidad f () obedecen tambien la ecuacion (1.17). Por
lo tanto, la evolucion del valor esperado de estas funciones sera

   
i~ hf ()i = i~T r{ f ()} + i~T r{ f ()} = T r{ H, f ()} + T r{ H, f () } = 0 , (1.21)
t t t
donde en la ultima igualdad hemos usado la ciclicidad de la traza. Vemos pues que valores esperados
de funciones del operador densidad son constantes en el tiempo.
8 MARCO TEORICO

1.3.3 Pureza y Entropa de von Neumann

Un criterio para determinar cuan puro es un cierto estado es el calculo de la pureza P definida
como

XX X
P () = ij i0 j 0 T r{Pij Pi0 j 0 } = |ij |2 . (1.22)
i,j i0 ,j 0 i,j

Debido a la desigualdad de Cauchy-Schwartz |ij |2 6 ii jj se tiene que P 6 1. Esta desigualdad se

satura solamente para estados puros, ya que para estos, los elementos de la matriz densidad en forma
diagonal son todos cero excepto ii = 1. En la representacion donde es diagonal la pureza coincide
con la suma de los cuadrados de las probabilidades Wi de encontrar al sistema en el autoestado cor-
respondiente.

Otra cantidad importante es la llamada entropa de von Neumann, definida como

S() = kB T r{ ln } , (1.23)

donde hemos incluido arbitrariamente la constante de Boltzmann kB . Para un estado puro la entropa
alcanza un mnimo S = 0 y la maxima entropa se alcanza cuando
1
ij = ij , i, j = 1, 2, ..., ntot , (1.24)
ntot
o sea, cuando la matriz densidad es proporcional a la matriz unidad, con entropa Smax = kB ln ntot .
En este caso la pureza es la mnima posible, Pmin = 1/ntot . Vemos pues que para la maxima entropa
(mnima pureza) se tiene la distribucion de probabilidad mas ancha posible. Por lo tanto S y P son
una medida de la anchura de la distribucion. Notese ademas la similitud entre la entropa estadstica
de Shannon y la entropa de von Neumann cuando esta ultima se expresa en la base donde la matriz
densidad es diagonal. X
S = kB Wi ln Wi . (1.25)
i

Como ya demostramos en la seccion anterior, los valores esperados de una funcion arbitraria del oper-
ador densidad son invariantes con respecto a la evolucion temporal. Por lo tanto, ya que la entropa
de von Neumann se define como el valor esperado de ln , concluimos que esta es invariante bajo la
evolucion temporal dictada por la ecuacion de Schrodinger.

Llegados a este punto, nos preguntamos como es posible que lo que dicta el segundo principio, donde
la entropa de los sistemas crece, tenga una validez extraordinaria en una gran mayora de procesos
fsicos cuando, por otro lado, la entropa segun la mecanica cuantica esta destinada a permanecer
constante. Cual es la conexion entre lo que sabemos a nivel microscopico de los sistemas y lo que
observamos macrosopicamente? Cual podra ser la fuente de un aumento en la entropa?
Hacia la Fundamentacion del Segundo
Principio

El Segundo Principio de la termodinamica y su fundamentacion mediante leyes microscopicas es una

tarea que ha recibido una gran atencion a lo largo del tiempo. Esto se debe a la extraordinaria
efectividad de la termodinamica y, en parte, a que este principio parece ser una ley fundamental que
caracteriza la tendencia de los sistemas fsicos hacia el equilibrio y la irreversibilidad de los procesos
naturales que ello conlleva. Todo sea dicho, parece que aun hoy en da no existe justificacion formal y
general de dicho principio. Numerosos han sido los intentos para conseguir tal cosa y muchos de ellos
han recibido objeciones insalvables, como es el caso del teorema H de Boltzmann. En los ultimos anos
se ha podido observar y sistematizar en cierta medida la aparicion de comportamientos termodinamicos
en sistemas cuanticos, pero no de forma general y aplicable a todos los sistemas. En esta seccion se
revisaran parcialmente algunas de dichas tentativas, tanto clasicas como cuanticas.

2.1 Teorema H, Celdas Macroscopicas y Tipicalidad

De nuevo, Boltzmann fue uno de los primeros cientficos en buscar la irreversibilidad partiendo de
leyes microscopicas reversibles [4]. Boltzmann trato un gas cuasi-ideal usando el espacio de fases 6-
dimensional generado por las posiciones q y las velocidades v de una partcula del gas. Para describir
pues las N partculas del gas, Boltzmann, no introdujo N puntos en el espacio , sino que uso una
funcion continua f (q, v, t) para caracterizar la densidad de partculas en ese espacio . Dividio ademas
este espacio en celdas de volumen dxdydzdvx dvy dvz lo suficientemente grandes como para contener un
gran numero de partculas, pero suficientemente pequenas para que la funcion f variase suevemente
de una celda a otra. De esta forma, se abandona la idea de tener informacion sobre las posiciones y
velocidades exactas de las partculas.
Una vez introducida esta descripcion, Boltzmann busco una ecuacion para la evolucion de la funcion
f . Tuvo en cuenta los cambios que se podan producir en f debidos a partculas que no interactuan
(o sea simplemente cambian de posicion con una cierta velocidad) y a partculas que si lo hacen.
El primer caso es bastante facil de tratar. Sin embargo, el modelar las colisiones de las partculas
era una ardua tarea, trato interacciones de corto alcance para poder modelar dichas colisiones como
un proceso de scattering y asumio ademas que las partculas antes de colisionar estan totalmente
descorrelacionadas, esta ultima suposicion es conocida como la hipotesis del caos molecular. De esta
forma pudo obtener una ecuacion para la evolucion de f , conocida como la ecuacion de Boltzmann.
Usando dicha ecuacion logro probar que la cantidad
Z
H(t) = f (q, v, t) ln f (q, v, t) dq dv , (2.26)

9
10 HACIA LA FUNDAMENTACION DEL SEGUNDO PRINCIPIO

era una funcion monotona decreciente en el tiempo. Notese ademas la semejanza de esta ecuacion con
las anteriores definiciones de entropa. De esta manera, la irreversibilidad fue introducida. Boltzmann
probo ademas que la distribucion de las velocidades de las partculas del gas que minimizaba la funcion
H era la distribucion de Maxwell-Boltzmann.
Pese al aparente exito del trabajo de Boltzmann, la hipotesis del caos molecular, aunque razonable
(ya que, aunque las partculas se correlacionan al colisionar, antes de volver a encontrarse de nuevo
colisionan a su vez con un numero tan grande de otras partculas tal que al volver a colisionar, to-
das las correlaciones han sido borradas), es indemostrable y genero mucha controversia. Una de las
grandes objeciones fue puesta en evidencia por Loschmidt, el cual dijo que no era posible derivar com-
portamientos irreversibles mediante un formalismo simetrico respecto al tiempo. Segun Loschmidt, la
hipotesis del caos molecular contena en s misma la irreversibilidad (de hecho, teniendo una evolucion
del tipo Liouville, la funcion H se mantiene constante). Por lo tanto, se estaba asumiendo de partida
lo que se quera demostrar.

Otra idea para fundamentar o almenos explicar de forma intuitiva la irreversibilidad, es el llamado
enfoque de las celdas macroscopicas. Estas celdas macroscopicas son conjuntos de puntos del espacio
de fases consistentes con una cierta medida macroscopica. Por ejemplo, si queremos describir un gas
mediante el volumen que este ocupa, V , y su energa interna total, U , todos los puntos que corre-
sponden a macroestados definidos por volumenes y energas proximos a V y U formaran la celda
macroscopica caracterizada por los valores especficos de V y U . De esta forma, el espacio de fases no
se divide en celdas del mismo tamano como en el enfoque de Boltzmann. Esta diferencia en tamano
es crucial aqu. El sistema, bajo la evolucion temporal, probablemente pase mucho mas tiempo en las
celdas mas grandes (Figura 1). En el ejemplo anterior, la celda en la que el gas tiene el volumen V
mas grande posible sera, de largo, la celda mas grande (aunque estas celdas no pueden determinarse
mediante las ecuaciones de la mecanica y su eleccion es arbitraria).
Este enfoque, aunque plausible, debe probarse para cada sistema en particular y ademas presenta
algunos problemas a la hora de tratar sistemas no aislados, ya que para funcionar en estos casos se
necesita asumir de nuevo la hipotesis ergodica, que es de lo que queramos deshacernos [1, Cap.4.4].

Figura 2.1: Enfoque de Celdas Macroscopicas. El espacio de fases se divide en celdas dependiendo del macroestado del
sistema. Una de estas cedas es mucho mas grande que las demas, la celda de equilibrio. Las trayectorias del sistema en
el espacio de fases acabaran probablemente en la celda mas grande.

Sin embargo, la idea de las celdas macroscopicas es conceptualmente muy parecida a otro planteamiento
usado para fundamentar la irreversibilidad: la tipicalidad. Incluso, este concepto se relaciona con los
planteamientos de Jaynes explicados anteriormente sobre la uniformidad macroscopica. La idea de
2.2. ENFOQUES CUANTICOS 11

base de la tipicalidad, es que, microestados de una region bien definida del espacio de fases puedan
dar, como resultado de medir un observable, valores muy similares. Esto hace que los microestados,
respecto a ese observable, sean practicamente indistinguibles de una colectividad estadstica. Lo que,
en cierto modo, justifica el uso de los metodos estadsticos sin recurrir a hipotesis de ergodicidad.
Consideremos un conjunto de microestados X en una cierta region accesible (RA) del espacio de fases
(microestados con el mismo valor de una cantidad conservada como puede ser la energa). Consider-
emos tambien una funcion escalar definida sobre el espacio de microestados f (X ), la cual podra ser
una variable dinamica clasica, y definamos el valor esperado de esta variable como
Z
ERA (f ) f (X ) dVX , (2.27)
RA

donde dVX es el elemento de volumen en el espacio de fases. Podemos definir ademas la varianza como
VRA ERA (f 2 ) (ERA (f ))2 . Diremos pues, que se tiene tipicalidad, es decir que f (X ) sea muy
parecida para todo microestado X , si la varianza es pequena. Esto significa que ERA (f ) es la tpica
1
2
f respecto a la RA, si y solo si VAR  fmax fmin .

Si asumimos ahora una evolucion de Liouville del tipo X = G(X ) con divX G = 0, donde el elemento
de volumen del espacio de fases se conserva. Y dividimos el espacio de fases en dos regiones y ,
donde los estados pertenecen a si cumplen que |f (X ) EAR (f )| , donde puede entenderse  como
un umbral relacionado con la precision de la medida de ciertas propiedades macroscopicas, y de lo
contrario pertenecen a . Si nos centramos en los estados que, bajo la evolucion temporal viajan de
la region a la region y viceversa, se tiene que, al conservarse el elemento de volumen en el espacio
de fases, el numero de estados que viajan de la primera a la segunda en el instante t t ( ), es
igual al numero de los que viajan de la segunda a la primera t ( ).
En el caso de tener tipicalidad, la celda (que llamaremos conjunto de equilibrio), es mucho mas
grande que la celda (conjunto de no equilibrio), ()  (). Por lo que concluimos que

t ( ) t ( )
 , (2.28)
() ()

es decir: la frecuencia relativa de estados que evolucionan del conjunto de no equilibrio al conjunto
de equilibrio es mucho mayor que la frecuencia relativa del proceso contrario. De este modo podemos
entender por que una gran mayora de estados de no equilibrio parecen evolucionar hacia el equi-
librio, ilustrando as el aspecto irreversible de los procesos fsicos. Se tiene ademas que el tratamiento
de sistemas mediante la tipicalidad se puede extender a sistemas cuanticos, pero este enfoque queda
mas alla del nivel de este trabajo.

2.2 Enfoques Cuanticos

Segun la formulacion termodinamica del segundo principio, todo sistema aislado evoluciona con una
entropa estrictamente no decreciente (recuerdese la ecuacion (1.1)), la extension literal al regimen
cuantico no es posible, ya que como se probo anteriormente la entropa de von Neumann de un sistema
cuantico aislado es constante. Una idea para solventar este hecho y dar un sentido termodinamico a
la evolucion temporal cuantica es permitir que el sistema interactue con un entorno. De este modo, a
traves del entrelazamiento cuantico entre el sistema y su entorno, pueden obtenerse entropas locales
crecientes. Existen ademas otros enfoques, quizas menos formales y mas interpretativos, como es el
hacer la media temporal de los elementos de la matriz densidad. Otros trabajos han sido enfocados
12 HACIA LA FUNDAMENTACION DEL SEGUNDO PRINCIPIO

tambien a la justificacion de los metodos de la fsica estadstica mediante mecanica cuantica como es
el caso de los artculos de Mark Srednicki sobre termalizacion en sistemas cuanticos aislados. Todos
estos temas seran discutidos en esta seccion.

2.2.1 Promedio Temporal de la Matriz Densidad

Este metodo tiene como idea de base la misma consideracion que uso Boltzmann para justificar la
hipotesis ergodica. Las medidas que se realizan sobre un sistema fsico ocurren en un tiempo in-
fintamente largo comparado con la escala temporal tpica del sistema. Por lo tanto, cuando medimos,
lo que estamos haciendo es un promedio temporal sobre los estados instantaneos del sistema. Siguiendo
estas ideas, somos capaces de llegar a una expresion para la entropa que en efecto cambia durante la
evolucion temporal cuando hacemos un promedio temporal del operador densidad.

La dependencia temporal de los elementos de la matriz densidad (para un Hamiltoniano independiente

del tiempo con autovalores no degenerados Ei y autovectores correspondientes |Ei i y tomando ~ = 1)
es
ij (t) hEi | (t) |Ej i = ei(Ej Ei )t hEi | (0) |Ej i , (2.29)
Pntot
y el operador densidad de un estado puro |i = i=1 ci |Ei i nos queda

X
(t) = ei(Ej Ei )t ij (0) |Ei i hEj | , (2.30)
i,j
con X
(0) = cl ck |El i hEk | . (2.31)
l,k

Por lo tanto, tomando el promedio temporal del operador densidad

1
Z
1 X X ei(Ej Ei ) 1 
(t) = |cn |2 |En i hEn | + ci cj |Ei i hEj | . (2.32)
0 n
i(Ej Ei )
i6=j

Tenemos pues que, ya que hemos asumido que cada nivel energetico tiene una energa distinta que
cualquier otro, si c donde c es la escala de tiempo caracterstica del sistema podemos tomar el
lmite . Tomando dicho lmite se obtiene pues
X
(t) |cn |2 |En i hEn | . (2.33)
n

Por lo que podemos concluir que, un estado que inicialmente era puro y por lo tanto con entropa
cero, en general, cuando lo promediamos en el tiempo aparece como una mezcla estadstica de estados
puros, y por tanto como un estado con entropa
P no nula. Dicha entropa del estado promediado se la
denomina como entropa diagonal Sd = n |cn |2 ln |cn |2 y guarda ciertos aspectos presentes en la
entropa termodinamica. Por ejemplo, en un proceso donde el Hamitoniano dependa del tiempo, la
entropa diagonal se mantiene constante solamente cuando el proceso es adiabatico, ya que el Teorema
Adiabatico prohibe transiciones entre distintos autoestados instantaneos de la energa, haciendo que
los coeficientes cn (t) adquieran solamente fases [5].
El gran problema de este metodo es el promedio temporal e s. Si los sistemas se vuelven mas y
mas grandes, tpicamente, el espaciado entre niveles energeticos se vuelve muy pequeno y el intervalo
2.2. ENFOQUES CUANTICOS 13

temporal del promedio necesario para ver la entropa crecer aumenta considerablemente, incluso su-
perando de largo tiempos de relajacion tpicos de sistemas termodinamicos. Cuando los niveles de
energa se vuelven degenerados este tiempo se vuelve infinito. O sea que un sistema con una energa
precisa (condiciones microcanonicas), que por lo tanto ocupa solamente estados energeticos degerados,
nunca tendra una entropa creciente.

2.2.2 Sistemas Bipartitos

A fin de describir la interaccion de un sistema con su entorno, trataremos con el sistema completo
compuesto por el sistema mas su entorno. Dicho sistema tiene un espacio de Hilbert que puede
descomponerse como el producto
H = H(S) H(E) , (2.34)
con dimension n(tot) = n(S) n(E) . Puede construirse una base ortonormal de vectores (donde
significa el producto tensorial)
|iji = |ii |ji , cumpliendo hij|i0 j 0 i = ii0 jj 0 (2.35)
con i = 1, 2, ..., n(S) numerando la base en H(S) y con j = 1, 2, ..., n(E) en H(E) .
Podemos representar un estado puro como
X
|i = ij |ii |ji (2.36)
i,j

y los elementos matriciales del operador densidad = |i h| son

ij|i0 j 0 hij||i0 j 0 i = ij i0 j 0 . (2.37)
Si queremos saber el estado de una de las partes del sistema total, debemos tomar la traza sobre la
otra parte. Tenemos pues que la matriz densidad reducida del sistema que nos interesa es
XX
(S) = T rE {} = ij|i0 j |ii hi0 | . (2.38)
i,i0 j

El valor esperado en un cierto operador local A(S) 1(E) es

hA(S) i = T rS {A(S) (S) } . (2.39)
Por lo que concluimos que la entropa reducida de von Neumann del sistema es
S((S) ) = kB T rS {(S) ln (S) } (2.40)
Es posible probar que para un estado factorizable
= (S) (E) (2.41)
la entropa total es aditiva
S = S((S) ) + S((E) ) . (2.42)

Para casos generales, un teorema demostrado por Araki y Lieb [6], nos dice que
|S((S) ) S((E) )| S S((S) ) + S((E) ) . (2.43)
Esto implica que si el sistema total se encuentra en un estado puro (S = 0) entonces S((S) ) = S((E) ).
Si ademas S((S) ) = S((E) ) > 0, se tiene que la ecuacion (2.42) no se cumple, por lo que inferimos que
el estado puro del sistema total no es factorizable. Este ultimo hecho, de alguna forma, ilustra como
el entralazamiento del sistema con su entorno es el mecanismo responsable del aumento de entropas
locales. Este tema sera desarrollado en la siguiente seccion.
14 HACIA LA FUNDAMENTACION DEL SEGUNDO PRINCIPIO

2.2.3 Entrelazamiento

Los estados entrelazados se caracterizan por no poder expresarse como un producto tensorial de la
forma (2.41). Estos estados han recibido una atencion extraordinaria durante muchas decadas, debido
a que son uno de los ingredientes principales de fenomenos cuanticos que hoy en da estan en la cresta
de la ola de las investigaciones que se llevan a cabo, como puede ser la teleportacion, la criptografa o
la busqueda del ordenador cuantico. Estos estados poseen propiedades que parecen contradecir nuestra
intuicion y violar ciertas nociones como las de causalidad y localidad. Es posible demostrar que dichos
estados pueden resultar de estados totalmente factorizables, cuando se produce una cierta interaccion
entre los subsistemas que componen el sistema total [7].

En que medida las correlaciones entre un sistema y su entorno afectan a la informacion que poseemos
sobre el sistema? Pongamos un ejemplo sencillo para ilustrar el efecto de las correlaciones sobre los val-
ores esperados de operadores locales, pensemos en un sistema de una partcula de spin- 12 interactuando
con un entorno . Si tenemos los dos estados iniciales, uno factorizable y el otro entrelazado,

1
|i = (|i + |i) |i (2.44)
2

1
|i = (|i |1 i + |i |2 i) , (2.45)
2
y calculamos el valor esperado del operador escalera local sobre la partcula, J+ 1 , en estos dos
estados respectivamente, se tiene

1
h| J+ 1 |i = h| J+ |i (2.46)
2
1
h| J+ 1 |i = h| J+ |i h2 |1 i . (2.47)
2

Por lo que, si la informacion que poseemos se restringe a la partcula, en el caso entrelazado hemos
perdido la informacion sobre el valor esperado del operador ya que no conocemos el solape entre los
estados 1 y 2 del entorno. Con este hecho en mente podemos decir que las correlaciones entre el
sistema y su entorno hacen que haya una perdida de informacion objetiva a efectos de los observables
del sistema, ya que en la practica los experimentos nos dan valores esperados de observables y con
ellos tenemos que inferir el estado del sistema.

Consideremos ahora un sistema cuantico finito inicialmente aislado, el cual pondremos en interaccion
con un entorno descrito por otro sistema cuantico finito que actuara como bano termico. El Hamilto-
niano del sistema completo es

H tot (t) = HS (t) + HE + I(t) (2.48)
donde HS (t) es el Hamiltoniano del sistema, HE el del entorno (independiente del tiempo) y I(t) el
potencial de interaccion del sistema.
Estando el bano en equilibrio termico (a una cierta temperatura y siguiendo la distribucion de Boltz-
mann), lo describiremos, en el instante inicial, por el operador densidad

e(E (0)HE )
(E) (0) = (E)
eq = , (2.49)
ZE (0)
2.2. ENFOQUES CUANTICOS 15

donde E , ZE son, respectivamente, el inverso de la temperatura y la funcion de particion del bano.

Tomando como estado inicial del sistema compuesto un estado totalmente desentrelazado (factorizable)
(E)
(0) = (S) (0) eq y recordando que la entropa del sistema total es constante, se tiene

Stot = T r{(t) ln (t)} = T r{(0) ln (0)} =

T rS {(S) (0) ln (S) (0)} T rE {(E) (0) ln (E) (0)} . (2.50)
Calculamos ahora el cambio de entropa en el sistema

SS (t) = SS (t) SS (0) = SS (t) Stot + SE (0)

= T rS {(S) (t) ln (S) (t)} + T r{(t) ln (t)} T rE {(E) (E)
eq ln eq } . (2.51)

Notese ahora que T rS {(S) (t) ln (S) (t)} = T r{(t) ln (S) (t) 1(E) }. Sumando y restando
(E)
T r{(t) ln 1(S) eq } en (2.51) obtenemos
SS (t) = T r{(t) ln (S) (t) (E)
eq } + T r{(t) ln (t)} + T rE {(
(E)
(t) (E) (E)
eq ) ln eq } . (2.52)

Es interesante, llegados a este punto, comparar esta expresion con la ecuacion termodinamica S =
S int +dS ext y hacer la misma distincion en (2.52) entre la contribucion debida al intercambio reversible
de calor
S ext (t) = T rE {((E) (t) (E) (E)
eq ) ln eq } = E (hHE i0 hHE it ) , (2.53)

donde es facil identificar el flujo de calor como Q(t) = (hHE i0 hHE it ), y la produccion irreversible
interna de entropa h i
S int (t) = D (t)k(S) (t) (E)
eq . (2.54)
Donde D[k0 ] es la entropa cuantica relativa entre dos operadores densidad y 0 definida como,
D[k 0 ] = T r{ ln } T r{ ln 0 } . (2.55)

La entropa relativa es positiva en general, e igual a cero solamente cuando las dos matrices densidad
son identicas. De lo que se deduce que la produccion de entropa es una cantidad positiva de acuerdo
con el segundo principio ilustrado con la ecuacion (1.1), S int (t) 0, y se anula solamente cuando el
sistema y el entorno estan totalmente descorrelacionados. La entropa relativa constituye ademas una
medida de la distancia entre dos matrices densidad. Por lo que la produccion de entropa representa
(E)
como de lejos el estado (t) se encuentra del estado desentrelazado/factorizable (S) (t) eq .
Hemos derivado pues, en un contexto mecanocuantico la importante relacion termodinamica sobre el
cambio de entropa en un sistema y el enunciado principal del segundo principio (1.1). Donde hemos
sido capaces de describir la evolucion de la entropa para procesos fuera del equilibrio.

Podemos ademas hacer una conexion con el primer principio y definir el trabajo para un sistema
forzado y en interaccion con su entorno en equilibrio termico. Se define el trabajo ejercido sobre un
sistema como

W (t) hH tot (t)it hH tot (0)i0 =

t Z t
) + HE )}
 T r{( )(HS ( ) + I(
 )(HS ( ) + I(
d T r{( ) + HE )} =
0 0
Z t
))} , (2.56)
d T r{( )(HS ( ) + I(
0
16 HACIA LA FUNDAMENTACION DEL SEGUNDO PRINCIPIO

ya que T r{H tot (t)(t)}
(t)}
= 0. Este ultimo hecho nos dice que T r{(HS (t) + I(t))
= T r{HE (t)},
por lo que podemos reescribir el calor como
Z t
Q(t) = d T r{(HS ( ) + I( )} .
))( (2.57)
0

Tenemos pues que, incluyendo el termino de interaccion, el cambio de energa en el sistema puede
expresarse como

U (t) h(HS (t) + I(t))i
t h(HS (0) + I(0))i0 . (2.58)

Llegamos finalmente una expresion analoga al primer principio de la termodinamica,

U (t) = W (t) + Q(t) . (2.59)

Para ahondar un poco mas en el tema de las correlaciones y el entrelazamiento nos preguntamos si
es posible que, en un sistema bipartito, las entropas locales de los subsistemas crezcan durante el
proceso de relajacion sin producir una correlacion/entrelazamiento apreciable entre el sistema y su
entorno. Podemos definir las correlaciones presentes en el operador densidad como la parte de este no
factorizable,
c (S) (E) . (2.60)

Para hacer una comparacion entre la medida de la parte correlada del operador densidad y la de la
parte incorrelada usaremos el valor absoluto de un operador definido como
q
pi P i = T r{(i )2 } , (2.61)

donde i = c, S, E, tot y P i es la pureza correspondiente. Para decidir si las correlaciones son sustanciales
consideraremos el coeficiente
pc
. (2.62)
pS pE

Si calculamos la medida de las correlaciones encontramos p2c = p2 2T r{(S) (E) } + p2S p2E . Se tiene
ademas que la traza de dos matrices hermticas satisface las condiciones para ser un producto escalar,
por lo que la desigualdad de Schwartz se cumple dando |T r{(S) (E) }| p pS pE . Utilizando esta
propiedad inferimos que p2c (p pS pE )2 , dando que el coeficiente cumple
p
1. (2.63)
pS pE

Como ya sabemos, en el caso de que el estado total del sistema sea un estado puro, se tiene que p(t) = 1
y pS (t) = pE (t) (se presento una expresion analoga para la entropa). De lo que obtenemos

1
1. (2.64)
p2S (t)

Por lo tanto, para un sistema en el que la pureza (entropa) decrece (crece), siendo esta siempre menor
que uno, las correlaciones dejan de ser despreciables pronto. Como ejemplo, en un sistema donde la
pureza es del 0.8, el coeficiente es aproximadamente un medio. Concluimos pues que un crecimiento
de la entropa esta conectado directamente con un aumento de la correlacion sistema-entorno.
2.2. ENFOQUES CUANTICOS 17

2.2.4 Termalizacion en sistemas cuanticos aislados

Por termalizacion se entiende que, dado un estado inicial arbitrario, un sistema evoluciona hacia un
equilibrio caracterizado por el hecho de que los observables de interes toman valores que dependen
solamente de las caractersticas del sistema y su energa total. Dicho de otro modo, estos valores esper-
ados coinciden con las predicciones hechas mediante colectividades y sus respectivas distribuciones de
probabilidad asociadas. Cuales son pues las cualidades de los sistemas, tanto cuanticos como clasicos,
para que en ellos se de la termalizacion?

En sistemas clasicos, como ya hemos discutido, la condicion para que un sistema pueda ser descrito
por una colectividad estadstica es la de ser ergodico. Por lo que la caracterstica principal de un
sistema clasico para tener estados que termalizan es la de ser caotico, lo que conlleva ergodicidad y
mixing. Mark Srednicki, en 1994, fue capaz de identificar las propiedades que un sistema cuantico
deba poseer para que su evolucion temporal lo hiciese termalizar, resumidas en la Eigenstate Ther-
malization Hypothesis o ETH [8]. Este puso como ejemplo un gas de N esferas duras y probo que si
un autoestado del Hamiltoniano del sistema satisface la conjetura de Berry, la cual asume que dicho
autoestado es una superposicion de ondas planas (en el espacio de coordenadas 3N dimensional) con
fase aleatoria, amplitud siguiendo una distribucion gaussiana y longitud de onda fija, se predice para
el momento de una esfera del gas una distribucion termal (Maxwell-Boltzmann para partculas dis-
tinguibles, Bose-Einstein para bosones y Fermi-Dirac para fermiones). Intuitivamente, esta conjetura
nos dice que, dado un autoestado del Hamiltoniano, podemos describirlo como una superposicion de
estados de una base totalmente imparcial compatible con la energa del autoestado en s (por ello
tienen longitud de onda constante). Esta conjetura se considera aplicable en sistemas cuanticos cuya
descripcion en el lmite clasico presente un comportamiento caotico. Ademas, se necesita que dichos
autoestados tengan una energa suficientemente alta para que su longitud de onda asociada sea a su
vez suficientemente pequena para resolver los efectos causantes del caos clasico. Esta conjetura ha
sido comprobada mediante simulaciones numericas en una gran variedad de sistemas cuanticos. En el
caso del gas de esferas duras, la longitud de onda termica asociada a la energa debe ser menor o igual
que el radio de las esferas, ya que es el radio no nulo de estas lo que produce el caos clasico (si el radio
se anula se tendra un gas ideal donde las partculas que no interactuaran).

Para un sistema cuantico con un numero de grados de libertad finito las condiciones de la ETH [9]
son que los elementos de matriz de un observable A en la base de autoestados del Hamiltoniano,
A = hE | A |E i, cumplan que
Los elementos diagonales A varen suavemente con la energa, con la diferencia A+1+1 A
siendo suprimida exponencialmente con el tamano del sistema cuando este aumenta de tamano.
Los elementos no diagonales A con 6= sean mucho mas pequenos que los diagonales y se
vuelvan exponencialmente pequenos con el tamano del sistema.
Tomando un estado puro inicial |i = ni=1 ci |Ei i con un valor esperado de la energa E = ni=1 |ci |2 Ei
P tot P tot
2
P ntot 2 2
y una dispersion en la energa (E) = |c | (E E) suficientemente pequena, podemos pro-
bar que el promedio temporal del observable A coincide con la prediccion hecha por una colectividad
microcanonica centrada en E en una ventana de energa E: el promedio temporal de A es
1
Z
1 X X ei(E E ) 1 
A dt h(t)| A |(t)i = |c |2 A + c c A . (2.65)
0
i(E E )
6=

Tomando el lmite cuando y provisto que no hay autoenergas degeneradas como hicimos en
18 HACIA LA FUNDAMENTACION DEL SEGUNDO PRINCIPIO

(2.32), obtenemos A = |c |2 A . Ademas, ya que hemos tomado la dispersion en la energa muy

P

pequena y que ademas A cumple las condiciones de ETH, el valor de A puede considerarse constante
en la ventana de energa por lo que se tiene
X X
A = |c |2 A AE |c |2 = AE . (2.66)

Si consideramos ahora la prediccion usando la colectividad microcanonica, la cual asigna el mismo

peso estadstico a los N autoestados del Hamiltoniano en la ventana de energa
N N
1 X 1 X
hAimc = A0 0 AE = AE . (2.67)
N 0 N 0

De lo que podemos concluir que, si en un sistema cuantico finito se dan las condiciones de la ETH
para un observable, en un tiempo de relajacion lo suficientemente largo las predicciones hechas por
la colectividad microcanonica coinciden con los promedios temporales de dicho observable. Todo sea
dicho, la igualdad de estas dos predicciones para tiempos lo suficientemente largos no asegura que las
fluctuaciones alrededor del promedio sean pequenas, es aqu donde la condicion sobre los elementos
no diagonales de la ETH entra en juego.
Es importante notar el nuevo enfoque que Srednicki dio sobre el asunto. Este dejo de centrarse en
intentar fundamentar los metodos estadsticos tratando con los estados y su evolucion del sistema
como se haca en mecanica clasica, debido a que esta va no tiene cabida en el contexto cuantico, ya
que en un sistema aislado los coeficientes del desarrollo de un estado en la base de autoestados de la
energa solamente adquieren fases. Sin embargo se centro en el comportamiento de los observables del
sistema, ya que, a fin de cuentas, son la fuente de informacion accesible experimentalmente y no los
estados en s.

2.2.5 Teorema H Cuantico e Informacion

John von Neumann propuso en el 1929, una demostracion del teorema H mediante mecanica cuantica
sin la necesidad de asumir la hipotesis del caos molecular [10]. Fue capaz de probar que la entropa
que lleva su nombre no decreca en los procesos fsicos basando su razonamiento en la forma en que
se realizan medidas macroscopicas. Por ello, ya que este tratamiento usaba conceptos mas alla de la
mecanica cuantica pura, fundamentar este teorema ha sido una tarea que se ha seguido intentando
hasta nuestros das. Mientras tanto, la Teora Cuantica de la Informacion (TCI) es un campo de
estudio que ha venido desarrollandose en los ultimos anos, la cual ha sido capaz de formular condiciones
matematicamente rigurosas sobre las condiciones necesarias para tener un aumento de entropa [11].
Para describir la dinamica de un sistema abierto, la teora de la informacion cuantica introduce los
llamados canales cuanticos, definiendolos como un mapeo completamente positivo que preserva trazas,
(), de una matriz densidad, que da cuenta del flujo de informacion cuantica entre el sistema y su
entorno. Un resultado importante dentro de la TCI [12] dice que el aumento de entropa en uno de
estos canales es

S(()) S() kB T r{() ln (1)} . (2.68)

Existe una clase de canales cuanticos denominados canales unitales, que cumplen (1) = 1, por lo que
T r{() ln (1)} = 0 y el aumento de entropa en estos canales es no negativo. De donde se concluye
que en contexto de la TCI, podemos formular el teorema H de la siguiente manera: le aumento de
entropa es no negativo si la evolucion del sistema puede describirse con el canal unital [13].
Simulaciones Numericas

Para ilustrar la validez de algunos de los conceptos presentados en este trabajo realizaremos dos
simulaciones numericas utilizando Matlab en una red de dos modelos de Lipkin-Meshkov-Glick.

3.1 El Modelo

El modelo de Lipkin-Meshkov-Glick (LMG) fue introducido en 1965 para desribir transiciones de fase
en la forma de ciertos nucleos [14], y ha sido empleado en estudiar un gran numero de sistemas.
En nuestro caso, el modelo LMG lo usaremos para describir un sistema de n partculas de spin-
1
2 interactuando entre ellas y en interaccion con un campo magnetico externo. Mas concretamente
trataremos con cadenas de estos modelos con condiciones de contorno periodicas, o sea, una especie
de anillo de estos modelos. En las realizaciones experimentales mas recientes [15] el Hamiltoniano de
un modelo LMG con nl partculas en el sitio l es
x 2
Hl = g Jlz (J ) , (3.69)
2jl l
donde definimos la componente del momento angular colectivo total jl en el sitio l como Jl =
1 Pnl 0 , g
2 a=1 al , siendo al las matrices de Pauli que satisfacen el algebra [al , bl0 ] = 2i ab ll al
es la intensidad del campo externo y el parametro de autointeraccion de las partculas en cada
sitio. A su vez, los operadores de momento angular colectivo satisfacen las relaciones de commutacion
[Jl , Jl0 ] = i ll0 Jl .
En este trabajo estudiaremos el comportamiento de dos modelos LMG que interactuan mediante sus
componentes Jy de la forma

2
1
Jy Jy ,
X
H = Hl (3.70)
j1 + j2 1 2
l=1
siendo el parametro de interaccion ferromagnetica ( 0) entre los LMG, para poder as modelizar
el escenario de un sistema bipartito y estudiar los conceptos ilustrados en los captulos anteriores.

2
El hamiltoniano (3.70) preserva el momento angular total local ya que [H, Jl ] = 0. En nuestro caso
nos restringiremos a considerar el sector donde el momento angular colectivo es el maximo en cada uno
de los LMG, jl = n2l , ya que estos estados no tienen la degeneracion de sectores donde jl < n2l porque
nl partculas en interaccion solamente pueden sumar el maximo momento angular colectivo cuando
todos sus espines estan alineados. El espacio de Hilbert del sistema en este sector tendra dimension
ds = (n1 + 1)(n2 + 1) con una base ortonormal
|m1 , m2 i = |j1 , m1 i |j2 , m2 i . (3.71)

19
20 SIMULACIONES NUMERICAS

Figura 3.2: Red en forma de anillo de N modelos LMG. El parametro de interaccion entre sitios vecinos es , el
parametro de autointeraccion en cada sitio, y g la intensidad del campo magnetico externo. (Fuente: [17])

donde jl ml jl , es la proyecion del momento angular total local sobre el eje z. El hamiltoni-
ano (3.70) conserva ademas la paridad total, ya que Jlx Jlx y Jly Jly deja el hamiltoniano
invariante,

2
 X
(Jlz + jl ) ,

= exp i (3.72)
l

la cual es justamente el producto de paridades locales. El especro de energas de cada uno de los
subsistemas por separado se divide en dos regiones, una donde estados con paridad opuesta estan
degenerados y por lo tanto se necesita la paridad para tener un Conjunto Completo de Observables
Compatibles, y otra region donde los estados no estan degenerados y solo se necesita el Hamiltoniano
para etiquetar todos los autoestados [16]. Para mas informacion sobre redes de LMG y sus transiciones
de fase se recomienda el artculo [17].

3.2 Resultados

A continuacion simularemos dos modelos LMG, uno con 2 partculas y otro con 100. Haremos un
analisis cuantitativo para ilustrar como evolucionan las entropas locales de los dos LMG para dis-
tintos parametros de interaccion , los demas parametros del Hamiltoniano seran g = 1 y = 2.
Tomaremos como estado inicial el estado puro factorizable donde los momentos angulares de los dos
LMG estan alineados con el campo magnetico externo |i i = |m1 = 1, m2 = 50i.

Puede verse claramente en la Figura 3.3 como, a medida que la interaccion entre los dos subsistemas
crece, las entropas locales alcanzan valores mas altos (en promedio temporal, ya que, al ser el sis-
tema relativamente pequeno las oscilaciones son muy grandes). Se observa ademas como, cuando
dejamos al sistema evolucionar un cierto tiempo, las entropas locales fluctuan alrededor de un valor
que podramos identificar como entropas de equilibrio. Con esta informacion podemos establecer
relacion indirecta entre el entrelazamiento y el aumento de entropa ya que, cuanto mas fuerte inter-
actuen los subsitemas mas correlaciones existiran entre ellos.
3.2. RESULTADOS 21

Figura 3.3: Evolucion de las entropas locales para distintos parametros de interaccion entre los dos LMG.

Ahora haremos una prueba de termalizacion con condiciones canonicas. Escogeremos un LMG con 200
partculas preparado en un estado termico segun (2.49) con = 1 que actuara como bano termico de
un LMG de solamente una partcula preparado en su estado fundamental. Realizaremos esta prueba
con dos distintos parametros de interaccion para comparar el tiempo de termalizacion entre los dis-
tintos casos, si es que esta llega a ocurrir. Los demas parametros del Hamiltoniano son los mismos
que en la simulacion anterior. Para el LMG de una partcula se tiene que el estado fundamental tiene
una energa E0 = 1 y un estado excitado con energa E1 = 0. De lo que se predice para = 1 una
probabilidad de ocupacion del estado fundamental de aproximadamente 0.7311.

Los resultados que se muestran en la figura 3.4 ilustran como la termalizacion del LMG de una partcula
ocurre para el parametro de interaccion mas alto. Vemos como la probabilidad de ocupacion del estado
fundamental oscila claramente alrededor del valor predicho por la distribucion de Boltzmann (aunque
debido al tamano del sistema estas oscilaciones son muy grandes).
Sin embargo, cuando la interaccion entre los dos sistemas es debil, observamos que la termalizacion
no llega a ocurrir a esa escala temporal. Podemos concluir que, cuantitativamente, si la interacccion
entre los subsistemas es suficientemente grande (haciendo que estos se entrelacen mas fuertemente),
se da la termalizacion en una escala de tiempo razonable. Este hecho tiene sentido ya que, para que
dos cuerpos lleguen al equilibrio termico, estos deben tener una interaccion apreciable.
22 SIMULACIONES NUMERICAS

Figura 3.4: Evolucion de la probabilidad de ocupacion del estado fundamental del LMG de una partcula en contacto
con otro LMG de 200 partculas para dos parametros de interaccion = 1 (amarillo) y = 2 (magenta).

3.3 Programas

A continuacion, se presentan parte de algunos de los programas de Matlab usados para realizar las
simulaciones:
3.3. PROGRAMAS 23
Conclusiones

Hemos pues analizado el concepto de entropa, dando una perspectiva de como este concepto fue desar-
rollandose desde su formulacion emprica hasta su definicion formal en el marco teorico de la Mecanica
Clasica y Cuantica. Al tratar la conexion entre la entropa estadstica y la entropa termodinamica
hemos podido notar las implicaciones subjetivistas de dicha conexion e identificar una de las condi-
ciones para que la Fsica Estadstica sea valida, la idea de la uniformidad macroscopica. Esta idea
esta muy presente en los conceptos de tipicalidad o de las celdas macroscopicas que hemos presentado
a fin de entender la irreversibilidad inherente a una gran mayora de procesos fsicos.
Al entrar en el regimen cuantico nos damos cuenta de que muchos de los enfoques clasicos no son
prolongables al mismo, ya que caractersticas como la ergodicidad o el caos clasico no se pueden
aplicar a estados cuanticos (estos solamente adquieren fases en sus coeficientes del desarrollo en la
base de autoenergas bajo la evolucion temporal). Para poder tener comportamientos termodinamicos
y fundamentar el segundo principio necesitamos poner nuestro sistema cuantico en interaccion con un
entorno, dado que aunque la evolucion del sistema total sea unitaria y la entropa de este se mantenga
constante, la evolucion de los subsistemas no lo es y hace que se tengan entropas locales crecientes.
En la seccion sobre el entrelazamiento hemos sido capaces de reconocer a este como el mecanismo
responsable de las entropas locales crecientes y de la perdida de informacion objetiva respecto a un
observable, cuando solo se conoce el estado del sistema de interes y no de su entorno. Para un caso
particular donde el entorno esta en equilibrio termico, hemos logrado llegar a expresiones analogas
al primer y segundo principio y separar las fuentes del aumento de entropas locales reconociendo la
parte de produccion interna de entropa (caracterizada por lo lejos que esta el sistema del estado de-
sentrelazado inicial) y la parte correspondiente al intercambio reversible de calor. Hemos demostrado
tambien que, en general, no es posible tener un aumento de entropas locales sin tener un aumento
significativo de las correlaciones.
Como ya se ha venido diciendo, los estados cuanticos estan lejos de tener un comportamiento equipara-
ble al caos clasico, debemos pues centrar nuestra atencion en los observables del sistema y no es sus
estados. Hemos visto cuales son las condiciones necesarias para que, a efectos de observables, un
sistema cuantico aislado tenga comportamientos semejantes al de una colectividad resumidas en la
ETH. El hecho de que para que la prediccion microcanonica coincida con la de un estado arbitrario
sin mucha dispersion en la energa, el valor esperado de un observable en un autoestado de la energa
no deba variar mucho entre autoestados vecinos recuerda de nuevo al concepto de la uniformidad
macroscopica antes discutido. Hemos tratado tambien, de forma muy superficial, la formulacion del
teorema H y del segundo principio en el contexto de la teora de la informacion, donde para modelar
ese flujo de informacion debido a las correlaciones, se usan los denominados canales cuanticos e iden-
tificamos los canales unitales como los que dan un crecimiento no negativo de las entropas locales.
Por ultimo hemos ejemplificado algunos de los conceptos presentados simulando con Matlab una ca-
dena de dos modelos LMG, donde ha sido posible observar ciertos comportamientos termodinamicos
como la relajacion al equilibrio termico de uno de los LMG en condiciones canonicas y analizar cuan-
titativamente el comportamiento del sistema para distintos parametros del Hamiltoniano.

24
Referencias

[1] J. Gemmer, M. Michel, and G. Mahler, Quantum Thermodynamics, Lecture Notes in Physics Vol.
784 (Springer, Berlin, 2009).
[2] E.T. Jaynes, Information Theory and Statistical Mechanics, Phys. Rev. Vol. 106 Num. 4,
(1957)
[3] C.E. Shannon, Bell System Tech, J. 27, 379, 623 (1948)
[4] L. Boltzmann, Lectures on Gas Theory (University of california Press, Los Angeles,1964)
[5] C.M. Lobez, A. Relano, Entropy, Chaos, and Excited-state Quantum Phase Transitions in the
Dicke Model, Physical Review E 94, 012140 (2016)
[6] H. Araki, E.H. Lieb, Commun. Math. Phys. 18, 160 (1970)
[7] M. Esposito, K. Lindenberg, C. v. d. Broeck, Entropy Production as Correlation Between System
and Reservoir, New Journal of Physics 12 (2010)
[8] M. Srednicki, Chaos and Quantum Thermalization, arXiv: cond-mat/9403051v2, (California,
1994)
[9] M. Srednicki, The Approach to Thermal Equilibrium in Quantized Chaotic Systems, arXiv: cond-
mat/9809360v2, (California, 1998)
[10] J.v. Neumann, Proof of the Ergodic Theorem and the H-Theorem in Quantum Mechanics,
arXiv:1003.2133v2, (1929)
[11] Nielsen, M. A. Chuang, I. L., Quantum computation and quantum information. Cambridge Univ.
Press (2011)
[12] Holevo, A. S., The entropy gain of infinite-dimensional quantum channels. Doklady Math. 82,
730?731 (2010).
[13] G.B. Lesovik, A.V. Lebedev, I.A. Sadovsky et al., H-Theorem in Quantum Physics, arXiv:1407
.4437v3 [quant-ph], (2016)
[14] H. J. Lipkin, N. Meshkov, and A. J. Glick, Nucl. Phys. 62,188 (1965)
[15] T. Zibold, E. Nicklas, C. Gross, and M. K. Oberthaler, Phys.Rev. Lett. 105, 204101 (2010)
[16] R. Puebla, A. Relano, Irreversible Processes without Energy Dissipation in an Isolated Lipkin-
Meshkov-Glick Model, Physical Review E 92, 012101 (2015)
[17] A.V. Sorokin, V.M. Bastidas, T. Brandes, Quantum Phase Transitions in Networks of Lipkin-
Meshkov-Glick Models, Physical Review E 90, 042141 (2014)

25