29 votos

¿Cuál es el significado real del operador de densidad?

No soy capaz de entender la definición del operador de densidad . Sé que si $V$ es un espacio vectorial y si tengo $k$ estados pertenecientes a este espacio vectorial, digamos $|\psi_{i}\rangle$ para $1\le i\le k$ y la probabilidad de que el sistema esté en $|\psi_{i}\rangle$ es $p_i$ entonces el operador de densidad para el sistema viene dado por $$\rho=\sum_{i=1}^{i=k}p_i|\psi_i\rangle\langle\psi_i |. $$ Ahora lo que no soy capaz de entender es

  1. ¿Significa esto que el sistema está exactamente en uno de los $|\psi_i\rangle$ estados y no sabemos saber en qué estado se encuentra y sólo conocemos la probabilidad?
  2. O está en una superposición de estos $k$ estados con probabilidades que se interpretan como pesos?

27voto

Constandinos Damalas Puntos 4420

En primer lugar, ¿qué es un Estado?

Un estado ofrece la descripción completa de un sistema. Vamos a etiquetar el estado de un sistema $\lvert \psi \rangle$ . Este es un vector de estado normalizado que pertenece al espacio vectorial de estados. Hay que tener en cuenta que estamos hablando del estado completo; no lo he descompuesto en estados base, y no lo haré. La matriz de densidad no se trata de esto.

La descripción del vector de estado es potente, pero no es la más general. Hay algunos experimentos cuánticos para los que ningún vector de estado puede dar una descripción completa. Se trata de experimentos que tienen aleatoriedad o incertidumbre adicional, lo que podría significar que cualquiera de los estados $\lvert \psi_1⟩$ o $\lvert \psi_2⟩$ está preparado. Estas aleatoriedades o incertidumbres adicionales surgen de los dispositivos imperfectos utilizados en los experimentos, que inevitablemente introducen esta clásico aleatoriedad, o podrían surgir de correlaciones de estados debidas a el entrelazamiento cuántico.

En este caso, pues, es conveniente introducir el formalismo de la matriz de densidad. Dado que en la mecánica cuántica todo lo que calculamos son valores de expectativa, ¿cómo se calcularía el valor de expectativa de un experimento en el que, además de tener una aleatoriedad mecánica cuántica intrínseca, también se tiene esta aleatoriedad clásica que surge de las imperfecciones de su experimento?

Recordemos que $$Tr(\lvert\phi_1\rangle\langle\phi_2\rvert)=Tr(\lvert\phi_1\rangle\otimes\langle\phi_2\rvert)=\langle\phi_1\mid\phi_2\rangle,$$ y $$\hat{O}\circ(\lvert\phi_1\rangle\langle\phi_2\rvert)=(\hat{O}\lvert\phi_1\rangle)\otimes\langle\phi_2\rvert$$

Ahora, utilizando la linealidad de la traza, podemos calcular el valor de la expectativa como

$$ \langle \hat{O} \rangle = p_1\langle \psi_1 \lvert \hat{O} \lvert \psi_1 \rangle + p_2\langle \psi_2 \lvert \hat{O} \lvert \psi_2 \rangle$$ $${} = p_1Tr(\hat{O} \lvert \psi_1 \rangle \langle \psi_1 \lvert) + p_2Tr(\hat{O} \lvert \psi_2 \rangle \langle \psi_2 \lvert) $$ $${} =Tr(\hat{O} (p_1 \lvert \psi_1 \rangle \langle \psi_1 \lvert) + p_2 \lvert \psi_2 \rangle \langle \psi_2 \lvert)) = Tr(\hat{O} \rho)$$

donde $p_1$ y $p_2$ son los correspondientes clásico probabilidades de que cada estado esté preparado, y $\rho$ es lo que llamamos la matriz de densidad (también conocida como operador de densidad): contiene toda la información necesaria para calcular cualquier valor de expectativa del experimento.

Así que su sugerencia 1 es correcta, pero la sugerencia 2 no lo es, ya que no se trata de una superposición. El sistema está definitivamente en un estado; sólo que no sabemos cuál debido a un clásico probabilidad.

4 votos

+1 por la exhaustiva respuesta. Tal vez valga la pena señalar que no sólo la expectativa de $\hat{O}$ pero también todos los momentos de $\hat{O}$ puede calcularse como $\left<\hat{O}^n\right> = \mathrm{tr}(\rho\,\hat{O}^n)$ y por tanto, por linealidad $\left<\exp(i\,\hat{O})\right> = \mathrm{tr}(\rho\,\exp(i\,\hat{O}))$ . Esta última no es otra que la función característica del pdf para las mediciones por $\hat{O}$ Así, no sólo se pueden obtener las expectativas, sino también toda la función de densidad de probabilidad de las mediciones.

