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

技術要約：任意のタイミングで有効なエビデンスを伴うオンライン仮説のための動的e-closure（Dynamic e-closure）

問題設定
本論文は、現代の統計的検定における「二重の逐次性（dual-sequentiality）」の問題に取り組んでいる。すなわち、仮説が時間の経過とともに到着する（オンライン設定）一方で、既存の仮説に対するエビデンスが継続的に進化し、任意の停止時刻において検証可能である（any-time設定）という状況である。このシナリオは、既存の治療群へのリクルートメントが継続している間に新しい治療群が追加される、プラットフォーム試験のような継続的な運用が行われるコンテキストにおいて発生し、共有コントロール（shared controls）がストリーム間の依存関係を誘発する。

核心となる課題は、停止時刻（stopping time）において、停止時刻とアクティブな真の帰無仮説の集合の両方がランダムである状況下で、有効な誤差制御（具体的には偽発見率、FDR）をどのように維持するかである。古典的な閉検定（closed testing）や固定時刻のe-closureは、ここで機能しない。なぜなら、「停止時刻におけるアクティブな真の帰無仮説の共通部分」はランダムな対象であるが、標準的なe-processの保証は、固定された共通部分または固定された停止時刻に対して定義されているからである。さらに、標準的なオンライン・クロージャ手法は、仮説の到着時にエビデンスが凍結されることを前提としている場合が多いが、これは進化するエビデンスに対応できていない。

手法およびフレームワーク
著者は、以下の3つの既存の柱に基づいた**動的e-closure（dynamic e-closure）**の理論を構築している：

1. 固定時刻のe-closure： 交差e値（intersection e-values）を用いて、一連の棄却集合を同時に証明する。
2. オンライン・クロージャ： 将来の仮説が現在の決定を無効にすることを防ぐための予測可能性条件を用いる。
3. グローバルなフィルタリングの妥当性： （共有コントロールを含む）グローバルな情報の流れに適応した停止時刻の下でも、e-processが有効であることを保証する。

このフレームワークは、動的交差e-processの集合 $(E^S_t)_{t \ge 0, S \subseteq I}$ を導入する。ここで、$S$ は交差仮説を表し、$t$ はグローバルなエビデンス時刻を表す。この集合には、2つの重要な条件が課される：

• 将来拡張の一貫性（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）： 将来拡張の一貫性の下では、現在のアクティブなファミリーから計算されたクロージャは、より大きな有限のホライゾンで計算されたクロージャの制限と同一であることを証明している。
   • ランダムな共通部分の局所化（Random-Intersection Localization）： 主要な補題として、将来拡張の一貫性を持つ集合において、停止時刻 $\tau$ におけるランダムなアクティブな真の帰無共通部分の証明は、固定された終端の共通部分の証明によって抑えられることを示している。これにより、ランダムな共通部分に対して標準的なオプション停止定理を適用することが可能になる。
   • フォワード定理（Forward Theorems）：
     • 集合が将来拡張の一貫性を持つ場合、得られる動的クロージャは**同時停止FDR（simultaneous stopped FDR）**を制御する。
     • 集合がさらに時間の単調性も持つ場合、そのクロージャは同時SupFDR（時間におけるFDPの上限の期待値）を制御し、集合的持続性（setwise persistence）（一度証明された集合は、その後も証明されたままとなること）を保証する。

2. 必要十分な特性付け：

   • 停止FDRまたはSupFDRの基準を満たすすべての手続きは、**標準的な正規化損失e-process（canonical normalized-loss e-processes）**によって生成される動的クロージャに含まれることを確立している。
   • これらの標準的な証明は、手続き自体のワーストケースの損失プロファイルを正規化することによって構築される。これは表現定理を提供する。すなわち、動的e-closureは、これらの誤差基準に対して（包含関係の範囲内で）必要かつ十分である。
   • この理論は、FDPを超えて、有界、単調、局所的な損失関数にも拡張される。

3. ホライゾンを跨ぐマージャー（併合）の許容性：

   • 座標e-processから、点別（pointwise）のマージャー規則を用いて交差プロセスを構築する方法を調査している。
   • ホライゾン間の剛性（Cross-Horizon Rigidity）： 増大する仮説ホライゾンに対して（特に、休眠中の仮説が中立な値1を寄与するニュートラル・パディングの下で）一貫性のある点別マージャーのファミリーであるためには、マージャーの重みが単一のグローバルに総和可能な重みシーケンスの制限でなければならないことを示している。
   • 対称性の不可能性（Symmetry Impossibility）： 無限個の仮説ユニバースにおいて、非自明で対称的かつ、任意の依存関係を持つ点別マージャーのファミリーは、非限定的なホライゾンに対して一貫性を持つことはできない。対称性はすべての重みをゼロに強制する。
   • 構成： 本論文は、「グローバルに重み付けされた射影クロージャ（globally weighted projective closure）」と、調整された実行最大値（running maxima）を用いた持続的な手続きの構成法を提供している。

4. グローバルなフィルタリングと共有コントロール：

   • 依存関係を誘発する共有コントロールが存在する場合でも、グローバルなフィルタリングの中で直接テスト・スーパーマーチンゲールを構築することで、妥当性が維持されることを検証している。
   • 固定時刻のPRDS（部分集合に対する正の回帰依存性）は、たとえ各決定論的な時刻においてp値が独立であったとしても、グローバルな停止ルールにおけるFDRの制御には不十分であることを示している。直接的な逐次的BH手続きは、グローバルな停止規則の下で失敗する可能性がある。

意義と主張
本論文は、オンラインでの仮説到着と、任意のタイミングでのエビデンス更新という「二重の逐次性」を統合する、動的e-closureのための初の包括的な理論を提供すると主張している。その主な意義は以下の通りである：

• ランダムな共通部分問題の解決： 将来拡張の一貫性と局所化を導入することで、固定された共通部分のe-processの妥当性と、停止時刻における仮説のランダムな性質との間の溝を埋めている。
• 誤差基準の統一： 持続的な集合ファミリーに対しては、固定時刻FDR、停止FDR、およびSupFDRの区別が消失することを示し、持続的な検定手続きの設計を簡素化している。
• マージャーの特性付け： 増大するホライゾンにわたるマージャー規則の制約を厳密に特徴付け、許容され、かつ一貫性のある、任意の依存関係を持つマージャーにはグローバルな重みの予算が必要であることを証明し、単純な対称的または再正規化されたアプローチを否定している。
• 実用的なベンチマーク： 「closed eBH」および「closed BY」が、有効なバッチ・エニータイム・ベンチマークであることを確立し、持続的な手続きを構築するためのレシピを提供している。

著者は、一般的なクロージャの計算量（アクティブな仮説の数に対して指数関数的である）や、決定論的なアクティブ集合の仮定などの限界についても言及している。今後の課題として、ランダムな仮説の到着、履歴依存のマージャー、およびスケーラブルなアルゴリズムが示唆されている。本論文は、すべてのプラットフォーム試験の複雑さ（例：遅延したアウトカム、規制上のルール）を解決することを目的としたものではなく、仮説の到着とエビデンスの進化という二重の逐次性を扱うための基礎的な理論的枠組みを提供するものである。