Advances in Applied Mathematics
Vol. 10  No. 03 ( 2021 ), Article ID: 41236 , 7 pages
10.12677/AAM.2021.103081

关于 A ( n , d , w ) 的一个注记

寇永芳,吕梦欣,胡晓敏,杨卫华*

太原理工大学数学学院,山西 晋中

收稿日期:2021年2月23日;录用日期:2021年3月19日;发布日期:2021年3月26日

摘要

编码理论中的一个基本问题是求 A ( n , d , w ) 的值,即最小Hamming距离为d的最大n长二元常重码集的大小。而 A ( n , d , w ) 又可看作是n维超立方体 d 1 次幂图中所有重量为w的点导出子图 Q n ( d 1 , w ) 的最大独立集。故为探索 Q n ( d , w ) 的最大独立集,本文首次给出了图 Q n ( d , w ) 的定义,对其一些基本性质进行了研究并得到如下主要结果: Q n ( d , w ) i = 1 d / 2 ( w w i ) ( n w i ) -正则图; Q n ( d , w ) 是点传递图;对于 2 d 3 ,若 w n / 2 ,则 ω ( Q n ( d , w ) ) = w + 1 ;若 w < n / 2 ,则 ω ( Q n ( d , w ) ) = n w + 1 ;当 3 d 4 时,有 A ( n , d , w ) = α ( Q n ( d 1 , w ) ) ( n w ) w + 1 ( n w ) n w + 1

关键词

超立方体,最大独立集,编码理论,常重码

A Note on A ( n , d , w )

Yongfang Kou, Mengxin Lv, Xiaomin Hu, Weihua Yang*

School of Mathematics, Taiyuan University of Technology, Jinzhong Shanxi

Received: Feb. 23rd, 2021; accepted: Mar. 19th, 2021; published: Mar. 26th, 2021

ABSTRACT

A basic problem in coding theory is to find the value of A ( n , d , w ) , that is the size of the maximum n-length binary constant weight code with the minimum Hamming distance d. However, it can be regarded as the size of the maximum independent set of Q n ( d 1 , w ) which is a subgraph of d 1 t h power of n-dimensional hypercube induced by all vertices with constant weight w. To explore the maximum independent set of Q n ( d , w ) , this paper gives the definition of Q n ( d , w ) for the first time. Furthermore, some basic properties of the graph are studied and the main results are obtained as follows: Q n ( d , w ) is i = 1 d / 2 ( w w i ) ( n w i ) -regular. Q n ( d , w ) is vertex transitive. For 2 d 3 , if w n / 2 , then ω ( Q n ( d , w ) ) = w + 1 ; if w < n / 2 , then ω ( Q n ( d , w ) ) = n w + 1 . For 3 d 4 , A ( n , d , w ) = α ( Q n ( d 1 , w ) ) ( n w ) w + 1 or ( n w ) n w + 1 .

Keywords:Hypercube, Maximum Independent Set, Coding Theory, Constant Weight Code

Copyright © 2021 by author(s) and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

1. 引言

在编码理论中,常重码是一种带有检错和纠错能力的重要编码,被广泛地应用于光导纤维中的码分多址系统、雷达和声纳的信号设计、高数据率数字通信等领域。由于其广泛的应用背景,常重码吸引了相当多的学者参与其讨论研究。数学家们尝试用代数、图论以及组合等方法来研究满足一定条件的最大常重码的个数及其结构,并取得了很大的进展。

n维二元向量空间 Z 2 n = Z 2 × Z 2 × × Z 2 ,可以将 Z 2 n 中的每个n维二元向量看作是一个n长二元码字,码字构成的集合称为码集。码字x中非零码元的个数为码字x的Hamming重量,简称码重,记为 w t ( x ) 。1950年,Hamming [1] [2] 定义两个码字 x , y 间的Hamming距离为其不同码元的位数,记为 d H ( x , y ) ,即 d H ( x , y ) = i = 1 n | x i y i | i [ 1 , n ]

如文献 [2] 中所述, A ( n , d , w ) 为最小Hamming距离为d、码重为w的最大n长二元常重码集的大小,即 A ( n , d , w ) = max { | M | : M n , x , y M , w t ( x ) = w , d H ( x , y ) d }

