{"id":"20b7ce8a-0ec4-4abe-bec0-e39bb6f01a78","arxiv_id":"2607.29265","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"In static spherical spacetimes, the constant-speed brachistochrone is a geodesic of the Fermat optical metric, giving analytic fastest paths in the isothermal sphere and bent or straight paths in the Plummer galaxy.","lead":"This paper works out the fastest-path (brachistochrone) problem for a traveler moving at constant speed in spherically symmetric curved spacetimes, and solves it for two galaxy-like mass models. It finds that the same optimal route minimizes time at any speed, with the travel time scaled inversely by that speed.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified — the central variational derivation is sound and the acceleration/energy caveat is an explicit scope condition, not a hidden flaw.","rationale":"The reader identified the constant-velocity/unconstrained-propulsion assumption as the weakest point. I agree this is the main physical limitation, but it is an explicit modeling choice rather than a hidden flaw: the paper defines the brachistochrone as minimizing coordinate time for a traveler with fixed local speed, which is a self-consistent variational problem. My independent re-derivation of Eq. (13) and the v<1 scaling found no algebraic or conceptual error. The SIS analytic result passes dimensional and limiting checks, and the numerical Schwarzschild and Plummer results are plausible. The only minor gap is that the Plummer r0=0 straight-line case is inferred numerically rather than proven analytically, but it is not central to the general method and does not call the main claim into question. Therefore the appropriate verdict remains ACCEPT (UNCHANGED).","tokens_in":11169,"tokens_out":26981,"duration_ms":245840,"concrete_test":"Independently integrate the null geodesic equations (37)-(38) for the SIS interior and relativistic Plummer metrics with the same endpoint conditions used in Secs. III and IV, and verify that the projected spatial paths match the analytic r(θ) of Eq. (22) and the numerical solutions of Eq. (35). This would confirm that the variational shortcut used to derive Eq. (13) reproduces the actual geodesics of the optical metric.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I checked the core derivation. Equation (13) follows correctly from the null Lagrangian in Sec. II: the Euler-Lagrange equations reduce to a planar problem, and the first integral yields the stated first-order ODE. The SIS analytic solution in Eq. (22) is consistent with Eq. (19) and the endpoint conditions. For subluminal constant speed v, Eq. (40) is exactly the optical length divided by v, so the same spatial path is the minimizer and the time scales as 1/v; no hidden assumption enters beyond the stated constant-local-speed setup. The reader's weakest assumption (no bound on acceleration or energy) is a real scope limitation: this is not the classical gravity-only brachistochrone, and a constant-speed self-propelled traveler is an idealized model. However, the paper explicitly frames the problem that way, so this limitation does not create an internal inconsistency or undermine the central claim. I therefore find no load-bearing correctness concern in the argument as stated.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the brachistochrone problem for a traveler moving at constant local speed in static, spherically symmetric spacetimes. It derives the Euler–Lagrange equations for an ultra-relativistic (null) traveler, reduces the motion to a plane, and obtains the first-order equation dθ/dr = sqrt(A B C0 / [C(C A0 - C0 A)]). This is applied to the singular isothermal sphere (SIS) interior, where an analytic solution r(θ)=r0 cos^{-1/β}[β(θ−θ0)/α] is found, to the exterior Schwarzschild vacuum, and to the relativistic Plummer profile. The paper then shows by Fermat's principle that for any constant subluminal speed v the minimizing spatial path is unchanged and the total time is scaled by 1/v.","tokens_in":11400,"tokens_out":31920,"duration_ms":262183,"significance":"The paper has three clear strengths: a clean variational derivation of the brachistochrone equations, an elegant analytic solution for the SIS interior, and a simple scaling argument connecting subluminal constant-velocity travelers to null geodesics of the optical metric. The explicit connection to Fermat's principle is a useful conceptual contribution, and the Plummer example demonstrates a qualitatively different regime in which the fastest path is straight through the center. The stated scope condition — no bound on proper acceleration and a fixed local speed — is explicit and is not an internal inconsistency. If the error in the Schwarzschild exterior section noted below is corrected, the paper will be a solid contribution to the variational treatment of travel-time problems in curved spacetime.","major_comments":[{"comment":"The Schwarzschild integral is incorrect. Substituting A=1−2M/r, B=1/A, C=r^2 into Eq. (13) gives dθ/dr = 1/[r sqrt(1−2M/r) sqrt( r^2(1−2M/r0)/(r0^2(1−2M/r)) − 1 )]. The factor sqrt(1−2M/r') belongs in the denominator, not the numerator. As written, Eq. (28) is (1−2M/r') times the correct integrand. Since Eqs. (29) and the numerical results in Fig. 2 are built on this integral, the Schwarzschild exterior results need to be recomputed. The qualitative trends may survive, but the quantitative claims for r0 and Δt in Section III B are not supported by the equations as stated.","section":"Section III B, Eq. (28)"}],"minor_comments":[{"comment":"The formulas contain 1/β, which is singular at w=1 (β=0), yet Fig. 1 includes w=1. The limit β→0 should be displayed or at least described so that the plotted w=1 curve is derived, not assumed.","section":"Section III A, Eqs. (22) and (27)"},{"comment":"The notation cos^{-1} is ambiguous. Use \\arccos for the inverse cosine to distinguish it from a power of cos.","section":"Section III A, Eq. (24a)"},{"comment":"The regime r0=0 is discussed as a straight-line solution, but the integrand in Eq. (33) is singular at r0=0. The limiting procedure should be stated.","section":"Section IV, Eq. (33)"},{"comment":"The statement that the BT is 'the same' for subluminal velocity could be sharpened: the spatial projection is the same geodesic of the optical metric, while the parameterization and coordinate time differ. The text mostly says this, but an explicit sentence would prevent confusion.","section":"Section V"},{"comment":"Reference [14] lacks page numbers and appears incomplete as formatted.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The reader's report and the stress-test note accepted the manuscript, but my independent check found a load-bearing error in Eq. (28): the Schwarzschild integrand has an extra factor (1−2M/r). This affects Section III B and Fig. 2. The error is local and easily fixable, so I recommend major revision rather than rejection. The rest of the derivation, including the SIS analytic solution and the Plummer analysis, appears sound."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a solid, modest paper. It doesn't invent a new principle—the general BT equation is just Fermat's principle in the optical metric, as Perlick and Alsing already knew. What's new is the analytic closed-form solution for the SIS interior (Eq. 22), the first application to the relativistic Plummer profile, and the explicit statement that a constant subluminal speed v leaves the spatial path unchanged and scales the total time by 1/v. That last point is trivial once you factor the constant out of the action, but it's cleanly presented and worth having on record.\n\nThe derivation is honest and the math checks out. The planar reduction via p_phi = 0 is correct, the SIS integration verifies, and the physical interpretations—more bending with larger w or M, and the straight-line Plummer trajectory when the endpoints sit near the core—are sensible. I also credit the authors for framing the problem honestly: this is a constant-speed traveler with no energy or acceleration constraint, which is a different question from Perlick's constant-energy brachistochrone. They say so in the intro and again in Sec. V, so the limitation is a scope condition, not a hidden flaw.\n\nSoft spots are minor. The SIS formulas divide by beta, and the w=1 limit (beta=0) is plotted but not derived; that needs a short limiting argument. The Plummer straight-line case r0=0 is inferred numerically from Fig. 3, not proven; an analytic argument would close it. The mixed trajectory crossing the SIS boundary is skipped, which is fine but leaves a gap. No code is shipped, but the remaining integrals are standard and the plots are not the substance.\n\nThe citation pattern is fine—Perlick, Alsing, and the SIS/Plummer sources are appropriately acknowledged. No self-citation issue.\n\nWho is this for? People working on gravitational lensing, trajectory design in model spacetimes, or teaching variational methods in GR. It won't change the field, but it's a useful and careful example. I'd send it to peer review; a referee should ask for the w=1 limit and a bit more support for the r0=0 case, but the core result stands.","headline":"A clean, modest paper: the general result is Fermat's principle in disguise, but the analytic SIS solution and the Plummer application are genuinely new and worth publishing.","tokens_in":11841,"tokens_out":2890,"would_cite":false,"duration_ms":28139,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.20.-q","04.20.Cv"],"model":"deepseek-v4-flash","headline":"The paper shows that in static spherically symmetric spacetimes, the constant-speed brachistochrone is the null geodesic of the optical metric, and solves it explicitly for the singular isothermal sphere, Schwarzschild exterior, and relativ","keywords":["brachistochrone problem","static spherically symmetric spacetime","Fermat's principle","optical metric","singular isothermal sphere","relativistic Plummer profile","null geodesic","coordinate time minimization"],"falsifier":"Numerically solve the same variational problem for a relativistic Plummer profile with both endpoints inside the core (e.g., r_i = r_f = 2M, b = 4M) using an optimizer that enforces a maximum proper acceleration. If a bent path under that acceleration cap reaches the endpoint in less coordinate time than the straight polar diameter, the claim that the straight line is the brachistochrone would fail in the constrained regime. Independent numerical integration of Eq. (13) for the SIS interior should reproduce Eq. (22); any mismatch would pinpoint an error in the closed form.","tokens_in":11058,"feed_emoji":"⏱️","tokens_out":8040,"duration_ms":76408,"temperature":0.7,"pith_summary":"The paper asks which spatial curve a traveler moving at fixed local speed should follow to minimize coordinate time in a static, spherically symmetric spacetime. It establishes that, if the traveler is free to steer without energy or acceleration limits, the brachistochrone is exactly the null geodesic of the optical (Fermat) metric, so every constant subluminal speed v shares the same fastest route, with duration scaled by 1/v. For the singular isothermal sphere interior the route is solved in closed form and always bends, with both turning radius and travel time growing with the equation-of-state index w. In a Schwarzschild exterior the route also always bends, and heavier central masses make it bend more and take longer. For the relativistic Plummer model, routes starting and ending within the core radius are straight lines through the center, while routes outside the core bend and bend more for more concentrated cores.","feed_headline":"Fastest path in curved space is the same for any steady speed","feed_subtitle":"A constant-speed traveler can precompute one route for all speeds; only the duration scales by 1/v.","key_machinery":"The load-bearing object is Eq. (13), the first-order brachistochrone equation dθ/dr = ±√[A(r)B(r)C(r0)/(C(r)(C(r)A(r0) − C(r0)A(r)))], a null geodesic equation of the optical/Fermat metric — the spatial metric obtained from ds²=0, in which curves that minimize coordinate time are geodesics. After a planar reduction (φ=0), this ODE encodes the whole variational problem and fixes the turning radius r0 at dr/dθ=0; its ∫ form (14) then gives the path for any SSS spacetime. For subluminal speeds the time integrand differs only by the constant factor 1/v, so the identical equation governs the route. This reduces the brachistochrone problem to quadrature: explicit integration gives Eq. (22) for the","core_discovery":"The central claim is that minimizing coordinate time for a fixed-speed traveler in the SSS metric (1) collapses to one first-order equation, Eq. (13), dθ/dr = ±√[A(r)B(r)C(r0)/(C(r)(C(r)A(r0) − C(r0)A(r)))], and that the same equation holds for any constant subluminal speed v, with total time scaled by 1/v. The paper derives this from the Euler–Lagrange equations and identifies the minimizer with the null geodesic of the optical metric, a form of Fermat's principle. In the SIS interior the equation integrates in closed form to r(θ)=r0 cos^{−1/β}[β(θ−θ0)/α]; r0 is always the minimum radius and grows with w. Outside, in Schwarzschild spacetime, the same equation produces always-bent trajectori","pith_inferences":["Inference beyond the paper: because the optimal route does not depend on the traveler's speed, a route-planning system could compute the fastest spatial path once per spacetime and reuse it at any constant cruise speed; only the clock's rate changes.","Inference beyond the paper: the Plummer bend-to-straight transition suggests a general criterion for regular mass profiles — if the core scale exceeds the endpoint radii, the optical metric is effectively weak enough that the central straight diameter wins, which could be tested against other smooth density profiles.","Inference beyond the paper: with a proper-acceleration ceiling imposed, the optimal path should deviate from the optical-metric geodesic, so the size of the deviation is a direct measure of how much acceleration constraints matter for real spacecraft.","Inference beyond the paper: applying the same variational reduction to axisymmetric stationary spacetimes should yield non-planar fastest paths with azimuthal drift; the SSS solutions here provide a benchmark for numerical solvers before tackling the less symmetric case."],"forward_implications":["For equal-radius endpoints in the SIS interior, the brachistochrone always dips to a turning radius r0 < ri, and both r0 and the total coordinate time increase as the equation-of-state index w rises.","In the Schwarzschild exterior, the fastest route always bends, and a larger central mass M yields a larger turning radius and a longer travel time.","In the relativistic Plummer model, fastest routes with both endpoints inside the core are straight lines through the center; with endpoints far outside the core they bend, and more concentrated cores bend them more.","Any constant sub-light speed v uses the exact same spatial route as the light-speed traveler; only the duration changes, by a factor 1/v.","The derived Eq. (13) agrees with the null geodesic equation of the optical metric, confirming the generalized Fermat principle for SSS spacetimes."],"fun_headline_variants":["Speed-invariant fastest path in curved spacetimes","One optical geodesic beats all speeds in curved space","Curved-space brachistochrone scales by 1/v, path unchanged","Same bent path for all speeds, time divided by v"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that the traveler can steer along any smooth curve at a fixed local speed, without limits on how hard it accelerates or on its energy; if such limits are imposed, the fastest path will not generally be the null geodesic of the optical metric.","fun_headline_variants_meta":{"raw":{"variants":["Speed-invariant fastest path in curved spacetimes","One optical geodesic beats all speeds in curved space","Curved-space brachistochrone scales by 1/v, path unchanged","Same bent path for all speeds, time divided by v"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000634,"raw_usage":{"total_tokens":2823,"prompt_tokens":866,"completion_tokens":1957,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":610,"completion_tokens_details":{"reasoning_tokens":1887}},"tokens_in":610,"tokens_out":1957,"duration_ms":13621,"temperature":1.0,"reasoning_tokens":1887,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T10:27:23.505292+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically solve the same variational problem for a relativistic Plummer profile with both endpoints inside the core (e.g., r_i = r_f = 2M, b = 4M) using an optimizer that enforces a maximum proper acceleration. If a bent path under that acceleration cap reaches the endpoint in less coordinate time than the straight polar diameter, the claim that the straight line is the brachistochrone would fail in the constrained regime. Independent numerical integration of Eq. (13) for the SIS interior should reproduce Eq. (22); any mismatch would pinpoint an error in the closed form.","supporting_citations":[],"review_version":1}