[论文解读] 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

一句话总结

该论文证明了，对于所有 $ d \geq 3 $ 且 $ k \in \{d-1, d\} $，判断一个给定的抽象单纯 $k$-复形是否能嵌入到 $\mathbb{R}^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}$）完全问题。
• 通过证明其为 $\exists\mathbb{R}$-完全，解决几何可嵌入性复杂度的开放问题，特别是 $\textsc{GEM}_{2\rightarrow 3}$ 问题。
• 通过证明对所有 $\max\{3,k\} \leq d \leq 2k $，$\textsc{GEM}_{k\rightarrow d}$ 为 $\exists\mathbb{R}$-完全，从而加强了 Skopenkov 的猜想。

提出的方法

• 从一个已知的 $\exists\mathbb{R}$-完全问题（涉及伪线排列）归约到几何可嵌入性问题。
• 从伪线排列 $L$ 构造一个单纯复形 $C$，并添加一条额外的伪线 $\ell_0$，形成一个辅助三角形 $\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}$（即 2-复形在 $\mathbb{R}^3$ 中的几何可嵌入性）是否为 $\exists\mathbb{R}$-完全？
• RQ5 当 $\max\{3,k\} \leq d \leq 2k $ 时，$k$-复形在 $\mathbb{R}^d$ 中的几何可嵌入性的计算复杂度是什么？

主要发现

• 对于所有 $ d \geq 3 $ 且 $ k \in \{d-1, d\} $，$k$-复形在 $\mathbb{R}^d$ 中的几何可嵌入性问题为 $\exists\mathbb{R}$-完全。
• 这意味着该问题与判断多项式方程组是否存在实数解的问题在多项式时间内等价。
• 该结果首次为抽象单纯复形的几何可嵌入性问题建立了 $\exists\mathbb{R}$-完全性。
• 证明构造了一个从伪线排列出发的复形，使得几何嵌入存在当且仅当该排列是可实现的。
• 该构造利用中心顶点和球面对射，通过几何不等式编码可见性和交叉约束。
• 该论文解决了 $\textsc{GEM}_{2\rightarrow 3}$ 的复杂度问题，确认其为 $\exists\mathbb{R}$-完全，证实了一个长期存在的开放问题。