[論文レビュー] Extendability of simplicial maps is undecidable

Arkadiy Skopenkov|arXiv (Cornell University)|Aug 2, 2020

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$ への単体的写像が PL 写像に拡張可能かどうかの決定不能性を確立すること。
• Čadek らが最初に確立した決定不能性結果の短くよりアクセス可能な証明を、ホモトピー分類とディオファントス還元を用いて提供すること。
• Filakovský-Wagner-Zhechev による codimension >1 の埋め込みの決定不能性に関する証明におけるギャップを明確にし、修正すること。
• 特定の二次ディオファントス方程式の可解性と、ある種の写像の拡張可能性が同値であることを示し、その方程式系は既に決定不能であることが知られている。

提案手法

• 拡張可能性問題を、形式 $\sum a^{i,j}_q x_i x_j = b_q$ の二次ディオファントス方程式系の可解性に還元する。
• Brower-Hopf-Whitehead の定理を適用し、整数上の二次形式と写像のホモトピー類との関係を確立する。
• PL 近似定理を用いて、連続的拡張可能性と PL 拡張可能性を同一視し、位相的解析を簡略化する。
• 偶数 $l$ の場合に $Y_l = S^l$、奇数 $l$ の場合に $S^l \vee S^l$ としてのワッペン和構成を用い、被覆空間と部分複体構造をモデル化する。
• 2 を法とするリンク数を用いて「奇数」埋め込みとほぼ埋め込みを定義し、これによりディオファントス制約を符号化する。
• 位相的不変量と安定次元範囲条件を用いて、奇数ほぼ埋め込みの拡張可能性と (SYM1) の可解性との同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 与えられた $2l$ 次元複体 $X$ に $S^l$ の分割を部分複体として含むとき、$S^l$ 上の恒等写像が $X$ から $S^l$ への PL 写像に拡張可能かどうかを判定するアルゴリズムは存在するか？
• RQ2 単体的写像の拡張可能性は、二次ディオファントス方程式系の可解性に還元可能か？
• RQ3 安定次元範囲が証明で用いられる位相的構成の正当性を保証するために果たす役割は何か？
• RQ4 Filakovský-Wagner-Zhechev の証明は、codimension >1 の埋め込みの決定不能性を完全に確立しているのか、それともギャップが存在するか？
• RQ5 奇数ほぼ埋め込みの拡張可能性とディオファントス可解性 (SYM1) および (SKEW1) の同値性は、厳密に証明可能か？

主な発見

• 任意の固定された偶数 $l$ に対して、$S^l$ の分割を部分複体として含む $2l$ 次元複体 $X$ に対して、$S^l$ 上の恒等写像が $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) の埋め込みとディオファントス可解性の同値性が、定理 3.8 のワッペン類似形に関する予想の下で成り立つことを確認した。この予想は [FWZ] の枠組みと整合的である。