{"id":"dbde483a-5ad2-4823-af9e-43d6eb19afe6","arxiv_id":"2608.09847","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"New regular Bachian near-horizon extreme geometries are found in Einstein-Weyl gravity, and their horizon area is bounded above, suggesting microscopic extremal rotating black holes.","lead":"The authors build new rotating near-horizon geometries of extreme black holes in Einstein-Weyl quadratic gravity by combining power series expansions with numerical integration. They find Bachian solution branches that only exist for small horizon areas, hinting that such extremal rotating black holes would be microscopic.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The classification of admissible Frobenius classes is deferred to an in-preparation companion paper; if another admissible class exists, the claimed exhaustiveness and the finite-horizon-area upper bound would not follow.","rationale":"The reader's CONDITIONAL verdict is appropriate, and my stress-test identifies the same load-bearing concern: the exhaustiveness of the Frobenius classification is the step that converts the constructed examples into a claim about all regular Bachian near-horizon geometries and hence into an upper bound on horizon area. The paper gives a concrete indicial statement, recurrence relations for two of the four classes, and a NHEK consistency check, which support the internal correctness of the found branches. It also validates selected solutions by comparing truncated series with numerics. None of this, however, substitutes for a derivation of the classification, especially since the only reference for it is an in-preparation paper by the same authors. The numerical termination of the branches is a second, related gap: the paper states that no continuation was identified past the forbidden region, but this is not a proof and no code or error analysis is supplied. Still, the classification gap is the more fundamental issue because it bears on whether the search space itself is complete. Since the reader already flags exactly this assumption and assigns CONDITIONAL with moderate confidence, my analysis does not move the verdict; it reinforces the existing conditional status.","tokens_in":12258,"tokens_out":8658,"duration_ms":87085,"concrete_test":"Independently derive the indicial equations for the system (11)–(13) around a generic point, the equator, and the poles, and enumerate all real leading-exponent pairs [N,P] with f0,h0≠0. Then check each candidate class against the regularity conditions H(±r̄*)=0 with H'(r̄*)<0 and 0<Ω(±r̄*)<∞; specifically, verify that [1,0] and [-1,2] cannot satisfy these conditions, and that no class beyond the four listed appears. If the enumeration produces an additional admissible class, the exhaustiveness claim and the resulting horizon-area bound are not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main physical conclusion — that regular Bachian near-horizon geometries do not exist above a finite horizon area — requires that the Frobenius classes [0,0], [0,1], [1,0], and [-1,2] are the only admissible leading behaviours for regular solutions of the Einstein-Weyl system (11)–(13). This classification is stated in the paragraph after Eq. (16) with the citation '[17]' to an in-preparation paper by the same authors, and no derivation is given in the Letter. The recurrence relations in Appendix B cover only [0,0] and [0,1]; the other two classes are dismissed as corresponding to a zero or singularity of Ω, but the assertion that no further admissible classes exist is exactly what makes the search exhaustive. If an additional class, say with different leading exponents but regular pole behaviour, existed, the fine-tuned branches in Figs. 1 and 4 would not exhaust all regular near-horizon geometries, and the upper-bound interpretation would fail. The paper's numerical observation that branches terminate near f0≈2.69/1.56 is consistent with the discriminant in Eq. (17) but does not by itself prove absence of solutions on the other side of the forbidden region; however, the classification gap is the more foundational issue because it is asserted rather than demonstrated.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":12499,"tokens_out":5221,"duration_ms":50915,"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":[{"comment":"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].","section":"Frobenius analysis (after Eq. (16))"},{"comment":"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.","section":"Bachian branches for non-tachyonic theory (around Figs. 1 and 4)"}],"minor_comments":[{"comment":"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.","section":"Eq. (16)"},{"comment":"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.","section":"After Eq. (17)"},{"comment":"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.","section":"Fig. 3"},{"comment":"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.","section":"Appendix C, Eq. (E15)"},{"comment":"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.","section":"Introduction, reference [9]"}],"recommendation":"major_revision","confidential_remarks":"The central classification of admissible Frobenius classes is deferred to the authors' own in-preparation paper [17]. For a Letter, relying on an unpublished companion paper for a load-bearing result is a significant concern; journals typically require such results to be self-contained or at least available as a preprint. The numerical no-continuation claim is also not a proof. The paper's physical conclusion should be framed as a conjecture unless these points are addressed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: this paper deserves a serious referee. It gives the first rotating near-horizon extreme geometries in Einstein–Weyl quadratic gravity with nonzero Bach tensor, and the construction looks internally solid. The new ingredients are the conformal-coordinate reduction, the explicit Frobenius recurrences (E5)-(E13), two non-tachyonic Bachian branches plus one tachyonic branch, and the observation that these branches terminate at finite f0, giving an upper bound on horizon area and thus microscopic extremal black holes. The recurrence relations are explicit, and the recovery of NHEK as a special case is a strong check. The numerics and the series expansions are cross-validated, including the multi-center expansion in Fig. 3, which is more convincing than the usual single-patch numerical work.\n\nI have two concerns, proportionate to their actual weight. First, the claim that the only admissible Frobenius classes are [0,0], [0,1], [1,0], and [-1,2] is not demonstrated in this Letter. It is quoted from the authors' in-preparation companion paper [17]. The appendix only derives recurrences for [0,0] and [0,1]; the other classes are dismissed in a sentence. That classification is the load-bearing wall for the exhaustiveness claim and hence for the finite-area upper bound. If another admissible class exists, the branches found here would not exhaust the regular solutions and the \"no solutions above this area\" conclusion would not follow. This is not a fatal flaw in what is constructed—the branches themselves stand on explicit recurrences and numerics—but it is a real gap in the advertised completeness. Second, the termination points f0≈2.69 and 1.56 are established by numerical fine-tuning; there are no error bars, no code, and no stated convergence criterion for the branch endpoints. The discriminant (17) makes a forbidden region plausible, but absence of continuation beyond it is a numerical observation, not a proof. Both issues are fixable in a refereed version. The microscopic-size estimate is order-of-magnitude and appropriately hedged.\n\nWho is this for? Researchers working on higher-derivative gravity, near-horizon geometry, and black hole solutions. It is a technically careful paper, and the reliance on [17] is disclosed rather than hidden. My verdict: conditional acceptance. The referee should push for the classification derivation (or a link to the companion) and for data or code behind the branch-termination plots. Send it to review.","headline":"First rotating near-horizon Bachian geometries in quadratic gravity, with a real completeness gap in the Frobenius classification that a referee should close.","tokens_in":13061,"tokens_out":2387,"would_cite":true,"duration_ms":22958,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83D05"],"pacs":["04.70.-s","04.50.Kd"],"model":"deepseek-v4-flash","headline":"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.","keywords":["quadratic gravity","Einstein–Weyl gravity","near-horizon geometry","extremal rotating black holes","Bach tensor","Frobenius method","horizon area bound"],"falsifier":"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.","tokens_in":11962,"feed_emoji":"🕳️","tokens_out":14918,"duration_ms":118278,"temperature":0.7,"pith_summary":"The paper studies near-horizon limits of rotating extremal black holes in Einstein–Weyl quadratic gravity, the curvature-squared theory whose vacuum equations equate the Ricci tensor with the Bach tensor. The authors show that, within the class of metrics sharing the symmetries of the near-horizon extreme Kerr (NHEK) geometry, a conformal rewriting reduces the field equations to a tractable two-function system. Using a Frobenius analysis combined with numerics, they construct, for the first time, three globally regular families with nonzero Bach tensor, obtained by fine-tuning the free parameter $h_2$ for each value of $f_0 = \\Omega(0)/\\sqrt{|\\omega|}$. These families terminate at finite $f_0$, which yields an upper bound on the horizon area; combined with torsion-balance bounds on the Weyl coupling, this implies that such extremal rotating black holes would be microscopic, with horizon areas of order $10^{-5}$ to $10^{-6}\\,\\mathrm{m}^2$. The NHEK geometry is recovered as the unique solution of a single-function subclass.","feed_headline":"Fine-tuned rotating horizons cap black holes at microscopic size","feed_subtitle":"The three new solution families end at a finite horizon area, making the black holes microscopic.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Bardeen and Horowitz extreme Kerr throat geometry; the NHEK solution whose symmetries define the metric ansatz of this paper.","marker":"[5]"},{"why":"Kunduri and Lucietti review of near-horizon geometry classification; provides the general framework and the horizon-data definitions used here.","marker":"[6]"},{"why":"Kunduri, Lucietti, and Reall near-horizon symmetries of extremal black holes; supplies the so(2,1)⊕R symmetry structure underlying the ansatz.","marker":"[13]"},{"why":"Kunduri and Lucietti classification of near-horizon geometries of extremal vacuum black holes; used for the spherical-topology and axis-regularity conditions.","marker":"[15]"},{"why":"Podolský, Švarc, Pravda, and Pravdová explicit black-hole solutions in quadratic gravity; the conformal form (9) and the series-solution strategy are adapted from this static analysis.","marker":"[4]"},{"why":"Giacchini and Kolář companion paper (in preparation) that supplies the classification of admissible Frobenius solution classes; the completeness of the branches rests on this.","marker":"[17]"},{"why":"Giacchini experimental limits on the free parameters of higher-derivative gravity; combined with the area bound to estimate the size of the extremal black holes.","marker":"[18]"},{"why":"Kapner et al. torsion-balance tests of the gravitational inverse-square law; the experimental constraint on the Weyl coupling used together with [18].","marker":"[19]"}],"fun_headline_variants":["Microscopic rotating black holes capped by fine-tuned horizons","Three new rotating horizon families all end at finite size","Fine-tuned near-horizon solutions predict tiny black holes","Einstein-Weyl gravity yields only microscopic extremal rotators","Rotating horizons hit a size limit in quadratic gravity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Microscopic rotating black holes capped by fine-tuned horizons","Three new rotating horizon families all end at finite size","Fine-tuned near-horizon solutions predict tiny black holes","Einstein-Weyl gravity yields only microscopic extremal rotators","Rotating horizons hit a size limit in quadratic gravity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000233,"raw_usage":{"total_tokens":1525,"prompt_tokens":1009,"completion_tokens":516,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":625,"completion_tokens_details":{"reasoning_tokens":433}},"tokens_in":625,"tokens_out":516,"duration_ms":5308,"temperature":1.0,"reasoning_tokens":433,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T05:31:34.499234+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Giacchini and Kolář companion paper (in preparation) that supplies the classification of admissible Frobenius solution classes; the completeness of the branches rests on this."},{"cited_title":"Experimental limits on the free parameters of higher-derivative gravity","cited_arxiv_id":"1612.01823","evidence_quote":"Giacchini experimental limits on the free parameters of higher-derivative gravity; combined with the area bound to estimate the size of the extremal black holes."}],"review_version":1}