A class of skew cyclic codes and application in quantum codes construction

https://doi.org/10.1016/j.disc.2020.112189Get rights and content

Abstract

Let p be an odd prime, and k an integer such that k(p1). This paper studies quantum codes from skew cyclic codes over the ring R=Fq[u]uk+1u, where q is a power of the prime p. We construct a set of orthogonal idempotents of the ring R and using the set, skew cyclic codes over the ring R are decomposed as direct sum of skew cyclic codes over Fq. We obtain a necessary and sufficient condition for a skew cyclic code to contain its dual. As an application, we construct quantum codes from skew cyclic codes over Fq. It is observed that some quantum codes we constructed are MDS quantum codes.

Introduction

Classical computers work by manipulating bits that exist in one of two states, namely, 0 or 1. Quantum computers are not just limited to these two states, they are encoded with quantum data in the two conditions of 0 and 1 as quantum bits, or qubits, which can exist in superposition. That means, the qubits are both 0 and 1 and all points in between, which are processed at the same time, giving quantum computers the ability of performing many calculations at once. Qubits represent atoms, ions, photons or electrons and their respective control devices that are working together to act as computer memory and a processor. Since quantum computers can contain these multiple states simultaneously, they have the potential to be millions of times more powerful than the most powerful classical supercomputers. Quantum computers will make use of qubits to encode quantum data and figure complex scientific issues utilizing the resources unique to quantum computers, such as direct access to superposition and entanglement. Using quantum computing, one can harness the magnificent powers superposition and entanglement to tackle complicated issues that classical computer systems cannot practically do. The two properties of superposition and entanglement together will empower qubits to process huge amounts of information at the same time and take care of complex issues. While traditional classical computer systems would need to arrange and figure out each conceivable arrangement, which may take a huge amount of time on a massive scale problem, quantum computers can locate every single imaginable variation simultaneously utilizing superposition and entanglement and move through a lot of information in an altogether limited quantity of time. As a quantum computer has the potential to simulate things that a classical computer could not, quantum computers outrun the classical computers in their ability to solve complex problems, and the application of error-correcting codes in quantum computers can be labeled as one of the pivotal reasons for this efficiency. Consequently, it has become evident that quantum error-correcting codes can protect quantum information investigations, and researches concerning quantum error-correcting codes have seen a tremendous headway. During the last few years, research on error-correcting codes has increased in both the public and private sectors. For instance, in October 2019, Google AI, in partnership with the U.S. National Aeronautics and Space Administration (NASA), claimed to be able to perform a quantum computation that is infeasible on any classical computer.

Quantum error-correction is used in quantum computing to protect quantum information from errors which may occur due to decoherence and other quantum noise. Decoherence can revert a quantum system back to the classical system through interactions with the environment such as heat, light, sound, vibration, etc., which decay and eliminate the quantum behavior of particles. In 1995, Shor [66] introduced quantum error-correcting codes for the first time. In the next year, Steane [68] studied the properties of simple quantum error-correcting codes. However, it was after Calderbank et al. [19] that the construction of quantum error correcting codes from classical error-correcting codes started evolving rapidly. Several quantum error-correcting codes were constructed using cyclic codes over finite fields Fq (where q is a power of prime number) with distinctive orthogonal properties, and as a result, numerous commendably good error correcting codes have been constructed [3], [42], [45], [46], [47], [49], [53], [56], [57], [58] over finite fields. Recently, the study of quantum error correcting codes over finite rings has got the attention of researchers, and many good quantum error correcting codes have been found [4], [5], [6], [7], [9], [10], [11], [12], [27], [28], [29], [44], [52], [64], [65]. From the last two decades, the study of quantum codes from algebraic curves [13], [26], [50], [54], [55] has also been developing rapidly.

The class of cyclic codes is a very important class of linear codes from both theoretical and practical point of view, which are easy to implement due to their rich algebraic structure. Cyclic codes have been extensively studied for the past six decades. Since the publication of a landmark paper by Hammons et al. in 1994 [48], which discovered that many well known good non-linear codes over F2 can be viewed as binary images under a Gray map of linear cyclic codes over Z4, there have been a lot of research on cyclic codes and their generalizations over finite rings (see, for example, [20], [21], [22], [23], [24], [25], [30], [32], [33], [34], [35], [36], [37], [38], [39], [40], [59]). However, all these works are restricted to codes whose alphabets are commutative rings.

