pith. machine review for the scientific record. sign in

arxiv: 2605.14132 · v1 · submitted 2026-05-13 · 🌀 gr-qc

Recognition: 2 theorem links

· Lean Theorem

On cosmological properties of black-hole hair in linearly coupled scalar-Gauss-Bonnet theory

Dra\v{z}en Glavan , Dar\'io Jaramillo-Garrido
Authors on Pith no claims yet

Pith reviewed 2026-05-15 01:43 UTC · model grok-4.3

classification 🌀 gr-qc
keywords black hole hairscalar-Gauss-Bonnet theoryde Sitter spacetimesuperhorizon scalestest-field approximationmassless scalar fieldenergy fluxshift symmetry
0
0 comments X

The pith

Scalar hair around black holes grows both temporally and spatially on superhorizon scales in de Sitter spacetime.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines the superhorizon behavior of scalar hair sourced by black holes in de Sitter spacetime within linearly coupled shift-symmetric scalar-Gauss-Bonnet theory. Working in the test-field regime where the scalar does not back-react on the metric, the hair shows both temporal and spatial growth beyond the horizon. This growth arises from the standard dynamics of a minimally coupled massless scalar field in expanding de Sitter spacetime, not from any special property of the black hole. The same growth appears around a point scalar charge, which shows that a scalarized black hole functions as a localized subhorizon source of scalar perturbations. The hair produces a steady outward energy flux that makes the test-field regime transient and accounts for the difficulty of finding static hairy solutions.

Core claim

We show that this hair exhibits both temporal and spatial growth on superhorizon scales. This growth is not a special consequence of the black hole, but instead follows from the dynamics of a minimally coupled massless scalar field in expanding de Sitter spacetime. Moreover, it is not even specific to black holes, but also arises for a point scalar charge in de Sitter, indicating that a scalarized black hole acts effectively as a localized subhorizon source of scalar perturbations. Backreaction, when important, first arises on subhorizon scales and does not by itself eliminate the superhorizon profile. The time-dependent scalar hair also carries a steady outward energy flux, which frames the

What carries the argument

Superhorizon evolution of massless scalar perturbations in de Sitter spacetime sourced by a localized object such as a black hole or point charge.

If this is right

  • The growth pattern is identical for any localized scalar source in de Sitter and is not tied to black-hole structure.
  • Back-reaction effects appear first on subhorizon scales and leave the superhorizon profile intact.
  • The outward energy flux renders the hair time-dependent, so the test-field regime is necessarily transient.
  • Difficulties in constructing self-consistent static hairy solutions follow directly from the presence of this flux.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The transient character of the hair suggests that scalarized black holes in realistic cosmologies may contribute to scalar perturbations at early times before back-reaction becomes dominant.
  • The result implies that attempts to find static black-hole hair in de Sitter must fail once the cosmological expansion is properly included.
  • The same growth mechanism may appear in other shift-symmetric scalar-tensor theories with linear couplings, broadening the class of models where static hair is cosmologically disallowed.

Load-bearing premise

The test-field regime in which back-reaction of the scalar hair on the metric can be neglected remains valid long enough for the superhorizon growth to develop.

What would settle it

A calculation of the exact scalar field solution for a point charge in de Sitter spacetime that shows no temporal or spatial growth on superhorizon scales would falsify the claim that the growth is a generic feature of massless scalar dynamics.

read the original abstract

We investigate the superhorizon behavior of scalar hair sourced by black holes in de Sitter spacetime in the linearly coupled shift-symmetric scalar-Gauss-Bonnet theory. Working in the test-field regime, we show that this hair exhibits both temporal and spatial growth on superhorizon scales. This growth is not a special consequence of the black hole, but instead follows from the dynamics of a minimally coupled massless scalar field in expanding de Sitter spacetime. Moreover, it is not even specific to black holes, but also arises for a point scalar charge in de Sitter, indicating that a scalarized black hole acts effectively as a localized subhorizon source of scalar perturbations. Backreaction, when important, first arises on subhorizon scales and does not by itself eliminate the superhorizon profile. The time-dependent scalar hair also carries a steady outward energy flux, which frames the test-field regime as a transient, and helps explain the difficulties encountered in attempts to construct self-consistent static solutions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The manuscript investigates the superhorizon behavior of scalar hair sourced by black holes in de Sitter spacetime within the linearly coupled shift-symmetric scalar-Gauss-Bonnet theory, working in the test-field regime. It demonstrates that this hair exhibits temporal and spatial growth on superhorizon scales, a feature that arises from the dynamics of a minimally coupled massless scalar field in expanding de Sitter spacetime rather than being unique to black holes. The same growth occurs for a point scalar charge, positioning the scalarized black hole as a localized subhorizon source. Backreaction is argued to first appear on subhorizon scales without eliminating the superhorizon profile, while the time-dependent hair carries a steady outward energy flux, rendering the test-field regime transient and explaining challenges in static solutions.

