[論文レビュー] 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

ひとこと要約

この論文は、平面を有限個の領域に分割する閉曲線の最小ホモトピー面積を計算するための効率的なアルゴリズムを提示する。任意の ε > 0 に対して、2·γ をホモトピーで縮ませるために必要な最小面積が γ より ε 倍未満であるような曲線 γ を構成し、平面において曲線を二重化すると、埋め込み面積が著しく小さくなることを示している。

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.

研究の動機と目的

• 平面を有限個の領域に分割する2つの閉曲線間の最小ホモトピー面積を計算するための効率的アルゴリズムを開発すること。
• 平面における閉曲線を二重化した場合、元の曲線の2倍の埋め込み面積よりも著しく小さい埋め込み面積が得られるかどうかを調査すること。
• ホモトピー面積において非線形スケーリングの挙動を示す曲線の複雑さの下界を確立すること。
• アルゴリズム的ホモトピー面積の計算に用いるために、キャンセルノルムを重み付き版に一般化すること。

提案手法

• 単位元を含まない対称な集合上の語に対して、従来のキャンセルノルムを一般化した重み付きキャンセルノルムを導入する。
• 曲線間の重み付きキャンセル距離を定義し、特定の条件下でそれが最小ホモトピー面積と同値であることを証明する。
• 曲線の語表現に動的計画法と折りたたみ技術を用いて、重み付きキャンセルノルムを効率的に計算する。
• 二重曲線をセグメントに分割する帰納的議論を用いて、語の平方のノルムを評価する。
• 回転位置に関する組合せ的平均化議論を用いて、ペアにならない位置が最小化されるセグメントを特定し、帰納的評価を可能にする。
• 任意の ε > 0 に対して、2·γ の最小ノルムホモトピー面積が γ のそれより ε 倍未満であるような閉曲線 γ が存在することを証明する。

実験結果

リサーチクエスチョン

• RQ1 平面において、元の曲線を2回描いた曲線の最小ホモトピー面積が、元の曲線の2倍の面積よりも著しく小さくなることはあり得るか？
• RQ2 平面を有限個の領域に分割する2つの閉曲線間の最小ホモトピー面積を効率的に計算するアルゴリズムは存在するか？
• RQ3 曲線を二重化した際にホモトピー面積が非線形にスケーリングするという性質を示す閉曲線の最小複雑度は何か？
• RQ4 重み付きキャンセルノルムは、平面における幾何的最小ホモトピー面積とどのように関係するか？
• RQ5 曲線を二重化したときの埋め込み面積の非加法的挙動を体系的かつ定量的に構成・特定することは可能か？

主な発見

• 多項式時間および多項式空間で、平面を有限個の領域に分割する2つの閉曲線間のホモトピーの最小面積を効率的に計算するアルゴリズムが得られた。
• 任意の ε > 0 に対して、2·γ の最小ノルムホモトピー面積が γ のそれより ε 倍未満であるような閉平面曲線 γ が存在する。
• 重み付きキャンセルノルムは、このような曲線の最小ホモトピー面積を正確に計算する組合せ的不変量を提供する。
• このような曲線 γ の構成は、実射影平面における非常にねじれた単純閉曲線にインspiredされている。
• 曲線が二重化によって非線形ホモトピー面積スケーリングの挙動を示す場合の複雑さの下界が確立された。
• 論文は、長さ ≤ 2^m の語 w に対して ||w|| ≤ (m+1)/2 · ||w²|| が成り立つことを証明し、語のノルムが二重化によって非線形に増加しうることを示している。