Juan Napier
(leer más)
En mecánica cuántica, una matriz de densidad (u operador de densidad) es una matriz que describe el estado cuántico de un sistema físico. Permite el cálculo de las probabilidades de los resultados de cualquier medida realizada sobre este sistema, utilizando la regla de Born. Es una generalización de los vectores de estado o funciones de onda más usuales: mientras que estos solo pueden representar estados puros, las matrices de densidad también pueden representar estados mixtos. Los estados mixtos surgen en la mecánica cuántica en dos situaciones diferentes: primero, cuando la preparación del sistema no se conoce por completo y, por lo tanto, se debe tratar con un conjunto estadístico de posibles preparaciones, y segundo, cuando se quiere describir un sistema físico que está enredado con otro, sin describir su estado combinado.
Por lo tanto, las matrices de densidad son herramientas cruciales en áreas de la mecánica cuántica que se ocupan de estados mixtos, como la mecánica estadística cuántica, los sistemas cuánticos abiertos, la decoherencia cuántica y la información cuántica.
La matriz de densidad es una representación de un operador lineal llamado operador de densidad. La matriz de densidad se obtiene del operador de densidad eligiendo la base en el espacio subyacente. En la práctica, los términos matriz de densidad y operador de densidad a menudo se usan indistintamente.
En lenguaje de operador, un operador de densidad para un sistema es un operador semi-definido positivo, Hermitian de traza uno actuando en el espacio Hilbert del sistema. Esta definición puede motivarse considerando una situación en la que un estado puro Silencio↑ ↑ j.. {displaystyle ← _{j}rangle } se prepara con probabilidad pj{displaystyle P_{j}, conocido como ensemble. La probabilidad de obtener el resultado de medición proyectiva m{displaystyle m} cuando utiliza proyectores ▪ ▪ m{displaystyle Pi _{m} es dado por
lo que hace que el operador de densidad, definido como
una representación conveniente para el estado de este conjunto. Es fácil comprobar que este operador es semi-definido positivo, Hermitian, y tiene traza uno. Por el contrario, se deriva del teorema espectral que cada operador con estas propiedades puede ser escrito como .. jpjSilencio↑ ↑ j.. .. ↑ ↑ jSilencio{displaystyle textstyle sum _{j}p_{j} _{j}rangle langle psi _{j} para algunos estados Silencio↑ ↑ j.. {displaystyle ← _{j}rangle } y coeficientes pj{displaystyle P_{j} que no son negativos y suman hasta uno. Sin embargo, esta representación no será única, como lo demuestra el teorema Schrödinger-HJW.
Otra motivación para la definición de operadores de densidad proviene de considerar mediciones locales en estados enredados. Vamos SilencioΨ Ψ .. {displaystyle SilenciosoPsi rangle } ser un estado enredado puro en el espacio compuesto Hilbert H1⊗ ⊗ H2{fnMicrosoft Sans Serif} {fnMitcal {fnK}} {fnMitcal}} {fnMitcal}}} {fn}}} {cH}}}} {fnMitcal}}}} {fnK}}}} {f}}} {f}}}}} {fnH}}}}}}}}. La probabilidad de obtener el resultado de medición m{displaystyle m} cuando los proyectores de medición ▪ ▪ m{displaystyle Pi _{m} en el espacio Hilbert H1{displaystyle {fnMithcal} {}} {}}} {fnMicrosoft} {fnK}}}} {fn}}}} {fn}}}} {fnMicrosoft}}}} {fnK}}}}}} {f}}}} {fnK}}}}}}} solo es dado por
Donde tr2{displaystyle operatorname {tr} _{2} denota el rastro parcial sobre el espacio de Hilbert H2{displaystyle {fnMithcal}} {fnK}} {fnMicrosoft}} {fnMicrosoft}} {fnK}}} {fnMicrosoft}} {fnK}}}} {fn}}} {fnMicrosoft}}}}}}. Esto hace que el operador
una herramienta conveniente para calcular las probabilidades de estas mediciones locales. Se conoce como la matriz de densidad reducida SilencioΨ Ψ .. {displaystyle SilenciosoPsi rangle } on subsystem 1. Es fácil comprobar que este operador tiene todas las propiedades de un operador de densidad. Por el contrario, el teorema Schrödinger-HJW implica que todos los operadores de densidad pueden ser escritos como tr2 SilencioΨ Ψ .. .. Ψ Ψ Silencio{displaystyle operatorname {tr} _{2} eternaPsi rangle langle Psi tención} para algún estado SilencioΨ Ψ .. {displaystyle SilenciosoPsi rangle }.
Un estado cuántico puro es un estado que no se puede escribir como una mezcla probabilística o una combinación convexa de otros estados cuánticos. Hay varias caracterizaciones equivalentes de estados puros en el lenguaje de los operadores de densidad. Un operador de densidad representa un estado puro si y solo si:
Es importante destacar la diferencia entre una mezcla probabilística de estados cuánticos y su superposición. Si un sistema físico está preparado para estar en estado Silencio↑ ↑ 1.. {displaystyle ← _{1}rangle } o Silencio↑ ↑ 2.. {displaystyle Silenciopsi _{2}rangle }, con igual probabilidad, puede ser descrito por el estado mixto
Donde Silencio↑ ↑ 1.. {displaystyle ← _{1}rangle } y Silencio↑ ↑ 2.. {displaystyle Silenciopsi _{2}rangle } son asumidos ortogonal y de dimensión 2, para la simplicidad. Por otro lado, una superposición cuántica de estos dos estados con igual amplitud de probabilidad resulta en el estado puro Silencio↑ ↑ .. =()Silencio↑ ↑ 1.. +Silencio↑ ↑ 2.. )/2,{displaystyle Нpsi rangle =(Princepsi _{1}rangle + arrestpsi _{2}rangle)/{sqrt {2}}} con matriz de densidad
A diferencia de la mezcla probabilística, esta superposición puede mostrar interferencia cuántica.
Geométricamente, el conjunto de operadores de densidad es un conjunto convexo, y los estados puros son los puntos extremos de ese conjunto. El caso más simple es el de un espacio de dos dimensiones Hilbert, conocido como un qubit. Un estado arbitrario para un qubit puede ser escrito como una combinación lineal de las matrices Pauli, que junto con la matriz de identidad proporcionan una base para 2× × 2{displaystyle 2times 2} matrices autoadjuntas:
donde los números reales ()rx,rSí.,rz){displaystyle (r_{x},r_{y},r_{z}} son las coordenadas de un punto dentro de la bola de unidad y
Puntos con rx2+rSí.2+rz2=1{displaystyle ¿Qué? representan estados puros, mientras que los estados mixtos están representados por puntos en el interior. Esto se conoce como la esfera Bloch imagen del espacio estatal qubit.
Un ejemplo de estados puros y mixtos es la polarización ligera. Un foton individual se puede describir como tener polarización circular derecha o izquierda, descrita por los estados cuánticos ortogonales SilencioR.. {displaystyle TENIDOmathrm {R} rangle } y SilencioL.. {displaystyle TENIDOmathrm {L} rangle } o una superposición de los dos: puede estar en cualquier estado α α SilencioR.. +β β SilencioL.. {displaystyle alpha tenciónmathrm {R} rangle +beta Silenciomathrm {L} rangle } (con Silencioα α Silencio2+Silencioβ β Silencio2=1################################################################################################################################################################################################################################################################ Silencio.), correspondiente a polarización lineal, circular o elíptica. Considere ahora un fotón polarizado verticalmente, descrito por el estado SilencioV.. =()SilencioR.. +SilencioL.. )/2{displaystyle Нmathrm {V} rangle =(Principiomathrm {R} rangle + sufrimientomathrm {L} rangle)/{sqrt {2}}. Si lo pasamos a través de un polarizador circular que permite SilencioR.. {displaystyle TENIDOmathrm {R} rangle } luz polarizada, o sólo SilencioL.. {displaystyle TENIDOmathrm {L} rangle } luz polarizada, la mitad de los fotones se absorben en ambos casos. Esto puede hacerlo. Parece que como la mitad de los fotones están en estado SilencioR.. {displaystyle TENIDOmathrm {R} rangle } y la otra mitad del estado SilencioL.. {displaystyle TENIDOmathrm {L} rangle }, pero esto no es correcto: si pasamos ()SilencioR.. +SilencioL.. )/2{displaystyle (fortmathrm {R} rangle + soportemathrm {L} rangle)/{sqrt {2}} a través de un polarizador lineal no hay ninguna absorción, pero si pasamos cualquier estado SilencioR.. {displaystyle TENIDOmathrm {R} rangle } o SilencioL.. {displaystyle TENIDOmathrm {L} rangle } La mitad de los fotones son absorbidos.
La luz no polarizada (como la luz de una bombilla incandescente) no puede describirse como cualquiera estado de la forma α α SilencioR.. +β β SilencioL.. {displaystyle alpha tenciónmathrm {R} rangle +beta Silenciomathrm {L} rangle } (polarización lineal, circular o elíptica). A diferencia de la luz polarizada, pasa a través de un polarizador con una pérdida de intensidad del 50% cualquiera que sea la orientación del polarizador; y no puede ser polarizado pasando por cualquier placa de onda. Sin embargo, la luz no polarizada puede ser descrito como un conjunto estadístico, e. g. como cada foton teniendo SilencioR.. {displaystyle TENIDOmathrm {R} rangle } polarización o SilencioL.. {displaystyle TENIDOmathrm {L} rangle } polarización con probabilidad 1/2. El mismo comportamiento ocurriría si cada fotono tuviera polarización vertical SilencioV.. {displaystyle TENIDOmathrm {V} rangle } o polarización horizontal SilencioH.. {displaystyle TENIDOmathrm {H} rangle } con probabilidad 1/2. Estos dos conjuntos son completamente indistinguibles experimentalmente, y por lo tanto se consideran el mismo estado mixto. Para este ejemplo de luz no polarizada, el operador de densidad es igual
También hay otras formas de generar luz no polarizada: una posibilidad es introducir incertidumbre en la preparación del fotón, por ejemplo, pasando por un cristal birefringente con una superficie rugosa, de modo que partes ligeramente diferentes del haz de luz adquieren diferentes polarizaciones. Otra posibilidad es utilizar estados enredados: una desintegración radiactiva puede emitir dos fotones que viajan en direcciones opuestas, en el estado cuántico ()SilencioR,L.. +SilencioL,R.. )/2{displaystyle (todaviamathrm {R}mathrm {L} rangle + WordPressmathrm {L}mathrm {R} rangle)/{sqrt {2}}. El estado conjunto de los dos fotones juntos es pura, pero la matriz de densidad para cada foton individualmente, que se encuentra tomando el trazo parcial de la matriz de densidad articular, es completamente mezclada.
Un operador de densidad dada no determina singularmente qué conjunto de estados puros le da origen; en general hay infinitamente muchos conjuntos diferentes que generan la misma matriz de densidad. Aquellos no pueden distinguirse por ninguna medida. Los conjuntos equivalentes pueden caracterizarse completamente: {}pj,Silencio↑ ↑ j.. }{displaystyle ################################################################################################################################################################################################################################################################ ¿Qué? Sé un conjunto. Entonces para cualquier matriz compleja U{displaystyle U} tales que U† † U=I{displaystyle U^{dagger }U=I} (una isometría parcial), el conjunto {}qi,Silencioφ φ i.. }{displaystyle ################################################################################################################################################################################################################################################################ ¿Qué? {}} definidas por
dará lugar al mismo operador de densidad, y todos los conjuntos equivalentes tienen esta forma.
Un hecho estrechamente relacionado es que un operador de densidad dado tiene infinitas purificaciones diferentes, que son estados puros que generan el operador de densidad cuando se toma una traza parcial. Dejar
ser el operador de densidad generado por el conjunto {}pj,Silencio↑ ↑ j.. }{displaystyle ################################################################################################################################################################################################################################################################ ¿Qué?, con estados Silencio↑ ↑ j.. {displaystyle ← _{j}rangle } no necesariamente ortogonal. Entonces para todas las isometrías parciales U{displaystyle U} tenemos
es una purificación *** *** {displaystyle rho }, donde Silencioaj.. {displaystyle Silencio. es una base ortogonal, y además todas las purificaciones de *** *** {displaystyle rho } son de esta forma.
Vamos A{displaystyle A} ser un observable del sistema, y suponer que el conjunto está en un estado mixto tal que cada uno de los estados puros Silencio↑ ↑ j.. {displaystyle textstyle Silenciopsi _{j}rangle } ocurre con probabilidad pj{displaystyle P_{j}. Luego el operador de densidad correspondiente equivale
El valor esperado de la medición se puede calcular ampliando el caso de los estados puros:
Donde tr{displaystyle operatorname {tr} Denota rastro. Así, la expresión familiar .. A.. =.. ↑ ↑ SilencioASilencio↑ ↑ .. {displaystyle langle Arangle =langle psi tenciónAtenciónpsi rangle } para estados puros es reemplazado por
para estados mixtos.
Además, si A{displaystyle A} tiene resolución espectral
Donde Pi{displaystyle P_{i} es el operador de proyección en el eigenspace correspondiente a eigenvalue ai{displaystyle A_{i}, el operador de densidad post-medida
cuando se obtiene el resultado i. En el caso de que no se conozca el resultado de la medición, el conjunto se describe mediante
Si uno asume que las probabilidades de resultados de medición son funciones lineales de los proyectores Pi{displaystyle P_{i}, entonces deben ser dados por el rastro del proyector con un operador de densidad. El teorema de Gleason muestra que en los espacios de Hilbert de la dimensión 3 o más grande la asunción de la linealidad puede ser reemplazada con una suposición de no contextualidad. Esta restricción sobre la dimensión puede eliminarse asumiendo que no sea contextualidad para los POVM también, pero esto ha sido criticado como físicamente no motivado.
La entropía de von Neumann S{displaystyle S. de una mezcla se puede expresar en términos de los eigenvalues de *** *** {displaystyle rho } o en términos del trazo y logaritmo del operador de densidad *** *** {displaystyle rho }. Desde *** *** {displaystyle rho } es un operador semi-definido positivo, tiene una descomposición espectral tal que *** *** =.. iλ λ iSilencioφ φ i.. .. φ φ iSilencio{displaystyle rho =textstyle sum _{i}lambda _{i}Sobrevivirvarphi _{i}rangle langle varphi - Hola., donde Silencioφ φ i.. {displaystyle Silenciovarphi _{i}rangle } son vectores ortonormales, λ λ i≥ ≥ 0{displaystyle lambda _{i}geq 0}, y .. λ λ i=1{displaystyle textstyle sum lambda ¿Qué?. Luego la entropía de un sistema cuántico con matriz de densidad *** *** {displaystyle rho } es
Esta definición implica que la entropía von Neumann de cualquier estado puro es cero. Si *** *** i{displaystyle rho _{i}} son estados que tienen apoyo en subespacios ortogonales, luego la entropía von Neumann de una combinación convexa de estos estados,
es dado por las entropías von Neumann de los estados *** *** i{displaystyle rho _{i}} y la entropía Shannon de la distribución de probabilidad pi{displaystyle P_{i}:
Cuando los estados *** *** i{displaystyle rho _{i}} no tienen soportes ortogonales, la suma en el lado derecho es estrictamente mayor que la entropía von Neumann de la combinación convexa *** *** {displaystyle rho }.
Dado un operador de densidad *** *** {displaystyle rho } y una medición proyectiva como en la sección anterior, el estado *** *** .{displaystyle rho} definida por la combinación convexa
que se puede interpretar como el estado producido por realizar la medición pero no registrar qué resultado ocurrió, tiene una entropía von Neumann mayor que la de *** *** {displaystyle rho }, excepto si *** *** =*** *** .{displaystyle rho =rho}. Sin embargo, es posible para el *** *** .{displaystyle rho} producida por un generalizado medición, o POVM, para tener una entropía inferior von Neumann que *** *** {displaystyle rho }.
Así como la ecuación de Schrödinger describe cómo evolucionan los estados puros en el tiempo, la ecuación de von Neumann (también conocida como la ecuación de Liouville-von Neumann) describe cómo un operador de densidad evoluciona en el tiempo. La ecuación de von Neumann dicta que
donde los corchetes indican un conmutador.
Esta ecuación solo se cumple cuando se considera que el operador de densidad está en la imagen de Schrödinger, aunque a primera vista esta ecuación parece emular la ecuación de movimiento de Heisenberg en la imagen de Heisenberg, con una diferencia de signo crucial:
Donde A()H)()t){displaystyle A^{(mathrm {H}(t)} es algo Imagen de Heisenberg operador; pero en esta imagen la matriz de densidad es no dependiente del tiempo, y el signo relativo asegura que el tiempo derivado del valor esperado .. A.. {displaystyle langle Arangle } sale igual que en la imagen de Schrödinger.
Si el hamiltoniano es independiente del tiempo, la ecuación de von Neumann se puede resolver fácilmente para producir
Para un Hamiltonian más general, si G()t){displaystyle G(t)} es el propagador de la función de onda durante algún intervalo, entonces la evolución del tiempo de la matriz de densidad sobre ese mismo intervalo es dada por
El operador de matriz de densidad también se puede realizar en el espacio de fase. Bajo el mapa de Wigner, la matriz de densidad se transforma en la función de Wigner equivalente,
La ecuación para la evolución temporal de la función de Wigner, conocida como ecuación de Moyal, es entonces la transformada de Wigner de la ecuación de von Neumann anterior,
Donde H()x,p){displaystyle H(x,p)} es el Hamiltonian, y {}{}⋅ ⋅ ,⋅ ⋅ }}{displaystyle {{cdotcdot {}} es el soporte Moyal, la transformación del conmutador cuántico.
La ecuación de evolución para la función Wigner es entonces análoga a la de su límite clásico, la ecuación de Liouville de la física clásica. En el límite de la desaparición constante de Planck ▪ ▪ {displaystyle hbar }, W()x,p,t){displaystyle W(x,p,t)} reduce a la función clásica de densidad de probabilidad de Liouville en el espacio de fase.
Las matrices de densidad son una herramienta básica de la mecánica cuántica y aparecen al menos ocasionalmente en casi cualquier tipo de cálculo mecánico cuántico. Algunos ejemplos específicos donde las matrices de densidad son especialmente útiles y comunes son los siguientes:
Ahora se acepta generalmente que la descripción de la mecánica cuántica en la que todos los operadores autoadjuntos representan observables es insostenible. Por esta razón, los observables se identifican con elementos de un álgebra C* abstracta A (es decir, uno sin una representación distinguida como un álgebra de operadores) y los estados son funcionales lineales positivos en A. Sin embargo, usando la construcción GNS, podemos recuperar los espacios de Hilbert que realizan A como una subálgebra de operadores.
Geométricamente, un estado puro en un C*-álgebra A es un estado que es un punto extremo del conjunto de todos los estados en A. Por propiedades de la construcción GNS estos estados corresponden a representaciones irreducibles de A.
Los estados del C*-álgebra de operadores compactos K(H) corresponden exactamente a los operadores de densidad, y por lo tanto los estados puros de K(H) son exactamente los estados puros en el sentido de la mecánica cuántica.
Se puede ver que la formulación algebraica C* incluye tanto sistemas clásicos como cuánticos. Cuando el sistema es clásico, el álgebra de observables se convierte en un C*-álgebra abeliana. En ese caso, los estados se convierten en medidas de probabilidad.
El formalismo de matrices y operadores de densidad fue introducido en 1927 por John von Neumann e, independientemente, pero de manera menos sistemática, por Lev Landau y más tarde en 1946 por Felix Bloch. Von Neumann introdujo la matriz de densidad para desarrollar tanto la mecánica estadística cuántica como una teoría de las medidas cuánticas. El nombre de matriz de densidad en sí se relaciona con su correspondencia clásica con una medida de probabilidad de espacio de fase (distribución de probabilidad de posición y momento) en la mecánica estadística clásica, que fue introducida por Wigner en 1932.
En cambio, la motivación que inspiró a Landau fue la imposibilidad de describir un subsistema de un sistema cuántico compuesto mediante un vector de estado.
(leer más)
En astronáutica, la órbita de transferencia de Hohmann es una maniobra orbital utilizada para transferir una nave espacial entre dos órbitas de diferentes... (leer más)
(leer más)