经典Ramsey数R(4,12),R(5,11)和R(5,12)的新下界

已知经典Ramsey数R(m,n)(m,n≥2)是一定存在的,但确定经典Ramsey数R(m,n)是组合数学和图论中著名的难题,至今在理论和方法上尚未见到取得突破的迹象,因此近年来各国学者主要用各种方法借助计算机对一些具体的Ramsey数给出估计。王清贤、谢继国等人沿用文献[4]的方法研究一般的循环图,得到一些Ramsey数的下界。这种方法在用字典排列法产生参数时,由于大量同构的图均要一一考察,占用大量计算机机时。因此我们作出新的尝试:利用素数阶循环图的平移和旋转等性质改进了产生参数的方法,提高了运算效率,得到3个Ramsey数的新下界。     

经典Ramsey数R(4,12),R(5,11)和R(5,12)的新下界

<正>已知经典Ramsey数R(m,n)(m,n≥2)是一定存在的,但确定经典Ramsey数R(m,n)是组合数学和图论中著名的难题,至今在理论和方法上尚未见到取得突破的迹象,因此近年来各国学者主要用各种方法借助计算机对一些具体的Ramsey数给出估计。王清贤、谢继国等人沿用文献[4]的方法研究一般的循环图,得到一些Ramsey数的下界。这种方法在用字典排列法产生参数时,由于大量同构的图均要一一考察,占用大量计算机机时。因此我们作出新的尝试:利用素数阶循环图的平移和旋转等性质改进了产生参数的方法,提高了运算效率,得到3个Ramsey数的新下界。     

经典Ramsey数R(5,9)和R(5,10)的下界

由于Ramsey数的确定十分困难,人们往往利用求Ramsey数上、下界的方法来逼近其精确值。表1中列出目前已知的R(5,l)的所有下界。 对较小的Ramsey数,确定下界的方法     

环Z/(m)上多值逻辑函数相关免疫的Chrestenson谱特征

