[論文レビュー] Hardness of embedding simplicial complexes in $\R^d$

Jiřı́ Matoušek, Martin Tancer+1 more|ArXiv.org|Jul 2, 2008

Topological and Geometric Data Analysis参考文献 37被引用数 18

ひとこと要約

この論文は、有限単体複体をユークリッド空間に埋め込む問題の計算量的複雑性を確立し、d ≥ 4 かつ k ≥ (2d−2)/3 を満たす次元において、EMBED k→d がNP困難であることを証明している。これは EMBED 2→4 を含む。この結果は、3-SAT からの帰着と、文献からの位相的障害および例を用いて得られ、埋め込み可能性がメタ安定範囲外では単純な基準では特徴付けられないことを示している。

ABSTRACT

Let EMBED(k,d) be the following algorithmic problem: Given a finite simplicial complex K of dimension at most k, does there exist a (piecewise linear) embedding of K into R^d? Known results easily imply polynomiality of EMBED(k,2) (k=1,2; the case k=1, d=2 is graph planarity) and of EMBED(k,2k) for all k>2 (even if k is not considered fixed). We observe that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that EMBED(d,d) and EMBED(d-1,d) are undecidable for each d>4. Our main result is NP-hardness of EMBED(2,4) and, more generally, of EMBED(k,d) for all k,d with d>3 and d\geq k \geq (2d-2)/3. These dimensions fall outside the so-called metastable range of a theorem of Haefliger and Weber, which characterizes embeddability using the deleted product obstruction. Our reductions are based on examples, due to Segal, Spież, Freedman, Krushkal, Teichner, and Skopenkov, showing that outside the metastable range the deleted product obstruction is not sufficient to characterize embeddability.

研究の動機と目的

• 次元が高々 k である有限単体的複体を R^d に埋め込む問題の計算量的複雑性を特定すること。
• 特にメタ安定範囲外において、埋め込み問題の tractable と intractable なケースの境界を特定すること。
• 硬度結果に基づき、特定の次元において、埋め込み可能性の単純な構造的特徴付けが存在しないことを示すこと。
• 削除積障害が埋め込み可能性に与える役割を明確にし、メタ安定範囲外ではそれが不十分であることを示すこと。
• k=1, d=2 の平面性に関する既知の結果および k≥3 のとき 2k 次元への埋め込みに関する結果を、計算量の境界を伴って高次元に拡張すること。

提案手法

• d ≥ 4 および k ≥ (2d−2)/3 の場合の埋め込み問題 EMBED k→d に対して 3-SAT からの帰着を構築すること。
• 連結性と同相性の性質を制御した位相的埋め込みを用いて、R^d 内での節約部と変数部のガジェットを構築すること。
• 埋め込み部分複体の近傍内に、変数の割り当てを模倣するためのプライベートピece Qωj および Q+ωj を使用すること。
• Segal, Spież, Freedman, Krushkal, Teichner, Skopenkov が提示した例を活用し、削除積障害がメタ安定範囲外では失敗することを示すこと。
• 一般の位相的埋め込みの不決定性を避けるために、PL埋め込みを用いて計算可能性と表現可能性を保証すること。
• Van Kampen, Shapiro, Wu が得た埋め込み障害とそのアルゴリズム的限界に関する結果を応用すること。

実験結果

リサーチクエスチョン

• RQ1 すべての k と d に対して、k 次元単体的複体を R^d に埋め込む問題は計算的に容易か？
• RQ2 EMBED 2→4 の計算量的複雑性は何か？ これはメタ安定範囲外にあるか？
• RQ3 d ≥ 4 および k ≥ (2d−2)/3 の次元において、削除積障害は埋め込み可能性を完全に特徴づけられるか？
• RQ4 NP困難性が示唆するように、メタ安定範囲外では埋め込み基準に本質的な構造的制限があるか？
• RQ5 既知の位相的障害が、高次元設定における埋め込みを十分に捉えていないのはどの程度か？

主な発見

• EMBED 2→4 はNP困難であり、2次元複体を4次元空間に埋め込む問題における最初のNP困難性の結果を確立している。
• d ≥ 4 および k ≥ (2d−2)/3 を満たすすべての k, d に対して EMBED k→d はNP困難であり、これはメタ安定範囲外への困難性の拡張を示している。
• 文献からの反例を用いて、削除積障害は非メタ安定領域では埋め込み可能性を特徴づけるのに不十分であることが示された。
• d ≥ 5 のとき、Novikovの5次元球面の認識が不可能であるという結果に従い、EMBED d→d および EMBED (d−1)→d は不決定であることが示唆される。
• これらの次元では、埋め込み可能性の単純な禁止マイナーまたは障害に基づく特徴付けは不可能であることが示された。
• 硬度結果は、連結性と同相性を制御した位相的ガジェットを用いた3-SATからの明示的帰着によって構築されており、頑健である。