Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

One family of mass functions yields infinitely many rotating black holes with exactly the Kerr exterior and no extra charges.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-02 00:44 UTC pith:XZVQBKAS

load-bearing objection Useful construction with a real overclaim: the family depends on free exponents n_i, so 'fully characterized by {M,a}' is false as stated. the 3 major comments →

arxiv 2607.14910 v1 pith:XZVQBKAS submitted 2026-07-16 gr-qc hep-thmath-phmath.MP

Kerr black holes without primary hairs

J Ovalle This is my paper
classification gr-qc hep-thmath-phmath.MP MSC 83C5783C1583C75
keywords regular black holesKerr metricno-hair theoremsKerr-Schild metricsMisner-Sharp massquasi-extremal black holesintegrable singularities
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper tries to establish that rotating black holes can hide an arbitrarily rich interior while still being fully described from outside by just mass and angular momentum. It writes down an infinite family of metrics that coincide exactly with Kerr beyond the event horizon, but whose interior mass function is a power-law superposition with freely chosen integer exponents. Because the exterior is exactly Kerr, no new asymptotic charges appear, so the author classifies the interior freedom as carrying no primary hair. The family also contains quasi-extremal configurations at ordinary spin and a limiting case that reproduces Kerr itself, making it a candidate stepping stone toward a dynamical model of Kerr formation.

Core claim

The paper works within a rotating metric class with a single free radial function, the mass function m(r), and demands that m(r) equal the Kerr mass M everywhere outside the horizon h. Inside, it chooses a superposition of N power laws and fixes their coefficients by imposing m(h)=M and vanishing derivatives of m up to order N at h, yielding the explicit mass function in Eq. (13) labeled by integer exponents n_i > 2. The paper argues that, since the metric is exactly Kerr for r > h, the only asymptotic charges are the total mass M and the angular momentum a, so the exponents n_i do not constitute primary hair. It further states that all such spacetimes have the Kerr event horizon, avoid the

What carries the argument

The central object is the Kerr-Schild rotating metric, written in Boyer-Lindquist coordinates, with a single free radial function m(r) that equals M outside the horizon and a C^N-matched power-law superposition inside. This function carries the whole argument: the matching conditions fix its near-horizon coefficients, its derivatives set the matter stresses and survive in the curvature scalar, and its limiting forms interpolate between regular configurations, integrable singularities, Kerr, and the quasi-extremal mimicker.

Load-bearing premise

The central claim stands on defining “no primary hair” as “no new asymptotic charge,” so the freely chosen interior exponents n_i are treated as invisible internal structure rather than as parameters of the black hole; if any metric parameter counts as hair, the family is characterized by {M,a,n_i}, not {M,a}.

What would settle it

Count the positive real roots of Δ(r) = r^2 − 2 r m(r) + a^2 for a high-N member of the family, say N = 5 with arbitrary integers n_i > 2; if more than two positive roots appear in 0 < r ≤ h, the paper's claim that every solution has exactly the Kerr event horizon plus one inner horizon is false.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Every member of the family has an exterior identical to Kerr, so observations outside the horizon — photon rings, orbital frequencies, asymptotic multipoles — cannot distinguish these black holes from Kerr.
  • Horizon thermodynamics is Kerr-like for every member: the surface gravity at the event horizon is independent of the interior exponents, so temperature and area depend only on M and a.
  • Quasi-extremal black holes can be produced at ordinary spin by taking the interior exponents large, with the inner horizon approaching the event horizon while the surface gravity stays finite.
  • Extending the exponents into the range [-2,2] yields configurations with integrable singularities, and the special value n = -1 recovers the standard Kerr solution, so the family interpolates between regular cores and Kerr.
  • The paper leaves the dynamical step explicit: a time-dependent version would require an exterior that is not Kerr, and no rotational analogue of the spherical uniqueness theorem guarantees such a matching.

