The Hamiltonian constraint in the symmetric teleparallel equivalent of general relativity

This paper presents the 3+1 decomposition and Hamiltonian formulation of the symmetric teleparallel equivalent of general relativity (STEGR), explicitly demonstrating its differences from conventional general relativity in the coincident gauge and spherical symmetry to highlight potential implications for numerical relativity.

The Gist

Imagine gravity not as a mysterious force pulling things together, but as the shape of a trampoline. In the standard view of physics (General Relativity, or GR), this trampoline is made of a flexible fabric that curves and bends. Einstein taught us that massive objects like stars sit on this fabric, creating dips that make other objects roll toward them.

However, this paper explores a different way to describe that same trampoline. It's like looking at the same landscape through two different pairs of glasses: one pair sees the hills and valleys (curvature), while the other sees the twists and turns of the fabric itself (non-metricity).

Here is a simple breakdown of what the author, María-José Guzmán, is doing in this paper:

1. The "Geometric Trinity" of Gravity

The paper starts with a fascinating idea: there are three different ways to mathematically describe gravity that all predict the exact same movements for planets and stars.

• The Curvature View (GR): The standard view. Space bends.
• The Twist View (TEGR): Space is flat but twisted (like a screw).
• The Stretch View (STEGR): This is the focus of the paper. Space is flat and untwisted, but the "ruler" used to measure distances changes from point to point. This is called Symmetric Teleparallel Equivalent of General Relativity (STEGR).

Think of it like describing a city. You can describe it by the winding roads (curvature), by the traffic jams (twist), or by how the street signs change size as you walk (stretch). All three descriptions tell you how to get from A to B, but the math looks very different.

2. The "Hidden Cost" of the Math

In physics, equations often come with "boundary terms." Imagine you are calculating the cost of a road trip. The main cost is the gas (the dynamics of gravity). But sometimes, there are small fees for tolls at the very start or end of the trip (boundary terms).

Usually, physicists ignore these tolls because they don't change the route you take. However, this paper argues that in the "Stretch View" (STEGR), these tolls are actually very important when we try to do numerical simulations (computer models of gravity).

3. The 3+1 Split: Slicing Time

To simulate gravity on a computer, we have to slice the 4D universe (3 dimensions of space + 1 of time) into 3D "snapshots" that evolve over time. This is called the 3+1 decomposition.

The author takes the STEGR equations and slices them up. She finds that because of those "boundary tolls" she mentioned earlier, the math for the Hamiltonian (a master equation that tells the computer how the system evolves) looks different than in standard General Relativity.

The Analogy:
Imagine you are baking a cake.

• General Relativity is the original recipe. It works perfectly, but the instructions for mixing the batter are very complicated and involve a lot of second-order math (like measuring the speed of the speed of the mixer).
• STEGR is a modified recipe. It uses the exact same ingredients and results in the exact same cake. However, the author found a way to rewrite the mixing instructions (by moving a "boundary term" around) so that the instructions are simpler. You don't need to measure the speed of the speed; you just need to measure the speed.

4. Why This Matters for Computers (Numerical Relativity)

This is the most exciting part for the future. When scientists simulate black holes colliding or stars exploding, they use supercomputers to solve these complex equations.

• The Problem: The standard equations (GR) can be "unstable" for computers. Sometimes, tiny errors in the math grow huge, causing the simulation to crash or produce nonsense. This is often because the equations involve very sharp, second-order changes.
• The STEGR Advantage: The author shows that in the "Stretch View," the equations for how the universe changes over time are slightly different. Specifically, the "Hamiltonian constraint" (a rule the computer must follow to keep the simulation valid) is simpler.
  • In the standard view, the rule involves complex second derivatives (like looking at how fast the acceleration is changing).
  • In the STEGR view, the rule only involves first derivatives (looking at how fast things are changing).

The Metaphor:
Think of driving a car.

