被覆率の制約下で予測手法を逐次選ぶための信頼集合
Sequential Confidence Sets for Coverage-Constrained Conformal Model Selection
この論文をやさしく読む
ひとことで言うと
被覆率を守りながら費用の小さい予測手法を選ぶため、時系列に沿って更新できる信頼集合を設計した理論研究です。
何に役立つ？
複数の共形予測手法を運用中に比較するとき、制約を満たす候補と最適かもしれない候補を分けて評価するのに役立ちます。
この研究の面白いところ
定常性を仮定せず、途中で評価を止めても全時点を同時に扱う保証を与えています。境界では安全な認定ができないことも示します。
どこまで分かった？
要旨が示す中心的成果は有限標本での数学的保証です。実データでの性能や計算費用に関する結果は要旨に記されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
現代の共形予測システムには、基礎予測器、適合度スコア、較正窓、更新規則が異なる複数の適応的な処理系がある。その比較では被覆率が必須の制約であり、効率はその制約を満たす処理系の間でだけ最適化すべきである。本研究は、この問題を、確率的な制約付き最小化解集合に関する逐次推論として定式化する。各時点の対象は、複数の時点までの平均条件付き非被覆率の制約を満たす処理系のうち、費用が最小のものの集合である。 提案する被覆率制約付き逐次モデル信頼集合（CC-SMCS）は、制約を確実に満たす処理系、満たす可能性がある処理系、制約付き最適解となる可能性がある処理系を区別する。同時マルチンゲール信頼列を使って長方形の信頼領域を制約付き最小解集合へ射影し、厳密な閉形式の規則を得る。確率少なくとも1−δで、全時点にわたり、すべての制約付き最適処理系を同時に含む。この有限標本保証には定常性や混合性の仮定が不要で、データに応じて停止しても成り立つ。また、被覆率の境界上で安全に適合を認定することの不可能性を示し、結果が遅れて得られる複数の予測期間や、結果に依存する効率指標へ拡張する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Modern conformal forecasting systems often maintain several adaptive pipelines that differ in base forecasters, conformity scores, calibration windows, and update rules. Comparing them is difficult because coverage is a hard constraint, whereas efficiency should be optimized only among feasible pipelines. We formulate this problem as sequential inference for a stochastic constrained argmin. At each time, the target is the set of minimum-cost pipelines satisfying multiple prefix-average conditional miscoverage constraints. We introduce Coverage-Constrained Sequential Model Confidence Sets (CC-SMCS), which separate certifiably feasible, possibly feasible, and possibly constrained-optimal pipelines. Using simultaneous martingale confidence sequences, CC-SMCS projects a rectangular confidence region onto the constrained argmin and admits an exact closed-form rule. With probability at least $1-\delta$, it contains every constrained-optimal pipeline simultaneously over all times. This finite-sample guarantee requires no stationarity or mixing assumptions and remains valid under data-dependent stopping. We also establish an impossibility result for safe certification at the coverage boundary and extend the construction to delayed multi-horizon feedback and outcome-dependent efficiency objectives.
arXiv ID: 2609.28522 ／ 要約の誤りについて