[论文解读] Safe hypotheses testing with application to order restricted inference

Ori Davidov|arXiv (Cornell University)|Feb 17, 2026

Statistical Methods in Clinical Trials被引用 0

一句话总结

介绍了一种针对有序约束假设检验的安全检验，通过将标准距离检验与有效性证书的辅助检验结合来减小 III 型错误，在保持检验力的同时确保渐近有效性。

ABSTRACT

Hypothesis tests under order restrictions arise in a wide range of scientific applications. By exploiting inequality constraints, such tests can achieve substantial gains in power and interpretability. However, these gains come at a cost: when the imposed constraints are misspecified, the resulting inferences may be misleading or even invalid, and Type III errors may occur, i.e., the null hypothesis may be rejected when neither the null nor the alternative is true. To address this problem, this paper introduces safe tests. Heuristically, a safe test is a testing procedure that is asymptotically free of Type III errors. The proposed test is accompanied by a certificate of validity, a pre--test that assesses whether the original hypotheses are consistent with the data, thereby ensuring that the null hypothesis is rejected only when warranted, enabling principled inference without risk of systematic error. Although the development in this paper focus on testing problems in order--restricted inference, the underlying ideas are more broadly applicable. The proposed methodology is evaluated through simulation studies and the analysis of well--known illustrative data examples, demonstrating strong protection against Type III errors while maintaining power comparable to standard procedures.

研究动机与目标

• 在有序约束下动机化假设检验并解决来自指定约束错误的风险。
• 开发一个安全检验框架，降低 Type A 问题中的 Type III 错误。
• 提供一个带有有效性证书的安全检验的具体构造，并评估其渐近性质。
• 通过仿真和示例数据分析演示该方法。

提出的方法

• 回顾距离检验（DT）的几何性质及其在 Type A 和 Type B 问题中的一致性。
• 通过将 DT 与辅助 DT 配对，并通过基区域的交集构造安全检验拒绝域来引入安全检验程序。
• 通过一个事前检验来控制辅助原假设并生成一个结合检验，具有安全的拒绝规则。
• 证明安全性和渐近性质，包括对安全检验规模的上界以及安全性成立的条件。
• 将该框架专门化到多面锥（polyhedral cones），并将其与具体现形的受限推断关联起来，给出接受区域的显式形式。
• 在二维示例中说明该方法，展示 Type III 错误如何被减缓。

实验结果

研究问题

• RQ1 有序约束检验在何种情形易出现 Type III 错误，以及如何量化这一风险？
• RQ2 是否可以构建一个组合检验程序，在保持对备选的检验力的同时消除渐近的 Type III 错误？
• RQ3 如何将有效性证书纳入有序约束下的假设检验？
• RQ4 在 Type A 问题（包括多面锥）中，安全检验的渐近性质和实际性能如何？
• RQ5 在低维示例中，安全检验与标准距离检验在有限样本下的比较如何？

主要发现

• 标准距离检验之所以在 Type A 问题中不安全，是因为在某些参数区域可能产生 Type III 错误。
• 通过将基准 DT 与辅助 DT 结合，可以得到一个避免渐近 Type III 错误的拒绝规则的安全检验。
• 安全检验的接受区域为辅助约束区域与原有约束区域的“增厚”版本，且其尺寸受名义显著水平 α 的上界约束。
• 对于多面锥，安全检验保持渐近安全性，并可通过投影到锥及其极锥来分析。
• 在二维示例中，安全检验在保持对约束集合内部的检验力的同时成功避免 Type III 错误，且有限样本下的权衡取决于 γ 和 n。