由于二元常重码广泛的应用背景,许多学者对二元常重码进行了深入的研究,研究的主题主要集中在确定 A ( n , d , w ) 的值。二十世纪六十年代,Johnson在 [3] [4] [5] 中给出了关于 A ( n , d , w ) 的一些比较经典的性质: A ( n , d , w ) [ d n d n 2 w ( n w ) ] A ( n , d , w ) [ n w A ( n 1 , d , w 1 ) ] ( n w 1 ) A ( n , d , w ) [ n n w A ( n 1 , d , w ) ] ( n > w 0 ) A ( n , d , w ) = 1 ( d > 2 w ) A ( n , d , w ) = [ n w ] ( d = 2 w ) ;若d为

奇数,则 A ( n , d , w ) = A ( n , d + 1 , w ) 等。1977年,MacWilliams和Sloane在 [2] 中系统给出了 n 24 d 10 A ( n , d , w ) 的上下界。随后,Best等人 [6]、Graham [7] 及Sloane [8] 继续对这些关于 A ( n , d , w ) 的上下界进行研究改进。直到1990年,Brouwer等人 [9] 给出了 n 28 d 18 A ( n , d , w ) 的最优下界。2000年,Vardy等人 [10] 将 A ( n , d , w ) 的上下界扩大到了 n 28 d 14 的范围,对已知的 n 24 d 12

A ( n , d , w ) 的上界做出了极大的改进,并证明了若d为偶数,则 A ( n , d , w ) ( n w 1 ) w 。此后,学者们继续利用半正定规划、Terwilliger代数等方法对 A ( n , d , w ) 的上下界进行讨论,但大多都是对d取6,8,10,12时 A ( n , d , w ) 的上下界有了一定的改进 [11] [12] [13]。

总的来看,不少研究都致力于求 A ( n , d , w ) 确切的值,但是迄今为止还没有统一的方法研究 A ( n , d , w ) 的值。本文提出从图论的角度去研究 A ( n , d , w ) ,并非常简洁地给出了 3 d 4 时的一个上界。

本文定义图 Q n ( d , w ) 为n维超立方体d次幂图中所有重量为w的点导出的子图,即 V ( Q n ( d , w ) ) = { u Q n d : i = 1 n u i = w } 。由上述定义可知 A ( n , d , w ) 对应于图 Q n ( d 1 , w ) 的最大独立集的大小,即 A ( n , d , w ) = α ( Q n ( d 1 , w ) ) 。为探索 Q n ( d , w ) 的最大独立集,本文对其基本性质进行了研究并得到如下一些结果: Q n ( d , w ) i = 1 d / 2 ( w w i ) ( n w i ) -正则图; Q n ( d , w ) 是点传递图;对于 2 d 3 ,若 w n / 2 ,则 ω ( Q n ( d , w ) ) = w + 1 ;若 w < n / 2 ,则 ω ( Q n ( d , w ) ) = w + 1 ;对于 3 d 4 ,若 w n / 2 ,则有 A ( n , d , w ) = α ( Q n ( d 1 , w ) ) ( n w ) w + 1 ,若 w < n / 2 ,则 A ( n , d , w ) ( n w ) n w + 1 。与2000年Vardy等人 [10] 得到的 3 d 4 A ( n , d , w ) 的上界 ( n w 1 ) w 相比,当 w < n / 2 时,本文得到的 A ( n , d , w ) 的上界 ( n w ) n w + 1 = ( n w 1 ) w ;当 w n / 2 时,本文得到的 A ( n , d , w ) 的上界 ( n w ) w + 1 < ( n w 1 ) w

2. 预备知识

本节给出了本文需要的一些基本概念和符号。

G = ( V ( G ) , E ( G ) ) 为简单无向图,其中 V ( G ) 是图G的顶点集, E ( G ) 是图G的边集。任取 v V ( G ) ,G中与点v关联的边的数目称为点v的度,记为 d G ( v ) 。若图G中所有点的度都为k,则称图G是k-正则的。令M是 V ( G ) 的一个子集,若M中任意两个顶点在图G中均不相邻,则称M为图G的独立集。若图G中不包含满足 | M * | > | M | 的独立集 M * ,则称M为图G的最大独立集。图G的最大独立集的顶点数称为图G的独立数,记为 α ( G ) 。反之,若M中任意两个顶点在图G中均相邻,则称M为图G的团。若图G中不包含满足 | M * | > | M | 的团 M * ,则称M为图G的最大团,最大团的顶点数称为图G的团数,记为 ω ( G )

定义2.1:图 Q n 表示n维超立方体图,其顶点集 V ( Q n ) = { x | x Z 2 n } ,且对于任意的 x , y V ( Q n ) ,有边 x ~ y 当且仅当 d H ( x , y ) = 1

定义2.2:图 Q n d 表示n维超立方体 Q n 的d次幂图,其顶点集 V ( Q n d ) = { x | x Z 2 n } ,且对于任意的 x , y V ( Q n d ) ,有边 x ~ y 当且仅当 d H ( x , y ) d

