[論文レビュー] Electrical Reduction, Homotopy Moves, and Defect

Hsien-Chih Chang, Jeff Erickson|arXiv (Cornell University)|Oct 2, 2015

Geometric and Algebraic Topology参考文献 65被引用数 4

ひとこと要約

この論文は、平面グラフにおける電気的還元および平面内の閉曲線のホモトピー移動について、初めて非自明な最悪ケース下界を確立し、最悪ケースでΩ(n³/²)の操作が必要であることを証明している。主な洞察は、中点グラフ双対性と位相的不変量「欠損値」を介してこれらの問題を結びつけることで、高い欠損値を持つ曲線は多くの移動を必要とすることを示し、任意のn交差を持つ曲線について欠損値がO(n³/²)であることを証明している。

ABSTRACT

Any generic closed curve in the plane can be transformed into a simple closed curve by a finite sequence of local transformations called homotopy moves. We prove that simplifying a planar closed curve with n self-crossings requires Theta(n^{3/2}) homotopy moves in the worst case. Our algorithm improves the best previous upper bound O(n^2), which is already implicit in the classical work of Steinitz; the matching lower bound follows from the construction of closed curves with large defect, a topological invariant of generic closed curves introduced by Aicardi and Arnold. This lower bound also implies that Omega(n^{3/2}) degree-1 reductions, series-parallel reductions, and Delta-Y transformations are required to reduce any planar graph with treewidth Omega(sqrt{n}) to a single edge, matching known upper bounds for rectangular and cylindrical grid graphs. Finally, we prove that Omega(n^2) homotopy moves are required in the worst case to transform one non-contractible closed curve on the torus to another; this lower bound is tight if the curve is homotopic to a simple closed curve.

研究の動機と目的

• 平面グラフにおける電気的変換の非自明な最悪ケース下界を確立すること。
• n個の自己交差を持つ閉曲線を単純な曲線に簡約するため、Ω(n³/²)のホモトピー移動が必要であることを証明すること。
• 中点グラフ双対性と欠損値不変量を介して、電気的還元問題とホモトピー移動問題を結びつけること。
• n交差を持つ一般の閉曲線の最大欠損値を分析すること。
• 欠損値の境界が、ランダムなねじれ結び図のモデルおよびCasson不変量に与える影響を検討すること。

提案手法

• 中点グラフ双対性を用いて、平面グラフにおける電気的還元を閉曲線上のホモトピー移動に関連付ける。
• AicardiとArnoldの欠損値不変量を適用し、閉曲線の位相的複雑さを測定する。
• NobleとWelsh（2000）の結果を活用し、欠損値を木幅およびグラフ構造の観点から境界づける。
• Steinitz（1916）の3連結平面グラフが凸多面体の1次元スケルトンであることを示す証明の技術を応用する。
• Haiyashiら（2012）の観察を活用する：トーラス結びの標準的投影には大きな欠損値がある。
• 再帰的分解の議論を用いて、任意のn交差曲線について欠損値がO(n³/²)であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 n頂点の平面グラフを単一の頂点または辺に還元するために必要な電気的変換の最悪ケース数は何か？
• RQ2 n個の自己交差を持つ閉曲線を単純な曲線に簡約するために必要なホモトピー移動の最悪ケース数は何か？
• RQ3 欠損値不変量は、電気的還元およびホモトピー移動の複雑さとどのように関係するか？
• RQ4 n交差を持つ一般の閉曲線の最大欠損値は何か？
• RQ5 欠損値に基づく下界は、非平面グラフや高 genus の曲面へ拡張可能か？

主な発見

• n頂点の平面グラフを還元する際、最悪ケースでΩ(n³/²)の次数1削除、系列並列還元、および∆Y変換が必要である。
• n個の自己交差を持つ閉曲線を単純な曲線に還元するには、最悪ケースでΩ(n³/²)のホモトピー移動が必要である。
• ホモトピー移動の下界は、Ω(n³/²)の欠損値を持つ曲線（特定のトーラス結びの標準的投影など）の存在に起因する。
• 任意のn交差を持つ一般の閉曲線の欠損値はO(n³/²)である。これは、アルゴリズム的問題に対するより良い下界を得るには、新たな技術が必要であることを示唆する。
• 一般の曲線から導かれるランダムなねじれ結び図のCasson不変量の期待値はO(n³/²)であり、成長率はその背後にある曲線族に依存する。
• 平坦なトーラス結びT(q+1,q)およびT(p,p+1)の欠損値はΘ(n³/²)であり、これは極値の欠損値を達成していることを示唆する。