[论文解读] Geometric angle structures on triangulated surfaces

Ren Guo|arXiv (Cornell University)|Jan 20, 2006

Computational Geometry and Mesh Generation参考文献 3被引用 4

一句话总结

本文通过边不变量和Delaunay不变量，刻画了三角剖分曲面上球面、双曲面和欧氏角结构的存在性。利用线性规划中的对偶性以及Rivin和Leibon方法的改进，建立了非空解集的充要条件，解决了双曲几何与球面几何中的开放线性规划问题。

ABSTRACT

In this paper we characterize a function defined on the set of edges of a triangulated surface such that there is a spherical angle structure having the function as the edge invariant (or Delaunay invariant). We also characterize a function such that there is a hyperbolic angle structure having the function as the edge invariant.

研究动机与目标

• 解决双曲角结构存在性的开放线性规划问题，其边不变量为给定值。
• 求解球面角结构存在性的线性规划问题，其Delaunay不变量为给定值。
• 通过变分法与对偶性方法，将已知的欧氏锥度量结果推广至球面与双曲几何。
• 利用组合与几何约束，建立角结构非空解集的必要与充分条件。

提出的方法

• 利用线性规划中的对偶性，将存在性问题转化为三角形子集的可行性条件。
• 应用Leibon通过Delaunay不变量对双曲角结构的刻画，推导出关于边不变量的新条件。
• 通过变量替换 $ y_i = \frac{\pi + x_i - x_j - x_k}{2} $，建立双曲与球面角结构之间的联系。
• 通过涉及三角形计数与子集上边不变量的组合不等式，推导出必要与充分条件。
• 利用恒等式 $ 2D(e) + \mathcal{D}(e) = 2\pi $，在不同几何中关联边不变量与Delaunay不变量。
• 在线性规划中使用反证法，证明解集非空所需的严格不等式条件。

实验结果

研究问题

• RQ1 边不变量 $ D:E \to (0,2\pi) $ 需满足何种条件，才能保证双曲角结构的存在？
• RQ2 Delaunay不变量 $ \mathcal{D}:E \to (-2\pi,2\pi) $ 需满足何种条件，才能保证球面角结构的存在？
• RQ3 球面角结构的存在性如何通过边不变量来刻画？
• RQ4 在双曲与球面几何背景下，边不变量与Delaunay不变量之间存在何种关系？
• RQ5 能否通过线性规划对偶性及欧氏与双曲情形下的已知结果，推导出双曲与球面角结构的可行性条件？

主要发现

• 球面角结构集合 $ AS(S,T;D) $ 关于边不变量 $ D $ 非空，当且仅当对所有子集 $ X \subseteq F $，有 $ \pi|X| < \sum_{e \in E(X)} D(e) $。
• 双曲角结构集合 $ AH(S,T;D) $ 关于边不变量 $ D $ 非空，当且仅当对所有子集 $ X \subset F $，有 $ \pi(|F| - |X|) > \sum_{e \notin E(X)} D(e) $。
• 球面角结构集合 $ AS(S,T;\mathcal{D}) $ 关于Delaunay不变量 $ \mathcal{D} $ 非空，当且仅当对所有子集 $ X \subset F $，有 $ \pi(|F| - |X|) > \sum_{e \notin E(X)} \left(\pi - \frac{1}{2}\mathcal{D}(e)\right) $。
• 具有边不变量 $ D $ 的双曲角结构的存在性，等价于具有Delaunay不变量 $ \mathcal{D}(e) = 2\pi - 2D(e) $ 的球面角结构的存在性。
• 在推导出的条件下，对偶线性规划的最大值严格为负，从而保证了解集的非空性。
• 证明表明，仅当严格不等式成立时解集才非空，通过反证法排除了等式情形。