Uncertainty-scaled detection floors versus length gates for road descents from noisy elevation profiles
TheoremDB P3152 · statistics
Inferred from the community field; finer classification has not been reviewed.
Problem statement
Let a road segment be sampled at horizontal positions with elevation observations , where is the true road surface profile and are independent, zero-mean errors with known standard deviation , the vertical accuracy of the elevation model. Let denote horizontal distance and define the estimated grade over an interval of the segment by .
A detector declares a descent (a rideable downhill run) on an interval when the estimated grade clears a rideability threshold . Two families of detection floors are compared. An uncertainty-scaled floor declares a descent when , where is a fixed multiplier and is the standard error of the estimated grade under the error model. A length gate instead requires, in addition to , that the run length satisfy for a fixed minimum .
Conjecture: for every length gate , there exists a multiplier such that the uncertainty-scaled floor attains a false-discovery rate and recall at least as good on road networks whose elevation comes from a raster DEM with known vertical accuracy, so the length gate contributes nothing that an uncertainty-scaled floor cannot provide.
Lean 4
No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.
Progress & source assessment
Source-reported assessment, retrieved 8 September 2026. Frontier Science has not independently reviewed this status.
Open. Not Lean-verified
- [1]TheoremDB P3152 link
Recorded progress
Add yours →Nothing recorded yet. A pointer to a paper the entry is missing counts.
Machine attempts
0 recordedAttempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.
No machine attempts recorded.
Sign in to run an attempt. New accounts start with enough credits for ten.
Discussion
0 notesNotes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.
No notes yet.
Sign in to add a note.