[논문 리뷰] On extremal cacti with respect to the edge Szeged index and edge-vertex Szeged index

Shengjie He, Rong‐Xia Hao외 1명|arXiv (Cornell University)|2017. 11. 07.

Graph theory and applications인용 수 3

한 줄 요약

이 논문은 순서 $n$ 와 $k$ 개의 사이클을 가진 카티스(cacti)에 대해 최소 엣지 셰게드 지수와 엣지-정점 셰게드 지수를 결정하며, 이러한 지수의 최적 구조가 공통 정점에 연결된 $k$ 개의 삼각형으로 이루어진 패키지에 $n-2k-1$ 개의 펜던트 엣지가 부착된 그래프임을 증명한다. 결과적으로, 이 지수들의 정확한 하한값을 제공하고, 카티스 클래스 내에서 두 지수에 대해 유일한 최적 구조를 규명한다.

ABSTRACT

The edge Szeged index and edge-vertex Szeged index of a graph are defined as $Sz_{e}(G)=\sum\limits_{uv\in E(G)}m_{u}(uv|G)m_{v}(uv|G)$ and $Sz_{ev}(G)=\frac{1}{2} \sum\limits_{uv \in E(G)}[n_{u}(uv|G)m_{v}(uv|G)+n_{v}(uv|G)m_{u}(uv|G)],$ respectively, where $m_{u}(uv|G)$ (resp., $m_{v}(uv|G)$) is the number of edges whose distance to vertex $u$ (resp., $v$) is smaller than the distance to vertex $v$ (resp., $u$), and $n_{u}(uv|G)$ (resp., $n_{v}(uv|G)$) is the number of vertices whose distance to vertex $u$ (resp., $v$) is smaller than the distance to vertex $v$ (resp., $u$), respectively. A cactus is a graph in which any two cycles have at most one common vertex. In this paper, the lower bounds of edge Szeged index and edge-vertex Szeged index for cacti with order $n$ and $k$ cycles are determined, and all the graphs that achieve the lower bounds are identified.

연구 동기 및 목표

• 순서 $n$ 과 $k$ 개의 사이클을 가진 카티스에 대해 엣지 셰게드 지수와 엣지-정점 셰게드 지수의 하한값을 결정하기.
• 이 하한값을 도달하는 모든 카티스를 특성화하기.
• 최적 그래프가 공통 정점에 연결된 $k$ 개의 삼각형과 $n-2k-1$ 개의 펜던트 엣지를 가진 구조임을 확립하기.
• 엣지 및 엣지-정점 셰게드 지수를 도입하고 분석함으로써 기존의 카티스 그래프에서의 위상적 지수 연구를 확장하기.
• 미래의 최대 지수 및 기타 그래프 클래스에 대한 연구를 위한 기초를 마련하기.

제안 방법

• 논문은 엣지 셰게드 지수를 $Sz_e(G) = \sum_{uv \in E(G)} m_u(uv|G) m_v(uv|G)$ 로 정의하며, 여기서 $m_u(uv|G)$ 는 정점 $u$ 에 더 가까운 엣지의 수를 세는 것이다.
• 엣지-정점 셰게드 지수를 $Sz_{ev}(G) = \frac{1}{2} \sum_{uv \in E(G)} [n_u(uv|G) m_v(uv|G) + n_v(uv|G) m_u(uv|G)]$ 로 정의하며, $n_u$ 는 정점 $u$ 에 더 가까운 정점의 수를 세는 것이다.
• 저자는 최적의 카티스가 모든 사이클을 끝 블록(end-blocks)으로 가지며, 모든 컷 엣지(cut edges)가 펜던트 엣지(pendant edges)여야 한다는 구조적 보조정리를 사용한다.
• 변형 보조정리(예: 보조정리 3.3 및 보조정리 3.4)를 적용하여, 3보다 큰 길이의 사이클은 최소 지수를 도출하지 못함을 증명한다.
• 후보 최적 그래프인 $C_0(n,k)$, 즉 $k$ 개의 삼각형이 한 정점에 모여 있고 $n-2k-1$ 개의 펜던트 엣지가 부착된 그래프에 대해 두 지수의 닫힌 형태 식을 유도한다.
• 증명은 구조적 변화에 따른 지수 값 비교와 사이클 길이 및 엣지 분포에 대한 귀납법과 사례 분석에 기반한다.

실험 결과

연구 질문

• RQ1 순서 $n$ 과 $k$ 개의 사이클을 가진 모든 카티스 중에서 엣지 셰게드 지수의 최소 가능한 값은 무엇인가?
• RQ2 순서 $n$ 과 $k$ 개의 사이클을 가진 모든 카티스 중에서 엣지-정점 셰게드 지수의 최소 가능한 값은 무엇인가?
• RQ3 주어진 $n$ 과 $k$ 에 대해 최소 엣지 셰게드 지수를 도달하는 카티스의 구조는 어떤 것인가?
• RQ4 주어진 $n$ 과 $k$ 에 대해 최소 엣지-정점 셰게드 지수를 도달하는 카티스의 구조는 어떤 것인가?
• RQ5 최적 그래프는 사이클 구조와 펜던트 엣지 분포 측면에서 유일하게 특성화될 수 있는가?

주요 결과

• 순서 $n \geq 5$ 인 $\mathcal{C}(n,k)$ 내의 모든 카티스에 대해 최소 엣지 셰게드 지수는 $2kn + 2k^2 - 5k$ 이며, 이 값은 그래프 $C_0(n,k)$ 에서 유일하게 도달된다.
• 순서 $n \geq 5$ 인 $\mathcal{C}(n,k)$ 내의 모든 카티스에 대해 최소 엣지-정점 셰게드 지수는 $\frac{1}{2}(n^2 - 3n + 3kn - 5k + 2)$ 이며, 이 값은 유일하게 $C_0(n,k)$ 에서 도달된다.
• 최적 그래프 $C_0(n,k)$ 는 공통 정점에 연결된 $k$ 개의 삼각형과 그 정점에 $n - 2k - 1$ 개의 펜던트 엣지를 가진다.
• 변형 보조정리를 통해 3보다 큰 길이의 사이클은 최소 지수를 도출하지 못함을 보였으며, 이는 더 긴 사이클을 삼각형으로 대체함으로써 지수 값이 감소함을 보여준다.
• 최적 그래프에서 모든 컷 엣지는 펜던트 엣이어야 하며, 모든 사이클은 끝 블록(end-blocks)이어야 하므로, $C_0(n,k)$ 의 구조적 유일성이 확인된다.
• 결과는 정확하고 날카로우며, 등호는 지정된 패키지 구조에서만 성립함이 그래프 변형에 따른 지수 비교를 통해 증명되었다.