[논문 리뷰] The distance-k dimension of graphs

Jesse Geneson, Eunjeong Yi|arXiv (Cornell University)|2021. 06. 15.

Graph Labeling and Dimension Problems참고 문헌 16인용 수 5

한 줄 요약

이 논문은 거리 $k$ 차원을 도입하고 분석한다. 이는 랜드마크 감지 범위가 거리 $k$로 제한된 경우의 메트릭 차원의 일반화이다. 일반적인 상한과 하한을 설정하고, 높은 거리-$k$ 차원을 가진 그래프(예: $n-2$ 또는 $n-1$)를 특성화하며, 경로와 사이클의 차원을 결정하고, 정점 및 간선 삭제가 미치는 영향을 조사한다. $k \geq 2$일 경우, 거리-$k$ 차원은 임의로 증가하거나 감소할 수 있음을 보이며, 이는 $k=1$의 경우와는 다름을 보여준다. 주요 기여는 이 일반화된 해상성 매개변수에 대한 체계적이고 정량적인 분석이다.

ABSTRACT

The metric dimension, $\dim(G)$, of a graph $G$ is a graph parameter motivated by robot navigation that has been studied extensively. Let $G$ be a graph with vertex set $V(G)$, and let $d(x,y)$ denote the length of a shortest $x-y$ path in $G$. For a positive integer $k$ and for distinct $x,y \in V(G)$, let $d_k(x,y)=\min\{d(x,y), k+1\}$ and let $R_k\{x,y\}=\{z\in V(G): d_k(x,z) eq d_k(y,z)\}$. A subset $S\subseteq V(G)$ is a distance-$k$ resolving set of $G$ if $|S \cap R_k\{x,y\}| \ge 1$ for any pair of distinct $x,y \in V(G)$, and the distance-$k$ dimension, $\dim_k(G)$, of $G$ is the minimum cardinality over all distance-$k$ resolving sets of $G$. In this paper, we study the distance-$k$ dimension of graphs. We obtain some general bounds for distance-$k$ dimension. For all $k \ge 1$, we characterize connected graphs $G$ of order $n$ with $\dim_k(G) \ge n-2$. We determine $\dim_k(G)$ when $G$ is a cycle or a path. We also examine the effect of vertex or edge deletion on the distance-$k$ dimension of graphs.

연구 동기 및 목표

• 거리 $k$로 제한된 랜드마크 감지가 가능한 메트릭 차원의 일반화로 거리-$k$ 차원을 체계화하고 연구하는 것.
• 그래프의 거리-$k$ 차원에 대한 일반적인 상한과 하한을 설정하는 것.
• 모든 $k \geq 1$에 대해 순서 $n$인 연결 그래프 $G$ 중에서 $\dim_k(G) = n-2$ 또는 $n-1$인 그래프를 특성화하는 것.
• 특정 그래프 계열, 특히 경로와 사이클에 대해 $\dim_k(G)$를 결정하는 것.
• 특히 $k \geq 2$일 경우, 정점 및 간선 삭제에 따른 거리-$k$ 차원의 민감도를 분석하는 것.

제안 방법

• 거리 $k$ 감지 범위를 모델링하기 위해 $d_k(x,y) = \min\{d(x,y), k+1\}$를 정의한다.
• 모든 서로 다른 $x,y$에 대해 $|S \cap R_k\{x,y\}| \geq 1$를 만족하는 집합 $S$를 거리-$k$ 해상 집합으로 정의하며, $R_k\{x,y\} = \{z : d_k(x,z) \neq d_k(y,z)\}$이다.
• 정점의 위치를 집합 $S$에 대한 거리-$k$ 메트릭 코드 $r_{k,S}(v) = (d_k(v,u_1), \dots, d_k(v,u_\beta))$로 표현한다.
• 구조적 그래프 이론과 쌍둥이 정점 분석(관찰 2.1(b))을 활용하여 거리-$k$ 해상 집합의 크기에 대한 하한을 유도한다.
• 명시적 예시를 구성하고, 극한 구성(예: 그림 3 및 그림 4)을 활용하여 상한의 날카로움과 차원의 무한한 변화 가능성을 보여준다.
• 지오데식과 간선 제거에 대한 케이스 분석을 통해 $\dim_k(G-e)$ 및 $\dim_k(G-v)$의 상한을 증명하며, 특히 $k \geq 2$일 경우 $\dim_k(G) - \dim_k(G-e)$가 임의로 클 수 있음을 보인다.

실험 결과

연구 질문

• RQ1 그래프의 거리-$k$ 차원에 대한 일반적인 상한과 하한은 무엇인가?
• RQ2 순서 $n$인 연결 그래프 $G$ 중에서 모든 $k \geq 1$에 대해 $\dim_k(G) = n-2$ 또는 $n-1$이 성립하는 그래프는 무엇인가?
• RQ3 경로와 사이클과 같은 표준 그래프 계열에 대해 거리-$k$ 차원은 어떻게 행동하는가?
• RQ4 특히 $k \geq 2$일 경우, 정점 또는 간선 제거에 따라 거리-$k$ 차원은 어떻게 변화하는가?
• RQ5 $k \geq 2$일 경우, 차이 $\dim_k(G) - \dim_k(G-e)$가 임의로 클 수 있는가? 만약 그렇다면, 어떤 구조적 조건에서 가능한가?

주요 결과

• 거리 $d$와 $k$를 포함하는 복잡한 표현식을 통해 $\dim_d(G) = k$인 그래프 $G$의 최대 순서가 유계임을 보여준다. 이는 이러한 그래프의 최극 크기를 나타낸다.
• 모든 $k \geq 1$에 대해, 순서 $n \geq 4$인 연결 그래프 $G$ 중에서 $\dim_k(G) = n-2$ 또는 $n-1$인 그래프를 완전히 특성화한다. 이는 $k=1$일 경우의 열린 문제를 해결한다.
• 모든 $k \geq 1$에 대해 경로 $P_n$과 사이클 $C_n$의 거리-$k$ 차원이 명시적으로 결정되며, 이는 기본적인 그래프 계열에 대한 정확한 값을 제공한다.
• $k \geq 2$일 경우, 차이 $\dim_k(G) - \dim_k(G-e)$는 임의로 클 수 있다. $a \to \infty$일 때 $\dim_k(G) - \dim_k(G-e) = a-1$가 되는 구성으로 이를 입증하였으며, 이는 $k=1$의 경우 최대 1이었던 것과 뚜렷하게 대비된다.
• $k \geq 3$일 경우 $\dim_k(G-e) \leq \dim_k(G) + 2$이고, $k=2$일 경우 $\dim_2(G-e) \leq \dim_2(G) + 1$라는 상한이 성립하며, 명시적 구성으로 이 상한이 날카로움을 입증한다.
• $k \geq 2$일 경우, $\dim_k(G-v) - \dim_k(G)$도 또한 임의로 클 수 있음을 보여주며, 이는 거리-$k$ 차원이 정점 제거에 매우 민감함을 시사한다.