[論文レビュー] Hypergraphs with many extremal configurations

Xizhi Liu, Dhruv Mubayi+1 more|arXiv (Cornell University)|Feb 3, 2021

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

ひとこと要約

本稿では、任意の正の整数 $ t $ に対して、編集距離で互いに離れた $ t $ 個の極値的構成を持つ三元系 $ \mathcal{M}_t $ を構成し、すべての近似極値的 $ \mathcal{M}_t $-自由ハイパーグラフがこれらの $ t $ 個の構成のいずれかに近いことを示す強い安定性定理を確立し、$ \mathcal{M}_t $ の妥当領域が正確に $ t $ 個の全域最大値を持つことを証明する。これにより、任意の有限個の極値的構成を持つハイパーグラフのツーラン問題の例が初めて得られ、対応する安定性数 $ \xi(\mathcal{M}_t) = t $ を示した。

ABSTRACT

For every positive integer $t$ we construct a finite family of triple systems ${\mathcal M}_t$, determine its Turán number, and show that there are $t$ extremal ${\mathcal M}_t$-free configurations that are far from each other in edit-distance. We also prove a strong stability theorem: every ${\mathcal M}_t$-free triple system whose size is close to the maximum size is a subgraph of one of these $t$ extremal configurations after removing a small proportion of vertices. This is the first stability theorem for a hypergraph problem with an arbitrary (finite) number of extremal configurations. Moreover, the extremal hypergraphs have very different shadow sizes (unlike the case of the famous Turán tetrahedron conjecture). Hence a corollary of our main result is that the boundary of the feasible region of ${\mathcal M}_t$ has exactly $t$ global maxima.

研究の動機と目的

• ハイパーグラフのツーラン問題において、1つより多くの極値的構成を持つ構成を生み出すという長年の未解決問題に取り組む。
• 任意の有限個 $ t $ 個の極値的構成を持つハイパーグラフに対して、強い安定性定理を確立する。
• 構成された族 $ \mathcal{M}_t $ の妥当領域に正確に $ t $ 個の全域最大値があることを証明し、妥当領域の構造に関する重要な問いに答える。
• $ \mathcal{M}_t $ の極値的ハイパーグラフが異なるシャドウサイズを持つことを示し、ツーランの四面体問題のような既知の事例とは対照的である。
• 今後の研究で示唆されているように、$ r \geq 4 $ の $ r $-一様ハイパーグラフへの拡張のための枠組みを提供する。

提案手法

• 任意の $ t \in \mathbb{N} $ に対して、順序が異なる $ t $ 個の基本三元系 $ \mathcal{G}_1, \dots, \mathcal{G}_t $ を用いた、特定のブロー・アップ構成に基づく有限族の三元系 $ \mathcal{M}_t $ を構成する。
• ツーラン数 $ \mathrm{ex}(n, \mathcal{M}_t) \leq \lambda_t n^3 $ を定義し、$ n $ が適切な $ n_i $ の倍数であるとき等号が成り立つことを示し、$ \lambda_t < 1/6 $ であることを示し、ラグランジュの上界に近づくことを示す。
• 強い安定性結果を証明する：最大サイズに $ \varepsilon $ 以内の辺数を持つ $ \mathcal{M}_t $-自由三元系は、$ \delta n $ 個の頂点を削除することで $ \mathcal{G}_i $-彩色可能になる。
• 極値的構成間の編集距離を用いて、1つの極値的構成が他のすべての構成を近似できないことを示し、$ \xi(\mathcal{M}_t) = t $ を示す。
• $ \mathcal{M}_t $ の妥当領域 $ \Omega(\mathcal{M}_t) $ を、辺密度とシャドウ密度の極限点を調べることで分析し、関数 $ g(\mathcal{M}_t)(x) $ が正確に $ t $ 個の異なるシャドウ密度で最大値を取ることを示す。
• 構成 $ \mathcal{H}_i(n) $ と $ \mathcal{H}_j(n) $ 間のエッジフリップ過程を用いた連続性の議論により、中間の密度点が達成可能であることを示し、妥当領域が最大値の間の区間を含むことを証明する。

実験結果

リサーチクエスチョン

• RQ1 ハイパーグラフのツーラン問題が1つより多くの極値的構成を持つことは可能か？ もし可能なら、それらの構成は構造的に異なる可能性があるか？
• RQ2 任意の与えられた $ t \in \mathbb{N} $ に対して、安定性数 $ \xi(\mathcal{F}) = t $ を持つハイパーグラフ族を構成することは可能か？ これにより、既知の $ t=1 $ および $ t=2 $ の場合が一般化される。
• RQ3 ハイパーグラフ族の妥当領域が任意の有限 $ t $ に対して正確に $ t $ 個の全域最大値を持つことは可能か？ そして、それらの最大値は異なるシャドウサイズを持つ構成に対応するか？
• RQ4 複数の極値的構成が存在することは、妥当領域がそれらの間の区間を含むことを意味するのか？ そして、これにより構成の連続的補間が可能か？
• RQ5 このような結果は、三元系を越えて $ r \geq 4 $ の $ r $-一様ハイパーグラフへ拡張可能か？

主な発見

• 任意の正の整数 $ t $ に対して、本稿は、編集距離で互いに離れている正確に $ t $ 個の極値的構成を持つ三元系族 $ \mathcal{M}_t $ を構成する。
• ツーラン数 $ \mathrm{ex}(n, \mathcal{M}_t) \leq \lambda_t n^3 $ は、$ n $ が任意の $ n_i $ の倍数であるとき等号が成り立ち、$ \lambda_t < 1/6 $ であり、理論的上界に近づく。
• 安定性数 $ \xi(\mathcal{M}_t) = t $ であり、これは $ \mathcal{M}_t $-自由三元系が極値的サイズに近い場合、必ず $ t $ 個の特定の極値的構成のいずれかに近いことを意味する。
• 妥当領域 $ \Omega(\mathcal{M}_t) $ は正確に $ t $ 個の全域最大値を持ち、それぞれが異なるシャドウ密度に対応しており、それらは孤立しており非退化である。
• $ \mathcal{M}_t $ の極値的ハイパーグラフは、$ t $ 個の異なる基本三元系 $ \mathcal{G}_1, \dots, \mathcal{G}_t $ のバランスの取れたブロー・アップであり、それらは異なるシャドウサイズを持つため、一般に想定されるシャドウの均一な振る舞いとは対照的である。
• 構成 $ \mathcal{H}_i(n) $ と $ \mathcal{H}_j(n) $ 間のエッジフリップ列による連続的補間の議論により、妥当領域が最大値の間の区間を含むことが示され、$ M(\mathcal{M}_t) $ が有限であり、正確に $ t $ 要素であることが示された。