Skew Constacyclic Codes over a Non-Chain Ring

Abstract

In this paper, we investigate the algebraic structure of the non-local ring ${\mathcal{R}}_q={\mathbb{F}}_q\left[v\right]/⟨v^2+1⟩$ and identify the automorphisms of this ring to study the algebraic structure of the skew constacyclic codes and their duals over this ring. Furthermore, we give a necessary and sufficient condition for the skew constacyclic codes over ${\mathcal{R}}_q$ to be linear complementary dual (LCD). We present some examples of Euclidean LCD codes over $R_q$ and tabulate the parameters of Euclidean LCD codes over finite fields as the $\Phi$-images of these codes over $R_q$, which are almost maximum distance separable (MDS) and near MDS. Eventually, by making use of Hermitian linear complementary duals of skew constacyclic codes over ${\mathcal{R}}_q$ and the map $\Phi$, we give a class of entanglement-assisted quantum error correcting codes (EAQECCs) with maximal entanglement and tabulate parameters of some EAQECCs with maximal entanglement over finite fields.

1. Introduction

In recent decades, codes over finite commutative chain rings have been studied considerably (see Refs. [1,2,3,4,5,6,7]). In the last few years, some specific non-chain rings have been used as an alphabet for codes (see Refs. [8,9,10,11,12]). Constacyclic codes form an important class of linear codes and have practical applications to other disciplines including classical and quantum communication systems as they can be encoded with shift registers because of their algebraic structures. Since the factorization of the polynomials over non-commutative structures is not unique, they are potentially more convenient for obtaining good code parameters than commutative structures. This fact makes the study of skew polynomial rings more attractive. Over standard polynomial rings the algebraic structure of $\lambda$-constacyclic codes of length n is totally determined by the polynomial divisors of the binomial $x^n-\lambda .$ In [13], Boucher, Solé and Ulmer used skew polynomials to determine the algebraic structure of constacyclic codes under a skew constacyclic shift. Afterwards, in [14,15], Boucher and Ulmer explored more properties and good examples of such codes.

For the first time, linear complementary dual (LCD) codes over finite fields were introduced by Massey in [16]. In recent years, many researches have been conducted to obtain conditions for certain families of linear codes to be LCD. For a cyclic code, the necessary and sufficient condition to be an LCD code was derived by Yang and Massey in [17]. Zhu et al. in [18] and Koroglu and Sarı in [19] constructed some classes of maximum distance separable (MDS) LCD codes from negacyclic codes. Esmaeili and Yari studied on quasi-cyclic linear complementary dual codes [20]. For a list of papers on LCD codes from other families of linear codes see Refs. [21,22,23,24,25,26,27].

Recently entanglement-assisted quantum error-correcting codes (EAQECCs) have been studied vigorously by researchers, see Refs. [28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45]. Especially, the construction of EAQECCs from LCD codes has been the main focus of attention since the number of pairs of maximally entangled states of an EAQECC derived from an LCD code of length n and dimension k is $n-k,$ which give us the occasion to construct EAQECCs with maximal entanglement [33,38,44]. In [44], Qian and Zhang showed that a $\lambda$-constacyclic code over ${\mathbb{F}}_{q^2}$ is a Hermitian LCD code if the multiplicative order of $\lambda$ does not divide $q+1$, and by the help of this fact, they obtained new entanglement-assisted quantum maximum distance separable codes of length $q+1$ from MDS Hermitian LCD codes. In [46], Sarı and Koroglu expanded the range of parameters by considering the defining sets given in [44] with a different approach.

The rest of the paper is organized as follows. In Section 2, we recall some basic notations and results that are needed in the remaining part of the study. In Section 3, we remind the algebraic structure of the ring ${\mathcal{R}}_q$ and then give a decomposition of it. In the same section, we determine automorphism group of the ring and define a Gray type map over it. Further, we recall some results regarding to the algebraic structure of the linear codes over the ring ${\mathcal{R}}_q.$ In Section 4, we introduce basics of the skew constacyclic codes over finite fields. In Section 5, we define LCD codes over ${\mathcal{R}}_q$ and give a characterization for skew constacyclic codes over ${\mathcal{R}}_q$ to be Euclidean LCD and Hermitian LCD. We also tabulate some parameters of almost maximum distance separable (MDS) and near MDS LCD codes over ${\mathbb{F}}_{169}$. In Section 6, we apply the skew constacyclic Hermitian LCD codes over ${\mathcal{R}}_q$ to obtain EAQECCs and give some parameters of EAQECCs over ${\mathbb{F}}_5$.

2. Preliminaries

In this section, we will fix some notations for the sequel of the paper and recall some basic notations and results that are needed in the rest of the study. Throughout this work, we will use the following notation unless otherwise noted.

• $q=p^k$ is a prime power and for positive integers a and b, where $p=a^2+b^2$.
• ${\mathbb{F}}_q$ is the finite field of q elements.
• ${\mathbb{F}}_q^{*}={\mathbb{F}}_q-\left\{0\right\}$.
• ${\mathcal{R}}_q={\mathbb{F}}_q\left[v\right]/\langle v^2+1\rangle$ such that $v^2\equiv -1(mod$$q)$.
• $\mathcal{U}\left({\mathcal{R}}_q\right)$ is the unit group of ${\mathcal{R}}_q$.
• $Aut\left({\mathcal{R}}_q\right)$ is the automorphism group of ${\mathcal{R}}_q$.

A linear code of length n and dimension k over ${\mathbb{F}}_q$ is a vector subspace of the vector space ${\mathbb{F}}_q^n.$ An element of a linear code is termed as a codeword. The minimum Hamming distance d of a linear code $\mathcal{C}$ is the minimum Hamming weight $w_H\left(\mathcal{C}\right)$ of $\mathcal{C}$, where $w_H\left(\mathcal{C}\right)=min\left\{w_H\left(c\right):0\ne c\in \mathcal{C}\right\}$ and $w_H\left(c\right)=\left|\left\{i:c_i\ne 0,i\in \left\{0,1,\dots ,n-1\right\}\right\}\right|.$ A linear code $\mathcal{C}$ over ${\mathbb{F}}_q$ of length n, dimension k and minimum distance d is denoted by the triple ${\left[n,k,d\right]}_q$ and this code corrects up to $⌊\frac{d-1}{2}⌋$ errors. For an ${\left[n,k,d\right]}_q$ linear code C, if $d=n-k+1$, then it is called a maximum distance separable (MDS) code. We say that it is an almost maximum distance separable (MDS) code if $d=n-k$, and it is a near MDS code if $d=n-k-1$. The (Euclidean) dual ${\mathcal{C}}^{\perp }$ of a linear code $\mathcal{C}$ over ${\mathbb{F}}_q$ of length n is the set

$${\mathcal{C}}^{\perp }=\left\{y\in {\mathbb{F}}_q^n:\sum _{i=0}^{n-1}{x}_i{y}_i=0,\forall x\in \mathcal{C}\right\}.$$

The (Hermitian) dual ${\mathcal{C}}^{{\perp }_h}$ of a linear code $\mathcal{C}$ over ${\mathbb{F}}_{q^2}$ of length n is the set

$${\mathcal{C}}^{{\perp }_h}=\left\{y\in {\mathbb{F}}_{q^2}^n:{〈x,y〉}_h=0,\forall x\in \mathcal{C}\right\},$$

where ${〈x,y〉}_h={\displaystyle \sum _{i=0}^{n-1}}{x}_i{y}_i^q.$ Note that the dual of a linear code is also linear. For a linear code $\mathcal{C}$ over ${\mathbb{F}}_{q^2}$, a Hermitian parity check matrix H is a matrix whose rows form a basis of ${\mathcal{C}}^{{\perp }_h}.$ Conjugate transpose of an $m\times n$ matrix $H=\left(h_{ij}\right)$ with entries in ${\mathbb{F}}_{q^2}$ is denoted by $H^{†}$ and is an $n\times m$ matrix such that $H^{†}=\left(h_{ji}^q\right).$

Let $\lambda \in {\mathbb{F}}_q$ be a nonzero element. Then a $\lambda$-constacyclic code over the finite field ${\mathbb{F}}_q$ of length n is a linear code $\mathcal{C}$ satisfying that $\left(\lambda c_{n-1},c_0,\dots ,c_{n-2}\right)\in \mathcal{C}$ for each codeword $\mathbf{c}=\left(c_0,\dots ,c_{n-1}\right)\in \mathcal{C}.$ By mapping a codeword $\mathbf{c}=\left(c_0,\dots ,c_{n-1}\right)$ to a polynomial $c_0+c_{1}x+\cdots +c_{n-1}{x}^{n-1},$ one gets that a $\lambda$-constacyclic code over ${\mathbb{F}}_q$ of length n corresponds to a principal ideal $\mathcal{C}=〈g\left(x\right)〉$ in the quotient ring ${\mathbb{F}}_q\left[x\right]/〈x^n-\lambda 〉$. Note that a constacyclic code $\mathcal{C}=〈g\left(x\right)〉$ of length n is of $n-k$ dimension, where $k=deg\left(g\left(x\right)\right).$ For $\lambda =1$ the code $\mathcal{C}$ is called a cyclic code and for $\lambda =-1$ the code $\mathcal{C}$ is called a negacyclic.

