A New Approach to Permutation Polynomials over Finite Fields

Size: px
Start display at page:

Download "A New Approach to Permutation Polynomials over Finite Fields"

Transcription

1 A New Approach to Permutation Polynomials over Finite Fields Xiang-dong Hou Department of Mathematics and Statistics University of South Florida Coding, Cryptology and Combinatorial Designs Singapore,

2 outline 1. Introduction 2. Reversed Dickson Polynomials in Characteristic 2 3. Desirable Triples 4. Families of Desirable Triples 5. Open Questions

3 introduction 1. Introduction

4 the polynomial g q,n q = p κ, n 0. There exists a polynomial g n,q F p [x] satisfying (x + a) n = g n,q (x q x). a F q We want to know when g n,q is a PP of F q e. Call the triple (n, e; q) desirable if g n,q is a PP of F q e.

5 Waring s formula g n,q (x) = n q l n q 1 ( n l l n l(q 1) ) x n l(q 1). Not useful for our purpose!

6 recurrence / negative n g 0,q = = g q 2,q = 0, g q 1,q = 1, g n,q = xg n q,q + g n q+1,q, n q. For n < 0, there exists g n,q F p [x, x 1 ] such that (x + a) n = g n,q (x q x). a F q g n,q satisfies the above recurrence relation for all n Z.

7 about g n,q introduced recently ( ) q-ary version of the reversed Dickson polynomial in characteristic 2 q = 2: PPs g 2,n are related to APN; all known desirable triples (n, e; 2) are contained in 4 families. q > 2: several families of desirable triples are found; computer search (q = 3, e 6 and q = 5, e 2) produced many desirable triples that need explanation.

8 reversed Dickson polynomials in char 2 2. Reversed Dickson Polynomials in Characteristic 2

9 p = 2 / reversed Dickson polynomial p = 2, g 2,n F 2 [x] defined by g n,2 (x(1 x)) = x n + (1 x) n. The nth reversed Dickson polynomial D n (1, x) Z[x] is defined by D n (1, x(1 x)) = x n + (1 x) n. g n,2 = D n (1, x) in F 2 [x].

10 g 2,n and APN APN A function f : F q F q is called almost perfect nonlinear (APN) if for each a F q and b F q, the equation f (x + a) f (x) = b has at most two solutions in F q. Power APN A power function x n is an APN function on F q if and only if for each b F q, the equation (x + 1) n x n = b has at most two solutions in F q. g 2,n and power APN x n is an APN on F 2 2e g 2,n is a PP of F 2 e x n is an APN on F 2 e.

11 desirable triples with q = 2 Known desirable triples (n, e; 2) e n ref 2 k + 1, (k, 2e) = 1 Gold 2 2k 2 k + 1, (k, 2e) = 1 Kasami even 2 e + 2 k + 1, k > 0, (k 1, e) = 1 HMSY 5k 2 8k + 2 6k + 2 4k + 2 2k 1 Dobbertin Conjecture. The above table is complete for q = 2 (up to equivalence).

12 desirable triples 3. Desirable Triples

13 equivalence Facts g pn,q = g p n,q. If n 1, n 2 > 0 are integers such that n 1 n 2 (mod q pe 1), then g n1,q g n2,q (mod x qe x). Equivalence. If n 1, n 2 > 0 are in the same p-cyclotomic coset modulo q pe 1, we say that the two triples (n 1, e; q) and (n 2, e; q) are equivalent and we denote this as (n 1, e; q) (n 2, e; q). If (n 1, e; q) (n 2, e; q), then (n 1, e; q) is desirable if and only if (n 2, e; q) is.

14 necessary conditions Assume that (n, e; q) is desirable. gcd(n, q 1) = 1. If q = 2, then gcd(n, 2 2e 1) = 3. If q > 2 or e > 1, then the p-cyclotomic coset of n modulo q pe 1 has cardinality peκ (q = p κ ).

