Notes on LSZ, i epsilon Prescriptions and Perturbation Theory, in QFT and Cosmology

Este artículo revisa el argumento original de Lehmann et al. sobre la relación entre la matriz S y las funciones de correlación, aclara el origen de las prescripciones $i\epsilon$ sin asumir un vacío libre en tiempos asintóticos y aplica estos conceptos a la cosmología inflacionaria, demostrando que las deformaciones de contorno que violan la unitariedad son innecesarias.

Lo esencial

¡Hola! Imagina que este artículo es como un manual de instrucciones para un mecánico de autos muy avanzado, pero en lugar de motores, estamos hablando del universo y de cómo las partículas interactúan. El autor, S. P. de Alwis, quiere arreglar algunos malentendidos comunes sobre cómo calculamos las probabilidades de que las partículas choquen o se comporten de cierta manera.

Aquí tienes la explicación en español, usando analogías sencillas:

1. El Problema: "Apagar la luz" para ver mejor

En los libros de texto de física, para calcular cómo chocan las partículas (la "matriz S" o S-matrix), se suele decir que hay que asumir algo un poco extraño: que en el pasado muy lejano y en el futuro muy lejano, las partículas dejan de interactuar entre sí. Es como si dijéramos: "Para entender cómo se pelean dos boxeadores, asumamos que en el pasado y en el futuro nadie los empuja ni les da golpes".

El autor dice: "¡Eso no es real!".

• La analogía: Imagina que estás en una fiesta ruidosa. Para entender cómo la gente baila, no necesitas apagar la música y que todos se queden en silencio en los extremos del tiempo. Las partículas siempre tienen su "peso" (masa) y siempre interactúan, incluso cuando están lejos.
• La solución del autor: Demuestra que no necesitas "apagar" la interacción. Puedes usar las matemáticas correctas (un teorema llamado Riemann-Lebesgue, que es como un filtro que borra el ruido de fondo) para ver que, aunque las partículas siempre interactúan, a grandes distancias de tiempo, se comportan como si fueran libres. No hace falta inventar una realidad falsa donde la física se detiene.

2. El Truco de la "iϵ" (La receta secreta)

En física cuántica, hay un pequeño truco matemático llamado "prescripción iϵ" (una pequeña cantidad imaginaria). Es como un condimento secreto que los físicos ponen en sus ecuaciones para que los cálculos no salgan infinitos o locos.

• El malentendido: Muchos libros dicen que para obtener este condimento, tienes que deformar el tiempo, moviéndolo hacia una dirección "imaginaria" (como si el tiempo se doblara en un cuarto invisible). El autor dice que esto es peligroso porque rompe una regla sagrada llamada unitaridad (que básicamente significa que la probabilidad total siempre debe sumar 100%, ni más ni menos). Es como si, para calcular el precio de una pizza, tuvieras que cambiar las reglas de la aritmética.
• La solución del autor: No necesitas doblar el tiempo. Solo necesitas usar la "onda" correcta del vacío (el estado de energía más bajo).
  • La analogía: Imagina que quieres medir la altura de una ola en el océano. Algunos dicen: "Para verla bien, tienes que congelar el agua y mirarla desde un ángulo imposible". El autor dice: "No, solo necesitas mirar la ola real con el enfoque correcto". Si usas la "onda" real de las partículas (incluso si están interactuando), el condimento "iϵ" aparece naturalmente en la ecuación sin tener que hacer trucos extraños que rompan las leyes de la física.

3. Aplicación al Cosmos (El Universo en Expansión)

El autor lleva esta idea al estudio del universo primitivo (cosmología). Aquí, el universo se expande, así que el "fondo" cambia con el tiempo.

• El problema: Para estudiar las fluctuaciones del universo temprano, los físicos a menudo usan un truco llamado "rotación de contorno" (volver a doblar el tiempo) para elegir un estado inicial especial (el vacío de Bunch-Davies).
• La solución: El autor muestra que, al igual que en la física de partículas normal, no necesitas doblar el tiempo. Puedes trabajar directamente con el estado real del universo en expansión.
  • La analogía: Es como si quisieras predecir el clima de mañana. Algunos dicen: "Para hacerlo, imagina que el sol se detiene y el tiempo se vuelve imaginario". El autor dice: "No, solo usa las ecuaciones reales del clima actual. El resultado será el mismo, pero sin inventar un universo paralelo que viola las leyes de la naturaleza".

