Reversed Dickson permutation polynomials over finite fields

Similar documents
A New Approach to Permutation Polynomials over Finite Fields

PPs over Finite Fields defined by functional equations

DICKSON POLYNOMIALS OVER FINITE FIELDS. n n i. i ( a) i x n 2i. y, a = yn+1 a n+1 /y n+1

Finite Fields Appl. 8 (2002),

A New Approach to Permutation Polynomials over Finite Fields

Proof of a Conjecture on Monomial Graphs

THE CLASSIFICATION OF PLANAR MONOMIALS OVER FIELDS OF PRIME SQUARE ORDER

A note on constructing permutation polynomials

Stephen Cohen, University of Glasgow Methods for primitive and normal polynomials

Finite Fields and Their Applications

Four classes of permutation polynomials of F 2 m

EXPLICIT EVALUATIONS OF SOME WEIL SUMS. 1. Introduction In this article we will explicitly evaluate exponential sums of the form

A-2. Polynomials and Factoring. Section A-2 1

Subquadratic Space Complexity Multiplication over Binary Fields with Dickson Polynomial Representation

Explicit classes of permutation polynomials of F 3

Divisibility of Trinomials by Irreducible Polynomials over F 2

COMMUTATIVE PRESEMIFIELDS AND SEMIFIELDS

Gauss periods as low complexity normal bases

Dickson Polynomials that are Involutions

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

A Study of Permutation Polynomials over Finite Fields

Factorization of integer-valued polynomials with square-free denominator

BENT POLYNOMIALS OVER FINITE FIELDS

On the exponents of APN power functions and Sidon sets, sum-free sets, and Dickson polynomials

Permutation Polynomials over Finite Fields

On one class of permutation polynomials over finite fields of characteristic two *

FUNCTIONS OVER THE RESIDUE FIELD MODULO A PRIME. Introduction

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

Lesson 3 Algebraic expression: - the result obtained by applying operations (+, -,, ) to a collection of numbers and/or variables o

An Additive Characterization of Fibers of Characters on F p

Invertible Matrices over Idempotent Semirings

Multiplication of Polynomials

Polynomial analogues of Ramanujan congruences for Han s hooklength formula

Module 11 Lesson 3. Polynomial Functions Quiz. Some questions are doubled up if a pool wants to be set up to randomize the questions.

ON PERMUTATION POLYNOMIALS OF PRESCRIBED SHAPE

Unit 1 Vocabulary. A function that contains 1 or more or terms. The variables may be to any non-negative power.

arxiv: v1 [cs.it] 12 Jun 2016

FURTHER EVALUATIONS OF WEIL SUMS

The Jacobi Symbol. q q 1 q 2 q n

arxiv: v1 [math.nt] 11 May 2016

Monomial Graphs and Generalized Quadrangles

Unit 1: Polynomial Functions SuggestedTime:14 hours

Topic 7: Polynomials. Introduction to Polynomials. Table of Contents. Vocab. Degree of a Polynomial. Vocab. A. 11x 7 + 3x 3

On the Primitivity of some Trinomials over Finite Fields

Binomial coefficients and k-regular sequences

MathB65 Ch 4 VII, VIII, IX.notebook. November 06, 2017

Algebraically defined graphs and generalized quadrangles

Divisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006

Solving Quadratic Equations

Math 121 Homework 2 Solutions

Differential properties of power functions

SPLITTING FIELDS AND PERIODS OF FIBONACCI SEQUENCES MODULO PRIMES

FUNCTIONAL DECOMPOSITION OF A CLASS OF WILD POLYNOMIALS

DICKSON POLYNOMIALS THAT ARE PERMUTATIONS. Mihai Cipu

Review Notes - Solving Quadratic Equations

TEKS: 2A.10F. Terms. Functions Equations Inequalities Linear Domain Factor

Some examples of two-dimensional regular rings

On generalized Lucas sequences

Lecture Notes. Advanced Discrete Structures COT S

mathematics Smoothness in Binomial Edge Ideals Article Hamid Damadi and Farhad Rahmati *

On the Representations of xy + yz + zx

Prerequisites. Copyright Cengage Learning. All rights reserved.

Math 154 :: Elementary Algebra

