Closed Timelike Curves from a Vacuum Traveling Wave

Resumen Técnico: Curvas de Tipo Tiempo Cerradas a partir de una Onda Viajera en el Vacío

Planteamiento del Problema
La existencia de Curvas de Tipo Tiempo Cerradas (CTC, por sus siglas en inglés) en la Relatividad General (RG) desafía los fundamentos de la causalidad. Si bien se han identificado diversos espaciotiempos que admiten CTC (por ejemplo, universos de Gödel, agujeros negros de Kerr, agujeros de gusano atravesables), muchos sufren de propiedades globales poco realistas, requieren materia exótica que viola las condiciones de energía clásicas o poseen horizontes inestables. Existe una tensión teórica central entre la posibilidad de "máquinas del tiempo" y la conjetura de protección de la cronología de Hawking. Específicamente, Hawking demostró que un horizonte de cronología "generado compactamente" —donde los generadores nulos quedan atrapados en una región compacta— necesariamente viola la condición de energía débil. Por el contrario, modelos como el de Ori (2003) muestran que las CTC pueden surgir de datos iniciales regulares y asintóticamente planos que respetan las condiciones de energía, pero solo si el horizonte no es generado compactamente. El desafío sigue siendo construir un modelo físicamente aceptable donde las CTC surjan dinámicamente de datos iniciales de vacío sin invocar materia exótica, aclarando simultáneamente los mecanismos geométricos que impulsan esta transición.

Metodología
Los autores construyen una solución exacta de vacío a las ecuaciones de Einstein ($G_{\mu\nu} = 0$) para servir como el núcleo geométrico de un modelo de máquina del tiempo. La métrica se define en coordenadas $(x, y, z, t)$, donde $z$ es una coordenada periódica ($0 \leq z \leq L$), representando una topología cilírica:
$$ds^2 = -2h(z, t)dtdz + [h(z, t) - f(x, y, z)] dz^2 + dx^2 + dy^2$$
La geometría está determinada por dos funciones:

1. $f(x, y, z)$: Una función armónica en el plano transverso $(x, y)$, que controla la curvatura local.
2. $h(z, t)$: Un modo de onda viajera que impulsa la evolución del espaciotiempo.

Las ecuaciones de Einstein en el vacío restringen estas funciones: $G_{xx}=G_{yy}=0$ obliga a $h(z, t)$ a ser una onda viajera (exponencial u oscilatoria), mientras que $G_{zz}=0$ se reduce a la ecuación de Laplace bidimensional para $f$, confirmando que es armónica. El tensor de Riemann es no nulo solo para las componentes $R_{izjz}$, lo que indica que la curvatura es originada por el perfil transverso $f$.

El carácter causal de los círculos cerrados en $z$ está determinado por el signo del componente métrico $g_{zz} = h(z, t) - f(x, y, z)$.

• Si $h > f$, $g_{zz} > 0$: Los círculos en $z$ son de tipo espacial.
• Si $h < f$, $g_{zz} < 0$: Los círculos en $z$ se vuelven de tipo temporal, formando CTC.

Los autores analizan una configuración específica donde $h(z, t) = \text{sech}^2(k(z - 2t))$ y $f(x, y, z) = (x^2 - y^2)/2$. Examinan la evolución desde una superficie de Cauchy parcial $S_0$ regular, asintóticamente plana y topológicamente trivial donde $h > f$ en todas partes.

Contribuciones Clave y Resultados

1. Formación Dinámica de CTC en el Vacío: El artículo demuestra que las CTC pueden surgir dinámicamente de datos iniciales regulares en una región de vacío puro ($G_{\mu\nu}=0$). A medida que la onda viajera $h(z, t)$ evoluciona, impulsa el componente métrico $g_{zz}$ de positivo a negativo, convirtiendo curvas cerradas espaciales en curvas temporales. Esta transición ocurre sin la introducción de campos de materia dentro de la región central.
2. Horizonte No Generado Compactamente: El modelo cumple con las condiciones de energía (débil, dominante y fuerte) en la superficie de datos iniciales $S_0$. El horizonte de cronología resultante no es generado compactamente; los generadores nulos emanan de una región no compacta de los datos iniciales. Por consiguiente, el teorema de Hawking que prohíbe las máquinas del tiempo generadas compactamente bajo la condición de energía débil no aplica. Esto se alinea con el marco geométrico establecido por Ori, confirmando que las condiciones de energía por sí solas no impiden la formación de CTC si el mecanismo de generación no es generado compactamente.
3. Límite Degenerado y Espinores de Killing: Los autores analizan los generadores del horizonte de cronología, específicamente la geodésica nula cerrada $\gamma$ en el eje ($x=y=t=0$).
   • En general, atravesar $\gamma$ produce un boost no nulo ($h_{boost}$), lo que hace que la geodésica sea futura-incompleta.
   • Sin embargo, bajo una "sintonización degenerada" específica donde los parámetros de la onda satisfacen $\alpha = 2\epsilon$, el boost se anula ($h_{boost} = 0$).
   • En este límite, las escalares ópticas (expansión $\theta$, cizalladura $\sigma$ y giro $\rho$) también se anulan identicamente debido a la métrica transversal rígida.
   • La anulación simultánea del boost y de las escalares ópticas ($\rho = \sigma = \theta = h_{boost} = 0$) constituye las condiciones necesarias para que la tangente del horizonte admita un espínor de Killing. Esta es una circunstancia única donde la divergencia de la polarización del vacío, que típicamente se espera que imponga la protección de la cronología, no se activa automáticamente debido a estas condiciones geométricas.

Significancia y Reivindicaciones
El artículo afirma proporcionar un mecanismo geomético concreto para el inicio de la violación de la causalidad en un espaciotiempo de vacío que respeta todas las condiciones de energía clásicas.

• Existencia Geométrica: Establece que un núcleo de vacío por sí solo puede portar el inicio de la violación de la causalidad, impulsado únicamente por la evolución de un perfil de onda viajera.
• Plausibilidad Física de los Datos Iniciales: Los autores argumentan que la configuración inicial requerida es físicamente aceptable en el sentido clásico, ya que satisface las condiciones de energía débil, dominante y fuerte. Sugieren que, si bien el costo energético de sostener la onda no está determinado en este análisis clásico, los datos iniciales en sí mismos no están descartados por las restricciones clásicas.
• Advertencias de Estabilidad: Los autores declaran explícitamente que la estabilidad de esta solución sigue siendo una cuestión abierta. Reconocen que, aunque el modelo evade la violación de la condición de energía de Hawking para horizontes generados compactamente, puede seguir siendo susceptible a perturbaciones clásicas o fluctuaciones cuánticas (inestabilidades) similares a otros modelos de máquinas del tiempo.
• Naturaleza Especulativa: El trabajo mantiene un tono modesto respecto a la realización de tal espaciotiempo. Postula que una civilización avanzada podría teóricamente diseñar tales datos iniciales o que procesos naturales podrían aproximarse a esta configuración, pero enfatiza que estas siguen siendo posibilidades especulativas pendientes de una teoría completa de la gravedad cuántica para resolver los problemas de estabilidad.

En resumen, el trabajo extiende la clase de geometrías de máquinas del tiempo conocidas al proporcionar una solución exacta de vacío donde las CTC emergen dinámicamente de datos iniciales regulares, identificando un límite degenerado específico donde el generador del horizonte admite un espínor de Killing, ofreciendo así un contraejemplo geométrico preciso a la necesidad de materia exótica para la formación de CTC bajo condiciones no generadas compactamente.