A NOTE ON THE ENUMERATION OF EUCLIDEAN
SELF-DUAL SKEW-CYCLIC CODES OVER FINITE FIELDS

arXiv:1705.06049v1 [] 17 May 2017

IRWANSYAH, INTAN MUCHTADI-ALAMSYAH, AHMAD MUCHLIS, ALEAMS BARRA,
AND DJOKO SUPRIJANTO
Abstract. In this paper, we give the enumeration formulas for Euclidean selfdual skew-cyclic codes over finite fields when (n, |θ|) = 1 and for some cases
when (n, |θ|) > 1, where n is the length of the code and |θ| is the order of
automorphism θ.

1. Introduction
Let Fq be the finite field of cardinality q, where q is a prime power. A linear
code over Fq with length n is a linear subspace of the Fq -vector space Fnq . The two
classes of interesting linear codes are cyclic codes and self-dual codes. The reason is,
among other things, because these classes of codes have produced many examples of
optimal codes. Therefore, some authors also studied the combination of these two
classes of codes, namely self-dual cyclic codes [7] and the generalization of cyclic
codes such as quasi-cyclic codes and skew-cyclic codes[8].
Skew-cyclic codes or θ-cyclic codes over finite fields are a generalization of cyclic
codes over finite fields. Here, θ is an automorphism in the corresponding finite fields.
This class of codes has many interesting properties such as it can be viewed as a left
ideal or left submodule over a skew-polynomial ring, etc, see [3]. Moreover, these
codes also give [38, 18, 11] code, an Euclidean self-dual code over F4 , which improves
the bound for optimal self-dual codes of length 36 with respect to Hamming distance
[4].
Recently, the study of special class of skew-codes over finite fields i.e. Euclidean self-dual skew-codes are conducted regarding their existence and enumeration. Boucher [2] showed that, when q ≡ 1 mod 4, there always exists a self-dual
θ-code in any dimension and that self-dual θ-codes of a given dimension are either
all θ-cyclic or all θ-negacyclic. Also, It is not exists when q ≡ 3 mod 4. However,
the enumeration of this class of codes not yet been done completely. So far, the
enumeration was done for self-dual skew-codes over F4 with length n = 2s [5] and
for self-dual skew-codes over Fp2 [1].
In this paper, we study the enumeration of self-dual skew-cyclic or θ-cyclic codes
when (n, |θ|) = 1 and for some cases when (n, |θ|) = d > 1, where |θ| is the order of
the automorphism θ.
2. The Enumeration Formulas
Let us recall some definition which can be found in [1, 3, 7, 8]. Let T be a shift
operator on Fnq and θ is an automorphism in Fq .
Definition 1. Let C be a linear code of length n over Fq .
1991 Mathematics Subject Classification. 11T71.
Key words and phrases. Skew-cyclic codes, Euclidean self-dual codes, Enumeration.
1

2

IRWANSYAH, I. M. ALAMSYAH, A. MUCHLIS, A. BARRA, AND D. SUPRIJANTO

(1) If
T l (c) = (cn−l , cn−l+1 , . . . , cn−l−1 ) ∈ C
whenever c = (c0 , c1 , . . . , cn−1 ) ∈ C, then C is a quasi-cyclic code with
index l.
(2) If
Tθ (c) = (θ(cn−1 ), θ(c0 ), . . . , θ(cn−2 )) ∈ C
whenever c = (c0 , c1 , . . . , cn−1 ) ∈ C, then C is a θ-cyclic code.
(3) If θ in (2) above is an identity map, then C is a cyclic code.
For any c = (c0 , . . . , cn−1 ) and c′ = (c′0 , . . . , c′n−1 ) in Fq , we define the Euclidean
product between c and c′ as
[c, c′ ] =

n−1
X

ci c′i .

i=0

Let C be a code of length n over Fq and C ⊥ = {c′ ∈ Fnq : [c, c′ ] = 0, ∀c ∈ C}. Then
we can give the following definition.
Definition 2. A linear code C is called Euclidean self-dual if C = C ⊥ .
Now, before we do the enumeration, we need to proof the following proposition.
Proposition 3. If C is a θ-cyclic code over Fq of length n, for some automorphism
θ in Fq , then C is either a cyclic code or a quasi-cyclic code.
Proof. We consider two cases for |θ|. First, if gcd(|θ|, n) = 1, then there exist
p, q ∈ Z, such that pr + qn = 1 or p|θ| = 1 + bn for some b. For any c ∈ C, let
c = (c0 , c1 , . . . , cn−1 ), for some c0 , c1 , . . . , cn−1 ∈ Fq . Then we have