En Resumen: ¿Qué nos dice este papel?

El autor está diciendo: "Dejen de usar atajos que rompen las reglas".

1. No necesitas asumir que las interacciones se apagan en el infinito.
2. No necesitas deformar el tiempo hacia direcciones imaginarias para obtener resultados correctos.

Si usas las herramientas matemáticas adecuadas (funcionales integrales y las ondas correctas del vacío), obtienes los mismos resultados que los libros de texto, pero sin violar la simetría del tiempo ni la conservación de la probabilidad. Es como arreglar un reloj sin tener que desarmarlo por completo ni cambiar sus engranajes; solo necesitas saber exactamente dónde mirar.

Es un trabajo de "limpieza" teórica: quitar las suposiciones incómodas y dejar que la física hable con su propia voz real.

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "Notes on LSZ, iϵ Prescriptions and Perturbation Theory, in QFT and Cosmology" de S. P. de Alwis, estructurado según los puntos solicitados.

1. Planteamiento del Problema

El artículo aborda dos problemas fundamentales en la teoría cuántica de campos (QFT) y la cosmología de perturbaciones que a menudo se malinterpretan o se justifican mediante suposiciones poco físicas en los libros de texto:

1. La condición asintótica en el teorema LSZ: Existe una confusión común sobre si el teorema de Lehmann-Symanzik-Zimmermann (LSZ) requiere que la interacción entre partículas se "apague" adiabáticamente en tiempos asintóticos ($t \to \pm \infty$). Esta suposición es problemática porque viola la invariancia bajo traslaciones temporales y contradice la idea de que las partículas asintóticas poseen masas físicas (lo que implica que la auto-interacción no es cero).
2. La justificación de la prescripción $i\epsilon$ y la unitariedad: En la derivación de la teoría de perturbaciones (tanto en espacio plano como en cosmología), a menudo se justifica la prescripción $i\epsilon$ (necesaria para definir el propagador de Feynman y seleccionar el vacío correcto) mediante la deformación del contorno de integración temporal hacia el plano imaginario. El autor señala que esta deformación viola la unitariedad de la teoría. En cosmología, esto se usa comúnmente para justificar que el estado inicial es el vacío de Bunch-Davies (libre), pero el argumento de la deformación de contorno es innecesario y potencialmente engañoso.

2. Metodología

El autor emplea un enfoque riguroso basado en el formalismo de integrales de camino y el teorema de Riemann-Lebesgue, evitando suposiciones adiabáticas o deformaciones de contorno artificiales.

• Revisión del Teorema LSZ:

  • Se analiza la condición asintótica no como un límite fuerte de operadores (que implicaría una teoría libre), sino como un límite débil de elementos de matriz entre estados normalizables.
  • Se utiliza el Teorema de Riemann-Lebesgue para demostrar que, al tomar el límite $t \to \pm \infty$, los términos dependientes de la interacción en la expansión de Fourier del campo se anulan debido a la oscilación rápida, dejando solo los términos de la parte libre (pero con masa física).
  • Esto demuestra que la condición asintótica es una consecuencia matemática de la estructura de la teoría, no una suposición física de "apagado" de la interacción.

• Derivación de la Prescripción $i\epsilon$ (Siguiendo a Weinberg pero generalizado):

  • Se parte de la integral funcional para la amplitud de transición entre estados propios del campo en el pasado y futuro lejanos.
  • En lugar de asumir que el vacío interactuante es idéntico al vacío libre, el autor multiplica la integral funcional por las funciones de onda del vacío interactuante completo ($\Omega[\phi]$).
  • Se descompone la función de onda del vacío en una parte cuadrática (libre, $\omega_0$) y una parte no lineal (interacción, $\omega_I$).
  • Se introduce un factor de convergencia exponencial ($\epsilon$) en la integración temporal. Se demuestra que la parte cuadrática de la función de onda genera naturalmente el término $i\epsilon$ en el denominador del propagador, mientras que la parte de interacción ($\omega_I$) desaparece en el límite $\epsilon \to 0$.

