[论文解读] Lipschitz Characterisation of Polytopal Hilbert Geometries

Constantin Vernicos|arXiv (Cornell University)|Dec 4, 2008

Point processes and geometric inequalities参考文献 8被引用 5

一句话总结

本文证明了 ℝⁿ 中凸多面体的希尔伯特几何与 n 维欧几里得空间之间存在双利普希茨等价。通过将多面体分解为锥形胞腔，并利用重心剖分将其简化为单纯形，作者证明了每个单纯形与其对应的锥体之间存在双利普希茨等价，从而得出全局的双利普希茨等价性；同时亦证明了逆命题：仅多面体能与赋范向量空间实现此类等价。

ABSTRACT

We prove that the Hilbert Geometry of a convex set is bi-lipschitz equivalent to a normed vector space if and only if the convex is a polytope.

研究动机与目标

• 刻画哪些希尔伯特几何与赋范向量空间之间存在双利普希茨等价。
• 将已知的二维结果（即多边形希尔伯特几何与 ℝ² 双利普希茨等价）推广至任意维度。
• 通过重心剖分与锥体比较，提供一种通用且计算量低的证明方法，避免了以往方法中复杂的计算。
• 确立仅多面体能产生与欧几里得空间双利普希茨等价的希尔伯特几何。
• 统一并推广先前关于拟等距嵌入与等距嵌入到赋范空间中的结果。

提出的方法

• 将 ℝⁿ 中的凸多面体 𝒫 分解为以重心为顶点、以各面为底面的锥形胞腔。
• 对每个锥体应用重心剖分，将其分解为有限个与标准单纯形线性等价的单纯形。
• 定义一个标准锥体 𝒞̃ₙ ⊂ ℝⁿ，其向量构型为：k+1 个分量为 (k+1)，n−k 个分量为 −(k+1)。
• 构造一个映射 Φₙ，将每个单纯形映射到标准锥体，保持结构并实现度量的比较。
• 使用线性映射 Mᵢ，将标准锥体 𝒞̃ₙ 同构地映射到多面体分解中每个胞腔锥体 Cᵢ 上。
• 通过复合 F(x) = Mᵢ(Φₙ(Lᵢ(x))) 在每个胞腔上定义全局双利普希茨映射 F: 𝒫 → ℝⁿ，确保在共享边界上的一致性。

实验结果

研究问题

• RQ1 在什么条件下，希尔伯特几何与赋范向量空间之间存在双利普希茨等价？
• RQ2 已知的二维结果（即多边形希尔伯特几何与 ℝ² 双利普希茨等价）能否推广至高维？
• RQ3 凸域的何种几何性质可保证其希尔伯特几何与欧几里得空间双利普希茨等价？
• RQ4 与 ℝⁿ 的双利普希茨等价是否仅限于多面体域？
• RQ5 拟等距嵌入到赋范向量空间中，对底层凸集的几何结构有何约束？

主要发现

• ℝⁿ 中任意凸多面体的希尔伯特几何与 ℝⁿ 上的标准欧几里得范数之间存在双利普希茨等价。
• 该等价性通过一个全局映射 F: 𝒫 → ℝⁿ 建立，该映射通过将多面体分解为单纯形、将其映射到标准锥体，并与线性映射复合而构造。
• 证明依赖于证明每个单纯形与其对应锥体之间双利普希茨等价，且由此构造的映射 F 在整个多面体上定义良好且为双利普希茨。
• 逆命题亦成立：若希尔伯特几何与 ℝⁿ 双利普希茨等价，则其底层凸集必为多面体。
• 该结果意味着仅多面体希尔伯特几何与赋范向量空间拟等距，证实了先前研究中的一个猜想。
• 该特征刻画是精确的：仅多面体满足与赋范向量空间双利普希茨等价的条件，从而将其与光滑或严格凸域区分开来。