Primary Constraints of Newer General Relativity

Dieser Artikel analysiert die Struktur der primären Nebenbedingungen der Neueren Allgemeinen Relativitätstheorie durch eine vollständig nichtlineare Zerlegung ihres Lagrange-Formalismus, wobei bekannte Tensor- und Vektor-Nebenbedingungen wiedergewonnen werden, während eine bisher nicht berichtete Entartung im skalaren Sektor identifiziert wird, die je nach den Parametern der Theorie eine oder zwei zusätzliche Nebenbedingungen liefert.

Das Wesentliche

Stellen Sie sich das Universum als eine riesige, flexible Trampolinfläche vor. Seit Jahrzehnten nutzen Physiker Albert Einsteins Allgemeine Relativitätstheorie, um zu beschreiben, wie schwere Objekte (wie Sterne) diese Trampolinfläche verformen und so die Kraft erzeugen, die wir als Schwerkraft bezeichnen. Einsteins Modell hat jeden ihm gestellten Test bestanden, von der Verfolgung von Planeten bis hin zum „Hören" von Gravitationswellen.

Doch genau wie ein Auto, das perfekt läuft, aber ein mysteriöses Motorgeräusch von sich gibt, weist unser derzeitiges Verständnis der Schwerkraft gewisse „Geräusche" auf. Wir beobachten im Universum Phänomene (wie Dunkle Materie und Dunkle Energie), die unsere Gleichungen nicht ganz erklären können, ohne unsichtbare Zutaten hinzuzufügen. Wir wissen zudem, dass Einsteins Mathematik im allerzentralsten Bereich von Schwarzen Löchern versagt. Daher entwickeln Wissenschaftler neue, experimentelle Modelle der Schwerkraft, um zu prüfen, ob sie diese Probleme beheben können.

Dieser Artikel ist eine technische „Sicherheitsprüfung" eines solchen neuen Modells namens Neuere Allgemeine Relativitätstheorie.

Das neue Modell: Eine andere Art des Dehnens

In Einsteins ursprünglicher Theorie wird die Schwerkraft durch die Krümmung der Raumzeit verursacht (das Biegen der Trampolinfläche). In der „Neueren Allgemeinen Relativitätstheorie" erforschen die Autoren eine andere Idee: Was wäre, wenn die Schwerkraft aus dem Dehnen oder der Verzerrung der Gitterlinien auf der Trampolinfläche resultiert, anstatt aus dem Biegen selbst?

Sie nennen dies Nichtmetrik. Stellen Sie sich vor, die Gitterlinien der Trampolinfläche werden beim Bewegen über sie ungleichmäßig gedehnt oder gestaucht, selbst wenn die Oberfläche selbst nicht gekrümmt ist. Diese Theorie erlaubt fünf verschiedene „Regler" (mathematische Koeffizienten namens $c_1$ bis $c_5$), die steuern, wie stark das Dehnen auf verschiedene Weise stattfindet.

Das Problem: Zu viele bewegliche Teile?

Wenn man eine neue physikalische Theorie entwickelt, muss man sicherstellen, dass sie keine „Geister" (mathematische Fehler, die Unmögliches vorhersagen) oder „zusätzliche Räder" (unnötige Variablen, die die Mathematik instabil machen) enthält.

Um dies zu überprüfen, führen die Autoren eine Hamiltonsche Analyse durch. Stellen Sie sich dies vor wie das Zerlegen eines Motors, um zu sehen, wie sich die Kolben bewegen. Sie untersuchen die Beziehung zwischen:

1. Geschwindigkeit: Wie schnell sich die „Gitterlinien" ändern.
2. Impuls: Der „Schub" oder die Energie, die mit dieser Änderung verbunden ist.

In einer gesunden Theorie kann man, wenn man den Schub kennt, die Geschwindigkeit berechnen, und umgekehrt. Doch in dieser neuen Theorie kann die Karte zwischen Schub und Geschwindigkeit brechen, je nachdem, wie man diese fünf „Regler" dreht. Wenn die Karte bricht, bedeutet dies, dass das System Primäre Nebenbedingungen besitzt.

Die Entdeckung: Der „Nebenbedingungs"-Filter

