一类四元数矩阵保左特征值的线性映射条件

设Q表示四元数集合,Mn(Q)表示n×n四元数矩阵的集合.若M、N∈Mn(Q)分别是下三角可逆四元数矩阵且φ(A)=MAN,证明了对于任意下三角四元数矩阵A∈Mn(Q),如果φ(A)与A具有相同的左特征值,当且仅当M、N和A中的元素mss,nss和ass的虚部对应成比例,且mssnss=1,或虚部对应为零.     

两类Stirling数和Bernoulli数的统一表示

该文获得了两类Stirling数S（n，m）和Bernoulli数Bm的统一表示公式：其中A（m，1）＝（2m－1）!!，A（m，m）＝m!，A（m，k）＝0（k≤0或k＞m）A（m＋1，k）＝（2m＋2－k）（A（m，k）＋A（m，k－1）（1≤k≤m）     

扩张映射的带有收敛速度的高维中心极限定理

摘要：设M是紧致连通的光滑的黎曼流形，X∪→U∪→M，T：X→X上的扩张映射，g是X上的Holder连续函数，m是g的平衡态，假设f：X→R^d，其每个分量fi是Holder连续函数，且∫Xfidm=0。如果f是每个分量fi是上同调不相关的，那么存在一个正定对称矩阵σ^2，使得f^n/√n=f＋f。T＋…＋f。T^n-1/√n关于m依分布收敛于期望向量为0、协方差矩阵为σ^2的n维Gauss随机变量，进一步，存在一个实数A〉0使得，对任意整数n≥1，有不等式 П（m＊（f^n/√n）,N（0,σ^2）≤A/√n，其中，m＊（f^n/√n）表示f^n/√n关于m的分布，П（＊，＊）是Prokhorov度量。     

两个谱任意模式

设λ1,λ2,...,λn(可以相同)为实矩阵A的所有特征值,记为σ(A)=(λ1,λ2,...,λn).n阶符号模式矩阵S=(sij)是指元素取自{ ,-,0}的矩阵,S的定性矩阵类是指集合Q(S)={A=(aij)∈M\{n\}(R):对所有的i和j,sign(aij)=sij},记σ(S)={σ(A):A∈Q(S)}.设S为n阶符号模式矩阵,λ1,λ2,…,λn为n个任意复数,若λ1,λ2,…,λn中的虚数都与其共轭复数成对出现时,便存在A∈Q(S),使得σ(A)=(λ1,λ2,…,λn),则称S为谱任意模式.在本文中,我们得到两个谱任意模式.     

HAMILTON图的特征矩阵

讨论了Hamilton图G和它的邻接矩阵A之间的关系，得到如下结果定理1：图G是H－图当且仅当A＝B＋Q，这里B≥0且B≠0，Q＝PCP，C是由互换单矩阵中的第1行和第n行所得到的初等阵，P是置换阵，P是P的转置矩阵，定理：图G是H－图当且仅当A的谱半径ρ（A）是A的单根，且存在正特征向量ξ，使得Aξ＝ρ（A）ξ＞η，这里η是适当调整ξ的分量而得到的向量，满足：当ξ的第i个分量调为η的第j个分量时，A的（i,j)元aij=1.     

四元数方程AXB+CYD=E通解中复矩阵分量极秩

借助四元数矩阵的复表示方式Φ(·),将四元数体上的线性矩阵方程AXB+CYD=E转换为复数域上的等价复矩阵方程Φ(A)XΦ(B)+Φ(C)Y~Φ(D)=Φ(E).同时,利用该复矩阵方程的通解和分块矩阵的极秩性质,求出原四元数矩阵方程通解中复矩阵分量集{X_0}、{X_1}、{Y_0}和{Y_1}的最大秩、最小秩公式.作为这些极秩公式的应用,推导出了该四元数矩阵方程通解中包含复矩阵解或全为复矩阵解的充要条件.     

两图同谱的邻接矩阵迹判别法

证明了下列定理：设A、B分别为困G1＝（V1,E1）与G2=（V2,E2）的邻各矩阵,且V1＝V2＝n,则留G1和G2同语的充分必要条件是tr（Ak）＝tr（Bk）,k＝l,2,…,n。     

四元数矩阵方程AXB=C通解中的复矩阵分量极秩

借助四元数矩阵的复表示方式Φ(·),将四元数体上的线性矩阵方程AXB=C转换为复数域上的等价复矩阵方程Φ(A)X～Φ(B)=Φ(C).同时,利用该复矩阵方程的通解和分块矩阵的极秩性质,求出原四元数矩阵方程通解中复矩阵分量集{X_0}和{X_1}的最大秩、最小秩公式.作为这些极秩公式的应用,推导出了该四元数矩阵方程通解中包含复矩阵解或全为复矩阵解的充要条件.     

标准算子代数的T-导子

设A为一代数，M为A－双模，线性映射，δ：A→M称为T－导子，是指对于任意，A，B∈A，使δ（AB）＝δ（A）T（B）＋T（A）δ（B）成立，该文研究了T－导子的性质，得出如下主要结论：（1）设A为标准算子代数，线性映射δ：A→A 满足δ（P）＝δ（P）T（P）＋T（P）δ（P），AP∈A，称为幂等元，则δ为T－导子；（2）设A是一个投影代数，M是一个BanachA一模，则A到M的任一范数连续的T－局部导子是T－导子。     

图拟拉普拉斯矩阵的特征值

