Volume 2023, Issue 1 8196228
Research Article
Open Access

Quantum Codes Obtained from Skew ϱ-λ-Constacyclic Codes over

Bo Kong

Bo Kong

School of Statistics and Mathematics, Henan Finance University, Zhengzhou 450046, China

Search for more papers by this author
Xiying Zheng

Corresponding Author

Xiying Zheng

Faculty of Engineering, Huanghe Science and Technology College, Zhengzhou 450063, China hhstu.edu.cn

Search for more papers by this author
Jie Liu

Jie Liu

Faculty of Engineering, Huanghe Science and Technology College, Zhengzhou 450063, China hhstu.edu.cn

Search for more papers by this author
Hongjing Jiang

Hongjing Jiang

Faculty of Engineering, Huanghe Science and Technology College, Zhengzhou 450063, China hhstu.edu.cn

Search for more papers by this author
First published: 22 March 2023
Academic Editor: Liuguo Yin

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 [36]. In recent years, many researchers constructed quantum codes from constacyclic codes over finite nonchain rings [714]. 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/α1u2/α2 − ⋯−uk/αk. We can get that ςiςj = 0, when ij, ς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.

Let θt be automorphism, by . We define the automorphism of as follows:
()

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.

A map is defined as follows:
()

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 .

For any the Gray map ϕk is defined as follows:
()
We extend ϕk as follows:
()
where
For any c = (c0, c1, ⋯, cn−1) ∈ C, c can be said to be as follows:
()
Let C be a linear code of length n over , and
()
for j = 1,2, ⋯, k + 1. One can quickly verify that Cj is a linear code of length n over for j = 1,2, ⋯, k + 1, and

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

()
so ; hence, C is a skew θt- λ−1-constacyclic code.

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, CC.

Because ςj[(ς1g1(x) + ς2g2(x) + ⋯+ςk+1gk+1(x)] = ςjgj(x) for j = 1,2, ⋯, k + 1, so CC.

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.

Proof. Let for j = 1,2, ⋯, k + 1, using Theorems 2 and 3, , then , and we can get that Let . Clearly, Because for j = 1,2, ⋯, k + 1, so .

Therefore,

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 CC, then there exists a quantum code [[n, 2kn, 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, CC 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 CC, 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, CC 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 CC. 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, CC. So, we can get a quantum code [[9,3,3]]27 such that nk + 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, CC. 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, CC. 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 nk − 2d + 2 = 2. These codes are approached quantum MDS codes (satisfying quantum singleton bound nk − 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].

Table 1. Quantum codes from skew ϱ-λ-constacyclic over .
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 nk − 2d + 2 = 0
27 3 2 (1,1, −1) (1ω, 1ω, ω2ω2) [9,6,3] [[9,3,3]]27 nk − 2d + 2 = 0
49 6 2 (1, −1, −1) (31, ω1, ω1) [18,15,3] [[18,12,3]]49 nk − 2d + 2 = 0
169 6 2 (1, −1,1) (ω161, ω381, ω161) [18,15,3] [[28,22,3]]49 nk − 2d + 2 = 0
49 14 1 (1, −1) (1ω221, ω31) [28,25,3] [[48,32,3]]9 nk − 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).

    Data Availability

    All data generated or analysed during this study are included within the article.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.