有限几何与不完全区组设计的构作(Ⅷ)利用有限域上酉几何中的极大全迷向子空间构作的多个结合类的结合方案

<正> §1.一个多个结合类的结合方案F_q~2表示 q~2个元素的有限域,q 是一个素数的冪.F_q~2有一个自同构(?)这个自同构的固定子域是 F_q.设 n=2ν+δν>0,而δ=0或1.熟知 F_q~2上n阶非奇异厄米方阵皆合同于     

有限几何与不完全区组设计的构作(VI)利用有限域上向量空间的子空间而构作的多个结合类的结合方案

1.引言设F_q是q个元素的有限域,q是一个素数的幂。以v_n(F_q)表由所有n维行向量的全体所组成的F_q上的n维向量空间。v_n(F_q)上作用着n级一般线性群GL_n(F_q),它由F_q上所有n×n 非奇异矩阵组成。v_n(F_q)的一个m维子空间P可用一个秩为m的m×n矩阵来表示,只要这个矩阵的m个行向量组成P的一组基。我们常用同一字母P来代表表示一个子空间P的矩阵。当然同一子空间可用不同的矩阵P和Q表示,只要有     

对称矩阵射影几何基本定理的一个证明

1.引言设ф是ch.≠2的任意域。以表上n×n对称矩阵全体所组成的空间。中两个元素X和Y称为粘切,如果X-Y的秩是1。华罗庚老师在[1]中证明了以下的对称矩阵仿射几何基本定理。定理1.到它自己之上的一个一一映象,而且保持粘切关系不变者必形如:其中P为n×n可逆矩阵,而为的自同构。在该文中还叙述了对称矩阵射影几何基本定理(见本节之末),但没有给予证明。本     

有限几何与不完全区组设计的构作(Ⅰ)——有限域士辛几何中的若干计数定理

<正> §1.引言以 F_q 表 q 个元素的有限域,q 是一个素数的冪.考察 F_q 上所有 n 数组(x_1,x_2,…,x_n),x_i∈F_q,i=1,2,…,n,所组成的 n 维向量空间 V_n(F_q).V_n(F_q)的任—m 维子空间 P(1≤m≤n)都可以用一个秩为 m 的 m×n 矩阵来代表,只要这个矩阵的 m 个行向量组成 P 的一组基.我们把代表这个子空间 P 的矩阵仍记作 P.自然两个秩为 m 的m×n 矩阵 P 和 Q 代表同一子空间,当且仅当有 m×m 非奇异矩阵 A 存在使得 P=AQ.以下设 n=2ν是偶数,并考察 F_q 上的2ν×2ν的非奇异交错矩阵     

半环上的三角矩阵乘法半群的自同构

设R是含有恒等元1的半环,C是R上的中心子半环.Tn(R)是R上的n阶上三角矩阵C-代数.证明了当R是一个幂等元都是中心元的半环时,映射Φ:Tn(R)→Tn(R)是乘法半群自同构当且仅当存在Tn(R)中的可逆矩阵G和R中的半环自同构τ使得A=(aij)n×n∈Tn(R),均有Φ(A)=G-1τ(A)G.这里τ(A)=(τ(aij))n×n,n2.     

环上的线性群

