Abstract
In this paper, we study \(\lambda \)-constacyclic codes over the ring \(R=\mathbb {Z}_4+u\mathbb {Z}_4\) where \(u^{2}=1\), for \(\lambda =3+2u\) and \(2+3u\). Two new Gray maps from R to \(\mathbb {Z}_4^{3}\) are defined with the goal of obtaining new linear codes over \(\mathbb {Z}_4\). The Gray images of \(\lambda \)-constacyclic codes over R are determined. We then conducted a computer search and obtained many \(\lambda \)-constacyclic codes over R whose \(\mathbb {Z}_4\)-images have better parameters than currently best-known linear codes over \(\mathbb {Z}_4\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Codes over finite rings are a topic of much research in algebraic coding theory for over two decades [1, 3,4,5,6, 9, 10, 12, 14, 15, 17, 20, 21]. Among all finite rings, the ring \(\mathbb {Z}_4\) of integers modulo 4 has a special place in coding theory. In addition to the original discovery in [10] that showed that certain binary non-linear codes can be obtained as Gray images of \(\mathbb {Z}_4\)-linear codes, codes over \(\mathbb {Z}_4\) are known to be related to lattices [19], combinatorial designs [7], and low correlation sequences [18]. As a result of increased research activity on codes over \(\mathbb {Z}_4\), a database of \(\mathbb {Z}_4\)-codes was introduced in [2], which is available online [8]. The database is updated as researchers discover new codes with better parameters. When a new code is added to the database, the previous codes are not removed. Several recent papers contributed new codes to the database such as [14, 20].
More recently, the rings of order 16 that are extensions of \(\mathbb {Z}_4\) have received special attention. The interest in these rings increased after the introduction of linear and cyclic codes over the ring \(\mathbb {Z}_{4}+u\mathbb {Z}_{4},\) \(u^{2}=0\) in [20, 21]. In [1], Ashraf and Mohammed studied \((1+2u)\)-constacyclic codes over this ring.
In [3], cyclic, quasi cyclic (QC), and constacyclic codes over \(\mathbb {Z}_{4}+w\mathbb {Z}_{4}\), \(w^{2}=2\) have been studied. Two Gray maps are defined and Gray images of codes over this ring have been described. Moreover, new linear codes over \(\mathbb {Z}_4\) are obtained using these Gray maps.
Due to the increased interest in codes over rings of order 16, these rings are classified in [11]. One of the special properties of rings of order 16 is the fact that the smallest local, finite, Frobenius, commutative, non-chain ring has order 16 [11]. In this work, we consider one of the rings of order 16, \(\mathbb {Z}_{4}\left[ u\right] /\left\langle u^{2}-1\right\rangle \) which can also be described as \(R=\mathbb {Z}_4+u\mathbb {Z}_4\) with \(u^2=1\). This ring is isomorphic to the ring \(\mathbb {Z}_{4}\left[ u\right] /\left\langle u^{2}+2u\right\rangle \) via \(u\longmapsto u+1.\)
In [14], Ozen et al. studied cyclic codes and \(\left( 2+u\right) \)-constacyclic codes over R. They determined the form of generators of cyclic codes over this ring. They proved that the \(\mathbb {Z}_4\)-image of a \(\left( 2+u\right) \)-constacyclic code of odd length over R is a cyclic code over \(\mathbb {Z}_4\). They presented many examples of good codes over \(\mathbb {Z}_4\) obtained as images of cyclic codes over R.
In [17], Shi et al. defined a new Gray map from \(\mathbb {Z}_{4}+u\mathbb {Z}_{4}\) to \(\mathbb {Z}_{4}^{2}\) and studied \(( 1+2u)\)-constacyclic codes over R. They investigated properties of \(\left( 1+2u\right) \)-constacyclic codes over R. They proved that the Gray images of \((1+2u)\)-constacyclic codes of length n over R are cyclic codes of length 2n over \(\mathbb {Z}_4\). They presented many examples of \(( 1+2u)\)-constacyclic codes R whose \(\mathbb {Z}_4\)-images have good parameters.
Inspired by these works, we introduce two new Gray maps from R to \(\mathbb {Z}_4^3\). We are particularly interested in finding new codes with better parameters than the currently best known linear codes over \(\mathbb {Z}_4\). In fact, this was our main purpose and motivation for this work. We have been able to obtain such codes using each map. Moreover, we give a description of Gray images of cyclic and constacyclic codes over R.
2 Preliminaries
In [4, 14, 17], the authors considered the finite commutative ring \(R=\mathbb {Z}_4+u\mathbb {Z}_4\), where \(u^2=1\). Clearly, \(R\cong Z_{4}\left[ u\right] /\left\langle u^{2}-1\right\rangle \). Its units are given by \(\{1,3,u,3u,2+u,1+2u,3+2u,2+3u\}.\) There are 7 ideals in this ring of characteristic 4 given by \(\{\left\langle 0\right\rangle ,\left\langle 2u\right\rangle ,\left\langle 1+u\right\rangle , \left\langle 3+3u\right\rangle ,\left\langle 2+2u\right\rangle ,\left\langle 2u,1+u\right\rangle ,R\}\). It is a local ring with the maximal ideal \(\left\langle 2u,1+u\right\rangle \).
In [14, 17], constacyclic codes over R and their Gray images are studied for the constants \(2+u\) and \(1+2u\). In this paper, we consider constacyclic codes for the units \(3+2u\) and \(2+3u\), and their Gray images under the new maps we introduced. Whereas the Gray maps on this ring considered in earlier works double the code length, our Gray maps triple it. Hence, we are able to find codes with new parameters not obtained in previous works.
A code of length n over R is a subset of \(R^{n}\). C is a linear code if C is a R-submodule of \(R^{n}\). Let \(\lambda \) be a unit in R. A linear code C over R of length n is called \(\lambda \)-constacyclic if it is invariant under the constacyclic shift operator \(\varrho \left( r_{0},r_{1},\ldots ,r_{n-1}\right) =(\lambda r_{n-1},r_{0},\ldots ,r_{n-2}),\) where \(\left( r_{0},r_{1},\ldots ,r_{n-1}\right) \in C\). The cyclic codes are a special case of constacyclic codes with \(\lambda =1.\) If \(\sigma \) is the cyclic shift operator, that is \(\sigma \left( r_{0},r_{1},\ldots ,r_{n-1}\right) =(r_{n-1},r_{0},\ldots ,r_{n-2})\), then C is said to be cyclic if \(\sigma \left( C\right) =C,\) and C is said to be \(\lambda \)-constacyclic if \(\varrho \left( C\right) =C\).
As usual, a \(\lambda \)-constacyclic code of length n over R can be identified as an ideal of the quotient ring \(R\left[ x\right] /\left\langle x^{n}-\lambda \right\rangle \) via the R-module isomorphism.
Hence, we use polynomial and vector representations of codes interchangeably.
Next, we define two Gray maps from R to \(\mathbb {Z}_4^3\). The Gray map on R used in previous works doubles the length of a code. Our Gray maps triple the code length, hence we obtain codes of different lengths over \(\mathbb {Z}_4\) from a given code over R. Our first Gray map is
This map is extended component-wise to
where \(\alpha _{i}=a_{i}+ub_{i},\) where \(i=0,1,\ldots ,n-1\). \(\phi _1\) is a \(\mathbb {Z}_4\)-module isomorphism.
We define another Gray map as follows,
This map is extended component-wise to
where \(\alpha _{i}=a_{i}+ub_{i},\) where \(i=0,1,\ldots ,n-1\). \(\phi _{2}\) is a \(\mathbb {Z}_4\)-module isomorphism.
The polynomial correspondence of the Gray maps can be described as
In the rest of the paper \(\lambda \) will denote either the constant \(3+2u\) or \(2+3u\), unless otherwise stated. We note that \(\displaystyle {\lambda ^{n}={\left\{ \begin{array}{ll} \lambda , \qquad \text { if } n \text { is odd.}\\ 1, \qquad \text { if } n \text { is even.}\end{array}\right. }}\)
Definition 1
Let \(a\in \mathbb {Z}_4^{3n}\) with \(a=\left( a^{\left( 0\right) }\left| a^{\left( 1\right) }\right| a^{\left( 2\right) }\right) ,\) \(a^{\left( i\right) }\in \mathbb {Z}_4^{n}\) for \(i=0,1,2.\) Let \(\varphi \) be a map from \( \mathbb {Z}_4^{3n}\) to \(\mathbb {Z}_4^{3n}\) given by \(\varphi \left( a\right) =\left( \sigma \left( a^{\left( 0\right) }\right) \left| \sigma \left( a^{\left( 1\right) }\right) \right| \sigma \left( a^{\left( 2\right) }\right) \right) \) where \(\sigma \) is the cyclic shift from \(\mathbb {Z}_4^{n}\) to \(\mathbb {Z}_4^{n}\) given by \(\sigma \left( a^{\left( i\right) }\right) =(a^{_{(i,n-1)}},a^{_{(i,0)}},\ldots ,a^{_{(i,n-2)}})\) for every \(a^{\left( i\right) }=(a^{(_{^{i,0}})},\ldots ,a^{(_{i,n-1})})\) where \(a^{_{(i,j)}}\in \mathbb {Z}_4\), \(j=0,1,\ldots ,n-1.\) A code of length 3n over \(\mathbb {Z}_4\) is said to be quasi cyclic (QC) code of index 3 if \(\varphi \left( C\right) =C\).
3 The Gray images of some constacyclic codes over R
Proposition 1
Let \(\varrho \) be the \((3+2u)\)-constacyclic shift on \(R^{n}\), let \(\phi _1 \) be the Gray map from \(R^{n}\) to \(\mathbb {Z}_4^{3n}\), and \(\varphi \) be the map defined above.Then we have \(\phi \varrho =\psi \varphi \phi _1 \), where the permutation \(\psi \) of \(\mathbb {Z}_4^{3n}\) is defined by \(\psi (x_{1},x_{2},\ldots ,x_{n},x_{n+1},\ldots ,x_{2n},x_{2n+1},\ldots ,x_{3n})=(x_{\zeta (1)},x_{\zeta (2)},\ldots ,x_{\zeta (3n)})\) with the permutation \(\zeta =\left( 1,n+1\right) \) of \(\{1,2,\ldots ,3n\}.\)
Proof
Let \(r=(r_{0},\ldots ,r_{n-1})\in R^{n}\), where \(r_{i}=a_{i}+ub_{i},i=0,1,\ldots ,n-1.\) Then we have
By applying the Gray map \(\phi _1\), we have
On the other hand,
Finally, applying the permutation \(\psi \) to \(\varphi (\phi _1(r))\) we obtain \(\phi _1 \varrho =\psi \varphi \phi _1\). \(\square \)
Theorem 1
The \(\phi _1\)-image of a \((3+2u)\)-constacyclic code over R of length n is permutation equivalent to a QC code of index 3 over \(\mathbb {Z}_4\) of length 3n.
Proof
Let C be a \((3+2u)\)-constacyclic code over R. Then \(\varrho \left( C\right) =C\). Applying \(\phi _1\), we have \(\phi _1\left( \varrho \left( C\right) \right) =\phi _1\left( C\right) .\) By Proposition 2, we get \(\phi _1\left( \varrho \left( C\right) \right) =\psi (\varphi \left( \phi _1 \left( C\right) \right) )=\phi _1 \left( C\right) \). Therefore, \(\phi _1 \left( C\right) \) is permutation equivalent to a QC code of index 3 over \(\mathbb {Z}_4\) with length 3n. \(\square \)
We also have similar results for the map \(\phi _2\) with a different shift constant. The proofs of the following proposition and the theorem are very similar to the corresponding results for \(\phi _1\), hence they are omitted here.
Proposition 2
Let \(\varrho \) be the \((2+3u)\)-constacyclic shift of \(R^{n}\), \(\phi _2\) and \(\varphi \) be defined as in the previous section. Then we have \(\phi _{2}\varrho =\psi \varphi \phi _{2}\), where the permutation \(\psi \) of \(\mathbb {Z}_4^{3n}\) is defined by \(\psi (x_{1},x_{2},\ldots ,x_{n},x_{n+1},\ldots ,x_{2n},x_{2n+1},\ldots ,x_{3n})=(x_{\zeta (1)},x_{\zeta (2)},\ldots ,x_{\zeta (3n)})\) with the permutation \(\zeta =\left( 1,n+1\right) \) of \(\{1,2,\ldots ,3n\}.\)
Theorem 2
The Gray image of a \((2+3u)\)-constacyclic codes over R of length n is permutation equivalent to a QC code of index 3 over \(\mathbb {Z}_4\) with length 3n.
We note that for odd lengths, cyclic codes and constacyclic codes are equivalent.
Proposition 3
Let n be an odd integer and let \(\lambda \) be one of the units of R specified above. Then
is a ring isomorphism.
Proof
The proof similar to the proof Proposition 3.6 in [17]. \(\square \)
It follows that for an odd length n there is a one-to-one correspondence between cyclic codes and constacyclic codes. Next two corollaries formally state this fact.
Corollary 1
Let n be an odd integer and let \(\lambda \in R\). Then I is an ideal of \(R\left[ x\right] /\left\langle x^{n}-1\right\rangle \) if and only if \(\varPsi (I)\) is an ideal of \(R\left[ x \right] /\left\langle x^{n}-\lambda \right\rangle \). Hence there is a one-to-one correspondence between the ideals of \(R\left[ x\right] /\left\langle x^{n}-1\right\rangle \) and the ideals of \(R\left[ x\right] /\left\langle x^{n}-\lambda \right\rangle \) such that the cyclic code I is equivalent to the constacyclic code \(\varPsi (I)\).
Corollary 2
Let \(\overline{\zeta }\) be the map from \(R^{n}\) to \(R^{n}\) defined as
C is a cyclic code over R of odd length n if and only if \(\overline{\zeta }(C)\) is a \(\lambda \)-constacyclic code of length n over R.
As in [17], we characterize \(\lambda \)-constacyclic codes over R of odd length as follows.
Theorem 3
Let n be an odd number and C be a \(\lambda \)-constacyclic code of length n over R. Then C is an ideal in \(R\left[ x\right] /\left\langle x^{n}-\lambda \right\rangle \) generated by
where \(\widetilde{x}=\lambda x,t_{i}(x),p_{i}(x),g_{i}(x)\) are monic pairwise coprime polynomials in \(\mathbb {Z}_4[x]\) such that \(x^{n}-1=t_{i}(x)p_{i}(x)g_{i}(x),\) where \(i=1,2,3\).
By using a special generator polynomial of a cyclic code and by the relationship between cyclic codes and \(\lambda \)-constacyclic codes given in Proposition 3, we can express a generator of a \(\lambda \)-constacyclic code C as
where \(\widetilde{x}=\lambda x\) as in [17].
Proposition 4
Let \(\overline{\zeta }\) be defined as above. Then \(\phi _1 \overline{\zeta } =\varPi \phi _1 \) (and \(\phi _{2}\overline{\zeta }=\varPi \phi _{2}\)) where the permutation \(\varPi \) of \(\mathbb {Z}_4^{3n}\) is defined by
with the permutation \(\tau =(2,n+2)(4,n+4)\ldots (n-1,2n-1)\) of \(\{1,2,\ldots ,3n\}.\)
Proof
Let \(r=(r_{0},\ldots ,r_{n-1})\in R^{n}\), where \(r_{i}=a_{i}+ub_{i},i=0,1,\ldots ,n-1\). Since \(\overline{\zeta }(r)=(r_{0},(3+2u)r_{1},(3+2u)^{2}r_{2},\ldots ,(3+2u)^{n-1}r_{n-1})=(r_{0},(3+2u)r_{1},r_{2},(3+2u)r_{3},\ldots ,,(3+2u)r_{n-2},r_{n-1})\), we have \(\phi _1(\overline{\zeta }(r))=(b_{0},2a_{1}+3b_{1},b_{2},\ldots ,b_{n-1},2a_{0}+3b_{0},b_{1},\ldots ,a_{0}+3b_{0},a_{1}+3b_{1},\ldots ,a_{n-1}+3b_{n-1})\).
On the other hand, \(\phi _1(r)=(b_{0},\ldots ,b_{n-1},2a_{0}+3b_{0},\ldots ,2a_{n-1}+3b_{n-1},a_{0}+3b_{0},\ldots ,a_{n-1}+3b_{n-1}) \). By applying \(\varPi \), we have \(\phi _1\overline{\zeta }=\varPi \phi _1\). Similarly, we have \(\phi _{2}\overline{\zeta }=\varPi \phi _{2}.\) \(\square \)
Corollary 3
Let n be an odd integer. If \(\varGamma \) is the Gray image (under \(\phi _1\) or \(\phi _2\)) of a linear cyclic code over R, then \(\varGamma \) is permutation equivalent to a QC code over \(\mathbb {Z}_4\) of index 3 of length 3n, via the permutation \(\varPi \) defined above.
Proof
Let \(\varGamma \) be such that \(\varGamma =\phi _1(D)\) ( or \(\varGamma =\phi _{2}(D)\)), where D is a linear cyclic code over R. From Proposition 10, \(\phi _1 (\overline{\zeta }(D))=\varPi (\phi _1(D))=\varPi (\varGamma )\) (and \(\phi _2(\overline{\zeta } (D))=\varPi (\phi _2(D))=\varPi (\varGamma )\)). We know that \(\overline{\zeta }(D)\) is a linear \(\lambda \)-constacyclic code C. So \(\phi _1(\overline{\zeta }(D))=\phi _1(C)\) ( and \(\phi _{2}(\overline{\zeta }(D))=\phi _{2}(C)\)). By Proposition 4, \(\phi _1(C)\) (and \(\phi _2(C)\)) is permutation equivalent to a QC code of index 3 over \(\mathbb {Z}_4\) with length 3n. \(\square \)
4 Computational results
Finding new linear codes over \(\mathbb {Z}_4\) was our main motivation for this work. We conducted a computer search to look for new linear codes over \(\mathbb {Z}_4\) by generating constacyclic codes over R (for the two values of \(\lambda \) discussed in this paper) and computing their \(\mathbb {Z}_4\)-images using each of the Gray map we introduced. We have been able to find 15 new linear codes over \(\mathbb {Z}_4\) with better parameters than the currently best-known codes in the database [8]. We present the details of these codes in Table 2 below. The generator polynomial g(x) of each code is a monic divisor of \(x^n-\lambda \) for \(\lambda = 2+3u \text { or } 3+2u\). For the sake of saving space, we use a compact representation of the polynomials where coefficients are listed in descending order and elements of R are encoded according to Table 1 below. Each element of R is encoded by a single character in the set \(\{0,1,3,4,5,6,7,8,9, \mathrm{A}, \mathrm{B}, \mathrm{C}, \mathrm{D}, \mathrm{E}, \mathrm{F}\}\). Thus the generator polynomial in the third row of Table 2, for example, is \(x^5+(2+u)x^4+2x^3+(2+3u)x^2+2x+u+2\). For the last entry in the same table, we gave an alternative description of the generator polynomial because it has a large degree. We only computed the Lee weights of the codes over \(\mathbb {Z}_4\).
References
Ashraf M., Mohammed G.: \((1+2u)\)-constacyclic codes over \(\mathbb{Z}_4+u\mathbb{Z}_4\). arXiv:1504.03445v1.
Aydin N., Asamov T.: A database of \(\mathbb{Z}_4\) codes. J. Comb. Inf. Syst. Sci. 34, 1–12 (2009).
Aydin N., Dertli A., Cengellenmis Y.: Cyclic and constacyclic codes over \(\mathbb{Z}_4+w\mathbb{Z}_4\). Pre-print.
Bandi R., Bhaintwal M.: Self dual codes over \(\mathbb{Z}_4+w\mathbb{Z}_4\). Discret. Math. Alg. Appl. 7, 1550014 (2015).
Bandi R., Bhaintwal M.: Negacyclic codes over \(\mathbb{Z}_4+u\mathbb{Z}_4\). arXiv:1412.3751v1.
Bandi R., Bhaintwal M.: Cyclic codes over \(\mathbb{Z}_4+u\mathbb{Z}_4\). arXiv:1501.01327.
Bonnecaze A., Rains A.M., Solé P.: 3-Colored 5-designs and \(\mathbb{Z}_4\)-codes. J. Stat. Plan. Inf. 86, 349–368 (2000).
Database of \(\mathbb{Z}_4\) codes [online]. Z4Codes.info (Accessed February 2017).
Gao J., Gao Y., Fu F.: On linear codes over \(\mathbb{Z}_4+v\mathbb{Z}_4\). arXiv:1402.6771v2.
Hammons Jr. A.R., Kumar P.V., Calderbank A.R., Solane N.J.A., Solé P.: The \(\mathbb{Z}_4\) linearity of Kerdock, Preparata, Goethals and related codes. IEEE Trans. Inf. Theory 40, 301–319 (1994).
Martinez-Moro E., Szabo S.: On codes over local Frobenius non-chain rings of order 16. Contemp. Math. 634, 227–241 (2015).
Martinez-Moro E., Szabo S., Yildiz B.: Linear codes over \(\mathbb{Z}_4[x]/\langle x^{2}+2x\rangle \). Int. J. Inf. Coding Theory 2, 78–96 (2015).
Ozen M., Ozzaim T., Aydin N.: Cyclic codes over \(\mathbb{Z}_4 + u\mathbb{Z}_4 + u^2\mathbb{Z}_4\). Turk. J. Math. (to appear)
Ozen M., Uzekmek F.Z., Aydin N., Özzaim N.T.: Cyclic and some constacyclic codes over the ring \(\mathbb{Z}_4[u]/\langle u^2-1 \rangle \). Finite Fields Appl. 38, 27–39 (2016).
Pattanayak S., Singh A.: A class of cyclic codes over the ring \(Z_{4}[u]/\langle u^{2}\rangle \) and its Gray image. arXiv:1507.04938v1.
Shi M., Qian L., Sok L., Aydin N., Solé P.: On constacyclic codes over \(\mathbb{Z}_4[u]/\langle u^2-1\rangle \). Finite Fields Appl. 45, 86–95 (2017).
Shi M., Qian L., Sok L.: On constacyclic codes over \(\mathbb{Z}_4\left[u\right] /\langle u^{2}-1\rangle \) and their Gray images. arXiv:1608.00820.
Solé P.: A quaternary cyclic code, and a family of quadriphase sequences with low correlation properties. In: Springer Lecture Notes in Computer Science, vol. 388, pp. 193–201 (1998).
Wan Z.X.: Quaternary Codes. World Scientific, Singapore (1997).
Yildiz B., Aydin N.: On cyclic codes over \(\mathbb{Z}_4+u\mathbb{Z}_4\) and their \(\mathbb{Z}_4\) images. Int. J. Inf. Coding Theory 2, 226–237 (2014).
Yildiz B., Karadeniz S.: Linear codes over \(\mathbb{Z}_4+u\mathbb{Z}_4\), Macwilliams identities, projections and formally self dual codes. Finite Fields Appl. 27, 24–40 (2014).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by T. Helleseth.
Rights and permissions
About this article
Cite this article
Aydin, N., Cengellenmis, Y. & Dertli, A. On some constacyclic codes over \(\mathbb {Z}_{4}\left[ u\right] /\left\langle u^{2}-1\right\rangle \), their \(\mathbb {Z}_4\) images, and new codes. Des. Codes Cryptogr. 86, 1249–1255 (2018). https://doi.org/10.1007/s10623-017-0392-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10623-017-0392-y