{"id":"c1a1cf89-eaac-4ee7-8d02-696713c22d34","arxiv_id":"2509.12485","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The finiteness of the generalized Lemaitre time at a black hole horizon is controlled by the sign of the quantity X=E-omega L or X=E-q phi, which also enforces kinematic censorship.","lead":"This paper studies a time coordinate analogous to Lemaitre time for rotating and charged black holes, and shows that it behaves differently depending on the sign of a certain conserved quantity. This could explain why collisions inside black holes never produce literally infinite energy.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed X-sign criterion is branch-dependent: with the paper's stated z>0 branch, an infalling X>0 particle has divergent µt; the opposite (standard ingoing) branch is needed, and (15) fixes only z².","rationale":"The reader already assigned CONDITIONAL, and I agree that the paper is not yet fully correct. My concern sharpens the reader's weakest assumption: the issue is not just unspecified freedom in z, μ, h, but the sign of z at the horizon itself. Because condition (15) fixes z² but not sign, and because the paper chooses the sign that makes the outside X > 0 statement false when the missing σ in (19) is restored, the central claim is branch-dependent. This is a genuine correctness risk, not a stylistic objection. However, the flaw is local and fixable: choosing the standard ingoing branch and correcting the sign in (19)-(24) would restore the intended result. I therefore keep the verdict at CONDITIONAL rather than moving to ACCEPT or REJECT.","tokens_in":7403,"tokens_out":14816,"duration_ms":180791,"concrete_test":"Recompute µt(r) for Schwarzschild (Δ = f = 1-2M/r, α = ρ = 1) for an infalling geodesic with X = E > 0, P = √(X² - f), σ = -1. Equation (10) gives dµt/dr = -X/(P f) - z/f. Near r₊, P → X, so µt ∼ -∫ (1+z)/f dr. For z = +1 (the paper's stated choice) this diverges logarithmically; for z = -1 (standard Painlevé-Gullstrand) it is finite. Repeat the interior X < 0 case using (24) with the correct signs: the claimed divergence at the horizon appears only for z = -1. This one-parameter check settles whether the result is branch-independent or an artifact of the sign convention in (15).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing problem is the horizon sign of z in the coordinate transformation (10). Condition (15) fixes only z² = ρ²/α, leaving z = ±ρ/√α. The standard ingoing Lemaître/Painlevé-Gullstrand branch has z = -ρ/√α (for Schwarzschild, dµt = dt - √(2M/r)/f dr), while the paper explicitly chooses z > 0. From (10), dµt/dr = dt/dr - z/Δ = σ X/(P N√A) - z/Δ; the σ is omitted in (19). For X > 0 and an infalling particle (σ = -1), P → X and N√A = Δ√α/ρ, so dµt/dr ≈ -ρ/(√α Δ) - z/Δ. With z = +ρ/√α this is -2ρ/(√α Δ), so µt diverges, contradicting the central claim. With z = -ρ/√α the leading terms cancel and µt is finite. A parallel sign reversal occurs for the interior X < 0 case in (24): only the standard ingoing branch produces the claimed divergence. Thus the finiteness/divergence property is not a property of sign(X) alone; it depends on the branch choice of the generalized Lemaître time. Since the paper asserts z > 0, the central claim is not established as written.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies the behavior of a generalized Lemaître time (also covering Doran–Natarió-type coordinates) for particles approaching the horizons of rotating and charged black holes. For a general axisymmetric metric of the form (1) and for the Reissner–Nordström metric, the paper claims that the finiteness or divergence of this time as the horizon is approached is controlled by the sign of a generalized energy X = E − ω L (rotating case) or X = E − q φ (charged case). It further claims that particles with X < 0 cannot reach the horizon in finite Lemaître time, while X > 0 particles do so, and uses this to explain why collisions inside the horizon do not produce literally infinite center-of-mass energy (kinematic censorship). The Kerr case is treated for non-equatorial motion using the Carter constant; the Reissner–Nordström case is treated for radial charged-particle motion.","tokens_in":7793,"tokens_out":13625,"duration_ms":159244,"significance":"If established, this would be a useful and conceptually clean explanation of why BSW-type singular collisions inside black hole horizons are not realized: opposing signs of X would give infinite E_cm, but the negative-X particle would take an infinite generalized Lemaître time to reach the horizon. The paper also provides a coordinate-invariant expression for X and extends earlier work from Schwarzschild to Kerr (including non-equatorial geodesics) and to charged Reissner–Nordström particles. The main derivations are analytic and the physical idea is attractive. However, as written, the central sign/branch argument contains a load-bearing error that reverses the claimed dichotomy under the paper's own stated conventions. The manuscript is therefore not yet in a publishable form, but the issue is local and potentially fixable.","major_comments":[{"comment":"Eq. (19) omits the factor σ from Eq. (8). From (8), dt/dr = σ X√A/(P N) = σ X ρ/(P √α Δ). Since (10) gives dt̄/dr = dt/dr − z/Δ, one obtains dt̄/dr = [σ X ρ/(P√α) − z]/Δ. For an infalling particle near a black hole horizon, σ = −1. With X > 0, P → X, so the integrand becomes [−ρ/√α − z]/Δ. Under the paper's explicit choice z > 0 in (15), this is −2ρ/(√α Δ), whose integral diverges logarithmically; cancellation occurs only for z = −ρ/√α, the standard ingoing Lemaître/Painlevé–Gullstrand branch. Thus the claim that 'the main divergences cancel and t̄ remains finite' is not correct for the branch stated in the paper. This directly undermines the central dichotomy X > 0 finite / X < 0 divergent.","section":""},{"comment":"The same branch problem affects the interior analysis. Equation (24) is written without the σ factor and without a consistent sign from the r ↔ T interchange. With the paper's z > 0 convention, the leading terms in the integrand for X < 0 cancel, so the claimed divergence of t̄ for X < 0 is not obtained; instead, for the stated branch, X > 0 would diverge and X < 0 would be finite. The finiteness/divergence property is therefore not a property of sign(X) alone; it depends on the branch z = ±ρ/√α. The paper must state which branch corresponds to the physical ingoing Lemaître time and carry that branch consistently through both Eq. (19) and Eq. (24).","section":""},{"comment":"The transformation (34) does not reproduce the standard Painlevé–Gullstrand/Lemaître form for Schwarzschild. Taking e0 = m0 = 1, f = 1 − 2M/r, the definition P0 = √(e0² − f) gives P0 = √(2M/r). Then (34) reads dt = dt̃ − dr/(f√(2M/r)), whereas the standard ingoing transformation is dt = dT − (√(2M/r)/f) dr, i.e. the coefficient of dr is P0/f, not 1/(fP0). Substituting the displayed (34) into (31) does not yield (35). This error propagates into the derivation of (42)–(44), so the near-horizon finiteness claim in §IV.A is not supported as written.","section":""},{"comment":"The statement 'P → +X outside the horizon' is used to justify cancellation, but the relevant combination is σX/P. For an infalling particle σ = −1, so σX/P → −1, and the sign matters. The manuscript should reintroduce σ explicitly throughout and confront the branch choice z > 0 with the requirement of an ingoing regular frame. This is not a matter of presentation: without the correct branch, the main physical conclusion is reversed.","section":""}],"minor_comments":[{"comment":"The integration variable is written as r' but the limits are not specified; clarify whether the integral is from some initial radius to r or from r to the horizon. The sign of the divergence (to +∞ or −∞) should also be stated.","section":""},{"comment":"The notation P0 is used both as m0√(e0² − f) and, implicitly, as the inverse of the coefficient that appears in the standard transformation; this should be clarified. Also, 'Coloumb' should be 'Coulomb'.","section":""},{"comment":"The sign σ is defined but then not used in later equations (19) and (24); either use it consistently or explain why it is dropped.","section":""},{"comment":"The phrase 'without the loss of generality' before setting μ = αρ² and ρ = 1 may overstate the generality; the impact of these simplifications on the near-horizon sign analysis should be acknowledged.","section":""},{"comment":"The paper relies heavily on the authors' previous publications [4], [12], [14] for the coordinate frames and for the kinematic-censorship argument; a reader unfamiliar with those works would benefit from a self-contained statement of the key properties of the generalized Lemaître time.","section":""}],"recommendation":"major_revision","confidential_remarks":"The sign/branch error in Eqs. (19) and (24) is the central obstacle. It is likely fixable by choosing the standard ingoing branch z = −ρ/√α and reintroducing σ, but because the manuscript explicitly states z > 0, the current version cannot support the claimed result. The Reissner–Nordström transformation (34) also needs correction. The paper's reliance on the authors' earlier works is heavy but not inappropriate. If the authors fix the sign and branch issues, the paper could become acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a classic 'right idea, wrong sign' case. The paper extends the authors' earlier Schwarzschild argument to Kerr and Reissner-Nordström, and the broader message—that the sign of X = E - ωL (or E - qφ) controls whether a particle reaches the horizon in generalized Lemaître time, and hence enforces kinematic censorship—is worth taking seriously. But as written, the central derivation contains a load-bearing sign error. Eq. (19) drops the σ from Eq. (8). With the paper's own branch choice z>0, an infalling particle (σ=-1) with X>0 outside the horizon has divergent \\bar{t}; the cancellation that supposedly makes \\bar{t} finite only works for σ=+1. Since (15) fixes only z^2, the finiteness/divergence is not a property of sign(X) alone; it depends on which branch of the generalized Lemaître time you pick. The same ambiguity infects the interior calculation. This is not a cosmetic typo: the paper's main theorem is about the sign of X, but the actual behavior flips with the branch of the coordinates. A reader who follows the equations carefully cannot verify the claim as stated.\n\nThat said, there is genuine value here. The generalization to Kerr with Carter constant and to charged particles in RN is a natural step, and the coordinate-invariant expression for X in Eq. (51) is useful. The connection between a coordinate time and the BSW/inner-horizon collision puzzle is the right kind of question to ask. The paper is readable and the authors are honest about their prior work. But the math needs another pass before the conclusion can be trusted. The RN transformation also warrants a check—Eq. (34) does not obviously reduce to standard Painlevé-Gullstrand in the Schwarzschild limit.\n\nWho is this for? People working on BSW effect and black hole interiors. They will want to know the idea, but they will also catch the sign problem quickly. I would like to see a corrected version, because the underlying mechanism may well survive with the right branch choice and a clear physical definition of which Lemaître frame is relevant. As it stands, I would not cite it for the main claim.\n\nRecommendation: send it to a referee, but expect a major revision. The idea deserves referee time; the current form doesn't.","headline":"Plausible idea undone by a sign slip: the claimed sign-of-X criterion for Lemaître time is actually branch-dependent, and the paper's own equations contradict it.","tokens_in":8223,"tokens_out":6463,"would_cite":false,"duration_ms":72742,"reading_group":"yes","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.70.Bw","97.60.Lf"],"model":"deepseek-v4-flash","headline":"For rotating and charged black holes, the generalized Lemaître time a particle takes to reach a horizon is finite exactly when a conserved quantity X = E − ωL (rotating) or X = E − qφ (charged) is positive, and diverges when X is negative.","keywords":["Lemaître time","Kerr metric","Reissner-Nordström metric","kinematic censorship","BSW effect","Doran-Natario coordinates","horizon collisions","Killing energy"],"falsifier":"Choose a different allowable set of the functions z, μ, h (still satisfying regularity condition z = ρ/√α) in the generalized Lemaître frame; if for X < 0 the time integral (24) is finite for any such choice, then the divergence is an artifact of the coordinate choice and the censorship conclusion fails. Alternatively, an explicit Kerr trajectory with X < 0 inside the horizon that reaches the horizon in finite Doran-Natario time would falsify the claim.","tokens_in":7339,"feed_emoji":"🕳️","tokens_out":7486,"duration_ms":84565,"temperature":0.7,"pith_summary":"This paper asks whether the generalized Lemaître time—the synchronous time of a free-falling frame—remains finite when a particle approaches the horizon of a rotating or charged black hole. The answer depends only on the sign of a single conserved quantity X: X > 0 gives a finite time, X < 0 gives a divergent one. Because collisions that would produce infinite center-of-mass energy require two particles with opposite signs of X, the negative-X particle never reaches the horizon in this frame, so the collision cannot happen. This extends the principle of kinematic censorship to inner horizons of Kerr and Reissner-Nordström black holes, including charged particles.","feed_headline":"Black holes censor infinite-energy collisions","feed_subtitle":"The sign of a conserved quantity decides who reaches the horizon, forbidding infinite collision energies.","key_machinery":"The central object is X, the conserved combination of Killing energy and angular momentum (or electric charge) measured in the rotating or charged frame. The proof uses a coordinate transformation to a synchronous Lemaître-type frame, with the regularity condition z = ρ/√α on the horizon that cancels the divergent Δ⁻¹ term for X > 0. The sign of X then controls whether the time integral converges or diverges, which in turn determines whether a collision at the horizon can occur.","core_discovery":"For a broad class of stationary axially symmetric black holes (including Kerr), and for the Reissner-Nordström metric with charged particles, the behavior of the generalized Lemaître/Doran-Natario time near a horizon is governed by the sign of X = E − ωL (rotating) or X = E − qφ (charged). When X > 0 the coordinate singularity in the time integral is cancelled by the regularity condition of the free-fall frame, leaving a finite time. When X < 0, which is allowed only inside the horizon, the cancellation fails and the time diverges logarithmically. Since two particles colliding exactly at the horizon with infinite center-of-mass energy would require one with X > 0 and one with X < 0, and the","pith_inferences":["The censorship argument relies on the divergence of a specific coordinate time (Lemaître time); since proper time to the horizon is finite, the claim that the event 'does not occur' privileges this frame. A coordinate-invariant formulation would strengthen or qualify the result.","If the sign rule is generic, it should apply to any stationary black hole with a conserved charge-like quantity (e.g., Kerr-Newman), and to other synchronous time coordinates, offering a testable extension.","One could numerically simulate a near-extremal Kerr inner horizon and check whether a particle with X < 0 launched inside ever reaches the horizon in the Doran-Natario time; a finite arrival would falsify the paper's divergence claim."],"forward_implications":["The Bañados–Silk–West effect and its inner-horizon analogues cannot produce literally infinite collision energy, because the required particle with X < 0 never reaches the horizon in finite Lemaître time.","Kinematic censorship—the impossibility of releasing infinite energy in a physical event—holds for rotating (Kerr) and charged (Reissner-Nordström) black holes, including their inner horizons.","The sign of X serves as a unified diagnostic: it simultaneously determines the regularity of the free-fall time, the forward-in-time condition, and the divergence of center-of-mass collision energy.","For Reissner-Nordström, the same dichotomy applies to charged particle trajectories, where X = E − qφ plays the role of the kinematic momentum."],"fun_headline_variants":["Sign of conserved quantity caps black hole collision energy","Horizon time sign forbids infinite collision energy","New time parameter explains black hole energy censorship","Why black hole collisions can't reach infinite energy"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The claim that the divergence of the Lemaître time is governed solely by the sign of X, independent of the arbitrary functions z, μ, h in the coordinate transformation—the paper relies on the specific regularity condition (15) without proving frame-independence.","fun_headline_variants_meta":{"raw":{"variants":["Sign of conserved quantity caps black hole collision energy","Horizon time sign forbids infinite collision energy","New time parameter explains black hole energy censorship","Why black hole collisions can't reach infinite energy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000153,"raw_usage":{"total_tokens":1013,"prompt_tokens":682,"completion_tokens":331,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":426,"completion_tokens_details":{"reasoning_tokens":273}},"tokens_in":426,"tokens_out":331,"duration_ms":4929,"temperature":1.0,"reasoning_tokens":273,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T16:40:38.314535+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose a different allowable set of the functions z, μ, h (still satisfying regularity condition z = ρ/√α) in the generalized Lemaître frame; if for X < 0 the time integral (24) is finite for any such choice, then the divergence is an artifact of the coordinate choice and the censorship conclusion fails. Alternatively, an explicit Kerr trajectory with X < 0 inside the horizon that reaches the horizon in finite Doran-Natario time would falsify the claim.","supporting_citations":[],"review_version":1}