[論文レビュー] Graph Homomorphisms, Circular Colouring, and Fractional Covering by H-cuts

Robert Engström, Tommy Färnqvist+2 more|ArXiv.org|Apr 29, 2009

Advanced Graph Theory Research参考文献 8被引用数 5

ひとこと要約

本稿は、$ 2 \leq p/q \leq 3 $ における円形完全グラフ $ K_{p/q} $ に対するグラフ準同型問題の近似閾値関数 $ s(M,N) $ を調査する。多くのこのようなグラフにおいて $ s $ が定数であることを確立し、$ K_4 $-minor-free および平均次数が有界なグラフに境界を拡張する。また、$ s(M,N) $ を分数的カット被覆に関連付けることで、Šámal による立方体彩色数に関する2つの予想を解決する。

ABSTRACT

A graph homomorphism is a vertex map which carries edges from a source graph to edges in a target graph. The instances of the Weighted Maximum H-Colourable Subgraph problem (MAX H-COL) are edge-weighted graphs G and the objective is to find a subgraph of G that has maximal total edge weight, under the condition that the subgraph has a homomorphism to H; note that for H=K_k this problem is equivalent to MAX k-CUT. Farnqvist et al. have introduced a parameter on the space of graphs that allows close study of the approximability properties of MAX H-COL. Specifically, it can be used to extend previously known (in)approximability results to larger classes of graphs. Here, we investigate the properties of this parameter on circular complete graphs K_{p/q}, where 2 <= p/q <= 3. The results are extended to K_4-minor-free graphs and graphs with bounded maximum average degree. We also consider connections with Samal's work on fractional covering by cuts: we address, and decide, two conjectures concerning cubical chromatic numbers.

研究の動機と目的

• 円形完全グラフ $ K_{p/q} $（$ 2 \leq p/q \leq 3 $）における近似閾値関数 $ s(M,N) $ の挙動を分析すること。
• $ K_{p/q} $ からの既知の近似不能性および近似境界を、$ K_4 $-minor-free および最大平均次数が有界なグラフを含むより広いグラフクラスに拡張すること。
• $ s(M,N) $ を分数的カット被覆に関連付けることで、Šámal の彩色数に関する研究を一般化すること。
• Šámal が提起した立方体彩色数に関する2つの未解決予想を解決すること：1つは反証され、1つは裏付けられた。

提案手法

• エッジ自己同型軌道に基づく線形計画法の定式化を用い、$ \text{Aut}^*(N) $ に不変な重み関数を活用して $ s(M,N) $ を計算する。
• 補題1.1を適用し、$ s(M,N) $ を準同型鎖に関連付ける：$ M \rightarrow H \rightarrow N $ ならば、$ s(M,N) \leq \min(s(M,H), s(H,N)) $ が成り立つ。
• 再帰関係と母関数を用いて、特に奇サイクルおよび円形完全グラフにおけるエッジ重み分布を解く。
• Pan と Zhu の円形彩色数の境界に関する結果を用い、奇数の長さの閉路長に制約を課したもとで $ s(K_2, G) $ の漸近的表現を導出する。
• $ s(M,N) $ を分数的被覆パラメータとして再解釈し、新しい彩色数族を通じて Šámal の立方体彩色数に結びつける。
• 準同型のシグネチャ制約から導かれる一次方程式系を解き、最適な重み分布および $ s $ の下界を計算する。

実験結果

リサーチクエスチョン

• RQ1 円形完全グラフ $ K_{p/q} $（$ 2 \leq p/q \leq 3 $）における近似閾値関数 $ s(M,N) $ の挙動はいかなるものか？
• RQ2 $ s(M,N) $ の境界を円形グラフから $ K_4 $-minor-free および平均次数が有界なグラフにどのように拡張できるか？
• RQ3 $ s(M,N) $ と分数的カット被覆との関係は何か？また、これにより彩色数パラメータにどのように関連するか？
• RQ4 Šámal が提起した立方体彩色数に関する2つの予想（特に $ \chi_c^\square(G) = 4 $ および $ \chi_c^\square(G) \leq 3 $ を満たすグラフの存在）は真か？
• RQ5 自動同型群による対称性削減を伴う線形計画法を用いて、関数 $ s(M,N) $ を効率的に計算できるか？

主な発見

• 円形完全グラフ $ K_{p/q} $（$ 2 \leq p/q \leq 3 $）において、$ s(M,N) $ は広いクラスのグラフにおいて定数であり、近似境界の転送が可能である。
• 本稿では、$ K_4 $-minor-free グラフにおいて、$ G $ の奇数の長さの閉路長が $ 6k-1 $ 以上ならば $ s(K_2, G) \geq \frac{4k}{4k+1} $、$ 6k+3 $ 以上ならば $ s(K_2, G) \geq \frac{4k+2}{4k+3} $ であることを証明する。
• $ s(M,N) $ が新しい彩色数族 $ \chi_M(N) $ と密接に関係していることが示され、代替的な計算ルートが得られる。
• Šámal の予想（$ \chi_c^\square(G) = 4 $ となるグラフ $ G $ が存在する）は反証され、そのようなグラフは存在しないことが示された。
• Šámal の予想（すべてのグラフ $ G $ に対して $ \chi_c^\square(G) \leq 3 $）は裏付けられ、タイトな上界が確立された。
• 閉形式での $ s $ の表現が導出され、$ s = \frac{(2kn+n-4)(\xi_n(4k-1)+(2k-1))}{(2kn+n-4)(\xi_n(4k-1)+(2k-1))+(4k-2)(1-\xi_n)} $ となる。ここで $ \xi_n = (\alpha_1^{(n-1)/2} + \alpha_2^{(n-1)/2})/4 $ であり、$ \alpha_1, \alpha_2 $ は再帰関係から導かれる二次方程式の根である。