Significance. If the central claims hold, the work is significant for clarifying the cosmological properties of scalar hair in this theory. By showing that the growth is a general consequence of scalar dynamics in de Sitter space and not specific to black holes, it provides a robust explanation for the absence of static scalarized solutions and underscores the transient nature of the test-field approximation due to energy flux. This contributes to understanding scalar-tensor theories in cosmological settings.

major comments (1)
  1. The assertion that backreaction first arises on subhorizon scales and does not eliminate the superhorizon profile is load-bearing for the validity of the reported growth. However, the manuscript provides no explicit comparison of the superhorizon growth timescale (derived from the massless scalar wave equation in de Sitter) against the timescale on which the outward energy flux produces O(1) metric corrections. Without this quantitative check, it remains unclear whether the claimed growth can be observed before the test-field regime ceases to be valid.
minor comments (1)
  1. The abstract and introduction would benefit from a brief explicit statement of the scalar wave equation in de Sitter coordinates used to derive the growth, to make the connection to the standard result more immediate for readers.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive feedback. We address the single major comment below and will revise the manuscript accordingly to strengthen the discussion of backreaction timescales.

read point-by-point responses

  1. Referee: The assertion that backreaction first arises on subhorizon scales and does not eliminate the superhorizon profile is load-bearing for the validity of the reported growth. However, the manuscript provides no explicit comparison of the superhorizon growth timescale (derived from the massless scalar wave equation in de Sitter) against the timescale on which the outward energy flux produces O(1) metric corrections. Without this quantitative check, it remains unclear whether the claimed growth can be observed before the test-field regime ceases to be valid.

    Authors: We agree that an explicit quantitative comparison of the superhorizon growth timescale against the backreaction timescale would strengthen the argument and clarify the regime of validity. In the revised manuscript we will add this comparison. The growth timescale follows directly from the exact solution of the massless scalar wave equation in de Sitter, which yields a linear-in-time growth on superhorizon scales. The backreaction timescale is set by the integrated energy flux carried by the time-dependent scalar profile; because this flux is diluted by the expanding volume on superhorizon scales, the metric corrections remain perturbatively small for a parametrically longer interval than the growth time. We will insert a short analytic estimate (and, if appropriate, a numerical check) demonstrating that O(1) backreaction first appears on subhorizon scales while the superhorizon profile continues to grow, thereby supporting the claim that the reported growth can be observed within the test-field regime. revision: yes

Circularity Check

0 steps flagged

Scalar hair growth follows from external de Sitter wave equation, no load-bearing self-reference

full rationale

The central claim traces superhorizon growth of the scalar hair directly to the standard massless minimally coupled scalar wave equation in expanding de Sitter spacetime, an independent external result. The abstract explicitly states this growth 'is not a special consequence of the black hole' and 'also arises for a point scalar charge,' confirming the derivation does not reduce to the hair construction or any fitted parameter. No self-citations, uniqueness theorems, or ansatzes are invoked as load-bearing steps in the provided text. The test-field regime is acknowledged as transient due to outward energy flux, but this does not create a circular reduction in the reported growth result. Overall minor self-citation risk at most, with the derivation remaining self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available, so the ledger is inferred from the stated theory and approximations; no new free parameters or invented entities are introduced in the summary.