<正> 体上线性群的自同构及构造曾有很详尽的研究(详见[1],[2]).整数环上线性群的自同构是由华罗庚及 I.Reiner 开始研究的.万哲先及了 J.Landin 和 I.Riener 讨论了非交换主理想整环上一般线性群的自同构,[4]中还讨论了非交换欧氏环上特殊线性群的自同构.本文将讨论一般环上线性群的自同构与构造.以 R 表任一给定的环,R 上的 n 级特殊线性群 SL_n(R)定义为由一切形如(?)(其中 I=I~((n)),是 n 阶单位方阵,Eij 表示在(i,j)位置上有元素1而其余位置是零的 n×n方阵)的 n×n 方阵所生成的群;R 上的 n 级一般线性群 GL_n(R)定义为 R 上一切可逆的n×n 方阵所作成的群.在本文中我们证明了:若 R 是特征数≠2的可换整环(无零因     

Hermitian非自反矩阵的两类反问题

记J为一广义反射矩阵,HAJn×n为关于J的n阶Hermitian非自反矩阵的集合.本文考虑如下两个问题:问题Ⅰ给定X,B∈n×m,求A∈HAJn×n,使得‖AX-B‖=min.问题Ⅱ给定X∈n×m,B∈n×n,求A∈HAJn×n,使得XHAX=B.首先利用奇异值分解讨论问题Ⅰ的解的通式,然后利用广义奇异值分解得到了问题Ⅱ有解的充分必要条件和解的通式,最后给出问题Ⅰ和Ⅱ的逼近解的具体表达式.     

利用对称矩阵构作多个结合类的结合方案

利用有限域上的矩阵构作结合方案是万哲先提出来的.他在文章[1]中利用有限域上 n×n 埃尔米特矩阵构作了一个有多个结合类的结合方案,并且计算了 n=2时的参数。后来王仰贤在文章[2]中把这种构作方法推广到有限域上的 n×n 交错矩阵和一般的 m×n 矩阵的情形,并且计算了这些方案的参数.本文将把上述方法推广到对称矩阵的情形,利用特征数不等于2的有限域上的 n×n 对称矩阵来构作有2n 个结合类的结合方案,并且计算其参数.     

关于Hadamard不等式的再改进

本文提出并改进了文[1]中所给出的几个关于可除环上矩阵行列式的不等式,利用这些不等式我们给出了可除环上任意非奇异矩阵的经典Hadamard不等式的一个再改进. 定义1 设A=(a_(ij))_(n×n)是四元数除环Ω上的矩阵,A=(a_(ij))_(n×n)是A的共轭矩阵,如果A=A,则称A为自共轭矩阵,如果A的各阶主子式均为正实数,则称A为正定自共轭矩阵(文[2]定理4).     

对正定厄米特矩阵乘积的特征值的新估计

设 A,B 是两个 n×n 阶正定厄米特矩阵,本文对 AB 的特征值给出一个更精确的估计,得到一个不断缩小 AB 特征值的上下限间距离的方法.     

有限几何与不完全区组设计的构作(Ⅳ)特征≠2的有限域上的正交几何中的计数定理

<正> §1.V_n(F_q)的子空间对于正交群 O_n(F_q)的分类.以 F_q 表 q 个元素的有限域,而 q 是一个奇素数的冪.我们知道,F_q 上 n 阶可逆对称矩阵,当n为偶数时,必合同于■其中■是定号方阵,即     

iljak猜想的反例及进一步结果

R~(n×n)表示 n 阶实矩阵组成的集合,R~n 表示 n 维实向量空间.本文中的矩阵假定都属于 R~(n×n).给定一个矩阵 A∈R~(n×n),A>0(A≥0)表示 A 是一个对称正定(非负定)矩阵;A 称为正(非负)矩阵,如 A 的元素都是正的(非负的).矩阵 A 称为稳定矩阵,如A 的特征值的实部都是负的.     

Siljak 猜想的反例及进一步结果

R~(n×n)表示 n 阶实矩阵组成的集合,R~n 表示 n 维实向量空间.本文中的矩阵假定都属于 R~(n×n).给定一个矩阵 A∈R~(n×n),A>0(A≥0)表示 A 是一个对称正定(非负定)矩阵;A 称为正(非负)矩阵,如 A 的元素都是正的(非负的).矩阵 A 称为稳定矩阵,如A 的特征值的实部都是负的.     

特征=2的域上正交几何中子空间的可迁性定理

<正> 命 F 为特征=2的域,K_n 为 F 上 n×n 交错矩阵的全体所组成的集合,此外,本文中所用的符号、述语及定义完全按照[1]中第十章.从[1]知,F 上的模 K_n 的同余矩阵类必然合同于合有矩阵     

关于3—PBIB设计的构造

在本文中,我们利用V_n(F_q)中包含一个给定的m维子空间的m 1维子空间作为处理,以F_q上n×n非奇异交错矩阵的等价类作为区组,或以F_q~2上n×n非奇异Hermite矩阵的等价类作为区组,构作了一系列3-PBIB设计,并计算了它们的参数。     

可对称化矩阵特征值的扰动界

在[1]中,Kahan证明了如下的定理:设A为n×n Hermite矩阵,B为n×n。可对称化矩阵,即存在非奇异矩阵Q,使得Q~(-1)BQ为实对角矩阵。又设A,B的特征值分别为λ_1     

一个解高度病态问题的高精度算法的数值结果

我们要解的问题是 A_x=b. (1)其中A为n×n的非奇异矩阵(可推广到亚定相容方程组),b是已知的n维向量。且矩阵A是极端病态的矩阵,即     

关于正定厄米特矩阵乘积的特征值的最优估计

设A,B是两个n×n阶正定厄米特矩阵,本文指出了关于矩阵乘积AB的特征值的一类最优估计,它大大改进了文[1]、[2]的结论。     

关于正定厄米特矩阵乘积特征值估计的改进

设 A、B 都是 n×n 阶厄米特矩阵,其中有一个是半正定的,本文不仅给出了矩阵乘积 AB 的最大、最小特征值的一个最优估计,并且对 AB 的每一个“中间”特征值也给出了估计,大大改进并推广了文[3]的结果.     

相对增益阵列A·A~(-T)=(1/n)J_n的实数解

1 引言 设N是正整数集合,M_n(R)是,n×n实矩阵集合。对非奇异的A∈M_n(R)定义F(A)=A°A~(-1)(“。”为矩阵的Hadamard乘积,A~(-T)为A(-1)的转置)。矩阵y(A)产生于化学工程设计的数学控制理论,作为相对增益阵列它涉及到对角元素与特征值的关系.C.R.Johnson等提出一个问题:“什么时候 P(A)=(1/n)J_n (1)有实数解?”(J_n∈M_n(R)是所有元素为1的矩阵),并指出:“如果H_n是一个n×n的Hadamard矩阵,则伊(H_n)=(1/n)J_n然而对n阶Hadamard矩阵来说的一个必要条件是4整除n;还不知道这个必要条件是否也是充分的”。