[論文レビュー] Minimum Bounded Chains and Minimum Homologous Chains in Embedded Simplicial Complexes

Glencora Borradaile, William Maxwell+1 more|arXiv (Cornell University)|Jan 1, 2020

Topological and Geometric Data Analysis参考文献 30被引用数 3

ひとこと要約

本稿は、R^{d+1} に埋め込まれた d 次元単体的複体における Z2 ホモロジーの下で、最小有界鎖および最小同調的鎖問題を研究する。最小有界鎖に対しては O(√log βd)-近似アルゴリズムを提示し、最小同調的鎖に対しては O(√log nd+1)-近似アルゴリズムを提示する。また、両問題が APX-ハードであり、一意ゲーム予想の下では任意の定数要因で近似可能でないことを証明する。主な貢献は、最適解のサイズをパラメータとする固定パラメータ tractable（FPT）な正確アルゴリズムである。

ABSTRACT

We study two optimization problems on simplicial complexes with homology over ℤ₂, the minimum bounded chain problem: given a d-dimensional complex 𝒦 embedded in ℝ^(d+1) and a null-homologous (d-1)-cycle C in 𝒦, find the minimum d-chain with boundary C, and the minimum homologous chain problem: given a (d+1)-manifold ℳ and a d-chain D in ℳ, find the minimum d-chain homologous to D. We show strong hardness results for both problems even for small values of d; d = 2 for the former problem, and d=1 for the latter problem. We show that both problems are APX-hard, and hard to approximate within any constant factor assuming the unique games conjecture. On the positive side, we show that both problems are fixed-parameter tractable with respect to the size of the optimal solution. Moreover, we provide an O(√{log β_d})-approximation algorithm for the minimum bounded chain problem where β_d is the dth Betti number of 𝒦. Finally, we provide an O(√{log n_{d+1}})-approximation algorithm for the minimum homologous chain problem where n_{d+1} is the number of (d+1)-simplices in ℳ.

研究の動機と目的

• 埋め込まれた単体的複体における、境界がゼロホモロジーサイクルである最小 d-鎖の計算的複雑性を調査すること。
• 最小有界鎖および最小同調的鎖問題の近似困難性を分析すること。
• 両問題の近似アルゴリズムおよび固定パラメータ tractable（FPT）な正確アルゴリズムを開発すること。
• 標準的な複雑性仮定（特に一意ゲーム予想）の下で、タイトな近似不能性結果を確立すること。
• 2次元複体における既知の最小有界鎖に関する結果を、高次元およびより一般的な設定へと拡張すること。

提案手法

• 複体 K から構築された変更された双対グラフ H における最小 (v⁺_∞, v⁻_∞)-カット問題に最小有界鎖問題を還元する。
• H を構築する際、無限遠点（v∞）を v⁺_∞ と v⁻_∞ に分割し、基準 d-鎖 F（∂F = C を満たす）への属性に基づいて辺を置き換える。
• Z2 ホモロジーにおけるサイクル／カット双対性を用いて、境界が C である d-鎖と H における (v⁻_∞, v⁺_∞)-カットの間の一対一対応を確立する。
• 最大フローアルゴリズムを用いて、H における最小カットを O(βd m) 時間で計算する。ここで m は d-単体の数である。
• 外側シェルおよびゼロホモロジーサイクルの構造を活用して、双対グラフ変換による最小カットへの還元を実施する。
• 一意ゲーム予想を用いて、両問題の強い近似不能性バウンドを証明する。これは低次元設定においても成り立つ。

実験結果

リサーチクエスチョン

• RQ1 R³ に埋め込まれた2次元単体的複体における最小有界鎖問題は、最適解のサイズをパラメータとする固定パラメータ tractable（FPT）であるか？
• RQ2 標準的な複雑性仮定の下で、最小有界鎖問題に対して定数要因の近似アルゴリズムが存在するか？
• RQ3 最小有界鎖問題の最良の近似比は、d 階のベッチ数 βd に関してどのように表されるか？
• RQ4 最小同調的鎖問題の複雑さは、(d+1)-多様体における最小有界鎖問題のそれと比べてどうか？
• RQ5 d-鎖に関して、最小同調的鎖問題は (d+1)-多様体において O(√log nd+1) で近似可能か？

主な発見

• 最小有界鎖問題は、複体の d 階ベッチ数 βd を用いて O(√log βd)-近似アルゴリズムを有する。
• 最小同調的鎖問題は、多様体内の d-単体数 nd+1 を用いて O(√log nd+1)-近似アルゴリズムを有する。
• 両問題とも APX-ハードであるため、P = NP でない限り、多項式時間近似スキームは存在しない。
• 一意ゲーム予想の下では、両問題は任意の定数要因で近似可能でない。
• 両問題の正確アルゴリズムは、最適解のサイズ k および d-単体数 n_d を用いて O(15^k · k · n³_d) 時間で実行される。
• 最小有界鎖問題は、入力サイクル C が R³ \ K の非有界領域の境界上にある場合でさえ、近似可能でないことが示され、強い非可解性を示している。