axioms (2)
  • domain assumption The scalar field is minimally coupled and massless with linear shift-symmetric coupling to the Gauss-Bonnet invariant
    This defines the theory under study and is invoked to derive the test-field equations.
  • domain assumption de Sitter spacetime provides the cosmological background
    The expanding universe is modeled as de Sitter, standard for late-time cosmology.

pith-pipeline@v0.9.0 · 5474 in / 1535 out tokens · 33814 ms · 2026-05-15T01:43:35.668804+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

35 extracted references · 25 canonical work pages · 15 internal anchors

  1. [1]

    This, however, does not by itself imply large backreaction or an inconsistency of the de Sitter background

    grows logarith- mically with physical distance on superhorizon scales, in addition to growing linearly in cosmological time. This, however, does not by itself imply large backreaction or an inconsistency of the de Sitter background. Backreaction is controlled not by the scalar profile it- self, but by the energy-momentum tensor, whose source- dependent par...

  2. [2]

    By contrast, on superhorizon scales, b r≫ 1/H − − − − − → β 2H 2 2 √ 6M 2 P [ 640 ( αH β ) 2 − 16(αH/β ) + 1 H 2r2 ]

    Near the source, that is on subhorizon scales, b r≪ 1/H − − − − − → β 2H 2 2 √ 6M 2 P [ 1 H 4r4 + 1 H 2r2 ] , (36) so the source-induced contribution grows rapidly as the source is approached. By contrast, on superhorizon scales, b r≫ 1/H − − − − − → β 2H 2 2 √ 6M 2 P [ 640 ( αH β ) 2 − 16(αH/β ) + 1 H 2r2 ] . (37) 6 Thus, even though the scalar profile it...

  3. [3]

    (40) The profile is singular at the cosmological horizon in these coordinates, but this is only an artifact of the static patch

    in static coordinates, Φ( τ, r ) = (8 αH +β )H 2τ + 4αH 2 ln ( 1− H 2r2) + βH ln [ √ 1− H 2r2 1+ Hr ] + β r . (40) The profile is singular at the cosmological horizon in these coordinates, but this is only an artifact of the static patch . A direct computation then gives the constant negative flux ˙M = − 4πβ (β +8αH )H 2 . (41) This is a purely de Sitter eff...

  4. [4]

    and at the cosmological horizon ( 46) yields, respectively, (Hr BH)4Q2 = [ 4αF ′(rBH) − C ]2 , (51) (Hr C)4Q2 = [ 4αF ′(rC) − C ]2 . (52) At this stage, however, these conditions still admit four algebraic branches, C = 4α r2 CF ′(rBH) ∓ r2 BHF ′(rC) r2 C ∓ r2 BH , (53) |Q| = 4α F ′(rBH) − F ′(rC) H 2(r2 C ∓ r2 BH) . (54) This branch ambiguity is not most...

  5. [5]

    The full scalar profile in these coordinates reads Φ( t, r ) = QH 2t + QH 2w(r) + ϕ (r)

    in the limit H → 0, and to the de Sitter line element in Painlevé–Gullstrand form ( 29) in the limit rS → 0. The full scalar profile in these coordinates reads Φ( t, r ) = QH 2t + QH 2w(r) + ϕ (r) . (57) It is more convenient, however, to consider the radial derivative of the scalar profile and demand its continuity across the horizons: ∂ rΦ( t, r ) = H 2r2...

  6. [6]

    As is clear from Fig

    is not satisfied, backre- action must instead be taken into account. As is clear from Fig. 4, it becomes important first on subhorizon scales. Thus, the first breakdown of the test-field approx- imation occurs near the black hole, while the superhori- zon regime remains under control. This indicates that the relevant nonlinear problem is localized and should ...

    2023

  7. [7]

    Novel ‘‘no-scalar-hair’’ theorem for black holes,

    J. D. Bekenstein, “Novel ‘‘no-scalar-hair’’ theorem for black holes,” Phys. Rev. D 51 (1995) no.12, R6608

    1995

  8. [8]

    A no-hair theorem for the galileon

    L. Hui and A. Nicolis, “No-Hair Theorem for the Galileon,” Phys. Rev. Lett. 110 (2013), 241104 [arXiv:1202.1296 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  9. [9]

    Black hole hair in generalized scalar-tensor gravity

    T. P. Sotiriou and S. Y. Zhou, “Black hole hair in general- ized scalar-tensor gravity,” Phys. Rev. Lett. 112 (2014), 251102 [arXiv:1312.3622 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  10. [10]

    Evasion of No-Hair Theorems and Novel Black-Hole Solutions in Gauss-Bonnet Theories

    G. Antoniou, A. Bakopoulos and P. Kanti, “Evasion of No-Hair Theorems and Novel Black-Hole Solutions in Gauss-Bonnet Theories,” Phys. Rev. Lett. 120 (2018) no.13, 131102 [arXiv:1711.03390 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  11. [11]

    Black hole hair in generalized scalar-tensor gravity: An explicit example

    T. P. Sotiriou and S. Y. Zhou, “Black hole hair in gener- alized scalar-tensor gravity: An explicit example,” Phys. Rev. D 90 (2014), 124063 [arXiv:1408.1698 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  12. [12]

    Growing hair on black holes,

    S. R. Coleman, J. Preskill and F. Wilczek, “Growing hair on black holes,” Phys. Rev. Lett. 67 (1991), 1975-1978

    1991

  13. [13]

    Quantum Hair on Black Holes

    S. R. Coleman, J. Preskill and F. Wilczek, “Quantum hair on black holes,” Nucl. Phys. B 378 (1992), 175-246 [arXiv:hep-th/9201059 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv 1992

  14. [14]

    Instability of hairy black holes in shift-symmetric Horndeski theories

    H. Ogawa, T. Kobayashi and T. Suyama, “Instability of hairy black holes in shift-symmetric Horndeski theories,” Phys. Rev. D 93 (2016) no.6, 064078 [arXiv:1510.07400 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  15. [15]

    Black hole hair formation in shift-symmetric generalised scalar-tensor gravity

    R. Benkel, T. P. Sotiriou and H. Witek, “Black hole hair formation in shift-symmetric generalised scalar-tensor gravity,” Class. Quant. Grav. 34 (2017) no.6, 064001 [arXiv:1610.09168 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  16. [16]

    J. F. M. Delgado, C. A. R. Herdeiro and E. Radu, JHEP 04 (2020), 180 [arXiv:2002.05012 [gr-qc]]

    work page arXiv 2020

  17. [17]

    Solitons and black hole in shift symmetric scalar-tensor gravity with cosmological constant

    Y. Brihaye, B. Hartmann and J. Urrestilla, “Solitons and black hole in shift symmetric scalar-tensor grav- ity with cosmological constant,” JHEP 06 (2018), 074 [arXiv:1712.02458 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  18. [18]

    Novel Black-Hole Solutions in Einstein-Scalar-Gauss-Bonnet Theories with a Cosmological Constant

    A. Bakopoulos, G. Antoniou and P. Kanti, “Novel Black- Hole Solutions in Einstein-Scalar-Gauss-Bonnet Theories with a Cosmological Constant,” Phys. Rev. D 99 (2019) no.6, 064003 [arXiv:1812.06941 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  19. [19]

    Black Hole Spontaneous Scalarisation with a Positive Cosmolog- ical Constant,

    Y. Brihaye, C. Herdeiro and E. Radu, “Black Hole Spontaneous Scalarisation with a Positive Cosmolog- ical Constant,” Phys. Lett. B 802 (2020), 135269 [arXiv:1910.05286 [gr-qc]]

    work page arXiv 2020

  20. [20]

    Black- hole hair in scalar-Gauss-Bonnet gravity is altered by cosmology,

    E. Babichev, I. Sawicki and L. G. Trombetta, “Black- hole hair in scalar-Gauss-Bonnet gravity is altered by cosmology,” Phys. Rev. D 111 (2025) no.4, L041502 [arXiv:2403.15537 [gr-qc]]

    work page arXiv 2025

  21. [21]

    Particle creation in expanding universes,

    L. Parker, “Particle creation in expanding universes,” Phys. Rev. Lett. 21 (1968), 562-564

    1968

  22. [22]

    Mass loss by a scalar charge in an expanding universe

    L. M. Burko, A. I. Harte and E. Poisson, “Mass loss by a scalar charge in an expanding universe,” Phys. Rev. D 65 (2002), 124006 [arXiv:gr-qc/0201020 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  23. [23]

    Classical radiation by free-falling charges in de Sitter spacetime

    E. T. Akhmedov, A. Roura and A. Sadofyev, “Classical radiation by free-falling charges in de Sitter spacetime,” Phys. Rev. D 82 (2010), 044035 [arXiv:1006.3274 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  24. [24]

    Breaking of scaling symmetry by massless scalar on de Sitter,

    D. Glavan, S. P. Miao, T. Prokopec and R. P. Woodard, “Breaking of scaling symmetry by massless scalar on de Sitter,” Phys. Lett. B 798 (2019), 134944 [arXiv:1908.11113 [gr-qc]]

    work page arXiv 2019

  25. [25]

    Cosmology in Painlevé- Gullstrand coordinates,

    R. Gaur and M. Visser, “Cosmology in Painlevé- Gullstrand coordinates,” JCAP 09 (2022), 030 [arXiv:2207.08375 [gr-qc]]

    work page arXiv 2022

  26. [26]

    Planck 2018 results. X. Constraints on inflation

    Y. Akrami et al. [Planck], “Planck 2018 results. X. Con- straints on inflation,” Astron. Astrophys. 641 (2020), A10 [arXiv:1807.06211 [astro-ph.CO]]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  27. [27]

    Large logarithms from quantum gravitational correc- tions to a massless, minimally coupled scalar on de Sit- ter,

    D. Glavan, S. P. Miao, T. Prokopec and R. P. Woodard, “Large logarithms from quantum gravitational correc- tions to a massless, minimally coupled scalar on de Sit- ter,” JHEP 03 (2022), 088 [arXiv:2112.00959 [gr-qc]]

    work page arXiv 2022

  28. [28]

    Large black-hole scalar charges in- duced by cosmology in Horndeski theories,

    E. Babichev, G. Esposito-Farèse, I. Sawicki and L. G. Trombetta, “Large black-hole scalar charges in- duced by cosmology in Horndeski theories,” Phys. Rev. D 112 (2025) no.2, 024043 [arXiv:2504.07882 [gr-qc]]

    work page arXiv 2025

  29. [29]

    Axiomatic approach to radiation reaction of scalar point particles in curved spacetime

    T. C. Quinn, “Axiomatic approach to radiation reaction of scalar point particles in curved space-time,” Phys. Rev. D 62 (2000), 064029 [arXiv:gr-qc/0005030 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  30. [30]

    The Motion of point particles in curved space-time,

    E. Poisson, “The Motion of point particles in curved space-time,” Living Rev. Rel. 7 (2004), 6 [arXiv:gr- qc/0306052 [gr-qc]]

    work page arXiv 2004

  31. [31]

    Instability of scalar charges in 1+1D and 2+1D

    L. M. Burko, “Instability of scalar charges in (1+1)- dimensions and (2+1)-dimensions,” Class. Quant. Grav. 19 (2002), 3745-3752 [arXiv:gr-qc/0201021 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  32. [32]

    Hairy Black-holes in Shift-symmetric Theories,

    P. Creminelli, N. Loayza, F. Serra, E. Trincherini and L. G. Trombetta, “Hairy Black-holes in Shift-symmetric Theories,” JHEP 08 (2020), 045 doi:10.1007/JHEP08(2020)045 [arXiv:2004.02893 [hep- th]]

    work page doi:10.1007/jhep08(2020)045 2020

  33. [33]

    Introducing Cadabra: A Symbolic computer algebra system for field theory problems,

    K. Peeters, “Introducing Cadabra: A Symbolic computer algebra system for field theory problems,” [arXiv:hep- th/0701238 [hep-th]]

    work page arXiv

  34. [34]

    A field-theory motivated approach to symbolic computer algebra

    K. Peeters, “A Field-theory motivated approach to sym- bolic computer algebra,” Comput. Phys. Commun. 176 (2007), 550-558 [arXiv:cs/0608005 [cs.SC]]

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  35. [35]

    Cadabra2: computer algebra for field theory revisited,

    K. Peeters, “Cadabra2: computer algebra for field theory revisited,” J. Open Source Softw. 3 (2018) no.32, 1118

    2018