Covariant scalar-tensor theories beyond second derivatives

This paper proposes a covariant, gauge-independent framework for constructing foliation-based scalar-tensor theories with operators up to four derivatives that extend beyond DHOST and U-DHOST models, ultimately demonstrating that the theory propagates three physical degrees of freedom.

The Gist

Imagine the universe as a giant, multi-layered cake. In standard physics (General Relativity), we usually look at this cake as a single, solid block where space and time are woven together into a single fabric. You can slice it any way you want, and the laws of physics look the same.

But what if the universe has a "preferred" way of being sliced? What if there is a natural "clock" running through the cake, defining a specific top layer, middle layer, and bottom layer? This is the core idea of the paper you shared.

Here is a simple breakdown of what the authors did, using some everyday analogies.

1. The Problem: The "Too Many Variables" Puzzle

Physicists love to modify gravity to explain things like dark energy or the Big Bang. They often add a new ingredient to the universe: a scalar field (let's call it "The Clock").

When you try to write equations for a universe with this Clock, you run into a classic problem: The Ghost.
If you just add higher-order derivatives (math that looks at how fast the speed of the Clock is changing), you accidentally create a "ghost" particle. This isn't a spooky ghost, but a mathematical monster that causes the universe to become unstable and explode instantly.

To fix this, previous theories (called DHOST) had to be very strict. They had to impose rigid rules (degeneracy conditions) to cancel out the ghost. It was like trying to build a house by only using specific, pre-cut bricks that fit together perfectly, or the whole thing collapses.

2. The Solution: The "Spatial Filter"

The authors of this paper, Gorji, Petrov, and Noui, asked a different question: What if we don't try to fix the ghost by restricting the bricks, but by changing how we build?

They proposed a new construction method based on slicing.

• The Analogy: Imagine you are a chef making a layered cake. You only care about the ingredients within a single layer (the frosting, the sponge, the fruit on that specific slice). You don't care about how the ingredients move between layers (up and down).
• The Science: They built a set of mathematical tools (operators) that only "look" at the surface of the slice where the Clock is constant. They used a geometric trick (Gram determinants) to automatically ignore any movement that goes "up" or "down" the time direction.

By doing this, they created a covariant (looks the same to everyone) theory that naturally avoids the ghost, without needing to impose the strict "pre-cut brick" rules of the old theories.

3. The New Toolkit: Up to Four Layers

The authors didn't just stop at simple slices. They built a massive, organized toolbox of mathematical ingredients that can go up to four derivatives (four levels of complexity).

• The "Safe" Ingredients: They found all the possible ways to mix the Clock and gravity that stay "safe" (no ghosts) on the slices.
• The Parity Twist: They discovered a special, rare ingredient called a parity-odd pseudoscalar.
  • Analogy: Imagine you have a set of Lego blocks. Most of them are symmetrical (a red block looks the same from the front or back). But they found one special block that is "handed"—like a left hand vs. a right hand. If you swap left and right, this block changes its sign. This is the first time such a block has been found in this specific type of gravity theory.

4. Does It Work? The "Three Dancers" Test

In physics, you have to count how many "dancers" (degrees of freedom) are on the stage.

• General Relativity has 2 dancers (the two ripples of space-time, or gravitational waves).
• The Ghost would be a 4th dancer causing chaos.
• This New Theory has exactly 3 dancers: The 2 gravitational waves + 1 new scalar wave (the Clock).

The authors proved this in two ways:

1. The Hamiltonian Check: They looked at the math of energy and momentum and confirmed that the "ghost" dancer never shows up.
2. The Cosmology Check: They simulated the universe expanding (like the Big Bang). They found that on a smooth, uniform background, these new complex ingredients vanish (they are zero). They only "wake up" when there are ripples or fluctuations.
   • Result: The universe expands exactly like standard theories, but when you look at the tiny ripples (perturbations), the new ingredients kick in. Crucially, they don't add a 4th dancer; they just change how the 3rd dancer moves.

5. Why This Matters

This paper is a "blueprint" for building new universes.

• Beyond the Old Rules: It goes beyond the strict DHOST theories. It's like saying, "We don't need to use only pre-cut bricks; we can use any shape of clay, as long as we only shape the surface of the layer."
• Non-Linear Extension: It provides a way to extend the "Unitary Gauge" theories (which were only understood in a specific coordinate system) into a fully general, flexible form.
• Future Potential: Because they have a clean, organized list of ingredients (the basis), other scientists can now mix and match these to create models that might explain dark energy or the early universe without breaking the laws of physics.

Summary

The authors built a new, flexible framework for modifying gravity. Instead of forcing the math to be rigid to avoid instability, they built a "spatial filter" that naturally keeps the theory stable. They cataloged all the possible mathematical ingredients up to a high level of complexity, found a new "handed" ingredient, and proved that their theory allows exactly three types of waves to travel through the universe, keeping the cosmos safe from mathematical monsters.

Technical Summary

1. Problem Statement

The paper addresses the challenge of constructing a systematic, covariant, and gauge-independent framework for scalar-tensor theories that possess a preferred foliation of spacetime defined by a scalar field $\phi$.

• Context: Many modified gravity theories (e.g., Hořava-Lifshitz, Effective Field Theory of Dark Energy) rely on a preferred time slicing. While "Unitary Gauge" (where $\phi=t$) makes spatial operators explicit, covariant formulations often introduce higher-order time derivatives that seemingly lead to Ostrogradsky instabilities (ghosts).
• Limitations of Existing Frameworks:
  • DHOST (Degenerate Higher-Order Scalar-Tensor): These theories impose specific degeneracy conditions on coefficients to eliminate extra degrees of freedom (DOF). However, they are often restricted to specific operator structures (quadratic in second derivatives) and may not easily accommodate arbitrary functions of spatial gradients.
  • U-DHOST: A subclass where degeneracy is realized in the unitary gauge, allowing "shadowy" (non-propagating) modes in the covariant formulation.
• The Gap: There is a need for a general covariant construction that goes beyond standard DHOST classifications, specifically accommodating operators with third and fourth derivatives of the scalar field, while ensuring the theory propagates only the physical degrees of freedom (2 tensor + 1 scalar) without imposing degeneracy conditions a priori.

2. Methodology

The authors propose a geometric, gauge-independent construction based on the following principles:

• Foliation-Adapted Operators: They construct diffeomorphism-invariant scalars that, when evaluated on hypersurfaces where $\phi = \text{const}$, depend only on intrinsic spatial derivatives (gradients tangent to the slice).
• Gram Determinants/Wedge Products: Instead of using Christoffel symbols explicitly, they use exterior derivatives and wedge products of scalar gradients (e.g., $d\phi \wedge dX$). This geometric approach automatically projects out components parallel to the normal vector $n_\mu \propto \nabla_\mu \phi$, ensuring the operators are "spatial" by construction.
• Recursive Basis Construction:
  1. Second Order: Identify the fundamental spatial invariant $B$ derived from the wedge product of $d\phi$ and $dX$ (where $X = \nabla_\mu \phi \nabla^\mu \phi$).
  2. Third Order: Construct new covectors by taking gradients of the second-order invariants and projecting them tangentially ($D_\mu$).
  3. Fourth Order: Extend the basis to include fourth derivatives, identifying new independent invariants and the first non-trivial parity-odd pseudoscalar.

3. Key Contributions

A. Construction of a Complete Operator Basis

The authors derive a compact basis of independent invariants up to four derivatives of the scalar field $\phi$:

• Zeroth/First Order: $\phi, X$.
• Second Order: The invariant $B = XZ - Y^2$, which corresponds to the squared norm of the 2-form $F_{\mu\nu} = \phi_\mu X_\nu - \phi_\nu X_\mu$. This is the covariant equivalent of the spatial gradient squared $(\partial_i X)^2$.
• Third Order: Two invariants $C^{[1]}$ and $C^{[2]}$ constructed from the projected gradients of $B$.
• Fourth Order: Six new invariants ($D^{[1,2,3]}, E^{[1,2,3]}$) and a parity-odd pseudoscalar $D^{[\text{odd}]}$.
  • The parity-odd term is defined as $D^{[\text{odd}]} \equiv n_\mu \epsilon^{\mu\nu\rho\sigma} D_\nu X D_\rho B D_\sigma C^{[1]}$.
  • The authors prove that on the generic non-degenerate branch, the square of this pseudoscalar is algebraically dependent on the parity-even basis, meaning $D^{[\text{odd}]}$ only encodes the orientation (sign) of the field configuration.

B. Generalization Beyond DHOST

• The proposed framework allows for arbitrary functions of these invariants in the Lagrangian.
• Unlike standard DHOST, which restricts the Lagrangian to specific quadratic combinations of second derivatives to satisfy degeneracy, this theory allows arbitrary dependence on $B$ and its higher-derivative descendants.
• It provides a nonlinear covariant extension of U-DHOST, where the "shadowy" nature of extra modes is guaranteed by the geometric construction of the operators rather than by tuning coefficients.

C. Hamiltonian and Perturbation Analysis

The authors analyze the physical content of the theory defined by the action:
$$S = \int d^4x \sqrt{-g} \left[ \frac{M_{Pl}^2}{2}R + P(\text{invariants}) + \tilde{P}(\text{invariants}) D^{[\text{odd}]} \right]$$

• Hamiltonian Analysis (Unitary Gauge): In the gauge $\phi=t$, the higher-derivative terms contain only spatial derivatives. The constraint structure analysis reveals 8 constraints (6 first-class, 2 second-class) acting on 20 phase-space variables, resulting in exactly 3 physical degrees of freedom (2 tensor + 1 scalar).
• Cosmological Perturbations:
  • On a homogeneous FLRW background, all higher-derivative invariants ($B, C, D, E$) vanish. The background evolution is identical to standard $k$-essence.
  • Linear Perturbations: The leading higher-derivative correction appears in the quadratic action via the invariant $B$. The parity-odd term $D^{[\text{odd}]}$ only contributes at sixth order in perturbations and is irrelevant for linear cosmology.
  • Dispersion Relation: The theory introduces a term proportional to $k^2 \dot{\zeta}^2$ (where $\zeta$ is the curvature perturbation). This leads to a unique UV behavior:
    • At low $k$: Standard dispersion $\omega^2 \propto k^2$.
    • At high $k$: The frequency saturates to a constant $\omega^2 \sim \text{const}$, causing the group velocity to vanish ("UV freezing"). This differs from standard ghost condensate models ($\omega \propto k^2$) and offers a mechanism to control strong coupling without introducing higher spatial derivatives of the perturbation itself.

4. Results

1. Degree of Freedom Count: The theory propagates exactly 3 DOFs (2 tensor, 1 scalar) without requiring fine-tuned degeneracy conditions on the Lagrangian coefficients.
2. Parity-Odd Sector: The first non-trivial parity-odd scalar in the scalar-gradient sector is identified and shown to be sufficient to capture all parity-odd information; other parity-odd terms are redundant.
3. Background Independence: Higher-derivative terms do not affect the homogeneous FLRW background but significantly modify the dynamics of perturbations.
4. Spherically Symmetric Cases: The authors note that unlike FLRW, in spherically symmetric spacetimes, these higher-derivative terms can contribute at the background level.

5. Significance

• Theoretical Advancement: This work provides a rigorous geometric foundation for scalar-tensor theories that naturally incorporate higher derivatives while maintaining stability. It clarifies the relationship between covariant formulations and foliation-based descriptions, showing that "extra" covariant derivatives do not necessarily imply extra propagating ghosts if the operators are constructed to be intrinsically spatial.
• Model Building: It opens a new landscape for model building beyond DHOST, allowing for arbitrary non-linear functions of spatial gradients and higher derivatives. This is particularly useful for constructing effective field theories for early universe cosmology (inflation) and dark energy where higher-derivative corrections are expected.
• Phenomenology: The unique "UV freezing" dispersion relation offers a new mechanism to stabilize scalar perturbations in regimes where standard $k$-essence might become strongly coupled, potentially resolving issues related to the "stealth" solutions in modified gravity.
• Future Directions: The paper suggests extending this basis to include non-minimal curvature couplings and investigating the behavior of these theories when the scalar gradient becomes spacelike (e.g., inside black holes or in specific cosmological phases).

In summary, the paper successfully constructs a covariant, gauge-independent basis for scalar-tensor theories that extends the known DHOST/U-DHOST frameworks to higher derivatives, ensuring a healthy propagation of degrees of freedom through geometric constraints rather than algebraic fine-tuning.