15 power sum Theorem. Let ɛ F q pe such that ɛ qe ɛ = 1. Then x F q e g n,q (x) k = (a,b) F q F q e (aɛ + b) n[ Consequently, (n, e; q) is desirable if and only if (a,b) F q F q e (aɛ+b) n[ c F q (aɛ+b+c) n c F q (aɛ + b + c) n ] k 1. ] k 1 { = 0 if 1 k < q e 1, 0 if k = q e 1.

16 families of desirable triples 4. Families of Desirable Triples

17 easy cases The following triples are desirable. In all these cases g n,q x qe 2 (mod x qe x). (q pe 2, e; q), q > 2. (q 2e q e 1, e; q), q = 3 κ. (3 2e e 2, e; 3).

18 proposition For n = α 0 q α t q t, 0 α i q 1, w q (n) = α α t. Proposition. Let n = α 0 q α t q t, 0 α i q 1. Then 0 if w q (n) < q 1, 1 if w q (n) = q 1, g n,q = α 0 x q0 +(α 0 + α 1 )x q1 + + (α α t 1 )x qt 1 +δ if w q (n) = q, where δ = { 1 if q = 2, 0 if q > 2.

19 the case w q (n) = q Theorem. Let n = α 0 q α t q t, 0 α i q 1, with w q (n) = q. Then (n, e; q) is desirable if and only if gcd ( α 0 + (α 0 + α 1 )x + + (α α t 1 )x t 1, x e 1 ) = 1.

20 a useful lemma Lemma. Let n = α(p 0e + p 1e + + p (p 1)e ) + β, where α, β 0 are integers. Then for x F p e, g n,p (x) = { gαp+β,p (x) if Tr Fpe /F p (x) = 0, x α g β,p (x) if Tr Fp e /F p (x) 0. Note. The lemma does not hold if p is replaced with q. We do not know if there is a q-ary version of the lemma.

21 theorem Theorem. Let p > 2, n = α(p 0e + p 1e + + p (p 1)e ) + β, where α, β 0. Then (n, e; p) is desirable if the following two conditions are satisfied. (i) Both g αp+β,p and x α g β,p are F p -linear on F p e and are 1-1 on Tr 1 F p e /F p (0) = {x F p e : Tr Fp e /F p (x) = 0}. (ii) g β,p (1) 0. Note. There are many instances where (i) and (ii) are satisfied.

22 example Example. Let p = 3, n = 8(1 + 3 e + 3 2e ) + 7. (α = 8, β = 7.) g 8 3+7,3 (x) = g 31,3 (x) = x 30 x 31 x 32 g n,3 (x) = if Tr F3 e /F 3 (x) = 0, x 8 g 7,3 = x 9 if Tr F3 e /F 3 (x) 0. We have g 31,3 (x 3 x) = x + x 3 + x 33. So g 31,3 is 1-1 on Tr 1 F 3 e /F 3 (0) if and only if gcd(1 + x + x 3, x e 1) = x 1. Conclusion: (n, e; 3) is desirable if and only if gcd(1 + x + x 3, x e 1) = x 1.

23 a more interesting family Theorem. Let n = 4( e + 3 2e ) 7. Then (n, e; 3) is desirable. Proof. { g 4 3 7,3 (x) = g 5,3 (x) if Tr g n,3 (x) = F3 e /F 3 (x) = 0, x 4 g 7,3 (x) if Tr F3 e /F 3 (x) 0. We have g 5,3 = x, g 7,3 = x 3 + x 5 x 7. So g n,3 (x) = { x if Tr F3 e /F 3 (x) = 0, x + x 1 x 3 if Tr F3 e /F 3 (x) 0. It is known that x + x 1 x 3 is 1-1 on F 3 e \ Tr 1 F 3 e /F 3 (0). (Hollmann and Xiang 04; Yuan, Ding, Wang, Pieprzyk, 08)

24 theorem For m Z, let m be the integer such that 0 m p e 2 and m m (mod p e 1). Theorem. Let p be a prime. Assume e 0 (mod 2) if p = 2. Let 0 < α, β < p pe 1 such that (i) α p l (mod pe 1 p 1 ) for some 0 l < e; (ii) w p (β) = p 1; (iii) w p ((αp + β) ) = p. Let n = α(1 + p e + + p (p 1)e ) + β and write (αp + β) = a 0 p a t p t, 0 a i p 1. Then (n, e; p) is desirable if and only if gcd(a 0 + (a 0 + a 1 )x + + (a a t 1 )x t 1, x e 1) = 1.

25 proof of the theorem Let x F p e. If Tr Fp e /F p (x) = 0, g n,p (x) = a 0 x p0 + (a 0 + a 1 )x p1 + + (a a t 1 )x pt 1. If Tr Fp e /F p (x) 0, g n,p (x) = x pl N Fp e /F p (x) s, where s is defined by α = p l + s pe 1 p 1. The rest is easy.

26 open questions 5. Open Questions

27 a difficult one Prove that for p = 2, all desirable triples are given in the table. (A similar conjecture for binary power APN has been standing for many years.) Known desirable triples (n, e; 2) e n ref 2 k + 1, (k, 2e) = 1 Gold 2 2k 2 k + 1, (k, 2e) = 1 Kasami even 2 e + 2 k + 1, k > 0, (k 1, e) = 1 HMSY 5k 2 8k + 2 6k + 2 4k + 2 2k 1 Dobbertin

28 another question Recall: Theorem. Let ɛ F q pe such that ɛ qe ɛ = 1. Then (n, e; q) is desirable if and only if { (aɛ+b) n[ ] k 1 (aɛ+b+c) n = 0 if 1 k < q e 1, 0 if k = q e 1. c F q (a,b) F q F q e Question: What can be said about the sum (aɛ + b) n[ (a,b) F q F q e c F q (aɛ + b + c) n ] k 1?

29 a specific questions p = 3, e = 4, n = 20(1 + 3 e + 3 2e ) (α = 20, β = 219.) { (x x 3 x 32 ) 32 if Tr F34/F g n,3 (x) = 3 (x) = 0, [x 20 (x + x 3 ) + x 1 + x] 3 if Tr F3 4/F 3 (x) 0. (n, e; 3) is desirable because of the following curious fact: ( ) x 20 (x + x 3 ) + x 1 + x is a permutation of F 3 4 \ Tr F3 4/F 3 (0). Question: Can ( ) be generalized to F 3 e for a general e?

30 Thank you!

PPs over Finite Fields defined by functional equations

PPs over Finite Fields defined by functional equations Permutation Polynomials over Finite Fields defined by functional equations Neranga Fernando Joint work with Dr. Xiang-dong Hou Department of Mathematics and Statistics University of South Florida AMS Spring

More information

A New Approach to Permutation Polynomials over Finite Fields

A New Approach to Permutation Polynomials over Finite Fields A New Approach to Permutation Polynomials over Finite Fields Joint work with Dr. Xiang-dong Hou and Stephen Lappano Department of Mathematics and Statistics University of South Florida Discrete Seminar

More information

A Study of Permutation Polynomials over Finite Fields

A Study of Permutation Polynomials over Finite Fields University of South Florida Scholar Commons Graduate Theses and Dissertations Graduate School January 2013 A Study of Permutation Polynomials over Finite Fields Neranga Fernando University of South Florida,

More information

Reversed Dickson permutation polynomials over finite fields

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

More information

Proof of a Conjecture on Monomial Graphs

Proof of a Conjecture on Monomial Graphs Proof of a Conjecture on Monomial Graphs Xiang-dong Hou Department of Mathematics and Statistics University of South Florida Joint work with Stephen D. Lappano and Felix Lazebnik New Directions in Combinatorics

More information

Differential properties of power functions

Differential properties of power functions Differential properties of power functions Céline Blondeau, Anne Canteaut and Pascale Charpin SECRET Project-Team - INRIA Paris-Rocquencourt Domaine de Voluceau - B.P. 105-8153 Le Chesnay Cedex - France

More information

Céline Blondeau, Anne Canteaut and Pascale Charpin*

Céline Blondeau, Anne Canteaut and Pascale Charpin* Int. J. Information and Coding Theory, Vol. 1, No. 2, 2010 149 Differential properties of power functions Céline Blondeau, Anne Canteaut and Pascale Charpin* INRIA Paris-Rocquencourt, Project-Team SECRET,

More information

Decomposing Bent Functions

Decomposing Bent Functions 2004 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 49, NO. 8, AUGUST 2003 Decomposing Bent Functions Anne Canteaut and Pascale Charpin Abstract In a recent paper [1], it is shown that the restrictions

More information

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

On the exponents of APN power functions and Sidon sets, sum-free sets, and Dickson polynomials On the exponents of APN power functions and Sidon sets, sum-free sets, and Dickson polynomials Claude Carlet 1 and Stjepan Picek 1, 2 1 LAGA, Department of Mathematics, University of Paris 8 (and Paris

More information

Some Open Problems Arising from my Recent Finite Field Research

Some Open Problems Arising from my Recent Finite Field Research Some Open Problems Arising from my Recent Finite Field Research Gary L. Mullen Penn State University mullen@math.psu.edu July 13, 2015 Some Open Problems Arising from myrecent Finite Field Research July

More information

Simultaneous Linear, and Non-linear Congruences

Simultaneous Linear, and Non-linear Congruences Simultaneous Linear, and Non-linear Congruences CIS002-2 Computational Alegrba and Number Theory David Goodwin david.goodwin@perisic.com 09:00, Friday 18 th November 2011 Outline 1 Polynomials 2 Linear

More information

Lecture Notes. Advanced Discrete Structures COT S

Lecture Notes. Advanced Discrete Structures COT S Lecture Notes Advanced Discrete Structures COT 4115.001 S15 2015-01-13 Recap Divisibility Prime Number Theorem Euclid s Lemma Fundamental Theorem of Arithmetic Euclidean Algorithm Basic Notions - Section

More information

50 Years of Crosscorrelation of m-sequences

50 Years of Crosscorrelation of m-sequences 50 Years of Crosscorrelation of m-sequences Tor Helleseth Selmer Center Department of Informatics University of Bergen Bergen, Norway August 29, 2017 Tor Helleseth (Selmer Center) 50 Years of Crosscorrelation

More information

On rational numbers associated with arithmetic functions evaluated at factorials

On rational numbers associated with arithmetic functions evaluated at factorials On rational numbers associated with arithmetic functions evaluated at factorials Dan Baczkowski (joint work with M. Filaseta, F. Luca, and O. Trifonov) (F. Luca) Fix r Q, there are a finite number of positive

More information

Constructing hyper-bent functions from Boolean functions with the Walsh spectrum taking the same value twice

Constructing hyper-bent functions from Boolean functions with the Walsh spectrum taking the same value twice Noname manuscript No. (will be inserted by the editor) Constructing hyper-bent functions from Boolean functions with the Walsh spectrum taking the same value twice Chunming Tang Yanfeng Qi Received: date

More information

Quadratic Equations from APN Power Functions

Quadratic Equations from APN Power Functions IEICE TRANS. FUNDAMENTALS, VOL.E89 A, NO.1 JANUARY 2006 1 PAPER Special Section on Cryptography and Information Security Quadratic Equations from APN Power Functions Jung Hee CHEON, Member and Dong Hoon

More information

Special Monomial Maps: Examples, Classification, Open Problems

Special Monomial Maps: Examples, Classification, Open Problems Special Monomial Maps: Examples, Classification, Open Problems Gohar Kyureghyan Otto-von-Guericke University of Magdeburg, Germany Fq12 - Saratoga July 14, 2015 Outline Special maps yielding small Kakeya

More information

Arithmetic Functions Evaluated at Factorials!

Arithmetic Functions Evaluated at Factorials! Arithmetic Functions Evaluated at Factorials! Dan Baczkowski (joint work with M. Filaseta, F. Luca, and O. Trifonov) (F. Luca) Fix r Q, there are a finite number of positive integers n and m for which

More information

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

Chuck Garner, Ph.D. May 25, 2009 / Georgia ARML Practice Some Chuck, Ph.D. Department of Mathematics Rockdale Magnet School for Science Technology May 25, 2009 / Georgia ARML Practice Outline 1 2 3 4 Outline 1 2 3 4 Warm-Up Problem Problem Find all positive

More information

New Families of Triple Error Correcting Codes with BCH Parameters

New Families of Triple Error Correcting Codes with BCH Parameters New Families of Triple Error Correcting Codes with BCH Parameters arxiv:0803.3553v1 [cs.it] 25 Mar 2008 Carl Bracken School of Mathematical Sciences University College Dublin Ireland May 30, 2018 Abstract

More information

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

DICKSON POLYNOMIALS OVER FINITE FIELDS. n n i. i ( a) i x n 2i. y, a = yn+1 a n+1 /y n+1 DICKSON POLYNOMIALS OVER FINITE FIELDS QIANG WANG AND JOSEPH L. YUCAS Abstract. In this paper we introduce the notion of Dickson polynomials of the k + 1)-th kind over finite fields F p m and study basic

More information

Permutation Polynomials over Finite Fields

Permutation Polynomials over Finite Fields Permutation Polynomials over Finite Fields Omar Kihel Brock University 1 Finite Fields 2 How to Construct a Finite Field 3 Permutation Polynomials 4 Characterization of PP Finite Fields Let p be a prime.

More information

Nonlinear Functions A topic in Designs, Codes and Cryptography

Nonlinear Functions A topic in Designs, Codes and Cryptography Nonlinear Functions A topic in Designs, Codes and Cryptography Alexander Pott Otto-von-Guericke-Universität Magdeburg September 21, 2007 Alexander Pott (Magdeburg) Nonlinear Functions September 21, 2007

More information

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS CARRIE E. FINCH AND LENNY JONES Abstract. Let G be a finite group and let x G. Define the order subset of G determined by x to be the set of all elements in

More information

MATH 215 Final. M4. For all a, b in Z, a b = b a.

MATH 215 Final. M4. For all a, b in Z, a b = b a. MATH 215 Final We will assume the existence of a set Z, whose elements are called integers, along with a well-defined binary operation + on Z (called addition), a second well-defined binary operation on

More information

Roots of Sparse Polynomials over a Finite Field

Roots of Sparse Polynomials over a Finite Field ANTS-XII August 30, 2016 Sparsity-Dependant Bounds f(x) = c 0 + c 1 x a 1 + c 2 x a 2 + + c t x at R[x]. f is sparse if t deg f. Descartes Rule of Signs: The number of positive, real roots of f is bounded

More information

arxiv: v1 [cs.it] 31 May 2013

arxiv: v1 [cs.it] 31 May 2013 Noname manuscript No. (will be inserted by the editor) A Note on Cyclic Codes from APN Functions Chunming Tang Yanfeng Qi Maozhi Xu arxiv:1305.7294v1 [cs.it] 31 May 2013 Received: date / Accepted: date

More information

Quadratic Almost Perfect Nonlinear Functions With Many Terms

Quadratic Almost Perfect Nonlinear Functions With Many Terms Quadratic Almost Perfect Nonlinear Functions With Many Terms Carl Bracken 1 Eimear Byrne 2 Nadya Markin 3 Gary McGuire 2 School of Mathematical Sciences University College Dublin Ireland Abstract We introduce

More information

Hyperbent functions, Kloosterman sums and Dickson polynomials

Hyperbent functions, Kloosterman sums and Dickson polynomials Hyperbent functions, Kloosterman sums and Dickson polynomials Pascale Charpin INRIA, Codes Domaine de Voluceau-Rocquencourt BP 105-78153, Le Chesnay France Email: pascale.charpin@inria.fr Guang Gong Department

More information

Some Results on the Arithmetic Correlation of Sequences

Some Results on the Arithmetic Correlation of Sequences Some Results on the Arithmetic Correlation of Sequences Mark Goresky Andrew Klapper Abstract In this paper we study various properties of arithmetic correlations of sequences. Arithmetic correlations are

More information

Exercises Exercises. 2. Determine whether each of these integers is prime. a) 21. b) 29. c) 71. d) 97. e) 111. f) 143. a) 19. b) 27. c) 93.

