[논문 리뷰] Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension

Martin Čadek, Marek Krčál외 3명|arXiv (Cornell University)|2012. 11. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 36인용 수 31

한 줄 요약

이 논문은 고정된 차원 k ≥ 2에서 1-연결된 단순형 집합 X의 호모토피 군 πₖ(X)과 포스트니코프 체계를 다항시간 알고리즘으로 계산하는 방법을 제시한다. 이는 단순형 집합의 다항시간 호모로지 기반으로 이뤄지며, 핵심 기여는 확장 문제에 대한 완전한 다항시간 해법과, Y가 (k−1)-연결이고 dim X ≤ 2k−1일 때 [X,Y]를 다항시간으로 계산할 수 있도록 한 것이다. 이는 대수적 위상수학에서 오랫동안 존재하던 복잡도 장벽을 해결한다.

ABSTRACT

For several computational problems in homotopy theory, we obtain algorithms with running time polynomial in the input size. In particular, for every fixed k>1, there is a polynomial-time algorithm that, for a 1-connected topological space X given as a finite simplicial complex, or more generally, as a simplicial set with polynomial-time homology, computes the k-th homotopy group π_k(X), as well as the first k stages of a Postnikov system of X. Combined with results of an earlier paper, this yields a polynomial-time computation of [X,Y], i.e., all homotopy classes of continuous mappings X -> Y, under the assumption that Y is (k-1)-connected and dim X < 2k-1. We also obtain a polynomial-time solution of the extension problem, where the input consists of finite simplicial complexes X,Y, where Y is (k-1)-connected and dim X < 2k, plus a subspace A\subseteq X and a (simplicial) map f:A -> Y, and the question is the extendability of f to all of X. The algorithms are based on the notion of a simplicial set with polynomial-time homology, which is an enhancement of the notion of a simplicial set with effective homology developed earlier by Sergeraert and his co-workers. Our polynomial-time algorithms are obtained by showing that simplicial sets with polynomial-time homology are closed under various operations, most notably, Cartesian products, twisted Cartesian products, and classifying space. One of the key components is also polynomial-time homology for the Eilenberg--MacLane space K(Z,1), provided in another recent paper by Krcal, Matousek, and Sergeraert.

연구 동기 및 목표

• 고정된 차원 k에서 1-연결된 공간 X에 대해 호모토피 군 πₖ(X)와 포스트니코프 단계를 다항시간 알고리즘으로 계산하는 것.
• A ⊆ X이면서 Y가 (k−1)-연결이고 dim X ≤ 2k−1일 때, f: A → Y의 맵에 대한 확장 문제를 해결하는 것.
• 동일한 연결성 및 차원 제약 조건 하에서 [X,Y], 즉 X → Y의 호모토피류 집합을 다항시간으로 계산할 수 있도록 하는 것.
• 세르게르아르트의 효율적 호모로지 프레임워크를 확장하여 다항시간 호모로지를 갖는 단순형 집합의 개념을 도입함으로써, 효율적 호모로지의 프레임워크를 다항시간 계산 가능성으로 확장하는 것.
• 카르탕 곱, 비틀린 곱, 분류 공간 등의 주요 구성 요소들이 다항시간 호모로지를 유지하는 것을 증명하는 것.

제안 방법

• 다항시간 호모로지를 갖는 단순형 집합의 개념을 도입하여 세르게르아르트의 효율적 호모로지 프레임워크를 확장한다.
• 다항시간 호모로지를 갖는 단순형 집합이 카르탕 곱, 비틀린 카르탕 곱, 분류 공간 구성에 대해 닫혀 있음을 증명한다.
• 이전 연구에서 얻은 K(ℤ,1)의 다항시간 호모로지 계산 기법을 활용하여 기초 구성 요소를 구축한다.
• 포스트니코프 타워 분해를 적용하여 [X,Y] 계산 문제를 P_{2k−2}로의 호모토피류 계산으로 환원한다.
• [X,P_{2k−2}]와 [A,P_{2k−2}]를 다항시간으로 계산 가능한 생성자와 관계로 효과적으로 표현된 아벨 군으로 표현한다.
• 제약 맵의 군 준동형 성질과 다항시간 소속 테스트를 활용하여 확장 문제를 해결한다.

실험 결과

연구 질문

• RQ1 고정된 k ≥ 2와 1-연결된 X(유한 단순형 복합체 또는 다항시간 호모로지를 갖는 단순형 집합으로 표현됨)에 대해 호모토피 군 πₖ(X)를 다항시간으로 계산할 수 있는가?
• RQ2 Y가 (k−1)-연결이고 dim X ≤ 2k−1일 때, 맵 f: A → Y에 대한 확장 문제가 다항시간으로 결정 가능한가?
• RQ3 동일한 제약 조건 하에서 [X,Y], 즉 X → Y의 호모토피류 집합을 다항시간으로 계산할 수 있는가?
• RQ4 포스트니코프 체계를 구성하는 데 필요한 연산들이 단순형 설정에서 다항시간 호모로지를 유지하는가?
• RQ5 이 프레임워크를 사용하여 고정된 k에 대해 구면의 호모토피 군을 효율적으로 계산할 수 있는가?

주요 결과

• 모든 고정된 k ≥ 2에 대해, 1-연결된 X가 유한 단순형 복합체 또는 다항시간 호모로지를 갖는 단순형 집합으로 주어질 경우 πₖ(X)를 다항시간으로 계산할 수 있는 알고리즘이 존재한다.
• 동일한 입력 클래스에 대해 X의 포스트니코프 체계의 첫 k단계는 다항시간으로 계산 가능하다.
• Y가 (k−1)-연결이고 dim X ≤ 2k−2일 경우, X → Y의 호모토피류 집합 [X,Y]는 다항시간으로 계산 가능하다.
• Y가 (k−1)-연결이고 dim X ≤ 2k−1일 경우, A ⊆ X이면서 f: A → Y인 맵에 대한 확장 문제는 다항시간으로 결정 가능하다.
• 제약 맵 ρ: [X,P_{2k−2}] → [A,P_{2k−2}]는 다항시간으로 계산 가능하며, 이는 확장 가능성에 대한 효율적 소속 테스트를 가능하게 한다.
• 다항시간 호모로지를 갖는 단순형 집합의 프레임워크는 카르탕 곱, 비틀린 곱, 분류 공간 구성에 대해 닫혀 있으며, 이는 재귀적 알고리즘 구축을 가능하게 한다.