arXiv:1703.09204v2 [math.NT] 1 Jan 2018

ON PERIOD POLYNOMIALS OF DEGREE 2m AND WEIGHT
DISTRIBUTIONS OF CERTAIN IRREDUCIBLE CYCLIC CODES
IOULIA N. BAOULINA

Abstract. We explicitly determine the values of reduced cyclotomic periods of
order 2m , m ≥ 4, for finite fields of characteristic p ≡ 3 or 5 (mod 8). These evaluations are applied to obtain explicit factorizations of the corresponding reduced
period polynomials. As another application, the weight distributions of certain
irreducible cyclic codes are described.

Keywords: Cyclotomic period; f -nomial Gaussian period; period polynomial; reduced period polynomial; factorization; irreducible cyclic code; weight distribution.
Mathematics Subject Classification 2010: 11L05, 11T22, 11T24, 94B15
1. Introduction
Let Fq be a finite field of characteristic p with q = ps elements, F∗q = Fq \ {0}, and
let γ be a fixed generator of the cyclic group F∗q . By Tr : Fq → Fp we denote the
2
s−1
trace mapping, that is, Tr(x) = x + xp + xp + · · · + xp
for x ∈ Fq . Let e and f
be positive integers such that q = ef + 1. Denote by H the subgroup of e-th powers
in F∗q . For any positive integer n, write ζn = exp(2πi/n).
The cyclotomic (or f -nomial Gaussian) periods of order e for Fq with respect to
γ are defined by
ηj =

X

ζpTr(x)

x∈γ j H

=

f −1
X

ζpTr(γ

eh+j )

,

j = 0, 1, . . . , e − 1.

h=0

The reduced cyclotomic (or reduced f -nomial Gaussian) periods of order e for Fq
with respect to γ are defined by
X
j e
ζpTr(γ x ) = 1 + eηj , j = 0, 1, . . . , e − 1.
ηj∗ =
x∈Fq

The period polynomial of degree e for Fq is the polynomial
e−1
Y
Pe (X) =
(X − ηj ),
j=0

and the reduced period polynomial of degree e for Fq is
Pe∗ (X)

e−1
Y
=
(X − ηj∗ ).
j=0

2

IOULIA N. BAOULINA

The polynomials Pe (X) and Pe∗ (X) have integer coefficients and are independent of
the choice of generator γ. They are irreducible over the rationals when s = 1, but
not necessarily irreducible when s > 1. More precisely, Pe (X) and Pe∗(X) split over
the rationals into δ = gcd(e, (q − 1)/(p − 1)) factors of degree e/δ (not necessarily
distinct), and each of these factors is irreducible or a power of an irreducible polynomial. Furthermore, the polynomials Pe (X) and Pe∗ (X) are irreducible over the
rationals if and only if gcd(e, (q − 1)/(p − 1)) = 1. For proofs of these facts, see [9].
In the case s = 1, the period polynomials were determined explicitly by Gauss for
e ∈ {2, 3, 4} and by many others for certain small values of e. In the general case,
Myerson [9] derived the explicit formulas for Pe (X) and Pe∗ (X) when e ∈ {2, 3, 4},
and also found their factorizations into irreducible polynomials over the rationals.
Gurak [7] obtained similar results for e ∈ {6, 8, 12, 24}; see also [6] for the case s = 2,
e ∈ {6, 8, 12}. Hoshi [8] considered the case e = 5. Note that if −1 is a power of p
modulo e, then the period polynomials can also be easily obtained. Indeed, if e > 2
and e | (pv + 1), with v chosen minimal, then 2v | s, and [9, Proposition 20] yields
Pe∗ (X) = (X + (−1)s/2v (e − 1)q 1/2 )(X − (−1)s/2v q 1/2 )e−1 .
Baumert and Mykkeltveit [2] found the values of cyclotomic periods in the case when
e > 3 is a prime, e ≡ 3 (mod 4) and p generates the quadratic residues modulo e;
see also [9, Proposition 21].
It is seen immediately from the definitions that Pe∗ (eX + 1) = ee Pe (X), and so it
suffices to factorize only Pe∗ (X).
The aim of this paper is to find the values of reduced cyclotomic periods of order
2m , m ≥ 4, for finite fields of characteristic p ≡ 3 or 5 (mod 8) and obtain explicit
factorizations of the corresponding reduced period polynomials. The traditional
approach to cyclotomic periods is to express them in terms of Gauss sums and
to apply known results about these sums. Instead, we observe that the values of
reduced cyclotomic periods of order 2m have already appeared implicitly in our
recent paper [1], and so they can easily be deduced from our results on diagonal
equations. The main result in Section 3 is Theorem 5, which gives the explicit
factorization of P2∗m (X) in the case p ≡ 3 (mod 8). Our main result of Section 4 is
Theorem 8, in which we treat the case p ≡ 5 (mod 8). In Section 5, we apply the
results of previous sections to describe the weight distributions of certain irreducible
cyclic codes. All the evaluations in Sections 3–5 are effected in terms of parameters
occurring in quadratic partitions of some powers of p.
2. Preliminary lemmas
xe1

We denote by N[xe1 + · · · + xen = 0] the number of solutions to the equation
+ · · · + xen = 0 in Fnq .

Lemma 1. We have
e−1

N[xe1

+···+

xen

= 0] = q

n−1

q−1X ∗ n
+
(η ) .
eq j=0 j

ON PERIOD POLYNOMIALS OF DEGREE 2m

3

Proof. See [3, Theorem 10.10.7 and Problem 22 in Exercises 12] (this lemma is
equivalent to a special case of Proposition 1 in [11]).

Lemma 2. Assume that there exist complex numbers ω0 , ω1 , . . . , ωe−1 such that for
n = 1, 2, . . . , e,
e−1
q−1X n
ω .
(1)
N[xe1 + · · · + xen = 0] = q n−1 +
eq j=0 j

Then

Pe∗ (X)

e−1
Y
=
(X − ωj ),
j=0