arithmetic properties of weighted catalan numbers

New Classes of Permutation Binomials and Permutation Trinomials over Finite Fields

Hyperbent functions, Kloosterman sums and Dickson polynomials

Parity of the Number of Irreducible Factors for Composite Polynomials

Research Article On Polynomials of the Form x r f (x (q 1)/l )

Polynomials over finite fields. Algorithms and Randomness

K. T. Arasu Jennifer Seberry y. Wright State University and University ofwollongong. Australia. In memory of Derek Breach.

Pencils of Quadratic Forms over Finite Fields

Mathematics Textbook Correlation to the 2016 Algebra I Standards of Learning and Curriculum Framework

On transitive polynomials modulo integers

ON THE SEMIPRIMITIVITY OF CYCLIC CODES

Integrated Arithmetic and Basic Algebra

20A. Build. Build and add. Build a rectangle and find the area (product). l e s s o n p r a c t i c e 1. X X X 2 + 6X X

MATHEMATICS Trigonometry. Mathematics 30-1 Mathematics (10 12) /21 Alberta Education, Alberta, Canada (2008)

ISSUED BY KENDRIYA VIDYALAYA - DOWNLOADED FROM Chapter - 2. (Polynomials)

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

Lecture 7.5: Euclidean domains and algebraic integers

Number, Number Sense, and Operations Data Analysis and Probability

CS 4770: Cryptography. CS 6750: Cryptography and Communication Security. Alina Oprea Associate Professor, CCIS Northeastern University

joint with Katherine Thompson July 29, 2015 The Wake Forest/Davidson Experience in Number Theory Research A Generalization of Mordell to Ternary

Trace Representation of Legendre Sequences

Counting Points on Curves of the Form y m 1 = c 1x n 1 + c 2x n 2 y m 2

On the size of Kakeya sets in finite vector spaces

Unit 7: Factoring Quadratic Polynomials

On Permutation Polynomials over Local Finite Commutative Rings

NUMERICAL MONOIDS (I)

Some Open Problems Arising from my Recent Finite Field Research

Section 5.1 Polynomial Functions and Models

5.2. Adding and Subtracting Polynomials. Objectives. Know the basic definitions for polynomials. Add and subtract polynomials.

New Construction of Single Cycle T-function Families

Math 75 Mini-Mod Due Dates Spring 2016

Mathematical Olympiad Training Polynomials

ON CERTAIN COMBINATORIAL DIOPHANTINE EQUATIONS AND THEIR CONNECTION TO PYTHAGOREAN NUMBERS

Lesson 3: Polynomials and Exponents, Part 1

Chuck Garner, Ph.D. May 25, 2009 / Georgia ARML Practice

Algebra 2. Factoring Polynomials

MATH 361: NUMBER THEORY FOURTH LECTURE

Transcription:

Reversed Dickson permutation polynomials over finite fields Department of Mathematics Northeastern University Boston Algebra, Number Theory and Combinatorics Seminar Claremont Center for the Mathematical Sciences Claremont, CA March 6, 2018

Introduction Let p be a prime and q a power of p. Let F q be the finite field with q elements. A polynomial f F q [x] is called a permutation polynomial (PP) of F q if the associated mapping x f (x) from F q to F q is a permutation of F q. Example 1. Every linear polynomial is a PP of F q. Example 2. The monomial x n is a PP of F q if and only if (n, q 1) = 1.

Background The n-th Dickson polynomial of the first kind D n (x, a) is defined by D n (x, a) = n 2 i=0 where a F q is a parameter. n n i ( n i i ) ( a) i x n 2i, When a = 0, D n (x, a) is a PP of F q if and only if (n, q 1) = 1. When a 0, D n (x, a) is a PP of F q if and only if (n, q 2 1) = 1.

Background (contd.) The n-th reversed Dickson polynomial of the first kind D n (a, x) is defined by D n (a, x) = n 2 i=0 where a F q is a parameter. n n i ( n i i ) ( x) i a n 2i, X. Hou, G. L. Mullen, J. A. Sellers, J. L. Yucas, Reversed Dickson polynomials over finite fields, Finite Fields Appl. 15 (2009), 748 773.

