[논문 리뷰] Geometric Embeddability of Complexes is existsR-complete

Mikkel Abrahamsen, Linda Kleist외 3명|Data Archiving and Networked Services (DANS)|2021. 08. 05.

Topological and Geometric Data Analysis인용 수 5

한 줄 요약

이 논문은 주어진 추상 심플렉스 $k$-복합체가 $ℝ^d$에 기하적 임베딩을 갖는지 여부를 결정하는 것이 모든 $d \geq 3$ 및 $k \in \{d-1, d\}$에 대해 존재 이론의 실수($∃\mathbb{R}$)에 대해 완전함을 입증한다. 이 결과는 기하 임베딩의 계산 복잡도를 해결하여, 실수 위에서 다항식 방정식의 체계를 푸는 것과 다항식 시간에 등가임을 보이며, 이 문제에 대해 존재 이론의 실수에 대한 첫 번째 $∃\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$에 기하적 임베딩을 갖는지 여부를 결정하는 문제의 계산 복잡도를 규명하는 것.
• 이 결정 문제의 $\exists\mathbb{R}$-완전성을 모든 $d \geq 3$ 및 $k \in \{d-1, d\}$에 대해 입증하는 것.
• $\textsc{GEM}_{2\rightarrow 3}$ 문제에 대해 특히, 기하 임베딩의 복잡도를 해결하기 위해 이 문제가 $\exists\mathbb{R}$-완전함을 보이는 것.
• 모든 $\max\{3,k\} \leq d \leq 2k$에 대해 $\textsc{GEM}_{k\rightarrow d}$가 $\exists\mathbb{R}$-완전함을 보여 Skopenkov의 추측을 강화하는 것.

제안 방법

• 기하 임베딩 문제에 대한 알려진 $\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 PL 임베딩의 존재가 $d \geq 3$인 $\mathbb{R}^d$에서 $k$-복합체에 대해 기하 임베딩의 존재를 의미하는가?
• RQ4 $\textsc{GEM}_{2\rightarrow 3}$, 즉 $\mathbb{R}^3$에서 2-복합체의 기하 임베딩 문제가 $\exists\mathbb{R}$-완전한가?
• RQ5 모든 $\max\{3,k\} \leq d \leq 2k$일 때, $\mathbb{R}^d$에서 $k$-복합체의 기하 임베딩의 계산 복잡도는 무엇인가?

주요 결과

• $\mathbb{R}^d$에서 $k$-복합체의 기하 임베딩 문제는 모든 $d \geq 3$ 및 $k \in \{d-1, d\}$에 대해 $\exists\mathbb{R}$-완전하다.
• 이 결과는 다항식 방정식 체계가 실수 해를 갖는지 여부를 결정하는 문제와 다항식 시간에 등가임을 의미한다.
• 이 결과는 추상 심플렉스 복합체의 기하 임베딩에 대해 존재 이론의 실수에 대한 첫 번째 $\exists\mathbb{R}$-완전성 결과를 확립한다.
• 증명은 가상선 배열에서 복합체를 구성하여, 배열이 실현 가능할 때에만 기하 임베딩이 존재함을 보여준다.
• 중앙 정점과 구면 투영을 사용하여 기하 부등식을 통해 가시성 및 교차 제약 조건을 인코딩한다.
• 논문은 $\textsc{GEM}_{2\rightarrow 3}$의 복잡도를 $\exists\mathbb{R}$-완전으로 해결하여 오랫동안 남아 있던 열린 문제를 확인한다.