[论文解读] 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$-谱半径的极值问题，推广先前关于拉格朗日乘子与谱半径的研究。
• 建立 $p$-谱半径的紧致上界，且该上界仅在完全 $k$-分部与完全 $k$-色超图时取得。

提出的方法

• 将 $p$-谱半径 $\lambda^{(p)}(G)$ 定义为在 $\ell^p$-单位球面上多元形式 $P_G(\mathbf{x})$ 的最大值。
• 使用拉格朗日乘数法与对称性论证，证明当顶点集大小尽可能相等时，最大值被实现。
• 应用幂平均不等式，以界定谱形式中单项式项的 $p$-范数。
• 利用函数 $f(x) = \binom{x}{r}$ 在 $x > r-1$ 时的凸性，以界定 $k$-色超图中的边数。
• 证明在极值界限中等号成立当且仅当超图为完全 $k$-分部或完全 $k$-色且各部分平衡的超图。
• 通过特征值与特征向量分析，关联 $\lambda^{(1)}(G)$ 与 $\lambda^{(p)}(G)$，并利用插值与 Hölder 型不等式推导界限。

实验结果

研究问题

• 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 $\lambda^{(p)}(G)$ 的极值界限是否可进一步收紧并推广至已知的 $p=1$ 与 $p=2$ 不等式之外？

主要发现

• 对于每个 $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)$，即各部分平衡的完全 $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$-谱半径严格小于 $Q_k^3(n)$ 的值，除非 $G$ 同构于 $Q_k^3(n)$，这推广了 Mubayi 与 Talbot 在 $p=1$ 时的结果至所有 $p \geq 1$。
• 结果是紧致的，并推广了经典极值结果：$p=1$（拉格朗日乘子）与 $p=2$（谱半径）的情形，表明完全 $k$-分部与 $k$-色超图在所有 $p \geq 1$ 下均为唯一最大化者。