Dynamic $e$-closure for online hypotheses with any-time-valid evidence: closure principles and projective mergers

기술 요약: 임의 시점 유효 증거를 갖는 온라인 가설에 대한 동적 e-closure (Dynamic e-closure for Online Hypotheses with Any-Time-Valid Evidence)

문제 설정
본 논문은 현대 통계 검정의 이중 순차성(dual-sequentiality) 문제를 다룬다: 즉, 가설은 시간에 따라 도착할 수 있고(온라인 설정), 기존 가설에 대한 증거는 임의의 정지 시간(stopping time)에서 검사될 수 있도록 계속 진화할 수 있다(any-time 설정). 이러한 시나리오는 새로운 치료군이 추가되는 동시에 기존 치료군의 모집이 계속되고, 공유 대조군(shared controls)이 스트림 간의 의존성을 유발하는 플랫폼 임상 시험과 같은 맥락에서 발생한다.

핵심 과제는 전역 정지 시간(global stopping times) 하에서 유효한 오차 제어(특히 허위 발견율, FDR)를 유지하는 것이다. 여기서 정지 시간과 활성 진성 귀무가설(active true-null hypotheses)의 집합은 모두 확률적이다. 고전적인 폐쇄 검정(closed testing)과 고정 시간 e-closure는 여기서 실패하는데, 그 이유는 정지 시간에서의 "활성 진성 귀무 교집합"이 확률적 대상인 반면, 표준 e-process 보증은 고정된 교집합 또는 고정된 정지 시간에 대해 정의되기 때문이다. 또한, 표준 온라인 closure 방법들은 대개 가설의 도착 시점에 증거가 고정된다고 가정하는데, 이는 진화하는 증거를 수용하지 못한다.

방법론 및 프레임워크
저자는 다음 세 가지 기존 기둥을 기반으로 한 동적 e-closure(dynamic e-closure) 이론을 개발한다:

1. 고정 시간 e-closure: 교차 e-value를 사용하여 가설 집합들을 동시에 인증함.
2. 온라인 closure: 미래의 가설이 현재의 결정을 무효화하는 것을 방지하기 위해 예측 가능성(predictability) 조건을 사용함.
3. 전역 필트레이션 유효성(Global filtration validity): (공유 대조군을 포함한) 전역 정보 흐름에 적응된 정지 시간 하에서도 e-process가 유효하도록 보장함.

이 프레임워크는 동적 교차 e-process 집합 $(E^S_t)_{t \ge 0, S \subseteq I}$를 도입한다. 여기서 $S$는 교차 가설을 나타내고 $t$는 전역 증거 시간을 나타낸다. 이 집합에는 두 가지 결정적인 조건이 부과된다:

• 미래 확장 일관성(Future-extension coherence): 아직 도착하지 않은 가설(휴면 가설)을 추가하더라도 현재의 인증 값($E^{S \cap I_t}_t \le E^S_t$)을 감소시킬 수 없다. 이는 결정이 더 큰 유한한 미래 지평(horizon)의 선택에 불변함을 보장한다.
• 시간 단조성(Time monotonicity): 인증 값은 시간에 따라 비감소해야 한다 ($t \le u$ 일 때 $E^S_t \le E^S_u$). 이는 시간 경과에 따른 오차율의 상한(supremum)을 제어하는 데 필요하다.

주요 기여 및 결과

1. 동적 e-closure 원리:

   • 지평 불변성(Horizon Invariance): 미래 확장 일관성 하에서, 현재 활성화된 가설로부터 계산된 closure는 더 큰 유한 지평에서 계산된 closure의 제한(restriction)과 동일함을 증명한다.
   • 확률적 교집합 국소화(Random-Intersection Localization): 핵심 보조정리는 미래 확장 일관성을 가진 집합에 대해, 정지 시간 $\tau$에서의 확률적 활성 진성 귀무 교집합에 대한 인증 값은 고정된 종단 교집합에 대한 인증 값에 의해 유계(bounded)될 수 있음을 보여준다. 이를 통해 확률적 교집합에 표준 선택 정지 정리(optional stopping theorems)를 적용할 수 있다.
   • 전방 정리(Forward Theorems):
     • 집합이 미래 확장 일관성을 가지면, 결과적인 동적 closure는 **동시 정지 FDR(simultaneous stopped FDR)**을 제어한다.
     • 만약 집합이 또한 시간 단조성을 가진다면, closure는 동시 SupFDR(시간에 따른 FDP의 기대 상한)을 제어하며 집합적 지속성(setwise persistence)(한번 인증된 집합은 계속 인증된 상태로 유지됨)을 보장한다.