In 1933, Ore [62] introduced a polynomial ring with usual polynomial addition and a specific multiplication to obtain a non-commutative structure over the polynomial ring, called skew polynomial ring. The non-commutative nature and rich algebraic structure of this class of rings allowed to construct many codes than the commutative set up, and so the study of codes over non-commutative polynomial rings has seen a rapid growth in recent time. In 2007, Boucher et al. [17], [18] studied skew cyclic codes over a skew polynomial ring. Later, skew quasi cyclic codes were introduced by Abualrab [2] and Bhaintwal [14]. In a few years after that, many authors studied some important structural properties of skew cyclic codes; see [1], [8], [43], [51], [67].

Motivated by that, in this paper, we study skew cyclic codes over the ring R=Fq+uFq++ukFq, where uk+1=u and q=pm for odd prime p such that k(p1), and then we obtain new quantum codes from the skew cyclic codes we constructed. The paper is organized as follows. Section 3 consists of the construction of linear codes and basic properties of Gray map over the ring R. In Section 4, we study the properties of skew cyclic codes and exhibit the generators of skew cyclic and dual skew cyclic codes over R. In Section 5, we give necessary and sufficient conditions for a skew cyclic code over R to contain its dual code. Finally, as an application, we construct quantum codes from skew cyclic codes over R via the Gray map defined over R. Section 6 concludes the paper.

Section snippets

Preliminaries

Let R be a finite commutative ring. A non-empty subset C of Rn is called a code of length n over R. If the non-empty subset C of Rn is an R-submodule of Rn, then C is called a linear code. Throughout this paper, we refer to codes as linear codes. The elements of a code are called codewords. We identify each codeword (c0,c1,,cn1)C by its polynomial representation c0+c1x++cn1xn1 in R[x]. A code C is called a cyclic code of length n over R if it is closed under the cyclic shift operator ρ:Rn

Construction of linear codes over R

In this section, using a set of orthogonal idempotents, we decompose the ring R and define linear codes over R. Let Bi be sets over R, for i=0,1,,k. We define B0B1Bk={b0+b1++bkbiBi;i=0,1,,k}B0B1Bk={b0,b1,,bkbiBi;i=0,1,,k}.

As k(p1), uk1up11, that implies uk+1uupu. Therefore, uk+1u splits over Fp as follows uk+1u=(uv0)(uv1)(uv2)(uvk),where v0,v1,,vk are distinct elements of Fp.

For 0ik, define ei=uk+1uuvi. As gcd(ei,uvi)=1 and Fp[u] is a principal ideal

Structure of skew cyclic codes over R

We now present the direct sum decomposition of any skew Θ-cyclic code of length n over R.

Theorem 4.1

Let C=γ0C0γ1C1γkCk be a linear code of length n over R. Then C is a skew Θ-cyclic code of length n over R if and only if Cj are skew θ-cyclic codes of length n over Fq, for j=0,1,,k.

Proof

Let x=(x0,x1,,xn1)C, where xi=γ0ai,0+γ1ai,1++γkai,k and ai,jFq for i=0,1,,n1 and j=0,1,,k. Then aj=(a0,j,a1,j,,an1,j)Cj for j=0,1,,k. Suppose C is a skew Θ-cyclic code of length n over R. Then σ(x)C, where σ(x)=

Dual-containing skew cyclic codes over R and their application in quantum codes construction

In [19], Calderbank et al. showed that the dual containing property of a classical error-correcting code ensures the existence of quantum codes from error-correcting codes. As a result, good quantum codes have been computed over several error-correcting codes over finite fields and finite rings. There is hardly any paper on the construction of quantum codes from classical error-correcting codes over non-commutative rings. Recently, the authors of [63] computed quantum codes from skew codes over

Conclusion

