2F4（q2）群与2-（v,k,5）对称设计

如果一个非凡的t-设计是一个对称设计,则t=2.设2-（v,k,λ）是一个非平凡的对称设计,G是它的一个旗传递自同构群.在过去正对λ≤4情形研究的基础上,本文讨论λ=5的情况.证明了如果G是2-（v,k,5）对称设计的一个旗传递点本原自同构群,并且G是几乎单群,则G的基柱不能为2F4（q2）群.证明中需使用2F4（q2...     

旗传递5-(v,k,2)设计

如果一个非平凡的t-设计具有一个旗传递的自同构群,那么t≤6,并且它的自同构群是[(t+1)/2]齐次本原群.因此,一个旗传递5-(v,k,2)设计的自同构群是3-齐次本原置换群.利用3-齐次本原置换群分类定理,讨论了旗传递5-(v,k,2)设计的分类问题.通过分析5-(v,k,2)设计的组合数量关系和3-齐次本原置换群的性质,部分解决了旗传递5-(v,k,2)设计的分类.证明了如果群G是一个非平凡的5-(v,k,2)设计D的旗传递自同构群,那么Soc(G)=PSL(2,q),并且q=2e或3e.     

2F4（q2）群与2-（v,k,5）对称设计

如果一个非凡的t-设计是一个对称设计,则t=2.设2-（v,k,λ）是一个非平凡的对称设计,G是它的一个旗传递自同构群.在过去正对λ≤4情形研究的基础上,本文讨论λ=5的情况.证明了如果G是2-（v,k,5）对称设计的一个旗传递点本原自同构群,并且G是几乎单群,则G的基柱不能为2F4（q2）群.证明中需使用2F4（q2）群的极大子群的分类,同时也需要考虑2F4（q2）群的置换表示.     

λ≤6的旗传递6-(v,k,λ)设计

Cameron P J和Praeger C E证明了不存在单的7-(v,k,λ)设计.直到现在,所有已知的t≥6的t-(v,k,λ)设计都有λ≥4.文章考虑了旗传递6-(v,k,λ)设计,并且证明了当λ≥6时不存在非平凡旗传递6-(v,k,λ)设计     

旗传递5-(v,k,2)设计(II)

假定D是一个5-(v,k,2)设计,G是一个D的自同构群,并且G的基柱Soc(G)=PSL(2,2n).利用PSL(2,q)的子群作用于投影线上的轨道,证明了G不能旗传递的作用在非平凡的5-(v,k,2)设计上.这是旗传递t-设计的分类问题的一个结果.     

一类时滞中立型微分方程的振动性

研究时滞中立型微分方程[x(t)-x(t-τ）]+r(t)x(t-σ)=0 t≥t0的正解的振动性,给出了方程的所有正解振动的新充分条件,改进了已有的结果。证明了一个猜想的正确性。     

C_(2j+1)∪C_(2k)类与P_n~k类调和图

证明了 Seoud等当 k≥ 3时 C3 与 C2 k的不相交并 C3 ∪ C2 k为调和图的猜想 ,并扩展该结果 ,证明了 C5 ∪ C2 k( k≥ 2 )是调和图 ;给出猜想 C2 j+ 1 ∪ C2 k( j≥ 1,k≥ 2且 ( j,k)≠ ( 1,2 ) )是调和图 .证明了幂图 P4n( 8≤ n≤ 17)与 P5 n( 14≤ n≤ 17)是调和图 ,否定了 Seoud等关于当且仅当 1≤ k≤ 3时 Pkn( 1≤ k≤ n -1)是调和图的猜想 .给出了相反的猜想 :当 n≥ n0 ( k)时 Pkn是调和图 ( n0 ( k)为依赖于 k的足够大的整数 )     

关于Enomoto和Saito的猜想

1985年Enomoto和Saito提出了下面的猜想:每一个r-正则图G有一个〔k-1,k〕-因子使每个分支是一个正则图,1≤k≤r.Kano证明了,当r是奇数且02r/3时在某些情况下上述猜想成立.     

关于A_t(t≤3)群的LA猜想

LA猜想是有限p群中一个著名的猜想.主要依据At(t≤3)群的分类,结合各类群的特点,通过计算其自同构群的子群或其自同构群的阶,证明了A1、A2、A3群满足LA猜想。     

关于Frankl-Füredi猜想的一个结果

Frankl和Füredi猜测在所有边数为m的r-图中,由N(r)中Colex序最小的m个元素组成的r-图具有最大的拉格朗日极值.本文证明,对于边数为m的3-图,当[(t-1)/3]≤m≤[t-1/3]+[(t-2)/2]且t≤8时,这一猜想成立.     

C2j+1∪C2k类与Pk n类调和图

证明了Ｓｅｏｕｄ等当ｋ≥３时Ｃ３与Ｃ２ｋ的不相交并Ｃ３∪Ｃ２ｋ为调和图的猜想,并扩展该结果,证明了Ｃ５∪Ｃ２ｋ（ｋ≥２）是调和图;给出猜想Ｃ２ｊ＋１∪Ｃ２ｋ（ｊ≥１,ｋ≥２且（ｊ,ｋ）≠（１,２）是调和图。证明了幂图Ｐ＾４ｎ（８≤ｎ≤１７）与Ｐ＾５ｎ（１４≤ｎ≤１７）是调和图,否定了Ｓｅｏｕｄ等关于当且仅当１≤ｋ≤３时Ｐ＾ｋｎ（１≤ｋ≤ｎ－１）是调和图的猜想。给出了相反的猜想：当ｎ≤ｎ０（ｋ）时Ｐ     

无随机预言模型的(t,k,l)-门限代理签名方案

推广了(t,l)-门限代理签名概念,提出了(t,k,l)-门限代理签名.在一个(t,k,l)-门限代理签名中,由指定的l个代理签名者构成的群体必须要求有至少k个人的合作才能生成代理签名,同时方案中最多允许参与的t-1个人合谋.给出了第1个门限代理签名方案存在性不可伪造的安全性模型,提出了一个基于CDH问题的(t+1,2t+1,l)-门限代理签名方案,并且在无随机预言机的模型下证明了该方案是存在性不可伪造的,同时还具有可区分性和代理保护等性质.     

关于n长路的(a,b;n)-优美猜想

Gvozdjak提出如下猜想:Pn存在一个(a,b;n)-优美标号,当且仅当整数a,b,n满足:1)b-a与n(n+1)/2有相同的奇偶性;2)0|b-a|≤(n+1)/2≤a+b≤3n/2.该猜想的解决推动了Oberwolfach问题的解决.证明了当a=1,2时该猜想成立.     

