stringtranslate.com

Lindbladiano

En mecánica cuántica , la ecuación de Gorini–Kossakowski–Sudarshan–Lindblad ( ecuación GKSL , llamada así por Vittorio Gorini, Andrzej Kossakowski , George Sudarshan y Göran Lindblad ), ecuación maestra en forma de Lindblad , liouvilliana cuántica o lindbladiana es una de las formas generales de ecuaciones maestras markovianas 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 las 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, lo que ha llevado a algunas especulaciones de que la mecánica cuántica puede extenderse y expandirse productivamente a través de 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 solo pueden describir estados cuánticos puros y, por lo 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 está regida por una dinámica unitaria. Esto implica que no hay decaimiento y que la coherencia de fase se mantiene durante todo el proceso, y es una consecuencia del hecho de que se consideran todos los grados de libertad que participan. Sin embargo, cualquier sistema físico real no está absolutamente aislado e interactuará con su entorno. Esta interacción con los grados de libertad externos al sistema da como resultado la disipación de energía en el entorno, lo que causa decaimiento y aleatorización de la fase. Más aún, comprender la interacción de un sistema cuántico con su entorno es necesario para comprender muchos fenómenos que se observan comúnmente, 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. Una de ellas 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 lo tanto, es vital para describir con precisión la dinámica de los llamados sistemas cuánticos abiertos.

Definición

Forma diagonal

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] )

¿Dónde está el anticonmutador ?

es el sistema hamiltoniano , que describe los aspectos unitarios de la dinámica.

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 debe determinarse a partir de modelos microscópicos de la dinámica sistema-entorno o modelarse fenomenológicamente .

son un conjunto de coeficientes reales no negativos llamados tasas de amortiguamiento . Si 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 .

La ecuación completa se puede escribir en forma de superoperador : que se asemeja a la ecuación clásica de Liouville . Por esta razón, el superoperador se denomina superoperador lindbladiano o superoperador liouvilliano . [3]

Forma general

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

donde son operadores arbitrarios y h es una matriz semidefinida positiva . Esto último es un requisito estricto para asegurar que la dinámica preserve las trazas 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.

La forma general no es en realidad más general y puede reducirse a la forma especial. Como la matriz h es semidefinida positiva, puede diagonalizarse 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 para 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 obedecen 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 L i (a menos que todos los γ i sean iguales) y la segunda transformación destruye la ausencia de traza. Por lo tanto, salvo degeneraciones entre los γ i , los L i 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 traza.

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 observable cuántico X :

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 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 reservorio markoviano. [1] Nótese que la H que aparece en la ecuación no es necesariamente igual al hamiltoniano del sistema desnudo, 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 en forma Lindblad haciendo la suposición markoviana y expandiéndose en tiempo pequeño. Un tratamiento estándar con más motivación física [6] [7] cubre tres tipos comunes de derivaciones del Lindbladiano a partir de un hamiltoniano que actúa tanto sobre el sistema como sobre el entorno: 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 suposiciones físicas específicas con respecto, por ejemplo, a las funciones de correlación del entorno. Por ejemplo, en la derivación del límite de acoplamiento débil, uno normalmente asume que (a) las correlaciones del sistema con el entorno se desarrollan lentamente, (b) las excitaciones del entorno causadas por la descomposición del sistema rápidamente, y (c) los términos que oscilan rápidamente en comparación con la escala de tiempo del sistema de interés pueden descuidarse. Estas tres aproximaciones se denominan Born, Markov y onda rotatoria, 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 solo en el subespacio respectivo del espacio de Hilbert total. Estos hamiltonianos gobiernan la dinámica interna del sistema y el baño desacoplados. Hay un tercer hamiltoniano que contiene productos de 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 excepto en casos muy particulares. Es más, bajo ciertas aproximaciones, no es necesario considerar los grados de libertad de 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 al pasar al panorama de interacción, definido por la transformación unitaria , donde es un operador arbitrario, y . Observe también 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 obtener

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

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

Al trazar sobre el baño los grados de libertad, , de la ecuación diferrointegral 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 el tamaño del baño y la debilidad relativa 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 está explícita en los grados de libertad del sistema, pero es muy difícil de resolver. Una suposición final es la aproximación de Born-Markov de que la derivada temporal de la matriz de densidad depende solo de su estado actual y no de su estado pasado. Esta suposición es válida en dinámicas de baño rápidas, en las que las correlaciones dentro del baño se pierden extremadamente rápido y equivale a reemplazar en el lado derecho de la ecuación.

Si se supone que el hamiltoniano de interacción tiene la forma

Para los operadores de sistemas y los operadores de baños , entonces ... La ecuación maestra se convierte en

que puede ampliarse como

Los valores esperados se refieren a los grados de libertad del baño. Suponiendo un rápido decaimiento de estas correlaciones (idealmente ), se logra la forma anterior del superoperador Lindblad L.

Ejemplos

En el caso más simple, sólo hay un operador de salto y no hay evolución unitaria. En este caso, la ecuación de Lindblad es

Este caso se utiliza a menudo en óptica cuántica para modelar la absorción o emisión de fotones desde un depósito.

Para modelar tanto la absorción como la emisión, se necesitaría un operador de salto para cada una. Esto conduce 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 térmico , con operadores de salto:

Aquí está el número medio de excitaciones en el depósito que amortigua el oscilador y γ es la tasa de decaimiento.

Para modelar el oscilador armónico cuántico hamiltoniano con la frecuencia de los fotones, podemos añadir una evolución unitaria adicional:

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

Véase también

Referencias

  1. ^ abcd Breuer, Heinz-Peter; Petruccione, F. (2002). La teoría de los sistemas cuánticos abiertos . Oxford University Press. ISBN 978-0-1985-2063-4.
  2. ^ Weinberg, Steven (2014). "Mecánica cuántica sin vectores de estado". Phys. Rev. A . 90 (4): 042102. arXiv : 1405.3483 . Código Bibliográfico :2014PhRvA..90d2102W. doi :10.1103/PhysRevA.90.042102. S2CID  53990012.
  3. ^ ab Manzano, Daniel (2020). "Una breve introducción a la ecuación maestra de Lindblad". AIP Advances . 10 (2): 025106. arXiv : 1906.04478 . Código Bibliográfico :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 . p. 125. doi :10.1093/acprof:oso/9780199213900.001.0001. ISBN 9780199213900.
  5. ^ Preskill, John. Apuntes de clase 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 dinámicos cuánticos y aplicaciones . Apuntes de clases de física. Vol. 717. Springer. 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 [quant-ph].

Enlaces externos