Search papers, labs, and topics across Lattice.
This paper investigates four distinct admissibility geometries—Blackwell risk dominance, anytime-valid admissibility, marginal coverage validity, and Ces\`aro approachability (CAA) admissibility—governing sequential and distribution-free inference. It proves that the classes of admissible procedures under these geometries are pairwise non-nested, highlighting the criterion-relative nature of admissibility. The work also explores the certificates of optimality associated with each geometry, such as supporting-hyperplane priors, nonnegative supermartingales, exchangeability ranks, and Ces\`aro steering arguments, and their relationships to martingale coherence.
Admissibility in predictive inference isn't a single concept, but four distinct, non-overlapping geometries, each with its own optimality certificate.
Four distinct admissibility geometries govern sequential and distribution-free inference: Blackwell risk dominance over convex risk sets, anytime-valid admissibility within the nonnegative supermartingale cone, marginal coverage validity over exchangeable prediction sets, and Ces\`aro approachability (CAA) admissibility, which reaches the risk-set boundary via approachability-style arguments rather than explicit priors. We prove a criterion separation theorem: the four classes of admissible procedures are pairwise non-nested. Each geometry carries a different certificate of optimality: a supporting-hyperplane prior (Blackwell), a nonnegative supermartingale (anytime-valid), an exchangeability rank (coverage), or a Ces\`aro steering argument (CAA). Martingale coherence is necessary for Blackwell admissibility and necessary and sufficient for anytime-valid admissibility within e-processes, but is not sufficient for Blackwell admissibility and is not necessary for coverage validity or CAA-admissibility. All four criteria share a common optimization template (minimize Bayesian risk subject to a feasibility constraint), but the constraint sets operate over different spaces, partial orders, and performance metrics, making them geometrically incompatible. Admissibility is irreducibly criterion-relative.
