{"id":"6c7aec67-1c4b-4227-9bbb-f613a8990115","arxiv_id":"2501.09536","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":1,"one_line_summary":"The causal structure of black holes, including horizons and interiors, can be encoded in wind-Finsler metrics whose shifted indicatrices track null geodesics.","lead":"The authors show that Finsler geometry, a generalized way of measuring distances that depends on direction, can describe how light moves not only outside black holes but also across their horizons and inside them. Their shifted-sphere picture unifies the river model of black holes and offers a geometric tool for studying rotating black holes and analog gravity experiments.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"First Lorentz-Finsler metric misses the outgoing-dragged null branch in the strong-drift interior; the F(x,dx/dt)=1 equivalence fails for a genuine future null geodesic.","rationale":"The reader identified the F(x,dx/dt)=1 vs Euler-Lagrange equivalence in the strong-drift interior as the weakest assumption and accepted it on the authority of Ref. [7]. My stress-test finds a concrete internal counterexample to that equivalence: in the Schwarzschild interior, the future-directed radial null branch dr/dt=1-√(2M/r) is not on the F=1 indicatrix of the first Lorentz-Finsler metric, though it is a genuine null geodesic. This goes beyond 'delegated to [7]' and indicates an incompleteness in the paper's own construction. The qualitative conclusions about horizons, ergosurfaces, and the inward direction of all interior null geodesics remain correct because the full indicatrix (8) contains both branches; the flaw is in the claim that the first Lorentz-Finsler metric alone provides a complete geodesic description. The paper could be repaired by explicitly introducing both Lorentz-Finsler branches, or by stating precisely which null geodesics (the minimal-time ones) are governed by the first metric. Because the main novelty is the interior extension, this requires a substantive revision rather than a rejection of the paper's useful exterior and analog-model results.","tokens_in":17748,"tokens_out":23622,"duration_ms":246578,"concrete_test":"Integrate the radial null geodesic equation for the Schwarzschild metric in Painlevé-Gullstrand coordinates (13) with initial condition r0=3M/2 and dr/dt = 1 - √(2M/r0) at t=0. Along the numerical trajectory, evaluate F from Eq. (10). Predict F = (√(2M/r)-1)/(√(2M/r)+1) < 1 for r<2M, never equal to 1. Then check the Euler-Lagrange equation of S=∫F^2 for the same trajectory; the slow branch should not satisfy it. Repeating the test with the second Lorentz-Finsler metric (plus sign in Eq. (6)) should give F=1 on this branch, confirming that both Lorentz-Finsler metrics are needed to cover all future-directed null geodesics.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim that every future-directed null geodesic in the strong-drift interior is a geodesic of the Finsler action S=∫F with F given by Eqs. (9)/(10) is contradicted by the paper's own formulas. Consider the Schwarzschild metric in Painlevé-Gullstrand form (13) with W=-c ∂_r, c=√(2M/r). For r<2M, c>1, the two radial future-directed null branches are dr/dt = -c±1. The branch dr/dt = 1-c is the continuation of the exterior outgoing null geodesic and is a genuine future-directed null geodesic (it satisfies the null condition and the geodesic equations, with positive Killing energy). For this branch, Eq. (10) gives F = (1/λ)(|dr|+c dr)/(dt) = (c-1)/(c+1) < 1, so F(x,dx/dt) is not 1. Thus the claimed equivalence between the null condition and the Finsler geodesic equation fails for this branch: the first Lorentz-Finsler metric only encodes the fast branch dr/dt=-(c+1), while the slow branch is captured instead by the second Lorentz-Finsler metric. The paper's indicatrix (8) does contain both branches, so the full null cone is drawn correctly, but the statement that a single Finsler metric F of the first Lorentz-Finsler type governs the interior is not supported. The final-remarks argument that F(x,dx/dt)=1 is equivalent to the Euler-Lagrange equations of ∫F^2 is therefore not merely heuristic-but-unproved; it is false for the slow branch. This directly affects the claimed completeness of the wind-Finslerian description of black-hole interiors, the smooth matching across the horizon, and the physical interpretation of the river model.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper applies the recent mathematical theory of wind-Finslerian structures (weak, critical, and strong Zermelo navigation) to the causal structure of black holes. It shows that for stationary spacetimes in Painlevé-Gullstrand or Natario form, null geodesics are described by Randers, Kropina, and Lorentz-Finsler metrics depending on the value of λ = 1 - ||W||^2, and that the displaced Finsler indicatrix encodes frame-dragging, horizons, ergosurfaces, and the river-model picture. Explicit examples are given for Schwarzschild, Reissner-Nordström, Kerr, and several analog-gravity systems, and the final remarks propose Fermat-type arguments and connections to superradiance.","tokens_in":18009,"tokens_out":12723,"duration_ms":123563,"significance":"The paper is a useful and mostly explicit bridge between recent pure-mathematical results on wind-Finsler structures and concrete black-hole physics. Its strengths are the transparent, parameter-free constructions of the Randers, Kropina, and Lorentz-Finsler metrics from the null condition in Eqs. (2), (4), (6), the systematic use of displaced indicatrices as diagnostic tools, and the physically interesting applications to horizons, ergosurfaces, the Misner-Sharp-Hernandez mass, and analog systems. If the branch-selection issue identified below is addressed, the paper would provide a valuable geometric visualization of the river model and a clean dictionary with the Zermelo navigation problem. The central ideas are worth publishing, but the claim that a single Lorentz-Finsler metric describes all future-directed null geodesics in the interior needs correction.","major_comments":[{"comment":"The claim that a single Finsler metric of the first Lorentz-Finsler type governs all null geodesics in the strong-drift interior is not supported. For the Schwarzschild Painlevé-Gullstrand metric, take a radial null geodesic with dr/dt = 1 - c, where c = sqrt(2M/r) > 1 for r < 2M. This satisfies ds^2 = 0 and lies in the domain A of Eq. (7), since W·dx = c(c-1) dt > 0. Substituting into Eq. (10) gives F(x,dr/dt) = (c-1)/(c+1) < 1, whereas F(x,dr/dt) = 1 holds only for the fast branch dr/dt = -c-1. The indicatrix equation (11) does contain both branches, but this is because Eq. (8) is the union of the indicatrices of the first and second Lorentz-Finsler metrics, not the indicatrix of the first metric alone. Consequently, the statements that \"all information regarding geodesics ... is encoded in the Finsler metric (10)\" and that the Lorentz-Finsler metric \"describes the causal structure of the interior\" need to be qualified: both Lorentz-Finsler metrics are required, one for each null branch. This also affects the smooth-matching claim, since the exterior outgoing branch continues to the interior slow branch, which is not a geodesic of the unified F given by (10)/(18).","section":"Sec. III A, Eqs. (10), (18)"},{"comment":"The argument that F(x,dx/dt) = 1 is equivalent to the Euler-Lagrange equations of S = ∫F^2 dt is incomplete and, for the first Lorentz-Finsler metric, false in the strong-drift regime. As shown above, F(x,v) = 1 selects only one of the two radial null branches, so the null condition and the Finsler geodesic equation are not equivalent for the other branch. The appeal to Ref. [7] does not resolve this as written, because the paper does not state that the strong-drift description requires a pair of Lorentz-Finsler metrics. The authors should either prove the equivalence for the full wind-Finsler structure, explicitly including the second Lorentz-Finsler metric, or restrict their claims to the branch represented by each individual F.","section":"Sec. V, final remarks"}],"minor_comments":[{"comment":"In Eq. (7), the set A is written as A = {x ∈ TxM : ...}; the first variable should be dx (the tangent vector), not a point x of the manifold.","section":"Sec. II, Eq. (7)"},{"comment":"The term \"blocked direction\" should be defined explicitly as a tangent vector dxi = 0 that lies on the indicatrix; as written, \"the origin of TxM\" may be confusing, especially because the origin belongs to the indicatrix only in the critical case.","section":"Sec. III A, around Eqs. (39)-(40)"},{"comment":"In the final remarks, the statement that the Hamiltonian H equals L for L = F^2 is correct by homogeneity, but the sentence \"F(x,dx/dt) = 1\" should be qualified as holding only on the relevant null branch; otherwise the heuristic proof appears to claim more than is true.","section":"Sec. V, final remarks"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nQuick take: this paper is a useful application of wind-Finslerian machinery to black holes, but its main claim overreaches. The stress-test example is correct: the first Lorentz-Finsler metric does not encode both null branches inside the horizon.\n\nWhat is genuinely new and good: the explicit translation of Painlevé-Gullstrand, Martel-Poisson, and Natario forms into Randers/Kropina/Lorentz-Finsler metrics; the indicatrix as a displaced unit sphere giving a clean river-model visualization; the Misner-Sharp-Hernandez mass observation; and the Kerr treatment in Natario coordinates, plus the analog vortex and hydraulic-jump examples. The substitutions in Sections II and III check out, and the causal readings—horizons as critical drift, ergosurfaces as blocked-direction surfaces—are physically correct.\n\nThe soft spot is load-bearing. In Schwarzschild-Painlevé-Gullstrand inside r=2M, the two future radial null branches are dr/dt = -c-1 and dr/dt = 1-c, with c = sqrt(2M/r) > 1. For the first Lorentz-Finsler metric (Eq. 10, or the unified Eq. 9), the fast branch gives F = 1, but the slow branch gives F = (c-1)/(c+1) < 1. So the differential equation F(x,dx/dt) = 1 has only the fast branch as a solution. The slow branch, which is the continuation of the exterior outgoing null geodesic, is not a geodesic of the first LF metric with the t parameter, and it does not satisfy H=1 for S = ∫F^2 dt. The final-remarks argument is therefore not merely heuristic; it fails for one branch.\n\nThe paper does mention the second Lorentz-Finsler metric in passing, and that second metric gives F=1 for the slow branch. So the full null cone is described by the wind-Finslerian structure (both metrics together), not by the single metric the paper emphasizes. The indicatrix (8) contains both branches, which is why the figures look right, but the action/geodesic claim as stated is wrong.\n\nThis is fixable: either present the interior as governed by two Lorentz-Finsler metrics, or explicitly state that the first LF metric describes only the fast branch. The physical examples and the visual river-model picture are unaffected.\n\nWho it is for: anyone working on Finsler descriptions of GR or analog gravity. It deserves a serious referee, but with a request to repair the interior-geodesic claim. I would not cite the main claim as it stands; I would be happy to cite the examples and the indicatrix picture once corrected.","headline":"The wind-Finslerian picture is appealing and the examples are solid, but the central claim that a single Lorentz-Finsler metric describes all interior null geodesics is false for the outgoing-dragged branch.","tokens_in":18640,"tokens_out":13416,"would_cite":false,"duration_ms":127038,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C60","83C57"],"pacs":[],"model":"deepseek-v4-flash","headline":"Wind-Finslerian geometry describes the causal structure of black holes from the exterior through the horizon into the interior, with a single displaced indicatrix encoding all allowed null directions.","keywords":["Finsler geometry","Randers metric","Kropina metric","Lorentz-Finsler metric","Zermelo navigation","null geodesics","black hole horizons","ergosurfaces"],"falsifier":"Integrate the Euler-Lagrange equations of the squared Lagrangian $L = F^2$ with $F$ given by (10) through $r = 2M$ for Schwarzschild and compare with the future-directed null geodesics of the Painlevé-Gullstrand metric: if any allowed null direction near the critical surface is not reproduced by the Finsler flow, or if the Finsler flow produces a curve the spacetime null congruence does not contain, the claimed equivalence is falsified.","tokens_in":17463,"feed_emoji":"🕳️","tokens_out":19033,"duration_ms":159557,"temperature":0.7,"pith_summary":"This paper argues that the Finslerian description of null geodesics, previously limited to the exterior of stationary black holes, extends across the event horizon and into the interior. In the exterior, where the drift satisfies $||W||< 1$, the relevant metric is the Randers metric; exactly at the critical surfaces where $||W||=1$ — the event horizon in static cases and the ergosurface in stationary cases — it becomes the Kropina metric; and inside, where $||W||>1$, it becomes a Lorentz-Finsler metric. The load-bearing picture is the Finsler indicatrix, the set of allowed tangent directions for null geodesics, which is always the unit sphere or ellipsoid of the spatial metric with center displaced by the drift $W$. If this picture is right, every future-directed null geodesic in the Painlevé-Gullstrand form of these spacetimes is a geodesic of a single Finsler action, and the location of horizons, ergosurfaces, frame-dragging, and the one-way behavior of horizons all become geometric properties of one displaced ellipsoid.","feed_headline":"Displaced unit sphere maps every black hole horizon and interior","feed_subtitle":"A single Finsler metric, switching from Randers to Kropina to Lorentz-Finsler, governs all future-directed null geodesics.","key_machinery":"The central object is the wind-Finslerian structure attached to the Zermelo navigation problem: a Riemannian spatial metric $h_{ij}$ together with a drift vector field $W^i$, with $\\lambda = 1 - ||W||^2$ controlling the regime. The paper's key visualization is the Finsler indicatrix (8), $h_{ij}(dx^i - W^i)(dx^j - W^j) = 1$, which is the unit ball of $h_{ij}$ with center displaced by $W$. This single object carries the argument: for $\\lambda>0$ it is the indicatrix of the Randers metric, for $\\lambda=0$ of the Kropina metric $F = h_{ij}dx^i dx^j/(2W_j dx^j)$, and for $\\lambda<0$ of the first Lorentz-Finsler metric (6); the smooth matching of these three regimes across the critical surface is what lets null geodesics cross the horizon.","core_discovery":"This paper claims that wind-Finslerian mathematics gives a complete description of the causal structure of static and stationary black holes whose metric can be cast in Painlevé-Gullstrand form. For a static spherically symmetric spacetime with line element (14), the coordinate change (15) produces the Finsler metric (18) wherever the coordinates are defined; the sign of $\\lambda = 1 - ||W||^2$ selects Randers ($\\lambda>0$), Kropina ($\\lambda=0$), or Lorentz-Finsler ($\\lambda<0$) behavior, and geodesics pass smoothly through the horizon. For Kerr in Natario coordinates, the same structure holds: the ergosurfaces are the critical surfaces $||W||=1$, the horizons are $\\Delta = 0$, and the indicatrix (35) is an ellipsoid displaced radially and azimuthally, with outgoing radial null geodesics blocked at the horizons. The central mathematical assertion is that the indicatrix (8), the unit ball of the spatial metric with center shifted by the drift, encodes all allowed null directions for every value of $\\lambda$, and that the equation $F(x,dx/dt)=1$ is equivalent to the Euler-Lagrange equations of the action $S=\\int F^2(x,\\dot{x})\\,dt$ even where the coordinate $t$ is not timelike.","pith_inferences":["A practical diagnostic the paper leaves implicit: for any Painlevé-Gullstrand metric, plotting the displaced unit ball (8) at each point immediately shows whether the point lies outside, on, or inside the critical surface, which could locate horizons and ergosurfaces without integrating geodesics.","The Martel-Poisson family (24) suggests that even regions where standard Painlevé-Gullstrand coordinates break down, such as Reissner-Nordström with negative Misner-Sharp-Hernandez mass, could be covered by a wind-Finsler structure; the paper notes this possibility but does not construct the full extension.","Because the cone angle (46) coincides with the Vavilov-Cherenkov angle, the strong-drift Finsler cone offers a quantitative threshold for superradiant amplification in analog systems; the onset of amplification should coincide with the cone opening, which draining-bathtub experiments could test.","If the equivalence behind (9) is accepted, ray-tracing codes could evolve null geodesics through the horizon with a single Finsler geodesic integrator rather than patching exterior and interior solutions, a computational consequence the paper does not mention."],"forward_implications":["For any static spherically symmetric black hole in Painlevé-Gullstrand form, forward-in-time null geodesics are geodesics of the single Finsler metric (18) wherever the coordinates are valid, including across the horizon.","For Kerr in Natario coordinates, the indicatrix (35) is an ellipsoid displaced radially and azimuthally; the condition $||W||=1$ identifies the ergosurfaces and $\\Delta=0$ the horizons, where outgoing radial null geodesics are blocked.","The strong-drift cone of allowed null directions has opening angle (46), equal to the Vavilov-Cherenkov cone angle, linking the interior causal structure to the kinematics of negative-frequency modes and superradiance.","In analog vortex flows, the same displaced-indicatrix construction places the trapping horizon at $r_h = A$ and the analog ergosurface at $r_e = \\sqrt{A^2 + B^2}$, and in hydraulic jumps it describes the white-hole horizon."],"supporting_citations":[{"why":"Provides the wind-Finslerian framework: the strong-drift solution, Lorentz-Finsler metrics, the unified Lagrangian (9), and the geodesic matching across critical surfaces; the paper extends this to black holes.","marker":"[7]"},{"why":"Derives the Randers metric as the solution of the weak-drift Zermelo navigation problem; this is the exterior-region metric the paper generalizes.","marker":"[5]"},{"why":"Connects stationary spacetimes to Randers metrics via Legendre transformation and establishes the Finsler description of light rays outside black holes.","marker":"[10]"},{"why":"Solves the critical-drift Zermelo problem and introduces the Kropina metric used for horizons and ergosurfaces.","marker":"[23]"},{"why":"Develops the Kropina metric and its geodesics in the critical case, supporting the horizon analysis.","marker":"[24]"},{"why":"Provides the Painlevé-Gullstrand coordinates and the Martel-Poisson family used to write the Finsler metrics and extend them through horizons.","marker":"[32]"},{"why":"Supplies the Painlevé-Gullstrand form of the Kerr metric used for the stationary analysis and the indicatrix (35).","marker":"[44]"},{"why":"Presents the river model of black holes, which the paper reinterprets as a wind-Finslerian structure with displaced indicatrices.","marker":"[27]"}],"fun_headline_variants":["Finsler geometry penetrates black hole horizons and interiors","Wind-Finsler indicatrix maps horizons and interiors","One Finsler metric governs all null geodesics, even inside holes","Displaced indicatrix encodes horizons and ergosurfaces"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the coordinate $t$ of the Painlevé-Gullstrand form can serve as a parameter for null geodesics and that the equation $F(x,dx/dt)=1$ is equivalent to the Euler-Lagrange equations of $S=\\int F^2(x,\\dot{x})dt$ even in the strong-drift interior where $t$ is not timelike; the paper attributes this equivalence to reference [7] but does not prove it here.","fun_headline_variants_meta":{"raw":{"variants":["Finsler geometry penetrates black hole horizons and interiors","Wind-Finsler indicatrix maps horizons and interiors","One Finsler metric governs all null geodesics, even inside holes","Displaced indicatrix encodes horizons and ergosurfaces"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001068,"raw_usage":{"total_tokens":4508,"prompt_tokens":1010,"completion_tokens":3498,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":626,"completion_tokens_details":{"reasoning_tokens":3429}},"tokens_in":626,"tokens_out":3498,"duration_ms":23846,"temperature":1.0,"reasoning_tokens":3429,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T19:56:20.747918+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Integrate the Euler-Lagrange equations of the squared Lagrangian $L = F^2$ with $F$ given by (10) through $r = 2M$ for Schwarzschild and compare with the future-directed null geodesics of the Painlevé-Gullstrand metric: if any allowed null direction near the critical surface is not reproduced by the Finsler flow, or if the Finsler flow produces a curve the spacetime null congruence does not contain, the claimed equivalence is falsified.","supporting_citations":[{"cited_title":"[12] about the extension of the Finsler structure to the inte- rior of black holes","cited_arxiv_id":null,"evidence_quote":"Provides the wind-Finslerian framework: the strong-drift solution, Lorentz-Finsler metrics, the unified Lagrangian (9), and the geodesic matching across critical surfaces; the paper extends this to black holes."},{"cited_title":"Finsler Metrics with K=0 and S=0","cited_arxiv_id":"math/0109060","evidence_quote":"Derives the Randers metric as the solution of the weak-drift Zermelo navigation problem; this is the exterior-region metric the paper generalizes."},{"cited_title":"On the energy functional on Finsler manifolds and applications to stationary spacetimes","cited_arxiv_id":"math/0702323","evidence_quote":"Connects stationary spacetimes to Randers metrics via Legendre transformation and establishes the Finsler description of light rays outside black holes."},{"cited_title":"Huygens' envelope principle in Finsler spaces and analogue gravity","cited_arxiv_id":"1901.01176","evidence_quote":"Solves the critical-drift Zermelo problem and introduces the Kropina metric used for horizons and ergosurfaces."},{"cited_title":"Kropina metrics and Zermelo navigation on Riemannian manifolds","cited_arxiv_id":"1209.0340","evidence_quote":"Develops the Kropina metric and its geodesics in the critical case, supporting the horizon analysis."},{"cited_title":"Doran, Phys","cited_arxiv_id":null,"evidence_quote":"Supplies the Painlevé-Gullstrand form of the Kerr metric used for the stationary analysis and the indicatrix (35)."},{"cited_title":"Thorne, R.H","cited_arxiv_id":null,"evidence_quote":"Presents the river model of black holes, which the paper reinterprets as a wind-Finslerian structure with displaced indicatrices."}],"review_version":1}