有限几何与BIB设计的构作(Ⅱ)——利用Hermite矩阵、交错矩阵与对称矩阵构作BIB设计

在本文中,我们利用有限域上非奇异Her-mite 矩阵、交错矩阵与对称矩阵的等同类或等价类作为区组构作BIB 设计.设q 为素数幂,F_q~2为q~2阶有限域.设H 为F_q~2上n×n 非奇异Hermite 矩阵,P 为V_n(F_q~2)的一个m 维子空间.我们用同一符号P 表示代     

表辛矩阵为辛平延之积

一、引言设K为一域,F为K上的一个n×n非奇异交错矩阵。从F的非奇异性可知n=2m为一偶数。K上的n×n矩阵P称为关于F的一个辛矩阵,如果PFP′=F成立。关于F的所有辛矩阵组成一个群,称为域K上由F定义的n级辛群,记作S_(p_(zm))(K,F)。设T为K(上的一个n×     

有限酉几何与PBIB设计(Ⅰ)

设q为素数幂,F_q~2为有q~2个元素的有限域。F_q~2上满足T(?)′=I~(n)的n阶方阵T全体对于矩阵的乘法构成一个群,叫做F_q~2上的n级酉群,记作U_n(F_q~2)。用V_n(F_q~2)表示F_q~2上的n维向量空间。当把U_n(F_q~2)看作V_n(F_q~2)上的变     

Wielandt不等式的矩阵形式及其统计应用

设A为n×n正定Hermite阵 ,X和Y分别为n×p和n×q的矩阵 ( p + q≤n) ,满足X Y =0 .证明了如下不等式 :X AY(Y AY) -Y AX ≤ λ1-λnλ1+λn2 X AX ,这里 ,M-表示M的广义逆 .λ1和λn 分别为A的最大和最小特征根 .这个不等式是著名的Wieldandt不等式的矩阵形式 .利用此不等式 ,得到关于协方差矩阵、典则相关系数以及复相关系数的一些有意义的不等式 .     

整环上矩阵列的可实现性

1.近十年来交换环上线性系统理论的研究不断发展(详见文献[1])。其中一个重要理论问题是可实现性问题。设R是交换环,{A_i}是R上的p×m维矩阵列。{A_i}称为R可实现,如果存在R上的矩阵组Σ=(F,G,H),其中F:n×n,G:n×m,H:p×n,使得A_i=HF~(i-1)G,i=1,2,….此时Σ=(F,G,H)即称为{A_i}的R实现。所谓{A_i}的可实现问题即是寻求判别{A_i}R可实现的条件。     

广义循环布尔矩阵半群的极大子群

本文所讨论的矩阵都是元素在布尔代数B={0,1}上的n×n矩阵。设r是一个非负整数。r-循环(广义循环)布尔矩阵是指元素a_(ij)∈B的这样一个矩阵A=(a_(ij)),其中除第一行外,其余各行元素都是由它们的前一     

矩阵正定性的分块判定

本文研究实矩阵(未必对称)和复矩阵(未必是Hermite阵)在下述意义下的正定性分块判定法或称逐次降P(≥2)阶判定法。 定义 设A∈R~(n×n),若对任何0≠x∈ R~(n×1)都有x~TAx>0,则称A为(实)正定阵。一般地,设A∈C~(n×n),若对任何0≠     

一类时滞积分微分不等式

本文将建立一类含有无界时滞项、无穷积分项及非齐次项的高维时滞积分微分不等式。使用符号:用ρ(a_(ij))_(n×n)表示n×n矩阵(a_(ij))_(n×n)之谱半径。主要结果如下:     

有限型子移位的Chaos集

用∑_n表示n个符号的双向符号序列全体组成的集合,σ表示移位映射。(∑_n,σ)称符号动力系统。设A为n×n矩阵,其中每个元素A_(ij)=A(i,j)都是0或1。     

区间对称矩阵渐近稳定的充要条件和充分条件

对区间对称矩阵G[B,C]={A|A=(a_(ij))_(n×n)=A~T,b_(ij)≤a_(ij)≤a_(ij)},(1)B=(b_(ij))_(n×n)=B~T,C=(C_(ij))_(n×n)=C~T∈R~(n×n),Bialas研究了G[B,C]渐近稳定的充要条件.后经有关文献(略)得到结论:G[B,C]渐近稳定当且仅当其子集H[B,C]={A|A=(a_(ij))_(n×n)∈G[B,C],a_(ij)=b_(ij)或C_i}(2)渐近稳定.我们进一步构造K[B,C]如下:     

乘积Heisenberg群上的限制定理

本文将研究乘积Heisenberg群H~n,H~n=H_1×…×H_1是n个三维Heisenberg群的直积.H~n中的元素记为(z,t),这里z∈C~n,t∈R~n,有时我们也使用坐标(x,y,t)∈R~(2N)×R~n,这里z=x+iy.H~n的乘法定义为:对(z,t).(ζ,s)∈H~n(z,t)(ζ,s)=(z+ζ,τ),其中τ_j=t_j+s_j+1/2 Imz_j(?)_j(1≤j≤n).H_1是Ⅰ型群,H~n的所有不可约酉表示都可以通过取H_1上不可约酉表示的张量积得到.     

线性模型中误差方差的二次型估计的可容许性问题

这里仅介绍若干主要结果,详细证明另文发表。设有线性模型,这里X为已知的n×p矩阵(n≥p),8_1,…,8_n相互独立,此处β∈R~p,0<σ~2<∞。这个模型及有关假定,以下将简记为H。     

线性中立型Volterra积分微分方程的全局稳定周期解

本文通过预解方程■将系统的全局稳定周期解的存在性与方程■的有界解的存在性联系起来,得到关于系统(2)存在周期解的若干代数判别准则及周期解的表达式。其中A为n×n阶常数矩阵,I为n×n阶单位矩阵,Z(t),C(t)及G(t)为定义于t≥0上的n×n阶方阵,f(t)与g(t)为定义于R上的R~n值T周期函数,     

关于可积■(A)模权集的注记

本文采用文献[1]中的符号和术语。设A为一个n×n广义Cartan矩阵,(A)为结合于A的Kac-Moody代数,为其Cartan子代数。     

2维de Bruijn-Good图的同态

令m,n是正整数,F_2是由0和1两个元素组成的有限域,F_2上的2维(m,n)阶deBruijn-Good图是一有向图,它的顶点集合V由F_2上的m×n阵组成,即 它的弧集合由下面的2个集合E_1和E_2组成:     

sl_n(A,X)的2-上循环

设A为C上任意具有单位元的结合代数,Xz为A到任意交换结合代数的一个同态,gl_n(A)为A上的n×n矩阵代数,sl_n(A,X)={A∈gl_n(A)|x(trA)=0}为gl_n(A)的李子代数,令历=Kerx。 李代数(或结合代数)L的2-上循环为L的反对称双线性函数,满足     

关于方程|Aut(G)|=p~2q~2的解

1 结果我们关心如下问题:给定有限群G,确定有限群X,使得Aut(X)=G,而Aut(X)表示X的全自同构群.Iyer证明了上述方程的解至多有有限个.对于任意固定的正整数n,同样的结论对方程|Aut(X)|=n成立.n的某些特殊情形已被研究,Machale和Curran证明了,对任一奇素数 P,|Aut(X)|=P~m(1≤m≤5)无解; Flym给出|Aut(X)|=2~5的全部解; n=p~2q(p和q是不同的素数)在文献[5]和[6]中被研究,本文利用文献[7]的结果,完整地解决了n=p~2q~2的情形.我们用r_1,r_2和r_3分别表示形如4q~2+1,2q~2+1和2q+1的素数,而q为奇素数.本文的     

体上矩阵空间的保幂等算子

刻划保幂等线性算子的形式是研究保不变量问题的一个重要内容。本文在没有特征不为2的假定下,给出了体上矩阵空间的保幂等算子的形式。设R和R_1为体,其中心F和F_1满足表示R中形如ab—ba的元素之有限和生成的F-子空间,R=R/[R,R]为商空间。设M_n(R)表示R上n阶全矩阵F-空间,I_n(R)为M_n(R)中幂等阵的全体。若M_n(R)到M_m(R_1)的F-线性算子L满足:称L为保幂等的,其全体记为。置     

关于大系统周期解的存在性

本文借助函数方法,研究系统Лялунов函数方法，研究系统d_x/d_t=A(t)x+f(t)的解有界性、周期解的存性与唯一性问题，这里x∈R~n,A(t)为n×n阶矩阵，A（t）,     

广义离散随机线性系统的次优滤波

一、问题的叙述 已知广义离散随机线性系统 Ex(k+1)=φx(k)+Γω(k),(1.1) y(k)=Hx(k)+v(k)。(1.2)其中,x(·)∈R~n,y(·)∈R~m,ω(·)∈R~r,v(·)∈R~m分别表示系统(1.1),(1.2)的状态矢量、量测输出矢量、模型噪声矢量和量测噪声矢量,E、φ、Γ和H分别为n×n、m×r、m×n阶常值矩阵,并且rankE=n_1相似文献