Exercises Exercises. 2. Determine whether each of these integers is prime. a) 21. b) 29. c) 71. d) 97. e) 111. f) 143. a) 19. b) 27. c) 93. Exercises Exercises 1. Determine whether each of these integers is prime. a) 21 b) 29 c) 71 d) 97 e) 111 f) 143 2. Determine whether each of these integers is prime. a) 19 b) 27 c) 93 d) 101 e) 107 f)

More information

Galois theory (Part II)( ) Example Sheet 1

Galois theory (Part II)( ) Example Sheet 1 Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that

More information

with Good Cross Correlation for Communications and Cryptography

with Good Cross Correlation for Communications and Cryptography m-sequences with Good Cross Correlation for Communications and Cryptography Tor Helleseth and Alexander Kholosha 9th Central European Conference on Cryptography: Trebíc, June 26, 2009 1/25 Outline m-sequences

More information

DIFFERENTIAL cryptanalysis is the first statistical attack

DIFFERENTIAL cryptanalysis is the first statistical attack IEEE TRANSACTIONS ON INFORMATION THEORY, VOL 57, NO 12, DECEMBER 2011 8127 Differential Properties of x x 2t 1 Céline Blondeau, Anne Canteaut, Pascale Charpin Abstract We provide an extensive study of

More information

