Degenerate higher-order scalar-tensor theories in metric-affine gravity

This paper constructs the metric-affine analogue of quadratic degenerate higher-order scalar-tensor (DHOST) theories, demonstrating that imposing standard degeneracy conditions and the gravitational wave speed constraint restricts the theory to a specific Palatini Class Ia branch characterized by a single free function.

The Gist

Imagine the universe as a giant, flexible trampoline. In Einstein's General Relativity, this trampoline is made of a single material: space-time. When you place a heavy ball (like a star) on it, the fabric curves, and that curvature tells other objects how to move. In this classic view, the "fabric" (the metric) and the "rules for how things slide on it" (the connection) are the same thing. They are inseparable.

But what if the trampoline had a hidden layer? What if the fabric and the sliding rules were actually two different materials glued together, capable of moving slightly independently? This is the idea behind Metric-Affine Gravity.

This paper is like a blueprint for building a new, more complex version of the universe's trampoline, one that includes a mysterious, invisible "scalar field" (think of it as a ghostly wind blowing through the fabric) and checks to make sure the whole thing doesn't fall apart.

Here is the story of the paper, broken down into simple steps:

1. The Problem: Too Many Wiggles

Physicists love to add new ingredients to their theories to explain things like Dark Energy (the force pushing the universe apart). They often add "higher-order" math terms—basically, adding more wiggles and curves to the equations.

However, there's a catch. In physics, if you add too many wiggles, the system becomes unstable. It's like trying to balance a house of cards on a shaking table; eventually, it collapses into chaos. This is called the Ostrogradski instability. It's a "ghost" in the machine that makes the theory impossible.

To fix this, physicists created a special class of theories called DHOST (Degenerate Higher-Order Scalar-Tensor). Think of DHOST as a "safety lock." It's a specific mathematical recipe that allows for complex wiggles but ensures the house of cards stays standing.

2. The New Twist: The Independent Connection

For a long time, everyone assumed the "fabric" and the "sliding rules" of the universe were locked together (Metric Gravity). But this paper asks: What if we unlock them?

In Metric-Affine Gravity, the fabric (metric) and the sliding rules (connection) are independent. This introduces new features:

• Torsion: Imagine the trampoline fabric is twisted like a corkscrew.
• Non-metricity: Imagine the fabric stretches or shrinks unevenly as you move across it.

The authors wanted to build the "DHOST safety lock" for this new, twisted, stretchy universe. They wanted to know: Can we have these complex wiggles in this new, independent setup without the universe collapsing?

3. The Solution: Solving the Puzzle

The authors started with a massive, messy equation containing every possible way the scalar field (the "wind") could interact with this twisted fabric. It was a giant algebraic soup.

Then, they did something clever:

1. They solved the "Connection Equation": They figured out exactly how the independent sliding rules (the connection) behave based on the other ingredients.
2. They "Integrated it out": They removed the connection from the equation, replacing it with a "shadow" version that only depends on the fabric.
3. The Result: The messy soup condensed into a clean, effective recipe.

The Analogy: Imagine you have a recipe for a cake that lists 50 ingredients, including a secret sauce you have to mix yourself. The authors figured out exactly how to mix that sauce based on the flour and eggs. Once they did, they realized the secret sauce wasn't actually a new ingredient at all—it just changed the flavor of the flour and eggs. The final cake recipe was much simpler than they thought.

4. The Discovery: Fewer Choices Than Expected

In the old "locked" universe (General Relativity), the DHOST safety lock required three free choices (functions) to define the theory.

In this new "unlocked" universe (Metric-Affine), the authors found that the math forces the theory to be even more rigid.

• The Reduction: The complex, twisted universe collapses down to a theory defined by only two free choices.
• The "Class Ia" Branch: They identified a specific, safe version of this theory (called Class Ia) that is stable and connects smoothly to the older, well-understood theories.

5. The Final Filter: The Speed of Light

