Professional Documents
Culture Documents
Irreducible Polynomials
Giorgos N. Kapetanakis
(joint work with T. Garefalakis)
University of Crete
Giorgos Kapetanakis (Crete) On the H-M conjecture for Self-Reciprocals Fq10 – July 14, 2011 1 / 18
Motivation
Theorem (Wan)
If either q > 19 or n ≥ 36, then the Hansen-Mullen conjecture is true.
Theorem (Ham-Mullen)
The Hansen-Mullen conjecture is true.
Giorgos Kapetanakis (Crete) On the H-M conjecture for Self-Reciprocals Fq10 – July 14, 2011 2 / 18
Preliminaries
Theorem (Carlitz)
If Q is a self-reciprocal monic irreducible polynomial over Fq , then deg Q is even
and Q = X n P (X + X −1 ) for some monic irreducible P , such that ψ(P ) = −1,
where ψ(P ) = (P |X 2 − 4), the Jacobi symbol of P modulo X 2 − 4. The
converse also holds.
Pn P2n
We denote P = i=0 Pi X i and Q = i=0 Qi X i , and we compute
n n X i
X X i
Q = X n P (X + X −1 ) = Pi X n−i (X 2 + 1)i = Pi X n−i+2j .
i=0 i=0 j=0
j
Giorgos Kapetanakis (Crete) On the H-M conjecture for Self-Reciprocals Fq10 – July 14, 2011 3 / 18
Preliminaries
Lemma
Let P be an irreducible polynomial of debree n ≥ 2 and constant term 1. Then P̂
is a monic irreducible of degree n and P̂i = 4n−i Pn−i . Further, ψ(P ) = −εψ(P̂ ),
where (
−1 , if q ≡ 1 (mod 4) or n is even.
ε :=
1 , otherwise.
X n − j X n − j k
X
Qk = k−j P̂n−j = k−j 4j Pj = δj hj ,
0≤j≤k 2 0≤j≤k 2 j=0
k−j∈2Z k−j∈2Z
n−j j
(
k−j 4 , if k − j ≡ 0 (mod 2),
where δj := 2 and h a polynomial of degree at
0 , if k − j ≡ 1 (mod 2)
most k such that P ≡ h mod X k+1 .
Giorgos Kapetanakis (Crete) On the H-M conjecture for Self-Reciprocals Fq10 – July 14, 2011 4 / 18
Preliminaries
τn,k : Gk → Fq
Pk
h 7→ j=0 δj hj .
Proposition
Let n ≥ 2, 1 ≤ k ≤ n, and a ∈ Fq . Suppose that there exist an irreducible
polynomial P , with constant term 1, such that ψ(P ) = ε and P ≡ h
(mod X k+1 ) for some h ∈ Gk with τn,k (h) = a. Then there exists a
self-reciprocal monic irreducible polynomial Q, of degree 2n, with Qk = a.
Proposition
Pk
Let a, n, k as above and f = i=0 fi X i ∈ Fq [X], with f0 = 1 and fi = δk−i δk−1 ,
1 ≤ i ≤ k − 1, and fk = δk−1 (δ0 − a). Then the map σn,k,a : τn,k
−1
(a) → Gk−1
k+1
defined by σn,k,a (h) = hf mod X is a bijection.
Giorgos Kapetanakis (Crete) On the H-M conjecture for Self-Reciprocals Fq10 – July 14, 2011 5 / 18
Character sums estimates
Weil’s theorem of the Riemann Hypothesis for function fields implies the following.
Theorem (Weil)
Let M ∈ Fq [X] be non-constant and let χ be a non-trivial Dirichlet character
modulo M .
1 Then
n
|cn (χ)| ≤ (deg(M ) − 1)q 2 .
2 If χ(F∗q ) = 1, then
n
|1 + cn (χ)| ≤ (deg(M ) − 2)q 2 .
Giorgos Kapetanakis (Crete) On the H-M conjecture for Self-Reciprocals Fq10 – July 14, 2011 7 / 18
Character sums estimates
Theorem (Garefalakis)
Let χ be a non-trivial Dirichlet character modulo X k+1 . Then the following
bounds hold:
1 For every n ∈ N, n ≥ 2,
k+5 n
X
χ(P ) ≤ n q .
2
P monic of degree n
ψ(P )=−1
Giorgos Kapetanakis (Crete) On the H-M conjecture for Self-Reciprocals Fq10 – July 14, 2011 8 / 18
Character sums estimates
Proposition
Let n, k ∈ N, 1 ≤ k ≤ n and let χ be a non-trivial Dirichlet character modulo
X k+1 , such that χ(F∗q ) = 1, then
X n
Λ(h)χ(h) ≤ 1 + kq 2 , for n ≥ 1
deg(h)=n
h =1
0
and
k+5 n
X
χ(P ) ≤ n q ,
2 for n ≥ 2,
P irreducible of degree n
P =1, ψ(P )=ε
0
Giorgos Kapetanakis (Crete) On the H-M conjecture for Self-Reciprocals Fq10 – July 14, 2011 9 / 18
Weighted sum
Definition
Let n, k, a be as usual. Inspired by Wan’s work we introduce the following
weighted sum.
X X
wa (n, k) = Λ(σn,k,a (h)) 1.
−1 P irreducible of degree n
h∈τn,k (a)
ψ(P )=ε, P0 =1, P ≡h (mod X k+1 )
It is clear that if wa (n, k) > 0, then there exists some self-reciprocal, monic
irreducible polynomial Q, of degree 2n with Qk = a.
Giorgos Kapetanakis (Crete) On the H-M conjecture for Self-Reciprocals Fq10 – July 14, 2011 10 / 18
Weighted sum
Let U be the subgroup of (Fq [X]/X k+1 Fq [X])∗ that contains classes of
polynomials with constant term equal to 1.
The set Gk−1 is a set of representatives of U .
The group of characters of U consists of those characters that are trivial on
F∗q .
Using these and with the help of the orthogonality relations we get that
1 X X X
wa (n, k) = χ(P ) Λ(σn,k,a (h))χ̄(h).
qk −1
b P irreducible of degree n
χ∈U h∈τn,k (a)
ψ(P )=ε, P0 =1
Giorgos Kapetanakis (Crete) On the H-M conjecture for Self-Reciprocals Fq10 – July 14, 2011 11 / 18
Weighted sum
Giorgos Kapetanakis (Crete) On the H-M conjecture for Self-Reciprocals Fq10 – July 14, 2011 12 / 18
Weighted sum
We have that
k−1 k−1
X X X X qk − 1
Λ(h) = Λ(h) = qm =
m=0 deg(h)=m m=0
q−1
h∈Gk−1
h0 =1
and (for χ 6= χo )
X k−1 k
X m q2 −1
Λ(h)χ̄(h) ≤ 1 +
(1 + kq ) = k √
2 .
h∈Gk−1 m=1
q−1
Giorgos Kapetanakis (Crete) On the H-M conjecture for Self-Reciprocals Fq10 – July 14, 2011 13 / 18
Bounds
As mentioned before, if wa (n, k) > 0, then there exists some self-reciprocal, monic
irreducible polynomial Q, of degree 2n, with Qk = a. This fact and the last
relation are enough to prove the following.
Theorem
Let n, k ∈ N, n ≥ 2, 1 ≤ k ≤ n and a ∈ Fq . There exists a monic, self-reciprocal
irreducible polynomial Q, of degree 2n with Qk = a, if the following bound holds.
k(k + 5) √ n+k
πq (n, ε) ≥ ( q + 1)q 2 .
n
Giorgos Kapetanakis (Crete) On the H-M conjecture for Self-Reciprocals Fq10 – July 14, 2011 14 / 18
Bounds
Carlitz computed
1 n
2n (q − 1) , if n = 2s ,
πq (n, −1) = 1
P n
2n d|n µ(d)q d , otherwise.
d odd
Giorgos Kapetanakis (Crete) On the H-M conjecture for Self-Reciprocals Fq10 – July 14, 2011 15 / 18
Bounds
This result, combined with the last Theorem, are enough to prove the following.
Theorem
Let n, k ∈ N, n ≥ 2, 1 ≤ k ≤ n, and a ∈ Fq . There exists a monic, self-reciprocal
irreducible polynomial Q, of degree 2n with Qk = a if the following bound holds.
n−k−1 16 1
q 2 ≥ k(k + 5) + .
5 2
Giorgos Kapetanakis (Crete) On the H-M conjecture for Self-Reciprocals Fq10 – July 14, 2011 16 / 18
Further research
Giorgos Kapetanakis (Crete) On the H-M conjecture for Self-Reciprocals Fq10 – July 14, 2011 17 / 18
References
L. Carlitz.
Some theorems on irreducible polynomials over a finite field.
Journal für die Reine und Angewandte Mathematik, 1967(227):212–220, 1967.
T. Garefalakis.
Self-reciprocal irreducible polynomials with prescribed coefficients.
Finite Fields and Their Applications, 17(2):183–193, 2010.
M. Rosen.
Number Theory in Function Fields.
Springer-Verlag, New York, 2002.
D. Wan.
Generators and irreducible polnomials over finite fields.
Mathematics of Computation, 66(219):1195–1212, 1997.
Giorgos Kapetanakis (Crete) On the H-M conjecture for Self-Reciprocals Fq10 – July 14, 2011 18 / 18