[논문 리뷰] The lattice dimension of a tree

Sergeĭ Ovchinnikov|ArXiv.org|2004. 02. 15.

Graph Labeling and Dimension Problems참고 문헌 4인용 수 7

한 줄 요약

이 논문은 $ n $개의 잎을 가진 트리의 격자 차원이 $ \lceil n/2 \rceil $임을 증명하며, 임의의 트리가 $ \lceil n/2 \rceil $차원 정수 격자에 등거리로 임bedded될 수 있음을 보여준다. 증명은 귀납법과 수축 기법을 사용하여 트리를 별자리로 축소시키며, 별자리 $ K_{1,n} $가 등거리로 임베딩되기 위해 정확히 $ \lceil n/2 \rceil $차원이 필요하다는 사실을 활용한다. 이는 일반 트리로의 차원을 유지하는 임베딩 전략을 통해 일반화된다.

ABSTRACT

The lattice dimension of a graph G is the minimal dimension of a cubic lattice in which G can be isometrically embedded. We prove that the lattice dimension of a tree with n leaves is $\lceil n/2 ceil$.

연구 동기 및 목표

• 임의의 $ n $개의 잎을 가진 트리가 정수 격자 $ \mathbb{Z}^d $에 등거리로 임베딩될 수 있는 최소 차원 $ d $를 결정하는 것.
• 특히 잎의 수와 관련하여 트리의 격자 차원을 특성화하는 열린 문제를 해결하는 것.
• 격자 차원에 대한 날카운 하한 및 상한을 제시하며, 이가 $ \lceil n/2 \rceil $와 일치함을 보이는 것.
• 구조적 축소 및 귀납적 임베딩 기법을 사용하여 알려진 별자리 임베딩 결과를 일반 트리로 일반화하는 것.

제안 방법

• 모든 $ q $개의 간선을 가진 트리 $ T $가 $ q $-큐브 $ \mathcal{Q}_q $에 등거리로 임베딩될 수 있음을 보장하는 Djoković의 정리를 사용하여 등거리 차원의 기초를 확립한다.
• 매달린 경로의 개념 적용: 각 잎 $ v $에 대해 $ v_T $를 가장 가까운 비잎이 아닌 정점으로 정의하고, 경로 $ (v_T, v) $를 고려한다.
• 귀납적 구성: 두 개의 매달린 경로를 제거하여 $ n $개의 잎을 가진 트리 $ T $를 $ n-2 $개의 잎을 가진 더 작은 트리 $ T' $로 축소하며, 더 작은 트리에 대해 결과가 성립한다고 가정한다.
• 축소된 트리 $ T' $를 $ \mathbb{Z}^{\lceil (n-2)/2 \rceil} $에 임베딩한 후, 새로운 차원에 두 매달린 경로를 추가하여 $ \mathbb{Z}^{\lceil n/2 \rceil} $로 확장한다.
• 모든 잎이 차수 >2인 단일 중심 정점에 부착된 트리의 경우, Lemma 1의 별자리 임베딩 구성 방식을 직접 일반화하여 $ \lceil n/2 \rceil $-차원 임베딩을 달성한다.
• 좌표별 투영의 사용: 임베딩은 각 정점을 $ d $-차원 정수 벡터로 매핑하며, 거리는 $ \mathbb{Z}^d $ 내의 $ \ell_1 $-거리로 유지된다.

실험 결과

연구 질문

• RQ1 임의의 $ n $개의 잎을 가진 트리가 $ \mathbb{Z}^d $에 등거리로 임베딩될 수 있는 최소 차원 $ d $는 무엇인가?
• RQ2 트리의 격자 차원은 그 잎의 수와 어떻게 관련이 있는가?
• RQ3 격자 차원은 등거리 차원 $ \text{dim}_I(T) $보다 엄밀히 작을 수 있으며, 만약 그렇다면 얼마나 작아질 수 있는가?
• RQ4 잎의 구조에 기반하여 모든 트리에 대해 최소 격자 차원을 달성하는 일반적인 구성이 존재하는가?

주요 결과

• 잎이 $ n $개인 트리의 격자 차원은 정확히 $ \lceil n/2 \rceil $이며, 이는 본 논문의 주요 기여이다.
• 별자리 $ K_{1,n} $의 격자 차원은 $ \lceil n/2 \rceil $이며, 이 값은 날카로운 상한이다. 이는 $ \mathbb{Z}^d $에 임베딩할 경우 $ 2d \geq n $임을 보여주는 사실에 의해 입증된다.
• $ n > 2 $개의 잎을 가진 임의의 트리 $ T $는 $ \mathbb{Z}^{\lceil n/2 \rceil} $에 등거리로 임베딩될 수 있으며, 이는 두 개의 매달린 경로를 제거하는 귀납적 구성으로 보여진다.
• 축소된 트리를 낮은 차원의 격자에 임베딩하고, 두 개의 제거된 경로를 새로운 차원에 확장함으로써 거리가 유지되며, 이는 $ \ell_1 $-거리 유지 보장한다.
• 모든 잎이 차수 2 초과인 단일 중심 정점에 부착된 경우, 새로운 차원에서 반대 방향으로 값을 할당하여 별자리의 경우를 일반화함으로써 직접적으로 임베딩을 구성할 수 있다.
• 격자 차원 $ \text{dim}_Z(T) $는 카르테시안 곱 격자 $ P_{l_1} \square \cdots \square P_{l_d} $에서 비영인 경로 길이의 수와 일치하며, 등거리 차원 $ \text{dim}_I(T) $는 경로 길이의 합 $ l_1 + \cdots + l_d $와 같다.