Matriz de densidad

Ajustar Compartir Imprimir Citar
Matriz que describe un sistema cuántico en un estado puro o mixto

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.

Definición y motivación

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

p()m)=.. jpj.. ↑ ↑ j▪ ▪ ▪ ▪ m▪ ▪ ↑ ↑ j.. =tr⁡ ⁡ [▪ ▪ m().. jpjSilencio↑ ↑ j.. .. ↑ ↑ jSilencio)],{displaystyle p(m)=sum _{j}p_{j}langle psi _{j}mid Pi _{m}mid psi _{j}rangle =operatorname {tr} left[] Pi... _{j}p_{j} bendicionespsi _{j}rangle langle psi _{j} sobre la vidaright)right],}

lo que hace que el operador de densidad, definido como

*** *** =.. jpjSilencio↑ ↑ j.. .. ↑ ↑ jSilencio,{displaystyle rho =sum _{j}p_{j} _{j}rangle langle psi _{j}

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

p()m)=.. Ψ Ψ Silencio▪ ▪ m⊗ ⊗ ISilencioΨ Ψ .. =tr⁡ ⁡ [▪ ▪ m()tr2⁡ ⁡ SilencioΨ Ψ .. .. Ψ Ψ Silencio)],{displaystyle p(m)=langle Psi SilencioPi _{m}otimes I remainPsi rangle =operatorname {tr} left[ Pi... _{2} eternaPsi rangle langle Psi tenciónright)right],}

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

*** *** =tr2⁡ ⁡ SilencioΨ Ψ .. .. Ψ Ψ Silencio{displaystyle rho =operatorname {tr} _{2} eternaPsi rangle langle Psi tención}

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 }.

Estados puros y mixtos

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

*** *** =12()1001),{displaystyle rho ={frac {1}{2}{begin{pmatrix}1 {0}}}}}}

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

Silencio↑ ↑ .. .. ↑ ↑ Silencio=12()1111).{displaystyle tenciónpsi rangle langle psi tención={frac {1}{2}{begin{pmatrix}1 {11}}}}

A diferencia de la mezcla probabilística, esta superposición puede mostrar interferencia cuántica.

En la esfera Bloch la representación de un qubit, cada punto en la esfera unidad representa un estado puro. Todas las demás matrices de densidad corresponden a puntos en el interior.

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:

