[论文解读] Judicious partitions of 3-uniform hypergraphs

John Haslegrave|arXiv (Cornell University)|Nov 3, 2009

graph theory and CDMA systems参考文献 8被引用 13

一句话总结

本文证明了3-均匀超图的Bollobás–Thomason猜想，表明任意具有$ m $条边的此类超图均可被划分为三个部分，每部分至少与$ \frac{3}{5}m $条边相交。证明使用了极值组合数学、局部最优性论证以及对最小$ \varepsilon $-好集的结构分析，推导出一个度数界，从而保证此类划分的存在性。

ABSTRACT

The vertices of any graph with $m$ edges can be partitioned into two parts so that each part meets at least $\frac{2m}{3}$ edges. Bollobás and Thomason conjectured that the vertices of any $r$-uniform graph may be likewise partitioned into $r$ classes such that each part meets at least $cm$ edges, with $c=\frac{r}{2r-1}$. In this paper, we prove this conjecture for the case $r=3$. In the course of the proof we shall also prove an extension of the graph case which was conjectured by Bollobás and Scott.

研究动机与目标

• 证明$ r = 3 $时的Bollobás–Thomason猜想，即每个具有$ m $条边的3-均匀超图均可被划分为三部分，每部分至少与$ \frac{3}{5}m $条边相交。
• 解决Bollobás与Scott早期证明中的漏洞，他们曾声称对$ r = 3 $时的界限为$ \frac{5m-1}{9} $，但其论证中存在缺陷。
• 通过半最优性和局部最优性条件，建立极值划分的结构表征，从而推导出各部分总度数的下界。
• 扩展Bollobás与Scott关于3-均匀超图中好划分的猜想，并在相同框架下证明其有效性。
• 提供紧致的界限$ \frac{3}{5}m $，表明在当前方法论约束下此界限为最优，且确认了3-均匀情形下的猜想。

提出的方法

• 将$ \varepsilon $-好集定义为与至少$ \left(\frac{2}{3} - \varepsilon\right)m $条边相交的顶点子集，并利用最小$ \varepsilon $-好集分析极值配置。
• 引入半最优划分的概念——即不存在将任一顶点移入第三类可增加总度数$ d(A,B,C) $的划分——以控制候选划分的结构。
• 使用双重计数和边分解推导不等式（例如$ 3e(A,A,A) + 2e(A,A,B) \leq e(A,B,C) + e(A,C,C) $），以约束边在各部分间的分布。
• 基于顶点度数和边重数的极值论证，证明若不存在三个$ \varepsilon $-好集，则必存在一个划分$ V = A \cup B \cup C $，使得总度数$ d(A,B,C) > (2 + 3\varepsilon)m $。
• 对最小$ \varepsilon $-好集的大小（例如大小为2或3）进行情形分析，并利用度数界推导矛盾，除非存在一个好划分。
• 对小的$ m $值（特别是$ m = 7 $）使用归纳法和穷举情形分析，验证当$ m \leq 9 $时好划分的存在性，从而完成主定理的基底情形。

实验结果

研究问题

• RQ1 每个具有$ m $条边的3-均匀超图是否都能被划分为三部分，使得每部分至少与$ \frac{3}{5}m $条边相交？
• RQ2 Bollobás–Thomason猜想对$ r = 3 $是否成立，特别是常数$ c = \frac{3}{5} $是否如猜想所示？
• RQ3 能否通过结构和极值论证修复Bollobás与Scott对$ r = 3 $情形的有缺陷的证明？
• RQ4 对于大的$ m $，是否可能获得优于$ \frac{3}{5}m $的渐近界限，还是说在当前方法下$ \frac{3}{5}m $为紧致界限？
• RQ5 超图需满足何种结构性质，才能存在一种划分使得三个部分均为$ \varepsilon $-好集，以及此类划分如何构造？

主要发现

• 本文证明了每个具有$ m $条边的3-均匀超图均可被划分为三部分，使得每部分至少与$ \frac{3}{5}m $条边相交，从而确认了$ r = 3 $时的Bollobás–Thomason猜想。
• 当$ m = 7 $时，通过穷举分析最小$ \varepsilon $-好集（大小为2或3）的情形，证明了好划分的存在性，表明此类划分始终存在。
• 证明表明，若不存在三个$ \varepsilon $-好集，则必存在一个划分$ V = A \cup B \cup C $，使得$ d(A,B,C) > (2 + 3\varepsilon)m $，除非存在一个好划分，否则将导致矛盾。
• $ \frac{3}{5}m $的界限在某种意义上是紧致的，因为当前方法无法进一步改进，该方法依赖于仅允许至多一个坏部分的划分控制。
• 本文通过证明在3-均匀超图中，每个部分至少与$ \frac{3}{5}m $条边相交，解决了Bollobás与Scott的一个猜想。
• 分析表明，具有高总度数$ d(A,B,C) $的极值划分必须具有平衡的度数$ d(A), d(B), d(C) $，且此类划分受推导出的不等式结构所约束。