{"id":"e9f59b4a-4bee-42a0-9579-3701de5ed615","arxiv_id":"2411.18758","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":4.0,"correctness_risk":"low","formal_verification":"none","parameter_count":1,"one_line_summary":"For a shaft-and-slide tunnel, the optimal arc radius and fastest time are derived in closed form for constant-gravity and uniform-density Earth models.","lead":"This paper finds the best depth for a gravity train route made of two vertical shafts joined by a circular arc inside the Earth. It gives simple formulas for that depth and the fastest travel time, useful mainly as a physics classroom exercise.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The final radius and time formulas are correct, but Eqs. (5) and (14) are internally inconsistent as printed, so the derivation should be corrected before acceptance.","rationale":"The central claim is the exact optimal radius and minimum time for the shaft-and-slide tunnel family under two interior models. I independently differentiated Eqs. (4) and (13): the stationary conditions yield exactly r_g = 2R(theta-2)/(theta-4) and r_rho = R sqrt(1 - theta/2), and substitution reproduces Eqs. (7) and (16). The superhighway averaging also checks out: for random points on a great circle the minor-arc angle is uniform on [0, pi], and the averaged derivatives give Eqs. (19) and (20). The main weakness is therefore not the physics but the written derivation: Eq. (5) has an imaginary square root and incorrect signs, and Eq. (14) as printed cannot vanish. These are internal inconsistencies that matter for a pedagogical paper, though they do not overturn the final formulas. The reader's weakest assumption about the smoothed transition, friction, and rotation is a modeling idealization rather than a correctness risk: a lossless transition at the same radius preserves the arc speed by energy conservation, so the exact optimum of the idealized path family is unaffected. The verdict should remain conditional, requiring cleanup of Eqs. (5) and (14), and clarification of the range of validity of the polynomial fit in Eq. (8), before final acceptance.","tokens_in":5705,"tokens_out":16771,"duration_ms":159433,"concrete_test":"Use a computer algebra system to differentiate Eq. (4) and Eq. (13) symbolically, set the derivatives to zero, and solve for r. If the solutions match Eqs. (6) and (15), then the central formulas are confirmed and only Eqs. (5) and (14) need correction; if the CAS derivatives do not reduce to the printed forms, rewrite those displayed equations accordingly.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The claimed closed-form optima themselves check out: differentiating Eq. (4) gives dT/dr proportional to [(theta-2)(R-r) + theta*r/2]/(R-r)^(3/2), whose zero is Eq. (6), and differentiating Eq. (13) gives -2/sqrt(1-x^2) + theta/(1-x^2)^(3/2) = 0, whose physical zero is Eq. (15). The displayed Eq. (5) contains sqrt(g(r-R)), which is imaginary for r<R, and has sign errors; the displayed Eq. (14) has only positive terms after the leading 2, so it cannot vanish. These are internal inconsistencies in the written derivation, not false conclusions. The smoothed-transition idealization is explicit and standard; because energy conservation fixes the arc speed whenever the transition endpoints lie at the same radius, it does not threaten the mathematical claim. Thus the central formulas stand, but the derivation must be repaired.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a gravity tunnel consisting of two vertical radial shafts connected by a circular arc at constant radius. It derives the arc radius that minimizes the total fall-slide-rise time under two models of Earth's interior: constant gravitational acceleration and uniform density. Closed-form expressions are obtained for the optimal radius and the minimum travel time in each model (Eqs. (6)–(7) and (15)–(16)), and these times are compared with the corresponding brachistochrone. The paper also considers a circular \"superhighway\" and derives the radius that minimizes the average travel time over all angular separations (Eqs. (19)–(20)). Finally, it discusses the value of this problem in undergraduate physics education.","tokens_in":5925,"tokens_out":8671,"duration_ms":72051,"significance":"If the formulas are correct, the paper provides exact closed-form optima for a simple, physically motivated path family, derivable with elementary calculus and energy conservation. The comparison with brachistochrones is instructive, and the superhighway extension is a motivating capstone. The derivation is self-contained and does not rely on fitted parameters except for the auxiliary polynomial in Eq. (8), which is explicitly used only for plotting. The central arithmetic checks out, and the main weaknesses are the garbled derivative displays and a few clarity issues that are local and fixable.","major_comments":[{"comment":"The displayed derivative is internally inconsistent: for r<R the term sqrt(g(r-R)) is imaginary, and the signs of the terms do not follow from differentiating Eq. (4). The correct derivative is dT/dr = [(θ-2) + θ r/(2(R-r))] / sqrt(2g(R-r)), whose numerator vanishes at r = 2R(θ-2)/(θ-4), which is Eq. (6). As printed, Eq. (5) does not support the claimed result and must be repaired.","section":"Section II, Eq. (5)"},{"comment":"The displayed equation cannot vanish for 0<r<R because the leading term is positive and all other terms are also positive (for the physical parameter range). The correct derivative of Eq. (13) yields a single physical root r = R sqrt(1 - θ/2), i.e., Eq. (15). The author should replace Eq. (14) with the correct expression and, if useful, show the intermediate algebra.","section":"Section III, Eq. (14)"},{"comment":"The claim of an \"optimal depth\" for the superhighway depends on the chosen definition of the average over angular separation. The uniform weighting over θ in [0, π] is a modeling assumption, not a consequence of the physics. The abstract and Section IV state \"the optimal depth\" without qualification. Please explicitly state that Eqs. (19) and (20) are optimal only under this uniform-angular-weighting assumption, and note that a different weighting (e.g., by population or city pairs) would give a different optimum.","section":"Section IV, Eq. (18)"}],"minor_comments":[{"comment":"The statement that \"Equations such as (5) and (14) typically have two solutions\" is not accurate for the corrected equations: the constant-g derivative has a single physical root, and the uniform-density case has a positive and a negative root, with the negative one unphysical. Please revise the sentence.","section":"After Eq. (14)"},{"comment":"The notation Tg,ρ for the brachistochrone time is confusing because g and ρ are used elsewhere to label the two interior models. A subscript such as \"br\" would be clearer.","section":"Eq. (17)"},{"comment":"The left panel shows the optimal radius for both models, but the caption does not identify which curve corresponds to which model. Please add a legend or label the curves explicitly.","section":"Figure 2"},{"comment":"The fourth-order polynomial appears to be a fit with empirically determined coefficients. Please state explicitly that the coefficients are fitted, that the approximation is used only for plotting, and specify the range of validity (the text says \"for θ between 0 and 2\" but does not state whether θ is in radians and whether the formula returns minutes).","section":"Eq. (8)"},{"comment":"The sentence \"the constant term picks up a factor of π and the linear term a factor of π^2/2\" is terse; consider showing the integration explicitly to help readers reproduce the average.","section":"Section IV, Eq. (18)"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The punchline: the final formulas are right, but the derivation as printed has two spots that are not. The stress-test note holds up. Differentiating Eq. (4) and Eq. (13) does give the claimed optima in Eqs. (6) and (15), but the displayed Eq. (5) is internally inconsistent—sqrt(g(r-R)) is imaginary for r<R and the signs are wrong—and Eq. (14) has all positive terms after the leading 2, so it cannot vanish. These are typos in the written derivation, not false conclusions, and they should be fixed before acceptance.\n\nWhat's actually new: within the cited gravity-tunnel literature, nobody has optimized this particular piecewise path—two vertical shafts joined by a constant-radius arc. The paper gives clean closed forms for the optimal radius and minimal time under both a constant-g and a uniform-density Earth model, plus the \"superhighway\" radius that minimizes average travel time over a great circle under the stated weighting. The derivations are elementary one-variable minimization, exactly right for an undergraduate problem set. The energy-conservation step that sets the arc speed is explicit, and the no-friction, no-rotation, smoothed-transition idealization is standard for this genre and not load-bearing. The paper is honest about the auxiliary polynomial fit for the constant-g brachistochrone: it is just for plotting, fails at small angles, and the author says so.\n\nSoft spots aside from Eqs. (5) and (14): Eq. (14)'s typesetting is genuinely hard to parse, and Section V (role in physics education) runs a little long. Neither changes the core contribution. The self-citation to the author's 2015 paper is appropriate background, not padding. The dream origin and Thanksgiving acknowledgment are charming, not flaws.\n\nVerdict: this is a solid pedagogical contribution. It does not change physics, engineering, or measurement; its value is in the classroom and in recreational gravity-tunnel lore. The math is simple enough that an undergraduate can reproduce it, which is the point. The central argument holds up. A serious referee should engage with it, especially to clean up the printed derivation. I'd send this to review, not desk reject.","headline":"The final formulas are correct and the paper is a clean classroom problem; just fix the garbled derivation steps in Eqs. (5) and (14) before signing off.","tokens_in":6427,"tokens_out":1932,"would_cite":false,"duration_ms":19172,"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":"This paper derives the exact radius of a constant-radius arc that minimizes travel time in a two-shaft gravity tunnel, under both constant-gravity and uniform-density models of Earth's interior.","keywords":["gravity tunnel","shaft-and-arc tunnel","travel time minimization","brachistochrone","constant-gravity model","uniform-density model","physics education","calculus of variations"],"falsifier":"Simulate or construct a small-scale shaft-and-arc tunnel with a rounded entrance, and measure the time-minimizing radius; if it deviates from $2R(\\theta-2)/(\\theta-4)$ (constant gravity) or $R\\sqrt{1-\\theta/2}$ (uniform density) beyond the smoothing correction, the ideal-junction assumption is falsified for that geometry.","tokens_in":5495,"feed_emoji":"🚇","tokens_out":6297,"duration_ms":154920,"temperature":0.7,"pith_summary":"This paper asks how fast a two-shaft-plus-arc gravity tunnel could be if the connecting segment is a circular arc at constant radius, and derives the exact radius that minimizes the end-to-end travel time. Under two idealized models of Earth's interior — constant gravitational acceleration and uniform density — the optimal radius and the minimum time come out in closed form: $r_g = 2R(\\theta-2)/(\\theta-4)$ and $T_g = \\sqrt{(R/g)(8\\theta - 2\\theta^2)}$ for the constant-gravity model, and $r_\\rho = R\\sqrt{1-\\theta/2}$ and $T_\\rho = \\sqrt{R/g}\\left(\\sqrt{2\\theta-\\theta^2}+2\\arcsin\\sqrt{\\theta/2}\\right)$ for the uniform-density model. These times are about 10% slower than the corresponding brachistochrone, and the same minimization can be averaged over all angular separations to give the best radius for a single 'superhighway' ring. The paper's motivation is pedagogical: the optimization uses only calculus, not variational methods, making it a gentler entry point to minimization ideas.","feed_headline":"Exact radius found for fastest shaft-and-arc gravity tunnel","feed_subtitle":"Two-shaft-plus-arc tunnels have closed-form optimal depths and times for both Earth models.","key_machinery":"The load-bearing object is the total travel time $T(r,\\theta)=2T_f(r)+T_s(r,\\theta)$, where the fall time $T_f$ is obtained from energy conservation in the shaft and the slide time is $r\\theta/v(r)$ at the constant speed reached at the bottom. Minimizing this one-variable function with respect to $r$ — a single derivative, not a functional — is what produces the closed-form radii and times. For the uniform-density model the same structure is used with the simple-harmonic-motion solution of the shaft, and the slide speed comes from $v=\\sqrt{gR(1-(r/R)^2)}$.","core_discovery":"The central claim is that for a gravity tunnel made of two radial shafts joined by a constant-radius arc, the travel time as a function of connecting radius $r$ has a single physical minimum inside the planet, and that minimum can be written in elementary functions for the two standard interior models. For constant gravity the minimal radius is $r_g = 2R(\\theta-2)/(\\theta-4)$, which tends to zero as the surface separation approaches 2 radians and gives time $T_g=\\sqrt{(R/g)(8\\theta-2\\theta^2)}$; for uniform density the minimal radius is $r_\\rho = R\\sqrt{1-\\theta/2}$ with time $T_\\rho = \\sqrt{R/g}\\left[\\sqrt{2\\theta-\\theta^2}+2\\arcsin\\sqrt{\\theta/2}\\right]$. For a ring intended to serve all pairs of points, averaging the time over all angular separations yields the 'superhighway' radii $r_{av,g}=2R(4-\\pi)/(8-\\pi)\\approx 0.35R$ and $r_{av,\\rho}=R\\sqrt{4-\\pi}/2\\approx 0.46R$. The author also compares the shaft-and-slide path with the brachistochrone and finds it about 10% slower, which he frames as a cheap price for a much simpler construction.","pith_inferences":["In real-Earth terms the constant-gravity radius $0.35R$ is the more physically relevant target, since the author's earlier work showed constant $g$ matches seismic-density fall times better than uniform density; this paper does not itself draw that engineering conclusion.","A finite smoothing radius at the shaft-to-arc junction, or any dissipative loss, would break the constant-speed assumption; a natural extension is to recompute the optimum under a constraint on centripetal acceleration or curvature.","The 10% gap between shaft-and-slide and brachistochrone suggests a design heuristic: when excavation costs rise steeply with depth, the shallow constant-radius tunnel may become the true cost optimum even though it is slower than the mathematical minimum-time curve.","The same averaging trick over $\\theta$ could be applied to a finite set of cities rather than a uniform great-circle distribution, which would shift the optimal depth toward the most-traveled angular separations."],"forward_implications":["The optimal shaft-and-slide tunnel is a viable pedagogical proxy for the brachistochrone: it teaches minimization with only calculus, and its optimal depth and time are closed-form in both standard Earth models.","The shaft-and-slide path is at most about 10% slower than the brachistochrone between the same surface points, so a constant-radius arc is a cheap approximation to the true fastest path.","For antipodal travel ($\\theta=2$), the optimal arc radius collapses to zero, recovering the fall-through-the-center time, which is 38 minutes under constant gravity and 42 minutes under uniform density.","If a single ring is dug to connect many cities, the best depth under the averaged-time criterion is around $0.35R$ (constant-gravity model) or $0.46R$ (uniform-density model), both lying within the outer core.","The same down-over-up minimization appears in a flat vertical-field analogue whose optimal drop height is $D/4$, giving a factor of $4/\\pi \\approx 1.27$ depth and $\\sqrt{4/\\pi}\\approx 1.12$ time penalty compared to the cycloid brachistochrone."],"supporting_citations":[{"why":"Supplies the constant-gravity model for gravity tunnels and the comparison to Earth's real density profile that motivates treating g as constant.","marker":"[1]"},{"why":"Provides the classic 42-minute antipodal fall time under uniform density that the shaft-and-slide path reduces to in the θ=2 limit.","marker":"[2]"},{"why":"Establishes the straight-tunnel result that the paper extends by adding a constant-radius arc.","marker":"[3]"},{"why":"Provides the terrestrial brachistochrone (hypocycloid) curve used as the benchmark for the roughly 10% slowdown.","marker":"[4]"}],"fun_headline_variants":["Shaft-and-arc tunnel: minimal radii and times in closed form","Exact optimal depth for Earth's gravity tunnel superhighway","Gravity superhighway: closed-form optimal depths for two Earth models","Fastest shaft-and-arc gravity tunnel: exact radii for two Earth models","Minimal-time gravity tunnel arcs solved exactly"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The derivation assumes the traveler enters the arc at the full free-fall speed and continues at that constant speed with no loss at the smoothed junction, and that rotation and friction are absent.","fun_headline_variants_meta":{"raw":{"variants":["Shaft-and-arc tunnel: minimal radii and times in closed form","Exact optimal depth for Earth's gravity tunnel superhighway","Gravity superhighway: closed-form optimal depths for two Earth models","Fastest shaft-and-arc gravity tunnel: exact radii for two Earth models","Minimal-time gravity tunnel arcs solved exactly"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001167,"raw_usage":{"total_tokens":4827,"prompt_tokens":944,"completion_tokens":3883,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":560,"completion_tokens_details":{"reasoning_tokens":3794}},"tokens_in":560,"tokens_out":3883,"duration_ms":33960,"temperature":1.0,"reasoning_tokens":3794,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T10:55:38.132374+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Simulate or construct a small-scale shaft-and-arc tunnel with a rounded entrance, and measure the time-minimizing radius; if it deviates from $2R(\\theta-2)/(\\theta-4)$ (constant gravity) or $R\\sqrt{1-\\theta/2}$ (uniform density) beyond the smoothing correction, the ideal-junction assumption is falsified for that geometry.","supporting_citations":[{"cited_title":"The gravity tunnel in a non-uniform earth","cited_arxiv_id":null,"evidence_quote":"Supplies the constant-gravity model for gravity tunnels and the comparison to Earth's real density profile that motivates treating g as constant."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the classic 42-minute antipodal fall time under uniform density that the shaft-and-slide path reduces to in the θ=2 limit."},{"cited_title":"Through the earth in forty minutes","cited_arxiv_id":null,"evidence_quote":"Establishes the straight-tunnel result that the paper extends by adding a constant-radius arc."},{"cited_title":"Terrestrial brachistochrone","cited_arxiv_id":null,"evidence_quote":"Provides the terrestrial brachistochrone (hypocycloid) curve used as the benchmark for the roughly 10% slowdown."}],"review_version":1}