[논문 리뷰] On the Partition Dimension and the Twin Number of a Graph

Carmen Hernando, Mercè Ferrater Mora외 1명|arXiv (Cornell University)|2016. 02. 29.

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

한 줄 요약

이 논문은 $ n \geq 9 $ 인 연결 그래프 중 분할 차원 $ n-2 $ 를 가진 그래프의 특성 분석을 재검토하여, 이전에 23개로 주장한 바를 수정하고 정확히 15개임을 보여준다. 이는 이전 연구에서의 동형 그래프 오류와 잘못된 가정 때문이며, 쌍둥이 수 개념과 쌍둥이 클래스 분석을 통합함으로써 분류를 정교화하고, 이전에 인용된 그래프들이 실제로는 분할 차원 $ n-3 $ 을 가지며 $ n-2 $ 가 아니라는 것을 입증한다. 구조적 그래프 이론과 거리 기반 분할 분석을 통해 이를 증명한다.

ABSTRACT

A partition P of the vertex set of a connected graph G is a locating partition of G if every vertex is uniquely determined by its vector of distances to the elements of P. The partition dimension of G is the minimum cardinality of a locating partition of G. A pair of vertices u,v of a graph G are called twins if they have exactly the same set of neighbors other than u and v. A twin class is a maximal set of pairwise twin vertices. The twin number of a graph G is the maximum cardinality of a twin class of G. In this paper we undertake the study of the partition dimension of a graph by also considering its twin number. This approach allows us to obtain the set of connected graphs of order n having partition dimension n-2. This set is formed by exactly 15 graphs, instead of 23, as was wrongly stated in the paper: "Discrepancies between metric dimension and partition dimension of a connected graph", published in Discrete Mathematics in 2008.

연구 동기 및 목표

• 이전에 23개의 그래프로 나열된 바가 있었지만, $ n \geq 9 $ 인 연결 그래프의 분할 차원 $ n-2 $ 를 잘못 특성화한 바를 수정하는 것.
• 쌍둥이 수라는 구조적 불변량(쌍둥이 정점의 최대 쌍둥이 집합 크기)을 통합하여 이러한 그래프의 분류를 정교화하는 것.
• 이전에 분할 차원 $ n-2 $ 를 가진다고 주장한 몇몇 그래프들이 실제로는 잘못된 가정으로 인해 분할 차원 $ n-3 $ 을 가진다는 것을 증명하는 것.
• 쌍둥이 클래스의 구조와 거리 기반 분할 분석을 통해 $ n \geq 9 $ 인 모든 연결 그래프 중 분할 차원 $ n-2 $ 를 가진 그래프를 정확히 특성화하는 것.
• 이전 연구에서 포함된 동형 그래프를 식별하고 잘못된 구성 요소를 수정함으로써 문헌 내 모순을 해결하는 것.

제안 방법

• 쌍둥이 수 $ \tau(G) $ 를 도입하여, 이는 쌍둥이 정점의 최대 쌍둥이 집합 크기이며, 고분할 차원을 가진 그래프의 가능성을 제약하는 구조적 불변량으로 사용한다.
• 위치 분할 개념을 적용한다: $ V(G) $ 의 분할 $ \Pi $ 가 각 정점의 분할의 부분으로 향한 거리 벡터가 유일할 경우 위치 분할이라 하며, 분할 차원 $ \beta_p(G) $ 는 이러한 분할 중 최소 크기이다.
• metric 차원 $ \beta(G) $ 를 사용하여 $ \beta_p(G) \leq \beta(G) + 1 $ 이라는 부등식을 적용하여 분할 차원을 알려진 불변량과 연결한다.
• 쌍둥이 수 $ \tau(G) \in \{n-4, n-3, n-2\} $ 에 기반한 케이스 분석을 수행하며, $ W $-집합(쌍둥이 집합)과 그 이웃의 구조를 분석하여 그래프를 분류한다.
• 구조적 보조정리를 적용하여 $ W $-구분 정점가 있는 그래프를 제거하고, $ N(W)\setminus W $ 에서 유도되는 부분그래프의 가능성을 제약하며, 거리 벡터를 사용하여 위치 분할의 존재 여부를 확인한다.
• 특정 분할 $ \Pi $ 를 $ k = n-3 $ 개의 부분으로 직접 구성하여 $ F_1 $ 과 같은 그래프에 대해 $ \beta_p(G) \leq n-3 $ 를 증명하고, 이는 이전에 $ \beta_p(G) = n-2 $ 라고 주장한 바와 모순된다.

실험 결과

연구 질문

• RQ1 정확히 몇 개의 연결 그래프가 $ n \geq 9 $ 에 대해 분할 차원 $ n-2 $ 를 가지며, 그 특성은 무엇인가?
• RQ2 왜 이전에 분할 차원 $ n-2 $ 를 가진다고 주장한 몇몇 그래프들이 실제로는 분할 차원 $ n-3 $ 을 가지는가?
• RQ3 쌍둥이 수 $ \tau(G) $ 는 고분할 차원을 가진 그래프의 구조를 어떻게 제약하는가?
• RQ4 분할 차원 $ n-2 $ 를 달성하기 위해 그래프가 만족해야 할 구조적 성질는 무엇이며, 이를 체계적으로 유도할 수 있는가?
• RQ5 동형 그래프를 식별하고 잘못된 구성 요소를 제거함으로써 분할 차원 $ n-2 $ 를 가진 그래프의 분류를 수정할 수 있는가?

주요 결과

• 분할 차원 $ n-2 $ 를 가진 $ n \geq 9 $ 인 연결 그래프의 집합은 이전에 주장한 23개가 아니라 정확히 15개로 구성되어 있다.
• $ F_1 \cong \overline{K_{n-3}} \vee (K_2 + K_1) $, $ F_3 \cong K_1 \vee (\overline{K_{n-3}} + K_2) $, $ F_5 \cong \overline{K_{n-4}} \vee (P_3 + K_1) $ 와 같은 그래프들은 이전에 주장한 바와 달리 분할 차원 $ n-3 $ 을 가지며, $ n-2 $ 가 아니라는 점에서 이전 결과와 모순된다.
• 이전 분류에서 $ G_4 $ 와 $ G_6 $ 는 서로 동형이므로 총 개수는 23개에서 22개로 줄어들며, 추가 분석을 통해 실제로 $ \beta_p(G) = n-2 $ 를 만족하는 그래프는 오직 15개임을 확인할 수 있다.
• $ \tau(G) = n-2 $ 인 그래프의 경우 유일한 가능성은 $ H_1 $ 과 $ H_2 $ 이며, 이들은 모두 분할 차원 $ n-2 $ 를 가짐을 확인하였다.
• $ \tau(G) = n-3 $ 인 경우, $ G[N(W)\setminus W] $ 의 구조와 $ V\setminus N(W) $ 에 속한 정점의 차수는 동형류를 결정하며, 이에 따라 $ H_3 $ 에서 $ H_{10} $ 까지의 그래프들이 유도되며, 이들 모두가 $ \beta_p(G) = n-2 $ 를 만족한다.
• $ \tau(G) = n-4 $ 인 경우, 분할 차원 $ n-2 $ 를 가질 수 있는 유일한 그래프는 $ H_{11} $, $ H_{12} $, $ H_{13} $, $ H_{14} $, $ H_{15} $ 이며, 이들은 $ N(W)\setminus W $ 에서 경로 또는 사이클의 구조를 기반으로 유도되며, 거리 벡터의 유일성에 의해 확인된다.