• Extensión a Cosmología (Formalismo In-In):

  • Se generaliza el argumento anterior al contexto cosmológico utilizando el formalismo de "tiempo cerrado" (Closed Time Path - CTP) o formalismo in-in, necesario para calcular funciones de correlación en un tiempo finito $t$ (en lugar de la matriz S).
  • Se define la matriz densidad inicial $\rho_0$ y se construye la integral funcional sobre un contorno que va desde $-\infty$ hasta $t$ y regresa.
  • Se aplica la misma lógica de las funciones de onda del vacío interactuante para justificar la prescripción $i\epsilon$ en el propagador cosmológico sin necesidad de rotar el contorno al eje imaginario.

3. Contribuciones Clave

1. Desmitificación de la condición asintótica LSZ: El autor demuestra que el teorema LSZ no requiere que la interacción se apague adiabáticamente. La condición asintótica válida es un límite débil de elementos de matriz, lo cual es consistente con una teoría que mantiene interacciones no nulas y masas físicas en el infinito.
2. Justificación de la $i\epsilon$ sin violar unitariedad: Se proporciona una derivación de la prescripción $i\epsilon$ basada en las funciones de onda del vacío interactuante completo. Esto elimina la necesidad de deformar el contorno de tiempo hacia el plano imaginario, preservando así la unitariedad de la teoría.
3. Unificación de QFT y Cosmología: Se establece que la misma lógica funcional que justifica la teoría de perturbaciones en espacio plano (matriz S) aplica directamente a la cosmología (funciones de correlación in-in), utilizando el vacío interactuante real en lugar de un vacío libre forzado.
4. Clarificación sobre el papel de $\omega_I$: Se demuestra explícitamente que la parte no lineal de la función de onda del vacío (que contiene la información de la interacción) no afecta el resultado final de la teoría de perturbaciones, ya que se anula en el límite $\epsilon \to 0$, justificando así el uso de las reglas estándar de Feynman sin asumir que el vacío es libre.

4. Resultados Principales

• Ecuación (9) y (10): Se demuestra rigurosamente que los operadores de creación/aniquilación asintóticos son independientes del tiempo y están definidos por la parte libre del campo en el espacio de Fourier, validando la premisa de LSZ sin suposiciones adiabáticas.
• Ecuación (18) y (19): Se obtiene la fórmula generadora de funciones de correlación en el vacío interactuante. El resultado es idéntico al estándar de la teoría de perturbaciones con la prescripción $i\epsilon$ ($p^2 + m^2 - i\epsilon E_p$), pero derivado sin asumir que la interacción desaparece en el infinito.
• Ecuación (26) y (27): En el contexto cosmológico, se deriva la función generadora para el formalismo in-in. Se confirma que la prescripción $i\epsilon$ surge naturalmente de la parte cuadrática de la función de onda del vacío interactuante, permitiendo calcular funciones de correlación en tiempos finitos sin violar la unitariedad mediante rotaciones de contorno.

5. Significado e Impacto

Este trabajo es significativo porque repara las bases conceptuales de la teoría de perturbaciones en QFT y cosmología:

• Consistencia Teórica: Elimina las contradicciones lógicas presentes en muchos textos de texto, donde se asume que la interacción se apaga (violando invariancia temporal) o se deforman contornos (violando unitariedad) para obtener resultados correctos.
• Aplicabilidad Cosmológica: Proporciona una justificación sólida para el uso del vacío de Bunch-Davies y la prescripción $i\epsilon$ en inflación y cosmología de perturbaciones, sin recurrir a argumentos heurísticos de "rotación de contorno" que no tienen justificación física en un universo en expansión donde el tiempo es un parámetro dinámico.
• Robustez del Formalismo: Confirma que la teoría de perturbaciones estándar es válida incluso cuando el vacío es un estado interactuante complejo, siempre que se trate correctamente el límite asintótico como un límite débil de elementos de matriz.

En resumen, el artículo demuestra que la teoría de perturbaciones y las reglas de Feynman pueden derivarse de manera rigurosa y consistente utilizando el vacío interactuante completo, sin necesidad de "trucos" matemáticos que comprometan los principios fundamentales de la física como la unitariedad o la invariancia temporal.