Counting Perfect Polynomials

Counting Perfect Polynomials Enrique Treviño joint work with U. Caner Cengiz and Paul Pollack 49th West Coast Number Theory December 18, 2017 49th West Coast Number Theory 2017 1 Caner (a) Caner Cengiz (b) Paul Pollack 49th West Coast

More information

Four classes of permutation polynomials of F 2 m

Four classes of permutation polynomials of F 2 m Finite Fields and Their Applications 1 2007) 869 876 http://www.elsevier.com/locate/ffa Four classes of permutation polynomials of F 2 m Jin Yuan,1, Cunsheng Ding 1 Department of Computer Science, The

More information

COMP239: Mathematics for Computer Science II. Prof. Chadi Assi EV7.635

COMP239: Mathematics for Computer Science II. Prof. Chadi Assi EV7.635 COMP239: Mathematics for Computer Science II Prof. Chadi Assi assi@ciise.concordia.ca EV7.635 The Euclidean Algorithm The Euclidean Algorithm Finding the GCD of two numbers using prime factorization is

More information

Chris Smyth School of Mathematics and Maxwell Institute for Mathematical Sciences, University of Edinburgh, Edinburgh EH9 3JZ, UK.

Chris Smyth School of Mathematics and Maxwell Institute for Mathematical Sciences, University of Edinburgh, Edinburgh EH9 3JZ, UK. THE DIVISIBILITY OF a n b n BY POWERS OF n Kálmán Győry Institute of Mathematics, University of Debrecen, Debrecen H-4010, Hungary. gyory@math.klte.hu Chris Smyth School of Mathematics and Maxwell Institute

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

