[论文解读] On the Minimum Area of Null Homotopies of Curves Traced Twice

Zipei Nie|arXiv (Cornell University)|Nov 29, 2014

Advanced Numerical Analysis Techniques参考文献 2被引用 3

一句话总结

本文提出了一种高效算法，用于计算将平面划分为有限多个区域的闭合平面曲线的最小零伦同伦面积。该算法构造了一条曲线 γ，使得将 2·γ 零伦同伦所需的最小面积小于 ε 倍的 γ 的面积，其中 ε > 0 任意小，从而表明在平面中对曲线进行加倍可显著减少填充面积。

ABSTRACT

We provide an efficient algorithm to compute the minimum area of a homotopy between two closed plane curves, given that they divide the plane into finite number of regions. For any positive real number $\varepsilon>0$, we construct a closed plane curve $γ$ such that the minimum area of a null homotopy of $2\cdotγ$ is less than $\varepsilon$ times that of $γ$. We also establish a lower bound on how complex a desired closed curve has to be.

研究动机与目标

• 开发一种高效算法，用于计算将平面划分为有限多个区域的两条闭合平面曲线之间的最小零伦同伦面积。
• 研究在平面中对闭合曲线进行加倍后，其填充面积是否可能显著小于原曲线填充面积的两倍。
• 建立表现出这种非线性缩放行为的曲线的复杂度下界，即在同伦面积中呈现非线性缩放特性。
• 将取消范数推广为加权版本，以用于同伦面积的算法计算。

提出的方法

• 在不含单位元的对称集合上的词上引入一种加权取消范数，推广了先前的取消范数。
• 定义曲线之间的加权取消距离，并证明在特定条件下其与最小同伦面积等价。
• 利用动态规划与折叠技术对曲线的词表示进行计算，高效求解加权取消范数。
• 基于将双倍曲线划分为若干段的递归论证，对词的平方的范数进行有界估计。
• 通过旋转位置上的组合平均论证，找到未配对位置最少的段，从而实现归纳估计。
• 证明：对任意 ε > 0，存在一条闭合曲线 γ，使得 2·γ 的最小零伦同伦面积小于 ε 倍的 γ 的面积。

实验结果

研究问题

• RQ1 被追踪两次的曲线的最小零伦同伦面积是否可能显著小于原曲线面积的两倍？
• RQ2 是否存在一种高效算法，用于计算将平面划分为有限多个区域的两条闭合平面曲线之间的最小同伦面积？
• RQ3 表现出在加倍后同伦面积呈现次线性缩放行为的闭合曲线的最小复杂度是多少？
• RQ4 加权取消范数与平面中的几何最小同伦面积之间有何关系？
• RQ5 在曲线加倍下，填充面积的非加性行为是否可以系统性地构造并量化？

主要发现

• 一种高效算法可在多项式时间与空间内计算出将平面划分为有限多个区域的两条闭合平面曲线之间的最小同伦面积。
• 对任意 ε > 0，存在一条闭合平面曲线 γ，使得 2·γ 的最小零伦同伦面积小于 ε 倍的 γ 的零伦同伦面积。
• 加权取消范数提供了一种组合不变量，可精确计算此类曲线的最小同伦面积。
• 该曲线 γ 的构造灵感来源于实射影平面上高度扭曲的简单闭合曲线。
• 建立了表现出在加倍下呈现次线性同伦面积缩放行为的曲线的复杂度下界。
• 本文证明了 ||w|| ≤ (m+1)/2 · ||w²|| 对长度不超过 2^m 的词成立，表明词的范数在加倍下可能呈现次线性增长。