Die Autoren fanden heraus, dass diese neue Theorie wie ein komplexer Filter mit drei verschiedenen Abschnitten wirkt: Tensor, Vektor und Skalar.

1. Der Tensor-Abschnitt (Der 5-Filter):
   Stellen Sie sich ein Sieb mit fünf Löchern vor. Wenn die Autoren die Regler genau richtig stellen (insbesondere, wenn der erste Regler $c_1$ null ist), bleiben fünf der „Schub"-Variablen stecken. Sie können sich nicht frei bewegen. Dies erzeugt 5 Nebenbedingungen. Dieser Teil war anderen Wissenschaftlern bereits bekannt.

2. Der Vektor-Abschnitt (Der 3-Filter):
   Dies ist wie ein Sieb mit drei Löchern. Wenn die Regler auf eine bestimmte Kombination eingestellt sind ($2c_1 + c_2 + c_4 = 0$), bleiben drei weitere Variablen stecken. Dies erzeugt 3 Nebenbedingungen. Auch dies war bekannt.

3. Der Skalar-Abschnitt (Die neue Entdeckung):
   Dies ist der interessanteste Teil. Die Autoren entdeckten eine bisher verborgene „Falle" in der Mathematik.

   • Szenario A: Für die meisten Einstellungen wirkt dieser Abschnitt wie ein Sieb mit 1 Loch und erzeugt 1 Nebenbedingung.
   • Szenario B: Wenn die Regler jedoch auf eine sehr spezifische, seltene Kombination gedreht werden, kollabiert der gesamte Abschnitt. Er wirkt wie ein Sieb mit 2 Löchern und erzeugt 2 Nebenbedingungen.

   Die große Enthüllung: Bisherige Studien übersehen diese zweite Möglichkeit. Sie gingen davon aus, dass es in diesem Abschnitt immer nur eine Nebenbedingung gäbe. Die Autoren bewiesen, dass je nach Einstellung entweder eine oder zwei „steckengebliebene" Variablen hier vorhanden sein können.

Die endgültige Zählung: Wie viele Regeln?

Durch das Mischen und Kombinieren dieser drei Abschnitte erstellten die Autoren ein komplettes „Speisekarte" möglicher Versionen dieser Theorie. Sie fanden heraus, dass die Gesamtzahl der Regeln (Nebenbedingungen), die die Theorie einhalten muss, folgende sein kann:

• 1, 2, 3, 4, 5, 6, 8, 9 oder 10.

Warten Sie, wo ist die 7?
Die Autoren weisen auf einen lustigen algebraischen Kuriosität hin: Man kann niemals genau 7 Nebenbedingungen haben. Wenn man versucht, die Regler so einzustellen, dass man 7 erhält, zwingt die Mathematik einen dazu, versehentlich stattdessen 8, 9 oder 10 zu erhalten. Es ist, als würde man versuchen, einen Turm mit 7 Blöcken zu bauen, aber die Gesetze der Physik zwingen einen entweder, einen 8. Block hinzuzufügen oder einen zu entfernen, um ihn auf 6 zu reduzieren.

Warum ist das wichtig?

Dieser Artikel sagt nicht „diese Theorie ist der Gewinner" oder „diese erklärt die Dunkle Energie". Stattdessen fungiert er als Diagnosewerkzeug.

• Er sagt uns genau, welche Versionen der „Neueren Allgemeinen Relativitätstheorie" mathematisch stabil sind und welche möglicherweise defekt sind.
• Er korrigiert Fehler in früheren Arbeiten, die die „Zwei-Nebenbedingungen"-Möglichkeit im skalaren Abschnitt übersehen hatten.
• Er liefert die Grundlage für zukünftige Arbeiten. Bevor wir fragen können, ob diese Theorie das Universum erklärt, müssen wir zuerst genau wissen, wie viele „bewegliche Teile" (Freiheitsgrade) sie besitzt. Dieser Artikel zählt diese Teile für uns.

Kurz gesagt: Die Autoren nahmen eine komplexe, experimentelle Theorie der Schwerkraft, zerlegten sie und kartierten genau, wo sich die „Bremsen" (Nebenbedingungen) befinden, und enthüllten dabei eine versteckte Komplexität, die niemand zuvor gesehen hatte.

