[论文解读] The extremal spectral radii of $k$-uniform supertrees

Honghai Li, Jia‐Yu Shao+1 more|arXiv (Cornell University)|May 28, 2014

Tensor decomposition and applications参考文献 16被引用 17

一句话总结

本文利用超图扰动技术研究了 $k$-uniform 超树的极值谱半径。证明了在所有 $n$ 个顶点的 $k$-uniform 超树中，超星形 $\mathcal{S}_{n,k}$ 唯一地最大化邻接、无符号拉普拉斯和关联 $Q$-谱半径，而松散路径 $\mathcal{P}_{n,k}$ 唯一地最小化 $k$-次幂超树的谱半径。

ABSTRACT

In this paper, we study some extremal problems of three kinds of spectral radii of $k$-uniform hypergraphs (the adjacency spectral radius, the signless Laplacian spectral radius and the incidence $Q$-spectral radius). We call a connected and acyclic $k$-uniform hypergraph a supertree. We introduce the operation of "moving edges" for hypergraphs, together with the two special cases of this operation: the edge-releasing operation and the total grafting operation. By studying the perturbation of these kinds of spectral radii of hypergraphs under these operations, we prove that for all these three kinds of spectral radii, the hyperstar $\mathcal{S}_{n,k}$ attains uniquely the maximum spectral radius among all $k$-uniform supertrees on $n$ vertices. We also determine the unique $k$-uniform supertree on $n$ vertices with the second largest spectral radius (for these three kinds of spectral radii). We also prove that for all these three kinds of spectral radii, the loose path $\mathcal{P}_{n,k}$ attains uniquely the minimum spectral radius among all $k$-th power hypertrees of $n$ vertices. Some bounds on the incidence $Q$-spectral radius are given. The relation between the incidence $Q$-spectral radius and the spectral radius of the matrix product of the incidence matrix and its transpose is discussed.

研究动机与目标

• 确定使三种谱半径（邻接、无符号拉普拉斯和关联 $Q$-谱半径）取极值的 $k$-uniform 超树。
• 在 $k$-uniform 超树和 $k$-次幂超树中确立极值结构——超星形与松散路径。
• 开发并应用扰动操作（边释放与整体嫁接）以分析结构修改下谱半径的变化。
• 推导关联 $Q$-谱半径的界，并阐明其与矩阵积 $RR^T$ 的谱半径之间的关系。

提出的方法

• 引入了‘移动边’操作作为通用框架，包含两个特例：边释放与整体嫁接。
• 证明边释放与逆向整体嫁接操作严格增加所有三种谱半径，从而实现极值结构的识别。
• 使用张量特征值理论，包括邻接、无符号拉普拉斯和关联 $Q$-张量，分析谱半径。
• 应用 Jensen 不等式与 H"older 型不等式，推导关联 $Q$-谱半径的界。
• 建立了谱半径关系：$\rho(RR^T) < \rho(\mathcal{Q}^*) < k^{k-2}\rho(RR^T)$，将矩阵与张量的谱半径联系起来。
• 利用非负不可约性与非负张量的 Perron-Frobenius 理论分析特征向量及等式成立条件。

实验结果

研究问题

• RQ1 哪个 $k$-uniform 超树使邻接、无符号拉普拉斯和关联 $Q$-谱半径最大？
• RQ2 对于这三种谱半径，所有 $k$-uniform 超树中谱半径第二大的超树是哪一个？
• RQ3 在所有 $k$-次幂超树中，哪个超树使谱半径最小？
• RQ4 关联 $Q$-张量的谱半径与矩阵积 $RR^T$ 的谱半径之间有何关系？
• RQ5 在 $k$-uniform 超图中，关联 $Q$-谱半径的紧上界与下界是什么？

主要发现

• 在所有 $n$ 个顶点的 $k$-uniform 超树中，超星形 $\mathcal{S}_{n,k}$ 唯一地达到三种谱半径的最大值。
• 在所有 $n$ 个顶点的 $k$-次幂超树中，松散路径 $\mathcal{P}_{n,k}$ 唯一地达到三种谱半径的最小值。
• 对于关联 $Q$-谱半径，有界 $\rho(\mathcal{Q}^*) \leq k^{k-1}\Delta$ 成立，且等号成立当且仅当超图是 $\Delta$-正则的。
• 关联 $Q$-张量的谱半径满足 $\rho(RR^T) < \rho(\mathcal{Q}^*) < k^{k-2}\rho(RR^T)$，提供了与矩阵积谱半径的紧密比较。
• 边释放操作与逆向整体嫁接操作均严格增加所有三种谱半径，从而实现对极值结构的刻画。
• 超星形是三种谱半径的唯一最大值点，松散路径是唯一最小值点，表明在极值超图谱论中存在结构上的普遍性。