3. Structure of the Ring ${\mathcal{R}}_q$ and Linear Codes over ${\mathcal{R}}_q$

In this section, we remind algebraic structure of the ring ${\mathcal{R}}_q$ and we give a decomposition of it. We determine automorphism group of the ring and define a Gray type map over it. Finally, we recall structure of the linear codes over the ring ${\mathcal{R}}_q.$

An automorphism of the finite field ${\mathbb{F}}_q$ is a bijection from the field onto itself. The distinct automorphisms of ${\mathbb{F}}_q$ over ${\mathbb{F}}_p$ are exactly the mappings ${\theta }_0,{\theta }_1,\dots ,{\theta }_{k-1}$, defined by ${\theta }_j\left(\beta \right)={\beta }^{p^j}$ for $\beta \in {\mathbb{F}}_q$ and $0⩽j⩽k-1.$

The ring ${\mathcal{R}}_q={\mathbb{F}}_q\left[v\right]/\langle v^2+1\rangle$ such that $v^2\equiv -1\left(modq\right)$ is a non-chain principal ideal ring with two maximal ideals $\langle \alpha \rangle$ and $\langle {\alpha }^{*}\rangle ,$ where $\alpha =a+bv$ is an element of ${\mathcal{R}}_q$ and ${\alpha }^{*}=a-bv$, which is called as the conjugate of the element $\alpha .$ The ideal lattice of ${\mathcal{R}}_q$ is given in Figure 1.

An element $\pi \in {\mathcal{R}}_q$ is called an idempotent if ${\pi }^2=\pi$ and two idempotents ${\pi }_1,$${\pi }_2$ are said to be orthogonal if ${\pi }_1{\pi }_2=0.$ An idempotent of ${\mathcal{R}}_q$ is said to be primitive if it is non-zero and it cannot be written as sum of orthogonal idempotents. A collection $\left\{{\pi }_0,{\pi }_1,\dots ,{\pi }_{s-1}\right\}$ of idempotents of ${\mathcal{R}}_q$ is complete if ${\pi }_0+{\pi }_1+\dots +{\pi }_{s-1}=1.$ Any complete collection of idempotents in ${\mathcal{R}}_q$ is a basis of the ${\mathbb{F}}_q$-vector space ${\mathcal{R}}_q.$ Hence, any element $r\in {\mathcal{R}}_q$ can be uniquely represented as $r=r_0{\pi }_0+r_1{\pi }_1+\dots +r_{s-1}{\pi }_{s-1},$ where $r_i\in {\mathcal{R}}_q.$ For more details readers may consult reference [11].

Let ${\pi }_0=\frac{1}{2a}\alpha$ and ${\pi }_1=\frac{1}{2a}{\alpha }^{*}$ be two elements in ${\mathcal{R}}_q.$ It is easy to see that the set $\left\{{\pi }_0,{\pi }_1\right\}$ is a complete set of idempotents in ${\mathcal{R}}_q.$ Therefore, any element $r\in {\mathcal{R}}_q$ can be uniquely represented as $r=r_0{\pi }_0+r_1{\pi }_1,$ where $r_0,r_1\in {\mathbb{F}}_q.$ From the Figure 1, we can easily see that an element $x{\pi }_0+y{\pi }_1\in {\mathcal{R}}_q$ is a unit if and only if both x and y are nonzero. Then the unit group of ${\mathcal{R}}_q$ is described as

$$\mathcal{U}\left({\mathcal{R}}_q\right)=\left\{\left.x{\pi }_0+y{\pi }_1\right|x,y\in {\mathbb{F}}_q\mathrm{such}\mathrm{that}x\ne 0\mathrm{and}y\ne 0\right\}.$$

Because of the choice of x and $y,$ the number of unit elements of ${\mathcal{R}}_q,$ i.e., the cardinality of the set $\mathcal{U}\left({\mathcal{R}}_q\right),$$\left|\mathcal{U}\left({\mathcal{R}}_q\right)\right|$ is equal to $\left(q-1\right)\left(q-1\right).$

Theorem 1.

Let θ be an automorphism of ${\mathbb{F}}_q$ and σ be a permutation of the set $\left\{0,1\right\}.$ Then the map

$$\begin{array}{ccc}\hfill {\Theta }_{\theta ,\sigma }& :& {\mathcal{R}}_q⟶{\mathcal{R}}_q\hfill \\ {\Theta }_{\theta ,\sigma }\left(r_0{\pi }_0+r_1{\pi }_1\right)\hfill & \mapsto & \theta \left(r_0\right){\pi }_{\sigma \left(0\right)}+\theta \left(r_1\right){\pi }_{\sigma \left(1\right)}\hfill \end{array}$$

 is an automorphism of the ring ${\mathcal{R}}_q.$ Further, the cardinality $\left|Aut\left({\mathcal{R}}_q\right)\right|$ of the automorphism group of ${\mathcal{R}}_q$

$$Aut\left({\mathcal{R}}_q\right)=\left\{\left.{\Theta }_{\theta ,\sigma }\right|\theta \in Aut\left({\mathbb{F}}_q\right)\mathrm{and}\sigma \in S_2\right\},$$

 where $S_2$ is the permutation group of the set $\left\{0,1\right\},$ is $2k.$

Proof of Theorem 1. 

It is easy to check that ${\Theta }_{\theta ,\sigma }$ is an automorphism of the ring ${\mathcal{R}}_q.$ Hence,

$$\left\{\left.{\Theta }_{\theta ,\sigma }\right|\theta \in Aut\left({\mathbb{F}}_q\right)\mathrm{and}\sigma \in S_2\right\}\subset Aut\left({\mathcal{R}}_q\right).$$

On the other hand, if $\Theta \in Aut\left({\mathcal{R}}_q\right)$, then the restriction of $\Theta$ over ${\mathbb{F}}_q$ is $\theta .$ Thus, for any $r=r_0{\pi }_0+r_1{\pi }_1\in {\mathcal{R}}_q,$ we have $\Theta \left(r\right)=\theta \left(r_0\right)\Theta \left({\pi }_0\right)+\theta \left(r_1\right)\Theta \left({\pi }_1\right).$ Now the set $\left\{\Theta \left({\pi }_0\right),\Theta \left({\pi }_1\right)\right\}$ is another complete set of primitive pairwise orthogonal idempotents in ${\mathcal{R}}_q.$ By the idempotent decomposition of the ring ${\mathcal{R}}_q={\pi }_0{\mathcal{R}}_q\oplus {\pi }_1{\mathcal{R}}_q,$ it follows that there exists a permutation of the set $\left\{0,1\right\}$ such that $\Theta \left({\pi }_i\right)={\pi }_{\sigma \left(i\right)}.$ Therefore, $\Theta \left(r\right)=\theta \left(r_0\right){\pi }_{\sigma \left(0\right)}+\theta \left(r_1\right){\pi }_{\sigma \left(1\right)}$ and $Aut\left({\mathcal{R}}_q\right)=\left\{\left.{\Theta }_{\theta ,\sigma }\right|\theta \in Aut\left({\mathbb{F}}_q\right)\mathrm{and}\sigma \in S_2\right\}.$ Eventually, ${\Theta }_{\theta ,\sigma }\circ {\Theta }_{{\theta }^{\prime },{\sigma }^{\prime }}={\Theta }_{\theta \circ {\theta }^{\prime },\sigma \circ {\sigma }^{\prime }}$ and hence $\left|Aut\left({\mathcal{R}}_q\right)\right|=2k.$ □

Example 1.

Let $a=2$, $b=1$, $p=5$ and $q=25$. Then, $\left\{{\pi }_0=3+4v,{\pi }_1=3+v\right\}$ is a complete set of idempotents of the ring $R_{25}$. The maximal ideals of ${\mathcal{R}}_{25}$ are $〈{\pi }_0〉=\left\{k\left(3+4v\right):k\in {\mathbb{F}}_5\right\}$ and $〈{\pi }_1〉=\left\{l\left(3+v\right):l\in {\mathbb{F}}_5\right\}$. Morevoer, $\mathcal{U}\left({\mathcal{R}}_{25}\right)=16$ and $\left|Aut\left({\mathcal{R}}_q\right)\right|=4$ since the automorphisms on ${\mathbb{F}}_{25}$ are $\mathtt{i}\mathtt{d}$ and $\theta :x\to x^5$.

