二部图中求正交于星的(g, f)-染色的一个多项式算法

令G是一个具有顶点集V(G)和边集 E(G)的二部图, 且令g和f是定义在 V(G)上的两个非负整数值函数,使得对每个顶点x∈V(G)都有g(x)≤f(x). G的一个(g,f)-染色是一个推广的边染色,它满足在每个顶点x每一种颜色至少出现g(x)次且至多出现f(x)次. 给出了求二部图中满足某些约束条件且具有最小颜色数的(g,f)-染色的一个多项式算法并证明了此结果是最好的可能.     

π-块上第一主要定理的扩张

设G是一个有限π-可分群, 其中π是一些素数的集合. I. M. Isaacs定义了G的B_π特征标, 这种特征标可以看作``π-模"特征标, 并且B_p’特征标是一个p-模特征标的标准提升. 在Isaacs工作的基础上, M. C. Slattery把Brauer关于p-块的三大主要定理成功地推广到有限πp-可分群的π-块上. 本文在π-块的第一主要定理的基础上,进一步讨论了第一主要定理的扩张问题.     

高次Koszul复形

推广了Koszul复形以及Koszul代数,引入了高次Koszul ( t -Koszul)复形和高次Koszul (t-Koszul)代数的概念, 其中t为不小于2的正整数. 证明了代数为高次Koszul代数当且仅当其相应的高次Koszul复形的高阶(≥1)同调群为0. 还通过引入t次对偶代数的概念, 对t-Koszul代数的上同调代数进行了具体的刻画, 证明了对任意的非负整数m, 其中L₀是L的所有单模的直和, 而L^!是L的t次对偶代数.     

(α,d,β)超过程Tanaka公式的注记

在最优的初始条件及最优的维数条件下, 证明了(α,d,β)超过程关于局部时的Tanaka公式成立.     

一类p-自由的幂零群的p-自同构

设G=KP, 其中K是有限生成的p′-自由的幂零群, P是有限秩的幂零p-群, 并且[K,P]=1, 即G是K和P的中心积, α和β是G的两个p-自同构, 记I:=<(αβ (g))·(βα(g))(¹)|g\in G>, 则 (i) 当I是有限循环群时, <α,β>是一个有限p-群; (ii) 当I是拟循环p -群时, <α,β>是一个可解的剩余有限p-群, 它是有限生成的无挠幂零群被有限p-群的扩张; (iii) 当I是无限循环群时, <α,β>是一个可解的剩余有限p-群, 其幂零长度不超过3; 特别地, 当上述群K是一个FC-群时, 若I是无限循环群, 则<α,β>是有限生成的无挠幂零群被有限p-群的扩张.     

积域上奇异积分算子的Lp有界性

用旋转法证明了对于Ω∈ L(log⁺L)² (Sⁿ-1×S^m-1),Ω(x′,y′)dσ(x′)= 0(y′∈S^m-1), Ω(x′,y′)dσy′)=0(x′∈Sⁿ-1),带核函数K(u,v)= Ω(u′,v′)|u|^-n|v|^-m的奇异积分算子T是L^p(Rⁿ×R^m)有界的,其中1<p<∞.     

任意k紧优、奇异k紧优双环网无限族的构造

双环网 (double loopnetwork)是具有n个结点和出度为2的有向循环图,它是计算机互连网络的一类重要的拓扑结构,已应用于局域网和分布系统的设计中.给定结点数n,如何构造n个结点的具有最小直径的双环网? 这个问题受到广泛的关注. 与此有关的一个久而未决的主要问题是:任意给定k≥0, 是否有所谓k紧优双环网的无限族? 本文证明了: (1) 对于任意给定的k≥0, 可构造其中一个步长为1的k紧优双环网的无限族, 其结点数n(k,e,c)(其中e充分大)是e的2次整系数多项式且系数含有参数c; (2) 对于任意给定的k≥0, 可构造一个奇异k紧优双环网的无限族.     

有理函数域上的Gross猜想

