Black-Hole Hair Beyond General Relativity

Alternative-gravity field equations admit regular black holes with non-GR scalar or other field profiles, so the literal existence question has a positive answer. The research question is stricter: does one explicit theory supply a solution that is stable, dynamically formed from admissible data, compatible with its asymptotic or cosmological environment, and connected to a discriminating observation? At the evidence cutoff of 2026-08-20, explicit existence and some formation mechanisms are supported, but the complete chain is contested and no observation identifies black-hole hair.

Helpful background. Black Holes and Compact Objects Beyond GR explains solution branches, no-hair assumptions, and representative alternative theories. This assessment follows selected branches through stability, formation, embedding, and observability.

From a stationary solution to an observable object

The finite proposition requires five gates. First, the action and boundary conditions must admit a regular non-GR black-hole branch. Second, the relevant perturbations must be stable. Third, a well-posed evolution from admissible initial data must reach that branch. Fourth, the solution must coexist with its large-scale environment rather than rely on incompatible asymptotics. Fifth, it must predict an observable not absorbed by mass, spin, environment, or waveform uncertainty.

The answer depends on primary versus secondary hair, coupling function and effective-field-theory range, stationary versus dynamical statements, radial versus full stability, asymptotically flat versus cosmological boundary data, isolated versus binary evolution, and a theory waveform versus a phenomenological deformation.

Assessment at 2026-08-20	Meaning
Question status	Partially resolved: explicit hairy solutions and some dynamical formation are established, while universal stability, embedding, and detection are not
Evidence status	Contested at record level: supported for existence, but insufficient for observational identification and mixed for the complete health chain
Confidence	Moderate; high for conditional existence and obstruction statements, lower across theory classes and detector forecasts
Domain	Four-dimensional stationary and dynamical black holes in selected scalar–Gauss–Bonnet and related models, with each source’s asymptotics and coupling range
What could change the conclusion	A stable cosmologically admissible formation result, a broad obstruction theorem, or a detector analysis tied to a complete theory waveform

Entry project: reproduce a controlled hairy solution

This is an analytic and numerical route for a student who can vary an action, impose horizon regularity, and solve radial boundary-value equations. Start with a static spherical model and small coupling. A laptop can support perturbative algebra and a radial solver; nonlinear formation and merger evolution require numerical-relativity expertise, formulation checks, and much greater computing capacity.

Use Sotiriou and Zhou 2014, arXiv:1408.1698v2, §III.5 and Appendix C as the baseline. Extract the action and coupling normalization, horizon radius, asymptotic conditions, and the distinction between a metric expansion parameter and the measured mass. Re-derive the leading scalar profile from the radial equation; substitute it back rather than comparing two copied expressions. Check horizon regularity and the far-field charge, then implement the small-coupling metric correction if the first step closes.

The finite deliverable is an executable derivation and residual check over a declared exterior radial domain, together with the scaling of the omitted terms as the coupling decreases. A numerical extension should reproduce one published weak-coupling solution with boundary and resolution refinement. This establishes control of that construction only. Read Silva et al. 2019, §§II–IV afterward to see why a different coupling function can change stability even when both theories admit hair.

A candidate extension, with novelty unchecked, is a comparison of one observable computed from the perturbative and radial numerical solutions within their common domain. Stop if the coupling expansion is no longer ordered, if a horizon regularity condition fails, or if an apparent discrepancy is explained by different mass definitions. Pivot to locating the approximation’s failure boundary. Before interpreting the object astrophysically, secure supervision on stability, hyperbolicity, and cosmological boundary conditions; a static exterior cannot decide those questions.

What survives the five gates

Classical uniqueness and no-hair results are conditional theorems. Their hypotheses include dimension, stationarity, regularity, asymptotics, symmetry, and matter restrictions; the detailed scope is reviewed in §§2–3.3 and §6 of Chruściel, Costa, and Heusler 2012, §§2–3.3 and §6. Changing the matter coupling can evade those hypotheses without contradicting the theorem.

