A Survey of Polynomial Results (Number Theory Seminar) Abdullah - - PowerPoint PPT Presentation

a survey of polynomial results
SMART_READER_LITE
LIVE PREVIEW

A Survey of Polynomial Results (Number Theory Seminar) Abdullah - - PowerPoint PPT Presentation

A Survey of Polynomial Results (Number Theory Seminar) Abdullah Al-Shaghay Dalhousie University Monday March 25, 2019 Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 1 / 24 Overview Cyclotomic Polynomials 1 Sums of Roots


slide-1
SLIDE 1

A Survey of Polynomial Results

(Number Theory Seminar) Abdullah Al-Shaghay

Dalhousie University

Monday March 25, 2019

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 1 / 24

slide-2
SLIDE 2

Overview

1

Cyclotomic Polynomials

2

Sums of Roots of Unity

3

Quadrinomials

4

Trinomials

5

Reciprocal Polynomials

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 2 / 24

slide-3
SLIDE 3

Disclaimer

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . The following is meant to be a survey of results found in papers written by authors other than myself; none of the following are my own results. I am more than happy to point you in the direction of references upon request. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 3 / 24

slide-4
SLIDE 4

Overview

1

Cyclotomic Polynomials

2

Sums of Roots of Unity

3

Quadrinomials

4

Trinomials

5

Reciprocal Polynomials

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 4 / 24

slide-5
SLIDE 5

Introduction

Φn(x) =

  • 1≤k≤n

gcd(k,n)=1

(x − e

2πik n ). Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 5 / 24

slide-6
SLIDE 6

Introduction

Φn(x) =

  • 1≤k≤n

gcd(k,n)=1

(x − e

2πik n ).

Φ1 = x − 1 Φ2 = x + 1 Φ3 = x2 + x + 1 Φ4 = x2 + 1 Φ5 = x4 + x3 + x2 + x + 1

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 5 / 24

slide-7
SLIDE 7

Coefficients

The case of the 105th cyclotomic polynomial is an interesting one; this is the first polynomial in the sequence to have coefficients outside

  • f the set {−1, 0, 1}.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 6 / 24

slide-8
SLIDE 8

Coefficients

The case of the 105th cyclotomic polynomial is an interesting one; this is the first polynomial in the sequence to have coefficients outside

  • f the set {−1, 0, 1}.

Φ105(x) = x48 ± . . . − 2x41 + . . . + 2x7 ± . . . + 1

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 6 / 24

slide-9
SLIDE 9

Coefficients

The case of the 105th cyclotomic polynomial is an interesting one; this is the first polynomial in the sequence to have coefficients outside

  • f the set {−1, 0, 1}.

Φ105(x) = x48 ± . . . − 2x41 + . . . + 2x7 ± . . . + 1 105 = 3 · 5 · 7 is the smallest positive integer that is the product of three distinct primes.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 6 / 24

slide-10
SLIDE 10

Coefficients

The case of the 105th cyclotomic polynomial is an interesting one; this is the first polynomial in the sequence to have coefficients outside

  • f the set {−1, 0, 1}.

Φ105(x) = x48 ± . . . − 2x41 + . . . + 2x7 ± . . . + 1 105 = 3 · 5 · 7 is the smallest positive integer that is the product of three distinct primes. Bounding the magnitude has been a problem of interest to different researchers

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 6 / 24

slide-11
SLIDE 11

Coefficients

Migotti: If n has at most two distinct prime factors then Φn(x) has coefficients in the set {−1, 0, 1}

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 7 / 24

slide-12
SLIDE 12

Coefficients

Migotti: If n has at most two distinct prime factors then Φn(x) has coefficients in the set {−1, 0, 1} Not an if and only if statement: Φ231=3·7·11(x) has coefficients in {−1, 0, 1}

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 7 / 24

slide-13
SLIDE 13

Coefficients

Migotti: If n has at most two distinct prime factors then Φn(x) has coefficients in the set {−1, 0, 1} Not an if and only if statement: Φ231=3·7·11(x) has coefficients in {−1, 0, 1} Suzuki: Let a(k, n) be the k − th coefficient of the n − th cyclotomic

  • polynomial. Then {a(k, n)|n, k ∈ N} = Z

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 7 / 24

slide-14
SLIDE 14

Coefficients