*** *** =12()I+rxσ σ x+rSí.σ σ Sí.+rzσ σ z),{displaystyle rho ={2}left (I+r_{x}sigma ¿Qué? ¿Por qué?

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

σ σ x=()0110),σ σ Sí.=()0− − ii0),σ σ z=()100− − 1).{displaystyle sigma ################################################################################################################################################################################################################################################################ sigma ################################################################################################################################################################################################################################################################ sigma {fnMicrosoft Sans Serif}

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.

Ejemplo: polarización de la luz

La bombilla incandescente(1) emite fotones polarizados completamente aleatorios(2) con matriz de densidad de estado mixto:
[0.5000.5]{displaystyle {begin{bmatrix}0.5 âTMa,5end{bmatrix}}.
Después de pasar por polarizador plano vertical(3), los fotones restantes son todos verticalmente polarizados(4) y tienen matriz de densidad de estado puro:
[1000]{displaystyle {begin{bmatrix}1 {}}}.

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

*** *** =12SilencioR.. .. RSilencio+12SilencioL.. .. LSilencio=12SilencioH.. .. HSilencio+12SilencioV.. .. VSilencio=12()1001).{displaystyle rho ={frac {1}{2} sobrevivirmathrm {R} rangle langle mathrm {R} Silencio+{frac {1}{2} Anteriormathrm {L} rangle langle mathrm {L} Silencio={frac {1}{2}mathrm {H} rangle langle mathrm {H} Silencio+{1}{2}mathrm {V} rangle langle langle mathrm {1}{2}} {V} Silencio={2} {begin{pmatrix}1 {0}}}}}

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.

Conjuntos equivalentes y purificaciones

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

qiSilencioφ φ i.=.. jUijpjSilencio↑ ↑ j.{displaystyle {sqrt {f}left forevervarphi _{i}rightrangle =sum ¿Qué? {fnK}fnK} ¿Qué?

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

*** *** =.. jpjSilencio↑ ↑ j.. .. ↑ ↑ jSilencio{displaystyle rho =sum _{j}p_{j} _{j}rangle langle psi _{j}

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

SilencioΨ Ψ .. =.. jpjSilencio↑ ↑ j.. USilencioaj.. {displaystyle SilencioPsi rangle =sum _{j}{sqrt {fnK} ¿Qué?

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.

Medición

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

*** *** =.. jpjSilencio↑ ↑ j.. .. ↑ ↑ jSilencio.{displaystyle rho =sum _{j}p_{j} _{j}rangle langle psi _{j}

El valor esperado de la medición se puede calcular ampliando el caso de los estados puros:

.. A.. =.. jpj.. ↑ ↑ jSilencioASilencio↑ ↑ j.. =.. jpjtr⁡ ⁡ ()Silencio↑ ↑ j.. .. ↑ ↑ jSilencioA)=tr⁡ ⁡ ().. jpjSilencio↑ ↑ j.. .. ↑ ↑ jSilencioA)=tr⁡ ⁡ ()*** *** A),{displaystyle langle Arangle =sum ################################################################################################################################################################################################################################################################ _{j}tuvo una vidapsi _{j}rangle =sum ################################################################################################################################################################################################################################################################ - ¿Por qué? _{j}p_{j} _{j}rangle langle psi - Hola.

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

.. A.. =tr⁡ ⁡ ()*** *** A){displaystyle langle Arangle =operatorname {tr} (rho A)}

para estados mixtos.

Además, si A{displaystyle A} tiene resolución espectral

A=.. iaiPi,{displaystyle A=sum ¿Qué?

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

*** *** i.=Pi*** *** Pitr⁡ ⁡ [*** *** Pi]{displaystyle rho _{i}={frac {P_{i}rho ¿Qué?

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

*** *** .=.. iPi*** *** Pi.{displaystyle ;rho '=sum ¿Qué? P_{i}.

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.

Entropía

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

S=− − .. iλ λ iIn⁡ ⁡ λ λ i=− − tr⁡ ⁡ ()*** *** In⁡ ⁡ *** *** ).{displaystyle S=-sum _{i}lambda _{i}ln lambda _{i}=-operatorname {tr} (rho ln rho). }

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,

*** *** =.. ipi*** *** i,{displaystyle rho =sum ¿Qué? _{i},}

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}:

S()*** *** )=H()pi)+.. ipiS()*** *** i).{displaystyle S(rho)=H(p_{i})+sum _{i}p_{i}S(rho _{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

*** *** .=.. iPi*** *** Pi,{displaystyle rho '=sum ¿Qué? P_{i},}

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 }.

La ecuación de von Neumann para la evolución temporal

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

i▪ ▪ ∂ ∂ *** *** ∂ ∂ t=[H,*** *** ],{displaystyle ihbar {fracpartial rho}{partial [H,rho]

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:

i▪ ▪ dA()H)dt=− − [H,A()H)],{displaystyle ihbar {fnMicroc {dA^{(mathrm {H}}} {dt}=-left [H,A^{(mathrm {H}}right],}

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

*** *** ()t)=e− − iHt/▪ ▪ *** *** ()0)eiHt/▪ ▪ .{displaystyle rho (t)=e^{-iHt/hbar }rho (0)e^{iHt/hbar }

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

*** *** ()t)=G()t)*** *** ()0)G()t)† † .{displaystyle rho (t)=G(t)rho (0)G(t)^{dagger }

Funciones de Wigner y analogías clásicas

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,

W()x,p)=def1π π ▪ ▪ ∫ ∫ − − JUEGO JUEGO JUEGO JUEGO ↑ ↑ Alternativa Alternativa ()x+Sí.)↑ ↑ ()x− − Sí.)e2ipSí./▪ ▪ dSí..{displaystyle W(x,p), {fnMicrosoft {fnMicrosoft} {f} {fnMicrosoft}}}f}f} ,{frac {1}{pihbar }int _{-infty }infty }psi ^{*}(x+y)psi (x-y)e^{2ipy/hbar },dy.}

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,

