Evolución unitaria incluso después de trazar grados de libertad

En mecánica cuántica suele ocurrir que cuando se trazan (es decir, se ignoran) los grados de libertad de un sistema, la evolución del sistema restante ya no es unitaria y esto se describe formalmente como la entropía de la matriz de densidad reducida ( S = T r ( ρ en ρ )) alcanzando un valor distinto de cero.

¿Por qué entonces existen ciertos sistemas mecánicos cuánticos que tienen una evolución unitaria, pero para los cuales claramente no llevamos la cuenta de todos los grados de libertad? Prácticamente cualquier sistema cuántico no relativista, como la estructura atómica, las cadenas de espín, cualquier implementación de una computadora cuántica, etc. son claramente solo teorías efectivas que ignoran la gran cantidad de grados de libertad que subyacen a la física más fundamental, es decir, la teoría cuántica de campos. Pero de alguna manera somos capaces de rastrear toda esta física subyacente en un término potencial/interacción efectivo en un hamiltoniano y así retener la unitaridad.

Ahora bien, esto no funciona completamente para todos los sistemas, particularmente es imposible ocultar el acoplamiento total de un átomo al campo EM porque tiene emisión espontánea, un efecto no unitario. Pero aún así, una gran parte de la interacción electrón/protón (que en realidad está mediada por el campo EM) puede ser capturada por el potencial de Coulomb, que ignora el campo EM pero sigue siendo unitario. Por otro lado, algunos sistemas, como ciertas implementaciones de computación/simulación cuántica, afirman ser capaces de lograr una unidad perfecta y solo están limitados por las imperfecciones del sistema. Al menos, nunca he oído hablar de nadie que hable sobre las limitaciones de unitaridad intrínseca de una computadora cuántica.

Mis preguntas son:

- ¿Bajo qué condiciones pueden ocultarse los grados de libertad subyacentes en una interacción unitaria?

- ¿Existen límites intrínsecos a la unitaridad de cualquier sistema cuántico (como que la unitaridad de un átomo esté limitada por la emisión espontánea), suponiendo que siempre rastreará una parte de la teoría de campo subyacente?

Aquí hay una publicación relacionada tangencialmente sobre la dificultad de crear grandes estados entrelazados .
@DanielSank, ¿alguna posibilidad de respuesta? Tu sugerencia sobre la eliminación adiabática me dio algo para continuar, pero parecías tan entusiasmado por responder que estoy seguro de que podrías dar una respuesta fantástica que me encantaría leer.
Pensé en la pregunta por un tiempo, pero no se me ocurrió un buen ejemplo ilustrativo. Tal vez voy a probar un poco más.

Respuestas (2)

La respuesta a su pregunta es un poco sutil y tiene que ver con las diversas formas en que podemos ignorar los grados de libertad en la física. Una forma, como mencionó, es si tiene un sistema que interactúa con su entorno pero no le importa el estado del entorno. Luego, puede realizar un seguimiento parcial de los estados ambientales y obtener una matriz de densidad reducida que describa el estado cuántico del sistema. Esta matriz de densidad reducida norte o t evolucionar unitariamente.

Sin embargo, hay otra forma de eliminar grados de libertad para simplificar su problema. Esto se llama integrar variables/campos. Supongamos que tiene una teoría que funciona con una energía arbitrariamente alta, pero solo le importan las excitaciones de baja energía de su sistema. Puede "integrar" los modos de alta energía de su sistema y obtener una teoría de campo efectivo de baja energía que aún es unitaria (siempre que permanezca en baja energía). Si está familiarizado con QFT, un ejemplo común de esto es la teoría de los Cuatro Fermi obtenida al integrar los bosones W y Z muy pesados ​​del modelo estándar.

La razón por la que puedes integrar los bosones W y Z a baja energía es que son extremadamente masivos en comparación con las otras partículas de la teoría. Por lo tanto, a baja energía nunca se pueden producir. Entonces, cuando integras la W y la Z, en realidad no estás ignorando nada. pags h y s i C a yo como si realizara un seguimiento parcial de un entorno. (Si estuviera trabajando a energías lo suficientemente altas como para producir bosones W y Z, estaría ignorando las partículas físicas, por lo que su teoría ya no sería unitaria).

