[論文レビュー] An extension of Maclaurin's inequalities

Vladimir Nikiforov|arXiv (Cornell University)|Aug 8, 2006

Advanced Combinatorial Mathematics参考文献 5被引用数 4

ひとこと要約

本稿では、完全グラフから一般のグラフへマクレーリンの不等式を拡張するために、クリーク上の重み付き対称和を導入し、任意のグラフ $G$ と非負の頂点重み $\mathbf{x}$ に対して、列 $\rho_s(G,\mathbf{x})^{1/s}$ が $s$ に関して非増加であることを証明する。ここで $\rho_s$ は $s$-クリーク和を $\binom{\omega}{s}$ で正規化したものである。主な貢献は、モツキン＝ストロウスおよびカジエヴァノフの古典的結果を統一的に一般化する解析的証明であり、等号成立の条件は、均等な $\omega$-部グラフ構造によって完全に特定される。

ABSTRACT

We give a combinatorial extension of the classical inequalities of Maclaurin about symmetric functions of several variables. We discuss two problems - one analytical and another combinatorial - and show that they are in some sense equaivalent. These results complete and extend earlier results of Motzkin and Straus, Khadzhiivanov, Sos and Straus, Fisher and Ryan, and Petingi and Rodriguez.

研究の動機と目的

• 完全グラフから任意のグラフへ、重み付きクリーク和を用いてマクレーリンの不等式を一般化すること。
• モツキン＝ストロウス、カジエヴァノフ、ソース＝ストロウス、ファイザー＝レイアンの先行研究を、統一的な解析的枠組みの下で統合的かつ拡張すること。
• 正規化された $s$-クリーク平均が等しくなる正確な条件を同定し、等号成立の特徴付けに関する長年のギャップを解消すること。

提案手法

• グラフ $G$ のすべての $s$-クリークにおける頂点重みの積の和を $f_s(G,\mathbf{x})$ と定義し、$\rho_s(G,\mathbf{x}) = f_s(G,\mathbf{x}) \binom{\omega}{s}^{-1}$ とする。ここで $\omega$ はクリーク数である。
• 同次性と制約付き最適化を用いて、すべての $\mathbf{x} \geq 0$ に対して不等式 $\rho_1(G,\mathbf{x}) \geq \rho_2(G,\mathbf{x})^{1/2} \geq \cdots \geq \rho_\omega(G,\mathbf{x})^{1/\omega}$ を証明する。
• ラグランジュ乗数法と補題2による反復的摂動を用い、$f_s = 1$ の下で $f_{s+1}$ の最大値が、その台が完全グラフをなすときに達成されることを示す。
• 台に誘導される部分グラフにマクレーリンの不等式を適用することで、不等式の連鎖を導出する。
• 等号 $\rho_s^{1/s} = \rho_{s+1}^{1/(s+1)}$ が成立する条件を同定し、$s$-クリークの頂点集合が、各部に等しい総重みを持つ完全 $\omega$-部グラフを誘導することであることを示す。
• 重み付き不等式と組合せ的不等式 $\frac{k_1(G)}{\binom{\omega}{1}} \geq \left(\frac{k_2(G)}{\binom{\omega}{2}}\right)^{1/2} \geq \cdots \geq \left(\frac{k_\omega(G)}{\binom{\omega}{\omega}}\right)^{1/\omega}$ の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 グラフ $G$ と非負重みベクトル $\mathbf{x}$ に対して、正規化された $s$-クリーク和 $\rho_s(G,\mathbf{x})^{1/s}$ が $s$ の変化にかかわらず一定であるのはどのような条件下か？
• RQ2 対称平均に関するマクレーリンの古典的不等式を、完全グラフを越えて任意のグラフへどのように一般化できるか？
• RQ3 一般化されたマクレーリン不等式における等号が成立するためのグラフ構造と重み割り当ての正確な形態は何か？
• RQ4 解析的不等式と組合せ的クリーク数不等式の間で、同値性がどのように生じるか？
• RQ5 一般化されたマクレーリン不等式の等号ケースは、グラフの分割と重み分布の観点から完全に特徴付け可能か？

主な発見

• すべてのグラフ $G$ とすべての $\mathbf{x} \geq 0$ に対して、不等式 $\rho_1(G,\mathbf{x}) \geq \rho_2(G,\mathbf{x})^{1/2} \geq \cdots \geq \rho_\omega(G,\mathbf{x})^{1/\omega}$ が成り立ち、これは完全グラフ $K_n$ におけるマクレーリンの不等式を任意のグラフへ拡張するものである。
• 等号 $\rho_s^{1/s}(G,\mathbf{x}) = \rho_{s+1}^{1/(s+1)}(G,\mathbf{x})$ が成立するのは、$s$-クリークに属する頂点集合が、各部に等しい総重みを持つ完全 $\omega$-部グラフを誘導する場合に限る。
• この不等式は、$k_s(G)$ が $s$-クリークの数を表すとすると、組合せ的連鎖 $\frac{k_1(G)}{\binom{\omega}{1}} \geq \left(\frac{k_2(G)}{\binom{\omega}{2}}\right)^{1/2} \geq \cdots \geq \left(\frac{k_\omega(G)}{\binom{\omega}{\omega}}\right)^{1/\omega}$ と同値である。
• この結果は、重みベクトル $\mathbf{x}$ がすべて1のベクトルである場合にツーランの定理とジコフの定理を特別な場合として含む。
• 証明により、$f_s(G,\mathbf{x}) = 1$ の下で $f_{s+1}(G,\mathbf{x})$ の最大値が、非ゼロ重みがサイズが $\omega$ 以下のクリーク上に集中しているときに達成され、最適構造はその台上の完全グラフであることが示された。
• 等号成立の条件は、カジエヴァノフの先行研究における誤った等号条件のギャップを解消するものであり、等号成立には完全 $\omega$-部グラフ構造に加え、各部の重みが均等であることの両方が必要であることが示された。