1. 引言
本文涉及到的符号及术语均参考文献 [1]。本文我们仅考虑具有顶点集
和边集
的有限简单无向图,使得
且
。顶点
的度用
表示,
表示G的顶点的最小度数。对于子集
,
表示图G的由集合S导出的子图。
表示图G删去顶点集合S后的子图。对于两个顶点不相交的图G和H,
表示G和H的并,
表示G和H的连接,连接是指在
的基础上在G和H之间添加所有可能的边获得。团
是一个以集合C为顶点的完全图。
图G的邻接矩阵表示为
,当顶点
与
邻接时,
;否则
。
表示图G的度对角矩阵。图G的无符号拉普拉斯矩阵
。
最大的特征根用
表示,这也被称为图G的无符号拉普拉斯谱半径。
图中的匹配是一组没有公共顶点的边;图G匹配数是所有匹配中最大的边数,记为
。G中的完美匹配是覆盖所有顶点的匹配。图G的分数完美匹配是一个函数f,给每条边从[0, 1]中赋值,使得对于任意的
均有
,其中
邻接于顶点v的所有边的集合。图G的分数匹配数,记作
,是所有分数匹配f中
的最大值。
对于任意图G中分数完全匹配的存在性,Tutte首先提供了关于奇连通分支的充分必要条件 [2]。受Tutte 1-因子定理的启发,许多研究人员开始研究特征值与图中是否存在完美匹配之间的关系。例如,Chang在2003年分别研究了具有完美匹配的树和单环图的最大特征值 [3] [4]。不久之后,Brouwer和Haemers根据拉普拉斯矩阵的特征值发现了图中存在完美匹配的充分条件 [5]。2005年,Cioabă [6] 改进了Brouwer和Haemers的结果。此外,Cioabă等人给出了第三大特征值的上限 [7],以确保图G在n为偶数时存在完美匹配,在n为奇数时存在一个大小为
的匹配,其中G是连通的r-正则图。2016年,O研究了图中的谱半径和分数匹配之间的关系 [8]。最近,O建立了谱半径和一般图中的匹配数之间的联系 [9]。Pan等人在2020年进一步研究了图中的分数匹配 [10]。Liu等人结合文献 [9],建立了无符号拉普拉斯谱半径和完美匹配之间的一些性质 [11]。作为上述这些结果的延伸,本文我们研究了无符号拉普拉斯谱的下界,以确保图G中存在分数完美匹配。
图的分数完美匹配理论广泛应用于网络设计、组合拓扑、设计决策列表等多个研究领域。例如,在通信网络中,如果我们允许将大数据进行拆分成多个小数据包在网络上传输,这些小数据包将通过不同的路径传输到不同的目标节点。那么这种方法将有效地提高传输效率。这种有效可行的数据包分配问题就是找到满足某些特殊条件的部分完美匹配。
2. 预备知识
定义1 [12] 令M为
阶的实对称矩阵,其行和列由
所表示,其中
是关于顶点
的一个划分。
其行和列被划分为
。商矩阵R是
阶矩阵,其各位置元素是M的块
的平均行和。如果M的每个块
具有恒定的行总和,则划分是公平的,此时称R为等商矩阵。
引理1 [13] 图G包含一个分数完美匹配当且仅当对于任意顶点子集
,有
成立,其中
表示图
中孤立点的数目。
引理2 [14] 令R为对应于给定划分的对称矩阵M的商矩阵。则R的特征值与M的特征值交错。如果交错紧密,则划分是公平的。
引理3 [15] 令M为划分公平矩阵,R为其等商矩阵。那么商矩阵R的特征值就是M的特征值。另外,如果M是一个非负矩阵,那么商矩阵R的谱半径等于M的谱半径。
令
,
,定义
,如果对于任意的
有
;
,如果对于任意的
有
。
引理4 [16] 令
,
是两个谱半径分别为
、
的矩阵。如果
,
则
。更进一步,如果
,则
。
定理1 令G为n顶点连通图。对于
,如果
,其中
为方程
的最大根,则G具有分数完美匹配。
定理2 如果G是一个n顶点连通图,当
时,图G包含一个分数完美匹配。
3. 定理1的证明
在本节中,我们将使用商矩阵的相关性质和分数Tutte 1-因子定理来证明定理1。
证明假设图G不含有分数完美匹配,根据引理1,存在一个顶点子集
,使得
。令
,则
。
第一步,我们通过以下步骤在图G的基础上构造图
:1) 在S的所有分支中添加边,使得
成为一个团;2) 分别将
和S中每个分支中的所有孤立顶点做连接。需要指出的是,我们将孤立顶点也视为一个分支。
令
为顶
的划分,且
。因此
。其中
,
。由引理4知
。
对应的商矩阵
为
通过计算,我们可以得到
的特征多项式,即:
结合引理2,有
,其中
是方程
的最大根。
第二步,我们考虑一个新的图
,它是通过以下方式从
得到的:1) 删除
中的一个顶点,并在
中添加一个顶点,然后我们得到两个新的分支
和
;2) 添加边使得
变成团;3) 连接
和S。
显然,
,
。需要指出
和
均为团。利用新的划分
,得到关于
的商矩阵
:
通过计算,我们可以得到
的特征多项式,即:
将
的值代入
,由于
,那么我们有
,这意味着
,其中
是
的最大根。由于
是
的等商矩阵,因此
。
根据上述过程,我们可以得知当
,
时,图
存在最大的谱半径。由此,利用图
中新的划分
,得到关于
的商矩阵
:
通过计算,我们可以很容易得到
的特征多项式为:
。
接下来,我们通过以下方式从
中构造一个新图
:1) 删除一个分支
,并在
中添加一个顶点,然后我们到一个新分支
;2) 添加边以使
成为团;3) 连接
和S。这里
以及
是团,且
只有k个分支。类似的,
的商矩阵
:
其特征多项式为:
令
是
的最大根。因此
。
这意味着
,其中
是
的最大根。易知
。
根据上述过程,我们可以得知当
时图
存在最大的谱半径。由此,利用图
中新的划分
,得到关于
的商矩阵
:
通过计算,我们可以很容易得到
的特征多项式为:
类似于Zhao等人在文献 [17] 中的方法可知当
时便有我们的定理1成立。
4. 定理2的证明
根据定理1的证明过程,我们可以使用极值图
来保证就图的边数而言的分数完美匹配的存在性。
证明假设图G不含有分数完美匹配,根据引理1,存在一个顶点子集
,使得
。令
,则
。
为了找到最大的无符号拉普拉斯谱半径,我们在图G的基础上通过如下步骤构造图
:1) 在S的所有分支中添加边,使得
成为一个团;2) 分别将
和S中每个分支中的所有孤立顶点做连接。因此有
。
令
为
的分支,使得
。我们通过在
的基础上删除
中的一个顶点,在
中增加一个顶点,并与分支
和S做连接,使得
和
是团。然后我们有
这意味着当
(或者
)时,
有最大的边数。
需要指出
,其中
。我们将
与
中的边数作对比,即有:
当
时,有
,因此结论得证。
NOTES
*通讯作者。