二维射影线性群与区传递4-(q+1,5,λ)设计

在组合设计的研究领域中,如何构造具有给定参数的t-设计是一个重要而且困难的问题.利用设计的自同构群来构造t-设计是这一问题有效的解决方法之一.在本文中,设D=(X,B)是一个4-(q+1,5,λ)设计,G≤Aut(D)区传递地作用在D上且X=GF(q)∪{∞},这里GF(q)是q元有限域.设PSL(2,q)(?)G≤PTL(2,q).利用Kramer和Mesner的关于构造区组设计的一个结果和二维射影线性群作用在X的5-子集的集合上的轨道,得到了如下结果:(1)G=PGL(2,17)并且D是一个4-(18,5,4)设计;或(2)G=PSL(2,32)并且D是一个4-(33,5,4)设计;或(3)G=PTL(2,32)并且D是4-(33,5,5)和4-(33,5,20)设计之一.     

Lie型单群3D4(q)和2-(v,k,1)设计

设D是一个2-(v,k,1)设计,G是D的自同构群.Delandtsheer证明了如果G是区本原的,且D不是射影平面,则G是几乎单群,即存在一个非交换单群T,使得T≤G≤Aut(T).本文证明了T不同构于单群3D4(q),这是区本原设计分类工作的一个不可缺少的组成部分.     

区传递的2-(ν,κ,1)设计与李型单群E8(q)

分类自同构群的基柱为李型单群E8(q)的区传递2-(ν,κ,1)设计,得到如下定理:设D为一个2-(ν,κ,1)设计,G≤Aut(D)是区传递、点本原但非旗传递的.若q＞24√(krk-kr 1)f(这里kr=(k,v-1),q=pf,p是素数,f是正整数),则Soc(G)(≠)E8(q).     

构建最小k 重控制集的概率算法

点集D ⊆ V (G) 称为图G 的k 重控制集, 如果D 满足V (G) - D 中任意结点在D 中至少有k 个邻居. 在无线网络中, 最小k 重控制集(MkDS) 用以构建健壮的虚拟骨干网. 构建虚拟骨干网是无线网络中最基本也是最重要的问题. 在本文中, 我们提出一种快速的分布式概率算法来构建k重控制集. 我们构建的k 重控制集的期望大小不超过最优解的O(k²) 倍. 算法的运行时间复杂度为O((Δ logΔ+log log n)n),其中Δ = max{|D(p)|}, D(p) 是以p 为中心半径为1 的圆盘中的结点, 最大值的比较范围是给定集合中所有的p 点.     

区传递的2-(v,9,1)设计的分类

讨论区传递的2-(v,k,1)设计的分类问题.特别地,讨论自同构群的基柱为典型单群的区传递,点本原但非旗传递的2-(v,9,1)设计.设D为一个2-(v,9,1)设计,若G≤Aut(D)是区传递,点本原但非旗传递的,则G的基柱Soc(G)不是有限域GF(q)上的典型单群.结合Camina,Praeger,刘伟俊,李慧陵...     

广义逆A(2)T,S的子式

1.引言 设A∈Cm×n,M和N分别为m和n阶Hermite正定阵,考虑下列方程 (1) AXA = A (2) XAX = X (3) (AX)* = AX (4) (XA)* = XA (3M) (MAX)* = MAX (4N) (NXA)* = NXA 如果X∈Cm×m满足条件(1)和(2),则称X为A的自反广义逆,记作X=A(1,2);如果X满足条件(2),则称X为A的{2}逆,记作X=A(2);如果X满足(1)-(4),则称X为A的M-P逆,记作X=A+;如果X满足(1)、(2)、(3M)、(4N),则称X为A的加权M-P逆,记作A+MN.     

(3,2,1)-共轭r-正交拉丁方的存在性