Para usar un ejemplo que mencionó: ¿por qué no puede integrar los campos EM para obtener una teoría efectiva para los átomos de hidrógeno? La razón es que los fotones no tienen masa, por lo que no importa en qué energías esté trabajando, siempre se pueden crear fotones. Por lo tanto, la integración de fotones implicaría ignorar los objetos físicos y daría como resultado un comportamiento no unitario.

En resumen: hay dos formas de ignorar los grados de libertad:

(1) Si ignora las cosas físicas, por ejemplo, a través de rastros parciales, entonces no tendrá un comportamiento unitario.

(2) Si está trabajando con baja energía pero simplifica su teoría ignorando la física de alta energía, entonces puede obtener una teoría efectiva de baja energía que es unitaria. Sin embargo, si lleva esta teoría de baja energía a alta energía, (generalmente) no será unitaria.

Matemáticamente es bastante simple: si su sistema general es unitario tu t o t se puede expresar como tu t o t = tu 1 tu 2 , entonces los subsistemas 1 y 2 tienen evolución unitaria incluso cuando rastreas al compañero.

El conteo de parámetros puede darle una idea muy aproximada de cuán fácil o difícil es esto. Por ejemplo, en un sistema de 2 qubits, el operador unitario general tiene 16 parámetros libres. Un unitario de 1 qubit tiene 4 parámetros. Entonces, la dimensionalidad total del espacio separable de los unitarios es 8 de las 16 dimensiones totales. A medida que su sistema se hace más grande, el unitario separable se convierte en un subespacio cada vez más pequeño del sistema total. En el mundo real, por supuesto, esto es una gran simplificación. Algunos de esos parámetros son automáticamente pequeños o cero, otros son muy difíciles de controlar.

Sin embargo, no existe ningún límite intrínseco conocido a la precisión con la que un subsistema puede hacerse unitario. Incluso su ejemplo de un átomo en un estado excitado no es tan limitado. La emisión espontánea es un proceso unitario y reversible, por lo que podemos controlarlo. Al colocar un átomo en una cavidad, es posible suprimir o mejorar la tasa de emisión espontánea. Esto se conoce como el Efecto Purcell . El límite último de la vida atómica viene dado por lo bien que se puede diseñar la cavidad.

Entiendo que si un unitario se puede escribir como producto, entonces se pueden separar los subsistemas correspondientes. Pero este es solo un caso trivial en el que los dos subsistemas no interactúan en absoluto. Estoy pensando más en tres subsistemas: A, B y un campo mediador (por ejemplo, dos dipolos magnéticos que interactúan a través del campo EM). Aquí tu t o t no se puede descomponer en A, B y partes de campo, de lo contrario no hay interacción en absoluto. Sin embargo, a veces todavía podemos ignorar la dinámica del campo y escribir un operador unitario solo para A,B (por ejemplo, potencial dipolar).
@ user2640461 Tiene razón al cuestionar eso. La cualidad esencial es si estos grados adicionales de libertad son o no adiabáticos a lo largo de la evolución. Los criterios dados por Evan son suficientes pero no necesarios. Creo que estás preguntando por qué el campo mediador puede eliminarse de modo que el unitario restante sea separable como ha escrito Evan. ¿Entiendo bien tu pregunta?
Más bien: ¿Se puede eliminar el campo mediador de manera que la evolución de la matriz de densidad restante (de A, B) sea unitaria? Que el unitario restante sea separable (en A y B) sería demasiado fuerte, ya que eso nuevamente no daría interacción entre A y B. He oído hablar del concepto de "eliminación adiabática" antes, ¿estás sugiriendo que esto es lo que hay? ¿desempeñar?
@ user2640461 Bien, lo tengo. Sí, la eliminación adiabática es un concepto relacionado. Estaba tratando de preparar un buen problema de ejemplo en el que podamos resolver todo y ver explícitamente por qué las dinámicas reducidas de A y B son unitarias, pero aún no he encontrado un ejemplo completo. Aunque seguiré intentándolo más tarde. Esta es una excelente publicación de Physics.SE y merece una respuesta completa.