Inverting no-hair theorems: How requiring General Relativity solutions restricts scalar-tensor theories

This paper investigates how imposing the existence of specific General Relativity solutions, such as Schwarzschild or de Sitter black holes with stealth scalar hair, restricts the parameter space of general quadratic and cubic scalar-tensor theories, revealing that while requiring all such solutions eliminates odd-parity deviations from GR, less restrictive scenarios allow for specific deviations, stability constraints, and modified gravitational wave speeds.

The Gist

Imagine the universe as a giant, complex video game. For decades, the "engine" running this game has been General Relativity (GR), a set of rules written by Einstein that perfectly describes how gravity works, how black holes spin, and how light bends.

However, physicists suspect there might be hidden "mods" or "plugins" running in the background—extra ingredients like invisible scalar fields (think of them as a ghostly, invisible fluid filling space) that tweak the rules. These are called Scalar-Tensor Theories.

The problem is that if these extra ingredients exist, they usually change the game's graphics. Black holes would look different, and gravity would behave strangely. But, we haven't seen any weirdness yet. Our telescopes and detectors (like LIGO) see black holes that look exactly like Einstein predicted.

This paper asks a clever, reverse-engineering question: "If we demand that the game must look exactly like Einstein's version (General Relativity) for certain black holes, what does that force the hidden 'mods' to look like?"

Here is the breakdown of their investigation using simple analogies:

1. The "Stealth" Black Hole

The authors focus on a special type of black hole solution called a "Stealth" solution.

• The Analogy: Imagine a spy wearing a perfect invisibility cloak. To the naked eye (the metric, or the shape of space), the spy looks exactly like empty space or a normal black hole. But underneath the cloak, the spy is actually moving, breathing, and holding a weapon (the scalar field).
• The Goal: The paper asks: "If we require that our universe allows for these 'invisible spies' (stealth solutions) to exist without changing the shape of the black hole, what rules must the spy's invisibility cloak follow?"

2. The "Invisibility" Test (The Constraints)

The researchers tested four different levels of strictness, like tightening the rules of a game:

• Level 1: The "Everything Must Be Normal" Rule.
  They demanded that any black hole solution from Einstein's game must work, even if there is matter (like gas or stars) around it.

  • Result: This was too strict. It forced the "spy" to be completely frozen. The hidden scalar field had to be so boring that it couldn't do anything new. The game became exactly General Relativity again. No deviations allowed.

• Level 2: The "Empty Space" Rule.
  They relaxed the rule: "Okay, we only care that black holes in empty space look like Einstein's."

  • Result: This allowed a little wiggle room. The "spy" could exist, but only in a very specific way. There was one "knob" they could turn to change the physics slightly, but it was still very restricted.

• Level 3 & 4: The "Specific Black Hole" Rule.
  They relaxed it even more: "We only care that the specific Schwarzschild (empty, non-spinning) and Schwarzschild-de Sitter (empty with a cosmological constant) black holes look normal."

  • Result: This opened up the most freedom. The "spy" could now have more complex behaviors. The hidden scalar field could change how gravity waves travel in specific ways, but only near the black hole.

3. The "Ghost" in the Machine (Odd-Parity Perturbations)

To see if these "spies" actually change anything, the authors looked at perturbations.

• The Analogy: Imagine tapping a black hole like a bell. It rings. The "ringing" (gravitational waves) has different modes. The authors looked at the "odd" modes (a specific type of wobble).
• The Discovery:
  • If you demand all black holes look normal, the "ring" sounds exactly like Einstein's. No new physics.
  • If you only demand the specific Schwarzschild black hole looks normal, the "ring" can sound different. Specifically, the speed of the "ripple" (gravitational wave) can change depending on how close you are to the black hole.

4. The "Speed Limit" Surprise

One of the most interesting findings involves the speed of gravity.

• The Analogy: In Einstein's game, gravity travels at the speed of light, everywhere, always.
• The Paper's Claim: In these specific "Stealth" theories, gravity can travel at a different speed right next to a black hole, but as you move far away (to the edge of the universe), it slows down or speeds up until it matches the speed of light again.
• Why this matters: This is a "healthy" model. It explains why we haven't seen weird gravity speeds in distant space (like the GW170817 event, where gravity and light arrived at the same time), but it allows for exotic physics right next to black holes.

5. The "Glitch" Warning

The paper also found a technical "glitch" in the math.

