{"id":"dbc66d9d-1265-4c56-80d3-311b43d6b077","arxiv_id":"2608.06639","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":7,"one_line_summary":"A positive power-kernel mixture in nonlinear electrodynamics yields an exact magnetic black hole whose metric is strictly increasing for nonnegative mass parameter, giving at most one horizon and no inner Cauchy horizon, with birefringent shadow predictions.","lead":"The authors construct a nonlinear electrodynamics model for a magnetic black hole that has finite self-energy, a subluminal photon cone, and a single horizon without an inner Cauchy horizon. They derive an exact solution, check energy and stability conditions, and compute shadows and thin-disk images for two light branches.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Upper exponent bound is presented as necessary for causality, but positive mixtures with gamma > 1/2 can be causal; this overstatement does not affect the two-kernel construction.","rationale":"The reader's primary concern was the applicability of the cited stability sufficient conditions to a spacetime with a singular center. That concern is not the most load-bearing: the conditions in Eq. (11) are local in the exterior r > r_+, where the spacetime is smooth, and the central singularity lies behind the horizon, so it does not enter the exterior perturbation problem. The authors also explicitly hedge that Eq. (11) does not replace a direct coupled-mode calculation. The most concrete mathematical overstatement is the exponent interval: Section III treats gamma <= 1/2 as forced by causality for any positive mixture, but the proof is only term-by-term sufficiency. This matters because the abstract and conclusions present the interval 1/4 < gamma <= 1/2 as a physically derived restriction. The proposed two-kernel model remains valid, and Lemma 1 is unaffected, so the verdict should not move away from the reader's CONDITIONAL assessment. A separate, minor internal typo also supports caution: Eq. (47) and Eq. (70) are inconsistent with the stated threshold lambda_c in Eq. (69) when sigma != 1, since recomputing f(0+) from Eq. (30) gives 1 - 2 sqrt(2) lambda / sqrt(sigma), not the printed sqrt(sigma) factor; the corrected expression restores the claimed critical-branch behavior, so this is not load-bearing for the central theorem.","tokens_in":23102,"tokens_out":36152,"duration_ms":321424,"concrete_test":"Evaluate Phi(F) from Eq. (17) for the two-kernel mixture 0.9 delta(gamma=0.4) + 0.1 delta(gamma=0.6) with a common beta on a logarithmic grid F in [10^{-6}, 10^6]. If min Phi > 0, then a positive mixture containing gamma > 1/2 is causal, disproving the claimed upper bound as a necessary condition. Repeat with a 10^{-3} weight on the gamma=0.6 kernel to confirm that the positivity is stable, not a fine-tuning artifact.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central one-horizon theorem (Lemma 1) is sound; the most questionable claim is the abstract and Section III statement that causal magnetic propagation 'restricts' the exponent to 1/4 < gamma <= 1/2 for every positive mixture. What Eq. (17) actually proves is a sufficient condition: each kernel in the measure with gamma <= 1/2 contributes a positive integrand to Phi = L_F + 2F L_FF. It does not show that a kernel with gamma > 1/2 cannot appear in a causal mixture, because the negative contribution of such a kernel decays faster at large F than the positive contribution of a kernel with gamma < 1/2. Concretely, the measure 0.9 delta(gamma=0.4) + 0.1 delta(gamma=0.6), with equal beta, gives Phi(0)=1 and Phi ~ 0.18 F^{-0.4} - 0.02 F^{-0.6} at large F, so Phi stays positive on a logarithmic grid. Thus a positive mixture containing gamma > 1/2 can satisfy 0 < kappa_em <= 1. The interval 1/4 < gamma <= 1/2 is therefore a constructive restriction on the chosen measure, not a consequence of finiteness plus causality alone. Because the exact two-kernel model uses only admissible kernels, this overstatement does not break Lemma 1, the one-horizon result, or the physical conclusions for the specific Lagrangian; it should be corrected to a sufficiency statement or replaced by an actual proof of necessity.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes an NLED model for a static, spherically symmetric magnetic black hole. The Lagrangian is a positive normalized mixture of power kernels; finite magnetic self-energy selects gamma > 1/4 and positivity of the characteristic factor Phi selects (the authors claim) gamma <= 1/2. For the two-kernel representative with gamma_1 = 1/3 and gamma_2 = 1/2, the mass function is obtained exactly in terms of incomplete beta functions. The central theorem (Lemma 1) proves f'(r) > 0 for Q_m != 0 and M_0 >= 0, hence at most one horizon, no inner Cauchy horizon, and no finite-radius extremal horizon; for the one-horizon branches the maximal extension is constructed in Kruskal and Penrose coordinates. The paper then derives thermodynamic quantities, ordinary and extraordinary photon metrics, shadow radii, an illustrative EHT band, and ISCO-truncated thin-disk images. The authors are transparent that the EHT comparison is illustrative and that stability is based on cited sufficient conditions.","tokens_in":23389,"tokens_out":8648,"duration_ms":72504,"significance":"The paper's main value is a rare exact NLED magnetic black hole that combines finite electromagnetic self-energy, causal photon propagation, standard energy conditions, and a strict one-horizon causal structure without imposing a regular center. Lemma 1 is sound, and its one-line proof is verifiable; the incomplete-beta mass function is a concrete new result. The optical analysis correctly treats the spacetime metric and the extraordinary effective metric as separate, and it gives a useful qualitative prediction that the extraordinary branch partially compensates the shadow reduction from magnetic charge. The manuscript ships code and clearly labels the EHT comparison as illustrative rather than as a fit. If the typographical inconsistencies in the boundary-branch formulas and the overstatement of the exponent restriction are corrected, the paper will be a solid contribution.","major_comments":[{"comment":"The paper states that causal magnetic propagation 'requires' gamma <= 1/2 and that the interval 1/4 < gamma <= 1/2 follows from finiteness plus causality. What Eq. (17) actually proves is a sufficient condition: every kernel with gamma <= 1/2 contributes a positive term to Phi, so a positive mixture of such kernels has Phi > 0. It does not prove necessity, because a kernel with gamma > 1/2 contributes a negative term that decays as F^{-gamma} at large F, while a kernel with gamma < 1/2 contributes a positive term that decays more slowly. For example, a measure 0.9 delta(gamma=0.4) + 0.1 delta(gamma=0.6) with equal beta gives Phi(0)=1 and positive Phi on a logarithmic grid at large F. The exact two-kernel model is unaffected because it uses only admissible kernels, but the abstract and Section XIII should be rephrased to say that the interval is a constructive/sufficient restriction on the chosen family, or a proof of necessity should be supplied.","section":"Section III, Eqs. (14)-(17); abstract; Section XIII"},{"comment":"The pure-boundary-branch formulas are mutually inconsistent and appear to contain typos. From Eq. (22) with xi=1 and F=Q_m^2/(2r^4), one finds L ~ sqrt(2)|Q_m|/(sqrt(sigma beta) r^2) as r -> 0, hence m' ~ sqrt(2)|Q_m|/sqrt(sigma beta) and f(0+) = 1 - 2 sqrt(2) lambda / sqrt(sigma). Eq. (47) instead writes f(0+) = 1 - 2/(sqrt(2) lambda sqrt(sigma)), and Eq. (70) writes f(0+) = 1 - (2/sqrt(2)) lambda sqrt(sigma). Neither expression vanishes at the stated critical value lambda_c = sqrt(sigma)/(2 sqrt(2)) except for special choices of sigma, although that vanishing is precisely what defines the threshold in Eq. (48). These formulas should be corrected, since the horizonless condition and the null-singularity threshold of the boundary branch depend on them.","section":"Section VI, Eq. (47); Section VII E, Eq. (70)"}],"minor_comments":[{"comment":"The stability claim in Section V is stronger than what is verified: the paper checks the algebraic conditions of Eq. (11) but does not verify the full hypotheses of the theorems in Refs. [57, 61], such as regularity assumptions that may be needed for the perturbation analysis. Since the authors already state in Section XIII that a direct coupled perturbation spectrum is needed, please add a short caveat directly after Eq. (41) and adjust the wording 'Thus the sufficient stability conditions... hold' to 'the algebraic sufficient conditions... are satisfied'.","section":"Section V, Eq. (41)"},{"comment":"The weak-field expansion is written as L(F) = F - (F^2/2) integral gamma beta dmu + O(F^3). It would be helpful to state explicitly that the linear coefficient is fixed by the normalization of the measure, since this is the reason the Maxwell weak-field limit holds for every positive mixture.","section":"Section III, Eq. (19)"},{"comment":"The quantity lambda = |Q_m| sqrt(beta) has unusual dimensions in the conventions G=c=1; please state the chosen dimensions of Q_m and beta, or normalize lambda by a reference scale, so the boundary-branch conditions in Eqs. (47)-(48) are dimensionally transparent.","section":"Section VI, Eq. (46)"},{"comment":"The text labels the three examples A_c, B_c, and C_c, while the figures use the shorter labels A, B, and C. Please add a sentence to each caption identifying the correspondence, or use the same labels in the text and figures.","section":"Figures 3-5"},{"comment":"The residual maps and the quantity Delta b_peak are described with care, but the radial bin-width limitation of Delta b_peak is mentioned only in the text. Please add one sentence in the caption of Fig. 12 noting that Delta b_peak is bin-limited and that Table II provides the continuous critical-impact-parameter measure.","section":"Section XII, Eqs. (99)-(102)"}],"recommendation":"major_revision","confidential_remarks":"The core mathematical result, Lemma 1, is sound, and the exact two-kernel solution is a genuine contribution. The main revision items are a false necessity claim in the abstract/Section III and an inconsistent set of formulas in the pure-boundary branch; both are fixable within the manuscript's scope. I do not see grounds for rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read it. The genuinely new piece is the positive-mixture construction: take a normalized positive measure of power kernels, show finite self-energy needs gamma > 1/4 and per-kernel causal cone positivity needs gamma <= 1/2, then solve the two-kernel case exactly in incomplete beta functions. Lemma 1 is the load-bearing result and it is sound: D = m - r m' satisfies D' > 0 via 2F L_F - L > 0, so f is strictly increasing for M0 >= 0, hence at most one horizon and no inner Cauchy horizon. The boundary behavior then decides horizon existence. That is a clean, useful subfield-level result.\n\nWhat the paper does well: it keeps the singular center instead of forcing regularity, and it is careful about what is illustrative (EHT band, disk images) versus what is derived. The energy conditions, causality, and exterior sufficient-stability checks are done cleanly. The thermodynamic first law and Smarr relation are consistent. No fitted parameter enters the core result; charges and couplings are chosen by hand, and the only self-citation is to the authors' own earlier quasinormal-mode paper, which is not load-bearing. Citation pattern is fine.\n\nSoft spots, in proportion. (1) The abstract and Section III say causality \"restricts\" the exponent to 1/4 < gamma <= 1/2. What Eq. (17) proves is a per-kernel sufficient condition. A positive mixture can include gamma > 1/2 kernels and still have Phi > 0, since the negative contribution from gamma > 1/2 decays faster at large F than the positive contribution from a gamma < 1/2 kernel. The stress-test example (0.9 at gamma = 0.4 plus 0.1 at gamma = 0.6) is right. This does not break Lemma 1 or the two-kernel solution, but the wording should be softened to a constructive restriction on the chosen measure. (2) Exterior stability is checked via Moreno-Sarbach and Nomura-Yoshida-Soda sufficient conditions; a direct coupled gravitational-electromagnetic perturbation spectrum for this singular-center spacetime is not computed. The authors acknowledge this. It means the stability part of the package is conditional, not proven. (3) Minor: code and data are \"available upon request\" rather than deposited; for a paper with custom image code that is a small transparency loss.\n\nBottom line: the central analytic result is correct as far as I can see, and the two-kernel model is a useful tool. It deserves a serious referee. The needed revisions are wording and an honest stability caveat, not new physics.","headline":"Solid analytic construction of a magnetic NLED black hole; the one-horizon theorem holds, but the exponent-restriction claim is stronger than what is proven.","tokens_in":23937,"tokens_out":2301,"would_cite":true,"duration_ms":19207,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper builds a magnetically charged nonlinear-electrodynamics black hole with finite self-energy, a single horizon, and no inner Cauchy horizon, while keeping the center singular.","keywords":["nonlinear electrodynamics","magnetic black hole","finite self-energy","causal structure","black-hole thermodynamics","photon propagation","black hole shadow","thin accretion disk"],"falsifier":"Compute the coupled gravitational–electromagnetic quasinormal spectrum for the two-kernel solution (for example at the Table I parameter sets) and look for any mode with positive imaginary part; an unstable mode would show that the sufficient conditions used for the exterior do not cover this singular-center spacetime. Alternatively, scan the $M_0\\ge 0$ parameter space numerically for any case with $f'(r)\\le 0$ at some $r>0$ or with two positive roots of $f$, which would contradict Lemma 1.","tokens_in":22882,"feed_emoji":"🕳️","tokens_out":8008,"duration_ms":61147,"temperature":0.7,"pith_summary":"The paper constructs a family of nonlinear-electrodynamics black holes that are magnetically charged, have finite electromagnetic self-energy, and keep a singular center rather than imposing a regular core. The authors show that a positive mixture of power-law Lagrangians automatically satisfies the Maxwell weak-field limit, causality of the photon cone, and the standard energy conditions, provided the exponent lies in the interval $1/4<\\gamma\\le 1/2$. For the minimal two-kernel representative $(\\gamma_1,\\gamma_2)=(1/3,1/2)$, they obtain an exact static solution in incomplete $\\beta$ functions and prove that, for nonnegative Schwarzschild mass parameter $M_0$, the metric function is strictly increasing, giving at most one horizon and no inner Cauchy horizon. The paper then derives the maximal extension, thermodynamics, photon propagation with ordinary and extraordinary branches, shadow sizes, and thin-disk images. A sympathetic reader would care because it offers a concrete, fully analytic example in which magnetic charge does not force a Reissner–Nordström-like inner structure, while the exterior remains causally well behaved and satisfies known sufficient stability conditions.","feed_headline":"Finite self-energy removes the inner horizon in a magnetic black hole","feed_subtitle":"One horizon, no Cauchy horizon, finite self-energy, and no regular center required.","key_machinery":"The central object is the positive mixture of power kernels $\\mathcal{L}_\\mu(F)=\\int \\mathcal{L}_{\\beta,\\gamma}(F)\\,d\\mu(\\beta,\\gamma)$ with $\\mathcal{L}_{\\beta,\\gamma}(F)=((1+\\beta F)^{1-\\gamma}-1)/[\\beta(1-\\gamma)]$, restricted to support $1/4<\\gamma\\le 1/2$. Positivity of the measure makes $\\mathcal{L}_\\mu$ a Bernstein function of $F$, so the inequalities $\\mathcal{L}>0$, $\\mathcal{L}_F>0$, $\\Phi=\\mathcal{L}_F+2F\\mathcal{L}_{FF}>0$, and $0<\\kappa_{\\rm em}=\\Phi/\\mathcal{L}_F\\le 1$ hold term by term; these encode the energy conditions and the subluminal extraordinary photon cone. The argument then runs through the mass equation $m'(r)=r^2\\mathcal{L}(Q_m^2/2r^4)$, whose integral for the two-kernel model is evaluated exactly in lower incomplete $\\beta$ functions, and through the identity $f'(r)=2D(r)/r^2$ with $D'(r)=2r^2(2F\\mathcal{L}_F-\\mathcal{L})>0$, which yields the strict monotonicity of $f$ and the one-horizon theorem. The same machinery produces the effective photon metrics for the ordinary and extraordinary branches and the thermodynamic first law with variable couplings.","core_discovery":"The paper's central discovery is that requiring finite magnetic self-energy, a causal and subluminal electromagnetic cone, the standard energy conditions, and a Maxwell weak-field limit singles out the exponent window $1/4<\\gamma\\le 1/2$ for concave power kernels, and that the minimal positive mixture with $\\gamma_1=1/3$, $\\gamma_2=1/2$ yields an exact magnetic black hole solution with metric function $f(r)=1-2m(r)/r$ expressed through incomplete $\\beta$ functions. The load-bearing result (Lemma 1) states that for $Q_m\\neq 0$ and $M_0\\ge 0$, $f'(r)>0$ for all $r>0$, so $f$ has at most one positive root. Hence the black-hole branch has exactly one event horizon, no inner Cauchy horizon, and no finite-radius extremal horizon; the center remains a curvature singularity, with spacelike, timelike, or null singularity depending on whether the solution is on the black-hole, horizonless, or critical branch. The same construction gives positive Hawking temperature, negative fixed-charge heat capacity for representative families, and a birefringent optical sector in which the extraordinary photon branch shifts the shadow critical curve outward, partly compensating the shadow reduction caused by magnetic charge.","pith_inferences":["Editorial inference: because the proof of Lemma 1 uses only $\\mathcal{L}>0$, $\\mathcal{L}_F>0$, and $2F\\mathcal{L}_F-\\mathcal{L}>0$, the one-horizon conclusion may hold for any NLED Lagrangian obeying those inequalities, not only for the explicit power-mixture family; this would extend the no-Cauchy-horizon result to a broader class of theories.","Editorial inference: the illustrative shadow scan suggests a testable separation—if EHT-like critical-curve measurements are compared at fixed mass, a preference for the extraordinary branch would imply a larger magnetic charge than an ordinary-branch analysis would infer.","Editorial inference: a rotating counterpart, if constructed, would likely show polarization-dependent shadow edges because the extraordinary branch changes the effective angular metric; searching for such an edge could distinguish this model from single-metric NLED families."],"forward_implications":["Within the $M_0\\ge 0$ sector, every solution in this family has at most one horizon: no inner Cauchy horizon and no finite-radius extremal horizon, so the causal structure is strictly one-horizon and the maximal extension has spacelike singular boundaries.","The electromagnetic sector is birefringent: photons split into ordinary and extraordinary branches, and for strong nonlinear coupling the extraordinary shadow diameter can be several percent larger than the ordinary one, partially offsetting the magnetic-charge reduction.","The representative black-hole families have positive temperature at every finite horizon radius and negative fixed-charge heat capacity, so they are locally unstable in the asymptotically flat canonical ensemble.","Finite electromagnetic self-energy fixes the lower bound $\\gamma>1/4$ and causal propagation fixes the upper bound $\\gamma\\le 1/2$; any positive mixture of such kernels automatically satisfies the weak, dominant, and strong energy conditions and a causal photon cone.","The weak-field expansion recovers the Reissner–Nordström form $f(r)=1-2M/r+Q_m^2/r^2+\\dots$, so the model is a controlled deformation of the charged black hole rather than a regularized alternative."],"supporting_citations":[{"why":"ties finite electromagnetic self-energy to the absence of inner Cauchy horizons, the result the paper reproduces and strengthens.","marker":"[52]"},{"why":"supplies the sufficient linear-stability conditions for magnetic NLED black holes quoted as Eq. (11).","marker":"[57]"},{"why":"extends those sufficient stability conditions to general nonlinear electrodynamics and fixes the value 3 used in Eq. (11).","marker":"[61]"},{"why":"establishes the causality–energy-condition link in NLED that the model invokes for its photon cone and energy inequalities.","marker":"[10]"},{"why":"provides the standard mass equation and magnetic NLED formalism in which the exact solution is derived.","marker":"[27]"},{"why":"reports a Laplacian instability near the center of nonsingular Einstein–NLED black holes, motivating the decision to keep the center singular.","marker":"[48]"},{"why":"supplies the Bernstein-function framework used to preserve the physical inequalities term by term for positive mixtures.","marker":"[85]"},{"why":"gives the incomplete-beta-function identities used to evaluate the mass and self-energy integrals exactly.","marker":"[86]"}],"fun_headline_variants":["Single horizon, no Cauchy horizon: finite-energy magnetic black hole","Magnetic black hole: finite self-energy, no inner Cauchy horizon","Finite self-energy removes inner Cauchy horizon in magnetic black hole","Exact magnetic black hole with finite self-energy and no Cauchy horizon","Finite self-energy, no inner horizon: magnetic black hole"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The stability part of the central claim rests on applying the quoted sufficient stability conditions to a spacetime whose center is singular; if those conditions do not apply to a non-regular center with unusual boundary behavior, the exterior-stability statement has no independent support.","fun_headline_variants_meta":{"raw":{"variants":["Single horizon, no Cauchy horizon: finite-energy magnetic black hole","Magnetic black hole: finite self-energy, no inner Cauchy horizon","Finite self-energy removes inner Cauchy horizon in magnetic black hole","Exact magnetic black hole with finite self-energy and no Cauchy horizon","Finite self-energy, no inner horizon: magnetic black hole"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002731,"raw_usage":{"total_tokens":10484,"prompt_tokens":1082,"completion_tokens":9402,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":698,"completion_tokens_details":{"reasoning_tokens":9314}},"tokens_in":698,"tokens_out":9402,"duration_ms":52172,"temperature":1.0,"reasoning_tokens":9314,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:31:59.581329+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the coupled gravitational–electromagnetic quasinormal spectrum for the two-kernel solution (for example at the Table I parameter sets) and look for any mode with positive imaginary part; an unstable mode would show that the sufficient conditions used for the exterior do not cover this singular-center spacetime. Alternatively, scan the $M_0\\ge 0$ parameter space numerically for any case with $f'(r)\\le 0$ at some $r>0$ or with two positive roots of $f$, which would contradict Lemma 1.","supporting_citations":[],"review_version":2}