Вы находитесь на странице: 1из 6

Típicidad canónica

Es bien sabido que un sistema, S, débilmente acoplado a un baño de calor, B, se describe por el conjunto canónico
cuando el compuesto, S + B, se describe por el conjunto microcanónico correspondiente a una capa de energía
adecuada. Esto es cierto tanto para las distribuciones clásicas en el espacio de fase como para las matrices de densidad
cuántica. Aquí mostramos que una afirmación mucho más fuerte se aplica a los sistemas cuánticos. Incluso si el estado
del compuesto corresponde a una sola función de onda en lugar de una mezcla, la matriz de densidad reducida del
sistema es canónica, para la abrumadora mayoría de las funciones de onda en el subespacio correspondiente al intervalo
de energía abarcado por el conjunto microcanónico. Esto aclara, amplía y justifica las observaciones hechas por
Schr¨odinger en 1952.

Palabras clave: conjunto canónico en la teoría cuántica; matriz de densidad; función de onda típica.

Un sistema cuántico en equilibrio térmico a temperatura inversa β se describe mediante la matriz de densidad canónica

Donde es el hamiltoniano del sistema y La justificación habitual para (1)


es que es la matriz de densidad reducida del sistema cuando está débilmente acoplado a un baño de calor, y el sistema
compuesto se describe mediante la matriz de densidad microcanónica a una energía total E adecuada.

Más explícitamente, se supone que es permisible descuidar la interacción relativamente pequeña entre el sistema y el
baño, de modo que el hamiltoniano total del compuesto S + B viene dado por

Entonces se supone que el compuesto S + B está representado por un conjunto microcanónico en algún intervalo de
energía [E, E + δ], donde δ es pequeño en la escala macroscópica, δ «E, pero lo suficientemente grande para que el
intervalo contenga muchos valores propios. La matriz de densidad microcanonical correspondiente es

con la proyección a , el subespacio espectral para H asociado con energías en el intervalo

en el espacio de Hilbert

Uno prueba fácilmente (ver abajo) que en el límite termodinámico, cuando el tamaño, es decir, el número de
componentes N del baño de calor, va al infinito, mientras que E / N → e, la matriz de densidad reducida del sistema S
es igual a . Aquí denota la traza parcial sobre

En esta nota mostramos cómo este resultado puede ser sustancialmente reforzado: demostramos que, en el límite
termodinámico, las matrices de densidad reducida de la abrumadora mayoría de las funciones de onda de S + B son
canónicas. Llamamos a esta declaración tipicidad canónica. Como consecuencia de la tipicidad canónica, se deduce que
el conjunto canónico es aún más inevitable en la mecánica cuántica, que surge como lo hace allí sin la invocación de
cualquier aleatoriedad genuino, de lo que es clásicamente. Los resultados en esta dirección fueron obtenidos primero
por Schr¨odinger [5], y luego por Gemmer y Mahler [2]; los resultados relacionados han sido obtenidos por Tasaki [6];
nos vemos.

La tipicidad en la mecánica cuántica, así como en la mecánica clásica, implica una distribución de probabilidad sobre los
posibles microestados del sistema, la distribución en términos de la cual debe entenderse una "abrumadora mayoría".
En la mecánica clásica, estos microestados son puntos en el espacio de fase apropiado y la distribución es entonces una
medida en este espacio de fase. Para definir la tipicidad de los sistemas cuánticos, consideramos que los microestados
son funciones de onda, es decir, puntos en la esfera de la unidad de (hasta una fase). Incluso con esta
identificación, puede no estar claro qué distribución es apropiada para el sistema (compuesto) descrito por la matriz de

densidad

Aquí consideramos que es la distribución de probabilidad propuesta hace mucho por Schródinger [4, 5] y Bloch [7]: es la

medida (normalizada) uniforme (área de superficie) en la esfera de la unidad en el subespacio , es


decir, la distribución de probabilidad uniforme sobre todas las funciones de onda normalizadas Ψ con energías en [E, E

+ δ]. Si expandimos Ψ en términos de eigenfunciones energéticas de , donde la suma está


restringida a niveles con energías en el intervalo

[E, E + δ], luego corresponde a la distribución uniforme en la superficie de la esfera .


Esta medida se mostró en [7] para ser, en un sentido bien definido, la distribución más apropiada correspondiente a la
matriz de densidad microcanónica, es decir, tal que

Deje denotar la matriz de densidad reducida del sistema, dado que S + B está en estado puro ,
Entonces podemos preguntar: para qué función de onda Ψ es (aproximadamente) de la forma canónica (1).

Hacemos la suposición estándar de que tanto como tienen un espectro puntual puro y están

limitados desde abajo. En elegimos una base propia de

denotado con los valores propios

correspondientes

Primero que nada notamos lo siguiente: decir que para la mayoría de es cercano a es equivalente a

decir que si Ψ se elige al azar con distribución , entonces con una probabilidad abrumadora, está cerca de .
A partir de ahora consideraremos Ψ como una variable aleatoria (de Hilbert-espacio-valor).

Comenzamos recordando la derivación estándar del conjunto canónico del microcanónico. Uno tiene para la matriz de

densidad reducida del sistema que

es el subespacio espectral para asociado con energías en el intervalo Entonces es


más o menos claro, y se puede demostrar rigurosamente en condiciones adecuadas, que cuando el baño es
suficientemente grande , con donde S (E) es la entropía del baño. Esto se

desprende del hecho básico de que para que

Más precisamente, uno demuestra en el límite termodinámico con , donde

Por lo tanto, para demostrar la tipicidad canónica es suficiente establecer que (7) se cumple, al menos