• The Analogy: If the "spy" (the scalar field) changes its behavior over time (which it does in these theories), the math equations describing the black hole's ringing become a messy, time-dependent puzzle (a Partial Differential Equation) instead of a neat, solvable formula (an Ordinary Differential Equation).
• The Consequence: This means we can't easily calculate the exact "notes" (frequencies) the black hole will ring at using standard formulas. We would need to run complex computer simulations to figure it out.

Summary

The paper is a "reverse-engineering" guide for gravity theories. It says:

1. If you want your theory to look exactly like Einstein's for every possible black hole, you have no freedom; you just have Einstein's theory.
2. If you only care about specific black holes (like the simple Schwarzschild ones), you can have new physics.
3. This new physics allows gravity to travel at weird speeds near black holes but behave normally far away.
4. However, calculating the exact "sound" of these black holes becomes much harder because the rules change with time.

The authors conclude that while "exact stealth" solutions are very restrictive, relaxing the rules to allow "approximate stealth" (where the spy is almost invisible) could open up a much wider playground for new theories of gravity.

Technical Summary

1. Problem Statement

Scalar-tensor (ST) theories, particularly Degenerate Higher-Order Scalar-Tensor (DHOST) theories, offer a rich landscape for modifying General Relativity (GR) to address cosmological puzzles like dark energy. However, a major challenge is the existence of "no-hair" theorems, which often force black hole solutions in these theories to revert to standard GR solutions (Schwarzschild or Schwarzschild-de Sitter), rendering the scalar field trivial or the metric indistinguishable from GR.

Conversely, "hairy" black hole solutions (where the scalar field has a non-trivial profile affecting the metric) exist but are often constrained by observational limits. The authors pose a reverse question: If we demand that a specific set of GR black hole solutions (e.g., Schwarzschild or Schwarzschild-de Sitter) must exist within a general ST theory, how does this restrict the theory's parameter space? Furthermore, how do these restrictions affect the dynamics of perturbations (specifically odd-parity modes) and the propagation speed of gravitational waves (GWs)?

The paper focuses on stealth solutions: configurations where the metric is identical to a GR solution, but the scalar field possesses a non-trivial, time-dependent profile with a constant kinetic term ($X = X_0 = \text{const}$).

2. Methodology

The authors employ a fully covariant approach within the framework of quadratic and cubic Higher-Order Scalar-Tensor (HOST) theories.

• Action Formulation: They start with the general action containing functions $F_0, F_1, F_2, F_3$ and higher-order terms $A_I$ and $B_J$ up to cubic order in scalar derivatives.
• Background Analysis: They assume a stealth background where the metric satisfies the Einstein equations ($G_{\mu\nu} = M_{Pl}^{-2}T_{\mu\nu} - \Lambda g_{\mu\nu}$) and the scalar field has a linear time dependence ($\phi = qt + \psi(r)$) with constant kinetic term $X_0$.
• Existence Conditions: By substituting the stealth ansatz into the Euler-Lagrange equations, they derive the specific algebraic conditions the coupling functions ($F_i, A_I, B_J$) must satisfy to allow various classes of solutions:
  1. General GR solutions with matter.
  2. General GR vacuum solutions.
  3. Schwarzschild-de Sitter (SdS) solutions.
  4. Schwarzschild solutions.
• Perturbation Analysis: They construct the quadratic Lagrangian for linear odd-parity perturbations on these static, spherically symmetric backgrounds. They derive the coefficients ($p_i$) of the Lagrangian in terms of the HOST functions.
• Stability & Speed: They analyze the stability conditions (absence of ghosts and gradient instabilities) and calculate the propagation speed of gravitational waves ($c_{GW}$) in the radial and angular directions.
• Master Equation: They investigate the derivation of the master equation for odd-parity modes, highlighting complications arising in non-shift-symmetric theories.

3. Key Contributions

A. Derivation of Existence Conditions

The paper provides a comprehensive set of conditions for the existence of stealth GR solutions in general cubic HOST theories.

• Hierarchy of Restrictions: They demonstrate that requiring the existence of all GR solutions (with or without matter) imposes the most stringent constraints, effectively reducing the theory space significantly.
• Relaxing Constraints: As the requirement is relaxed (e.g., only requiring SdS or only Schwarzschild solutions), the allowed theory space expands, permitting more independent combinations of coupling functions.
• Degeneracy vs. Existence: They show that imposing the existence of stealth solutions with constant $X$ is generally incompatible with the degeneracy conditions required for cubic DHOST theories of class 3N-I (specifically, it forces $B_1=0$, which violates the $B_1 \neq 0$ requirement for that class). This implies that exact stealth solutions in this context are restricted to quadratic DHOST or require "scordatura" terms (small deviations from degeneracy) to avoid strong coupling.