p|θ|
Tθ (c) = θp|θ| (cn−p|θ| (mod n) ), θp|θ| (cn−p|θ|+1 (mod n) ),

. . . , θp|θ| (cn−p|θ|−1 (mod n) )


= θp|θ| (cn−1 ), θp|θ| (c0 ), . . . , θp|θ| (cn−2 )
= (cn−1 , c0 , . . . , cn−2 )
= T (c),
which means, T (c) ∈ C or C is a cyclic code.
Second, if gcd(|θ|, n) = s, for some s ∈ N, where s 6= 1, then there exist p1 , p2 ∈ Z,
such that p1 |θ| = s + p2 n. Hence, we have

p |θ|
Tθ 1 (c) = θp1 |θ| (cn−p1 |θ| (mod n) ), θp1 |θ| (cn−p1 |θ|+1 (mod n) ),

. . . , θp1 |θ| (cn−p1 |θ|−1 (mod n) )


= θp1 |θ| (cn−s ), θp1 |θ| (cn−s+1 ), . . . , θp1 |θ| (cn−s−1 )
= (cn−s , cn−s+1 , . . . , cn−s−1 )
= T s (c)
which means, C is a quasi-cyclic code of index s, as we hope.



A NOTE ON THE ENUMERATION OF EUCLIDEAN SELF-DUAL SKEW-CYCLIC CODES 3

2.1. Case 1 : (n, |θ|) = 1. If (n, |θ|) = 1, then θ-cyclic code is a cyclic code. It
means, the number of self-dual θ-cyclic codes of length n is less than or equal to
the number of self-dual cyclic codes of length n. Recall that, based on the result in
[7], Euclidean self-dual cyclic code of length n over Fq exist only when q is a power
of 2 and n is an even integer. Now, let n = 2v(n) ñ, where (ñ, 2) = 1, and let φ be
the Euler function and ordj (i) be the smallest integer e such that j divides ie − 1.
Also, let j be an odd positive integer and m be a positive integer. We say that the
pair (j, m) is good if j divides (2m )k + 1 for some integer k ≥ 0 and bad otherwise.
We define the function χ as follows.
χ(j, m) =