如果两个v阶拉丁方L和M的重叠产生恰好r个不同的有序对,则称L和M是r-正交的.如果L还是M的(i,j,k)-共轭,则称L是(i,j,k)-共轭r-正交的,简记为(i,j,k)-r-COLS(v)((i,j,k)-r-conjugate orthogonal Latin square of order v),其中{i,j,k}={1,2,3}.本文研究(3,2,1)-r-COLS(v)的存在性问题.对于v 23,除去少数几个可能的例外值,本文给出关于(3,2,1)-r-COLS(v)的几乎完整的解.对于v23,如果r∈[v,v2]\{v+1,v+2,v+3,v+5,v+7,v2 1},除去可能的例外r=v2 3,都存在(3,2,1)-r-COLS(v).由于(3,2,1)-r-COLS(v)的存在性与(1,3,2)-r-COLS(v)的存在性是等价的,本文得到关于(1,3,2)-r-COLS(v)的同样结论.     

图的彩虹连通数与最小度和

令G是一个阶为n且最小度为δ的连通图. 当δ很小而n很大时, 现有的依据于最小度参数的彩虹边连通数和彩虹点连通数的上界都很大, 它们是n的线性函数. 本文中, 我们用另一种参数,即k个独立点的最小度和σ_k来代替δ, 从而在很大程度上改进了彩虹边连通数和彩虹点连通数的上界. 本文证明了如果G有k个独立点, 那么rc(GG)≤3kn/(σk+k)+6k-3. 同时也证明了下面的结果, 如果σ_k≤7k或σ_k≥8k, 那么rvc(G)≤(4k+2k²)n/(σ_k+k)+5k; 如果7k<σ_k<8k, 那么rvc(G)≤(38k/9+2k²)n/(σ_k+k)+5k.文中也给出了例子说明我们的界比现有的界更好, 即我们的界为rc(G)≤9k-3和rvc(G)≤9k+2k²或rvc(G)≤83k/9+2k², 这意味着当δ很小而σ_k很大时, 我们的界是一个常数, 而现有的界却是n的线性函数.     

GF（2）—modules for Sz（q）wrCt

LetVbeavectorspaceoverfieldK=GF(q),whereq=2",nodd.ThethereexistsinGL(V)somesubgroupH,whichisisomorphictoSz(q),andtheactionofHonVderivessomeirreduciblemodulestructureforH-LetF=GF(2),thenVcanbeseenasanFH-mod-ule,Vremainsirreducible,andVissaidtobeanaturalFH-module.Thenotionofnaturalmodule'forSz(q)canbegeneralizedtothewrethproductSz(q)wed(thedefinitionforthewreathproduct,seeLlj'9'l9),Thenotationsandterminol-ogyinthispaper'exceptforfewexceptions,areeitherstandardoeasiluaccessiblefromL2j'…     

无爪3 -正则图的独立数

如果图G的一个集合X中任两个点不相邻, 则称 X 为独立集合. 如果 N[X]=V(G), 则称X是一个控制集合. i(G)(β(G))分别表示所有极大独立集合的最小(最大)基数. γ(G)(Γ(G))表示所有极小控制集合的最小(最大)基数. 在这篇论文中, 作者证明如下结论: (1) 如果 G ∈R 且G 是n阶3 -正则图, 则 γ(G)= i(G), β(G)=n/3. (2) 每个n阶连通无爪3 -正则图 G, 如果 G(G≠ K₄) 且不含诱导子图K₄-e, 则 β(G) =n/3.     

飞行光束聚焦特性

一般情况下,Gauss光束基模复参量q的ABCD定律对高阶模是不适用的.将某一特定谐振腔的Rayleigh长度Z_R取代q参量虚部的光斑尺寸w,q参量的ABCD定律可由Gauss光束基模推广到高阶模或几个模的叠加.从理论和实验上研究并比较了当聚焦镜作长距离飞行时理想光学谐振腔和实际高功率激光谐振腔输出的Gauss光束不同模式的远场聚焦特性,纠正了国内外部分学者对这一问题的误解.飞行光束聚焦特性的研究,对于飞行光学激光加工、光学飞行器、大型激光工程空间滤波器等应用领域具有重要研究价值.     

λ等于2的差集表