198 VOLUME 46/47, NUMBER 3

198 VOLUME 46/47, NUMBER 3 LAWRENCE SOMER Abstract. Rotkiewicz has shown that there exist Fibonacci pseudoprimes having the forms p(p + 2), p(2p 1), and p(2p + 3), where all the terms in the products are odd primes. Assuming Dickson

More information

Math 451, 01, Exam #2 Answer Key

Math 451, 01, Exam #2 Answer Key Math 451, 01, Exam #2 Answer Key 1. (25 points): If the statement is always true, circle True and prove it. If the statement is never true, circle False and prove that it can never be true. If the statement

More information

M381 Number Theory 2004 Page 1

M381 Number Theory 2004 Page 1 M81 Number Theory 2004 Page 1 [[ Comments are written like this. Please send me (dave@wildd.freeserve.co.uk) details of any errors you find or suggestions for improvements. ]] Question 1 20 = 2 * 10 +

More information

CPSC 467b: Cryptography and Computer Security

CPSC 467b: Cryptography and Computer Security CPSC 467b: Cryptography and Computer Security Michael J. Fischer Lecture 8 February 1, 2012 CPSC 467b, Lecture 8 1/42 Number Theory Needed for RSA Z n : The integers mod n Modular arithmetic GCD Relatively

More information

ECEN 5022 Cryptography

ECEN 5022 Cryptography Elementary Algebra and Number Theory University of Colorado Spring 2008 Divisibility, Primes Definition. N denotes the set {1, 2, 3,...} of natural numbers and Z denotes the set of integers {..., 2, 1,

More information

An Additive Characterization of Fibers of Characters on F p

An Additive Characterization of Fibers of Characters on F p An Additive Characterization of Fibers of Characters on F p Chris Monico Texas Tech University Lubbock, TX c.monico@ttu.edu Michele Elia Politecnico di Torino Torino, Italy elia@polito.it January 30, 2009

More information

The BCH Bound. Background. Parity Check Matrix for BCH Code. Minimum Distance of Cyclic Codes

The BCH Bound. Background. Parity Check Matrix for BCH Code. Minimum Distance of Cyclic Codes S-723410 BCH and Reed-Solomon Codes 1 S-723410 BCH and Reed-Solomon Codes 3 Background The algebraic structure of linear codes and, in particular, cyclic linear codes, enables efficient encoding and decoding

More information

Factorization in Integral Domains II

Factorization in Integral Domains II Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and

More information

Math 412: Number Theory Lecture 26 Gaussian Integers II

Math 412: Number Theory Lecture 26 Gaussian Integers II Math 412: Number Theory Lecture 26 Gaussian Integers II Gexin Yu gyu@wm.edu College of William and Mary Let i = 1. Complex numbers of the form a + bi with a, b Z are called Gaussian integers. Let z = a

More information

Open problems on cyclic codes

Open problems on cyclic codes Open problems on cyclic codes Pascale Charpin Contents 1 Introduction 3 2 Different kinds of cyclic codes. 4 2.1 Notation.............................. 5 2.2 Definitions............................. 6

More information

Polynomials on F 2. cryptanalysis. Y. Aubry 1 G. McGuire 2 F. Rodier 1. m with good resistance to. 1 IML Marseille 2 University College Dublin

Polynomials on F 2. cryptanalysis. Y. Aubry 1 G. McGuire 2 F. Rodier 1. m with good resistance to. 1 IML Marseille 2 University College Dublin Polynomials on F 2 m with good resistance to cryptanalysis Y Aubry 1 G McGuire 2 F Rodier 1 1 IML Marseille 2 University College Dublin Outline APN functions A lower bound for the degree of an APN polynomial

More information

A trace representation of binary Jacobi sequences

A trace representation of binary Jacobi sequences Discrete Mathematics 309 009) 1517 157 www.elsevier.com/locate/disc A trace representation of binary Jacobi sequences Zongduo Dai a, Guang Gong b, Hong-Yeop Song c, a State Key Laboratory of Information