A central construction couples a scalar linearly to the Gauss–Bonnet density. Sotiriou and Zhou derive the evasion mechanism, solve for static spherical black holes, and give a small-coupling expansion Sotiriou and Zhou 2014, arXiv:1408.1698v2, §§II–III, especially §III.5. This establishes regular asymptotically flat hair in the stated theory. It does not by itself establish branch stability or formation.

Stability is coupling dependent. For scalarized Gauss–Bonnet black holes, a quadratic coupling can produce radially unstable branches, whereas suitable nonlinear coupling functions admit stable radial sectors Silva et al. 2019, §§II–IV and Figs. 1–3. Radial stability remains weaker than full nonlinear stability, but it decisively refutes the idea that existence alone selects a physical branch.

Nonlinear evolutions supply the next test. East and Ripley find scalarization and merger radiation in a restricted region where their modified-harmonic evolution remains hyperbolic 2021, pp. 2–6 and supplemental tests. Thaalba et al. show spherical collapse to a hairy endpoint in a mass window after adding a Ricci coupling that cures the ill-posed region encountered in the simpler model 2024, pp. 2–5 and supplemental convergence material. The added operator is physically consequential: it demonstrates a healthy construction, not a cure shared by every theory.

Results and open questions at 2026-08-20

Claim or evidence	What it supports	What it does not establish
Conditional no-hair and uniqueness theorems	Precise obstructions within their hypotheses	A universal ban on alternative matter couplings or asymptotics
Static scalar–Gauss–Bonnet branches	Explicit regular asymptotically flat hair	Formation, full stability, or cosmological consistency
Radial perturbation studies	Coupling-dependent stable and unstable sectors	Nonlinear stability to generic perturbations
Hyperbolicity-monitored nonlinear evolutions	Formation and radiation in a restricted healthy region	Generic well-posedness across all couplings and data
Cosmological-horizon challenge	A real embedding obstruction for linear scalar–Gauss–Bonnet hair	Exclusion of every hairy theory
Ringdown and dynamical-charge calculations	Controlled observable differences and third-generation forecasts	Present detection or unique source attribution

Existence receives high weight because it is constructive. Stability and evolution rows narrow the viable set more strongly than multiplying stationary solutions. Forecasts receive less weight than observed likelihoods, especially when the predicted signal occupies a narrow coupling interval.

The strongest constructive and obstruction arguments

The constructive position is that theory space contains couplings for which all local gates can be passed: a regular branch, stable radial sector, hyperbolic nonlinear evolution, and calculable radiation. Recent binary simulations find dynamical scalar-charge growth in nearly equal-mass systems over a narrow dimensional-coupling interval, with detectability mainly in third-generation instruments Capuano et al. 2026, §§II–VI. Controlled perturbative ringdown shifts also exist in the large-mass, small-coupling regime D’Addario et al. 2024, §§II–V.

The strongest obstruction is cumulative rather than a slogan. Some branches are unstable; others cross into loss of hyperbolicity; and an asymptotically flat scalar profile may not match a cosmological horizon in the same theory. Babichev, Sawicki, and Trombetta show this latter obstruction for linear scalar–Gauss–Bonnet coupling and explain how an added operator changes the hair 2025, pp. 2–5. These failures defeat a generic claim, while leaving explicitly modified, delimited theories open.

Counterexamples, null results, and failed routes

An unstable scalarized branch is a counterexample to the inference “regular stationary solution implies a realizable object.” Loss of hyperbolicity is stronger still: numerical continuation beyond that boundary cannot be interpreted as evidence for physical dynamics. Failure to match a cosmological horizon is a counterexample to silently extending an asymptotically flat solution to the real Universe.

Current gravitational-wave null tests do not require a hairy black hole. That is informative but not a universal exclusion, because parameterized residuals do not cover every theory waveform and may be degenerate with source parameters. Conversely, a nonzero fitted ringdown deformation would not by itself identify hair; a complete action, healthy solution, and formation history must predict the same signal.

What would change the assessment

A decisive positive advance would evolve constraint-satisfying binary or collapse data in one cosmologically admissible theory, demonstrate convergence and hyperbolicity throughout, and release a waveform used in injection-calibrated detector inference. A general negative advance would prove instability or ill-posedness for a broad coupling class while preserving the exact boundary and regularity hypotheses. An observational anomaly would matter only if it repeated across waveform families and matched additional theory predictions, such as scalar radiation or a correlated mass dependence.

