Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Next Article in Journal
A Novel Color Image Encryption Scheme Based on Hyperchaos and Hopfield Chaotic Neural Network
Next Article in Special Issue
Gaussian Multiuser Wiretap Channels in the Presence of a Jammer-Aided Eavesdropper
Previous Article in Journal
Analysis of Longitudinal Binomial Data with Positive Association between the Number of Successes and the Number of Failures: An Application to Stock Instability Study
Previous Article in Special Issue
Coding for Large-Scale Distributed Machine Learning
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Bounds for Coding Theory over Rings

1
Institute of Mathematics, University of Zurich, 8057 Zurich, Switzerland
2
School of Mathematics and Statistics, University College of Dublin, D04 V1W8 Dublin, Ireland
3
Department of Computer Engineering, Technical University of Munich, 80333 München, Germany
*
Author to whom correspondence should be addressed.
Entropy 2022, 24(10), 1473; https://doi.org/10.3390/e24101473
Submission received: 15 September 2022 / Revised: 12 October 2022 / Accepted: 12 October 2022 / Published: 16 October 2022
(This article belongs to the Special Issue Information Theoretic Methods for Future Communication Systems)

Abstract

:
Coding theory where the alphabet is identified with the elements of a ring or a module has become an important research topic over the last 30 years. It has been well established that, with the generalization of the algebraic structure to rings, there is a need to also generalize the underlying metric beyond the usual Hamming weight used in traditional coding theory over finite fields. This paper introduces a generalization of the weight introduced by Shi, Wu and Krotov, called overweight. Additionally, this weight can be seen as a generalization of the Lee weight on the integers modulo 4 and as a generalization of Krotov’s weight over the integers modulo 2s for any positive integer s. For this weight, we provide a number of well-known bounds, including a Singleton bound, a Plotkin bound, a sphere-packing bound and a Gilbert–Varshamov bound. In addition to the overweight, we also study a well-known metric on finite rings, namely the homogeneous metric, which also extends the Lee metric over the integers modulo 4 and is thus heavily connected to the overweight. We provide a new bound that has been missing in the literature for homogeneous metric, namely the Johnson bound. To prove this bound, we use an upper estimate on the sum of the distances of all distinct codewords that depends only on the length, the average weight and the maximum weight of a codeword. An effective such bound is not known for the overweight.

1. Introduction

Coding theoretic experience has shown that considering linear codes over finite fields often yields significant complexity advantages over the nonlinear counterparts, particularly when it comes to complex tasks such as encoding and decoding. On the other side, it was recognized early [1,2] that the class of binary block codes contains excellent code families, which were not linear (Preparata, Kerdock codes, Goethals and Goethals–Delsarte codes). For a long time, it could not be explained why these families exhibit formal duality properties in terms of their distance enumerators that occur only on those among linear codes and their duals.
A true breakthrough in the understanding of this behavior came in the early 1990s when, after preceding work by Nechaev [3], the paper by Hammons et al. [4] discovered that these families allow a representation in terms of Z 4 -linear codes.
A crucial condition for this ring-theoretic representation was that Z 4 was equipped with an alternative metric, the Lee weight, rather than with the traditional Hamming weight, which only distinguishes whether an element is zero or non-zero. The Lee weight is finer, assigning 2 a higher weight than the other non-zero elements of this ring.
The fact that the traditional settings of linear coding theory (finite fields endowed with the Hamming metric) are actually too narrow, which suggests expanding the theory in at least two directions: on the algebraic part, the next more natural algebraic structure serving as alphabet for linear coding is that of finite rings (and modules). On the metrical part, the appropriateness of the Lee weight for Z 4 -linear coding suggests that the distance function for a generalized coding theory requires generalization as well.
Since these ground-breaking observations, an entire discipline arose within algebraic coding theory. A considerable community of scholars have been developing results in various directions, among them code duality, weight-enumeration, code equivalence, weight functions, homogeneous weights, existence bounds, code optimality and decoding schemes, to mention only a few.
The paper at hand aims at providing a further contribution to this discipline, by introducing the overweight on a finite ring. This weight is a generalization of the Lee weight over Z 4 , as well as of the weight introduced in [5] by Krotov over Z 2 s for any positive integer s, which was further generalized to Z p k in [6].
We study the relations of this new weight to other well-known weights over rings and state several properties of the overweight, such as its extremal property. We also develop a number of standard existence bounds, such as a Singleton bound, a sphere-packing bound, a Plotkin bound and a version of the (assertive) Gilbert–Varshamov bound.
In the final part of this article, we derive a general Johnson bound for the homogeneous weight on a finite Frobenius ring. This result is important, as it is closely connected to list decoding capabilities.

2. Preliminaries

