stringtranslate.com

Lindbladiano

En mecánica cuántica , la ecuación de Gorini-Kossakowski-Sudarshan-Lindblad ( ecuación GKSL , llamada así en honor a Vittorio Gorini, Andrzej Kossakowski , George Sudarshan y Göran Lindblad ), ecuación maestra en forma de Lindblad , liouvillian cuántica o lindbladiana , es una de las formas generales de Ecuaciones maestras de Markov que describen sistemas cuánticos abiertos. Generaliza la ecuación de Schrödinger a sistemas cuánticos abiertos; es decir, sistemas en contacto con su entorno. La dinámica resultante ya no es unitaria, pero aún satisface la propiedad de preservar trazas y ser completamente positiva para cualquier condición inicial. [1]

La ecuación de Schrödinger o, en realidad, la ecuación de von Neumann, es un caso especial de la ecuación GKSL, que ha llevado a cierta especulación de que la mecánica cuántica puede extenderse y expandirse productivamente mediante una mayor aplicación y análisis de la ecuación de Lindblad. [2] La ecuación de Schrödinger trata con vectores de estado , que sólo pueden describir estados cuánticos puros y, por tanto, son menos generales que las matrices de densidad , que también pueden describir estados mixtos .

Motivación

En la formulación canónica de la mecánica cuántica, la evolución temporal de un sistema se rige por la dinámica unitaria. Esto implica que no hay decaimiento y la coherencia de fases se mantiene durante todo el proceso, y es consecuencia del hecho de que se consideran todos los grados de libertad participantes. Sin embargo, cualquier sistema físico real no está absolutamente aislado e interactuará con su entorno. Esta interacción con grados de libertad externos al sistema da como resultado la disipación de energía hacia el entorno, provocando desintegración y aleatorización de fase. Más aún, comprender la interacción de un sistema cuántico con su entorno es necesario para comprender muchos fenómenos comúnmente observados, como la emisión espontánea de luz de átomos excitados o el rendimiento de muchos dispositivos tecnológicos cuánticos, como el láser.

Se han introducido ciertas técnicas matemáticas para tratar la interacción de un sistema cuántico con su entorno. Uno de ellos es el uso de la matriz de densidad y su ecuación maestra asociada. Si bien en principio este enfoque para resolver la dinámica cuántica es equivalente a la imagen de Schrödinger o la imagen de Heisenberg , permite más fácilmente la inclusión de procesos incoherentes, que representan interacciones ambientales. El operador de densidad tiene la propiedad de que puede representar una mezcla clásica de estados cuánticos y, por tanto, es vital para describir con precisión la dinámica de los llamados sistemas cuánticos abiertos.

Definición

La ecuación maestra de Lindblad para la matriz de densidad ρ del sistema se puede escribir como [1] (para una introducción pedagógica puede consultar [3] )

donde está el anticonmutador , es el sistema hamiltoniano, que describe los aspectos unitarios de la dinámica, y son un conjunto de operadores de salto que describen la parte disipativa de la dinámica. La forma de los operadores de salto describe cómo actúa el entorno sobre el sistema y, en última instancia, debe determinarse a partir de modelos microscópicos de la dinámica del sistema-entorno. Finalmente, hay un conjunto de coeficientes no negativos llamados tasas de amortiguamiento. Si todo se recupera la ecuación de von Neumann que describe la dinámica unitaria, que es el análogo cuántico de la ecuación clásica de Liouville .

De manera más general, la ecuación GKSL tiene la forma

donde son operadores arbitrarios y h es una matriz semidefinida positiva . Este último es un requisito estricto para garantizar que la dinámica conserve rastros y sea completamente positiva. El número de operadores es arbitrario y no tienen que satisfacer ninguna propiedad especial. Pero si el sistema es -dimensional, se puede demostrar [1] que la ecuación maestra puede describirse completamente mediante un conjunto de operadores, siempre que formen una base para el espacio de operadores.

Dado que la matriz h es semidefinida positiva, se puede diagonalizar con una transformación unitaria u :

donde los valores propios γ i no son negativos. Si definimos otra base de operador ortonormal

Esto reduce la ecuación maestra a la misma forma que antes:

Semigrupo dinámico cuántico

Los mapas generados por un Lindbladiano durante varios tiempos se denominan colectivamente semigrupo dinámico cuántico : una familia de mapas dinámicos cuánticos en el espacio de matrices de densidad indexadas por un único parámetro de tiempo que obedece a la propiedad del semigrupo.

La ecuación de Lindblad se puede obtener mediante