The map $\phi :{\mathcal{R}}_q⟶{\mathbb{F}}_q^2$ such that $\phi \left(r_0{\pi }_0+r_1{\pi }_1\right)=\left(r_0,r_1\right)$ is a ring epimorphism and can be extended to ${\mathcal{R}}_q^n$ as

$$\begin{array}{ccc}\hfill \Phi & :& {\mathcal{R}}_q^n⟶{\mathbb{F}}_q^{2n}\hfill \\ \Phi \left(r_{0,0}{\pi }_0+r_{0,1}{\pi }_1,\dots ,r_{n-1,0}{\pi }_0+r_{n-1,1}{\pi }_1\right)\hfill & ⟼& \left(r_{0,0},\dots ,r_{n-1,0},r_{0,1},\dots ,r_{n-1,1}\right)=\left({\Phi }_0|{\Phi }_1\right).\hfill \end{array}$$

This Gray type map is an isomorphism of vector spaces over ${\mathbb{F}}_q.$ The Gray weight of any element $\mathbf{r}\in {\mathcal{R}}_q^n$ is defined as $w_G\left(\mathbf{r}\right)=w_H\left(\Phi \left(\mathbf{r}\right)\right).$ It is apparent that the linear Gray type map $\Phi$ is a weight preserving map from ${\mathcal{R}}_q^n$ to ${\mathbb{F}}_q^{2n}.$ A linear code $\mathcal{C}$ of length n is an ${\mathcal{R}}_q$-submodule of ${\mathcal{R}}_q^n.$ The Euclidean dual of a linear code $\mathcal{C}$ over ${\mathcal{R}}_q$ of length n is defined by ${\mathcal{C}}^{\perp }=\left\{\left.\mathbf{s}\in {\mathcal{R}}_q^n\right|{\displaystyle \sum _{i=0}^{n-1}}{r}_i{s}_i=0,\forall \mathbf{r}\in \mathcal{C}\right\}$. Let $\overline{\mathbf{r}}=\left({\overline{r}}_0,{\overline{r}}_1,\dots ,{\overline{r}}_{n-1}\right)$ for a vector $\mathbf{r}=\left(r_0,r_1,\dots ,r_{n-1}\right)\in {\mathcal{R}}_{q^2}^n$ where ${\overline{r}}_i=r_{i,0}^q{\pi }_0+r_{i,1}^q{\pi }_1$. The Hermitian dual of a linear code $\mathcal{C}$ over ${\mathcal{R}}_{q^2}$ of length n is defined by ${\mathcal{C}}^{{\perp }_h}=\left\{\mathbf{s}\in {\mathcal{R}}_{q^2}^n:{\displaystyle \sum _{i=0}^{n-1}}{r}_i{\overline{s}}_i=0,\forall \mathbf{r}\in \mathcal{C}\right\}$. Note that Euclidean (resp. Hermitian) dual of a linear code over ${\mathcal{R}}_q$ (resp. ${\mathcal{R}}_{q^2}$) is also linear code over ${\mathcal{R}}_q$ (resp. ${\mathcal{R}}_{q^2}$).

Proposition 1.

Let $\mathcal{C}$ be a linear code of length n over ${\mathcal{R}}_q$. Then, $\Phi \left({\mathcal{C}}^{\perp }\right)=\left(\Phi \left(\mathcal{C}\right)\right){}^{\perp }.$ Further, $\mathcal{C}$ is a self-dual code iff $\Phi \left(\mathcal{C}\right)$ is a self-dual code of length $2n.$

Proof of Proposition 1. 

It is enough to show that the map $\Phi$ preserves the orthogonality, that is, $〈\Phi \left({\mathbf{c}}_0\right),\Phi \left({\mathbf{c}}_1\right)〉=0$ when $〈{\mathbf{c}}_0,{\mathbf{c}}_1〉=0$. By the linearity of $\Phi$, let $\mathbf{r}=r_0{\pi }_0+r_1{\pi }_1,\mathbf{s}=s_0{\pi }_0+s_1{\pi }_1\in {\mathcal{R}}_q$ such that $〈\mathbf{r},\mathbf{s}〉=0$. Then, we get

$$\begin{array}{ccc}〈\mathbf{r},\mathbf{s}〉\hfill & =& r_0{s}_0{\pi }_0+r_1{s}_1{\pi }_1\hfill \\ & =& \frac{r_0{s}_0+r_1{s}_1}{2}+\frac{\left(r_0{s}_0-r_1{s}_1\right)b}{2a}v=0\hfill \end{array}$$

and so $r_0{s}_0+r_1{s}_1=0$. In this case, it follows that $〈\Phi \left(\mathbf{r}\right),\Phi \left(\mathbf{s}\right)〉=r_0{s}_0+r_1{s}_1=0$, which completes the proof. □

Since ${\mathcal{R}}_q={\pi }_0{\mathcal{R}}_q\oplus {\pi }_1{\mathcal{R}}_q$ it follows that ${\mathcal{R}}_q^n={\pi }_0{\mathcal{R}}_q^n\oplus {\pi }_1{\mathcal{R}}_q^n.$ Let $\mathcal{C}$ be a linear code of length n over ${\mathcal{R}}_q$ and $\mathbf{r}=\left({\mathbf{r}}_0,{\mathbf{r}}_1,\dots ,{\mathbf{r}}_{n-1}\right)\in \mathcal{C}.$ Then ${\mathbf{r}}_i=r_{i,0}{\pi }_0+r_{i,1}{\pi }_1,$ where $r_{i,0}$, $r_{i,1}\in {\mathbb{F}}_q$ and $\mathbf{r}=\left(r_{0,0},r_{1,0},\dots ,r_{n-1,0}\right){\pi }_0+\left(r_{0,1},r_{1,1},\dots ,r_{n-1,1}\right){\pi }_1.$ Let ${\mathcal{C}}_i={\Phi }_i\left(\mathcal{C}\right)$ for $i=0,1.$ It is obvious that ${\mathcal{C}}_0$ and ${\mathcal{C}}_1$ are linear codes of length n over ${\mathbb{F}}_q$ and $\mathcal{C}={\pi }_0{\mathcal{C}}_0\oplus {\pi }_1{\mathcal{C}}_1$. This implies that for any linear code $\mathcal{C}$ over ${\mathcal{R}}_q$ of length n there exist linear codes ${\mathcal{C}}_0$ and ${\mathcal{C}}_1$ over ${\mathbb{F}}_q$ of length n such that $\mathcal{C}={\pi }_0{\mathcal{C}}_0\oplus {\pi }_1{\mathcal{C}}_1$. The following determines the duals of linear codes over ${\mathcal{R}}_q$.

Proposition 2.

Let $\mathcal{C}={\pi }_0{\mathcal{C}}_0\oplus {\pi }_1{\mathcal{C}}_1$ be a linear code of length n over ${\mathcal{R}}_q$. Then $\mathcal{C}{}^{\perp }={\pi }_0{\mathcal{C}}_0^{{}^{\perp }}\oplus {\pi }_1{\mathcal{C}}_1^{{}^{\perp }}.$ Further, $\mathcal{C}$ is a self-dual code iff both ${\mathcal{C}}_0$ and ${\mathcal{C}}_1$ are self dual.

4. Skew Constacyclic Codes over the Ring ${\mathcal{R}}_q$

In this section, first we will introduce basics of the skew constacyclic codes over finite fields, which are important for determining the algebraic structure of the skew constacyclic codes over non-chain ring ${\mathcal{R}}_q.$

For a given automorphism $\theta$ of ${\mathbb{F}}_q,$ the set ${\mathbb{F}}_q[x;\theta ]=\{a_0+a_{1}x+\dots +a_1{x}^n|a_i\in {\mathbb{F}}_q\mathrm{and}n\in \mathbb{N}\}$ of formal polynomials forms a ring with identity under the usual addition of polynomials and the polynomial multiplication with the restriction $xb=\theta \left(b\right)x.$ The multiplication is extended to all the elements of ${\mathbb{F}}_q[x;\theta ]$ via distributivity and associativity. This ring is called the skew polynomial ring over ${\mathbb{F}}_q.$

Definition 1.

For a given element $\lambda \in {\mathbb{F}}_q^{*}$ and an automorphism θ of ${\mathbb{F}}_q$, a θ-skew λ-constacyclic code over the finite field ${\mathbb{F}}_q$ of length n is a linear code $\mathcal{C}$ satisfying that $\left(\lambda \theta \left(c_{n-1}\right),\theta \left(c_0\right),\dots ,\theta \left(c_{n-2}\right)\right)\in \mathcal{C}$ for each codeword $\mathbf{c}=\left(c_0,\dots ,c_{n-1}\right)\in \mathcal{C}.$

