Next Article in Journal
Non-Parametric Hypothesis Testing for Unknown Aged Class of Life Distribution Using Real Medical Data
Next Article in Special Issue
Generalizations of Hardy-Type Inequalities by Montgomery Identity and New Green Functions
Previous Article in Journal
Decoherence and Transition to Classicality for Time-Dependent Stochastic Quantum Systems with a General Environment
Previous Article in Special Issue
Between Soft θ-Openness and Soft ω0-Openness
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Construction of Quantum and LCD Codes from Cyclic Codes over the Finite Commutative Rings

1
Department of Mathematics, Faculty of Science, Aligarh Muslim University, Aligarh 202002, India
2
Department of Mathematical Sciences, College of Science, Princess Nourah bint Abdulrahman University, P.O. Box 84428, Riyadh 11671, Saudi Arabia
3
Department of Computer Application, Faculty of Science, Integral University, Lucknow 226001, India
4
Department of Mathematics, Yildiz Technical University, Istanbul 34000, Turkey
5
Department of Mathematics, Karamanoglu Mehmetbey University, Karaman 70100, Turkey
*
Author to whom correspondence should be addressed.
Axioms 2023, 12(4), 367; https://doi.org/10.3390/axioms12040367
Submission received: 2 February 2023 / Revised: 22 February 2023 / Accepted: 4 April 2023 / Published: 10 April 2023
(This article belongs to the Special Issue Mathematical Modelling and Applications)

Abstract

:
Let F q be a field of order q, where q is a power of an odd prime p, and α and β are two non-zero elements of F q . The primary goal of this article is to study the structural properties of cyclic codes over a finite ring R = F q [ u 1 , u 2 ] / u 1 2 α 2 , u 2 2 β 2 , u 1 u 2 u 2 u 1 . We decompose the ring R by using orthogonal idempotents Δ 1 , Δ 2 , Δ 3 , and Δ 4 as R = Δ 1 R Δ 2 R Δ 3 R Δ 4 R , and to construct quantum-error-correcting (QEC) codes over R. As an application, we construct some optimal LCD codes.
MSC:
94B05; 94B15; 94B60

1. Introduction

Throughout this paper, unless indicated otherwise, F q (where q is an odd prime power) denotes the field of order q, and α and β are non-zero elements of F q . Next, let us consider the finite ring R = F q [ u 1 , u 2 ] / u 1 2 α 2 , u 2 2 β 2 , u 1 u 2 u 2 u 1 . It is straightforward to check that R is a non-chain semi-local ring of order q 4 . Cyclic codes are very useful for the construction of quantum-error-correcting (QEC) codes. QEC codes are different from classical-error-correcting (CEC) codes. A significant breakthrough happened in 1998, when Calderbank et al. [1] solved the problem of obtaining QEC codes with the help of CEC codes over GF (4). Calderbank et al. [1] also introduced a method to construct QEC codes from CEC codes. Over finite fields, cyclic codes have been extensively investigated (see, for example, [2,3,4,5] and references therein). In 2015, from the cyclic codes over F q + v F q + v 2 F q + v 3 F q (where q = p m , p is a prime such that 3 | ( p 1 ) , v 4 = v , and m is a positive integer), Gao et al. [6] constructed new quantum codes over F q . Afterwards, Ozen et al. [7] constructed many ternary quantum codes from cyclic codes over F 3 + u F 3 + v F 3 + u v F 3 . In 2021, Ashraf et al. [8] found better quantum and LCD codes over the ring F p m + v F p m with v 2 = 1 , where m is a positive integer. In this article, we discuss the structural properties of cyclic codes over the ring R. On this ring R, we construct a Gray map that provides better parameters and contributes to the finding of better quantum codes over R than presented in [8,9,10,11,12,13] (and references therein).
In this paper, our main aim is to study the structural properties of cyclic codes over the finite ring R, and to construct quantum-error-correcting (QEC) codes over R. Moreover, we also study LCD codes. The major contributions of this paper are as follows:
  • This paper provides superior quantum codes to those presented in recent references [8,9,10,11,12,13], see Table 1.
  • This paper provides some new quantum codes, see Table 2.
  • This paper investigates some optimal LCD codes over the ring R, see Table 3.

2. Preliminary Results