∂ ∂ W()x,p,t)∂ ∂ t=− − {}{}W()x,p,t),H()x,p)}},{displaystyle {frac {partial W(x,p,t)}{partial }=-{W(x,p,t),H(x,p)}}

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.

Aplicaciones de ejemplo

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:

C*-formulación algebraica de estados

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.

Historia

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.

Notas y referencias

  1. ^ a b Fano, U. (1957). "Descripción de los Estados en Mecánica Cuántica por Técnicas de Matriz y Operador". Reseñas de Física Moderna. 29 (1): 74–93. Bibcode:1957RvMP...29...74F. doi:10.1103/RevModPhys.29.74.
  2. ^ Holevo, Alexander S. (2001). Estructura estadística del cuántico Teoría. Conferencia Notas en Física. Springer. ISBN 3-540-42082-7. OCLC 318268606.
  3. ^ a b c Hall, Brian C. (2013). "Systems and Subsystems, Multiple Particles". Teoría Cuántica para Matemáticos. Textos de Graduación en Matemáticas. Vol. 267. pp. 419–440. doi:10.1007/978-1-4614-7116-5_19. ISBN 978-1-4614-7115-8.
  4. ^ a b c d e f g Nielsen, Michael; Chuang, Isaac (2000), Quantum Computation and Quantum Information, Cambridge University Press, ISBN 978-0-521-63503-5.
  5. ^ Davidson, Ernest Roy (1976). Matrices de densidad reducidas en química cuántica. Academic Press, Londres.
  6. ^ a b c Peres, Asher (1995). Teoría Cuántica: Conceptos y Métodos. Kluwer. ISBN 978-0-7923-3632-7. OCLC 901395752.
  7. ^ a b Wilde, Mark M. (2017). Información cuántica Teoría (2a edición). Cambridge University Press. arXiv:1106.1445. doi:10.1017/9781316809976.001. ISBN 978-1-107-17616-4. OCLC 973404322. S2CID 2515538.
  8. ^ Kirkpatrick, K. A. (febrero de 2006). "The Schrödinger-HJW Theorem". Fundaciones de Cartas Físicas. 19 (1): 95-102. arXiv:quant-ph/0305068. Bibcode:2006FoPhL..19...95K. doi:10.1007/s10702-006-1852-1. ISSN 0894-9875. S2CID 15995449.
  9. ^ Ochs, Wilhelm (1981-11-01). "Algunos comentarios sobre el concepto de estado en la mecánica cuántica". Erkenntnis. 16 (3): 339–356. doi:10.1007/BF00211375. ISSN 1572-8420. S2CID 119980948.
  10. ^ Lüders, Gerhart (1950). "Über die Zustandsänderung durch den Messprozeß". Annalen der Physik. 443 (5-8): 322. Bibcode:1950AnP...443..322L. doi:10.1002/andp.19504430510. Traducido por K. A. Kirkpatrick Lüders, Gerhart (2006-04-03). "Concertando el cambio estatal debido al proceso de medición". Annalen der Physik. 15 (9): 663-670. arXiv:quant-ph/0403007. Bibcode:2006AnP...518..663L. doi:10.1002/andp.200610207. S2CID 119103479.
  11. ^ Busch, Paul; Lahti, Pekka (2009), Greenberger, Daniel; Hentschel, Klaus; Weinert, Friedel (eds.), "Lüders Rule", Compendio de Física Cuántica, Springer Berlin Heidelberg, pp. 356–358, doi:10.1007/978-3-540-70626-7_110, ISBN 978-3-540-70622-9
  12. ^ Gleason, Andrew M. (1957). "Medidas en los subespacios cerrados de un espacio Hilbert". Indiana University Mathematics Journal. 6 (4): 885–893. doi:10.1512/iumj.1957.6.56050MR 0096113.
  13. ^ Busch, Paul (2003). "Los estados cuánticos y los observables generalizados: una prueba simple del teorema de Gleason". Cartas de revisión física. 91 (12): 120403. arXiv:quant-ph/9909073. Bibcode:2003 PhRvL..91l0403B. doi:10.1103/PhysRevLett.91.120403. PMID 14525351. S2CID 2168715.
  14. ^ Cuevas, Carlton M.; Fuchs, Christopher A.; Manne, Kiran K.; Renes, Joseph M. (2004). "Derivaciones de tipo lisón de la Regla de Probabilidad Cuántica para Medidas Generalizadas". Fundaciones de Física. 34 (2): 193–209. arXiv:quant-ph/0306179. Bibcode:2004FoPh...34..193C. doi:10.1023/B:FOOP.0000019581.00318.a5. S2CID 18132256.
  15. ^ Andrzej Grudka; Paweł Kurzyński (2008). "¿Hay Contextualidad para un Cobit Único?". Cartas de revisión física. 100 (16): 160401. arXiv:0705.0181. Bibcode:2008 PhRvL.100p0401G. doi:10.1103/PhysRevLett.100.160401. PMID 18518167. S2CID 13251108.
  16. ^ Rieffel, Eleanor G.; Polak, Wolfgang H. (2011-03-04). Quantum Computing: A Gentle Introduction. MIT Prensa. ISBN 978-0-262-01506-6.
  17. ^ Breuer, Heinz; Petruccione, Francesco (2002), The theory of open quantum systems, p. 110, ISBN 978-0-19-852063-4
  18. ^ Schwabl, Franz (2002), Statistical mechanicals, p. 16, ISBN 978-3-540-43163-3
  19. ^ Müller-Kirsten, Harald J.W. (2008), Mecánica Clásica y Relatividad, World Scientific, pp. 175–179, ISBN 978-981-283-251-1
  20. ^ Kardar, Mehran (2007). Física estadística de partículas. Cambridge University Press. ISBN 978-0-521-87342-0. OCLC 860391091.
  21. ^ Schlosshauer, M. (2019). "Decoherencia Cuántica". Informes de Física. 831: 1–57. arXiv:1911.06282. Bibcode:2019PhR...831....1S. doi:10.1016/j.physrep.2019.10.001. S2CID 208006050.
  22. ^ Granade, Christopher; Combes, Joshua; Cory, D. G. (2016-01-01). "Tomografía pragmática Bayesiana". Nuevo Diario de Física. 18 (3): 033024. arXiv:1509.03770. Bibcode:2016NJPh...18c3024G. doi:10.1088/1367-2630/18/3/033024. ISSN 1367-2630. S2CID 88521187.
  23. ^ Ardila, Luis; Heyl, Markus; Eckardt, André (28 de diciembre de 2018). "Measuring the Single-Particle Density Matrix for Fermions and Hard-Core Bosons in an Optical Lattice". Cartas de revisión física. 121 (260401): 6. arXiv:1806.08171. Bibcode:2018 PhRvL.121z0401P. doi:10.1103/PhysRevLett.121.260401. PMID 30636128. S2CID 51684413.
  24. ^ Véase el apéndice, Mackey, George Whitelaw (1963), Fundaciones Matemáticas de Mecánica Cuántica, Dover Books on Mathematics, New York: Dover Publications, ISBN 978-0-486-43517-6
  25. ^ Emch, Gerard G. (1972), Métodos algebraicos en mecánica estadística y teoría de campo cuántico, Wiley-Interscience, ISBN 978-0-471-23900-0
  26. ^ von Neumann, John (1927), "Wahrscheinlichkeitstheoretischer Aufbau der Quantenmechanik", Göttinger Nachrichten, 1: 245–272
  27. ^ a b "El problema de los daños en la Mecánica Wave (1927)". Documentos recopilados de L.D. Landau. 1965. pp. 8–18. doi:10.1016/B978-0-08-010586-4.50007-9. ISBN 978-0-08-010586-4.
  28. ^ Fano, Ugo (1995). "Mátricas de densidad como vectores de polarización". Rendiconti Lincei. 6 (2): 123–130 doi:10.1007/BF03001661. S2CID 128081459.