[論文レビュー] (1,0,0)-colorability of planar graphs without cycles of length 4 or 6

Ligang Jin, Yingli Kang+2 more|arXiv (Cornell University)|Jan 1, 2020

Computational Geometry and Mesh Generation参考文献 23被引用数 3

ひとこと要約

本稿では、4-サイクルや6-サイクルを含まない平面的グラフが常に(1,0,0)-可染色可能であることを証明している。これは、頂点を3つの集合に分割し、そのうち1つの集合が最大次数1の部分グラフを誘導し、残りの2つの集合が最大次数0の部分グラフを誘導することを意味する。この結果は、従来の(2,0,0)-および(1,1,0)-可染色可能性の結果を改善しており、還元可能な構成と電荷再分配ルールを用いた放電法により得られている。これは、短いサイクルを含まない平面的グラフの不正則な彩色に関する研究における重要なケースを解消する。

ABSTRACT

A graph $G$ is $(d_1,d_2,d_3)$-colorable if the vertex set $V(G)$ can be partitioned into three subsets $V_1,V_2$ and $V_3$ such that for $i\in\{1,2,3\}$, the induced graph $G[V_i]$ has maximum vertex-degree at most $d_i$. So, $(0,0,0)$-colorability is exactly 3-colorability. The well-known Steinberg's conjecture states that every planar graph without cycles of length 4 or 5 is 3-colorable. As this conjecture being disproved by Cohen-Addad etc. in 2017, a similar question, whether every planar graph without cycles of length 4 or $i$ is 3-colorable for a given $i\in \{6,\ldots,9\}$, is gaining more and more interest. In this paper, we consider this question for the case $i=6$ from the viewpoint of improper colorings. More precisely, we prove that every planar graph without cycles of length 4 or 6 is (1,0,0)-colorable, which improves on earlier results that they are (2,0,0)-colorable and also (1,1,0)-colorable, and on the result that planar graphs without cycles of length from 4 to 6 are (1,0,0)-colorable.

研究の動機と目的

• 4-サイクルまたは6-サイクルを含まない平面的グラフが(1,0,0)-可染色可能かどうかを解明すること。これにより、既知の(2,0,0)-および(1,1,0)-可染色可能性の結果を超える。
• 特にスタインベルク型の予想とその緩和形を含む文脈において、平面的グラフの不正則な彩色の理解を拡張すること。
• 4から6までの長さのサイクルを含まない平面的グラフに対して(1,0,0)-可染色可能性が成り立つという、従来の研究よりも強い結果を確立すること。
• 還元可能な構成の構造的解析を通じて、放電法と注意深く設計された電荷再分配ルールを適用し、主定理を証明すること。

提案手法

• 証明は放電法を用い、頂点および面に対して次数に基づいて初期電荷を割り当て、定められたルールに従って電荷を再分配することで、最終的な電荷が非負であることを示す。
• 重要なルールとして、8-以上の面から隣接する2-頂点へ電荷1を転送する（R11）、および面の種類と隣接頂点の次数に応じて頂点から面へ電荷を分配するルールが含まれる。
• 特定の構成（内部に2-頂点を含む面や、特定のサイクル構造を持つもの）の還元可能性を同定し、証明することで、潜在的な反例を排除する。
• 構造的補題（例：補題3.1、3.7、3.19、3.20）を用いて、特に2-頂点と重い近傍頂点に関する面および頂点の局所的構造を制限する。
• 異なる面の種類（3-、5-、および8-以上）および頂点の次数に対応した放電ルールを設計し、弱いかつ強い面、およびアンチホイールに対しても特別な処理を行う。
• 主結果を強化するために、追加の構造的制約を組み込んだ「超拡張定理」を定式化し、証明する。

実験結果

リサーチクエスチョン

• RQ1 4-サイクルまたは6-サイクルを含まないすべての平面的グラフは(1,0,0)-可染色可能か？
• RQ2 4-サイクルおよび6-サイクルを含まない平面的グラフに対して(1,0,0)-可染色可能性が成立するかを示し、従来の(2,0,0)-および(1,1,0)-可染色可能性の結果を改善できるか？
• RQ3 4-サイクルまたは6-サイクルを含まない平面的グラフのどの構造的性質が、より強い不正則な彩色結果を可能にするか？
• RQ4 このようなグラフに還元可能な構成が存在するか？ それらを放電法で用いて(1,0,0)-可染色可能性を証明できるか？

主な発見

• 4-サイクルまたは6-サイクルを含まないすべての平面的グラフは(1,0,0)-可染色可能であり、これは従来の(2,0,0)-および(1,1,0)-可染色可能性よりも強い結果である。
• 証明により、8-以上の面が隣接する2-頂点へ電荷1を送るため、その最終電荷が非負であることが保証される。
• 5-面については、最終電荷が0以上であることが保証され、これは5-以上の頂点から少なくとも8/3の電荷を受ける、または複数の4-以上の頂点から十分な電荷を受けることで達成される。
• すべての3-面は最終的に電荷がちょうど0となり、これは面の種類と強さに応じて、隣接する3-頂点、4-頂点、および重い外部近傍頂点からの電荷受領によって達成される。
• 放電プロセスにより、いかなる面や頂点も負の電荷を残さないことが確認され、還元可能性および構造的仮定の妥当性が裏付けられる。
• 従来の4から6までの長さのサイクルを含まない平面的グラフに対して(1,0,0)-可染色可能性が示された結果を、4-サイクルおよび6-サイクルを含まない場合にまで拡張した。