La densidad de la matriz es el análogo cuántico de un clásico de densidad de probabilidad.
Si usted escribe la mecánica cuántica desde el principio, en términos de un álgebra de características observables y densidad de las matrices (en lugar de las funciones de onda y operadores), que se parece mucho a un directo de la generalización de la mecánica clásica, en el sentido de que casi todo es igual, excepto que la conmutatividad de la multiplicación se pierde.
(De hecho, en las matemáticas, el objeto de estudio de la probabilístico aspectos de la mecánica cuántica, el formalismo es generalmente llamado "probabilidad no conmutativa".)
Usted puede convencerse de esto mirando mi libro "Clásica y la Mecánica Cuántica a través de álgebras de Lie" (http://lanl.arxiv.org/abs/0810.1019), donde este enfoque es seguido de forma sistemática.
Por ejemplo (que se refieren directamente a tu pregunta), en la clásica teoría de la probabilidad de un estado puro (con una distribución degenerada en su terminología) se caracteriza por cero de la entropía, y en la mecánica cuántica, un estado puro (es decir, uno en el cual la densidad de la matriz puede ser escrito como $\psi\psi^*$ con una función de onda $\psi$ también se caracteriza por cero de la entropía. La fórmula de la entropía también es el mismo; $S=\langle -\log\rho\rangle$, con la expectativa adoptadas en el estado $\rho$.
Se expresa directamente en términos de la matriz de densidad, la mecánica cuántica se rige por los siguientes seis axiomas y su explicación. (Esto es tomado de la Sección "Postulados para los formales básicos de la mecánica cuántica" del Capítulo A1: conceptos Fundamentales de la mecánica cuántica de mi física teórica de preguntas frecuentes.)
Tenga en cuenta que la única diferencia entre la clásica y la mecánica cuántica en esta axiomática opción es que
el caso clásico sólo funciona con la diagonal de los operadores, donde todas las operaciones suceder pointwise en los elementos de la diagonal. Por lo tanto la multiplicación es conmutativa, y uno puede identificar a los operadores y funciones. En particular, la densidad de mattrix degenera en una densidad de probabilidad.
el quantum caso permite no conmutativa operadores, por lo tanto ambos cantidades observables y la densidad (generalmente de dimensiones infinitas) de matrices.
A1. Un sistema genérico (por ejemplo, una molécula de hidrógeno") se define por
la especificación de un espacio de Hilbert $K$ y un (densamente definido, auto-adjunto)
Hermitian lineal operador $H$ llamado el Hamiltoniano o la energía.
A2. Un sistema en particular (por ejemplo, 'los iones en la trampa de iones en este
en particular escritorio") se caracteriza por su estado de$\rho(t)$
en cada tiempo de $t \in R$ (el conjunto de los números reales).
Aquí $\rho(t)$ es un Hermitian positivo semidefinite, lineal de la clase de seguimiento
el operador, en $K$ satisfactorio en todo momento la condición de
$Tr\ \rho(t) = 1$, (normalización)
donde $Tr$ denota la traza.
A3. Un sistema se denomina cerrado en un intervalo de tiempo $[t_1,t_2]$
si se satisface la ecuación de evolución
$d/dt\ \rho(t) = i/\hbar [\rho(t),H] \mbox{ for } t \in [t_1,t_2]$,
y abrir de otra manera. ($\hbar$ es la constante de Planck, y a menudo
1.)
Si nada más es evidente por el contexto, un sistema que se supone que
ser cerrado.
A4. Además de la energía $H$, otros (densamente definido, auto-adjunto)
Hermitian operadores (o vectores de este tipo de operadores), se distinguen
como observables.
(E. g., las características observables de un sistema de $N$ partículas distinguibles
convencionalmente se incluyen para cada partícula varios en 3 dimensiones de los vectores:
la posición $x^a$, momentum $p^a$, _orbital_angular_momentum_ $L^a$
y el _spin_vector_ (o vector de Bloch) $\sigma^a$ de las partículas con
la etiqueta $a$. Si $u$ es un 3-vector de la unidad de longitud, a continuación,$u \cdot p^a$,
$u \cdot L^a$ $u \cdot \sigma^a$ definir el impulso angular orbital
el impulso, y el spin de la partícula $a$ dirección $u$.)
A5. Para cualquier sistema en particular, y para todos los vectores $X$ de los observables
con desplazamientos de los componentes, que se asocia a un tiempo-dependiente de la monotonía
lineal funcional $\langle \cdot\rangle_t$ definición de la expectativa
$\langle f(X)\rangle_t:=Tr\ \rho(t) f(X)$
de limitada funciones continuas $f(X)$ tiempo $t$.
(Esto es equivalente a un multivariante probabilidad de medida $d\mu_t(X)$
en el sigma álgebra a través del espectro,$spec(X)$$X$) definido por
$\int d\mu_t(X) f(X) := Tr\ \rho(t) f(X) =\langle f(X)\rangle _t$.
Este sigma álgebra está determinada únicamente.)
A6. Mecánica cuántica predicciones consisten en la predicción de propiedades
(normalmente expectativas o probabilidades condicionales) de las medidas
definido en el Axioma A5, dado hipótesis razonables acerca de los estados
(por ejemplo, el estado del suelo, el estado de equilibrio, etc.)
Axioma A6 especifica que el contenido formal de la mecánica cuántica es
cubierto exactamente por lo que se puede deducir de los Axiomas A1-A5 sin
cualquier otra cosa añadida (excepto las restricciones que determina los
la naturaleza de los estados y observables), y por lo tanto dice que
Los axiomas A1-A5 están completas.
La descripción de un determinado sistema cerrado es, por tanto, dada por
la especificación de un determinado espacio de Hilbert en A1, el
especificación de las cantidades observables en A4, y la
especificación de las condiciones de escoger una clase particular de
estados (A6). Dado esto, todo lo demás está determinado por la teoría,
y por lo tanto es (en principio) predicho por la teoría.
La descripción de un sistema abierto implica, además, la
especificación de los detalles de la dinámica de la ley.