More information

Part V. Chapter 19. Congruence of integers

Part V. Chapter 19. Congruence of integers Part V. Chapter 19. Congruence of integers Congruence modulo m Let m be a positive integer. Definition. Integers a and b are congruent modulo m if and only if a b is divisible by m. For example, 1. 277

More information

TC10 / 3. Finite fields S. Xambó

TC10 / 3. Finite fields S. Xambó TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the

More information

Some Results on the Known Classes of Quadratic APN Functions

Some Results on the Known Classes of Quadratic APN Functions Some Results on the Known Classes of Quadratic APN Functions Lilya Budaghyan, Tor Helleseth, Nian Li, and Bo Sun Department of Informatics, University of Bergen Postboks 7803, N-5020, Bergen, Norway {Lilya.Budaghyan,Tor.Helleseth,Nian.Li,Bo.Sun}@uib.no

More information

Singer and GMW constructions (or generalized GMW constructions), little else is known about p-ary two-level autocorrelation sequences. Recently, a few

Singer and GMW constructions (or generalized GMW constructions), little else is known about p-ary two-level autocorrelation sequences. Recently, a few New Families of Ideal -level Autocorrelation Ternary Sequences From Second Order DHT Michael Ludkovski 1 and Guang Gong Department of Electrical and Computer Engineering University of Waterloo Waterloo,

More information

Mathematical Foundations of Public-Key Cryptography

Mathematical Foundations of Public-Key Cryptography Mathematical Foundations of Public-Key Cryptography Adam C. Champion and Dong Xuan CSE 4471: Information Security Material based on (Stallings, 2006) and (Paar and Pelzl, 2010) Outline Review: Basic Mathematical

More information

arxiv: v1 [cs.it] 12 Jun 2016

arxiv: v1 [cs.it] 12 Jun 2016 New Permutation Trinomials From Niho Exponents over Finite Fields with Even Characteristic arxiv:606.03768v [cs.it] 2 Jun 206 Nian Li and Tor Helleseth Abstract In this paper, a class of permutation trinomials

More information

On q-ary optimal equitable symbol weight codes

On q-ary optimal equitable symbol weight codes On q-ary optimal equitable symbol weight codes 1/20 On q-ary optimal equitable symbol weight codes L. A. Bassalygo, V.A. Zinoviev A.A. Kharkevich Institute for Problems of Information Transmission, Moscow,

More information

Page Points Possible Points. Total 200

Page Points Possible Points. Total 200 Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10

More information

Dickson Polynomials that are Involutions

Dickson Polynomials that are Involutions Dickson Polynomials that are Involutions Pascale Charpin Sihem Mesnager Sumanta Sarkar May 6, 2015 Abstract Dickson polynomials which are permutations are interesting combinatorial objects and well studied.

More information

The Graph Structure of Chebyshev Polynomials over Finite Fields and Applications

The Graph Structure of Chebyshev Polynomials over Finite Fields and Applications The Graph Structure of Chebyshev Polynomials over Finite Fields and Applications Claudio Qureshi and Daniel Panario arxiv:803.06539v [cs.dm] 7 Mar 08 Abstract We completely describe the functional graph

More information

Zsigmondy s Theorem. Lola Thompson. August 11, Dartmouth College. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, / 1

Zsigmondy s Theorem. Lola Thompson. August 11, Dartmouth College. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, / 1 Zsigmondy s Theorem Lola Thompson Dartmouth College August 11, 2009 Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 1 / 1 Introduction Definition o(a modp) := the multiplicative order

More information

hold or a eistel cipher. We nevertheless prove that the bound given by Nyberg and Knudsen still holds or any round keys. This stronger result implies

hold or a eistel cipher. We nevertheless prove that the bound given by Nyberg and Knudsen still holds or any round keys. This stronger result implies Dierential cryptanalysis o eistel ciphers and dierentially uniorm mappings Anne Canteaut INRIA Projet codes Domaine de Voluceau BP 105 78153 Le Chesnay Cedex rance Abstract In this paper we study the round

More information

4 Powers of an Element; Cyclic Groups

4 Powers of an Element; Cyclic Groups 4 Powers of an Element; Cyclic Groups Notation When considering an abstract group (G, ), we will often simplify notation as follows x y will be expressed as xy (x y) z will be expressed as xyz x (y z)

More information

Explicit classes of permutation polynomials of F 3

Explicit classes of permutation polynomials of F 3 Science in China Series A: Mathematics Apr., 2009, Vol. 53, No. 4, 639 647 www.scichina.com math.scichina.com www.springerlink.com Explicit classes of permutation polynomials of F 3 3m DING CunSheng 1,XIANGQing

More information

Gauss periods as low complexity normal bases

Gauss periods as low complexity normal bases With M. Christopoulou, T. Garefalakis (Crete) and D. Panario (Carleton) July 16, 2009 Outline 1 Gauss periods as normal bases Normal bases Gauss periods 2 Traces of normal bases The trace of Gauss periods

More information

The Dimension and Minimum Distance of Two Classes of Primitive BCH Codes

The Dimension and Minimum Distance of Two Classes of Primitive BCH Codes 1 The Dimension and Minimum Distance of Two Classes of Primitive BCH Codes Cunsheng Ding, Cuiling Fan, Zhengchun Zhou Abstract arxiv:1603.07007v1 [cs.it] Mar 016 Reed-Solomon codes, a type of BCH codes,