Research checklist

• State the action, coupling normalization, higher-order operators, field boundary values, and effective-field-theory validity criterion.
• Identify exactly which no-hair hypothesis is evaded rather than invoking the slogan alone.
• Locate the solution branch and test radial, nonradial, and nonlinear stability.
• Evolve admissible initial data while monitoring constraints, characteristic speeds, and hyperbolicity across resolution.
• Check asymptotically flat and cosmological boundary conditions separately.
• Restore dimensions in the coupling and compare curvature scales with the effective cutoff.
• Produce a theory waveform and quantify degeneracy with mass, spin, eccentricity, environment, and calibration.
• Report whether code, initial data, and analysis likelihood are publicly pinned.

Source and data map

Chruściel, Costa, and Heusler delimit classical theorem scope. Sotiriou and Zhou provide the primary existence construction; Silva et al. provide adverse branch-stability evidence. East and Ripley and Thaalba et al. test nonlinear formation under distinct formulations. Babichev, Sawicki, and Trombetta supply the cosmological-boundary challenge. D’Addario et al. and Capuano et al. form the observable bridge.

No end-to-end rerun was performed. There is no common public benchmark spanning stationary solutions, perturbations, collapse, binary initial data, cosmological matching, and detector inference. Reproduction must pin the action and branch, asymptotics, initial data, gauge and formulation, code revision, resolution, excision and constraint treatment, hyperbolicity diagnostic, waveform extraction, and effective-theory error. The 2026 dynamical-hair code and initial-data revisions were not verified in a durable archive, so the published result is not described as independently reproduced.

References

• Babichev, E., Sawicki, I., and Trombetta, L. 2025, “Black-Hole Hair and Cosmological Boundary Conditions,” Physical Review D 111, L041502, DOI 10.1103/PhysRevD.111.L041502.
• Capuano, L., Aresté Saló, L., Doneva, D. D., Yazadjiev, S. S., and Barausse, E. 2026, “Dynamical Hair Growth in Black Hole Binaries in Einstein-Scalar–Gauss–Bonnet Gravity,” Physical Review D 113, 124038, DOI 10.1103/hgfh-rwrw.
• Chruściel, P. T., Costa, J. L., and Heusler, M. 2012, “Stationary Black Holes: Uniqueness and Beyond,” Living Reviews in Relativity 15, 7, DOI 10.12942/lrr-2012-7.
• D’Addario, G., Padilla, A., Saffin, P. M., Sotiriou, T. P., and Spiers, A. 2024, “Ringdowns for Black Holes with Scalar Hair: The Large Mass Case,” Physical Review D 109, 084046, DOI 10.1103/PhysRevD.109.084046.
• East, W. E., and Ripley, J. L. 2021, “Dynamics of Spontaneous Black Hole Scalarization and Mergers in Einstein-Scalar–Gauss–Bonnet Gravity,” Physical Review Letters 127, 101102, DOI 10.1103/PhysRevLett.127.101102.
• Silva, H. O., Macedo, C. F. B., Sotiriou, T. P., Gualtieri, L., Sakstein, J., and Berti, E. 2019, “Stability of Scalarized Black Hole Solutions in Scalar–Gauss–Bonnet Gravity,” Physical Review D 99, 064011, DOI 10.1103/PhysRevD.99.064011.
• Sotiriou, T. P., and Zhou, S.-Y. 2014, “Black Hole Hair in Generalized Scalar-Tensor Gravity,” Physical Review D 90, 124063, DOI 10.1103/PhysRevD.90.124063. Open PDF, arXiv:1408.1698v2.
• Thaalba, F., Bezares, M., Franchini, N., and Sotiriou, T. P. 2024, “Spherical Collapse in Scalar–Gauss–Bonnet Gravity: Taming Ill-Posedness with a Ricci Coupling,” Physical Review D 109, L041503, DOI 10.1103/PhysRevD.109.L041503.