不含三圈的k圈图的拟拉普拉斯和拉普拉斯谱半径.pdf

高校应用数学学报 2014，29(3)：295—302 不含三圈的 圈图的拟拉普拉斯 和拉普拉斯谱半径 何春阳 ，一，郭曙光 (1．青海师范大学 数学系，青海西宁810008； 2．盐城师范学院数学科学学院，江苏盐城 224002) 摘 要：k圈图是边数等于顶点数加 一1的简单连通图．文中确定了不含三 圈的k圈图 的拟拉普拉斯谱半径的上界，并刻画了达到该上界的极图．此外，文中确定了拟拉普 拉斯谱半径排在前五位的不含三 圈的单圈图，排在前八位的不合三圈的双圈图．最后 说明文中所得结论对不含三圈的k圈图的拉普拉斯谱半径也成立． 关键词：k圈图；不含三圈；拟拉普拉斯谱半径；拉普拉斯谱半径；单圈图；双圈图 中图分类号：O157 文献标识码：A 文章编号：1000—4424(2014)03—0295—08 §1 引 言 本文所考虑的图都是有限无向简单图．设G= (E)~--个n阶图， (G)和D(G)分别表 示图G的邻接矩阵和度对角矩阵，L(G)=D(a)一 (G)称为图G的拉普拉斯矩阵，Q(G)= D(G)+A(G)称为图G的拟拉普拉斯矩阵．因为A(G)，L(G)~iiQ(G)都是实对称的，从而它们的 特征根都是实数． (G)，L(G)$IIQ(G)的最大特征根分别称为图G的谱半径，拉普拉斯谱半径和 拟拉普拉斯谱半径，分别记为p(G)，(G)和q(G)． 对于一个给定的图的集合，确定该集合中图的谱半径的上界，并刻画达到该上界的图．这 是Brualdi和Solheid在文fl1中提出的关于图谱半径的一个问题．此后，这个 问题被广泛的研究，并 被移植到图的拉普拉斯谱半径和拟拉普拉斯谱半径中，至今仍为图谱研究的热点． 经典极值图论的一个 中心问题是Tur~n型问题：“给定一个图F，设G是一个不含子图与 图F同构的n阶图，那么图G的边数至多是多少? ”最近，Nikiforov等人研究了谱Tur~n型问 题：“给定一个图F，设G是一个不含子图与图F同构的n阶图，那么 图G的谱半径至多是多少?” 当图F为n阶完全图 ，路，圈等图时，他们分别确定了图G的最大谱半径和相应的极图，详见他 们的综述论文f21．近期研究发现图的拟拉普拉斯特征值与图的结构联系更加紧密，因而受到 人们的广泛关注，详见f31．2013年，Nikiforov等人在文4『]中又提出了拟拉普拉斯谱Turin型问 收稿 日期：2014-04-08 修回日期：2014—07-20 基金项目：国家自然科学基金(111712901 高校 应 用数 学 学 报 第29卷第3期 题：“给定一个图F，设G是一个不含子图与图F同构的n阶图，那么图G的拟拉普拉斯谱半径至多 是多少?”同年，对图F为圈 ， ，路时，他们分别给 出了拟拉普拉斯谱Tur~n型问题的解，详 见文f4，51以及这些论文后面的参考文献． 边数等于顶点数加后一1的简单连通图G称为k圈图．当k=0，1，2时，G分别为树，单圈图 和双圈图，它们的谱半径，拉普拉斯谱半径和拟拉普拉斯谱半径己被广泛的研究．例如，刘木 伙f61在所有具有k个悬挂点的n阶c圈图中分别确定了拉普拉斯谱半径和拟拉普拉斯谱半径达到 最大的图，推广了已有的关于树，单圈图，双圈图，三圈图相关的结果． 受上述问题和结果的启发，本文研究不含三圈的凫圈图的拉普拉斯和拟拉普拉斯谱半径，确 定了不含三圈的k圈图的拟拉普拉斯谱半径的上界，并刻画了达到上界的极图．此外，本文还确 定了拟拉普拉斯谱半径排在前五位的不含三圈的单圈图，排在前八位的不含三圈的双圈图．最 后说明本文所得结论对不含三圈的 圈图的拉普拉斯谱半径也成立． §2记号和引理 设G ： (E)是一个n阶图，其顶点集为V=v(v)= Vl，… ， }，边集为E=E(G)． 设ⅣG()为G中所有与 相邻的顶点的集合．称IⅣG()I为顶点的度，并记为d()，图G的最大度 记为△(G)．G—UV表示从G中删去边UV∈E(G)所得的图，类似地G+u表示在G中添加一条