More information

Constructing new APN functions from known ones

Constructing new APN functions from known ones Constructing new APN functions from known ones Lilya Budaghyan a, Claude Carlet b, and Gregor Leander c a Department of Mathematics University of Trento ITALY b Department of Mathematics University of

More information

CS 6260 Some number theory

CS 6260 Some number theory CS 6260 Some number theory Let Z = {..., 2, 1, 0, 1, 2,...} denote the set of integers. Let Z+ = {1, 2,...} denote the set of positive integers and N = {0, 1, 2,...} the set of non-negative integers. If

More information

Solutions to Practice Final

Solutions to Practice Final s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (

More information

Three-Bit Monomial Hyperovals

Three-Bit Monomial Hyperovals Timothy Vis Timothy.Vis@ucdenver.edu University of Colorado Denver Rocky Mountain Discrete Math Days 2008 Definition of a Hyperoval Definition In a projective plane of order n, a set of n + 1-points, no

More information

Optimal Ternary Cyclic Codes From Monomials

Optimal Ternary Cyclic Codes From Monomials 5898 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL 59, NO 9, SEPTEMBER 2013 Optimal Ternary Cyclic Codes From Monomials Cunsheng Ding, Senior Member, IEEE, and Tor Helleseth, Fellow, IEEE Abstract Cyclic

More information

Name: Solutions Final Exam

Name: Solutions Final Exam Instructions. Answer each of the questions on your own paper. Be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] All of

More information

On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers

