Motion of a gyroscope on a closed timelike curve

Technische Samenvatting: Beweging van een Gyroscoop op een Gesloten Tijdachtige Curve

Probleemstelling
Dit artikel onderzoekt de consistentie van uitgebreide lichamen die bewegen langs Gesloten Tijdachtige Curven (CTC's) binnen het kader van de Algemene Relativiteitstheorie. Terwijl puntdeeltje-benaderingen van tijdreizen vaak uitgaan van zelfconsistentie (conform het Novikov-zelfconsistentieprincipe), bezitten uitgebreide lichamen een interne structuur die tot inconsistenties kan leiden. Het specifieke probleem dat wordt behandeld, is de beweging van een gyroscoop, gemodelleerd als een eenheidslengte ruimtelijke spin-vector loodrecht op de 4-snelheid van de waarnemer, die getransporteerd wordt langs een CTC. De kernvraag is of de spin-vector bij het voltooien van een circuit van de CTC terugkeert naar zijn initiële oriëntatie. Als de vector precesseert zodanig dat $s^a(t_0) \neq s^a(t_1)$ ondanks $\gamma(t_0) = \gamma(t_1)$, wordt de beweging als inconsistent beschouwd, wat dergelijke geschiedenissen voor uitgebreide lichamen potentieel uitsluit.

Methodologie
De auteur modelleert de beweging van de gyroscoop met behulp van Fermi-Walker (FW) transportvergelijkingen langs een stuksgewijs $C^2$ CTC, $\gamma$, met periode $T$. De spin-vector $s^a$ voldoet aan:
$$u^c \nabla_c s^a = (u^a a_b - a^a u_b) s^b$$
waarbij $u^a$ de raakvector is en $a^a$ de versnelling.

De analyse steunt op de eigenschappen van de FW-propagator, $\Gamma^a_{b'}$, die fungeert als een fundamentele matrix voor het lineaire stelsel van gewone differentiaalvergelijkingen (ODE's) die het transport regelen. Omdat de coëfficiënten van de transportvergelijking periodiek zijn (vanwege de periodiciteit van de CTC), past de auteur de Floquet-Lyapunov-stelling toe.

Belangrijke stappen in de methodologie zijn:

1. Monodromie-matrix Analyse: Het definiëren van de monodromie-matrix $M^a_{b'} = \Gamma^a_{b'}(T)$, die de initiële spin-vector in kaart brengt naar de staat na één periode.
2. Eigenwaardedecompositie: Het analyseren van de eigenwaarden van $M$. Aangezien FW-transport inwendige producten behoudt en de snelheidsvector $u^a$ zelf een periodieke oplossing is, heeft $M$ een eigenwaarde van 1 die overeenkomt met $u^a$. De restrictie van $M$ tot de subruimte loodrecht op $u^a$ (de ruimte van spin-vectoren) is een element van $SO(3)$.
3. Periodiciteitsvoorwaarden: Het bepalen van de voorwaarden waaronder alle spin-vectoren $T$-periodiek zijn. Dit vindt plaats indien en slechts indien de rotatiehoek $\theta$ geassocieerd met de eigenwaarden \{1, e^{i\theta}, e^{-i\theta\} van de orthogonale subruimte nul is (of een veelvoud van $2\pi$).
4. Gevalsstudies: Het toepassen van dit formalisme op specifieke ruimtetijden die CTC's toestaan:
   • Stationaire cilindrisch symmetrische ruimtetijden (Gödel, Som-Raychaudhuri, Van Stockum/Tipler-machines).
   • Kerr-ruimtetijd (interieurregio).
   • Taub-NUT-ruimtetijd.
   • Ori's asymptotisch vlakke tijdmachine.

Belangrijkste Bijdragen en Resultaten

• Algemeen Theoretisch Kader:

  • Propositie 1: Elke $T$-periodieke CTC staat ten minste één $T$-periodieke spin-vector toe.
  • Propositie 2: Voor een gegeven CTC is óf elke spin-vector $T$-periodiek, óf is de verzameling initiële gegevens die een periodieke spin-vector oplevert van maat nul (specifiek, slechts twee punten op de eenheidssfeer $S^2$). De gyroscopische beweging is dus ofwel universeel consistent, ofwel generiek inconsistent.

• Analyse van Specifieke Ruimtetijden:

  • Stationaire Cilindrisch Symmetrische Ruimtetijden: De voorwaarde voor alle spin-vectoren om periodiek te zijn, reduceert tot een resonantieconditie waarbij de periode van de CTC ($T_\gamma$) een geheel getal is van de precessieperiode van de spin-vector ($T_s$). Dit leidt tot een "Gödel-profiel" waar consistente beweging alleen voorkomt voor een aftelbare verzameling radii (discrete waarden van $r$). Voor alle andere radii blijft slechts één specifieke spin-vectororiëntatie consistent.
  • Kerr-ruimtetijd: Vergelijkbare resonantiecondities zijn van toepassing in het equatoriale vlak. Consistente beweging is beperkt tot een aftelbare verzameling radii binnen de "totally vicious" regio ($r < 0$).
  • Taub-NUT-ruimtetijd: In tegenstelling tot de voorgaande voorbeelden levert de voorwaarde voor consistentie een eindig (of nul) aantal oplossingen op, afhankelijk van de NUT-parameter. In veel parameterregimes bestaan er geen CTC's waarbij alle spin-vectoren periodiek zijn.
  • Ori's Tijdmachine: Zuiver toroidale CTC's in deze ruimtetijd laten consistente gyroscopische beweging toe. Echter, een perturbatie die poloidale beweging introduceert, verbreekt deze consistentie en brengt het systeem terug naar het generieke geval van inconsistente beweging.

Betekenis en Conclusies
Het artikel concludeert dat de consistente evolutie van een gyroscoop langs een CTC generiek niet mogelijk is. In een mathematisch nauwkeurige zin is de deelverzameling van CTC's die consistente gyroscopische beweging toestaan (geparameteriseerd door continue reële variabelen) voor de bestudeerde families van CTC's hoogstens aftelbaar (een verzameling van maat nul).

De auteur voert aan dat hoewel tijdreizen voor puntdeeltjes zelfconsistent kan zijn, de inclusie van interne structuur (gemodelleerd door de hier beschreven FW-transportvergelijkingen) fundamentele beperkingen introduceert die geschiedenissen generiek uitsluiten. De "praktische moeilijkheid" voor een tijdreiziger is dat hun inertieel kompas (de gyroscoop) roteert ten opzichte van zijn initiële oriëntatie bij terugkeer naar hetzelfde ruimtetijd-gebeurtenis, wat een paradox van identiteit creëert voor uitgebreide lichamen.

Het artikel postuleert een conjectuur dat deze generieke inconsistentie geldt voor alle tijd-oriënteerbare ruimtetijden. Hoewel de verstrekte voorbeelden specifiek zijn, suggereert de auteur dat de open en dichte aard van de inconsistente CTC's (ondersteund door de continue afhankelijkheid van de ODE-oplossingen van parameters) impliceert dat consistentie een uitzonderlijke, in plaats van een generieke, eigenschap is in ruimtetijden die CTC's toestaan. Dit daagt de levensvatbaarheid van tijdreizen voor uitgebreide lichamen onder de klassieke Algemene Relativiteitstheorie uit.