arXiv論文メモ
新着一覧
math.PR · 査読状況未確認

劣ガンマ分布の分散代理値と極の交換関係を求める

Feasible Frontiers for Sub-Gamma Envelopes: the Variance--Pole Trade-off for Infinitely Divisible Laws

Yichuan Chen, Xin Wang

この論文をやさしく読む

ひとことで言うと

確率分布の上側の尾を抑える劣ガンマ上界で、分散の代理値を変えたとき極の最良値がどう動くかを調べる研究。

何に役立つ?

確率的な偏差の上界を選ぶ際、分散代理値を実際の分散に固定することによる損失を評価する理論的な根拠になる。

この研究の面白いところ

実現可能な組の境界全体を厳密に求め、境界が平らになる場合と、分散から離れた直後に平方根型または立方根型で下がる場合を区別する。

どこまで分かった?

理論は中心化された無限分解可能分布で、有限かつ正の分散を持つ場合を対象とする。4~30%や13%という損失は要旨に記載された具体例の水準に関する。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

右側の劣ガンマ型の上界は、二次の代理値vと極cで表されるが、その組は一意ではない。どちらかを大きくしても上界は保たれる。vを分散Vに固定すると二次の次数での曖昧さは消えるが、それは慣例であって必然ではない。本研究では、中心化され、有限で0ではない分散を持つ無限分解可能な分布について、実現可能な組の境界全体を、vから最小の極c_*(v)への写像として決定する。正規化されたコルモゴロフの標準測度にBeta(1,2)の乗数を掛けると、実現可能性は一次元の比較に帰着し、厳密な変分公式が得られる。境界は凸で非増加であり、実現可能な集合も凸である。 モーメント母関数の収束境界は、vに依存しないc_*の下限を与える。そのため、分散と等しいvでの極がこの下限にある分布では境界が平らになる。一方、第三キュムラントから来る障害はv=Vの場合にだけ存在する。その極が二つの下限の両方より厳密に高ければ、vをVより大きくした直後から境界は厳密に下がる。さらに制御が純粋に局所的で、κ₃²/(9V²)>κ₄/(12V)なら、下がり方は平方根型であり、残る境界の場合は立方根型になる。いずれもVでの導関数は負の無限大である。 次に、最適化した境界が正確なチェルノフ型の偏差を再現する条件を特徴付ける。ある偏差水準で等号が成立するのは、その水準に対応するルジャンドル変換の最大点で、境界上のどれかの組がキュムラント母関数に接する場合に限られる。具体例で表にした水準では、v=Vに固定すると4~30%の損失が生じる。中心化した指数分布ではどの水準でも差が残り、最大で13%に達する。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-09-19(UTC)
最新改訂
2026-09-19 · v1
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

A right sub-gamma bound is described by a quadratic proxy $v$ and a pole $c$, and the pair is not unique: enlarging either preserves it. Fixing $v$ at the variance $V$ removes the ambiguity at quadratic order but is a convention, not a consequence. For centered infinitely divisible laws with finite nonzero variance we determine the entire boundary of the feasible set, the map $v\mapsto c_*(v)$. A Beta$(1,2)$ multiplier applied to the normalised Kolmogorov canonical measure turns feasibility into a one-dimensional comparison and yields an exact variational formula: the frontier is convex, nonincreasing, and its feasible set is convex. The abscissa of convergence of the moment generating function imposes a $v$-insensitive floor on $c_*$, so a law whose variance-exact pole sits on it has a flat frontier, whereas the third-cumulant obstruction exists only at $v=V$. Whenever that pole lies strictly above both floors the frontier drops strictly as soon as $v>V$; if the control is also purely local with $\kappa_3^2/(9V^2)>\kappa_4/(12V)$, the drop has a square-root profile, and in the remaining boundary case a cube-root profile, with derivative $-\infty$ at $V$ either way. We then characterise when the optimised frontier reproduces the exact Chernoff deviation: equality holds at a level exactly when some pair on the frontier is tangent to the cumulant generating function at a Legendre maximiser for that level. At the levels tabulated in a worked example $v=V$ costs four to thirty percent; for a centered exponential a gap persists at every level, reaching thirteen percent.

著者のコメント

27 pages

arXiv ID: 2609.23069 / 要約の誤りについて