K2Q的某些有限阶元素

本文证明了若n≥2,则G2n3m(Q)是K2Q的子群当且仅当n=2,m=0,并且通过改进[1]的方法,还证明了G25(Q),G49(Q)和G27(Q)都不是K2Q的子群,从而部分地证实了Browkin的一个著名猜想.     

链状正则图的平均距离

本文构造了一类链状正则图G_k∶δ,求出了它们的平均距离D(G_k.δ),并得到关系式上式等号成立当且仅当δ=4f且k=0.这个估计式指出了施容华猜想[1]D(G)≤n/(δ 1)不成立. 文中进一步证明了这一类链状正则图有最大的直径,所以可以作出猜想: 若G是n阶连通图,则D(G)<(n 1)/(δ 1),其中δ是图G的最小度。     

平面图最小平衡二部划分的上界

关于平面图的平衡二部子图的研究有一个猜想:任意一n个顶点的平面图G(V,E),必含有一个平衡二部子图G(V_1,V_2)使得e(V_1,V_2)≤n.证明了若n个顶点的哈密尔顿平面图G(V,E)中含有一个近似等边三角形,n≥18,那么G(V,E)必含有一个平衡二部子图G(V_1,V_2)使得e(V_1,V_2)≤n.     

图G_n的优美表示

将给出三个结果:(i)如果图G是SZ(|S|=n≥2)上的整数和图,那么0∈S当且仅当图G至少有一个(n-1)度顶点;(ii)图G(G≠K2)是至少有两个零点的整数和图当且仅当G■K2·Gn;(iii)设图G(G≠K2)是SZ上的整数和图,|S|=n+2,n∈N+.若图G至少有两个零点,则S={mx|m=-1,0,1,2,…,n;x∈Z且x≠0}.     

关于域的K_2群的挠

设F是域,记G_n(F)={{a,Φ_n(a))∈K_2(F)|a,Φ_n(a)∈F_~*},这里Φ_n(x)是n次分圆多项式.首先,使用关于数域上的Mordell猜想的Faltings定理证明了若F是数域,n≠1,4,8,12且含有平方因子,则G_n(F)不是K_2(F)的子群;然后,使用Manin,Grauert,Samuel和李克正关于函数域上的Mordell猜想的结果,对代数闭域上的函数域证明了类似的结果.     

二部图平衡二部划分的上界

设G(V,E)是一个图,V_1,V_2是V的一个二部划分,当||V_1|-|V_2||≤1时,称V_1,V_2是V的一个平衡二部划分,用e(V_1,V_2)表示一条边的两个端点在不同划分里边的总数目.最小平衡二部划分是指寻找G(V,E)的一个平衡二部划分使得e(V_1,V_2)最小.研究了二部图和哈密尔顿二部图,得到它们的最小平衡二部划分的上界分别为[m/2]和(n+2)/2.     

无向循环图的同构

设n>l是自然数,K是自然数集{1,2,…,n-1}的子集。本文证明了下列两个结论 (1)如K={k_1,k_2,n-k_1,n-k_2},则4度无向循环图G_n(K)满足dám猜想。 (2)如n为偶数,K={k_1,k_2,n/2,n-k_1,n-k_2},则5度循环图G_n(K)满足dám猜想。 第一个结论解决了F.Boesch和B.Tindell关于4度无向循环图同构的猜想。就度数而言,所得到的结论是最好可能的。     

一个矩阵方程的解及J.M.Hammersley猜想

此处 C 是某个常数,J 是 n×n 的全1方阵.用图论的术语可把 A 看成某个 n 阶有向图G=(V,E)的相邻矩阵.即如记 V={x_1,x_2,…,x_n),则弧(x_i,x_j)∈E,当且仅当a_(ij)=1.这样得到的图 G 称为 A 所对应的图.如果 A 是方程(1)在约束(2)—(4)下的解,则对应的图 G 应具性质:     

论域上和可换环上的群代数的Jacobson根基

本文讨论charK=p≠0之域K上的有限群群代数K[G]的Jacobson根基,推广Bedl关于Frobenius群群代数之J—根基的结果,并讨论特征为P~t的可换环上的群环的J—根基。本文记法同[1]。 §Ⅰ特征为p≠0的域K上有限群群代数的根基 Maschke定理指出,若ο(G)<∞,则JK[G]=0当且仅当chark=0或charK=p且p(G)。对于charK=p且p|o(G)的情况[2]指出:若G是有补P的Frobenius群,P是G的Sylow p—子群,则JK[G]=∩JK[P~x]K[G]。对于满足上述条件的K[G],x∈G     

广义图K(n,m)的点强全色数

图G(V,E)的一个正常k-全染色σ称为G(V,E)的一个k-点强全染色,当且仅当v∈V(G),N[v]中的元素着不同颜色,其中N[v]={u vu∈V(G)}∪{v};并且χvTs(G)=m in{k存在G的一个k-点强全染色}称为G的点强全色数.本文确定了完全图Kn的广义图K(n,m)和乘积图Lm×Kn的点强全色数.     

均衡二部图中点不交的4-圈和6-圈（英文）

设G=(V_1,V_2,E)是一个均衡二部图满足|V_1|=|V_2|=n.令δ_(1,1)(G)=min{d(x)+d(y)|x∈V_1,Y∈V_2}.Amar猜想对任意的s个整数(n_1,n_2,…,n_s),n=n_1+n_2+…+n_s,其中n_i≥2.若δ_(1,1)(G)≥n+s,则G含s个点不交的圈,其长分别为2n_1,2n_2,…,2n_s(见[Discrete Math.,1986,58(1):1-10]).本文证明了若一个点数为4k的均衡二部图G满足δ_(1,1)(G)≥2k+4(k≥3),则G含k-3个4-圈和2个6-圈使得所有这些圈都是点不交的.     

