[论文解读] Emerging Challenges in Computational Topology

Marshall Bern, David Eppstein+20 more|ArXiv.org|Sep 1, 1999

Computational Geometry and Mesh Generation参考文献 64被引用 40

一句话总结

本文识别并综合了计算拓扑学中的新兴挑战，提出了一项统一的研究议程，将拓扑学、计算几何与应用计算相连接。它主张将拓扑方法整合到几何计算中，以提升科学模拟、可视化和CAD等应用中的鲁棒性、可扩展性和抽象能力，主要贡献包括将计算拓扑学形式化为一个独立领域，以及提出社区建设与资助方面的建议。

ABSTRACT

Here we present the results of the NSF-funded Workshop on Computational Topology, which met on June 11 and 12 in Miami Beach, Florida. This report identifies important problems involving both computation and topology.

研究动机与目标

• 为应对在连续域、曲面及高维空间中日益增长的拓扑推理需求。
• 通过识别共通的拓扑挑战，统一计算几何、拓扑学与计算机图形学中的不同方法。
• 推动开发用于科学与工程应用中形状表示与分析的鲁棒、可扩展且形式正确的算法。
• 建立计算拓扑学作为一个具有共享工具、问题与协作基础设施的连贯研究领域。
• 支持将拓扑抽象整合到软件栈中，如网格生成与模拟流水线，以提升可靠性与模块化。

提出的方法

• 通过一个涵盖拓扑学、计算几何与计算机图形学研究人员的多学科研讨会，识别并分类计算拓扑学中的核心问题。
• 提出五个关键研究领域的框架：形状获取、网格化与几何处理、渐近分析、精确几何计算与多尺度分析。
• 倡导使用拓扑不变量（如贝蒂数与法向量面理论）作为算法分析与正确性验证的工具。
• 推广使用微分拓扑技术（如Morse理论）分析曲面与模型中的奇点。
• 强调代数拓扑（如Borsuk-Ulam定理）在证明几何构型存在性结果中的作用，即使尚未具备高效算法。
• 建议建立集中化的在线信息库并持续举办研讨会，以促进合作与知识共享。

实验结果

研究问题

• RQ1 拓扑方法如何提升在连续与高维域中几何计算的鲁棒性与正确性？
• RQ2 在使用拓扑抽象表示与操作复杂形状（如折叠曲面或高亏格流形）时，其基本算法挑战是什么？
• RQ3 像贝蒂数这样的拓扑不变量在几何算法的设计与分析中可发挥何种作用？
• RQ4 拓扑推理如何统一机器人学、分子对接与科学可视化中看似不同的问题？
• RQ5 在计算拓扑学中建立可持续的跨学科研究社区的最有效策略是什么？

主要发现

• 通过将拓扑推理与几何计算分离，计算拓扑学可显著提升几何计算系统的可靠性与模块化。
• 如法向量面等拓扑抽象可为复杂折叠曲面提供高效表示，并支持自然操作（如曲面加法）。
• 基于代数数论的精确几何计算技术可解决CAD与模拟软件中的数值鲁棒性问题。
• 计算拓扑学中的渐近分析可借助拓扑不变量，其中贝蒂数为证明算法复杂度的下限提供了工具。
• 基于几何测度论与调和分析的多尺度方法可有效实现对噪声与非结构化数据的分割与分析。
• 研讨会识别出对持续社区建设的迫切需求，包括在线资源库、资金支持与定期研讨会，以系统性推进该领域发展。