{"id":"494dd2a9-f47d-42c1-afdb-e6ce8629c7c5","arxiv_id":"2501.17169","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"The authors substitute a polynomial mass function into the Kerr metric to build an interior, then check energy conditions; the result is a standard mass-function Kerr solution, not a new derivation.","lead":"This paper proposes an interior solution for the rotating Kerr black hole by replacing the mass parameter with a radial mass function. The construction is a known Gürses-Gürsey type spacetime, and the paper's main new content is an energy-condition analysis for one particular mass function.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed smooth match to the Kerr exterior at the horizon fails for a≠0: the matching radius h=2M is not the Kerr horizon r_+=M(1+√(1−a_*^2)), and Eq (45) uses the constant mass where m(r) varies.","rationale":"The reader's weakest assumption already flags the horizon equation (45) and the failure to match on the Kerr horizon. My analysis sharpens this into a concrete obstruction: for every a>0, the matching radius h=2M lies outside the Kerr horizon r_+, and at r_+ the interior metric is not null. This is not a technicality about coordinate choices; it means the interior is joined to the exterior at a timelike surface that is not the horizon, and the region near the true horizon is not described by the claimed matching. The C^2 continuity of metric components at r=h that follows from m(h)=M, m'(h)=m''(h)=0 does not repair the failure, because the relevant condition for a 'horizon match' is the vanishing of the null generator norm, i.e. Δ=0, at the matching surface. For a_*=1, Δ_K− is positive throughout the interior, so there is no Killing horizon in the interior at all; for slower spins, the actual roots of Δ_K−=0 differ from Eq (45). This directly undermines claims (i), (iii), and (iv) of the paper. The conclusion that the paper should be rejected is therefore supported, and no change to the reader's verdict is needed.","tokens_in":15999,"tokens_out":10106,"duration_ms":104574,"concrete_test":"Evaluate Δ_K−(r) = r^2 − 2m(r)r + a^2 at r_+ = M + √(M^2 − a^2) using m(r) from Eq (23) and h=2M. Since m(r_+) < M for 0<a<M, this gives Δ_K−(r_+) = 2r_+(M − m(r_+)) > 0, so r_+ is not a horizon of the interior metric. Then solve Δ_K−=0 numerically for a_*=0.5 and compare the root with Eq (45); if the roots differ, or if no root exists for a_*=1, the matching surface r=h is not the Kerr horizon and the central claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (i)–(iv) depends on the interior metric (44) joining the Kerr exterior at a Killing horizon. The matching is imposed at r=h via (43), with h=2M and m(h)=M. But in Kerr, the event horizon is r_+=M+√(M^2−a^2), which is strictly less than 2M for any a>0. At that surface, the interior metric has Δ_K− = r_+^2 − 2m(r_+)r_+ + a^2. Since the exterior Kerr metric satisfies r_+^2 − 2Mr_+ + a^2 = 0, we get Δ_K−(r_+) = 2r_+(M − m(r_+)). Using m(r) from (23) with h=2M, one has m(r) − M = (h/2)(r/h − 1)^3(r/h + 1), so m(r_+) < M for 0 < r_+ < h. Hence Δ_K−(r_+) > 0: the true Kerr horizon is not a null surface of the interior metric. Equation (45) is the exterior formula, obtained by setting m(r)=M inside the horizon, which contradicts (23). For the extremal case a_*=1, Δ_K− remains positive throughout 0<r≤h, so the interior has no Killing horizon at all. The construction therefore matches at a timelike boundary outside the Kerr horizon, not at the horizon, and the advertised smooth matching is untenable.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes an interior extension of the Kerr metric by replacing the constant Kerr mass M with the radial mass function m(r)=r-r^3/h^2+r^4/(2h^3) of Eq. (23), imposing m(h)=M, m'(h)=m''(h)=0 at h=2M. The metric (44) is presented as a Gürses-Gürsey-type spacetime in Boyer-Lindquist and Doran coordinates. The authors claim that it smoothly matches the Kerr exterior at the horizon, has a single free parameter M, avoids exotic matter near the horizon, and has finite tidal forces; they analyze energy conditions and curvature invariants to support these claims.","tokens_in":16264,"tokens_out":9457,"duration_ms":88732,"significance":"If the construction were valid, the explicit anisotropic-fluid model and energy-condition analysis would be a useful contribution to the rotating-interior literature. The algebra of the Gürses-Gürsey family is not in dispute, and the Doran-coordinate representation and the diagonalized Einstein tensor are clearly presented. However, the central matching claim fails for a≠0, so the physical interpretation as a Kerr black hole interior is not established. The paper provides no machine-checked proofs or reproducibility artifacts, and several claims are internally inconsistent.","major_comments":[{"comment":"The matching surface is misidentified for a≠0. The paper imposes m(h)=M at h=2M and calls r=h the event horizon, then writes the horizon radius as Eq. (45), r_h=M±√(M^2−a^2). Eq. (45) is the root of the exterior function Δ_K+=r^2−2Mr+a^2, not of the interior function Δ_K−=r^2−2m(r)r+a^2. Since m(r)<M for 0<r<h (from Eq. (23)), at the actual Kerr horizon r_+=M+√(M^2−a^2)<h one obtains Δ_K−(r_+)=r_+^2−2m(r_+)r_++a^2=2r_+(M−m(r_+))>0. Hence the Kerr horizon is not a null surface of the interior metric; for a=M the function Δ_K− is positive throughout 0<r≤h and no Killing horizon exists. The interior therefore matches the exterior at a timelike surface outside the horizon, not at an event horizon, invalidating claims (i)–(iii).","section":"§4, Eqs. (43)–(45)"},{"comment":"The curvature-invariant discussion is internally inconsistent. Section 4 states after Eq. (50) that the Kretschmann scalar 'does not vanish at r=h', and Eq. (50) indeed gives a generically nonzero K at r=h. Appendix B, however, concludes that 'all calculated invariants vanish (R=R1=R2=R3=M3=M4=0), consistent with the smooth matching to the exterior Kerr metric.' Since K is a curvature invariant and was calculated in Section 4, the two statements cannot both be correct. Moreover, matching to the exterior Kerr metric does not require vanishing invariants at the boundary; the exterior Kerr invariants are nonzero at r=h. The text needs to state which invariants vanish and why this is relevant.","section":"§4, Eq. (50) and Appendix B"},{"comment":"The derivation of the Kerr metric in Section 3 is incomplete. After writing the ansatz (32), the authors solve only the equation R22=0 (Eq. (39)) for f(r), then state that substituting f=r^2+C1r+a^2 into the metric 'we find that Rab=0'. No verification is shown for R00, R11, R03, or R33, and the ansatz already contains the Kerr metric's characteristic structure. For a 'novel derivation' claim, the full substitution should be displayed or the construction should be presented as an ansatz verified by direct computation.","section":"§3, Eqs. (39)–(41)"}],"minor_comments":[{"comment":"The expression '(h+2h)' should read '(h+2r)'; with the stated mass function, 2m'/r^2 = 2(h−r)^2(h+2r)/(r^2 h^3).","section":"§2, Eq. (25)"},{"comment":"The Gürses-Gürsey construction is invoked in §4 but no original citation is given; reference [27] is an Ovalle paper and does not supply the proof.","section":"References"},{"comment":"The heading 'Derivation of the Kerr Metric' describes a stationary, not static, spacetime; the heading should be corrected.","section":"§3 heading"},{"comment":"The inequality '0< h≤ h' is a typo for '0<r≤h'.","section":"Appendix A"},{"comment":"The claim (ii) that the solution is 'characterized by a single free parameter M' is misleading: the spin a is a free parameter and Table 2 varies the exponents {l,n,p}.","section":"§1 and §4"},{"comment":"A finite nonzero Kretschmann scalar at r=h is not a singularity indicator; the phrase 'indicating that the singularity at the boundary radius is not a coordinate singularity' is confusing and should be rephrased.","section":"§4, after Eq. (50)"}],"recommendation":"reject","confidential_remarks":"The fundamental matching error is elementary and cannot be fixed by local revision: the proposed interior does not attach to the Kerr horizon for any a>0. I recommend rejection. Separately, the manuscript would benefit from citing the original Gürses-Gürsey spacetime and correcting the misattributed reference [27]."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things before you spend time on this. The central claim—that (44) smoothly matches Kerr at the event horizon—fails for any nonzero spin. The match is imposed at r=h=2M, but the Kerr horizon is r_+ = M+√(M^2−a^2) < 2M. At r_+, the interior Δ is r_+^2−2m(r_+)r_++a^2 = 2r_+(M−m(r_+)) > 0, so r_+ is not null in the interior. Equation (45) smuggles the constant exterior mass back in. For extremal a=M, there is no Killing horizon at all. That kills the advertised match.\n\nSecond, the invariants contradict the smoothness claim: Eq (50) gives K(r=h) ≠ 0 for generic θ, while Appendix B says all computed invariants vanish. And the 'finite tidal forces everywhere' claim ignores the ring singularity at Σ=0, which the paper itself notes.\n\nCredit where due: (44) is a legitimate Gürses-Gürsey metric with Ovalle's mass function, and the orthonormal-frame energy conditions are explicit and clean. But that's about it. The novelty is plugging a known m(r) into a known rotating family and checking inequalities; the Kerr derivation in Sec 3 only checks R22=0 and asserts the rest. The citation pattern is also thin: the original Gürses-Gürsey work isn't cited, and the author's own prior papers carry a lot of the load.\n\nThe horizon error is load-bearing and the internal inconsistencies are real. A reader working on anisotropic interiors might skim the energy-condition algebra, but I wouldn't trust the paper's conclusions. This should not go to a referee in its present form; it needs a fundamental rethink, not copy-editing.","headline":"The paper's central claim of a smooth interior–exterior match at the Kerr horizon fails for nonzero spin, and the paper's own invariants contradict the advertised regularity.","tokens_in":16859,"tokens_out":9218,"would_cite":false,"duration_ms":87922,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Replacing the constant mass in the Kerr metric with a horizon-matched radial mass function yields a single-parameter interior solution that the paper claims matches the exterior and avoids exotic matter.","keywords":["Kerr metric","interior solution","black hole interior","anisotropic fluid","energy conditions","ellipsoidal coordinates","mass function","Doran coordinates"],"falsifier":"Compute the Einstein tensor of the proposed metric with the mass function (23) and verify the full Einstein equations together with the junction conditions at $r=h$; if the transverse pressure is discontinuous across the horizon or the metric is not differentiable there, the claimed interior extension fails.","tokens_in":15719,"feed_emoji":"🕳️","tokens_out":7280,"duration_ms":71399,"temperature":0.7,"pith_summary":"This paper proposes an interior solution for a rotating (Kerr) black hole by replacing the constant mass in the Kerr metric with a radial mass function that is flat at the horizon. The claimed result is a single-parameter interior geometry that joins the Kerr exterior at the event horizon, is sourced by an anisotropic fluid, and keeps tidal forces finite without exotic matter. A sympathetic reader would care because the interior of rotating black holes is a long-standing open problem, and a simple analytic model could inform collapse and singularity studies.","feed_headline":"A single mass function builds a spinning black hole's interior","feed_subtitle":"An interior metric that joins the Kerr exterior at the horizon could make rotating black hole interiors analytically tractable.","key_machinery":"The central mechanism is the radial mass function $m(r)$ inserted in place of the constant mass in the Kerr line element, with boundary conditions $m(h)=M$, $m'(h)=m''(h)=0$ chosen so the interior joins the exterior smoothly. The construction also relies on the ellipsoidal-coordinate ansatz that rewrites the rotating metric in orthogonal form, and on Doran coordinates, which remove the coordinate singularity at the horizon so the energy conditions can be evaluated in a regular frame.","core_discovery":"On the paper's own terms, the discovery is that the Kerr exterior admits a smooth interior extension obtained from the static Ovalle seed $m(r)=r-r^3/h^2+r^4/(2h^3)$ by replacing the constant mass $M$ with this radial mass function in the Kerr metric, imposing $m(h)=M$, $m'(h)=m''(h)=0$. The resulting metric has $\\Delta_{K}^{-}=r^2-2m(r)r+a^2$, reduces to the Boyer-Lindquist Kerr metric for $r\\ge h$, and becomes regular at the horizon in Doran coordinates. Its source is an anisotropic fluid with $\\epsilon=-p_1$; for maximal rotation the strong, weak, and null energy conditions hold in most of the interior, with violations confined near the polar axis. Curvature invariants computed from the solution vanish at the horizon, leaving only the expected ring singularity at $\\Sigma=0$.","pith_inferences":["The same mass-function substitution could be applied to static seed metrics outside the polynomial family, yielding rotating interiors with different density profiles; the paper does not explore this.","If the horizon matching is genuinely smooth, gravitational-wave or accretion-disk observations might eventually distinguish such an interior from alternatives, though the paper proposes no observational test.","The energy-condition violations near the polar axis may point to a physical instability near the inner Cauchy horizon; the paper notes the connection but does not analyze stability."],"forward_implications":["If the interior metric is correct, a rotating black hole can be described by a single-parameter anisotropic fluid that satisfies standard energy conditions in most of the interior.","The same construction yields a family of interiors indexed by the polynomial exponents $(l,n,p)$ of the mass function, with different regions where the dominant energy condition holds or fails.","The vanishing of curvature invariants at the horizon supports the claim that the interior joins the exterior without a curvature discontinuity.","The ring singularity at $\\Sigma=0$ persists, so the solution does not remove the Kerr singularity but confines it to the expected equatorial ring."],"supporting_citations":[{"why":"Supplies the seed Schwarzschild interior mass function and the polynomial family from which the rotating solution is built.","marker":"[14]"},{"why":"Provides the ellipsoidal coordinate transformation that the derivation uses to obtain the Kerr metric from a static seed.","marker":"[16]"},{"why":"Supplies the orthogonal form of the ellipsoidal metric that becomes the rotating interior ansatz.","marker":"[17]"},{"why":"Defines the Kerr exterior that the interior solution is designed to match at the horizon.","marker":"[4]"},{"why":"Provides the Darmois matching conditions used to require continuity of the metric and its first derivatives at the horizon.","marker":"[22]"},{"why":"Provides Doran coordinates, which remove the horizon coordinate singularity so energy conditions can be evaluated.","marker":"[28]"},{"why":"Cited for the interpretation of the source as a Gürses-Gürsey anisotropic fluid of Hawking-Ellis type I.","marker":"[27]"}],"fun_headline_variants":["New Kerr interior solution matches exterior at horizon","Anisotropic fluid interior for rotating black hole","Maximal spin Kerr interior satisfies energy conditions","Smooth Kerr interior from an anisotropic fluid","Interior Kerr metric regular at horizon in Doran coords"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that replacing the constant Kerr mass with the horizon-matched radial mass function produces a genuine interior spacetime that can be smoothly glued to the exterior at the event horizon.","fun_headline_variants_meta":{"raw":{"variants":["New Kerr interior solution matches exterior at horizon","Anisotropic fluid interior for rotating black hole","Maximal spin Kerr interior satisfies energy conditions","Smooth Kerr interior from an anisotropic fluid","Interior Kerr metric regular at horizon in Doran coords"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001606,"raw_usage":{"total_tokens":6332,"prompt_tokens":816,"completion_tokens":5516,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":432,"completion_tokens_details":{"reasoning_tokens":5445}},"tokens_in":432,"tokens_out":5516,"duration_ms":31978,"temperature":1.0,"reasoning_tokens":5445,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T17:38:35.059340+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Einstein tensor of the proposed metric with the mass function (23) and verify the full Einstein equations together with the junction conditions at $r=h$; if the transverse pressure is discontinuous across the horizon or the metric is not differentiable there, the claimed interior extension fails.","supporting_citations":[{"cited_title":"Schwarzschild black hole revisited: Before the complete collapse","cited_arxiv_id":null,"evidence_quote":"Supplies the seed Schwarzschild interior mass function and the polynomial family from which the rotating solution is built."},{"cited_title":"A derivation of the Kerr metric by ellipsoid coordinate transformation","cited_arxiv_id":null,"evidence_quote":"Provides the ellipsoidal coordinate transformation that the derivation uses to obtain the Kerr metric from a static seed."},{"cited_title":"A radiating Kerr black hole and Hawking radiation","cited_arxiv_id":null,"evidence_quote":"Supplies the orthogonal form of the ellipsoidal metric that becomes the rotating interior ansatz."},{"cited_title":"Gravitational field of a spinning mass as an example of algebraically special metrics","cited_arxiv_id":null,"evidence_quote":"Defines the Kerr exterior that the interior solution is designed to match at the horizon."},{"cited_title":"Mémorial des Sciences Mathématiques ; Fascicule XXV; Gauthier-Villars: Paris, France, 1927","cited_arxiv_id":null,"evidence_quote":"Provides the Darmois matching conditions used to require continuity of the metric and its first derivatives at the horizon."},{"cited_title":"New form of the Kerr solution","cited_arxiv_id":null,"evidence_quote":"Provides Doran coordinates, which remove the horizon coordinate singularity so energy conditions can be evaluated."},{"cited_title":"Warped vacuum energy by black holes","cited_arxiv_id":null,"evidence_quote":"Cited for the interpretation of the source as a Gürses-Gürsey anisotropic fluid of Hawking-Ellis type I."}],"review_version":1}