标号可分解设计与可分解GD设计的构作

设V为包含v个元素的一个有限集,为V的一些k-子集(称作区组)组成的子集族,若V中任意一对不同的元素恰好在λ个区组中相遇,则称序对(V,(?))为一个平衡不完全区组设计,或简称为区组设计,记作S_λ(2,k;v)。     

关于Aurifeuillian分解的一个问题

设b>1是一个整数.对于某些b~n±1形式的数,Aurifeuille发现了特别的分解方法,称为Aurifeuillian分解.设p是奇素数,ξ=ξ_p表示p次本原单位根exp(2πi/p),(/)表示Jacobi符号.当p≡1(mod 4),N=(p~p-1)/(p-1)=p~(p-1)+p~(p-2)+…+p+1时,文献[2]给出了同余方程X~2≡p(mod N)的4个不同解±p~(p+1)/2,±sum from c=1to(p-1)(c/p)p~c.     

关于(p,p)型数域(p≤19)的单位群

设K为(p,p)型数域,即K是有理数域Q的Galois扩张,Gaiois群Gal(K/Q)=C_p×C_p,这里C_p表示P阶循环群,P是奇素数。可以证明K洽好有(p+1)个P次循环子域,记作K_i 1≤i≤p+1。设U和U_i分别是数域K和K_i的单位群;再记     

二次非剩余(mod p)之分布

令p为奇素数,(n/p)是通常的Legendre符号。记α(p)为最小的正整数n(modp)使得(n/p)=(n+1/p)=-1.关于α(p)的上界估计是数论中的困难问题之一。基于A.Weil的特征和估计立即有α(p) p~(1/2)logp.1963年,Burgess证明,若H     

(133,33,8)和(143,71,35)循环差集的唯一性

设■(v,k,λ)表示全体(v,k,λ)循环差集组成的集合。对于D_1、D_a∈■(v,k,λ),若存在整数t、s(gcd(t,v)=1),使得D_2≡tD_1 s(mod v),则称D_1和D_2是等价的,记为D_1～D_2。这样定义的关系“～”确为■(v,k,λ)     

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(转换关系)     

(40,13,4)循环差集

设D(v,k,λ)表示全体(v,k,λ)循环差集所组成的集合。对于D_1,D_2∈D(v,k,λ),若存在整数t,s(gcd(t,v)=1)使得     

有限酉几何与PBIB设计(Ⅰ)

设q为素数幂,F_q~2为有q~2个元素的有限域。F_q~2上满足T(?)′=I~(n)的n阶方阵T全体对于矩阵的乘法构成一个群,叫做F_q~2上的n级酉群,记作U_n(F_q~2)。用V_n(F_q~2)表示F_q~2上的n维向量空间。当把U_n(F_q~2)看作V_n(F_q~2)上的变     

关于变分方程零点问题一个分歧图定理

设E是一个实Hilbert空间,λ∈R,F∈C~2(E×R,R).假定F的梯度D_xF(x,λ)为A(λ)x+N(x,λ),其中N(x,λ)=o(|x|)对有界的λ一致,当X→θ时.下面考虑方程A(λ)x+N(x,λ)=θ (1)_λ的解问题.设0是A(0)的孤立本征值,且0相似文献   

S_p(4,K)的单模的扩张(Ⅱ)

设G=S_p(4,K),K是特征数p>0的代数闭域。在文献[1]中笔者对奇素数p完全确定了单G-模的扩张,本文讨论P=2的情形。由于对某些λ∈X_1(T),Ext_(G_1)~1(L(λ),L(λ))可以不等于零,相应的讨论要比奇素数p的情形复杂一些。除非另外说明,我们仍使用文献[1]的记号。     

不可约单纯设计B[4,2;v]与B[4,3;v,]的存在性

所谓一个平衡不完全区组设计B[k,λ;v]是这样一个序对(X,(?)),其中X是一个包含v个元素的有限集,(?)是由X的k-子集(称为区组)组成的一个子集族,使得X中任意一对不同的元素同时包含于λ个区组中。若一个B[k,λ;v]不包含重复区组,则称为单纯的。     

A_(a_1),A_(a_2)-B_bC_c型缩聚反应的回转半径研究

高分子反应体系的回转半径是描述高分子空间构象的一个重要物理量.Gordon曾利用随机支化理论研究了A_a型非线性缩聚反应体系的回转半径,并给出了该体系的数均、重均和Z均回转半径的计算公式,但用这一理论很难处理多组分的非线性缩聚反应体系.本文利用唐敖庆等人的高分子固化理论,进一步研究A_(a_1),A_(a_2)-B_bC_c型非线性缩聚反应体系,给出了这种体系中高聚物的数均、重均和Z均回转半径的计算公式.A_(a_1),A_(a_2)-B_bC_c型缩聚反应是指体系由三种单体组成,Ⅰ单体有a_1个A基,Ⅱ单体有a_2个A基,Ⅲ单体有b个B基和c个C基,反应仅在A基和B基、A基和C基之间进行.该体系的k次矩和k次回转半径的定义如下:     