que, por la linealidad de , es un superoperador lineal. El semigrupo se puede recuperar como

Propiedades de invariancia

La ecuación de Lindblad es invariante bajo cualquier transformación unitaria v de operadores y constantes de Lindblad,

y también bajo la transformación no homogénea

donde a i son números complejos y b es un número real. Sin embargo, la primera transformación destruye la ortonormalidad de los operadores Li (a menos que todos los γ i sean iguales ) y la segunda transformación destruye la falta de rastro. Por lo tanto, hasta las degeneraciones entre γ i , los Li de la forma diagonal de la ecuación de Lindblad están determinados únicamente por la dinámica siempre que exijamos que sean ortonormales y sin trazas.

imagen de heisenberg

La evolución de tipo Lindblad de la matriz de densidad en la imagen de Schrödinger se puede describir de manera equivalente en la imagen de Heisenberg utilizando la siguiente ecuación de movimiento (diagonalizada) [4] para cada X cuántico observable :

Una ecuación similar describe la evolución temporal de los valores esperados de los observables, dada por el teorema de Ehrenfest . En correspondencia con la propiedad de conservación de trazas de la ecuación de Lindblad de la imagen de Schrödinger, la ecuación de la imagen de Heisenberg es unital , es decir, conserva el operador de identidad.

Derivación física

La ecuación maestra de Lindblad describe la evolución de varios tipos de sistemas cuánticos abiertos, por ejemplo, un sistema débilmente acoplado a un depósito de Markov. [1] Tenga en cuenta que el H que aparece en la ecuación no es necesariamente igual al sistema hamiltoniano simple, sino que también puede incorporar dinámicas unitarias efectivas que surgen de la interacción sistema-entorno.

Una derivación heurística, por ejemplo , en las notas de Preskill , [5] comienza con una forma más general de un sistema cuántico abierto y lo convierte a la forma Lindblad haciendo la suposición markoviana y expandiéndose en poco tiempo. Un tratamiento estándar más motivado físicamente [6] [7] cubre tres tipos comunes de derivaciones del Lindbladiano a partir de un hamiltoniano que actúa tanto en el sistema como en el medio ambiente: el límite de acoplamiento débil (descrito en detalle a continuación), la aproximación de baja densidad y el límite de acoplamiento singular. Cada uno de estos se basa en supuestos físicos específicos relacionados, por ejemplo, con las funciones de correlación del medio ambiente. Por ejemplo, en la derivación del límite de acoplamiento débil, normalmente se supone que (a) las correlaciones del sistema con el entorno se desarrollan lentamente, (b) las excitaciones del entorno causadas por el sistema decaen rápidamente y (c) los términos que oscilan rápidamente. en comparación con la escala de tiempo de interés del sistema puede despreciarse. Estas tres aproximaciones se denominan onda de Born, Markov y onda giratoria, respectivamente. [8]

La derivación del límite de acoplamiento débil supone un sistema cuántico con un número finito de grados de libertad acoplado a un baño que contiene un número infinito de grados de libertad. El sistema y el baño poseen cada uno un hamiltoniano escrito en términos de operadores que actúan sólo en el subespacio respectivo del espacio total de Hilbert. Estos hamiltonianos gobiernan la dinámica interna del sistema desacoplado y del baño. Hay un tercer hamiltoniano que contiene productos de los operadores del sistema y del baño, acoplando así el sistema y el baño. La forma más general de este hamiltoniano es

La dinámica de todo el sistema se puede describir mediante la ecuación de movimiento de Liouville . Esta ecuación, que contiene un número infinito de grados de libertad, es imposible de resolver analíticamente salvo en casos muy particulares. Es más, bajo ciertas aproximaciones, no es necesario considerar los grados de libertad del baño y se puede derivar una ecuación maestra efectiva en términos de la matriz de densidad del sistema . El problema se puede analizar más fácilmente pasando a la imagen de interacción, definida por la transformación unitaria , donde es un operador arbitrario, y . También tenga en cuenta que es el operador unitario total de todo el sistema. Es sencillo confirmar que la ecuación de Liouville se convierte en

donde el hamiltoniano depende explícitamente del tiempo. Además, según la imagen de interacción, donde . Esta ecuación se puede integrar directamente para dar

Esta ecuación implícita se puede sustituir nuevamente en la ecuación de Liouville para obtener una ecuación diferencial integral exacta.

