[論文レビュー] Combinatorial Properties of Self-Overlapping Curves and Interior Boundaries

Parker Evans, Brittany Terese Fasy+1 more|arXiv (Cornell University)|Jan 1, 2020

Advanced Numerical Analysis Techniques被引用数 2

ひとこと要約

本稿は、最小ホモトピー面積とホイットニー指数を結びつけることで、自己重複曲線および内部境界の新しい組合せ的基準を確立する。ホイットニー指数が1で、自己重複部分曲線を含まない曲線は自己重複する。また、ジョルダン曲線で曲線をラッピングすることで、その最小ホモトピー面積が巻き付け面積にまで低下し、n 個の頂点を持つ曲線では、最大 n+1 回のラッピングで十分である。主な貢献は、ホイットニー指数が1で外部基点が正である曲線に対して、強非可約性と自己重複性を保証する構成的変換であるグローバルバランスループ挿入の導入である。

ABSTRACT

We study the interplay between the recently-defined concept of minimum homotopy area and the classical topic of self-overlapping curves. The latter are plane curves that are the image of the boundary of an immersed disk. Our first contribution is to prove new sufficient combinatorial conditions for a curve to be self-overlapping. We show that a curve γ with Whitney index 1 and without any self-overlapping subcurves is self-overlapping. As a corollary, we obtain sufficient conditions for self-overlapping ness solely in terms of the Whitney index of the curve and its subcurves. These results follow from our second contribution, which shows that any plane curve γ, modulo a basepoint condition, is transformed into an interior boundary by wrapping around γ with Jordan curves. In fact, we show that n+1 wraps suffice, where γ has n vertices. Our third contribution is to prove the equivalence of various definitions of self-overlapping curves and interior boundaries, often implicit in the literature. We also introduce and characterize zero-obstinance curves, a further generalization of interior boundaries defined by optimality in minimum homotopy area.

研究の動機と目的

• 曲線が自己重複するための新しい十分な組合せ的条件を確立すること。
• ジョルダン曲線で曲線をラッピングすることで、その最小ホモトピー面積が巻き付け面積にまで低下し、最小の可能な閾値に達することを示すこと。
• 自己重複曲線および内部境界のさまざまな定義の同値性を証明し、長年の文献における曖昧さを解消すること。
• 最小ホモトピー面積における最適性に基づく内部境界の一般化としてのゼロ障害曲線を導入し、特徴づけること。
• ホイットニー指数が1で外部基点が正である曲線に対して、強非可約性と自己重複性を保証する構成的変換であるグローバルバランスループ挿入を考案すること。

提案手法

• 直接的分割とホイットニー指数の振る舞いの組合せ的解析を用いて、ホイットニー指数が1で自己重複部分曲線を含まない曲線が自己重複することを証明する。
• 任意の平面曲線 γ がジョルダン曲線でラッピングされることで内部境界に変換可能であり、その最小ホモトピー面積が巻き付け面積にまで低下することを示す。
• n 個の頂点を持つ γ に対しては、最大 n+1 回のラッピングで十分であることを、構成的ラッピング手順を用いて示す。
• グローバルバランスループ挿入を、γ のすべての辺に同時にバランスの取れたループ挿入を適用する変換として導入し、負の向きのループとラッピングを追加する。
• 頂点における sgn(v) の和を用いたホイットニー指数の恒等式 WHIT(γ) = Σ sgn(v) を用いて、挿入操作下での直接的分割の振る舞いを解析し、強非可約性を証明する。
• 補完性の性質（補題5を介して）を活用し、変換後の曲線におけるすべての直接的分割のホイットニー指数が ≤ 0 であることを示し、強非可約性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ホイットニー指数が1で正の整合性を満たす以外に、どのような組合せ的条件が曲線の自己重複性を保証するか？
• RQ2 ラッピングなどの有限個の位相的変換によって、曲線の最小ホモトピー面積を巻き付け面積まで低下させられるか？
• RQ3 任意の曲線を内部境界に変換するために必要なラッピング回数はどれくらいか？ また、曲線の複雑さに関して最小回数は何か？
• RQ4 自己重複曲線、内部境界、ゼロ障害曲線の間の関係は何か？ それらはどのように同等に特徴づけられるか？
• RQ5 グローバルバランスループ挿入を用いて、ホイットニー指数が1である非自己重複曲線から、体系的に自己重複曲線を生成可能か？

主な発見

• ホイットニー指数が1で自己重複部分曲線を含まない曲線は、自己重複することが保証され、新しい十分な組合せ的条件が得られる。
• 任意の平面曲線 γ はジョルダン曲線でラッピングされることで内部境界に変換可能であり、その最小ホモトピー面積は最小の値、すなわち巻き付け面積にまで低下する。
• n 個の頂点を持つ γ に対しては、最大 n+1 回のラッピングで十分であり、この最小ホモトピー面積に到達可能である。
• グローバルバランスループ挿入により、ホイットニー指数が1で外部基点が正である任意の曲線は、強非可約曲線に変換され、したがって自己重複曲線に変換される。
• 変換後の曲線 M(γ) におけるすべての直接的分割のホイットニー指数は ≤ 0 であり、強非可約性が確認され、これにより定理19を介して自己重複性が示される。
• 本稿では、自己重複曲線および内部境界の複数の定義の同値性を確立し、文献における曖昧さを解消した。