論文の概要: The Exact Worst-Case Tail Probability under Bounded Kurtosis
- arxiv url: http://arxiv.org/abs/2607.05226v2
- Date: Tue, 07 Jul 2026 15:33:32 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-08 14:37:43.352635
- Title: The Exact Worst-Case Tail Probability under Bounded Kurtosis
- Title(参考訳): 有界クルト症における排他的最悪のタイル確率
- Authors: Xiaoyu Li, Andi Han, Jiaojiao Jiang, Junbin Gao,
- Abstract要約: 片側テールコントロールのために、クルトーシスバウンドが何を買うか、正確に決定する。
平均$0$、分散$1$、そして少なくとも$$4の4モーメントを持つ実乱変数のクラス$mathcalC()$の場合、歪みは自由のままである。
- 参考スコア(独自算出の注目度): 39.91890433860882
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We determine exactly what a kurtosis bound buys for one-sided tail control. For the class $\mathcal{C}(κ)$ of real random variables with mean $0$, variance $1$, and fourth moment at most $κ$, the skewness left free, we compute the worst-case tail probability $V_1(t,κ)=\sup_{X\in\mathcal{C}(κ)}\mathbb{P}(X\geq t)$ for every threshold $t>0$ and every $κ\geq 1$. The answer is a four-regime map: a Cantelli tongue $b(κ)\le t\le c(κ)$ on which the two-moment bound $1/(1+t^2)$ remains tight and the kurtosis constraint is worthless; a tail regime $t\geq c(κ)$ with the closed form $V_1=(κ-1)/((t^2-1)^2+κ-1)$; a plateau regime, present only for $κ\le 3/2$, on which the worst case freezes and the value does not depend on $t$; and a central regime described exactly by an explicit algebraic system, provably admitting no closed form in nested square roots. Beyond $c(κ)$ the one-sided and two-sided worst cases coincide: Cantelli's improvement over Chebyshev is annihilated by fourth-moment information. The minimal degree of a sum-of-squares proof of the tight bound is $2$ on the closed tongue and $4$ everywhere else, an exact phase diagram of proof degree. Every closed-form regime carries an explicit dual certificate and an explicit extremal distribution, re-verified on parameter grids by an independent checker in exact arithmetic. The closed forms invert to exact worst-case quantiles, sharpen a median-of-means constant, and give the exact per-direction tail available to degree-4 reasoning under certifiable kurtosis. We found the map through an AI-guided search around the certifying pipeline, LemmaForge, which is validated on classical benchmarks, independently reproduces the symmetric-slice bound of Zelen (1954), and recovers the $2\sqrt{3}-3$ constant of He, Zhang, and Zhang (2010) at $t=0$.
- Abstract(参考訳): 片側テールコントロールのために、クルトーシスバウンドが何を買うか、正確に決定する。
平均$0$、分散$1$、そして最大$κ$の4モーメントを持つ実確率変数のクラス$\mathcal{C}(κ)$に対して、スキューネスは少なくとも$κ$で、最悪の場合のテール確率$V_1(t,κ)=\sup_{X\in\mathcal{C}(κ)}\mathbb{P}(X\geq t)$はすべてのしきい値$t>0$に対して$κ\geq 1$である。
Cantelli tongue $b(κ)\le t\le c(κ)$ 上の2つのモーメントの有界な1/(1+t^2)$ は厳密であり、クルトシスの制約は無価値である:tail regime $t\geq c(κ)$ 閉形式 $V_1=(κ-1)/((t^2-1)^2+κ-1)$ プラトー規則は、最悪のケースが凍結し値が$t$に依存しない$κ\le 3/2$ に対してのみ存在する。
Cantelli氏のChebyshevに対する改善は、第4モーメント情報によって消滅する。
厳密な境界の2乗証明の最小次数は、閉じた舌に2ドル、至る所で4ドルであり、証明の正確な位相図である。
すべてのクローズドフォームは明示的な二重証明と明示的な極端分布を持ち、正確な算術で独立したチェッカーによってパラメータグリッドに再検証される。
クローズドフォームは、正確な最悪の量子化に逆転し、平均値の定数を鋭くし、認証されたカルトシスの下での次数4の推論に正確な方向毎のテールを与える。
従来のベンチマークで検証されたLemmaForgeは、Zenlen (1954) の対称スライス境界を独立に再現し、He, Zhang, Zhang (2010) の定数 2\sqrt{3}-3$を$t=0$で回収する。
関連論文リスト
- Gradient-Free Warm-Start Library Recovery: an Amortized-Regret Separation [0.0]
勾配のない継続的学習、ローカル、オンライン、追加のみの学習は、エッジとストリーミングデプロイメントにとって魅力的なものだ。
繰り返し再生するストリームについて、証明可能な説明をします。
論文 参考訳(メタデータ) (2026-06-19T09:30:55Z) - Non-asymptotic Tail Bounds for the Kostlan--Shub--Smale Field: Tensor PCA and Spherical $k$-Spin Complexity [0.6627152091494143]
本論文では、球面上のコストラン-シュブ-スモールランダム場の上層に対して、明示的で漸近的でない尾境界の階層を構築する。
スパイクされたPCAと球面の$k$-spinモデルのランドスケープという2つの問題に適用できる。
論文 参考訳(メタデータ) (2026-06-16T08:27:25Z) - A Mathematical Theory of Top-$k$ Sparse Attention via Total Variation Distance [7.014801584517052]
我々は,分散レベルと出力レベルの両方でエラーを定量化する,Top-$$ attention truncationという統一フレームワークを開発した。
総偏差距離は捨てられたソフトマックスのテール質量と一致し,$mathrmTV(P,hat P)=1-e-mathrmTV(P,hat P)=1-e-mathrmTV(P,hat P)$を満たすことを示す。
論文 参考訳(メタデータ) (2025-12-08T15:36:41Z) - A Unified Framework for Uniform Signal Recovery in Nonlinear Generative
Compressed Sensing [68.80803866919123]
非線形測定では、ほとんどの先行結果は一様ではない、すなわち、すべての$mathbfx*$に対してではなく、固定された$mathbfx*$に対して高い確率で保持される。
本フレームワークはGCSに1ビット/一様量子化観測と単一インデックスモデルを標準例として適用する。
また、指標集合が計量エントロピーが低い製品プロセスに対して、より厳密な境界を生み出す濃度不等式も開発する。
論文 参考訳(メタデータ) (2023-09-25T17:54:19Z) - Beyond the Berry Phase: Extrinsic Geometry of Quantum States [77.34726150561087]
状態の量子多様体のすべての性質がゲージ不変のバーグマンによって完全に記述されることを示す。
偏光理論への我々の結果の即時適用について述べる。
論文 参考訳(メタデータ) (2022-05-30T18:01:34Z) - Stochastic behavior of outcome of Schur-Weyl duality measurement [45.41082277680607]
我々は、$n$ qubits上のシュル=ワイル双対性に基づく分解によって定義される測定に焦点をあてる。
我々は、$n$が無限大に進むとき、中心極限の一種を含む様々な種類の分布を導出する。
論文 参考訳(メタデータ) (2021-04-26T15:03:08Z) - The planted matching problem: Sharp threshold and infinite-order phase
transition [25.41713098167692]
ランダムに重み付けされた$ntimes n$ bipartite graphに隠された完全マッチング$M*$を再構築する問題について検討する。
任意の小さな定数 $epsilon>0$ に対して $sqrtd B(mathcalP,mathcalQ) ge 1+epsilon$ が成り立つ場合、任意の推定値の再構築誤差は $0$ から有界であることが示される。
論文 参考訳(メタデータ) (2021-03-17T00:59:33Z) - Near-Optimal SQ Lower Bounds for Agnostically Learning Halfspaces and
ReLUs under Gaussian Marginals [49.60752558064027]
ガウス境界の下では、半空間とReLUを不可知的に学習する基本的な問題について検討する。
我々の下限は、これらのタスクの現在の上限が本質的に最良のものであるという強い証拠を与える。
論文 参考訳(メタデータ) (2020-06-29T17:10:10Z) - Curse of Dimensionality on Randomized Smoothing for Certifiable
Robustness [151.67113334248464]
我々は、他の攻撃モデルに対してスムースな手法を拡張することは困難であることを示す。
我々はCIFARに関する実験結果を示し,その理論を検証した。
論文 参考訳(メタデータ) (2020-02-08T22:02:14Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。