Migotti: If n has at most two distinct prime factors then Φn(x) has coefficients in the set {−1, 0, 1} Not an if and only if statement: Φ231=3·7·11(x) has coefficients in {−1, 0, 1} Suzuki: Let a(k, n) be the k − th coefficient of the n − th cyclotomic

  • polynomial. Then {a(k, n)|n, k ∈ N} = Z

Ji, Li: {a(k, pln)|n, k ∈ N} = Z

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 7 / 24

slide-15
SLIDE 15

Coefficients

Migotti: If n has at most two distinct prime factors then Φn(x) has coefficients in the set {−1, 0, 1} Not an if and only if statement: Φ231=3·7·11(x) has coefficients in {−1, 0, 1} Suzuki: Let a(k, n) be the k − th coefficient of the n − th cyclotomic

  • polynomial. Then {a(k, n)|n, k ∈ N} = Z

Ji, Li: {a(k, pln)|n, k ∈ N} = Z Ji, Li, Moree: {a(k, mn)|n ≥ 1, k ≥ 0} = Z

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 7 / 24

slide-16
SLIDE 16

Moree

Moree has some interesting work studying what he calls reciprocal cyclotomic polynomials defined by, Ψn = xn − 1 Φn(x) .

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 8 / 24

slide-17
SLIDE 17

Moree

Moree has some interesting work studying what he calls reciprocal cyclotomic polynomials defined by, Ψn = xn − 1 Φn(x) . He has also done interesting work with co-authors on the evaluation of Φn(x) at m − th roots of unity and self-reciprocal polynomials.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 8 / 24

slide-18
SLIDE 18

Falcone

Proposition

Let m > n be two integers. If n does not divide m then two polynomial a(x), b(x) ∈ Z[x] exist, such that 1 = a(x)Φm(x) + b(x)Φn(x).

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 9 / 24

slide-19
SLIDE 19

Falcone

Proposition

Let m > n be two integers. If n does not divide m then two polynomial a(x), b(x) ∈ Z[x] exist, such that 1 = a(x)Φm(x) + b(x)Φn(x).

Proposition

Let Φm(x) and Φn(x) be two cyclotomic polynomials, and let n be a divisor of m. Then two polynomial a(x), b(x) ∈ Z[x] exist, such that k = a(x)Φm(x) + b(x)Φn(x), where k = 1 if m

n is not a prime power and

k = p if m

n = pt.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 9 / 24

slide-20
SLIDE 20

Overview

1

Cyclotomic Polynomials

2

Sums of Roots of Unity

3

Quadrinomials

4

Trinomials

5

Reciprocal Polynomials

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 10 / 24

slide-21
SLIDE 21

Introduction

A problem that has been asked/investigated is the following: For a given natural number m, what are the possible integers n for which there exists m − th roots of unity α1, . . . , αn ∈ C such that α1 + . . . + αn = 0.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 11 / 24

slide-22
SLIDE 22

Lam,Leung Sivek

N = N ∪ {0} W (m) := the set of weights n for which there exits a vanishing sum as above.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 12 / 24

slide-23
SLIDE 23

Lam,Leung Sivek

N = N ∪ {0} W (m) := the set of weights n for which there exits a vanishing sum as above.

Theorem (Lam,Leung)

For any integer m = pa1

1 · · · par r , W (m) is exactly the set Np1 + . . . + Npr.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 12 / 24

slide-24
SLIDE 24

Lam,Leung Sivek

N = N ∪ {0} W (m) := the set of weights n for which there exits a vanishing sum as above.

Theorem (Lam,Leung)

For any integer m = pa1

1 · · · par r , W (m) is exactly the set Np1 + . . . + Npr.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 12 / 24

slide-25
SLIDE 25

Lam,Leung Sivek

N = N ∪ {0} W (m) := the set of weights n for which there exits a vanishing sum as above.

Theorem (Lam,Leung)

For any integer m = pa1

1 · · · par r , W (m) is exactly the set Np1 + . . . + Npr.

Theorem (Sivek)

[Distinct Roots] With m written as above, n ∈ W (m) if and only if m and m − n are in Np1 + . . . + Npr.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 12 / 24

slide-26
SLIDE 26

Overview

1

Cyclotomic Polynomials

2

Sums of Roots of Unity

3

Quadrinomials

4

Trinomials

5

Reciprocal Polynomials

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 13 / 24

slide-27
SLIDE 27

