[论文解读] 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

一句话总结

本文利用加法数论中的工具，包括Sidon集和加法压缩，证明了Cayley图和顶点传递有向图的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.

研究动机与目标

• 利用加法数论证明Cayley图与顶点传递有向图的Caccetta-Häggkvist猜想。
• 在最小出度为 $ r $ 的有向图中，建立最短有向环长度的紧致上界。
• 探索极值图论与加法组合数学之间的联系，特别是通过加法压缩与表示函数。
• 通过显式构造（包括在 $ \mathbb{Z}/257\mathbb{Z} $ 上的Greene例子与Sidon集）证明环长界的最优性。
• 全面综述与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} $ 中利用Cauchy-Davenport定理推导和集大小的下界，证明 $ |\alpha(V_1) \overset{G}{+} \beta(V_2)| \geq \min(d_1 + d_2 - 1, p) $。
• 通过Sidon集与表示函数 $ r_{A,B}(x) $ 构造极值例子，表明 $ |\alpha(V_1) \overset{G}{+} \beta(V_2)| \geq \max(d_1, d_2) $ 的界是紧致的。
• 在 $ \mathbb{Z}/257\mathbb{Z} $ 中应用Greene的构造，取 $ 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 能否利用加法数论证明Cayley图与顶点传递图的Caccetta-Häggkvist猜想？
• RQ2 在最小出度为 $ r $ 的有向图中，最短有向环长度的最佳可能上界是什么？
• RQ3 对最短环长度的界 $ 2n/(r+1) $ 有多紧？能否通过群论构造实现或改进该界？
• RQ4 在阿贝尔群中，加法压缩能否给出与二部图相关和集大小的最优下界？
• RQ5 Sidon集在最小化完全图中不同顶点-边和值数量方面起什么作用？

主要发现

• Caccetta-Häggkvist猜想对Cayley图与顶点传递图成立，当每个顶点出度至少为 $ r $ 时，图中必存在长度至多为 $ 2n/(r+1) $ 的有向环。
• 该界对 $ r = 1 $ 是紧致的，此时给出长度至多为 $ n $ 的环；对 $ r = 2 $，给出长度至多为 $ 2n/3 $ 的环，且该界是精确的。
• 在 $ \mathbb{Z}/257\mathbb{Z} $ 中，Greene的构造取 $ |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 $ 的Sidon集 $ A $ 实现，其中 $ \gamma(e_{ij}) = a_i + a_j $。
• 在Greene构造中，表示函数 $ r_{A,A}(x) \geq 2 $ 对所有 $ x \in A+A $ 成立，意味着 $ d_2 \geq 2 $，且和集大小等于 $ |B| = 105 $，与 $ \max(d_1, d_2) $ 一致，表明该界是最优的。