Throughout this paper, we will consider R to be a finite ring with identity, denoted by 1. If R is a finite ring, we denote by R × its group of invertible elements, also known as units.
Let us recall some preliminaries in coding theory, where we focus on ring-linear coding theory.
For a prime power q, let us denote by F q the finite field with q elements and, for a positive integer m, we denote by Z m the ring of integers modulo m.
In traditional coding theory, we consider a linear code to be a subspace of a vector space over a finite field.
Definition 1.
Let q be a prime power, and let k n be non-negative integers. A linear subspace C of F q n of dimension k is called a linear [ n , k ] code.
We define a weight in a general way.
Definition 2.
Let R be a finite ring. A real-valued function w on R is called a weight if it is a non-negative function that maps 0 to 0.
It is natural to identify w with its additive extension to R n , and so we will always write w ( x ) = i = 1 n w ( x i ) for all x R n . Every weight w on R induces a distance  d : R × R R by d ( x , y ) = w ( x y ) . Again, we will identify d with its natural additive extension to R n × R n .
If the weight additionally is positive definite, symmetric and satisfies the triangular inequality, that is,
1.
w ( 0 ) = 0 and w ( x ) > 0 for all x 0 ,
2.
w ( x ) = w ( x ) for all x R ,
3.
w ( x + y ) w ( x ) + w ( y ) for all x , y R ,
then the induced distance inherits these properties, i.e.,
1.
d ( x , y ) 0 for all x , y R and d ( x , y ) = 0 if and only if x = y .
2.
d ( x , y ) = d ( y , x ) for all x , y R ,
3.
d ( x , z ) d ( x , y ) + d ( y , z ) for all x , y , z R .
The most prominent and best studied weight in traditional coding theory is the Hamming weight.
Definition 3.
Let n N . The Hamming weight of a vector x R n is defined as the size of its support
w H ( x ) = { i { 1 , , n } x i 0 } ,
and the Hamming distance between x and y R n is given by
d H ( x , y ) = { i { 1 , , n } x i y i } = w H ( x y ) .
The minimum Hamming distance of a code is then defined as the minimum distance between two different codewords
d H ( C ) = min { d H ( x , y ) x , y C , x y } .
Note that the concept of minimum distance can be applied for any underlying distance d.
In the paper at hand, we focus on a more general setting where the ambient space is a module over a finite ring.
Definition 4.
Let n N and let R be a finite ring. A submodule C of R R n of size M = | C | is called a left R-linear ( n , M ) code.
The most studied ambient space for ring-linear coding theory is the integers modulo 4, denoted by Z 4 , endowed with the Lee metric.
Definition 5.
For x Z m , its Lee weight is defined as
w L ( x ) = min { x , m x } .
One of the most prominent generalizations of the Lee weight over Z 4 is the homogeneous weight.
Definition 6. 
Let R be a Frobenius ring. A weight w : R R is called (left) homogeneous of average value γ > 0 , if w ( 0 ) = 0 and the following conditions hold:
(i) 
For all x , y with R x = R y , we have that w ( x ) = w ( y ) .
(ii) 
For every non-zero ideal I R R , it holds that
1 | I | x I w ( x ) = γ .
We will denote the homogeneous weight with w t .
The homogeneous weight was first introduced by Constantinescu and Heise in [7] in the context of coding over integer residue rings. It was later generalized by Greferath and Schmidt [8] to arbitrary finite rings, where the ideal I in Definition 6 was assumed to be a principal ideal. In its original form, however, the homogeneous weight only exists on finite Frobenius rings. It can be shown that a left homogeneous weight is at the same time right homogeneous, and for this reason, we will omit the reference to any side for the sequel. In [9], Honold and Nechaev finally generalized the notion of homogeneous weight to some finite modules, called weighted modules, over a (not necessarily commutative) ring R with identity.
Since we will establish a Plotkin bound for a new weight, let us recall here the Plotkin bound over finite fields equipped with the Hamming metric.
Theorem 1
(Plotkin bound). Let C be an ( n , M ) block code over F q with minimum Hamming distance d . If d > q 1 q n , then
M d d q 1 q n .
For the homogeneous weight, the following Plotkin bound was established in [10].
Theorem 2
(Plotkin bound for homogeneous weights, [10]). Let w t be a homogeneous weight of average value γ on R, and let C be an ( n , M ) block code over R with minimum homogeneous distance d. If γ n < d , then
M d d γ n .

3. Overweight

