Impossibility of superluminal signalling rules out causal loops in conical spacetimes

Resumen Técnico: La imposibilidad de la señalización superlumínica descarta los bucles causales en espaciotiempos cónicos

Planteamiento del problema
Trabajos recientes dentro del "marco de afectación" [6, 7] demostraron que en un espaciotiempo de Minkowski de (1+1) dimensiones, el principio de No Señalización Superlumínica (NSS, por sus siglas en inglés) no descarta necesariamente los bucles causales operativamente detectables (específicamente, "bucles de afectación causal" o ACLs). Este resultado contraintuitivo surge porque la causalidad y la señalización son inequivalentes en presencia de un ajuste fino (fine-tuning), donde los mecanismos causales están ajustados para ocultar la señalización observable a pesar de la existencia de ciclos causales. Sin embargo, seguía siendo una pregunta abierta si este fenómeno persiste en espaciotiempos con dimensiones espaciales superiores ($d > 1$). Específicamente, ¿descarta la NSS todos los bucles causales operativamente verificables en el espaciotiempo de Minkowski de $(d+1)$ dimensiones para $d > 1$, y qué características geométricas del espaciotiempo gobiernan esta distinción?

Metodología y Marco de Trabajo
Los autores utilizan el marco de afectación, una teoría independiente de la formalización para el modelado causal que opera sobre grafos dirigidos y distribuciones de probabilidad sin asumir mecanismos físicos subyacentes específicos (clásicos, cuánticos o post-cuánticos).

1. Modelos Causales y Señalización: El marco define modelos causales mediante grafos dirigidos con nodos observados y no observados. La señalización se formaliza a través de "relaciones de afectación" ($X \models Y$), donde intervenir en las variables $X$ cambia la distribución de $Y$. Las relaciones de afectación de orden superior ($X \models Y | \text{do}(Z)$) capturan la señalización condicionada a intervenciones.
2. Irreducibilidad: Para evitar inferencias causales triviales o redundantes, el marco emplea condiciones de irreducibilidad (Irred1 e Irred3). Irred1 asegura que cada elemento en el conjunto de señalización $X$ tenga un camino causal hacia algún elemento en $Y$; Irred3 asegura que cada elemento en el conjunto de condicionamiento $Z$ tenga un camino causal hacia $Y$.
3. Incrustación en el Espaciotiempo: Los modelos causales se incrustan en el espaciotiempo, modelado como un conjunto parcialmente ordenado (poset) $T$ que representa las estructuras de los conos de luz. La NSS se formaliza como una condición de compatibilidad: para una relación de afectación de orden superior irreducible $X \models Y | \text{do}(Z)$, el futuro conjunto de $Y$ y $Z$ debe estar contenido dentro del futuro conjunto de $X$ ($\bar{F}_s(Y) \cap \bar{F}_s(Z) \subseteq \bar{F}_s(X)$).
4. Conicidad: Los autores aprovechan una propiedad de orden recientemente identificada en el espaciotiempo llamada "conicidad" [11, 12]. Un espaciotiempo es cónico si la región del futuro conjunto de un conjunto finito de puntos determina de manera única la ubicación de todos los puntos en ese conjunto que contribuyen no trivialmente a la intersección. Esta propiedad se cumple para el espaciotiempo de Minkowski de $(d+1)$ dimensiones cuando $d > 1$, pero falla para $d=1$.

Contribuciones Clave y Resultados
El artículo proporciona una prueba definitiva de que en cualquier espaciotiempo cónico, la NSS descarta todos los bucles causales operativamente detectables (ACLs). La prueba procede en dos pasos:

1. Reducción a Relaciones de Orden Cero: Los autores demuestran (Lema A.7) que cualquier conjunto de relaciones de afectación de orden superior que satisfaga las condiciones de compatibilidad en un espaciotiempo cónico puede reducirse a un conjunto equivalente de relaciones de afectación de orden cero ($X \models Y$) sin perder poder de inferencia causal ni violar las restricciones de la NSS. Esto simplifica el problema al eliminar la complejidad del condicionamiento de orden superior.
2. Prueba de Imposibilidad en Espaciotiempos Cónicos: Para las relaciones de orden cero, los autores demuestran que una incrustación no degenerada y compatible de un ACL conduce a una contradicción en espaciotiempos cónicos.
   • En un bucle causal, la condición de compatibilidad implica una cadena de relaciones de subconjuntos entre los futuros conjuntos de las variables involucradas (por ejemplo, $\bar{F}(A) \supseteq \bar{F}(Y) \supseteq \bar{F}_s(AB)$).
   • Crucialmente, en espaciotiempos cónicos, la condición de compatibilidad combinada con la propiedad de conicidad impone relaciones de subconjunto estrictas (por ejemplo, $\bar{F}(A) \supsetneq \bar{F}(Y)$).
   • Seguir el bucle conduce a una contradicción donde un conjunto está estrictamente contenido dentro de sí mismo (por ejemplo, $\bar{F}_s(AB) \supsetneq \bar{F}_s(AB)$), lo cual es imposible.
   • Por consiguiente, cualquier incrustación compatible de un ACL en un espaciotiempo cónico debe ser degenerada (es decir, todas las variables en el bucle ocupan la misma ubicación espaciotemporal), lo que la hace operativamente indetectable.

El artículo amplía este resultado definiendo "incrustaciones cónicas", mostrando que incluso en espaciotiempos no cónicos, un bucle causal compatible con la NSS requiere una forma específica de ajuste fino en la propia incrustación, donde los futuros conjuntos de conjuntos de eventos distintos se alinean precisamente.

Significado y Reivindicaciones
Los autores establecen que la relación entre el principio relativista de la NSS y la ausencia de bucles causales depende inherentemente de la geometría del espaciotiempo.

• Distinción Dimensional: El artículo resuelve la pregunta abierta respecto a $d > 1$, probando que, a diferencia del caso de $(1+1)$ dimensiones, la NSS prohíbe estrictamente los bucles causales operativamente verificables en el espaciotiempo de Minkowski de dimensiones superiores y en cualquier espaciotiempo cónico.
• Requisito de Ajuste Fino: Los resultados resaltan que para que existan bucles causales sin señalización superlumínica, se requieren dos formas de ajuste fino: uno dentro del modelo causal (para ocultar la señalización) y otro dentro de la incrustación en el espaciotiempo (para satisfacer las restricciones geométricas de la no conicidad).
• Alcance Teórico: Estos hallazgos se mantienen para teorías clásicas, cuánticas y post-cuánticas, ya que el marco de afectación es independiente de la teoría.
• Direcciones Futuras: Los autores señalan que, aunque sus reglas de inferencia son "completas" para cardinalidades de sistemas desconocidas, trabajos futuros podrían explorar si existen reglas más fuertes para sistemas fijos (por ejemplo, variables binarias) o si los resultados se extienden a modelos cíclicos que satisfagan propiedades de separación alternativas como la $\sigma$-separación o la $p$-separación. También sugieren la utilidad del marco para estudiar la emergencia del orden causal acíclico y la dirección del tiempo a partir de estructuras operacionales generales sin presuponer un espaciotiempo de fondo.