设G(t)是t阶的加法群,A是元素属于G(t)的λt×k阶矩阵,如果A的任何两列的有序差,遍历G(t)的每个元素恰好λ次,则称A为G(t)上的差集表,记D(λt,k,t,2)。 显然,若G(t)又是有限域GF(t)时,GF(t)的乘法表是λ=1的D(t,t,t,2)差集表。若存在一个D(t,k,t,2),则存在k—1个相互正交的拉丁方。因此,λ=1的差集表的构造问题与正交拉丁方有着密切联系。一般地,Bose和Bush证明了,若     

K_(n,n)的局部最优可靠性

假设n点m边的简单无向图G=(V,E)的每个顶点完全可靠,各边相互独立地以同一概率q(0q1)发生故障,则用G不连通的概率P(G,q)作为衡量网不可靠程度的指标.如果对于充分接近q0的所有q都有P(G,q)P(H,q),则称在边故障概率q～q0时,网络G比H可靠.证明了当q～0时,Kn,n(n4)是2n点n2边图中局部最优可靠的.     

Hilbert空间上线性算子广义逆A(2)T,S的存在性及其表示式

设H₁和H₂是两个Hilbert空间, B(H₁,H₂)表示从H₁到H₂的所有有界线性算子的集合, T和S分别是H₁和H₂的两个闭子空间. 如果存在线性算子X ∈ B(H₂,H₁)满足XAX=X, R(X)=T, N(X)=S,则称X为线性算子$A$的具有指定像空间T和零空间S的外逆,记为A⁽²⁾_T,S. 该文进一步研究了线性算子广义逆A⁽²⁾_T,S存在的若干等价条件及其性质,建立了算子广义逆A⁽²⁾_T,S的表示形式.     

关于Suzuki群与射影平面的一个注记

设G Aut(D)且Soc(G) =Sz(q) ,这里q=2 p,p为奇素数,若有Sz(q) 相似文献   

完美门限方案的组合构造

部分平衡t-设计t-(v; b;w; 1; 0) (X;A) 称为可划分的, 如果它同时也是一个部分平衡(t-1)-设计(t -1)-(v; b;w; λ_t-1; 0) 并且可将区组集A划分为A₁;…;A_λt-1; 使得每个(X;A_i) (1≤i≤λ_t-1)是一个部分平衡(t-1)-设计(t-1)-(v; b/λ_t-1;w; 1; 0). 本文证明可划分部分平衡t-设计PPBD t-(v; b;w;λ_t-1; 1; 0) 的存在性蕴含着完美(t;w; v;λ_t-1)-门限方案的存在性; 而且在某些情况下, 最优可划分部分平衡t-设计OPPBD(t;w; v) 的存在性等价于最优(t;w; v)-门限方案的存在性. 由此我们得到了最优(t;w; v)-门限方案的一些新的无穷类.     

Classification of Flag-Transitive Primitive Symmetric(v,k, λ) Designs with PSL(2, q) as Socle

Let D be a nontrivial symmetric(v, k, λ) design, and G be a subgroup of the full automorphism group of D. In this paper we prove that if G acts flag-transitively, pointprimitively on D and Soc(G) = PSL(2, q), then D has parameters(7, 3, 1),(7, 4, 2),(11, 5, 2),(11, 6, 3) or(15, 8, 4).     

李型单群2F4(q2)与2-((u),k,1)区组设计

本文证明了当2-((u),κ,1)设计的自同构群G的基柱soc(G)=2F4(q2)时,Buekenhaut-Delandtsheer-Doyen猜想成立,即自同构群G的基柱为Ree群2F4(q2)的区本原2-((u),k,1)设计必为点本原的.     

Some new 3-designs from PSL(2, q) with q ≡ 1 (mod4)

We determine the sizes of orbits from the action of subgroups of PSL(2,q) on projective line X = GF(q) ∪ {∞} with q a prime power and congruent to 1 modulo 4.As an example of its application,we construct some new families of simple 3-designs admitting PSL(2,q) as automorphism group.     

2-(v,19,1)设计的区传递自同构群（英文）

本文研究2-(v,k,1)设计的自同构群.设D是2-(v,19,1)设计,G是D的自同构群,且G是区传递、点本原的,那么G的基柱Soc(G)不是~2G_2(q).