For any odd prime p, and integer k such that k(p1), in this paper, we constructed quantum codes from skew Θ-cyclic codes over the ring R=Fq[u]uk+1u, where q is a power of p. We first studied Θ-skew cyclic and θ-skew cyclic codes using a set of idempotents over R. Then a set of generators of both skew Θ-cyclic and dual skew Θ-cyclic codes over R are obtained. A necessary and sufficient condition for a skew Θ-cyclic code over R to contain its dual is provided, which is actually the

Declaration of Competing Interest

The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.

Acknowledgments

The authors are grateful to the anonymous reviewers who have given us helpful comments to improve the manuscript. T. Bag is thankful to University Grant Commission (UGC), Govt. of India for financial support under Sr. No. 2061441025 with Ref No. 22/06/2014(i)EU-V. H.Q. Dinh and R. Tansuchat are thankful to the Centre of Excellence in Econometrics, Faculty of Economics, Chiang Mai University, Thailand , for partial financial support.

References (68)

  • KimJ. et al.

    Non binary quantum error-correcting cods from algebraic curves

    Discrete Math.

    (2008)
  • AbualrubT. et al.

    On θ-cyclic codes over F2+vF2

    Australas. J. Combin.

    (2012)
  • AbualrubT. et al.

    On the construction of skew quasi cyclic codes

    IEEE. Trans. Inf. Theory

    (2010)
  • AlyS.A. et al.

    On quantum and classical BCH codes

    IEEE Trans. Inform. Theory

    (1995)
  • AshrafM. et al.

    Quantum codes from cyclic codes over F3+vF3

    Int. J. Quantum Inf.

    (2014)
  • AshrafM. et al.

    Construction of quantum codes from cyclic codes over Fp+vFp

    Int. J. Inf. Coding Theory

    (2015)
  • AshrafM. et al.

    Quantum codes from cyclic codes over Fq+uFq+vFq+uvFq

    Quantum Inf. Process.

    (2016)
  • AshrafM. et al.

    Quantum codes over Fp from cyclic codes over Fp[u,v]u21,v3v,uvvu

    Cryptogr. Commun.

    (2019)
  • AshrafM. et al.

    On skew cyclic codes over F3+vF3

    Int. J. Inf. Coding Theory

    (2014)
  • BagT. et al.

    Application of constacyclic codes over the semi local ring Fpm+vFpm

    Indian J. Pure Appl. Math.

    (2020)
  • BagT. et al.

    Quantum codes from classes of skew constacyclic codes over the ring Fq[u,v]u21,v21,uvvu

    Discrete Math.

    (2020)
  • BagT. et al.

    New non-binary quantum codes from cyclic codes over product rings

    IEEE Commun. Lett.

    (2020)
  • BagT. et al.

    Quantum codes from cyclic codes over the ring Fp[u]u3u

    Asian-Eur. J. Math.

    (2020)
  • BartoliD. et al.

    AG Codes and AG quantum codes from the GGS curve

    Des. Codes Cryptogr.

    (2018)
  • BhaintwalM.

    Skew quasi cyclic codes over Galois rings

    Des. Codes Cryptogr.

    (2012)
  • W. Bosma, J. Cannon, Handbook of Magma Functions, Sydney, May 22,...
  • BoucherD. et al.

    Skew cyclic codes

    Appl. Algebra Eng. Commun. Comput.

    (2007)
  • CalderbankA.R. et al.

    Quantum error-correction via codes over GF(4)

    IEEE Trans. Inform. Theory

    (1998)
  • CaoY. et al.

    A class of linear codes of length 2 over finite chain rings

    J. Algebra Appl.

    (2020)
  • CaoY. et al.

    Constacyclic codes of length nps over Fpm+uFpm

    Adv. Math. Commun.

    (2018)
  • ChenH.

    Some good quantum error-correcting codes from algebraic geometry codes

    IEEE Trans. Inform. Theory

    (2001)
  • DertliA. et al.

    On quantum codes obtained from cyclic codes over A2

    Int. J. Quantum Inf.

    (2015)
  • DertliA. et al.

    Some results on the linear codes over the finite ring F2+v1F2++vrF2

    Int. J. Quantum Inf.

    (2016)
  • DinhH.Q. et al.

    Quantum codes from a class of constacyclic codes over finite commutative rings

    J. Algebra Appl.

    (2021)
  • View full text