Background (contd.) The n-th Dickson polynomial of the second kind E n (x, a) can be defined by n 2 ( ) n i E n (x, a) = ( a) i x n 2i, i i=0 where a F q is a parameter. Stephen D. Cohen (University of Glasgow, UK) Mihai Cipu (The Institute of Mathematics of the Romanian Academy) Rex Matthews (University of Queensland, Australia) Robert S. Coulter (University of Delaware, USA) Marie Henderson (New Zealand)

Background (contd.) The n-th reversed Dickson polynomial of the second kind E n (a, x) can be defined by n 2 ( ) n i E n (a, x) = ( x) i a n 2i, i i=0 where a F q is a parameter. S. Hong, X. Qin, W. Zhao, Necessary conditions for reversed Dickson polynomials of the second kind to be permutational, Finite Fields Appl. 37 (2016), 54 71.

Background (contd.) For a F q, the n-th Dickson polynomial of the (k + 1)-th kind D n,k (x, a) is defined by D n,k (x, a) = and D 0,k (x, a) = 2 k. n 2 i=0 n ki n i ( n i i ) ( a) i x n 2i, Q. Wang, J. L. Yucas, Dickson polynomials over finite fields, Finite Fields Appl. 18 (2012), 814 831.

Background (contd.) For a F q, the n-th reversed Dickson polynomial of the (k + 1)-th kind D n,k (a, x) is defined by D n,k (a, x) = and D 0,k (a, x) = 2 k. n 2 i=0 n ki n i ( n i i ) ( x) i a n 2i, Q. Wang, J. L. Yucas, Dickson polynomials over finite fields, Finite Fields Appl. 18 (2012), 814 831.

Reversed Dickson Polynomials of the (k + 1)-th kind For a F q, the n-th reversed Dickson polynomial of the (k + 1)-th kind D n,k (a, x) is defined by D n,k (a, x) = and D 0,k (a, x) = 2 k. n 2 i=0 n ki n i ( n i i ) ( x) i a n 2i, I am primarily interested in the question: When is D n,k (a, x) a PP of F q? D n,0 (a, x) = D n (a, x) and D n,1 (a, x) = E n (a, x). Only need to consider 0 k p 1. D n,k (a, x) = ke n (a, x) (k 1)D n (a, x).

