[论文解读] Almost partitioning 2-coloured complete 3-uniform hypergraphs into two monochromatic tight or loose cycles

Sebastián Bustamante, Hiệp Hàn+1 more|arXiv (Cornell University)|Jan 26, 2017

Limits and Structures in Graph Theory参考文献 14被引用 3

一句话总结

该论文证明了，对于足够多顶点的完全3-一致超图的任意2-着色，存在两个顶点不相交的单色紧致或松散环，其颜色不同，且覆盖除最多ηn个顶点外的所有顶点，其中η > 0为任意给定值。该结果依赖于超图正则性引理以及在稠密超图中构造单色连通匹配。

ABSTRACT

We show that for every η > 0 there exists an integer n_0 such that every 2-colouring of the 3-uniform complete hypergraph on n \geq n_0 vertices contains two disjoint monochromatic tight cycles of distinct colours that together cover all but at most ηn vertices. The same result holds if we replace tight cycles with loose cycles.

研究动机与目标

• 建立关于用两种颜色覆盖3-一致超图的单色紧致环的一个猜想的近似版本。
• 将已知的单色环覆盖结果从图推广到3-一致超图，特别是针对紧致和松散环。
• 证明在稠密的2-着色3-一致超图中，两个不相交的单色连通匹配可覆盖几乎所有顶点。
• 表明可按指定奇偶性构造环，从而推导出紧致和松散环的结果。

提出的方法

• 应用超图正则性引理，将问题简化为具有有界结构的设定，满足正则性与稠密度条件。
• 通过识别连通分量并利用正则性性质，在简化后的超图中构造单色连通匹配。
• 使用引理3.3，在对应于匹配边的正则三元组中嵌入长紧致路径，确保几乎完全覆盖顶点。
• 通过在相邻三元组之间使用非禁止边构建短紧致环，通过构造过程中避免顶点集交集来保证不相交性。
• 使用S-避免构造，将初始环中的短路径替换为具有所需奇偶性的长路径，同时保持不相交性。
• 通过控制异常集合和未覆盖部分中顶点数的界来控制误差项，确保未覆盖顶点总数不超过ηn。

实验结果

研究问题

• RQ1 每个2-着色的完全3-一致超图是否可近乎划分为两个不同颜色的单色紧致环？
• RQ2 当紧致环被松散环替代时，该结论是否仍然成立？
• RQ3 能否按指定长度奇偶性构造单色环？
• RQ4 在2-着色3-一致超图中，是否可用两个不相交的单色环覆盖除子线性数量顶点外的所有顶点？
• RQ5 此类划分中未覆盖顶点的最小数量是多少？能否将该值改进至o(n)以下？

主要发现

• 对任意η > 0，存在n₀，使得每个满足n ≥ n₀的Kₙ⁽³⁾的2-着色中，均包含两个顶点不相交的单色紧致环，其颜色不同，且覆盖除最多ηn个顶点外的所有顶点。
• 该结论对松散环同样成立，因为偶长紧致环包含松散环，从而可推导出推论1.2。
• 构造过程可控制环长度的奇偶性，这对确保偶长紧致环内存在松散环至关重要。
• 未覆盖顶点数被限制在ηn以内，该界通过正则性引理和S-避免路径嵌入的仔细应用实现。
• 证明表明，在任意具有t个顶点且至少(1−γ) binom(t,3)条边的2-着色3-一致超图中，两个不相交的单色连通匹配可覆盖至少(1 − 290γ¹ᐟ⁶)t个顶点。
• 误差项ηn来源于异常集合、匹配未覆盖部分以及正则性框架的贡献，当n充分大时，总误差被控制在ηn以内。