Where Pith is reading between the lines

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

  • A clarifying inference: because the exterior is exactly Kerr, the statement that the family is characterized by {M,a} is true by construction at infinity; the new content is the recipe for hiding arbitrary interior structure behind that horizon.
  • A concrete test of whether the interior parameters are physical would be to compute horizon-scale observables such as tidal Love numbers or gravitational-wave transfer functions for two members with the same {M,a} but different n_i; any difference would make the hair visible dynamically.
  • The paper asserts without proof that Δ has exactly two positive roots for every N; a root-count calculation for large N would independently verify the claimed single-Cauchy-horizon structure.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper constructs an infinite family of stationary, axisymmetric, Kerr-Schild spacetimes (Eq. 1) whose mass function m(r) is built by Hermite interpolation between an inner regular or singular core and the Kerr exterior. For r ≥ h, the geometry is exactly Kerr; at r = h the mass function satisfies m(h)=M and m^{(n)}(h)=0 up to order N, so the metric is C^N across the horizon. The interior mass function is given explicitly in Eq. (13) in terms of a set of ordered integer exponents n_i > 2 (or extended to n_i ∈ [-2,2] for integrable singularities and n_i = -1 for Kerr). The paper claims that the family is 'fully characterized by {M,a}', carries no primary hair, has a regular core when n_i>2, and admits quasi-extremal configurations with h_c close to h without requiring a≈M. It also discusses, in Section III, a kinematic picture in which varying n(t) interpolates between regular configurations and the Kerr solution as a model for collapse, while acknowledging the lack of a time-dependent matching to Kerr.

Significance. If the claims were fully substantiated, the construction would provide explicit, non-vacuum interiors with a Kerr exterior and a controlled regularity/singularity structure, useful as toy models for testing no-hair theorems, horizon thermodynamics, and collapse scenarios. The explicit N=1 and N=2 examples are algebraically credible: they satisfy the stated boundary conditions, and the n_i=-1 limit correctly recovers Kerr. However, the central 'fully characterized by {M,a}' statement is not supported by the construction, which depends explicitly on the n_i, and the regularity claim for all curvature invariants is asserted rather than proved. These issues affect the paper's headline conclusions, so a revision is needed.

major comments (3)
  1. [Abstract and §II, Eq. (13)] The abstract states that the family is 'fully characterized by the parameters {M,a}', and §II repeats 'characterized solely by {M,a}' and 'depends solely on the pair {M,a}'. But Eq. (13) contains free ordered exponents n_i, and the sentence immediately below it says 'For each fixed N, the solution is characterized by the set n_i'. For fixed M and a, different choices of n_i produce different mass functions m(r), different interior metrics, and—as §II A itself notes—different Cauchy horizons h_c. Thus the family is parameterized by {M,a,n_i} (and N), not by {M,a} alone. The no-primary-hair statement can be rescued by defining hair as absence of new asymptotic charges, since the exterior is Kerr and no new multipoles appear, but then the abstract's 'fully characterized' must be replaced by a qualified statement such as 'all members share the same Kerr exterior and asymptotic charges, while
  2. [§II, after Eq. (18)] The manuscript asserts that 'the remaining curvature invariants, such as the Kretschmann scalar... allow us to conclude that the ring singularity ρ=0 never develops as long as n_i > 2'. No computation or proof of this claim is provided; only the Ricci scalar R is exhibited in Eq. (18). Since the word 'regular' is a central claim of the paper, the finiteness of the Kretschmann scalar (and, ideally, of the full set of polynomial curvature invariants) at ρ=0 must be demonstrated, at least for the explicit N=1 and N=2 cases, or the claim should be weakened to 'the Ricci scalar is finite' until a full proof is supplied.
  3. [§II A, Eq. (21)] The quasi-extremal feature is presented as a 'remarkable' property that does not require a≈M. In the construction, however, it is obtained only by taking n_i→∞ for all i, which is a tuning of the internal parameters. For any finite n_i, h_c is strictly below h, and the limit n_i→∞ gives the mimicker m=M(r/h)^3, for which r=h is not a regular Killing horizon (as the authors acknowledge). The statement itself is correct, but it should be framed as a property of a selected subfamily with extremely large n_i, not as a generic prediction of the no-hair family. This does not invalidate the mathematical result, but it is an important qualification for the advertised 'quasi-extremal without a≈M'.