D n,k (a, x) in characteristic 2 D n,k (a, x) = ke n (a, x) (k 1)D n (a, x). D n,k (a, x) = { E n (a, x) D n (a, x) if k is odd, if k is even. Hereafter always assume, unless specified, in this talk that p is odd.

Outline of the rest of the talk 1. The case a = 0 2. Some general properties of D n,k (a, x). 3. The case n = p l, where l 0 is an integer. 4. The case n = p l + 1, where l 0 is an integer. 5. The case n = p l + 2, where l 0 is an integer. 6. An explicit expression for D n,k (1, x). 7. The sum a F q D n,k (1, a). 8. The case n = p l + 3, where l 0 is an integer. 9. A generalization to n = p l 1 + p l 2 + + p l i. 10. Permutation behaviour of D p l 1 +p l 2,k. 11. More results on D n,k (1, x). 12. A Matrix Form of D n,k (1, x).

The case a = 0 D n,k (0, x) = { 0 if n is odd, (2 k) ( x) l if n = 2l. Theorem When a = 0, D n,k (a, x) is a PP of F q if and only if k 2 and n = 2l with (l, q 1) = 1. Hereafter, assume that a F q.

Why only consider a = 1? Let a F q. Then it follows from the definition that D n,k (a, x) = a n D n,k (1, x a 2 ). D n,k (a, x) is a PP on F q if and only if D n,k (1, x) is a PP on F q.

Functional expression [ y n+1 (a y) n+1 ] D n,k (a, x) = k (k 1){y n + (a y) n }, 2y a where y a 2. This can be simplified to [ y n (a y) y(a y) n ] D n,k (a, x) = k + D n (a, x). 2y a

Functional expression with a = 1 Let x = y(1 y). The functional expression can be written as [ y n (1 y) y(1 y) n ] D n,k (1, y(1 y)) = k + D n (1, y(1 y)), 2y 1 where y 1 2. When y = 1 2, D n,k ( ) 1, 1 4 = k(n 1)+2 2 n. if n 1 n 2 (mod q 2 1), then D n1,k(1, x) = D n2,k(1, x) for any x F q \ { 1 4 }.

Recursion Proposition Let p be an odd prime and n be a non-negative integer. Then D 0,k (1, x) = 2 k, D 1,k (1, x) = 1, and D n,k (1, x) = D n 1,k (1, x) x D n 2,k (1, x), for n 2.

The Case n = p l, l 0 is an integer Let x = y(1 y). When y 1 2, [ y p l (1 y) y(1 y) pl D p l,k(1, y(1 y)) = k 2y 1 ((2y 1) 2) pl 1 2 = k 2 Note that (2y 1) 2 = 1 4x. Hence, + 1 k 2 ] + D p l(1, y(1 y)) D p l,k(1, x) = k 2 (1 4x) pl 1 2 + 1 k 2

The case n = p l, l 0 is an integer (contd.) When y = 1 2, D p l,k ( 1, 1 ) 4 = k(pl 1) + 2 = 2 k 2 pl 2 Hence for all x F q, we have = 1 k 2 = k 2 (1 4x) pl 1 2 +1 k 2. D p l,k(1, x) = k 2 (1 4x) pl 1 2 + 1 k 2

Theorem Consider D p l,k(1, x) = k 2 (1 4x) pl 1 2 + 1 k 2. Theorem Let 0 < l e. Then D 3 l,k(1, x) is a PP of F 3 e if and only if k 0 and ( 3l 1 2, 3e 1) = 1. Also, D p l,k(1, x) is not a PP of F p e when p > 3.

The case n = p l + 1, l 0 is an integer For all x F q, we have D p l +1,k(1, x) = ( 1 2 k 4 ) (1 4x) pl +1 2 + k 4 (1 4x) pl 1 2 + 1 2. Theorem Let k = 2. Then D p l +1,k(1, x) is a PP of F q if and only if ( ) p l 1 2, q 1 = 1. Theorem Let n = p l + 1 and k 0, 2. Then D n,k (1, x) is a PP of F q if and only if l = 0. Remark Let k = 0. Then, D p l +1,k(1, x) = 1 2 (1 4x) pl +1 ( ) of F q if and only if p l +1 2, q 1 = 1. 2 + 1 2 which is a PP

The case n = p l + 2, l 0 is an integer For all x F q, we have D p l +2,k(1, x) = 1 2 (1 4x) pl +1 2 + k ( 2 x (1 4x) pl 1 2 1 k ) 1 x + 2 2. Remark Let k = 0 and l = e. Then we have D p e +2,0(1, x) = 1 2 (1 4x) pe +1 2 x + 1 2 which is a PP of F p e if and only if p e 1 (mod 3). Let u = 1 4x. Then we have D p l +2,k(1, x) = ( 1 2 k ) u pl +1 2 + k ( 8 8 u pl 1 2 + 1 k ) u 2 4 + k 8 + 1 4

The case n = p l + 2, l 0 is an integer (contd.) D p l +2,k(1, x) = ( 1 2 k ) u pl +1 2 + k ( 8 8 u pl 1 2 + 1 k ) u 2 4 + k 8 + 1 4 Theorem Let k = 2. Then D p l +2,k(1, x) = x pl +1 2 + x pl 1 2 is a PP of F q if and only if l = 0. Theorem Let p > 3 and k = 4. Then D p l +2,k(1, x) = x pl 1 2 1 2x is a PP of F q if and only if l = 0. Theorem Let n = p l + 2 and k 0, 2, 4. Then D n,k (1, x) is a PP of F q if and only if the trinomial (4 k) x pl +1 2 + k x pl 1 2 + (2 k)x is a PP of F q.

Theorem Theorem Let p be an odd prime. Then D n,k (1, x) is a PP of F q if and only if the function y k y n (1 y) y(1 y) n 2y 1 is a 2-to-1 mapping on (F q V ) \ { 1 2 } and + y n + (1 y) n k y n (1 y) y(1 y) n 2y 1 for any y (F q V ) \ { 1 2 }. + y n + (1 y) n k(n 1) + 2 2 n

An explicit expression for D n,k (1, x) For n 1, define f n,k (x) = k j 0 and ( ) n 1 (x j x j+1 ) + 2 2j + 1 j 0 f 0,k (x) = 2 k. ( ) n x j 2j Z[x], Then for n 0 ( 1 ) n D n,k (1, x) = fn,k (1 4x). 2

An explicit expression for D n,k (1, x) (contd.) Let p be an odd prime and n > 0 be an integer. Then in F q [x], ( 1 ) n D n,k (1, x) = fn,k (1 4x). 2 In particular, D n,k (1, x) is a PP of F q if and only if f n,k (x) is a PP of F q. Self-reciprocal property of f n,k is completely explained in N. F., Self-reciprocal polynomials and coterm polynomials, Designs, Codes and Cryptography (2018), Available Online.

The generating function The generating function of D n,k (1, x) is given by D n,k (1, x) z n = n=0 2 k + (k 1)z 1 z + xz 2.

Computation of a F q D n,k (1, a) D n,k (1, x) z n n=0 2 k + (k 1)z 1 z (mod x q x) [ q 1 (z 1) q 1 m z 2m 1 + x m] (z 1) q 1 z2(q 1) m=1 Since D n1,k(1, x) = D n2,k(1, x) for any x F q \ { 1 4 } when n 1, n 2 > 0 and n 1 n 2 (mod q 2 1), we have the following for all x F q \ { 1 4 }. q D n,k (1, x) z n 1 2 1 = 2 k + D 1 z q2 1 n,k (1, x) z n n=1 n 0

Computation of a F q D n,k (1, a) (contd.) q 2 1 n=1 D n,k (1, x) z n = z (zq2 1 1) z 1 for all x F q \ { 1 4 }, + h(z) q 1 (z 1) q 1 m z 2m x m m=1 where Write h(z) = [2 k + (k 1)z] ( 1 (z zq ) q 1 ) z q z q 1. 1 h(z) = 1 z q z q 1 1 q 2 q+1 j=0 b j z j.

Computation of a F q D n,k (1, a) (contd.) Write j = α + βq where 0 α, β q 1. Then we have the following. ( 1) β+1 (2 k) ( ) q 1 β if α + β = q 1, ( 1) β+1 (k 1) ( ) q 1 β if α + β = q, b j = 1 k if α + β = 1, k 2 if α + β = 0, 0 otherwise.

Computation of a F q D n,k (1, a) (contd.) q 2 1 n=1 ( a F q ) a) z D n,k (1, n = q 2 1 n=1 k(n 1) + 2 z n z(1 z q 2 n 1 z q 1 ( h(z) (z 1) q 1 m z 2m 1 ) m, 4 m=1 2 1 ) h(z) z 2(q 1) q 2 1 (z q z q 1 1) n=1 = (1 + z q 1 z q ) [( ) D n,k (1, a) a F q q 2 1 i=1 z i ( k(n 1) + 2 )] z n 2 n ( q 1 ( z 2(q 1) + (z 1) q 1 m z 2m 1 ) m ) ( q2 q+1 b j z j) 4 m=1 j=0 q 2 1 (z q z q 1 1) n=1 [( ) D n,k (1, a) a F q ( k(n 1) + 2 )] q 2 +q 1 z n = 2 n i=1 c i z i

Theorem Let c j be defined as on the previous slide for 1 j q 2 + q 1. Then we have the following. k(j 1) + 2 D j,k (1, a) = c j + if 1 j q 1; 2 j a F q D q,k (1, a) = c 1 c q + 2 k ; 2 q a F q D lq+j,k = D (l 1)q+j,k D (l 1)q+j+1,k c lq+j a F q a F q a F q + (kj + 2)(1 2q + 2 q 1 ) + k(2 q 1) 2 lq+j if 1 l q 2 and 1 j q 1; D lq,k = D (l 1)q,k D (l 1)q+1,k c lq + a F q a F q a F q 2 l q 2; q 1 k(j 1) + 2 D q 2 q+j,k = c q 2 +i + 2 q2 q+j a F q i=j if 0 j q 1. (k 2)(2 q 1) + 2 q if 2 lq

For further details N. F., Reversed Dickson polynomials of the (k + 1)-th kind over finite fields, J. Number Theory 172 (2017), 234 255.

Remember this Theorem? Theorem Let n = p l + 2 and k 0, 2, 4. Then D n,k (1, x) is a PP of F q if and only if the trinomial (4 k) x pl +1 2 + k x pl 1 2 + (2 k)x is a PP of F q. Xiang-dong Hou asked me when is the trinomial above a PP of F q?

My answer Theorem Let p > 3 be an odd prime and q = p e, where e is a positive integer. Let k be an integer such that k 0, 2, 4 and 0 k p 1. Let f (x) = (4 k)x pl +1 2 + kx pl 1 2 + (2 k)x. Then f (x) is a PP of F q if and only if l = 0 and k 3.

My answer (contd.) Let p = 3. Since k 0, 2, we have k = 1. Then f (x) = (4 k)x pl +1 2 + kx pl 1 2 + (2 k)x = x pl 1 2 + x. Theorem Let p = 3 and q = 3 e, where e is a positive integer. Let f (x) = x pl 1 2 + x. Then f (x) is a PP of F q if and only if (i) l = 0, or (ii) l = me + 1, where m is a non-negative even integer.

For further details N. F., A note on permutation binomials and trinomials over finite fields, to appear in New Zealand Journal of Mathemaics.

The Case n = p l + 3 D p l +3,k(1, x) is a PP of F p e if and only if f (x) is a PP of F p e, where f (x) = (2 k) x pl +3 2 + 6 x pl +1 2 + k x pl 1 2 + 2(3 k) x.

The Case n = p l + 3 with p = 3 In this case, k = 0, 1, or 2. Theorem D 3 l +3,0(1, x) is a PP of F p e if and only if gcd( 3l +3 2, 3e 1) = 1. Theorem D 3 l +3,1(1, x) is not a PP of F p e. Theorem D 3 l +3,2(1, x) is a PP of F p e (i) l = 0, or if and only if (ii) l = me + 1, where m is a non-negative even integer.

The Case n = p l + 3 with p > 3 Theorem Let p > 5 and k = 2. Assume that ( 1 4 ) is a quadratic residue of p. Then D p l +3,k(1, x) is a PP of F p e if and only if l = 0. Remark D p l +3,k(1, x) is not a PP of F p e when p = 5 and k = 2. Theorem Let p > 5, k = 2, and l > 0. Assume that ( 1 4 ) is a quadratic non-residue of p. Then D p l +3,k(1, x) is a PP of F p e if and only if 3x pl +1 2 + x pl 1 2 + x is a PP of F p e.

The Case n = p l + 3 with p > 3 (contd.) Theorem Let p > 5, k = 0, and 6 be a quadratic non-residue of p. Then D p l +3,k(1, x) is a PP of F p e if and only if x pl +3 2 + 3x pl +1 2 + 3x is a PP of F p e. Remark Let p > 7, k = 7. Then D p l +3,k(1, x) is not a PP of F p e. Remark Let p > 5, k = 0, and 6 be a quadratic residue of p. Then D p l +3,k(1, x) is not a PP of F p e.

The Case n = p l + 3 with p > 3 (contd.) Theorem Assume that 1. p = 5 and k 2, 2. p > 5 and k 0, 2, or 3. p > 7 and k 7. Then D p l +3,k(1, x) is a PP of F p e if and only if is a PP of F p e. (2 k) x pl +3 2 + 6 x pl +1 2 + k x pl 1 2 + 2(3 k) x

More Cases 1. n = p l 1 + p l 2 + p l 3 2. n = p l 1 + p l 2 + p l 3 + p l 4 How about a generalization to n = p l 1 + p l 2 + + p l i?

A Generalization Case 1. Let i be odd and n = p l 1 + p l 2 + + p l i. For all x F q, we have D n,k (1, x) = k (1 4x) pl 1 +p l 2 + +p l i 1 (2 k) 2 i 2 + (1 4x) pj 1 +p j j 2 + +p i 1 2 i 2 j 1,j 2,...,j i 1 {l 1,l 2,...,l i } + k 2 i + + j 1,j 2,...,j i 2 {l 1,l 2,...,l i } (1 4x) pj 1 +p j j 2 + +p i 2 1 2 (2 k) (1 4x) pj 1 +p j j 2 + +p i 3 2 i 2 +...... j 1,j 2,...,j i 3 {l 1,l 2,...,l i } (2 k) 2 i j 1,j 2 {l 1,l 2,...,l i } (1 4x) pj 1 +p j 2 2 + k 2 i j 1 {l 1,l 2,...,l i } (1 4x) pj 1 1 (2 k) 2 +. 2 i

A Generalization (contd.) Case 2. Let i be even and n = p l 1 + p l 2 + + p l i. For all x F q, we have D n,k (1, x) = + (2 k) (1 4x) p l 1 +p l 2 + +p l i 2 i 2 + k 2 i j 1,j 2,...,j i 1 {l 1,l 2,...,l i } (2 k) (1 4x) pj 1 +p j j 2 + +p i 2 2 i 2 j 1,j 2,...,j i 2 {l 1,l 2,...,l i } + k 2 i + j 1,j 2,...,j i 3 {l 1,l 2,...,l i } (2 k) 2 i j 1,j 2 {l 1,l 2,...,l i } (1 4x) pj 1 +p j j 2 + +p i 3 1 2 +...... (1 4x) pj 1 +p j 2 2 + k 2 i j 1 {l 1,l 2,...,l i } (1 4x) pj 1 +p j j 2 + +p i 1 1 2 (1 4x) pj 1 1 (2 k) 2 +. 2 i

Permutation behaviour of D p l 1 +p l 2,k D p l 1 +p l 2,k (1, x) = (2 k) 4 (1 4x) pl 1 +p l 2 2 + k 4 (1 4x) pl 1 1 2 + k 4 (1 4x) pl 2 1 2. Corollary Let k = 0. Then D p l 1 +p l 2,k (1, x) is a PP of F p e gcd( pl 1 +p l 2 2, p e 1) = 1. if and only if Corollary Let p = 3 and k = 2. Assume that both l 1 and l 2 are odd. Then D p l 1 +p l 2,k (1, x) is a PP of F p e if and only if the binomial x pl 1 1 2 + x pl 2 1 2 is a PP of F q. Theorem Let p > 3 and k = 2. Then D p l 1 +p l 2,k (1, x) is not a PP of F p e.

Permutation behaviour of D p l 1 +p l 2,k (contd.) Corollary Let k 0, 2 and p > 3. Assume that of p. Then D p l 1 +p l 2,k (1, x) is a PP of F p e l 1 = l 2 = 0. 2k (k 2) is a quadratic residue if and only if Corollary 2k Let k 0, 2 and p > 3. Assume that (k 2) is a quadratic non-residue of p. Then D p l 1 +p l 2,k (1, x) is a PP of F p e if and only if the trinomial (2 k) x pl 1 +p l 2 2 + k x pl 1 1 2 + k x pl 2 1 2 is a PP of F p e.

More results on D n,k (1, x) Lemma Let l be a positive odd integer and let n = 3l +1 2. Then in F 3[x], D n,k (1, 1 x 2 ) = ( k 2 1 ) D n (x, 1) + k 2 D n 1 (x, 1). x Remark This result generalizes Lemma 5.5 in X. Hou, G. L. Mullen, J. A. Sellers, J. L. Yucas, Reversed Dickson polynomials over finite fields, Finite Fields Appl. 15 (2009), 748 773..

More results on D n,k (1, x) (contd.) For all x F q we have and D n,k (1, x) = k x D n 2,1 (1, x) + D n (1, x), n 2, D n,k (1, x) = k x D n 1,2 (1, x) + D n (1, x), n 1.

Recursion Proposition Let p be an odd prime and n be a non-negative integer. Then D 0,k (1, x) = 2 k, D 1,k (1, x) = 1, and D n,k (1, x) = D n 1,k (1, x) x D n 2,k (1, x), for n 2.

A Matrix Form of D n,k (1, x) D n,k (1, x) = ( 2 k, 1 ) ( 0 x 1 1 ) n ( ) 1 0

For further details N. F., Reversed Dickson polynomials of the (k + 1)-th kind over finite fields, II, submitted for publication. arxiv:1706.01391

Acknowledgement 1. Ariane Masuda at CUNY. 2. Anthony Iarrobino at Northeastern University.

Thank you!