From the Wavefunction of the Universe to In-In-Correlators: A Perturbative Map to All Orders

Resumen Técnico: "De la función de onda del universo a los correladores in-in: un mapa perturbativo a todos los órdenes"

Planteamiento del problema
El cálculo de los observables cosmológicos primordiales, específicamente las funciones de correlación en el mismo tiempo, depende en gran medida de dos marcos distintos: el formalismo de Schwinger–Keldysh in-in y el enfoque de la Función de Onda del Universo (WfU). Si bien la equivalencia conceptual entre estos dos métodos está bien establecida, un mapeo sistemático y explícito entre sus respectivos expansiones diagramáticas ha permanecido elusivo. El formalismo de Schwinger–Keldysh utiliza un conjunto "duplicado" de grados de libertad (vértices negros y blancos) para preservar la causalidad y la unitariedad, lo que conduce a una proliferación de diagramas con integrales temporales anidadas que son difíciles de organizar. Por el contrario, el enfoque WfU organiza la dinámica mediante coeficientes de la función de onda ($\psi_n$), los cuales son ventajosos para aplicar el programa del bootstrap cosmológico, pero carecen de una conexión transparente, orden por orden, con los correladores in-in estándar. El artículo aborda la brecha en la construcción de un mapa perturbativo riguroso que traduzca los diagramas de un marco al otro a todos los órdenes.

Metodología
El autor construye este mapa analizando la estructura diagramática de ambos formalismos utilizando un enfoque de funcional generador que evita las aproximaciones de punto de silla, trabajando directamente con la integral de trayectoria completa. La metodología procede a través de varias etapas clave:

1. Derivación de las reglas de la WfU: El artículo deriva primero las reglas diagramáticas para calcular los coeficientes de la función de onda $\psi_n$ a partir de una integral de trayectoria en el bulk con un tiempo de frontera fijo $t_f$. Esto implica definir un propagador de bulk-a-bulk ($G$) que se anula en la frontera $t_f$, distinto del propagador de Feynman estándar.
2. Descomposición de los correladores: Las funciones de correlación en el mismo tiempo se expresan en términos de coeficientes de la función de onda. El autor introduce una descomposición refinada donde los coeficientes de la función de onda se expanden basándose en el número de vértices en el bulk ($V$) y sus subestructuras topológicas específicas ($t$).
3. Partición y coloración de grafos: Una técnica central consiste en representar un grafo conectado de $V$ vértices en el bulk y $n$ patas externas como una colección de particiones. A cada partición se le asigna un "color" (negro o blanco), correspondiente a la naturaleza compleja conjugada de los vértices en el formalismo de Schwinger–Keldysh.
4. Propagadores compuestos: El autor define propagadores compuestos que conectan vértices del mismo color (líneas dobles) y vértices de diferentes colores (líneas simples). Crucialmente, la suma sobre todas las particiones admisibles de un grafo con un esquema de coloración específico permite que los propagadores de línea doble del "mismo color" se reorganicen en los propagores de Schwinger–Keldysh estándar ($G_{++}, G_{--}, G_{+-}, G_{-+}$).
5. Reorganización: Al sumar sobre todas las particiones válidas de un grafo consistente con un esquema de coloración específico, el autor demuestra que la expresión resultante reconstruye de manera única las reglas diagramáticas de Schwinger–Keldysh.

Contribuciones clave y resultados

• Mapa explícito a todos los órdenes: El artículo proporciona un procedimiento general y constructivo para reorganizar cualquier colección de diagramas de la WfU en diagramas de Schwinger–Keldysh, válido a todos los órdenes en la teoría de perturbaciones, incluyendo un número arbitrario de vértices de interacción y bucles (loops).
• Reorganización diagramática: Se demuestra que los diagramas de Schwinger–Keldysh (construidos con vértices negros y blancos) pueden descomponerse de forma única en sumas de diagramas de la WfU. Específicamente, un solo diagrama de Schwinger–Keldysh corresponde a una suma de diagramas de la WfU donde la estructura interna está definida por las posibles formas de particionar el grafo en subgrafos de color uniforme.
• Tratamiento de bucles (loops): El análisis clarifica el tratamiento de las integrales de bucle. Demuestra que los bucles en el formalismo de Schwinger–Keldysh se descomponen en una combinación de diagramas de bucle al nivel de los coeficientes de la función de onda y diagramas de la función de onda de nivel de árbol pegados entre sí. El artículo señala que las divergencias infrarrojas en los correladores, si existen, surgen exclusivamente de los subdiagramas que se pegan para formar bucles, lo cual es consistente con la finitud infrarroja de los coefientes de la función de onda individuales.
• Ejemplos concretos: El mapa se ilustra explícitamente para:
  • Funciones de cuatro puntos a nivel de árbol, mostrando cómo el coeficiente de la WfU de cuatro puntos $\psi_4$ y los productos de coeficientes de tres puntos $\psi_3$ se combinan para formar el correlador in-in.
  • Funciones de tres puntos de un bucle, detallando cómo diferentes topologías en el formalismo de Schwinger–Keldysh se mapean a combinaciones específicas de $\psi_3$, $\psi_5$ y productos de coeficientes de menor orden.
  • Funciones de cuatro puntos de un bucle, demostrando la complejidad de la partición para funciones de mayor orden.

Significancia
El artículo sostiene que este trabajo proporciona el primer procedimiento sistemático, orden por orden, que mapea los diagramas calculados en el formalismo de Schwinger–Keldysh a los coeficientes fundamentales de la función de onda. La significancia de este resultado radica en:

• Unificación: Cierra la brecha entre el enfoque de la WfU, amigable para el bootstrap, y el riguroso formalismo de regularización de Schwinger–Keldysh.
• Clarificación de las reglas de corte (cutting rules): El autor sugiere que este mapa puede clarificar la relación entre las diversas reglas de corte propuestas en la literatura tanto para funciones de correlación como para coeficientes de la función de onda.
• Interpretación de la unitariedad: Se especula que la correspondencia entre las particiones de grafos y los coeficientes de la función de onda es una manifestación de la unitariedad al nivel de las funciones de correlación cosmológica.
• Regulación de bucles: El mapa ofrece un marco sistemático para relacionar y comparar los diferentes procedimientos utilizados para regular las integrales de bucle dentro de cada formalismo.

El autor mantiene un tono modesto respecto a las implicaciones futuras, señalando que, aunque la lógica es lo suficientemente general como para extenderse a múltiples campos y espines más altos, el trabajo actual se centra en un único campo escalar con interacciones cúbicas para establecer el mapeo fundacional. El artículo no propone nuevas pruebas experimentales, sino que proporciona una herramienta teórica para comprender mejor la relación estructural entre dos métodos dominantes en la teoría de perturbaciones cosmológica.