{"id":"989078b1-7133-4204-9b71-19e21b0c7a5e","arxiv_id":"2411.18573","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"A null electromagnetic field in nonlinear electrodynamics yields an optical metric that mimics key features of a rotating black hole, including an ergosurface, a horizon, and a slice identical to Kerr.","lead":"The authors construct the first analogue model of a rotating black hole using nonlinear electrodynamics, starting from a special electromagnetic field adapted to the Kerr congruence in flat spacetime. The resulting optical metric has an ergosurface, a horizon, and one slice identical to a slice of the Kerr metric.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed analogue event horizon in §6.2 is not established: Eq. (47) is handled only by an undescribed numerical 'characteristics method', no global solution is given, and the asserted unique splitting null hypersurface is therefore unsupported.","rationale":"I read the paper in good faith. The explicit algebra—the Kerr-Schild form in Eq. (8), the null adapted solution (38), the Kerr-Schild metric components (39), and the special slice (50)—is coherent and reproducible from the text. The determinant (40), the Kretschmann invariant (42), and the ergosurface computation (44) are concrete supporting results. The load-bearing weak point is indeed the event-horizon claim of Section 6.2, exactly as the Reader identified. The paper moves from a determinant condition (46) to an ODE (47) and then to existence of a unique outermost null hypersurface that splits the spacetime, but the decisive step is delegated to a 'characteristics method' with no details. The maximum hypersurface (48) is noncompact and diverges at the axis, so standard arguments for a compact horizon or a Killing horizon do not automatically apply. This is not an internal inconsistency in the Kerr-Schild construction; it is an unsupported step in the interpretation of the metric as a black hole. The concern is addressable by supplying an explicit global solution or a rigorous causal analysis. I therefore keep the Reader's CONDITIONAL verdict: the construction is plausible and the nontrivial algebra checks out, but the central horizon claim should not be accepted as established without the missing global null-hypersurface analysis. Since my concern coincides with the Reader's, no change to the verdict is needed.","tokens_in":10945,"tokens_out":10895,"duration_ms":112338,"concrete_test":"Independently integrate Eq. (47) for the parameter values of Figs. 2–3 (e.g., χ=4, a=1 and χ=1, a=1) from θ=π/2 with r(π/2)=r_0<r_max, using a high-accuracy ODE solver with regularization near the singular endpoints. For each global solution, compute the null normal N^a = g^{ab}∂_b(r-r(θ)) and trace null geodesics from both sides to verify whether any single hypersurface is the outermost boundary of the causal past of future null infinity. Also check the Killing-horizon condition: if N^a is not proportional to a linear combination of ∂_t and ∂_φ (which would require r'(θ)=0), the surface cannot be a standard stationary black hole horizon. If no unique splitting solution is found, the horizon claim in §6.2 fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that the optical metric (39) is a rotating black hole analogue hinges on Section 6.2: among the null hypersurfaces r=r(θ) solving the first-order ODE (47), r'^2 = χ/(2 sin²θ) - r² - a², the paper asserts that a unique outermost one separates the spacetime into two disjoint regions. This assertion is supported only by 'a computational resource in the framework of the characteristics method [31]'; no code, data, explicit solution, or analytic argument is provided. The ODE has singular coefficients at θ=0,π and admits local solutions for any initial r<r_max with two possible signs for r'; global existence, nonintersection, and the claimed foliation are nontrivial and not demonstrated. Moreover, the maximum hypersurface (48) diverges as θ→0,π, so every candidate null surface is unbounded near the axis singularities; the paper does not identify future null infinity or show that any candidate is its causal-past boundary. Without this, the 'event horizon' is at most a null hypersurface, not a demonstrated black hole horizon, and the main claim lacks its essential component.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs a family of optical metrics for photon propagation in nonlinear electrodynamics, starting from a null electromagnetic field aligned with the Kerr congruence in Minkowski spacetime. The metric is shown to take a Kerr-Schild form with three parameters (χ, m, a), and the paper derives an ergosurface, a candidate event horizon described by the first-order ODE (47), and a hypersurface on which the optical metric coincides with the Kerr metric. The authors interpret these results as the first analogue model of a rotating black hole in the framework of nonlinear electrodynamics.","tokens_in":11199,"tokens_out":14109,"duration_ms":131167,"significance":"If the causal-structure claims can be substantiated, the model would be a novel and explicit analogue of a rotating black hole, with the advantage that the optical metric is obtained from a concrete null solution of nonlinear electrodynamics and has a simple Kerr-Schild form. The algebraic derivation of the metric (39), the ergosurface equation (44), and the special-slice condition (50) is explicit and self-consistent, and the disformal-invariance argument in Section 5 is an elegant tool for transporting the null solution from Kerr to Minkowski spacetime. The main limitation is that the existence and uniqueness of the event horizon, which is one of the three central claims, is not demonstrated in the manuscript.","major_comments":[{"comment":"The existence and uniqueness of the analogue event horizon is the load-bearing claim of the paper, but it is not established. The ODE r'^2 = χ/(2 sin^2 θ) − r^2 − a^2 has singular coefficients at θ=0,π and a non-Lipschitz right-hand side at the maximum hypersurface (48); global existence, non-intersection of solutions, and the asserted foliation of the interior region therefore require a proof or a detailed numerical study. The text only invokes a 'computational resource in the framework of the characteristics method [31]' without specifying the method, the initial conditions, convergence tests, or the data behind Figure 3. Moreover, the paper does not define future null infinity for the optical metric or show that the selected outermost null hypersurface is its causal-past boundary; without such a demonstration, the object is at most a null hypersurface, not a demonstrated event horizon. This gap directly affects the abstract's claim of a horizon and must be closed.","section":"Section 6.2, after Eq. (47)"},{"comment":"The assertion that the characteristic polynomial is always hyperbolic, that the maximal speed of propagation does not exceed the speed of light, and that the optical metric is regular almost everywhere including the ergosurface and the event horizon is not demonstrated in the body of the paper. These properties are essential for interpreting ~g_ab in (39) as an optical metric for a physically viable analogue model. The authors should provide the explicit computation of the principal symbol or signature of (39), or give a precise reference and state the domain of validity in the (r,θ) plane.","section":"Section 7, final paragraph"}],"minor_comments":[{"comment":"The sentence 'for some numbers r0, θ0 and θ0' should read 'r0, θ0, and φ0'; the third coordinate is missing.","section":"Section 6.2, Eq. (43)"},{"comment":"The mass parameter is denoted m and r_s=2m in the rest of the paper, but Eq. (41) uses M without definition; please unify the notation.","section":"Section 6.1, Eq. (41)"},{"comment":"The term 'maximum hypersurface' is potentially misleading: it is the locus where the radicand of Eq. (47) vanishes, not a surface of maximal r. A name such as 'turning-point surface' would be clearer.","section":"Section 6.2, Eq. (48)"},{"comment":"Figures 2 and 3 are described in the text but do not appear in the manuscript; in the final version, please ensure they are included and that the claimed topology changes (e.g., self-intersection for χ ≤ 2a^2) are visible and reproducible.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The main technical gap is confined to Section 6.2: the horizon claim is not supported by the text. If the authors can supply a rigorous global analysis of Eq. (47) or a fully reproducible numerical construction with convergence checks, and ideally an explicit causal-past argument, the paper would be suitable for publication. The novelty claim of being the 'first' analogue rotating black hole in nonlinear electrodynamics may also merit a more careful comparison with prior analogue constructions, but this is secondary."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper is worth reading for the construction, but the headline claim of a rotating black hole analogue is not yet backed by a demonstrated horizon. What's actually new: the authors take the known null-field solution adapted to the Kerr congruence, transport it to Minkowski via disformal invariance, and build the optical metric explicitly. The resulting metric (39) has Kerr-Schild form, and they compute its ergosurface, a special slice identical to Kerr, and curvature singularities. That algebra is explicit and self-consistent; I checked the key equations and they hold together. The singularity structure, with the Kretschmann invariant blowing up at the ring and the axis, is a nice touch.\n\nThe soft spot is exactly where the stress-test note lands. The event horizon is asserted from an undescribed 'characteristics method' applied to ODE (47). The ODE has singular coefficients at the axis, admits local solutions for a range of initial r, and the claimed unique outermost null hypersurface that splits spacetime into two regions is a nontrivial global statement. The paper gives no solution, no code, no data, no argument that the candidate is the boundary of the causal past of future null infinity. Without that, the 'horizon' is at best a null hypersurface, not an established event horizon. The ergosurface and special slice stand on their own, but the central analogue-black-hole claim hinges on that missing piece.\n\nThe 'first analogue model of a rotating black hole in NED' claim also deserves a careful check against the literature; the citation list is reasonable, but I haven't verified that prior NED analogue papers didn't already produce a rotating effective metric. Not a fatal issue, but worth a look.\n\nThe paper's own limitation statement in Section 6.2 is honest about the ODE not being solvable analytically, which I appreciate. The gap is that the numerical resource is not described.\n\nWho's this for: people working on analogue gravity, especially with nonlinear electrodynamics. They'll find the construction useful even if the horizon proof is incomplete. With a serious revision, the paper could be solid.\n\nRecommendation: send to peer review. A good referee can push for a rigorous treatment of the horizon—either an analytic existence proof or a well-documented numerical study. The rest is in good shape.","headline":"New NED rotating analogue metric with explicit ergosurface and special slice, but the event horizon claim is unsupported.","tokens_in":11727,"tokens_out":2972,"would_cite":false,"duration_ms":25203,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Nonlinear electrodynamics produces a rotating black hole analogue","keywords":["nonlinear electrodynamics","optical metric","Kerr congruence","Kerr-Schild metric","analogue black holes","ergosphere","event horizon","null electromagnetic fields"],"falsifier":"Integrate equation (47) with an independent numerical solver: if the integral curves starting on the maximum hypersurface intersect each other or fail to produce exactly one outermost surface that separates the enclosed region into two disjoint parts, the event horizon claim is not supported. A complementary check is to compute radial null geodesics of the optical metric and ask whether any worldline can cross the proposed horizon from inside to outside; such a crossing would rule out the surface as a true boundary.","tokens_in":10746,"feed_emoji":"🌀","tokens_out":9494,"duration_ms":81011,"temperature":0.7,"pith_summary":"Rotating black holes bend light in a distinctive way, and this paper claims to reproduce that light bending with electromagnetic fields alone, in the setting of nonlinear electrodynamics. The construction starts from a null electromagnetic field aligned with the Kerr congruence, the same twisting family of light rays that underlies the rotating black hole geometry. The effective optical metric felt by light rays takes the same Kerr-Schild form as the rotating black hole metric and is controlled by three parameters: a nonlinearity strength, a mass-like parameter, and a rotation parameter. The paper argues that this metric has an ergosurface, an event horizon, and one three-dimensional slice exactly matching a slice of the rotating black hole metric. If correct, the model offers a way to study rotating black hole effects such as frame dragging and energy extraction in a laboratory setting.","feed_headline":"Nonlinear electrodynamics yields a rotating black hole analogue","feed_subtitle":"Photons in this effective geometry would see an ergosurface, a horizon, and one slice identical to the rotating black hole.","key_machinery":"The central object is the optical metric $\\tilde{g}_{ab} = \\mathring{g}_{ab} - H_{\\mathrm{opt}} n_a n_b$, obtained when the background electromagnetic field is null, so that its principal null direction $n^a$ is well defined. For a null field the optical metric reduces to Kerr-Schild form with a single scalar function $H_{\\mathrm{opt}} = \\chi E^2$, where $\\chi = -2L_{\\psi\\psi}/L_\\psi$ measures the nonlinearity of the electrodynamic Lagrangian and $E$ is the field intensity. The construction feeds into this metric the Kerr congruence and the null solution $\\Phi_0 = (r - ia\\cos\\theta)/(\\sin\\theta\\,\\Delta)$, yielding the explicit metric (39). This reduces the nonlinear electrodynamics problem to a Kerr-Schild geometry problem, which is what allows the ergosurface, the horizon, and the matching slice to be identified.","core_discovery":"The central claim is that a purely electromagnetic configuration in Minkowski spacetime, with no gravitational field, can imitate the light-bending geometry of a rotating black hole. Taking a null Maxwell field adapted to the Kerr congruence and evaluating the optical metric of nonlinear electrodynamics gives $\\tilde{g}_{ab} = \\mathring{g}_{ab} - H_{\\mathrm{opt}} n_a n_b$ with $H_{\\mathrm{opt}} = 2\\chi\\Sigma/(\\sin^2\\theta\\,\\Delta^2)$, which is the same Kerr-Schild form that carries the rotating black hole metric, with the same null vector and background but a different scalar function. The paper shows that this optical metric is characterized by exactly three parameters and reproduces the defining qualitative features of the Kerr geometry: a singular ring, an ergosurface, a null horizon, and a submanifold on which the line element coincides with a slice of the Kerr metric. The authors present this as the first analogue model of a rotating black hole constructed in nonlinear electrodynamics.","pith_inferences":["An untested extension would be to fabricate a medium whose nonlinear Lagrangian realizes the required $\\chi$ and directly measure the effective light cones, checking the predicted ergosurface radius $r_{\\mathrm{erg}} = \\tfrac{1}{2}\\csc\\theta\\,\\sqrt{2\\chi - a^2\\sin^2 2\\theta}$.","The topology change at $\\chi = 2a^2$, where the horizon throat shrinks to zero and self-intersects, could act as a tunable phase transition in an analogue experiment, possibly visible as a sudden change in wave scattering.","This construction suggests that other algebraically special null fields, not just the Kerr congruence, could yield analogues of charged or accelerating black holes in nonlinear electrodynamics.","Because $H_{\\mathrm{opt}}$ decays faster than the Kerr scalar away from the rotation axis, the analogue becomes asymptotically flat sooner than Kerr does, so quantitative comparisons with Kerr must be confined to a finite region around the horizon."],"forward_implications":["The optical metric (39) defines a concrete three-parameter family of analogue rotating black hole geometries, with the nonlinearity parameter $\\chi$ controlling effects that true Kerr geometry would attribute to mass and rotation.","Photons in this effective geometry would experience an ergoregion where static observers cannot exist and a horizon that blocks signals, making phenomena such as superradiance and frame dragging in principle testable in nonlinear optical media.","Because one three-dimensional slice of the optical metric coincides exactly with a slice of the Kerr metric, some observables of rotating black holes can be reproduced without realizing the full Kerr geometry.","The horizon and ergosurface are independent of the mass-like parameter, so this analogue separates rotational and nonlinear features of the geometry in a way the true Kerr metric does not."],"supporting_citations":[{"why":"Supplies the general optical metric for null fields, $\\tilde{g}_{ab} = \\mathring{g}_{ab} - \\chi E^2 n_a n_b$, which is the base construction.","marker":"[24]"},{"why":"Provides the known null electromagnetic solution class for a rotating black hole background from which the adapted solution is drawn.","marker":"[18]"},{"why":"Generalize that solution class and yield the exact form (31) used in the optical metric.","marker":"[19, 20]"},{"why":"Give the rotating black hole metric in Kerr-Schild and Boyer-Lindquist forms, defining the congruence and the comparison surfaces.","marker":"[16, 17]"},{"why":"Supplies the null tetrad used to solve the Maxwell equations along the Kerr congruence.","marker":"[28]"},{"why":"Establish the disformal invariance used to transport the null solution from the rotating black hole spacetime to Minkowski spacetime.","marker":"[29, 30]"},{"why":"Fix the geodesic and shear-free condition that the null field's principal congruence must satisfy.","marker":"[26, 27]"},{"why":"The characteristics-method reference invoked to assert existence and uniqueness of the horizon-defining curves from equation (47).","marker":"[31]"}],"fun_headline_variants":["First rotating black hole analogue from nonlinear electrodynamics","Optical metric mimics Kerr geometry without gravity","Nonlinear electrodynamics clones Kerr light-bending","First Kerr-geometry mimic from nonlinear electrodynamics"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the computational characteristics method applied to the horizon equation really finds a unique outermost null surface that splits the spacetime; the paper reports this result without giving the calculation or an independent proof, and the claimed horizon stands or falls with it.","fun_headline_variants_meta":{"raw":{"variants":["First rotating black hole analogue from nonlinear electrodynamics","Optical metric mimics Kerr geometry without gravity","Nonlinear electrodynamics clones Kerr light-bending","First Kerr-geometry mimic from nonlinear electrodynamics"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00082,"raw_usage":{"total_tokens":3527,"prompt_tokens":824,"completion_tokens":2703,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":440,"completion_tokens_details":{"reasoning_tokens":2645}},"tokens_in":440,"tokens_out":2703,"duration_ms":19124,"temperature":1.0,"reasoning_tokens":2645,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:05:56.289952+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Integrate equation (47) with an independent numerical solver: if the integral curves starting on the maximum hypersurface intersect each other or fail to produce exactly one outermost surface that separates the enclosed region into two disjoint parts, the event horizon claim is not supported. A complementary check is to compute radial null geodesics of the optical metric and ask whether any worldline can cross the proposed horizon from inside to outside; such a crossing would rule out the surface as a true boundary.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the general optical metric for null fields, $\\tilde{g}_{ab} = \\mathring{g}_{ab} - \\chi E^2 n_a n_b$, which is the base construction."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the known null electromagnetic solution class for a rotating black hole background from which the adapted solution is drawn."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the null tetrad used to solve the Maxwell equations along the Kerr congruence."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The characteristics-method reference invoked to assert existence and uniqueness of the horizon-defining curves from equation (47)."}],"review_version":1}