1. 引言
符号模式矩阵主要通过实矩阵的元素符号来研究实矩阵具有的仅与其元素的符号有关而与元素的数量大小无关的组合性质,它是组合矩阵论的一个重要问题。C. Eschenbach [1] 于1987年引入并研究了符号模式允许和要求某种性质。2016年,S. Kirkland、P. Qiao和X.Z. Zhan [2] 引入并研究了代数正矩阵。同时,他们首次提出了符号模式矩阵要求代数正和允许代数正这两个重要问题。2019年,J.L. Abagat [3] 等讨论了3阶不可约符号模式矩阵,分别给出了符号模式矩阵要求代数正、允许代数正非要求代数正以及非允许代数正的刻画。2022年,A. Biswas和S. Kundu [4] 从三阶零对角的对称符号模式矩阵出发,对所有3阶对称符号模式矩阵要求代数正进行了刻画。同年,S. Das [5] 给出了符号模式矩阵允许代数正的充分条件以及从低阶构造高阶代数正矩阵的方法。
本文考虑3阶零对角组合对称符号模式矩阵,研究其是否允许代数正以及要求代数正。分别给出3阶零对角组合对称符号模式矩阵不是允许代数正、允许代数正非要求代数正以及要求代数正的刻画。
符号模式矩阵(简称符号模式)是指所有元素都来自集合
的矩阵。任意实矩阵
,以
的符号为元素构成的符号模式矩阵称为A的符号模式矩阵。
表示与符号模式矩阵A具有相同符号的实矩阵构成的集合。设符号模式矩阵A具有性质P,若
中每一个矩阵都有性质P,则称符号模式矩阵A要求P。若
中存在一个矩阵具有性质P,则称符号模式矩阵A允许P。
2. 预备知识
以下是本文用到的基本概念以及相关结论。
定义1 [2] 设A是实方阵,如果存在一个实系数多项式
,使得
是一个正矩阵,则称A是代数正矩阵。
定义2 设A是n阶矩阵(符号模式矩阵),若存在置换矩阵P使得
其中
是阶数小于n的方阵,则称A为可约的。否则,称A是不可约矩阵(不可约符号模式矩阵)。
定义3 [4] 如果矩阵A的对角线上的所有元素都为0,那么A称为零对角矩阵。
定义4 设
是n阶符号模式矩阵,若
,则称A为组合对称符号模式矩阵。
定义5 设A是n阶符号模式矩阵,若
,则称A为对称符号模式矩阵。
引理1 [2] 设A是n阶实矩阵,A是代数正矩阵当且仅当存在一个次数小于等于
的实系数多项式
,使得
。
引理2 [2] 如果A是一个不可约的实矩阵,并且非对角线上的元素都是非负的(或非正的),那么A是代数正的。
引理3 [2] 如果一个符号模式矩阵允许代数正,那么它的每行和每列都包含+,或者它的每行每列都包含−。
根据文献 [2] 中的引理6,可得:
引理4 允许代数正的符号模式矩阵都不可约。
引理5 [3] 如果A是代数正矩阵,那么下列矩阵也是代数正矩阵:
1)
;
2)
;
3)
对于任意置换矩阵P;
4)
是代数正的,其中
。
引理6 [4] 一个实对称矩阵是代数正的当且仅当它有一个单特征值以及对应正的右特征向量。
引理7 [6] 设A是一个n阶方阵,那么A是不可约的当且仅当它的有向图
是强连通的。
引理8 [7] 设A是不可约符号模式矩阵,若A中除对角线以外的非零元符号都相同,则A要求代数正。
在本文中,矩阵A的第i行j列元素用
来表示,且研究的矩阵都是实方阵。
3. 主要结论
设3阶零对角组合对称符号模式矩阵
,其中
。
若
全为零,则A为零矩阵;若
中两个为零,则A可约。由引理4可知,A不是允许代数正。因此,下面考虑
中至多含有一个零。
(一) 若
中含有一个零,则
的取值为:
,
,
,
,
,
,
,
,
,
,
,
。
根据引理5,只需考虑
,
两种情况。
① 当
时,因为
,所以
强连通。由引理7可知,A不可约。再根据引理8,A要求代数正。
② 当
时,由引理3可知,A不是允许代数正。
(二) 若
都不为零,则由于A是零对角组合对称符号模式矩阵,故
中也全不为零。下面分别考虑符号模式矩阵A对称与不对称两种情况。
1) 若A对称,则只需考虑
的取值,故
的取值为
,
,
,
,
,
,
,
。
根据引理5,只需考虑
,
这两种情况。
① 当
时,因为
,所以
强连通。由引理7可知,A不可约,再根据引理8,A要求代数正。
② 当
时,
i)
中存在实矩阵
,
具有单特征值
以及对应的右的正特征向量
,故由引理6可知,
是代数正矩阵,所以A允许代数正。
ii)
中存在实矩阵
,
存在单特征值−2,但对应的右特征向量不是正的。由引理6可知,
不是代数正矩阵,故A不是要求代数正。
2) 若A不对称,则根据引理5,只需考虑
的取值为
,
,
,
即可。
a) 若
为
,则
的取值为:
,
,
,
,
,
,
。
根据引理5,只需考虑
的取值为
,
,
,
这四种情况。
① 若
,则
i)
中存在实矩阵
,
具有单特征值
以及对应的右的正特征向量
,故由引理6可知,
是代数正矩阵,所以A允许代数正。
ii)
中存在实矩阵
,
存在单特征值
,但对应的右特征向量都不是正的,由引理6可知,
不是代数正矩阵,故A不是要求代数正。
② 若
,则由引理3可知,A不是允许代数正。
③ 若
,则由引理3可知,A不是允许代数正。
④ 若
,则
i)
中存在实矩阵
,
具有单特征值2以及对应的右的正特征向量
,故由引理6可知,
是代数正矩阵,所以A允许代数正。
ii)
中存在实矩阵
,
存在单特征值
,但对应的右特征向量都是不是正的,由引理6可知,
不是代数正矩阵,故A不是要求代数正。
b) 若
为
,则
的取值为:
,
,
,
,
,
,
。
根据引理5,只需考虑
这种情况。
若
,则由引理3可知,A不是允许代数正。
c) 若
为
,则
的取值为:
,
,
,
,
,
,
。
根据引理5,只需考虑
这种情况。
若
,与(b)中情况置换相似,则由引理5可知,A也不是允许代数正。
d) 若
为
,则
的取值为:
,
,
,
,
,
,
。
根据引理5,只需考虑
这种情况。
若
,则
中任取实矩阵
,
其中
均为正实数,存在实系数多项式
,使得
,其中
,
充分大,
。
因此由引理1知,A要求代数正。
以下是本文的主要定理:
定理1 设A是3阶零对角组合对称符号模式矩阵,A允许但不要求代数正当且仅当A或−A置换相似于
中的符号模式矩阵
。
定理2 设A是3阶零对角组合对称符号模式矩阵,A要求代数正当且仅当A或−A置换相似于
中的符号模式矩阵
。
4. 结论
本文主要通过对3阶零对角组合对称符号模式矩阵的研究,分别给出3阶零对角组合对称符号模式矩阵不是允许代数正、允许代数正以及要求代数正的等价条件。在此基础之上,给出3阶零对角组合对称符号模式矩阵允许代数正且要求代数正的充分必要条件。本文对于研究其它类型的符号模式矩阵的允许代数正和要求代数正具有借鉴意义。
基金项目
辽宁省教育厅自然科学研究青年项目(LQ2020021)。