定义2.3: G = ( V ( G ) , E ( G ) ) 是一个图, φ 是从 V ( G ) 到其自身的一个双射。任取 x , y V ( G ) ,若 x ~ y 当且仅当 φ ( x ) ~ φ ( y ) ,则称 φ 是图G的一个自同构。图G的所有自同构构成一个群,称为图G的自同构群,记为 Aut ( G )

定义2.4:给出两个n长二元码字 x = ( x 1 , x 2 , , x n ) y = ( y 1 , y 2 , , y n ) ,定义 x y = { i | x i = y i = 1 , 1 i n }

定义2.5: G = ( V ( G ) , E ( G ) ) 为简单无向图,若对于任意的 x , y G ,存在 φ Aut ( G ) 满足 φ ( x ) = y ,则称图G为点传递图。

定理2.6 ( [14], Lemma 7.2.2):若图 G = ( V ( G ) , E ( G ) ) 为点传递图,则有 α ( G ) ω ( G ) | V ( G ) |

3. Q n ( d , w ) 的基本性质

由定义可得 A ( n , d , w ) = α ( Q n ( d 1 , w ) ) ,即n维超立方体 d 1 次幂图中由所有重量为w的点导出子图的独立数等于给定最小Hamming距离为d,重量为w的最大n长二元常重码集的大小。现令 u 0 = ( 0 , 0 , , 0 ) D i = { u V ( Q n d ) | d H ( u , u 0 ) i } ( 0 i n ) 。为便于观察,给出如下对 Q n d 的距离划分(见图1),则 Q n ( d , w ) 就是由 D w 导出的子图。在此基础上,本节对 Q n ( d , w ) 进行了研究,并得到了它的一些基本性质。

Figure 1. The distance division graph of Q n d

图1. Q n d 的距离划分图

定理3.1: Q n ( d , w ) 是k-正则图,其中 k = i = 1 d / 2 ( w w i ) ( n w i )

证明:对于任意的 x , y V ( Q n ( d , w ) ) ,设 | x y | = t ,则 d H ( x , y ) = 2 ( w t ) 。x与y相邻当且仅当 d H ( x , y ) = 2 ( w t ) d ,即 t w d / 2 。因此,对于 Q n ( d , w ) 中的任意一点x有 d ( x ) = ( w w 1 ) ( n w 1 ) + ( w w 2 ) ( n w 2 ) + + ( w w d 2 ) ( n w d 2 ) = i = 1 d / 2 ( w w i ) ( n w i ) ,即 Q n ( d , w ) Q n ( d , w ) -正则图。

定理3.2: Q n ( d , w ) 是点传递图。

证明:根据定义2.5,要证明 Q n ( d , w ) 是点传递图,我们只需证明对于任意的 x , y V ( Q n ( d , w ) ) ,存在 φ Aut ( Q n ( d , w ) ) 满足 φ ( x ) = y 即可。不妨设 x = ( x 1 , x 2 , , x n ) y = ( y 1 , y 2 , , y n ) ,其中

x 1 = x 2 = = x k = x k + 1 = = x w = 1 x w + 1 = = x n = 0

y 1 = y 2 = = y k = 1 y k + 1 = = y w = 0 y w + 1 = = y 2 w k = 1 y 2 w k + 1 = = y n = 0

现假设 f S n ,即f是集合 { 1 , 2 , , n } 上的一个置换,且

f = ( 1 2 1 2 k k + 1 k + 2 k w + 1 w + 2 w w + 1 2 w k k + 1 2 w k 2 w k + 1 w 2 w k + 1 n n )

对于任意的 u = ( u 1 , u 2 , , u n ) V ( Q n ( d , w ) ) ,令 φ ( u 1 , u 2 , , u n ) = ( u f ( 1 ) , u f ( 2 ) , , u f ( n ) ) 。显然, φ 是点集 V ( Q n ( d , w ) ) 到其本身的一个映射,且 φ ( x ) = y 。下面只需要证明 φ Aut ( Q n ( d , w ) )

1) φ 为双射。

φ 为单射:任取 u , v V ( Q n ( d , w ) ) ,若 u v ,则一定存在 i { 1 , 2 , , n } u i v i 。而对于 i { 1 , 2 , , n } 存在 j { 1 , 2 , , n } 使得 f ( j ) = i ,故 u f ( j ) v f ( j ) ,即 φ ( u ) φ ( v ) ,故 φ 为单射。

