[论文解读] The $α$-normal labeling method for computing the $p$-spectral radii of uniform hypergraphs

Lele Liu, Linyuan Lü|arXiv (Cornell University)|Mar 16, 2018

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

一句话总结

本文将先前用于一致超图谱半径（p = r）的α-正规标记方法扩展至p ≠ r时的p-谱半径计算。通过引入带有加权关联矩阵的广义α-正规标记框架，作者推导出λ^(p)(G)关于α与超图结构的精确公式，从而实现对各类超图类中p-谱半径的新单调性、凸性及极值结果的分析。

ABSTRACT

Let $G$ be an $r$-uniform hypergraph of order $n$. For each $p\geq 1$, the $p$-spectral radius $λ^{(p)}(G)$ is defined as \[ λ^{(p)}(G):=\max_{|x_1|^p+\cdots+|x_n|^p=1} r\sum_{\{i_1,\ldots,i_r\}\in E(G)}x_{i_1}\cdots x_{i_r}. \] The $p$-spectral radius was introduced by Keevash-Lenz-Mubayi, and subsequently studied by Nikiforov in 2014. The most extensively studied case is when $p=r$, and $λ^{(r)}(G)$ is called the spectral radius of $G$. The $α$-normal labeling method, which was introduced by Lu and Man in 2014, is effective method for computing the spectral radii of uniform hypergraphs. It labels each corner of an edge by a positive number so that the sum of the corner labels at any vertex is $1$ while the product of all corner labels at any edge is $α$. Since then, this method has been used by many researchers in studying $λ^{(r)}(G)$. In this paper, we extend Lu and Man's $α$-normal labeling method to the $p$-spectral radii of uniform hypergraphs for $p e r$; and find some applications.

研究动机与目标

• 将α-正规标记方法从谱半径（p = r）推广至r-一致超图中p ≠ r时的p-谱半径。
• 建立p-谱半径与加权关联矩阵及α-正规标记之间关系的理论框架。
• 利用扩展方法推导p-谱半径的新解析结果，如单调性、凸性及紧致上界。
• 刻画超图乘积、扩展及诱导子超图的p-谱半径。
• 提供一种分析p-谱半径的理论工具，其作用类似于p = r时已确立的方法。

提出的方法

• 针对p > r，引入广义α-正规标记，其中边角标签的顶点和等于1，且边乘积等于α = λ^(p)(G)^{-p/r} · r^{p-r} / (λ^(p)(G[S]))^{p-r}（针对诱导子超图）。
• 通过加权关联矩阵B(v,e)定义一致的标记系统，使得任意环路上的标签比值为1，从而确保顶点权重定义良好。
• 构造向量x ∈ ℝⁿ₊，满足x_v = (w(e)/(rB(v,e)))^{1/p}（v ∈ e），确保||x||_p = 1，并可计算P_G(x) = λ^(p)(G)。
• 证明：对于在诱导子超图G[S_i]上一致α_i-正规的超图，有λ^(p)(G) = r^{1−r/p} · max_i {α_i^{−1/p}}。
• 针对p < r，定义α-次正规标记，其不等式条件为：∑_e∋v B(v,e) ≤ 1，且m^{r−p} ∏_{v∈e} B(v,e) ≥ α。
• 利用α-次正规标记推导λ^(p)(G)的上界：当p < r时，有λ^(p)(G) ≤ (r/m)^{1−r/p} / α^{1/p}。

实验结果

研究问题

• RQ1 如何将α-正规标记方法推广至r-一致超图中p ≠ r时的p-谱半径计算？
• RQ2 利用扩展的α-正规标记框架，可推导出p-谱半径的哪些结构性与解析性性质？
• RQ3 p-谱半径在超图运算（如乘积、扩展与诱导子超图）下的行为如何？
• RQ4 能否利用新方法在p ≠ r时建立λ^(p)(G)的单调性与凸性性质？
• RQ5 在度数与超图结构方面，λ^(p)(G)的最紧致上界是什么？

主要发现

• 对于在诱导子超图G[S_i]上一致α_i-正规的超图，p-谱半径λ^(p)(G)被精确刻画为λ^(p)(G) = r^{1−r/p} · max_i {α_i^{−1/p}}。
• 提出新的单调性结果：λ^(p)(G)在G的最大与最小度上单调，且对p > r时导出了明确的增长速率。
• 对于p > r，证明了p-谱半径在某些超图参数下具有凸性，利用α-正规标记框架证明了两个凸性定理（定理3.4与3.5）。
• 通过顶点度数推导出λ^(p)(G)的紧致上界，该结果适用于所有r-一致超图且p ≥ 1。
• 利用扩展方法精确计算了超图联接G₁ ∗ G₂与笛卡尔积G₁ × G₂的p-谱半径（定理3.6与3.7）。
• 通过α-正规标记方法刻画了超图扩展的p-谱半径，给出了定理3.8中的计算公式。