By the definition of a $\theta$-skew $\lambda$-constacyclic code $\mathcal{C}$ over ${\mathbb{F}}_q$, each codeword $\mathbf{c}=\left(c_0,\dots ,c_{n-1}\right)\in \mathcal{C}$ can be considered as a skew polynomial $c\left(x\right)=c_0+c_{1}x+\cdots +c_{n-1}{x}^{n-1}$ in the skew quotient ring ${\mathbb{F}}_q\left[x,\theta \right]/〈x^n-\lambda 〉.$

For the purpose of characterization of skew constacyclic codes over ${\mathcal{R}}_q,$ we recollect some well known results about skew-constacyclic codes over finite fields [8,13,14,15,47,48,49].

The skew reciprocal polynomial of a polynomial $g\left(x\right)={\displaystyle \sum _{i=0}^{n-k}}{g}_i{x}^i\in {\mathbb{F}}_q[x,\theta ]$ of degree $n-k$ denoted by $g^{*}\left(x\right)$ is defined as

$$g^{*}\left(x\right)=\sum _{i=0}^{n-k}{x}^{n-k-i}{g}_i=\sum _{i=0}^{n-k}{\theta }^i\left(g_{n-k-i}\right)x^i.$$

If $g_0\ne 0$, the left monic skew reciprocal polynomial of $g\left(x\right)$ is $g^{♮}\left(x\right):=\frac{1}{{\theta }^{n-k}\left(g_0\right)}{g}^{*}\left(x\right)$ (see Definition 3 [47]).

From the reference [14], we have the following result.

Proposition 3

[14]. Let $\mathcal{C}$ be a θ-skew λ-constacyclic code of length n over ${\mathbb{F}}_q.$ Then there exists a monic polynomial $g\left(x\right)$ of minimal degree in $\mathcal{C}$ such that $g\left(x\right)$ is a right divisor of $x^n-\lambda$ and $\mathcal{C}=\langle g\left(x\right)\rangle$.

Let $g\left(x\right)=x^m+g_{m-1}{x}^{m-1}+\cdots +g_0$ be a generator of a $\theta$-skew $\lambda$-constacyclic code of length n over ${\mathbb{F}}_q$. It follows from $x^n-\lambda =h\left(x\right)g\left(x\right)$ for some $h\left(x\right)\in {\mathbb{F}}_q[x,\theta ]$ that the constant term $g_0$ of $g\left(x\right)$ can not be zero in ${\mathbb{F}}_q$. From [47], we have the following result on the duals of $\theta$-skew $\lambda$-constacyclic codes over ${\mathbb{F}}_q$.

Proposition 4

(Theorem 1 [47]). Let $\mathcal{C}$ be a θ-skew λ-constacyclic code of length n over ${\mathbb{F}}_q$ generated by a monic polynomial $g\left(x\right)$ of degree $n-k$ with $g\left(x\right)=x^{n-k}+{\sum }_{i=0}^{n-k-1}{g}_i{x}^i.$ Let ${\lambda }^{*}=\frac{{\theta }^n\left(g_0\right)}{g_0{\theta }^{n-k}\left(\lambda \right)}.$ Then ${\mathcal{C}}^{\perp }$ is a θ-skew ${\lambda }^{*}$-constacyclic code of length n over ${\mathbb{F}}_q$ such that ${\mathcal{C}}^{\perp }=〈h^{*}\left(x\right)〉$ where $h\left(x\right)$ is a monic polynomial of degree k such that $x^n-{\theta }^{-k}\left(\lambda \right)=g\left(x\right)h\left(x\right).$ Moreover $h^{*}\left(x\right)$ is a right divisor of $x^n-{\lambda }^{*}.$

Definition 2.

Let $\mathcal{C}$ be a linear code of length $2n$ over ${\mathbb{F}}_q,$ and ${\lambda }_0,{\lambda }_1$ be units in ${\mathbb{F}}_q$ and $\left(\theta ,\sigma \right)\in Aut\left({\mathbb{F}}_q\right)\times S_2.$ The code $\mathcal{C}$ is called $\left({\lambda }_0,{\lambda }_1\right)$-double twisted with respect to $\left(\theta ,\sigma \right)$ if for all $\mathbf{c}=\left({\mathbf{c}}_0,{\mathbf{c}}_1\right)\in \mathcal{C},$ where ${\mathbf{c}}_0=\left(c_{0,0},c_{1,0},\dots ,c_{n-1,0}\right)$ and ${\mathbf{c}}_1=\left(c_{0,1},c_{1,1},\dots ,c_{n-1,1}\right),$ the word

$$\left(\begin{array}{c}{\lambda }_0\theta {\left(c\right)}_{n-1,{\sigma }^{-1}\left(0\right)},\theta {\left(c\right)}_{1,{\sigma }^{-1}\left(0\right)},\dots ,\theta {\left(c\right)}_{n-2,{\sigma }^{-1}\left(0\right)},\\ {\lambda }_1\theta {\left(c\right)}_{n-1,{\sigma }^{-1}\left(1\right)},\theta {\left(c\right)}_{1,{\sigma }^{-1}\left(1\right)},\dots ,\theta {\left(c\right)}_{n-2,{\sigma }^{-1}\left(1\right)}\end{array}\right)\in \mathcal{C}.$$

Now, we give the definition of skew constacyclic codes over ${\mathcal{R}}_q$ below.

Definition 3.

Let $\lambda \in \mathcal{U}\left({\mathcal{R}}_q\right)$ and ${\Theta }_{\theta ,\sigma }\in Aut\left({\mathcal{R}}_q\right)$. A linear code $\mathcal{C}$ of length n over ${\mathcal{R}}_q$ is said to be a ${\Theta }_{\theta ,\sigma }$-skew λ-constacyclic code of length n over ${\mathcal{R}}_q$ if $\left(c_0,c_1,\dots ,c_{n-1}\right)\in \mathcal{C},$ then $\left(\lambda {\Theta }_{\theta ,\sigma }\left(c_{n-1}\right),{\Theta }_{\theta ,\sigma }\left(c_0\right),\dots ,{\Theta }_{\theta ,\sigma }\left(c_{n-2}\right)\right)\in \mathcal{C}$.

We investigate the $\Phi$-Gray images of ${\Theta }_{\theta ,\sigma }$-skew $\lambda$-constacyclic codes over ${\mathcal{R}}_q$.

Proposition 5.

Let $\lambda ={\lambda }_0{\pi }_0+{\lambda }_1{\pi }_1\in \mathcal{U}\left({\mathcal{R}}_q\right)$ and ${\Theta }_{\theta ,\sigma }\in Aut\left({\mathcal{R}}_q\right)$. Suppose that $\mathcal{C}={\pi }_0{\mathcal{C}}_0\oplus {\pi }_1{\mathcal{C}}_1$ be a ${\Theta }_{\theta ,\sigma }$-skew λ-constacyclic code of length n over ${\mathcal{R}}_q$. Then

$$\Phi \left(\mathcal{C}\right)=\left\{\Phi \left(\mathbf{c}\right):\forall \mathbf{c}\in \mathcal{C}\right\}$$

is a$\left({\lambda }_0,{\lambda }_1\right)$-double twisted code of length $2n$ over ${\mathbb{F}}_q$ with respect to $\left(\theta ,\sigma \right)$.

Proof of Proposition 5. 

Let $\mathbf{c}=\left({\mathbf{c}}_0,{\mathbf{c}}_1\right)\in \Phi \left(\mathcal{C}\right)$ where ${\mathbf{c}}_i=\left(c_{0,i},c_{1,i},\dots ,c_{n-1,i}\right)\in {\mathbb{F}}_q^n$. Then, ${\pi }_0{\mathbf{c}}_0+{\pi }_1{\mathbf{c}}_1\in \mathcal{C}$. Since $\mathcal{C}$ is a ${\Theta }_{\theta ,\sigma }$-skew $\lambda$-constacyclic code over ${\mathcal{R}}_q$, we get

$$\begin{array}{ccc}& & \left(\lambda \sum _{i=0}^1{\pi }_{\sigma \left(i\right)}\theta \left(c_{0,i}\right),\sum _{i=0}^1{\pi }_{\sigma \left(i\right)}\theta \left(c_{1,i}\right),\dots ,\sum _{i=0}^1{\pi }_{\sigma \left(i\right)}\theta \left(c_{n-1,i}\right)\right)\hfill \\ & =& \left(\sum _{i=0}^1{\lambda }_i{\pi }_i\theta \left(c_{0,{\sigma }^{-1}\left(i\right)}\right),\sum _{i=0}^1{\pi }_i\theta \left(c_{1,{\sigma }^{-1}\left(i\right)}\right),\dots ,\sum _{i=0}^1{\pi }_i\theta \left(c_{n-1,{\sigma }^{-1}\left(i\right)}\right)\right)\hfill \\ & =& \left({\lambda }_0\theta \left(c_{0,{\sigma }^{-1}\left(0\right)}\right),\theta \left(c_{1,{\sigma }^{-1}\left(0\right)}\right),\dots ,\theta \left(c_{n-1,{\sigma }^{-1}\left(0\right)}\right)\right){\pi }_0+\hfill \\ & & \left({\lambda }_1\theta \left(c_{0,{\sigma }^{-1}\left(1\right)}\right),\theta \left(c_{1,{\sigma }^{-1}\left(1\right)}\right),\dots ,\theta \left(c_{n-1,{\sigma }^{-1}\left(1\right)}\right)\right){\pi }_1\in {\mathcal{R}}_q.\hfill \end{array}$$