Technische Zusammenfassung

Technische Zusammenfassung: Primäre Zwangsbedingungen der neueren Allgemeinen Relativitätstheorie

Problemstellung
Die neuere Allgemeine Relativitätstheorie (neuere ART) ist eine Gravitationstheorie, die auf einer torsionsfreien teleparallelen Geometrie basiert, wobei die Gravitationswirkung aus quadratischen Kombinationen des Nichtmetrizitätstensors mit beliebigen Koeffizienten $c_i$ konstruiert wird. Während frühere Studien spezifische Aspekte dieser Theorie untersucht haben, wie etwa die Ausbreitung von Gravitationswellen und den post-newtonschen Grenzfall, bleibt die Anzahl der propagierenden Freiheitsgrade für die allgemeinsten Modelle unklar. Die Bestimmung dieser Anzahl ist entscheidend für die Charakterisierung potenzieller Pathologien wie Geister, Probleme der starken Kopplung und Instabilitäten. Ein kritischer erster Schritt bei dieser Charakterisierung ist die hamiltonsche Analyse, insbesondere die Identifizierung primärer Zwangsbedingungen, die aus der Singularität der Legendre-Transformation resultieren. Frühere Versuche, diese Zwangsbedingungen zu klassifizieren, insbesondere in Ref. [41], enthielten Inkonsistenzen bezüglich der Hesse-Determinante und der Entartungsbedingungen im skalaren Sektor.

Methodik
Die Autoren führen die Anfangsphase des Dirac-Bergmann-Algorithmus durch, um primäre Zwangsbedingungen zu identifizieren. Die Methodik verläuft wie folgt:

1. Kanonsche Variablen: Die Theorie wird im Rahmen eines metrisch-affinen Rahmens behandelt, in dem die Metrik $g_{\mu\nu}$ und die Verbindung unabhängig sind, wobei die Verbindung jedoch auf Torsionsfreiheit und Flachheit (symmetrisch teleparallel) beschränkt ist. Die Autoren konzentrieren sich auf die Impulse, die zur Metrik konjugiert sind.
2. Hesse-Analyse: Die kanonischen Impulse werden durch Differentiation der Lagrange-Funktion nach den Metrikgeschwindigkeiten abgeleitet. Der Zusammenhang zwischen Geschwindigkeiten und Impulsen wird durch die Hesse-Matrix bestimmt. Die primären Zwangsbedingungen entsprechen dem Kern (Nullraum) dieser Hesse-Matrix.
3. Spektrale und irreduzible Zerlegung: Um den Kern zu analysieren, wenden die Autoren zwei komplementäre Ansätze an:
   • Spektrale Zerlegung: Sie zerlegen den Nichtmetrizitätstensor und den Hesse-Operator in invariante Unterräume, die den Vektor-, Tensor- und Skalarsektoren entsprechen. Dies ermöglicht die Diagonalisierung des Operators und die Identifizierung von Eigenwerten, die unter bestimmten Parameterbedingungen verschwinden.
   • Irreduzible Zerlegung (ADM): Sie nutzen die ADM-Zerlegung der Metrik, um die Hesse-Matrix in Bezug auf Lapse, Shift und Variablen der räumlichen Metrik auszudrücken. Sie konstruieren die Kernelemente explizit in Form von skalaren, vektoriellen und tensoriellen Moden, um die spektralen Ergebnisse zu verifizieren.
4. Kovariante Formulierung: Der Artikel untersucht zudem eine kovariante hamiltonsche Behandlung durch die Einführung einer tetradenähnlichen Variable $e^a_\mu = \partial_\mu \xi^a$, um die Ordnung der Ableitungen in der Verbindung zu reduzieren und Ostrogradsky-Instabilitäten zu vermeiden, die mit der Behandlung der Verbindung als fundamentale Variable zweiter Ableitung verbunden sind.

Hauptbeiträge und Ergebnisse
Der Artikel liefert eine vollständige Klassifizierung der primären Zwangsbedingungen für die neuere ART basierend auf der Entartung der Hesse-Matrix. Die wichtigsten Erkenntnisse sind:

• Sektorenzerlegung: Die Hesse-Matrix zerfällt natürlich in drei irreduzible Sektoren mit unterschiedlichen Entartungsbedingungen:

  • Tensor-Sektor: Entartet, wenn $c_1 = 0$. Dies ergibt fünf primäre Zwangsbedingungen, die den fünf unabhängigen Komponenten eines räumlichen symmetrischen, spurfreien Tensors entsprechen.
  • Vektor-Sektor: Entartet, wenn $2c_1 + c_2 + c_4 = 0$. Dies ergibt drei primäre Zwangsbedingungen, die mit räumlichen Vektoren assoziiert sind.
  • Skalar-Sektor: Wird durch einen $2 \times 2$-Matrixblock bestimmt. Die Entartungsbedingung ist durch das Verschwinden der Determinante gegeben:
    $$c_1^2 + c_1(c_2 + c_4 + 4c_3 + c_5) + 3c_3(c_2 + c_4) - \frac{3}{4}c_5^2 = 0$$
    Dieser Sektor ist komplexer als bisher verstanden. Generisch ergibt er eine skalare primäre Zwangsbedingung. Jedoch liefert er auf einer spezifischen Teilmenge der Parameter (wo der gesamte $2 \times 2$-Block verschwindet) zwei unabhängige skalare primäre Zwangsbedingungen.

• Klassifizierung von Modellen: Durch Kombination der Entartungen dieser Sektoren identifizieren die Autoren neun nichttriviale Muster primärer Zwangsbedingungen (unter Ausschluss des nicht-entarteten Falls). Die Gesamtzahl der primären Zwangsbedingungen kann 1, 2, 3, 4, 5, 6, 8, 9 oder 10 betragen. Bemerkenswerterweise ist ein Sieben-Zwangsbedingungs-Sektor algebraisch unmöglich; wenn der skalare Sektor vollständig entartet ist (2 Zwangsbedingungen), sind der Tensor- und der Vektor-Sektor ebenfalls gezwungen, entartet zu sein, was zu einem maximal entarteten Fall mit 10 Zwangsbedingungen führt.

• Korrektur der Literatur: Die Autoren identifizieren Fehler in Ref. [41], insbesondere bezüglich der Berechnung der Hesse-Determinante und der Klassifizierung skalärer Zwangsbedingungen. Sie zeigen, dass die in Ref. [41] gefundenen Bedingungen Spezialfälle ihrer allgemeineren quadratischen Gleichung (54) sind. Sie klären zudem, dass der skalare Sektor zwei Zwangsbedingungen unterstützen kann, ein Merkmal, das in früheren Arbeiten nicht isoliert wurde.

• Kovariante Zwangsbedingungen: In der kovarianten Formulierung unter Verwendung der $e^a_\mu$-Variablen leiten die Autoren neue primäre Zwangsbedingungen (Gleichung 131) her, die die zur Verbindungsvariablen konjugierten Impulse mit den metrischen Impulsen in Beziehung setzen. Diese Zwangsbedingungen sind kovariante Analoga zu denen, die in der metrischen teleparallelen Gravitation gefunden wurden.

Bedeutung
Der Artikel legt den grundlegenden Schritt für die hamiltonsche Analyse der neueren Allgemeinen Relativitätstheorie fest. Durch die rigorose Zerlegung der Hesse-Matrix und die Identifizierung der präzisen Bedingungen für Entartung bieten die Autoren einen notwendigen Rahmen für die Bestimmung der Anzahl der propagierenden Freiheitsgrade in zukünftigen Arbeiten. Die Entdeckung des Regimes mit „zwei skalaren Zwangsbedingungen" und der algebraische Ausschluss des Sieben-Zwangsbedingungs-Falls verfeinern das theoretische Landschaftsbild der symmetrisch teleparallelen Gravitation. Die Autoren stellen fest, dass diese Arbeit zwar noch nicht die endgültige Anzahl der propagierenden Freiheitsgrade bestimmt (was den vollständigen Dirac-Bergmann-Algorithmus einschließlich sekundärer Zwangsbedingungen erfordert), sie jedoch die Struktur der primären Zwangsbedingungen auflöst und frühere Inkonsistenzen in der Literatur korrigiert, wodurch sie als Voraussetzung für die Analyse der Wohlgestelltheit und Stabilität gangbarer Modelle der neueren ART dient.