研究分圆函数域扩张k(Λ_f)/k情形下的Gross猜想, 其中k=F_q(t)是有理函数域, f是k上的首一多项式.通过直接计算,证明了在Fermat曲线(即f=t(t&#8722;1))情形时猜想成立.当f为不可约多项式时,证明了Gross猜想和Weil互反律等价.对一般情形,证明了弱Gross猜想成立.     

图的距离不大于β的点可区别的全染色

提出了D (β)-点可区别全染色这一概念, 即对图G的一个正常全染色, 距离不大于β的任意两点有不同的色集, 其中, 每个点的色集由该点和其邻边的颜色所组成. 讨论了一些特殊图的距离不大于2的任意两点可区别全染色, 同时提出了一个猜想和一个未解决问题.     

广义Davey-Stewartson方程组初值问题的解和散射算子的存在性

讨论椭圆-椭圆、双曲-椭圆型的Davey-Stewartson方程初值问题的H^δ-解和散射算子在H^δ空间的存在性.证明了在任意初值下局部解的存在惟一性;对初值属于H^δ空间的带形区域的情况,得到整体解的存在惟一性;类似地,散射算子将H^δ空间的带形区域映射到H^δ空间中.     

G-旋模型观测量代数间的C*-指标

在取值于有限群G的二维格子旋系统模型中, 可以定义场代数F. 群G的Double代数D(G), 进而由子群H决定的子Hopf代数D(G;H), 在F上有自然作用, 使得F成为模代数. 给出F的D(G; H)-不变子空间A_H的具体结构, 通过构造A_H到A_G的条件期望γ_G的拟基, 得到γ_G的C^*-指标, 等于子群H在G中的指标.     

CH-γ方程的4类有界波解

最近,许多作者研究过下面的CH-γ方程 u_t+c₀ u_x+ 3uu_x-α²(u_xxt+ uu_xxx+2u_xu_xx)+γ u_xxx=0,其中α², c₀和γ是参数.在该方程的有界波研究中,已有的文献主要考虑α²>0的情形,对于α²<0的情形,Dullin等叙述了3种有界波(正常孤立波、紧孤立波和周期尖波)的存在性,但没有给出具体证明.在这篇文章中,主要考虑α²<0的情形,文中不仅证明4种有界波(周期波、广义紧孤立波、广义扭波和正常孤立波)的存在性,而且还给出了它们的显式表达式或隐式表达式.为验证其结果的正确性,文中还用计算机绘出了几组有界波解的图形以及它们的数值模拟图.     

某些正则p-群的分类及其应用

给出了型不变量为(e,1,1,1) (e≥2)和 (1,1,1,1,1)的正则p-群的分类, 并由此给出了p⁵ (p≥5且p为奇素数)阶群的分类.     

广义k-合冲模

首先引入广义k-合冲模的概念, 然后给出了由广义k-合冲模组成的模范畴与由ω-k-挠自由模组成的模范畴是一致的一个等价刻画. 进一步研究了由广义k-合冲模组成的模范畴的扩张闭性. 推广了一些已知结果.     

高次Koszul模

引进了高次Koszul模, 从而推广了Koszul模的概念. 对于分次代数Λ , 考察了可线性表现分次模范畴L (Λ)与其全子范畴K_t(Λ), 即t-Koszul 模范畴的关系.即使当t =2时, 对满足L (Λ)=K₂(Λ)的代数L进行分类仍是一个未解决的问题. 对于任一正整数t≥2, 给出了满足L (Λ)=K_t(Λ)的单项代数L的组合分类.     

局部域的K2群中的一类挠元素

证明了(K₂Q_p(z_p))_I=G_p(Q_p(z_p)); 还证明若n|w(Q₅ (z₅)), 则(K₅Q₅(z₅))_n=G₅(Q5₅(z₅)), 这说明对于含有p次本原单位根的p局部域, 如果p|n, 则Browkin猜想一般不成立. 由此提出一个一般猜想. 另外, 否定了Urbanowicz的一个猜想.     

有限群的极小子群与p-幂零性

有限群G的子群H称为在G中是c-可补的(c-supplemented in G), 如果存在G的子群K, 使得G = HK且H∩K≤core(H). 获得了如下结论: 设G是与S₄无关的有限群, 如果P∩G^N 的每一极小子群均在N_G(P)中c-可补, 且当p= 2时P与四元素群无关, 则G是p-幂零的. 这里p是G的阶的最小素因子, P是G的Sylow p-子群. 作为这一结果的应用, 一些已知的结果被推广.     

k-临界2k-连通图

图G 称为(n, k)-图, 如果对任一SÍ V(G) (|S|≤k)有k(G-S)=n-|S|, 其中k(G)表示G的连通度. Mader猜想当k≥3时K_2k+2-(1-因子)是惟一的(2k, k)-图. M. Kriesell 解决了k = 3, 4的特殊情形. 对k≥5的一般情形, 证明了该猜想成立.     

构造k紧优双环网的无限族的新方法

双环网(double loop network)是具有n个结点和出度为2的有向循环图, 已广泛地应用于局域网和分布系统的设计中. 给出了构造k紧优双环网的无限族的新方法,对于k=0,1,…,40,用此方法可构造k紧优双环网的无限族, 其中结点数n_k(t,a) 是t的二次多项式且含有参数a; 并提出了一个猜想.     

p-Laplace方程解的渐近性质

对p-Laplace方程讨论了当p趋于无穷时解的渐近性质.