Therefore, we have

$$\left(\begin{array}{c}{\lambda }_0\theta {\left(c\right)}_{n-1,{\sigma }^{-1}\left(0\right)},\theta {\left(c\right)}_{1,{\sigma }^{-1}\left(0\right)},\dots ,\theta {\left(c\right)}_{n-2,{\sigma }^{-1}\left(0\right)},\\ {\lambda }_1\theta {\left(c\right)}_{n-1,{\sigma }^{-1}\left(1\right)},\theta {\left(c\right)}_{1,{\sigma }^{-1}\left(1\right)},\dots ,\theta {\left(c\right)}_{n-2,{\sigma }^{-1}\left(1\right)}\end{array}\right)\in \Phi \left(\mathcal{C}\right),$$

which completes the proof. □

As an immediate result of Proposition 5, letting $\sigma =\mathtt{i}\mathtt{d}$ and ${\Theta }_{\theta ,\mathtt{i}\mathtt{d}}={\Theta }_{\theta }$ we deduce the following theorem:

Theorem 2.

Let $\lambda ={\lambda }_0{\pi }_0+{\lambda }_1{\pi }_1\in \mathcal{U}\left({\mathcal{R}}_q\right)$ and ${\Theta }_{\theta }\in Aut\left({\mathcal{R}}_q\right)$. Suppose that $\mathcal{C}={\pi }_0{\mathcal{C}}_0\oplus {\pi }_1{\mathcal{C}}_1$ be a linear code of length n over ${\mathcal{R}}_q$. Then, $\mathcal{C}$ is a ${\Theta }_{\theta }$-skew λ-constacyclic code over ${\mathcal{R}}_q$ of length n if and only if ${\mathcal{C}}_i$ is a θ-skew ${\lambda }_i$-constacyclic code over ${\mathbb{F}}_q$ of length n.

Proof of Theorem 2. 

It follows from the proof of Proposition 5 by taking $\sigma =\mathtt{i}\mathtt{d}$. □

Hereafter, we only consider the automorphism ${\Theta }_{\theta }={\Theta }_{\theta ,\mathtt{i}\mathtt{d}}$ defined by

$$\begin{array}{ccc}\hfill {\Theta }_{\theta }& :& {\mathcal{R}}_q⟶{\mathcal{R}}_q\hfill \\ {\Theta }_{\theta }\left(r_0{\pi }_0+r_1{\pi }_1\right)\hfill & \mapsto & \theta \left(r_0\right){\pi }_0+\theta \left(r_1\right){\pi }_1,\hfill \end{array}$$

where $\theta \in Aut\left({\mathbb{F}}_q\right)$.

Now, we give a generator of a ${\Theta }_{\theta }$-skew $\lambda$-constacyclic code over ${\mathcal{R}}_q$, where $\lambda ={\lambda }_0{\pi }_0+{\lambda }_1{\pi }_1\in \mathcal{U}\left({\mathcal{R}}_q\right)$.

Proposition 6.

Let $\lambda ={\lambda }_0{\pi }_0+{\lambda }_1{\pi }_1\in \mathcal{U}\left({\mathcal{R}}_q\right)$ and ${\Theta }_{\theta }\in Aut\left({\mathcal{R}}_q\right)$. Suppose that $\mathcal{C}={\pi }_0{\mathcal{C}}_0\oplus {\pi }_1{\mathcal{C}}_1$ be a ${\Theta }_{\theta }$-skew λ-constacyclic code of length n over ${\mathcal{R}}_q$. Then there exist polynomials $g_0\left(x\right)$ and $g_1\left(x\right)\in {\mathbb{F}}_q\left[x,\theta \right]$ such that $\mathcal{C}=〈{\pi }_0{g}_0\left(x\right),{\pi }_1{g}_1\left(x\right)〉$ with ${\mathcal{C}}_i=〈g_i〉\subseteq {\mathbb{F}}_q\left[x,\theta \right]/〈x^n-{\lambda }_i〉$.

Proof of Proposition 6. 

Let $\mathcal{E}=〈{\pi }_0{g}_0\left(x\right),{\pi }_1{g}_1\left(x\right)〉$ and let $\mathbf{c}\left(x\right)={\pi }_0{\mathbf{c}}_0\left(x\right)+{\pi }_1{\mathbf{c}}_1\left(x\right)\in \mathcal{C}$ such that ${\mathbf{c}}_i\left(x\right)\in {\mathcal{C}}_i.$ Since ${\mathcal{C}}_i=〈g_i〉$ is a left submodule of the skew ring ${\mathbb{F}}_q\left[x,\theta \right]/〈x^n-{\lambda }_i〉,$ there exist $l_0$ and $l_1\in {\mathbb{F}}_q\left[x,\theta \right]$ such that $\mathbf{c}\left(x\right)=l_0\left(x\right){\pi }_0{\mathbf{c}}_0\left(x\right)+l_1\left(x\right){\pi }_1{\mathbf{c}}_1\left(x\right)\in \mathcal{E}$ and hence $\mathcal{C}\subset \mathcal{E}$.

On the other hand, let $\mathbf{e}\in \mathcal{E},$ then there exist $k_0$ and $k_1\in {\mathbb{F}}_q\left[x,\theta \right]/〈x^n-{\lambda }_i〉$ such that $\mathbf{e}\left(x\right)=k_0\left(x\right)g_0\left(x\right){\pi }_0+$$k_1\left(x\right)g_1\left(x\right){\pi }_1$. Then there exist $b_0$ and $b_1\in {\mathbb{F}}_q\left[x,\theta \right]$ such that ${\pi }_i{b}_i\left(x\right)={\pi }_i{k}_i\left(x\right)$, thus

$$\mathbf{e}\left(x\right)=b_0\left(x\right)g_0\left(x\right){\pi }_0+b_1\left(x\right)g_1\left(x\right){\pi }_1\in \mathcal{C}.$$

This shows that $\mathcal{E}\subset \mathcal{C}$. □

We give the exact characterization of ${\Theta }_{\theta }$-skew $\lambda$-constacyclic codes over ${\mathcal{R}}_q$ as a consequence of Proposition 6.

Theorem 3.

Let $\lambda ={\lambda }_0{\pi }_0+{\lambda }_1{\pi }_1\in \mathcal{U}\left({\mathcal{R}}_q\right)$ and ${\Theta }_{\theta }\in Aut\left({\mathcal{R}}_q\right)$. Suppose that $\mathcal{C}={\pi }_0{\mathcal{C}}_0\oplus {\pi }_1{\mathcal{C}}_1$ be a ${\Theta }_{\theta }$-skew λ-constacyclic code of length n over ${\mathcal{R}}_q$. Then $\mathcal{C}$ is principally generated with $\mathcal{C}=〈g\left(x\right)〉$, where $g\left(x\right)={\pi }_0{g}_0\left(x\right)+{\pi }_1{g}_1\left(x\right)$ and $g\left(x\right)$ is a right divisor of $x^n-\lambda$ in ${\mathcal{R}}_q\left[x,{\Theta }_{\theta }\right]$.

Proof of Theorem 3 

It is apparent that $〈g\left(x\right)〉\subset \mathcal{C}$. Since ${\pi }_{i}g\left(x\right)={\pi }_i{g}_i\left(x\right)$ for $i=0,1$, we have $\mathcal{C}\subset 〈g\left(x\right)〉.$ This implies that $\mathcal{C}=〈g\left(x\right)〉.$ Since $g_i\left(x\right)$ is a right divisor of $x^n-{\lambda }_i,$ there exists $h_i\left(x\right)\in {\mathbb{F}}_q\left[x,\theta \right]$ such that $x^n-{\lambda }_i=h_i\left(x\right)g_i\left(x\right).$ Seeing that ${\pi }_i\left(x^n-\lambda \right)={\pi }_i\left(x^n-{\lambda }_i\right)$, hence

