Search papers, labs, and topics across Lattice.
This paper addresses density-free, simulation-based sequential hypothesis testing between two distributions $P_0$ and $P_1$ by constructing an e-test martingale. This approach yields a sequential test with anytime-valid type-I error guarantees, approximate growth optimality, and geometrically decaying type-II error bounds. The key contribution is a compact, effective, and anytime-valid solution for this challenging setting.
Sequential hypothesis testing without explicit densities is now possible with anytime-valid error control and near-optimal performance.
For a given data distribution $(X_t)_{t \in \mathbb{N}} \sim Q$ i.i.d., we investigate the hypothesis testing problem: $H_0: Q = P_0$ vs. $H_1: Q = P_1$, for two different model probability distributions $P_0$ and $P_1$. In contrast to the standard setting, where analytic densities $p_0$ and $p_1$ are given, here, we consider the density-free setting, where we only have access to i.i.d. simulations $(Z^0_t)_{t \in \mathbb{N}} \sim P_0$ and $(Z^1_t)_{t \in \mathbb{N}} \sim P_1$. For this simulation-based hypothesis testing setting, we construct an e-test martingale, resulting in a sequential test with anytime-valid type-I error guarantees, approximate growth optimality, geometrically decaying type-II error bounds, and asymptotic power one. Most ingredients used in our constructions are variants of well known concepts. The value of this paper lies in the compact presentation of an effective, anytime-valid solution for the density-free simulation-based sequential hypothesis testing case.
