[论文解读] Generating irreducible triangulations of surfaces

T. Sulanke|ArXiv.org|Jun 27, 2006

Commutative Algebra and Its Applications参考文献 12被引用 24

一句话总结

本文提出了一种算法，通过系统地向较小的三角剖分添加环柄、交叉柄或交叉帽，生成了可定向和不可定向曲面在亏格4以内的所有不可约三角剖分。该方法成功计算出此前未知的计数结果：双环面 $S_2$ 有 396,784 个不可约三角剖分，三个实射影平面的连通和 $N_3$ 有 9,708 个，$N_4$ 有 6,297,982 个，通过多种一致性检查确认了结果的完整性。

ABSTRACT

Starting with the irreducible triangulations of a fixed surface and splitting vertices, all the triangulations of the surface up to a given number of vertices can be generated. The irreducible triangulations have previously been determined for the surfaces S_0, S_1, N_1,and N_2. An algorithm is presented for generating the irreducible triangulations of a fixed surface using triangulations of other surfaces. This algorithm has been implemented as a computer program which terminates for S_1, S_2, N_1, N_2, N_3, and N_4. Thus the complete sets irreducible triangulations are now also known for S_2, N_3, and N_4, with respective cardinalities 396784, 9708, and 6297982.

研究动机与目标

• 将已知的不可约三角剖分集合从球面、环面和克莱因瓶扩展到更高亏格的曲面。
• 开发一种有限且能终止的算法，通过顶点分裂和曲面修改等操作，生成固定曲面的所有不可约三角剖分。
• 计算出此前未知的 $S_2$、$N_3$ 和 $N_4$ 的不可约三角剖分数目。
• 通过多种独立的计算方法验证生成集合的完整性和正确性。

提出的方法

• 该算法从已知的低亏格曲面的不可约三角剖分出发，通过添加环柄、交叉柄或交叉帽等曲面修改操作，生成不可约三角剖分。
• 使用顶点分裂来生成所有三角剖分，确保覆盖所有可能的三角剖分（至给定顶点数）。
• 该方法依赖于一个关键洞察：每个非球面曲面的不可约三角剖分均可通过较小的三角剖分经曲面修改操作得到。
• 计算机程序实现了该算法，并在 $S_1$、$S_2$、$N_1$、$N_2$、$N_3$ 和 $N_4$ 上成功终止，生成了完整的不可约三角剖分集合。
• 执行了多种一致性检查：随机生成、伪最小三角剖分重建，以及基于对角线翻转的回溯，以验证结果。
• 三角剖分以内存限制为7 GB进行存储，并与现有数据（最多19个顶点）进行对比以确保准确性。

实验结果

研究问题

• RQ1 是否能通过曲面修改和顶点分裂，从更小的三角剖分生成所有曲面的不可约三角剖分？
• RQ2 双环面（$S_2$）、三个实射影平面的连通和（$N_3$）以及四个实射影平面的连通和（$N_4$）的不可约三角剖分数目是多少？
• RQ3 是否能通过独立的计算方法（如随机采样和基于对角线翻转的回溯）验证生成集合的完整性？
• RQ4 是否存在一个最小数 $N(S)$，使得所有顶点数不少于 $N(S)$ 的曲面 $S$ 的三角剖分在对角线翻转下等价？

主要发现

• 该算法成功终止，并为 $S_1$、$S_2$、$N_1$、$N_2$、$N_3$ 和 $N_4$ 生成了所有不可约三角剖分。
• $S_2$ 的不可约三角剖分数目为 396,784，$N_3$ 为 9,708，$N_4$ 为 6,297,982。
• 在对角线翻转下曲面等价性的最小数 $N(S)$ 确定为：$N(S_2) = 10$，$N(N_3) = 9$，$N(N_4) = 10$。
• 随机生成方法恢复了 $S_2$ 和 $N_3$ 约 97% 的不可约三角剖分，支持结果的完整性。
• 通过基于对角线翻转的回溯，确认了与已知数据的一致性：$S_0$ 至 16 个顶点，$S_1$ 至 13 个顶点，$S_2$ 至 12 个顶点，$N_1$ 至 14 个顶点，$N_2$ 至 13 个顶点，$N_3$ 至 12 个顶点，$N_4$ 至 11 个顶点。
• 使用伪最小三角剖分的方法，为 $S_2$ 生成了超过 $10^{13}$ 个三角剖分，为 $N_3$ 生成了超过 $10^{12}$ 个，证明了结果的自洽性。