[논문 리뷰] New lower bounds for the Geometric-Arithmetic index

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

Graph theory and applications인용 수 7

한 줄 요약

이 논문은 그래프의 기하-산술 지표 $GA_1$에 대한 새로운 하한을 최소 및 최대 정점 차수만을 사용하여 설정한다. 최소 차수 $\delta$와 최대 차수 $\Delta$를 가진 그래프에 대해 $GA_1(G)$는 $\sqrt{\delta\Delta}/(\delta + \Delta)$를 포함하는 표현식으로 아래에서 유계임을 증명하며, 등호를 만족하는 극값 그래프를 특성화한다. 이는 $K_{2,\Delta}$와 홀수 $\Delta$에 대해 정의된 특수 구성인 $H_\Delta$를 포함한다. 주요 기여는 $GA_1$ 극값 구조에 대한 이해를 향상시키는 날카운 degree 기반 하한을 제공한다.

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$일 때, 간선 수와 차수 구성에 대한 사례 분석을 통해 하한의 날카움을 검증하기 위해.
• $\mathcal{G}_{2,\Delta}$ 내에서 $K_{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$ 값에서의 엄밀한 부등식을 검증한다.
• 특수 구성에서의 $GA_1$ 하한을 확인하기 위해 $\frac{2\sqrt{2\cdot 3}}{5} \approx 0.98$ 및 $\frac{2\sqrt{28\cdot 2}}{30} \approx 0.996$와 같은 부등식의 수치적 검증을 수행한다.
• 홀수 $\Delta$에 대해 정의된 그래프 $H_\Delta$를 도입하며, 이는 두 개의 $\Delta$ 차수 정점, $\Delta-1$개의 2차수 정점 및 특정 간선 연결을 포함하여 극값 성질을 시험한다.

실험 결과

연구 질문

• RQ1 최소 및 최대 정점 차수 $\delta$ 및 $\Delta$에만 의존하는 $GA_1(G)$에 대한 가장 날카운 가능한 하한은 무엇인가?
• RQ2 유도된 하한에서 등호를 만족하는 그래프는 무엇이며, 그들의 구조적 특성은 $\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}$를 엄밀히 초월하는 구조적 조건은 무엇이며, 등호는 언제 성립하는가?

주요 결과

• 모든 그래프 $G$에 대해 $m$개의 간선, 최소 차수 $\delta$, 최대 차수 $\Delta$를 가질 때, $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$가 짝수이면 $\mathcal{G}_{2,\Delta}$ 내 모든 $G$에 대해 $GA_1(G) < GA_1(K_{2,\Delta})$이다.
• $\mathcal{G}_{2,\Delta}$ 내에서 $GA_1$ 최댓값을 달성하는 극값 그래프는 $\Delta \geq 28$일 때에만 $K_{2,\Delta}$이며, 이는 $\Delta = 28$에서 임계 조건을 설정한다.