[論文レビュー] The lattice dimension of a tree

Sergeĭ Ovchinnikov|ArXiv.org|Feb 15, 2004

Graph Labeling and Dimension Problems参考文献 4被引用数 7

ひとこと要約

本稿では、$ n $ 個の葉を持つ木の格子次元が $ \lceil n/2 \rceil $ であることを確立しており、任意の木が $ \lceil n/2 \rceil $ 次元の整数格子に等長埋め込み可能であることを証明している。証明は帰納法と縮約技術を用い、木を星型に還元し、星 $ 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 $ を、2つのぶら下がり路径を削除することで、葉が $ n-2 $ 個あるより小さい木 $ T' $ に還元する。このとき、小さい木に対しては結果が成り立つものとする。
• 還元された木 $ T' $ を $ \mathbb{Z}^{\lceil (n-2)/2 \rceil} $ に埋め込み、その後、新たな次元に沿って2つのぶら下がり路径を追加することで $ \mathbb{Z}^{\lceil n/2 \rceil} $ に拡張する。
• すべての葉が次数 >2 の1つの中心頂点に接続されている木については、補題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} $ に等長埋め込み可能である。これは、2つのぶら下がり路径を同時に削除することで木を還元する帰納的構成により示された。
• 還元された木を低次元格子に埋め込み、2つ削除された路径を新たな次元に沿って拡張することで距離が保存される。$ \ell_1 $-距離の保存が保証される。
• すべての葉が1つの中心頂点（次数 >2）に接続されている場合、新たな次元で反対方向に値を割り当てることで、星型の場合の構成を直接一般化し、$ \lceil n/2 \rceil $ 次元の埋め込みが可能になる。
• 格子次元 $ \text{dim}_Z(T) $ は、カルテシアン積グリッド $ P_{l_1} \square \cdots \square P_{l_d} $ の非ゼロ路径長の数に等しく、等長次元 $ \text{dim}_I(T) $ は路径長の和 $ l_1 + \cdots + l_d $ に等しい。