[論文レビュー] Complementary upper bounds for fourth central moment with extensions and applications

Rashmi Sharma, Ravinder Kumar+2 more|arXiv (Cornell University)|Mar 12, 2015

Matrix Theory and Algorithms参考文献 15被引用数 3

ひとこと要約

本稿は、有限区間内に制限された確率変数の4次の中心モーメントに対する補完的な上界を確立し、古典的結果（ポポビチュの不等式やナギの不等式など）を精緻化・拡張する不等式を導出する。ヒルベルト行列のスプレッドおよび実根をもつ多項式のスパンに対するタイトな境界を提供し、モーメントに基づく不等式と、スペクトル理論および多項式の根の局在化への応用を用いる。

ABSTRACT

We prove some inequalities involving fourth central moment of a random variable that takes values in a given finite interval. Both discrete and continuous cases are considered. Bounds for the spread are obtained when a given nxn complex matrix has real eigenvalues. Likewise, we discuss bounds for the spans of polynomial equations.

研究の動機と目的

• 有界区間内に制限された確率変数の4次の中心モーメントに関する新しい不等式を導出すること。
• 古典的不等式（例：ポポビチュ、ナギ）を高階モーメント、特に4次の中心モーメントに拡張すること。
• これらのモーメント不等式を、ヒルベルト行列のスプレッドおよび実根をもつ多項式のスパンを束縛するために応用すること。
• モーメントに基づく制約を用いて、行列固有値スプレッドおよび多項式の根の範囲の既存の推定値を改善すること。

提案手法

• 中心化変数における2次不等式を用いて、4次の中心モーメント μ₄ ≤ (M−m)⁴/12 という上界を導出する。
• 2次および3次中心モーメントを含む精緻化された上界を確立する：上側尾部に対して μ₄ ≤ (μ₂² − (μ₁′−m)²μ₂)/(μ₁′−m) および対称的な下側尾部に対して同様の形。
• 固有値のトレースおよび分散を用いて、ヒルベルト行列の固有値にこれらのモーメント不等式を適用する。
• ニュートンの恒等式を用いて、多項式の根のべき和と係数との関係を確立し、実根多項式のスパンに関する境界を可能にする。
• トレースがゼロ（xⁿ⁻¹の係数が0）であるモニック多項式の根に、導出されたモーメント不等式を適用する。
• 有界区間における最適化技術を用いて、確率変数の範囲をモーメントの観点からタイトな境界で表す。

実験結果

リサーチクエスチョン

• RQ1 有限区間 [m, M] に制限された確率変数の4次の中心モーメントに対するタイトな上界は何か？
• RQ2 4次の中心モーメントは、低次のモーメント（μ₂, μ₃）および区間の端点に基づいてどのように束縛できるか？
• RQ3 これらのモーメント不等式を用いて、ヒルベルト行列のスプレッドに対する改善された境界を導出できるか？
• RQ4 これらの不等式は、実根をもつ多項式のスパンに対する既存の境界をどのように精緻化するか？
• RQ5 4次の中心モーメントの境界は、スチューデント化範囲および峰度と歪度の関係に対するより良い推定値をもたらすか？

主な発見

• 本稿は、任意の [m, M] 内に存在する確率変数の4次の中心モーメントについて、上界 μ₄ ≤ (M−m)⁴/12 を確立し、ポポビチュの分散に関する境界を一般化する。
• n ≥ 5 に対して、f(x) = xⁿ + a₂xⁿ⁻² + ... という実根多項式のスパンは、(24/n(a₂² − 2a₄))¹/⁴ ≤ spn(f) ≤ 2(a₂² − 2a₄)¹/⁴ を満たす。
• よりタイトな下界が得られる：spn(f) ≥ (432/n³(4(2−n)a₂³ − 9na₃² + 8na₂a₄))¹/⁶ であり、ナギおよびポポビチュの境界を改善する。
• ヒルベルト行列に関しては、スプレッドの下界が改善され、異なる不等式から spd(A) ≥ 6.0181 および spd(A) ≥ 6.8252 が得られ、標準的な境界を上回る。
• 行列スプレッドの境界 (3.12) は、spd(A₁) ≤ 13.559（(1.7) による 13.620 と比較）および spd(A₂) ≤ 11.934（ミルスキーによる 12.227 と比較）をもたらし、よりタイトな推定値を提供する。
• 結果として、歪度、峰度、およびスチューデント化範囲の間の関係が精緻化され、モーメント不等式から定量的な境界が導出される。