G为有限无向简单图，A（G），D（G）分别表示G的邻接矩阵和度对角矩阵。Q（G）＝D（G）＋A（G）称为图G的拟拉普拉斯矩阵，它是谱图论的研究对象。本利用G的顶点数，边数，最大度和最小度给出Q（G）的最大特征值和最小特征值的界的估计。     

半参数回归模型的误差方差估计的注记

考虑半参数回归模型yi＝xiβ＋g（ti）＋ei，1≤i≤n，g为R上未知函数，σo＝D（e1）．建立了D（e1）的估计量Sn，并在适当的条件下证明了Sn依概率收敛于D（e1）以及n（σn－σo）／Sn依分布收敛于标准正态、后一结果可直接用于构造σ2的大样本区间估计或对σ2进行大样本检验等．     

关于矩阵条件数的一些结论

本文讨论了一些矩阵范数达到极小的充要条件,其主要结果如下: 1.设A为m×n实矩阵,且具有n个线性无关的列,则求A广义逆谱条件数等于1的充要条件为A~TA=cI,其中c为正常数。 2.设A为n阶非异实矩阵,则矩阵A的求逆p-范数条件数等于1的充要条件为A=cpσ,其中c为正常数,σ是置换阵,其对角元都等于 1或-1。 3.设A为n阶非异实矩阵,则矩阵A的求逆F-范数条件数等于1的充要条件为A=cU,其中c为正常数,U为正交阵。     

Q((-43)~(1/2))上的正定厄米特型的分类(英文)

设D为Q（■）上的整数环，Cn,△n为D上判别式为△n的n元正定厄米特型的类数，本文应用厄米简化理论，给出了m＝2，1≤△n≤5和n＝3，△n＝1的厄米特型的类数，同时也给出了各类的代表型。     

Φ—容忍 链图与强弦图

设二元对称函数Φ（ｘ，ｙ）＝ａσ（ｘ，ｙ）＋ｂδ（ｘ，ｙ），这里ａ，ｂ∈Ｒ，σ（ｘ，ｙ）＝ｘ＋ｙ，δ（ｘ，ｙ）＝｜ｘ－ｙ｜，Ｊａｃｏｂｓｏｎ等引入Φ－容忍链图的概念。本文证明了当｜ｂ｜＜ａ时，Φ－容忍链图是强弦图，并且考查了Φ－容忍链图的禁用子图。     

雅谷比多项式的一个性质

本文利用群su(2)的既约酉表示Ti(u)的矩阵元素tmx^1(u)的某些性质，推出了雅谷比（Jacobi)多项式的一个性质，结果如下：l∑K=-lctg2kθ/2/(l-k)1(l k)l[pξ－k,k)(cosθ）]^2＝1/(l1)^2其中l为非负整数。0＜θ＜n。     

四元数体上行列式的定义和Cramer解式

四元数体Q上的矩阵理论目前尚处于发展的初期,若干基本问题有待解决。本文给出了Q上的行列式新定义如下: 设A=(α(?),)(?)×(?),α(?),∈Q, (?) 基中S_(?)是n阶对称群,σ的循环分解是     

具非负Ricci曲率流形上的线性增长的调和函数

设M是Ricci曲率非负的完备黎曼流形,U表示M上的线性增长的调和函数所构成的线性空间,得到U的维数的最佳话计是 dim U≤l 1≤2n 2其中l是M的端的个数,n=dim M.这个结果部分地解决了丘成桐的猜测。     

惯量任意的符号模式

矩阵A的特征值的集合(含重数)记为σ(A),A的惯量是指三元有序数组i(A)=(i (A),i-(A),i0(A)),其中i (A),i-(A)和i0(A)分别表示具有正,负,零实部特征值的个数.n阶符号模式矩阵S=(sij)是指元素取自{1,-1,0}或者{ ,-,0}的矩阵,S的定性矩阵类是指集合Q(S)={A=(aij)∈Mn(R):对所有的i和j,sign(aij)=sij}.S的惯量是指集合i(S)={i(A):A∈Q(S)}.若对任意满足n1 n2 n3=n的非负三元数组(n1,n2,n3),都有(n1,n2,n3)∈i(S),则称符号模式S为惯量任意模式.考虑n阶符号模式Kn=(kij)n×n:当1≤j-i≤n-2或i=j=n时,kij=1;当1≤i-j≤n-2或i=j=1时,kij=-1;当|i-j|=n-1时,kij可以取任意固定值;其余情形时,kij=0.本文证明了Kn(n≥3)是惯量任意模式.     

Lurie型鲁棒控制系统的绝对稳定性

在实数Ｒ上一切闭区间组成的集合和区间矩阵的集中中引进了代数运算，讨论了Ｌｕｒｉｅ型直接鲁棒控制系统ｘ＝Ｇ「Ｂ，Ｃ」ｘ＋Ｇ「Ｒ，Ｓ」ｆ（σ）；σ＝ｃ＾Ｔｘ，ｆ（．）∈Ｋ「０，∞」和间接鲁棒控制系统ｘ＝Ｇ「Ｂ，Ｃ」ｘ＋Ｇ「Ｒ，Ｓ」ｆ（σ）；σ＝ｃ＾Ｔｘ－．ｆ（．）∈Ｋ「０，∞」display structure     

矩阵乘积与数值域性质的推广

设A为一个n×n矩阵,σ(A),W(A)分别表示A的谱集和数值域.若对任意n×n酉矩阵U有σ(AU)■W(A)W(U),那么A为数乘半正定矩阵,从而改进和推广了一些相关的结果.