As the Hamming weight defined over the binary can be generalized to larger ambient spaces in different ways resulting in different metrics, such as the Hamming weight over F q or the Lee weight over Z p s ; in addition, the Lee weight over Z 4 can be generalized in different ways. For example, the weight defined in [5] over Z 2 m for any positive integer m is a possible generalization, but the most prominent generalization is the homogeneous weight (see for example [10]). In this section, we introduce a new generalization, called the overweight. This weight shows some interesting properties and relations to the homogeneous weight and can additionally be seen as a generalization of the weight defined in [5] over Z 2 s for any positive integer s and the weight defined in [6] over Z p s .
Definition 7. 
Let R be a finite ring. The overweight on R is defined as
W : R R , x 0 if x = 0 , 1 if x R × , 2 otherwise .
We also denote by W its additive expansion to R n , given by W ( x ) = i = 1 n W ( x i ) .
Let us call the distance which is induced by the overweight the overweight distance, and denote it by D, i.e., D ( x , y ) = W ( x y ) .
The motivation of introducing this new weight is twofold: on one hand, it is theoretically interesting to explore a new generalization of the Lee weight over Z 4 and its connections to other known weights over rings. On the other hand, the overweight would also be perfectly suitable for a channel, where unit errors are more likely.
Note that the overweight is designed to satisfy the following criteria: it is positive definite, symmetric, satisfies the triangular inequality and distinguishes between units and non-zero non-units. Furthermore, it is extremal in the sense that, on a big family of rings, any increase of the weight of non-zero non-units would violate the triangular inequality, thus the name overweight. We will now study this extremal property in more details.
We can consider weights with values in { 0 , 1 , α } , for some α > 0 , without fixing the subsets of R where these values are attained. Thus, we are considering the generic weight function
f ( x ) = 0 if x = 0 , 1 if x A 1 , α if x A 2 ,
where A 1 R \ { 0 } and A 2 = R \ ( A 1 { 0 } ) . Such a weight is always positive definite. In addition, the weight is symmetric if and only if A 1 and A 2 contain all additive inverses of their elements. Let us now consider the triangular inequality: if there exist x , y A 1 such that x + y A 2 , then we must have
α = f ( x + y ) f ( x ) + f ( y ) = 2 .
Thus, in order for f to be an extremal weight, one chooses α = 2 .
The overweight is a special case of such a weight function f with the choice A 1 = R × . The existence of elements x , y R × such that x + y R \ ( { 0 } R × ) is satisfied for many rings—for example, for rings with a non-trivial Jacobson radical.

Relations to Other Weights

Clearly, the homogeneous weight and the overweight coincide with the Lee weight on Z 4 , with the Hamming metric on finite fields F q , and finally with the weight [6] on Z p s .
Proposition 1.
The overweight over finite chain rings gives an upper bound on the normalized homogeneous weight.
Proof. 
Over a finite chain ring with socle S and residue field size q, we have that the normalized homogeneous weight is defined as
w t ( x ) = 0 if x = 0 , q q 1 if x S \ { 0 } , 1 else .
If x S \ { 0 } , then also x R \ R × , and
w t ( x ) = q q 1 2 = W ( x ) .
If x R × , then w t ( x ) = 1 = W ( x ) and finally, if x R \ ( S R × ) , we have that
w t ( x ) = 1 2 = W ( x ) ,
which implies the result. □
In [11], Bachoc defines the following weight on F p -algebras A, with units A × as follows:
w B ( x ) = 0 if x = 0 , 1 if x A × , p else .
This is in the same spirit as the overweight. The weight of Bachoc is, however, only assuming positive definiteness. We note that, whenever we have a F 2 -algebra, the two weights coincide. The overweight can thus also be seen as a generalization of Bachoc’s weight to a general finite ring.
Let us illustrate this connection with some examples: we consider the ring M 2 ( F p ) of 2 × 2 matrices over F p and the ring F p [ x ] / ( x 2 ) . In both cases, the Bachoc weight only coincides with the homogeneous and the overweight in the case p = 2 .
Finally, in [5], Krotov defines the following weight over Z 2 m , for any positive integer m:
w K ( x ) = 0 if x = 0 , 2 if 2 x , x 0 , 1 else .
Clearly, this is a further generalization of the Lee weight over Z 4 and thus coincides there with the homogeneous and the overweight. However, even more is true: the weight of Krotov and the overweight coincide over Z 2 s , for any positive integer s. Thus, the overweight may be considered as a generalization of Krotov’s weight over Z 2 s for any positive integer s.
Let us give some examples to illustrate the differences between the above-mentioned weights.
Example 1.
In the following table, w H denotes the Hamming weight, w t the normalized homogeneous weight, w L denotes the Lee weight, w K denotes Krotov’s weight, w B denotes Bachoc’s weight and finally W denotes the overweight. Let us consider two easy but pathological cases, namely Z 6 for Table 1 and Z 2 × Z 2 for Table 2.
Finally, another interesting connection to the Hamming weight arises by considering the following linear injective isometry.
Lemma 1.
The map
ψ : ( F 2 [ x ] / ( x 2 ) , W ) ( F 2 2 , w H ) a + b x ( a + b , b )
is a linear isometry.
Recall that, over F 2 [ x ] / ( x 2 ) , the overweight coincides with the weight of Bachoc and the homogeneous weight.

4. Bounds for the Overweight

In this section, we develop several bounds for the overweight, such as a Singleton bound, a sphere-packing bound, a Gilbert–Varshamov bound and a Plotkin bound.
For this, let us first define the minimum overweight distance of a code.
Definition 8.
Let C R n be a code. The minimum overweight distance of C is then denoted by D ( C ) and defined as
D ( C ) = min { D ( x , y ) x , y C , x y } .

4.1. A Singleton Bound

