Simultaneous, post-hoc inference is desirable in large-scale hypotheses testing as it allows for exploration of data while deciding on criteria for proclaiming discoveries. It was recently proved that all admissible post-hoc inference methods for the number of true discoveries must be based on closed testing. In this paper we investigate tractable and efficient closed testing with local tests of different properties, such as monotonicty, symmetry and separability, meaning that the test thresholds a monotonic or symmetric function or a function of sums of test scores for the individual hypotheses. This class includes well-known global null tests by Fisher, Stouffer and Ruschendorf, as well as newly proposed ones based on harmonic means and Cauchy combinations. Under monotonicity, we propose a new linear time statistic ("coma") that quantifies the cost of multiplicity adjustments. If the tests are also symmetric and separable, we develop several fast (mostly linear-time) algorithms for post-hoc inference, making closed testing tractable. Paired with recent advances in global null tests based on generalized means, our work immediately instantiates a series of simultaneous inference methods that can handle many complex dependence structures and signal compositions. We provide guidance on choosing from these methods via theoretical investigation of the conservativeness and sensitivity for different local tests, as well as simulations that find analogous behavior for local tests and full closed testing. One result of independent interest is the following: if $P_1,\dots,P_d$ are $p$-values from a multivariate Gaussian with arbitrary covariance, then their arithmetic average P satisfies $Pr(P \leq t) \leq t$ for $t \leq \frac{1}{2d}$.
翻译:在大型假设测试中, 超常、 超常的推断是可取的, 因为它允许在决定公布发现的标准时进行数据勘探。 最近证明, 所有允许的真实发现数量的超常推断方法都必须以封闭测试为基础。 在本文中, 我们通过对不同属性的本地测试, 如单调、 对称和分离等, 来调查可移动和有效的封闭测试。 如果测试也具有对称和对称功能, 或个人假设的测试分数之和。 这包括众所周知的 Fisher、 Stouffer 和 Ruschendorf 的全球全局性测试, 以及基于调和调的组合的新建议。 在单调状态下, 我们提出一个新的线性时间统计( “ coma ”), 以降低多重调整的成本。 如果测试也是对等值和对等值的, 我们为后推法的快速( 主要是线性) 算算法, 并且通过直线性测试, 以近一线性值的信号性值测试方式 。