[논문 리뷰] On homometric sets in graphs

Maria Axenovich, Lale Özkahya|arXiv (Cornell University)|2012. 03. 06.

Graph Labeling and Dimension Problems인용 수 3

한 줄 요약

이 논문은 그래프에서 이산 동형 정점 집합의 최대 크기에 대한 기존 결과를 개선하며, 나무와 유계 직경을 가진 그래프에 대해 새로운 하한을 제시한다. 임의의 n개 정점으로 이루어진 나무 T에 대해 h(T) ≥ n^{1/3} − 1임을 증명하고, 직경이 d인 그래프에 대해 h(G) ≥ c n^{1/(2d−2)}임을 보이며, 그래프 이론에서 동형 집합 문제에 있어 이전 결과를 크게 향상시킨다.

ABSTRACT

For a vertex set $S\subseteq V(G)$ in a graph $G$, the {\em distance multiset}, $D(S)$, is the multiset of pairwise distances between vertices of $S$ in $G$. Two vertex sets are called {\em homometric} if their distance multisets are identical. For a graph $G$, the largest integer $h$, such that there are two disjoint homometric sets of order $h$ in $G$, is denoted by $h(G)$. We slightly improve the general bound on this parameter introduced by Albertson, Pach and Young (2010) and investigate it in more detail for trees and graphs of bounded diameter. In particular, we show that for any tree $T$ on $n$ vertices $h(T) \geq \sqrt[3]{n}$ and for any graph $G$ of fixed diameter $d$, $h(G) \geq cn^{1/ (2d-2)}$.

연구 동기 및 목표

• 그래프 G에서 두 개의 이산 동형 정점 집합의 최대 크기 h(G)에 대한 일반적인 상한과 하한을 개선하는 것.
• 특히 나무, 스팼더, 캐터필러, 헤어콤과 같은 특정 그래프 유형에 대해 h(G)를 조사하는 것.
• 직경, 간선 수, 정점 차수 분포와 같은 그래프 매개변수와 h(G) 간의 정량적 관계를 설정하는 것.
• 유클리드 거리 집합과 정수 동형 집합에서 알려진 결과를 그래프 이론적 맥락으로 확장하는 것.

제안 방법

• 특히 스파이더, 캐터필러, 헤어콤에 중점을 두어 나무의 구조적 분해를 이용한 동형 집합의 새로운 구성 방법을 제안한다.
• 다중집합 차이와 동형 기반 구성과 같은 수론적 및 그래프 이론적 도구를 적용하여 동형 쌍을 생성한다.
• 차수 기반 정점 분할 및 거리 기반 분할(예: 잎으로부터의 거리 기준)을 사용하여 h(T)에 대한 하한을 유도한다.
• 구조적 보조정리를 통해 '나쁜' 정점(차수 ≥ 3)의 분포를 이용해 동형 집합의 크기를 제한한다.
• 이항 계수를 포함한 부등식을 사용하여 직경 d와 간선 수 e에 기반한 하한을 도출하기 위해 극단적 그래프 이론 기법을 적용한다.
• 기존의 정수 다중집합에서의 동형 집합 결과(예: U+V 및 U−V 구성)를 그래프 내 구성의 가이드로 활용한다.

실험 결과

연구 질문

• RQ1 n개의 정점 수를 가진 나무에 대해 h(G)의 최적 하한은 n에 대해 어떻게 표현될 수 있는가?
• RQ2 그래프의 직경 d가 이산 동형 정점 집합의 최대 크기에 어떤 영향을 미치는가?
• RQ3 정점 차수와 같은 구조적 매개변수와 간선 밀도를 활용해 h(G)에 대한 개선된 하한을 도출할 수 있는가?
• RQ4 스파이더, 캐터필러, 또는 헤어콤과 같은 나무 유형 중 h(T)가 n에 대한 비자명한 함수로 하한이 존재하는 경우는 무엇인가?
• RQ5 기본 동형 집합 구성 방법이 실패하는 그래프 가족은 존재하는가? 만약 그렇다면 이러한 경우는 어떻게 특성화할 수 있는가?

주요 결과

• 임의의 n개 정점으로 이루어진 나무 T에 대해 h(T) ≥ n^{1/3} − 1이며, 이는 이전 결과를 크게 향상시킨다.
• 고정된 직경 d를 가진 그래프에 대해 h(G) ≥ c n^{1/(2d−2)}이며, 이는 충분히 큰 n에 대해 성립한다. 여기서 c > 0은 상수이다.
• 캐터필러에 대해선 h(R_n) ≥ n/6이며, 헤어콤에 대해선 h(H_n) ≥ √n / 2이다.
• k개의 다리를 가진 n개 정점의 스파이더에 대해 h(S_{n,k}) ≥ (1/4 + 3/(8k−12))n이며, 이는 k ≥ 5일 때 성립한다. k = 3 및 k = 4의 경우 정확한 값을 제시한다.
• n/2개의 다리를 가진 스파이더에 대해선 h(S_{n,n/2}) = (n+2)/4이며, 특정 대칭적인 3다리 스파이더에 대해선 h(T) = n/2이다.
• 나쁜 정점(차수 ≥ 3)의 수가 o(√n)이거나 잎의 수가 많을 경우, 직경이 작더라도 h(T) = Ω(√n)임을 보였다.