Procedemos con la derivación asumiendo que la interacción se inicia en y en ese momento no existen correlaciones entre el sistema y el baño. Esto implica que la condición inicial se puede factorizar como , donde es el operador de densidad del baño inicialmente.

Al trazar los grados de libertad del baño, de la ecuación diferencial integral antes mencionada se obtiene

Esta ecuación es exacta para la dinámica temporal de la matriz de densidad del sistema, pero requiere un conocimiento completo de la dinámica de los grados de libertad del baño. Una suposición simplificadora llamada aproximación de Born se basa en la grandeza del baño y la relativa debilidad del acoplamiento, es decir, el acoplamiento del sistema al baño no debería alterar significativamente los estados propios del baño. En este caso, la matriz de densidad completa se puede factorizar para todos los tiempos como . La ecuación maestra se convierte en

La ecuación ahora es explícita en los grados de libertad del sistema, pero es muy difícil de resolver. Una última suposición es la aproximación de Born-Markov de que la derivada temporal de la matriz de densidad depende sólo de su estado actual y no de su pasado. Esta suposición es válida en una dinámica de baño rápido, en la que las correlaciones dentro del baño se pierden extremadamente rápidamente y equivalen a reemplazarse en el lado derecho de la ecuación.

Si se supone que la interacción hamiltoniana tiene la forma

para operadores de sistemas y operadores de baños . La ecuación maestra se convierte en

que se puede ampliar como

Los valores esperados son con respecto a los grados de libertad del baño. Al asumir una rápida caída de estas correlaciones (idealmente ), se logra la forma anterior del superoperador L de Lindblad.

Ejemplos

Para un operador de salto y sin evolución unitaria, el superoperador de Lindblad , que actúa sobre la matriz de densidad , es

Este término se encuentra regularmente en la ecuación de Lindblad tal como se usa en óptica cuántica , donde puede expresar la absorción o emisión de fotones de un depósito. Si se quiere tener tanto absorción como emisión, se necesitaría un operador de salto para cada una. Esto lleva a la ecuación de Lindblad más común que describe la amortiguación de un oscilador armónico cuántico (que representa, por ejemplo, una cavidad de Fabry-Perot ) acoplado a un baño termal , con operadores de salto.

Aquí está el número medio de excitaciones en el depósito que amortiguan el oscilador y γ es la tasa de caída. Si además sumamos la evolución unitaria adicional generada por el oscilador armónico cuántico hamiltoniano con frecuencia , obtenemos

Se pueden incluir operadores Lindblad adicionales para modelar diversas formas de desfase y relajación vibratoria. Estos métodos se han incorporado a los métodos de propagación de matrices de densidad basados ​​en cuadrículas .

Ver también

Referencias

  1. ^ abcd Breuer, Heinz-Peter; Petruccione, F. (2002). La teoría de los sistemas cuánticos abiertos . Prensa de la Universidad de Oxford. ISBN 978-0-1985-2063-4.
  2. ^ Weinberg, Steven (2014). "Mecánica cuántica sin vectores de estado". Física. Rev. A. 90 (4): 042102. arXiv : 1405.3483 . Código Bib : 2014PhRvA..90d2102W. doi : 10.1103/PhysRevA.90.042102. S2CID  53990012.
  3. ^ Manzano, Daniel (2020). "Una breve introducción a la ecuación maestra de Lindblad". Avances de la AIP . 10 (2): 025106. arXiv : 1906.04478 . Código Bib : 2020AIPA...10b5106M. doi : 10.1063/1.5115323. S2CID  184487806.
  4. ^ Breuer, Heinz-Peter; Petruccione, Francesco (2007). La teoría de los sistemas cuánticos abiertos . pag. 125. doi :10.1093/acprof:oso/9780199213900.001.0001. ISBN 9780199213900.
  5. ^ Preskill, John. Apuntes de conferencias sobre Computación Cuántica, Ph219/CS219 (PDF) . Archivado desde el original (PDF) el 23 de junio de 2020.
  6. ^ Alicki, Robert; Lendi, Karl (2007). Semigrupos y aplicaciones de dinámica cuántica . Apuntes de conferencias de física. vol. 717. Saltador. doi :10.1007/3-540-70861-8. ISBN 978-3-540-70860-5.
  7. ^ Carmichael, Howard . Un enfoque de sistemas abiertos para la óptica cuántica . Springer Verlag, 1991
  8. ^ Este párrafo fue adaptado de Albert, Victor V. (2018). "Lindbladianos con múltiples estados estacionarios: teoría y aplicaciones". arXiv : 1802.00010 [cuántico-ph].

enlaces externos