We have a real-world constraint: Gravitational Waves (ripples in space-time caused by colliding black holes) travel at the speed of light.

When the authors applied this rule to their new theory:

• The "two-choice" theory was forced to become a "one-choice" theory.
• Essentially, the universe's "wind" and "fabric" are now so tightly constrained by the speed of light that there is only one specific way to build this theory that works.

The Big Picture

This paper is a "stress test" for a new way of looking at gravity.

• Before: We thought adding independent "sliding rules" to gravity would give us a huge playground of new theories.
• After: The authors showed that the laws of physics (specifically, the need for stability and the speed of light) are so strict that this playground shrinks down. The independent connection doesn't give us more freedom; it actually forces the theory to be more specific.

In a nutshell: The authors built a complex, twisted version of Einstein's universe, checked if it would fall apart, and found that while it can exist, it has to follow a very strict, simple recipe to keep the lights on and the gravitational waves moving at the right speed. It's a map for the "safe zone" in a very wild, new geometric landscape.

Technical Summary

1. Problem Statement

The paper addresses the gap in the systematic extension of Degenerate Higher-Order Scalar-Tensor (DHOST) theories to the metric-affine formulation of gravity.

• Context: Standard DHOST theories (specifically the quadratic Class Ia) are formulated in the metric framework where the connection is the Levi-Civita connection derived from the metric. These theories avoid the Ostrogradski instability (ghosts) through specific degeneracy conditions on the kinetic matrix.
• The Gap: In metric-affine gravity, the metric ($g_{\mu\nu}$) and the affine connection ($\Gamma^\alpha_{\beta\gamma}$) are independent variables. This introduces torsion and non-metricity (encoded in the distortion tensor). While scalar-tensor theories in metric-affine gravity exist, a systematic construction of the full quadratic DHOST operator basis in this setting, including the derivation of degeneracy conditions and the elimination of the independent connection, has been lacking.
• Goal: To construct the metric-affine analogue of quadratic DHOST theories, solve for the independent connection, and identify the specific sub-classes that remain ghost-free and consistent with gravitational wave observations (luminal propagation).

2. Methodology

The authors employ a rigorous algebraic and variational approach:

1. Action Construction: They define a general quadratic action in the metric-affine framework (Eq. 4.1). This action is linear in the Palatini curvature ($R$) and contains all operators up to quadratic order in the covariant second derivatives of the scalar field ($\phi_{\alpha\beta} = \nabla_\alpha \nabla_\beta \phi$). Crucially, the connection enters only through the curvature and these second derivatives.
2. Connection Decomposition: The independent connection is decomposed into the Levi-Civita part and a distortion tensor ($L^\alpha_{\beta\gamma}$), which encodes torsion and non-metricity.
3. Solving the Connection Equation:
   • The variation of the action with respect to the distortion tensor yields an algebraic equation of the form $M L = S$.
   • The authors perform a full tensorial decomposition of the distortion tensor using a 21-component ansatz (Eq. 4.6) involving the metric, scalar field gradients, and their derivatives.
   • They solve this system explicitly to find the distortion tensor coefficients ($l_i$) in terms of the original action functions ($F_1, F_2, A_i, Q_i, P$).
4. Effective Metric Theory: The solved distortion tensor is substituted back into the action, yielding an effective metric theory (Eq. 4.7) where the connection has been integrated out. The coefficients of this effective action ($\tilde{f}, \tilde{A}_i$, etc.) are algebraic functions of the original metric-affine parameters.
5. Imposing Degeneracy Conditions: The standard DHOST degeneracy conditions (vanishing determinant of the kinetic matrix) are imposed on the effective metric action. This selects the Class Ia branch, which is continuously connected to Horndeski and beyond-Horndeski theories.
6. Gravitational Wave Constraints: The propagation speed of gravitational waves ($c_T$) is calculated. The condition $c_T = 1$ (luminal propagation) is imposed to match observational constraints from GW170817.