• GR is like driving a car where you have to constantly adjust the steering wheel based on how fast you are accelerating and how fast that acceleration is changing. It's a jerky, difficult ride for a computer to calculate smoothly.
• STEGR is like driving a car where you only need to adjust based on your current speed. The ride is smoother, and the computer can calculate the path more easily without getting confused.

5. The Spherical Symmetry Test

To prove this isn't just theory, the author tested it on a simple, round shape (spherical symmetry), like a single star.

• She wrote down the "rule" (Hamiltonian constraint) for standard gravity and the "rule" for STEGR.
• She found that the STEGR rule was indeed simpler and had fewer complicated terms. It removed some of the messy "second-order" math that makes computer simulations difficult.

The Big Takeaway

The paper doesn't say Einstein was wrong. It says, "Einstein's math is right, but for computer simulations, there might be a better way to write the instructions."

By using the Symmetric Teleparallel approach and tweaking the "boundary terms" (the tolls), we can get a version of gravity that is mathematically equivalent to Einstein's but easier for computers to handle. This could lead to faster, more stable, and more accurate simulations of the most violent events in the universe, like black hole mergers, helping us understand the cosmos better.

In short: It's like finding a shortcut in a maze. You still end up at the same treasure (the physics of gravity), but the path you take is less crowded and easier to navigate for your computer.

Technical Summary

1. Problem Statement

General Relativity (GR) can be formulated in three equivalent ways known as the "geometric trinity of gravity":

1. Curvature-based: Standard GR using the Levi-Civita connection (zero torsion, zero non-metricity).
2. Torsion-based: Teleparallel Equivalent of GR (TEGR) using a flat, torsionful connection.
3. Non-metricity-based: Symmetric Teleparallel Equivalent of GR (STEGR) using a flat, torsion-free connection with non-metricity.

