Abstract

The notion of normality of codes in Hamming metric is extended to the codes in Rosenbloom-Tsfasman metric (RT-metric, in short). Using concepts of partition number and -cell of codes in RT-metric, we establish results on covering radius and normality of -ary codes in this metric. We also examine the acceptability of various coordinate positions of -ary codes in this metric. And thus, by exploring the feasibility of applying amalgamated direct sum method for construction of codes, we analyze the significance of normality in RT-metric.

1. Introduction

Covering properties of codes have unique significance in coding theory, and covering radius, one of the four fundamental parameters, of a code is important in several respects [1]. Considering the fact that it is a geometric property of codes that characterizes maximal error correcting capability in the case of minimum distance decoding, covering radius had been extensively studied by many researchers (see, e.g., [2, 3] and the literature therein) especially with respect to the conventional Hamming metric. In fact, it has evolved into a subject in its own right mainly because of its practical applicability in areas such as data compression, testing, and write-once memories and also because of the mathematical beauty that it possesses. More on covering radius can be found in the monograph compiled by Cohen et al. [4]. In order to improve upon the bounds on covering radius, various construction techniques that use two or more known codes to construct a new code were proposed over the last few decades. One such method is direct sum construction which is a basic yet useful construction method. To improve upon the bounds related to covering radius of codes obtained using this method, the notion of normality which facilitates a construction technique known as amalgamated direct sum (ADS) was introduced for binary linear codes by Graham and Sloane in [5]. The same concepts were extended to binary nonlinear codes by Cohen et al. in [6]. Later, Lobstein and van Wee generalized these results to -ary codes [7].

In the present paper, we extend the notion of normality to codes in Rosenbloom-Tsfasman metric (RT-metric, in short). The present work is a generalization of our work on binary codes [8] to -ary case (though the discussed results hold good for codes over any alphabet of size , for simplicity, we have taken it to be the finite field ). RT-metric was introduced by Rosenbloom and Tsfasman in [9] and independently by Skriganov in [10] and is more adequate than Hamming metric in dealing with channels in which errors have a tendency to occur with a periodic spikewise perturbation of period . As a generalization of the classical Hamming metric with rich mathematical beauty and being advantageous over Hamming metric in dealing with certain channels [9, 10], this metric attracted the attention of coding theorists over the last two decades [1113]. The covering problem in RT-metric was first dealt with by Yildiz et al. for RT-spaces over Galois Rings [14].

The organization of the present paper is as follows. In Section 2, some basic definitions and notations that are used in this paper are presented. In Section 3, we have studied the covering radius of -ary codes in this metric by introducing two new tools, namely, partition number and -cell which greatly reduce the difficulty in determining the covering radius. In Section 4, we investigate the normality of -ary codes in RT-metric. In this section, we also discuss the possibilities of extending the direct sum and amalgamated direct sum (ADS) constructions from Hamming metric to RT-metric. And, finally, Section 5 provides the conclusions of this paper.

2. Definitions and Notations

For , where is a finite field of elements, we define the -weight (RT-weight) of to be The RT-distance or -distance between and can be defined by . The subsets of the space equipped with this metric are called RT-metric codes over (or -ary RT-metric codes) and the subspaces are called linear RT-metric codes over . The value is called the minimum -distance of the code . The maximum distance of any word in the ambient space from an RT-metric code is called the covering radius of the code. A code in which each nonzero codeword is of the same weight is said to be a constant weight code. A -ary code of length , cardinality , and minimum -distance is said to be a maximum distance separable code (an MDS code, in short) if .

Throughout this paper, unless otherwise specified, by a code we mean a -ary RT-metric code and by distance we mean RT-distance. Moreover, denotes a -ary linear code of length , dimension , minimum distance , and covering radius , denotes a -ary code with cardinality , and denotes the minimum covering radius that a -ary linear code of length and dimension can possess.

Definition 1 (direct sum of two codes). Let and be codes with parameters and , respectively. Then, the direct sum of and , denoted by , is defined as and is a code of length and cardinality .