Introduction

Motivated by the following result of Harrington,

Theorem

Let n, c, and d be positive integers with n ≥ 3, d = c, d ≤ 2(c − 1), and (n, c) = (3, 3). If the trinomial f (x) = xn ± xn−1 ± d is reducible in Z[x], then f (x) = (x ± 1)g(x) for some irreducible g(x) ∈ Z[x]. I was interested in studying quadrinomials of the form: xn+1 − xn + cxn−a − c.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 14 / 24

slide-28
SLIDE 28

Introduction

Motivated by the following result of Harrington,

Theorem

Let n, c, and d be positive integers with n ≥ 3, d = c, d ≤ 2(c − 1), and (n, c) = (3, 3). If the trinomial f (x) = xn ± xn−1 ± d is reducible in Z[x], then f (x) = (x ± 1)g(x) for some irreducible g(x) ∈ Z[x]. I was interested in studying quadrinomials of the form: xn+1 − xn + cxn−a − c. Along the way, I came across the following results on quadrinomials of different types:

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 14 / 24

slide-29
SLIDE 29

Jankauskas

Let P(x) be a polynomial with integer coefficients. P(x) is called primitive if it cannot be written as P(x) = P1(xl) for some positive integer l > 1 and P1(x) ∈ Z[x].

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 15 / 24

slide-30
SLIDE 30

Jankauskas

Let P(x) be a polynomial with integer coefficients. P(x) is called primitive if it cannot be written as P(x) = P1(xl) for some positive integer l > 1 and P1(x) ∈ Z[x].

Theorem

The only primitive polynomial irreducible polynomial P ∈ Z[x] of the form P(x) = xi + xj + xk + 4, i > j > k > 0, such that the polynomial P(xl) for some positive integer l factors in Z[x], is the polynomial P(x) = x4 + x3 + x2 + 4. More precisely, for l = 2, P(x2) = x8 +x6 +x4 +4 = (x4 −x3 +x2 −2x +2)(x4 +x3 +x2 +2x +2).

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 15 / 24

slide-31
SLIDE 31

Bremner, Ulas

Proposition

Let p ≥ 5 be a prime. Then the quadrinomial xn + xm + xk + p, n > m > k ≥ 1 is irreducible over Q.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 16 / 24

slide-32
SLIDE 32

Bremner, Ulas

Proposition

Let p ≥ 5 be a prime. Then the quadrinomial xn + xm + xk + p, n > m > k ≥ 1 is irreducible over Q.

Proof.

Suppose, towards a contradiction, that xn + xm + xk + p = f1(x)f2(x) with f1, f2 ∈ Z[x] and n > deg(f1), deg(f2) ≥ 1. Without loss of generality, the constant coefficient of f1 is ±p and the constant coefficient of f2 is ±1. This implies that not all of the roots of f2 can have absolute value greater than 1. Choose z ∈ C such that |z| ≤ 1. Then p = |zn + zm + zk| ≤ |z|m + |z|n + |z|k ≤ 3.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 16 / 24

slide-33
SLIDE 33

Ljunggren

Theorem

For any distinct positive integers n, m, and p, and for any choice of ǫj ∈ {−1, 1}, the polynomial xn + ǫ1xm + ǫ2xp + ǫ3, with its cyclotomic factors removed is either the identity 1 or is irreducible over the integers.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 17 / 24

slide-34
SLIDE 34

Overview

1

Cyclotomic Polynomials

2

Sums of Roots of Unity

3

Quadrinomials

4

Trinomials

5

Reciprocal Polynomials

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 18 / 24

slide-35
SLIDE 35

Perron Nagell

Theorem (Perron)

The polynomial f (x) = xn + ax ± 1 is irreducible for |a| ≥ 3. For |a| = 2, f (x) is either irreducible or has the factor (x ± 1). In the latter case, the second factor of f (x) is irreducible.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 19 / 24

slide-36
SLIDE 36

Perron Nagell

Theorem (Perron)

The polynomial f (x) = xn + ax ± 1 is irreducible for |a| ≥ 3. For |a| = 2, f (x) is either irreducible or has the factor (x ± 1). In the latter case, the second factor of f (x) is irreducible.

Theorem (Nagell)

Let g(x) = xn + qxp + r with 1 ≤ p ≤ n − 1. Then g(x) is irreducible if |q| > 1 + |r|n−1. If h|n, h > 1, then |r| is not an h − th power. In particular, we must have |r| > 1.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 19 / 24

