有限几何与PBIB设计(Ⅰ)

设q为素数幂,F_q是有q个元素的有限域。记F_q上满足TKT′=K的全体2y阶方阵T对于矩阵的乘法成群,叫做F_q上的2y阶辛群,记作S_p_(2y)(F_q)。当把S_p_(2y)(F_q)看作F_q上的2y维向量空间V_(2y)(F_q)上的变换群时,我们就得到所谓辛空间或辛几何,记作SV_(2y)(F_q)。 设P是F_q上的秩为m的m×2y矩阵。我们约定同一个符号P也表示它所代表的m维子空间。若PKP′的秩(一定为偶数)为2s,就称P为SV_(2y)(F_q)中的一个(m,s)型子空间。又设α,β是SV_(2y)(F_q)中的两个向量。若αKβ′=0,就称α与β正交。SV_(2y)(F_q)中与一个m维子空间     

用组合方法证明Gaussian系数恒等式

设F_q是q个元素的有限域,其中q是素数的幂,F_q~n是F_q上n维向量空间,用[n/m]_q表示Gaussian系数,它可看作为F_q~n的m维子空间的个数.用组合方法证明了几个Gaussian系数恒等式.     

有限几何与不完全区组设计的构作(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表示,只要有     

利用有限域上向量空间的子空间构作PBIB设计

设q是一个素数幂,F_q是有q个元素的有限域,V_n(F_q)表示F_q上的n维向量空间。在文献[1],[2]中,利用V_n(F_q)中m维子空间作处理构作了一个具有min{m,n-m}个结合类的结合方案和一些PBIB设计。本文先给出一般线性群GL_n(F_q)的一个新的可迁性定理和有关子空间的一个新的计数定理,然后构作了一类广泛的新设计,以[2]中第6章的定理8、9、10为其特例。     

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

<正> §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ν的非奇异交错矩阵     

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

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

E^n中P维与q维平面间的夹角公式

本文将柯西不等式进一步推广为[α_1β,…,α_mβ][α_iα_j]~(-1)[α_1β,…,α_mβ]~T+(|α∧|β~2)/(|α|~2)≤β~2其中β=b_1∧…∧b_q,q≤p≤n,α_i 是从 p 个向量α_1,…,α_p 中任取 q 个作成的 q 重向量,m=c_p~q.接着给出了 n 维欧氏空间 E~n 中 p 维与 q 维平面间的夹角公式:cos~2θ=[α_1β,…,α_mθ][α_iα_j]~(-1)[α_1β,…,α_mβ]~T/β~2用它导出了 n-1维球面型空间 S_(n-1,1)中关于单形(顶点 P_n 到对面上)的高 h_n 的公式.     

全矩阵环上理想包含图的自同构群

设R是一个环,其上的理想包含图,记为Γ_I(R),是一个有向图,它以R的非平凡左理想为顶点,从R的左理想I_1到I_2有一条有向边当且仅当I_1真包含于I_2.环R上的理想关系图,记为Γ_i(R),也是一个有向图,它以R为顶点集,从R中元素A到B有一条有向边当且仅当A生成的左理想真包含于B生成的左理想.设F_q为有限域,其上n阶全矩阵环记为M_n(F_q),本文刻画了环M_n(F_q)上的理想包含图以及理想关系图的任意自同构.     

三角代数上理想包含图的自同构

设F_q为有限域,(n_1,n_2,···,n_r)为一正整数序列,B(q,r)为由F_q上对角块为n_i(1≤i≤r)阶方阵的分块上三角阵构成的代数.理想包含图In(B(q,r))是一个有向图,它以B(q,r)为顶点集,从A到B有一条有向边当且仅当I_A■I_B,其中IA表示A生成的双边理想.本文研究了理想包含图In(B(q,r))上自同构的刻画问题.通过研究B(q,r)中理想的形式,在此基础上对给定的自同构构造一些标准自同构,使得复合后的自同构固定所有的顶点,从而给出了任意自同构的具体描述,推广了文献[13]的结果.     

x~N ±a在有限域上的完全分解

设F_q为一个阶为q的有限域,其中q为奇素数的幂.本文主要利用多项式分解相关理论得到几类多项式的完全分解,给出了当N=2~mp~n时x~N±a∈F_q[x]在F_q上的完全分解,其中m,n均为正整数,p为q-1的素因子,且p≠2.结果表明当a取作F_q中元素β的某些特殊方幂时,x~N±a在F_q上不可约因式都是二项式或三项式.     

有限典型空间的对偶极图的次成分I

设Fq是一个含有q个元素的有限域.用T表示Fq上2v维辛空间的对偶极图.对于Г的任何顶点Р,Г的所有次成分Гi(Р)(1≤i≤v)的结构被研究,并且以下结果被证明Ti(P)同构于[vi]q·Sym(i,q),其中Sym(i,q)是Fq上i×i对称矩阵图.进一步,Fq上2v+δ维伪辛空间的对偶极图△δ的相应问题也被解决.     

一类不等式

<正> 本文首先将(2)换为下面的(4),然后将(3)推广,导出一类不等式. §.2 本文采用记号如下: S_n为n元集{1,2,…,n}上的全体置换所组成的置换群,G为S_n的一个子群. x=(x_1,x_2,…,x_n),α=(α_1,α_2,…,α_n),β=(β_1,β_2,…,β_n)等均为n维欧氏空间中的点,并且不作特别申明时约定各个分量为正.     

两个新高斯系数恒等式的证明

设F_q是q个元素的有限域,其中q是素数的幂,利用有限域F_q上n维向量空间F_q~((n))中子空间的几何意义及其计数公式证明了两个新的高斯系数恒等式.     

基于有限辛空间的一致偏序集和Leonard对

设F_q为q个元素的有限域,q是一个素数的幂.令F_q~((2v))是F_q上的2v维辛空间,M(m,s;2v)表示辛群作用在F_q~((2v))上的子空间的轨道.L(m,s;2v)是M(m,s;2v)的子空间生成的集合.若按照子空间的包含关系来规定L(m,s;2v)的序,则得一偏序集,记为L_O(m,s;2v).本文,首先构造了L(m,s;2v)上的子偏序集L_O(m,s;2v),然后证明这个子偏序集是强一致偏序的.最后利用这个偏序集构造了Leonard对.     

立方图的对控制数

设G=(V,E)是一个简单图, 对任意的顶点子集合 $S\subseteq V$, G[S]表示图G中由S所导出的子图. 如果S是G的一个控制集并且G[S]包含至少一个完备匹配, 则称S是G的一个对控制集. G中对控制集的最少的顶点数称为$G$的对控制数, 记为γ_p(G). 该文证明了对任意有n点的连通立方图G, γ_p(G)≤3n/ 5.     

三路树P(m,n,t)是边幻图的证明(Ⅱ)

令简单图G=(V,E)是有p个顶点q条边的图.假设G的顶点和边由1,2,…,p+q所标号,且f:V ∪E→{1,2,…,p+q}是一个双射,如果对所有的边xy,f(x)+f(y)+f(xy)是常量,则称图G是边幻图(edge-magic).本文证明了三路树P(m,n,t)当n为偶数,t=n+2时也是边幻图.     

三路树P(m,n,t)是边幻图的证明(II)

令简单图G=(V,E)是有p个顶点q条边的图.假设G的顶点和边由1,2,…,p+q所标号,且f:V∪E→{1,2,…,p+q}是一个双射,如果对所有的边xy,f(x)+f(y)+f(xy)是常量,则称图G是边幻图(edge-magic).本文证明了三路树P(m,n,t)当n为偶数,t=n+2时也是边幻图.     

最坏框架与平均框架下区间[1,1]上带Jacobi权的函数逼近

本文研究最坏框架和平均框架下区间[1,1]上带Jocobi权(1 x)α(1+x)β,α,β1/2的函数逼近问题.在最坏框架下,本文得到加权Sobolev空间BWr p,α,β在Lq,α,β(1 q∞)空间尺度下的Kolmogorov n-宽度和线性n-宽度的渐近最优阶,其中Lq,α,β(1 q∞)表示区间[1,1]上带Jacobi权的加权Lq空间.在平均框架下,本文研究具有Gauss测度的加权Sobolev空间Wr2,α,β被多项式子空间和Fourier部分和算子在Lq,α,β(1 q∞)空间尺度下的最佳逼近问题,得到平均误差估计的渐近阶.我们发现,在平均框架下,多项式子空间和Fourier部分和算子在Lq,α,β(1 q2+22 max{α,β}+1)空间尺度下是渐近最优的线性子空间和渐近最优的线性算子.     

由仿射线诱导的图的第二次成分

本文研究了有限域上n维仿射空间的仿射线诱导的图Γ的第二次成分Γ2(α)的代数和组合性质.利用在仿射群作用下的轨道的代表元,证明了第二次成分Γ2(α)是连通的、正则的,但不是边正则的.     

偶特征有限域上对称矩阵结合方案

设S(n,q)是偶特征有限域F_q上n×n对称矩阵所成的集合.令R_i={(X,Y)|X,Y∈S(n,q),rank(Y-X)=2i-1,2i},0≤i≤[(n+1)/2]采用矩阵方法,证明了Sym(n,q)={s(n,q),{R_i}_(0≤i≤)[(n+1)/2]}是[(n+1)/2]个结合类的P—多项式对称结合方案,而Sym(n,q)的结合关系的图Γ~((1))是正则的,并且它同构于交错矩阵结合方案.此外,又给出Sym(n,q)的自同构形式.