The Singleton bound usually follows a puncturing argument, which is possible for the overweight, but gives the same result as applying the following observation:
Remark 1.
For all x R , we have that
0 w H ( x ) W ( x ) 2 w H ( x ) 2 n ,
where w H denotes the Hamming weight.
Hence, using the Singleton bound for the Hamming metric directly gives a Singleton bound for the overweight.
Proposition 2.
Let C R n be a code of size M and minimum overweight distance d. Then,
d 2 ( n log R ( M ) + 1 ) .
Example 2.
A trivial example for a code achieving the Singleton bound in Proposition 2 is given by C = ( p , , p ) Z p s n , having log p s ( C ) = s 1 s and minimum overweight distance d = 2 n .
However, if we define the rank of a linear code C, denoted by r k ( C ) , to be the minimal number of generators of C, then the following bound is known for principal ideal rings [12,13]
d H ( C ) n r k ( C ) + 1 .
Codes achieving this bound are called Maximum Distance with respect to Rank (MDR) codes, in order to differentiate from MDS codes. This is a sharper bound than the usual Singleton bound, since for non-free codes we have r k ( C ) > log R ( M ) .
In the case of linear codes, the rank thus also leads to a sharper Singleton-like bound for the overweight.
Proposition 3.
Let R be a principal ideal ring. Let C R n be a linear code of rank r k ( C ) and minimum overweight distance d. Then,
d 2 ( n r k ( C ) + 1 ) .
Example 3.
As an example for a code, we can consider C = ( 3 , 6 , 3 , 0 ) , ( 6 , 6 , 0 , 3 ) Z 9 4 , having minimum overweight distance d = 6 .

4.2. A Sphere-Packing Bound

The sphere-packing bound as well as the Gilbert–Varshamov bound are generic bounds, and we are able to provide them for the overweight in a simple form involving the volume of the balls in the underlying metric space.
We begin by defining balls with respect to the overweight distance.
Definition 9.
For a given radius r 0 , the overweight ball B r , D ( x ) of radius r centered in x is defined as
B r , D ( x ) : = { y R n D ( x , y ) r } .
Clearly, the volume of such a ball is invariant under translations, i.e.,
B r , D ( x ) = B r , D ( y ) ,
for all x , y R n .
Moreover, setting u : = | R × | and v : = | R | 1 u , we have the generating function f W ( z ) = 1 + u z + v z 2 for this weight function, so that the generating function for W on R n takes the form
f W n ( z ) = ( 1 + u z + v z 2 ) n = k 0 + k u + k v = n n k 0 , k u , k v 1 k 0 ( u z ) k u ( v z 2 ) k v = k = 0 n = 0 n k n k n k u k v z k + 2 ,
where we have set k = k u and = k v , and where the condition k 0 + k u + k v = n is transformed in 0 k n , 0 n k . Now, setting t = k + 2 , we obtain the simplified expression for the generating function
f W n ( z ) = t = 0 2 n = 0 t 2 n t 2 n t + 2 u t 2 v z t .
Lemma 2.
The foregoing implies that the ball of radius e (centered in 0) has volume exactly
B e , D ( 0 ) = t = 0 e = 0 t 2 n t 2 n t + 2 u t 2 v .
We thus provided an explicit formula for the cardinality of balls in R n with respect to the overweight distance.
We now obtain the sphere-packing bound for the overweight distance by combining the previous results. As before, R is a finite ring and u = | R × | , whereas v = | R | 1 u represents the number of non-zero non-units.
Corollary 1
(Sphere-Packing Bound). Let C R n be a (not necessarily linear) code of length n, and minimum overweight distance d = 2 e + 1 . Then, we have
| C | | R | n B e , D ( 0 ) ,
where the cardinality of B e , D ( 0 ) is given in Equation (1).
If the minimum distance is even and R is a finite local ring with maximal ideal J, this bound can be adapted as follows.
Corollary 2.
Let R be a local ring with maximal ideal J, q = | R / J | and C R n + 1 be a (not necessarily linear) code of length n + 1 and minimum overweight distance d = 2 e + 2 . Then,
| C | | R | n + 1 q B e , D ( 0 ) ,
where B e , D ( 0 ) is the overweight ball of radius e in R n , and its volume is given in Equation (1).
Proof. 
Pick x 1 , , x q such that the cosets x 1 + J , , x q + J form a partition of R. For all m J , define the set
S m : = { x 1 + m , , x q + m } .
Notice that the sets S m form a partition of R and that all elements of S m have mutual overweight distance 1. Thus, given r R , we denote with S ( r ) the unique set S m that contains r. Furthermore, let
π : R n + 1 R n
be the projection that removes the n + 1 ’th coordinate and
Z ( x ) : = { z R n + 1 | D ( π ( z ) , π ( x ) ) e , z n + 1 S ( x n + 1 ) } .
Now, if x y R n + 1 are two codewords, then Z ( x ) and Z ( y ) are disjoint. Indeed, if z Z ( x ) Z ( y ) , then S ( x n + 1 ) = S ( y n + 1 ) as they cannot be disjoint. Hence, D ( x n + 1 , y n + 1 ) 1 . Furthermore, both D ( π ( x ) , π ( z ) ) and D ( π ( y ) , π ( z ) ) are less than or equal to e, implying that D ( π ( x ) , π ( y ) ) 2 e . It follows that D ( x , y ) 2 e + 1 , which is a contradiction. □
To find non-trivial examples of perfect codes is as notoriously hard as over finite fields in the Hamming metric. Clearly, in the case R = F q , there are non-trivial perfect codes, as the overweight coincides with the Hamming weight. Examples of such codes can be found in [5] (Section IV). Furthermore, in the case R = Z p k , linear 1-perfect codes are classified in terms of their parity-check matrix in [6] (Theorem IV.1).

