[论文解读] Flip-connectivity of triangulations of the product of a tetrahedron and simplex

Gaku Liu|arXiv (Cornell University)|Jan 22, 2016

graph theory and CDMA systems参考文献 4被引用 4

一句话总结

本文证明了三维单纯形（四面体）与n维单纯形的乘积的三角剖分集合是翻转连通的，扩展了Santos先前对二维单纯形情况的结果。通过基于单纯形上拟序关系并结合特定环路的序列翻转的新型算法，作者表明任意三角剖分均可通过有限次翻转操作转化为一个固定的参考三角剖分，从而确立了$Δ^3 \times \Delta^n$的翻转连通性。该结果解决了关于单纯形乘积翻转连通性这一更广泛开放问题中的一个关键情形。

ABSTRACT

A flip is a minimal move between two triangulations of a polytope. An open question is whether any two triangulations of the product of two simplices can be connected through a series of flips. This was proven in the case where one of the simplices is a triangle by Santos in 2005. In this paper we extend this to when one of the simplices is a tetrahedron.

研究动机与目标

• 解决$Δ^3 \times \Delta^n$三角剖分的翻转连通性问题，扩展Santos对$Δ^2 \times \Delta^n$的结果。
• 确立任意两个$Δ^3 \times \Delta^n$的三角剖分均可通过有限次翻转序列连接。
• 开发一种构造性算法，通过系统化的翻转操作将任意给定的三角剖分转化为一个固定的参考三角剖分。

提出的方法

• 在三角剖分的单纯形上定义一个拟序，以识别$Δ^3 \times \Delta^{n-1}$中一个特殊的环路，从而支持翻转操作。
• 识别一个包含环路$X$的负元素的单纯形集合$τ$，并隔离受潜在翻转影响的单纯形。
• 执行仅影响$τ$中单纯形的一系列翻转，确保环路$X$变为可翻转。
• 利用邻域不变性与三角剖分的性质，验证每次翻转操作均保持三角剖分结构。
• 利用标签上的顺序关系$<_{ii'}$追踪拟序的变化，并在翻转不被支持时检测矛盾。
• 通过反证法证明每个候选环路均可实现翻转，最终表明可通过一整套翻转序列将任意三角剖分转化为固定三角剖分。

实验结果

研究问题

• RQ1 是否任意两个$Δ^3 \times \Delta^n$的三角剖分均可如$Δ^2 \times \Delta^n$的情形一样，通过翻转序列连接？
• RQ2 是否存在一种构造性算法，可仅通过翻转操作将任意$Δ^3 \times \Delta^n$的三角剖分转化为标准三角剖分？
• RQ3 乘积多面体$Δ^3 \times \Delta^n$的何种结构性质可确保其翻转连通性，即使其三角剖分具有高度复杂性？

主要发现

• 所有$Δ^3 \times \Delta^n$的三角剖分集合是翻转连通的，即任意两个三角剖分均可通过有限次翻转序列连接。
• 开发了一种构造性算法，通过一系列基于环路的翻转，将任意三角剖分转化为固定参考三角剖分。
• 该证明依赖于在$Δ^3 \times \Delta^{n-1}$中识别一个特殊环路，并利用单纯形上的拟序来引导翻转序列。
• 仅当$τ_{X^+}$的所有极大单纯形在三角剖分中具有相同邻域时，翻转才作用于环路$(X^+, X^-)$。
• 该方法确保每次翻转后三角剖分仍有效，且该过程最终可达到目标三角剖分。
• 该结果证实了三维单纯形情形下的翻转连通性，完成了向解决单纯形乘积更广泛开放问题的关键一步。