{"id":"arxiv/2601.05217","url":"https://arxiv.org/abs/2601.05217","tags":["math.ST","cs.IT","math.PR"],"score":0,"title":"A complete characterization of testable hypotheses","domain":"math.ST","source":"arxiv","authors":["Martin Larsson","Johannes Ruf","Aaditya Ramdas"],"reviews":0,"subject":"math.ST","summary":"We revisit a fundamental question in hypothesis testing: given two sets of probability measures $\\mathcal{P}$ and $\\mathcal{Q}$, when does a nontrivial (i.e.\\ strictly unbiased) test for $\\mathcal{P}$ against $\\mathcal{Q}$ exist? Le~Cam showed that, when $\\mathcal{P}$ and $\\mathcal{Q}$ have a common dominating measure, a test that has power exceeding its level by more than $\\varepsilon$ exists if and only if the convex hulls of $\\mathcal{P}$ and $\\mathcal{Q}$ are separated in total-variation distance by more than $\\varepsilon$. The requirement of a dominating measure is frequently violated…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-08","reactions":{}}