A novel finite-sample testing procedure for composite null hypotheses via pointwise rejection
Joonha Park, Ming Wang
TL;DR
This paper addresses bias in finite-sample composite-hypothesis testing by introducing a pointwise rejection framework: reject $H_0: \theta \in \Theta_0$ only if every simple null $H_0: \theta=\theta_t$, with $\theta_t\in\Theta_0$, is rejected at an inflated level $\alpha'$. Two formulas determine $\alpha'$ for different geometries of $\Theta_0$: Case A for manifolds without boundary via $\alpha' = P[\chi^2_{d_1} > \chi^2_{1-\alpha, d_1-d_0}]$, and Case B for manifolds with boundary via $1-\alpha = \tfrac{1}{2}\{ F_{\chi^2_{d_1-d_0}}(\chi^2_{1-\alpha', d_1}) + F_{\chi^2_{d_1-d_0+1}}(\chi^2_{1-\alpha', d_1}) \}$. The method extends to nuisance parameters by testing proxy simple nulls across a grid of nuisance values and yields confidence regions for the target parameter as a union over these proxies. Applications demonstrate finite-sample accuracy for interval, union, nuisance, and constrained-null regions, with favorable size and power relative to traditional LRTs and competing universal-inference methods. The approach broadens practical finite-sample inference to nonstandard null regions and offers a pathway to nonparametric extensions via bootstrap or empirical likelihood techniques.
Abstract
We propose a novel finite-sample procedure for testing composite null hypotheses. Traditional likelihood ratio tests based on asymptotic $χ^2$ approximations often exhibit substantial bias in small samples. Our procedure rejects the composite null hypothesis $H_0: θ\in Θ_0$ if the simple null hypothesis $H_0: θ= θ_t$ is rejected for every $θ_t$ in the null region $Θ_0$, using an inflated significance level. We derive formulas that determine this inflated level so that the overall test approximately maintains the desired significance level even with small samples. Whereas the traditional likelihood ratio test applies when the null region is defined solely by equality constraints--that is, when it forms a manifold without boundary--the proposed approach extends to null hypotheses defined by both equality and inequality constraints. In addition, it accommodates null hypotheses expressed as unions of several component regions and can be applied to models involving nuisance parameters. Through several examples featuring nonstandard composite null hypotheses, we demonstrate numerically that the proposed test achieves accurate inference, exhibiting only a small gap between the actual and nominal significance levels for both small and large samples.