0 votos

@sasha El comentario anterior iba dirigido a ti también. Otro momento en que la matriz de densidad es aplicable es en el análisis de Los experimentos de pensamiento de los amigos de Wigner .

3 votos

"El sistema está definitivamente en un estado, sólo que no sabemos cuál debido a una probabilidad clásica". -- ¿No dijiste tú mismo que la incertidumbre también puede surgir del entrelazamiento con otro sistema? ¿Cómo puedes decir en ese caso que el sistema está definitivamente en un estado?

3voto

doom777 Puntos 106

Compruebe la forma de su operador de densidad debe ser algo así como $$\rho=\sum_i p_i |\psi_i\rangle\langle\psi_i|$$

La forma más intuitiva de pensar en la matriz de densidad es la siguiente. Considere un experimentador en su laboratorio que tiene una "máquina" que produce el estado cuántico $|\psi\rangle$ pero la máquina no funciona perfectamente y produce otros estados que no queremos. Entonces, para realizar predicciones sobre estos estados necesitamos algo que capture nuestra ignorancia de los estados que tenemos, es decir, no podríamos utilizar vectores de estado, ya que no tenemos estados puros, sino un conjunto o mezcla de estados. La matriz de densidad es entonces lo que utilizamos. Su sugerencia 1.

Por otra parte, el operador de densidad también puede describir estados puros.

Su sugerencia número dos es incorrecta, ya que las superposiciones y los conjuntos son cosas físicamente muy diferentes. Considere el estado puro $$|\psi\rangle=\sum_i \sqrt{p_i}\ |\psi_i\rangle$$ Nótese que los pesos son la raíz cuadrada de la probabilidad que se relaciona con la regla de nacimiento.

3voto

Aeronaelius Puntos 101

¿Qué hay de nuevo en esta respuesta con respecto a las otras? Introduzco el operador de densidad insertando la identidad $1 = \sum \vert i\rangle \langle i \vert$ en la media, de forma similar a como se puede utilizar el $\operatorname{tr} \langle A \rangle = \langle A \rangle$ truco para hacer lo mismo.

Comentarios conceptuales. La matriz de densidad aparece siempre que tu sistema forma parte de un sistema mayor e interactúa con él. Como no puedes modelizar el total, promedias el efecto del otro sistema sobre el tuyo. Esto equivale a tomar una "distribución/estado marginal". Puede interpretarse como que el sistema está en un estado puro u otro con diferentes probabilidades.


Los detalles matemáticos

Supongamos que tenemos un sistema que dividimos en un subsistema y un entorno. Conocemos una base para el subsistema, $\vert {\phi_i} \rangle$ y para el medio ambiente, $\vert {\xi_j} \rangle$ . Asumo que son ortonormales. Entonces un estado genérico es: $$ \vert {\psi} \rangle = \sum_{ij} c_{ij} \vert {\phi_i} \rangle \otimes \vert {\xi_j} \rangle $$ Supongamos que queremos realizar una medición sólo en nuestro subsistema, es decir, que tenemos un operador $O$ que sólo actúa sobre $\vert {\phi_i} \rangle$ : $$ (O\otimes {1}) (\vert {\phi_i} \rangle \otimes \vert{\xi_j}) \rangle \equiv (O\vert {\phi_i})\rangle \otimes \vert {\xi_j} \rangle $$ Su valor esperado viene dado por \begin {align*} \langle O \rangle = \langle { \psi } \vert O \vert { \psi } \rangle \end {align*} No sabemos el estado total $\vert \psi \rangle$ pero sí conocemos los posibles estados de nuestro subsistema, $\lbrace \vert \phi_m \rangle\rbrace$ . ¿Qué es lo mejor que podemos hacer sabiendo sólo esto?

Podemos utilizar la expresión completa de $ \vert {\psi} \rangle$ y tratar de "ocultar" las cosas que no sabemos calcular, como las expresiones que implican $\vert {\xi_j} \rangle$ . Podemos utilizar que el producto interno de los productos tensoriales es $(\langle \phi_i \vert \otimes \langle \xi_j \vert)(\vert \phi_k \rangle \otimes \vert \xi_l \rangle)=\langle \phi_i \vert \phi_k \rangle \langle \xi_j \vert \xi_l \rangle$ (o, alternativamente, se puede pensar que el producto tensorial está definido de manera que esto es cierto por construcción).