4.3. A Gilbert–Varshamov Bound

With arguments similar to those for the sphere-packing bound, we can also obtain a lower bound on the maximal size of a code with a fixed minimum distance.
Proposition 4
(Gilbert–Varshamov bound). Let R be a finite ring, n a positive integer and d { 0 , , 2 n } . Then, there exists a code C R n of minimum overweight distance at least d satisfying
| C | | R | n B d 1 , D ( 0 ) ,
where the volume is given in Equation (1) for e = d 1 , i.e.,
B d 1 , D ( 0 ) = t = 0 d 1 = 0 t 2 n t 2 n t + 2 u t 2 v .
Proof. 
Assume C R n of minimum overweight distance of at least d is a largest code of length n and minimum distance d. Then, the set of balls B d 1 , D ( x ) centered in the codewords x C must already cover the space R n . Since, if this were not the case, one would find an element y R n that is not contained in the ball of radius d 1 around any element of C. This word y would have distance at least d to each of the words of C, and thus C { y } would be a code of properly larger size with distance at least d, a contradiction to the choice of C.
From the covering argument, we then see that
| C | | R | n B d 1 , D ( 0 ) ,
as desired. □
Let us consider the special case where R is a finite chain ring. Since the overweight is an additive weight, and the conditions of [14] are easily verified, we can use [14] (Theorem 22) to obtain that random linear codes over R n achieve the (asymptotic) Gilbert–Varshamov bound with high probability.
Example 4.
As an easy example, we can consider R n = Z 8 2 . The maximal minimum overweight distance is given by d = 2 n = 4 . The Gilbert–Varshamov bound states for this example that there exists a code C with C > 1 , as B 3 , D ( 0 ) = 55 . For example, the code C = ( 2 , 2 ) has four elements.

4.4. A Plotkin Bound