In this section, we deal with the study of some preliminaries and describe the Gray map over the ring R. Moreover, we establish some important results which are needed in the subsequent discussions. If a code C is an R-submodule of R n .(where n is a positive integer), then C is linear. The elements of C are called codewords. The size of C .refers to the total number of codewords in C , which is indicated by | C | . We recall some basic definitions as following:
(i)
The Hamming distance between two vectors x = ( x 1 , x 2 , , x n ) and y = ( y 1 , y 2 , , y n ) is the number of places where they differ, and is denoted by d ( x , y ) .
(ii)
The Hamming weight of a vector x = ( x 1 , x 2 , , x n ) is the number of non-zero x i and is denoted by w t ( x ) .
(iii)
The Euclidean inner product of any two vectors x = ( x 1 , x 2 , , x n ) and y = ( y 1 , y 2 , , y n ) is defined as x · y = x 0 y 0 + x 1 y 1 + + x n 1 y n 1 and the dual of linear code C is C = { x R n | x · y = 0 y C } .
(iv)
A code C is said to be self-dual if C = C , self-orthogonal if C C , and dual containing if C C .
Clearly, the ring R can be expressed as R = F q + u 1 F q + u 2 F q + u 1 u 2 F q such that u 1 2 = α 2 , u 2 2 = β 2 and u 1 u 2 = u 2 u 1 ; here F q is the finite field of order q, where q = p m for odd prime p and m 1 . It is a commutative non-chain semi-local ring with four maximal ideals. An element z of R is of the form z = a 1 + a 2 u 1 + a 3 u 2 + a 4 u 1 u 2 , where a i F q and 1 i 4 . With the help of a set of orthogonal idempotents, every element of this ring can be represented:
Δ 1 = ( α + u 1 ) ( β + u 2 ) 4 α β ,
Δ 2 = ( α + u 1 ) ( β u 2 ) 4 α β ,
Δ 3 = ( α u 1 ) ( β + u 2 ) 4 α β ,
and
Δ 4 = ( α u 1 ) ( β u 2 ) 4 α β .
It is straightforward to show that Δ i 2 = Δ i , 0 = Δ i Δ j , and Δ 1 + Δ 2 + Δ 3 + Δ 4 = 1 , where 1 i , j 4 , and i j . in view of the Chinese Remainder Theorem, we obtain R = Δ 1 R Δ 2 R Δ 3 R Δ 4 R = Δ 1 F q Δ 2 F q Δ 3 F q Δ 4 F q . Thus, we can express every element z of R as z = a 1 + a 2 u 1 + a 3 u 2 + a 4 u 1 u 2 = Δ 1 z 1 + Δ 2 z 2 + Δ 3 z 3 + Δ 4 z 4 , where a i , z i F q and 1 i 4 .
The Gray map η : R F q 4 is defined by
η ( Δ 1 z 1 + Δ 2 z 2 + Δ 3 z 3 + Δ 4 z 4 ) = ( z 1 , z 2 , z 3 , z 4 ) A ,
where A G L 4 ( F q ) is a fixed matrix and G L 4 ( F q ) is the linear group of all 4 × 4 invertible matrices over the field F q such that A A T = ϵ I 4 × 4 , where A T is the transpose of A and ϵ F q { 0 } .
The above Gray map is linear, and we can extend it component-wise from R n to F q 4 n , where n is a positive integer. For any element z = Δ 1 z 1 + Δ 2 z 2 + Δ 3 z 3 + Δ 4 z 4 R , the Lee weight of z is defined as w L ( z ) = w H ( η ( z ) ) , where w H represents the Hamming weight over F q . We begin our discussion with the following result related to the Gray map (1):
Proposition 1.
The map η : R F q 4 defined in (1) is an F q -linear and distance-preserving map from ( R n , d L ) to ( F q 4 n , d H ) , where d L = d H .
Proof. 
Let z , z R n such that
z = Δ 1 z 1 + Δ 2 z 2 + Δ 3 z 3 + Δ 4 z 4
z = Δ 1 z 1 + Δ 2 z 2 + Δ 3 z 3 + Δ 4 z 4
and z i , z i F q n for 1 i 4 . Then, we have
η ( z + z ) = η ( Δ 1 z 1 + Δ 1 z 1 + Δ 2 z 2 + Δ 2 z 2 + Δ 3 z 3 + Δ 3 z 3 + Δ 4 z 4 + Δ 4 z 4 ) = η ( Δ 1 ( z 1 + z 1 ) + Δ 2 ( z 2 + z 2 ) + Δ 3 ( z 3 + z 3 ) + Δ 4 ( z 4 + z 4 ) ) = ( z 1 + z 1 , z 2 + z 2 , z 3 + z 3 , z 4 + z 4 ) A = ( z 1 , z 2 , z 3 , z 4 ) A + ( z 1 , z 2 , z 3 , z 4 ) A = η ( z ) + η ( z ) f o r a l l z , z R n .
Furthermore, for any α F q , we have
η ( α z ) = η ( Δ 1 α z 1 + Δ 2 α z 2 + Δ 3 α z 3 + Δ 4 α z 4 ) = ( α z 1 , α z 2 , α z 3 , α z 4 ) A = α ( z 1 , z 2 , z 3 , z 4 ) A = α η ( z ) f o r a l l z R n .
Hence, η is an F q -linear. As for the second part, we know that
d L ( z , z ) = w L ( z z ) = w H ( η ( z z ) ) = w H ( η ( z ) η ( z ) ) = d H ( η ( z ) , η ( z ) ) .
Therefore, η is a distance-preserving map. □
Define Θ 1 Θ 2 Θ 3 Θ 4 = { ( θ 1 , θ 2 , θ 3 , θ 4 ) | θ i Θ i : 1 i 4 } and Θ 1 Θ 2 Θ 3 Θ 4 = { ( θ 1 + θ 2 + θ 3 + θ 4 ) | θ i Θ i : 1 i 4 } . Let C be a linear code of length n over R. We define that
C 1 = { z 1 F q n | Δ 1 z 1 + Δ 2 z 2 + Δ 3 z 3 + Δ 4 z 4 C , w h e r e z 2 , z 3 , z 4 F q n } ,
C 2 = { z 2 F q n | Δ 1 z 1 + Δ 2 z 2 + Δ 3 z 3 + Δ 4 z 4 C , w h e r e z 1 , z 3 , z 4 F q n } ,
C 3 = { z 3 F q n | Δ 1 z 1 + Δ 2 z 2 + Δ 3 z 3 + Δ 4 z 4 C , w h e r e z 1 , z 2 , z 4 F q n } ,
and
C 4 = { z 4 F q n | Δ 1 z 1 + Δ 2 z 2 + Δ 3 z 3 + Δ 4 z 4 C , w h e r e z 1 , z 2 , z 3 F q n } .
Now, each C i is a linear code of length n over F q for 1 i 4 . Hence, any linear code of length n can be represented as C = Δ 1 C 1 Δ 2 C 2 Δ 3 C 3 Δ 4 C 4 and | C | = | C 1 | | C 2 | | C 3 | | C 4 | over R. A matrix is called a generator matrix of C if the rows of the matrix generate C . If M i are the generator matrices of the linear code C i , for i = 1 , 2 , 3 , 4 , respectively, then a generator matrix of C is
M = Δ 1 M 1 Δ 2 M 2 Δ 3 M 3 Δ 4 M 4
and a generator matrix of η ( C ) is
η ( M ) = η ( Δ 1 M 1 ) η ( Δ 2 M 2 ) η ( Δ 3 M 3 ) η ( Δ 4 M 4 ) .
Proposition 2.
Let C = Δ 1 C 1 Δ 2 C 2 Δ 3 C 3 Δ 4 C 4 be a linear code of length n over R. Then, η ( C ) is a [ 4 n , i = 1 4 k i , d ] linear code over F q for 1 i 4 , where each C i is an [ n , k i , d ] code.
Proof. 
The proof is obvious with the help of the Gray map. □
Proposition 3.
If C is a linear code of length n over R, then η ( C ) = C 1 C 2 C 3 C 4 .
Proof. 
The proof is similar to the one in [14]. □
Theorem 1.
Let C be a self-orthogonal linear code of length n over R and A be a 4 × 4 non-singular matrix over F q which has the property A A T = ϵ I 4 , where I 4 is the identity matrix, 0 ϵ F q , and A T is the transpose of matrix A. Then, the Gray image η ( C ) is a self-orthogonal linear code of length 4 n over F q .
Proof. 
Suppose C is a self-orthogonal linear code of length n over R, i.e., C C and let P , Q η ( C ) such that P = η ( p ) = ( p 0 A , p 1 A , , p n 1 A ) and Q = η ( q ) = ( q 0 A , q 1 A , . , q n 1 A ) . We have to show that η ( C ) is self-orthogonal, that is, P · Q = 0 . Since C is self-orthogonal, p · q = j = 0 n 1 p j . q j = 0 . Therefore, P · Q = P Q = j = 0 n 1 p j A A T q j = m j = 0 n 1 p j . q j = 0 . Suppose P and Q are arbitrary, then η ( C ) η ( C ) . Thus, η ( C ) is a self-orthogonal linear code of length 4 n over F q .

3. Structural Properties of Cyclic Codes over R

