[论文解读] 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} $ 在 $ \mathbb{Z}^d $ 中实现等距嵌入时恰好需要 $ \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$.

研究动机与目标

• 确定最小维数 $ d $，使得任意具有 $ n $ 片叶子的树均可等距嵌入至整数格点 $ \mathbb{Z}^d $。
• 解决关于树的格点维数的开放问题，特别是其与叶子数的关系。
• 提供格点维数的紧致下界与上界，证明其等于 $ \lceil n/2 \rceil $。
• 通过结构简化与归纳嵌入技术，将已知的星形嵌入结果推广至任意树。

提出的方法

• 利用 Djoković 定理，证明任意具有 $ q $ 条边的树 $ T $ 可等距嵌入至 $ q $-维超立方体 $ \mathcal{Q}_q $，为等距维数提供基准。
• 应用悬挂路径的概念：对每个叶子 $ v $，定义 $ v_T $ 为距离 $ v $ 最近的非叶顶点，并考虑路径 $ (v_T, v) $。
• 归纳构造：通过移除两条悬挂路径，将具有 $ n $ 片叶子的树 $ T $ 简化为具有 $ n-2 $ 片叶子的更小树 $ T' $，并假设结论对更小的树成立。
• 将简化后的树 $ T' $ 嵌入 $ \mathbb{Z}^{\lceil (n-2)/2 \rceil} $，然后通过在新维度上添加两条被移除的悬挂路径，扩展至 $ \mathbb{Z}^{\lceil n/2 \rceil} $。
• 对于所有叶子均连接至一个度数大于 2 的中心顶点的树，直接推广引理 1 中的星形嵌入构造，实现 $ \lceil n/2 \rceil $ 维嵌入。
• 使用坐标逐项投影：嵌入将每个顶点映射为 $ d $ 维整数向量，且保持距离为 $ \mathbb{Z}^d $ 中的 $ \ell_1 $-距离。

实验结果

研究问题

• RQ1 是否存在最小维数 $ d $，使得任意具有 $ n $ 片叶子的树均可等距嵌入至 $ \mathbb{Z}^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 $-距离。
• 当所有叶子均连接至一个度数大于二的中心顶点时，可通过在新维度上分配相反方向，直接构造嵌入，从而推广星形情形。
• 格点维数 $ \text{dim}_Z(T) $ 等于笛卡尔积格点 $ P_{l_1} \square \cdots \square P_{l_d} $ 中非零路径长度的数目，而等距维数 $ \text{dim}_I(T) $ 等于路径长度之和 $ l_1 + \cdots + l_d $。