Low-dimensional manifolds and computation

低维流形和计算

• 批准号: 0072348
• 负责人: Joel Hass
• 金额: $ 16.49万
• 依托单位: University of California-Davis
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2000
• 资助国家: 美国
• 起止时间: 2000-07-15 至 2004-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0072348&HistoricalAwards=false
• 关键词: Low; dimensional; manifolds; computation

Abstract for NSF proposalLow Dimensional Manifolds and ComputationThis project concerns problems in low-dimensional topology and geometry, with an emphasis on computational aspects. Manifolds in two and three dimensions provide the geometric models for many physical phenomena. Computational issues are playing an increasing role in mathematical investigations in these areas. Research in low-dimensional manifolds in turn is making contributions to computational geometry and topology. It alsoimpacts computational complexity theory, which studies questions such as how long it takes a computer to solve a problem. Techniques of computational topology have already led to improvements in algorithmsin computer graphics, visualization, medical and molecular modeling and image recognition. Several problems on the theme of computational topology will be investigated in this project. The computational complexity of many important problems in topology and geometry is unknown, even when explicit algorithms exist. Recent results have revealed intriguing connections between complexity theory, minimal surface theory, normal surface theory and isoperimetric problems. The project will pursue research in this direction, examining the complexity of Knot Recognition, Knot Genus, Homology Genusand related topological problems. The project also includes plans to investigate the generalized theory of normal surfaces. Normal surfacesare particularly simple surfaces relative to a fixed triangulation ofa 3-manifold. They are the analogs of minimal surfaces in the PL Category. The collection of such surfaces is discrete and well suited to computation, leading to applications in classification, complexity, enumeration and algorithmic recognition. Index-one, or almost normal surfaces, were applied with spectacular success in recent work on manifold recognition. A third focus of the project concerns multi-region isoperimetric problems, which ask what are the shortest boundaries enclosing multiple regions of a given size. The goal is to give a mathematical proof that the configurations assumed by soap bubbles are optimal. Questions such as finding the shortest curve enclosing three given areas in the plane remain open. Also missing is an understanding of general properties of stable soap-bubble-like configurations, such as whether the minimizing configurations always have connected regions. Finally, the project examines questions of curve and surface evolution, using ideas based on normal surfaces. Such evolution methods have the potential for practical applications in many areas, similar to the many applications of mean curvature evolution.

摘要NSF proposalLow Dimensional Manifolds and ComputationThis project concerns problems in low dimensional topology and geometry，with a statistical aspect.二维和三维流形为许多物理现象提供了几何模型。计算问题在这些领域的数学研究中发挥着越来越重要的作用。低维流形的研究反过来又为计算几何和拓扑学做出了贡献。它也影响了计算复杂性理论，该理论研究计算机解决问题需要多长时间。计算拓扑学技术已经导致了计算机图形学、可视化、医学和分子建模以及图像识别算法的改进。 本计画将探讨计算拓扑学的几个问题。拓扑学和几何学中的许多重要问题的计算复杂性是未知的，即使存在显式算法。最近的研究结果揭示了复杂性理论、极小曲面理论、正规曲面理论和等周问题之间的有趣联系。该项目将在这个方向上进行研究，研究结识别，结属，同源属和相关拓扑问题的复杂性。该项目还包括计划调查正常表面的广义理论。法向曲面是相对于三维流形的固定三角剖分而言特别简单的曲面。它们是PL范畴中极小曲面的类似物。这些表面的集合是离散的，非常适合于计算，导致分类，复杂性，枚举和算法识别中的应用。指数一，或几乎正常的表面，被应用于壮观的成功，在最近的工作流形识别。该项目的第三个重点是多区域等周问题，它问什么是封闭给定大小的多个区域的最短边界。我们的目标是给出一个数学证明，肥皂泡假设的配置是最佳的。诸如在平面中找到包围三个给定区域的最短曲线之类的问题仍然没有解决。同样缺少的是对稳定的肥皂泡状构型的一般性质的理解，例如最小化构型是否总是具有连通区域。 最后，该项目将使用基于法向曲面的思想来研究曲线和曲面的演化问题。这种演化方法在许多领域具有实际应用的潜力，类似于平均曲率演化的许多应用。