[論文レビュー] New lower bounds for the Geometric-Arithmetic index

Álvaro Martínez-Pérez, José M. Rodrı́guez|arXiv (Cornell University)|Mar 16, 2017

Graph theory and applications被引用数 7

ひとこと要約

本稿では、グラフの幾何平均・算術平均指標 $GA_1$ の新しい下界を、頂点の最小次数と最大次数のみを用いて確立する。最小次数 $δ$ および最大次数 $Δ$ を持つグラフに対して、$GA_1(G)$ は $√{\delta\Delta}/(\delta + \Delta)$ を含む式で下から抑えられ、等号を達成する極値グラフ（$K_{2,\Delta}$ や奇数 $Δ$ の場合の特定の構成 $H_\Delta$ を含む）を同定する。主な貢献は、$GA_1$ 極値構造の理解を深めるために、タイトで次数に依存する下界を提供することにある。

ABSTRACT

The concept of geometric-arithmetic index was introduced in the chemical graph theory recently, but it has shown to be useful. The aim of this paper is to obtain new inequalities involving the geometric-arithmetic index $GA_1$ and characterize graphs extremal with respect to them. Our main results provide lower bounds $GA_1(G)$ involving just the minimum and the maximum degree of the graph $G$.

研究の動機と目的

• グラフ $G$ の最小 $\delta$ および最大 $\Delta$ 次数にのみ依存する、幾何平均・算術平均指標 $GA_1(G)$ の新しい下界を導出すること。
• これらの下界で等号を達成するグラフを同定し、極値構造（$K_{2,\Delta}$ や $H_\Delta$ を含む）を特定すること。
• 特に既知の下界との比較において、$GA_1$ の振る舞いと頂点次数分布の関係をより深く理解すること。
• 特に $\Delta \geq 28$ の場合に、辺数および次数構成のケース別分析を通じて、下界のタイトさを検証すること。
• 極値グラフ $K_{2,\Delta}$ が $\mathcal{G}_{2,\Delta}$ 内で $GA_1$ の最大値を達成するのは $\Delta \geq 28$ のときのみであることを示し、閾値条件を解消すること。

提案手法

• 頂点次数に基づく辺貢献 $\frac{2\sqrt{d_ud_v}}{d_u + d_v}$ をモデル化する関数 $f(t) = \frac{2t}{1+t^2}$ を用いて、$GA_1(G)$ の一般下界を導出する。
• 補題 2.3 を適用し、$\delta$ および $\Delta$ で辺貢献を評価し、$\frac{2\sqrt{\delta\Delta}}{\delta + \Delta} \leq \frac{2\sqrt{d_ud_v}}{d_u + d_v} \leq 1$ を確立する。
• $\mathcal{G}_{\delta,\Delta}$ 内の極値グラフ（$K_{2,\Delta}$ や $H_\Delta$ を含む）を分析し、固定された $\delta$ および $\Delta$ の下で $GA_1(G)$ が最小または最大に達する条件を同定する。
• 辺数や次数分布（例：$|E(G)| = 2\Delta$ または $\leq 2\Delta - 1$）のケース別分析を実施し、$GA_1$ 値における厳密な不等号を検証する。
• 数値的検証を通じて、$\frac{2\sqrt{2\cdot 3}}{5} \approx 0.98$ および $\frac{2\sqrt{28\cdot 2}}{30} \approx 0.996$ といった不等式を確認し、臨界構成における $GA_1$ 下界の妥当性を裏付ける。
• 奇数 $\Delta$ の場合に $H_\Delta$ を導入する。このグラフは、2つの頂点が次数 $\Delta$、$\Delta-1$ 個の頂点が次数 2 であり、特定の辺接続を持つもので、極値性のテストに用いられる。

実験結果

リサーチクエスチョン

• RQ1 最小および最大頂点次数 $\delta$ および $\Delta$ のみに依存する、$GA_1(G)$ の最もタイトな可能な下界は何か？
• RQ2 導出された下界で等号を達成するグラフはどれであり、それらの構造的性質は $\delta$ および $\Delta$ とどのように関係するか？
• RQ3 $\Delta$ がどの値のとき、$\mathcal{G}_{2,\Delta}$ 内のすべてのグラフの中で $K_{2,\Delta}$ が $GA_1(G)$ を最大にする唯一のグラフとなるか？
• RQ4 $\Delta < 28$ の場合、$\mathcal{G}_{2,\Delta}$ 内の $K_{2,\Delta}$、$H_\Delta$ 以及其他のグラフにおける $GA_1(G)$ の値はどのように比較されるか？
• RQ5 $GA_1(G)$ が下界 $2\Delta \cdot \frac{2\sqrt{2\Delta}}{\Delta + 2}$ を厳密に上回る構造的条件は何か？また、等号が達成される条件は何か？

主な発見

• 任意の $m$ 条辺、最小次数 $\delta$、最大次数 $\Delta$ を持つグラフ $G$ に対して、$GA_1(G) \geq \frac{2m\sqrt{\delta\Delta}}{\delta + \Delta}$ が成り立つ。
• 下界 $GA_1(G) = \frac{2m\sqrt{\delta\Delta}}{\delta + \Delta}$ で等号が成立するのは、$G$ が正則グラフ、または次数 $\delta$ と $\Delta$ の部分集合を持つ二部グラフである場合に限る。
• $\Delta \geq 28$ の場合、$\mathcal{G}_{2,\Delta}$ 内のすべてのグラフの中で $K_{2,\Delta}$ が $GA_1$ の最大値を達成し、$GA_1(K_{2,\Delta}) = 2\Delta \cdot \frac{2\sqrt{2\Delta}}{\Delta + 2}$ となる。
• 奇数 $\Delta \geq 29$ の場合、$H_\Delta$ に対して $GA_1(H_\Delta) = 2(\Delta-1)\frac{2\sqrt{2\Delta}}{2 + \Delta} + 1$ が成り立ち、この値は $GA_1(K_{2,\Delta})$ より厳密に小さい。
• $\Delta \leq 27$ の場合、$\Delta$ が奇数であれば $GA_1(H_\Delta) < GA_1(K_{2,\Delta})$ であり、$\Delta$ が偶数であれば、すべての $G \in \mathcal{G}_{2,\Delta}$ に対して $GA_1(G) < GA_1(K_{2,\Delta})$ が成り立つ。
• $\mathcal{G}_{2,\Delta}$ 内で $GA_1$ の最大値を達成する極値グラフが $K_{2,\Delta}$ であるのは、$\Delta \geq 28$ のときであり、$\Delta = 28$ が閾値として明確に特定される。