[論文レビュー] Lagrangian densities of hypergraph cycles

Yuejian Peng, Zilong Yan|arXiv (Cornell University)|Oct 31, 2018

Limits and Structures in Graph Theory参考文献 10被引用数 4

ひとこと要約

本稿は、3-一様ハイパーグラフ $F_5 = \{123,124,345\}$ のラグランジアン密度を確立し、それが最初に知られた非完全な3-一様ハイパーグラフであることを証明している。また、3-一様線形サイクル $C_3^3$ の完全性を確認している。さらに、$C_3^3$-自由な3-グラフは、$K_5^3$ を含む場合にのみ最大ラグランジアンを達成し、転送技術を用いて $r$-一様ハイパーグラフへの結果の拡張も行っている。

ABSTRACT

The Lagrangian density of an $r$-uniform hypergraph $F$ is $r!$ multiplying the supremum of the Lagrangians of all $F$-free $r$-uniform hypergraphs. For an $r$-graph $H$ with $t$ vertices, it is clear that $π_λ(H)\ge r!λ{(K_{t-1}^r)}$. We say that an $r$-unform hypergraph $H$ with $t$ vertices is perfect if $π_λ(H)= r!λ{(K_{t-1}^r)}$. A theorem of Motzkin-Straus implies that all $2$-uniform graphs are perfect. It is interesting to explore what kind of hypergraphs are perfect. A hypergraph is linear if any 2 edges have at most 1 vertex in common. We propose the following conjecture: (1) For $r\ge 3$, there exists $n$ such that a linear $r$-unofrm hypergraph with at least $n$ vertices is perfect. (2) For $r\ge 3$, there exists $n$ such that if $G, H$ are perfect $r$-uniform hypergraphs with at least $n$ vertices, then $G\bigsqcup H$ is perfect. Regarding this conjecture, we obtain a partial result: Let $S_{2,t}=\{123,124,125,126,...,12(t+2)\}$. (An earlier result of Sidorenko states that $S_{2,t}$ is perfect \cite{Sidorenko-89}.) Let $H$ be a perfect $3$-graph with $s$ vertices. Then $F=S_{2,t}\bigsqcup H$ is perfect if $s\geq 3$ and $t\geq 3$.

研究の動機と目的

• 3-一様ハイパーグラフ $F_5 = \{123,124,345\}$ のラグランジアン密度を特定し、3つの辺を持つ3-一様ハイパーグラフのうち未解決の3つのケースのうちの1つを解消すること。
• 特に線形ハイパーグラフを対象として、$r$-一様ハイパーグラフの完全性を調査し、大きな線形 $r$-グラフは完全であるという予想を拡張すること。
• $C_3^3 = \{123,345,561\}$ が完全であることを証明し、$C_3^3$-自由な3-グラフの中で最大ラグランジアンを達成するのは $K_5^3$ を含むものに限ることを示すこと。
• $r$-一様ハイパーグラフへのラグランジアン密度に関する結果を、転送技術を用いて拡張すること。
• ハイパーグラフサイクルのラグランジアン密度に関する長年の未解決問題を解決し、3-一様ハイパーグラフにおける最初の非完全例を提供すること。

提案手法

• $F_5$ に対してラグランジアン法を適用し、$F_5$-自由な3-グラフの $\lambda(G)$ を計算するために、可能解ベクトル $\vec{x} \in \Delta$ における最適化を実行する。
• ピクフルコの転送技術を用いて、ハイパーグラフ拡張のツーラン密度とラグランジアン密度を関連付ける。
• $F_5$-自由な3-グラフ $G$ の構造的解析を、$K_{2t-2}^{3-}$ を超える頂点拡張を考慮し、$F_5$-コピーを避けるための近傍条件を分析することで行う。
• 組合せ的事実（例：Fact 5.8, Fact 5.17）を用いて、特定の良いペア条件が成り立つ場合、$\lambda(G) < \lambda(K_{2t-1}^3)$ が成り立ち、最適性に反することを示す。
• 新規頂点 $x$ と $a$ を含む辺の配置に基づく場合分けを行い、パス構成（例：$P_{t-3}$）を用いて禁止サイクルを検出する。
• $C_3^3$-自由な3-グラフで最大ラグランジアンを達成するものについて、近傍と辺回避の議論を用いて代替構成を除外することで、$K_5^3$ を部分グラフとして含む必要があることを証明する。

実験結果

リサーチクエスチョン

• RQ1 3-一様ハイパーグラフ $F_5 = \{123,124,345\}$ のラグランジアン密度は何か？ そしてそれは完全か？
• RQ2 $C_3^3 = \{123,345,561\}$ は完全か？ また、$C_3^3$-自由な3-グラフの中で最大ラグランジアンを達成するのはどのようなグラフか？
• RQ3 $r$-一様ハイパーグラフへの完全性の性質を、特に長さ $t$ の線形サイクルに対して拡張できるか？
• RQ4 $F_5$ および $C_3^3$ の結果は、転送技術を用いて $r$-一様ハイパーグラフへと拡張可能か？
• RQ5 2つの完全な $r$-グラフの素性の和集合が完全であるための条件は何か？

主な発見

• $F_5 = \{123,124,345\}$ のラグランジアン密度は $\lambda(K_5^3)$ であり、$F_5$ は最初に知られた非完全な3-一様ハイパーグラフである。
• $C_3^3 = \{123,345,561\}$ は完全であることが証明され、$C_3^3$-自由なすべての3-グラフの中で $\lambda(G) = \lambda(K_5^3)$ を達成するのは $K_5^3$ を含むものに限る。
• $t \geq 3$ のとき、$S_{2,t} \sqcup H$ は $H$ が $s \geq 3$ 頂点の完全な3-グラフであれば完全である。これはシドレンコの以前の結果の拡張である。
• 長さ $t$ の3-一様線形サイクル $C_t^3$ は $t \geq 3$ に対して完全であり、そのラグランジアン密度は $\lambda(K_{2t-1}^3)$ に等しい。
• $F_5$、$C_3^3$、$S_{2,t}$ の拡張のツーラン密度は、ピクフュルコの転送技術を用いて導出可能である。
• $G$ が $C_3^3$-自由な3-グラフであり、$\lambda(G) = \lambda(K_5^3)$ であるならば、$G$ は $K_5^3$ を部分グラフとして含む必要がある。これは極値性を確認するものである。