slide-37
SLIDE 37

Selmer

Theorem

Let f (x) = xn + axm + b with m < n be an irreducible trinomial satisfying the conditions 23 |a, 2 |b, n = 2m, or a ≡ 1, 2 (mod 4), 2|b. Then f (x2) is also irreducible.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 20 / 24

slide-38
SLIDE 38

Overview

1

Cyclotomic Polynomials

2

Sums of Roots of Unity

3

Quadrinomials

4

Trinomials

5

Reciprocal Polynomials

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 21 / 24

slide-39
SLIDE 39

Introduction

Given a polynomial f (x) ∈ Q[x], frev(x) = xdeg(f )f (1 x ).

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 22 / 24

slide-40
SLIDE 40

Introduction

Given a polynomial f (x) ∈ Q[x], frev(x) = xdeg(f )f (1 x ). f (x) is a reciprocal polynomial if f (x) = frev(x). Sometimes also called self-reciprocal or palindromic.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 22 / 24

slide-41
SLIDE 41

Introduction

Given a polynomial f (x) ∈ Q[x], frev(x) = xdeg(f )f (1 x ). f (x) is a reciprocal polynomial if f (x) = frev(x). Sometimes also called self-reciprocal or palindromic. Let f (x) ∈ Q[x] be of even degree and also be a reciprocal polynomial. Then there is a unique polynomial p(x) = R(f (x)) defined by the mapping f (x) = xdeg(p)p(1 + 1 x ).

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 22 / 24

slide-42
SLIDE 42

Cafure, Cesaratto

Theorem

Let f (x) be a primitive polynomial in Z[x] and assume that the image polynomial p(x) ∈ Q[x] is irreducible.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 23 / 24

slide-43
SLIDE 43

Cafure, Cesaratto

Theorem

Let f (x) be a primitive polynomial in Z[x] and assume that the image polynomial p(x) ∈ Q[x] is irreducible. If |f (−1)| or |f (1)| are not perfect squares, then f (x) is irreducible in Q[x].

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 23 / 24

slide-44
SLIDE 44

Cafure, Cesaratto

Theorem

Let f (x) be a primitive polynomial in Z[x] and assume that the image polynomial p(x) ∈ Q[x] is irreducible. If |f (−1)| or |f (1)| are not perfect squares, then f (x) is irreducible in Q[x]. If f (1) and the middle coefficient of f have different signs, then f is irreducible in Q[x].

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 23 / 24

slide-45
SLIDE 45

Cafure, Cesaratto

Theorem

Let f (x) be a primitive polynomial in Z[x] and assume that the image polynomial p(x) ∈ Q[x] is irreducible. If |f (−1)| or |f (1)| are not perfect squares, then f (x) is irreducible in Q[x]. If f (1) and the middle coefficient of f have different signs, then f is irreducible in Q[x]. If the middle coefficient of f is 0 or ±1, then f is irreducible in Q[x].

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 23 / 24

slide-46
SLIDE 46

Cafure, Cesaratto

Theorem

Let f (x) be a primitive polynomial in Z[x] and assume that the image polynomial p(x) ∈ Q[x] is irreducible. If |f (−1)| or |f (1)| are not perfect squares, then f (x) is irreducible in Q[x]. If f (1) and the middle coefficient of f have different signs, then f is irreducible in Q[x]. If the middle coefficient of f is 0 or ±1, then f is irreducible in Q[x].

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 23 / 24

slide-47
SLIDE 47

Cafure, Cesaratto

Theorem

Let f (x) be a primitive polynomial in Z[x] and assume that the image polynomial p(x) ∈ Q[x] is irreducible. If |f (−1)| or |f (1)| are not perfect squares, then f (x) is irreducible in Q[x]. If f (1) and the middle coefficient of f have different signs, then f is irreducible in Q[x]. If the middle coefficient of f is 0 or ±1, then f is irreducible in Q[x].

Theorem

Almost all reciprocal polynomials with integer coefficients are irreducible

  • ver Q.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 23 / 24

slide-48
SLIDE 48

The End

Thank you very much for your time and patience ! Please feel free to ask any questions and I will do my best to answer them.

Abdullah Al-Shaghay (Dalhousie University) Monday March 25, 2019 24 / 24