REVIEW 2 major objections 5 minor 29 references
Rotating near-horizon extreme geometries in quadratic gravity
T0 review · 2 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The paper constructs the first regular rotating near-horizon extreme geometries in Einstein–Weyl quadratic gravity, all with nonzero Bach tensor, and shows their horizon area is bounded above at microscopic scales.
desk verdict First rotating near-horizon Bachian geometries in quadratic gravity, with a real completeness gap in the Frobenius classification that a referee should close. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the conformal rewriting of the NHEK-symmetric metric, $g = \Omega^2(\bar{r})[q + H(\bar{r})\alpha^2 + d\bar{r}^2/H(\bar{r})]$, with $q$ the unit-radius $\mathrm{AdS}_2$ metric and $\alpha = d\phi - 2n w\, du$. In these coordinates the Einstein–Weyl field equations reduce to two ordinary differential equations (11) for $\Omega$ and $H$, with Bach components $B_1, B_2$ given by (12), plus the trace constraint (13). A Frobenius ansatz $\Omega = \sqrt{|\omega|}\,\bar\Delta^N \sum f_i \bar\Delta^i$, $H = \bar\Delta^P \sum h_i \bar\Delta^i$ classifies solutions by exponent pairs $[N,P]$; the claim is that only $[0,0]$ (generic points and the equator), $[0,1]$ (poles), $[1,0]$, and $[-1,2]$ are admissible. The recurrence relations (E5)–(E13) then generate the series, and the constraint (E8) fixes $H(0) = h_{0\pm}(f_0,h_2)$ as in (17). The construction of the three branches consists of fine-tuning $h_2$ for each $f_0$ so that the equator expansion matches a pole expansion of class $[0,1]$ with $H(\pm\bar{r}_*)=0$ and finite, positive $\Omega(\pm\bar{r}_*)$, with convergence verified by combining expansions around several intermediate points.
What would settle it
Integrate the reduced field equations (11)–(13) numerically for $f_0 = 3$ (above the reported $h_{0-}$ limit) and for $f_0 = 2$ (above the reported $h_{0+}$ limit), allowing $h_2$ to vary continuously through the region where the expression (17) for $h_{0\pm}$ is not real; a successful match to a regular $[0,1]$ pole expansion would disprove the claimed termination. Independently, a derivation of the indicial equation for the full system that yields a fifth admissible exponent pair would invalidate the exhaustiveness claim.
Extended reading notes
Core claim
The central discovery is that regular rotating near-horizon extreme geometries in Einstein–Weyl gravity exist in three one-parameter families, all with a nonzero Bach tensor, and all demanding a precise fine-tuning of the expansion coefficient $h_2 = H''(0)/2$ as a function of $f_0$: two families in the non-tachyonic theory ($h_{0-}$ with $h_2<0$ terminating at $f_0 \simeq 2.69$, and $h_{0+}$ with $h_2>0$ terminating at $f_0 \simeq 1.56$) and one family in the tachyonic theory ($h_{0-}$, terminating at $f_0 \simeq 2.69$ where it meets the NHEK branch). The solutions are regular at both poles and at the equator, with horizon metric of spherical topology, equatorial reflection symmetry, and the $\mathrm{AdS}_2$ structure of NHEK. Their horizon areas are typically smaller than that of NHEK except for very small $f_0$, and the vanishing of the Bach tensor at the termination point in the tachyonic family confirms that the branch connects continuously to NHEK. In the non-tachyonic theory the two Bachian branches are disconnected from the NHEK branch in parameter space, in contrast to the single Bachian branch admitted by static spherically symmetric solutions.
Load-bearing premise
The result rests on the claim, taken from a companion paper rather than proved here, that a power-series analysis admits exactly four solution classes; if other classes of regular solutions exist, the fine-tuned families would not be exhaustive and the upper bound on horizon area could fail.
Editorial extensions
If this is right
- Extremal rotating black holes in Einstein–Weyl gravity whose near-horizon limit is one of these Bachian geometries would have horizon areas bounded above by roughly $10^{-5}\,\mathrm{m}^2$ for the $h_{0-}$ branches and $10^{-6}\,\mathrm{m}^2$ for the $h_{0+}$ branch, making them microscopic.
- The two non-tachyonic Bachian branches are disconnected from the NHEK branch, so they cannot be obtained as a continuous deformation of the Kerr throat; the tachyonic branch, by contrast, connects to NHEK at $f_0 \simeq 2.69$.
- Horizon deformations can be large: the scalar curvature $R_H$ of the induced horizon metric changes sign along the $h_{0+}$ branch, and the rotational scalar $\Upsilon$ can have up to four critical points and three sign changes, versus two critical points and one sign change for NHEK.
- The fine-tuning phenomenon suggests that regularity at the poles plus spherical horizon topology strongly constrains the space of rotating near-horizon solutions in quadratic gravity, analogous to the eigenvalue-like selection seen in static cases.
- Combined with experimental bounds on the Weyl-squared coupling, the area bound implies that any such extremal rotating black holes are not astrophysical objects, providing a sharp prediction that distinguishes Einstein–Weyl gravity from general relativity at the horizon scale.
Reading between the lines
- A natural test of the claimed termination is to continue the fine-tuned function $h_2(f_0)$ through the region where $h_{0\pm}$ in (17) is no longer real, e.g., by solving the ODE system with complex intermediate data; if regular real solutions reappear on the other side, the 'upper bound' would be an artifact of the Frobenius parametrization rather than a genuine boundary.
- The same conformal-coordinate and fine-tuning apparatus could be applied to the other symmetry classes listed in Appendix A (Taub–NUT, swirling, and $A$-metrics), and the authors say such solutions will be studied elsewhere; if the pattern persists, one would expect analogous finite-parameter Bachian branches and area bounds in each class.
- If the microscopic-size bound holds, these solutions join static Bachian black holes as candidates for Planck-scale remnants, with observational consequences only through quantum-gravity, cosmological, or dark-matter effects rather than through direct astrophysical detection.
- The need to fine-tune $h_2$ for every $f_0$ is structurally similar to an eigenvalue problem; a perturbative expansion around the NHEK branch, as the paper suggests, could reveal whether the fine-tuned values form a discrete spectrum of allowed horizon deformations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies rotating near-horizon extreme geometries in Einstein–Weyl quadratic gravity (the R=0 sector of quadratic gravity), restricting to metrics with NHEK-type symmetries, spherical horizon topology, and equatorial reflection symmetry. Using a conformal coordinate system, the authors reduce the field equations to a system of ordinary differential equations for two functions Ω and H. They perform a Frobenius analysis around the equator, generic points, and the poles, and derive explicit recurrence relations for the series coefficients in the classes [0,0] and [0,1]. Numerically, they identify three families of regular solutions with nontrivial Bach tensor (two in the non-tachyonic model and one in the tachyonic model), obtained by fine-tuning the coefficient h2 = H''(0)/2 as a function of f0 = Ω(0)/sqrt(|ω|). They report that these Bachian branches terminate at finite f0 (≈2.69 and ≈1.56), which they interpret as indicating an upper bound on the horizon area of the corresponding extremal rotating black holes. They also analyze horizon area, induced scalar curvature, and rotational scalar for these solutions.
Significance. If the results hold, this is the first systematic construction of rotating near-horizon extreme geometries in quadratic gravity with nonvanishing Bach tensor, with explicit series expansions and a reproducible numerical scheme. The recovery of the NHEK branch and the explicit recurrence relations (E5)–(E13) are clear strengths, as is the careful validation of numerical solutions against high-order series expansions. The physical conclusion—that regular Bachian near-horizon geometries may be limited to microscopic horizon areas—is potentially interesting but currently rests on two load-bearing assumptions: the completeness of the list of admissible Frobenius classes and the numerical absence of continuations beyond the reported termination points. Both need to be either proven or explicitly presented as conjectures for the central claims to be fully supported.
major comments (2)
- [Frobenius analysis (after Eq. (16))] The statement that the only admissible Frobenius classes are [0,0], [0,1], [1,0], and [-1,2] is assigned to the authors' in-preparation companion paper [17] and is not derived in the Letter. This classification is load-bearing: the exhaustiveness of the solution search and the claim that no regular Bachian geometries exist above a finite horizon area both presuppose that no other admissible leading behavior exists. Moreover, the recurrence relations in Appendix B cover only [0,0] and [0,1]; the dismissal of [1,0] and [-1,2] as corresponding to a zero or singularity of Ω is plausible but is not demonstrated from the indicial equations. Please include the indicial-equation analysis (or a condensed version) in the Letter or an appendix, or explicitly state that the results are conditional on the classification in [17].
- [Bachian branches for non-tachyonic theory (around Figs. 1 and 4)] The termination of the branches at f0 ≈ 2.69 and f0 ≈ 1.56 is established by numerical fine-tuning, and the text states simply that no continuation was identified. The forbidden region in which h0± is not real is not a barrier: a curve could in principle emerge on the other side of that region. Since the upper-bound interpretation depends on the actual absence of solutions beyond these values, please provide additional evidence (e.g., pole-side shooting, asymptotic analysis, or a rigorous argument using the recurrence relations) or weaken the conclusion to a conjecture about the branches explicitly found.
minor comments (5)
- [Eq. (16)] The series notation in Eq. (16) appears garbled: the expressions "n_{N+i} f_i" and "n_{P-2+i} h_i" likely should be "f_{N+i}" and "h_{P-2+i}" (or similar). Please clarify the intended indexing.
- [After Eq. (17)] The phrase "this condition determines a bounded region on the parameter space where no solution exists" is ambiguous; please rephrase to indicate that no solution exists where the discriminant is negative and hence h0 is not real.
- [Fig. 3] In Fig. 3, the series truncations at 20 and 200 terms are indicated by dashed and solid lines, but the line styles may be hard to distinguish in print; consider using different colors or markers.
- [Appendix C, Eq. (E15)] The definition R_H = -a'' in Eq. (E15) does not specify the coordinate with respect to which derivatives are taken; in the conformal expression, derivatives are with respect to \bar r, and this should be stated explicitly.
- [Introduction, reference [9]] Reference [9] is a 2026 preprint that may contain overlapping results on near-extremal black holes in quadratic gravity; a brief sentence on how the present work relates to it would be helpful.
Circularity Check
Exhaustiveness of the Frobenius classification is imported from the authors' own in-preparation companion [17]; the central numerical construction is otherwise independent.
-
uniqueness imported from authors
[Frobenius analysis, paragraph after Eq. (16); Appendix B recurrence relations]
"The analysis of the indicial equations reveals that the only possible classes of solutions are [0,0], [0,1], [1,0], and [−1,2] [17]. According to the physical interpretation of the metric, solutions of type [0,0] correspond to expansions around a generic point (including the equator, ¯r=0), whereas those [0,1] contain expansions around the poles (¯r=±¯r∗). The latter two classes give expansions around a zero and a singularity of Ω and, therefore, do not concern the geometries we study here."
The completeness of the list of admissible Frobenius classes is the load-bearing premise for the paper's negative conclusion that regular Bachian near-horizon geometries do not exist beyond finite f0, and hence for the upper bound on horizon area. This uniqueness/exhaustiveness claim is not derived in the Letter; its only support is reference [17], an in-preparation companion paper by the same authors. The recurrence relations in Appendix B are written only for the classes [0,0] and [0,1], so the exclusion of [1,0], [−1,2], and any other possible class rests entirely on the self-cited companion.
full rationale
The core derivation chain is not circular: the field equations (11)–(13) are written down from the Einstein–Weyl action, the conformal coordinates are introduced by explicit transformations, and the recurrence relations in Appendix B are obtained order by order from those equations. The Bachian branches emerge by numerically fine-tuning h2 so that the pole regularity conditions (10) are satisfied; the horizon area, scalar curvature, and rotational scalar are then computed from the resulting solutions, not fitted to a target conclusion. The NHEK branch is recovered within the paper from the single-function subclass, and the experimental bound on α is taken from an external torsion-balance reference. The only significant circularity-adjacent step is the assertion that [0,0], [0,1], [1,0], and [−1,2] are the only possible Frobenius classes, which is deferred to an in-preparation companion paper by the same authors. Because that uniqueness claim underpins the exhaustiveness of the numerical search and the interpretation that no regular Bachian geometries exist above a finite horizon area, it is load-bearing self-citation rather than independent support. The paper's central constructive results remain independent, so the appropriate score is moderate rather than high.
Assumptions & free parameters
free parameters (3)
- h2 = H''(0)/2 (equator expansion coefficient) =
fine-tuned numerically as a function h2(f0); values not tabulated, e.g., f0 = 1 has a solution in each branch
- f0 = Omega(0)/sqrt(|omega|) =
free input; branches exist for 0 < f0 less than about 2.69 (h0- tachyonic and non-tachyonic) and 0 < f0 less than…
- n (fibration parameter) =
set to pi/4 in the plots via scaling freedom (15)
assumptions (4)
- domain assumption The metric is restricted to NHEK symmetries with AdS2 structure, spherical horizon topology, and equatorial reflection symmetry.
- standard math Omega and H admit convergent Frobenius power series expansions around the equator, generic points, and the poles.
- ad hoc to paper The only possible Frobenius classes are [0,0], [0,1], [1,0], and [-1,2].
- ad hoc to paper The numerically fine-tuned branches exhaust the regular Bachian solutions, and no continuation exists beyond f0 approximately 2.69 or 1.56.
Cite this review
Pith. "Pith review of Rotating near-horizon extreme geometries in quadratic gravity." pith.science (2026). https://pith.science/paper/6DPTX6N2
@misc{pith2026260809847,
author = {Pith},
title = {Pith review of: Rotating near-horizon extreme geometries in quadratic gravity},
year = {2026},
howpublished = {\url{https://pith.science/paper/6DPTX6N2}},
note = {Machine review of arXiv:2608.09847}
}
abstract
Rotating near-horizon extreme solutions of quadratic gravity are analyzed combining power series expansions and numerical calculations. Restricting to geometries with symmetries of the near-horizon extreme Kerr black hole (i.e., with the $\mathrm{AdS_2}$-structure), spherical horizon topology, and equatorial reflection symmetry, we introduce conformal coordinates simplifying the field equations of Einstein--Weyl gravity, i.e., quadratic gravity with vanishing scalar curvature. Employing the Frobenius analysis, we classify all power series solutions expanded around the equator as well as the poles, and obtain the recurrence relations. With the help of numerical analysis, we study fine-tuning of the free parameter to satisfy the global constraints on regular near-horizon extreme geometries. Computations of the horizon area, horizon scalar curvature, and rotational scalar reveal strong horizon deformations in some Bachian branches. Moreover, the absence of regular Bachian near-horizon geometries above a finite horizon area suggests an upper bound on the size of the corresponding extremal rotating black holes.
Figures
Reference graph
Works this paper leans on
-
[17]
B. L. Giacchini and I. Kol´ aˇ r,G 4-hypersurface- homogeneous solutions of quadratic gravity, in prepara- tion
-
[1]
H. L¨ u, A. Perkins, C. N. Pope, and K. S. Stelle, Spher- ically symmetric solutions in higher-derivative gravity, Phys. Rev. D92, 124019 (2015), arXiv:1508.00010 [hep- th]
arXiv 2015
-
[2]
H. L¨ u, A. Perkins, C. N. Pope, and K. S. Stelle, Black Holes in Higher-Derivative Gravity, Phys. Rev. Lett.114, 171601 (2015), arXiv:1502.01028 [hep-th]
arXiv 2015
-
[3]
J. Podolsk´ y, R.ˇSvarc, V. Pravda, and A. Pravdov´ a, Ex- plicit black hole solutions in higher-derivative gravity, Phys. Rev. D98, 021502 (2018), arXiv:1806.08209 [gr- qc]
arXiv 2018
-
[4]
J. Podolsk´ y, R. ˇSvarc, V. Pravda, and A. Pravdov´ a, Black holes and other exact spherical solutions in Quadratic Gravity, Phys. Rev. D101, 024027 (2020), arXiv:1907.00046 [gr-qc]
arXiv 2020
-
[5]
J. M. Bardeen and G. T. Horowitz, The Extreme Kerr throat geometry: A Vacuum analog ofAdS 2 ×S 2, Phys. Rev. D60, 104030 (1999), arXiv:hep-th/9905099
arXiv 1999
-
[6]
H. K. Kunduri and J. Lucietti, Classification of near- horizon geometries of extremal black holes, Living Rev. Rel.16, 8 (2013), arXiv:1306.2517 [hep-th]
arXiv 2013
-
[7]
T. Hale, R. A. Hennigar, and D. Kubizˇ n´ ak, Rotating ex- tremal black holes in Einstein-Born-Infeld theory, JHEP 01, 155, arXiv:2509.13099 [gr-qc]
Show all 29 references
-
[8]
P. A. Cano and D. Pere˜ niguez, Extremal Rotating Black Holes in Einsteinian Cubic Gravity, Phys. Rev. D101, 044016 (2020), arXiv:1910.10721 [hep-th]
2020 arXiv
-
[9]
K. K.-H. Lam, G. T. Horowitz, and N. Yunes, Living on the Edge of Effective Field Theory: Near-Extremal Black Holes in Quadratic Gravity (2026), arXiv:2608.05268 [gr- qc]
2026 arXiv
-
[10]
K. S. Stelle, Renormalization of Higher Derivative Quan- tum Gravity, Phys. Rev. D16, 953 (1977)
1977
-
[11]
Benedetti, P
D. Benedetti, P. F. Machado, and F. Saueressig, Taming perturbative divergences in asymptotically safe gravity, Nucl. Phys. B824, 168 (2010), arXiv:0902.4630 [hep-th]
2010 arXiv
-
[12]
Hamada and M
Y. Hamada and M. Yamada, Asymptotic safety of higher derivative quantum gravity non-minimally coupled with a matter system, JHEP08, 070, arXiv:1703.09033 [hep- th]
-
[13]
H. K. Kunduri, J. Lucietti, and H. S. Reall, Near-horizon symmetries of extremal black holes, Class. Quant. Grav. 24, 4169 (2007), arXiv:0705.4214 [hep-th]
2007 arXiv
-
[14]
H. K. Kunduri and J. Lucietti, Uniqueness of near-horizon geometries of rotating extremal AdS(4) black holes, Class. Quant. Grav.26, 055019 (2009), arXiv:0812.1576 [hep-th]
2009 arXiv
-
[15]
H. K. Kunduri and J. Lucietti, A Classification of near- horizon geometries of extremal vacuum black holes, J. Math. Phys.50, 082502 (2009), arXiv:0806.2051 [hep- th]
2009 arXiv
-
[16]
Coll´ eaux, I
A. Coll´ eaux, I. Kol´ aˇ r, and T. M´ alek, Quasi-topological gravity for 4-dimensional Taub-NUT, near-horizon extreme Kerr, and swirling symmetries (2026), arXiv:2606.17784 [gr-qc]
2026 arXiv
-
[18]
B. L. Giacchini, Experimental limits on the free parame- ters of higher-derivative gravity, in14th Marcel Gross- mann Meeting on Recent Developments in Theoretical and Experimental General Relativity, Astrophysics, and Relativistic Field Theories, Vol. 2 (2017) pp. 1340–1345, ...
2017 arXiv
-
[19]
D. J. Kapner, T. S. Cook, E. G. Adelberger, J. H. Gund- lach, B. R. Heckel, C. D. Hoyle, and H. E. Swanson, Tests 6 of the gravitational inverse-square law below the dark- energy length scale, Phys. Rev. Lett.98, 021101 (2007), arXiv:hep-ph/0611184
2007 arXiv
-
[20]
ˇSvarc, ˇS
R. ˇSvarc, ˇS. Knoˇ ska, and J. V. Tajˇ covsk´ y, Linear pertur- bations of near-horizon extreme Kerr, in preparation
-
[21]
Bonanno and S
A. Bonanno and S. Silveravalle, Characterizing black hole metrics in quadratic gravity, Phys. Rev. D99, 101501 (2019), arXiv:1903.08759 [gr-qc]
2019 arXiv
-
[22]
Silveravalle and A
S. Silveravalle and A. Zuccotti, Phase diagram of Einstein-Weyl gravity, Phys. Rev. D107, 064029 (2023), arXiv:2210.13877 [gr-qc]
2023 arXiv
-
[23]
Coll´ eaux, I
A. Coll´ eaux, I. Kol´ aˇ r, and T. M´ alek, Double Wick rota- tions between symmetries of Taub-NUT, near-horizon ex- treme Kerr, and swirling spacetimes, Phys. Rev. D112, 124040 (2025), arXiv:2509.22309 [gr-qc]
2025
-
[24]
Chen and H.-S
Y.-Q. Chen and H.-S. Liu, New Taub-NUT black holes with massive spin-2 hair, Sci. China Phys. Mech. Astron. 68, 220411 (2025), arXiv:2406.03692 [gr-qc]
2025 arXiv
-
[25]
Hajian, A
K. Hajian, A. Seraj, and M. M. Sheikh-Jabbari, NHEG Mechanics: Laws of Near Horizon Extremal Geome- try (Thermo)Dynamics, JHEP03, 014, arXiv:1310.3727 [hep-th]
-
[26]
J. W. Hicks,Classification of Spacetimes with Symmetry, Ph.D. thesis, Utah State University (2016)
2016
-
[27]
Patera, P
J. Patera, P. Winternitz, and H. Zassenhaus, Continu- ous Subgroups of the Fundamental Groups of Physics. 1. General Method and the Poincare Group, J. Math. Phys. 16, 1597 (1975)
1975
-
[28]
Frausto, I
G. Frausto, I. Kol´ aˇ r, T. M´ alek, and C. Torre, Symme- try reduction of gravitational Lagrangians, Phys. Rev. D 111, 064062 (2025), arXiv:2410.11036 [gr-qc]
2025 arXiv
-
[29]
Ashtekar and B
A. Ashtekar and B. Krishnan, Isolated and dynamical horizons and their applications, Living Rev. Rel.7, 10 (2004), arXiv:gr-qc/0407042. 7 Appendix A: Metric ansatz and transformations—The Killing vectorsX i (i= 1, . . . ,4) of NHEK correspond to [4,3,9] in the notation of [26]...
2004 arXiv
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.