[论文解读] 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$.

研究动机与目标

• 建立从 $ 2l $-维复形的子复形到 $ S^l $ 的单纯映射是否可延拓为 PL 映射的不可判定性，其中 $ l $ 为固定的偶数。
• 通过同伦分类与丢番图约化，提供一种更简短且更易理解的证明，以重新确立 Čadek 等人最初证明的不可判定性结果。
• 澄清并修正 Filakovský-Wagner-Zhechev 证明中关于高余维 >1 嵌入不可判定性的漏洞。
• 证明某些映射的延拓性等价于特定二次丢番图方程的可解性，而这些方程已被知为不可判定。

提出的方法

• 将延拓问题约化为形如 $ \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 数定义“奇”嵌入与近乎嵌入，用于编码丢番图约束。
• 建立奇近乎嵌入的延拓性与方程组 (SYM1) 可解性之间的等价性，利用拓扑不变量与稳定维数范围条件。

实验结果

研究问题

• RQ1 是否存在一个算法，能够判定给定的单纯映射从 $ 2l $-复形的子复形到 $ S^l $ 是否可延拓为 $ S^l $ 上的 PL 映射（$ l $ 为偶数）？
• RQ2 单纯映射的延拓性是否可约化为求解一组二次丢番图方程？
• RQ3 稳定维数范围在确保证明中所用拓扑构造的有效性方面起什么作用？
• RQ4 Filakovský-Wagner-Zhechev 证明是否完整确立了高余维 >1 复形嵌入的不可判定性，还是存在漏洞？
• RQ5 奇近乎嵌入的延拓性与丢番图可解性（SYM1）和（SKEW1）之间的等价性是否可严格证明？

主要发现

• 对于任意固定的偶数 $ l $，不存在算法可判定：给定一个包含 $ S^l $ 的细分作为子复形的 $ 2l $-复形 $ X $，其上恒等映射是否可延拓为 $ X $ 到 $ S^l $ 的 PL 映射。
• 延拓问题在算法上等价于求解形如 $ \sum a^{i,j}_q x_i x_j = b_q $ 的二次丢番图方程组，而该问题已被证明是不可判定的。
• 本文指出了 Filakovský-Wagner-Zhechev 证明中关于高余维 >1 嵌入不可判定性的漏洞，尤其在于验证集合 $ S(g) $ 在细分下不变性时的缺陷。
• 证明表明：将奇近乎嵌入延拓到 $ S^{3l+2} $ 的问题等价于 (SYM1) 的可解性，该方程组具有奇数右侧项。
• 对于奇数 $ l > 1 $，从 $ V^{2l-1}_m $ 到 $ Y_l $ 的映射的延拓性等价于一个反对称丢番图方程组 (SKEW1) 的可解性，而该方程组同样是不可判定的。
• 作者确认：在假设关于定理 3.8 的楔和类比的猜想成立的前提下，嵌入性与丢番图可解性之间的猜想等价关系 (Em1) ⇔ (SYM1) 成立，且与 [FWZ] 的框架一致。