[论文解读] Colourings without monochromatic disjoint pairs

Dennis Clemens, Shagnik Das+1 more|arXiv (Cornell University)|Dec 14, 2016

Limits and Structures in Graph Theory参考文献 25被引用 5

一句话总结

本文為相交結構中的Erdős–Rothschild問題建立了一個統一框架，證明在集合族、向量空間和排列中，t-星形結構在避免單色不相交對的情況下，對於r-著色是漸近最優的。本文確立了最優性的嚴密閾值，並在Erdős–Ko–Rado條件下對極端家族進行了特徵描述，解決了Hoppen、Lefmann與Odermann針對向量空間提出的猜想。

ABSTRACT

The typical extremal problem asks how large a structure can be without containing a forbidden substructure. The Erdős-Rothschild problem, introduced in 1974 by Erdős and Rothschild in the context of extremal graph theory, is a coloured extension, asking for the maximum number of colourings a structure can have that avoid monochromatic copies of the forbidden substructure. The celebrated Erdős-Ko-Rado theorem is a fundamental result in extremal set theory, bounding the size of set families without a pair of disjoint sets, and has since been extended to several other discrete settings. The Erdős-Rothschild extensions of these theorems have also been studied in recent years, most notably by Hoppen, Koyakayawa and Lefmann for set families, and Hoppen, Lefmann and Odermann for vector spaces. In this paper we present a unified approach to the Erdős-Rothschild problem for intersecting structures, which allows us to extend the previous results, often with sharp bounds on the size of the ground set in terms of the other parameters. In many cases we also characterise which families of vector spaces asymptotically maximise the number of Erdős-Rothschild colourings, thus addressing a conjecture of Hoppen, Lefmann and Odermann.

研究动机与目标

• 將Erdős–Rothschild問題推廣至集合族、向量空間與排列的相交族，推廣已知結果。
• 確定在t-相交族中，避免單色不相交對的r-著色數的最大值。
• 特徵描述漸近最大化此類著色數的家族，特別是針對向量空間。
• 確立t-星形結構成為最優的地面集合大小的嚴密閾值，解決Hoppen、Lefmann與Odermann提出的猜想。
• 統一並加強極值組合數學中Erdős–Rothschild推廣的先前結果。

提出的方法

• 發展一種基於穩定性的通用方法，用於分析避免單色不相交對的t-相交族的r-著色數。
• 應用極值集合論與向量空間交集定理，以界定家族及其著色數的大小。
• 使用一種新穎的優化論證，證明在向量空間中，中心兩兩平凡相交的t-星形結構的並集可最大化著色數。
• 運用並集界與穩定性分析，排除Erdős–Ko–Rado閾值以外的非星形家族作為最優解。
• 利用已知的極大相交族結果，透過組合計數與對稱性論證，將其應用於著色問題。
• 引入對地面集合大小的條件（例如，當t=1時，n ≥ 3k + 10 ln k），以確保t-星形結構是r=3著色下的唯一最大化者。

实验结果

研究问题

• RQ1 在地面集合大小n滿足何種條件下，t-星形結構是k-均勻族中避免單色不相交對的r-著色數的唯一最大化者？
• RQ2 在有限域上的向量空間中，哪類t-相交子空間族能最大化(r,t)-著色數？
• RQ3 當t ≥ 2時，Erdős–Ko–Rado閾值（n ≥ (t+1)(k−t+1)）對集合族中r=3著色是否仍為嚴密的？
• RQ4 對於集合族中r ≥ 4著色，能否對最優家族進行特徵描述，特別是在n接近2k時？
• RQ5 是否存在組合數學中的極值問題，其極值結構同時也最大化避免單色禁止子結構的r-著色數？

主要发现

• 對於t ≥ 2且n ≥ (t+1)(k−t+1)+1的k-均勻集合族，t-星形結構是唯一最大化(3,t)-著色數的家族。
• 當t=1且n ≥ 3k + 10 ln k時，t-星形結構對(3,1)-著色是漸近最優的，暗示閾值可能低至2k+1。
• 在向量空間設定下，最佳(r,t)-著色族為中心兩兩平凡相交且包含於2t維子空間中的t-星形結構的並集。
• 當r=6且t=1時，所有此類最優家族彼此同構，且所有構造的(6,1)-著色數相同。
• 當r=9且t=1時，F_q^2的自同構群在直線上作用3-傳遞性，確保所有此類家族的(9,1)-著色數完全相同。
• 本文透過明確描述在向量空間中最大化(r,t)-著色數的確切家族，解決了Hoppen、Lefmann與Odermann的猜想（r=6且t=1時）。