[논문 리뷰] Topological Criteria for Hypothesis Testing with Finite-Precision Measurements

Philip Boeken, Eduardo Skapinakis외 2명|arXiv (Cornell University)|2026. 01. 20.

Statistical Methods and Inference인용 수 0

한 줄 요약

논문은 표본 공간의 열린 의사결정 영역과 약한 위상에서의 확률 측정에 기반해 유한 정밀도 관측하에서 두 통계적 가설 세트를 일관되게 구분할 수 있는 필요충분조건을 제시한다.

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-테스트에서 의사결정 영역의 개방성으로 두 가설 세트를 일관되게 검정할 수 있는지 특징짓는다.
• 특징: 위상적 속성(F_sigma, closed, clopen)을 다양한 일관성 모드 및 균일 오차 제어와 연결한다.
• 개발된 프레임워크를 조건부 독립성 검정에 적용하고 규칙성 가정에 대한 함의를 논의한다.

제안 방법

• IID 샘플과 이진 결과에 대해 열린 FP-테스트를 사용하는 가설 검정을 모델링한다.
• 확률측도 공간에 대한 약한 위상을 사용하고 H0, H1를 W=H0∪H1 안의 P(X) 부분집합으로 분석한다.
• 동등성 증명: 일관된 FP-테스트의 존재은 약한 위상에서 H0와 H1이 F_sigma인 것과 서로 필요충분조건이며; 그리고 균일한 오류 제어를 위한 조건들을 보인다.
• 조건부 독립성에 대한 시사점을 보여주기 위해 조건부 독립성의 밀도성 및 조건부 의존성의 밀도성의 광범위한 설정에서 보이고, 테스트 가능한 조건부 독립성의 회복 가능성을 위한 Lipschitz-정규성 조건을 제안한다.

실험 결과

연구 질문

• RQ1 Under what topological conditions on H0 and H1 does a consistently FP-test exist?
• RQ2 When can FP-tests achieve uniform error control under H0 and/or H1?
• RQ3 What are the implications of these topological criteria for conditional independence testing?
• RQ4 How do finite-precision considerations influence the design of decision regions in hypothesis testing?
• RQ5 What regularity assumptions (e.g., Lipschitz continuity) restore testability for conditional independence?

주요 결과

• 일관된 FP-테스트의 존재는 오직 H0와 H1이 약한 위상에서 F_sigma인 경우에만 가능하다.
• H0와/또는 H1이 W에서 닫혀 있고, 이들의 닫힘들이 서로 소이며 콤팩트할 때 균일한 오류 제어와 균일한 일관성을 확보할 수 있다.
• 두 가설이 주변 공간에서 서로 상대적으로 콤팩트하고 닫힘이 서로 분리되어 있는 경우, 균일하게 일관된 FP-테스트가 존재한다.
• 조건부 독립성 검정은 일반적으로 일관적으로 FP-테스트 가능하지 않다; 조건부 분포의 Lipschitz 연속성 가정에서 테스트 가능해진다.
• 본 연구는 테스트 가능성을 위상적 속성과 연결시키며, 열린 임계 영역 같은 규칙성 요건이 선행 연구에서 제기한 이슈를 해결한다.