Satellite conjunction analysis and the false confidence theorem
arXiv:1706.08565 · doi:10.1098/rspa.2018.0565
Abstract
Satellite conjunction analysis is the assessment of collision risk during a close encounter between a satellite and another object in orbit. A counterintuitive phenomenon has emerged in the conjunction analysis literature, namely, probability dilution, in which lower quality data paradoxically appear to reduce the risk of collision. We show that probability dilution is a symptom of a fundamental deficiency in probabilistic representations of statistical inference, in which there are propositions that will consistently be assigned a high degree of belief, regardless of whether or not they are true. We call this deficiency false confidence. In satellite conjunction analysis, it results in a severe and persistent underestimate of collision risk exposure. We introduce the Martin--Liu validity criterion as a benchmark by which to identify statistical methods that are free from false confidence. Such inferences will necessarily be non-probabilistic. In satellite conjunction analysis, we show that uncertainty ellipsoids satisfy the validity criterion. Performing collision avoidance maneuvers based on ellipsoid overlap will ensure that collision risk is capped at the user-specified level. Further, this investigation into satellite conjunction analysis provides a template for recognizing and resolving false confidence issues as they occur in other problems of statistical inference.
18 pages, 3 figures
References in corpus (1)
Cited by in corpus (7)
- False confidence, non-additive beliefs, and valid statistical inference
- Possibility-theoretic statistical inference offers performance and probativeness assurances
- Generalized inferential models for censored data
- A possibility-theoretic solution to Basu's Bayesian--frequentist via media
- Asymptotic efficiency of inferential models and a possibilistic Bernstein--von Mises theorem
- Possibilistic inferential models: a review
- Large-sample theory for inferential models: a possibilistic Bernstein--von Mises theorem