A [49 16 6 ]-Linear Code As Product of the [7 4 2 ] Code Due to Aunu and the Hamming [7 4 3 ] Code
Total Page:16
File Type:pdf, Size:1020Kb
General Letters in Mathematics, Vol. 4, No.3 , June 2018, pp.114 -119 Available online at http:// www.refaad.com https://doi.org/10.31559/glm2018.4.3.4 A [49 16 6 ]-Linear Code as Product Of The [7 4 2 ] Code Due to Aunu and the Hamming [7 4 3 ] Code CHUN, Pamson Bentse1, IBRAHIM Alhaji Aminu2, and MAGAMI, Mohe'd Sani3 1 Department Of Mathematics, Plateau State University Bokkos, Jos Nigeria [email protected] 2 Department Of Mathematics, Usmanu Danfodiyo University Sokoto, Sokoto Nigeria [email protected] 3 Department Of Mathematics, Usmanu Danfodiyo University Sokoto, Sokoto Nigeria [email protected] Abstract: The enumeration of the construction due to "Audu and Aminu"(AUNU) Permutation patterns, of a [ 7 4 2 ]- linear code which is an extended code of the [ 6 4 1 ] code and is in one-one correspondence with the known [ 7 4 3 ] - Hamming code has been reported by the Authors. The [ 7 4 2 ] linear code, so constructed was combined with the known Hamming [ 7 4 3 ] code using the ( u|u+v)-construction method to obtain a new hybrid and more practical single [14 8 3 ] error- correcting code. In this paper, we provide an improvement by obtaining a much more practical and applicable double error correcting code whose extended version is a triple error correcting code, by combining the same codes as in [1]. Our goal is achieved through using the product code construction approach with the aid of some proven theorems. Keywords: Cayley tables, AUNU Scheme, Hamming codes, Generator matrix,Tensor product 2010 MSC No: 97H60, 94A05 and 94B05 1. Introduction Historically, Claude Shannon’s paper titled “A Mathematical theory of Communication” in the early 1940s signified the beginning of coding theory and the first error-correcting code to arise was the presently known Hamming [ 7 4 3] code, discovered by Richard Hamming in the late 1940’s (David & Joh-Lark, 2011). As it is central, the main objective in coding theory is to devise methods of encoding and decoding so as to effect the total elimination or minimization of errors that may have occurred during transmission due to disturbances in the channel. The special class of the (132)and (123) avoiding Patterns of AUNU permutations reported by (Ibrahim & Audu ,2005), has found applications in various areas of applied Mathematics. The application of the adjacency matrix of Eulerian graphs due to the (132) -avoiding patterns of AUNU numbers in the generation and analysis of some classes of linear and cyclic codes has been reported [2],[3]. In [4],the Authors utilized the Cayley tables for n 5 to derive a standard form of the generator /parity check matrix for some code. An enumeration of the construction of a [7 4 2] – linear Code from the Cayley table for n 7 of the generated points of W as permutations of the (132)and (123) -avoiding patterns of the non-commutative AUNU schemes has been reported [6]. Moreover, the [ 7 4 2 ]-linear code so generated was combined with the known Hamming [ 7 4 3 ] code using the (u|u+v) construction method to obtain a new and more Practical single error correcting code with dimensions n14, k 8 and d 3 [1]. In this paper, we construct a larger code, the [ 49 16 6 ] linear code with improved error-correcting capabilities by combining the same codes as in [1]. Here, another approach ( The Product code) method a long side some proven theorems are utilized. A [49 16 6 ]-Linear Code as Product Of The [7 4 2 ] Code….. 115 2. Basic Definitions (Concepts) 2.1 Product Codes: Let C1 be a binary (,)nk11linear block code and C2 be a binary (,)nk22 linear block code. A code with nn12. symbols can be constructed by forming a rectangular array of n1 columns and n2 rows in which every row is a code word in C1 and every column is a code word in C2 as shown in the figure q below; v v... v v v 0, 0 0,1 0,n k 1 0, n k 0, n 1 1 1 1 1 1 v v... v v v 1,0 1,1 1,n k 1 1, n k 1,1 n 1 1 1 1 1 v v v v v k1,0 k 1,1 k 1, n k 1 k 1, n k k 1, n 1 2 2 2 1 1 2 1 1 2 1 v v v v v k, 0 k ,1 k , n k 1 k , n k k , n 1 2 2 2 1 1 2 1 1 2 1 v u v vv n1,0 n 1,1 n 1, n k 1 n 1, n k 1 n 1, n 1 2 2 2 1 1 2 1 1 2 1 Figure 1: A code array in a two – dimensional product code The kk12. symbols in the upper right quadrant of the array are information symbols. The k2() n 1 k 1 symbols in the upper left quadrant of the array are parity-check symbols formed from the parity – check rules for code C1 and the k1() n 2 k 2 symbols in the lower right quadrant are parity-check symbols formed from the parity- check rules for code C2 . The (n1 k 1 )( n 2 k 2 ) parity-check symbols in the lower left quadrant can be formed by using either the parity check rules for code on columns or the parity-check codes for code on rows. The rectangular array shown on figure 1 is called a code array that consist of kk12. information kk12. symbols and n1.. n 2 k 1 k 2 parity- check symbols. There are 2 such code arrays. The sum of two code arrays is an array obtained by adding either their corresponding rows or their corresponding columns. Since the rows or columns are code words in or , the sum of two corresponding rows (or columns) in two code arrays is a code word in (or ). Consequently, the sum of two code kk. arrays is another code array. Hence the 2 12code arrays form a two dimensional (.,.)n1 n 2 k 1 k 2 linear block code denoted by CC12 , which is called the direct product or (simply the product) of and [7]. 2.2 Definition Let C1 and C2 be two [,]n1 k 1 d 1 and [,]n2 k 2 d 2 codes respectively and n n12. n . Then the product code denoted by CC12 is defined as (C )1 i n for all j ij 1 C C ( C )1 i n ,1 j n . 1 2ij 1 2 (C )1 j n for all i ij 2 116 CHUN, Pamson Bentse et al. Remark From the above definition, the product code CC12 is exactly the set of all nn12 arrays whose columns belongs to C1 and rows to C2 . In literature, the product code is called the direct product or Kronecker product or Tensor product Theorem1: Let x,,... x x in F n 2 be a basis for and y,,... y y in F n 2 be a basis for , 12 k 1 q 12 n 2 q then xij y1 i k12 ,1 j k is a basis for CC12 . Proof The given set is an independent set by proven results. This set is a subset of . So the dimension of is at least kk12. Now we will show that they form in fact a basis for . Without lost of generality, we may assume that C1 is systematic at the first k1 coordinates with generator matrix (IA | ) and is systematic at the first k coordinates with generator matrix k 1 2 (IBk 2 | ). Then U is an Ln 2 matrix with rows in iff U () M MB where M is an matrix T and V is an nM1 matrix, with columns in ff V () N NA , where N is an Mk 1 matrix. M Now, let be an kk12 matrix, then ()M MB is a kn12 matrix with rows in C2 and T is an AM M MB nk matrix with columns in . Therefore is an nn matrix with columns in 12 TT 12 A M A MB C1 C1 and rows in for every matrix . And conversely, every code word of is of this C2 form. Hence the dimension of is equal to kk12. and the given set is a basis of . Theorem 2: Let C1 and C2 be respectively n1,, k 1 d 1 and n2,, k 2 d 2 codes. Then, the product code is an (.,.,.)n1 n 2 k 1 k 2 d 1 d 2 code. Proof By definition, n n12. n is the length of the product code. It has been remarked that is a linear nn12. subspace of Fq . The dimension of the product code is kk12. by theorem 1. Next, we proof that the minimum distance of is dd12. CC12 Now, for any code word of , which is a nn12 array, every non-zero column has weight d1 , and every non-zero row has weight d2 . So the weight of a non-zero code word of the product code is at least dd12. This implies that the minimum distance of is at least dd12. Suppose xC 1 has weight d1 and yC 2 has weight d2 , then xy is a code word of and has weight dd12. [8] 2.3 Remark The generator matrix GG12 of the product code is given by the tensor product of two b1,1 C b 1,m C matrices which in block form is given by AB[9].