Recognition: 2 theorem links
· Lean TheoremA cosmology-to-ringdown EFT consistency map for scalar-tensor gravity
Pith reviewed 2026-05-13 05:17 UTC · model grok-4.3
The pith
Cosmological constraints on scalar-tensor gravity push inherited tensor-speed changes far below black-hole ringdown detectability while permitting operators active only in the strong-field regime.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Starting from a cosmology-conditioned EFT posterior, the authors lift Jordan-frame FLRW data through a finite covariant jet, transport the result to the arbitrary-background EFT for black-hole perturbations with a timelike scalar, and project it onto parity-resolved quasinormal-mode response kernels. The cosmological layer is a deterministic compressed likelihood built from BAO-like distances, growth summaries, low-redshift tensor-speed information, stability filters, and posterior samples. The transported posterior shows that FLRW tensor-speed deformations inherited from cosmology are driven far below ringdown detectability, whereas operators that vanish on homogeneous FLRW backgrounds can
What carries the argument
The finite covariant jet that lifts a cosmology-conditioned EFT posterior to the arbitrary-background EFT for black-hole perturbations with a timelike scalar
Load-bearing premise
The finite covariant jet provides an accurate and complete lift of the cosmology-conditioned EFT posterior to the arbitrary-background EFT for black-hole perturbations without introducing uncontrolled errors or missing relevant operators in the strong-field regime.
What would settle it
A ringdown measurement that either recovers a tensor-speed deviation at the level predicted by the transported cosmology posterior or requires additional operators beyond those allowed by the jet lift would confirm or refute the mapping.
read the original abstract
We construct an effective-field-theory bridge from late-time scalar-tensor cosmology to black-hole ringdown observables. Starting from a cosmology-conditioned EFT posterior, we lift Jordan-frame FLRW data through a finite covariant jet, transport the result to the arbitrary-background EFT for black-hole perturbations with a timelike scalar, and project it onto parity-resolved quasinormal-mode response kernels. The cosmological layer is a deterministic compressed likelihood built from BAO-like distances, growth summaries, low-redshift tensor-speed information, stability filters, and posterior samples for the ringdown pushforward. The detector layer uses Bayesian time-domain injections, one-, two-, and three-mode recovery models, analytic marginalization over linear sine/cosine amplitudes, remnant-calibration covariance products, and start-time variations. The transported posterior shows that FLRW tensor-speed deformations inherited from cosmology are driven far below ringdown detectability, whereas operators that vanish on homogeneous FLRW backgrounds can remain active in the anisotropic near zone of a black hole. For a literature-calibrated Hayward branch, we specify the prior measure, separate directly admissible points from a proxy continuation, and propagate both to detector-whitened consistency modes. The resulting framework turns cosmological viability into black-hole spectroscopy priors while keeping the strong-field completion explicit rather than assumed.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs an EFT bridge from late-time scalar-tensor cosmology to black-hole ringdown. It begins with a cosmology-conditioned posterior built from BAO-like distances, growth summaries, low-redshift tensor-speed data, stability filters, and posterior samples. This is lifted via a finite covariant jet to the arbitrary-background EFT for timelike-scalar black-hole perturbations, transported, and projected onto parity-resolved quasinormal-mode kernels. The central result is that FLRW-inherited tensor-speed deformations fall far below ringdown detectability, while operators vanishing on homogeneous FLRW backgrounds can remain active in the anisotropic near zone. The detector layer employs Bayesian time-domain injections, one-to-three-mode recovery models, analytic marginalization over amplitudes, and remnant-calibration covariance; an example application to a literature-calibrated Hayward branch is provided.
Significance. If the lifting and transport steps prove accurate and complete, the work supplies a valuable consistency map that converts cosmological EFT constraints into explicit priors for black-hole spectroscopy. This directly addresses the multi-scale testing of gravity by keeping the strong-field completion explicit rather than assumed, and could inform analysis of future ringdown data in scalar-tensor theories.
major comments (2)
- [Abstract / lifting procedure] The finite covariant jet lift (abstract) is load-bearing for the separation between inherited and new operators, yet the truncation order is unspecified and no explicit check is given that all curvature couplings or higher-derivative terms vanishing on FLRW but active in the anisotropic near-zone are retained; omission of such terms would directly alter the projected QNM kernels and the detectability conclusion.
- [transport step] The transport step from the cosmology-conditioned posterior (built on BAO, growth, and tensor-speed data) to the ringdown predictions is presented as independent, but without shown equations demonstrating that the ringdown pushforward does not simply reproduce the input fit, the claim that inherited deformations are driven below detectability risks circularity.
minor comments (1)
- [detector layer] The detector-layer description introduces several technical terms (remnant-calibration covariance products, start-time variations) without immediate definitions or references, which reduces clarity for readers outside the immediate subfield.
Simulated Author's Rebuttal
We thank the referee for the careful and constructive report. The two major comments identify points where additional explicit detail on the lifting procedure and transport map will strengthen the manuscript. We have revised accordingly and address each comment below.
read point-by-point responses
-
Referee: [Abstract / lifting procedure] The finite covariant jet lift (abstract) is load-bearing for the separation between inherited and new operators, yet the truncation order is unspecified and no explicit check is given that all curvature couplings or higher-derivative terms vanishing on FLRW but active in the anisotropic near-zone are retained; omission of such terms would directly alter the projected QNM kernels and the detectability conclusion.
Authors: We agree that the truncation order and retention of relevant operators must be stated explicitly. The finite covariant jet is performed at second order in derivatives and curvature, which is the minimal order that captures all operators vanishing on homogeneous FLRW backgrounds while contributing to timelike-scalar perturbations in the anisotropic near zone. In the revised manuscript we have added this specification to the abstract and main text, together with a new appendix that lists the retained curvature couplings and demonstrates that omitted higher-order terms do not shift the leading QNM frequencies at the precision of our detectability analysis. revision: yes
-
Referee: [transport step] The transport step from the cosmology-conditioned posterior (built on BAO, growth, and tensor-speed data) to the ringdown predictions is presented as independent, but without shown equations demonstrating that the ringdown pushforward does not simply reproduce the input fit, the claim that inherited deformations are driven below detectability risks circularity.
Authors: The cosmology posterior is constructed exclusively from FLRW observables. The jet lift then maps these parameters into the arbitrary-background EFT, where the black-hole geometry and scalar profile introduce scale-dependent factors absent from the cosmological data. The subsequent projection onto QNM kernels is therefore a distinct observable. To remove any ambiguity we have inserted explicit equations for the pushforward map (new Eqs. 3.4–3.6) showing that the suppression of inherited tensor-speed deformations originates from the ratio of cosmological to horizon scales, not from re-fitting the input data. The revised text also includes a short numerical check confirming that the ringdown predictions differ from a direct extrapolation of the cosmological posterior. revision: yes
Circularity Check
No circularity: transport and projection steps add independent structure
full rationale
The derivation begins with a cosmology-conditioned posterior fitted to BAO, growth, and tensor-speed data, then applies an explicit lift via finite covariant jet followed by transport to the arbitrary-background EFT and projection onto parity-resolved QNM kernels. These intermediate operations introduce background-dependent operator distinctions (FLRW-vanishing vs. non-vanishing) that are not present in the input posterior and are not shown by any equation to reduce tautologically to the cosmological fit. No self-definitional loop, fitted-input-as-prediction, or load-bearing self-citation is exhibited in the provided chain; the final consistency map therefore retains independent content from the jet and transport modeling.
Axiom & Free-Parameter Ledger
free parameters (1)
- EFT operator coefficients for tensor-speed deformations
axioms (2)
- domain assumption The finite covariant jet provides a consistent lift of the Jordan-frame FLRW EFT to the arbitrary-background EFT for black-hole perturbations with a timelike scalar.
- domain assumption Parity-resolved quasinormal-mode response kernels fully capture the observable ringdown signatures relevant to the transported posterior.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
lift Jordan-frame FLRW data through a finite covariant jet, transport the result to the arbitrary-background EFT for black-hole perturbations with a timelike scalar, and project it onto parity-resolved quasinormal-mode response kernels
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
operators that vanish on homogeneous FLRW backgrounds can remain active in the anisotropic near zone of a black hole
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
-
[1]
Modified Gravity and Cosmology
T. Clifton, P. G. Ferreira, A. Padilla, and C. Skordis, “Modified Gravity and Cosmology,” Phys. Rept.513, 1–189 (2012) [arXiv:1106.2476 [astro-ph.CO]]
work page internal anchor Pith review arXiv 2012
-
[2]
The Effective Field Theory of Dark Energy,
G. Gubitosi, F. Piazza, and F. Vernizzi, “The Effective Field Theory of Dark Energy,” JCAP 1302, 032 (2013) [arXiv:1210.0201 [hep-th]]
-
[3]
Dark Energy or Modified Gravity? An Effective Field Theory Approach,
J. K. Bloomfield, É. É. Flanagan, M. Park, and S. Watson, “Dark Energy or Modified Gravity? An Effective Field Theory Approach,” JCAP1308, 010 (2013) [arXiv:1211.7054 [astro-ph.CO]]
-
[4]
Maximal freedom at minimum cost: linear large-scale structure in general modifications of gravity
E. Bellini and I. Sawicki, “Maximal Freedom at Minimum Cost: Linear Large-Scale Structure in General Modifications of Gravity,” JCAP1407, 050 (2014) [arXiv:1404.3713 [astro-ph.CO]]
work page Pith review arXiv 2014
-
[5]
Effective Field Theory of Dark Energy: A Review,
N. Frusciante and L. Perenon, “Effective Field Theory of Dark Energy: A Review,” Phys. Rept. 857, 1–63 (2020) [arXiv:1907.03150 [astro-ph.CO]]
-
[6]
An Updated Constraint on the Effective Field Theory of Dark Energy,
C. Zheng, W. Liu, Z. Zhan, and W. Fang, “An Updated Constraint on the Effective Field Theory of Dark Energy,” Res. Astron. Astrophys.25, 125015 (2025) [arXiv:2509.13804 [astro-ph.CO]]
-
[7]
B. Stolzneret al., “KiDS-Legacy: Constraints on Horndeski Gravity from Weak Lensing Combined with Galaxy Clustering and Cosmic Microwave Background Anisotropies,” Astron. Astrophys.707, A323 (2026) [arXiv:2512.11039 [astro-ph.CO]]
-
[8]
Black Hole Spectroscopy: Testing General Relativity through Gravitational Wave Observations
O. Dreyer, B. Kelly, B. Krishnan, L. S. Finn, D. Garrison, and R. Lopez-Aleman, “Black Hole Spectroscopy: Testing General Relativity through Gravitational Wave Observations,” Class. Quant. Grav.21, 787–804 (2004) [arXiv:gr-qc/0309007]
work page Pith review arXiv 2004
-
[9]
On gravitational-wave spectroscopy of massive black holes with the space interferometer LISA
E. Berti, V. Cardoso, and C. M. Will, “On Gravitational-Wave Spectroscopy of Massive Black Holes with the Space Interferometer LISA,” Phys. Rev. D73, 064030 (2006) [arXiv:gr-qc/0512160]
work page Pith review arXiv 2006
-
[10]
Tests of General Relativity with GWTC-3
R. Abbottet al.(LIGO Scientific Collaboration, Virgo Collaboration, and KAGRA Collaboration), “Tests of General Relativity with GWTC-3,” Phys. Rev. D112, 084080 (2025) [arXiv:2112.06861 [gr-qc]]
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[11]
GWTC-4.0: Tests of General Relativity. III. Tests of the Remnants,
The LIGO Scientific Collaboration, the Virgo Collaboration, and the KAGRA Collaboration, “GWTC-4.0: Tests of General Relativity. III. Tests of the Remnants,” arXiv:2603.19021 [gr-qc]
-
[12]
Black Hole Spectroscopy and Tests of General Relativity with GW250114,
The LIGO Scientific Collaboration, the Virgo Collaboration, and the KAGRA Collaboration, “Black Hole Spectroscopy and Tests of General Relativity with GW250114,” Phys. Rev. Lett. 136, 041403 (2026) [arXiv:2509.08099 [gr-qc]]. – 46 –
-
[13]
Black hole spectroscopy: from theory to experiment
E. Bertiet al., “Black Hole Spectroscopy: from Theory to Experiment,” arXiv:2505.23895 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv
-
[14]
M. Maggioreet al., “Science Case for the Einstein Telescope,” JCAP2003, 050 (2020) [arXiv:1912.02622 [astro-ph.CO]]
-
[15]
Laser Interferometer Space Antenna
P. Amaro-Seoaneet al., “Laser Interferometer Space Antenna,” [arXiv:1702.00786 [astro-ph.IM]]
work page internal anchor Pith review Pith/arXiv arXiv
-
[16]
Exploring Tests of the No-Hair Theorem with LISA,
C. Pitte, Q. Baghi, M. Besançon, and A. Petiteau, “Exploring Tests of the No-Hair Theorem with LISA,” Phys. Rev. D110, 104003 (2024) [arXiv:2406.14552 [gr-qc]]
-
[17]
Landscape of massive black-hole spectroscopy with LISA and the Einstein Telescope,
S. Bhagwat, C. Pacilio, E. Barausse, and P. Pani, “The Landscape of Massive Black-Hole Spectroscopy with LISA and Einstein Telescope,” Phys. Rev. D105, 124063 (2022) [arXiv:2201.00023 [gr-qc]]
-
[18]
Black-Hole Spectroscopy: Quasinormal Modes, Ringdown Stability and the Pseudospectrum,
K. Destounis and F. Duque, “Black-Hole Spectroscopy: Quasinormal Modes, Ringdown Stability and the Pseudospectrum,” arXiv:2308.16227 [gr-qc]
-
[19]
A. K.-W. Chung and N. Yunes, “Ringing Out General Relativity: Quasinormal Mode Frequencies for Black Holes of Any Spin in Modified Gravity,” Phys. Rev. Lett.133, 181401 (2024) [arXiv:2405.12280 [gr-qc]]
-
[20]
S. Maenaut, G. Carullo, P. A. Cano, A. Liu, V. Cardoso, T. Hertog, and T. G. F. Li, “Ringdown Analysis of Rotating Black Holes in Effective Field Theory Extensions of General Relativity,” Phys. Rev. D113, 044039 (2026) [arXiv:2411.17893 [gr-qc]]
-
[21]
Testing Dark Energy with Black Hole Ringdown
L. Smulders, J. Noller, and S. Sirera, “Testing Dark Energy with Black Hole Ringdown,” arXiv:2603.23634 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv
-
[22]
Stable black hole solutions with cosmological hair
L. Smulders and J. Noller, “Stable Black Hole Solutions with Cosmological Hair,” arXiv:2603.22398 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv
-
[23]
Effective field theory of black hole perturbations with timelike scalar profile: formulation,
S. Mukohyama and V. Yingcharoenrat, “Effective Field Theory of Black Hole Perturbations with Timelike Scalar Profile: Formulation,” JCAP2209, 010 (2022) [arXiv:2204.00228 [hep-th]]
-
[24]
S. Mukohyama, K. Takahashi, and V. Yingcharoenrat, “Generalized Regge–Wheeler Equation from Effective Field Theory of Black Hole Perturbations with a Timelike Scalar Profile,” JCAP 2210, 050 (2022) [arXiv:2208.02943 [gr-qc]]
-
[25]
Quasinormal modes from EFT of black hole perturbations with timelike scalar profile,
S. Mukohyama, K. Takahashi, K. Tomikawa, and V. Yingcharoenrat, “Quasinormal Modes from EFT of Black Hole Perturbations with Timelike Scalar Profile,” JCAP2307, 050 (2023) [arXiv:2304.14304 [gr-qc]]
-
[26]
Bridging dark energy and black holes with EFT: frame transformation and gravitational wave speed,
S. Mukohyama, E. Seraille, K. Takahashi, and V. Yingcharoenrat, “Bridging Dark Energy and Black Holes with EFT: Frame Transformation and Gravitational Wave Speed,” JCAP2501, 085 (2025) [arXiv:2407.15123 [gr-qc]]
-
[27]
Spherical black hole perturbations in EFT of scalar-tensor gravity with timelike scalar profile,
S. Mukohyama, K. Takahashi, K. Tomikawa, and V. Yingcharoenrat, “Spherical Black Hole Perturbations in EFT of Scalar-Tensor Gravity with Timelike Scalar Profile,” JCAP2505, 084 (2025) [arXiv:2503.00520 [gr-qc]]
-
[28]
Effective Field Theory of Black Hole Perturbations in Vector-Tensor Gravity,
K. Aoki, M. A. Gorji, S. Mukohyama, K. Takahashi, and V. Yingcharoenrat, “Effective Field Theory of Black Hole Perturbations in Vector-Tensor Gravity,” JCAP2403, 012 (2024) [arXiv:2311.06767 [hep-th]]
-
[29]
Quasinormal Modes from EFT of Black Hole Perturbations in Vector-Tensor Gravity,
S. Tomizuka, H. Kobayashi, N. Oshita, K. Takahashi, and S. Mukohyama, “Quasinormal Modes from EFT of Black Hole Perturbations in Vector-Tensor Gravity,” JCAP2510, 056 (2025) [arXiv:2505.15125 [gr-qc]]
-
[30]
Dark Energy after GW170817: dead ends and the road ahead
J. M. Ezquiaga and M. Zumalacárregui, “Dark Energy after GW170817: Dead Ends and the Road Ahead,” Phys. Rev. Lett.119, 251304 (2017) [arXiv:1710.05901 [astro-ph.CO]]
work page Pith review arXiv 2017
-
[31]
Dark Energy after GW170817 and GRB170817A
P. Creminelli and F. Vernizzi, “Dark Energy after GW170817 and GRB170817A,” Phys. Rev. Lett.119, 251302 (2017) [arXiv:1710.05877 [astro-ph.CO]]. – 47 –
work page Pith review arXiv 2017
-
[32]
Kerr Black Hole Ringdown in Effective Field Theory
W. L. Boyce and J. E. Santos, “Kerr Black Hole Ringdown in Effective Field Theory,” arXiv:2603.10102 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv
-
[33]
Planck 2018 results. VI. Cosmological parameters
N. Aghanimet al.(Planck Collaboration), “Planck 2018 results. VI. Cosmological parameters,” Astron. Astrophys.641, A6 (2020) [arXiv:1807.06209 [astro-ph.CO]]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[34]
S. Alamet al.(eBOSS Collaboration), “Completed SDSS-IV Extended Baryon Oscillation Spectroscopic Survey: Cosmological Implications from Two Decades of Spectroscopic Surveys at the Apache Point Observatory,” Phys. Rev. D103, 083533 (2021) [arXiv:2007.08991 [astro-ph.CO]]
-
[35]
Gravitational Waves and Gamma-rays from a Binary Neutron Star Merger: GW170817 and GRB 170817A
B. P. Abbottet al.(LIGO Scientific Collaboration, Virgo Collaboration, Fermi Gamma-Ray Burst Monitor, and INTEGRAL), “Gravitational Waves and Gamma-Rays from a Binary Neutron Star Merger: GW170817 and GRB 170817A,” Astrophys. J. Lett.848, L13 (2017) [arXiv:1710.05834 [astro-ph.HE]]
work page Pith review arXiv 2017
-
[36]
Cosmic Growth History and Expansion History,
E. V. Linder, “Cosmic Growth History and Expansion History,” Phys. Rev. D72, 043529 (2005) [arXiv:astro-ph/0507263]
- [37]
-
[38]
Quantifying Systematic Biases in Black Hole Spectroscopy,
S. H. Völkel and A. Dhani, “Quantifying Systematic Biases in Black Hole Spectroscopy,” arXiv:2507.22122 [gr-qc]. – 48 –
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.