(

0, if (j, m) good,
1, otherwise.

Recall that, based on [7], the number of Euclidean self-dual cyclic codes over Fq is
(2.1)

 1 Pj|ñ χ(j,m)φ(j)/ordj (2m )

v(n) 2
.
1+2

Note that, by Proposition 3, when (n, |θ|) = 1, then the number of Euclidean
self-dual θ-cyclic codes over Fq is less than or equal to the one provided by (2.1).
Now, we make partitions of the set {0, 1, . . . , ñ} into 2m -cyclotomic cosets denoted by Cs , where s is the smallest element in Cs . Let A be the collection of
union of 2m -cyclotomic cosets which represent the generators of the self-dual cyclic
r
codes over Fq of length n. Also, let θ(β) = β 2 , for all β ∈ F2m and for some
r ∈ {1, 2, . . . , m}. Also, let λ be the map as follows
λr : {0, 1, . . . , ñ}
a

−→ {0, 1, . . . , ñ}
7−→ 2r a (mod ñ).

Furthermore, we let Λr be the map on A induced by λr and Λr be the number of
elements A in A such that Λr (A) 6= A. Then, we have the following result.
Theorem 4. If (n, |θ|) = 1, q = 2m , for some m, and n = 2v(n) ñ, for some odd
positive integer ñ, then the number of Euclidean self-dual θ-cyclic codes of length n
over Fq is
 1 Pj|ñ χ(j,m)φ(j)/ordj (2m )

v(n) 2
− Λr .
1+2
Proof. Let C = hg(x)i, where g(x) is a monic polynomial with minimum
degree in C
Ps
and, therefore, g(x) is a divisor of xñ − 1. Now, for any f (x) = i=0 fi xi ∈ F2m [x],
let
s
s
X
X
r
fi2 xi .
θ(fi )xi =
θ(f ) =
i=0

i=0

Also, let θ(C) = hθ(g)i. It is easy to see that θ(C) is also a Euclidean self-dual
cyclic code. Now, let α be a primitive ñ-th root of unity in some extension of F2m .
Then, by [6, Theorem 4.2.1(vii)], we have
Y
g(x) =
Mαs (x),
s

where Mαs (x) is the minimal polynomial of αs over F2m , and s is the representatives
of the 2m -cyclotomic cosets modulo ñ. Now, let
xñ − 1 = f1 (x) · · · fs (x)h1 (x)h∗1 (x) · · · ht (x)h∗t (x),

4

IRWANSYAH, I. M. ALAMSYAH, A. MUCHLIS, A. BARRA, AND D. SUPRIJANTO

where fi (x) (1 ≤ i ≤ s) are monic irreducible self-reciprocal polynomials over
F2m , while hj (x) and its reciprocal polynomial h∗j (x) (1 ≤ j ≤ t) are both monic
irreducible polynomials over F2m . Then, by [6, Theorem 3.7.6], we have
Y
fi (x) =
(x − αk ),
k∈Csi

and
hj (x) =

Y

(x − αk ).

k∈Csj

Therefore, in order to make θ(C) ⊆ C, we have to choose fi (x)’s and hj (x)’s such
r
that their representatives in A are fixed by Λr , because θ(x−αl ) = x−α2 l . Since Λr
is the number of non-fixed-by-Λr -elements in A, we have the desired formula. 
Let us consider the following examples.
Example 5. Let q = 4, r = 1, and n = 6. Therefore, ñ = 3. Also, let F4 = F2 [α],
where α is the root of the polynomial x2 + x + 1. Note that, α is also a primitive
3th -root of unity. As we can check, we have three 4-cyclotomic cosets modulo 3,
i.e. C0 = {0}, C1 = {1}, and C2 = {2}. Moreover, C0 represents a self-reciprocal
polynomial, while C1 and C2 represent two polynomials which reciprocal to each
other. Since n = 2ñ, we have
A = {C0 ∪ C1 ∪ C1 , C0 ∪ C2 ∪ C2 , C0 ∪ C1 ∪ C2 }.
We can see that Λ1 (C0 ) = C0 , Λ1 (C1 ) = C2 , and Λ1 (C2 ) = C1 . Therefore, we have
Λ1 = 2, and the number of self-dual θ-cyclic codes is |A| − Λ1 = 1.
Example 6. Let q = 4, r = 1, and n = 14. Therefore, ñ = 7. Let α ∈ F42
be a primitive 7th -root of unity. We can check that we have three 4-cyclotomic
cosets modulo 7. They are C0 = {0}, C1 = {1, 2, 4}, and C3 = {3, 5, 6}. Also, C0
represents a self-reciprocal polynomial, while C1 and C3 represent two polynomials
which reciprocal to each other. So, we have that
A = {C0 ∪ C1 ∪ C1 , C0 ∪ C3 ∪ C3 , C0 ∪ C1 ∪ C3 }.
We also have Λ1 = 0, because Λ1 (Ci ) = Ci for all i = 0, 1, 3. Therefore, the number
of self-dual θ-cyclic codes is |A| = 3.
We have to note that |A| is the number of self-dual cyclic codes of length n over
Fq . Therefore, the two examples above give us another way to count the number of
self-dual cyclic codes using q-cyclotomic cosets of modulo ñ.
2.2. Case 2 : (n, |θ|) = d > 1. If (n, |θ|) = d > 1, then θ-cyclic code is a quasicyclic code of index d as stated in Proposition 3. Now, for any C ⊆ Fnq , define
Tθ (C) = {Tθ (c) : ∀c ∈ C}. Then, we can easily prove the following lemma.
Lemma 7. If C is a Euclidean self-dual quasi-cyclic code of index d, then Tθ (C)
is also an Euclidean self-dual quasi-cyclic code of index d. Moreover, Tθ (C) has the
same Hamming weight enumerator polynomial as C.
The Lemma 7 above shows that the map Tθ preserves Euclidean self-duality and
quasi-cyclic property. Moreover, we have to note that, if C is a quasi-cyclic code
such that Tθ (C) ⊆ C, then C is also a θ-cyclic code.
For any code C ⊆ Fnq , let ρ be the map as follows,
(
0, ifTθ (C) ⊆ C,
(2.2)
ρ(C) =
1, otherwise.

A NOTE ON THE ENUMERATION OF EUCLIDEAN SELF-DUAL SKEW-CYCLIC CODES 5

Let us recall structures of quasi-cyclic code described in [8]. Let n = dm, R =
Fq [Y ]/(Y m − 1), and C be a quasi-cyclic code over Fq of length dm with index d.
Let
c = (c00 , c01 , . . . , c0,l−1 , c10 , . . . , c1,l−1 , . . . , cm−1,0 , . . . , cm−1,l−1 ) ∈ C.
Then, the map φ : Fdm
−→ Rd defined by
q
φ(c) = (c0 (Y ), c1 (Y ), . . . , cl−1 (Y )) ∈ Rd ,
P
i
where cj (Y ) = m−1
i=0 cij Y ∈ R, is a one-to-one correspondence between quasicyclic codes over Fq of index d and length dm and linear codes over R of length d.
Moreover,

!  t
s
M
M

Gdi ⊕ 
Hj′d ⊕ Hj′′d  ,
Rd =
i=1

j=1

where Gi = Fq [Y ]/(gi ), Hj′ = Fq [Y ]/(hj ), and Hj′′ = Fq [Y ]/(h∗j ), for some selfreciprocal irreducible polynomials gi (1 ≤ i ≤ s) and irreducible reciprocal pairs hj
and h∗j (1 ≤ j ≤ t) which satisfy
Y m − 1 = δg1 · · · gs h1 h∗1 · · · ht h∗t .
The above decomposition gives
C=

s
M

Ci

i=1

!



⊕

t
M
j=1



Cj′ ⊕ Cj′′  ,

where Ci is a linear code over Gi of length d, Cj′ is a linear code over Hj′ of length
d, and Cj′′ is a linear code over Hj′′ of length d.
Now, let
X
ρ(φ−1 (C)),
ρG i =
C code over Gi

X

ρHj′ ,Hj′′ =

ρ(φ−1 (C ′ ⊕ C ′′ )),

C ′ code over H ′
j
C ′′ code over H ′′
j

and
N (d, q) = 1 +

d
X
(q d − 1)(q d − q) · · · (q d − q k−1 )
.
(q k − 1)(q k − q) · · · (q k − q k−1 )

k=1

Then, we have the following result for d = 2.
Proposition 8. Let θ be an automorphism in Fq such that (n, |θ|) = 2, where q be
a prime power satisfying one of the following conditions,
(1) q is a power of 2,
(2) q = pb , where p is a prime congruent to 1 mod 4, or
(3) q = p2 b, where p is a prime congruent to 3 mod 4.
Also, let m be an integer relatively prime to q. Suppose that Y m −1 = δg1 · · · gs h1 h∗1 · · · ht h∗t
as mentioned above. Suppose further that g1 = Y − 1 and, if m is even, g2 = Y + 1.
Let the degree of gi be 2di and the degree of hj (also h∗j ) be ej . Then, the number
of distinct Euclidean self-dual θ-cyclic codes of length 2m with index 2 over Fq is

6

IRWANSYAH, I. M. ALAMSYAH, A. MUCHLIS, A. BARRA, AND D. SUPRIJANTO

4
2

s
Y

(q di + 1 − ρGi )

i=3
s
Y

(q di + 1 − ρGi )

(q di + 1 − ρGi )

i=2

j=1
t
Y

(N (2, q ej ) − ρHj′ ,Hj′′ ), if m is even and q is odd
(N (2, q ej ) − ρHj′ ,Hj′′ ), if m is odd and q is odd

j=1

i=2

s
Y

t
Y

t
Y

(N (2, q ej ) − ρHj′ ,Hj′′ ),

if m is odd and q is even

j=1

Proof. Apply [8, Proposition 6.2] and use the fact that the map ρ counts the number
of codes which are not invariant under the action of Tθ .

Furthermore, using [8, Proposition 6.6, Proposition 6.9, Proposition 6.10, Proposition 6.12, and Proposition 6.13] and the fact about the map ρ as above, we have
the following results.
Proposition 9. Suppose q ≡ 1 mod 4 and d is even, or q ≡ 3 mod 4 and d ≡
0 mod 4. Then the number of Euclidean self-dual θ-cyclic codes of length 2d over
Fq is
d
2 −1

4

Y

(q i + 1 − ρGi )2 .

i=1

Proposition 10. Suppose that q and d satisfy one of the following conditions,
(1) q ≡ 11 mod 12 and d ≡ 0 mod 4,
(2) q ≡ 2 mod 3 but q 6≡ 11 mod 12 and d is even.
Then the number of distinct Euclidean self-dual θ-cyclic codes over Fq of length 3d
is
d
2 −1

b(q + 1)

Y

(q i + 1 − ρGi )(q 2i+1 + 1 − ρHi′ ),

i=1

where b = 1 if q is even, 2 if q is odd.
Proposition 11. Let q and d satisfy one of the following conditions,
(1) q ≡ 7 mod 12 and d ≡ 0 mod 4,
(2) q ≡ 1 mod 3 but q 6≡ 7 mod 12 and d is even.
Then the number of distinct Euclidean self-dual θ-cyclic codes over Fq of length 3d
is

d
−1
2
Y
(q i + 1 − ρGi ) (N (d, q) − ρH ′ ,H ′′ ),
b
i=1

where b = 1 if q is even, 2 if q is odd.

Proposition 12. Let q be an odd prime power such that −1 is not a square in Fq
and let d ≡ 0 mod 4. Then the number of distinct Euclidean self-dual θ-cyclic codes
over Fq of length 4d is
d
2 −1

4(q + 1)

Y

i=1

(q i + 1 − ρGi )2 (q 2i+1 + 1 − ρHi′ ).

A NOTE ON THE ENUMERATION OF EUCLIDEAN SELF-DUAL SKEW-CYCLIC CODES 7

Proposition 13. Let d be an even integer and q be an odd prime power such that
−1 is a square in Fq . Then, the number of distinct Euclidean self-dual θ-cyclic codes
of length 4d over Fq is

d
−1
2
Y
(q i + 1 − ρGi )2  (N (d, q) − ρH ′ ,H ′′ ).
4
i=1

3. Conclusion

Enumeration of skew-cyclic or θ-cyclic codes over finite fields has been considered
by Boucher and her coauthors in [5], [1]. However, the enumeration of this class of
codes has not yet been done completely. In this paper, we study the enumeration of
self-dual skew-cyclic or θ-cyclic codes if (n, |θ|) = 1 and for some cases if (n, |θ|) =
d > 1, where |θ| is the order of the automorphism θ.
4. Acknowledgment
I, I.M-A, and A.B. are supported in part by Riset Unggulan Perguruan Tinggi
Dikti 2016. D.S. is supported in part by Riset ITB 2016.
References
[1] D. Boucher, Construction and number of self-dual skew codes over Fp2 , hal-01090922v2, 2014.
[2] D. Boucher, A note on the existence of self-dual skew codes over finite fields, Lecture Notes in
Computer Science, Proccedings in Honour of Thierry Berger 9084, pp. 228-239, 2015.
[3] D. Boucher, W. Geiselmann, and F. Ulmer, Skew-cyclic codes, Applicable Algebra in Engineering, Communication, and Computing vol. 18 issue 4, pp. 379-389, 2007.
[4] D. Boucher and F. Ulmer, Coding with skew polynomial rings, Journal of Symbolic Computation 44, pp. 1644-1656, 2009.
[5] D. Boucher and F. Ulmer, Self-dual skew-codes and factorization of skew-polynomials, Journal
of Symbolic Computation 60, pp. 47-61, 2013.
[6] W. Huffman and V. Pless, Fundamentals of error correcting codes, Cambridge University
Press, 2003.
[7] Y. Jia, S. Ling, and C. Xing, On self-dual cyclic codes over finite fields, IEEE Transactions
on Information Theory Vol. 57 No. 4, pp. 2243-2251, 2011.
[8] S. Ling and P. Solé, On the algebraic structure of quasi-cyclic codes I: Finite fields, IEEE
Transactions on Information Theory Vol. 47 No. 7, pp. 2751-2760, 2001.
Mathematics Department, Faculty of Mathematics and Natural Sciences, Universitas
Mataram, Mataram, INDONESIA
E-mail address: irw@unram.ac.id
Algebra Research Group, Faculty of Mathematics and Natural Sciences, Institut
Teknologi Bandung, Jl. Ganesha 10, Bandung, 40132, INDONESIA
E-mail address: ntan,muchlis,barra@math.itb.ac.id
Combinatorial Mathematics Research Group, Faculty of Mathematics and Natural
Sciences, Institut Teknologi Bandung, Jl. Ganesha 10, Bandung, 40132, INDONESIA
E-mail address: djoko@math.itb.ac.id

