[논문 리뷰] Embeddability in the 3-sphere is decidable

Jiřı́ Matoušek, Eric Sedgwick외 2명|arXiv (Cornell University)|2014. 02. 04.

Topological and Geometric Data Analysis참고 문헌 31인용 수 13

한 줄 요약

이 논문은 2차원 단순 복합체가 3차원 공간(특히 3차원 구면 S³)에 매장될 수 있는지 여부를 결정하는 것이 알고리즘적으로 결정 가능하다는 것을 증명한다. 핵심 통찰은 그러한 매장이 존재할 경우 항상 짧은 메리디언을 가지는 매장이 존재한다는 것이다 — 즉, 두껍혀진 복합체의 경계에 있는 곡선으로, 보완 영역 내에서 디스크를 경계짓는다 — 그 길이가 단체의 수에 대한 계산 가능한 함수로 유계임을 증명하는 것이다.

ABSTRACT

We show that the following algorithmic problem is decidable: given a $2$-dimensional simplicial complex, can it be embedded (topologically, or equivalently, piecewise linearly) in $\mathbf{R}^3$? By a known reduction, it suffices to decide the embeddability of a given triangulated 3-manifold $X$ into the 3-sphere $S^3$. The main step, which allows us to simplify $X$ and recurse, is in proving that if $X$ can be embedded in $S^3$, then there is also an embedding in which $X$ has a short meridian, i.e., an essential curve in the boundary of $X$ bounding a disk in $S^3\setminus X$ with length bounded by a computable function of the number of tetrahedra of $X$.

연구 동기 및 목표

• 2차원 복합체의 R³로의 매장 가능성 문제에 대한 오랫동안 열려 있던 문제를 해결하기 위해.
• 경계를 가진 3차원 다면체의 S³에 대한 매장에서 짧은 메리디언의 길이에 대한 계산 가능한 상한을 확립하기 위해.
• R³로의 2차원 복합체 매장 문제를 경계를 가진 삼각분할된 3차원 다면체의 S³로의 매장 가능성 문제로 환원하기 위해.
• 짧은 메리디언을 기반으로 하여 단순화하고 매장 가능성 테스트를 수행하는 재귀적 알고리즘 프레임워크를 제공하기 위해.

제안 방법

• EMBED 2→3 문제를, 복합체의 3두께화(경계를 가진 삼각분할된 3차원 다면체)가 S³에 매장되는지 테스트하는 것으로 환원하기 위해.
• Neuwirth의 알고리즘을 사용하여 주어진 2차원 복합체의 모든 가능한 3두께화를 위상동형에 대해 계산하기 위해.
• 만약 경계를 가진 3차원 다면체가 S³에 매장된다면, 그 경계에 짧은 메리디언이 존재한다 — 즉, 보완 영역 내에서 디스크를 경계짓는 본질적인 곡선 — 그 길이가 단체의 수에 대한 계산 가능한 함수로 유계임을 증명하기 위해.
• PL Schoenflies 정리를 적용하여, 2스켈레톤에서의 매장을 전체 단체로 확장하기 위해, 내부를 매장된 구면의 보완 성분들로 매핑하기 위해.
• 짧은 메리디언의 존재를 이용하여 복합체를 재귀적으로 단순화하고 문제 크기를 줄이기 위해.
• S³에서 2차원 복합체의 위상적 매장과 PL 매장 간의 등가성을 활용하여 알고리즘적 일관성을 보장하기 위해.

실험 결과

연구 질문

• RQ1 주어진 2차원 단순 복합체가 R³에 매장될 수 있는지 여부를 결정하는 알고리즘이 존재하는가?
• RQ2 만약 경계를 가진 3차원 다면체가 S³에 매장된다면, 그 안에 짧은 메리디언이 존재함을 보장할 수 있는가?
• RQ3 그러한 짧은 메리디언의 길이가 복합체의 단체 수에 대해 효과적으로 의존하는가?
• RQ4 3차원 복합체의 R³로의 매장 가능성 문제를, S³로의 경계를 가진 3차원 다면체의 매장 가능성 문제로 환원할 수 있는가?

주요 결과

• EMBED 2→3 문제는 결정 가능하다. 즉, 2차원 복합체가 R³에 매장될 수 있는지 여부를 결정하는 유한 알고리즘이 존재한다.
• 경계를 가진 삼각분할된 3차원 다면체가 S³에 매장된다면, 그 경계에 짧은 메리디언이 존재한다 — 즉, 보완 영역 내에서 디스크를 경계짓는 본질적인 곡선 — 그 길이가 단체 수에 대한 계산 가능한 함수로 유계이다.
• EMBED 2→3에 대한 알고리즘은 짧은 메리디언을 이용하여 복합체를 재귀적으로 단순화하는 데 기반한다. 그러한 메리디언의 존재가 단순화 단계를 가능하게 한다.
• EMBED 3→3 문제 역시 결정 가능하다. 이는 간단한 위상적 구성에 의해 EMBED 2→3 문제로 환원되기 때문이다.
• 알고리즘의 실행 시간은 원시 재귀적이다. 다만 그 상한은 매우 높으며, 반복 지수 탑보다도 큰 수이므로, 효율성보다는 결정 가능성에 초점을 맞추고 있다.
• 이 문제의 난이도는 S³ 인식 문제 이상이며, S³ 인식 문제의 경우 NP에 속하지만, EMBED 2→3의 복잡도는 결정 가능성 이외에는 여전히 열려 있다.