[论文解读] Trimming of finite metric spaces

Vladimir Turaev|arXiv (Cornell University)|Dec 20, 2016

Advanced Graph Theory Research参考文献 2被引用 3

一句话总结

本文引入了截断度量空间（trim metric spaces）的概念，并证明了每个有限度量空间都同构于具有截断基的有限度量森林的叶子空间。主要贡献在于为任意有限伪度量空间构建了一个典范的截断核心（trim core），该核心在同构意义下唯一刻画了该空间，并实现了向具有截断基的度量森林的通用分解。

ABSTRACT

We define a class of trim metric spaces and show that every finite metric space is the leaf space of a metric forest with trim base.

研究动机与目标

• 定义并刻画截断度量空间这一类有限度量空间，其特征是每个点都位于另外两个不同点之间。
• 为任意有限伪度量空间构建一个典范的截断核心构造，推广了度量约化的概念。
• 建立每个有限度量空间都同构于具有截断基的有限度量森林的叶子空间。
• 证明有限伪度量空间的截断核心是在典范分解中唯一的极小对象（在同构意义下）。
• 证明任意有限度量森林的叶子空间与基在截断等价意义下同构，从而将核心构造推广至森林结构。

提出的方法

• 定义伪度量空间为截断的，若每个点都位于另外两个不同点之间，使用Menger的共线性（betweenness）概念。
• 将有限伪度量空间 $ X $ 的截断核心 $ c(X) $ 定义为在等价关系下对 $ X $ 的商空间，该等价关系将不位于其他点之间的点识别起来，同时构造一个典范的非扩张满射 $ q_X: X \to c(X) $。
• 证明函子性：伪度量空间之间的同构映射诱导其截断核心之间的同构映射。
• 引入度量森林作为带基度量空间的有根树集合，通过组件间与组件内的路径长度伪度量定义其叶子空间。
• 引入“漂移”（drift）概念，并通过迭代截断 $ t $ 将度量森林缩减至其截断基，证明在重复应用下收敛于基。
• 应用递归约化与树收缩技术，证明当基为截断时，叶子空间的截断核心等于其基。

实验结果

研究问题

• RQ1 每个有限度量空间是否都能表示为具有截断基的度量森林的叶子空间？
• RQ2 通过非扩张映射可将任意有限伪度量空间约化到的典范极小对象（截断核心）是什么？
• RQ3 有限度量森林的叶子空间与基在同构与截断等价意义下有何关系？
• RQ4 在何种条件下，有限伪度量空间的截断核心等于原空间？
• RQ5 度量森林的何种结构性质可保证其叶子空间与基截断等价？

主要发现

• 每个有限伪度量空间 $ X $ 都存在一个典范的满射非扩张映射 $ q_X: X \to c(X) $ 到其截断核心 $ c(X) $，且该核心在同构意义下唯一。
• 截断核心 $ c(X) $ 为单点集，当且仅当 $ X $ 同构于某棵有限树的叶子空间。
• 对任意具有截断基 $ B $ 的有限度量森林 $ \zeta $，其叶子空间的截断核心满足 $ c(\partial\zeta) = B $，在同构意义下成立。
• 任意有限度量森林的叶子空间与基截断等价，即它们的截断核心同构。
• 对具有截断基的度量森林的叶子空间反复应用截断操作 $ t $，最终将得到基本身，即存在 $ N \geq 1 $ 使得 $ t^{N+1}(\partial\zeta) = B $。
• 截断核心构造具有函子性：伪度量空间之间的同构映射诱导其截断核心之间的同构映射，保持典范分解结构。