[论文解读] 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$ 的完美性。此外，本文表明僅當包含 $K_5^3$ 時，$C_3^3$-自由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-一致超圖中三個未解決案例之一。
• 透過推廣「大線性 $r$-圖為完美圖」的猜想，研究 $r$-一致超圖（特別是線性超圖）的完美性。
• 確立3-一致線性環 $C_3^3 = \{123,345,561\}$ 為完美圖，並證明僅當超圖包含 $K_5^3$ 時，$C_3^3$-自由3-圖才可達最大拉格朗日密度。
• 利用傳遞技術，將拉格朗日密度結果推廣至 $r$-一致超圖，特別是長度為 $t$ 的線性環。
• 解決長久以來的超圖環拉格朗日密度問題，提供3-一致超圖中首個非完美例子。

提出的方法

• 對 $F_5$ 應用拉格朗日方法，透過在可行權重向量 $\vec{x} \in \Delta$ 上的優化，計算 $F_5$-自由3-圖的 $\lambda(G)$。
• 採用 Pikhurko 的傳遞技術，將超圖擴展的圖-Turán 密度與拉格朗日密度關聯。
• 透過考慮超出 $K_{2t-2}^{3-}$ 的頂點擴展，分析 $F_5$-自由3-圖 $G$ 的結構，並分析鄰域條件以避免出現 $F_5$-副本。
• 應用組合事實（例如，引理5.8、引理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 在何種條件下，兩個完美 $r$-圖的不相交併集仍為完美圖？

主要发现

• $F_5 = \{123,124,345\}$ 的拉格朗日密度為 $\lambda(K_5^3)$，且 $F_5$ 為首個已知的非完美3-一致超圖。
• $C_3^3 = \{123,345,561\}$ 確認為完美圖，且在所有 $C_3^3$-自由3-圖中，僅包含 $K_5^3$ 者可達 $\lambda(G) = \lambda(K_5^3)$。
• 對於 $t \geq 3$，若 $H$ 為包含 $s \geq 3$ 個頂點的完美3-圖，則不相交併集 $S_{2,t} \sqcup H$ 為完美圖，此結果擴展了 Sidorenko 的早期結果。
• $t \geq 3$ 時，長度為 $t$ 的3-一致線性環 $C_t^3$ 為完美圖，其拉格朗日密度為 $\lambda(K_{2t-1}^3)$。
• 透過 Pikhurko 的傳遞技術，可推導出 $F_5$、$C_3^3$ 與 $S_{2,t}$ 擴展的圖-Turán 密度。
• 若 $G$ 為 $C_3^3$-自由3-圖且 $\lambda(G) = \lambda(K_5^3)$，則 $G$ 必須包含 $K_5^3$ 為子圖，從而確認其極值性。