[論文レビュー] 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にある2点が同じ色を持たないように、双曲平面を彩色するために必要な最小色数を特定すること。
• 双曲平面の離散的アナロジーとしてのq-正則木に、彩色数問題を拡張すること。
• 距離が単一の値ではなく区間[d, cd]に制限される場合の彩色数の挙動を分析すること。
• 体系的なチェッカーボード彩色法を用いて、双曲平面および木の両方の彩色数に対する改善された上界を提供すること。
• 特に大規模なdに対して、クリーク構成および区間クリーク数を用いて下界を確立すること。

提案手法

• SzékelyおよびKloecknerのインスピレーションを受けて、幅w = d、高さh = log(4) の長方形ストラタに双曲平面を分割する、双曲チェッカーボード彩色戦略を用いる。
• ストラタを周期的に彩色し、(⌊cd⌋ + 1) ストラタごとに色を再利用することで、区間彩色制約を管理する。
• 双曲三角法を用いて、半径(c−1)d/2 の円上の点間の角距離を推定し、互いに距離dを保つ点の数を制限する。
• 木に対しては、水平円の分解を用い、距離⌊cd/2⌋ + 1 に共通の祖先を持つ頂点をグループ化して色の割り当てを実施する。
• 共通の祖先から⌊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に対しては、よりタイトな境界 χ(ℍ, d) ≤ 9 が確立される。
• 区間彩色数χ(ℍ, [d, cd]) については、指数的成長が示され、十分大きなdに対して 2e^{(cd−1)/2} < χ(ℍ, [d, cd]) < 2(2e^{(cd−1)/2} + 1)(cd + 1) が成り立つ。
• q-正則木に対しては、dが奇数のとき χ(T_q, 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に関して指数的成長を示す。
• 一般化されたモーザー・スパナ構成により、χ(T_3, 8) の下界がq+1となることが得られ、彩色数がクリーク数を上回ることを示唆し、非自明な構造が存在することを示す。