Over a local ring, we can use methods similar to the ones used for the classical Plotkin bound to obtain an analogue of the Plotkin bound for (not necessarily linear) codes equipped with the overweight.
For the rest of this section, R is a finite local ring with maximal ideal J. The notation stems from the Jacobson radical of the ring R. Note that the factor ring R / J is a finite field, whose cardinality will be denoted by q.
Similarly to the Hamming case, for a subset A R , we will denote by
W ¯ ( A ) = a A W ( a ) | A |
the average weight of the subset A.
Lemma 3.
Let I R be a left or right ideal. Then,
W ¯ ( I ) = | R | + | J | 2 | R | if I = R , 2 1 1 | I | if { 0 } I R , 0 else .
Proof. 
Note that the last case is trivial as I = { 0 } . If { 0 } I R , then all non-zero elements of I have weight 2, so this case follows as well.
Finally, if I = R , then there are | R \ J | = | R | | J | elements of weight 1 and | J | 1 elements of weight 2. Hence, the total weight is | R | | J | + 2 ( | J | 1 ) and dividing by | R | yields the claim. □
Corollary 3.
Let R be a local ring with maximal ideal J and assume that | J | 2 . Then, we have that W ¯ ( J ) W ¯ ( I ) for all left or right ideals I R .
Proof. 
We immediately see that W ¯ ( J ) W ¯ ( I ) for all I J . Now, consider the case I = R . We have that
W ¯ ( R ) = | R | + | J | 2 | R | = | R \ J | | R | + 2 | J | 1 | R | = | R \ J | | R | + 2 | J | 1 | J | · | J | | R | 2 | J | 1 | J | · | R \ J | | R | + 2 | J | 1 | J | · | J | | R | = 2 | J | 1 | J | = W ¯ ( J ) ,
where we used that 2 | J | 1 | J | 1 . □
To ease the notation, let us denote by η the following
η = W ¯ ( J ) = 2 1 1 | J | .
In what follows, we provide a Plotkin bound for the overweight over a local ring R with maximal ideal J. The case | J | = 1 is already well studied, since, in this case, R is a field and D is simply the Hamming distance. Hence, we will assume that | J | 2 .
We start with a lemma for the Hamming weight. The proof of it follows the idea of the classical Plotkin bound, which can be found in [15], and for the homogeneous weight in [10].
Lemma 4.
Let I R be a subset and P be a probability distribution on I. Then, we have that
x I y I w H ( x y ) P ( x ) P ( y ) 1 1 | I | .
Proof. 
We have that
x I y I w H ( x y ) P ( x ) P ( y ) = x I P ( x ) ( 1 P ( x ) ) = x I P ( x ) x I P ( x ) 2 .
If we apply the Cauchy–Schwarz inequality to the latter sum, we obtain that
x I P ( x ) x I P ( x ) 2 1 1 | I | x I P ( x ) 2 = 1 1 | I | .
From which we can conclude. □
We are now ready for the most important step of the Plotkin bound. As before, R is a local ring with non-zero maximal ideal J and η = W ¯ ( J ) .
Proposition 5.
Let P be a probability distribution on R. Then, it holds that
x R y R W ( x y ) P ( x ) P ( y ) η .
Proof. 
Let q = | R / J | and pick x 1 , , x q such that x i + J x j + J if i j . Then, it follows that the cosets x i ¯ : = x i + J form a partition of R. For all k { 1 , , q } , we denote by
P k = x x k ¯ P ( x ) .
It follows that k = 1 q P k = 1 . By rewriting the initial sum as sum over all cosets, we obtain that
x R y R W ( x y ) P ( x ) P ( y ) = k = 1 q x x k ¯ y R W ( x y ) P ( x ) P ( y ) = k = 1 q x x k ¯ y x k ¯ 2 w H ( x y ) P ( x ) P ( y ) + z R \ x k ¯ w H ( x z ) P ( x ) P ( z ) = k = 1 q 2 x x k ¯ y x k ¯ w H ( x y ) P ( x ) P ( y ) + x x k ¯ z R \ x k ¯ P ( x ) P ( z ) = k = 1 q 2 x x k ¯ y x k ¯ w H ( x y ) P ( x ) P ( y ) + x x k ¯ P ( x ) ( 1 P k ) .
If P k 0 , then P ˜ ( x ) : = P ( x ) / P k defines a probability distribution on x k ¯ . In this case, we apply Lemma 4 to obtain that
x x k ¯ y x k ¯ w H ( x y ) P ( x ) P ( y ) = P k 2 x x k ¯ y x k ¯ w H ( x y ) P ( x ) P ( y ) P k 2 P k 2 1 1 | J | .
Note that the same inequality also trivially holds if P k = 0 . Applying this and using that x x k ¯ P ( x ) = P k , we obtain that
k = 1 q 2 x x k ¯ y x k ¯ w H ( x y ) P ( x ) P ( y ) + x x k ¯ P ( x ) ( 1 P k ) k = 1 q P k 2 · 2 1 1 | J | + P k ( 1 P k ) k = 1 q P k · 2 1 1 | J | = 2 1 1 | J | = η ,
where we used that 2 1 1 | J | 1 since | J | 2 in the last inequality. □
To complete the Plotkin bound for the overweight, we now follow the steps in [10]. Using Proposition 5, we obtain the following result:
Proposition 6.
Let C R n be a (not necessarily linear) code of minimum overweight distance d. Then,
| C | ( | C | 1 ) d x C y C D ( x , y ) | C | 2 n η .
Proof. 
The first inequality follows since the distance between all distinct pairs of C is at least d.
For the second inequality, let p i : R n R be the projection onto the ith coordinate. Note that
P i ( z ) : = | p i 1 ( z ) C | | C |
defines a probability distribution on R for all i { 1 , , n } . Using Proposition 5, we obtain that
x C y C D ( x , y ) = i = 1 n x C y C W ( x i y i ) = i = 1 n r R s R W ( r s ) P i ( r ) P i ( s ) | C | 2 | C | 2 i = 1 n η = | C | 2 n η .
Thus, we obtain the claim. □
From this inequality, we obtain a Plotkin bound for the overweight distance. As before, R is a local ring with non-zero maximal ideal J and η = 2 1 1 | J | .
Theorem 3
(Plotkin bound for the overweight distance). Let C R n be a (not necessarily linear) code of minimum overweight distance d = D ( C ) and assume that d > n η . Then,
| C | d d n η .
Proof. 
We divide both sides of the inequality in Proposition 6 by | C | to obtain that
| C | ( d n η ) d .
The result then follows from the assumption that d n η > 0 . □
By rearranging the same inequality, we also obtain the following version of the Plotkin bound, which does not require the assumption that d > n η .
Corollary 4.
Let C R n be a (not necessarily linear) code with C 2 and let d = D ( C ) . Then,
d | C | n η | C | 1 .
Proof. 
We obtain this by dividing both sides of the inequality in Proposition 6 by | C | ( | C | 1 ) , which is non-zero by assumption. □
Remark 2.
Note that W is a homogeneous weight on Z 4 , and thus our bound coincides with the bound from [10] for the homogeneous weight on Z 4 .
Example 5.
If we consider codes over Z 9 and fix | C | = 9 , n = 3 . We obtain that d 9 / 2 and hence by the integrality that d 4 . The linear code
C = ( 1 , 1 , 3 )
attains this bound.

5. A Johnson Bound for the Homogeneous Weight