B. Odd-Parity Perturbations and GR Deviations

The authors map the derived existence conditions to the coefficients of the quadratic Lagrangian for odd-parity perturbations.

• GR Recovery: For theories requiring the existence of all GR solutions (with matter), the odd-parity perturbations are identical to GR. No deviations are possible in this sector.
• Beyond-GR Parameters:
  • Vacuum GR: One independent combination ($F_2 - X_0 F_{3\phi}$) can deviate from GR.
  • SdS Solutions: Two independent combinations ($F_2 - X_0 F_{3\phi}$ and $A_1 + F_{3\phi}$) allow deviations.
  • Schwarzschild Solutions: Three independent combinations allow deviations, including a cubic term $B_1$.
• Shift Symmetry: Imposing shift symmetry often reduces the number of free parameters, sometimes recovering standard GR predictions (e.g., in SSCubicGR-vac).

C. Stability and Gravitational Wave Speed

• Stability Conditions: The paper derives explicit inequalities (e.g., $F_2 - X_0 F_{3\phi} > 0$) that must be satisfied to ensure the absence of ghost and gradient instabilities.
• Speed of Gravity ($c_{GW}$):
  • In most cases, the speed of GWs is constant or matches the speed of light ($c=1$) at large distances.
  • Unique Deviation (Schwarzschild): In the case of Schwarzschild black holes in cubic HOST theories, the parameter $B_1$ introduces a radial dependence to the GW speed ($c_\rho(r)$).
  • The speed approaches $c=1$ at cosmological distances (satisfying GW170817 constraints) but can deviate significantly near the black hole horizon. This provides a "healthy" model where deviations are confined to the strong-field regime.

D. Technical Insight: Vanishing of $p_4$

The authors prove that for general cubic HOST theories with a timelike scalar profile on a static spherical background, the coefficient $p_4$ in the quadratic Lagrangian vanishes identically ($p_4 = 0$).

• Significance: In effective field theories of black hole perturbations, a non-zero $p_4$ typically forbids slowly rotating black hole solutions or leads to divergent sound speeds. The vanishing of $p_4$ in covariant cubic HOST theories suggests these theories are phenomenologically safer regarding rotation and stability.

4. Results Summary

Scenario	Existence Condition	GR Deviations in Odd Modes	Stability/Speed Implications
General GR (w/ Matter)	Strictest	None (Identical to GR)	Automatically stable.
General GR (Vacuum)	Moderate	1 Parameter ($F_2 - X_0 F_{3\phi}$)	Constant shift in effective Planck mass.
SdS Solutions	Less Restrictive	2 Parameters ($F_2 - X_0 F_{3\phi}, A_1 + F_{3\phi}$)	Rescaling of QNM frequencies.
Schwarzschild	Least Restrictive	3 Parameters (Includes $B_1$)	$r$-dependent GW speed. $c_{GW} \to 1$ at $\infty$, deviates near horizon.

5. Significance and Future Directions

• Phenomenological Viability: The work identifies a specific class of theories (Schwarzschild stealth solutions in cubic HOST) where deviations from GR are possible in the strong-field regime (black hole ringdown) while remaining consistent with the tight observational constraints on GW speed from cosmological distances (GW170817).
• Theoretical Constraints: It clarifies the tension between the "degeneracy conditions" (required to avoid Ostrogradsky ghosts) and the "existence of stealth solutions." It suggests that exact stealth solutions in cubic DHOST are highly constrained, pointing toward the necessity of "scordatura" terms (approximate stealth) for a broader, viable theory space.
• Master Equation Challenges: The paper highlights a critical subtlety: in non-shift-symmetric theories, the coefficients of the perturbation equations depend on time. This prevents the reduction of the master equation to a standard Ordinary Differential Equation (ODE) (Regge-Wheeler form), necessitating numerical PDE solutions or perturbative approximations for calculating Quasi-Normal Modes (QNMs).
• Future Work: The authors suggest extending this analysis to even-parity perturbations, exploring non-constant kinetic term solutions, and investigating the "scordatura" mechanism to broaden the theory space beyond exact stealth solutions.

In conclusion, this paper provides a rigorous "top-down" constraint on scalar-tensor theories, demonstrating that demanding the existence of familiar GR black holes acts as a powerful filter, often suppressing deviations in the odd-parity sector unless specific, less restrictive conditions (like focusing solely on Schwarzschild solutions) are met.