minor comments (5)
  1. [Throughout] The phrase 'no primary hair' is used in a non-standard sense. Please define it explicitly at first use and clarify the relation to the standard no-hair theorems, which usually concern uniqueness within a theory rather than absence of asymptotic charges.
  2. [Eq. (18) and surrounding text] There is a typo: 'they allow us to to conclude' should read 'they allow us to conclude'.
  3. [Fig. 1 and Fig. 2] The notation Δ_- and Δ_+ in the figure captions is not defined in the text. Please define these quantities or remove them.
  4. [Table II] The entries for n=-2 mention 'MB: dS+Kerr-Newman-like (Q^2<0)', but the origin of the effective charge Q^2<0 is not explained in the text. Please provide a derivation or a reference.
  5. [§III] The reduction to the leading exponent n_1≡n is described as 'without loss of generality', but for N>1 the other exponents also affect the geometry. This statement should be justified or qualified.

Circularity Check

1 steps flagged

The Kerr-family construction is self-contained, but the 'no primary hairs / fully characterized by {M,a}' claim is partly definitional: the free exponents n_i are excluded by the chosen definition of hair rather than derived away.

specific steps
  1. self definitional [Sec. II, Eq. (11) and text after Eq. (13); cf. Introduction premise (ii)]
    "where the coefficients C_s=C_s(M,a), (11) in accordance with the premise (ii) stated in the Introduction... For each fixed N, the solution is characterized by the set n_i={n_1,n_2,...}, which parametrizes an infinite family of regular Kerr BHs. This family depends solely on the pair {M,a} of the configuration and therefore carries no primary hairs."

    The 'no primary hair' / 'fully characterized by {M,a}' conclusion is not derived from the construction: Eq. (11) restricts the ansatz coefficients to depend only on (M,a) by invoking premise (ii), i.e., the no-hair assumption is put in as an input. Eq. (13) then shows m(r) labeled by free exponents n_i, and the text states the solution for fixed N is characterized by the set n_i. For fixed {M,a} one obtains infinitely many distinct interior geometries, so the family is not literally determined by {M,a}. The conclusion holds only if 'hair' is defined as a new asymptotic charge, making the no-hair claim equivalent to its own definition rather than a derived prediction.

full rationale

There is no data-fitting circularity in this paper: Eq. (13) is obtained by explicit Hermite-type interpolation from the stated boundary conditions (6), (9), and (12), and the quasi-extremal behavior is a property of a selected subfamily (large n_i), not a fitted prediction. The self-citations (Refs. [27,34,38-40]) are methodological and the key equations are re-derived in the paper, so they are not load-bearing in a circular way. However, the headline claim that the family is 'fully characterized by {M,a}' and therefore carries 'no primary hairs' is not a consequence of the mathematics alone: the coefficients are declared in Eq. (11) to depend only on {M,a} because of premise (ii), while the resulting Eq. (13) explicitly depends on the free ordered exponents n_i and the text itself says the solution for fixed N is characterized by the set n_i. Thus, for fixed M and a there are infinitely many distinct spacetimes, and the abstract's 'fully characterized' statement holds only under the non-standard, asymptotic-charge definition of primary hair. That is a partial, definitional circularity in the central claim, although the construction of the regular family, the Kerr horizon, and the curvature regularity are independent mathematical results.

Axiom & Free-Parameter Ledger

2 free parameters · 5 axioms · 0 invented entities

The construction's freedoms are the exponents n_i and N; everything else is fixed by matching to Kerr. The central claim depends on the non-standard definition of hair and on unexamined energy conditions.

