中文

非奇二部广义幂超图的拉普拉斯张量的最大$H$-特征值与谱半径

组合数学 2017-09-07 v1

摘要

GG 为一个简单图或超图,令 A(G),L(G),Q(G)A(G),L(G),Q(G) 分别为 GG 的邻接、拉普拉斯和无符号拉普拉斯张量。L(G),Q(G)L(G),Q(G) 的最大 HH-特征值(相应地,谱半径)分别记为 λmaxL(G),λmaxQ(G)\lambda_{\max}^L(G), \lambda_{\max}^Q(G)(相应地,ρL(G),ρQ(G)\rho^L(G), \rho^Q(G))。对于连通非二部简单图 GG,有 λmaxL(G)=ρL(G)<ρQ(G)\lambda_{\max}^L(G)=\rho^L(G) < \rho^Q(G)。但对于非奇二部超图这不成立。我们通过考虑一类广义幂超图 Gk,k2G^{k,\frac{k}{2}} 来研究该问题,该类超图由简单连通图 GG 通过将 GG 的每个顶点膨胀为一个 k2\frac{k}{2}-集合并保持顶点邻接关系构造而成。假设 GG 为非二部,或等价地 Gk,k2G^{k,\frac{k}{2}} 为非奇二部。我们得到如下谱性质:(1) ρL(Gk,k2)=ρQ(Gk,k2)\rho^L(G^{k,{k \over 2}}) =\rho^Q(G^{k,{k \over 2}}) 当且仅当 kk44 的倍数;在此情形下 λmaxL(Gk,k2)<ρL(Gk,k2)\lambda_{\max}^L(G^{k,\frac{k}{2}})<\rho^L(G^{k,\frac{k}{2}})。(2) 若 k2( ⁣ ⁣ ⁣mod4)k\equiv 2 (\!\!\!\mod 4),则对充分大的 kk,有 λmaxL(Gk,k2)<ρL(Gk,k2)\lambda_{\max}^L(G^{k,\frac{k}{2}})<\rho^L(G^{k,\frac{k}{2}})。受超图 Gk,k2G^{k,\frac{k}{2}} 研究的启发,对于连通非奇二部超图 GG,我们给出了 L(G)L(G)Q(G)Q(G) 具有相同谱或 A(G)A(G) 的谱关于原对称(即 L(G)L(G)Q(G)Q(G),或 A(G)A(G)A(G)-A(G) 通过具有模 11 对角元素的复(必为非实)对角矩阵相似)的刻画。因此我们回答了 Shao 等人提出的一个问题,即对于非奇二部超图 GGL(G)L(G)Q(G)Q(G) 具有相同谱并不能推出它们具有相同的 HH-谱。

关键词

引用

@article{arxiv.1510.02178,
  title  = {The largest $H$-eigenvalue and spectral radius of Laplacian tensor of non-odd-bipartite generalized power hypergraphs},
  author = {Yi-Zheng Fan and Murad-ul-Islam Khan and Ying-Ying Tan},
  journal= {arXiv preprint arXiv:1510.02178},
  year   = {2017}
}