[论文解读] Chromatic numbers for the hyperbolic plane and discrete analogs

Hugo Parlier, Camille Petit|ArXiv.org|Jan 30, 2017

Limits and Structures in Graph Theory参考文献 2被引用 3

一句话总结

本文研究了在距离约束下双曲平面上与 q-正则树的色数，引入了一种双曲棋盘着色策略，建立了以距离 d 表示的线性上界。证明了当 d ≥ 2 log(3) 时，χ(ℍ, d) ≤ 5(⌈d/log(4)⌉ + 1)，并为区间色数提供了紧致的指数上界，表明 χ(ℍ, [d,cd]) 的增长速度类似于 e^{(cd−1)/2}，仅相差多项式因子。

ABSTRACT

We study colorings of the hyperbolic plane, analogously to the Hadwiger-Nelson problem for the Euclidean plane. The idea is to color points using the minimum number of colors such that no two points at distance exactly $d$ are of the same color. The problem depends on $d$ and, following a strategy of Kloeckner, we show linear upper bounds on the necessary number of colors. In parallel, we study the same problem on $q$-regular trees and show analogous results. For both settings, we also consider a variant which consists in replacing $d$ with an interval of distances.

研究动机与目标

• 确定为双曲平面着色所需的最少颜色数，使得任意两点间距离恰好为 d 时颜色互不相同。
• 将色数问题扩展至 q-正则树，作为双曲平面的离散类比。
• 分析当距离被限制在区间 [d, cd] 而非单一值时，色数的行为。
• 通过结构化的棋盘着色方法，为双曲平面与树提供改进的上界。
• 通过团构造与区间团数，特别是针对大 d 的情况，建立下界。

提出的方法

• 采用受 Székely 与 Kloeckner 启发的双曲棋盘着色策略，将双曲平面划分为宽度为 w = d、高度为 h = log(4) 的矩形条带。
• 对条带进行周期性着色，每 (⌊cd⌋ + 1) 个条带重复使用颜色，以处理区间着色约束。
• 利用双曲三角学估算半径为 (c−1)d/2 的圆上两点之间的角距离，以限制相互间距离为 d 的点的数量。
• 对于树，采用水平线分解法，并将与同一祖先相距 ⌊cd/2⌋ + 1 的顶点分组，以进行颜色分配。
• 使用超束（super-bundles）——即共享祖先在 ⌊cd/2⌋ + 1 步内的顶点集合——以确保不同颜色的束之间距离大于 cd。
• 通过构造大团来推导下界：对于 ℍ，使用圆周上两两距离位于 [d, cd] 区间内的点；对于 T_q，使用距根固定距离的顶点。

实验结果

研究问题

• RQ1 随着 d 增大，色数 χ(ℍ, d) 的渐近增长行为如何？
• RQ2 当距离被限制在区间 [d, cd] 而非单一值时，色数的行为如何？
• RQ3 q-正则树等离散类比能否有效模拟双曲平面的色数行为？
• RQ4 对于单距离与区间距离约束，χ(ℍ, d) 与 χ(T_q, d) 的最紧致上下界分别是什么？
• RQ5 从 d 与 c 的角度出发，双曲平面与树的色数在增长速率上有何比较？

主要发现

• 当 d ≥ 2 log(3) 时，双曲平面的色数满足 χ(ℍ, d) ≤ 5(⌈d/log(4)⌉ + 1)，提供了关于 d 的线性上界。
• 对于较小的 d ≤ 2 log(2)，本文建立了更紧致的上界：χ(ℍ, d) ≤ 9。
• 对于区间色数 χ(ℍ, [d, cd])，本文证明其呈指数增长：当 d 足够大时，2e^{(cd−1)/2} < χ(ℍ, [d, cd]) < 2(2e^{(cd−1)/2} + 1)(cd + 1)。
• 对于 q-正则树，色数 χ(T_q, d) 在 d 为奇数时恰好为 2，当 d 为偶数时至多为 (q−1)(d+1)。
• 树的区间色数满足 q(q−1)^{⌊cd/2⌋−⌈d/2⌉} ≤ χ(T_q, [d, cd]) ≤ (q−1)^{⌊cd/2+1⌋}(⌊cd⌋ + 1)，表明其在 cd 上呈指数增长。
• 广义的 Moser 椰子花构造为 χ(T_3, 8) 提供了下界 q+1，表明色数超过团数，揭示了非平凡的结构。