完备基(perfectbase)的存在性.docVIP

完备基PB v 的积构造 蒋晓云1 冉育红2 黄燕玲3 1 桂林师范高等专科学校 数学与计算机科学系 广西 桂林 541001； 2 广西师范大学 数学与计算机科学学院 广西 桂林 541004 3 广西大学 数学与计算机科学学院 广西 南宁 533XXX ） 摘要：Etzion提出了一个猜想，即对于正整数v≡1 mod 6 ,存在完备基PB v .本文给出了完备基PB v 的一个积构造.利用该构造和已知PB v 的存在结果，部分回答了Etzion的猜想． 关键词：完备基；广义斯坦纳系；光正交码 中图分类号: O157.2 1 引言 设G是阶阿贝尔群，完备基PB v 定义为集合，,且满足如下性质： ⑴, 1≤i≤t, 1≤j≤3,互不相同; ⑵ 1≤i≤t,互不相同. 例1 取，则S即为PB（25）. 注：从PB v 定义的条件可知， |1≤i≤t, 1≤j≤3 G\ 0 ， |1≤i≤t G\ 0 . 在[1]中，Yin引入PB v 来构造光正交码，Yin定义的完备基不限于v≡1 mod 6 . Etzion在[2]中定义了a good set of elements S v 来构造广义斯坦纳系GS4 2,4,v,2 .当时，Yin定义的完备基PB v 和Etzion定义的 S v 是相同的，我们采用完备基这一名称来代替a good set of elements.关于光正交码和广义斯坦纳系的内容，可参看[1-5]，在此不做介绍. Etzion在[2]中给出了如下猜想： 猜想：对于任意正整数v≡1（mod 6）））,,. , ,. 令，对于任意，,定义G中的运算为 + ，其中中的加法为G1中的代数运算, 中的加法为G2中的代数运算．易知G是一个阶的加法群． 从G中取出一些特殊元素作成三类三元集族如下： ， ， 显然|S1| t1 ，|S2| t2 ,| S3| t1×t2×6 由PB v1 ，PB v2 的定义可知, ，, 从而，，. 令，则 ++ . 令, , 由PB v1 ，PB v2 的定义知,，, 1≤i≤,互不相同, ,，, 1≤j≤,互不相同．所以中的元素互不相同，中的元素互不相同，中的元素也互不相同．由,，, 1≤i≤，,，, 1≤j≤，知，，，从而中的元素互不相同． 令 . . 由PB V1 ，PB V2 的定义知1≤i≤,互不相同, 1≤j≤, 互不相同．所以中的元素互不相同，中的元素互不相同，中的元素也互不相同． 由1≤i≤， 1≤j≤，知，，，从而中的元素互不相同． 综上所述，由完备基的定义知S为G中的一个完备基，即G中存在PB v1 v2 .这样我们就证明了定理1.2． 例2 设，，则 为中的PB 7 , 为中的PB 13 . 利用定理1.2可以构造出G1⊕G2上的PB（91）如下： S 1，0 ，（2，0），（4，0） ， （0，1），（0，3），（0，9） ， （0，2），（0，5），（0，6） ， 1，1 ，（2，3），（4，9） ， （1，3），（2，9），（4，1） ， （1，9），（2，1），（4，3） ， 1，2 ，（2，5），（4，6） ， （1，5），（2，6），（4，2） ， 1，6 ，（2，2），（4，5） ， 1，12 ，（2，10），（4，4） ， （1，10），（2，4），（4，12） ， （1，4），（2，12），（4，10） ， 1，11 ，（2，8），（4，7） ， （1，8），（2，7），（4，11） ， （1，7），（2，11），（4，8） ． 利用数学归纳法和定理1.2，很容易得到以下结果： 推论2.1 若存在PB v1 ，PB v2 ，…,PB vn ,则存在PB（v1 v2…vn）, 其中≡1 mod 6 , ≡5 mod 6 , , （）均为偶数． 则存在PB v ． 利用推论2.1可知，若以下命题成立，则Etzion的猜想成立，从而要证明Etzion的猜想，只要证明以下命题即可： 命题　设，为两个质数，且,≡5 mod 6 ，则存在PB（）. 　注：在第３部分中，我们将对某些质数，≡5 mod 6 ，给出PB（）的构造． V 200时的PB v 在本部分，对任意v ≡1 mod 6 ,v 200,我们将给出PB（v）的构造，从而说明Etzion的猜想对小于200的正整数成立．　 定理3.1 若v ≡1 mod 6 ,v 200, 则存在PB v ． 证明 令V v| v≡1 mod 6 ，v 200 E∪F∪H，其中， E 7, 13, 19, 25, 31, 37, 43, 49, 61, 67, 73, 79, 97, 103, 109, 121,