論文：平均・分散・尖度制約下での最悪ケース裾確率を導出──4つのレジームで構成される相図を提示
平均0・分散1・尖度κの確率変数に対し、片側裾確率の厳密な上限を導出し、尖度制約が有効な領域を特定した。
リリース: 2026-07-06 · 読了 5 分記事の要約
1. 核心（What）
- 平均0、分散1、尖度κ以下の確率変数クラスにおける最悪ケースの片側裾確率 V1(t,κ) を厳密に計算した。
- 裾確率の挙動を、Cantelliの不等式がタイトな領域を含む4つのレジーム（Cantelli tongue、tail、plateau、central）に分類した。
- 尖度制約下での最悪ケースにおける、平方和（SOS）証明の最小次数が領域に応じて2または4であることを証明した。
- AI駆動型検索パイプライン「LemmaForge」を用いて、Zelen(1954)やHe et al.(2010)の既存定数を独立に再検証した。
2. 影響（Why）
- 高度な確率論的保証の基盤: 尖度制約という現実的な仮定の下で、経験的な確率評価を超えた理論的に厳密な裾確率の限界値を提供し、リスク管理や異常検知の精度を向上させる。
- 国内の金融・リスク管理現場への影響: [金融・保険業のデータサイエンス部門] のような中規模以上の組織において、従来型のチェビシェフの不等式よりもタイトな制約をモデルに組み込むことで、極端な外れ値に対する堅牢なリスク評価を設計できる。
3. 根拠・詳細（How）
- 4レジームの数学的マッピング: 閾値 t と尖度 κ のパラメータ空間を、閉形式の解を持つ tail regime や plateau regime など4つの領域に分割し、各領域での厳密な分布と双対証明を提示。
- LemmaForgeによるパイプライン検証: AI駆動型の証明支援パイプライン「LemmaForge」を用い、パラメータグリッド上で厳密算術による再検証を行い、既存の古典的ベンチマークであるZelen(1954)の対称スライス境界を再現した。
4. 展望・課題（Next）
- 高次モーメントへの拡張: 本研究で確立した4次モーメントまでの制約を、さらに高次のモーメント制約下での裾確率評価へと拡張する課題が残されている。