[논문 리뷰] The partition dimension of corona product graphs

Juan A. Rodríguez‐Velázquez, Ismael G. Yero외 1명|arXiv (Cornell University)|2010. 10. 25.

Graph Labeling and Dimension Problems참고 문헌 3인용 수 15

한 줄 요약

이 논문은 $G \odot H$의 코로나 곱 그래프의 분할 차원 $pd(G \odot H)$를 조사하여, $G$, $H$, 그리고 그들의 메트릭 차원의 매개변수에 따라 날카로운 상한과 정확한 값을 도출한다. 논문은 $pd(G \odot H) \leq \frac{1}{n_1} \text{dim}(G \odot H) + pd(G) + 1$을 증명하고, 예를 들어 $n_1 > 2n_2 + 1 \geq 5$일 때 $pd(P_{n_1} \odot K_{n_2}) = n_2 + 2$와 $n_1 \geq n_2 \geq 2$일 때 $pd(P_{n_1} \odot N_{n_2}) = n_2 + 1$와 같은 정확한 값을 제시하여 유도된 부등식의 날카로움을 입증한다.

ABSTRACT

Given a set of vertices $S=\{v_1,v_2,...,v_k\}$ of a connected graph $G$, the metric representation of a vertex $v$ of $G$ with respect to $S$ is the vector $r(v|S)=(d(v,v_1),d(v,v_2),...,d(v,v_k))$, where $d(v,v_i)$, $i\in \{1,...,k\}$ denotes the distance between $v$ and $v_i$. $S$ is a resolving set of $G$ if for every pair of vertices $u,v$ of $G$, $r(u|S) e r(v|S)$. The metric dimension $dim(G)$ of $G$ is the minimum cardinality of any resolving set of $G$. Given an ordered partition $Π=\{P_1,P_2, ...,P_t\}$ of vertices of a connected graph $G$, the partition representation of a vertex $v$ of $G$, with respect to the partition $Π$ is the vector $r(v|Π)=(d(v,P_1),d(v,P_2),...,d(v,P_t))$, where $d(v,P_i)$, $1\leq i\leq t$, represents the distance between the vertex $v$ and the set $P_i$, that is $d(v,P_i)=\min_{u\in P_i}\{d(v,u)\}$. $Π$ is a resolving partition for $G$ if for every pair of vertices $u,v$ of $G$, $r(u|Π) e r(v|Π)$. The partition dimension $pd(G)$ of $G$ is the minimum number of sets in any resolving partition for $G$. Let $G$ and $H$ be two graphs of order $n_1$ and $n_2$ respectively. The corona product $G\odot H$ is defined as the graph obtained from $G$ and $H$ by taking one copy of $G$ and $n_1$ copies of $H$ and then joining by an edge, all the vertices from the $i^{th}$-copy of $H$ with the $i^{th}$-vertex of $G$. Here we study the relationship between $pd(G\odot H)$ and several parameters of the graphs $G\odot H$, $G$ and $H$, including $dim(G\odot H)$, $pd(G)$ and $pd(H)$.

연구 동기 및 목표

• 코로나 곱 그래프 $G \odot H$의 분할 차원 $pd(G \odot H)$를 $G$, $H$, 그리고 그들의 메트릭 차원의 매개변수와 관련지어 결정하는 것.
• $\text{dim}(G \odot H)$, $pd(G)$, $pd(H)$에 따라 $pd(G \odot H)$의 상한과 하한을 도출하고, 이러한 상한과 하한의 날카로움을 입증하는 것.
• $G = P_{n_1}$이고 $H = K_{n_2}$ 또는 $H = N_{n_2}$인 특수 케이스를 분석하여 분할 차원에 대한 정확한 값을 제공하는 것.

제안 방법

• 논문은 메트릭 표현과 정렬된 분할에 대한 정점의 표현을 사용하여, 분할 차원 $pd(G)$를 해석하는 데 최소한의 집합 수로 구성된 분할을 정의한다.
• 논문은 레마 1을 적용하여 $G \odot H$의 해석 집합의 구조를 분석하여, 각 복사본 $H_i$가 해석 집합으로부터 적어도 한 개의 정점을 포함해야 한다는 것을 보여준다.
• 논문은 $P_{n_1} \odot K_{n_2}$와 $P_{n_1} \odot N_{n_2}$에 대해 명시적인 해석 분할을 구성하여 분할 차원의 정확한 값을 증명한다.
• 특히 $n_1 > 2c(H) + 1$ 또는 $n_1 > \beta(H)$일 경우, 모순 증거와 서로 다른 분할 표현의 수를 세는 방식을 통해 하한을 도출한다.
• 증명 기법은 $G$, $H_i$, 전체 $G \odot H$ 그래프 내의 정점 간의 거리 비교에 기반하며, 특히 분할 집합으로부터의 거리를 구분하는 데 중점을 둔다.
• 분할 벡터 내에서 정점 유형(예: $H_i$ 내부, $G$ 내부, 또는 고립 정점)에 따른 케이스 구분과 그 표현 방식을 분석한다.

실험 결과

연구 질문

• RQ1 $pd(G \odot H)$와 메트릭 차원 $\text{dim}(G \odot H)$, $pd(G)$, $pd(H)$ 사이의 관계는 무엇인가?
• RQ2 $pd(G \odot H)$가 $n_2 + 2$ 또는 $n_2 + 1$과 같은 정확한 값을 갖는 조건는 무엇인가?
• RQ3 $pd(G \odot H)$의 상한과 하한은 얼마나 날카로운가? 그리고 이러한 경우는 언제 달성되는가?

주요 결과

• $n_1 > 2n_2 + 1 \geq 5$일 때 $P_{n_1} \odot K_{n_2}$의 분할 차원은 정확히 $n_2 + 2$이며, 이는 유도된 상한의 날카로움을 입증한다.
• $n_1 \geq n_2 \geq 2$일 때 $P_{n_1} \odot N_{n_2}$의 분할 차원은 정확히 $n_2 + 1$이며, 이 값은 구성된 해석 분할을 통해 달성된다.
• $pd(G \odot H) \leq \frac{1}{n_1} \text{dim}(G \odot H) + pd(G) + 1$의 상한이 확립되었고, 특정 그래프 가족에 대해 날카로움이 입증되었다.
• $H = K_{n_2}$일 때 $n_1 > 2n_2 + 1$이면 $pd(G \odot H) \geq n_2 + 2$이며, 이 경우 $G = P_{n_1}$일 때 날카로운 상한이 된다.
• $H$가 $\beta(H) \geq 2$개의 고립 정점을 가지며 $n_1 > \beta(H)$이면 $pd(G \odot H) \geq \beta(H) + 1$이며, 이러한 조건 하에서는 등호가 성립하지 않는다.
• 유도된 상한과 하한은 $P_{n_1} \odot K_{n_2}$와 $P_{n_1} \odot N_{n_2}$와 같은 특수 케이스에서 정확한 값이 도출되어 날카로움이 확인되었으며, 이는 이론적 한계의 타당성을 검증한다.