{"id":"cb663a76-a5a5-4e91-84f3-2b657c734162","arxiv_id":"2501.13719","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For rotating stationary axisymmetric horizons, the paper derives expansion conditions on the metric that make the horizon regular, naked, or truly naked in a freely falling frame.","lead":"This paper classifies black hole horizons in rotating spacetimes by whether tidal forces felt by a freely falling observer stay finite, vanish, or diverge. It extends a static-spacetime notion of naked and truly naked black holes to rotating geometries and tracks how the Petrov algebraic type changes near the horizon.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The classification is observer-dependent: Table I and Eq. (40) rest on the Appendix B scaling gamma=O(1/N) for 'usual' observers; a corotating or accelerated observer with gamma=O(1) sees different (finite) curvature components, so the horizon labels are not spacetime-invariant.","rationale":"The most load-bearing step is not the Newman-Penrose algebra but the input observer scaling: the whole Table I classification is a statement about curvature components in a frame attached to a particular family of observers. Appendix B derives gamma = O(1/N) and psi, delta = O(N) only for geodesics with finite X = E - omega L and finite u_theta. The paper explicitly restricts to 'usual' particles, but the abstract and conclusions present TNBH as a property of the spacetime ('non-scalar singularity'). A freely falling observer with X = O(N) has gamma = O(1) and hence B = O(1); the boost that produces the diverging tilde-Psi_4 and tilde-Phi_22 for the usual observer is absent. That would make the same horizon usual or naked for one observer and truly naked for another. The reader's weakest_assumption identifies the same point, and I agree. The concern is not that the transformation formulas are wrong; they are plausibly correct. The concern is that the classification's physical meaning depends on a genericity claim that is not proven. A simple analytical check with two geodesics in a concrete TNBH-type expansion would settle whether the divergence is generic or observer-selective. I therefore keep the CONDITIONAL verdict unchanged rather than moving to accept or reject.","tokens_in":20707,"tokens_out":23068,"duration_ms":219857,"concrete_test":"Take a vacuum metric of the form (11)-(13) with p = q = 1 and omega = omega_H + omega_1 u + o(u), choosing generic coefficients so that Psi_0 = O(1), which is below the O(N^2) threshold and thus puts the horizon in the 'truly naked' row of Table I. For two future-directed timelike geodesics, (A) X = E - omega L = O(1), u_theta = O(1), and (B) X = O(N) with X/N = c > sqrt(1 + L^2/g_phi_phi^H + g_theta_theta^H u_theta^2), compute the boosted tilde-Psi_4 from Eq. (36) using the exact parameters (29)-(31), without replacing psi, delta, gamma by their Appendix B asymptotics. If case B gives tilde-Psi_4 = O(1) while case A gives a divergence, the classification is observer-dependent and Table I needs a genericity qualification.","verdict_should_be":"UNCHANGED","load_bearing_attack":"All of Table I and Eq. (40) are derived from the near-horizon scalings psi, delta = O(N), gamma = O(1/N), K = -L = O(N), B = O(N) obtained in Appendix B for particles with finite X = E - omega L, finite u_theta, and zero acceleration (B1-B8). The paper asserts, without derivation, that a finite force does not change these scalings. This is the load-bearing point: for a geodesic with X = O(N), e.g. L tuned so that E - omega_H L = O(N) and X/N = c > sqrt(1 + L^2/g_phi_phi + g_theta_theta u_theta^2) at the horizon, gamma = X/N = O(1), hence B = O(1) from (31), not O(N). Inserting B = O(1) into (34)-(39) removes the 1/N^2 and 1/N suppression that creates the 'truly naked' divergence. The same metric that is TNBH for the usual observer then has finite tilde-Psi_4 and tilde-Phi_22 for the corotating observer. Since the paper defines TNBH as a non-scalar singularity of the spacetime, not just of a chosen observer family, it must either prove that the divergent behavior is generic (open dense set of initial data, or all finite-force observers) or explicitly state that the classification is observer-relative. The phrase 'usual particles (without fine-tuning)' in Appendix B is an admission of this restriction, not a resolution.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper generalizes the notions of naked and truly naked black holes from static, spherically symmetric or distorted metrics to rotating stationary axisymmetric spacetimes of the form (1). The authors use the Newman-Penrose formalism to transform Weyl and Ricci scalars from a ZAMO tetrad to a frame comoving with an infalling observer, derive conditions under which boosted components Ψ̃4, Ψ̃3, Φ̃22, Φ̃12 tend to zero, remain finite, or diverge, and encode these in expansion-exponent inequalities in Tables I and II. They also relate the on-horizon, boosted, and regular Petrov types in Table III and verify consistency with the static spherically symmetric limit in Section VII.","tokens_in":20994,"tokens_out":11515,"duration_ms":106531,"significance":"If correct, the paper would provide a practical framework for detecting non-scalar curvature singularities in rotating black-hole backgrounds, extending earlier static results and connecting to recent work on extremal Kerr horizons and higher-curvature corrections. The authors give explicit symbolic transformations, concrete expansion conditions, and a static-limit consistency check, and they use the Newman-Penrose formalism in a way that is natural for the problem. The main value is the classification scheme itself, which is falsifiable in the sense that the conditions in Tables I and II are explicit. However, the classification's validity currently depends on a load-bearing assumption about the allowed family of infalling observers; this needs to be settled before the spacetime-level conclusions can be accepted.","major_comments":[{"comment":"This comment is complete.","section":"Section III, Appendix B; Section V definitions"},{"comment":"This comment is complete.","section":"Section IV, Eqs. (34)-(39) and (40)"},{"comment":"This comment is complete.","section":"Section VI, type D discussion and Table III"}],"minor_comments":[{"comment":"The phrase 'We also scrutiny how' should read 'We also scrutinize how'.","section":"Abstract and Introduction"},{"comment":"The word 'satisfied' is misspelled as 'satifed' in 'are satified'.","section":"Section IV, after Eq. (62)"},{"comment":"In the expansion ga = gaH(θ) + gam(θ)u^m + o(m), the final term should be o(u^m), not o(m).","section":"Section IV, Eq. (65)"},{"comment":"The statement that the notation k, l is opposite to that in [16] is helpful, but the comparison would be clearer if the correspondence were given explicitly in symbols for both papers.","section":"Section II, after Eq. (21)"},{"comment":"Some denominators, such as ∂θ² ln(N²/A), are typeset ambiguously; please insert parentheses to distinguish ∂θ² ln(N²) − ∂θ² ln A from ∂θ² ln(N²/A).","section":"Appendix A, Eq. (A13)"},{"comment":"The tilde notation on Ψ̃0 and Ψ̃1 in the table headers is not aligned with the body text; for readability, define once that terms with a tilde refer to the boosted frame.","section":"Tables II and III"}],"recommendation":"major_revision","confidential_remarks":"The paper's core idea is timely and the authors have done substantial algebraic work, but the observer-dependence of the classification and the scaling issue in Eqs. (34)-(40) are load-bearing. I would ask the authors to either prove genericity of the divergences for all finite-force observers, or reformulate the claims as observer-relative and adjust the definition of TNBH accordingly. The algebraic-type discussion in Section VI also needs correction for the type D, Ψ1≠0 branch. The amount of self-citation is not inappropriate given the direct lineage with [3,4,15,16]."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely new thing here is the extension of the naked/truly-naked horizon classification from static and distorted metrics to rotating stationary axisymmetric spacetimes, plus the Petrov-type maps for the boosted frames. The static limit checks out, and the reduction of the classification to inequalities on expansion exponents (Tables I and III) is a practical criterion that a working relativist could actually use. That is real progress.\n\nThe paper is also honest about its machinery: the NP formalism is used consistently, and the earlier regularity conditions from [16] are cross-checked rather than silently assumed. The emphasis on finite scalar invariants with divergent frame components is correct and worth keeping in mind.\n\nThe main soft spot is the observer dependence of the classification. Appendix B assumes 'usual' particles with finite X=E-omega L, which gives gamma = O(1/N) and B = O(N). But a corotating observer with X = O(N) has gamma = O(1) and B = O(1), and then the same metric does not produce the divergent tilde-Psi_4 or tilde-Phi_22. The paper acknowledges this by saying 'without fine-tuning', but that is a restriction, not a resolution. If TNBH is meant as a property of the spacetime, the authors need to either prove that the diverging behavior is generic over initial data (or over a well-defined observer family) or state clearly that the labels are relative to a class of observers. As written, the classification is conditional on that generic-observer premise.\n\nTwo smaller issues: the conversion from rotations/boost to NP parameters in (29)-(31) is stated as a Mathematica result without enough derivation to follow by hand, and no explicit rotating TNBH metric is exhibited. An example would make the Table I conditions concrete and much more convincing.\n\nThe literature citation pattern looks fine, and there is no fitting or data massage, so circularity is low. The core idea is sound and the static limit gives the right answer, so I would take the observer-dependence seriously but not treat it as fatal.\n\nThis paper deserves a serious referee. The right process is to send it out, and the referee should ask for a precise statement of the observer class and either a genericity argument or an explicit caveat, plus at least one worked rotating example.","headline":"A real but restricted extension of the TNBH classification to rotating horizons, with an observer-dependence issue that needs to be addressed before the classification can be called spacetime-invariant.","tokens_in":21551,"tokens_out":2767,"would_cite":true,"duration_ms":29859,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83C75"],"pacs":["04.70.Bw"],"model":"deepseek-v4-flash","headline":"The paper claims that a rotating horizon can be a non-scalar singularity: scalar invariants stay finite while tidal forces felt by a falling observer diverge, and it pins down the exact metric exponents for each case.","keywords":["naked black holes","truly naked black holes","non-scalar singularity","Newman-Penrose formalism","rotating black holes","horizon regularity","tidal forces","Petrov classification"],"falsifier":"Take a concrete metric in the class (1) whose exponents fall in the truly-naked range of Table I, compute the exact free-falling frame from the geodesic equation, and evaluate $\\tilde{\\Psi}_4$ via Eq. (36); if it stays finite because the boost parameter $B$ does not scale as $O(N)$ for that observer, the classification fails. A geodesic with large $u^\\theta$ or fine-tuned conserved quantities would provide the same decisive test.","tokens_in":20472,"feed_emoji":"🕳️","tokens_out":20207,"duration_ms":148345,"temperature":0.7,"pith_summary":"Previously studied for static spherically symmetric and distorted metrics, the notions of naked and truly naked black holes are here extended to rotating, stationary, axisymmetric spacetimes and recast in the Newman-Penrose formalism, a tetrad calculus for curvature. A horizon is usual when the relevant curvature components vanish in the falling-observer frame, naked when they stay finite, and truly naked when they formally diverge although all scalar invariants remain finite, which in mathematical language is a non-scalar singularity. The paper shows that in the rotating case exactly four boosted curvature components decide the outcome, and translates the three cases into explicit inequalities on the integers $l$, $k$, $m$, $s_1$, $s_2$ governing the near-horizon metric expansions. If the paper is right, a rotating horizon can be a genuine singularity for an infalling body while looking perfectly smooth to scalar probes, and an observer can see a different Petrov type than the one defined away from the horizon.","feed_headline":"Tidal forces can diverge at a rotating black hole's horizon","feed_subtitle":"Four boosted curvature components decide if a falling observer sees vanishing, finite, or diverging tidal forces.","key_machinery":"The machinery is the Newman-Penrose tetrad calculus built on the zero-angular-momentum (ZAMO) frame, carried to a freely falling observer by two spatial rotations (angles $\\psi$ and $\\delta$) and a boost with factor $\\gamma$. In the horizon limit $\\psi, \\delta \\sim N$ and $\\gamma \\sim 1/N$, which in the null-tetrad description means the null-rotation parameters satisfy $K = -L = O(N)$ and the boost parameter $B = O(N)$. Feeding these scalings into the standard transformation laws shows that only four quantities — $\\tilde{\\Psi}_4$, $\\tilde{\\Psi}_3$, $\\tilde{\\Phi}_{22}$, $\\tilde{\\Phi}_{12}$ — are boosted by $B^{-1}$ or $B^{-2}$ and can therefore be enhanced or diverge, which is why the rotating classification needs four indices ($l$, $k$, $m$, $s_1$, $s_2$) rather than the single static quantity $Z$. These indices are the leading exponents in the near-horizon expansions of $\\omega$, the metric functions $g_a$, and the $\\theta$-dependent coefficients of $N^2$ and $A$.","core_discovery":"The paper's central claim is that for stationary axisymmetric metrics of the form $ds^2 = -N^2 dt^2 + g_{\\phi\\phi}(d\\phi - \\omega dt)^2 + dr^2/A + g_{\\theta\\theta} d\\theta^2$, a Killing horizon is usual, naked, or truly naked according to the near-horizon behavior of the boosted Newman-Penrose quantities $\\tilde{\\Psi}_4$, $\\tilde{\\Psi}_3$, $\\tilde{\\Phi}_{22}$, $\\tilde{\\Phi}_{12}$: they tend to zero, remain finite and separated from zero, or diverge in the free-falling frame. The regular case is equivalent to the four conditions $\\Psi_0 = O(N^2)$, $\\Psi_1 = O(N)$, $\\Phi_{22} = O(N^2)$, $\\Phi_{12} = O(N)$, and violating any of them in a controlled way makes the horizon a non-scalar singularity. The paper converts these conditions into explicit inequalities on the expansion exponents $l$, $k$, $m$, $s_1$, $s_2$ collected in Table I, and shows that the same bounds apply whether or not the falling observer carries angular momentum. It further shows that the Petrov (algebraic) type seen by a falling observer can differ from the off-horizon type — off-horizon II appears as III, off-horizon D with $\\Psi_1 = 0$ appears as N or O, and regular horizons admit only types II, D, III, N, O — and that the whole scheme reduces to the earlier single-quantity $Z$ classification in the static spherical limit.","pith_inferences":["The Table I thresholds offer a sharper diagnostic for the question raised by the extremal-Kerr instability under higher-curvature corrections: if such corrections push $k$ or $l$ below the regular threshold, the horizon becomes truly naked even though scalar invariants stay finite.","Because the scalings for $\\psi$, $\\delta$, and $\\gamma$ assume an ordinary infaller with finite energy, angular momentum, and polar velocity, the truly-naked property is observer-class-relative; a fine-tuned particle could plausibly cross the same horizon without seeing divergent tides.","Applying the classification to explicit rotating solutions with matter would show which physical equations of state allow the exponents to enter the truly-naked range; this is a direct computation from expansions of the form (63)-(65).","The four divergent channels are anisotropic, so an extended body falling toward a truly naked rotating horizon would be disrupted in a direction-dependent way that could be worked out as geodesic deviation in a concrete metric."],"forward_implications":["A rotating horizon can be a non-scalar singularity: all scalar curvature invariants stay finite while tidal forces on an infalling extended body diverge.","Any metric of the family (1) can be classified by reading off the near-horizon exponents $l$, $k$, $m$, $s_1$, $s_2$ from its expansions and comparing them with the Table I thresholds.","In the static spherical limit the four boosted components collapse to the earlier quantity $Z$, so the new definitions reproduce the known classification.","The Petrov type seen by a free-falling observer can differ from the off-horizon type: for instance, an off-horizon type II spacetime is seen as type III, and a regular horizon is never of type I.","Giving the observer angular momentum does not ease the regularity conditions: rotating and non-rotating infallers must satisfy the same bounds."],"supporting_citations":[{"why":"Introduced naked black holes: curvature components that are small or zero in the static frame are enhanced for a falling observer, the phenomenon this paper generalizes to rotation.","marker":"[1]"},{"why":"Showed that some curvature components on distorted Killing horizons can formally diverge while scalar invariants stay finite, and began the algebraic-type analysis.","marker":"[3]"},{"why":"Defined truly naked black holes for static spherically symmetric and distorted metrics through the boosted quantity Z; the new four-component classification must reduce to it.","marker":"[4]"},{"why":"Supplied the off-horizon versus on-horizon Petrov classification for axisymmetric dirty black holes, whose boosted-type and regular-type distinctions this paper extends.","marker":"[7]"},{"why":"Established the scalar-invariant regularity conditions for axially symmetric rotating horizons, giving the expansions and exponent thresholds reused throughout.","marker":"[16]"},{"why":"The Newman-Penrose formalism itself, which defines the Weyl scalars and Ricci components that carry the whole classification.","marker":"[18]"},{"why":"The recent finding that higher-order curvature corrections destroy regular extremal Kerr horizons, motivating the question of which horizon outcomes are possible in principle.","marker":"[19]"}],"fun_headline_variants":["Rotating black holes can be truly naked for free-fall observers","Tidal forces diverge at rotating black hole horizons for infallers","Naked rotating black holes: falling observer sees tidal blow-up","Truly naked rotating black holes: horizon hides non-scalar singularity","Rotating black hole horizons: diverging tides in free-fall frame"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything hangs on the near-horizon scalings for an ordinary falling particle — finite conserved energy and angular momentum and finite polar velocity give $\\psi, \\delta \\sim N$ and $\\gamma \\sim 1/N$; if those assumptions fail, the four regularity conditions and the Table I classification would need to be re-examined.","fun_headline_variants_meta":{"raw":{"variants":["Rotating black holes can be truly naked for free-fall observers","Tidal forces diverge at rotating black hole horizons for infallers","Naked rotating black holes: falling observer sees tidal blow-up","Truly naked rotating black holes: horizon hides non-scalar singularity","Rotating black hole horizons: diverging tides in free-fall frame"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000882,"raw_usage":{"total_tokens":3854,"prompt_tokens":1032,"completion_tokens":2822,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":648,"completion_tokens_details":{"reasoning_tokens":2729}},"tokens_in":648,"tokens_out":2822,"duration_ms":16875,"temperature":1.0,"reasoning_tokens":2729,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T15:40:23.801495+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a concrete metric in the class (1) whose exponents fall in the truly-naked range of Table I, compute the exact free-falling frame from the geodesic equation, and evaluate $\\tilde{\\Psi}_4$ via Eq. (36); if it stays finite because the boost parameter $B$ does not scale as $O(N)$ for that observer, the classification fails. A geodesic with large $u^\\theta$ or fine-tuned conserved quantities would provide the same decisive test.","supporting_citations":[{"cited_title":"Curvature tensors on distorted Killing horizons and their algebraic classification","cited_arxiv_id":"gr-qc/0510095","evidence_quote":"Showed that some curvature components on distorted Killing horizons can formally diverge while scalar invariants stay finite, and began the algebraic-type analysis."},{"cited_title":"Truly naked spherically-symmetric and distorted black holes","cited_arxiv_id":"0706.2727","evidence_quote":"Defined truly naked black holes for static spherically symmetric and distorted metrics through the boosted quantity Z; the new four-component classification must reduce to it."},{"cited_title":"What happens to Petrov classification on horizons of axisymmetric dirty black holes","cited_arxiv_id":"1211.4376","evidence_quote":"Supplied the off-horizon versus on-horizon Petrov classification for axisymmetric dirty black holes, whose boosted-type and regular-type distinctions this paper extends."},{"cited_title":"Axially symmetric rotating black hole with regular horizons","cited_arxiv_id":"2211.08061","evidence_quote":"Established the scalar-invariant regularity conditions for axially symmetric rotating horizons, giving the expansions and exponent thresholds reused throughout."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The Newman-Penrose formalism itself, which defines the Weyl scalars and Ricci components that carry the whole classification."},{"cited_title":"Petrov type","cited_arxiv_id":null,"evidence_quote":"The recent finding that higher-order curvature corrections destroy regular extremal Kerr horizons, motivating the question of which horizon outcomes are possible in principle."}],"review_version":1}