that is, the sequence {ω0 , ω1 , . . . , ωe−1 } is just a permutation of the sequence
∗
}.
{η0∗ , η1∗ , . . . , ηe−1
Proof. Let σ1 , . . . , σe be elementary symmetric polynomials in the variables y1 , . . . , ye
and sn = sn (y1 , . . . , ye ) = y1n + · · · + yen for n ≥ 1. Lemma 1 yields
∗
sn (η0∗ , η1∗ , . . . , ηe−1
) = sn (ω0 , ω1 , . . . , ωe−1) for n = 1, 2, . . . , e.

Using Newton’s formula
nσn = s1 σn−1 − s2 σn−2 + · · · + (−1)n−2 sn−1 σ1 + (−1)n−1 sn
for n = 2, . . . , e, we infer that
∗
σn (η0∗ , η1∗ , . . . , ηe−1
) = σn (ω0 , ω1 , . . . , ωe−1 ) for n = 1, 2, . . . , e.
∗
Therefore, η0∗ , η1∗ , . . . , ηe−1
and ω0 , ω1 , . . . , ωe−1 are roots of the same monic polynomial of degree e, as desired.


Lemma 2 shows that the reduced cyclotomic periods of order e and Pe∗ (X) can
be easily computed once we know a formula of the type (1). Let us present two
examples.
Example 1. Assume that q = 2s , f is a prime, f | (q − 1), 2 is a primitive root
modulo f and e = (q − 1)/f . Then
(f −1)/2  
X
f
e
e
n−f +1
N[x1 + · · · + xn = 0] = 2
(2s−1 − 2je)n
2j
j=0

(see [12, Theorem 5.1]), or, equivalently,



(f −1)/2 f
X 2j
q − 1 2s−f +1 − 1 n
e
e
n−1
s−f +1
n
N[x1 + · · · + xn = 0] = q
+
·q +2
· (q − 4je) .
eq
f
f
j=1

Note that 2s−f +1 = 2(f −1)((s/(f −1))−1) ≡ 1 (mod f ) and 2jf ≡ 0 (mod f ) for j =
1, 2, . . . , (f − 1)/2. Thus
(f −1)/2

Pe∗ (X)

= (X − q)

(2s−f +1 −1)/f

Y
j=1

s−f +1

(X − q + 4je)2

(2jf )/f .

4

IOULIA N. BAOULINA

Example 2. Assume that ℓ divides s and e = (q − 1)/(pℓ − 1). Rewriting the result
of Wolfmann [12, Theorem 5.2] as


q−1 e−1 n
s−ℓ
n
e
e
n−1
· q + p (1 − e)
N[x1 + · · · + xn = 0] = q
+
eq
pℓ
and observing that e − 1 = (ps − pℓ )/(pℓ − 1) is divisible by pℓ , we obtain
ℓ

Pe∗ (X) = (X − q)(e−1)/p (X + e − 1)p

s−ℓ

.

3. Factorization of P2∗m (X) in the case p ≡ 3 (mod 8)
In this section, p ≡ 3 (mod 8), 2m | (q − 1), m ≥ 4. Notice that
ord2 (q − 1) = ord2 (ps − 1) = ord2 (p2 − 1) + ord2 s − 1 = ord2 s + 2 (for a proof, see
[4, Proposition 1]). Hence,
(
2m
if 2m−1 | s,
gcd(2m , (q − 1)/(p − 1)) =
2m−1 if 2m−2 k s.
Appealing to [9, Theorem 4], we conclude that in the case when 2m−1 | s, P2∗m (X)
splits over the rationals into linear factors. If 2m−2 k s, then P2∗m (X) splits into
irreducible polynomials of degrees at most 2.
For 3 ≤ r ≤ m, define the integers Ar and Br by
r−2

ps/2

= A2r + 2Br2 ,

Ar ≡ −1

(mod 4),

p ∤ Ar .

(2)

It is well known [3, Lemma 3.0.1] that for each fixed r, the conditions (2) determine
Ar and |Br | uniquely.
Lemma 3. Let p ≡ 3 (mod 8) and m ≥ 4. If 2m−1 | s, then
m

m

N [x21 + · · · + x2n = 0]

 1

q−1
1
1
1
n−1
=q
+ m · 2m−2 · (q 2 + 4B3 q 4 )n + (q 2 − 4B3 q 4 )n
2 q

 1
3
1
3
+ 2m−3 · (q 2 + 8B4 q 8 )n + (q 2 − 8B4 q 8 )n
+

m−3
X

2

m−t−2

t=2

t

X
2r−2 −1
2t+1 −1
2t−1 −1
1
2
(−3q +
2r−1 Ar q 2r−1 −2t At+1 q 2t +2t+2 Bt+3 q 2t+2 )n
1
2

r=3
t
X

+(−3q +

2

r−1

Ar q

2r−2 −1
2r−1

t

−2 At+1 q

2t−1 −1
2t

−2

t+2

Bt+3 q

r=3

m−2


X
2r−2 −1
2m−3 −1 n
1
2r−1 Ar q 2r−1 − 2m−2 Am−1 q 2m−2
+ 2 · −3q 2 +

2t+1 −1
2t+2

)



n

r=3


1
+ −3q 2 +

m−1
X
r=3

2

r−1

Ar q

2r−2 −1
2r−1

−2

m−1

Am q

2m−2 −1
2m−1

m
n 
 
X
2r−2 −1 n
1
r−1
r−1
2 Ar q 2
.
+ −3q 2 +
r=3

ON PERIOD POLYNOMIALS OF DEGREE 2m

5

If 2m−2 k s and m ≥ 5, then
m

m

N [x21 + · · · + x2n = 0]

 1

1
1
1
q
−
1
m−2
n
n
n−1
2
4
2
4
· (q + 4B3 q ) + (q − 4B3 q )
=q
+ m 2
2 q
 1

3
1
3
+ 2m−3 · (q 2 + 8B4 q 8 )n + (q 2 − 8B4 q 8 )n
+

m−4
X

2

m−t−2

t=2

t

X
2t+1 −1
2r−2 −1
2t−1 −1
1
2
(−3q + 2r−1 Ar q 2r−1 −2t At+1 q 2t +2t+2 Bt+3 q 2t+2 )n
1
2

r=3
t
X

+(−3q +

2

r−1

Ar q

2r−2 −1
2r−1

t

−2 At+1 q

2t−1 −1
2t

−2

t+2

Bt+3 q

2t+1 −1
2t+2

r=3

)



n

m−3

X
2r−2 −1
2m−4 −1
2m−2 −1
1
2
+2 · (−3q + 2r−1 Ar q 2r−1 − 2m−3 Am−2 q 2m−3 +2m−1 Bm q 2m−1 i)n
r=3

1

m−3
X

2r−1 Ar q

+(−3q 2 +

2r−2 −1
2r−1

− 2m−3 Am−2 q

2m−4 −1
2m−3

−2m−1 Bm q

r=3



1
2

+ 2 · −3q +

m−2
X

2r−1 Ar q

2r−2 −1
2r−1

− 2m−2 Am−1 q

2m−3 −1
2m−2

r=3

m−1
n

X
2m−2 −1
2r−2 −1
1
2r−1 Ar q 2r−1 + 2m−1 Am q 2m−1 i
+ −3q 2 +

2m−2 −1
2m−1


i)n

n

r=3

m−1
n 

X
2m−2 −1
2r−2 −1
1
m−1
r−1
Am q 2m−1 i
.
+ −3q 2 +
2 Ar q 2r−1 − 2
r=3

If 4 k s, then

 

1
1
1
1
q−1
4 · (q 2 + 4B3 q 4 )n + (q 2 − 4B3 q 4 )n
+···+
= 0] = q
+
16q



 1
1
3
1
3
1 n
n
n
2
8
2
8
2
4
+ 2 · (q + 8B4 q i) + (q − 8B4 q i) + 2 · −3q − 4A3 q

n 
n 
1
1
3
1
3
1
+ −3q 2 + 4A3 q 4 + 8A4 q 8 i + −3q 2 + 4A3 q 4 − 8A4 q 8 i
.

N[x16
1

x16
n

n−1

The integers Ar and |Br | are uniquely determined by (2).
Proof. See [1, Theorems 18 and 19].



Combining Lemmas 2 and 3, we deduce the following corollary.
Corollary 4. Under the conditions of Lemma 3, the reduced cyclotomic periods of
order 2m are given by Tables 1–3.
We are now in a position to prove the main result of this section.

6

IOULIA N. BAOULINA

Table 1. The reduced cyclotomic periods of order 2m in the case
when p ≡ 3 (mod 8), 2m−1 | s, m ≥ 4 (t runs from 2 to m − 3).
Value
1
1
q 2 ± 4B3 q 4
3
1
q 2 ± 8B4 q 8
t
2r−2 −1
2t+1 −1
P
2t−1 −1
1
2r−1 Ar q 2r−1 − 2t At+1 q 2t ± 2t+2 Bt+3 q 2t+2
−3q 2 +
1

−3q 2 +
1

−3q 2 +

r=3
m−2
P
r=3
m−1
P

2r−1 Ar q
2r−1 Ar q

2r−2 −1
2r−1
2r−2 −1
2r−1

− 2m−2 Am−1 q
± 2m−1 Am q

Multiplicity
2m−2
2m−3
2m−t−2

2m−3 −1
2m−2

2

2m−2 −1
2m−1

1

r=3

Table 2. The reduced cyclotomic periods of order 2m in the case
when p ≡ 3 (mod 8), 2m−2 k s, m ≥ 5 (t runs from 2 to m − 4).
Value
1
1
q 2 ± 4B3 q 4
3
1
q 2 ± 8B4 q 8
t
2r−2 −1
2t+1 −1
P
2t−1 −1
1
2r−1 Ar q 2r−1 − 2t At+1 q 2t ±2t+2 Bt+3 q 2t+2
−3q 2 +
1

−3q 2 +
1

−3q 2 +
1

−3q 2 +

r=3
m−3
P

2r−1 Ar q

r=3
m−1
P

2r−1 Ar q

r=3
m−2
P

2r−1 Ar q

2r−2 −1
2r−1
2r−2 −1
2r−1
2r−2 −1
2r−1

− 2m−3 Am−2 q
− 2m−2 Am−1 q
± 2m−1 Am q

2m−4 −1
2m−3

± 2m−1 Bm q

Multiplicity
2m−2
2m−3
2m−t−2
2m−2 −1
2m−1

2

i

2m−3 −1
2m−2

2m−2 −1
2m−1

2
1

i

r=3

Table 3. The reduced cyclotomic periods of order 16 in the case
when p ≡ 3 (mod 8), 4 k s.
Value
1
1
q 2 ± 4B3 q 4
3
1
q 2 ± 8B4 q 8 i
1
1
−3q 2 − 4A3 q 4
1
3
1
−3q 2 + 4A3 q 4 ± 8A4 q 8 i

Multiplicity
4
2
2
1

Theorem 5. Let p ≡ 3 (mod 8) and m ≥ 4. Then P2∗m (X) has a unique decomposition into irreducible polynomials over the rationals as follows:
(a) if 2m−1 | s, then
1

1

m−2

P2∗m (X) = (X − q 2 + 4B3 q 4 )2
1

3

1

1

m−2

(X − q 2 − 4B3 q 4 )2

m−3

1

3

m−3

× (X − q 2 + 8B4 q 8 )2 (X − q 2 − 8B4 q 8 )2
m−2


X
2r−2 −1
2m−3 −1 2
1
2r−1 Ar q 2r−1 + 2m−2 Am−1 q 2m−2
× X + 3q 2 −
r=3

ON PERIOD POLYNOMIALS OF DEGREE 2m

7

m−1


X
2r−2 −1
2m−2 −1
1
2
2r−1 Ar q 2r−1 + 2m−1 Am q 2m−1
× X + 3q −
r=3

m
 m−3

X
Y
2r−2 −1
1
m−t−2
r−1
r−1
2 Ar q 2
Qt (X)2
;
× X + 3q 2 −
r=3

t=2

(b) if 2m−2 k s and m ≥ 5, then
1

1

m−2

P2∗m (X) = (X − q 2 + 4B3 q 4 )2
1

3

1

1

m−2

(X − q 2 − 4B3 q 4 )2
1

m−3

3

m−3

× (X − q 2 + 8B4 q 8 )2 (X − q 2 − 8B4 q 8 )2
m−2


X
2m−3 −1 2
2r−2 −1
1
2r−1 Ar q 2r−1 + 2m−2 Am−1 q 2m−2
× X + 3q 2 −
r=3



m−1

X
2r−2 −1 2
2m−2 −1
1
r−1
2(m−1)
2
×
X + 3q 2 −
2 Ar q 2r−1
+2
Am q 2m−2
r=3


m−3

X
2m−4 −1 2
2r−2 −1
1
m−3
r−1
r−1
m−3
2
2
2
2 Ar q
+2
Am−2 q
×
X + 3q −
r=3

+2

2(m−1)

m−2

−1
2 2 2m−2
Bm
q

2 m−4
Y

m−t−2

Qt (X)2

;

t=2

(c) if 4 k s, then
1

1

1

1

1

1

∗
P16
(X) = (X + 3q 2 + 4A3 q 4 )2 (X − q 2 + 4B3 q 4 )4 (X − q 2 − 4B3 q 4 )4



1
1
3
1
3 2
× (X + 3q 2 − 4A3 q 4 )2 + 64A24 q 4
(X − q 2 )2 + 64B42 q 4 .

The integers Ar and |Br | are uniquely determined by (2), and
1
2

Qt (X) = X + 3q −

t
X

2r−1 Ar q

2r−2 −1
2r−1

+ 2t At+1 q

2t−1 −1
2t

+ 2t+2 Bt+3 q

2t+1 −1
2t+2

r=3



1
2

× X + 3q −

t
X

2r−1 Ar q

2r−2 −1
2r−1

+ 2t At+1 q

2t−1 −1
2t

− 2t+2 Bt+3 q

r=3



2t+1 −1
2t+2


.

Proof. First assume that 2m−1 | s. In this case, all the cyclotomic periods are
integers (see Table 1), and the result follows.
Next assume that 2m−2 k s and m ≥ 5. In this case, P2∗m (X) has two pairs of
complex conjugate roots, namely,
1
2

−3q +

m−1
X
r=3

2r−1 Ar q

2r−2 −1
2r−1

± 2m−1 Am q

2m−2 −1
2m−1

i

8

IOULIA N. BAOULINA

and
1
2

−3q +

m−3
X

2r−1 Ar q

2r−2 −1
2r−1

− 2m−3 Am−2 q

2m−4 −1
2m−3

± 2m−1 Bm q

2m−2 −1
2m−1

i,

r=3

and the remaining roots are integers (see Table 2). Hence P2∗m (X) has the irreducible
quadratic factors
m−1


X
2m−2 −1
2r−2 −1 2
1
r−1
r−1
2
2
X + 3q −
+ 22(m−1) A2m q 2m−2
2 Ar q
r=3

and



1
2

m−3
X

X + 3q −

2

r−1

Ar q

2r−2 −1
2r−1

+2

m−3

Am−2 q

r=3

2m−4 −1
2m−3

2

2
+ 22(m−1) Bm
q

2m−2 −1
2m−2

(the last one occurs with multiplicity 2). The remaining factors are linear and occur
with the multiplicities given in Table 2.
1
3
1
∗
Finally, if 4 k s, then P16
(X) has complex conjugate roots q 2 ± 8B4 q 8 i, −3q 2 +
3
1
4A3 q 4 ± 8A4 q 8 i, and the other roots are integers (see Table 3). Taking into account the multiplicities given in Table 3, we obtain the desired factorization. This
completes the proof.

Remark 1. The result of Gurak [7, Proposition 3.3(iii)] can be reformulated in terms
of A3 and B3 . Namely, P8∗ (X) has the following factorization into irreducible polynomials over the rationals:
P8∗ (X) = (X − q 1/2 )2 (X − q 1/2 + 4B3 q 1/4 )2 (X − q 1/2 − 4B3 q 1/4 )2
× (X + 3q 1/2 + 4A3 q 1/4 )(X + 3q 1/2 − 4A3 q 1/4 )

if 4 | s,

P8∗ (X) = (X − 3q 1/2 )2
× (X + q 1/2 )2 + 16A23 q 1/2



(X + q 1/2 )2 + 16B32 q 1/2

We see that Theorem 5 is not valid for m = 3.

2

if 2 k s.

4. Factorization of P2∗m (X) in the case p ≡ 5 (mod 8)
In this section, p ≡ 5 (mod 8), 2m | (q − 1), m ≥ 3. As in the previous section,
we have ord2 (q − 1) = ord2 (ps − 1) = ord2 s + 2, and thus

m

if 2m | s,
2
gcd(2m , (q − 1)/(p − 1)) = 2m−1 if 2m−1 k s,

2m−2 if 2m−2 k s.

Using [9, Theorem 4], we see that P2∗m (X) splits over the rationals into linear factors
if 2m | s, splits into linear and quadratic irreducible factors if 2m−1 k s, and splits
into linear, quadratic and biquadratic irreducible factors if 2m−2 k s.
For 2 ≤ r ≤ m − 1, define the integers Cr and Dr by
r−1

ps/2

= Cr2 + Dr2 ,

Cr ≡ −1 (mod 4),

p ∤ Cr .

(3)

ON PERIOD POLYNOMIALS OF DEGREE 2m

9

If 2m−1 | s, we extend this notation to r = m. It is well known [3, Lemma 3.0.1]
that for each fixed r, the conditions (3) determine Cr and |Dr | uniquely.
Lemma 6. Let p ≡ 5 (mod 8) and m ≥ 3. If 2m−1 | s, then
m

m

N [x21 + · · · + x2n = 0]

 1

1
1
1
q−1
n−1
=q
+ m · 2m−2 · (q 2 + 2D2 q 4 )n + (q 2 − 2D2 q 4 )n
2 q
t
m−2

X
X
2t+1 −1
2t −1
2r−1 −1
1
2r−1 Cr q 2r −2t Ct+1 q 2t+1 +2t+1 Dt+2 q 2t+2 )n
+
2m−t−2 (−q 2 +
t=1

1

+(−q 2 +

r=2
t
X

2r−1 Cr q

2r−1 −1
2r

2t −1

−2t Ct+1 q 2t+1 −2t+1 Dt+2 q

2t+1 −1
2t+2

)n

r=2



1
2



1
2

+ −q +
+ −q +

m−1
X

r=2
m
X

2
2

r−1

r−1

Cr q

Cr q

2r−1 −1
2r

2r−1 −1
2r

r=2

−2
n 

m−1

Cm q

2m−1 −1
2m



n

.

If 2m−2 k s, then
m

m

N [x21 + · · · + x2n = 0]

 1

1
1
1
q−1
n−1
=q
+ m · 2m−2 · (q 2 + 2D2 q 4 )n + (q 2 − 2D2 q 4 )n
2 q
m−3
t

X
X
2t+1 −1
2t −1
2r−1 −1
1
m−t−2
2
(−q +
+
2
2r−1 Cr q 2r −2t Ct+1 q 2t+1 +2t+1 Dt+2 q 2t+2 )n
t=1

1
2

+(−q +

r=2
t
X

2

r−1

Cr q

2r−1 −1
2r

t

−2 Ct+1 q

2t −1
2t+1

−2

t+1

Dt+2 q

2t+1 −1
2t+2

r=2



1
2

+ −q +

m−2
X

2r−1 Cr q

2r−1 −1
2r

+ 2m−2 Cm−1 q

2m−2 −1
2m−1

r=2

+2

m−2

q

2m−1 −1
2m

q
n
1
i 2(q 2m−1 − Cm−1 )

 1 m−2
X
2m−2 −1
2r−1 −1
+ −q 2 +
2r−1 Cr q 2r + 2m−2 Cm−1 q 2m−1
r=2

−2

m−2

q

2m−1 −1
2m

q
n
1
m−1
2
i 2(q
− Cm−1 )

)

n



10

IOULIA N. BAOULINA

Table 4. The reduced cyclotomic periods of order 2m in the case
when p ≡ 5 (mod 8), 2m−1 | s, m ≥ 3 (t runs from 1 to m − 2).
Value
1
1
q 2 ± 2D2 q 4
t
2t −1
2t+1 −1
P
2r−1 −1
1
2r−1 Cr q 2r − 2t Ct+1 q 2t+1 ± 2t+1 Dt+2 q 2t+2
−q 2 +
1

−q 2 +

r=2
m−1
P

2r−1 Cr q

2r−1 −1
2r

± 2m−1 Cm q

Multiplicity
2m−2
2m−t−2

2m−1 −1
2m

1

r=2

Table 5. The reduced cyclotomic periods of order 2m in the case
when p ≡ 5 (mod 8), 2m−2 k s, m ≥ 3 (t runs from 1 to m − 3).
Value
1
1
q 2 ± 2D2 q 4
t
2t −1
2t+1 −1
P
2r−1 −1
1
2r−1 Cr q 2r − 2t Ct+1 q 2t+1 ± 2t+1 Dt+2 q 2t+2
−q 2 +
1

−q 2 +

r=2
m−2
P

2r−1 Cr q

2r−1 −1
2r

+ 2m−2 Cm−1 q

Multiplicity
2m−2
2m−t−2

2m−2 −1
2m−1

r=2

1
2

−q +

m−2
P

±2m−2 q
2r−1 Cr q

2r−1 −1
2r

2m−1 −1
2m

− 2m−2 Cm−1 q

q
1
2(q 2m−1 − Cm−1 )

1

q
1
i 2(q 2m−1 + Cm−1 )

1

i

2m−2 −1
2m−1

r=2

±2

m−2

q

2m−1 −1
2m

 1 m−2
X
2m−2 −1
2r−1 −1
+ −q 2 +
2r−1 Cr q 2r − 2m−2 Cm−1 q 2m−1
r=2

+2

m−2

q

2m−1 −1
2m

q
n
1
m−1
2
+ Cm−1 )
i 2(q

 1 m−2
X
2m−2 −1
2r−1 −1
+ −q 2 +
2r−1 Cr q 2r − 2m−2 Cm−1 q 2m−1
r=2

−2

m−2

q

2m−1 −1
2m


q
 n
1
m−1
i 2(q 2
+ Cm−1
.

The integers Cr and |Dr | are uniquely determined by (3).
Proof. See [1, Theorems 22 and 23].



Combining Lemmas 2 and 6, we obtain the following corollary.
Corollary 7. Under the conditions of Lemma 6, the reduced cyclotomic periods of
order 2m are given by Tables 4 and 5.
We are now ready to establish our second main result.
Theorem 8. Let p ≡ 5 (mod 8) and m ≥ 4. Then P2∗m (X) has a unique decomposition into irreducible polynomials over the rationals as follows:

ON PERIOD POLYNOMIALS OF DEGREE 2m

11

(a) if 2m | s, then
1

1

1

m−2

1

m−2

P2∗m (X) = (X − q 2 + 2D2 q 4 )2 (X − q 2 − 2D2 q 4 )2
m−1


X
2r−1 −1
2m−1 −1
1
2r−1 Cr q 2r + 2m−1 Cm q 2m
× X + q2 −
r=2



1
2

× X +q −

m
X

2

r−1

Cr q

2r−1 −1
2r

r=2

 m−2
Y

m−t−2

Rt (X)2

;

t=1

(b) if 2m−1 k s, then
1

1

1

m−2

1

m−2

P2∗m (X) = (X − q 2 + 2D2 q 4 )2 (X − q 2 − 2D2 q 4 )2
!
m−1


X
2m−1 −1
2r−1 −1 2
1
2
2r−1 Cr q 2r
−22(m−1) Cm
q 2m−1
×
X + q2 −
r=2

×


1
X + q2 −

m−2
X

2r−1 Cr q

2r−1 −1
2r

+ 2m−2 Cm−1 q

2m−2 −1
2m−1

r=2

2
− 22(m−1) Dm
q

2m−1 −1
2m−1

! m−3
Y

m−t−2

Rt (X)2

2

;

t=1

(c) if 2m−2 k s, then
1

1

m−2

1

1

m−2

P2∗m (X) = (X − q 2 + 2D2 q 4 )2 (X − q 2 − 2D2 q 4 )2

m−3

X
2m−3 −1 2
2r−1 −1
1
2
2r−1 Cr q 2r + 2m−3 Cm−2 q 2m−2
×
X +q −
r=2

−2
×

2(m−2)

m−2

2
−1
2
Dm−1
q 2m−2

2

2

m−2

X
2m−2 −1
2r−1 −1 2
1
2m−3
r−1
2(m−2) 2
r
m−2
2
2
2
+2
q
2 Cr q
X+ q −
+2
Cm−1 q
r=2

2
− 22(m−1) Cm−1
q

×

m−4
Y
t=1

m−t−2

Rt (X)2

.

2m−2 −1
2m−2



1
2

m−2
X

X + (2m−2 + 1)q −

r=2

2r−1 Cr q

2r−1 −1
2r

2

!

12

IOULIA N. BAOULINA

The integers Cr and |Dr | are uniquely determined by (3), and


1
2

Rt (X) = X + q −

t
X

2r−1Cr q

2r−1 −1
2r

2t −1

+ 2t Ct+1 q 2t+1 + 2t+1 Dt+2 q

2t+1 −1
2t+2

r=2



t
X

1
2

× X +q −

2r−1 Cr q

2r−1 −1
2r

2t −1

+ 2t Ct+1 q 2t+1 − 2t+1 Dt+2 q



2t+1 −1
2t+2

r=2



.

Proof. First suppose that 2m | s. It follows from Table 4 that all the cyclotomic
periods are integers in this case. This yields the desired factorization.
Next suppose that 2m−1 k s. In this case, we have two pairs of algebraic conjugates
of degree 2 among the cyclotomic periods, namely,
1

−q 2 +

m−1
X

2r−1 Cr q

2r−1 −1
2r

± 2m−1 Cm q

2m−1 −1
2m

r=2

and
1
2

−q +

m−2
X

2r−1Cr q

2r−1 −1
2r

− 2m−2 Cm−1 q

2m−2 −1
2m−1

± 2m−1 Dm q

2m−1 −1
2m

,

r=2

and the remaining roots of P2∗m (X) are integers (see Table 4). Therefore P2∗m (X)
has the irreducible quadratic factors


1
2

X +q −

m−1
X

2r−1 Cr q

r=2

2r−1 −1
2r

2

2
−22(m−1) Cm
q

2m−1 −1
2m−1

and


1
2

X +q −

m−2
X

2r−1 Cr q

2r−1 −1
2r

+ 2m−2 Cm−1 q

2m−2 −1
2m−1

r=2

2

2
− 22(m−1) Dm
q

2m−1 −1
2m−1

,

and the remaining factors are linear. Taking into account the multiplicities given in
Table 4, we obtain the asserted result.
Finally, suppose that 2m−2 k s. In this case, there is a pair of algebraic conjugates
of degree 2 among the cyclotomic periods, namely,
1
2

−q +

m−3
X

2r−1 Cr q

2r−1 −1
2r

− 2m−3 Cm−2 q

2m−3 −1
2m−2

± 2m−2 Dm−1 q

2m−2 −1
2m−1

.

r=2

This implies that P2∗m (X) has the irreducible quadratic factor
m−3


X
2m−3 −1 2
2m−2 −1
2r−1 −1
1
2
2r−1Cr q 2r + 2m−3 Cm−2 q 2m−2
− 22(m−2) Dm−1
q 2m−2
X + q2 −
r=2

ON PERIOD POLYNOMIALS OF DEGREE 2m

13

occurring with multiplicity 2. Furthermore, the polynomials


1

X + q2 −

m−2
X

2r−1 Cr q

2r−1 −1
2r

− 2m−2 Cm−1 q

2m−2 −1
2m−1

r=2

+2

m−2

q

2m−1 −1
2m

q

1
m−1
2
i 2(q
− Cm−1 )

m−2

X
2m−2 −1
2r−1 −1
1
2r−1 Cr q 2r − 2m−2 Cm−1 q 2m−1
× X + q2 −
r=2

−2

m−2

q

2m−1 −1
2m

q

1
i 2(q 2m−1 − Cm−1 )

m−2


X
2m−2 −1 2
2r−1 −1
1
2r−1 Cr q 2r − 2m−2 Cm−1 q 2m−1
= X + q2 −
r=2

+ 22m−3 q − 22m−3 q

2m−1 −1
2m−1

Cm−1

and


1
2

X +q −

m−2
X

2r−1 Cr q

2r−1 −1
2r

+ 2m−2 Cm−1 q

2m−2 −1
2m−1

r=2

+2

m−2

q

2m−1 −1
2m

q

1
i 2(q 2m−1 + Cm−1 )

m−2

X
2m−2 −1
1
2r−1 −1
× X + q2 −
2r−1 Cr q 2r + 2m−2 Cm−1 q 2m−1
r=2

−2


1
2

= X +q −

m−2
X

2r−1 Cr q

2r−1 −1
2r

m−2

q

2m−1 −1
2m

+ 2m−2 Cm−1 q

q

1
i 2(q 2m−1 + Cm−1 )

2m−2 −1
2m−1

r=2

+ 22m−3 q + 22m−3 q

2

2m−1 −1
2m−1

Cm−1

belong to R[X] \ Q[X] and are irreducible over the reals. Since 2m−2 | s and R[X] is
a unique factorization domain, it follows that the product of the above polynomials,
namely,


1
2

X +q −

m−2
X

2

r−1

Cr q

2r−1 −1
2r

r=2

−2

2(m−1)

m−2

2
−1
2
Cm−1
q 2m−2



2

+2

X + (2

2(m−2)

m−2

m−2

2
−1
2
Cm−1
q 2m−2

1
2

+ 1)q −

m−2
X
r=2

+2

2m−3

2r−1 Cr q

q

2

2r−1 −1
2r

2

14

IOULIA N. BAOULINA

belongs to Q[X] and is irreducible over the rationals. We see from Table 5 that
it occurs with multiplicity 1. The remaining factors are linear and occur with the
multiplicities given in Table 5. This concludes the proof.

Remark 2. Myerson has shown [9, Theorem 17] that P4∗(X) is irreducible if 2 ∤ s,
P4∗ (X) = (X + q 1/2 + 2C2 q 1/4 )(X + q 1/2 − 2C2 q 1/4 )
× (X − q 1/2 + 2D2 q 1/4 )(X − q 1/2 − 2D2 q 1/4 )

if 4 | s,

and, with a slight modification,
P4∗ (X) = (X + q 1/2 )2 − 4C22 q 1/2



(X − q 1/2 )2 − 4D22 q 1/2



if 2 k s,

where in the latter case the quadratic polynomials are irreducible over the rationals.
Furthermore, the result of Gurak [7, Proposition 3.3(ii)] can be reformulated in
terms of C2 , D2 , C3 and D3 . Namely, P8∗ (X) has the following factorization into
irreducible polynomials over the rationals:
P8∗ (X) = (X − q 1/2 + 2D2 q 1/4 )2 (X − q 1/2 − 2D2 q 1/4 )2
× (X + q 1/2 − 2C2 q 1/4 + 4C3 q 3/8 )
× (X + q 1/2 − 2C2 q 1/4 − 4C3 q 3/8 )
× (X + q 1/2 + 2C2 q 1/4 + 4D3 q 3/8 )
× (X + q 1/2 + 2C2 q 1/4 − 4D3 q 3/8 )
P8∗ (X) = (X − q 1/2 + 2D2 q 1/4 )2 (X − q 1/2 − 2D2 q 1/4 )2

× (X + q 1/2 − 2C2 q 1/4 )2 − 16C32 q 3/4

× (X + q 1/2 + 2C2 q 1/4 )2 − 16D32 q 3/4
2
P8∗ (X) = (X − q 1/2 )2 − 4D22 q 1/2


2
2 1/2
1/2 2
1/2 2
2 1/2
× (X + q ) + 4C2 q + 8q − 16C2 q (X + 3q )

if 8 | s,

if 4 k s,

if 2 k s.

Thus part (a) of Theorem 8 remains valid for m = 2 and m = 3. Moreover, for
m = 3, part (b) of Theorem 8 is still valid (cf. Remark 1).
5. Weight distributions of certain irreducible cyclic codes
Let Fpℓ be a subfield of Fq (i.e., ℓ divides s). A k-dimensional linear subspace C of
Fnpℓ is called a linear [n, k] code over Fpℓ and n is called the length of C. The elements
of C are called codewords, and the number w(c) of nonzero components in c ∈ C is
called the Hamming weight of c. The polynomial 1 + a1 X + a2 X 2 + · · · + an X n is
called the weight enumerator of C and the vector (1, a1 , . . . , an ) is called the weight
distribution of C, where aj denotes the number of codewords with Hamming weight
j in C.
A linear [n, k] code C is called cyclic if (c0 , c1 , . . . , cn−1 ) ∈ C implies
(cn−1 , c0 , c1 , . . . , cn−2 ) ∈ C. Assume that p ∤ n. By identifying any vector

ON PERIOD POLYNOMIALS OF DEGREE 2m

15

(c0 , c1 , . . . , cn−1) ∈ Fnpℓ with c0 + c1 X + · · · + cn−1 X n−1 ∈ Fpℓ [X]/hX n − 1i, any
linear cyclic code C of length n over Fpℓ corresponds to an ideal of the principal
ideal ring Fpℓ [X]/hX n − 1i. If f (X) is an irreducible divisor of X n − 1 and C corresponds to the ideal generated by (X n − 1)/f (X), then C is called an irreducible
cyclic code.
Now let N > 1 be a positive divisor of q − 1. As before, γ denotes a generator
of the cyclic group F∗q . Put θ = γ N . If s/ℓ is the multiplicative order of pℓ modulo
(q − 1)/N and C is an irreducible cyclic [(q − 1)/N, s/ℓ] code over Fpℓ , then C is
isomorphic to Fq and can be represented as
C = {(TrFq /Fpℓ (β), TrFq /Fpℓ (βθ), . . . , TrFq /Fpℓ (βθ((q−1)/N )−1 )) : β ∈ Fq },

(4)

where TrFq /Fpℓ denotes the trace mapping from Fq to Fpℓ . It has been observed in
[5] that the determination of the weight distribution of C is equivalent to that of the
cyclotomic periods of order e = gcd(N, (q − 1)/(pℓ − 1)) for Fq . More precisely, if
β ∈ γ j H for some j ∈ {0, 1, . . . , e − 1}, then
(pℓ − 1)(q − ηj∗ )
(pℓ − 1)(q − 1 − eηj )
w(c(β)) =
=
,
pℓ N
pℓ N

(5)

where
c(β) = (TrFq /Fpℓ (β), TrFq /Fpℓ (βθ), . . . , TrFq /Fpℓ (βθ((q−1)/N )−1 ))
(see [5, Equation (12)]). Using this formula, the authors of [5] computed weight
enumerators of C when e = gcd(N, (q − 1)/(pℓ − 1)) = 1 or 2 or 3 or 4; and when
there exists an integer v such that pv ≡ −1 (mod e). They also noticed that the case
e ∈ {5, 6, 8, 12} can be treated in a similar manner, however, the weight formulas
will be very complicated; see [10] for some results in this direction.
Assume now that p ≡ 3 or 5 (mod 8) and gcd(N, (q − 1)/(pℓ − 1)) = 2m with
m ≥ 3. We claim that s/ℓ is the multiplicative order of pℓ modulo (q−1)/N. Indeed,
it follows from [4, Proposition 1] that
(
q−1
ps − 1
ord2 s/ℓ
if ℓ is even,
ord2 ℓ
= ord2 ℓ
=
p −1
p −1
ord2 (p + 1) + ord2 s − 1 if ℓ is odd.
Therefore, 4 divides s/ℓ. This implies that (pℓ − 1) | (ps/2 − 1) and (ps/2 + 1)/2 is
odd. Since
 ps/2 + 1 2(ps/2 − 1) 
= 2m ,
m ≥ 3,
·
gcd N,
2
pℓ − 1

we have gcd(N, (ps/2 + 1)/2) = 1. Thus (ps/2 + 1)/2 divides (q − 1)/N. Hence, if ν
s/2
is the multiplicative order of p modulo (q − 1)/N, then 2 · p 2+1 | (pν − 1), which
yields ν > s/2. Since ν must divide s, we conclude that ν = s, and so s/ℓ is the
multiplicative order of pℓ modulo (q − 1)/N. Combining the results given in Table 1
and Remark 1 with (5), we deduce the following theorem.

16

IOULIA N. BAOULINA

Theorem 9. Let p ≡ 3 (mod 8), N be a positive divisor of q − 1 with gcd(N, (q −
1)/(pℓ − 1)) = 2m , m ≥ 3. Then C in (4) is an irreducible cyclic [(q − 1)/N, s/ℓ]
code over Fpℓ with the weight enumerator
q − 1 (pℓ −1)(q−q 21 )/pℓ N
X
4
q − 1 (pℓ −1)(q−q 21 +4B3 q 14 )/pℓ N q − 1 (pℓ −1)(q−q 21 −4B3 q 14 )/pℓ N
+
+
X
X
4
4
q − 1 (pℓ −1)(q+3q 21 +4A3 q 14 )/pℓ N q − 1 (pℓ −1)(q+3q 21 −4A3 q 14 )/pℓ N
X
X
+
+
8
8

1+

if m = 3, and with the weight enumerator
q − 1 (pℓ −1)(q−q 12 +4B3 q 14 )/pℓ N q − 1 (pℓ −1)(q−q 21 −4B3 q 14 )/pℓ N
+
X
X
4
4
q − 1 (pℓ −1)(q−q 12 +8B4 q 38 )/pℓ N q − 1 (pℓ −1)(q−q 21 −8B4 q 38 )/pℓ N
X
X
+
+
8
8
2t+1 −1
2r−2 −1
2t−1 −1
m−3
X q − 1 (pℓ −1)(q+3q 21 − Pt 2r−1 Ar q 2r−1 +2t At+1q 2t +2t+2 Bt+3 q 2t+2 )/pℓ N
r=3
X
+
t+2
2
t=2

1+

+

m−3
X
t=2

1

t
P

q − 1 (pℓ −1)(q+3q 2 −r=3 2r−1 Ar q
X
2t+2

2t+1 −1
2r−2 −1
2t−1 −1
2r−1 +2t At+1 q
2t
−2t+2 Bt+3 q 2t+2 )/pℓ N

1

m−2
P

2m−3 −1
2r−2 −1
2r−1 +2m−2 Am−1 q 2m−2 )/pℓ N

1

m−1
P

2m−2 −1
2r−2 −1
2r−1 +2m−1 Am q 2m−1 )/pℓ N

1

m−1
P

2r−2 −1
2r−1 −2m−1 A

q − 1 (pℓ −1)(q+3q 2 − r=3 2r−1 Ar q
+ m−1 X
2
q − 1 (pℓ −1)(q+3q 2 − r=3 2r−1 Ar q
+ m X
2
q − 1 (pℓ −1)(q+3q 2 − r=3 2r−1 Ar q
+ m X
2

mq

2m−2 −1
2m−1 )/pℓ N

if m ≥ 4. The integers Ar and |Br | are uniquely determined by (2).
In a similar manner, making use of Table 4 and equality (5), we obtain the following result.
Theorem 10. Let p ≡ 5 (mod 8), N be a positive divisor of q − 1 with gcd(N, (q −
1)/(pℓ − 1)) = 2m , m ≥ 3. Then C in (4) is an irreducible cyclic [(q − 1)/N, s/ℓ]
code over Fpℓ with the weight enumerator
q − 1 (pℓ −1)(q−q 21 +2D2 q 14 )/pℓ N q − 1 (pℓ −1)(q−q 12 −2D2 q 14 )/pℓ N
X
X
+
4
4
r−1
2t −1
2t+1 −1
m−2
X q − 1 (pℓ −1)(q+q 12 − Pt 2r−1 Cr q 2 2r −1 +2t Ct+1 q 2t+1 +2t+1 Dt+2 q 2t+2 )/pℓ N
r=2
X
+
t+2
2
t=1

1+

ON PERIOD POLYNOMIALS OF DEGREE 2m

+

m−2
X
t=1

1

t
P

q − 1 (pℓ −1)(q+q 2 −r=2 2r−1 Cr q
X
2t+2

2t −1
2t+1 −1
2r−1 −1
2r
+2t Ct+1 q 2t+1 −2t+1 Dt+2 q 2t+2 )/pℓ N

1

m−1
P

2m−1 −1
2r−1 −1
2r
+2m−1 Cm q 2m )/pℓ N

1

m−1
P

2r−1 −1

q − 1 (pℓ −1)(q+q 2 − r=2 2r−1 Cr q
+ m X
2

17

2m−1 −1

q − 1 (pℓ −1)(q+q 2 − r=2 2r−1 Cr q 2r −2m−1 Cm q 2m
+ m X
2
The integers Cr and |Dr | are uniquely determined by (3).

)/pℓ N

.

References
[1] I. N. Baoulina, On a class of diagonal equations over finite fields, Finite Fields Appl. 40 (2016)
201–223.
[2] L. D. Baumert, J. Mykkeltveit, Weight distributions of some irreducible cyclic codes, DSN
Progr. Rep. 16 (1973) 128–131.
[3] B. C. Berndt, R. J. Evans, K. S. Williams, Gauss and Jacobi Sums, Wiley-Interscience, New
York, 1998.
[4] R. F. Beyl, Cyclic subgroups of the prime residue group, Amer. Math. Monthly 84 (1977)
46–48.
[5] C. Ding, J. Yang, Hamming weights in irreducible cyclic codes, Discrete Math. 313 (2013)
434–446.
[6] S. Gurak, Period polynomials for Fp2 of fixed small degree, in: Finite Fields and Applications,
Springer Berlin Heidelberg, 2000, pp. 196–207.
[7] S. J. Gurak, Period polynomials for Fq of fixed small degree, in: Number Theory, in: CRM
Proc. and Lect. Notes, vol. 36, American Mathematical Society, 2004, pp. 127–145.
[8] A. Hoshi, Explicit lifts of quintic Jacobi sums and period polynomials for Fq , Proc. Japan
Acad., Ser. A 82 (2006) 87–92.
[9] G. Myerson, Period polynomials and Gauss sums for finite fields, Acta Arith. 39 (1981) 251–
264.
[10] C. Tang, Y. Qi, M. Xu, B. Wang, Y. Yang, A note on weight distributions of irreducible cyclic
codes, preprint (2012), arXiv:1202.3514.
[11] J. Wolfmann, The number of solutions of certain diagonal equations over finite fields, J. Number Theory 42 (1992) 247–257.
[12] J. Wolfmann, New results on diagonal equations over finite fields from cyclic codes, in: Finite Fields: Theory, Applications, and Algorithms, in: Contemp. Math., vol. 168, American
Mathematical Society, 1994, pp. 387–395.
Department of Mathematics, Moscow State Pedagogical University,, Krasnoprudnaya str. 14, Moscow 107140, Russia
E-mail address: jbaulina@mail.ru

