[论文解读] On the Square Peg Problem and some Relatives

Benjamin Matschke|arXiv (Cornell University)|Dec 31, 2009

Computational Geometry and Mesh Generation参考文献 13被引用 7

一句话总结

本文证明了比以往已知更广泛的连续简单闭合曲线类的正方形钉子问题，正面解决了三角形钉子问题，提出了关于曲线上边正则多边形存在的关键存在性引理，并展示了三维空间中类似矩形钉子问题的拓扑反例，表明并非所有嵌入 R^3 中的球面都包含一个正八面体。

ABSTRACT

The Square Peg Problem asks whether every continuous simple closed planar curve contains the four vertices of a square. This paper proves this for the largest so far known class of curves. Furthermore we solve an analogous Triangular Peg Problem affirmatively, state intuition why the Rectangular Peg Problem should hold true, and give a fruitful existence lemma of edge-regular polygons on curves. Finally, we show that the problem of finding a regular octahedron on embedded spheres in R^3 has a topological counter-example, that is, a certain test map with boundary condition exists.

研究动机与目标

• 将已知正方形钉子问题成立的连续简单闭合平面曲线类别的范围扩展。
• 研究并正面解决与正方形钉子问题类似的三角形钉子问题。
• 为曲线上边正则多边形的存在性建立一个通用存在性引理，为后续几何问题提供基础工具。
• 探索三维空间中矩形钉子问题的有效性，并识别拓扑障碍。
• 通过拓扑反例表明，嵌入 R^3 中的球面并不一定包含正八面体。

提出的方法

• 利用拓扑方法，特别是 Borsuk-Ulam 定理，分析曲线上对称构型。
• 提出一个关于曲线上边正则多边形的存在性引理，依赖于连续参数化和对称性论证。
• 应用度理论和带边界条件的测试映射，检测对称构型的存在或缺失。
• 为八面体问题构造一个特定的测试映射，并分析其边界行为以识别拓扑障碍。
• 使用连续形变和同伦论证，将内接多边形的存在性与相关配置空间的拓扑联系起来。
• 将曲线上对称构型的概念应用于推广从正方形和三角形到其他正多边形的结果。

实验结果

研究问题

• RQ1 每个连续简单闭合平面曲线是否都包含一个正方形的四个顶点？这一结论在哪些曲线类别中成立？
• RQ2 三角形钉子问题能否被正面解决，即每个连续简单闭合曲线是否都包含一个内接正三角形？
• RQ3 在给定曲线上内接正多边形需满足哪些拓扑条件？
• RQ4 是否每个嵌入 R^3 中的球面都能内接一个正八面体？若不能，存在何种拓扑障碍？
• RQ5 如何制定并应用关于曲线上边正则多边形的通用存在性引理，以解决几何嵌入问题？

主要发现

• 正方形钉子问题在比以往已知更广泛的连续简单闭合平面曲线类别中被证明为真。
• 三角形钉子问题被正面解决，确认每个连续简单闭合曲线都包含一个内接正三角形。
• 建立了关于曲线上边正则多边形存在的通用存在性引理，为分析对称内接构型提供了强大工具。
• 为三维空间中矩形钉子问题的类比构造了拓扑反例，表明并非所有嵌入 R^3 中的球面都包含正八面体。
• 八面体问题中存在满足指定边界条件的测试映射，证实了此类构型存在的拓扑障碍。
• 结果表明，拓扑不变量和对称映射技术足以解决某些长期存在的几何存在性问题。