Schauder不动点定理在(k,n-k)共轭边值问题中的应用

利用Schauder不动点定理研究高阶奇异(k,n-k)共轭边值问题:{(-1)n-kx(n)=f(t,x)+e(t),t∈(0,1),x(i)(0)=0,0≤i≤k-1,x(j)(1)=0,0≤j≤n-k-1,其中f的第一个或第二个变量可以具有奇性,e可以是负的,并给出了几个新的存在性结果.     

三角范畴的有界t-结构与遗传Abel范畴

研究三角范畴有界t-结构的心.证明了对于给定的三角范畴D的有界t-结构(D≤0,D≥0),如果对于D中任意的一个不可分解对象X,满足X∈D≤0,或者X∈D≥1,则此t-结构的心是遗传的.进一步地,得到了由遗传Abel范畴A的可裂挠对(T,F)导出的Db(A)上有界t-结构的心也是遗传的Abel范畴.     

二维典型群PSL(2,q)与旗传递2-(v,k,λ)设计

旗传递性是附加在2-设计的自同构群上的重要条件之一。1988年,Zieschang证明了旗传递2-(v,k,λ)设计当(r,λ)=1时其自同构群G只能是仿射群或者几乎单群,故可以利用有限单群分类定理来分类此类设计。本文研究自同构群G是旗传递的且其基柱Soc(G)为单群PSL(2,q)的2-(v,k,λ)设计,解决了在限制条件(r,λ)=1且v≤1 000时此类设计的分类问题,共存在18个两两不同构的设计。     

角域内的亚纯函数

1925年 Nevanlinna 提出下述猜想:设函数 f(z)在角域{z|α≤arg(?)≤β,0<β-α≤2π}内亚纯,则(?) (1)至多除去 r 的一个测度有限的集合.本文在适当的边界条件下证明了这个猜想.     

关于局部维数及维数论中加法定理的某些问题

在本文中,我们首先证明了一个局部维数的嵌入定理:对于t-正规空间(totallynormal space)(X,(?)),locInd X≤n的充分必要条件是存在正刚正规空间(Y,(?)),使得Ind Y≤n且(X,(?))是(Y,(?))的开子空间。从而给出Dowker猜测的一个等价叙说。1954年,K.Morita在[1]中证明了:在尺度空间内关于大归纳维数的局部可     

t—范,t—余范和伪补

本文讨论了t-范、t-余范、伪补及其相互关系,借助于生成子。我们证明了任一t-范(或t-余范)经增生成子作用后得到的仍是t-范(或t-余范)。经减生成子作用后得到的是t-余范(或t-范)。利用这一结果由算子·■出发可生成许多新的t-范或t-余范。特别可生成Kaufmann算子■的p>0.r≥0的部分。并用反例指出■当p<0.0≤r≤2时一般不是t-范。本文还指出某种生成子对伪补作用后可得到新的伪补,最后利用伪补h讨论了两个元素的h相重性。     

关于r-(P_0,…,P_(t-1))—泛圈图

若G中长为r+tj+i的圈恰好有Pi(0≤i≤t-1)个,其中r+tj+t-1≤n,j是P_0,…,P_(t-1)重复的次数,则称G为r-(P_0,…,P_(t-1))-泛圈图.主要采用构造法,给出当t=8时r-(P_0,…,P_7)-泛圈图的一些结果 .即设n≥14,≥6若2-3+-3≤n2-2+-2且n-(r_((n,)-1))=s(mod8),s=0,1,…,7时,那么存在一个n阶r-(4,4,4,4,5,5,5,5)泛圈图,其中r=r_(0, λ)+s=﹛2~(λ-4)+3+s,当n≤3·2~(λ-4)+2时n-2~(λ-3)+1+s当n3·2~(λ-4)+2时同时,利用类似的方法证明了r-(1,1,3,3,4,4,5,5)—泛圈图、r-(4,4,4,4,5,5,5,5)—奇(偶)泛圈图以及r-(1,1,3,3,4,4,5,5)奇(偶)泛圈图.进一步,给出相应圈长分布的最小可能边数.