[論文レビュー] Untangling two systems of noncrossing curves

Jiřı́ Matoušek, Eric Sedgwick+2 more|arXiv (Cornell University)|Feb 26, 2013

Computational Geometry and Mesh Generation被引用数 7

ひとこと要約

この論文は、境界を固定するホメオモルフィズムを用いて、コンパクトな2次元多様体上の非交差曲線の2つの系の交差数を最小化する問題を研究している。平面的多様体（穴あき球面）の場合、交差数をO(mn)にまで低減できることを証明している。一般の genus g で h 個の穴を持つ多様体では、交差数の上限がO((m+n)^4)である。両者とも h や g に依存しない。トポロジー的手法としてデーンねじりとグラフの多様体上への埋め込みを用いている。

ABSTRACT

We consider two systems of curves $(α_1,...,α_m)$ and $(β_1,...,β_n)$ drawn on a compact two-dimensional surface $M$ with boundary. Each $α_i$ and each $β_j$ is either an arc meeting the boundary of $M$ at its two endpoints, or a closed curve. The $α_i$ are pairwise disjoint except for possibly sharing endpoints, and similarly for the $β_j$. We want to "untangle" the $β_j$ from the $α_i$ by a self-homeomorphism of $M$; more precisely, we seek a homeomorphism $ϕ:M ightarrow M$ fixing the boundary of $M$ pointwise such that the total number of crossings of the $α_i$ with the $ϕ(β_j)$ is as small as possible. This problem is motivated by an application in the algorithmic theory of embeddings and 3-manifolds. We prove that if $M$ is planar, i.e., a sphere with $h\geq 0$ boundary components ("holes"), then $O(mn)$ crossings can be achieved (independently of $h$), which is asymptotically tight, as an easy lower bound shows. In general, for an arbitrary (orientable or nonorientable) surface $M$ with $h$ holes and of (orientable or nonorientable) genus $g$, we obtain an $O((m+n)^4)$ upper bound, again independent of $h$ and $g$. The proofs rely, among others, on a result concerning simultaneous planar drawings of graphs by Erten and Kobourov.

研究の動機と目的

• 境界を点ごとに固定する自己ホメオモルフィズムを用いて、コンパクトな2次元多様体上の2つのペアワイズに交差しない非交差曲線系の間の交差数を最小化すること。
• このようなホメオモルフィズムの後に達成可能な最小交差数の漸近的最悪ケースの境界を、多様体の genus と境界成分数に応じて特定すること。
• デーンねじりとグラフの埋め込みを含む、トポロジー的および組合せ的技術を開発し、多様体の複雑さに依存しない効率的なねじれの解消を実現すること。

提案手法

• 境界条件を保ちながら、一方の曲線系（B）の位置を他方（A）に対してデーンねじりと同倫変形で変更する。
• 境界成分を点に収縮させ、多様体を非可換または可換で境界のない多様体に単純化する。
• 曲線系Bの端点と曲線からグラフGを構築し、制御された genus を持つ多様体に埋め込んで、トポロジー的グラフ理論の結果を適用する。
• ErtenとKobourovの同時平面図形埋め込みに関する結果を適用して、交差数が有界なグラフを埋め込む。
• 方向を保証する曲線と双対グラフを用いて、曲線の向きと境界成分の不整合を反復的に是正する。
• 曲線を摂動し、再収縮させて元の多様体構造を回復させつつ、交差数が有界のままであるように保つ。

実験結果

リサーチクエスチョン

• RQ1 境界を固定するホメオモルフィズムを用いて、多様体上の2つの非交差曲線系の間で達成可能な最小交差数は何か？
• RQ2 この最小交差数は、多様体の穴の数hやgenus gに依存せずに有界にできるか？
• RQ3 デーンねじりと同倫変形は、ねじれの解消プロセスで交差数をどのように低減するか？
• RQ4 交差数を最小化するホメオモルフィズムを構成するために、どのようなトポロジー的不変量やグラフ理論的道具が利用できるか？
• RQ5 多様体の複雑さに依存しない、部分二次式または多項式の交差数の境界を達成することは可能か？

主な発見

• 平面的多様体（genus 0、h 個の穴）では、m 個と n 個の非交差曲線からなる2つの曲線系の間の交差数をO(mn)にまで低減でき、これは漸近的にタイトである。
• 一般の genus g で h 個の穴を持つ多様体では、交差数をO((m+n)^4)にまで低減でき、g や h に依存しない。
• 上界は、デーンねじり、同倫変形、制御された genus を持つ多様体上へのグラフ埋め込みの組み合わせによって達成される。
• 証明は、境界成分の収縮、曲線の端点からのグラフ構築、双対グラフによる向きの不整合の是正に依存している。
• 補正プロセス中に新たに生じる交差数がO(g + n)の範囲に収まることが保証されており、全体の多項式境界が維持される。
• 結果は可換および非可換多様体の両方に対して成り立ち、m と n に関して同じ漸近的境界を持つ。