3. Key Contributions and Results

A. Structural Reduction of Degrees of Freedom

• From Metric-Affine to Metric: The paper demonstrates that integrating out the independent connection in the Palatini DHOST framework results in a well-defined effective metric theory.
• Function Counting:
  • In standard metric DHOST Class Ia, the theory is defined by three free functions ($f, \alpha_2, \alpha_3$).
  • In the metric-affine (Palatini) construction, the initial action contains many functions. However, after solving the connection equation and imposing the Class Ia degeneracy conditions, the theory reduces to a two-function family, determined solely by the original functions $F_1(\phi, X)$ and $F_2(\phi, X)$.
  • Significance: The independent connection does not expand the space of viable interactions; rather, it imposes stricter algebraic constraints, reducing the number of free functions from three (metric) to two (Palatini).

B. The Palatini Class Ia Sector

• The authors derive the explicit algebraic relations between the original Palatini coefficients and the effective metric coefficients.
• They show that the functions $A_3$ and $A_5$ (which appear as free functions in the initial Palatini action) cancel out identically once the degeneracy conditions are imposed. Thus, they do not label independent degenerate theories in this sector.
• The resulting effective action (Eq. 4.8) satisfies all three degeneracy conditions by construction.

C. Luminal Propagation Constraint

• The speed of gravitational waves in this sector is given by $c_T^2 = \tilde{f} / (\tilde{f} - X\tilde{a}_1)$.
• Imposing $c_T = 1$ leads to the condition $\tilde{a}_1 = 0$.
• This condition imposes a specific algebraic relation between $F_1$ and $F_2$ (Eq. 4.13), reducing the viable theory space from a two-function family to a one-function family (specified entirely by $F_1$, with $F_2$ fixed by the relation).
• This identifies the exact "luminal Palatini DHOST Class Ia" sector.

D. Technical Derivations

• Appendices: The paper provides exhaustive technical details, including:
  • The explicit 21 coefficients ($l_1$ to $l_{21}$) of the distortion tensor (Appendix A).
  • The mapping of the original action coefficients to the effective metric coefficients (Appendix B).
  • The explicit forms of the Class Ia coefficients in terms of $F_1$ and $F_2$ (Appendix C).

4. Significance and Implications

1. Completeness of the DHOST Program: This work completes the classification of quadratic DHOST theories by extending them to the metric-affine formalism, a necessary step for theories where torsion and non-metricity play a dynamical role.
2. Phenomenological Viability: By identifying the specific sub-classes compatible with the speed of gravitational waves ($c_T=1$), the paper provides a concrete target for cosmological and astrophysical tests. The reduced one-function structure simplifies the parameter space for observational constraints.
3. Stability Mechanism: The paper clarifies that in this specific class of models, the DHOST degeneracy conditions (rather than projective symmetry) are the primary mechanism ensuring the absence of Ostrogradski ghosts and the correct number of propagating degrees of freedom.
4. Foundation for Future Work: The derived effective action and the explicit coefficient mappings provide the necessary foundation for studying:
   • Cosmological perturbations in metric-affine DHOST.
   • Screening mechanisms (e.g., Vainshtein) in the presence of torsion/non-metricity.
   • Compact object solutions (black holes, neutron stars) in these theories.
   • Extensions to cubic and higher-order interactions.

Conclusion

Hamed Bouzari Nezhad successfully constructs the metric-affine analogue of quadratic DHOST theories. The study reveals that while the metric-affine formulation starts with a broader operator basis, the requirement of degeneracy (ghost-freedom) and observational consistency (luminal gravity) drastically constrains the theory, resulting in a one-function family for the viable Class Ia sector. This work bridges the gap between non-Riemannian geometry and modern modified gravity, offering a robust framework for exploring deviations from General Relativity in regimes where torsion and non-metricity are relevant.