[论文解读] Intrinsic linking is arbitrarily complex

Erica Flapan, Blake Mellor+1 more|arXiv (Cornell University)|Oct 16, 2006

Geometric and Algebraic Topology参考文献 8被引用 4

一句话总结

本文证明了图中的固有链接性可以被构造得任意复杂：对于任意给定的 n 和 λ，存在一个图 G，其在 R³ 中的每一个嵌入都包含一个 n 个分量的链，且所有分量对之间的链接数均超过 λ。该构造运用了拓扑图论与空间图嵌入，证明了这种复杂性不受限制，挑战了此前对 3D 嵌入中链接行为的限制。

ABSTRACT

Abstract. We prove that given any n, λ ∈ N, there is a graph G which has the property that every embedding of G in R 3 contains an n-component link all of whose components are pairwise linked with linking number greater than λ. 1.

研究动机与目标

• 研究空间图中的固有链接性在链接数和分量数量方面是否可以被构造得任意复杂。
• 确定是否存在某些图，其在 R³ 中的嵌入总是包含高度链接的子结构，无论选择何种嵌入方式。
• 构造一个图，使得在每一个 3D 嵌入中，都强制出现一个 n 分量链，且所有分量对的链接数均大于任给定的 λ。

提出的方法

• 通过递归或迭代的拓扑操作构造图 G，以确保其具备高度的链接复杂性。
• 在 R³ 中使用空间图嵌入，分析所有可能嵌入中的链接行为。
• 使用链接数作为拓扑不变量，量化各分量之间纠缠的程度。
• 应用纽结理论与 3-流形拓扑的结果，证明所有嵌入必须包含指定类型的链。
• 证明链接数约束在环境同胚下保持不变，从而确保该性质是图的内在特性。
• 使用归纳法或递归构造，证明对于任意 n 和 λ，这样的图均存在。

实验结果

研究问题

• RQ1 在 3D 图嵌入中，固有链接性是否可以在分量数量和链接数方面被构造得任意复杂？
• RQ2 是否存在一个图，其每一个空间嵌入都包含一个 n 分量链，且所有分量对的链接数均超过给定的 λ？
• RQ3 固有链接的复杂性是否存在上界，还是可以被构造得任意大？
• RQ4 哪些拓扑约束会强制一个图在 R³ 中的所有嵌入中都出现高链接数？
• RQ5 如何设计图的构造方式，以确保在所有空间嵌入中都强制实现特定且复杂的链接模式？

主要发现

• 对于任意自然数 n 和 λ，存在一个有限图 G，使得其在 R³ 中的每一个空间嵌入都包含一个 n 分量链。
• 在每一个此类嵌入中，n 分量链中所有分量对的链接数严格大于 λ。
• 链接复杂性是图的内在性质，无法通过选择不同嵌入来避免。
• 该结果表明，固有链接性不受任何固定复杂度的限制，证明其可被构造得任意高。
• 该构造建立了一个普遍的拓扑障碍，阻止此类图实现平面或简单嵌入。