[论文解读] Triangulated Manifolds with Few Vertices: Vertex-Transitive Triangulations I

Ekkehard G. Köhler, Frank H. Lutz|ArXiv.org|Jun 24, 2005

Advanced Combinatorial Mathematics参考文献 62被引用 16

一句话总结

本文提出了一种计算算法，用于枚举具有少量顶点的顶点传递组合d-流形，利用群作用和基于GAP的计算。该方法系统地识别了最多13个顶点的所有此类流形，对非小阶群扩展至14–15个顶点，并对最多17个顶点的3-流形实现了顶点传递三角剖分的完整分类，以及对最多22个顶点的邻近流形（neighborly surfaces）实现了完整分类。

ABSTRACT

We describe an algorithm for the enumeration of (candidates of) vertex-transitive combinatorial $d$-manifolds. With an implementation of our algorithm, we determine, up to combinatorial equivalence, all combinatorial manifolds with a vertex-transitive automorphism group on $n\leq 13$ vertices. With the exception of actions of groups of small order, the enumeration is extended to 14 and 15 vertices.

研究动机与目标

• 开发一种系统算法，用于枚举具有少量顶点的顶点传递组合d-流形。
• 通过引入顶点传递群作用，扩展先前关于邻近和对称三角剖分的研究。
• 对最多13个顶点的所有组合不同的顶点传递三角剖分的d-流形进行分类，扩展至14–15个顶点。
• 提供一个计算框架，通过启发式方法识别候选流形的拓扑类型。
• 支持进一步枚举对称三角剖分，包括中心对称和伪流形情形。

提出的方法

• 固定输入参数：顶点数n、维度d，以及在n个顶点上的顶点传递群作用n^i。
• 生成所有在给定传递群作用下不变的n个顶点上的纯d维单纯复形。
• 在步骤3中应用启发式方法，测试候选对象是否满足伪流形性质和局部上同调条件。
• 在步骤4中，利用当前群作用确定自同构群结构，对候选对象按组合等价性进行分类。
• 使用GAP的传递置换群库，访问n ≤ 31的所有非同构传递群作用。
• 在步骤5–7中应用迭代过滤和拓扑测试，以识别有效的组合流形并推断其拓扑类型。

实验结果

研究问题

• RQ1 对于n ≤ 13个顶点，哪些顶点传递组合d-流形存在，如何系统地枚举它们？
• RQ2 顶点传递群作用如何约束具有少量顶点的单纯流形的结构？
• RQ3 群阶和置换群类型在对称三角剖分分类中的作用是什么？
• RQ4 该算法能否扩展至13个顶点以上，特别是对3-流形和邻近流形进行枚举？
• RQ5 在组合分类后，如何启发式地确定候选流形的拓扑类型？

主要发现

• 该算法成功枚举了最多13个顶点的所有顶点传递组合d-流形，对非小阶群扩展至14和15个顶点。
• 所有最多17个顶点的3-流形的顶点传递三角剖分（包括邻近和中心对称情形）均被枚举。
• 该方法识别了所有最多22个顶点的顶点传递邻近流形，扩展了先前关于12个顶点三角剖分的结果。
• 该算法在GAP中实现为MANIFOLD_VT，支持对称三角剖分的可重现枚举。
• 候选对象的组合自同构群由群作用的阶决定，优先处理阶较大的群以避免冗余。
• 该方法推广并改进了Kühnel和Lassmann于1985年提出的算法，实现了在维度和顶点数上更广泛、更深入的枚举。