free parameters (2)
  • n_i (i=1..N) = free integers >2 (or in [-2,2] for singular branches)
    The infinite family is indexed by these exponents; they are chosen by hand and are not fixed by {M,a}. The quasi-extremal example uses n=100, l=200. This makes 'fully characterized by {M,a}' literally false.
  • N = any positive integer (examples N=1,2)
    The number of terms in the mass function is a free choice and determines the differentiability class C^N and the structure of the interior.
axioms (5)
  • standard math The Kerr-Schild/Gurses-Gursey ansatz (1) with m(r) independent of theta is a valid starting point for stationary axisymmetric spacetimes.
    Eq. (1) together with the matter expressions (16)-(17) gives a consistent Einstein-matter system; this is a standard framework.
  • domain assumption The exterior r > h is exactly Kerr and the matching at h requires m(h)=M and m'(h)=0.
    This gluing by hand is the basis of 'possessing the Kerr event horizon' and is not derived from a dynamical process; the paper itself notes in Sec. IV that no rotational Birkhoff theorem is available to justify the matching.
  • ad hoc to paper n_i are interpreted as internal structure rather than primary hair, i.e., hair is defined by the absence of new asymptotic charges.
    This assumption is needed for the headline 'without primary hairs' and is contradicted literally by Eq. (13) if hair means any parameter appearing in the metric.
  • domain assumption The matter source given by (16)-(17) is an acceptable physical support despite unexamined energy conditions.
    Regular black hole interiors generically require exotic matter; the paper does not state which energy conditions, if any, are satisfied.
  • ad hoc to paper For n_i > 2, all curvature invariants are finite at the ring rho=0; only the Ricci scalar R is exhibited explicitly.
    Absence of the ring singularity is asserted from 'remaining curvature invariants' without displaying the Kretschmann scalar, so the regularity classification is not fully demonstrated.

pith-pipeline@v1.3.0-alltime-deepseek · 7736 in / 21160 out tokens · 201864 ms · 2026-08-02T00:44:05.391978+00:00 · methodology

0 comments
read the original abstract

We present a class of regular axisymmetric black hole geometries fully characterized by the parameters $\{{\cal M},a\}$ and possessing the Kerr event horizon. This family interpolates between regular spacetimes, configurations with integrable singularities, and the Kerr solution as a limiting case. Its main features are: (i) the existence of quasi-extremal configurations without requiring $a \approx {\cal M}$; and (ii) a possible framework toward an analytical description of Kerr black hole formation from an initially regular configuration.

Figures

Figures reproduced from arXiv: 2607.14910 by J Ovalle.

