[論文レビュー] Comparison of differences between arithmetic and geometric means

J. M. Aldaz|arXiv (Cornell University)|Jan 27, 2010

Analytic Number Theory Research被引用数 7

ひとこと要約

本稿は、異なる重み系列における算術平均と幾何平均の差の鋭い比較境界を確立し、このような差が重みの極端な比に支配されることを示している。重み系列αとβに対して、AM-GM差が、最小および最大の重み比に依存する定数倍によって、他方の重み系列に対するAM-GM差の上界および下界に制限されることを証明している。明示的な等号成立条件と、指数分布によるサンプリングにおける確率的漸近的挙動を含む。

ABSTRACT

We complement a recent result of S. Furuichi, by showing that the differences $\sum_{i=1}^n α_i x_i - \prod_{i=1}^n x_i^{α_i}$ associated to distinct sequences of weights are comparable, with constants that depend on the smallest and largest quotients of the weights.

研究の動機と目的

• 異なる重み系列における算術平均と幾何平均の差の比較可能性を確立すること。
• 重み比の極端な値に依存する、AM-GM差の明示的な上界および下界を導出すること。
• 導出された不等式における等号成立条件を同定すること。
• 高次元設定において、AM-GM差の典型的な大きさおよびGM/AM比を確率的手法を用いて分析すること。
• 重みに依存するスケーリングを用いたAM-GM不等式における自己改善技法の拡張すること。

提案手法

• 重み系列αとβに対して、min(αi/βi)およびmax(αi/βi)に比例する境界を有する、二重不等式を導出。
• 指数関数の凸性とジェンセンの不等式に基づく自己改善的議論を適用し、主な比較結果を導出。
• 変数変換xi = yi^sを用いて、AM-GM差を変数の平方根の分散に関連付ける。
• 指数分布およびℓ1-球面上の面積測度を用いた確率的手法を用い、nが大きい場合のAM-GM差の典型的な挙動を分析。
• ドラゴミルおよびフルイチの結果を応用し、α_minおよびα_maxを含む既知の不等式の精密化と、新たな境界の導出。
• 測度の集中および大偏差の議論を用いて、nが大きい場合、AM-GM差がα_min,nまたはα_max,nに比例する値のまわりに集中することを示す。

実験結果

リサーチクエスチョン

• RQ1 正の重み系列が異なる場合、算術平均と幾何平均の差はどのように比較できるか？
• RQ2 ∑αixi − ∏xi^αi は、別の重み系列に関連する差の関数として有界化可能か？
• RQ3 導出されたAM-GM差の境界における等号成立条件は何か？
• RQ4 変数が指数分布からサンプリングされ、nが大きい場合、AM-GM差の典型的な大きさはどの程度か？
• RQ5 不等しい重みの下で、指数分布によるサンプリングにおいて、GM/AM比は漸近的にどのように振る舞うか？

主な発見

• 重みαに対するAM-GM差は、重みβに対するAM-GM差のmin(αk/βk)からmax(αk/βk)までの定数倍に抑えられ、定数は重み比の極端な値にのみ依存する。
• 下界における等号成立は、最小のαk/βk比を達成する集合に属さないすべての変数が、その集合内の変数の幾何平均に等しいときにかつそのときに限り成立する。
• 上界における等号成立は、最大のαk/βk比を達成する集合に属さないすべての変数が、その集合内の変数の幾何平均に等しいときにかつそのときに限り成立する。
• nが大きい場合、指数分布によるサンプリングのもとで、AM-GM差は高確率でα_min,nに比例する値のまわりに集中する。
• GM/AM比は高確率でexp(−nα_max,nγ)からexp(−nα_min,nγ)の間で集中する。ここでγはオイラー＝マスケローニ定数である。
• これらの結果は、ヤングの不等式の既知の精密化を拡張し、重み系列間でのAM-GM差の比較に自己整合的な枠組みを提供する。