[論文レビュー] Topological Criteria for Hypothesis Testing with Finite-Precision Measurements

Philip Boeken, Eduardo Skapinakis+2 more|arXiv (Cornell University)|Jan 20, 2026

Statistical Methods and Inference被引用数 0

ひとこと要約

論文は、有限精度の観測下で2つの統計的仮説集合を一貫して判別できる条件を、標本空間の開决策領域と確率測度上の弱トポロジーを用いて提示する。

ABSTRACT

We establish topological necessary and sufficient conditions under which a pair of statistical hypotheses can be consistently distinguished when i.i.d. observations are recorded only to finite precision. Requiring the test's decision regions to be open in the sample-space topology to accommodate finite-precision data, we show that a pair of null- and alternative hypotheses $H_0$ and $H_1$ admits a consistent test if and only if they are $F_σ$ in the weak topology on the space of probability measures $W := H_0\cup H_1$. Additionally, the hypotheses admit uniform error control under $H_0$ and/or $H_1$ if and only if $H_0$ and/or $H_1$ are closed in $W$. Under compactness assumptions, uniform consistency is characterised by $H_0$ and $H_1$ having disjoint closures in the ambient space of probability measures. These criteria imply that - without regularity assumptions - conditional independence is not consistently testable. We introduce a Lipschitz-continuity assumption on the family of conditional distributions under which we recover testability of conditional independence with uniform error control under the null, with testable smoothness constraints.

研究の動機と目的

• 科学全般における有限精度測定下での検証性の問題を動機づけ、既存基準のギャップを特定する。
• FPテストの決定領域の開集合性を用いて、2つの仮説集合が一貫して検証可能かを特徴づける。
• さまざまな一貫性のモードと一様誤り制御とを、トポロジ的性質（F_sigma、閉集合、開集合）に結びつける。
• 開発したフレームワークを条件付き独立性検定へ適用し、正則性仮定の含意を論じる。

提案手法

• i.i.d.サンプルと有限精度決定領域（FPテスト）が二値結果に対して開集合であることをモデル化する。
• 確率測度の弱トポロジーを用い、H0, H1をW=H0∪H1内のP(X)の部分集合として分析する。
• 同値性を証明する：一貫した FP テストの存在 ↔ 弱トポロジーでの H0 および H1 が F_sigma、そして一様誤り制御の条件。
• 広範な設定の下で条件付き独立性の密度性と条件付き依存性を示すことにより影響を示し、テスト可能性の回復に対するリプシッツ正規性条件を提案する。

実験結果

リサーチクエスチョン

• RQ1 H0とH1に関するどのトポロジー条件のときに一貫した FPテストが存在するのか？
• RQ2 H0および/またはH1の下でFPテストは一様誤り制御を達成できるのか？
• RQ3 これらのトポロジー基準が条件付き独立性検定に与える影響は何か？
• RQ4 仮説検証における決定領域の設計に有限精度の考慮がどのように影響するのか？
• RQ5 条件付き独立性を回復可能にするリプシッツ連続性などの正則性仮定は何か？

主な発見

• 一貫した FP テストが存在するのは、H0 と H1 が弱トポロジーで F_sigma である場合と同値である。
• H0 および/または H1 が弱トポロジー W で閉集合である場合に限り一様誤り制御が可能であり、閉集合が分離している場合にはコンパクト性の下で一様一貫性が成り立つ。
• 両仮説が周囲空間内で相対的にコンパクトかつ閉集合が分離していれば、一様に一貫した FP テストが存在する。
• 条件付き独立性検定は一般には一貫してFPテスト可能ではないが、条件分布のリプシッツ連続性仮定の下で検証可能になる。
• 本論は検証性をトポロジ的性質と結びつけ、開集合的臨界領域といった正則性要件が従来研究の問題を解決することを示す。