[论文解读] How to sew in practice?

Ryan Trelford, Viktor Vigh|arXiv (Cornell University)|Feb 23, 2011

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

一句话总结

本文提出了一种快速算法，通过缝合方法构建偶数维邻多面体，利用通用面追踪顶点添加过程中的结构变化。主要贡献在于设计了一种高效算法，在迭代过程中保持通用面信息，从而实现对非循环邻多面体的无限家族的实际构造。

ABSTRACT

In this note we prove a theorem concerning the sewing of even dimensional neighbourly polytopes. The theorem provides a fast algorithm for sewing in practice. We also give a description of the universal faces of a sewn $d$-polytope in terms of the main theorem.

研究动机与目标

• 开发一种适用于偶数维邻多面体缝合构造的实用且高效的算法。
• 表征在缝合过程中通用面（特别是奇数维通用面）的行为。
• 提供一种计算框架，系统追踪连续缝合步骤中的通用面，优于先前方法。
• 通过系统化方法维持多面体结构与面通用性，扩展谢默尔的缝合构造。
• 实现非循环邻多面体无限家族的实际生成。

提出的方法

• 该方法采用递归商多面体方法，通过商结构 $ P/\theta_i $ 分析每一步缝合，以追踪面的通用性。
• 提出一种扩展算法，在每一步缝合中维护奇数维通用面的列表，利用来自商多面体的递归对应关系。
• 算法按面维数的逆序处理多面体，从 $ P/\theta_{m-1} $ 逐步推进至 $ P $，确保依赖关系的正确处理。
• 关键步骤包括检查 $ [U, \bar{z}_{m-k}, v] \in \mathcal{U}_{2j+1}((P/\theta_{m-k})^+) $ 是否成立，以判断通用面的包含关系，使用由定理 5.4 推导出的条件。
• 利用对应关系 $ U^* \in \mathcal{U}_{2j-3}((P/\theta_{m-k-1})^+) \Rightarrow [U, x_{m-k-1}, \bar{z}_{m-k}] \in \mathcal{U}_{2j-1}((P/\theta_{m-k})^+) $，将通用面向上游传播。
• 该算法每步时间复杂度为 $ O(n\log n) $，其中 $ n $ 为任意阶段奇数维通用面的最大数量，且在固定维数 $ 2m $ 下成立。

实验结果

研究问题

• RQ1 如何使邻多面体缝合构造在计算上高效，以支持实际实现？
• RQ2 在邻多面体上缝合一个顶点后，通用面（特别是奇数维通用面）的行为如何？
• RQ3 如何利用商多面体和递归面对应关系，系统追踪缝合后多面体的通用面结构？
• RQ4 能否设计一种算法，在无需从头重新计算的情况下，跨多个缝合步骤保持通用面数据？
• RQ5 在迭代缝合过程中，维持通用面信息的计算复杂度是多少？是否可以优化？

主要发现

• 本文提出一种扩展算法，可在缝合过程中高效追踪所有奇数维通用面，从而实现邻多面体的实际构造。
• 该算法每步时间复杂度为 $ O(n\log n) $，其中 $ n $ 为任意阶段奇数维通用面的最大数量，且在固定维数 $ 2m $ 下成立。
• 该方法通过依赖定理 5.4 和引理 5.2 确保正确性，二者刻画了缝合后新通用面的包含关系。
• 该算法通过商多面体 $ P/\theta_i $ 递归维护通用面数据，保留了各步骤之间的面关系。
• 操作顺序在表 1 中精心组织，显示了依赖关系，确保每个面仅在依赖项解决后才被处理。
• 该算法成功通过提供一种实用且可扩展的方法，将谢默尔的缝合构造推广至生成非循环邻多面体的无限家族。