\begin {align*} \langle O \rangle = \langle { \psi } \vert O \vert { \psi } \rangle = & \sum_ {ij} \sum_ {kl}c_{kl} c_{ij}^* ( \langle \phi_i \vert \otimes \langle \xi_j \vert ) ( O \otimes 1 ) ( \vert \phi_k \rangle \otimes \vert \xi_l \rangle ) \\ =& \sum_ {ij} \sum_ {kl} c_{kl}c_{ij}^* \langle \phi_i \vert O \vert \phi_k \rangle \langle \xi_j \vert \xi_l \rangle \\ =& \sum_ {ik} \left ( \sum_ {m} c_{km}c_{im}^* \right ) \langle \phi_i \vert O \vert \phi_k \rangle \\ =& \sum_ {ik} p_{ki} \langle \phi_i \vert O \vert \phi_k \rangle \end {align*}

Así que básicamente hasta aquí es, porque $p_{ki}$ nos da toda la información que necesitamos para calcular el valor medio; $p_{ki}$ es el distribución marginal de $c_{ij}^* c_{kl}$ (por "marginal" queremos decir que integramos o sumamos la probabilidad sobre los grados de libertad del entorno).

Como tiene dos índices podríamos pensar que es el elemento de una matriz, y esa matriz es fácil de construir, sólo insertamos la identidad $1=\sum_m \vert \phi_m \rangle \langle \phi_m \vert$ y obtener la matriz de densidad $\rho$ utilizando la conmutatividad de los escalares (podemos desplazarlos en el producto): \begin {align*} \sum_ {ik} p_{ik} \langle \phi_i \vert O \vert \phi_k \rangle = & \sum_ {ik} p_{ik} \langle \phi_i \vert \sum_m \vert \phi_m \rangle \langle \phi_m \vert O \vert \phi_k \rangle \\ = & \sum_ {ik} \sum_m p_{ik} \langle \phi_m \vert O \vert \phi_k \rangle \langle \phi_i \vert \phi_m \rangle \\ = & \sum_m \langle \phi_m \vert O \left ( \sum_ {ik} p_{ik} \vert \phi_k \rangle \langle \phi_i \vert\right ) \vert \phi_m \rangle = \sum_m \langle \phi_m \vert O \rho \vert \phi_m \rangle \equiv \operatorname {tr} O \rho \end {align*} donde $\rho=\sum_{ik} p_{ki} \vert \phi_k \rangle \langle \phi_i \vert$ .


Más comentarios

Hemos reducido el cálculo de la media global a calcular las medias sobre los estados de nuestro subsistema de un nuevo objeto, $O\rho$ . El objeto $\rho$ tiene ocultos tanto el estado de nuestro subsistema como el efecto medio del entorno. Haré algunos comentarios más sobre cómo se puede pensar en $\rho$ y la justificación matemática.

En primer lugar, es fácil demostrar (ver cualquier libro de texto o Wikipedia) que $\rho^\dagger = \rho$ por lo que existe una base ortonormal en la que $\rho$ es diagonal: $$ \rho = \sum_\lambda p_\lambda \vert \lambda \rangle \langle \lambda \vert \quad \sum p_\lambda = 1 $$ ¿Cuál es el significado de los estados $\vert \lambda \rangle$ ? Representan los estados más "clásicos". Esto es así porque son estados ortonormales, $\langle \lambda \vert \lambda^{'} \rangle=\delta_{\lambda \lambda^{'}}$ No existe ninguna correlación entre ellos. Son tan mutuamente excluyentes como se puede conseguir, lo que significa que si usted sabe que su sistema está en el estado $\vert \lambda \rangle$ entonces automáticamente no puede estar en $\vert \lambda^{'} \rangle$ si $\lambda^{'}\neq \lambda$ porque la proyección sobre ella es cero.

Considere un sistema de dos niveles $\lbrace \vert 0 \rangle, \vert 1 \rangle \rbrace$ . Entonces, si usted está en el estado $\vert 0 \rangle$ , sabes que no puedes estar en $\vert 1 \rangle$ pero tienes $50\%$ de estar en cualquiera de los dos estados diagonales, por lo que el sistema no es "clásico" en cuanto a los estados diagonales. Además, si se asegura que todas las partículas están en uno de estos estados ( $\vert 0 \rangle$ o $\vert 1 \rangle$ ), se puede medir sin colapsar siempre que se tenga un observable con $\lbrace \vert 0 \rangle, \vert 1 \rangle \rbrace$ como estados propios.

Ese observable siempre existe porque podemos construirlo nosotros mismos, sólo necesitamos que tenga los mismos estados propios que la matriz de densidad, $\lbrace \vert \lambda \rangle \rbrace$ : $$ M = \sum_\lambda m_\lambda \vert \lambda \rangle \langle \lambda \vert $$ (Mide 0 en todo lo que está fuera de $\text{span}\lbrace \vert \lambda \rangle \rbrace$ ).