设Ｒ是一个整数剩余类环或有限域,如何用Ｃｈｒｅｓｔｅｎｓｏｎ谱等价地刻划Ｒ上一个多值逻辑函数是否为ｋ阶相关免疫,文献[1]得到了一个必要条件,文献[2～4]分别得到了Ｒ=Ｚ/(ｐ)[2],Ｒ=Ｚ/(ｐ),Ｚ/(4)或Ｚ/(6)[3],以及Ｒ=ＧＦ(ｑ)[4]情形时的充分必要条件.本文给出了Ｒ是一般的整数剩余类环时问题的解答.　　设Ｒ=Ｚ/(ｍ)为整数模ｍ剩余类环,Ｒ上一个ｎ元多值逻辑函数是Ｒ上一个ｎ元多项式ｆ(ｘ1,…,ｘｎ).设ｘ1,…,ｘｎ为Ｒ上彼此独立且等概分布的随机变量,如果ｚ=ｆ(ｘ1,…,ｘｎ)与ｘ1,…,ｘｎ中的任意ｋ个随机变量统计独立,则称ｆ(ｘ1…     

实二次数域类数h(K)=1问题

利用文献[1]等关于丢番图方程的结果和连分数等理论,本文对实二次域K,特别是其中的ERD型域,将给出一系列关于理想类数h(K)=1和h(K)>1的判定定理。实二次域类数问题自从Gauss提出猜想以后,文献很多。例如陆洪文在文献[2—4]中有关于类数为1问题的很深刻的结果。我们在文献[5]中决定了类群的子群特别是类数的因子。对ERD型二次域,最近有许多结果(可见文献[6]及所引结果),但问题也远未解决。     

关于Lyness方程的Ladas猜想的一个反例

考虑下列具有变系数的Ｌｙｎｅｓｓ方程ｘｎ 1=ｘｎ ｂｎｘｎ-1,ｎ=0,1,2,…,()其中系数ｂｎ是有界的非负实数序列,初值ｘ-1,ｘ0是任意正数.对方程(),当ｂｎ≡1时,Ｌｙｎｅｓｓ[1]发现其解是5＿周期的;当ｂｎ≡ｂ∈(0,∞)时,Ｋｏｃｉｃ和Ｌａｄａｓ[2,3]研究了其解的有界保持性;Ｇｒｏｖｅ等人[4]得到它的解的不变性,并由此得出:定理　方程()的任何非平凡解的极限不存在.但是当系数ｂｎ是变化的时候,定理是否仍然成立呢?Ｌａｄａｓ在文献[5]提出了下列猜想:猜想　假设{ｂｎ}是有界单调的,则方程()的任何非平凡解的极限不存在.对此猜想,本文…     

球面均匀分布PPCM检验统计量关于维数与样本量的Berry-Esseen界和LIL

Ｘ1,Ｘ2,…,Ｘｎ为ｉ.ｉ.ｄ.ｐ维随机向量,分布函数为Ｆ(ｘ).崔恒建[1]定义了如下ＰＰＣｒａｍ啨ｒ＿ｖｏｎＭｉｓｅｓ检验统计量:ＣＭｎ,ｐ=∫ａ∈Ｓｐ-1∫∞-∞ｎ[Ｆａｎ(ｘ)-Ｆａ(ｘ)]2Ｗ(Ｆａ(ｘ))ｄＦａ(ｘ)ｄμ(ａ),(1)其中Ｆａｎ(ｘ)=1ｎ∑ｎｉ=1Ｉ[ａ′Ｘｉ≤ｘ]为ａ′Ｘ1,ａ′Ｘ2,…,ａ′Ｘｎ的经验分布函数.Ｆａ(ｘ)=Ｐ(ａ′Ｘ1≤ｘ)是ａ′Ｘ1的分布函数,μ(·)是Ｓｐ-1={ａ:ａ∈Ｒｐ,‖ａ‖=1}上的均匀测度.在零假设Ｈ0:Ｘ1服从Ｓｐ-1上的均匀分布下,Ｆａ(ｘ)Ｇ(ｘ)=∫ｘ-1ｇ(ｕ)ｄｕ,其中,ｇ(ｕ)=Γｐ2Γ12Γｐ-12(1-ｕ2)ｐ-22,…     

赋Orlicz范数的Orlicz空间的凸系数

以[Ｘ,‖·‖]记Ｂａｎａｃｈ空间,Ｘ的凸系数定义为:ε0(Ｘ)=ｓｕｐ{ε∈[0,2]:δＸ(ε)=0}.此处δＸ(ε)=ｉｎｆ{1-‖(ｘ+ｙ)/2‖:‖ｘ‖≤1,‖ｙ‖≤1,‖ｘ-ｙ‖≥ε}是Ｘ关于ε的凸性模,ε∈[0,2].凸系数表征空间单位球的总体凸性程度,在逼近论、控制论等众多学科中有重要应用.如所周知,ε0(Ｘ)=0等价于空间的一致凸;ε0(Ｘ)<2等价于空间的一致非方.由于Ｌｐ,ｌｐ(ｐ>1)是一致凸空间,其凸系数自然等于零.而Ｏｒｌｉｃｚ空间则不然.Ｈｕｄｚｉｋ等人[1]、王保祥等人[2]及崔云安[3]已对赋Ｌｕｘｅｍｂｕｒｇ范数的Ｏｒｌｉｃｚ空间的凸系…     

临界2棱连通图的最大度及度大于4的点数

设G是临界2棱连通图,D是G中2度顶点集合,D_(≥2k-1)(G)={x:(x∈G)∧(d(x)≥2k-1)},D_(2k-1):2k(G)={x:(x∈G)∧(2k-1≤d(x)≤2k)},其中k是自然数。[a]表示不大于a的最大整数。我们得到如下结果:     

P(n,4)与A(n,4)的简单统一显式

设P(n,k)为整数n分为k部的无序分析的个数,每个分部≥1.这个数已成为组合图论和数论里的重要数据,应用广泛,但却十分难于具体计算.为此,作者已给出P(n,k)的降部恒等式和快速计算的几个定理.但对每一k≥4而言,迄今无法求出简单统一的公式,目前只有 P(n,2)=[n/2]简单统一的公式,目前只有和p(n,3)=.又设A(n,k)为下述Diophantos方程sum from i=1 to k(ix_i)=n (1)的非负整数解的个数.尽管方程(1)看来很特殊,但求A(n,k)也是十分困难的.迄今只有 Hardy给出的 A(n,3)=<(n+3)~2/12>.人们至今无法给出简单统一的 A(n,4).本文所有记号与文献[1,2]相同,表示距实数x的最近整数,并记r=1-(-1)~n/2=0(当n为偶数),1(当n为奇数)(2)本文主要的结果是引理1(转换关系)     

高温相Cu_4In,Cu_9In_4(h)和Cu_2In(h)的粉末衍射数据

一、引言 在Cu-In系相图中示出三个高温金属间相:β相(X_(In)=18.5—24.5at.％,T=847-—893K);γ相(X_(In)=27.7—31.3at.％,T=891—957K)以及η相(X_(In)=33—37.6at.％,T=713—940K)。β相=Cu_4In(W型)的结构在文献[2]中首次被建议。文献[3]认为γ相=Cu_9In_4(h)的结构与γ黄铜同晶型。通过X射线、金相和差热分析研究,文献[4]指出:在     

方程sum from i=1 to n(x_i/d_i)≡0(mod1)的解数和解的最小值

文献[1～3]论及了方程∑ｎｉ=1ｘｉｄｉ≡0(ｍｏｄ1),1≤ｘｉ≤ｄｉ-1,ｉ=1,2,…,ｎ(1)在估计有限域上对角方程的解数中的作用,给出了基本性质与若干缩减过程.更进一步使用与扩展这些性质与方法,本文给出下列各定理.本文的记号同文献[1,2]中基本一致,主要有:Ｉ(ｄ1,…,ｄｎ)表示方程(1)的解的个数;设Ｉ(ｄ1,…,ｄｎ)>0,定义Ｌ(ｄ1,…,ｄｎ)=ｍｉｎ∑ｎｉ=1ｘｉｄｉ∑ｎｉ=1ｘｉｄｉ≡0(ｍｏｄ1),1≤ｘｉ≤ｄｉ-1,ｉ=1,2,…,ｎ.定理1　1)若Ｉ(ｄ1,…,ｄｎ)=5,6,7或9,则Ｌ(ｄ1,…,ｄｎ)=ｎ2,这里记号[ｘ]表示不超过ｘ的最大整数.2)若Ｉ(ｄ1,……     

反应温度控制的Zn(Ⅱ)配合物的合成及吸附性能

利用三[4-(1,2,4-三氮唑基)苯基]胺(T3)和羧酸辅助配体与Zn(II)盐在溶剂热及分层条件下反应,合成了2个配位聚合物:[Zn3(T3)(BDC)3(H2O)3]·4H2O(1,H2BDC,对苯二甲酸和[Zn3(T3)2(H2O)6]·(BDC)3·12H2O(2).配合物1在160℃下通过溶剂热反应得到,具有八重贯穿srs型拓扑的三维结构;配合物2在室温下通过分层法得到,具有kgd型拓扑的二维网络结构.研究了配合物的热稳定性和配合物1的吸附性能.结果表明,配合物1可以选择性地吸附水蒸气和甲醇,而对乙醇没有吸附.     

一类高斯过程在高水平u上的逗留

在此设{Ｘ(ｔ),Ｔ1≤ｔ≤Ｔ2}是一可分、可测的高斯过程,具有零均值.假定其协方差函数Γ(ｓ,ｔ)具有连续一阶偏导,当ｓ≠ｔ时相关系数ｒ(ｓ,ｔ)≠1.在[Ｔ1,Ｔ2]上方差函数σ2(ｔ)>0有ｍ个局部极大点依次为Ｔ1<ｔ1<ｔ2<…<ｔｍ<Ｔ2,简记σ(ｔｉ)=σｉ.假定存在ｖ=ｖ(ｕ)↑∞(ｕ↑∞),使下列极限存在为非零实数:对1≤ｉ≤ｍｌｉｍｕ→∞ｕ2ｖσ′(ｔ)=ｇｉ,　　ｔ介于ｔｉ与ｔｉ ｓ/ｖ之间与ｌｉｍｕ→∞ｕ2ｖ(Γ(ｔｉ ｓ/ｖ,ｔ))′ｔ=ｈｉ,　　ｔ∈(ｔｉ ｓ/ｖ,ｔｉ ｓ′/ｖ),其中实数ｓ<ｓ′.引入以下记号:将[Ｔ1,Ｔ2]分成ｍ个不相交的区间…     

关于迭代方程sum from i=1 to n(λ_if~i(x))=F(x)解存在性的讨论

一、引言本文讨论迭代方程λ_1f(x)+λ_2f~2(x)+…+λ_nf~n(x)=F(x),其中:f~o(x)=x,f~k(x)=fof~(k-1)(x),λ_i∈R~1。关于方程(1)的讨论直接源引于迭代根问题:求适当连续函数f:[a,b]→[a,b]。使     

高次非线性薛定谔方程(Ⅱ)

从文献[1]的方程(2)出发,可得出斑图(pattern)的演化过程.贺贤土和谭昱采用波数移动法和在不稳定波数的上界k_h(考文献[1]的(6)式)附近作小参数展开的方法得出,在调制不稳定性的波数范围,存在不同的斑图和它们的相互竞争.数值计算表明,对于不同的初值,至少有4种斑图形式存在.设Ⅰ型斑图为ρ_T(x,t),则Ⅱ型斑图ρ_п(x,t)=ρ_T(x (L/2),t),这里L为系统的周期长度.Ⅲ     

曲面广义Gauss映射像的体积

设R~n(c)是n维实空间形式.当c=0时,R~n(c)=E~n;当c=1时,R~n(c)=S~n;当c=-1时,R~n(c)=H~n.欧氏空间E~n中极小曲面的全曲率等于其Gauss映射像的体积的-1倍。在文献[1]分别对球空间S~n和伪球空间H~n中极小曲面建立了类似结果.在文献[2]把这些结果推广到R~n(c)中伪脐曲面.本文进一步把这些结果推广到R~n(c)中任意曲面。     

I(L)与R(L)的连通性

本文沿用文[1]的术语和记号,证明:(1)对一般的L,LF单位区间I(L)连通;(2)若L存在元素m,使m∨m′=1,则LF实直线R(L)连通。     

广义Kac-Moody代数模的权链与权集

广义Kac-Moody代数的概念是由Borcherds首先引入的,普通Kac-Moody代数的许多结果都可推广到其上去(详见文献[1]和[2]中§11.13),本文讨论了广义Kac-Moody代数模L(A)的权链和权集的某些性质.设A=(a_(ij))_(n×n)为一实矩阵且满足(Cl)a_(li)=2或a_(ii)≤0,(C2)a_(ij)≤O,如果i≠j;a_(ij)∈Z,如果a_(ii)=2,(C3)a_(ij)=O当且仅当a_(ji)=0,     

饱和Prey-Predator模型的稳定性和一致持久性

本文考虑如下具有饱和的Ｐｒｅｙ＿Ｐｒｅｄａｔｏｒ模型ｕｔ-ｄ1Δｕ=ａｕ-ａ1ｕ2-ａ2ｕｖ1 ｍｕ,ｘ∈Ω,ｔ>0,ｖｔ-ｄ2Δｖ=ｂｖ-ｂ1ｖ2 ｂ2ｕｖ1 ｍｕ,ｘ∈Ω,ｔ>0,ｕ=ｖ=0,ｘ∈Ω,ｔ>0,ｕ(ｘ,0)=ｕ0(ｘ)≥0,0,ｖ(ｘ,0)=ｖ0(ｘ)≥0,0,ｘ∈Ω,　　(Ｐ)其中Ω是Ｒｎ(ｎ≥1)中的有界开集,且具有充分光滑的边界Ω,ｕ(ｘ,ｔ)和ｖ(ｘ,ｔ)分别表示两种生物种群Ｐｒｅｙ,Ｐｒｅｄａｔｏｒ的分布,ａ,ｂ,ｄ1>0,ｄ2>0,ａ1>0,ａ2>0,ｂ1>0,ｂ2>0,ｍ>0都是实数,模型(Ｐ)中的反应项是Ｈｏｌｌｉｎｇ＿Ｔａｎｎｅｒ型的.文献[1,2]讨论了模型(Ｐ)的平衡态…