$$\begin{array}{ccc}\left({\pi }_0{h}_0\left(x\right)+{\pi }_1{h}_1\left(x\right)\right)\left({\pi }_0{g}_0\left(x\right)+{\pi }_1{g}_1\left(x\right)\right)\hfill & =& {\pi }_0{h}_0\left(x\right)g_0\left(x\right)+{\pi }_1{h}_1\left(x\right)g_1\left(x\right)\hfill \\ & =& {\pi }_0\left(x^n-{\lambda }_0\right)+{\pi }_1\left(x^n-{\lambda }_1\right)\hfill \\ & =& {\pi }_0\left(x^n-\lambda \right)+{\pi }_1\left(x^n-\lambda \right)\hfill \\ & =& \left({\pi }_0+{\pi }_1\right)\left(x^n-\lambda \right)\hfill \\ & =& x^n-\lambda .\hfill \end{array}$$

This shows that ${\pi }_0{h}_0\left(x\right)+{\pi }_1{h}_1\left(x\right)$ is a right divisor of $x^n-\lambda .$ □

Proposition 2, Proposition 3, Theorem 2 and Theorem 3 together imply the following result:

Theorem 4.

Let $\lambda ={\lambda }_0{\pi }_0+{\lambda }_1{\pi }_1\in \mathcal{U}\left({\mathcal{R}}_q\right)$ and ${\Theta }_{\theta }\in Aut\left({\mathcal{R}}_q\right)$. If $\mathcal{C}={\pi }_0{\mathcal{C}}_0\oplus {\pi }_1{\mathcal{C}}_1$ is a ${\Theta }_{\theta }$-skew λ-constacyclic code of length n over ${\mathcal{R}}_q$ with ${\mathcal{C}}_i=〈g_i\left(x\right)〉$, $g_i\left(x\right)=x^{n-k_i}+{\displaystyle \sum _{j=0}^{n-k_i-1}}{g}_{ij}{x}^j$, then $C^{\perp }=〈h^{*}\left(x\right)〉$ is a ${\Theta }_{\theta }$-skew ${\lambda }^{*}$-constacyclic code of length n over ${\mathcal{R}}_q$, where ${\lambda }^{*}={\displaystyle \sum _{i=0}^1}\frac{{\theta }^n\left(g_{i0}\right)}{g_{i0}{\theta }^{n-k_i}\left({\lambda }_i\right)}{\pi }_i$ and $h^{*}\left(x\right)={\displaystyle \sum _{i=0}^1}{\pi }_i{h}_i^{*}\left(x\right)$.

Proof of Theorem 4 

Recall that ${\mathcal{C}}^{\perp }={\pi }_0{\mathcal{C}}_0^{\perp }+{\pi }_1{\mathcal{C}}_1^{\perp }$ by Proposition 2 and ${\mathcal{C}}_i=〈h_i^{*}〉$ is a ${\Theta }_{\theta }$-skew $\lambda$-constacyclic code over ${\mathbb{F}}_q$ by Proposition 4. Then, by Theorem 2, ${\mathcal{C}}^{\perp }$ is a ${\Theta }_{\theta }$-skew ${\lambda }^{*}$-constacyclic code over ${\mathcal{R}}_q$. Finally, Theorem 3 gives the generator polynomial $h^{*}\left(x\right)$ of ${\mathcal{C}}^{\perp }$. □

5. Linear Complementary Dual Skew Constacyclic Codes over ${\mathcal{R}}_q$

In this section, we define LCD codes over ${\mathcal{R}}_q$ and give a characterization for skew constacyclic codes over ${\mathcal{R}}_q$ to be Euclidean LCD and Hermitian LCD. Before giving the definition of LCD codes over ${\mathcal{R}}_q$, we briefly state some basic definitions and results on LCD codes over ${\mathbb{F}}_q$.

A linear code $\mathcal{C}$ over ${\mathbb{F}}_q$ is said to be an Euclidean LCD code if the intersection of $\mathcal{C}$ and ${\mathcal{C}}^{\perp }$ is zero, that is, $Hull\left(\mathcal{C}\right)=\mathcal{C}\cap {\mathcal{C}}^{\perp }=\left\{\mathbf{0}\right\}$ [16]. A Hermitian LCD code is a linear code C over ${\mathbb{F}}_{q^2}$ with $Hul{l}_h\left(\mathcal{C}\right)=\mathcal{C}\cap {\mathcal{C}}^{{\perp }_h}=\left\{\mathbf{0}\right\}$. From [50], we have the following theorem for skew constacyclic codes over finite fields to be Euclidean LCD and Hermitian LCD.

Theorem 5

(Theorem 2 [50]). Let $\theta \in Aut\left({\mathbb{F}}_q\right)$ and $\lambda \in \left\{\pm 1\right\}$. Let $\mathcal{C}$ be a θ-skew λ-constacyclic code of length n over ${\mathbb{F}}_q$ with $\mathcal{C}=〈g\left(x\right)〉$. Let $h\left(x\right)\in {\mathbb{F}}_q\left[x;\theta \right]$ with ${\theta }^n\left(h\left(x\right)\right)g\left(x\right)=x^n-\lambda$. Then,

(1)

$\mathcal{C}$ is an Euclidean LCD code ⇔$gcrd\left(g,h^{♮}\right)=1$. (Here, $gcrd(g,h^{♮})$ represents the greatest common right divisor of g and $h^{♮}.$)

(2)

Let q be an even power of a prime number. Then, $\mathcal{C}$ is a Hermitian LCD code ⇔$gcrd\left(g,{\tilde{h}}^{♮}\right)=1$. (For $a\left(x\right)=\sum a_i{x}^i$, $\tilde{a}\left(x\right)=\sum a_i^q{x}^i$.)

The definitions of Euclidean LCD and Hermitian LCD codes over ${\mathcal{R}}_q$ are similar to the ones over finite fields.

Definition 4.

A linear code C over ${\mathcal{R}}_q$ (resp. ${\mathcal{R}}_{q^2}$) is called an Euclidean (resp. Hermitian) LCD code if $\mathcal{C}\cap {\mathcal{C}}^{\perp }=\left\{0\right\}$ (resp. $\mathcal{C}\cap {\mathcal{C}}^{{\perp }_h}=\left\{\mathbf{0}\right\}$).

The following explores when a linear code over ${\mathcal{R}}_q$ is an Euclidean LCD or a Hermitian LCD.

Proposition 7.

Let $\mathcal{C}={\pi }_0{\mathcal{C}}_0\oplus {\pi }_1{\mathcal{C}}_1$ be a linear code over ${\mathcal{R}}_q$ (resp. ${\mathcal{R}}_{q^2}$). Then, $\mathcal{C}$ is an Euclidean (resp. Hermitian) LCD code over ${\mathcal{R}}_q$ (resp. ${\mathcal{R}}_{q^2}$) if and only if ${\mathcal{C}}_i$’s are Euclidean (resp. Hermitian) LCD codes over ${\mathbb{F}}_q$ (resp. ${\mathbb{F}}_{q^2}$).

Proof of Proposition 7. 

Since ${\mathcal{C}}^{\perp }={\pi }_0{\mathcal{C}}_0^{\perp }\oplus {\pi }_1{\mathcal{C}}_1^{\perp }$ by Proposition 2, we get

$$\begin{array}{ccc}\mathcal{C}\cap {\mathcal{C}}^{\perp }\hfill & =& \left({\pi }_0{\mathcal{C}}_0\oplus {\pi }_1{\mathcal{C}}_1\right)\cap \left({\pi }_0{\mathcal{C}}_0^{\perp }\oplus {\pi }_1{\mathcal{C}}_1^{\perp }\right)\hfill \\ & =& \left({\mathcal{C}}_0\cap {\mathcal{C}}_0^{\perp }\right){\pi }_0\oplus \left({\mathcal{C}}_1\cap {\mathcal{C}}_1^{\perp }\right){\pi }_1,\hfill \end{array}$$

which implies that $\mathcal{C}\cap {\mathcal{C}}^{\perp }=\left\{0\right\}$⇔${\mathcal{C}}_i\cap {\mathcal{C}}_i^{\perp }=\left\{\mathbf{0}\right\}$. The Hermitian case is similar. □

Theorem 6.

Let $\lambda ={\lambda }_0{\pi }_0+{\lambda }_1{\pi }_1\in \left\{\mp 1,\mp \frac{b}{a}v\right\}\subset \mathcal{U}\left({\mathcal{R}}_q\right)$ and ${\Theta }_{\theta }\in Aut\left({\mathcal{R}}_q\right)$. A ${\Theta }_{\theta }$-skew λ-constacyclic code $\mathcal{C}={\pi }_0{\mathcal{C}}_0\oplus {\pi }_1{\mathcal{C}}_1$ of length n over ${\mathcal{R}}_q$ (resp. over ${\mathcal{R}}_{q^2}$), where ${\mathcal{C}}_i=〈g_i\left(x\right)〉$ and ${\theta }^n\left(h_i\left(x\right)\right)g_i\left(x\right)=x^n-{\lambda }_i$, is an Euclidean (resp. Hermitian) LCD code over ${\mathcal{R}}_q$ if and only if $gcrd\left(g_i\left(x\right),h_i^{♮}\left(x\right)\right)=1$ (resp. $gcrd\left(g_i\left(x\right),{\tilde{h}}_i^{♮}\left(x\right)\right)=1$).

