{"id":"arxiv/2604.03218","url":"https://arxiv.org/abs/2604.03218","tags":["math.ST","math.PR","stat.ML"],"score":0,"title":"Power one sequential tests exist for weakly compact $\\mathscr P$ against $\\mathscr P^c$","domain":"math.ST","source":"arxiv","authors":["Ashwin Ram","Aaditya Ramdas"],"reviews":0,"subject":"math.ST","summary":"We study power-one sequential testing for an i.i.d. law on a Polish sample space. Given a nonempty composite null class $\\Pcal\\subseteq\\mathcal M_1(\\X)$, we ask when there exists a level-$α$ stopping rule that rejects almost surely under every alternative in a prescribed class $\\Qcal\\subseteq\\Pcal^c$. Our main sufficient condition is local weak lower semicontinuity and positivity of the information projection functional \\( Φ_\\Pcal(Q):=\\inf_{P\\in\\Pcal}\\KL(Q\\|P). \\) In particular, if $\\Pcal$ is weakly compact, then for every $α\\in(0,1)$ there is a single level-$α$ sequential test with power…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-03","reactions":{}}