[论文解读] 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$ 的新下界。研究证明，对于最小度为 $\delta$、最大度为 $\Delta$ 的图 $G$，$GA_1(G)$ 的下界由涉及 $\sqrt{\delta\Delta}/(\delta + \Delta)$ 的表达式给出，并刻画了达到等式的极值图，包括 $K_{2,\Delta}$ 和特定构造如奇数 $\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$ 时的紧致性。
• 证明当且仅当 $\Delta \geq 28$ 时，极值图 $K_{2,\Delta}$ 在 $\mathcal{G}_{2,\Delta}$ 中实现 $GA_1$ 的最大值，从而确定一个临界条件。

提出的方法

• 通过函数 $f(t) = \frac{2t}{1+t^2}$ 推导 $GA_1(G)$ 的一般下界，该函数模拟基于顶点度数的边贡献 $\frac{2\sqrt{d_ud_v}}{d_u + d_v}$。
• 应用推论 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$，其定义为：两个度数为 $\Delta$ 的顶点，$\Delta-1$ 个度数为 2 的顶点，以及特定的边连接方式，用于测试极值性。

实验结果

研究问题

• RQ1 仅依赖于最小度 $\delta$ 和最大度 $\Delta$ 的 $GA_1(G)$ 的最紧可能下界是什么？
• RQ2 在推导的 $GA_1(G)$ 下界中，哪些图达到等式？其结构特性如何与 $\delta$ 和 $\Delta$ 相关联？
• RQ3 对于哪些 $\Delta$ 值，$K_{2,\Delta}$ 是 $\mathcal{G}_{2,\Delta}$ 中唯一实现 $GA_1(G)$ 最大值的图？
• RQ4 当 $\Delta < 28$ 时，$K_{2,\Delta}$、$H_\Delta$ 和 $\mathcal{G}_{2,\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}$ 成立。
• 当且仅当 $G$ 是正则图或两部分度数分别为 $\delta$ 和 $\Delta$ 的二分图时，$GA_1(G) = \frac{2m\sqrt{\delta\Delta}}{\delta + \Delta}$ 达到等式。
• 当 $\Delta \geq 28$ 时，图 $K_{2,\Delta}$ 在 $\mathcal{G}_{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$ 处确立了一个临界阈值。