Decoherencia cuántica

Sebastian Fortin
CONICET - Universidad de Buenos Aires

De DIA

La decoherencia cuántica es el proceso que produce la pérdida de coherencia de un estado cuántico. Se puede entender como la destrucción de la interferencia cuántica; la interferencia es el resultado de una de las características más peculiares de la mecánica cuántica, el principio de superposición. Por este motivo la decoherencia juega un papel central en la explicación de cómo las propiedades clásicas de un sistema surgen a partir de su naturaleza cuántica. Las aplicaciones del proceso incluyen diversos problemas de interés físico, biológico, químico, informático y filosófico. Según la versión más aceptada de la decoherencia, ésta se produce a causa de la interacción del sistema cuántico bajo estudio con su ambiente.


1 Antecedentes  

El nacimiento de la mecánica cuántica a principios del siglo XX planteó a los investigadores una serie de interrogantes y problemas a resolver, muchos de los cuales actualmente son aún objeto de estudio y motivo de intensos debates. Los intentos de abordar estas cuestiones han dado lugar a una multiplicidad de interpretaciones de la cuántica e innumerables desarrollos teóricos que, de una manera u otra, enriquecen el conocimiento científico acerca de la teoría. Uno de los problemas más atendido por los investigadores consiste en la dificultad teórica de explicar cómo los aparatos de medición con indicadores clásicos (aguja, pantalla, etc.) son capaces de arrojar resultados cuando miden sistemas cuánticos. Este problema es conocido como el problema de la medición (von Neumann 1932, Ballentine 1990, Bub 1997). Otra cuestión que ha sido objeto de múltiples investigaciones es el problema del límite clásico (Bohm 1989, Schlosshauer 2007). Según el principio de correspondencia (Bohr 1920) debería existir un mecanismo que explicara, por medio de algún límite, la aparición de las leyes de la mecánica clásica a partir de las leyes de la mecánica cuántica. El problema del límite clásico consiste en encontrar un mecanismo que pueda explicar la física clásica partiendo de la mecánica cuántica.

Los problemas brevemente mencionados en el párrafo anterior tienen algo en común: la necesidad de hallar un vínculo entre el mundo cuántico y el clásico. La forma en que se ha intentado establecer este vínculo en la historia de la cuántica incluye desarrollos de muy diferente tipo, como, por ejemplo, el Teorema de Ehrenfest (Ehrenfest 1927, Sakurai 1994), la Transformada de Wigner (Wigner 1932, Fortin, Narvaja y Lastiri 2009), la Teoría de las Deformaciones (Dito y Sternheimer 2002, Kontsevich 2003, Sternheimer 1998), etc. Tradicionalmente, el problema fue abordado bajo una concepción respaldada por un enfoque reduccionista, según la cual la mecánica clásica debía obtenerse como un caso límite de la mecánica cuántica de un modo análogo a la obtención de las ecuaciones clásicas de movimiento a partir de las ecuaciones de la relatividad especial. De este modo, el problema se presentaba como un caso de relación interteórica: el problema consistía en obtener la mecánica clásica a partir de la cuántica por aplicación de un límite matemático. Sin embargo, este supuesto se ha debilitado durante las últimas décadas, ya que el problema ha dejado de pensarse exclusivamente en términos de relaciones interteóricas: actualmente se admite que el límite clásico también involucra algún tipo de proceso físico. Una solución al problema consistiría en hallar un proceso específico que transformara los estados cuánticos del sistema de tal modo que, una vez concluido, resultara razonable interpretarlos como estados. Este proceso se conoce como decoherencia cuántica.

