[論文レビュー] The Caccetta-Haggkvist conjecture and additive number theory

Melvyn B. Nathanson|arXiv (Cornell University)|Mar 20, 2006

Limits and Structures in Graph Theory参考文献 7被引用数 10

ひとこと要約

この論文は、加法的数論の道具、特にシドン集合と加法的圧縮を用いて、ケイリーグラフおよび頂点推移的有向グラフにおけるCaccetta-Häggkvist予想を確立する。各頂点の出次数が $ r $ 以上であれば、有向サイクルの長さは $ 2n/(r+1) $ 以下であることが示され、アーベル群（例えば $ \mathbb{Z}/p\mathbb{Z} $）における群論的構成によって、タイトな境界が達成される。本研究は完全な証明を提供し、極値的グラフ理論および加法的組合せ論分野の関連結果を概説する。

ABSTRACT

The Caccetta-Haggkvist conjecture states that if G is a finite directed graph with at least n/k edges going out of each vertex, then G contains a directed cycle of length at most k. Hamidoune used methods and results from additive number theory to prove the conjecture for Cayley graphs and for vertex-transitive graphs. This expository paper contains a survey of results on the Caccetta-Haggkvist conjecture, and complete proofs of the conjecture in the case of Cayley and vertex-transitive graphs.

研究の動機と目的

• 加法的数論を用いて、ケイリーグラフおよび頂点推移的有向グラフにおけるCaccetta-Häggkvist予想を証明すること。
• 最小出次数 $ r $ を持つ有向グラフにおける最短有向サイクルの長さに関するタイトな上界を確立すること。
• 極値的グラフ理論と加法的組合せ論の間の関係を、特に加法的圧縮と表現関数を通じて探求すること。
• 群論的構成（例：$ \mathbb{Z}/257\mathbb{Z} $ におけるグリーンの例とシドン集合）を用いて、サイクル長の上限の最適性を明示的に示すこと。
• Caccetta-Häggkvist予想に関連する既知の結果および未解決問題について包括的なサーベイを提供すること。

提案手法

• すべての頂点の出次数が $ r $ 以上であれば、ある頂点の入次数も $ r $ 以上であることを平均化の議論により示し、帰納的構造を可能にする。
• 頂点数 $ n $ における帰納法を用い、入次数が大きい頂点を削除し、辺集合を変更したより小さなグラフ $ G' $ を構築する。
• 群値関数 $ \alpha: V_1 \to \Gamma $、$ \beta: V_2 \to \Gamma $ を用いた加法的圧縮を適用し、$ \alpha(V_1) \overset{G}{+} \beta(V_2) $ を加法によるエッジの像として定義する。
• $ \mathbb{Z}/p\mathbb{Z} $ におけるコーシー＝ダベンポートの定理を用いて和集合のサイズの下界を導出し、$ |\alpha(V_1) \overset{G}{+} \beta(V_2)| \geq \min(d_1 + d_2 - 1, p) $ を示す。
• シドン集合と表現関数 $ r_{A,B}(x) $ を用いた極値的例を構築し、$ |\alpha(V_1) \overset{G}{+} \beta(V_2)| \geq \max(d_1, d_2) $ がタイトであることを示す。
• $ \mathbb{Z}/257\mathbb{Z} $ におけるグリーンの構成を適用し、$ A = \{0\} \cup \{\pm 2^i : i=0,\dots,7\} $ とすると、$ |A+A| = 105 $、$ d_1 = 105 $、$ d_2 \geq 2 $ であり、$ |\alpha(V_1) \overset{G}{+} \beta(V_2)| = |B| = 105 $ となる。

実験結果

リサーチクエスチョン

• RQ1 加法的数論を用いて、ケイリーグラフおよび頂点推移的グラフにおけるCaccetta-Häggkvist予想を証明できるか？
• RQ2 最小出次数 $ r $ を持つ有向グラフにおける最短有向サイクルの長さの最良の上界は何か？
• RQ3 長さの上限 $ 2n/(r+1) $ はどの程度タイトか？また、群論的構成によって達成可能か、あるいは改善可能か？
• RQ4 アーベル群における加法的圧縮は、二部グラフに関連する和集合のサイズに対する最適な下界をもたらすか？
• RQ5 シドン集合は、完全グラフにおける頂点・辺の和値の相異なる数を最小化するために果たす役割は何か？

主な発見

• ケイリーグラフおよび頂点推移的グラフにおいてCaccetta-Häggkvist予想が成立し、各頂点の出次数が $ r $ 以上であれば、有向サイクルの長さは $ 2n/(r+1) $ 以下であることが保証される。
• $ r = 1 $ の場合、上限 $ 2n/(r+1) $ はサイクル長が $ n $ 以下であることを示し、タイトである。$ r = 2 $ の場合、長さは $ 2n/3 $ 以下であり、これは鋭い境界である。
• $ \mathbb{Z}/257\mathbb{Z} $ におけるグリーンの構成（$ |A| = 17 $、$ |A+A| = 105 $、$ d_1 = 105 $、$ d_2 \geq 2 $）により、$ |\alpha(V_1) \overset{G}{+} \beta(V_2)| = \max(d_1, d_2) $ が成り立ち、(10)式の下界が最良であることが証明される。
• 完全二部グラフ $ K_{n_1,n_2} $ において、和集合 $ \alpha(V_1) \overset{G}{+} \beta(V_2) $ は $ |\alpha(V_1) \overset{G}{+} \beta(V_2)| \geq \max(d_1, d_2) $ を満たし、この境界はタイトである。
• 完全グラフ $ K_n $ において、一対一関数 $ \alpha: V \to \mathbb{Z} $、$ \gamma: E \to \mathbb{Z} $ が存在し、$ |\{\alpha(v) + \gamma(e) : v \in e\}| = n $ となる。これはサイズ $ n $ のシドン集合 $ A $ を用い、$ \gamma(e_{ij}) = a_i + a_j $ とすることで達成される。
• グリーンの構成において、$ r_{A,A}(x) \geq 2 $ がすべての $ x \in A+A $ に対して成り立つため、$ d_2 \geq 2 $ であり、和集合のサイズは $ |B| = 105 $ に等しく、$ \max(d_1, d_2) $ と一致する。これにより最適性が示される。