Proof of Theorem 6. 

See that ${\lambda }_i\in \left\{\mp 1\right\}$ if $\lambda ={\lambda }_0{\pi }_0+{\lambda }_1{\pi }_1\in \left\{\mp 1,\mp \frac{b}{a}v\right\}\subset \mathcal{U}\left({\mathcal{R}}_q\right)$. The remain of the proof follows from Proposition 7 and Theorem 5. The Hermitian case is similar. □

We also have the following result from Proposition 7.

Theorem 7.

Let $\mathcal{C}={\pi }_0{\mathcal{C}}_0\oplus {\pi }_1{\mathcal{C}}_1$ be a linear code over ${\mathcal{R}}_q$ (resp. ${\mathcal{R}}_{q^2}$). Then, $\mathcal{C}$ is an Euclidean (resp. Hermitian) LCD code over ${\mathcal{R}}_q$ (resp. ${\mathcal{R}}_{q^2}$) if and only if $\Phi \left(\mathcal{C}\right)$ is an Euclidean (resp. Hermitian) LCD codes over ${\mathbb{F}}_q$ (resp. ${\mathbb{F}}_{q^2}$).

Example 2.

Let $a=3$, $b=2$, $p=13$ and $q=169$. Then, ${\pi }_0=7+9v$ and ${\pi }_1=7+4v$. Let ${\mathbb{F}}_{169}=\left\{x+yw|x,y\in {\mathbb{F}}_{13}\right\}$, where $w^2-w+2=0$. Let $\theta :x\to x^{13}\in Aut\left({\mathbb{F}}_{169}\right)$ be Frobenius automorphism. Observe that $\left(x^3+w^{150}{x}^2+12x+w^{66}\right)\left(x+w^{18}\right)=x^4-1$ and $\left(x^3+w^{33}{x}^2+5x+w^{159}\right)\left(x+w^9\right)=x^4+1$ in ${\mathbb{F}}_{169}\left[x,\theta \right]$. Let ${\mathcal{C}}_0=〈g_0\left(x\right)=x+w^{18}〉$ and ${\mathcal{C}}_1=〈g_1\left(x\right)=x+w^9〉$ be an Euclidean LCD θ-skew cyclic code and an Euclidean LCD θ-skew negacyclic ($\lambda =-1$) code of length 4 over ${\mathbb{F}}_{169}$, respectively. Then $\mathcal{C}={\pi }_0{\mathcal{C}}_0\oplus {\pi }_1{\mathcal{C}}_1$ is an Euclidean LCD ${\Theta }_{\theta }$-skew $5v$-constacyclic code of length 4 over ${\mathcal{R}}_{169}$ with generator polynomial $g\left(x\right)=x+w^{139}+w^{152}v$ and $\Phi \left(\mathcal{C}\right)$ is an Euclidean LCD code with parameters ${\left[8,6,2\right]}_{169}$, which is almost MDS. Moreover, we list some Euclidean LCD ${\Theta }_{\theta }$-skew constacyclic codes over ${\mathcal{R}}_{169}$ of length 4 and present the parameters of almost MDS and near MDS Euclidean LCD codes over ${\mathbb{F}}_{169}$ of length 8 obtained via the map Φ in

Table 1. Generator polynomials of some Euclidean LCD ${\Theta }_{\theta }$-skew $\lambda$-constacyclic codes over ${\mathcal{R}}_{169}$ of length 4 and Euclidean LCD codes over ${\mathbb{F}}_{169}$ of length 8 as their $\Phi$-images. The parameters with “*” and “**” are almost MDS and near MDS, respectively.

${\mathcal{C}}_0=〈{\mathit{g}}_0\left(\mathit{x}\right)〉$	${\mathcal{C}}_1=〈{\mathit{g}}_1\left(\mathit{x}\right)〉$	$\mathcal{C}=〈{\mathit{\pi }}_0{\mathit{g}}_0\left(\mathit{x}\right)+{\mathit{\pi }}_1{\mathit{g}}_1\left(\mathit{x}\right)〉$	$\mathit{\lambda }$	$\Phi \left(\mathcal{C}\right)$
$x+w^{18}$	$x+w^9$	$x+w^{139}+w^{152}v$	$5v$	${\left[8,6,2\right]}_{169}^{*}$
$x^2+w^{8}x+w^6$	$x^2+w^{21}x+w^{12}$	$x^2+\left(w^{80}+w^{121}v\right)x+w^{67}+w^{92}v$	$5v$	${\left[8,4,3\right]}_{169}^{**}$
$x+w^{12}$	$x+w^3$	$x+w^{133}+w^{146}v$	$5v$	${\left[8,6,2\right]}_{169}^{*}$
$x^2+w^{9}x+w^{12}$	$x^2+wx+w^{18}$	$x^2+\left(w^{128}+w^{150}v\right)x+5+w^{30}v$	$8v$	${\left[8,4,3\right]}_{169}^{**}$
$x^2+w^{69}x+w^{12}$	$x^2+w^{145}x+w^{18}$	$x^2+\left(12+w^{146}v\right)x+5+5+w^{30}v$	$8v$	${\left[8,4,3\right]}_{169}^{**}$
$x+w^9$	$x+w^{24}$	$x+11+w^{72}v$	$8v$	${\left[8,6,2\right]}_{169}^{*}$
$x+w^{30}$	$x^2+x+w^{30}$	$\left(7+4v\right)x^2+x+w^{30}$	1	${\left[8,5,2\right]}_{169}^{**}$
$x^2+w^{12}x+w^{30}$	$x^2+w^{24}x+w^{30}$	$x^2+\left(w^{165}+w^{158}v\right)x+w^{30}$	1	${\left[8,4,3\right]}_{169}^{**}$
$x+w^{36}$	$x+8$	$x+w^{150}+w^{54}v$	1	${\left[8,6,2\right]}_{169}^{*}$
$x+w^{15}$	$x+w^{21}$	$x+w^{129}+w^{33}v$	$-1$	${\left[8,6,2\right]}_{169}^{*}$
$x^2+w^{57}x+w^{156}$	$x^2+w^{141}x+w^{12}$	$x^2+\left(9+w^{15}v\right)x+9+w^{133}v$	$-1$	${\left[8,4,3\right]}_{169}^{**}$
$x^2+7x+w^{24}$	$x+w^{33}$	$\left(7+9v\right)x^2+\left(4+2v\right)x+7+w^{83}v$	$-1$	${\left[8,5,2\right]}_{169}^{**}$

.

6. Entanglement-Assisted Quantum Codes with Maximal Entanglement from Skew Constacyclic LCD Codes over ${\mathcal{R}}_q$

In this section, we apply the skew constacyclic LCD codes over ${\mathcal{R}}_q$ to obtain parameters for the entanglement assisted quantum codes with maximal entanglement [28].

An ${\left[\left[n,k,d;c\right]\right]}_q$ EAQECC is a quantum code that encodes k information qubits into n qubits and corrects up to $⌊\frac{d-1}{2}⌋$ errors via c pairs of maximally entanglement states. For an ${\left[\left[n,k,d;c\right]\right]}_q$ EAQECC, the number c of maximally entanglement states based on the linear codes is less than or equal to $n-k$, and if $c=n-k$, then this is called an EAQECC with maximal entanglement [51]. We have the following construction for EAQECCs obtained from linear codes over ${\mathbb{F}}_{q^2}$.

Theorem 8

[45]. If there exists an ${\left[n,k,d\right]}_{q^2}$ linear code with parity check matrix H, then there exists an EAQECC having parameters ${\left[\left[n,2k-n+c,d;c\right]\right]}_q$, where $c=rank\left(H{H}^{†}\right)$.

We also have the following from [Proposition 3.2] [34].

Proposition 8

[34]. If $\mathcal{C}$ is a ${\left[n,k,d\right]}_{q^2}$ linear code with parity check matrix H, then $rank\left(H{H}^{†}\right)=n-k-dim\left(Hul{l}_h\left(\mathcal{C}\right)\right)$.

Theorem 8 and Proposition 8 together imply that since $dim\left(Hul{l}_h\left(\mathcal{C}\right)\right)=0$ and so $c=rank\left(H{H}^{†}\right)=n-k$ for an ${\left[n,k,d\right]}_{q^2}$ Hermitian LCD code, one gets an ${\left[\left[n,k,d;n-k\right]\right]}_q$ EAQECC. Since the $\Phi$-images of the Hermitian LCD codes over ${\mathcal{R}}_{q^2}$ are also Hermitian LCD codes over ${\mathbb{F}}_{q^2}$, we derive a family of EAQECCs from ${\Theta }_{\theta }$-skew $\lambda$-constacyclic codes over ${\mathcal{R}}_{q^2}$ as following.