aproximadamente, cuando se reemplaza por para el típico . Un paso clave de


nuestro argumento es señalar que el vector aleatorio uniformemente distribuido Ψ siempre se puede considerar que
surge de la normalización
de un vector aleatorio gaussiano con cero promedio y covarianza dada por el operador de

identidad en Esto significa que en la descomposición

las partes real e imaginaria, , de los coeficientes son variables gaussianas reales
independientes con media cero y varianza 1/2 para aquellas i y j para las cuales
] (y Cij = 0 de lo contrario). Obtenemos de (11) que

donde es el conjunto de niveles de baño j tales que , donde


la matriz de densidad reducida (6) es de la forma

Ahora bien, si δ son tan pequeños que los espaciamientos de energía del sistema
son todos mayores que δ, entonces los intervalos de energía relevantes para el baño de calor se emparejarán
conjuntamente y el i se emparejará ortogonalmente,

Ahora sostenemos que la ecuación (15) continuará siendo válida, al menos aproximadamente, incluso sin la suposición

anterior en . Esto es así porque, cuando tienen una superposición significativa, las
contribuciones a que corresponden a la suma sobre los términos en (13) que pertenecen tanto a
como a serán típicamente aproximadamente ortogonales. Para ver esta nota, estas sumas forman dos
vectores aleatorios independientes, con direcciones uniformemente distribuidas, en un espacio de alta dimensión.
Como tales, son, con una probabilidad que se aproxima a la unidad, casi ortogonales, ya que el valor esperado del
cuadrado absoluto del producto punto de dos vectores unitarios aleatorios independientes en un espacio n-dimensional
es, por simetría,

De la representación (13) tenemos que


de modo que es la suma de independiente, variables aleatorias distribuidas

de forma idéntica con media 1. De ello se deduce, por ley de grandes números, que típicamente

Así tenemos para la matriz de densidad reducida (6), usando (14), que típicamente

que es lo que necesitábamos mostrar.

Con respecto a (18), observamos que se sigue simplemente del hecho de que la matriz de densidad reducida no
depende de Ψ para typical típicos , , que siempre que la matriz de densidad microcanonical reducida

, el mismo es verdadero para para el típico aplicando el trazo parcial a (5), se

obtiene ese típico Ψ.

Algunas partes esenciales del argumento que hemos presentado aquí ya han sido descritas por Schr¨odinger en un
apéndice, escrito en 1952, a su libro sobre Termodinámica Estadística [5]. Notamos que Schr¨odinger en [5] asumió que
"en un sistema grande. . . los cuadrados de amplitud . . son en promedio [en tiempo] iguales para. . . funciones propias
que pertenecen al mismo valor propio [de energía]. . . . "Utiliza esta suposición para el sistema combinado S + B para
derivar" exactamente la misma distribución canónica entre los cuadrados de amplitud, como en el tratamiento habitual
que se dice que indica la probabilidad de que el sistema esté en tal o cual nivel de energía ". Sin embargo, Schr¨odinger

no conecta la suposición con la tipicidad, ni su conclusión con la matriz de densidad reducida , que ni siquiera
menciona. Su preocupación es más bien mostrar que uno no necesita considerar un sistema en equilibrio térmico como
estar en un estado propio de energía. Como dice en su prefacio, "atribuir a cada sistema siempre uno de sus agudos
valores energéticos es una actitud indefendible".
Tasaki [6] ha estudiado, como lo hacemos aquí, la matriz de densidad reducida de un sistema acoplado a un baño de

calor cuando S + B se describe mediante una función de onda Él muestra que, para una forma especial del

hamiltoniano de acoplamiento, el promedio de ρ a largo plazo es canónico. Luego argumenta de una manera
heurística que también para grandes tiempos típicos, . (En este argumento, hay una suposición de
tipicidad oculta en la función de onda inicial ), es decir, que todos los coeficientes de expansión de energía son
pequeños, lo que es cierto para la mayoría de las funciones de onda). Su argumento no produce nuestra afirmación más

fuerte de que incluso en t = 0 para funciones de onda típicas. Tasaki también incluye algunos ejemplos que
estudió rigurosamente, relativos a la energía de estados propios del compuesto o estados que son inicialmente estados

de productos un estado propio de

Más recientemente, Gemmer y Mahler [2] han establecido la tipicidad canónica bajo el supuesto de una degeneración
muy grande para los estados propios de energía mediante el cálculo de volúmenes espaciales de Hilbert apropiados.

Expresiones de gratitud. Apreciamos la hospitalidad que algunos de nosotros hemos disfrutado, mientras trabajábamos
en este documento, en el Institut des Hautes Etudes Scientifiques (Bures-sur-Yvette, Francia), el Departamento de
Matemáticas de la Universidad de Rutgers y el Dipartimento di Fisica of Universit`a di Genova. El trabajo de S. Goldstein
fue apoyado en parte por NSF Grant DMS-0504504, y el de J. Lebowitz por NSF Grant DMR 01-279-26 y AFOSR Grant AF
49620-01-1-0154. El trabajo de R. Tumulka contó con el apoyo del INFN y de la Comisión Europea a través de su 6º
Programa Marco "Estructuración del Espacio Europeo de Investigación" y el contrato Nr. RITA-CT-2004-505493 para la
provisión de Acceso Transnacional implementado como Acción de Apoyo Específico. El trabajo de N. Zangh`ı fue
apoyado por INFN. Nota agregada: en una preimpresión muy reciente, Popescu, Short e Winter han establecido la
tipicidad canónica bajo gran generalidad al invocar el lema de Levy [3].