Figure 1
Figure 1. Figure 1: FIG. 1 [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Entropy dynamics in gravitational collapse: From Minkowski breaking to de Sitter thermodynamics

    gr-qc 2026-07 conditional novelty 4.0

    The sign of the Hubble parameter unifies OCK entropy release and Volovik de Sitter thermodynamics as complementary pictures of entropy flow in collapse, without a classical bridge between them.

Reference graph

Works this paper leans on

47 extracted references · 22 linked inside Pith · cited by 1 Pith paper

  1. [1]

    R. P. Kerr, Phys. Rev. Lett.11, 237 (1963)

    1963

  2. [2]

    R. H. Boyer and R. W. Lindquist, J. Math. Phys.8, 265 (1967)

    1967

  3. [3]

    F. J. Ernst, Phys. Rev.167, 1175 (1968)

    1968

  4. [4]

    Carter, Phys

    B. Carter, Phys. Rev.174, 1559 (1968)

    1968

  5. [5]

    Israel, Phys

    W. Israel, Phys. Rev. D2, 641 (1970)

    1970

  6. [6]

    Carter, Phys

    B. Carter, Phys. Rev. Lett.26, 331 (1971)

    1971

  7. [7]

    D. C. Robinson, Phys. Rev. Lett.34, 905 (1975)

    1975

  8. [8]

    C. A. R. Herdeiro and E. Radu, Phys. Rev. Lett.112, 221101 (2014), arXiv:1403.2757 [gr-qc]

    Pith/arXiv arXiv 2014

  9. [9]

    Herdeiro and E

    C. Herdeiro and E. Radu, Class. Quant. Grav.32, 144001 (2015), arXiv:1501.04319 [gr-qc]

    Pith/arXiv arXiv 2015

  10. [10]

    P. V. P. Cunha, C. A. R. Herdeiro, and E. Radu, Phys. Rev. D96, 024039 (2017), arXiv:1705.05461 [gr-qc]

    Pith/arXiv arXiv 2017

  11. [11]

    G. W. Gibbons and M. S. Volkov, Phys. Rev. D96, 024053 (2017), arXiv:1705.07787 [hep-th]

    Pith/arXiv arXiv 2017

  12. [12]

    Bambi, K

    C. Bambi, K. Freese, S. Vagnozzi, and L. Visinelli, Phys. Rev.D100, 044057 (2019), arXiv:1904.12983 [gr-qc]

    Pith/arXiv arXiv 2019

  13. [13]

    Arkani-Hamed, Y.-t

    N. Arkani-Hamed, Y.-t. Huang, and D. O’Connell, JHEP 01, 046 (2020), arXiv:1906.10100 [hep-th]

    Pith/arXiv arXiv 2020

  14. [14]

    Stuchl ´ ık, M

    Z. Stuchl ´ ık, M. Koloˇ s, J. Kov´ aˇ r, P. Slan´ y, and A. Tur- sunov, Universe6, 26 (2020)

    2020

  15. [15]

    H. S. Chia, Phys. Rev. D104, 024013 (2021), arXiv:2010.07300 [gr-qc]

    Pith/arXiv arXiv 2021

  16. [16]

    Anson, E

    T. Anson, E. Babichev, C. Charmousis, and M. Has- saine, JHEP01, 018 (2021), arXiv:2006.06461 [gr-qc]

    Pith/arXiv arXiv 2021

  17. [17]

    Afrin, R

    M. Afrin, R. Kumar, and S. G. Ghosh, Mon. Not. Roy. Astron. Soc.504, 5927 (2021), arXiv:2103.11417 [gr-qc]

    Pith/arXiv arXiv 2021

  18. [18]

    S. U. Islam and S. G. Ghosh, Phys. Rev. D103, 124052 (2021), arXiv:2102.08289 [gr-qc]

    Pith/arXiv arXiv 2021

  19. [19]

    Cie´ slik, E

    A. Cie´ slik, E. Hackmann, and P. Mach, Phys. Rev. D 108, 024056 (2023), arXiv:2305.07771 [gr-qc]

    Pith/arXiv arXiv 2023

  20. [20]

    A. K.-W. Chung, P. Wagle, and N. Yunes, Phys. Rev. D 109, 044072 (2024), arXiv:2312.08435 [gr-qc]

    Pith/arXiv arXiv 2024

  21. [21]

    Andersson, T

    L. Andersson, T. B¨ ackdahl, P. Blue, and S. Ma, Ann. PDE11, 11 (2025), arXiv:1903.03859 [math.AP]

    Pith/arXiv arXiv 2025

  22. [22]

    Chou, Universe11, 23 (2025), arXiv:2501.17169 [gr-qc]

    Y.-C. Chou, Universe11, 23 (2025), arXiv:2501.17169 [gr-qc]

    Pith/arXiv arXiv 2025

  23. [23]

    R. K. L. Lo, L. Sabani, and V. Cardoso, Phys. Rev. D 111, 124002 (2025), arXiv:2504.00084 [gr-qc]

    Pith/arXiv arXiv 2025

  24. [24]

    Ben Achour, A

    J. Ben Achour, A. Cisterna, and H. Roussille, JCAP04, 041 (2026), arXiv:2512.19549 [gr-qc]

    arXiv 2026

  25. [25]

    S. A. Teukolsky, Class. Quant. Grav.32, 124006 (2015), arXiv:1410.2130 [gr-qc]

    Pith/arXiv arXiv 2015

  26. [26]

    J. R. Oppenheimer and H. Snyder, Phys. Rev.56, 455 (1939)

    1939

  27. [27]

    Ovalle, (2025), arXiv:2509.00816 [gr-qc]

    J. Ovalle, (2025), arXiv:2509.00816 [gr-qc]

    Pith/arXiv arXiv 2025

  28. [28]

    Poisson and W

    E. Poisson and W. Israel, Phys. Rev. Lett.63, 1663 (1989). 6

    1989

  29. [29]

    Ori, Phys

    A. Ori, Phys. Rev. Lett.67, 789 (1991)

    1991

  30. [30]

    Penrose, Riv

    R. Penrose, Riv. Nuovo Cim.1, 252 (1969)

    1969

  31. [31]

    Dafermos, Commun

    M. Dafermos, Commun. Pure Appl. Math.58, 0445 (2005), arXiv:gr-qc/0307013

    Pith/arXiv arXiv 2005

  32. [32]

    Dafermos and J

    M. Dafermos and J. Luk, Ann. Math. (2)202, 309 (2025), arXiv:1710.01722 [gr-qc]

    arXiv 2025

  33. [33]

    Hollands, R

    S. Hollands, R. M. Wald, and J. Zahn, Class. Quant. Grav.37, 115009 (2020), arXiv:1912.06047 [gr-qc]

    Pith/arXiv arXiv 2020

  34. [34]

    Ovalle, R

    J. Ovalle, R. Casadio, and A. Kamenshchik, Phys. Rev. D113, 064042 (2026), arXiv:2603.06451 [gr-qc]

    arXiv 2026

  35. [35]

    Casadio, A

    R. Casadio, A. Giusti, A. Kamenshchik, and J. Ovalle, (2026), arXiv:2605.01808 [gr-qc]

    Pith/arXiv arXiv 2026

  36. [36]

    F. S. N. Lobo and M. E. Rodrigues, (2026), arXiv:2607.14079 [gr-qc]

    Pith/arXiv arXiv 2026

  37. [37]

    Gurses and F

    M. Gurses and F. Gursey, J. Math. Phys.16, 2385 (1975)

    1975

  38. [38]

    Ovalle, Phys

    J. Ovalle, Phys. Rev. D109, 104032 (2024)

    2024

  39. [39]

    Casadio, A

    R. Casadio, A. Kamenshchik, and J. Ovalle, Phys. Rev. D110, 044001 (2024)

    2024

  40. [40]

    Casadio, A

    R. Casadio, A. Kamenshchik, and J. Ovalle, Phys. Rev. D111, 064036 (2025)

    2025

  41. [41]

    Burinskii, E

    A. Burinskii, E. Elizalde, S. R. Hildebrandt, and G. Magli, Phys. Rev. D65, 064039 (2002), arXiv:gr- qc/0109085

    arXiv 2002

  42. [42]

    V. N. Lukash and V. N. Strokov, Int. J. Mod. Phys. A 28, 1350007 (2013), arXiv:1301.5544 [gr-qc]

    Pith/arXiv arXiv 2013

  43. [43]

    Ovalle, Phys

    J. Ovalle, Phys. Rev. D107, 104005 (2023)

    2023

  44. [44]

    Arrechea, S

    J. Arrechea, S. Liberati, H. Neshat, and V. Vellucci, Phys. Rev. D112, 044024 (2025)

    2025

  45. [45]

    Penrose, Phys

    R. Penrose, Phys. Rev. Lett.14, 57 (1965)

    1965

  46. [46]

    S. W. Hawking and R. Penrose, Proc. Roy. Soc. Lond. A 314, 529 (1970)

    1970

  47. [47]

    S. W. Hawking and G. F. R. Ellis,The Large Scale Struc- ture of Space-Time, Cambridge Monographs on Mathe- matical Physics (Cambridge University Press, 2011)

    2011