两类G_t~s(a,b;c,d)图的着色

在综述国内外关于广义多边形树Gst(a,b;c,d)着色研究的基础上,对一些广义多边形树Gst(a,b;c,d)(s t=2)组成的图类2ξ(a,b;c,d)的着色、色唯一和色等价类等相关问题进行了研究,得到了两类特殊图2ξ(m,m;m,m)(m≥2)和2ξ(a,a;b,b)(a≠b)且min{a,b}≥2是两个色等价类的结论.     

两类Gst(a,b;c,d)图的着色

在综述国内外关于广义多边形树Gst(a,b;c,d)着色研究的基础上,对一些广义多边形树Gst(a,b;c,d) (s t=2)组成的图类ξ2(a,b;c,d)的着色、色唯一和色等价类等相关问题进行了研究,得到了两类特殊图ξ2(m,m;m,m) (m≥2)和ξ2(a,a;b,b) (a≠b)且min{a,b}≥2是两个色等价类的结论.     

关于丢番图方程(p~x+q~y=2~z)(200<max{p,q}<300)

设a,b,c是正整数,p,q是不同奇素数,200max{p,q}300.讨论了丢番图方程ax+by=cz的一个特殊情形.借助计算机,利用初等方法和高等方法的结果给出了指数丢番图方程px+qy=2z的全部非负整数解.     

典型群PSpn(q)与2-(v,k,1)设计

设d是－2－（v,k,1）设计，G是d上的区传递，点本原且非旗传递的自同构群，如果G＝PSpn(q)（n≥14，q为偶数），则下列之一成立：Gp∈l1且Gp不是SPm（q）⊥SPn-m(q)型的（m≥）；（2）Gp∈l8。     

关于丢番图方程x2+b2y1=c2z1的解

设s,t∈N+,(s,t)=1,s>t,且a=2st,b=s2-t2,c=s2+t2.用初等方法证明了当c为素数幂时,丢番图方程x2+b2y1=c2z1仅有正整数解(x,y1,z1)=(a,1,1),推广了相关结果.     

一类Gk(a,b;c,d)图的着色

令Gk(a,b;c,d)表示θ(a,b,c k)∪ Pd(d≥2),其中Pd的一个端点与θ(a,b,c k)的一个3度点u重合,Pd的另一个端点w在Pc k上,且Pc k上w与θ(a,b,c k)的另一个3度点v间的路长为k.给出了G2(m,m;m,m)(m≥2)的着色.     

Parsons图G(2,b,q)的围长

证明了Parsons图G( 2 ,b ,q)的围长 g(G( 2 ,b ,q) ) ≤ 4。而对某些b∈GF( q) ,有 g(G( 2 ,b ,q) ) =3。同时证明了G( 2 ,0 ,2 n)是可 1 -因子分解的。     

5-桥图的色性

由连接两个顶点的s条内部不交的路组成的图叫s-桥图,记作F（k1,k2,…,ks）.本文给出了5-桥图F（3,a,b,c,d）（d≥c≥b≥a≥3）是色唯一的充分必要条件.     

关于丢番图方程(na)x+(nb)y=(nc)z(c=65,89,101)

设a,b,c为两两互素的正整数且满足a2+b2=c2.1956年,Je?manowicz猜测丢番图方程(na)x+(nb)y=(nc)z仅有正整数解x=y=z=2.此利用初等方法证明了:对于任意的正整数n,除去x=y=z=2外,丢番图方程(56n)x+(33n)y=(65n)z,(80n)x+(39n)y=(89n)z和(20n)x+(99n)y=(101n)z无其他的正整数解,即当(a,b,c)=(56,33,65),(80,39,89)和(20,99,101)时,Je?manowicz猜想成立.     

本原勾股数组数G(x)的渐近阶猜想的证明

丢番图方程 a2 b2 =c2 满足条件 a >0 ,b>0 ,c>0 ,(a,b) =1的整数解 (a,b,c)称为本原勾股数 .设 x为给定的正实数 ,用 G(x)表示弦 c≤ x的所有本原勾股数 (a,b,c)的组数 .在此证明了文 [1 ]提出的本原勾股数组数 G(x)的渐近阶猜想 G(x) =1πx O(x12 logx)的正确性 ,由此推得 limx→ ∞G(x)x =1π,即弦 c≤ x的所有本原勾股数 (a,b,c)的组数的平均阶为 1π.     

关于路核和路剖分的新研究

图G的最长路的阶称为环游阶,记为τ（G）。顶点集V（G）的子集S称为图G的Pn-核,如果满足τ（G[S]）≤n-1且V（G）-S的每一个顶点v都与G[S]中阶为n-1路的端顶点相连。把顶点集V（G）剖分成A,B两部分,使得τ（G[A]）≤a和τ（G[B]）≤b,此剖分称为图G的一个（a,b）-剖分。本文证明了对于n≤3g/2-1的正整数,任意围长为g的图都有一个Pn＋1-核。并且还得到,如果τ（G）=a＋b,其中1≤a≤b,图G的围长g≥2/3（a＋1）,那么G有一个（a,b）-剖分。     

