[論文レビュー] The maximum $p$-Spectral Radius of Hypergraphs with $m$ Edges

Linyuan Lü|arXiv (Cornell University)|Mar 23, 2018

Graph theory and applications参考文献 10被引用数 7

ひとこと要約

この論文は、$m = \binom{s}{r}$ のとき、$r$-一様超グラフの最大 $p$-スペクトル半径に関するニキフォロフの予想を解決する。最大の $\rho_p(H)$ は $\frac{rm}{s^{r/p}}$ で抑えられ、等号が成り立つのは $H$ が完全 $r$-一様超グラフ $K_s^r$ に孤立頂点を加えたものである場合に限る。この結果により、$r \geq 2$ に対して、超グラフラグランジアンに関するフラニク＝フーレディ予想の主なケースが完全に解決される。

ABSTRACT

For $r\geq 2$ and $p\geq 1$, the $p$-spectral radius of an $r$-uniform hypergraph $H=(V,E)$ on $n$ vertices is defined to be $$ρ_p(H)=\max_{{\bf x}\in \mathbb{R}^n: \|{\bf x}\|_p=1}r \cdot \!\!\!\! \sum_{\{i_1,i_2,\ldots, i_r\}\in E(H)} x_{i_1}x_{i_2}\cdots x_{i_r},$$ where the maximum is taken over all ${\bf x\in \mathbb{R}^n}$ with the $p$-norm equals 1. In this paper, we proved for any integer $r\geq 2$, and any real $p\geq 1$, and any $r$-uniform hypergraph $H$ with $m={s\choose r}$ edges (for some real $s\geq r-1$), we have $$λ_p(H)\leq \frac{rm}{s^{r/p}}.$$ The equality holds if and only if $s$ is an integer and $H$ is the complete $r$-uniform hypergraph $K^r_s$ with some possible isolated vertices added. Thus, we completely settled a conjecture of Nikiforov. In particular, we settled all the principal cases of the Frankl-Füredi's Conjecture on the Lagrangians of $r$-uniform hypergraphs for all $r\geq 2$.

研究の動機と目的

• 固定された辺数を持つ $r$-一様超グラフの $p$-スペクトル半径を最大化するという長年の問題に取り組む。
• $m = \binom{s}{r}$ のときの超グラフに対する $p$-スペクトル半径の上界に関するニキフォロフの予想を解決する。
• $r \geq 2$ に対して、超グラフラグランジアンに関するフラニク＝フーレディ予想の主なケースを確認する。
• $p=1$, $p=r$, $p=\infty$ の既知の結果を統一・一般化する、$p$-スペクトル半径のタイトな解析的境界を確立する。
• 与えられた辺数制約下で最大 $p$-スペクトル半径を達成する超グラフの完全な特徴付けを提供する。

提案手法

• 頂点数に関する帰納法を用い、頂点を1つ削除して超グラフを再帰的に分解し、残りの部分超グラフのスペクトル半径を分析することで証明を進める。
• $p$-スペクトル半径 $\rho_p(H)$ を、単位 $\ell^p$-球上で定義される同次多項式 $r \sum_{e \in E(H)} \prod_{i \in e} x_i$ の最大値として定義する。
• ホルダーの不等式を用いて $\rho_p(H)$ を $\rho_1(H)$ に関連付け、鍵となる不等式 $\rho_p(H) \leq \rho_1(H)^{1/p} (rm)^{1-1/p}$ を確立する。
• 帰納法の仮定を適用して、$m = \binom{s}{r}$ のとき $\rho_1(H) \leq \frac{rm}{s^r}$ を示す。
• 等号が成り立つのは $s$ が整数であり、かつ $H$ が完全 $r$-一様超グラフ $K_s^r$ に孤立頂点を加えたものである場合に限ることを示す。
• 辺数 $m$ から対応する $s$ を得る逆関数 $p_r^{-1}(m)$ を用い、最適な超グラフ構造の構築を可能にする。

実験結果

リサーチクエスチョン

• RQ1 $r \geq 2$ および $p \geq 1$ のとき、すべての $r$-一様超グラフのうち、$m$ 条の辺を持つものの中で最大の $p$-スペクトル半径は何か？
• RQ2 $m = \binom{s}{r}$ で $s \geq r-1$ の実数 $s$ に対して、ニキフォロフの予想 $\rho_p(H) \leq \frac{rm}{s^{r/p}}$ は成り立つか？
• RQ3 $m = \binom{s}{r}$ で $s$ が整数のとき、完全 $r$-一様超グラフ $K_s^r$ は $p$-スペクトル半径を最大にする唯一の超グラフか？
• RQ4 超グラフラグランジアンに関するフラニク＝フーレディ予想の主なケースは、すべての $r \geq 2$ に対して成り立つか？
• RQ5 $p$-スペクトル半径が最大化される条件は何か、またその境界がタイトになる条件は何か？

主な発見

• $r \geq 2$ および $p \geq 1$ のすべての $m = \binom{s}{r}$ に対して、$r$-一様超グラフの最大 $p$-スペクトル半径は $\frac{rm}{s^{r/p}}$ で抑えられる。
• 等号が成り立つのは $s$ が整数であり、かつ超グラフ $H$ が完全 $r$-一様超グラフ $K_s^r$ に孤立頂点を加えたものである場合に限る。
• この境界はタイトであり、極値超グラフ構造を特徴づけるものであり、ニキフォロフの予想を完全に一般化して解決する。
• この結果により、$r \geq 2$ に対して、超グラフラグランジアンに関するフラニク＝フーレディ予想の主なケースが確認され、$r=3$ および $r \geq 4$ の既存の部分的結果が拡張される。
• 証明により、$m = \binom{s}{r}$ のとき、$p$-スペクトル半径は完全超グラフ $K_s^r$ によってのみ最大化され、他のいかなる超グラフともこの境界に達しないことが示される。
• $p$-スペクトル半径の境界と既知の関係 $\rho_p(H) \leq \rho_1(H)^{1/p} (rm)^{1-1/p}$ を組み合わせることで、最終的な上界 $\frac{rm}{s^{r/p}}$ が導出される。