φ 为满射:对于任意的 u = ( u 1 , u 2 , , u n ) V ( Q n ( d , w ) ) ,存在 v = ( v 1 , v 2 , , v n ) V ( Q n ( d , w ) ) ,其中

v i = u i ( 1 i k 2 w k + 1 i n ),

v k + j = u w + j ( 1 j w k )

v w + j = u k + j ( 1 j w k )

使得 φ ( v ) = u ,故 φ 为满射。

2) 对于任意的 u , v V ( Q n ( d , w ) ) u ~ v 当且仅当 φ ( u ) ~ φ ( v )

φ 和f定义可知, d H ( φ ( u ) , φ ( v ) ) = i = 1 n | u f ( i ) v f ( i ) | = i = 1 n | u i v i | = d H ( u , v ) ,故 u ~ v 当且仅当 φ ( u ) ~ φ ( v )

综上, φ Aut ( Q n ( d , w ) ) ,故 Q n ( d , w ) 是点传递图。

定理3.3:当 2 d 3 时, Q n ( d , w ) 的团数

ω ( Q n ( d , w ) ) = { w + 1 ( w n / 2 ) n w + 1 ( w < n / 2 )

证明:令点 u 0 = ( u 1 0 , u 2 0 , , u n 0 ) V ( Q n ( d , w ) ) ,其中 u 1 0 = u 2 0 = = u w 0 = 1 u w + 1 0 = = u n 0 = 0 。为了便于观察,我们给出如下对图 Q n ( d , w ) 的距离划分(见图2),其中 D i w = { u V ( Q n ( d , w ) ) | d H ( u , u 0 ) = i } ,i为偶数,而且若 w < n 2 ,则 2 i 2 w ,否则 2 i 2 ( n w )

Figure 2. The distance division graph of Q n ( d , w )

图2. Q n ( d , w ) 的距离划分图

Q n ( d , w ) 的点传递性,我们只需考虑其包含点 u 0 的最大团即可得 Q n ( d , w ) 的团数。求 Q n ( 2 , w ) Q n ( 3 , w ) 最大团的方法完全一样,下面我们只给出 Q n ( 2 , w ) 最大团的构造过程。

d = 2 时,假设T为 Q n ( 2 , w ) 中包含点 u 0 的团,则任取 u T d H ( u , u 0 ) = 2 ( w | u 0 u | ) 2 ,故 ( T { u 0 } ) D 2 w 。令 D 2 ( w , i ) = { u D 2 w | u i = 0 } ( 1 i w ) I = { i : ( T { u 0 } ) D 2 ( w , i ) }

1) 若 | I | 2 ,则为满足 u , v T d H ( u , v ) 2 ,任取 i I | ( T { u 0 } ) D 2 ( w , i ) | = 1 。此时,T最大可取为 T = i = 1 w D 2 ( w , i , j ) ( j [ w + 1 , n ] ) ,其中 D 2 ( w , i , j ) = { u D 2 ( w , i ) | u j = 1 } ( j [ w + 1 , n ] ) ,而且 | T | = w + 1

2) 若 | I | 1 ,由于对于任意的 u , v D 2 ( w , i ) d H ( u , v ) = 2 ,故此时T最大可取为 T = { u 0 } D 2 ( w , i ) ( i [ 1 , w ] ) ,而且 | T | = n w + 1