2. 필요충분 조건의 특징 규명:

   • 본 논문은 정지된 FDR 또는 SupFDR 기준을 만족하는 모든 절차가 **정준 정규화 손실 e-process(canonical normalized-loss e-processes)**에 의해 생성된 동적 closure에 포함됨을 밝힌다.
   • 이러한 정준 인증 값들은 절차 자체의 최악의 손실 프로파일을 정규화함으로써 구성된다. 이는 표현 정리(representation theorem)를 제공한다: 즉, 동적 e-closure는 이러한 오차 기준들에 대해 (포함 관계 측면에서) 필요충분하다.
   • 이 이론은 FDP를 넘어 유계이고 단조적인 국소 손실 함수로 확장된다.

3. 지평 간의 가법적 병합(Admissible Mergers Across Horizons):

   • 저자는 좌표 e-process로부터 점별 병합 규칙(pointwise merger rules)을 사용하여 교차 프로세스를 구성하는 방법을 조사한다.
   • 지평 간 경직성(Cross-Horizon Rigidity): 성장하는 가설 지평(특히 휴면 가설이 중립적인 값 1을 기여하는 neutral padding 하에서)에 대해 가법적 점별 병합 가족이 일관성을 갖기 위해서는, 병합 가중치가 **단일 전역 합산 가능 가중치 수열(single globally summable weight sequence)**의 제한이어야 함을 보여준다.
   • 대칭성 불가능성(Symmetry Impossibility): 가산 무한 가설 우주에서, 유계되지 않은 지평에 대해 일관성을 갖는 비자명하고 대칭적인 임의 의존적 점별 병합 가족은 존재하지 않는다. 대칭성은 모든 가중치를 0으로 강제한다.
   • 구성: 논문은 "전역 가중 투영 closure(globally weighted projective closure)"와 조정된 실행 최대값(running maxima)을 사용한 지속적 절차를 위한 구성을 제공한다.

4. 전역 필트레이션 및 공유 대조군:

   • 저자는 (의존성을 유발하는) 공유 대조군이 존재하는 상황에서도 전역 필트레이션에서 직접 테스트 초마틴게일(test supermartingales)을 구성함으로써 유효성이 유지될 수 있음을 검증한다.
   • 결정론적 시간마다 p-값이 독립이라 하더라도, 고정 시간 PRDS(Positive Regression Dependency on a Subset)가 전역 정지 시간에서의 FDR 제어를 보장하기에는 불충분함을 입증한다. 직접적인 순차적 BH 절차는 전역 정지 규칙 하에서 실패할 수 있다.

의의 및 주장
본 논문은 가설의 온라인 도착과 증거의 any-time 업데이트를 통합하는 동적 e-closure를 위한 최초의 포괄적인 이론을 제공한다고 주장한다. 주요 의의는 다음과 같다:

• 확률적 교집합 문제 해결: 미래 확장 일관성과 국소화를 도입함으로써, 고정 교집합 e-process의 유효성과 활성 가설의 확률적 특성 사이의 간극을 메운다.
• 오차 기준의 통합: 집합적으로 지속적인 가족에 대해, 고정 시간 FDR, 정지된 FDR, 그리고 SupFDR 사이의 구분이 붕괴됨을 보여줌으로써 지속적 검정 절차의 설계를 단순화한다.
• 병합의 특징 규명: 성장하는 지평에 걸친 병합 규칙에 대한 제약을 엄격하게 규명하여, 가법적이고 일관된 임의 의존적 병합은 전역 가중 예산을 필요로 함을 증명하고, 단순한 대칭적 또는 재정규화된 접근 방식이 불가능함을 입증한다.
• 실무적 벤치마크: "closed eBH" 및 "closed BY"를 유효한 배치 any-time 벤치마크로 확립하고, 지속적 절차를 구축하기 위한 레시피를 제공한다.

저자는 일반적인 closure의 계산 복잡도(활성 가설 수에 따라 지수적으로 증가)와 결정론적 활성 집합 가정 등의 한계를 언급한다. 향후 연구로 확률적 가설 도착, 이력 의존적 병합, 확장 가능한 알고리즘 등을 제안한다. 본 논문은 플랫폼 시험의 모든 복잡성(예: 지연된 결과, 규제 규칙)을 해결한다고 주장하는 것이 아니라, 가설 도착과 증거 진화의 이중 순차성을 다루기 위한 기초적인 이론적 프레임워크를 제공하는 것이다.