[論文レビュー] 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

ひとこと要約

本稿は、3-一様から5-一様超グラフおよび十分大きな $ t \geq 4(r-1)(r-2) $ に対して、フランクル＝フューレディ予想の主な場合を証明し、$ \mu(G) \leq m t^{-r} $ が成り立ち、等号成立は $ t $ が整数である場合に限ることを示している。証明は、最大頂点重みに制約を課した場合の初等対称関数に対する新しい解析的評価に依拠しており、特に最大頂点重みに制約を課したマクローリン型不等式を活用している。

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.

研究の動機と目的

• 3 ≤ r ≤ 5 に対してフランクル＝フューレディ予想の主な場合を解明すること。
• $ t \geq 4(r-1)(r-2) $ の場合に $ \mu(G) \leq m t^{-r} $ を確立すること、ここで $ m = \binom{t}{r} $ である。
• 極値超グラフ問題を解くために、初等対称関数に基づく新しい解析的枠組みを構築すること。
• 非構成的手段を避ける、代替的で明示的なバウンドをタイオムキンの結果と比較して提示すること。

提案手法

• 最大頂点重み $ \|\mathbf{x}\|_{\max} $ と $ \sigma(\mathbf{x}) $ に制約を課した場合の初等対称関数 $ S_k(\mathbf{x}) $ の新しい上界・下界を導出する。
• 条件 $ x_1 \leq 1/r $ の下で部分導関数 $ \partial S_r(\mathbf{x}) / \partial x_1 $ を制御するため、定理4を適用し、MSインデックス $ \mu(G) $ を制御する。
• 補題8を用いて $ \mu(G) $ を幾何平均 $ \sigma(\mathbf{x}) $ に関連づけ、$ t^{-r} $ との比較を可能にする。
• マクローリンの不等式およびその改良版を用いて、非一様分布下での対称関数値の比較を行う。
• 極値問題を、最大変数および幾何平均に制約を課した $ S_r(\mathbf{x}) $ の挙動の分析に還元する。
• 解析的推定と極値超グラフの構造を組み合わせ、予想された上界を証明する。

実験結果

リサーチクエスチョン

• RQ1 フランクル＝フューレディ予想の主な場合は、すべての 3 ≤ r ≤ 5 および任意の m に対して成り立つか？
• RQ2 対称関数不等式を用いて、$ t \geq 4(r-1)(r-2) $ の場合に $ \mu(G) \leq m t^{-r} $ を確立できるか？
• RQ3 n に依存せず、マクローリンの不等式を改善する、初等対称関数に関する新しい明示的バウンドは存在するか？
• RQ4 予想されたバウンド $ \mu(G) \leq m t^{-r} $ における等号成立条件は何か？
• RQ5 $ m = \binom{t}{r} $ のとき、r-一様超グラフのMSインデックスは常に $ m t^{-r} $ で上から抑えられるか？等号成立は $ t $ が整数である場合に限るか？

主な発見

• 3 ≤ r ≤ 5 に対して、フランクル＝フューレディ予想の主な場合が確認され、$ \mu(G) \leq m t^{-r} $ が成り立ち、等号成立は $ t $ が整数である場合に限る。
• $ t \geq 4(r-1)(r-2) $ の場合、$ \mu(G) \leq m t^{-r} $ が成り立ち、タイオムキンの非構成的証明とは対照的に明示的かつ構成的な代替証明が得られた。
• 定理4は、$ x_1 \leq 1/r $ の条件下で $ \partial S_r(\mathbf{x}) / \partial x_1 $ の鋭い上界を確立し、MSインデックスを制御する上で極めて重要である。
• 定理2は、$ \|\mathbf{x}\|_{\max} \leq 1/(4(k-2)) $ のとき、$ S_k(\mathbf{x}) $ の新しい上界を $ \sigma(\mathbf{x}) $ の関数として与え、マクローリンの不等式を強化する。
• 補題8で得られた $ \mu(G) \leq m \sigma^r $ のバウンドを用いて、MSインデックスを幾何平均と関連づけ、$ t^{-r} $ との比較を可能にした。
• $ \mu(G) = m t^{-r} $ における等号成立は、$ t $ が整数であり、かつ $ G $ が $ t $ 個の頂点からなる完全な r-一様超グラフで、頂点重みが一様である場合に限る。