综上, ω ( Q n ( 2 , w ) ) = { w + 1 ( w n / 2 ) n w + 1 ( w < n / 2 )

推论3.4:当 2 d 3 时, Q n ( d , w ) 的独立数 α ( Q n ( d , w ) ) { ( n w ) w + 1 ( w n / 2 ) ( n w ) n w + 1 ( w < n / 2 ) ,即当 3 d 4 时, A ( n , d , w ) { ( n w ) w + 1 ( w n / 2 ) ( n w ) n w + 1 ( w < n / 2 )

证明:结合定理2.6,定理3.2及定理3.3很容易得证。

4. 结语

本文将 A ( n , d , w ) 看作是n维超立方体 d 1 次幂图中由所有重量为w的点导出子图 Q n ( d , w ) 的最大独立集的大小,通过对 Q n ( d , w ) 结构特点的分析讨论,我们得到了一些 Q n ( d , w ) 的基本性质及 A ( n , d , w ) 的一个上界: Q n ( d , w ) i = 1 d / 2 ( w w i ) ( n w i ) -正则图; Q n ( d , w ) 是点传递图;对于 2 d 3 ,若 w n / 2 ,则 ω ( Q n ( d , w ) ) = w + 1 ;若 w < n / 2 ,则 ω ( Q n ( d , w ) ) = w + 1 ;对于 3 d 4 ,有 A ( n , d , w ) = α ( Q n ( d 1 , w ) ) ( n w ) w + 1 ( n w ) n w + 1

本文我们只是对几个特殊的 n , d , w 的值讨论了 Q n ( d , w ) 的结构特点、性质特征及对应的 A ( n , d , w ) 的上界。对于一般的 A ( n , d , w ) 的值,后续我们考虑可以从下面几个方面进行研究:

1) 对于一般的 n , d , w 的值 Q n ( d , w ) 的最大团及分布特点是怎么样的?其最大独立集是怎么样的?从而我们可以得到 A ( n , d , w ) 的一般的上界,甚至其确切的值。

2) Q n ( d , w ) 的色数 χ ( Q n ( d , w ) ) 等于什么?因为图的独立数大于等于点数与色数的比值,从而我们可以得到 A ( n , d , w ) 的一个下界。

基金项目

国家自然科学基金资助项目(11671296)。

文章引用

寇永芳,吕梦欣,胡晓敏,杨卫华. 关于A(n,d,w)的一个注记
A Note on A(n,d,w)[J]. 应用数学进展, 2021, 10(03): 740-746. https://doi.org/10.12677/AAM.2021.103081

参考文献

  1. 1. Hamming, R.W. (1950) Error Detecting and Error Correcting Codes. Bell System Technical Journal, 29, 147-160. https://doi.org/10.1002/j.1538-7305.1950.tb00463.x

  2. 2. MacWilliams, F.J. and Sloane, N.J.A. (1977) The Theory of Error-Correcting Codes. North-Holland Mathematical Library, Amsterdam-New York-Oxford, Vol. 16, 370-762.

  3. 3. Johnson, S. (1962) A New Upper Bound for Error-Correcting Codes. IEEE Transactions on Information Theory, 8, 203-207. https://doi.org/10.1109/TIT.1962.1057714

  4. 4. Johnson, S. (1963) Improved Asymptotic Bounds for Error-Correcting Codes. IEEE Transactions on Information Theory, 9, 198-205. https://doi.org/10.1109/TIT.1963.1057841

  5. 5. Johnson, S.M. (1971) On Upper Bounds for Unrestricted Binary-Error-Correcting Codes. IEEE Transactions on Information Theory, 17, 466-478. https://doi.org/10.1109/TIT.1971.1054656

  6. 6. Best, M.R., Brouwer, A.E., Macwilliams, F.J., et al. (1978) Bounds for Binary Codes of Length less than 25. IEEE Transactions on Information Theory, 24, 81-93. https://doi.org/10.1109/TIT.1978.1055827

  7. 7. Graham, R.L. and Sloane, N.J.A. (1980) Lower Bounds for Constant Weight Codes. IEEE Transactions on Information Theory, 26, 37-43. https://doi.org/10.1109/TIT.1980.1056141

  8. 8. Conway, J.H. and Sloane, N.J.A. (1988) Sphere Packings, Lattices and Groups. Springer-Verlag, New York, NY. https://doi.org/10.1007/978-1-4757-2016-7

  9. 9. Brouwer, A.E., Shearer, J.B., Sloane, N.J.A., et al. (1990) A New Table of Constant Weight Codes. IEEE Transactions on Information Theory, 36, 1334-1380. https://doi.org/10.1109/18.59932

  10. 10. Agrell, E. and Vardy, A. (2000) Upper Bounds for Constant-Weight Codes. IEEE Transactions on Information Theory, 46, 2373-2395. https://doi.org/10.1109/18.887851

  11. 11. Schrijver, A. (2005) New Code Upper Bounds from the Terwilliger Algebra and Semidefinite Programming. IEEE Transactions on Information Theory, 51, 2859-2866. https://doi.org/10.1109/TIT.2005.851748

  12. 12. Chee, Y.M., Xing, C. and Yeo, S.L. (2010) New Constant-Weight Codes from Propagation Rules. IEEE Transactions on Information Theory, 56, 1596-1599. https://doi.org/10.1109/TIT.2010.2040964

  13. 13. Kang, B.G., Kim, H.K. and Toan, P.Y. (2012) Delsarte’s Linear Programming Bound for Constant-Weight Codes. IEEE Transactions on Information Theory, 58, 5956-5962. https://doi.org/10.1109/TIT.2012.2201445

  14. 14. Godsil, C. and Royle, G. (2001) Algebraic Graph Theory. Springer, Berlin. https://doi.org/10.1007/978-1-4613-0163-9

期刊菜单