[論文レビュー] Geometric Embeddability of Complexes is existsR-complete

Mikkel Abrahamsen, Linda Kleist+3 more|Data Archiving and Networked Services (DANS)|Aug 5, 2021

Topological and Geometric Data Analysis被引用数 5

ひとこと要約

本稿では、与えられた抽象的単体的 $k$-複体が $\mathbb{R}^d$ に幾何的埋め込みをもつかどうかを判定することは、すべての $d \geq 3$ および $k \in \{d-1, d\}$ に対して、実数の存在理論 ($\exists\mathbb{R}$) に完全であることを確立している。この結果は、幾何的埋め込みの計算複雑性を解明し、実数上での多項式方程式系の解の存在を判定することと多項式時間同値であることを示しており、この問題に対する $\exists\mathbb{R}$-完全性の最初の結果を提供している。これにより、従来の NP 困難性に関する予想が強化された。

ABSTRACT

We show that the decision problem of determining whether a given (abstract simplicial) k-complex has a geometric embedding in Rd is complete for the Existential Theory of the Reals for all d≥3 and k∈{d−1,d}. This implies that the problem is polynomial time equivalent to determining whether a polynomial equation system has a real solution. Moreover, this implies NP-hardness and constitutes the first hardness results for the algorithmic problem of geometric embedding (abstract simplicial) complexes.

研究の動機と目的

• 与えられた抽象的単体的 $k$-複体が $\mathbb{R}^d$ に幾何的埋め込みをもつかどうかを決定する計算複雑性を特定すること。
• この決定問題が、すべての $d \geq 3$ および $k \in \{d-1, d\}$ に対して、実数の存在理論 ($\exists\mathbb{R}$) に完全であることを確立すること。
• $\textsc{GEM}_{2\rightarrow 3}$ の複雑性に関する未解決問題を解消し、それが $\exists\mathbb{R}$-完全であることを示すこと。
• スコペンコフの予想を強化し、すべての $\max\{3,k\} \leq d \leq 2k$ に対して $\textsc{GEM}_{k\rightarrow d}$ が $\exists\mathbb{R}$-完全であることを示すこと。

提案手法

• 既知の $\exists\mathbb{R}$-完全な問題（擬線の配置に関する問題）を、幾何的埋め込み問題へ還元すること。
• 擬線の配置 $L$ から、追加の擬線 $\ell_0$ を含む単体的複体 $C$ を構成し、補助三角形 $\triangle$ を形成すること。
• 各擬線 $\ell_i$ の周囲にトンネル構造 $T_i^+$（屋根部と底面部を含む）を設計し、位相的制約を符号化すること。
• 中心の頂点 $u$ と球面射影を用いて、埋め込みにおけるエッジの可視性および交差行動をモデル化すること。
• 実変数に関する不等式を用いて、セグメント $pu$ とエッジ $e_i$ 間の交差行動を幾何的制約として定義すること。
• 背理法による証明により、擬線の配置が実現可能でない限り、幾何的埋め込みが不可能な交差を強制することが示される。

実験結果

リサーチクエスチョン

• RQ1 $d \geq 3$ および $k \in \{d-1, d\}$ のとき、$k$-複体が $\mathbb{R}^d$ に幾何的埋め込みをもつかどうかを判定する問題は、$\exists\mathbb{R}$-完全であるか？
• RQ2 幾何的埋め込み問題は、実数上での多項式方程式系の解の存在を求める問題に還元可能か？
• RQ3 $d \geq 3$ のとき、$k$-複体が $\mathbb{R}^d$ に PL 埋め込みをもつならば、幾何的埋め込みも存在するか？
• RQ4 $\textsc{GEM}_{2\rightarrow 3}$（$\mathbb{R}^3$ への 2-複体の幾何的埋め込み）は $\exists\mathbb{R}$-完全か？
• RQ5 $\max\{3,k\} \leq d \leq 2k$ のとき、$k$-複体の $\mathbb{R}^d$ への幾何的埋め込みの計算複雑性はいかほどか？

主な発見

• $k$-複体の $\mathbb{R}^d$ への幾何的埋め込み問題は、すべての $d \geq 3$ および $k \in \{d-1, d\}$ に対して $\exists\mathbb{R}$-完全である。
• これは、この問題が実数上での多項式方程式系の解の存在を判定することと多項式時間同値であることを示唆する。
• この結果は、抽象的単体的複体の幾何的埋め込みに対する $\exists\mathbb{R}$-完全性の最初の結果を確立している。
• 証明は、擬線の配置から、その配置が実現可能である場合に限り幾何的埋め込みが存在するような複体を構成している。
• 中心の頂点と球面射影を用いて、可視性および交差制約を幾何的不等式として符号化している。
• 本稿は、$\textsc{GEM}_{2\rightarrow 3}$ の複雑性が $\exists\mathbb{R}$-完全であることを解決し、長年の未解決問題を確認した。