La utilidad de este observable es que podemos utilizarlo para preparar el estado mixto. Medimos un $\vert \psi \rangle$ . Después de la medición, conocemos el estado $\vert \lambda \rangle$ a la que se derrumbó. Tomaremos $N$ mediciones de $N$ diferentes estados y después de una medición mantendremos el estado o lo descartaremos según si nuestra relación de estados es la prescrita por la matriz de densidad, $p_\lambda = N_\lambda / N$ donde $N_\lambda$ es el número de estados en el estado $\vert \lambda \rangle$ . Si ahora medimos $M$ entonces el valor medio será

$$ \langle M \rangle = \sum \frac{N_\lambda}{N} \langle \lambda \vert M \vert \lambda \rangle = \sum p_\lambda m_\lambda $$

y vemos que se trata de una media clásica sobre $p_\lambda$ de la distribución $m_\lambda$ . Se puede demostrar que esto es igual a $\text{tr}M\rho$ .

Como curiosidad, Von Neumann utiliza la idea de $M$ en su libro "Fundamentos matemáticos de la mecánica cuántica" como una forma de implementar un filtro que separe los sistemas cuánticos de forma que no los colapse. Si tienes partículas en dos estados cuánticos diferentes y mezcladas en una caja, puedes separar físicamente las partículas con una pared móvil que actúa como filtro sólo si los posibles estados de las partículas son ortogonales. En ese caso puedes encontrar una medida que distinga entre los dos estados sin colapsarlos, lo que te permite crear un filtro que deje pasar o no un determinado tipo de partícula, permitiéndote separar los sistemas cuánticos.

Así que, para resumir, la primera introducción fue un enfoque descendente, en el que obtuvimos la matriz de densidad promediando el entorno, llegando al hecho de que matemáticamente el resultado es como tener una media sobre estados puros. El segundo enfoque es tomar ese "promedio sobre estados puros" como realidad y considerar conjuntos de estados puros. Entonces, si tenemos $N$ sistemas y $N_\lambda$ en el estado $\vert \lambda \rangle$ entonces el promedio de un observable sobre el $N$ da el mismo resultado que un estado mixto dado por $\rho$ .

2voto

alanf Puntos 1520

El operador de densidad de un sistema cuántico resume los valores de expectativa de los observables de ese sistema por sí solo. Si se tienen dos sistemas $S_1$ y $S_2$ que están enredados entre sí, entonces no existe un estado puro de la imagen de Schrodinger para ninguno de los sistemas enredados. Sin embargo, hay observables de $S_1$ (o $S_2$ ) y esos observables tienen valores de expectativa. La forma estándar de escribir los valores de expectativa en términos del estado puro viene dada por $\langle\psi|\hat{A}|\psi\rangle$ para algún observable arbitrario $\hat{A}$ pero también se puede escribir como $\text{tr}(|\psi\rangle\langle\psi|\hat{A})$ . Entonces la pregunta es si existe un operador en el espacio de Hilbert de $S_1$ solo que te daría los valores de expectativa correctos usando la segunda fórmula. Resulta que la elección correcta viene dada por la traza parcial ya que la traza parcial es la única elección consistente con la regla de Born, ver "Quantum Computation and Quantum Information" de M.A. Nielsen, I.L. Chuang, p. 107.

Tú lo pides:

¿Significa esto que el sistema está exactamente en uno de los $|\psi_i\rangle$ estados y no sabemos en qué estado está y sólo conocemos las probabilidades?

No. Si $S_1$ y $S_2$ pueden ser manipuladas conjuntamente en un proceso coherente, entonces pueden sufrir interferencia cuántica. Durante la interferencia cuántica, la magnitud cuadrada de las amplitudes de probabilidad no obedece en general al cálculo de probabilidades, véase

Su siguiente pregunta es:

¿O está en una superposición de estos k estados con probabilidades que se interpretan como pesos?

Esto también es erróneo porque la matriz de densidad de un sistema es una descripción instrumental de lo que se obtendría haciendo mediciones sólo en ese sistema. No hay necesariamente nada malo en utilizar dicha descripción si se conocen sus limitaciones.

También debo añadir que, en contra de algunas de las respuestas anteriores, la matriz de densidad de un sistema en general no proporciona una descripción completa del sistema. Una descripción completa de un sistema incluirá información sobre los sistemas con los que está enredado y cómo está enredado, que no viene dada por la matriz de densidad del sistema. Dicha información viene dada por los observables de la imagen de Heisenberg de un sistema, véase:

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X