Another interesting bound is the Johnson bound due to its relation with list-decodability. In the classical form, the Johnson bound gives an upper bound on the largest size A q ( n , d , w ) of a constant-weight w code over F q of length n and minimum Hamming distance d. However, for the list-decodability of a code, we are interested in codes having codewords of weight at mostw. In fact, if the largest size of such a code A q ( n , d , w ) is small, e.g., at most a constant L, then every ball of radius w contains at most L codewords and hence one can decode a list of a size at most L. In more detail, the Johnson bound for list-decodability in the Hamming metric states that, if
w n < ( 1 1 q ) 1 1 q q 1 δ = J q ( δ ) ,
where δ denotes the relative minimum distance, then A q ( n , d , w ) n ( d 1 ) .
This famous bound is still missing for the well-studied homogeneous weight, which is, like the overweight, a generalization of the Lee weight over Z 4 . In this section, we prove a Johnson bound for the homogeneous weight from Definition 6, denoted by w t and let γ be its average weight on R. By abuse of notation, we denote with w t also the extension of w t to R n , that is,
w t ( x ) = i = 1 n w t ( x i ) .
Note that w t does not necessarily satisfy the triangle inequality. In [7] (Theorem 2), it is shown that the homogeneous weight on Z m satisfies the triangle inequality if and only if m is not divisible by 6.
We define the ball of radius r with respect to a homogeneous weight w t to be the set of all elements having distance less than or equal to r.
Definition 10.
Let y R n and r R 0 . The ball B r , w t ( y ) of radius r centered in y is defined as
B r , w t ( y ) : = { x R n | w t ( x y ) r } .
Our aim is to provide a Johnson bound for the homogeneous weight over Frobenius rings. Thus, we begin by defining list-decodability.
Definition 11.
Let R be a finite ring. Given ρ R 0 , a code C R n is called ( ρ , L ) list-decodable (with respect to w t ) if, for every y R n , it holds that
| B ρ n , w t ( y ) C | L .
Over Frobenius rings, the following result holds, which will play an important role in the proof of the Johnson bound.
Proposition 7
([10] (Corollary 3.3)). Let R be a Frobenius ring, C R n a (not necessarily linear) code of minimum distance d and ω = max { w t ( c ) | c C } . If ω γ n , then
| C | ( | C | 1 ) d x , y C w t ( x y ) 2 | C | 2 ω | C | 2 ω 2 γ n .
With this, we obtain an analogue of the Johnson bound for the homogeneous weight.
Theorem 4.
Let R be a Frobenius ring and C R n be a (not necessarily linear) code of minimum distance d. Assume that ρ γ . Then, it holds that C is ( ρ , d γ n ) list-decodable if one of the following conditions is satisfied:
(i) 
We have that γ n ( d γ n ) 1 .
(ii) 
It holds that ρ γ ( γ d n ) γ + 1 n 2 .
Proof. 
Assume that e ρ n and let y R n . We have to show that, under the given conditions, | B e , w t ( y ) C | d γ n .
Note first that we may assume that y = 0 ; otherwise, simply consider the translate
C = { c y | c C } .
Assume that x 1 , , x N are in B e , w t ( 0 ) C . We have that w t ( x i x j ) d for i j , thus using Proposition 7 and w t ( x y ) = w t ( y x ) , we obtain that
N ( N 1 ) d 2 i < j w t ( x i x j ) 2 N 2 e N 2 e 2 γ n .
Hence, it follows that
N ( d γ n 2 e γ n + e 2 ) d γ n .
It holds that
d γ n 2 e γ n + e 2 = ( n γ e ) 2 n γ ( n γ d ) .
If we assume that n γ ( n γ d ) 1 , then we clearly have
( n γ e ) 2 n γ ( n γ d ) 1 .
If this is not the case, we see that ( γ d n ) γ + 1 n 2 is well-defined. Thus, if
e n γ γ d n γ + 1 n 2 ,
then
n γ e ( n γ d ) n γ + 1 ,
and hence
( n γ e ) 2 n γ ( n γ d ) 1 .
It follows that N d γ n .
Remark 3.
Note that the second condition already forces ρ γ .
Example 6.
As an easy example, we can consider the code C = ( 1 , 1 ) , ( 4 , 0 ) Z 8 2 of minimum homogeneous distance 2 and γ = 1 . The second condition of Theorem 4 is clearly satisfied by choosing ρ = 1 / 2 since
γ γ d n γ + 1 n 2 = 1 2 ,
implying that the code is ( 1 / 2 , 4 ) list decodable. For example, when setting y = ( 1 , 2 ) , we see that
B 1 , w t ( y ) C = { ( 1 , 1 ) , ( 2 , 2 ) , ( 1 , 5 ) , ( 6 , 2 ) } ,
so the bound is attained.

6. Open Problems

We conclude this paper with some interesting open questions for the newly defined overweight that we have encountered.
Problem 1.
Classify the codes that attain the bounds derived in this paper.
Problem 2.
Give a Griesmer bound, an Elias-Bassalygo and a Johnson bound for the overweight.
Proving an analogue of a Griesmer, Elias-Bassalygo and Johnson bound poses a difficult challenge over rings and in particular for the overweight, due to the necessity of an effective upper bound on the sum of the distances.

Author Contributions

