Quantum Codes Obtained from Skew ϱ-λ-Constacyclic Codes over
Abstract
Let , where q = pm, p is an odd prime, αi is a unit over , and i, j = 1,2, ⋯, k. In this article, we define a Gray map from to , we study the structure of skew ϱ-λ-constacyclic codes over , and then we give the necessary and sufficient conditions for skew ϱ-λ-constacyclic codes over to satisfy dual containing. Further, we have obtained some new nonbinary quantum codes from skew ϱ-λ-constacyclic over by using the CSS construction.
1. Introduction
Since Calderbank and Shor [1] and Steane [2] introduced a simple construction of quantum error-correcting code in 1996, many quantum error-correcting codes have been obtained from classical error-correcting codes by using the CSS construction [3–6]. In recent years, many researchers constructed quantum codes from constacyclic codes over finite nonchain rings [7–14]. In [15, 16], Boucher et al. proposed skew cyclic codes as a new kind of generalized cyclic codes by applying skew polynomial rings. Siap et al. [17] studied the structure of skew cyclic codes for an arbitrary length over finite fields. In [18, 19], skew constacyclic codes were studied over finite fields and finite chain rings. Bag et al. constructed quantum codes from skew (1 − 2u1 − 2u2 − ⋯−2um)-constacyclic codes over and Θ-λ-skew constacyclic codes over by applying the CSS construction [20, 21]. In [22, 23], some good quantum codes were obtained from linear skew constacyclic over and by using the Hermitian construction. In [24, 25], some new quantum codes were obtained from skew constacyclic codes over Re,q[u]/〈ue = 1〉, and some MDS quantum codes were construed from skew cyclic codes over by applying the CSS construction. Dinh et al. [26] obtained some optimal codes and near-optimal codes from skew θ-cyclic codes and discussed the advantages of quantum codes from skew θ-cyclic codes than from cyclic codes over . In this article, we study the algebraic structures of skew ϱ-λ-constacyclic codes over ; as an application, we give some new quantum codes from skew ϱ-λ-constacyclic codes over by using the CSS construction.
The rest of this article is arranged as follows: In Section 2, we define a new nonchain ring and a Gray map from to and introduce some basic knowledge of skew constacyclic code over . In Section 3, we give the necessary and sufficient conditions for skew ϱ-λ-constacyclic codes over to satisfy dual containing. In Section 4, we give some examples and obtain some new quantum codes from skew ϱ-λ-constacyclic codes over .
2. Preliminaries
Let be a nonchain ring, where q = pm, p is an odd prime and αi is a unit over .
Clearly, is semilocal and has q(k + 1) elements.
Let ς1 = u1/α1, ς2 = u2/α2, ⋯, ςk = uk/αk, ςk+1 = 1 − u1/α1 − u2/α2 − ⋯−uk/αk. We can get that ςiςj = 0, when i ≠ j, ςiςi = ςi, when i, j = 1,2, ⋯, k + 1, and 1 = ς1 + ς2 + ⋯+ςk+1. Thus, .
For any , r can only be said to r = r1ς1 + r2ς2 + ⋯+rk+1ςk+1, where and j = 1,2, ⋯, k + 1.
By the above definition, the order of ϱ is m/t.
Let the set , the addition on is defined as the general form of polynomials and the multiplication of polynomials is (axi)(bxj) = aϱi(b)xi+j.
By the above definition, it is easy to know that the set is a noncommutative ring and a skew polynomial ring. g(x) is a right divisor of f(x) if there exists subject to f(x) = q(x)∗g(x). Similarly, the left divisor can be given as above.
Let λ be a unit of , the skew constacyclic shift σϱ,λ of is defined by σϱ,λ(c) = (λϱ(cn−1), ϱ(c0), ⋯, ϱ(cn−2)). Then, C is called a skew ϱ-λ-constacyclic code of length n over if C is invariant under . In particular, C is called a skew ϱ-cyclic code and skew ϱ-negacyclic code of length n over when λ = 1 and λ = −1.
Then, is identified as a polynomial a0 + a1x + ⋯+an−1xn−1 over . Let the order of ϱ, |ϱ| = l; if l|n, we define a skew ϱ-λ-constacyclic code of length n over as a left ideal of .
By the same method of Lemma 7 in [17], we can have the following lemma.
Lemma 1. If , the centre of is and then .
Lemma 2 (see [14].)An element λ = λ1ς1 + λ2ς2 + ⋯+λk+1ςk+1 is a unit in if and only if λj is a unit in for j = 1,2, ⋯, k + 1.
3. Skew ϱ-λ-Constacyclic Codes over
Lemma 3. Let be a linear code of length n over , and λ = λ1ς1 + λ2ς2 + ⋯+λk+1ςk+1 is a unit in , ord(ϱ) | n. Then, ϱ(λ) = λ if and only if θt(λj) = λj and j = 1,2, ⋯, k + 1, where θt(αi) = αi and i = 1,2, ⋯, k.
Proof. Suppose ϱ(λ) = λ, we have
On comparing the coefficients, we have
Note that θt(αi) = αi for i = 1,2, ⋯, k, we can get that θt(λj) = λj for j = 1,2, ⋯, k + 1.
Conversely, if θt(λj) = λj for j = 1,2, ⋯, k + 1, note that θt(αi) = αi for i = 1,2, ⋯, k, then we can have θt(ςi) = θt(ui/αi) = ςi and θt(ςk+1) = θt(1 − u1/α1 − ⋯−uk/αk) = ςk+1.
So, ϱ(λ) = ϱ(λ1ς1 + λ2ς2 + ⋯+λk+1ςk+1) = λ1ς1 + λ2ς2 + ⋯+λk+1ςk+1 = λ.
Theorem 1. Let be a linear code of length n over and λ = λ1ς1 + λ2ς2 + ⋯+λk+1ςk+1 is a unit in , ord(ϱ)|n,ϱ(λ) = λ. Then, C is a skew ϱ- λ-constacyclic code of length n over if and only if Cj is a skew θt- λj-constacyclic code of length n over for j = 1,2, ⋯, k + 1.
Proof. For any cj = (cj,0, cj,1, ⋯, cj,n−1) ∈ Cj, j = 1,2, ⋯, k + 1. Then,
If Cj is a θt- λj-constacyclic code of length n over , then
So, C is a skew ϱ-λ-constacyclic code of length n over .
On the other hand, if C is a skew ϱ-λ-constacyclic code of length n over , we have
So, , Cj is a skew θt- λj-constacyclic code of length n over for j = 1,2, ⋯, k + 1.
Theorem 2. Let be a skew ϱ- λ-constacyclic code of length n over λ = λ1ς1 + λ2ς2 + ⋯+λk+1ςk+1 is a unit in ord(ϱ)|n,ϱ(λ) = λ. Then, is a skew θt- λ−1-constacyclic code of length n over , and is a skew θt- -constacyclic code over for j = 1,2, ⋯, k + 1, where
Proof. Let be a skew ϱ- λ-constacyclic code of length n over , where λ = λ1ς1 + λ2ς2 + ⋯+λk+1ςk+1 is a unit in . For any x = (x0, x1, ⋯, xn−1) ∈ C⊥, y = (y0, y1, ⋯, yn−1) ∈ C, then
We can get that
By Lemma 2, C⊥ is a skew θt- λ−1-constacyclic code of length n over . By Theorem 1, is a skew θt- -constacyclic code over for j = 1,2, ⋯, k + 1.
Theorem 3. Let be a skew ϱ- λ-constacyclic code of length n over λ = λ1ς1 + λ2ς2 + ⋯+λk+1ςk+1 is a unit in ord(ϱ) | n,ϱ(λ) = λ. Then, there exists a polynomial subject to C = 〈ς1g1(x) + ς2g2(x) + ⋯+ςk+1gk+1(x)〉, where the right divisor of xn − λ is ς1g1(x) + ς2g2(x) + ⋯+ςk+1gk+1(x), the generator polynomial of skew θt- λj-constacyclic Cj is , and gj(x) divides xn − λj on the right for j = 1,2, ⋯, k + 1.
Proof. Let be a skew ϱ-λ-constacyclic code of length n over By Theorem 1, Cj is a skew θt- λj-constacyclic code of length n over for j = 1,2, ⋯, k + 1.
Let gj(x) be the generator polynomial of Cj, then
Let C′ = 〈ς1g1(x) + ς2g2(x) + ⋯+ςk+1gk+1(x)〉. Clearly, C′⊆C.
Because ςj[(ς1g1(x) + ς2g2(x) + ⋯+ςk+1gk+1(x)] = ςjgj(x) for j = 1,2, ⋯, k + 1, so C⊆C′.
Hence, C = C′ = 〈ς1g1(x) + ς2g2(x) + ⋯+ςk+1gk+1(x)〉.
Because the right divisor of xn − λj is gj(x) for j = 1,2, ⋯, k + 1. Let fj(x)gj(x) = xn − λj. Then, [ς1f1(x) + ς2f2(x) + ⋯+ςk+1fk+1(x)][ς1g1(x) + ς2g2(x) + ⋯+ςk+1gk+1(x)] = xn − (λ1ς1 + λ2ς2 + ⋯+λk+1ςk+1) = xn − λ.
So, the right divisor of xn − λ is ς1g1(x) + ς2g2(x) + ⋯+ςk+1gk+1(x).
Corollary 1. Let be a skew ϱ- λ-constacyclic code of length n over λ = λ1ς1 + λ2ς2 + ⋯+λk+1ςk+1 is a unit in Then, , , where fj(x)gj(x) = xn − λj, , , and is the generate polynomials of skew θt- -constacyclic for j = 1,2, ⋯, k + 1.
4. Quantum Codes from Skew ϱ-λ-Constacyclic Codes over
Theorem 4. Let be a linear code of length n over with order |C| = ql, and the minimum Gray distance of C is dG. Then, ϕk(C) is a [(k + 1)n, l, dG] linear code and ϕk(C)⊥ = ϕk(C)⊥. If C is a self-dual code over , then ϕk(C) is a self-dual code over .
Proof. By the definition of ϕk, we can have that ϕk(C) is a [(k + 1)n, l, dG] linear code.
Let a = (a0, a1, ⋯, an−1) ∈ C, b = (b0, b1, ⋯, bn−1) ∈ C⊥,, j = 0,1,2, ⋯, n − 1, and a(i) = (ai,0, ai,1, ⋯, ai,n−1), b(i) = (bi,0, bi,1, ⋯, bi,n−1), i = 1,2, …, k + 1.Then, So and i = 1,2, ⋯, k + 1.Since ϕk(a) = (a(1), a(2), ⋯, a(k + 1))andϕk(b) = (b(1), b(2), ⋯, b(k + 1)),
So, we have ϕk(C⊥)⊆ϕk(C)⊥.
Because ϕk is bijective, |C| = |ϕk(C)|. Then, ∣ϕk(C⊥) | = q(k + 1)n/|C| = q(k + 1)n/∣ϕk(C)∣ = ∣ϕk(C)⊥∣. We have ϕk(C⊥) = ϕk(C)⊥.
If C is a self-dual code, C = C⊥ and then ϕk(C)⊥ = ϕk(C⊥) = ϕk(C).
Therefore, ϕk(C) is a self-dual code over .
Lemma 4. Let C be a skew θt- λ-constacyclic code of length n over whose generator polynomial is g(x) and ord(θt)|n. Then, C contains its dual code if and only if xn − λ is the right divisor of f∗(x)f(x), where λ = ±1 and the generator polynomial of C⊥ is f∗(x).
Proof. Let C⊥ = 〈f∗(x)〉, where f(x)g(x) = (xn − λ) and λ = ±1,C contains its dual code if and only if there exists subject to f∗(x) = h(x)g(x), by Lemma 1, f∗(x)f(x) = h(x)g(x)f(x) = h(x)f(x)g(x) = h(x)(xn − λ) if and only if the right divisor of f∗(x)f(x) is xn − λ.
In the present section, we construct quantum codes from skew ϱ- λ-constacyclic over by using the CSS construction [1, 2].
Theorem 5. (CSS Construction). Let C = [n, k, d]q be a linear codes over , if C⊥⊆C, then there exists a quantum code [[n, 2k − n, d]]q.
Theorem 6. Let be a skew ϱ-λ-constacyclic code of length n over , ord(ϱ) | n, ϱ(λ) = λ, λ = λ1ς1 + λ2ς2 + ⋯+λk+1ςk+1 is a unit in . Then, C⊥⊆C if and only if the right divisor of is xn − λi, λi = ±1 and i = 1,2, ⋯, k + 1.
Proof. Suppose the right divisor of is xn − λi, by Lemma 4, , i = 1,2, ⋯, k + 1, then , which implies .
On the contrary, let C⊥⊆C, then . Hence, . By Lemma 4, we have the right divisor of as xn − λi, λi = ±1,i = 1,2, ⋯, k + 1.
Using Lemma 4 and Theorem 6, we can get the following corollary.
Corollary 2. Let be a skew ϱ- λ-constacyclic code of length n over , where ord(ϱ) | n, ϱ(λ) = λ, and λ = λ1ς1 + λ2ς2 + ⋯+λk+1ςk+1 is a unit in Then, C⊥⊆C if and only if j = 1,2, ⋯, k + 1.
Theorem 7. Let be a skew ϱ- λ-constacyclic code of length n over , where ord(ϱ) | n, ϱ(λ) = λ, and λ = λ1ς1 + λ2ς2 + ⋯+λk+1ςk+1 is a unit in If Cj is a skew θt-λj-constacyclic code over and , where λi = ±1 and j = 1,2, ⋯, k + 1, then ϕk(C)⊥⊆ϕk(C) and there exists a quantum code , where the minimum Gray weight of C is dG and the dimension of ϕk(C) is l.
Proof. Since Cj is a skew θt-λj-constacyclic code over and , λj = ±1, j = 1,2, ⋯, k + 1, using Corollary 2, and C⊥⊆C. So, ϕk(C⊥)⊆ϕk(C), by Theorem 4ϕk(C)⊥ = ϕk(C⊥). Therefore, ϕk(C)⊥⊆ϕk(C), and by Theorem 4, ϕk(C) = [(k + 1)n, l, dG]. Using Theorem 5, there exists a quantum code .
Example 1. Let n = 3 and , , and is defined by θt(a) = a3, and Then, |ϱ| = 3, ord(ϱ)|n.
Let C be a skew ϱ- (ς1 + ς2 + (−1)ς3)-constacyclic code of length 3 over . Let g(x) = ς1g1(x) + ς2g2(x) + ς3g3(x), where g1(x) = g2(x) = ω2x + ω2, g3(x) = x + ω. Then, C1 = 〈g1(x)〉 and C2 = 〈g2(x)〉 are skew negacyclic codes of length 3 over . C3 = 〈g3(x)〉 is a skew cyclic code of length 3 over . By Theorem 4, ϕ2(C) = [9,6,3]27. Using Theorem 7, C⊥⊆C. So, we can get a quantum code [[9,3,3]]27 such that n − k + 2 − 2d = 2.
Example 2. Let n = 8 and and is defined by θt(a) = a3, and Then, |ϱ| = 2, ord(ϱ)|n.
Let C be a skew ϱ- (ς1 + ς2 + (−1)ς3 + (−1)ς4)-constacyclic code of length 8 over . Let g(x) = ς1g1(x) + ς2g2(x) + ς3g3(x) + ς4g4(x), where g1(x) = g2(x) = ω2x3 + ω2x2 + 2x + 1, g3(x) = g4(x) = ωx2 + ω3x + 1. Then, C1 = 〈g1(x)〉 and C2 = 〈g2(x)〉 are skew cyclic codes of length 8 over . C3 = 〈g3(x)〉 and C4 = 〈g4(x)〉 are skew negacyclic codes of length 8 over . By Theorem 4, ϕ3(C) = [32,22,4]9. By Theorem 7, C⊥⊆C. So, we can get a quantum code [[32,12,4]]9.
Example 3. Let n = 12 and , and is defined by θt(a) = a3, and Then, |ϱ| = 2, ord(ϱ)|n.
Let C be a skew ϱ- (ς1 + (−1)ς2 + ς3 + (−1)ς4)-constacyclic code of length 12 over . Let g(x) = ς1g1(x) + ς2g2(x) + ς3g3(x) + ς4g4(x), where g1(x) = g3(x) = ω6x2 + ω2 andg2(x) = g4(x) = x2 + ω2. Then, C1 = 〈g1(x)〉 and C3 = 〈g3(x)〉 are skew cyclic codes of length 12 over , and C2 = 〈g2(x)〉 andC4 = 〈g4(x)〉 are skew negacyclic codes of length 12 over . By Theorem 4, ϕ3(C) = [48,40,3]9. By Theorem 7, C⊥⊆C. So, we can get a quantum code [[48,32,3]]9, which has larger dimension than [[48,24,3]]9 in [21].
In Table 1, some new quantum codes are given from skew ϱ-λ constacyclic over . Our quantum codes [[18,12,3]]27, [[9,3,3]]27, [[18,12,3]]47, [[18,12,3]]169, [[28,22,3]]49 have the parameters such that n − k − 2d + 2 = 2. These codes are approached quantum MDS codes (satisfying quantum singleton bound n − k − 2d + 2 = 0). Moreover, our obtained quantum codes [[48,32,3]]9, [[40,30,3]]25, [[56,46,3]]49 have larger dimensions than the quantum codes [[48,24,3]]9, [[40,24,3]]25, [[56,40,3]]49 in [21].
q | n | k | (λ1, ⋯, λk+1) | <g1(x), ⋯, gk+1(x)> | ϕk(C) | [[n, l, d]]q | |
---|---|---|---|---|---|---|---|
49 | 6 | 2 | (1, −1, −1) | (31, ω1, ω1) | [18,15,3] | [[18,12,3]]49 | n − k − 2d + 2 = 0 |
27 | 3 | 2 | (1,1, −1) | (1ω, 1ω, ω2ω2) | [9,6,3] | [[9,3,3]]27 | n − k − 2d + 2 = 0 |
49 | 6 | 2 | (1, −1, −1) | (31, ω1, ω1) | [18,15,3] | [[18,12,3]]49 | n − k − 2d + 2 = 0 |
169 | 6 | 2 | (1, −1,1) | (ω161, ω381, ω161) | [18,15,3] | [[28,22,3]]49 | n − k − 2d + 2 = 0 |
49 | 14 | 1 | (1, −1) | (1ω221, ω31) | [28,25,3] | [[48,32,3]]9 | n − k − 2d + 2 = 0 |
9 | 12 | 3 | (1, −1,1, −1) | (ω60ω2, 10ω2, ω60ω2, 10ω2) | [48,40,3] | [[48,32,3]]9 | [[48,32,3]]9 [21] |
25 | 10 | 3 | (1,1, −1, −1) | (ω8ω41, ω41, ω101, ω101) | [40,35,3] | [[40,30,3]]25 | [[40,24,3]]25 [21] |
49 | 14 | 3 | (1, −1, −1,1) | (1ω221, ω31, ω31, ω61) | [56,51,3] | [[56,46,3]]49 | [[56,46,3]]49 [21] |
5. Conclusions
In this article, we construct quantum codes by studying the structure of skew ϱ-λ-constacyclic codes over a finite nonchain ring , where q = pm, p is an odd prime, and αi is a unit over . The major contributions are as follows: we study the structure of skew ϱ-λ-constacyclic code of length n over and give the necessary and sufficient conditions of dual-containing skew constacyclic codes. Our results will enrich the code source of quantum codes. Besides, we obtain some new quantum codes from skew ϱ-λ-constacyclic over by using the CSS construction. Our obtained quantum codes are approached quantum MDS codes or have larger dimensions than [21].
Conflicts of Interest
The authors declare that there are no conflicts of interest.
Acknowledgments
This work was supported by the Zhengzhou Special Fund for Basic Research and Applied Basic Research (no. ZZSZX202111) and the Key Technologies Research and Development Program of Henan Province (no. 212102210573).
Open Research
Data Availability
All data generated or analysed during this study are included within the article.