Construction of New Codes from Given Ones in an Additive Channel ()
Received 18 February 2016; accepted 8 April 2016; published 11 April 2016
1. Introduction
We consider an additive communication channel introduced in [1] as some transformer of information which is a generalization of the classical binary channel with a limited number of distortions:. Many notions and facts in the present paper have taken their roots in classical coding theory and are direct analogues of well known results [1] - [6] .
The “noise” generated by an additive channel leads to a word at the exit of the channel which differs from the transmitted one. This circumstance makes one to find the leads to creation of necessary initial prerequisites for introducing standard notions of an error correcting code in the coding theory, as well as the notions of the speed of communication, decoding etc.
Thus, the problem of constructing new codes from known ones has certain interest for coding theory. In this work, using certain combinatory constructions, some new codes for additive communication channels are constructed (also see [7] [8] ). This problem has particular interest especially if new codes are “optimal” in one of well known senses.
2. Codes in an Additive Channel
Let be a binary alphabet; be the set of all words with finite lengths in the alphabet B, and. In this paper it is convenient to take the set as an n-dimensional vector space in the field of 2 elements.
If is a subset of, then the notion of an additive channel A is connected with the subset A in the following way.
Any vector in the channel A is transformed into one of the vectors having the following form:
,
here is the addition operation (addition with respect to mod 2) in the space.
Definition 1. The following set:
is called the t-order neighborhood with respect to A of any vector, and.
As the cardinality of the t-order neighborhood does not depend on the vector x, we use the denotation:.
Definition 2. The code corrects the errors of the additive channel, if:
An equivalent writing of this condition has the following form:
,
or here is another one which is symmetrical to the preceding one:
.
Below, without loss of generality, we take:
Let us note that for the cardinality of the code V correcting the errors of the additive channel the following limits hold true [3] :
.
Besides, the code V for which the upper limit is reached is called the perfect code correcting the errors of the additive channel A.
To describe ‘interrelations’ of the additive channel A and the code V correcting the errors of this channel, the following convenient two-place predicate X(A, V) is introduced:
If the cardinality of the channel A is fixed, then there exist various additive channels and, as usual, consideration of the following upper limit of the cardinality of the corresponding correcting codes is expedient:
here is the code of the maximum volume correcting the errors of the channel A.
The Hamming metric is a standard and mostly used metric in theory of coding, defined by the following function:
.
One can accept that this metric is connected with the ‘natural’ basis in the following way:
.
It is clear that choosing another basis we generate another metric:
.
A more general procedure of metric generation is as follows. For a given subset and a vector we consider all expansions of x with respect to M, that is, the expansions of the following form:
. (1)
And for each such representation, we juxtapose the following number:
.
Then, choosing the least of these numbers, we define the following norm (the МLМ norm), connected with M:
(2)
The function is a metric (below, the МLМ metric) for an arbitrary subset (see [6] ).
3. Constructing New Codes from the Given Ones in an Additive Channel
Let and be a basis for A. We consider an arbitrary basis of the space, where, and f is a linear reversible transformation:, defined in the following way:
We denote the image of the set by:
It is clear that if, then for all.
According to [9] , the following statement holds true.
Lemma 1. The image of the maximal code is the maximal code for the channel, and.
Theorem 1. For all the following inequality holds true:
.
Corollary 1. If, then.
This corollary can be paraphrased as follows.
If (s is an integer), then there exists a channel with the cardinality for which is a perfect code.
Anyhow, one cannot assert that the condition is sufficient. This means that is not always a perfect code for.
Example 1. For instance, if there does not exist a perfect code correcting the errors of the additive channel, where is the basis, and.
For Hamming metric the proof of this fact can be found in [10] , and this proof states that there does not exist a binary perfect code correcting binary errors except the trivial ones. And for the MLM metric, this fact is established in [11] by the following theorem.
Theorem 2. The non-trivial perfect codes, correcting the errors of the additive channel, exist only for the following values of n and t:
(a),
(b)
If is an arbitrary additive channel, then the set А generates a MLM metric in, given by formula (2). The statement presented below shows [11] that the ability of the code of correcting the errors of the additive channel can be formulated in terms of the MLM metric generated by the set А.
Lemma 2. The code V corrects the errors of the additive channel А, if the following conditions hold true:
Now we consider the set, as well as the code.
Theorem 3. The code corrects the errors of the additive channel .
Proof. Taking into account Lemma 2, it is sufficient to prove that the following inequality holds true:
Let us consider two cases:
1).
Then it is not difficult to prove that
,
where, ,.
As, then it follows from Lemma 2 that.
2).
Then As, then it follows from Lemma 2 that Consequently, again applying to Lemma 2, we get.
The theorem is proved.
Without any loss of generality we can take
Applying Theorem 3 sequentially to the pair, we construct the pair:
,
,
where the vector is defined in the following way:
. (3)
The code is the combination of various shifts of for, where are some vectors chosen in a “convenient” way.
From this we have:
Now, the proof of the following theorem is not difficult.
Theorem 4. If then for any integer r, satisfying the condition , there exists such a pair that:
Corollary 2. If there exist such satisfying the condition, for which:
.
In other words the communication speed for the pair tends to the unit.
Corollary 3. For any integers, , satisfying the condition, there exists such an additive channel, that for which is the perfect code.
Proof. To prove this statement it is sufficient to apply Theorem 3 to the pair,. Then we obtain:
,
.
It follows from these that and i can be chosen in such a way that, as well as:.
Q.E.D.
Example 2. Let us consider the additive channel (is a 3-order neighborhood), where and is a basis for.
It follows from Lemma 1 and Theorem 2 that the code (where G is the binary perfect code of Golay [10] and is the matrix having the rows which are the vectors of the basis) and it is the perfect code correcting the errors of the additive channel in the MLM metric.
Applying the above-described method (Theorem 3), we get the channel:
,
And the code
,
where
.
The following holds true for the constructed pair:
,
It follows from here and Theorem 1 that the constructed code is perfect and it corrects the errors of the additive channel.
Let us consider the partitioning of the set into the classes .
It follows from the preceding theorem that for arbitrary, satisfying the condition , there exists a channel for which is the perfect code. Theorem 4 makes possible to construct these channels and the perfect codes correcting the errors of these channels.
Example 3.
.
Let us again come back to the definition of the perfect code. The standard definition of the perfect code means that it is a set correcting the errors of an additive channel in the MLM metric in which the upper limit of the cardinality of the code is reached. Such a definition provides fixation of the code cardinality, leaving wide room only for maneuvering for its geometrical form. But the definition of the perfect code correcting the errors of the t-order neighborhood (for Hamming metric, correcting the t-multiple errors) means partitioning of the space into non-intersecting t-order neighborhoods (a sphere of a t-radius) for the given metric.
It is obvious that there is a “geometrical sense” in the second definition, which is strictly definite, stating the t-order neighborhood (that is, the multiplicity t of an error for Hamming metric). The parameter t defines the neighborhood uniquely (a sphere of the radius t) and, consequently, the cardinality of the neighborhood as well,
which equals (that is, the cardinality of the sphere,).
Taking these considerations into account, one can conclude that these two notions do not always coincide. To demonstrate this fact, let us discuss the following example.
Example 4. A perfect code in the ‘geometrical sense’ does not exist for,. (See [10] or Theorem 2 for the MLM metric case). In this case, the channel is a 2-order neighborhood:. A perfect code correcting the errors of the additive channel in the space with rank 90 does exist, which follows from the preceding example.
Consequently,
,
where is defined as in (3), is perfect in, for the following channel:
.
It is clear that the channel differs from the channel for any.