While these formulations yield identical equations of motion (Einstein's equations), they differ by boundary terms in their action functionals. The paper addresses a critical gap: how these boundary terms affect the canonical structure (Hamiltonian, constraints, and evolution equations) when performing a $3+1$ decomposition.

Specifically, the author investigates whether the differences in boundary terms between GR and STEGR lead to distinct Hamiltonian constraints and evolution equations. This is significant for Numerical Relativity, where the hyperbolicity and stability of the evolution system depend heavily on the specific form of the Hamiltonian constraint and the treatment of gauge variables (lapse and shift).

2. Methodology

The paper employs the ADM (Arnowitt-Deser-Misner) formalism to perform a $3+1$ decomposition of the STEGR Lagrangian.

• Geometric Framework: The author starts with the general affine connection, decomposing it into the Levi-Civita connection, contortion (torsion), and distortion (non-metricity). For STEGR, torsion and curvature are set to zero, leaving non-metricity as the sole geometric object.
• Gauge Choice: The analysis is primarily conducted in the coincident gauge, where the connection vanishes ($\Gamma^\rho_{\mu\nu} = 0$). In this gauge, the non-metricity tensor simplifies to the partial derivative of the metric ($Q_{\rho\mu\nu} = \partial_\rho g_{\mu\nu}$).
• Lagrangian Manipulation:
  • The STEGR action is derived from the Ricci scalar $R$ by replacing it with the non-metricity scalar $Q$ plus a boundary term.
  • Crucially, the author performs an integration by parts on the spatial boundary term within the $3+1$ Lagrangian. This step is motivated by the desire to eliminate second-order spatial derivatives of the metric from the Lagrangian, aligning with the teleparallel spirit of first-order derivative dependence.
• Canonical Analysis:
  • The canonical momenta are defined.
  • The Hamiltonian is constructed via Legendre transformation.
  • Primary and secondary constraints (Hamiltonian and momentum constraints) are derived.
  • Hamilton's equations of motion are computed.
• Specific Case Study: The derived general expressions are applied to a spherically symmetric spacetime to explicitly compare the STEGR Hamiltonian constraint with the standard GR counterpart.

3. Key Contributions

• Derivation of the STEGR Hamiltonian: The paper provides the first comprehensive derivation of the Hamiltonian, Hamiltonian constraint, and momentum constraints for STEGR in the coincident gauge using the ADM formalism.
• Boundary Term Modification: The author demonstrates that by integrating by parts to remove second-order spatial derivatives, the resulting Lagrangian differs from the standard GR ADM Lagrangian. This leads to a modified Hamiltonian constraint.
• Explicit Constraint Formulation: The paper derives the explicit form of the STEGR Hamiltonian constraint ($H_0$) and momentum constraint ($H_i$), showing they differ from GR in terms involving spatial derivatives of the lapse function ($\alpha$) and the non-metricity traces.
• Spherical Symmetry Analysis: The work explicitly calculates the Hamiltonian constraint for a spherically symmetric metric, providing a concrete example where the STEGR constraint is algebraically simpler than the GR constraint (specifically, it eliminates second-order radial derivatives of the metric functions).

4. Key Results

• Modified Hamiltonian Constraint:
  In standard GR, the Hamiltonian constraint involves the 3D Ricci scalar ${}^{(3)}R$. In the modified STEGR formulation, the constraint involves the 3D non-metricity scalar ${}^{(3)}Q$ and a term involving the spatial derivative of the lapse:
  $$H_0^{STEGR} = \frac{1}{\sqrt{\gamma}}\left(\pi_{ij}\pi^{ij} - \frac{1}{2}\pi^2\right) + \sqrt{\gamma}\left[ {}^{(3)}Q - \frac{\partial_i \alpha}{\alpha}(Q^i - \tilde{Q}^i) \right]$$
  Unlike GR, where the lapse appears only as a Lagrange multiplier, in this STEGR formulation, the spatial derivative of the lapse ($\partial_i \alpha$) appears explicitly in the constraint.
• Evolution Equations:
  The evolution equation for the canonical momentum $\dot{\pi}_{ij}$ is modified. It lacks the second-order spatial derivatives of the lapse found in GR ($D_i D_j \alpha$). Instead, it contains terms with first-order derivatives of the lapse multiplied by first-order derivatives of the intrinsic metric.
• Spherical Symmetry Simplification:
  For a spherically symmetric metric $ds^2 = -\alpha^2 dt^2 + A dr^2 + r^2 B d\Omega^2$:
  • The GR constraint contains a term $-\partial_r (\partial_r \ln B)$ (second-order derivative).
  • The STEGR constraint replaces this with terms involving first-order derivatives of the metric functions ($A, B$) and the lapse ($\alpha$).
  • The result is a constraint that is "modestly simpler" and potentially more amenable to numerical discretization.

5. Significance and Implications

• Numerical Relativity: The primary significance lies in the potential advantages for numerical simulations. The elimination of second-order spatial derivatives in the evolution equations and constraints can simplify the construction of first-order hyperbolic systems. This reduces the need for auxiliary variables and may improve the stability and efficiency of numerical codes (e.g., in simulating binary black hole mergers or scalar field collapse).
• Gauge Freedom: The work highlights that the choice of boundary terms is not merely a mathematical curiosity but a form of gauge freedom that alters the canonical structure. This suggests that different formulations of gravity (TEGR, STEGR) offer different "numerical gauges" that might be better suited for specific physical regimes.
• Foundational Physics: The paper reinforces the idea that while the dynamics (equations of motion) are equivalent, the canonical structure (phase space, constraints, and boundary charges like energy and entropy) is sensitive to the formulation. This has implications for the quantization of gravity and the definition of conserved quantities in teleparallel theories.
• Future Directions: The author notes that while the spherical symmetry case shows promise, a full analysis of hyperbolicity and numerical performance in 3D is required. The work also opens the door to applying similar boundary-term manipulations to TEGR and modified gravity theories.

In summary, Guzmán's paper establishes that the Symmetric Teleparallel Equivalent of General Relativity, when treated with a specific boundary-term choice in the $3+1$ formalism, yields a distinct Hamiltonian structure that simplifies the mathematical complexity of the constraints, offering a potentially superior framework for numerical relativity simulations.