Una de las características principales de la mecánica cuántica es el principio de superposición, que da lugar a la aparición del fenómeno de interferencia, que no tiene análogo en mecánica clásica. Así, el proceso de decoherencia cumple una doble función: por un lado cancela los términos de interferencia, y por otro conduce a la regla que selecciona los candidatos a estados clásicos. Históricamente, la decoherencia concibe la cancelación de la interferencia a través de un proceso que convierte un estado puro en una mezcla estable sin términos de interferencia. Es decir, desde el punto de vista geométrico el estado de un sistema cuántico pasa de la frontera de un conjunto convexo de estados (estados puros) a su interior (estados mezcla) (Bengtsson y Yczkowski 2006, Holik, Massri y Ciancaglini 2012, Holik y Plastino 2011). Sobre esta base, la decoherencia fue estudiada en sistemas abiertos y cerrados. Esquemáticamente, pueden identificarse tres períodos en el desarrollo de este programa general (Castagnino et al. 2008):

  • Primer período. En este primer período, autores como van Kampen 1954, van Hove 1957, 1959 y Daneri, Loinger y Prosperi 1962 estudiaron la llegada al equilibrio de los sistemas irreversibles a través de los llamados “observables colectivos”, que son los observables accesibles desde el punto de vista macroscópico. De este modo, el estudio se centraba en tratar de comprender el modo en que las características clásicas macroscópicas emergen del comportamiento cuántico microscópico. Para ello se define un estado de grano grueso DQ 001.png, que lleva toda la información macroscópica del sistema. Los estudios revelaron que, bajo ciertas condiciones, DQ 001.png alcanza el equilibrio en el tiempo de relajación DQimage003.png y el sistema decohere en la autobase de DQ 001.png luego de un tiempo de decoherencia DQimage005.png. Este enfoque está basado en los métodos tradicionales utilizados para estudiar procesos irreversibles. El principal problema de este período fue la comprobación de que el tiempo de decoherencia calculado con estos primitivos formalismos resultó ser demasiado largo comparado con las mediciones experimentales (Omnès 2005).
  • Segundo período. Durante esta segunda etapa se consideraron sistemas abiertos. A un sistema cuántico abierto S se lo considera en interacción con su ambiente E, y se estudia la evolución temporal del estado reducido DQimage006.png. De acuerdo con el enfoque llamado decoherencia inducida por el ambiente (en inglés “environment-induced decoherence”, en adelante EID), desarrollado en múltiples trabajos (ver Zeh 1970, 1971, 1973, Zurek 1982, 1993, 2003), la decoherencia se produce en el sistema como resultado de su interacción con el ambiente. En el marco de este enfoque se prueba que, bajo ciertas condiciones, los estados de E (por “environment” en inglés) se vuelven ortogonales entre sí en un tiempo muy corto y, como consecuencia, la interferencia desaparece rápidamente del estado DQimage007.png del sistema. De este modo, DQimage007.png decohere en una base privilegiada adecuada luego de un tiempo de decoherencia DQimage005.png muy corto; esto resuelve el principal problema del primer período. Inicialmente, este enfoque fue concebido para estudiar el problema de la medición, bajo el supuesto de que, en realidad, los sistemas cuánticos nunca se encuentran aislados, sino que interactúan de un modo significativo con el ambiente (Zeh 1970). De este modo, un sistema abierto S interactúa con el aparato de medición M, y la evolución cuántica correlaciona los estados de ambos sistemas. Según el enfoque EID, el ambiente juega el papel de dispositivo de medición, y se dice que E mide continuamente a S. En la actualidad, el formalismo EID cuenta con diversas aplicaciones experimentales exitosas (ver Joos et al. 2003). No obstante, este enfoque ha sido cuestionado en su capacidad para ofrecer una descripción adecuada del límite clásico debido a que se enfrenta a ciertas dificultades conceptuales, entre las que cabe destacar que no puede ser aplicado a sistemas cerrados.
  • Tercer período. Aunque el enfoque EID continúa siendo el formalismo más utilizado para describir la transición entre el mundo cuántico y clásico, durante los últimos tiempos se han propuesto otros esquemas para enfrentar los problemas de EID, en particular el problema de los sistemas cerrados (Diosi 1987, 1989, Milburn 1991, Penrose 1995, Casati y Chirikov 1995a, 1995b, Adler 2003). Algunas de estas propuestas fueron diseñadas específicamente para describir procesos de decoherencia que no disipan energía desde el sistema hacia el ambiente (ver Bonifacio et al. 2000, Ford y O'Connell 2001, Frasca 2003, Sicardi Shifino et al. 2003, Gambini y Pulin 2007, 2010, Gambini, Porto y Pulin 2007, Kiefer y Polarski 2009, Polarski y Starobinsky 1996). También, en vistas de describir la decoherencia en sistemas cerrados, se ha desarrollado el enfoque de la decoherencia autoinducida (en inglés, self-induced decoherence; en adelante SID), de acuerdo con el cual un sistema cuántico cerrado con espectro continuo puede decoherir por interferencia destructiva y alcanzar un estado final donde puede obtenerse el límite clásico (ver Castagnino y Laura 1997, 2000a, 2000b, Laura y Castagnino 1998a, 1998b, Castagnino 1999, 2004, 2006, Castagnino y Lombardi 2003, 2004, 2005, Castagnino y Ordoñez 2004, Castagnino y Gadella 2006, Castagnino y Fortin 2012b).

El enfoque de la decoherencia inducida por el ambiente es considerado el enfoque ortodoxo dado que la mayor parte de los trabajos en física y filosofía lo utilizan para abordar distintos problemas, tanto prácticos como conceptuales (Bub 1997). Los desarrollos mencionados en el tercer período son motivo de investigaciones y discusiones actuales. Por este motivo, este artículo se centra en la descripción de la decoherencia abordada desde el enfoque EID.


2 El proceso de decoherencia  

Para brindar una correcta descripción del proceso de decoherencia y del significado de los resultados que ofrece, conviene repasar algunas características de los estados cuánticos. El formalismo de la mecánica cuántica fue desarrollado a lo largo de los años para dar cuenta de los distintos experimentos que constituyen su fundamento empírico. Desde las primeras versiones de la “Antigua Teoría Cuántica” (“Old Quantum Mechanics”), formulada en la década de 1910 por Bohr, Wilson, Ishiwara, Planck, Sommerfeld y otros, el formalismo sufrió muchas modificaciones y perfeccionamientos. En el presente trabajo se utilizará un tratamiento actualizado, formulado en un espacio vectorial, ya que resulta ser el más adecuado para tratar los problemas que aquí se estudiarán.


2.1 Los estados en mecánica cuántica  

Según el formalismo de la mecánica cuántica, todo sistema está representado en un espacio de Hilbert ℋ: el vector de estado, DQimage008.png, es el portador de toda la información accesible acerca del sistema. Este vector de estado evoluciona en el tiempo según la ecuación de Schrödinger, que constituye el postulado dinámico de la teoría, de manera que un estado inicial DQimage009.png se convierte en DQimage010.png al cabo del tiempo DQimage011.png.

Si bien la representación en términos de vectores de estado es apropiada en muchos casos, no es la más general. Con el vector de estado DQimage012.png es posible construir el operador de estado

DQimage013.png
(2.1)

La representación matemática del operador de estado se realiza en el espacio de Liouville ℒ, que es un espacio “más grande” que el espacio de Hilbert; por lo tanto, permite la representación de estados que no existen en el espacio de Hilbert, es decir, estados que no se pueden escribir como en la expresión (2.1). Por ello, brinda una representación más general que la tradicional en un espacio de Hilbert. En el caso discreto se puede pensar al operador de estado como una matriz, cuyos elementos evolucionan en el tiempo:

DQimage014.png
(2.2)

Comparando las expresiones (2.1) y (2.2) podemos advertir que un estado de dimensión dos está representado por un vector con dos componentes. En cambio el operador de estado correspondiente es una matriz de 2 x 2 con cuatro elementos. Los grados de libertad en la representación de operadores de estado son más. La evolución del operador de estado DQimage015.png viene dada por la ecuación de von Neumann-Liouville:

DQimage016.png
(2.3)

donde DQimage017.png es el Hamiltoniano del sistema. Por otro lado, cada propiedad física O del sistema queda representada por un observable específico DQimage018.png que pertenece al espacio de observables 𝒪, de modo que el operador DQimage019.png representa la posición, el operador DQimage020.png representa el momento, etc.


2.1.1 Estados puros y estados mezcla  

Considérese un sistema S, con una propiedad A asociada al observable DQimage021.png con autoestados DQimage022.png y autovalores DQimage023.png. Un estado puro es un estado que admite la representación en términos de vectores de estados:

DQimage024.png
(2.4)

Si bien en este caso DQimage012.png es una superposición de estados DQimage022.png y, por lo tanto, no hay certeza a la hora de predecir el resultado de una medición del observable DQimage021.png éste es un estado puro porque siempre existe un observable DQimage025.png tal que DQimage012.png sea uno de sus autoestados: tendremos absoluta certeza acerca del resultado de una medición del observable DQimage025.png. En términos del operador de estado, tenemos que DQimage015.png es una matriz con todos sus autovalores iguales a 0 excepto uno, que es igual a 1; por ejemplo para, el caso 2×2:

DQimage027.png
(2.5)

El número uno en la diagonal del operador de estado significa que existe un observable tal que si realizamos una medición entonces hay certeza acerca del resultado del experimento. Por ejemplo, si el sistema tiene el operador de estado DQimage028.png entonces su vector de estado es DQimage012.png, por otro lado DQimage012.png es autoestado de algún observable, digamos O. Entonces al medir O obtendremos como resultado DQimage029.png con probabilidad 1. A este tipo de estados se los llama estado puros porque siempre existe una base en la que el estado no es una superposición.

Si el estado no es puro, resulta imposible representarlo en términos de vectores de estado y sólo puede usarse el operador de estado. En este caso no hay certeza en la predicción del resultado de ninguna medición que pueda hacerse sobre el sistema, y al estado se lo llama mezcla. Si se diagonaliza un estado mezcla, se encuentra que todos sus autovalores son menores que 1; por ejemplo, para el caso 2×2

DQimage030.png
(2.6)

La diferencia entre este operador de estado y el de la ecuación (2.5) es que en este caso no hay ningún 1 en la diagonal, por lo tanto no existe ningún observable tal que si realizamos una medición entonces hay certeza acerca del resultado del experimento. En otras palabras no se puede representar como un vector de estado, entonces DQimage031.png.

3 Estados diagonales y no diagonales  

Si bien la distinción entre estados puros y estados mezcla resultará de suma importancia a la hora describir el proceso de decoherencia, es necesario otro ingrediente: la diagonalización del estado.

Dado un estado puro como el de la expresión (2.4), escrito en la base de autoestados del operador DQimage021.png, se obtiene un operador de estado de la forma (2.2), donde los elementos de la diagonal representan las probabilidades DQimage032.png de obtener el resultado DQimage023.png en una medición de la propiedad A. Por otra parte los elementos fuera de la diagonal DQimage033.png representan los términos de interferencia que no tienen análogo clásico y constituyen una de las características peculiares de la mecánica cuántica. Puesto que los elementos no diagonales DQimage033.png son la manifestación de la interferencia cuántica, un primer paso hacia la obtención de un límite clásico es la búsqueda de estados donde esta característica no se manifieste, es decir, estados donde estos elementos sean nulos. Estos serán los candidatos a estados clásicos. Cuando se cumple que DQimage034.png con DQimage035.png , se dice que el estado es diagonal.

El operador de estado es un operador hermítico y, por lo tanto, siempre existe una base en la que es diagonal. En efecto, el operador de estado DQimage036.png se puede representar en distintas bases, dando lugar a matrices distintas. A su vez, matemáticamente puede definirse una base particular que cambia instante a instante, en la cual la parte no-diagonal del operador de estado es siempre cero. Sin embargo, el vínculo con la realidad experimental viene dado a través de un observador con sus aparatos de medición dispuestos en un experimento, el sistema a ser medido y las condiciones ambientales del lugar donde el experimento se lleva a cabo. Es esta disposición de los sistemas involucrados lo que determina la base particular en la que se deben realizar los cálculos; en otras palabras, el ambiente selecciona una base, que suele denominarse “base privilegiada” (“preferred basis” o “pointer basis” en inglés). Así, cuando se buscan los candidatos a estados clásicos, no se deben buscar simplemente estados diagonales, sino estados diagonales en una representación particular.


3.1 La diagonalización del estado  

Teniendo en cuenta las consideraciones de los apartados anteriores, un estado que pueda considerarse clásico debe ser diagonal en la base privilegiada. Por lo tanto, un proceso que describa la transición por la cual un sistema con comportamiento cuántico pasa a tener un comportamiento clásico, debe dar lugar a la evolución desde un operador de estado inicial DQimage037.png no diagonal a un operador de estado diagonal DQimage038.png en un tiempo de decoherencia DQimage005.png. Un ejemplo muy estudiado es el caso de un proceso que transforme al operador de estado del siguiente modo:

DQimage039.png
(2.7)

En este caso, un estado puro, con términos de interferencia, se transforma en un estado mezcla sin interferencia. De este modo se obtendría una descripción clásica del sistema, donde los números DQimage040.png podrían interpretarse como probabilidades clásicas interpretadas por ignorancia. Es decir, es posible pensar que el operador de estado DQimage038.png representa un sistema que tiene sus propiedades bien definidas, pero que debe tratarse de manera estadística debido a la ignorancia del observador. Esto es, un sistema clásico.

El problema que se presenta en este punto es que la ecuación (2.3), que gobierna la evolución del operador de estado de un sistema cuántico aislado, es unitaria. Esta característica de la ecuación impide una evolución del tipo DQimage041.png, en la que el estado permanece diagonal luego del tiempo DQimage005.png. Por este motivo es necesario encontrar un mecanismo mediante el cual se rompa la unitariedad de la ecuación de evolución. El mecanismo propuesto por la decoherencia inducida por el ambiente se basa en el abandono de los sistemas aislados para pasar a considerar sistemas abiertos.


3.2 Los sistemas abiertos en mecánica cuántica  

Los sistemas aislados o cerrados evolucionan según la ecuación (2.3), que no permite la diagonalización del estado. En el caso de sistemas compuestos, el estado inicial del sistema total se construye como el producto tensorial de los estados de sus subsistemas. En el caso de un sistema compuesto de N partículas, el procedimiento es el siguiente (Landau y Lifshitz 1972):

  • Se consideran N partículas inicialmente separadas e independientes: la partícula 1 en el estado DQimage042.png, la partícula 2 en el estado DQimage043.png,... y la partícula N en el estado DQimage044.png.
  • Se asume que, a partir del instante DQimage045.png, las N partículas serán consideradas partes de un sistema compuesto total cuyo operador de estado inicial es
DQimage046.png
(2.8)
  • El operador de estado total DQimage047.png del sistema evoluciona, como todo sistema cuántico, según la ecuación de von Newman-Liouville.(2.3)
  • Es posible recuperar el estado de cualquiera de las partículas mediante una operación algebraica llamada traza parcial, que consiste en “trazar” (eliminar) los grados de libertad del resto de las partículas
DQimage048.png
(2.9)

  Este estado trazado DQimage049.png se atribuye a la partícula DQimage050.png y se llama estado reducido.

De este modo, el formalismo de la mecánica cuántica puede dar cuenta de la evolución del sistema compuesto y de sus partes. En un sentido estricto, el único estado que evoluciona según el postulado dinámico de la teoría es el estado del sistema completo, considerado como un todo. Debido a las características de la traza parcial, la evolución del operador de estado reducido DQimage049.png no está gobernada por la ecuación de Schrödinger-von Neumann, sino que en cada caso evoluciona de una manera distinta dependiendo de cuáles sean las componentes del sistema y las interacciones entre ellas. En muchos casos es posible hallar la ecuación que rige la evolución de DQimage049.png, y se la llama ecuación maestra (en inglés, master equation). Esta ecuación no tiene por qué ser unitaria; por lo tanto, en el caso de un estado reducido no existe el impedimento que impone la unitariedad de la evolución y que prohíbe la diagonalización del estado.

En resumen, los sistemas cuánticos que se encuentran en interacción con otros sistemas son denominados sistemas abiertos y se los representa mediante el operador de estado reducido que puede evolucionar de forma no unitaria. Esto abre las puertas al enfoque de la decoherencia inducida por el ambiente.


4 La decoherencia inducida por el ambiente  

Actualmente, en el ámbito de la física el problema de la medición y el límite clásico se aborda a partir de la teoría de la decoherencia inducida desde el enfoque EID. Este programa fue desarrollado por el grupo liderado por Wojciech H. Zurek (1982, 1991, 2003) con sede en el laboratorio de Los Alamos. El programa se basa en el estudio de los efectos de la interacción entre un sistema cuántico S, considerado como un sistema abierto, y su ambiente E.

El sistema S es un sistema abierto que tiene asociado un espacio de Hilbert DQimage051.png y el ambiente E es un sistema abierto que tiene asociado un espacio de Hilbert DQimage052.png. Los espacios de von Neumann-Liouville de cada uno de ellos son DQimage053.png y DQimage054.png, respectivamente. El universo U es un sistema cerrado, que tiene asociado un espacio de Hilbert DQimage055.png producto de los espacios de Hilbert que corresponden al sistema propio S y al ambiente E, es decir, DQimage056.png; por otro lado el correspondiente espacio de von Neumann-Liouville de U es DQimage057.png. Al ser U un sistema compuesto, el operador de estado inicial del sistema total se construye según (2.8), como el producto tensorial de los operadores de estados iniciales de sus subsistemas

DQimage058.png
(3.1)

El operador de estado total del sistema evoluciona según la ecuación de von Newman-Liouville.:

DQimage059.png
(3.2)

donde DQimage017.png es el Hamiltoniano del sistema total. Tomando la traza parcial del operador de estado total evolucionado, se eliminan los grados de libertad del ambiente y se recupera el operador de estado reducido evolucionado

DQimage060.png
(3.3)

La dinámica del estado reducido sí puede conducir a un estado final diagonal, pues responde a una ecuación maestra no-unitaria. Así, según el enfoque EID, el estudio de la decoherencia se basa en el estudio de la evolución del estado reducido, representado por una matriz escrita en la base privilegiada. Ya sea calculando explícitamente DQimage061.png o analizando caso por caso la ecuación maestra, es posible determinar si, bajo ciertas condiciones, el operador de estado reducido se convierte en diagonal o no. En muchos modelos de sistemas físicos, donde la cantidad de grados de libertad del ambiente es enorme, se demuestra que

DQimage062.png
(3.4)

Entonces se afirma que, como luego de un tiempo de decoherencia DQimage005.png la matriz DQimage061.png evolucionó a DQimage063.png diagonal, entonces se dio un proceso de decoherencia inducido por la gran cantidad de grados de libertad del ambiente. En palabras de Zurek, el incesante “monitoreo” que ejerce el ambiente sobre el sistema produce una “degradación” de los estados cuánticos en estados “diagonales” que, por ello, representan una situación clásica: “el ambiente destila la esencia clásica de un sistema cuántico” (Zurek 2003, 2). Esta perspectiva es útil cuando se adopta el punto de vista de un observador para el que no es posible acceder al sistema E y, por lo tanto, tampoco es posible acceder a las correlaciones entre S y E. La única información que este observador puede obtener es la que brindan los valores medios de los observables del sistema S. Entonces, desde su punto de vista, las correlaciones carecen de interés práctico: el operador de estado DQimage064.png le provee toda la información sobre el sistema S, y este sistema responde a una estadística clásica.

En resumen, dado un sistema S embebido en un ambiente E con muchos grados de libertad, la transición cuántico-clásico del sistema S puede explicarse del siguiente modo: existe una base privilegiada en la que el operador de estado reducido DQimage064.png del sistema S se vuelve diagonal en el tiempo DQimage005.png. La base privilegiada es la que indica cuál es la realidad clásica emergente: los vectores de esta base son los autovectores del observable que adquiere características clásicas.


4.1 Aplicaciones en física y filosofía de la física  

Según Maximilian Schlosshauer (2004, 1270), en la actualidad, las dificultades conceptuales de la medición cuántica pueden concentrarse en torno a dos núcleos (para una descripción detallada del problema de la medición, ver Krips 2016):

  1. El problema de la lectura definida (definite outcome): consiste en responder las pregunta tradicional acerca de la medición cuántica: ¿por qué percibimos una lectura definida en el dispositivo de medición cuando su estado es una superposición de lecturas posibles?
  2. El problema de la base privilegiada (preferred basis): dado que existe una ambigüedad teórica en la definición del observable medido debido a la posibilidad matemática de un cambio de base en la expresión del estado del sistema, ¿qué fenómeno físico selecciona tal observable?

Luego de la interacción entre el sistema y el aparato, el sistema compuesto se encuentra en un estado de superposición DQimage065.png, donde DQimage022.png y DQimage067.png son los autoestados del sistema y el aparato de medición respectivamente, mientras que DQimage067.png es el estado inicial del ambiente. Siguiendo los argumentos usuales de la teoría de la decoherencia (Zurek 1982, Schlosshauer 2007), se supone que hay un Hamiltoniano de interacción particular entre sistema, aparato y ambiente. La teoría de la decoherencia presupone la existencia de una interacción que produce una correlación entre los sistemas