Definition 2 (-ary normal codes). Let be a -ary RT-metric code of length , cardinality , and covering radius , and, also, for each , let denote the set of codewords in which the th coordinate is . Then, the norm of with respect to the th coordinate is defined as where
Now, is called the norm of and the coordinates for which are said to be acceptable. Finally, a code is said to be normal if its norm satisfies . If the code is not clear from the context, we use the notations and .

3. Covering Radius of RT-Metric Codes over

Definition 3 (partition number of a -ary RT-metric code). Let be an code in RT-metric. The largest nonnegative integer , for which each -ary -tuple can be assigned to at least one codeword whose last coordinates are actually that -tuple, is called the partition number of the code . The code with partition number can be partitioned into parts, each of which has the property that all its members have the same -ary -tuple as their last coordinates. A part obtained in the above fashion is called an -cell of the code, if at least one field element is not present in the th coordinate of its member codewords. As the definition of partition number suggests, a code with partition number contains at least codewords.
If is an linear code, then each of the parts does have codewords in it and so does each -cell by its definition. If is an -cell of the linear code , then for will also be an -cell different from . Thus, for linear codes, if there is one -cell, then there will be such -cells.

Now, we will observe that covering radius of a code can be determined using the concepts of partition number and -cell. The definition of partition number serves as a tool in determining the covering radius of an RT-metric code, as shown by the following theorem.

Theorem 4. Let be an code in RT-metric. Then, the partition number of is if and only if its covering radius is .

Proof. First, let the partition number of the code be . Partition the code such that codewords in each part contain a unique -ary -tuple as their last coordinates. Associate each part with the respective -tuple. Since the partition number of the code is , the number of such parts will be less than . Choose an , whose last coordinates constitute the -tuple that does not have a part associated with it. Such an will be at distance from the code, which is the maximum distance that a word can actually be from the code . Hence, the covering radius is .
Conversely, let the covering radius be . By the definition of covering radius, any word must be at distance at most from the code, which means that, for each word, there is at least one codeword which agrees with the word in the last coordinate positions. This implies that the partition number of the code is greater than or equal to . Let us assume that the partition number of the code is . Then, to each -ary -tuple, we can associate a codeword whose last coordinates coincide with that -tuple. Thus, each word in will be at distance at most , contradicting the fact that covering radius of is . Hence, the partition number of the code is .

Now, the above theorem can be restated in terms of -cell in the following manner, as the definition of the -cell suggests.

Corollary 5. Let be an RT-metric code of length over . Then, the covering radius of is if and only if an -cell of the code .

Proposition 6. Let and be any two RT-metric codes over with parameters and , respectively. Then, their direct sum is an code with minimum distance and covering radius , provided .

Proof. The direct sum of and is given by Clearly, this is a code of length and cardinality . Now, since the minimum distance of is , there exist two codewords and in such that . Then, the codewords and for some will also be at distance which is minimum among all the codewords of . From Theorem 4 and Definition 3, it is clear that the covering radius of a code in RT-metric depends on the partition number of the code and that the process of partitioning starts with the right most coordinate. Therefore, by Theorem 4, unless is the space , the partition number of must be equal to that of which is and, hence, the covering radius of is .

Remark 7. If , then the covering radius of the code is .

4. Normality of Codes in RT-Metric

Proposition 8. If is an RT-metric code over , then .

Proof. The proof follows directly from the definition of covering radius and that of norm of a code.

Theorem 9. Any -ary RT-metric code of length and covering radius is normal and all the coordinates are acceptable.

Proof. As , the partition number is 0 which means that there exists an which is not present as the last coordinate of any codeword in . If is such that , then for each and for any . Thus, . Hence, the code is normal and all the coordinates are acceptable.

Lemma 10. Let be any RT-metric code with length and covering radius ; then for each .

Proof. For a coordinate position , the norm is given by As the covering radius of is , it has partition number . So, the definition of partition number implies that each codeword can be associated with a unique -tuple which actually consists of the last coordinates of that codeword and, also, that there exists at least one -tuple which is not the same as the last coordinates of any of the codewords. Now, when we partition the code into parts , for , we can also partition the set of all -tuples into parts corresponding to the associated codewords in . If we choose a word whose last coordinates do not match with the last coordinates of any of the codewords, then, for this word, which is the maximum value that a word can give. Hence, the proof holds.

Theorem 11. Let be any RT-metric code of length with covering radius . Then, the coordinates are not acceptable.

