[論文レビュー] The p-spectral radius of k-partite and k-chromatic uniform hypergraphs

Liying Kang, Vladimir Nikiforov+1 more|arXiv (Cornell University)|Jan 31, 2014

graph theory and CDMA systems参考文献 9被引用数 3

ひとこと要約

本稿は、$k$-部グラフおよび$k$-彩色可能$r$-一様超グラフにおける$p$-スペクトル半径の極値境界を確立し、頂点分割が等しい条件下で、完全$k$-部グラフ$T_k^r(n)$および完全$k$-彩色可能超グラフ$Q_k^r(n)$が、それぞれすべての$p > 1$および$p \geq 1$に対して$p$-スペクトル半径を最大化することを証明する。結果は、スペクトル的手法を用いて、古典的な極値グラフ論を超グラフへ一般化する。

ABSTRACT

We characterize the r-graph with maximal p-spectral radius among the k-partite r-graphs of order n, and the 3-graph with maximal p-spectral radius among the k-chromatic 3-graphs of order n.

研究の動機と目的

• すべての$p > 1$に対して、$n$ 項の$k$-部$r$-一様超グラフにおける最大$p$-スペクトル半径を特定すること。
• $p=1$および$p=2$の既知の極値結果を、$k$-彩色可能超グラフの文脈において一般の$p \geq 1$に拡張すること。
• $k$-部および$k$-彩色可能超グラフにおける$p$-スペクトル半径の極値問題を解決し、ラグランジュ乗数およびスペクトル半径に関する先行研究を一般化すること。
• 完全$k$-部および完全$k$-彩色可能超グラフによって一意的に達成される、$p$-スペクトル半径のタイトな上界を確立すること。

提案手法

• $p$-スペクトル半径$\lambda^{(p)}(G)$を、$\ell^p$-単位球上での多重線形形式$P_G(\mathbf{x})$の最大値として定義する。
• ラグランジュ乗数法と対称性の議論を用いて、頂点集合が可能な限り等しくなるときに最大値が達成されることを示す。
• 冪平均不等式を用いて、スペクトル形式内の単項式項の$p$-ノルムを評価する。
• $x > r-1$に対して関数$f(x) = \binom{x}{r}$の凸性を活用し、$k$-彩色可能超グラフにおける辺数の上限を求める。
• 極値境界における等号が成立するのは、超グラフが完全$k$-部または完全$k$-彩色可能で、かつ部分がバランスしている場合に限ることを証明する。
• 固有値および固有ベクトルの解析を用いて$\lambda^{(1)}(G)$と$\lambda^{(p)}(G)$の関係を特定し、補間およびホルダー型不等式を用いて境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 すべての$p > 1$に対して、$n$ 項の$k$-部$r$-一様超グラフの最大$p$-スペクトル半径は何か？
• RQ2 すべての$p > 1$に対して、完全$k$-部$r$-グラフ$T_k^r(n)$は、$k$-部$r$-グラフの族の中で$\lambda^{(p)}(G)$を一意に最大化するか？
• RQ3 すべての$p \geq 1$に対して、$n$ 項の$k$-彩色可能$3$-一様超グラフの最大$p$-スペクトル半径は何か？
• RQ4 すべての$p \geq 1$に対して、完全$k$-彩色可能$3$-グラフ$Q_k^3(n)$は、$k$-彩色可能$3$-グラフの族の中で$\lambda^{(p)}(G)$を一意に最大化するか？
• RQ5 既知の$p=1$および$p=2$に対する不等式を超えて、$\lambda^{(p)}(G)$の極値境界をさらにタイトに一般化できるか？

主な発見

• すべての$p > 1$に対して、$n$ 項の$k$-部$r$-グラフ$G$の$p$-スペクトル半径は$\lambda^{(p)}(G) < \lambda^{(p)}(T_k^r(n))$を満たし、等号が成り立つのは$G = T_k^r(n)$のときであり、ここで$T_k^r(n)$は、サイズ$\lfloor n/k\rfloor$または$\lceil n/k\rceil$の部分を持つ完全$k$-部$r$-グラフである。
• すべての$p \geq 1$に対して、$n$ 項の$k$-彩色可能$3$-グラフ$G$の$p$-スペクトル半径は$\lambda^{(p)}(G) < \lambda^{(p)}(Q_k^3(n))$を満たし、等号が成り立つのは$G = Q_k^3(n)$のときであり、ここで$Q_k^3(n)$は、バランスの取れた部分を持つ完全$k$-彩色可能$3$-グラフである。
• $p$-スペクトル半径$\lambda^{(p)}(G)$は、すべての$k$-部$r$-グラフの中で完全$k$-部超グラフ$T_k^r(n)$によって一意に最大化され、$r=3$のときの予想を確認し、一般の$r \geq 2$に拡張する。
• $k$-彩色可能$3$-グラフに対して、不等式$\lambda^{(p)}(G) \leq 3! \left(\binom{n}{3} - k\binom{n/k}{3}\right) n^{-3/p}$が成り立ち、等号が成り立つのは$G = Q_k^3(n)$かつ$k \mid n$のときである。
• $k$-彩色可能$3$-グラフの極値$p$-スペクトル半径は、$G$が$Q_k^3(n)$に同型でない限り、$Q_k^3(n)$のそれよりも厳密に小さい。これは、$p=1$のときのMubayiとTalbotの結果を、すべての$p \geq 1$に一般化する。
• 結果はタイトであり、$p=1$（ラグランジュ乗数）および$p=2$（スペクトル半径）の古典的極値結果を一般化し、すべての$p \geq 1$において完全$k$-部および完全$k$-彩色可能超グラフが一意に最大化者であることを示している。