{"id":"7832e15a-bd64-47a3-9592-d46db7aee668","arxiv_id":"1908.02224","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":7,"one_line_summary":"A brachistochrone-style optimal control model with pedalling and drag finds the minimum-time trajectory on a real velodrome and matches elite cyclist velocity and power data.","lead":"The authors extend the classic brachistochrone problem to a cyclist pedalling on a banked velodrome, solving for the minimum-time line on the actual track in Montigny-le-Bretonneux, France. The computed trajectory and power profile closely match elite athlete data, suggesting that riders already follow a near-optimal line.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The optimum line may rely on an unbounded lateral control: with no grip or normal-reaction constraint in Appendix B, the claimed near-optimality of the athlete's trajectory is not yet physically secured.","rationale":"Reader's CONDITIONAL verdict is already keyed to the unbounded lateral force and first-order surface approximations. This stress-test singles out the F_perp issue because it is the least secured: the surface approximation is at least a documented perturbation (ε=0.23), while the unconstrained control is a modeling idealization with no discussion of whether the final optimum respects it. The dimensional slip in Eq (3.2) and the conical 'analytical' label are real blemishes, but they do not directly enter the final numerical optimization, which uses the equations of motion A11-A12/A24-A25 rather than the time integral (3.2). The proposed test is cheap and decisive: if adding a grip constraint does not change the solution, the claim stands; if it does, the central claim becomes conditional on feasibility. Therefore I keep the same CONDITIONAL verdict; the reader's weakest assumption already anticipated this concern.","tokens_in":15030,"tokens_out":8277,"duration_ms":93506,"concrete_test":"Re-solve the Montigny optimization in Appendix B with an added lateral-force constraint, e.g. |F_perp| ≤ μ N with μ≈1.0 and N the normal reaction, or equivalently |a_lat| ≤ a_max(α,v) consistent with tyre grip, and compare the resulting trajectory and final-200 m time to the unconstrained solution and to the athlete data. If the time changes by more than about 0.05 s or the path shifts by more than about 0.3 m, the unbounded-F_perp assumption is load-bearing; if the constraint stays inactive, the concern does not land.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Central claim (Sec. 6a): the computed trajectory is the minimum-time line for the modeled dynamics, and the athlete's trajectory is 'already nearly optimal.' The optimization in Appendix B treats F_perp as a free control with only the track-width inequalities 0≤n≤W cosα; no upper bound on |F_perp|, no normal-reaction or friction limit is imposed. Since F_perp does no work, the longitudinal speed profile is unaffected by how large it is, so the optimizer can, in principle, generate arbitrarily tight turns. The paper does not report the F_perp profile or check that the required lateral force is within tyre/banking limits. If the unconstrained optimum demands lateral accelerations beyond what the rider can physically generate, the model's 'optimum' is an infeasible lower bound, and agreement with the measured speed/power curves does not establish that the athlete's trajectory is near-optimal. This is a physical-realism risk rather than an internal inconsistency, but it is directly load-bearing for the validation claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper extends the classical brachistochrone problem to track cycling by treating a cyclist as an active point particle on a sloping surface. It first gives analytical Euler-Lagrange solutions for motion on a plane and on a cone, then solves a numerical optimal-control problem on a reconstructed model of the Montigny-le-Bretonneux velodrome. The authors compare the predicted speed and power profiles with elite-athlete measurements and conclude that the athlete's trajectory is already nearly optimal, with a final-200 m time of about 9.7 s. A separate discussion addresses the choice of initial conditions and the role of fatigue.","tokens_in":15309,"tokens_out":5964,"duration_ms":62435,"significance":"If the central claims hold, this is a useful and interesting contribution: it generalizes a classical variational problem to active particles on curved surfaces and provides a practical tool for optimizing track-cycling lines. The paper has clear strengths: the physiological and aerodynamic parameters are taken from independent published sources rather than fitted to the validation data; the canonical planar and conical cases provide testable analytical benchmarks; the numerical implementation is modern and reproducible in principle; and the fatigue scaling leading to Eq. (6.2) gives a simple falsifiable prediction. However, the validation claim that the athlete's trajectory is 'already nearly optimal' rests on several modeling choices that are not quantitatively checked, in particular the absence of any bound on the lateral control and the first-order treatment of the elliptical track geometry. These issues do not invalidate the overall approach, but they must be addressed before the main claim is fully supported.","major_comments":[{"comment":"The printed Eq. (3.2) has an integrand with denominator R0-R, which is dimensionally inconsistent with the energy equation (3.1). From (3.1), the speed satisfies v^2 = 2g sinα (R0-R), so the time functional should contain the square root of R0-R in the denominator. Since the reported Euler-Lagrange equation (3.3) appears to correspond to the corrected functional, Eq. (3.2) should be corrected, and the derivation should be checked for consistency.","section":"Section 3"},{"comment":"The numerical optimization in Appendix B treats the lateral force F_perp as an unbounded control, subject only to the track-width inequalities in (A4). No bound on |F_perp|, no normal-reaction constraint, and no tyre-friction limit is imposed. Because F_perp does no work, the optimizer can in principle generate arbitrarily tight corners without affecting the longitudinal speed profile, so the computed line may be infeasible for a real cyclist. The paper should report the optimal F_perp profile and verify that the required lateral acceleration is within the grip and banking limits of the track. Without this check, the agreement in Fig. 5 does not establish that the athlete's trajectory is near-optimal.","section":"Appendix B, Section 6a"},{"comment":"The reconstructed velodrome surface uses only first-order terms in the ellipticity parameter ε = a/b - 1 = 0.23, specifically Eqs. (A42) and (A47). This value is not small, and the expansion in Eq. (A41) contains terms proportional to ε^2/(r-a), which are singular as r tends to the inner boundary. The optimal trajectory is reported to hug the inside lane, so the first-order approximation may be used precisely where it is least reliable. The authors should quantify the truncation error in the optimal path and time, for example by comparing with a full-ellipse formulation or by including second-order terms.","section":"Section 6a, Appendix A(c)"},{"comment":"Fatigue is introduced only in Section 6b as a scaling argument for the initial conditions and the sprint time, Eq. (6.2). The optimal-control model that produces Fig. 5, however, uses the non-fatiguing pedalling force (5.1), with no fatigue term in the dynamics. Since the final 200 m takes about 9.7 s, longer than the stated ~5 s validity of pure anaerobic respiration, the absence of fatigue in the optimization may materially affect the predicted speed and power over the interval compared with athlete data. The authors should either include fatigue in the optimal-control dynamics or justify its neglect over this time scale before claiming full validation.","section":"Section 6b, Section 5"}],"minor_comments":[{"comment":"The phrase 'an an asymptotic expansion' contains a duplicated article and should read 'an asymptotic expansion'.","section":"Section 6a"},{"comment":"The shaded straight regions in Fig. 5(b,c) are not defined in the caption; please state explicitly which intervals correspond to the straight sections of the track.","section":"Figure 5 caption"},{"comment":"The sentence 'In Fig. 2 we plot solutions...' appears after the physiological model is introduced, but the reader may expect the figure to be introduced near the earlier analytical discussion; consider renumbering or moving the figure reference to improve readability.","section":"Section 5"},{"comment":"The derivation of the initial speed from a balance between constant aerobic power and drag is plausible, but the value 58 km/hr is presented without showing the numerical solution of P0/v = 1/2 ρ CdA v^2; including the intermediate calculation would make the result easier to check.","section":"Section 6b"}],"recommendation":"major_revision","confidential_remarks":"The paper is a good fit for the journal and the core idea is attractive. My main concern is that the validation claim is stronger than what the current model supports: the unbounded lateral control and the omission of fatigue in the optimal-control dynamics are not merely presentation issues, and they should be addressed before publication. A revision that adds feasibility checks and a fatigue model, or carefully narrows the claims, would be publishable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth a read if you care about sports physics or active-particle optimal control. The new thing here is taking the classic brachistochrone problem, adding a pedalling force and drag, and solving the minimum-time line on a real velodrome from measured surface geometry. That is a real step beyond the toy problems. The plane case reduces to a cycloid with rescaled gravity, which is fine. The cone case is not closed-form despite the paper calling both 'analytical'—the text is honest about that, so it's a labelling wart, not a deception.\n\nThe validation is the strongest part. The model parameters come from independent physiology and wind-tunnel sources, not fitted to the athlete traces. The computed trajectory reproduces the qualitative descent strategy and the speed and power curves match three elite attempts quite well. Given how small the time margins are in sprint cycling, a tool that identifies the descent line is practically useful.\n\nThe soft spots: First, Eq. (3.2) as printed has R0−R in the denominator with no square root, which is dimensionally wrong. The derived Euler-Lagrange equation (3.3) corresponds to the sqrt version, so this looks like a typo, but it is exactly the kind of typo that confuses readers. Second, the optimisation treats the lateral force F_perp as unbounded. There is no grip or normal-reaction constraint. That matters because the paper's headline claim—that the athlete's trajectory is already nearly optimal—requires the computed optimum to be feasible. If the unconstrained line needs lateral accelerations no rider can produce, the computed 'optimum' is just a lower bound, and the agreement with data doesn't by itself certify near-optimality. The authors don't report F_perp, so you can't check. Third, the elliptical curved sections are treated to first order in epsilon=0.23, which is not tiny; the surface may be off by more than the claimed optimality margins. Finally, no data or code is included, so the comparison with athlete data can't be independently audited.\n\nNone of these sink the paper. The model is transparent, the biology and aerodynamics are standard, and the application is genuinely new. But the near-optimality conclusion is stated more strongly than the constraints justify. If the authors report the required F_perp and verify it is within a rider's capability, or add a constraint and show the optimum barely changes, the central claim would be solid.\n\nWho is it for: sports physicists, control people, and cycling biomechanists. I'd bring it to a reading group and I'd probably cite it. It deserves proper peer review, with the lateral-force question as the main referee ask.","headline":"A genuinely new application of brachistochrone methods to track cycling, with a plausible model and real athlete data, but the near-optimality claim outruns what is actually checked.","tokens_in":15784,"tokens_out":2417,"would_cite":true,"duration_ms":23906,"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":"Extending the brachistochrone to an active cyclist on a banked track yields a near-optimal elite descent and a final 200 m time near 9.7 s.","keywords":["brachistochrone","track cycling","velodrome","active particles","optimal control","aerodynamic drag","pedalling torque","fatigue"],"falsifier":"Recompute the same optimum on a velodrome represented with exact elliptical ends rather than the first-order expansion, and add a constraint that the normal reaction at the surface stays positive, a grip limit; if the fastest line or the final 200 m time changes by more than a few hundredths of a second, the close agreement with athlete data would be shown to be non-decisive. Alternatively, timed trials in which a rider deliberately holds a measurably different lateral line and still matches the predicted 9.7 s would indicate the model is missing a relevant constraint.","tokens_in":14830,"feed_emoji":"🚴","tokens_out":11996,"duration_ms":103614,"temperature":0.7,"pith_summary":"This paper extends the classical brachistochrone problem to track cycling by treating the cyclist as an active point particle that pedals against aerodynamic drag on a banked surface. It first solves the minimum-time descent analytically for a sloping plane and a cone, then reconstructs a real velodrome's surface and finds the fastest trajectory numerically with the sideways force as the control. The computed speed and power curves closely track data from an elite rider, which the paper reads as evidence that the observed descent is already nearly optimal. The model also predicts a final 200 m time of about 9.7 s, in line with top Olympic qualifying performances, and explains the riders' choice of descent start via a fatigue timescale.","feed_headline":"Track cyclists already ride near-optimal descents, model finds","feed_subtitle":"A brachistochrone-style solver reproduces elite speed and power and predicts a final 200 m time near 9.7 s.","key_machinery":"The central object is the active-particle brachistochrone: a point cyclist on a surface $z=f(x,y)$ with a pedalling force $F_\\parallel$ and a perpendicular steering force $F_\\perp$, so the energy changes according to $dE/dt = vF_\\parallel$. The pedalling force comes from a linear torque--cadence relation $F_p = (2\\pi T_{\\max}/D)(1-2\\pi v/(D\\omega_{\\max}))$, drag is quadratic $F_d=\\tfrac{1}{2}\\rho C_d A v^2$, and the track is encoded as $z=n\\tan\\alpha(s)$ with constant width $W=7.9$ m, the curved ends treated to first order in the ellipticity. The optimization discretizes the state variables in time, keeps the rider inside the track with barrier constraints, and solves the minimum-time problem with the perpendicular force as control, using a penalty and interior-point scheme; the planar and conical analytical solutions validate the numerics.","core_discovery":"On the paper's own terms, the discovery is that the classical brachistochrone, generalized to an active particle on the measured surface of a velodrome, reproduces the elite descent closely enough to conclude that the athlete's trajectory is already nearly time-optimal. The surface is written as $z=n\\tan\\alpha(s)$ in tangent and normal coordinates on the track's inside lane, with the measured slope angle $\\alpha(s)$ varying from about $14^\\circ$ on the straights to about $45^\\circ$ in the banks. Solving the time-minimization problem with pedalling torque that decreases linearly with cadence and quadratic aerodynamic drag yields an optimal line that descends before the first corner and then hugs the inside lane, with a final 200 m time near 9.7 s and velocity and power profiles that match measurements from an elite rider.","pith_inferences":["One testable extension is to vary rider mass, gear development, or drag coefficient in the same solver; the model should predict how the optimal descent line and final 200 m time shift, which could be checked against athletes with different body types.","The claim of near-optimality rests on a single rider's data on one velodrome; a stronger test would record several riders' trajectories on the same track and see whether their spread brackets the computed optimum.","Because the curved ends are modelled only to first order in ellipticity and the steering force is unbounded, recomputing with an exact ellipse and a grip-limited normal reaction would show whether these simplifications matter at the hundredths-of-a-second level that decides races.","If the same framework were extended to team pursuit, where slipstreaming changes the drag force, the optimal individual line might differ from the time-trial line, giving teams a quantitative tool for tactics."],"forward_implications":["The descent phase is the only part of a qualifying lap where rider-to-rider variation is observed, so the fractions of a second that separate medal positions come from the line chosen there; the model shows where those fractions come from.","For a given track geometry and rider physiology, the optimal line can be computed in about 10 seconds on a laptop, making on-site tactical optimization feasible.","The optimal start of the descent is set by the fatigue balance: peak speed should occur at the finish line, and observed starting positions from 3 m to -11 m correspond to sprint times of 13-15 s and peak speeds around 74-75 km/h.","Riders should start from the top of the banking, because the optimal initial normal position is always $n(0)=W\\cos\\alpha(s(0))$, maximizing potential energy before the descent."],"supporting_citations":[{"why":"Supplies the linear torque--cadence pedalling model and the elite cyclist parameter values for the maximum torque and cadence.","marker":"[11]"},{"why":"Provides the constrained-optimization formulation and second-order solution framework used for the minimum-time problem.","marker":"[19]"},{"why":"Supplies the interior-point barrier method used to enforce the velodrome boundary constraints.","marker":"[20]"},{"why":"Provides the Olympic qualifying final 200 m times that the computed 9.7 s result is compared with.","marker":"[10]"},{"why":"Provides the exponential fatigue power decay model and aerobic power plateau used to set the initial velocity and the sprint timescale.","marker":"[25]"},{"why":"Supplies the aerodynamic drag parametrization and the streamlined drag-area value used in the drag force.","marker":"[17]"}],"fun_headline_variants":["Brachistochrone model: cycling lines already near-optimal","Velodrome math: elite riders follow near-minimum-time path","Track cycling solver finds optimal line matches real athletes","Active-particle brachistochrone predicts 9.7 s final 200 m","Model: racers' velodrome descents are already time-optimal"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The result depends on the measured slope, initial speed, and surface geometry being exact, on the curved ends being adequately captured by a first-order expansion in the 23% ellipticity, and on the rider being able to apply any sideways force without grip or balance limits; if any of these fails, the calculated fastest line may not be a line a real rider can hold.","fun_headline_variants_meta":{"raw":{"variants":["Brachistochrone model: cycling lines already near-optimal","Velodrome math: elite riders follow near-minimum-time path","Track cycling solver finds optimal line matches real athletes","Active-particle brachistochrone predicts 9.7 s final 200 m","Model: racers' velodrome descents are already time-optimal"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000198,"raw_usage":{"total_tokens":1329,"prompt_tokens":866,"completion_tokens":463,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":482,"completion_tokens_details":{"reasoning_tokens":370}},"tokens_in":482,"tokens_out":463,"duration_ms":4968,"temperature":1.0,"reasoning_tokens":370,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:53:18.323058+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute the same optimum on a velodrome represented with exact elliptical ends rather than the first-order expansion, and add a constraint that the normal reaction at the surface stays positive, a grip limit; if the fastest line or the final 200 m time changes by more than a few hundredths of a second, the close agreement with athlete data would be shown to be non-decisive. Alternatively, timed trials in which a rider deliberately holds a measurably different lateral line and still matches the predicted 9.7 s would indicate the model is missing a relevant constraint.","supporting_citations":[{"cited_title":"Torque and power-velocity relationships in cycling: relevance to track sprint performance in world-class cyclists","cited_arxiv_id":null,"evidence_quote":"Supplies the linear torque--cadence pedalling model and the elite cyclist parameter values for the maximum torque and cadence."},{"cited_title":"Numerical optimization, second edition","cited_arxiv_id":null,"evidence_quote":"Provides the constrained-optimization formulation and second-order solution framework used for the minimum-time problem."},{"cited_title":"On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming","cited_arxiv_id":null,"evidence_quote":"Supplies the interior-point barrier method used to enforce the velodrome boundary constraints."},{"cited_title":"https://assetrio2016.azureedge.net/_odf-documents/c/t/CTM001900_ Results_2016_08_12_2797f6c2_59ec_47cc_b9ba_934d32474041.pdf, 2019","cited_arxiv_id":null,"evidence_quote":"Provides the Olympic qualifying final 200 m times that the computed 9.7 s result is compared with."},{"cited_title":"The anaerobic power reserve and its applicability in professional road cycling","cited_arxiv_id":null,"evidence_quote":"Provides the exponential fatigue power decay model and aerobic power plateau used to set the initial velocity and the sprint timescale."},{"cited_title":"Riding against the wind: a review of competition cycling aerodynamics","cited_arxiv_id":null,"evidence_quote":"Supplies the aerodynamic drag parametrization and the streamlined drag-area value used in the drag force."}],"review_version":1}