[논문 리뷰] Extendability of simplicial maps is undecidable

Arkadiy Skopenkov|arXiv (Cornell University)|2020. 08. 02.

Topological and Geometric Data Analysis참고 문헌 14인용 수 6

한 줄 요약

이 논문은 짝수 $l$에 대해 $2l$차원 복합체의 부분복합체에서 구면 $S^l$로의 단순형 사상이 조각별선형(PL) 사상으로 확장될 수 있는지 여부를 판단하는 것이 결정 가능하지 않음을 증명한다. 호모토피 이론적 감소를 통해 디오판틴 방정식으로의 변환을 통해, 확장 가능성 문제는 알려진 바에 따라 알고리즘적으로 결정 불가능한 특정 이차 디오판틴 방정식계와 동치임을 입증하며, 이를 통해 간결한 위상수학적 추론을 통해 주요 결과를 증명한다.

ABSTRACT

We present a short proof of the Čadek-Krčál-Matoušek-Vokřínek-Wagner result from the title (in the following form due to Filakovský-Wagner-Zhechev). For any fixed even $l$ there is no algorithm recognizing the extendability of the identity map of $S^l$ to a PL map $X o S^l$ of given $2l$-dimensional simplicial complex $X$ containing a subdivision of $S^l$ as a given subcomplex. We also exhibit a gap in the Filakovský-Wagner-Zhechev proof that embeddability of complexes is undecidable in codimension $>1$.

연구 동기 및 목표

• 고정된 짝수 $l$에 대해, $2l$차원 복합체의 부분복합체에서 $S^l$로의 단순형 사상이 $S^l$로의 조각별선형(PL) 사상으로 확장될 수 있는지 여부의 결정 불가능성을 입증하는 것.
• Čadek 등이 처음으로 확립한 결정 불가능성 결과를 더 짧고 접근하기 쉬운 증명으로 재제시하는 것. 이를 위해 호모토피 분류와 디오판틴 감소를 활용한다.
• codimension >1에서의 임bedding의 결정 불가능성에 관해 Filakovský-Wagner-Zhechev 증명의 격차를 명확히 하고 수정하는 것.
• 일부 사상의 확장 가능성과 특정 이차 디오판틴 방정식의 해가 존재하는 것 사이의 동치성을 보여주는 것. 이러한 방정식계는 이미 알고리즘적으로 결정 불가능한 것으로 알려져 있다.

제안 방법

• 확장 가능성 문제를 형태 $\sum a^{i,j}_q x_i x_j = b_q$의 이차 디오판틴 방정식계의 해 존재성 문제로 감소시킨다.
• Brower-Hopf-Whitehead 정리를 적용하여 정수 위에서의 이차형식과 사상의 호모토피 유형 사이의 관계를 설정한다.
• PL 근사 정리를 활용하여 연속적 확장 가능성과 PL 확장 가능성의 동치성을 확보함으로써 위상수학적 분석을 단순화한다.
• 대상 공간과 부분복합체의 구조를 모델링하기 위해 $Y_l = S^l$ (짝수 $l$에 대해) 및 $S^l \vee S^l$ (홀수 $l$에 대해)의 와이드 합 구조를 사용한다.
• 2를 모듈로로 한 연결수(linking number)를 분석하여 '홀수' 임베딩과 거의 임베딩(Almost embeddings)을 정의하며, 이를 디오판틴 제약 조건을 인코딩하는 데 활용한다.
• 위상수학적 불변량과 안정적 차원 조건을 활용하여, 홀수 거의 임베딩의 확장 가능성과 (SYM1)의 해 존재성 사이의 동치성을 확립한다.

실험 결과

연구 질문

• RQ1 주어진 $2l$-복합체 $X$의 부분복합체에서 $S^l$로의 단순형 사상이 짝수 $l$에 대해 $S^l$로의 PL 사상으로 확장될 수 있는지 여부를 판단할 수 있는 알고리즘이 존재하는가?
• RQ2 단순형 사상의 확장 가능성 문제는 이차 디오판틴 방정식계의 해 존재성 문제로 감소시킬 수 있는가?
• RQ3 안정적 차원 범위가 증명에서 사용된 위상수학적 구성의 타당성을 보장하는 데 어떤 역할을 하는가?
• RQ4 Filakovský-Wagner-Zhechev 증명은 codimension >1에서의 임베딩의 결정 불가능성을 완전히 확립했는가, 아니면 격차가 존재하는가?
• RQ5 홀수 거의 임베딩의 확장 가능성과 디오판틴 해 존재성(특히 (SYM1)과 (SKEW1)) 사이의 동치관계는 엄밀하게 증명 가능한가?

주요 결과

• 모든 고정된 짝수 $l$에 대해, $S^l$의 부분복합체로 분할된 $2l$-복합체 $X$에 대해 $S^l$ 위의 항등사상이 PL 사상으로 확장될 수 있는지 여부를 판단할 수 있는 알고리즘이 존재하지 않는다.
• 확장 가능성 문제는 형태 $\sum a^{i,j}_q x_i x_j = b_q$의 이차 디오판틴 방정식계의 해 존재성 문제와 알고리즘적으로 동치이며, 이는 이미 결정 불가능한 것으로 알려져 있다.
• 논문은 Filakovský-Wagner-Zhechev의 codimension >1에서의 임베딩 결정 불가능성 증명에 격차를 밝혀내었으며, 특히 $S(g)$ 집합의 분할에 대한 불변성 검증에서 문제가 있음을 지적한다.
• 증명은 홀수 거의 임베딩이 $S^{3l+2}$로 확장 가능할 조건이 (SYM1)의 해 존재성과 동치임을 입증한다. 이 방정식계는 오른쪽 항이 홀수인 형태를 가진다.
• 홀수 $l>1$에 대해, $V^{2l-1}_m$에서 $Y_l$로의 사상의 확장 가능성은 비대칭 디오판틴 방정식계 (SKEW1)의 해 존재성과 동치이며, 이 역시 결정 불가능하다.
• 저자는 (Em1) ⇔ (SYM1)의 임베딩과 디오판틴 해 존재성 사이의 추측된 동치관계가, Theorem 3.8의 와이드 합 형태의 일반화에 대한 추측을 가정할 경우, [FWZ]의 프레임워크와 일관되며 실제로 성립함을 확인한다.