[论文解读] Realizing the chromatic numbers and orders of spinal quadrangulations of surfaces

Serge Lawrencenko|arXiv (Cornell University)|Jul 8, 2012

Graph Labeling and Dimension Problems参考文献 7被引用 4

一句话总结

本文提出了一种新方法，通过使用图脊及其二重交错结构，构造具有指定亏格、色数和阶数的闭可定向曲面的脊椎四边形剖分。关键贡献是推广了Hartsfield与Ringel的结果，使最小四边形剖分在无穷多个亏格范围内得以实现，尤其通过使用边删除的完全图作为脊椎。

ABSTRACT

A method is suggested for construction of quadrangulations of the closed orientable surface with given genus g and either (1) with given chromatic number or (2) with given order allowed by the genus g. In particular, N. Hartsfield and G. Ringel's results [Minimal quadrangulations of orientable surfaces, J. Combin. Theory, Series B 46 (1989) 84-95] are generalized by way of generating new minimal quadrangulations of infinitely many other genera.

研究动机与目标

• 开发一种系统化方法，用于构造具有指定拓扑与组合性质的闭可定向曲面四边形剖分。
• 将Hartsfield与Ringel关于最小四边形剖分的结果推广至无穷多个额外亏格。
• 确定给定亏格下脊椎四边形剖分可能实现的完整色数谱。
• 建立脊椎四边形剖分在顶点数上达到最小的条件。
• 提供脊椎四边形剖分最小阶数的公式，并识别其达到理论上限的情形。

提出的方法

• 该方法使用脊图 $ G $ 的二重交错图 $ G[:] $，其中 $ G[:] $ 通过取 $ G $ 的两个不相交副本，并将一个副本中的每个顶点与其在另一副本中的邻居相连而形成。
• 所得脊椎四边形剖分的亏格由第一贝蒂数 $ \beta(G) $ 决定，确保 $ G[:] \hookrightarrow \Sigma_{\beta(G)} $。
• 对于给定亏格 $ g $，脊图构造为 $ K_p - me $，其中 $ K_p $ 为完全图，$ m $ 条边被移除，使得 $ \beta(K_p) - m = g $。
• 通过求解 $ 2p \leq \frac{1}{2}(5 + \sqrt{32g - 7}) $ 确保最小顶点数，从而导出公式 $ |V|_{\min}^{\rm{sp}}(g) = 2\left\lceil \frac{1}{2}(3 + \sqrt{8g + 1}) \right\rceil $。
• 该方法通过允许 $ m \geq 2 $ 推广了先前结果，从而超越了Hartsfield与Ringel研究的 $ m = 0,1 $ 情形。
• 推导出双不等式条件 $ p \geq 4 + 4m $ 以确保最小性，为构造最小脊椎四边形剖分提供判据。

实验结果

研究问题

• RQ1 能否在参数兼容的前提下，为任意给定亏格 $ g $、色数 $ n $ 和阶数 $ 2p $ 构造脊椎四边形剖分？
• RQ2 固定亏格 $ g $ 的四边形剖分可实现的完整色数谱是什么？
• RQ3 在哪些亏格 $ g $ 下，脊椎四边形剖分的最小阶数达到理论上限？
• RQ4 该方法如何扩展至 $ m = 0,1 $ 以外的情形，以生成新的最小四边形剖分？
• RQ5 在何种条件下，脊椎四边形剖分在顶点数上达到最小？

主要发现

• 该方法实现了所有满足 $ \beta(K_n) \leq g $ 的色数 $ n $，覆盖了给定亏格 $ g $ 下可能色数的完整谱。
• 对于任意 $ g \geq 0 $ 和 $ p \geq 2 $ 满足 $ g \leq \beta(K_p) $，均存在一个具有 $ 2p $ 个顶点的亏格 $ g $ 的脊椎四边形剖分。
• 脊椎四边形剖分的最小阶数为 $ |V|_{\min}^{\rm{sp}}(g) = 2\left\lceil \frac{1}{2}(3 + \sqrt{8g + 1}) \right\rceil $，且该值可无限次实现。
• 当 $ \lceil a(g) \rceil = \lfloor b(g) \rfloor $ 时，公式 $ |V|_{\min}(g) = 2\lceil a(g) \rceil $ 成立，其中 $ a(g) = \frac{1}{2}(3 + \sqrt{8g + 1}) $，$ b(g) = \frac{1}{4}(7 + \sqrt{32g - 15}) $，且该情形在无穷多个 $ g $ 下发生。
• 该构造产生了Hartsfield与Ringel未涵盖的新最小四边形剖分，例如 $ (K_{12} - 2e)[:] \hookrightarrow \Sigma_{53} $，其为最小剖分且具有128个区域。
• 该方法证实，最小阶数的理论上限在无穷多次情形下是紧的，尤其当 $ g = \beta(K_p) $ 时，得到 $ |V|_{\min}(g) = 2p $。