On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers A tal given at the Institute of Mathematics, Academia Sinica (Taiwan (Taipei; July 6, 2011 On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers Zhi-Wei Sun Nanjing University

More information

Pencils of Quadratic Forms over Finite Fields

Pencils of Quadratic Forms over Finite Fields Southern Illinois University Carbondale OpenSIUC Articles and Preprints Department of Mathematics 2004 Pencils of Quadratic Forms over Finite Fields Robert W. Fitzgerald Southern Illinois University Carbondale,

More information

Integer Valued Sequences with 2-Level Autocorrelation from Iterative Decimation Hadamard Transform

Integer Valued Sequences with 2-Level Autocorrelation from Iterative Decimation Hadamard Transform Integer Valued Sequences with 2-Level Autocorrelation from Iterative Decimation Hadamard Transform Guang Gong Department of Electrical and Computer Engineering University of Waterloo CANADA

More information

On a generalized combinatorial conjecture involving addition mod 2 k 1

On a generalized combinatorial conjecture involving addition mod 2 k 1 On a generalized combinatorial conjecture involving addition mod k 1 Gérard Cohen Jean-Pierre Flori Tuesday 14 th February, 01 Abstract In this note, e give a simple proof of the combinatorial conjecture

More information

arithmetic properties of weighted catalan numbers

arithmetic properties of weighted catalan numbers arithmetic properties of weighted catalan numbers Jason Chen Mentor: Dmitry Kubrak May 20, 2017 MIT PRIMES Conference background: catalan numbers Definition The Catalan numbers are the sequence of integers

More information

Cyclic Codes from the Two-Prime Sequences

Cyclic Codes from the Two-Prime Sequences Cunsheng Ding Department of Computer Science and Engineering The Hong Kong University of Science and Technology Kowloon, Hong Kong, CHINA May 2012 Outline of this Talk A brief introduction to cyclic codes

More information

Quadratic Forms and Congruences for l-regular Partitions Modulo 3, 5 and 7. Tianjin University, Tianjin , P. R. China

Quadratic Forms and Congruences for l-regular Partitions Modulo 3, 5 and 7. Tianjin University, Tianjin , P. R. China Quadratic Forms and Congruences for l-regular Partitions Modulo 3, 5 and 7 Qing-Hu Hou a, Lisa H. Sun b and Li Zhang b a Center for Applied Mathematics Tianjin University, Tianjin 30007, P. R. China b

More information

Foundations of Mathematics

Foundations of Mathematics Foundations of Mathematics L. Pedro Poitevin 1. Preliminaries 1.1. Sets We will naively think of a set as a collection of mathematical objects, called its elements or members. To indicate that an object

More information

A Few Primality Testing Algorithms

A Few Primality Testing Algorithms A Few Primality Testing Algorithms Donald Brower April 2, 2006 0.1 Introduction These notes will cover a few primality testing algorithms. There are many such, some prove that a number is prime, others

More information

Shor s Prime Factorization Algorithm

Shor s Prime Factorization Algorithm Shor s Prime Factorization Algorithm Bay Area Quantum Computing Meetup - 08/17/2017 Harley Patton Outline Why is factorization important? Shor s Algorithm Reduction to Order Finding Order Finding Algorithm

More information

Number Theory and Group Theoryfor Public-Key Cryptography

Number Theory and Group Theoryfor Public-Key Cryptography Number Theory and Group Theory for Public-Key Cryptography TDA352, DIT250 Wissam Aoudi Chalmers University of Technology November 21, 2017 Wissam Aoudi Number Theory and Group Theoryfor Public-Key Cryptography

More information

THROUGHOUT this paper, let q be a power of a prime p.

THROUGHOUT this paper, let q be a power of a prime p. 4344 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 63, NO. 7, JULY 017 LCD Cyclic Codes Over Finite Fields Chengju Li, Cunsheng Ding, Shuxing Li Abstract In addition to their applications in data storage,

More information

Constructing new covering arrays from LFSR sequences over finite

Constructing new covering arrays from LFSR sequences over finite Constructing new covering arrays from LFSR sequences over finite fields Georgios Tzanakis a,, Lucia Moura b,, Daniel Panario a,, Brett Stevens a, a School of Mathematics and Statistics, Carleton University

More information

Number theory lectures

Number theory lectures Number theory lectures By Dr. Mohammed M. AL-Ashker Associated professor Mathematics Department E.mail:mashker @ mail.iugaza.edu Islamic University of Gaza P.O.Box 108, Gaza, Palestine 1 Contents 1 Divisibility

More information

Hyperbent functions, Kloosterman sums and Dickson polynomials

Hyperbent functions, Kloosterman sums and Dickson polynomials Hyperbent functions, Kloosterman sums and Dickson polynomials Pascale Charpin Guang Gong INRIA, B.P. 105, 78153 Le Chesnay Cedex, France, Pascale.Charpin@inria.fr Department of Electrical and Computer

More information

Lacunary Polynomials over Finite Fields Course notes

Lacunary Polynomials over Finite Fields Course notes Lacunary Polynomials over Finite Fields Course notes Javier Herranz Abstract This is a summary of the course Lacunary Polynomials over Finite Fields, given by Simeon Ball, from the University of London,

More information

PERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS. 1. Introduction. Let p be a prime number. For a monic polynomial A F p [x] let d

PERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS. 1. Introduction. Let p be a prime number. For a monic polynomial A F p [x] let d PERFECT POLYNOMIALS OVER F p WITH p + 1 IRREDUCIBLE DIVISORS L. H. GALLARDO and O. RAHAVANDRAINY Abstract. We consider, for a fixed prime number p, monic polynomials in one variable over the finite field

More information

Mahler s Polynomials and the Roots of Unity

Mahler s Polynomials and the Roots of Unity Mahler s Polynomials and the Roots of Unity James Pedersen 1 Introduction In their paper [4] "Mahler Polynomials and the Roots of Unity", Karl Dilcher and Larry Ericksen introduce the reader to the relationships

More information

MATH 420 FINAL EXAM J. Beachy, 5/7/97

MATH 420 FINAL EXAM J. Beachy, 5/7/97 MATH 420 FINAL EXAM J. Beachy, 5/7/97 1. (a) For positive integers a and b, define gcd(a, b). (b) Compute gcd(1776, 1492). (c) Show that if a, b, c are positive integers, then gcd(a, bc) = 1 if and only

More information

A class of quadratic APN binomials inequivalent to power functions

A class of quadratic APN binomials inequivalent to power functions A class of quadratic APN binomials inequivalent to power functions Lilya Budaghyan, Claude Carlet, Gregor Leander November 30, 2006 Abstract We exhibit an infinite class of almost perfect nonlinear quadratic

More information

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

On one class of permutation polynomials over finite fields of characteristic two * On one class of permutation polynomials over finite fields of characteristic two * Leonid Bassalygo, Victor A. Zinoviev To cite this version: Leonid Bassalygo, Victor A. Zinoviev. On one class of permutation

More information

Prime Divisors of Palindromes

Prime Divisors of Palindromes Prime Divisors of Palindromes William D. Banks Department of Mathematics, University of Missouri Columbia, MO 6511 USA bbanks@math.missouri.edu Igor E. Shparlinski Department of Computing, Macquarie University

More information

Discrete Logarithms. Let s begin by recalling the definitions and a theorem. Let m be a given modulus. Then the finite set

Discrete Logarithms. Let s begin by recalling the definitions and a theorem. Let m be a given modulus. Then the finite set Discrete Logarithms Let s begin by recalling the definitions and a theorem. Let m be a given modulus. Then the finite set Z/mZ = {[0], [1],..., [m 1]} = {0, 1,..., m 1} of residue classes modulo m is called

More information

ON TESTING THE DIVISIBILITY OF LACUNARY POLYNOMIALS BY CYCLOTOMIC POLYNOMIALS

ON TESTING THE DIVISIBILITY OF LACUNARY POLYNOMIALS BY CYCLOTOMIC POLYNOMIALS ON TESTING THE DIVISIBILITY OF LACUNARY POLYNOMIALS BY CYCLOTOMIC POLYNOMIALS Michael Filaseta 1 and Andrzej Schinzel August 30, 2002 1 The first author gratefully acknowledges support from the National

More information

Section X.55. Cyclotomic Extensions

Section X.55. Cyclotomic Extensions X.55 Cyclotomic Extensions 1 Section X.55. Cyclotomic Extensions Note. In this section we return to a consideration of roots of unity and consider again the cyclic group of roots of unity as encountered

More information

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION PAVEL RŮŽIČKA 9.1. Congruence modulo n. Let us have a closer look at a particular example of a congruence relation on

More information

EXHAUSTIVE DETERMINATION OF (511, 255, 127)-CYCLIC DIFFERENCE SETS

EXHAUSTIVE DETERMINATION OF (511, 255, 127)-CYCLIC DIFFERENCE SETS EXHAUSTIVE DETERMINATION OF (511, 255, 127)-CYCLIC DIFFERENCE SETS ROLAND B. DREIER AND KENNETH W. SMITH 1. Introduction In this paper we describe an exhaustive search for all cyclic difference sets with

More information