On ring R, as described, we shall explore various structural properties of cyclic codes and prove some results. We begin with the following definition:
Definition 1.
A linear code C of length n over R is said to be a cyclic code if every cyclic shift of a codeword c in C is again a codeword in C , i.e., if c = ( c 0 , c 1 , c 2 , , c n 1 ) C , then its cyclic shift ζ ( c ) = ( c n 1 , c 0 , , c n 2 ) C , where the operator ζ is known as cyclic shift.
Theorem 2.
Let C = Δ 1 C 1 Δ 2 C 2 Δ 3 C 3 Δ 4 C 4 be a linear code of length n over R. Then, C is a cyclic code over R if, and only if, each C i is a cyclic code over F q , where 1 i 4 .
Proof. 
Suppose s is any codeword in C such that s = ( s 0 , s 1 , , s n 1 ) . We can write its components as s i = Δ 1 z 1 , i + Δ 2 z 2 , i + Δ 3 z 3 , i + Δ 4 z 4 , i , where z 1 , i , z 2 , i , z 3 , i , z 4 , i F q and 1 i n 1 . Let
z 1 = ( z 0 , 1 , z 1 , 1 , , z n 1 , 1 ) ,
z 2 = ( z 0 , 2 , z 1 , 2 , , z n 1 , 2 ) ,
z 3 = ( z 0 , 3 , z 1 , 3 , , z n 1 , 3 ) ,
z 4 = ( z 0 , 4 , z 1 , 4 , , z n 1 , 4 ) ,
where z i C i and 1 i 4 . Now, let us assume that every C i is a cyclic code over F q , where 1 i 4 . This implies that
ζ ( z 1 ) = ( z n 1 , 1 , z 0 , 1 , , z n 2 , 1 ) C 1 ,
ζ ( z 2 ) = ( z n 1 , 2 , z 0 , 2 , , z n 2 , 2 ) C 2 ,
ζ ( z 3 ) = ( z n 1 , 3 , z 0 , 3 , , z n 2 , 3 ) C 3 ,
ζ ( z 4 ) = ( z n 1 , 4 , z 0 , 4 , , z n 2 , 4 ) C 4 ,
Thus, Δ 1 ζ ( z 1 ) + Δ 2 ζ ( z 2 ) + Δ 3 ζ ( z 3 ) + Δ 4 ζ ( z 4 ) C . It can easily be seen that Δ 1 ζ ( z 1 ) + Δ 2 ζ ( z 2 ) + Δ 3 ζ ( z 3 ) + Δ 4 ζ ( z 4 ) = ζ ( s ) . Hence, ζ ( s ) C . We can conclude that C is a cyclic code over R.
On the other hand, let us assume that C is a cyclic code over R. Next, let us consider s i = Δ 1 z 1 , i + Δ 2 z 2 , i + Δ 3 z 3 , i + Δ 4 z 4 , i , where z 1 = ( z 0 , 1 , z 1 , 1 , , z n 1 , 1 ) , z 2 = ( z 0 , 2 , z 1 , 2 , . , z n 1 , 2 ) , z 3 = ( z 0 , 3 , z 1 , 3 , , z n 1 , 3 ) , and z 4 = ( z 0 , 4 , z 1 , 4 , , z n 1 , 4 ) . Then, z 1 C 1 , z 2 C 2 , z 3 C 3 , a n d z 4 C 4 . Again, s = ( s 0 , s 1 , , s n 1 ) C , and by this hypothesis ζ ( s ) C . We have Δ 1 ζ ( z 1 ) + Δ 2 ζ ( z 2 ) + Δ 3 ζ ( z 3 ) + Δ 4 ζ ( z 4 ) C . Here, ζ ( z i ) C i , where 1 i 4 . Consequently, every C i is a cyclic code of length n over F q , where 1 i 4 . □
Theorem 3.
Let C = Δ 1 C 1 Δ 2 C 2 Δ 3 C 3 Δ 4 C 4 be a cyclic code of length n over R and h i ( z ) be the standard generator polynomial of C i . Then, C = h ( z ) and | C | = q 4 n i = 0 4 h i ( z ) , where h ( z ) = Δ 1 h 1 ( z ) + Δ 2 h 2 ( z ) + Δ 3 h 3 ( z ) + Δ 4 h 4 ( z ) and 1 i 4 .
Proof. 
Given C i = h i ( z ) , where 1 i 4 and C = Δ 1 C 1 Δ 2 C 2 Δ 3 C 3 Δ 4 C 4 . Let c C be such that c = { c ( z ) | Δ 1 h 1 ( z ) + Δ 2 h 2 ( z ) + Δ 3 h 3 ( z ) + Δ 4 h 4 ( z ) for h i ( z ) C i } . Therefore, C Δ 1 h 1 ( z ) , Δ 2 h 2 ( z ) , Δ 3 h 3 ( z ) , Δ 4 h 4 ( z ) R [ z ] / z n 1 . For any Δ 1 t 1 ( z ) h 1 ( z ) + Δ 2 t 2 ( z ) h 2 ( z ) + Δ 3 t 3 ( z ) h 3 ( z ) + Δ 4 t 4 ( z ) h 4 ( z ) Δ 1 h 1 ( z ) + Δ 2 h 2 ( z ) + Δ 3 h 3 ( z ) + Δ 4 h 4 ( z ) R [ z ] / z n 1 , where t 1 ( z ) , t 2 ( z ) , t 3 ( z ) , and t 4 ( z ) R [ z ] / z n 1 , there exist s 1 ( z ) , s 2 ( z ) , s 3 ( z ) , and s 4 ( z ) F q [ z ] such that
Δ i t i ( z ) = Δ i s i ( z ) ,
where 1 i 4 . Hence, Δ 1 h 1 ( z ) , Δ 2 h 2 ( z ) , Δ 3 h 3 ( z ) , Δ 4 h 4 ( z ) C . This implies Δ 1 h 1 ( z ) , Δ 2 h 2 ( z ) , Δ 3 h 3 ( z ) , Δ 4 h 4 ( z ) = C . Since | C | = | C 1 | | C 2 | | C 3 | | C 4 | , we have
| C | = q 4 n i = 0 4 h i ( z ) .
Theorem 4.
Let C = Δ 1 C 1 Δ 2 C 2 Δ 3 C 3 Δ 4 C 4 be a cyclic code of length n over R. Then, there exists a unique monic polynomial h ( z ) R [ z ] such that C = h ( z ) and h ( z ) .divides ( z n 1 ) . If h i ( z ) is the standard generator polynomial of C i , 1 i 4 , then h ( z ) = Δ 1 h 1 ( z ) + Δ 2 h 2 ( z ) + Δ 3 h 3 ( z ) + Δ 4 h 4 ( z ) .
Proof. 
By Theorem 3, C = Δ 1 h 1 ( z ) , Δ 2 h 2 ( z ) , Δ 3 h 3 ( z ) , Δ 4 h 4 ( z ) , where h i ( z ) is the generator polynomial of C i and 1 i 4 . Let h ( z ) = Δ 1 h 1 ( z ) + Δ 2 h 2 ( z ) + Δ 3 h 3 ( z ) + Δ 4 h 4 ( z ) . From here, h ( z ) C . Now, Δ i h i ( z ) = Δ i h ( z ) and 1 i 4 , so C h ( z ) , hence C = h ( z ) . Since h i ( z ) is a monic right divisor of ( z n 1 ) , there are s i ( z ) F q [ z ] / z n 1 , where 1 i 4 , such that z n 1 = s 1 ( z ) h 1 ( z ) = s 2 ( z ) h 2 ( z ) = s 3 ( z ) h 3 ( z ) = s 4 ( z ) h 4 ( z ) . This shows that z n 1 = [ Δ 1 s 1 ( z ) + Δ 2 s 2 ( z ) + Δ 3 s 3 ( z ) + Δ 4 s 4 ( z ) ] h ( z ) , i.e., h ( z ) | ( z n 1 ) . Here, each h i ( z ) is unique, and hence h ( z ) is unique. □
Theorem 5.
Let C = Δ 1 C 1 Δ 2 C 2 Δ 3 C 3 Δ 4 C 4 be a cyclic code of length n over R. Then, C = Δ 1 C 1 Δ 2 C 2 Δ 3 C 3 Δ 4 C 4 is also a cyclic code of length n over R.
Proof. 
C is a cyclic code of length n over R, since C is a cyclic code of length n over R. Now, we will show that C = Δ 1 C 1 Δ 2 C 2 Δ 3 C 3 Δ 4 C 4 . Here, C is a cyclic code of of length n over R. This implies C is a linear code of length n over R. Let T 1 = { t 1 F q n | t 2 , t 3 , t 4 such that i = 1 4 t i Δ i C ., for 1 i 4 . hence, C is uniquely expressed as C = i = 1 4 Δ i T i . Therefore, T 1 C 1 . Conversely, let q C 1 . This implies q · s 1 = 0 s 1 C 1 . Consider y = i = 1 4 Δ i s i C . Now, Δ 1 q · y = Δ 1 s 1 · q = 0 . This shows that Δ 1 q C 1 . From the specific expression of C , we obtain q T 1 . From here, C T 1 . Therefore, C 1 = T 1 . In the same manner, C i = T i for 1 i 4 . hence, C = Δ 1 C 1 Δ 2 C 2 Δ 3 C 3 Δ 4 C 4 . □
Lemma 1
([1]). Let C = h ( z ) be a cyclic code of length n over F q . h ( z ) be the generator polynomial of C . Then C C if, and only if,
z n 1 0 ( m o d h ( z ) h * ( z ) ) ,
where the reciprocal polynomial of h ( z ) is denoted by h * ( z ) .
Theorem 6.
Let C = Δ 1 C 1 Δ 2 C 2 Δ 3 C 3 Δ 4 C 4 be a cyclic code of length n over R and C = h ( z ) = i = 1 4 Δ i h i ( z ) , where h i ( z ) be the generator polynomial of C i . Then, C C if, and only, if
z n 1 0 ( m o d h i ( z ) h i * ( z ) ) ,
where the reciprocal polynomial of h i ( z ) is denoted by h i * ( z ) and 1 i 4 .
Proof. 
Suppose z n 1 0 ( m o d h i ( z ) h i * ( z ) ) for 1 i 4 . Hence, by Lemma 1, we have C i C i . From here, we can write Δ i C Δ i C i for 1 i 4 . Similarly, C = i = 0 4 Δ i C i i = 0 4 Δ i C i = C . Conversely, assume C C and i = 0 4 Δ i C i i = 0 4 Δ i C i , but each C i is a cyclic code over F q , such that Δ i C i C ( m o d Δ i ) . This implies that C i C i , where 1 i 4 . By Lemma 1, we obtain
z n 1 0 ( m o d h i ( z ) h i * ( z ) ) ,
where the reciprocal polynomial of h i ( z ) is denoted by h i * ( z ) for 1 i 4 . □
Corollary 1.
Let C = Δ 1 C 1 Δ 2 C 2 Δ 3 C 3 Δ 4 C 4 be a cyclic code of length n over R Then, C C if, and only if, C i C i and 1 i 4 .

4. Quantum and LCD Codes

This section deals with the study of quantum and LCD codes over the ring R. We begin with the following definition: Let p be a prime and q = p m for a positive integer m. Let H ( C ) be a q-dimensional Hilbert space over the complex field C . Then, the set of n-folded tensor products H ( C ) n = H H H n t i m e s is also a q n .dimensional Hilbert space.
Definition 2
([15]). A quantum code represented by [ [ n , k , d ] ] q is defined as a subspace of H ( C ) n with dimension q k and minimum distance d. Moreover, we consider [ [ n , k , d ] ] q to be better than [ [ n , k , d ] ] q if either or both of the following conditions hold:
(i) d > d .whenever the code rate k n = k n .(larger distance).
(ii) k n > k n , whenever the distance d = d .(larger code rate).
Lemma 2
([2]). (Theorem 3) (CSS Construction) Let C 1 = [ n , k 1 , d 1 ] q and C 2 = [ n , k 2 , d 2 ] q be two linear codes over GF(q) with C 2 C 1 . Furthermore, let d = m i n { w g t ( v ) : v ( C 1 C 2 ) ( C 2 C 1 ) } m i n ( d 1 , d 2 ) . Then, there exists a QEC code with the parameters [ [ n , k 1 + k 2 n , d ] ] q . In particular, if C 1 C 1 , then there exists a QEC code with the parameters [ [ n , 2 k 1 n , d 1 ] ] q , where d 1 = m i n { w g t ( v ) : v ( C 1 C 1 ) } .
Theorem 7.
Let C be a cyclic code of length n over R and let the parameters of its Gray image be [ 4 n , k , d H ] . If C C , then there exists a QECC [ [ 4 n , 2 k 4 n , d H ] ] q over F q .
Proof. 
Let us consider x = ( x 0 , x 1 , , x n 1 ) C , y = ( y 0 , y 1 , , y n 1 ) C , where x i = a i + u 1 b i + u 2 c i + u 1 u 2 d i and y i = a i + u 1 b i + u 2 c i + u 1 u 2 d i , a i , b i , c i , d i , a i , b i , c i , d i F q for 0 i n 1 . Since x · y = 0 . This gives
i = 0 n 1 ( a i + u 1 b i + u 2 c i + u 1 u 2 d i ) ( a i + u 1 b i + u 2 c i + u 1 u 2 d i ) = 0 i = 0 n 1 ( a i a i + u 1 a i b i + u 2 a i c i + u 1 u 2 a i d i + u 1 b i a i + α 2 b i b i + u 1 u 2 b i c i + α 2 u 2 b i d i + u 2 c i a i + u 1 u 2 c i b i + β 2 c i c i + β 2 u 1 c i d i + u 1 u 2 d i a i + α 2 u 2 d i b i + β 2 u 1 d i c i + α 2 β 2 d i d i ) = 0 i = 0 n 1 [ ( a i a i + α 2 b i b i + β 2 c i c i + α 2 β 2 d i d i ) + u 1 ( a i b i + b i a i + β 2 c i d i + β 2 d i c i ) + u 2 ( a i c i + α 2 b i d i + c i a i + α 2 d i b i ) + u 1 u 2 ( a i d i + b i c i + c i b i + d i a i ) ] = 0 .
The above relation yields
i = 0 n 1 ( a i a i + α 2 b i b i + β 2 c i c i + α 2 β 2 d i d i ) = 0 i = 0 n 1 ( a i b i + b i a i + β 2 c i d i + β 2 d i c i ) = 0 i = 0 n 1 ( a i c i + α 2 b i d i + c i a i + α 2 d i b i ) = 0 i = 0 n 1 ( a i d i + b i c i + c i b i + d i a i ) = 0 .
Additionally, η ( x ) · η ( y ) = 0 . .Therefore, η ( C ) η ( C ) . Since η is bijective, | η ( C ) | = | η ( C ) | . Hence, η ( C ) = η ( C ) . Moreover, C C implies η ( C ) η ( C ) . Hence, η ( C ) is a dual-containing linear code with parameters [ 4 n , k , d H ] . Thus by Lemma 2, there exists a quantum-error-correcting code with the parameters [ [ 4 n , 2 k 4 n , d H ] ] q over F q . □
Definition 3
([16]). A linear code C of length n over R is said to be linear complementary dual (LCD) if C C = { 0 } .
Lemma 3
([17]). Let C be a cyclic code of length n over F q generated by a polynomial h ( z ) such that n = p k 1 t , where p and t are relatively prime and k 1 0 . Then, C is an LCD code if, and only if, h ( z ) is a self-reciprocal and all the monic irreducible factors of h ( z ) have the same multiplicity in h ( z ) and in z n 1 .
Definition 4.
A linear code C of length n over R is said to be reversible if ( c n 1 , c n 2 , , c 1 , c 0 ) C , for all ( c 0 , c 1 , c 2 , , c n 1 ) C .
Lemma 4
([17]). Let C be a cyclic code of length n over F q such that g c d ( n , p ) = 1 . Then, C is a reversible code if, and only if, C is an LCD code.
The proofs of Theorems 8–10, Corollaries 2 and 3, and Lemma 5 are similar to those in [18].
Theorem 8.
Let C = Δ 1 C 1 Δ 2 C 2 Δ 3 C 3 Δ 4 C 4 be a cyclic code of length n over R. Then, C is an LCD code if, and only if, C 1 , C 2 , C 3 , and C 4 are LCD codes of length n over F q .
Corollary 2.
Let n = p t m and g c d ( m , p ) = 1 . Let C = Δ 1 C 1 Δ 2 C 2 Δ 3 C 3 Δ 4 C 4 be a cyclic code of length n over R, where C i = h i ( z ) such that h i ( z ) F q and h i ( z ) | ( z n 1 ) for i = 1 , 2 , 3 , 4 . Then, C is an LCD code if, and only if, h i ( z ) is self-reciprocal and each monic irreducible factor of h i ( z ) has the same multiplicity in h i ( z ) and in z n 1 for i = 1 , 2 , 3 , 4 .
Theorem 9.
Let C = Δ 1 C 1 Δ 2 C 2 Δ 3 C 3 Δ 4 C 4 be a cyclic code of length n over Rwith g c d ( n , p ) = 1 . Then, C is an LCD code if, and only if, C 1 , C 2 , C 3 , and C 4 are reversible codes of length n over F q .
Corollary 3.
For g c d ( n , p ) = 1 , let C = Δ 1 C 1 Δ 2 C 2 Δ 3 C 3 Δ 4 C 4 be a cyclic code of length n over R, where C 1 , C 2 , C 3 , and C 4 are cyclic codes of length n over F q . Then, C is an LCD code if, and only if, h i ( z ) is a self-reciprocal polynomial in F q for i = 1 , 2 , 3 , 4 .
Lemma 5.
Let C be a linear code of length n over R. Then, η ( C C ) = η ( C ) η ( C ) .
Theorem 10.
Let C be a linear code of length n over R Then, C is an LCD code if, and only if, its Gray image η ( C ) is an LCD code of length 4 n over F q .

5. Applications

In this section, we present some applications of the results proven in the previous sections. Example 3 and Table 1 demonstrate that our results provide several quantum codes which are better than the existing quantum codes that have been reported [8,9,10,11,12,13]. Moreover, we obtained new quantum codes in Example 1 and in Table 2. All of the computations involved in these examples were accomplished by using the Magma computation system [19]. We begin our discussion with the following example:
Example 1.
Let R = F 3 [ u 1 , u 2 ] / u 1 2 1 , u 2 2 1 , u 1 u 2 u 2 u 1 be a finite commutative ring, n = 9 , and α = β = 1 . Then,
z 9 1 = ( z + 2 ) 9 F 3 [ x ] .
Take
h 1 ( z ) = ( z + 2 ) 4
h 2 ( z ) = ( z + 2 ) 2
h 3 ( z ) = ( z + 2 )
h 4 ( z ) = 1
and
A = 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
Here, matrix A satisfies the condition AAT = I4×4, where A∈GL4 ( F 3 ) and I4×4 an identity matrix. The cyclic code C = i = 1 4 Δ i h i ( z ) is of length 9 over R and its Gray image is of length 36, dimension 29, and distance 3 over F 3 , i.e., [36, 29, 3]3. Moreover
z 9 1 0 ( m o d h i ( z ) h i * ( z ) ) ,
for 1 ≤ i ≤ 4. thus, C C by Theorem 6. In view of Theorem 7, we conclude that there exists a quantum code [[36, 22, 3]]3. This quantum code is a new quantum code (see [20] for details).
Example 2.
Let R = F 19 [ u 1 , u 2 ] / u 1 2 4 , u 2 2 1 , u 1 u 2 u 2 u 1 be a finite commutative ring, n = 19 , and α = 2 , β = 1 . Then,
z 19 1 = ( z + 18 ) 19 F 19 [ x ] .
Take
h 1 ( z ) = ( z + 18 )
h 2 ( z ) = ( z + 18 )
h 3 ( z ) = ( z + 18 ) 2
h 4 ( z ) = ( z + 18 ) 14
and
A = 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
Here, matrix A satisfies the condition AAT = 5I4×4, where A∈GL4 ( F 19 ) and I4×4 is an identity matrix. The cyclic code C = i = 1 4 Δ i h i ( z ) is of length 19 over R and its Gray image is of length 76, dimension 58, and distance 4 over F 19 , i.e., [76, 58, 4]19. Moreover
z 19 1 0 ( m o d h i ( z ) h i * ( z ) ) ,
for 1 ≤ i ≤ 4. Application of Theorem 6 yields C C by Theorem 7, we conclude that there exists a quantum code [[76, 40, 4]]19.
Example 3.
Let R = F 5 [ u 1 , u 2 ] / u 1 2 1 , u 2 2 1 , u 1 u 2 u 2 u 1 be a finite commutative ring, n = 30 , and α = β = 1 . Then,
z 30 1 = ( z + 1 ) 5 ( z + 4 ) 5 ( z 2 + z + 1 ) 5 ( z 2 + 4 z + 1 ) 5 F 5 [ x ] .
Take
h 1 ( z ) = h 2 ( z ) = h 3 ( z ) = h 4 ( z ) = ( z + 1 ) 2 ( z 2 + z + 1 )
and
A = 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
Here, matrix A satisfies the condition AAT = 4I4×4, where A∈GL4 ( F 5 ) and I4×4 is an identity matrix. The cyclic code C = i = 1 4 Δ i h i ( z ) is of length 30 over R and its Gray image is of length 120, dimension 104, and distance 3 over F 5 , i.e., [120, 104, 3]5. Moreover
z 30 1 0 ( m o d h i ( z ) h i * ( z ) ) ,
for 1 ≤ i ≤ 4. This implies that C C by Theorem 6. In view of Theorem 7, we conclude that there exists a quantum code [[120, 88, 3]]5. which has the same minimum distance but a larger code rate than the best previously known quantum code [[120, 32, 3]]5 (see [12] for details). Therefore, our quantum code [[120, 88, 3]]5 is better than the best previously known quantum code [[120, 32, 3]]5 reported in [12].
Example 4.
Let R = F 5 [ u 1 , u 2 ] / u 1 2 1 , u 2 2 4 , u 1 u 2 u 2 u 1 be a finite commutative ring, n = 6 , α = 1 , a n d β = 2 . Then,
z 6 1 = ( z + 1 ) ( z + 4 ) ( z 2 + z + 1 ) ( z 2 + 4 z + 1 ) F 5 [ x ] .
Take
h 1 ( z ) = 1
h 2 ( z ) = ( z + 1 )
h 3 ( z ) = ( z + 1 )
h 4 ( z ) = ( z + 1 ) ( z 2 + z + 1 ) ( z 2 + 4 z + 1 )
and
A = 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
Matrix A satisfies the condition AAT = 4I4×4, where A∈ GL4 ( F 5 ) and I4×4 is an identity matrix. Here, h1(z), h2(z), h3(z), and h4(z) are self-reciprocal polynomials. By Corollary 3, C = i = 1 4 Δ i h i ( z ) is an LCD code of length 6 over the ring R. Hence, by Theorem 10, its Gray image η ( C ) is also an LCD code with the parameters [24, 17, 4]5 over F 5 .
In Table 1 we present QEC codes obtained from cyclic codes C = i = 0 4 Δ i h i ( z ) of length n over R, where C i = h i ( z ) , such that z n 1 0 ( m o d h i ( z ) h i * ( z ) ) for i = 1 , 2 , 3 , 4 . It is noted that our QEC codes [ [ n , k , d ] ] q are better than the existing quantum codes [ [ n , k , d ] ] q collected from the different references mentioned in this article. In Table 2, we obtain new quantum codes, and in Table 3 we construct LCD codes C = i = 0 4 Δ i h i ( z ) of length n over R, where g c d ( n , p ) = 1 , C i = h i ( z ) , and h i ( z ) is the self-reciprocal divisor of z n 1 in F q [ z ] for i = 1 , 2 , 3 , 4 .

6. Conclusions

In this article, we discuss some of the structural properties of cyclic codes over the ring R = F q [ u 1 , u 2 ] / u 1 2 α 2 , u 2 2 β 2 , u 1 u 2 u 2 u 1 , where α and β are non-zero elements of F q . Furthermore, we obtain better quantum codes than presented in [8,9,10,11,12,13]. As an application, we obtain LCD codes over the ring R. This study can be generalized to a product of finite rings. We hope that this study will encourage readers to investigate these codes over other finite rings to explore new and better quantum codes in the future.

Author Contributions

All authors made equal contributions. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by Princess Nourah bint Abdulrahman University grant number PNURSP2023R231.

Data Availability Statement

Data sharing is not applicable as no datasets were generated or analyzed during the current study.

Acknowledgments

The authors are very thankful to the anonymous referees for their valuable comments and suggestions which have improved the manuscript immensely. Moreover, the authors extend their appreciation to Princess Nourah bint Abdulrahman University (PNU), Riyadh, Saudi Arabia, for funding this research under the Researchers Supporting Project, No. PNURSP2023R231.

Conflicts of Interest

The authors declare that they have no conflict of interest.

References

  1. Calderbank, A.R.; Rains, E.M.; Shor, P.M.; Sloane, N.J.A. Quantum error-correction via codes over GF(4). IEEE Trans. Inf. Theory 1998, 44, 1369–1387. [Google Scholar] [CrossRef] [Green Version]
  2. Grassl, M.; Beth, T. On optimal quantum codes. Int. J. Quantum Inf. 2004, 2, 55–64. [Google Scholar] [CrossRef] [Green Version]
  3. Qian, J.; Ma, W.; Gou, W. Quantum codes from cyclic codes over finite ring. Int. J. Quantum Inf. 2009, 7, 1277–1283. [Google Scholar] [CrossRef]
  4. Kai, X.; Zhu, S. Quaternary construction of quantum codes from cyclic codes over F4 + uF4. Int. J. Quantum Inf. 2011, 9, 689–700. [Google Scholar] [CrossRef]
  5. Li, R.; Xu, Z.; Li, X. Binary construction of quantum codes of minimum distance three and four. IEEE Trans. Inf. Theory 2004, 50, 1331–1335. [Google Scholar] [CrossRef]
  6. Gao, J. Quantum codes from cyclic codes over Fq + vFq + v2Fq + v3Fq. Int. J. Quantum Inf. 2015, 13, 1550063. [Google Scholar] [CrossRef]
  7. Özen, M.; Özzaim, N.T.; Ince, H. Quantum codes from cyclic codes over F3 + uF3 + vF3 + uvF3. Int. Conf. Quantum Sci. Appl. J. Phys. Conf. Ser. 2016, 766, 012020-1–012020-6. [Google Scholar]
  8. Ashraf, M.; Khan, N.; Mohammad, G. New Quantum and LCD Codes Over the Finite Field of Odd Characteristic. Int. J. Theor. Phys. 2021, 60, 2322–2332. [Google Scholar] [CrossRef]
  9. Ashraf, M.; Mohammad, G. Quantum codes from cyclic codes over Fq + uFq + vFq + uvFq. Quantum Inf. Process. 2016, 15, 4089–4098. [Google Scholar] [CrossRef]
  10. Ashraf, M.; Mohammad, G. Quantum codes over F0p from cyclic codes over Fp[u, v]/〈u2 − 1,v3v, uvvu〉. Cryptogr. Commun. 2019, 11, 325–335. [Google Scholar] [CrossRef]
  11. Bag, T.; Dinh, H.Q.; Upadhyay, A.K.; Yamaka, W. New non binary quantum codes from cyclic codes over product ring. IEEE Commun. Lett. 2019, 24, 486–490. [Google Scholar] [CrossRef]
  12. Islam, H.; Prakash, O. Quantum codes from the cyclic codes over Fp[u, v, w]/〈u2 − 1,v2 − 1,w2 − 1,uvvu, vwwv, wuuw〉. J. Appl. Math. Comput. 2019, 60, 625–635. [Google Scholar] [CrossRef]
  13. Dinh, H.Q.; Bag, T.; Upadhyay, A.K.; Ashraf, M.; Mohammad, G.; Chinnakum, W. Quantum codes from a class of constacyclic codes over finite commutative rings. J. Algebra Appl. 2020, 19, 2150003. [Google Scholar] [CrossRef]
  14. Bag, T.; Upadhyay, A.K. Study on negacyclic codes over the ring Zp[u]/〈uk+1u〉. J. Appl. Math. Comput. 2019, 59, 693–700. [Google Scholar] [CrossRef]
  15. Islam, H.; Prakash, O. New quantum and LCD codes over the finite field of even characteristic. Def. Sci. J. 2020, 71, 656–661. [Google Scholar] [CrossRef]
  16. Massey, J.L. Linear codes with complementary duals. Discret. Math. 1992, 106, 337–342. [Google Scholar] [CrossRef] [Green Version]
  17. Yang, X.; Massey, J.L. The condition for a cyclic code to have a complementary dual. Discret. Math. 1994, 126, 391–393. [Google Scholar] [CrossRef] [Green Version]
  18. Islam, H.; Prakash, O. Construction of LCD and new quantum codes from cyclic codes over a finite non chain ring. Cryptogr. Commun. 2022, 14, 59–73. [Google Scholar] [CrossRef]
  19. Bosma, W.; Cannon, J. Handbook of Magma Functions; University of Sydney: Sydney, Australia, 1995. [Google Scholar]
  20. Aydin, N.; Liu, P.; Yoshino, B. A Database of Quantum Codes. 2021. Available online: http://quantumcodes.info/ (accessed on 7 August 2021).
Table 1. Quantum codes from cyclic codes over R.
Table 1. Quantum codes from cyclic codes over R.
n h 1 ( z ) h 2 ( z ) h 3 ( z ) h 4 ( z ) η ( C ) [ [ n , k , d ] ] q [ [ n , k , d ] ] q
10 z + 1 z + 1 z + 4 z + 4 [ 40 , 36 , 2 ] [ [ 40 , 32 , 2 ] ] 5 [ [ 40 , 24 , 2 ] ] 5 [9]
20 ( z + 2 ) 2 ( z + 2 ) 2 ( z + 2 ) 2 ( z + 2 ) 2 [ 80 , 68 , 3 ] [ [ 80 , 56 , 3 ] ] 5 [ [ 80 , 54 , 3 ] ] 5 [11]
( z + 4 ) ( z + 4 ) ( z + 4 ) ( z + 4 )
22 z + 1 z + 1 z + 4 z + 4 [ 88 , 84 , 2 ] [ [ 88 , 80 , 2 ] ] 5 [ [ 88 , 48 , 2 ] ] 5 [9]
28 z + 2 z + 2 z + 3 z + 3 [ 112 , 108 , 2 ] [ [ 112 , 104 , 2 ] ] 5 [ [ 112 , 64 , 2 ] ] 5 [9]
30 ( z + 1 ) 2 ( z + 1 ) 2 ( z + 1 ) 2 ( z + 1 ) 2 [ 120 , 104 , 3 ] [ [ 120 , 88 , 3 ] ] 5 [ [ 120 , 32 , 3 ] ] 5 [12]
( z 2 + z + 1 ) ( z 2 + z + 1 ) ( z 2 + z + 1 ) ( z 2 + z + 1 )
31 z + 4 z + 4 z + 4 ( z 3 + z 2 + z + 4 ) [ 124 , 115 , 4 ] [ [ 124 , 106 , 4 ] ] 5 [ [ 124 , 100 , 4 ] ] 5 [8]
( z 3 + z 2 + 3 z + 4 )
35 z + 4 z + 4 ( z + 4 ) 2 ( z + 4 ) [ 140 , 129 , 3 ] [ [ 140 , 118 , 3 ] ] 5 [ [ 140 , 112 , 2 ] ] 5 [9]
( z 6 + z 5 + z 4 +
z 3 + z 2 + z + 1 )
42 ( z + 4 ) ( z + 4 ) ( z + 4 ) ( z + 4 ) [ 168 , 140 , 4 ] [ [ 168 , 112 , 4 ] ] 5 [ [ 168 , 96 , 2 ] ] 5 [10]
( z 6 + 2 z 4 + ( z 6 + 2 z 4 + ( z 6 + 2 z 4 + ( z 6 + 2 z 4 +
3 z 3 + 2 z 2 + 1 ) 3 z 3 + 2 z 2 + 1 ) 3 z 3 + 2 z 2 + 1 ) 3 z 3 + 2 z 2 + 1 )
24 z + 3 z + 3 z + 3 ( z + 3 ) [ 96 , 90 , 3 ] [ [ 96 , 84 , 3 ] ] 7 [ [ 96 , 80 , 3 ] ] 7 [8]
( z 2 + z + 4 )
78 ( z + 3 ) 2 ) ( z + 3 ) 2 ( z + 3 ) 2 ( z + 3 ) 2 [ 312 , 300 , 3 ] [ [ 312 , 288 , 3 ] ] 13 [ [ 312 , 282 , 3 ] ] 13 [13]
( z + 12 ( z + 12 ) ( z + 12 ) ( z + 12 )
121 z + 1 z + 1 ( z + 1 ) [ 48 , 41 , 4 ] [ [ 48 , 34 , 4 ] ] 17 [ [ 48 , 32 , 4 ] ] 17 [8]
( z 2 + 4 z + 16 )
( z 2 + z + 1 )
19 z + 18 z + 18 ( z + 18 ) 2 ( z + 18 ) 14 [ 76 , 58 , 4 ] [ [ 76 , 40 , 4 ] ] 19
Table 2. New quantum codes from cyclic codes over R.
Table 2. New quantum codes from cyclic codes over R.
n h 1 ( z ) h 2 ( z ) h 3 ( z ) h 4 ( z ) η ( C ) [ [ n , k , d ] ] q
9 ( z + 2 ) 4 ( z + 2 ) 2 z + 2 1 [ 36 , 29 , 3 ] [ [ 36 , 22 , 3 ] ] 3 New quantum code
25 ( z + 4 ) 6 z + 4 z + 4 1 [ 100 , 92 , 3 ] [ [ 100 , 84 , 3 ] ] 5 N e w q u a n t u m c o d e
15 ( z + 4 ) 2 ( z 2 + z + 1 ) z + 4 z 2 + z + 1 1 [ 60 , 53 , 3 ] [ [ 60 , 46 , 3 ] ] 5 N e w q u a n t u m c o d e
14 ( z + 1 ) ( z + 6 ) 3 z + 1 z + 6 1 [ 56 , 50 , 4 ] [ [ 56 , 44 , 4 ] ] 7 N e w q u a n t u m c o d e
11 ( z + 10 ) 5 z + 10 z + 10 1 [ 44 , 37 , 4 ] [ [ 44 , 30 , 4 ] ] 11 N e w q u a n t u m c o d e
Table 3. Gray images of LCD codes of length n over R.
Table 3. Gray images of LCD codes of length n over R.
n h 1 ( z ) h 2 ( z ) h 3 ( z ) h 4 ( z ) η ( C )
41 z + 1 z + 1 ( z + 1 ) ( z 2 + 1 ) [ 16 , 11 , 4 ] 3 Optimal
22 z + 1 z + 1 z + 1 z + 1 [ 88 , 84 , 2 ] 3 O p t i m a l
61 z + 1 z + 1 ( z + 1 ) ( z 2 + z + 1 ) [ 24 , 17 , 4 ] 5
( z 2 + 4 z + 1 )
81 z + 1 z + 1 ( z + 1 ) ( z 2 + 4 z + 1 ) [ 32 , 27 , 4 ] 7 O p t i m a l
37 z 6 + 5 z 5 z 6 + 5 z 5 z 6 + 4 z 5 z 6 + 4 z 5 [ 148 , 124 , 5 ] 11
+ 5 z 4 + + 5 z 4 + + 3 z 4 + + 3 z 4 +
4 z 3 + 5 z 2 4 z 3 + 5 z 2 7 z 3 + 3 z 2 7 z 3 + 3 z 2
+ 5 z + 1 + 5 z + 1 4 z + 1 4 z + 1
39 ( z 2 + z + 1 ) ( z 2 + z + 1 ) ( z 2 + z + 1 ) ( z 2 + z + 1 ) [ 156 , 100 , 4 ] 11
( z 12 + z 11 ( z 12 + z 11 ( z 12 + z 11 ( z 12 + z 11
+ z 10 + z 9 + z 10 + z 9 + z 10 + z 9 + z 10 + z 9
+ z 8 + z 7 + + z 8 + z 7 + + z 8 + z 7 + + z 8 + z 7 +
z 6 + z 5 + z 4 z 6 + z 5 + z 4 z 6 + z 5 + z 4 z 6 + z 5 + z 4
+ z 3 + z 2 + z 3 + z 2 + z 3 + z 2 + z 3 + z 2
+ z + 1 ) + z + 1 ) + z + 1 ) + z + 1 )
11 z 10 + z 9 + z 8 z 10 + z 9 + z 8 z 10 + z 9 + z 8 z 10 + z 9 + z 8 [ 44 , 4 , 11 ] 19
+ z 7 + z 6 + + z 7 + z 6 + + z 7 + z 6 + + z 7 + z 6 +
z 5 + z 4 + z 3 z 5 + z 4 + z 3 z 5 + z 4 + z 3 z 5 + z 4 + z 3 1
+ z 2 + z + 1 + z 2 + z + 1 + z 2 + z + 1 + z 2 + z + 1
28 ( z + 1 ) ( z + 1 ) ( z + 1 ) ( z + 1 ) [ 112 , 60 , 8 ] 19
( z 6 + z 5 + z 4 + ( z 6 + z 5 + z 4 + ( z 6 + z 5 + z 4 + ) ( z 6 + z 5 + z 4 +
z 3 + z 2 + z + 1 ) z 3 + z 2 + z + 1 ) z 3 + z 2 + z + 1 ) z 3 + z 2 + z + 1 )
( z 6 + 11 z 5 + 3 z 4 + ( z 6 + 11 z 5 + 3 z 4 + ( z 6 + 8 z 5 + 3 z 4 + ( z 6 + 8 z 5 + 3 z 4 +
11 z 3 + 3 z 2 11 z 3 + 3 z 2 8 z 3 + 3 z 2 8 z 3 + 3 z 2
+ 11 z + 1 ) + 11 z + 1 ) + 8 z + 1 ) + 8 z + 1 )
34 ( z + 1 ) ( z + 1 ) ( z + 1 ) ( z + 1 ) [ 136 , 100 , 4 ] 19
( z 8 + 13 z 7 + 15 z 6 + ( z 8 + 13 z 7 + 15 z 6 + ( z 8 + 13 z 7 + 15 z 6 + ( z 8 + 13 z 7 + 15 z 6 +
16 z 5 + 8 z 4 + 16 z 3 16 z 5 + 8 z 4 + 16 z 3 16 z 5 + 8 z 4 + 16 z 3 16 z 5 + 8 z 4 + 16 z 3
+ 15 z 2 + 13 z + 1 ) + 15 z 2 + 13 z + 1 ) + 15 z 2 + 13 z + 1 ) + 15 z 2 + 13 z + 1 )
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Ali, S.; Alali, A.S.; Jeelani, M.; Kurulay, M.; Öztas, E.S.; Sharma, P. On the Construction of Quantum and LCD Codes from Cyclic Codes over the Finite Commutative Rings. Axioms 2023, 12, 367. https://doi.org/10.3390/axioms12040367

AMA Style

Ali S, Alali AS, Jeelani M, Kurulay M, Öztas ES, Sharma P. On the Construction of Quantum and LCD Codes from Cyclic Codes over the Finite Commutative Rings. Axioms. 2023; 12(4):367. https://doi.org/10.3390/axioms12040367

Chicago/Turabian Style

Ali, Shakir, Amal S. Alali, Mohammad Jeelani, Muhammet Kurulay, Elif Segah Öztas, and Pushpendra Sharma. 2023. "On the Construction of Quantum and LCD Codes from Cyclic Codes over the Finite Commutative Rings" Axioms 12, no. 4: 367. https://doi.org/10.3390/axioms12040367

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