Proof. The minimum norm is By Lemma 10, , for all , which implies From (8) and (9), one can conclude that This completes the proof.

The above theorem is not sufficient to arrive at a decision on the acceptability of the th coordinate, when the code has covering radius . This can be settled by the following theorem which says that no -ary linear RT-metric code with dimension more than and covering radius has acceptable last coordinate.

Theorem 12. Let be an linear RT-metric code over with and . Then, the last coordinate is not acceptable.

Proof. By Lemma 10, In order to prove this theorem, we must show that there exists at least one coordinate for which . As the dimension of is , there will be coordinate positions such that for all and for each . One such coordinate position is (but not , as the partition number is 1). As , there exists at least one more such coordinate position and wherein for all , and so . This completes the proof.

But, when the code is either of dimension 1 or of constant weight, all the coordinates become acceptable as the following results suggest.

Proposition 13. Let be an linear RT-metric code. Then, is normal and all the coordinates are acceptable.

Proof. It can easily be seen that the covering radius of is either or . If it is , the result follows by Theorem 9. If it is , there exists a -cell. Since is of dimension 1, there exist such -cells. By Lemma 10, . Now for each , either or . In the former case, for all and, in the latter case, for all . In any case, . This proves the result stated.

Proposition 14. Let be a constant weight code of length over . Then, is normal and all the coordinates are acceptable.

Proof. It is easy to see that the covering radius of the constant weight code is either or , as it can have partition number of either or . If , then, by Lemma 10, it is done. If , then for any . Then, for any , and . For an with and , equals . Hence, the result follows.

Remark 15. If , then its partition number is and so its covering radius is . By (3), for any , . And so, and . Thus, the ambient space is normal with the first coordinate being the only acceptable coordinate.

4.1. Normality and Direct Sum Construction

Proposition 16. Let and be and RT-metric codes, respectively, such that . Then,(i)the direct sum    is normal; (ii)all the coordinates corresponding to    are acceptable for  ; (iii)the coordinate    for    is acceptable for    only if the norm of    with respect to the coordinate    is equal to  .

Proof. Let and be any and   -ary RT-metric codes, respectively. Then, by Proposition 6, their direct sum is an code with length and covering radius . Now, for , by (3), we have Now, in order to determine the norm , we have to find for each , the coordinate positions corresponding to . But, we know by Proposition 8 that which implies . Hence, . Thus, is normal and all the coordinate positions corresponding to are acceptable and the coordinate position corresponding to is acceptable if .

4.2. Normality and Amalgamated Direct Sum Construction

The amalgamated direct sum of two codes is defined as follows.

Definition 17. Let be an normal code with the last coordinate being acceptable and let be an normal code with the first coordinate being acceptable. Then, their amalgamated direct sum (or shortly ADS), denoted by , is an code and is given by Here, in this definition, we consider those codes and which are normal, respectively, with the last coordinate and first coordinate being acceptable such that the parts and are nonempty for all .

As Theorem 12 shows the nonexistence of linear codes of dimension more than 1 whose last coordinate is acceptable, the significance of amalgamated direct sum and hence that of normality in RT-metric are less as far as the resulting covering radius is concerned. But, since the one-dimensional codes are normal and all the coordinates are acceptable, one can only use this ADS construction method to combine a 1-dimensional code with any other linear code, which may be helpful in the construction of MDS codes as seen in the following result.

Theorem 18. Let be an MDS code with covering radius (which is normal with last coordinate being acceptable) and let be an MDS code with covering radius . Then, their amalgamated direct sum is an MDS code with covering radius .

Proof. From the definition of partition number and from Theorem 4, it is easy to see that . So, and . Now, as the dimension of is (which is less than or equal to ), the covering radius of depends only on the coordinates pertaining to the code . But has covering radius and hence has partition number . So, also will have partition number and hence will have covering radius which is equal to , which implies that is MDS. This completes the proof.

5. Conclusion

We discussed the normality of codes over in RT-metric and determined its norm with respect to various coordinate positions. We also established that the last coordinate is not acceptable for any nontrivial code in this metric which makes the ADS construction less significant as far as the higher dimensional RT-metric codes are concerned.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.