可分解平衡不完全区组设计RBIB的存在性理论

一个t-(v,k,λ)设计(X,■)是指由一个v元集X和一个X的子集族■所构成的序对,■中的元素为X的某些k元子集(称为区组),而且X中任意的t元子集都恰好被包含在λ个区组之中。2-设计就是在实验设计中经常用到的平衡不完全区组设计(BIB)。如果     

关于整数集合的加性完备

设B是k个整数组成的集合,N是充分大的整数,假定对每个正整数n≤N,至少存在一个b∈B,使得n=λ~2+b,其中λ为正整数。Erds最早提出了k的下界估计问题,即是否存在c_0>0,使得k≥(1+c_0)N~(1/2),Moser首先定出了c_0=0.06,以后Donagi和Herzog证明了c_0=0.125;Abbott证明了c_0=0.147,他们都假设B为     

关于竞赛图的弧哈密顿回路性

竞赛图T=(V,A)称为具有孤h回路性,若对任一条弧e∈A,T中都有一个长为h的回路通过e。设|V|=p,则弧p回路性也称作弧哈密顿回路性。邵品琮和张存铨在全国第二次图论学术交流会上提出如下的猜想:若T是弧哈密顿的,则T具有弧k回路性,k=h,h 1,…,p,其中,4≤h≤p—1。如将这个猜想记作c(h),显然有:若c(h)成立,则对任一h′,p—1≥h′≥h,c(h′)也成立;反之,若c(h)不成立,则对任一h′,4≤h′≤h,c(h′)也不成立。现在,我们证明了如下的结果。     

有限几何与BIB设计的构作(Ⅰ)——利用有限几何的子空间构作BIB设计

设有v 个元素,称作处理,将它们安置在b 个区组中,使得i)每个处理都在r 个区组中出现,ii)安置在每个区组中的处理个数都是k,iii)任意一对不同的处理都在λ个区组中出现,则称此安置为一个平衡不完全区组设计,即BIB 设计,v、b、r、k 与λ叫做这个设计的参数.本文研究利用有限几何的子空间构作     

一般四次循环域的类数的同余公式

Ankeny-Artin-Chowla在文献[1]中得到关于二次数域k的类数h的许多同余式,其中有些已为A.Kiselev得到。特别若k的判别式为素数P≡1(mod4),记ε_0=(t+u(p)~(1/2))/2为k的基本单位,则有     

Fe_(73.9)Cu_1Nb_(1.1)Mo_2Si_(12)B_(10)超微晶合金的磁性和应用

对于量子群 U_q(B_2),Lusztig 找到了它的一组基;,这儿1,2.因此,以 v_0为极大向量的 U_q(B_2)的Verma 模 V(λ)有一组基:这儿 r_i∈z≥0,i=1,2,3,4.定理1 设 q 是 N 次本原单位根且 N是奇数,则是 V(λ)的奇异向量,这儿,k_i 是不全为零的非负整     

齐次线性微分方程复振荡的一个问题

先说明本文将使用的记号。以б(f)记亚纯函数f(z)的增长级,λ(f)和(?)(f)分别记f(z)的零点(计及重数)和不同零点(不计及重数)收敛指数。其他函数论记号是标准的,例如见文献[1]和[2]。 1983年,Bank等用Hayman不等式证明:设k=2,A(z)是超越整函数,满足(?)(A)<б(A)。则方程 的任一解f(?)0均有λ(f)≥б(A)。同年,Bank等人又证明:设k≥3,A(z)同前,但满足λ(A)<б(A)。则方程(1)的任一解f(?)0均有λ(f)≥б(A)。对于k≥3,如果A(z)同前,但仅满足(?)(A)<б(A),是否仍有同样结论?这一直是个未决问题。本文采用组合优势条件在更广的条件下作为一个结果的推论解决这一问题。     

关于Golomb猜想及其有关问题

设q(>3)为整数,GF(q)是一个有限域,其特征为p.Golomb在文献[1]中研究Costas阵列的设计问题时曾提出了如下3个猜想:(A)任一有限域GF(q)(q>2)均含有两个本原元,其和为单位元.(B)任一有限域GF(q)(q>3)均含有两个本原元,其和为-1.(C)存在一个正整数q_0满足下述性质:对于任一有限域 GF(q)以及任一非零元素c∈GF(q),