[论文解读] Equivelar and d-Covered Triangulations of Surfaces. II. Cyclic Triangulations and Tessellations

Frank H. Lutz|arXiv (Cornell University)|Jan 15, 2010

Advanced Combinatorial Mathematics参考文献 12被引用 4

一句话总结

本文引入了一个无限族的循环三角剖分——具体为 [0,1,2]-族——其在所有 q = 3k (k ≥ 2) 和 q = 3k+1 (k ≥ 3) 的情况下，对可定向与不可定向曲面均产生顶点传递、q-等正则的三角剖分。该文构建了此类三角剖分的显式双参数系列，并推导出相应的循环镶嵌，证明了在先前已知例子之外，存在无限多组 q-等正则三角剖分，包括首次系统构造出 q = 7 的情况。

ABSTRACT

With the $[0,1,2]$-family of cyclic triangulations we introduce a rich class of vertex-transitive triangulations of surfaces. In particular, there are infinite series of cyclic $q$-equivelar triangulations of orientable and non-orientable surfaces for every $q=3k$, $k\geq 2$, and every $q=3k+1$, $k\geq 3$. Series of cyclic tessellations of surfaces are derived from these triangulated series.

研究动机与目标

• 为此前未探索的 q 值构造显式无限族的顶点传递、q-等正则曲面三角剖分。
• 将已知的循环三角剖分系列扩展至经典 Ringel 和 Altshuler 构造之外。
• 通过 [0,1,2]-族框架，提供一种系统化方法，用于生成循环三角剖分及其导出的镶嵌。
• 通过为所有允许的 q ≥ 6（除 q = 5 和 q = 6 外）构造无限系列，解决 q-等正则三角剖分的存在性问题。
• 描述基本区域并从三角剖分推导出镶嵌，包括通过从种子模式中删除边而得到的强正则胞分解。

提出的方法

• 通过循环群中的特定差集定义 [0,1,2]-族循环三角剖分，生成顶点传递的三角剖分，并控制顶点度数。
• 利用循环对称性和差集，构造双参数系列 S_{k,n}, T_{k,n}, ..., Z_{k,n}，以确保在 q = 3k 或 q = 3k+1 时的 q-等正则性。
• 推导出 q-等正则三角剖分的 f-向量为 f = (n, nq/2, nq/3)，将顶点数 n 与顶点度数 q 及欧拉示性数联系起来。
• 分析基本区域以推导出镶嵌，通过从种子模式中删除边，得到 (s+2)-边形胞分解。
• 对于 q = 7，本文证明在亏格为 2 的曲面上，恰好存在两个循环 7-等正则三角剖分，且均具有 12 个顶点。
• 通过差集构造，将已知的多面体映射（如 Brehm 的 {5,5}-映射）推广为无限系列 D_{ {2k+1,2k+1} }(n) 和 D_{ {2k,2k} }(n)。

实验结果

研究问题

• RQ1 能否为所有 q = 3k (k ≥ 2) 和 q = 3k+1 (k ≥ 3) 构造出无限族的循环 q-等正则三角剖分？
• RQ2 在已知系列之外，具有顶点传递对称性的曲面循环三角剖分的结构与存在条件是什么？
• RQ3 如何系统地将循环三角剖分转化为具有强正则胞分解的镶嵌？
• RQ4 循环三角剖分要产生具有正则面与顶点模式的多面体映射，其必要且充分条件是什么？
• RQ5 对于哪些 q 和 n 值，循环 q-等正则三角剖分存在于曲面上？能否显式参数化？

主要发现

• 本文为所有 q = 3k（k ≥ 2）和 q = 3k+1（k ≥ 3）构造了无限系列的循环 q-等正则三角剖分，并证明其在可定向与不可定向曲面上的存在性。
• 对于 q = 7，恰好存在两个循环 7-等正则三角剖分，均位于具有 12 个顶点的可定向亏格-2 曲面上。
• 双参数系列 S_{k,n}, T_{k,n}, ..., Z_{k,n} 被显式定义，并证明其可生成 q = 3k 或 q = 3k+1 的 q-等正则三角剖分。
• [0,1,2]-族提供了一个统一框架，用于生成顶点传递三角剖分，所有此类三角剖分均属于 q = 3k 或 q = 3k+1 类型。
• 通过从种子模式中删除内部边的轨道，本文推导出强正则镶嵌，包括对 Brehm 的 {5,5}-映射和 {6,6}-映射的推广。
• 系列 D_{ {2k+1,2k+1} }(n) 和 D_{ {2k,2k} }(n) 被证明在 r 为偶数时为可定向，在 r 为奇数时为不可定向，从而扩展了已知的多面体映射构造。