[论文解读] Symmetric functions and the principal case of the Frankl-Füredi conjecture

Vladimir Nikiforov|arXiv (Cornell University)|Feb 27, 2018

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

一句话总结

本文證明了 Frankl-Füredi 猜想在 3-至 5-uniform 超圖中之主要情形，且對於大於等於 $ t \geq 4(r-1)(r-2) $ 的情況，顯示 MS-指數 $ \mu(G) \leq m t^{-r} $，且等號成立當且僅當 $ t $ 為整數。證明依賴於初等對稱函數之新分析界，特別是於最大頂點權重之限制下，運用 Maclaurin 型不等式。

ABSTRACT

Let $r\geq3$ and $G$ be an $r$-uniform hypergraph with vertex set $\left\{ 1,\ldots,n ight\} $ and edge set $E$. Let \[ μ\left( G ight) :=\max { extstyle\sum\limits_{\left\{ i_{1},\ldots,i_{r} ight\} \in E}} x_{i_{1}}\cdots x_{i_{r}}, \] where the maximum is taken over all nonnegative $x_{1},\ldots,x_{n}$ with $x_{1}+\cdots+x_{n}=1.$ Let $t\geq r-1$ be the unique real number such that $\left\vert E ight\vert =\binom{t}{r}$. It is shown that if $r\leq5$ or $t\geq4\left( r-1 ight) \left( r-2 ight) $, then \[ μ\left( G ight) \leq t^{-r}\binom{t}{r}% \] with equality holding if and only if $t$ is an integer. The proof is based on some new bounds on elementary symmetric functions.

研究动机与目标

• 解決 Frankl-Füredi 猜想在 $ 3 \leq r \leq 5 $ 時之主要情形。
• 針對 $ t \geq 4(r-1)(r-2) $，建立 $ \mu(G) \leq m t^{-r} $ 之界，其中 $ m = \binom{t}{r} $。
• 提出基於初等對稱函數之新分析框架，以應對極值超圖問題。
• 提供 Tyomkyn 結果之替代性、顯式界，避免使用非構造性方法。

提出的方法

• 在 $ \sigma(\mathbf{x}) $ 與 $ \|\mathbf{x}\|_{\max} $ 之約束下，推導初等對稱函數 $ S_k(\mathbf{x}) $ 之新上界與下界。
• 應用定理 4，該定理在 $ x_1 \leq 1/r $ 條件下界定了偏微分 $ \partial S_r(\mathbf{x}) / \partial x_1 $，以控制 MS-指數 $ \mu(G) $。
• 使用引理 8 將 $ \mu(G) $ 與幾何平均 $ \sigma(\mathbf{x}) $ 連結，進而能與 $ t^{-r} $ 進行比較。
• 運用 Maclaurin 不等式及其改良形式，於非均勻分配下比較對稱函數之值。
• 將極值問題簡化為在最大變數與幾何平均之約束下，分析 $ S_r(\mathbf{x}) $ 之行為。
• 結合分析估計與極值超圖之結構，以證明所 conjecture 之上界。

实验结果

研究问题

• RQ1 Frankl-Füredi 猜想之主要情形是否對所有 $ 3 \leq r \leq 5 $ 及任意 $ m $ 成立？
• RQ2 能否使用對稱函數不等式，於 $ t \geq 4(r-1)(r-2) $ 時，建立 $ \mu(G) \leq m t^{-r} $ 之界？
• RQ3 是否存在新之顯式界，對初等對稱函數之界，可避免對 $ n $ 之依賴，並優於 Maclaurin 不等式？
• RQ4 在所 conjecture 之界 $ \mu(G) \leq m t^{-r} $ 中，等號成立之條件為何？
• RQ5 當 $ m = \binom{t}{r} $ 時，是否可對任意 $ r $-uniform 超圖之 MS-指數普遍地以 $ m t^{-r} $ 界定，且等號成立當且僅當 $ t $ 為整數？

主要发现

• Frankl-Füredi 猜想之主要情形已於所有 $ r $ 滿足 $ 3 \leq r \leq 5 $ 時獲得確認，證明 $ \mu(G) \leq m t^{-r} $，且等號成立當且僅當 $ t $ 為整數。
• 對於 $ t \geq 4(r-1)(r-2) $，界 $ \mu(G) \leq m t^{-r} $ 成立，提供了一個顯式且構造性之替代方案，以取代 Tyomkyn 的非構造性證明。
• 定理 4 在條件 $ x_1 \leq 1/r $ 下，確立了 $ \partial S_r(\mathbf{x}) / \partial x_1 $ 之緊緻上界，此為控制 MS-指數之關鍵。
• 定理 2 提供了 $ S_k(\mathbf{x}) $ 之新上界，以 $ \sigma(\mathbf{x}) $ 表示，且在 $ \|\mathbf{x}\|_{\max} \leq 1/(4(k-2)) $ 條件下成立，強化了 Maclaurin 不等式。
• 引理 8 所得之界 $ \mu(G) \leq m \sigma^r $ 用以將 MS-指數與幾何平均連結，進而能與 $ t^{-r} $ 進行比較。
• 當且僅當 $ t $ 為整數，且 $ G $ 為 $ t $ 個頂點上之完全 $ r $-uniform 超圖，且頂點權重均勻時，$ \mu(G) = m t^{-r} $ 之等號成立。