图的反全符号控制数

设G=（V,E）是一个非空图,对于一个函数f∶V（G）∪E（G）→{-1,1},则称f的权重为w（f）=∑x∈V（G）∪E（G）f（x）。若x∈V（G）∪E（G）,定义f[x]=∑y∈NT[x]f（y）。如果对所有的x∈V（G）∪E（G）都有f[x]≤1,则称f是图G的一个反全符号控制函数。G的反全符号控制数定义为γ＊...     

一类满足非Ambrosetti—Rabinowitz型超二次条件的受追二阶Hamilton系统次调和解

考虑一类受迫的二阶Hamilton系统,其中q—Kq（t,q）＋Wq（t,q）=f（t）,其中K,W和f关于变量t都是T-周期的,K满足b1│q│^2≤K（t,q）≤b2│q│^2,W满足非Ambrosetti—Rabinowitz型超二次条件（△W（t,q）,q）-2W（t,q）≥d2│q│^-β（t）．对每个k∈N,利用山路引理的一个变形,可以证明上述系统存在非平凡的2kT-周期解（即次调和解）．     

单参数平均、对数平均和指数平均之间的一个精确的双向不等式

利用初等微分学比较了单参数平均与对数和指数平均的几何组合,发现了使得双向不等式Jp（a,b）〈Iα（a,b）L1-α（a,b）〈Jq（a,b）对α∈（0,（17~（1/2）-3）/2]和所有a,b〉0且a≠b成立的p的最大值和q的最小值,其中Jp（a,b）,L（a,b）和I（a,b）分别表示a与b的p-次单参数平均、对数平均和指数平均.     

无K_(1,t)图的L(d,1)-T标号

给定一个连通图G=(V,E)及其一棵支撑树T,图G的一个L(d,1)-T标号即函数g:V(G)→{0,1,2,…},满足:(1)如果xy∈E(G),则|g(x)-g(y)|≥1;(2)如果dG(x,y)=2,则|g(x)-g(y)|≥1;(3)如果xy∈E(T),则|g(x)-g(y)|≥d.假设图G有一个L(d,1)-T标号函数g:g(V){0,1,2,…,k},则图G的所有L(d,1)-T标号函数中最小的整数k记为L(d,1)-T标号数λdT(G,T).本文证明了若G是无K1,t(3≤t≤n)的连通图,其最大度为Δ,|G|=n,T为G的任意支撑树,则λdT(G,T)≤tt--12Δ2+Δ+2d-2.     

谱V（1）稳定同伦群中的新元素

设奇素数p≥11,q=2（p-1）,A为模p的Steenrod代数．证明了在Adams谱序列中,b1k0∈ExtyA^4,p2q＋2pq＋q是永久循环且不是dT边缘,从而收敛到π＊V（1）中的非零元．     

Spin因子上的Jordan三元映射

设R是实数域,H是维数≥2的实的Hilbert空间并且A=H＋R·1为对应于的Spin因子.如果从A到它自身的双射Ф满足：（1）任给a,b,c∈A,都有Ф（{abc}）={Ф（a）Ф（b）Ф（c）};（2）Ф｜R·1是可加的,则H上存在唯一的酉元U,使得任给x∈H,α∈R,都有Ф（x＋α·1）=Ux＋α·1或Ф（x＋α·1）=-Ux-α·1.     

关于群的幂自同态的一个注记

设f：G→G是群G的自同态,满足f（x）＝xn（？x∈G）,证明了G是交换群当且仅当n＝-1或2;设M＝｛n｜f：G→G是群G的自同态,满足f（ x）＝xn ,？x∈G｝,证明了G是交换群当且仅当n遍历M中所有元时,所有形如n（ n-1）元的最大公因数为2．     

丢番图方程a^x＋b^y=c^z的正整数解

设m为正整数,且a=m^7-21m^5＋35m^3-7m,b=7m^6-35m^4＋21m^2-1,c=m^2＋1．本文同时利用2个代数数的线性型下界估计以及2个有理数方幂之差的p-adie值的下界估计的一些深入结果,证明了对正整数m≥2．4×10^9,丢番图方程a^x＋b^y=c^z仅有正整数解（x,y,z）=（2,2,7）．     

一类四元数矩阵保左特征值的线性映射条件

设Q表示四元数集合,Mn(Q)表示n×n四元数矩阵的集合.若M、N∈Mn(Q)分别是下三角可逆四元数矩阵且φ(A)=MAN,证明了对于任意下三角四元数矩阵A∈Mn(Q),如果φ(A)与A具有相同的左特征值,当且仅当M、N和A中的元素mss,nss和ass的虚部对应成比例,且mssnss=1,或虚部对应为零.