图Gn的优美表示

将给出三个结果：（i）如果图G是SZ（｜S｜=n≥2）上的整数和图,那么0∈S当且仅当图G至少有一个（n-1）度顶点;（ii）图G（G≠K2）是至少有两个零点的整数和图当且仅当G■K2·Gn;（iii）设图G（G≠K2）是SZ上的整数和图,｜S｜=n＋2,n∈N＋.若图G至少有两个零点,则S={mx｜m=-1,0,1,2,…,n;x∈Z且x≠0}.     

最大度不大于5的Halin-图的点强全染色

图G(V,E)的一正常k-全染色f称为G(V,E)的一k-点强全染色当且仅当任意( A)v∈V(G),N[v]中的元素染不同色,其中N[v]={u|uv∈V(G)}U{v},并且XusT(G)=min{k|存在G的k-点强全染色}称为G(V,E)的点强全色数.本文得到了△(G)≤5的Halin-图G(V.E)的XusT(G),并提出如下猜想设G(V,E)为每一连通分支的阶数不小于6的图,则XusT(G)≤△(G)+2,其中△(G)表示图G的最大度.     

函数f(x)=a/(sin~nx) b/(cos~nx)最小值猜想的推广

文[1]中猜想:f(x)=a/sin~nx b/cos~nx(00,由均值不等式得:nAsin2x 2amsinmnx=Asin2x Asin2x … Asin2x asinmnx sinamnx … sinamnx≥(n 2m)(Ana2m)n 12m.nAcos2x 2bmcosmnx=Acos2x Acos2x … Acos2x bcosmnx cosbmnx … …     

若干图的点强全着色

图G(V,E)的一正常k-全着色σ称为G(V,E)的一个k-点强全着色,当且仅当v∈V(G),N[v]中的元素着不同颜色,其中N[v]={u|vu∈E(G)}∪{v}.并且vχsT(G)=min{k|存在G的一个k-点强全着色}称为G(V,E)的点强全色数.本文得到了一些特殊图的点强全色数χvTs(G),并提出猜想:对于简单图G,有k(G)≤χvTs(G)≤k(G)+1,这里k(G)表示图G中所有顶点间距离不超过2的点集的最大顶点数.     

关于2-边连通3正则图荫度的一个注（英文）

图G的点荫度a(G)是G的使得每个子集诱导一个森林的顶点划分中子集的最少个数.我们熟知对任何平面图G,a(G)≤3,且对任何直径最大是2的平面图有a(G)≤2.文献[European J.Combin.,2008,29(4):1064-1075]中给出下列猜想:任何没有3-圈的平面图都有一个顶点的划分(V_1,V_2)使得V_1是独立集,V_2诱导一个森林.本文证明了任何2-边连通上可嵌入的3-正则图G(G≠K_4)都有一个顶点的划分(V_1,V_2)使得V_1是独立集,V_2诱导一个森林.     

积图P_m×C_(4n)的k-优美性

是一一映射。(参见[1、2]) 简单图G_1=(V_1,E_1)与G_2=(V_2,E_2)的积图G=G_1×G_2=(V,E)指的是:V=V_1×V_2,而点(v_1,v_2)与(ν′_1,v′_2)间有边且或且。 本文讨论积图P_m×C_(4n)的k-优美性,这里m,n,k皆为正整数,而P_m表示m个点的链,C_(4n)表示4n个点的简单回路。     

(I,K)-(m,n)-内射环

引入了(I,K)-(m,n)-内射环的概念,给出了(I,K)-(m,n)-内射环的等价刻划.讨论了(I,K)-(m,n)-内射环与(I,K)-(m,1)-内射环之间的关系及左(I,K)-(m,n)-内射环和右(I,K)-(m,n)-内射环的关系.证明了R是右(I,K)-(m,n)-内射环当且仅当如果z=(m1,m2,…,mn)∈Kn且A∈Im×n,rR(A)∈rRn(z),则存在y∈Km,使得z=yA推广了已知的相关结论.     

两类分布函数的投影寻踪随机经验分布的极限分布

X为m维随机向量,X_1,X_2,…,X_n是来自母体X的子样,Z～N_m(0,I_m),{B_m>0}为实数列,经验分布 F~n_(Z/(BM))(x)=1/n#{i:Z＇X_4/B_40,X～N_m(u,V),若M→∞时, B_m~(-2)T_r(V)→σ~2,B_M~(-2)∥u∥~2→0,B_m~(-2)(T_r(V_2) 2u＇Vu)→0,那么 F_n~(Z/(Bm))(x)(?)N(0,σ~2) 当n→∞ m→∞。     

Kantorovitch算子的L^＊M逼近

1.符号与基本结果对对[0,1]上的可积函数f(x),Kantorovitch算子定义为: K_n(f,x)=(n+1)sum from k=0 to n(p_(n-K)(x)integral from ?(f(t)dt)其中p_(n-K)(x)=(n K)x~K(1-x)~(n-K),I_K=[K/(n+1),(K+1)/(n+1)]。记M(u)是N-函数,N(v)是其young意义下的余函数,用M(u)∈△_2表示,存在正数c,u_0满足