[论文解读] On the largest planar graphs with everywhere positive combinatorial curvature (extended arxiv version)

Luca Ghidelli|arXiv (Cornell University)|Aug 28, 2017

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

一句话总结

该论文通过证明除棱柱和反棱柱外，具有处处正组合曲率的平面图的最大顶点数恰好为208，从而解决了长期存在的一个猜想。作者结合改进的放电技术与对顶点和面构型的详细局部组合分析，证明了此类图的顶点数不可能超过208，并且所有面的边数至多为41条，该上界是紧确的，且此前未被证明。

ABSTRACT

A planar PCC graph is a simple connected planar graph with everywhere positive combinatorial curvature which is not a prism or an antiprism and with all vertices of degree at least 3. We prove that every planar PCC graph has at most 208 vertices, thus answering completely a question raised by DeVos and Mohar. The proof is based on a refined discharging technique and on an accurate low-scale combinatorical description of such graphs. We also prove that all faces in a planar PCC graph have at most 41 sides, and this result is sharp as well.

研究动机与目标

• 确定排除棱柱和反棱柱后，具有处处正组合曲率的平面图的最大顶点数。
• 解决DeVos与Mohar提出的关于此类图的上界紧性问题的长期开放难题。
• 证明平面PCC图的所有面至多由41条边围成，并证明该上界是紧确的。
• 构造显式例子以证明顶点数与面大小上界的紧性。
• 利用“$\heartsuit$-三角形”及其循环排列（链）的概念，对PCC图的结构特性进行分类。

提出的方法

• 采用经过优化的放电方法，结合通过线性规划导出的精心设计的放电规则，重新分配曲率并推导出结构约束。
• 对小尺寸和大尺寸面（特别是五边形、七边形、十一边形和四十一边形）进行详细的案例分析，以排除违反曲率正性的构型。
• 引入并分析“$\heartsuit$-三角形”——具有高曲率的特定局部顶点构型——并证明在大型PCC图中，这些构型组织成循环链。
• 基于“$\heartsuit$-模体”的模态构造方法，生成具有指定面大小的PCC图，包括具有39条边和25条边的面。
• 将理论放电论证与极端构型的显式枚举及验证相结合，弥合已知上界与下界之间的差距。
• 利用若图有210个顶点，则必存在至少42条边的面这一事实，而该情况已被证明不可能，从而导出矛盾，最终证明208个顶点的上界成立。

实验结果

研究问题

• RQ1 排除棱柱和反棱柱后，具有处处正组合曲率的平面图的最大顶点数是多少？
• RQ2 此类图的208个顶点上界是否可被证明为紧确，且是否可达？
• RQ3 在平面PCC图中，一个面最多可有多少条边？该上界是否紧确？
• RQ4 能否构造出具有3至41条边之间任意大小面的PCC图？
• RQ5 “$\heartsuit$-三角形”及其循环排列如何约束大型PCC图的全局结构？

主要发现

• 具有处处正组合曲率的平面PCC图的最大顶点数恰好为208，且该上界是紧确的，已通过显式构造证明。
• 在平面PCC图中，所有面的边数至多为41条，且该上界是紧确的，因为存在包含41边形面的图。
• 在任何PCC图中，存在42条或以上边的面是不可能的，这否定了早期猜想，并解决了Zhang与Oh遗留的问题。
• 对于从3到41之间的每个整数$N$，均存在一个PCC图，其包含一个大小为$N$的面，证明了所有此类面大小均可实现。
• 通过使用“$\heartsuit$-三角形”开放链并辅以封口帽，实现了具有大面（如25条或39条边）的PCC图的构造，提供了一套系统化的方法。
• 通过证明若存在209个顶点的PCC图，则必存在至少42条边的面，而该情况在曲率约束下不可能成立，从而证明了不存在209个顶点的PCC图。