[논문 리뷰] Hardness of embedding simplicial complexes in $\R^d$

Jiřı́ Matoušek, Martin Tancer외 1명|ArXiv.org|2008. 07. 02.

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 에 통합하는 데 필요한 계산 복잡도를 규명하는 것.
• 특히 메타안정 범위 외부에서의 통합 문제에 대한 다루기 쉬운 경우와 다루기 어려운 경우의 경계를 규명하는 것.
• 경우의 수에 따라 단순한 구조적 특성으로 통합 가능성 여부를 특징지울 수 없음을, 난이도 결과에 기반해 보여주는 것.
• 삭제된 곱 장애물이 통합 가능성에서 차지하는 역할을 명확히 하여, 메타안정 범위 외부에서는 이것이 부족하다는 것을 보여주는 것.
• k=1, d=2 인 평면성의 경우와 k≥3 인 경우에 대해 2k 차원에서의 통합 가능성에 관한 기존 결과를 고차원 사례로 확장하고, 복잡도 한계를 제시하는 것.

제안 방법

• d ≥ 4 이고 k ≥ (2d−2)/3 인 EMBED k→d 문제에 대해 3-SAT 에서의 축소.
• 통합된 부분 복합체 주변의 이웃에서 연결성과 풀리지 않은 성질을 제어하는 위상적 통합을 이용한 절차 및 변수 가드의 구성.
• 통합된 부분 복합체 주변의 개인용 조각 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-난이도이며, 4차원 공간에 2-복합체를 통합하는 데 있어 첫 번째 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 에서의 명시적 축소를 통해 위상적 가드를 사용하여 제어된 연결성과 풀리지 않은 성질을 갖는 방식으로 강력하게 구성되어 있다.