Theorem 9.

Let $\lambda ={\lambda }_0{\pi }_0+{\lambda }_1{\pi }_1\in \left\{\mp 1,\mp \frac{b}{a}v\right\}\subset \mathcal{U}\left({\mathcal{R}}_q\right)$ and ${\Theta }_{\theta }\in Aut\left({\mathcal{R}}_q\right)$. Let $\mathcal{C}={\pi }_0{\mathcal{C}}_0\oplus {\pi }_1{\mathcal{C}}_1$ be a ${\Theta }_{\theta }$-skew λ-constacyclic code of length n over ${\mathcal{R}}_{q^2}$, where ${\mathcal{C}}_i=〈g_i\left(x\right)〉$ and ${\theta }^n\left(h_i\left(x\right)\right)g_i\left(x\right)=x^n-{\lambda }_i$. If $gcrd\left(g_i\left(x\right),{\tilde{h}}_i^{♮}\left(x\right)\right)=1$, then there exists a maximal entanglement EAQECC having parameters ${\left[\left[2n,k_0+k_1,d;2n-k_0-k_1\right]\right]}_q$, where $deg\left(g_i\left(x\right)\right)=n-k_i$, $d=min\left\{d_0,d_1\right\}$ and $d_i$ is the minimum distance of ${\mathcal{C}}_i$.

Example 3.

Let $a=2$, $b=1$, $p=5$ and $q=25$. Then, ${\pi }_0=3+4v$ and ${\pi }_1=3+v$. Let ${\mathbb{F}}_{25}=\left\{x+yw|x,y\in {\mathbb{F}}_5\right\}$, where $w^2-w+2=0$. Let $\theta :x\to x^5\in Aut\left({\mathbb{F}}_{25}\right)$ be Frobenius automorphism. See that $\left(x^3+w^{17}{x}^2+x+4\right)\left(x^3+w{x}^2+x+1\right)=x^6-1$ and $\left(x^4+w^9{x}^3+w^{23}{x}^2+w^{9}x+w^4\right)\left(x^2+w^{21}x+w^{2}0\right)=x^6+1$ in ${\mathbb{F}}_{25}\left[x,\theta \right]$. Note that ${\mathcal{C}}_0=〈g_0\left(x\right)=x^3+w{x}^2+x+1〉$ and ${\mathcal{C}}_1=〈g_1\left(x\right)=x^2+w^{21}x+w^{20}〉$ be a Hermitian LCD θ-skew cyclic code and a Hermitian LCD θ-skew negacyclic ($\lambda =-1$) code of length 6 over ${\mathbb{F}}_{25}$, respectively. Then $\mathcal{C}={\pi }_0{\mathcal{C}}_0\oplus {\pi }_1{\mathcal{C}}_1$ is a Hermitian LCD ${\Theta }_{\theta }$-skew $3v$-constacyclic code of length 6 over ${\mathcal{R}}_{25}$ with generator polynomial $g\left(x\right)=\left(3+4v\right)x^3+\left(w^{16}+w^{5}v\right)x^2+\left(w+w^{23}v\right)x+\left(w^{13}+w^{16}v\right)$ and $\Phi \left(\mathcal{C}\right)$ is a Hermitian LCD code with parameters ${\left[12,7,3\right]}_{25}$. Applying Theorem 9, we get an ${\left[\left[12,7,3;5\right]\right]}_5$ EAQECC with maximal entanglement. Furthermore, we list some Hermitian LCD ${\Theta }_{\theta }$-skew constacyclic codes over ${\mathcal{R}}_{25}$ of length 6 and present the parameters of EAQECCs with maximal entanglement over ${\mathbb{F}}_5$ of length 12 obtained via the map Φ and Theorem 9 in

Table 2. Generator polynomials of some Hermitian LCD ${\Theta }_{\theta }$-skew $\lambda$-constacyclic codes over ${\mathcal{R}}_{25}$ of length 6 and some EAQECCs with maximal entanglement over ${\mathbb{F}}_5$ of length 12 obtained by Theorem 9.

${\mathcal{C}}_0=〈{\mathit{g}}_0\left(\mathit{x}\right)〉$	${\mathcal{C}}_1=〈{\mathit{g}}_1\left(\mathit{x}\right)〉$	$\mathcal{C}=〈{\mathit{\pi }}_0{\mathit{g}}_0\left(\mathit{x}\right)+{\mathit{\pi }}_1{\mathit{g}}_1\left(\mathit{x}\right)〉$	$\mathit{\lambda }$	EAQECC
$x^3+w{x}^2+x+1$	$x^2+w^{21}x+w^{20}$	$\left(3+4v\right)x^3+\left(w^{16}+w^{5}v\right)x^2+\left(w+w^{23}v\right)x+w^{13}+w^{16}v$	$3v$	${\left[\left[12,7,3;5\right]\right]}_5$
$x^2+w^{3}x+w^8$	$x^2+w^{17}x+w^{20}$	$x^2+\left(1+w^{8}v\right)x+w^2$	$3v$	${\left[\left[12,8,3;4\right]\right]}_5$
$x^4+w^{11}{x}^3+w^{11}{x}^2+w^{23}x+w^4$	$x^4+w^{21}{x}^3+w^{19}{x}^2+w^{21}x+w^{20}$	$x^4+\left(3+w^{14}v\right)x^3+\left(w^9+3v\right)x^2+\left(w^8+v\right)x+3+w^{15}v$	$3v$	${\left[\left[12,4,5;8\right]\right]}_5$
$x+w^4$	$x+w^{16}$	$x+w^{22}v$	1	${\left[\left[12,10,2;2\right]\right]}_5$
$x^3+w^5{x}^2+w^{2}x+w^{16}$	$x^3+w^{16}{x}^2+wx+w^{16}$	$x^3+\left(w^{15}+w^{14}v\right)x^2+\left(w^{17}+2v\right)x+w^{16}$	1	${\left[\left[12,6,4;6\right]\right]}_5$
$x^2+w^{7}x+w^{16}$	$x^2+w^{3}x+w^{16}$	$x^2+\left(w^{20}+w^{23}v\right)x+w^{16}$	1	${\left[\left[12,8,3;4\right]\right]}_5$
$x^2+w^{21}x+w^4$	$x^2+w^{17}x+w^4$	$x^2+\left(w^{10}+w^{13}v\right)x+w^4$	$-1$	${\left[\left[12,8,3;4\right]\right]}_5$
$x^2+w^{21}x+w^4$	$x^4+w^{21}{x}^3+w^{19}{x}^2+w^{21}x+w^{20}$	$\left(3+v\right)x^4+\left(w^{15+w^{21}v}\right)x^3+\left(w^3+w^{20}v\right)x^2+w^{21}x+3+w^{15}v$	$-1$	${\left[\left[12,6,4;6\right]\right]}_5$

.

7. Conclusions

In this paper, by determining the automorphism group of the ring ${\mathcal{R}}_q$ we define and study the skew constacyclic codes over ${\mathcal{R}}_q$. We characterize the algebraic structure of skew constacyclic codes and their duals over ${\mathcal{R}}_q$. We investigate the $\Phi$-images of skew constacyclic codes over ${\mathcal{R}}_q$. Moreover, we consider LCD codes over ${\mathcal{R}}_q$ and give a necessary and sufficient condition for skew constacyclic codes ${\mathcal{R}}_q$ to be Euclidean and Hermitian LCD. We also give some examples of Euclidean LCD codes over ${\mathcal{R}}_{169}$ of length 4 and tabulate the parameters of almost MDS and near MDS Euclidean LCD codes over ${\mathbb{F}}_{169}$ of length 8 as the $\Phi$-images of these codes over ${\mathcal{R}}_{169}$. Finally, as an application of these Hermitian LCD skew constacyclic codes over ${\mathcal{R}}_q$, we obtain a class of EAQECCs with maximal entanglement and tabulate parameters of some EAQECCs with maximal entanglement over ${\mathbb{F}}_5$ of length 12. In the process of preparing this study, the following two questions were among those that we could not answer yet, but which offer potential avenues for future research.

(Q1)

We just determine the algebraic structure of the ${\Theta }_{\theta ,id}$-skew $\lambda$-constacyclic codes over ${\mathcal{R}}_q$. What about the algebraic structure of the more general case ${\Theta }_{\theta ,\sigma }$-skew $\lambda$-constacyclic codes over ${\mathcal{R}}_q$?

(Q2)

What about the self-duality of ${\Theta }_{\theta ,\sigma }$-skew $\lambda$-constacyclic codes over ${\mathcal{R}}_q$? In this case, does there exists any restriction on $\lambda$?