[论文解读] Embedding simply connected 2-complexes in 3-space -- IV. Dual matroids

Johannes Carmesin|arXiv (Cornell University)|Sep 14, 2017

Computational Geometry and Mesh Generation参考文献 6被引用 7

一句话总结

本文引入了有限域 𝔽₃ 上二维单纯复形的对偶拟阵，建立了惠特尼平面性判别准则的三维类比：一个单连通复形可嵌入三维空间当且仅当其对偶拟阵是图拟阵。关键贡献在于利用拟阵对偶性和图结构刻画可嵌入性，将柯拉托夫斯基型定理推广至非平面、单连通的复形，并引入局部对偶拟阵条件。

ABSTRACT

We introduce dual matroids of 2-dimensional simplicial complexes. Under certain necessary conditions, duals matroids are used to characterise embeddability in 3-space in a way analogous to Whitney's planarity criterion. We further use dual matroids to extend a 3-dimensional analogue of Kuratowski's theorem to the class of 2-dimensional simplicial complexes obtained from simply connected ones by identifying vertices or edges.

研究动机与目标

• 通过为二维复形定义对偶拟阵，将惠特尼的二维平面性判别准则推广至三维。
• 利用对偶拟阵结构刻画单连通二维复形在三维空间中的可嵌入性。
• 通过识别对偶拟阵为图拟阵的条件，解决嵌入障碍问题。
• 将柯拉托夫斯基定理推广至通过识别顶点或边形成的单连通复形的二维复形。
• 通过其分裂复形和对偶拟阵连通性刻画全局3-连通复形的嵌入性。

提出的方法

• 将二维复形的对偶拟阵定义为其边/面关联矩阵在 𝔽₃ 上表示的拟阵。
• 引入‘局部’对偶拟阵的概念，以捕捉局部顶点结构，并排除如 K₅ 的锥等病态情况。
• 利用塔特对图拟阵的刻画，推导出基于子式（minor）的可嵌入性准则。
• 应用分裂复形构造，将非单连通复形简化为更简单的形式，同时在特定条件下保持可嵌入性。
• 使用约束子式刻画在某顶点或边上关联的面集合在对偶图中是否构成连通边集。
• 利用在 ℤ 上的拟阵正规表示，证明 𝔽₃ 上的对偶拟阵能反映关联矩阵中的整数线性相关性。

实验结果

研究问题

• RQ1 在何种条件下，二维复形的对偶拟阵是图拟阵，这与复形在三维空间中的可嵌入性有何关联？
• RQ2 能否通过二维复形的对偶拟阵将惠特尼的平面性判别准则推广至三维？
• RQ3 对偶拟阵的局部结构条件如何防止如 K₅ 的锥等不可嵌入复形被错误分类为可嵌入？
• RQ4 如何通过其分裂复形和对偶拟阵结构刻画全局3-连通二维复形的可嵌入性？
• RQ5 是否存在一个有限的障碍列表，用于确定某顶点或边上关联的面集合在对偶图中是否连通？

主要发现

• 在对偶拟阵为局部拟阵的条件下，单连通二维复形可嵌入三维空间当且仅当其对偶拟阵是图拟阵。
• K₅ 的锥的对偶拟阵是图拟阵（仅包含环），但该复形不可嵌入——因此需要引入局部对偶拟阵条件。
• 可嵌入性由某些子式类型的缺失来刻画：U²₄、法诺平面、其对偶，以及 M(K₅) 或 M(K₃,₃) 的对偶。
• 分裂复形构造保持可嵌入性；全局3-连通复形可嵌入当且仅当其分裂复形可嵌入，且对偶拟阵在面集上满足连通性条件。
• 存在一个由六个约束子式组成的有限列表，用于刻画某顶点或边上关联的面集合在对偶图中是否连通。
• 𝔽₃ 上的对偶拟阵忠实地反映了边/面关联矩阵的整数线性结构，从而支持在 ℤ 上的正规表示。