All authors contributed to the content of this article. Conceptualization, N.G., M.G., J.R. and V.W.; methodology, N.G., M.G., J.R. and V.W.; validation, N.G., M.G., J.R. and V.W.; formal analysis, N.G., M.G., J.R. and V.W.; investigation, N.G., M.G., J.R. and V.W.; data curation, N.G., M.G., J.R. and V.W.; writing—original draft preparation, N.G., M.G., J.R. and V.W.; writing—review and editing, N.G., M.G., J.R. and V.W.; visualization, N.G., M.G., J.R. and V.W. All authors have read and agreed to the published version of the manuscript.

Funding

The first and third author are supported by armasuisse Science and Technology (Project Nr.: CYD C-2020010) and were supported in part by the Swiss National Science Foundation Grant No. 188430. The fourth author is supported by the Swiss National Science Foundation Grant No. 195290 and by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 899987.

Institutional Review Board Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Kerdock, A.M. A class of low-rate nonlinear binary codes. Inf. Control. 1972, 20, 182–187. [Google Scholar] [CrossRef] [Green Version]
  2. Preparata, F.P. A class of optimum nonlinear double-error-correcting codes. Inf. Control. 1968, 13, 378–400. [Google Scholar] [CrossRef] [Green Version]
  3. Nechaev, A.A. Kerdock’s code in cyclic form. Diskret. Mat. 1989, 1, 123–139. [Google Scholar] [CrossRef]
  4. Hammons, A.R., Jr.; Kumar, P.V.; Calderbank, A.R.; Sloane, N.J.A.; Solé, P. The Z4-linearity of Kerdock, Preparata, Goethals, and related codes. IEEE Trans. Inform. Theory 1994, 40, 301–319. [Google Scholar] [CrossRef]
  5. Krotov, D.S. On Z2k-Dual Binary Codes. IEEE Trans. Inf. Theory 2007, 53, 1532–1537. [Google Scholar] [CrossRef]
  6. Shi, M.; Wu, R.; Krotov, D.S. On Zpk-Additive Codes and Their Duality. IEEE Trans. Inf. Theory 2019, 65, 3841–3847. [Google Scholar] [CrossRef] [Green Version]
  7. Constantinescu, I.; Heise, W. A metric for codes over residue class rings. Probl. Peredachi Informatsii 1997, 33, 22–28. [Google Scholar]
  8. Greferath, M.; Schmidt, S.E. Gray isometries for finite chain rings and a nonlinear ternary (36, 312, 15) code. IEEE Trans. Inform. Theory 1999, 45, 2522–2524. [Google Scholar] [CrossRef]
  9. Nechaev, A.A.; Honold, T. Weighted modules and representations of codes. Probl. Peredachi Informatsii 1999, 35, 18–39. [Google Scholar]
  10. Greferath, M.; O’Sullivan, M.E. On bounds for codes over Frobenius rings under homogeneous weights. Discret. Math. 2004, 289, 11–24. [Google Scholar] [CrossRef]
  11. Bachoc, C. Applications of coding theory to the construction of modular lattices. J. Comb. Theory Ser. A 1997, 78, 92–119. [Google Scholar] [CrossRef] [Green Version]
  12. Dougherty, S.T.; Kim, J.L.; Kulosman, H. MDS codes over finite principal ideal rings. Des. Codes Cryptogr. 2009, 50, 77–92. [Google Scholar] [CrossRef]
  13. Norton, G.H.; Salagean, A. On the Hamming distance of linear codes over a finite chain ring. IEEE Trans. Inf. Theory 2000, 46, 1060–1067. [Google Scholar] [CrossRef] [Green Version]
  14. Byrne, E.; Horlemann, A.L.; Khathuria, K.; Weger, V. Density of Free Modules over Finite Chain Rings. arXiv 2021, arXiv:2106.09403. [Google Scholar] [CrossRef]
  15. van Lint, J. Introduction to Coding Theory; Graduate Texts in Mathematics; Springer: Berlin/Heidelberg, Germany, 1982. [Google Scholar]
Table 1. Comparison of weights in Z 6 .
Table 1. Comparison of weights in Z 6 .
w H wt w L w K W
000000
111/2111
213/2222
312312
413/2222
511/2111
Table 2. Comparison of weights in Z 2 × Z 2 .
Table 2. Comparison of weights in Z 2 × Z 2 .
w H wt w B W
(0,0)0000
(0,1)1222
(1,0)1222
(1,1)2011
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Gassner, N.; Greferath, M.; Rosenthal, J.; Weger, V. Bounds for Coding Theory over Rings. Entropy 2022, 24, 1473. https://doi.org/10.3390/e24101473

AMA Style

Gassner N, Greferath M, Rosenthal J, Weger V. Bounds for Coding Theory over Rings. Entropy. 2022; 24(10):1473. https://doi.org/10.3390/e24101473

Chicago/Turabian Style

Gassner, Niklas, Marcus Greferath, Joachim Rosenthal, and Violetta Weger. 2022. "Bounds for Coding Theory over Rings" Entropy 24, no. 10: 1473. https://doi.org/10.3390/e24101473

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop