{"id":"245099d6-f2f5-4594-b173-4fc430e831bb","arxiv_id":"2505.23000","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The minimum orbital period of circular lightlike orbits around Hayward and Bardeen regular black holes satisfies the conjectured bounds, supporting the horizon's role over the singularity.","lead":"This paper checks a conjectured universal rule for the shortest possible orbital period around a black hole. Tests on two regular black hole models, Hayward and Bardeen, confirm the rule even though these spacetimes have no central singularity.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lower-bound verification rests on an unreported numerical scan to the horizon boundary; checking the exact extremal parameters would settle whether the scan missed anything.","rationale":"The central numerical claim appears robust on independent inspection. The derivative in Eq. (8) is algebraically correct, the Schwarzschild limit reproduces Tmin=6√3πM exactly, and the extremal-horizon calculation at L_c=g_c=4M/(3√3) gives boundary values around 30.9M and 28.5M, comfortably above the conjectured lower bound 4πM. The upper bound is also secure because L=0 gives the Schwarzschild value and the reported minima are smaller. The genuine weakness is reproducibility: the paper gives no code, no grid resolution, no convergence test, and no analytic treatment of the parameter-space boundary. The reader's weakest-assumption concern about the numerical scan coverage is therefore legitimate, though it is only mildly load-bearing because the margin between the reported minima and the 4π bound is very large. A targeted check at the exact extremal parameters would settle whether the scan missed any relevant region. Since this concern matches the reader's conditional verdict rather than moving it, the verdict should remain unchanged. Credit is due for the explicit analytical expressions for T(r) and dT/dr in the Hayward case, which make an independent check straightforward; the Bardeen case lacks an analogous displayed derivative, adding to the reproducibility gap.","tokens_in":5870,"tokens_out":30853,"duration_ms":314877,"concrete_test":"Set M=1 and evaluate Tmin at the exact horizon-boundary parameters L_c=g_c=4/(3√3). For Hayward, find the root r>4/3 of r^6−3r^5+4L_c^2 r^3+4L_c^4=0 and evaluate Tmin/M = 2π r / sqrt(1−2r^2/(r^3+2L_c^2)). For Bardeen, find the root r>√2 g_c of (r^2+g_c^2)^(5/2)−3r^4=0 and evaluate Tmin/M = 2π r / sqrt(1−2r^2/(r^2+g_c^2)^(3/2)). If both values exceed 4π and match the reported 30.9504 and 28.5784, the omitted boundary region cannot change the lower-bound conclusion; if they do not, the numerical minimization is suspect.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing step is the numerical minimization in §§II–III. The lower-bound statement that Tmin/M stays above 4π is only as good as the scan over the allowed black-hole parameter region, and the paper does not report the method, grid resolution, or convergence criteria used to find the critical values of L and g at which the outer horizon disappears. The exact horizon-existence boundaries are simple: from f=0 and f'=0 one obtains L_c = g_c = 4M/(3√3), with a double horizon at r=4M/3 for Hayward and at r=√2 g_c for Bardeen. The figures appear to stop around L/M≈0.7, below L_c/M≈0.7698, so the quoted minima 30.9504 and 28.5784 are not shown to be the true extrema over the full black-hole regime. However, an independent boundary calculation gives Tmin/M around 30.9 for Hayward and around 28.5 for Bardeen, both far above 4π≈12.57, so missing a boundary point is unlikely to overturn the lower bound. The remaining risk is a bug in the unreported minimization or a wrong horizon-existence condition; absent code and data, the central claim is not reproducible as shipped.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper tests a conjectured universal bound on the minimum orbital period of objects around black holes, 4πM ≤ Tmin ≤ 6√3πM, for two non-singular metrics: the Hayward black hole (parameter L) and the Bardeen black hole (parameter g). The authors derive the orbital period T(r) from the light-speed condition ds²=0, compute its derivative, and then use numerical minimization to find Tmin as a function of M and L or g. They report that Tmin/M decreases as L or g increases, that the lower bound 4π is never violated for parameter values admitting a horizon, and that the upper bound is attained in the Schwarzschild limit L=0 or g=0. The paper concludes that the conjectured bounds hold for these regular black holes and that the bounds may be tied to the existence of a horizon rather than to the central singularity.","tokens_in":6122,"tokens_out":4688,"duration_ms":53891,"significance":"If the numerical results are correct, the paper extends the universal-period conjecture to regular black holes, strengthening the interpretation that the bounds are horizon-related. The explicit formulas for T(r) in Eqs. (5) and (14) are simple and reduce correctly to the Schwarzschild case, and the analytical treatment of the L=0 and g=0 limits is sound. The main contribution is numerical verification, but the manuscript as shipped does not include code, data, convergence tests, or a detailed description of the numerical method. This limits reproducibility, and the internal inconsistency in the quoted numerical upper bound (32.6484 vs. 32.6864) needs correction. The central claim is plausible, but the paper's current form does not fully support it as a reproducible numerical result.","major_comments":[{"comment":"The numerical minimization method is not described: no grid resolution, sampling strategy, or convergence criteria are given. The reported lower bound Tmin/M = 30.9504 depends on a scan over the allowed black-hole parameter region, and the reader cannot verify that the scan reached the extremal horizon boundary L_c/M = 4/(3√3) ≈ 0.7698, where a double horizon exists. Please report the numerical algorithm and provide a convergence test or an independent check at the critical L_c to demonstrate that the global minimum was not missed.","section":"Section II, after Eq. (8) and Figure 1"},{"comment":"The text reports the numerical upper bound as 32.6484, while the figure caption and Section III give 32.6864 ≈ 6√3π. Since the exact Schwarzschild result is Tmin = 6√3πM ≈ 32.6864 M, these values are inconsistent. Please reconcile this discrepancy; the value 32.6484 appears to be a typo but must be corrected throughout the manuscript.","section":"Section II, p. 5, and Figure 1 caption"},{"comment":"The claim that Tmin/M decreases monotonically with L (or g) is supported only by 'extensive numerical analysis' with no data table or analytical argument. This monotonicity is used to assert that the upper bound is attained at L=0 or g=0. Please include a table of Tmin/M at representative parameter values (including near-critical values) or prove monotonicity analytically, so that the upper-bound statement is checkable.","section":"Sections II and III"},{"comment":"The central result is a numerical verification, but the paper does not provide code, data files, or a specification of the root-finding/minimization algorithm. Without these, the quoted minima 30.9504 and 28.5784 cannot be independently reproduced. Please include the numerical code or, at a minimum, a detailed description of the algorithm, grid resolution, and convergence criteria as supplementary material.","section":"General (numerical reproducibility)"}],"minor_comments":[{"comment":"The caption says 'as a function of M and L' for the Bardeen black hole, but the relevant parameter is g. This should be corrected.","section":"Figure 2 caption"},{"comment":"The notation is inconsistent: the square root contains '2l²M' with a lowercase l, while the polynomial in the denominator uses '2L²M'. Please use one symbol throughout.","section":"Equation (8)"},{"comment":"The phrase 'we transform the front equation into' should read 'the previous equation' or similar. Please proofread for typographical errors.","section":"Section III, text near Eq. (13)"},{"comment":"The derivation uses ds²=0, so T(r) is the coordinate-time period of a circular null orbit. The paper should clarify this and state explicitly why the null-orbit period is the relevant quantity for the cited bounds on 'objects orbiting black holes'.","section":"Sections II and III, interpretation of T(r)"},{"comment":"These are arXiv identifiers; if the papers have been published in journals, please update the references to the published versions.","section":"References [22,23]"}],"recommendation":"major_revision","confidential_remarks":"The paper is essentially a numerical confirmation of a conjecture formulated in prior work, two references of which are by one of the present authors. There is no circularity in the numerical check, but the authors should state more clearly that the bounds are being tested, not derived, and position the novelty accordingly. The journal may also wish to consider whether a numerical claim with no code or data attached meets its reproducibility standards."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper verifies the conjectured universal bounds 4πM ≤ Tmin ≤ 6√3πM for two regular black hole families. That verification is new: nobody had done the explicit minimization for Hayward and Bardeen. The T(r) formulas are correct, the Schwarzschild limit is recovered, and the qualitative behavior—Tmin decreases as the regularization parameter grows—is consistent with the earlier Kerr and Kerr-Newman results. Credit is due for a clean, focused question and a mostly clear presentation.\n\nThe soft spots are real but not fatal. The numerical scans are under-reported: no code, no grid resolution, no convergence test, and no description of how the horizon-existence boundary was located. The figures appear to stop around L/M ≈ 0.7, while the horizon disappears at L/M = 4/(3√3) ≈ 0.77, so the quoted minima at 30.9504 (Hayward) and 28.5784 (Bardeen) are not shown to be the true extrema over the full black-hole regime. There is also a numeric inconsistency in the text (32.6484 vs 32.6864 for the upper bound), which is presumably a typo but should be fixed. That said, the stress-test boundary calculation gives Tmin/M around 30.9 and 28.5, both far above 4π ≈ 12.57, so the central claim—that the lower bound holds—is almost certainly correct. The paper just doesn't prove it as written because the scan is not reproducible.\n\nThe interpretation that the bounds are tied to the horizon rather than the singularity is reasonable but weakly supported. Two more examples are supporting data points, not a demonstration of universality, and the paper does not engage with alternative explanations. The self-citation issue is mild: the bounds are imported as thresholds, not assumed, and the minimization is independent. The reliance on a co-author's preprints is notable but not circular.\n\nFor a serious referee, this is worth engaging with rather than desk-rejecting. The revision should add the numerical methods, the data, and a scan that reaches the horizon boundary. With those, it becomes a solid minor contribution to the conjecture-check literature.","headline":"A straightforward numerical check that Hayward and Bardeen black holes satisfy the conjectured orbital-period bounds; the result is likely right, but the evidence as shipped is incomplete.","tokens_in":6592,"tokens_out":2401,"would_cite":false,"duration_ms":26694,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.25.Tq","04.70.Bw","74.20.-z"],"model":"deepseek-v4-flash","headline":"Hayward and Bardeen regular black holes obey the conjectured universal bound $4\\pi M \\le T_{\\min} \\le 6\\sqrt{3}\\pi M$ on the fastest circular orbital period.","keywords":["minimum orbital period","Hayward black hole","Bardeen black hole","regular black holes","null circular orbits","universal bounds","black hole horizon"],"falsifier":"Take the horizon condition $f(r)=0$ for the Hayward metric, find the outer horizon $r_+$ for each allowed $L/M$, and minimize $T(r)=2\\pi r/\\sqrt{f(r)}$ over $r>r_+$ on a fine grid that includes values of $L$ just below the horizon-ending critical value; any $T_{\\min}<4\\pi M$ found this way would disprove the claimed bound, and the analogous scan with $g$ tests the Bardeen case.","tokens_in":5677,"feed_emoji":"🕳️","tokens_out":9878,"duration_ms":106775,"temperature":0.7,"pith_summary":"The paper tests a conjectured universal clock for black holes: for a black hole of mass $M$, the shortest possible period $T_{\\min}$ of a light-speed circular orbit should obey $4\\pi M \\le T_{\\min} \\le 6\\sqrt{3}\\pi M$. The authors check this for two non-singular spacetimes, Hayward and Bardeen, whose central singularities have been smoothed by additional parameters $L$ and $g$. Using the null-orbit period formula and numerical minimization outside the outer horizon, they find that $T_{\\min}$ falls inside the interval for both families, with the upper bound approached in the Schwarzschild limit $L=0$ or $g=0$. The result matters because it suggests the bounds are tied to the existence of a horizon, not to the singular interior, and so may be a generic feature of black hole spacetimes.","feed_headline":"No-singularity black holes obey the orbit-time bounds","feed_subtitle":"Hayward and Bardeen spacetimes keep the minimum orbit time between 4πM and 6√3πM, pointing to the horizon, not the singularity.","key_machinery":"The load-bearing object is the orbital-period function for circular null orbits in a static, spherically symmetric metric, $T(r)=2\\pi r/\\sqrt{f(r)}$, obtained by setting $ds^2=0$ for a full revolution $d\\phi=2\\pi$. The location of the minimum is controlled by $dT/dr=0$, and the allowed range of the regularity parameters $L$ and $g$ is cut off by the requirement that the outer horizon exist, i.e. that $f(r)=0$ still have a positive root. Numerical minimization over this horizon region is what converts the conjectured interval into a verified statement for these two spacetimes.","core_discovery":"For the Hayward metric with $f(r)=1-2Mr^2/(r^3+2L^2M)$, the period of a full null circular orbit at radius $r$ is $T(r)=2\\pi r/\\sqrt{f(r)}$. The paper solves $dT/dr=0$ numerically and reports that $T_{\\min}/M$ decreases as $L$ grows, with a numerical lower value about $30.9504$ and with the upper value approaching $6\\sqrt{3}\\pi\\approx 32.6864$ as $L\\to 0$. For the Bardeen metric, where $m(r)=M(r^2/(r^2+g^2))^{3/2}$, the same procedure gives $T_{\\min}/M\\approx 28.5784$ at the largest $g$ that still leaves a horizon, again above $4\\pi$ and below the Schwarzschild upper limit. The paper therefore states that both regular black hole families obey $4\\pi M \\le T_{\\min} \\le 6\\sqrt{3}\\pi M$, and interprets the agreement as evidence that the bounds are properties of the horizon rather than the singularity.","pith_inferences":["A natural extension is to run the same $T(r)=2\\pi r/\\sqrt{f(r)}$ minimization on other regular black hole metrics with different smoothing mechanisms; if they also obey the interval, the horizon explanation would be harder to avoid.","Because the reported lower numerical minima are far above $4\\pi M$, regularity may actually impose a stronger gap between the lower bound and its saturation; finding the minimal possible $T_{\\min}$ among all horizon-having metrics would sharpen the conjecture.","The bound applies to light-speed test orbits, so an observational test would need a luminous process parked near the minimum radius, such as a photon ring or a high-frequency quasi-periodic oscillation; ordinary stellar orbits would not probe $T_{\\min}$."],"forward_implications":["If the bounds hold generally, the fastest full orbit around any Hayward or Bardeen black hole as measured from infinity lasts between $4\\pi M$ and $6\\sqrt{3}\\pi M$.","The upper bound is reached only in the Schwarzschild limit, so adding the regularization parameters $L$ or $g$ shortens the minimum period but never lengthens it beyond the Schwarzschild value.","Because both spacetimes are non-singular, any future proof of these bounds would have to rely on horizon structure, not on the central singularity, narrowing the mechanism that could explain the universality.","The numerical lower values reported for Hayward and Bardeen sit strictly above $4\\pi M$, so the lower bound is not saturated in these families."],"supporting_citations":[{"why":"Establishes the lower bound $4\\pi M$ on minimum orbital periods around spinning black holes, which the paper tests in regular spacetimes.","marker":"[20]"},{"why":"Extends the lower-bound discussion to spinning and charged naked singularities, supporting the conjectured universality of $4\\pi M$.","marker":"[21]"},{"why":"Serves as the prior Kerr-Newman result that the lower bound continues to hold, part of the family the present work extends.","marker":"[22]"},{"why":"Supplies the conjectured upper bound $6\\sqrt{3}\\pi M$ that the paper verifies numerically for Hayward and Bardeen black holes.","marker":"[23]"},{"why":"Defines the Hayward regular black hole metric with length parameter $L$ that is the object of the first analysis.","marker":"[24]"},{"why":"Defines the Bardeen regular black hole metric with magnetic charge parameter $g$ that is the object of the second analysis.","marker":"[26]"}],"fun_headline_variants":["Horizon, not singularity, sets orbit-time bounds","Regular black holes obey minimum orbit period limits","Hayward and Bardeen holes keep orbit-time bound","Orbit-time limit tied to horizon, not singularity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The claim depends on the numerical scans actually covering the whole black-hole region and correctly locating the critical $L$ and $g$ values at which the horizon disappears; if a narrow strip near those boundaries where $T_{\\min}$ is smallest was missed, the lower bound $4\\pi M$ could be violated.","fun_headline_variants_meta":{"raw":{"variants":["Horizon, not singularity, sets orbit-time bounds","Regular black holes obey minimum orbit period limits","Hayward and Bardeen holes keep orbit-time bound","Orbit-time limit tied to horizon, not singularity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000267,"raw_usage":{"total_tokens":1598,"prompt_tokens":912,"completion_tokens":686,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":528,"completion_tokens_details":{"reasoning_tokens":625}},"tokens_in":528,"tokens_out":686,"duration_ms":8391,"temperature":1.0,"reasoning_tokens":625,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T12:56:12.315975+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the horizon condition $f(r)=0$ for the Hayward metric, find the outer horizon $r_+$ for each allowed $L/M$, and minimize $T(r)=2\\pi r/\\sqrt{f(r)}$ over $r>r_+$ on a fine grid that includes values of $L$ just below the horizon-ending critical value; any $T_{\\min}<4\\pi M$ found this way would disprove the claimed bound, and the analogous scan with $g$ tests the Bardeen case.","supporting_citations":[{"cited_title":"Hod, Fastest way to circle a black hole, Phys","cited_arxiv_id":null,"evidence_quote":"Establishes the lower bound $4\\pi M$ on minimum orbital periods around spinning black holes, which the paper tests in regular spacetimes."},{"cited_title":"Hod, Lower bound on the time-to-mass ratio of closed c ircular motions around spinning and charged naked singularities, Eur","cited_arxiv_id":null,"evidence_quote":"Extends the lower-bound discussion to spinning and charged naked singularities, supporting the conjectured universality of $4\\pi M$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the Hayward regular black hole metric with length parameter $L$ that is the object of the first analysis."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the Bardeen regular black hole metric with magnetic charge parameter $g$ that is the object of the second analysis."}],"review_version":1}