[论文解读] Planar pseudo-triangulations, spherical pseudo-tilings and hyperbolic virtual polytopes

Gaiane Panina|ArXiv.org|Jul 6, 2006

Computational Geometry and Mesh Generation参考文献 15被引用 6

一句话总结

本文通过引入使用伪二边形的球面伪镶嵌，将平面伪三角剖分与双曲虚拟多面体建立深层联系，将指向性嵌入扩展至Laman图之外。证明了每个Laman-plus-one图均可通过归纳的几何Hen latter构造，实现具有恰好四个伪二边形的直线化、指向性球面嵌入——对应于双曲虚拟多面体的四个角锥——从而实现从二维图嵌入构造双曲多面体。

ABSTRACT

We wish to draw attention to an interesting and promising interaction of two theories. On the one hand, it is the theory of extbf{pseudo-triangulations} which was useful for implicit solution of thecarpenter's rule problem and proved later to give a nice tool for graph embeddings. On the other hand, it is the theory of hyperbolic virtual polytopes which arose from an old uniqueness conjecture for convex bodies (A. D. Alexandrov's problem): suppose that a constant $C$ separates (non-strictly) everywhere the principal curvature radii of a smooth 3-dimensional convex body $K$. Then $K$ is necessarily a ball of radius $C$. The two key ideas are: Passing from planar pseudo-triangulations to spherical pseudo-tilings, we avoid non-poited vertices. Instead, we use pseudo-di-gons. A theorem on spherically embedded Laman-plus-one graphs is announced. The difficult problem of hyperbolic polytopes constructing can be reduced to finding spherically embedded graphs.

研究动机与目标

• 通过球面嵌入，弥合平面伪三角剖分与双曲虚拟多面体理论之间的鸿沟。
• 通过在球面镶嵌中引入伪二边形，将指向性图嵌入扩展至Laman图之外。
• 将构造三维双曲虚拟多面体的复杂问题，简化为在2-球面上嵌入图的更易处理的问题。
• 为从恰好具有四个伪二边形的自应力球面图生成双曲扇形提供一种构造性方法。
• 建立球面伪镶嵌与双曲虚拟多面体之间的组合与几何字典。

提出的方法

• 从 $K_4$ 在 $S^2$ 上的指向性嵌入出发，使用几何Henneberg构造，在球面图上归纳构建Laman-plus-one图的球面嵌入。
• 引入伪二边形（具有两个顶点和两条边的面）以替代球面镶嵌中非指向性顶点，使边数超过 $2v-3$ 的图也能实现指向性嵌入。
• 应用欧拉公式与角计数公式（$c = 2e - v$，$c = 2f_2 + 3f_3$），证明任何具有恰好四个伪二边形的Laman-plus-one图的球面嵌入必满足 $e = 2v - 2$。
• 利用刚性电路（即Laman-plus-one图）中存在唯一非零自应力的性质，构造Maxwell对偶，其对应于双曲虚拟多面体。
• 利用自应力的符号模式（以边着色编码），在双曲扇形中区分红色（正）与蓝色（负）边，对应于球面图中应力的符号。
• 建立具有非零自应力的球面伪镶嵌与可实现双曲扇形之间的对偶关系，其中伪二边形对应于多面体的角锥。

实验结果

研究问题

• RQ1 Laman-plus-one图能否在2-球面上以恰好四个伪二边形实现指向性伪镶嵌？
• RQ2 Laman图是否存在规范的球面嵌入？其与平面嵌入及Laman-plus-one扩展的关系如何？
• RQ3 哪些组合条件可刻画可实现无伪二边形（即所有面均为伪三角形）伪镶嵌的平面图？
• RQ4 能否仅从其球面嵌入的组合结构确定刚性电路中唯一自应力的符号模式？
• RQ5 是否存在平面伪三角剖分中扩张运动的球面类比？其基础是否建立在对偶性与山脊-山谷论证之上？

主要发现

• 每个Laman-plus-one图均可实现具有恰好四个伪二边形的直线化、指向性球面嵌入，形成 $S^2$ 上优美的伪镶嵌。
• 任何Laman-plus-one图的球面嵌入中，伪二边形的数量恰好为四个，且该性质可表征此类图。
• 此类嵌入的构造是归纳的，通过从 $S^2$ 上的指向性 $K_4$ 嵌入出发，使用几何Henneberg变换逐步构建。
• Laman-plus-one图中存在唯一非零自应力，可由此构造出具有四个角锥的双曲虚拟多面体，对应于四个伪二边形。
• 球面伪镶嵌与双曲扇形之间存在双射关系：每个具有非零自应力的此类镶嵌均对应一个可实现的双曲扇形。
• 球面图的边着色（红色表示正应力，蓝色表示负应力）直接编码了应力的符号模式，该模式对应于双曲扇形中边的颜色。