EDIT: Se ha añadido una aclaración adicional en el contexto de las respuestas/comentarios recibidos hasta el 20 de enero
EDITADO: 21 de enero - Respuesta a la ampliación de Lubos adjunta [en curso, aún no completa].
EDIT: 23 de enero - Se han añadido los cálculos de Visser
EDIT: 26 de enero - Refutación de los experimentos mentales de Peter Shor
Resumen hasta la fecha (26 de enero)
La pregunta es: ¿son válidos los mecanismos de Morris, Thorne, Yurtsever (MTY) y Visser para convertir un agujero de gusano en una máquina del tiempo? La objeción al primero es que el "movimiento" de la boca de un agujero de gusano es tratado de forma inadmisible por el primero, y que el válido El tratamiento matemático de este último se aplica posteriormente de forma errónea a un caso en el que no se aplica una condición suficiente (y probablemente necesaria) (la existencia de una discontinuidad temporal). Se sostiene que los experimentos mentales existentes conducen a conclusiones incorrectas porque en el primer caso el tratamiento correcto introduce factores que rompen la equivalencia inercial entre un cohete no acelerado y la boca del agujero de gusano en movimiento, y en el segundo caso especialmente no respetan la distinción entre valores de coordenadas temporales y el espacio-tiempo separaciones.
Dado que el tratamiento detallado del caso Visser se reproduce a continuación, un argumento válido a favor de una máquina del tiempo de agujero de gusano debe mostrar cómo un intervalo $ds^2=0$ (la condición para una curva temporal cerrada) se obtiene en ausencia de una discontinuidad temporal.
Al considerar el documento de MTY (1988), se debe considerar cuidadosamente si los autores realmente transportan una boca de agujero de gusano o sólo el marco de coordenadas que es conveniente para describir una boca de agujero de gusano si uno sucedió para existir allí.
Las cuestiones relativas a los efectos cuánticos, las condiciones energéticas, y si cualquier máquina del tiempo creada podría persistir, etc., están fuera del tema; la pregunta es únicamente sobre la validez del razonamiento y las matemáticas relativas a la creación de máquinas del tiempo a partir de un agujero de gusano.
Las publicaciones originales en orden cronológico se encuentran a continuación.
En Cosmic Variance, Sean Carroll recomendó este lugar por la calidad de las contribuciones, así que pensé en probar mi pregunta sin respuesta aquí; definitivamente es para expertos.
La pregunta es sencilla, y se expondrá en primer lugar, pero complementaré la pregunta con cuestiones específicas relativas a las explicaciones estándar y a las razones por las que no puedo conciliarlas con lo que parecen ser otras consideraciones importantes. En otras palabras, no estoy negando las conclusiones, sólo digo "no lo entiendo", y me gustaría que alguien me aclarara, por ejemplo, mostrando dónde se rompen los aparentes contra-argumentos/análisis.
La pregunta es: ¿Cómo se puede convertir un agujero de gusano en una máquina del tiempo?
Cosas suplementarias.
No tengo ningún problema con los viajes en el tiempo per se, especialmente en el contexto de la RG. Los universos de Godel, las máquinas de van Stockum, las posibilidades de historias autoconsistentes, etc., etc., son todos perfectamente aceptables. La cuestión se refiere específicamente a la aplicación de la RS y la RG a los agujeros de gusano y a la creación de diferencias de tiempo entre las bocas, lo que da lugar a máquinas del tiempo, como se expone en (A) el artículo seminal de Morris, Thorne y Yurtsever (Wormholes, Time Machines, and the Weak Energy Condition, 1987) y se explica con cierta extensión en (B) el libro de Matt Visser (Lorentzian Wormholes From Einstein To Hawking, Springer-Verlag, 1996).
A -- Contexto. MTY explora el caso de un agujero de gusano idealizado en el que una boca emprende un viaje de ida y vuelta (es decir, sufre un movimiento acelerado, según el ejemplo estándar de la "Paradoja de los Gemelos" de la RS).
Lo que no me queda claro es cómo se justifican las conclusiones de MTY dado que la boca del agujero de gusano en movimiento se trata como si se moviera contra un fondo minkowskiano: concretamente, ¿puede alguien explicar cómo el movimiento del agujero de gusano es válido como un difeomorfismo que, según mis limitados conocimientos, es el único tipo de transformación múltiple permitido en la relatividad.
Elaborando... la construcción de agujeros de gusano se describe generalmente como la toma de un colector subyacente, la escisión de dos regiones esféricas y la identificación de las superficies de esas dos regiones. En el caso de MTY, si el espacio de fondo es el espacio de Minkowski y permanece sin distorsión, entonces en los tiempos t, y t' la boca del agujero de gusano que sufre el "movimiento" parece identificar diferentes conjuntos de puntos (es decir, hay que extirpar diferentes esferas de la colector subyacente) y, por lo tanto, no hay un único colector, no hay difeomorfismo. [Análogo físico suelto: doblar un trozo de papel en forma de Omega mayúscula y dejar que los "talones" se toquen... manteniendo el contacto entre ellos, el papel puede deslizarse y el punto de contacto "se mueve", pero hay diferentes conjuntos de puntos en contacto].
Estoy de acuerdo con todo lo demás del artículo, excepto con este punto, que me parece fundamental: mover una boca del agujero de gusano requiere que la métrica cambie para estirar/encoger el espacio entre los extremos del agujero de gusano, es decir, la inferencia de una máquina del tiempo es un artefacto del enfoque original en el que la variedad del espaciotiempo se trata de dos maneras incompatibles simultáneamente.
Corolario: como forma de rehacerlo de forma coherente, considere la posibilidad de colocar la boca del agujero de gusano "en movimiento" en una burbuja warp al estilo de Alcubierre (la practicidad es irrelevante, sólo proporciona un manejo ordenado de los cambios métricos), aunque en este caso v es menor que c (llámelo burbuja un-warp para el transporte sublumínico, señalando de paso que es de hecho ligeramente más practicable que un sistema de transporte superlumínico). Como en el caso de la propulsión de Alcubierre, no hay dilatación del tiempo dentro de la burbuja, y el experimento mental estándar del agujero de gusano en un cohete (Kip Thorne y muchos otros) produce un resultado nulo.
B -- Contexto. (s18.3 p239 en adelante) Visser desarrolla un cálculo que comienza con dos universos separados en los que el tiempo corre a ritmos diferentes. Estos se unen en el infinito para formar un único universo de agujero de gusano con una discontinuidad temporal. La suposición de dicha discontinuidad conduce efectivamente a la aparición de una máquina del tiempo, pero cuando se quiere fabricar una máquina del tiempo dentro de un único universo se invoca la dilatación del tiempo de la RG (una boca del agujero de gusano se coloca en un potencial gravitatorio) para hacer que el tiempo fluya a ritmos diferentes en los dos extremos del agujero de gusano (para recrear el efecto descrito en el caso de dos universos en los que el tiempo simplemente fluye de forma natural a ritmos diferentes). Sin embargo, en el caso de un simple agujero de gusano intrauniversal no hay discontinuidad temporal (ni veo cómo podría inducirse una) y la aplicación de las ecuaciones derivadas anteriormente no produce ningún efecto neto.
Por lo tanto, según leo las explicaciones, ni los efectos de la RS ni los de la RG crean una máquina del tiempo a partir de un agujero de gusano (intrauniversal).
¿En qué me he equivocado?
Muchas gracias,
Julian Moore
Edición 1: COMENTARIOS ADICIONALES
La respuesta inicial de Lubos es informativa, pero -al igual que otros comentarios (como el de Lawrence B. Crowell)- el enfoque de la respuesta se centra en la imposibilidad de un agujero de gusano apropiado per se, y no en el razonamiento y las matemáticas utilizadas por Morris, Thorne, Yurtsever y Visser.
Estoy de acuerdo (en la medida en que los entiendo) con las cuestiones de QM, sin embargo la respuesta que se busca debe asumir que un agujero de gusano puede existir y entonces eliminar las dificultades que he señalado con la creación de diferencias de tiempo entre las bocas de los agujeros de gusano. Respuesta de Peter Shor se supone que que los efectos de SR se aplicarán y simplemente ofrece una forma de poner en movimiento la boca de un agujero de gusano; la pregunta es realmente, independientemente de cómo se pueda crear el movimiento, ¿lleva y cómo lleva SR (en este caso) al efecto reclamado?
Creo que el caso de la RG es el más sencillo porque las matemáticas del libro de Visser son sencillas, y si no hay discontinuidad temporal, las ecuaciones (con las que no tengo ningún problema) dicen que no se crea ninguna máquina del tiempo al poner una boca de agujero de gusano en un potencial gravitatorio fuerte. Por tanto, la respuesta adecuada a la parte de la pregunta relativa a la RG es mostrar cómo surge una máquina del tiempo en ausencia de una discontinuidad temporal o mostrar cómo una discontinuidad podría crearse (romper cualquier condición de energía que se quiera, por lo que puedo ver el absoluto discontinuidad requerida no puede obtenerse... invocar la QM no ayudaría ya que el límite estaría manchado por los efectos de la QM.
Lubos dijo que "una asimetría podría aumentar gradualmente el retardo temporal entre los dos puntos del espacio-tiempo que están conectados por el agujero de gusano", yo estoy diciendo: "Mi aplicación de las matemáticas del experto (Visser) dice que no lo hace - ¿cómo es que mi aplicación está en error?"
El caso de la RS es mucho más complicado conceptualmente. Estoy afirmando que el movimiento del agujero de gusano de MTY es en principio imposible porque, por no decir que la boca del agujero de gusano no se "mueve". Considera una sucesión de instantáneas que muestren la boca del agujero de gusano "en movimiento" en diferentes momentos y luego visualízalas rápidamente; al igual que una película se tiene una apariencia de movimiento a partir de imágenes fijas, pero en este caso el problema es que la boca del agujero de gusano en cada fotograma es una diferentes boca. Si el fondo es un espacio de Minkowski fijo (es decir, que no se distorsiona) en los tiempos t y t' hay que extirpar diferentes regiones de la variedad subyacente para crear el agujero de gusano en esos tiempos... por lo que las variedades de agujeros de gusano son variedades diferentes. Si el fondo no es un espacio de Minkowski fijo, entonces puede distorsionarse y una boca puede "moverse", pero se trata de un efecto global y no local, y al igual que el espaciotiempo en una burbuja de urdimbre de Alcubierre, nada ocurre localmente.
Considere dos puntos A y B y primero estire y luego reduzca el espacio entre ellos mediante una ingeniería métrica adecuada: ¿hay después una diferencia de tiempo entre ellos? Un simple argumento de simetría dice que no puede haberla, así que si las bocas de los agujeros de gusano se tratan como características del colector en lugar de objetos en el colector (como parece que los trata MTY) entonces la única forma de cambiar su separación es mediante cambios métricos entre ellos y no puede surgir ninguna máquina del tiempo.
Por supuesto, si una máquina del tiempo podría se crearía de cualquier manera, de hecho, casi seguro que se destruiría a sí mismo a través de la retroalimentación... pero, para repetir, esta no es la cuestión.
Gracias a Robert Smith por poner la recompensa en esta pregunta en mi nombre, y gracias a todos los contribuyentes hasta ahora.
Edición 2: Re La expansión de Lubos
Lubos da un ejemplo de un agujero de gusano en el espacio-tiempo que parece ser una máquina del tiempo, y a continuación ofrece cuatro formas de deshacerse de la máquina del tiempo prospectiva o resultante para aquellos que se oponen en principio. Aunque comprendo las dificultades de las máquinas del tiempo, no estoy ni a favor ni en contra de ellas per sunt, así que me concentraré en la cuestión de la creación. A continuación he ilustrado mi interpretación de la descripción de Lubos.
Según tengo entendido, no hay nada en la RG que impida, en principio, tener un colector en el que dos superficies, por lo demás similares, estén conectadas de tal manera que permitan algún tipo de viaje en el tiempo. Esta es la situación que se muestra en la parte superior de la ilustración. La cuestión es cómo se puede obtener la situación de la parte superior de la ilustración a partir de la situación de la parte inferior.
Consideremos ahora la siguiente ilustración de una superficie espacial con un simple agujero de gusano (que creo que es una foliación válida de, por ejemplo, un universo toroidal). A medida que pasa el tiempo, las dos bocas se alejan gracias a la expansión del espacio entre ellas, y luego se cierran de nuevo por el proceso inverso (como indica la separación cambiante de las líneas punteadas, que permanecen estacionarias)
Edición 3: Los cálculos de Visser reproducidos para su inspección
Considere el resultado en el caso de que no haya discontinuidad temporal utilizando las ecuaciones derivadas para el caso en que haya una discontinuidad, dadas a continuación
Visser, sección 18.3, p239 La métrica general para un agujero de gusano estático esféricamente simétrico
$$ ds^2~=~-e^{2\phi(l)}~dt^2~+~dl^2~+~r^2[d\theta^2~+~sin^2\theta~d\psi^2]~(18.35) $$
Nótese que "no hay ninguna razón especial para exigir que el tiempo transcurra al mismo ritmo a ambos lados del agujero de gusano. Más concretamente, es perfectamente aceptable que $(l=+\infty)~\neq~(l=-\infty)$ "
Reducir a (1+1) dimensiones para simplificar y considerar $$ ds^2~=~-e^{2\phi(l)}~dt^2~+~dl^2~~(18.36) $$
El rango de l es (-L/2,+L/2) y l=-L/2 debe identificarse con l=+L/2. Definir
$$ \phi_\pm\equiv\phi(l=\pm~L/2); ~\Delta\phi\equiv\phi_+~-~\phi_-~~~(18.37) $$
en el cruce $l=\pm~L/2$ la métrica tiene que ser suave, es decir. $ds = \sqrt{g_{\mu\nu}{dx^\mu}{dx^\nu}}$ es suave, lo que implica que $$ d\tau=e^{\phi_-}dt_-=e^{\phi_+}dt_+~(18.38) $$ Definir el origen de las coordenadas temporales identificando los puntos $$ (0,-L/2)\equiv(0,+L/2)~~(18.39) $$ entonces la discontinuidad temporal es $$ t_+=t_-e^{(\phi_-~-~\phi_+)}~=~t_-e^{(-\Delta\phi)}~~(18.40) $$ lo que lleva a la identificación $$ (t_-,-L/2)\equiv(t_-e^{-\Delta\phi},+L/2)~(18.41) $$ que hace que la métrica sea suave a través de la unión. Consideremos ahora una geodésica nula, es decir, ds=0, que es $$ {dl\over{dt}}=\pm{e^{+\phi(l)}}~(18.42) $$ donde los diferentes signos corresponden a los rayos que se mueven a la derecha/izquierda. Integrar para evaluar para un rayo que se mueve a la derecha, con las convenciones $t_f$ es el tiempo final y $t_i$ es el tiempo inicial $$ [t_f]_+=[t_i]_-+\int_{-L/2}^{+L/2}e^{-\phi(l)}dl~(18.43) $$ entonces aplica la condición de coincidencia de discontinuidad de coordenadas para determinar que el rayo vuelve al punto de partida en el tiempo de coordenadas $$ [t_f]_-=[t_f]_+e^{\Delta\phi} = [[t_i]_-+\oint{e^{-\phi(l)}}dl]e^{\Delta\phi}~(18.44) $$ Existe una curva nula móvil cerrada a la derecha si $t[_f]_-=[t_i]_-$ es decir $$ [t_i]^R_-={{\oint{e^{-\phi(l)}dl}}\over{e^{\Delta\phi}-1}}~~~(18.45) $$
Edición 4: Los experimentos mentales de Peter Shor revisados
Peter Shor ha reconocido (a nivel de "creo que veo lo que quieres decir...") los dos argumentos contra la creación de máquinas de tiempo de agujeros de gusano (la ausencia de la discontinuidad temporal requerida en el espaciotiempo si se van a utilizar los efectos de la RG, y que el movimiento de la boca de los agujeros de gusano requiere una evolución métrica inconsistente con el argumento del espacio de Minkowksi de MTY), pero sigue creyendo que tal máquina de tiempo de agujeros de gusano puede ser creada por cualquiera de los métodos estándar que ofrece un experimento mental. Esto es una contraposición a esos experimentos mentales y, aunque no constituye una prueba de lo contrario (no creo que tales experimentos mentales sean lo suficientemente ricos como para proporcionar una prueba en cualquier sentido), creo que arroja serias dudas sobre su interpretación, socavando así las objeciones.
Los argumentos contrarios se basan en la distinción clave entre el valores de la coordenada temporal y el separación de eventos ( $ds^2$ ). Los párrafos están numerados para facilitar su consulta.
(1) Considere la clásica situación de la Paradoja de los Gemelos y el diagrama de Minkowksi asociado. Cuando la gemela que viaja regresa tiene la misma coordenada t ( $T_{return}$ ) como su hermano que se queda en casa (¿quién dijo que tenían que ser homocigotos? :) ) Como todos sabemos, a pesar de las apariencias de lo contrario en dicho diagrama, el recorrido de la hermana es en realidad más corto (gracias a los signos mixtos de la métrica), por lo que ha tardado "menos tiempo" en llegar a $T_{return}$ de lo que le costó a su hermano. Ha pasado menos tiempo, pero no está "en el pasado".
(2) Ahora considere el escenario de los gemelos equivalentes a la gravedad. Esta vez se sienta en un pozo potencial durante un tiempo y luego vuelve con su hermana que se ha quedado en el espacio plano. De nuevo su coordenada t es la misma, pero de nuevo hay una diferencia en las separaciones; esta vez la de él es más corta.
(3) Ahora, para el Gemelo viajero/cazador sustituye una boca de agujero de gusano; entonces las bocas de los agujeros de gusano se juntan lo hacen en el mismo valor de t. Las bocas en movimiento pueden haber "viajado" distancias espaciales más cortas pero no están "en el pasado"
(4) Supongamos que ahora subimos la apuesta y le damos al gemelo que viaja/se hunde una boca de gusano para que se quede con ellos...
(5) Según los relatos habituales, el Sr. A puede ver a la Sra. A retroceder en su cohete -observando así la ralentización de su reloj- o puede comunicarse con ella a través del agujero de gusano, a través del cual no ver que su reloj se ralentiza porque no hay movimiento relativo entre la boca del agujero de gusano y la Sra. A. Dado que esto parece una imagen perfectamente coherente, nos lleva inevitablemente a la conclusión de que una máquina del tiempo llega a existir en su momento.
(6) Mi objeción a esto es que hay razones para dudar de lo que se afirma que se ve a través del agujero de gusano, y si no se observa la ausencia de dilatación del tiempo a través del agujero de gusano no seremos conducidos a la creación de una máquina del tiempo. Entonces, ¿qué sería uno ve a través del agujero de gusano, y por qué?
(7) Vuelvo a la cuestión de las transformaciones admisibles de la variedad del espaciotiempo. Si la boca de un agujero de gusano se precipita "a través" del espacio, el espacio que lo rodea debe estar sujeto a distorsiones. Ahora bien, aunque hay razones para dudar de que se pueda disponer la materia de tal manera que se cree la distorsión necesaria (las diversas objeciones a la condición energética de la propuesta original de Alcurbierre, por ejemplo), nos preocupa menos la cómo y más preocupado por el ¿Qué pasa si (sobre todo porque, si el espaciotiempo no puede "moverse" para permitir que la boca del agujero de gusano se "mueva", toda la cuestión se vuelve redundante). El mismo hecho de que el espaciotiempo alrededor de la boca del agujero de gusano "en movimiento" vaya a estar distorsionado sugiere al menos la posibilidad de que lo que se observa a través del agujero de gusano sea consistente con lo que se observa en el otro sentido, o que los efectos más allá del alcance del principio de equivalencia demuestren que la observación a través del agujero de gusano no es equivalente a la observación desde un marco inercial. Desgraciadamente no tengo las matemáticas para realizar los cálculos necesarios, pero en la medida en que exista una objeción de principio a la creación de una máquina del tiempo tal y como se describe comúnmente, espero que alguien lo compruebe.
(8) ¿Qué pasa entonces con el gemelo que se moja? En este caso no hay "movimiento" de la boca del agujero de gusano, por lo que no se pueden buscar efectos compensatorios del movimiento. Sin embargo, creo que se puede recurrir a la métrica en busca de ayuda. Supongamos que la boca del agujero de gusano en el pozo gravitatorio está realmente incrustada en un poco de espacio plano, entonces (suponiendo que el propio agujero de gusano es esencialmente plano) la transición de curvatura ocurre fuera de la boca y mirar a través del agujero de gusano debería ser como mirar alrededor de él: El Sr. A parece muy ralentizado. Si, por el contrario, la boca del agujero de gusano está totalmente incrustada en el espacio fuertemente curvado que también ocupa el Sr. A, entonces el agujero de gusano no puede ser uniformemente plano y, de nuevo, al mirar a través del agujero de gusano vemos exactamente lo mismo que vemos a su alrededor (al menos en lo que respecta al tictac del reloj del Sr. A.), sino que la transición del espacio plano al curvado (y, por tanto, el cambio en la frecuencia del reloj) se produce en la región interior del agujero de gusano.
(9) Tomado con los experimentos mentales "habituales", ahora tenemos puntos de vista contradictorios pero igualmente plausibles de las mismas situaciones, y ambos no pueden ser correctos. Sin embargo, creo que ningún refinamiento cualitativo resolverá la cuestión, por lo que prefiero las matemáticas, que parecen dejar bastante claro que los efectos habitualmente supuestos no se producen de hecho. Del mismo modo, si usted no está de acuerdo en que el punto de vista alternativo sea plausible, ya que el resultado "habitual" no me parece plausible, las matemáticas vuelven a ser el único terreno común en el que se puede resolver el desacuerdo. Insto a los demás a que calculen las separaciones de ida y vuelta utilizando las ecuaciones proporcionadas por el trabajo de Visser.
(10) Digo que el artículo de MTY está en un error porque trata el espaciotiempo como plano y rígido minkowskiano y luego trata el "movimiento" de una boca de agujero de gusano de una manera que es fundamentalmente incompatible con un fondo plano y rígido.
(11) Digo que Visser está en un error al aplicar su resultado (correcto) del agujero de gusano interuniversal a un agujero de gusano intrauniversal donde la ausencia de la discontinuidad temporal en este último anula el resultado.
(12) Estas objeciones han sido reconocidas, pero no se han aportado argumentos igualmente sustanciales para desvirtuarlas (es decir, para apoyar los resultados existentes); no se han abordado de frente.
(14) Tampoco me siento cómodo con ninguno de los argumentos cualitativos a favor de los agujeros de gusano-tiempo; es concebible una serie interminable de experimentos mentales, cada uno más intrincado y, en última instancia, menos convincente que el anterior. No quiero llegar a ese punto; mira las matemáticas y objeta con rigor si es posible.