Polynomial Multiplication over Finite Fields using Field Extensions and Interpolation

Size: px
Start display at page:

Download "Polynomial Multiplication over Finite Fields using Field Extensions and Interpolation"

Transcription

1 009 19th IEEE International Symposium on Computer Arithmetic Polynomial Multiplication over Finite Fields using Field Extensions and Interpolation Murat Cenk Department of Mathematics and Computer Science Cankaya University, Ankara, Turkey Çetin Kaya Koç University of California Santa Barbara, USA & City University of Istanbul, Turkey Ferruh Özbudak Department of Mathematics and Institute of Applied Mathematics Middle East Technical University, Ankara, Turkey Abstract A method for polynomial multiplication over finite fields using field extensions and polynomial interpolation is introduced. The proposed method uses polynomial interpolation as Toom-Cook method together with field extensions. Furthermore, the proposed method can be used when Toom- Cook method cannot be applied directly. Explicit formulae improving the previous results in many cases are obtained. 1 Introduction A direct approach to polynomial multiplication is the schoolbook method. For multiplying two arbitrary -term polynomials, this algorithms requires 4 multiplications. Karatsuba-Ofman or simply Karatsuba algorithm [6, 7] is a well-known subquadratic polynomial multiplication algorithm. Karatsuba algorithm decreases the number of multiplications from 4 multiplications to 3 multiplications for multiplying two arbitrary -term polynomials. Weimerskirch and Paar [10] generalized Karatsuba algorithm and gave a detailed account of its variants. Recently, Montgomery [8] improved some of those results by giving explicit formulae for multiplying two arbitrary n-term polynomials, where n {5, 6, 7}. Toom-Cook [9, 4] method is another related method which gives the best result in many cases where it can be applied directly. Toom-Cook method cannot be applied directly for the multiplication of n-term polynomials over a finite field F q,ifn is sufficiently large compared to q. In this paper we give a method for polynomial multiplication over finite fields using field extensions and polynomial interpolation. Our method uses polynomial interpolation as Toom-Cook method, and we also use field extensions. Furthermore, our method works also when Toom- Cook method cannot be applied directly. We obtain explicit formulae improving the previous results in many cases. In some cases over F the bounds we obtain are the same with the recent bounds obtained by Fan and Hasan in [5]. The paper is organized as follows. In the next section we give some background and describe some well-known methods of polynomial multiplication. Our method is explained with illustrative examples in Section 3. We apply our method to polynomial multiplication over F and 10, 11 and 1-term polynomial multiplication bounds are determined in Section 4. In Section 5 we discuss the efficiency of the proposed method. We conclude this paper in Section 6. Background Let R be an arbitrary commutative ring with identity and R[x] denote the ring of polynomials over R with the inde /09 $ IEEE DOI /ARITH

2 terminate x. For an integer n 1, a polynomial of the form a 0 + a 1 x + + a n 1 x n 1 R[x] is called an n-term polynomial over R. Throughout the paper, if not stated otherwise, an n-term polynomial A(x) means an n-term polynomial with indeterminate x over an arbitrary commutative ring with identity. For an integer n 1, thecomplexity of polynomial multiplication for n-term polynomials is the minimum number M(n) of multiplications needed in order to multiply two arbitrary n-term polynomials. Throughout the paper, F q denotes a finite field with q elements. For a prime power q and an integer n 1, the complexity of polynomial multiplication over F q for n-term polynomials is the minimum number M q (n) of multiplications over F q needed to multiply two arbitrary n-term polynomials over F q. We note that M q (n) M(n). We now summarize the schoolbook method, Karatsuba algorithm and the related generalization by Weimerskirch and Paar, the recent work by Montgomery, and Toom-Cook method..1 Schoolbook Method Consider two n-term polynomials n 1 n 1 A(x) = a i x i, B(x) = b i x i. i=0 i=0 The schoolbook multiplication gives us the product C(x) of A(x) and B(x) to be n 1 n 1 C(x) = a i b j x i+j. i=0 j=0 Therefore using this method we get M(n) n. (1). Karatsuba Algorithm and Weimerskirch-Paar Generalization Karatsuba algorithm [6] gives better upper bounds on M(n). For example, consider two -term polynomials, A(x) =a 0 + a 1 x, B(x) =b 0 + b 1 x. Karatsuba algorithm computes the product C(x) = A(x)B(x) as C(x) = a 1 b 1 x +[(a 0 + a 1 )(b 0 + b 1 ) a 0 b 0 a 1 b 1 ]x + a 0 b 0. Here we need just three multiplications: a 0 b 0, (a 0 + a 1 )(b 0 + b 1 ) and a 1 b 1. Hence we obtain M() 3, while the schoolbook method gives only M() 4. Weimerskirsh and Paar [10] gave a detailed complexity analysis of Karatsuba algorithm for different cases. Specifically, if the number of coefficients of polynomials are composite integers, say nm, then we can write A(x) = m 1 s=0 A s(x)x ns R[x] where A s (x) R[x] is an n- term polynomial for each 0 s m 1. LetR = R[x], which is again a commutative ring with identity. Now, A(x) can be considered as an m-term polynomial over R, where each of its coefficients are n-term polynomials over R. After writing B(x) in the same way and applying Karatsuba algorithm, it is found that M(nm) M(n)M(m). () If the number of coefficient is n =m +1where m 1, then we can write A(x) =A 0 (x)+a 1 (x)x m, B(x) =B 0 (x)+b 1 (x)x m, where A 0,B 0 are degree m 1 polynomials and A 1,B 1 are degree m polynomials. Then A(x)B(x) =A 0 B 0 +[(A 0 + A 1 )(B 0 +B 1 ) A 1 B 1 A 0 B 0 ]x m +A 1 B 1 x m. Therefore we arrive to the following bound of [10]: M(m +1) M(m)+M(m +1) (3) for odd n =m +1where m 1..3 Montgomery s Contribution Montgomery [8] observed, among other things, that one multiplication is redundant in (3). Hence M(m +1) M(m +1)+M(m) 1, (m 1). (4) Montgomery also gave explicit formulae for n = 5, 6, 7, which imply M(5) 13, M(6) 17 and M(7). Using these formulae for n =5, 6, 7 recursively, he also obtained improvements on M(n) for some larger values of n. These improvements are tabulated in the Table 1 in [8]..4 Toom-Cook Method Let F be an arbitrary field. For n 1, assume that F has at least n distinct elements (or point s) α 1,..., α n. Toom-Cook method [9], [4] uses these n distinct elements of F and the point at in order to compute the product of two arbitrary n-term polynomials from F. If there are enough elements in F, then this method needs (n 1) multiplications over F in order to multiply two arbitrary n-term polynomials over F. We refer to a recent paper [1, ] for the details. Hence if q n, then Toom-Cook method gives M q (n) n 1. (5) 85

3 However if F is a finite field F q and n is large enough, this method cannot be applied directly (see also [8, Subsection 6.1]). For example, if q = 7 and n = 5,then as n = 8 > 7=q, we cannot apply Toom-Cook method. Among schoolbook method, Karatsuba algorithm and Montgomery s improvements, the best result for M 7 (5) is M 7 (5) 13 (see [8, Table 1]). Note that Toom-Cook method gives M 7 (3) = 5 and M 7 () = 3. Therefore using Toom-Cook method recursively and (4), we obtain that M 7 (5) M 7 (3) + M 7 () =1, which is better than the upper bound M 7 (5) 13 obtained from Montgomery s formulae for 5-term polynomials. In the next section we will improve, for example, this bound to M 7 (5) 11 (see Example 1) and then we will improve this bound to M 7 (5) = 10 (see Example 3) which is optimal and therefore we use equality. Remark 1 It follows from the definitions that the inequalities on () and (4) on M(n) also hold if M(n) is replaced with M q (n), whereq is a prime power. 3 New Method For Polynomial Multiplication Over Finite Fields Let q be a prime power. Using Toom-Cook method we have M q (n) n 1 for n q +, and M q (n) n 1 for n q+. Toom-Cook method cannot be applied directly for obtaining an upper bound on M q (n) if n> q+. In the beginning of this section, we will show that modifying Toom- Cook method and using the extension F q /F q, we can obtain new formulae and improved upper bounds on M q (n) for n q +. Then, we will generalize our results using the extensions F q m/f q for arbitrary integers m and obtain new formulae and improved upper bounds on M q (n) forlargervaluesofn as well. The following definition is useful. Definition 1 Let q be a prime power and m be an integer. Let μ q (m) be the smallest number of multiplications needed over F q for multiplying two arbitrary elements of F q m. In the definition of μ q (m), multiplying two arbitrary elements of F q is counted but multiplying an element of F q with a constant in F q is not counted. Any polynomial multiplication formula over F q can be used for finite field multiplication because element of finite fields can be represented by polynomials. In order to multiply two elements of finite field, the elements are multiplied like polynomials and then the product is reduced using reduction polynomial of the finite field. The reduction step has no multiplicative cost. So we can assume that we have μ q (n) M q (n). Lemma 1 Let q be a prime power. We have μ q () 3. Proof. Karatsuba algorithm [6] gives the result. Now we give our first improvement using the extension F q /F q. Proposition 1 Let q be a prime power. Assume that q+ < n q +. There exists a formula for multiplying two arbitrary n-term polynomials over F q which gives M q (n) 6n q 5. (6) Proof. Assume that n> q+. We use Toom-Cook type evaluations over F q using the point, q elements of F q and n q elements from F q \F q. Here and throughout the paper, for sets A and B, the notation A\Bdenotes the subset of A excluding the elements of B. These need at most q +1multiplications in F q due to the point and the elements of F q,andatmostn q multiplications over F q due to the chosen n q elements of F q \F q.using Lemma 1 we obtain that M q (n) q +1+μ q ()(n q ) 6n q 5. Remark In the proof of Proposition 1, if we know that a multiplication corresponding to an evaluation and contributing to the upper bound (6) also appears in another evaluation, then we call such a multiplication an overlap. Since the proof of Proposition 1 does not take such overlaps into account, if we know the existence of such overlaps in a particular case, then the upper bound (6) can be improved. In Example we will illustrate such a situation. In the following example we demonstrate how to find the formula of Proposition 1 explicitly. Example 1 Let q =7and n =5. Note that x 3 F 7 [x] is irreducible and let w F 49 with w = 3. Let a = a 0 + a a 4 x 4 and b = b 0 + b 1 x + + b 4 x 4 be two arbitrary 5-term polynomials over F 7. We need to compute c 0,c 1,...,c 8 F 7 such that (a 0 + a 1 x a 4 x 4 )(b 0 + b 1 x+...+b 4 x 4 )=c 0 +c 1 x+...+c 8 x 8. Using the elements 0, 1,...,6 of F 7, w F 49 \ F 7 and the point, we obtain the following system of n 1=9equations: x =0 a 0 b 0 = c 0 x =1 (a a 4 )(b b 4 )=(c c 8 ) x = (a a 4 )(b b 4 )=(c c 8 ) x =3 (a a 4 )(b b 4 )=(c c 8 ) x =4 (a a 4 )(b b 4 )=(c c 8 ) x =5 (a a 4 )(b b 4 )=(c c 8 ) 86

4 x =6 (a a 4 )(b b 4 )=(c c 8 ) x = w (a w 4 a 4 )(b w 4 b 4 )=(c w 8 c 8 ) x = a 4 b 4 = c 8 We use the following notations for the products at the left hand side of equations above. Note that we reduce the products with respect to mod 7 and mod (w 3). D 0 = a 0 b 0 D 1 =(a 0 + a 1 + a + a 3 + a 4 )(b 0 + b 1 + b + b 3 + b 4 ) D =(a 0 +a 1 +4a +a 3 +a 4 )(b 0 +b 1 +4b +b 3 +b 4 ) D 3 =(a 0 +3a 1 +a +6a 3 +4a 4 )(b 0 +3b 1 +b +6b 3 +4b 4 ) D 4 =(a 0 +4a 1 +a +a 3 +4a 4 )(b 0 +4b 1 +b +b 3 +4b 4 ) D 5 =(a 0 +5a 1 +4a +6a 3 +a 4 )(b 0 +5b 1 +4b +6b 3 +b 4 ) D 6 =(a 0 +6a 1 + a +6a 3 + a 4 )(b 0 +6b 1 + b +6a 3 + b 4 ) D 7 =(a 0 +3a +a 4 +(a 1 +3a 3 )w)(b 0 +3b +b 4 + (b 1 +3b 3 )w) D 8 = a 4 b 4. As it is seen D 7 is the only product over F 49. If we expand D 7, then we get D 7 = t 1 t 1 +[(t 1 + t )(t 1 + t ) t 1t 1 t t ]w + t t w, where t 1 =(a 0 +3a +a 4 ),t 1 =(b 0 +3b +b 4 ),t = (a 1 +3a 3 ),t =(b 1 +3b 3 ). Substituting w =3we obtain D 7 = D 7 + D 7 w, where D 7 and D 7 are the multiplications over F 7 with D 7 = t 1t 1 +3t t, D 7 = [(t 1 + t )(t 1 + t ) t 1 t 1 t t ]. For any matrix A, leta T denote the transpose of A. Then we have C T = VD T where C = [ ] c 0 c 1 c c 3 c 4 c 5 c 6 c 7 c 8, D = [ ] D 0 D 1 D D 3 D 4 D 5 D 6 D 7 D 8, and V = w 3w+ w+5 6w+6 6w+1 w+ 3w+5 6w w w 4w+4 6w+5 w+3 w+4 6w+ 4w+3 w 6w Using D 7 = D 7 + D 7 w and c 0,c 1,...,c 8 F 7 we get an explicit formula for the coefficients as c 0 = D 0 c 1 = D 1 +5D +6D 3 + D 4 +D 5 +5D 6 +4D 7 c = 6D 1 +5D +3D 3 +3D 4 +5D 5 +6D 6 +6D 8 c 3 = 6D 1 +6D + D 3 +6D 4 + D 5 + D 6 c 4 = 6D 1 +3D +5D 3 +5D 4 +3D 5 +6D 6 c 5 = 6D 1 +5D +4D 3 +3D 4 +D 5 + D 6 c 6 = 6D 0 +6D 1 +6D +6D 3 +6D 4 +6D 5 +6D 6 c 7 = 4D 1 +5D +3D 3 +4D 4 +D 5 +3D 6 +3D 7 c 8 = D 8 Since D 7 requires 3 multiplications in F 7, this shows that we can multiply 5-term polynomials over F 7 with 11 multiplications in F 7. (7) By Proposition 1 we have M (3) 9. In the next example using 3 overlaps (cf. Remark ) we will improve it to M (3) 6. Example Let q =and n =3.Letw F 4 \ F with w + w +1=0.Leta 0 + a 1 x + a x and b 0 + b 1 x + b x be two arbitrary 3-term polynomials over F. We need to compute c 0,c 1,c,c 3,c 4 F such that (a 0 + a 1x + a x )(b 0 + b 1x + b x )=c 0 + c 1x c 4x 4. Using the elements 0, 1 of F, w, w F 4 \ F and the point we obtain the following matrix equation: [ c0 ] [ ] a 0b 0 (a 0+a 1+a )(b 0+b 1+b ) = (a 0+wa 1+w a )(b 0+wb 1+w b ) c 1 c c 3 c 4 Let us denote 01w+1 w 1 01 w w (a 0+w a 1+w 4 a )(b 0+w b 1+w 4 b ) a b D = (a 0 + wa 1 + w a )(b 0 + wb 1 + w b ), D 3 = (a 0 + w a 1 + w 4 a )(b 0 + w b 1 + w 4 b ). In the proof of Proposition 1, each of the contributions of D and D 3 to the upper bound (6) are counted as 3. Using w + w +1=0, we obtain that D = [(a 0 + a )(b 0 + b )+(a 1 + a )(b 1 + b )] +w[(a 0 + a 1 )(b 0 + b 1 )+(a 0 + a )(b 0 + b )], and D 3 = [(a 0 + a 1 )(b 0 + b 1 )+(a 1 + a )(b 1 + b )] +w[(a 0 + a )(b 0 + b )+(a 0 + a 1 )(b 0 + b 1 )]. The counted multiplications in Proposition 1 for D 1 are (a 0 + a )(b 0 + b ), (a 1 + a )(b 1 + b ), (a 0 + a 1 )(b 0 + b 1 ), and for D are (a 0 + a 1 )(b 0 + b 1 ), (a 1 + a )(b 1 + b ), (a 0 + a )(b 0 + b ). It is clear that there are at least 3 overlaps: each of the multiplications for D 1 are counted again for D. Therefore we obtain that M (3) (6n q 5) 3=6. In the rest of this section we give our generalizations. The first one is a straightforward generalization of Proposition 1. Recall that μ q (m) is defined in Definition 1. Proposition Let q be a prime power and m an integer. Assume that q+ <n qm +. There exists a formula for multiplying two arbitrary n-term polynomials over F q which gives M q (n) q +1+μ q (m)(n q ). (8) 87

5 Proof. By changing μ q () 3 with μ q (m) and applying the similar arguments in the proof of Proposition 1, we complete the proof. It follows from Definition 1 that if m 1,m are positive integers and m 1 m,thenμ q (m 1 ) μ q (m ).Hereand throughout the paper, for two positive integers m 1 and m, the notation m 1 m denotes that m 1 divides m. Indeed as F q m 1 is a subfield of F q m, any formula for multiplying two arbitrary elements of F q m can be used for multiplying two arbitrary elements of F q m 1. Moreover if 1 m 1 m are positive integers with m 1 m, then in all cases we know the upper bound on μ q (m 1 ) is less than or equal to the upper bound on μ q (m ). Therefore we would like to use all suitable finite fields of small size in order to obtain a better upper bound on M q (n). Using this idea now we give our general result which improves Proposition. First we give some notation. Let S q (k) be the number of elements in F q k \ F q d where d k. In other words, S q (k) =#{α F q k α/ F q d for all d k}. (9) Theorem 1 Let q be a prime power and m an integer. For an integer n> q+ assume it holds that n q + S q (k), (10) k m where S q (k) is defined in (9). There exists a formula for multiplying two arbitrary n-term polynomials over F q which gives M q (n) 1+q + k<m μ q(k)s q (k)+ μ q (m)(n q k<m S (11) q(k)). Proof. Let m be the least common multiple of the integers 1,,...,mand F = F q m. It is clear that F q k is a subfield of F for each k m. By assumption (10), apart from the point at, we can choose n elements of F such that exactly q of them are from ( F q,for k<mexactly S q (k) of them are from F q k and n q ) k<m S q(k) of them are from F q m. Using the method in the proofs of Propositions 1 and Proposition, we observe that Toom- Cook type evaluations at the point and at the elements of F q contribute to M q (n) by at most q +1multiplications. For each k < m Toom-Cook type evaluations at the chosen elements of F q k contribute to M q (n) by at most μ q (k)s q (k) multiplications. ( Finally, Toom-Cook type evaluations at the n q ) k<m S q(k) chosen elements of F q m ( contribute to M q (n) by at most μ q (m) n q ) k<m S q(k). This completes the proof. Remark 3 As in Proposition 1 and Remark, we can improve the upper bound (11) of Theorem 1 if we know the existence of overlaps. We provide such an example in Section 4. 4 Improved Bounds for Multiplying 10, 11 and 1-term Polynomials over F In this section, we will give a mixed method which provides improved bounds. Then we show existence of some overlaps in Theorem 1 for q =in detail and we will apply the results to n =10, 11 and 1 by using the mixed method. The following fact will be combined by the proposed method to obtain the mixed method. Fact 1 Let a(x) and b(x) be n-term polynomials over F q. If l coefficients of the product a(x) b(x) are known then (n l) elements of F q are enough for finding other coefficients of the product a(x) b(x) with (n l) multiplications in F q. We refer to [3, p. 30] for the proof of this fact. Note that since we count the point as an evaluation point, it is enough to use (n l) points. The following proposition gives some coefficients of the product polynomial with efficient number of multiplications. Therefore, we can use this proposition for further improvements. Proposition 3 Let a(x) = n 1 i=0 a ix i and b(x) = n 1 i=0 b ix i be n-term polynomials over F q and let c(x) = n i=0 c i x i be their product. It always holds c 0 = a 0 b 0,c 1 =(a 0 + a 1 )(b 0 + b 1 ) a 0 b 0 a 1 b 1, c =(a 0 + a )(b 0 + b ) a 0 b 0 a b + a 1 b 1, c n = a n 1 b n 1, c n 3 = (a n 1 + a n )(b n 1 + b n ) a n 1 b n 1 a n b n, c n 4 = (a n 1 + a n 3 )(b n 1 +b n 3 ) a n 1 b n 1 a n 3 b n 3 +a n b n. Proof of the proposition is obvious. Note that c 0 and c n are the products corresponding to evaluations at 0 and. After using those points the cost of each of c 1 and c n 3 is multiplications. Similarly, the cost of each of c and c n 4 is multiplications when we use c 0,c 1,c n and c n 3. The following example shows how to use Proposition 3 and Fact 1. Example 3 Consider 5-term polynomial multiplication over F 7. Since 7 <.5, we have M 7 (5) >.5 1=9. In Example 1 it is found M 7 (5) 11. Now we will find the optimal bound M 7 (5) = 10 by using interpolation and Proposition 3. Now using the points of F 7, and the known coefficient c 1 =(a 0 + a 1 )(b 0 + b 1 ) a 0 b 0 a 1 b 1 in the equation ( 4 i)( 4 ) ( 8 ) a i x b i x i = c i x i, i=0 i=0 i=0 we get x =0 a 0b 0 = c 0, x = 1 (a 0 + a a 4)(b 0 + b b 4) = 88

6 (c 0 + c c 8), x = (a 0 +a a 4)(b 0 +b b 4)= (c 0 +c c 8), x =3 (a 0 +3a a 4)(b 0 +3b b 4)= (c 0 +3c c 8), x =4 (a 0 +4a a 4)(b 0 +4b b 4)= (c 0 +4c c 8), x =5 (a 0 +5a a 4)(b 0 +5b b 4)= (c 0 +5c c 8), x =6 (a 0 +6a a 4)(b 0 +6b b 4)= (c 0 +6c c 8), x = a 4b 4 = c 8, and c 1 =(a 0 + a 1 )(b 0 + b 1 ) a 0 b 0 a 1 b 1. If we construct the system of linear equations in F 7 like in Example 1, we see that the matrix of the linear system is invertible. Therefore we get M 7 (5) = 10 since 7 multiplications comes from the elements of F 7, 1 multiplication is counted for and multiplications are counted for c 1. The proposed method described in Section 3 can be combined with Fact 1 and Proposition 3 as in Example 3. We call this method as the mixed method. Now we will find the polynomial multiplication bounds for n =10, 11 and 1 over F by using the mixed method. However, in order to find better results we need to find all possible overlaps. The following proposition is for the case F. Proposition 4 Let q =, w F 4 with w + w +1=0, α F 8 with α 3 +α+1 = 0 and γ F 16 with γ 4 +γ+1 = 0. For an integer n 1, leta(x) = n 1 i=0 a ix i and B(x) = n 1 i=0 b ix i be two arbitrary n-term polynomials over F. In computing the product A(x)B(x) using the method of Theorem 1: i) the total number of multiplications needed for the evaluation at the elements of the set {w, w } is at most 3, instead of μ () 6, ii) the total number of multiplications needed for the evaluation at the elements of the set { α, α,α 4} (respectively { α 3,α 6,α 5} )isatmost6, instead of μ (3) 3 18, iii) the total number of multiplications needed for the evaluation at the elements of the set { γ,γ,γ 4,γ 8} (respectively { γ 3,γ 6,γ 1,γ 9} and { γ 7,γ 14,γ 13,γ 11} ) is at most 9, instead of μ (4) Proof. We give a detailed proof of item i) only as the proofs of the items ii) and iii) are similar. Let w 1 = w and w = w. Let I 0 = {0 i n 1 : i 0 mod 3}, I 1 = {0 i n 1:i 1 mod 3} and I = {0 i n 1:i mod 3}. Using the relation w1 = w 1 +1we obtain that A(w 1 )=A 0 + w 1 A 1,B(w 1 )=B 0 + w 1 B 1, where A 0,A 1,B 0,B 1 F are given by A 0 = i I 1 a i,a 1 = i I 0 a i,b 0 = i I 1 b i,b 1 = i I 0 b i. Then, using a Karatsuba type argument, we get A(w 1 )B(w 1 )=(A 0 B 0 + A 1 B 1 )+w 1 [(A 0 + A 1 )(B 0 + B 1 )+A 0 B 0 )]. We note that A 0 + A 1 = i I a i, and B 0 + B 1 = i I b i. The counted multiplications for the evaluation at w 1 in the method of Theorem 1 are ( )( ) A 0 B 0 = a i b i, ( i I 1 )( i I 1 ) A 1 B 1 = a i b i, (1) i I 0 i I 0 ( )( ) (A 0 + A 1 )(B 0 + B 1 )=. i I a i i I b i Since w 1 and w are conjugates of each other we have w + w +1=0.Sowehavew = w +1and we obtain that A(w )=A 0 + w A 1,B(w )=B 0 + w B 1, where A 0 = A 0, A 1 = A 1, B 0 = B 0, and B 1 = B 1 F. It is seen that multiplications needed for the evaluation at w and multiplications needed for the evaluation at w are the same, and hence the total number of evaluations needed for the elements of {w, w } is 3. This completes the proof of item i). Remark 4 The observation that is used in the proof of Proposition 4 can be used for any finite field F q. If F q d is the extension field of F q then the total number of multiplications needed for the evaluation at the elements of the set S = {α, α q,α q,...,α qd 1 } is equal to the total number of multiplications needed for the evaluations at the element α because the elements in S are all conjugates of each other and they are the roots of the reduction polynomial of F q d. Note that overlaps are independent from the reduction polynomial of F q d. However, if polynomial multiplication is used for finite field multiplication then the reduction polynomial affects the number of additions. In order to decrease the number of additions it would is better to chose the reduction polynomial having coefficients as low as possible such as binomial or trinomial. Now we will show how to find the polynomial multiplication bounds by using the mixed method. 89

7 Example 4 Let q =and w, α, γ be as defined in proposition 4. We first consider 10-term polynomials over F.As 10 =18, using the method of Theorem 1, apart from the point at, it is enough to choose the following evaluation 18 points: {0, 1}, {w, w }, {α, α,α 4 }, {α 3,α 6,α 5 }, {γ,γ,γ 4,γ 8 }, {γ 3,γ 6,γ 1,γ 9 }. Using Proposition 4 and the method of Theorem 1 we obtain existence of an explicit formula for multiplying two 10-term polynomials over F which gives M (10) =36. Next we consider 11-term polynomials over F. We have 11 = 0 and apart from the point we consider the following 0 points: {0, 1}, {α, α,α 4 }, {α 3,α 6,α 5 }, {γ,γ,γ 4,γ 8 }, {γ 3,γ 6,γ 1,γ 9 }, {γ 7,γ 14,γ 13,γ 11 }. Hence we obtain M (11) =4. Finally we consider 1-term polynomials over F. We have 1 = and apart from the point at we consider the following points:{0, 1}, {w, w }, {α, α,α 4 }, {α 3,α 6,α 5 }, {γ,γ,γ 4,γ 8 }, {γ 3,γ 6,γ 1,γ 9 }, {γ 7,γ 14,γ 13,γ 11 }. Then we get M (1) =47. However, a recent paper [5] finds M (10) 35,M (11) 40 and M (1) 44 by using Chinese Remainder Theorem. We will also obtain the same bound in [5] by using the mixed method as follows: First n =10. As 10 =18, using the method of Theorem 1, apart from the point at, it is enough to choose 18 evaluation points. If we use c 16,c 15,c 1 and c given in Proposition 3, it is enough to choose 18 4=14evaluation points. Let us choose{0, 1}, {w, w }, {α, α,α 4 }, {α 3,α 6,α 5 }, {γ,γ,γ 4,γ 8 } which gives M (10) =35. For n =11we use {0, 1}, {w, w }, {α, α,α 4 }, {α 3,α 6,α 5 }, {γ,γ,γ 4,γ 8 }, {γ 3,γ 6,γ 1,γ 9 } together with c 1 and c 19. Then it is obtained M (11) 40 since c 1 and c 19 cost 4 multiplications. Similarly, if we use c 16,c 15,c 1 and c instead of using points in the set {γ 7,γ 14,γ 13,γ 11 } in the computation of M (1) we decreased the number of multiplications from 45 to 44 since the cost of c 16,c 15,c 1 and c is 8 while the cost of {γ 7,γ 14,γ 13,γ 11 } is 9 multiplications. 5 Efficiency of the Proposed Method The proposed method provides multiplication algorithms which uses less number of multiplications than known methods. However, since the proposed method is based on the interpolation method, the number of additions may increase. The main question is the effect of those additions in practice. In this section, we discuss the efficiency of the proposed method. In order to see the effect of additions, we will give timing results for 5-term polynomials over fields of characteristic 5. We compare the proposed method for 5-term polynomial multiplication over F 5 with Montgomery s 5-term multiplication formula [8] and Karatsuba s 5-term multiplication formula [10]. Note that Mongomery s and Karatsuba s 5-term polynomial multiplication formulae use 13 and 15 multiplications in F 5, respectively. The proposed method provides a 5-term polynomial multiplication formula with 11 multiplications in F 5 as follows. Let a(x) = 4 i=0 a ix i and b(x) = 4 i=0 b ix i be 5-term polynomials over F 5 such that a(x)b(x) =c(x) = 8 i=0 c ix i. We use the 5 points from F 5,, α and β where α, β F 5 /F 5 such that α +3 = 0and β +3 = 0. Moreover, if we use the known coefficient c 1 = (a 0 + a 1 )(b 0 +b 1 ) a 0 b 0 a 1 b 1, we obtain the multiplication formula. Note that the total number of multiplications needed for the evaluation at the elements of the set {α, β} is at most 3 multiplications in F 5 by Remark 4. Therefore we find M 5 (5) 11. The explicit formula is the following: m 1 = a 0 b 0,m =(a 0 + a 1 )(b 0 + b 1 ),m 3 = a 1 b 1, m 4 =(a 0 + a 1 + a + a 3 + a 4 )(b 0 + b 1 + b + b 3 + b 4 ), m 5 =(a 0 +a 1 +4a +3a 3 +a 4 )(b 0 +b 1 +4b +3b 3 +b 4 ), m 6 =(a 0 +3a 1 +4a +a 3 +a 4 )(b 0 +3b 1 +4b +b 3 +b 4 ), m 7 =(a 0 +4a 1 +a +4a 3 +a 4 )(b 0 +4b 1 +b +4b 3 +b 4 ), m 8 = a 4 b 4,m 9 =(a 0 +a +4a 4 )(b 0 +b +4b 4 ) m 10 =(a 1 +a 3 )(b 1 +b 3 ), m 11 =(a 1 +a 3 +a 0 +a +4a 4 )(b 1 +b 3 +b 0 +b +4b 4 ). c 0 = m 1, c 1 = m m 1 m 3, c =m 1 +3m 4 +4m 5 +4m 6 +3m 7 +m 8 +4m 9 +8m 10, c 3 =m m 1 m 3 +3m 4 +m 5 +3m 6 +m 7 + 4m 11 4m 9 4m 10, c 4 =4m 1 +4m 4 +4m 5 +4m 6 +4m 7 +4m 8, c 5 =4m 4m 1 4m 3 +4m 4 +m 5 +3m 6 + m 7, c 6 =3m 1 + m 4 +m 5 +m 6 + m 7 +3m 8 + m 9 +m 10, c 7 =3m 3m 1 3m 3 + m 4 + m 5 +4m 6 +4m 7 + m 11 m 9 m 10, c 8 = m 8. In Table 1, we give timing comparisons among our explicit formula, Montgomery s 5-term polynomial multiplications [8] and Karatsuba s 5-term polynomial multiplication formula [10]. We implement the formulae recursively by using () for 5 k -term polynomial multiplications over F 5,wherek 1. The implementation of formulae in the platform of a single-processor 3.00-GHZ Pentium 4 gives a slightly slower timing results for 5-term polynomials as indicated in Table 1. However, proposed explicit formula for 90

8 5-term polynomial multiplications over F 5 is much better in timings compared to [8] and [10], especially for k>1 because the number of multiplications dominates the number of additions for k>1. Table 1: Timings (μ sec) for F 5 Polynomial Multiplication n Proposed Method Montgomery Karatsuba ,075. 3,15 16,896 3,481 37,376 Finally we give two examples of practical applications for which the number multiplications in polynomial multiplication formula is much more important than the number additions used in that formula. Firstly we consider polynomial multiplication over large finite fields. Let m>1bean integer. It is well known that any n-term polynomial multiplication formula over F q is valid for n-term polynomial multiplication over F q m.if we apply the proposed formula over F q m, the effect of addition will be negligible. For example, consider the proposed formula for 5-term polynomial multiplication formula over F 5. When we use this proposed formula for 5-term polynomials over F 5 m, we use 11 multiplications in F 5 m whereas Montgomery s formula uses 13 multiplications in F 5 m and Karatsuba s formula uses 15 multiplications in F 5 m.since the multiplication in F 5 m takes much more time than the addition in F 5 m, the formula which uses less multiplication will produce faster polynomial multiplication. Second we consider the multiplication of matrix polynomials. Multiplication of matrices takes much more time than their addition. In such an application, the number of multiplications will be more important parameter than the number of additions. For example, consider the 10-term binary matrix polynomials with coefficients of the size matrices. In this case the multiplication of those matrices will take much more time than the additions of those matrices. So, the proposed method will give faster matrix multiplication of polynomials. 6 Conclusions We gave a method for polynomial multiplication over finite fields using field extensions and polynomial interpolation. Using this method we obtained explicit formulae which improved the previous results. We analyzed for n-term polynomial multiplications over F, where n {10, 11, 1}, in detail. Moreover we discussed the efficiency of the proposed method. Acknowledgments A part of this paper was written while the third author was visiting Temasek Laboratories and Department of Mathematics at the National University of Singapore. He would like to thank both institutes for the hospitality. This research of the third author was supported by the DSTA grant R with Temasek Laboratories in Singapore and NTU Research Grant No. M The first and the third authors were supported by TÜBİTAK under Grant No. TBAG-107T86. References [1] M. Bodrato and A. Zanoni. Integer and Polynomial Multiplication: Towards Optimal Toom-Cook Matrices, Proceedings of the ISSAC 007 Conference, Ontario, Canada, pp. 17-4, ACM Press, July 9 - August 1, 007, ACM press. [] M. Bodrato: Towards optimal Toom-Cook multiplication for univariate and multivariated polynomials in characteristic and 0, Proc. WAIFI 007, LNCS 4547, pp , June 007. [3] P. Bürgisser, M. Clausen and M. A. Shokrollahi, Algebraic Complexity Theory, Springer, [4] S. A. Cook. On the Minimum Computation Time of Functions. pages 51-77, Thesis, Harvard University, Cambridge, MA, [5] H. Fan and M. Anwar Hasan, Comments on Five, Six, and Seven-Term Karatsuba-Like Formulae, IEEE Transactions on Computers, vol. 56, no. 5, pp , 007. [6] A. Karatsuba and Y. Ofman. Multiplication of multidigit numbers by automata, Soviet Physics-Doklady, (7): , [7] D. E. Knuth. The Art of Computer Programming: Seminumerical Algorithms, Volume, Second Edition, Addison-Wesley, [8] P. L. Montgomery. Five, six, and seven-term Karatsuba-like formulae. IEEE Transactions on Computers, 54(3):36-369, March 005. [9] A. L. Toom. The complexity scheme of functional elements realizing the multiplication of integers, Soviet Mathematics, 3: , [10] A. Weimerskirch and C. Paar. Generalizations of the Karatsuba Algorithm for Polynomial Multiplication, Avaliable: 91

Efficient Subquadratic Space Complexity Binary Polynomial Multipliers Based On Block Recombination

Efficient Subquadratic Space Complexity Binary Polynomial Multipliers Based On Block Recombination Efficient Subquadratic Space Complexity Binary Polynomial Multipliers Based On Block Recombination Murat Cenk, Anwar Hasan, Christophe Negre To cite this version: Murat Cenk, Anwar Hasan, Christophe Negre.

More information

Low complexity bit-parallel GF (2 m ) multiplier for all-one polynomials

Low complexity bit-parallel GF (2 m ) multiplier for all-one polynomials Low complexity bit-parallel GF (2 m ) multiplier for all-one polynomials Yin Li 1, Gong-liang Chen 2, and Xiao-ning Xie 1 Xinyang local taxation bureau, Henan, China. Email:yunfeiyangli@gmail.com, 2 School

More information

Mastrovito Form of Non-recursive Karatsuba Multiplier for All Trinomials

Mastrovito Form of Non-recursive Karatsuba Multiplier for All Trinomials 1 Mastrovito Form of Non-recursive Karatsuba Multiplier for All Trinomials Yin Li, Xingpo Ma, Yu Zhang and Chuanda Qi Abstract We present a new type of bit-parallel non-recursive Karatsuba multiplier over

More information

Subquadratic Space Complexity Multiplication over Binary Fields with Dickson Polynomial Representation

Subquadratic Space Complexity Multiplication over Binary Fields with Dickson Polynomial Representation Subquadratic Space Complexity Multiplication over Binary Fields with Dickson Polynomial Representation M A Hasan and C Negre Abstract We study Dickson bases for binary field representation Such representation

More information

Reducing the Complexity of Normal Basis Multiplication

Reducing the Complexity of Normal Basis Multiplication Reducing the Complexity of Normal Basis Multiplication Ömer Eǧecioǧlu and Çetin Kaya Koç Department of Computer Science University of California Santa Barbara {omer,koc}@cs.ucsb.edu Abstract In this paper

More information

High Performance GHASH Function for Long Messages

High Performance GHASH Function for Long Messages High Performance GHASH Function for Long Messages Nicolas Méloni 1, Christophe Négre 2 and M. Anwar Hasan 1 1 Department of Electrical and Computer Engineering University of Waterloo, Canada 2 Team DALI/ELIAUS

More information

Integer Multiplication

Integer Multiplication Integer Multiplication in almost linear time Martin Fürer CSE 588 Department of Computer Science and Engineering Pennsylvania State University 1/24/08 Karatsuba algebraic Split each of the two factors

More information

Three Ways to Test Irreducibility

Three Ways to Test Irreducibility Three Ways to Test Irreducibility Richard P. Brent Australian National University joint work with Paul Zimmermann INRIA, Nancy France 12 Feb 2009 Outline Polynomials over finite fields Irreducibility criteria

More information

Efficient multiplication in characteristic three fields

Efficient multiplication in characteristic three fields Efficient multiplication in characteristic three fields Murat Cenk and M. Anwar Hasan Department of Electrical and Computer Engineering University of Waterloo, Waterloo, Ontario, Canada N2L 3G1 mcenk@uwaterloo.ca

More information

Three Ways to Test Irreducibility

Three Ways to Test Irreducibility Outline Three Ways to Test Irreducibility Richard P. Brent Australian National University joint work with Paul Zimmermann INRIA, Nancy France 8 Dec 2008 Polynomials over finite fields Irreducibility criteria

More information

Subquadratic space complexity multiplier for a class of binary fields using Toeplitz matrix approach

Subquadratic space complexity multiplier for a class of binary fields using Toeplitz matrix approach Subquadratic space complexity multiplier for a class of binary fields using Toeplitz matrix approach M A Hasan 1 and C Negre 2 1 ECE Department and CACR, University of Waterloo, Ontario, Canada 2 Team

More information

Fast arithmetic for polynomials over F 2 in hardware

Fast arithmetic for polynomials over F 2 in hardware Fast arithmetic for polynomials over F 2 in hardware JOACHIM VON ZUR GATHEN & JAMSHID SHOKROLLAHI (200). Fast arithmetic for polynomials over F2 in hardware. In IEEE Information Theory Workshop (200),

More information

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 A typical course in abstract algebra starts with groups, and then moves on to rings, vector spaces, fields, etc. This sequence

More information

Computer Vision, Convolutions, Complexity and Algebraic Geometry

Computer Vision, Convolutions, Complexity and Algebraic Geometry Computer Vision, Convolutions, Complexity and Algebraic Geometry D. V. Chudnovsky, G.V. Chudnovsky IMAS Polytechnic Institute of NYU 6 MetroTech Center Brooklyn, NY 11201 December 6, 2012 Fast Multiplication:

More information

A new class of irreducible pentanomials for polynomial based multipliers in binary fields

A new class of irreducible pentanomials for polynomial based multipliers in binary fields Noname manuscript No. (will be inserted by the editor) A new class of irreducible pentanomials for polynomial based multipliers in binary fields Gustavo Banegas Ricardo Custódio Daniel Panario the date

More information

Math 312/ AMS 351 (Fall 17) Sample Questions for Final

Math 312/ AMS 351 (Fall 17) Sample Questions for Final Math 312/ AMS 351 (Fall 17) Sample Questions for Final 1. Solve the system of equations 2x 1 mod 3 x 2 mod 7 x 7 mod 8 First note that the inverse of 2 is 2 mod 3. Thus, the first equation becomes (multiply

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,

More information

P -adic root separation for quadratic and cubic polynomials

P -adic root separation for quadratic and cubic polynomials P -adic root separation for quadratic and cubic polynomials Tomislav Pejković Abstract We study p-adic root separation for quadratic and cubic polynomials with integer coefficients. The quadratic and reducible

More information

A New Approach to Subquadratic Space Complexity Parallel Multipliers for Extended Binary Fields

A New Approach to Subquadratic Space Complexity Parallel Multipliers for Extended Binary Fields 1 A New Approach to Subquadratic Space Complexity Parallel Multipliers for Extended Binary Fields Haining Fan and M. Anwar Hasan Senior Member, IEEE July 19, 2006 Abstract Based on Toeplitz matrix-vector

More information

GF(2 m ) arithmetic: summary

GF(2 m ) arithmetic: summary GF(2 m ) arithmetic: summary EE 387, Notes 18, Handout #32 Addition/subtraction: bitwise XOR (m gates/ops) Multiplication: bit serial (shift and add) bit parallel (combinational) subfield representation

More information

Algebra Review 2. 1 Fields. A field is an extension of the concept of a group.

Algebra Review 2. 1 Fields. A field is an extension of the concept of a group. Algebra Review 2 1 Fields A field is an extension of the concept of a group. Definition 1. A field (F, +,, 0 F, 1 F ) is a set F together with two binary operations (+, ) on F such that the following conditions

More information

A new class of irreducible pentanomials for polynomial based multipliers in binary fields

A new class of irreducible pentanomials for polynomial based multipliers in binary fields Noname manuscript No. (will be inserted by the editor) A new class of irreducible pentanomials for polynomial based multipliers in binary fields Gustavo Banegas Ricardo Custódio Daniel Panario the date

More information

Fast Polynomial Multiplication

Fast Polynomial Multiplication Fast Polynomial Multiplication Marc Moreno Maza CS 9652, October 4, 2017 Plan Primitive roots of unity The discrete Fourier transform Convolution of polynomials The fast Fourier transform Fast convolution

More information

Lecture 7: Polynomial rings

Lecture 7: Polynomial rings Lecture 7: Polynomial rings Rajat Mittal IIT Kanpur You have seen polynomials many a times till now. The purpose of this lecture is to give a formal treatment to constructing polynomials and the rules

More information

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter

More information

Computing with polynomials: Hensel constructions

Computing with polynomials: Hensel constructions Course Polynomials: Their Power and How to Use Them, JASS 07 Computing with polynomials: Hensel constructions Lukas Bulwahn March 28, 2007 Abstract To solve GCD calculations and factorization of polynomials

More information

A Pipelined Karatsuba-Ofman Multiplier over GF(3 97 ) Amenable for Pairing Computation

A Pipelined Karatsuba-Ofman Multiplier over GF(3 97 ) Amenable for Pairing Computation A Pipelined Karatsuba-Ofman Multiplier over GF(3 97 ) Amenable for Pairing Computation Nidia Cortez-Duarte 1, Francisco Rodríguez-Henríquez 1, Jean-Luc Beuchat 2 and Eiji Okamoto 2 1 Computer Science Departament,

More information

A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties:

A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties: Byte multiplication 1 Field arithmetic A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties: F is an abelian group under addition, meaning - F is closed under

More information

Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography

Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography David R. Wilkins Copyright c David R. Wilkins 2006 Contents 9 Introduction to Number Theory and Cryptography 1 9.1 Subgroups

More information

17 Galois Fields Introduction Primitive Elements Roots of Polynomials... 8

17 Galois Fields Introduction Primitive Elements Roots of Polynomials... 8 Contents 17 Galois Fields 2 17.1 Introduction............................... 2 17.2 Irreducible Polynomials, Construction of GF(q m )... 3 17.3 Primitive Elements... 6 17.4 Roots of Polynomials..........................

More information

Course MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography

Course MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography Course MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography David R. Wilkins Copyright c David R. Wilkins 2000 2013 Contents 9 Introduction to Number Theory 63 9.1 Subgroups

More information

Efficient Modular Arithmetic in Adapted Modular Number System using Lagrange Representation

Efficient Modular Arithmetic in Adapted Modular Number System using Lagrange Representation Efficient Modular Arithmetic in Adapted Modular Number System using Lagrange Representation Christophe Negre 1, Thomas Plantard 2 1 Team DALI, University of Perpignan, France. 2 Centre for Information

More information

12 16 = (12)(16) = 0.

12 16 = (12)(16) = 0. Homework Assignment 5 Homework 5. Due day: 11/6/06 (5A) Do each of the following. (i) Compute the multiplication: (12)(16) in Z 24. (ii) Determine the set of units in Z 5. Can we extend our conclusion

More information

Groups, Rings, and Finite Fields. Andreas Klappenecker. September 12, 2002

Groups, Rings, and Finite Fields. Andreas Klappenecker. September 12, 2002 Background on Groups, Rings, and Finite Fields Andreas Klappenecker September 12, 2002 A thorough understanding of the Agrawal, Kayal, and Saxena primality test requires some tools from algebra and elementary

More information

A New Approach to Subquadratic Space Complexity Parallel Multipliers for Extended Binary Fields

A New Approach to Subquadratic Space Complexity Parallel Multipliers for Extended Binary Fields 1 A New Approach to Subquadratic Space Complexity Parallel Multipliers for Extended Binary Fields Haining Fan and M. Anwar Hasan Senior Member, IEEE January 5, 2006 Abstract Based on Toeplitz matrix-vector

More information

Outline. MSRI-UP 2009 Coding Theory Seminar, Week 2. The definition. Link to polynomials

Outline. MSRI-UP 2009 Coding Theory Seminar, Week 2. The definition. Link to polynomials Outline MSRI-UP 2009 Coding Theory Seminar, Week 2 John B. Little Department of Mathematics and Computer Science College of the Holy Cross Cyclic Codes Polynomial Algebra More on cyclic codes Finite fields

More information

Mathematics for Cryptography

Mathematics for Cryptography Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1

More information

ALGEBRA AND ALGEBRAIC COMPUTING ELEMENTS OF. John D. Lipson. Addison-Wesley Publishing Company, Inc.

ALGEBRA AND ALGEBRAIC COMPUTING ELEMENTS OF. John D. Lipson. Addison-Wesley Publishing Company, Inc. ELEMENTS OF ALGEBRA AND ALGEBRAIC COMPUTING John D. Lipson University of Toronto PRO Addison-Wesley Publishing Company, Inc. Redwood City, California Menlo Park, California Reading, Massachusetts Amsterdam

More information

Divide and Conquer: Polynomial Multiplication Version of October 1 / 7, 24201

Divide and Conquer: Polynomial Multiplication Version of October 1 / 7, 24201 Divide and Conquer: Polynomial Multiplication Version of October 7, 2014 Divide and Conquer: Polynomial Multiplication Version of October 1 / 7, 24201 Outline Outline: Introduction The polynomial multiplication

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

Groups in Cryptography. Çetin Kaya Koç Winter / 13

Groups in Cryptography.   Çetin Kaya Koç Winter / 13 http://koclab.org Çetin Kaya Koç Winter 2017 1 / 13 A set S and a binary operation A group G = (S, ) if S and satisfy: Closure: If a, b S then a b S Associativity: For a, b, c S, (a b) c = a (b c) A neutral

More information

CPSC 518 Introduction to Computer Algebra Asymptotically Fast Integer Multiplication

CPSC 518 Introduction to Computer Algebra Asymptotically Fast Integer Multiplication CPSC 518 Introduction to Computer Algebra Asymptotically Fast Integer Multiplication 1 Introduction We have now seen that the Fast Fourier Transform can be applied to perform polynomial multiplication

More information

CPSC 518 Introduction to Computer Algebra Schönhage and Strassen s Algorithm for Integer Multiplication

CPSC 518 Introduction to Computer Algebra Schönhage and Strassen s Algorithm for Integer Multiplication CPSC 518 Introduction to Computer Algebra Schönhage and Strassen s Algorithm for Integer Multiplication March, 2006 1 Introduction We have now seen that the Fast Fourier Transform can be applied to perform

More information

Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields

Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields István Gaál, University of Debrecen, Mathematical Institute H 4010 Debrecen Pf.12., Hungary

More information

arxiv: v1 [cs.na] 8 Feb 2016

arxiv: v1 [cs.na] 8 Feb 2016 Toom-Coo Multiplication: Some Theoretical and Practical Aspects arxiv:1602.02740v1 [cs.na] 8 Feb 2016 M.J. Kronenburg Abstract Toom-Coo multiprecision multiplication is a well-nown multiprecision multiplication

More information

Montgomery Multiplier and Squarer in GF(2 m )

Montgomery Multiplier and Squarer in GF(2 m ) Montgomery Multiplier and Squarer in GF( m ) Huapeng Wu The Centre for Applied Cryptographic Research Department of Combinatorics and Optimization University of Waterloo, Waterloo, Canada h3wu@cacrmathuwaterlooca

More information

Chapter 4. Remember: F will always stand for a field.

Chapter 4. Remember: F will always stand for a field. Chapter 4 Remember: F will always stand for a field. 4.1 10. Take f(x) = x F [x]. Could there be a polynomial g(x) F [x] such that f(x)g(x) = 1 F? Could f(x) be a unit? 19. Compare with Problem #21(c).

More information

Finite vector spaces and certain lattices

Finite vector spaces and certain lattices Finite vector spaces and certain lattices Thomas W. Cusick 106 Diefendorf Hall, Department of Mathematics, State University of New York at Buffalo, Buffalo, NY 14214-3093 E-mail: cusick@acsu.buffalo.edu

More information

Issues in Implementation of Public Key Cryptosystems

Issues in Implementation of Public Key Cryptosystems Issues in Implementation of Public Key Cryptosystems by Jaewook Chung A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Doctor of Philosophy in

More information

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R. Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary

More information

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

Section III.6. Factorization in Polynomial Rings

Section III.6. Factorization in Polynomial Rings III.6. Factorization in Polynomial Rings 1 Section III.6. Factorization in Polynomial Rings Note. We push several of the results in Section III.3 (such as divisibility, irreducibility, and unique factorization)

More information

Mathematical Olympiad Training Polynomials

Mathematical Olympiad Training Polynomials Mathematical Olympiad Training Polynomials Definition A polynomial over a ring R(Z, Q, R, C) in x is an expression of the form p(x) = a n x n + a n 1 x n 1 + + a 1 x + a 0, a i R, for 0 i n. If a n 0,

More information

Subquadratic Computational Complexity Schemes for Extended Binary Field Multiplication Using Optimal Normal Bases

Subquadratic Computational Complexity Schemes for Extended Binary Field Multiplication Using Optimal Normal Bases 1 Subquadratic Computational Complexity Schemes for Extended Binary Field Multiplication Using Optimal Normal Bases H. Fan and M. A. Hasan March 31, 2007 Abstract Based on a recently proposed Toeplitz

More information

Frequency Domain Finite Field Arithmetic for Elliptic Curve Cryptography

Frequency Domain Finite Field Arithmetic for Elliptic Curve Cryptography Frequency Domain Finite Field Arithmetic for Elliptic Curve Cryptography Selçuk Baktır, Berk Sunar {selcuk,sunar}@wpi.edu Department of Electrical & Computer Engineering Worcester Polytechnic Institute

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

More information

D-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings

D-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings D-MATH Algebra I HS 2013 Prof. Brent Doran Exercise 11 Rings: definitions, units, zero divisors, polynomial rings 1. Show that the matrices M(n n, C) form a noncommutative ring. What are the units of M(n

More information

RSA Implementation. Oregon State University

RSA Implementation. Oregon State University RSA Implementation Çetin Kaya Koç Oregon State University 1 Contents: Exponentiation heuristics Multiplication algorithms Computation of GCD and Inverse Chinese remainder algorithm Primality testing 2

More information

Montgomery Reduction Algorithm for Modular Multiplication Using Low-Weight Polynomial Form Integers

Montgomery Reduction Algorithm for Modular Multiplication Using Low-Weight Polynomial Form Integers Montgomery Reduction Algorithm for Modular Multiplication Using Low-Weight Polynomial Form Integers Jaewook Chung and M Anwar Hasan j4chung@uwaterlooca ahasan@secureuwaterlooca Department of Electrical

More information

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

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

12x + 18y = 30? ax + by = m

12x + 18y = 30? ax + by = m Math 2201, Further Linear Algebra: a practical summary. February, 2009 There are just a few themes that were covered in the course. I. Algebra of integers and polynomials. II. Structure theory of one endomorphism.

More information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

Complex Numbers: Definition: A complex number is a number of the form: z = a + bi where a, b are real numbers and i is a symbol with the property: i

Complex Numbers: Definition: A complex number is a number of the form: z = a + bi where a, b are real numbers and i is a symbol with the property: i Complex Numbers: Definition: A complex number is a number of the form: z = a + bi where a, b are real numbers and i is a symbol with the property: i 2 = 1 Sometimes we like to think of i = 1 We can treat

More information

. As the binomial coefficients are integers we have that. 2 n(n 1).

. As the binomial coefficients are integers we have that. 2 n(n 1). Math 580 Homework. 1. Divisibility. Definition 1. Let a, b be integers with a 0. Then b divides b iff there is an integer k such that b = ka. In the case we write a b. In this case we also say a is a factor

More information

Homework 10 M 373K by Mark Lindberg (mal4549)

Homework 10 M 373K by Mark Lindberg (mal4549) Homework 10 M 373K by Mark Lindberg (mal4549) 1. Artin, Chapter 11, Exercise 1.1. Prove that 7 + 3 2 and 3 + 5 are algebraic numbers. To do this, we must provide a polynomial with integer coefficients

More information

Dynamics of finite linear cellular automata over Z N

Dynamics of finite linear cellular automata over Z N Dynamics of finite linear cellular automata over Z N F. Mendivil, D. Patterson September 9, 2009 Abstract We investigate the behaviour of linear cellular automata with state space Z N and only finitely

More information

Inverses and Elementary Matrices

Inverses and Elementary Matrices Inverses and Elementary Matrices 1-12-2013 Matrix inversion gives a method for solving some systems of equations Suppose a 11 x 1 +a 12 x 2 + +a 1n x n = b 1 a 21 x 1 +a 22 x 2 + +a 2n x n = b 2 a n1 x

More information

Efficient FPGA-based Karatsuba multipliers for polynomials over F 2

Efficient FPGA-based Karatsuba multipliers for polynomials over F 2 JOACHIM VON ZUR GATHEN & JAMSHID SHOKROLLAHI (2005). Efficient FPGA-based Karatsuba multipliers for polynomials over F2. In Selected Areas in Cryptography (SAC 2005), BART PRENEEL & STAFFORD TAVARES, editors,

More information

Secret Sharing for General Access Structures

Secret Sharing for General Access Structures SECRET SHARING FOR GENERAL ACCESS STRUCTURES 1 Secret Sharing for General Access Structures İlker Nadi Bozkurt, Kamer Kaya, and Ali Aydın Selçuk Abstract Secret sharing schemes (SSS) are used to distribute

More information

Solving Quadratic Equations

Solving Quadratic Equations Solving Quadratic Equations MATH 101 College Algebra J. Robert Buchanan Department of Mathematics Summer 2012 Objectives In this lesson we will learn to: solve quadratic equations by factoring, solve quadratic

More information

Algebra 2 (2006) Correlation of the ALEKS Course Algebra 2 to the California Content Standards for Algebra 2

Algebra 2 (2006) Correlation of the ALEKS Course Algebra 2 to the California Content Standards for Algebra 2 Algebra 2 (2006) Correlation of the ALEKS Course Algebra 2 to the California Content Standards for Algebra 2 Algebra II - This discipline complements and expands the mathematical content and concepts of

More information

Space- and Time-Efficient Polynomial Multiplication

Space- and Time-Efficient Polynomial Multiplication Space- and Time-Efficient Polynomial Multiplication Daniel S. Roche Symbolic Computation Group School of Computer Science University of Waterloo ISSAC 2009 Seoul, Korea 30 July 2009 Univariate Polynomial

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

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information

The Berlekamp algorithm

The Berlekamp algorithm The Berlekamp algorithm John Kerl University of Arizona Department of Mathematics 29 Integration Workshop August 6, 29 Abstract Integer factorization is a Hard Problem. Some cryptosystems, such as RSA,

More information

Finite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay

Finite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay 1 / 25 Finite Fields Saravanan Vijayakumaran sarva@ee.iitb.ac.in Department of Electrical Engineering Indian Institute of Technology Bombay September 25, 2014 2 / 25 Fields Definition A set F together

More information

A Proof of the Lucas-Lehmer Test and its Variations by Using a Singular Cubic Curve

A Proof of the Lucas-Lehmer Test and its Variations by Using a Singular Cubic Curve 1 47 6 11 Journal of Integer Sequences, Vol. 1 (018), Article 18.6. A Proof of the Lucas-Lehmer Test and its Variations by Using a Singular Cubic Curve Ömer Küçüksakallı Mathematics Department Middle East

More information

TROPICAL SCHEME THEORY

TROPICAL SCHEME THEORY TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),

More information

Section VI.33. Finite Fields

Section VI.33. Finite Fields VI.33 Finite Fields 1 Section VI.33. Finite Fields Note. In this section, finite fields are completely classified. For every prime p and n N, there is exactly one (up to isomorphism) field of order p n,

More information

q-counting hypercubes in Lucas cubes

q-counting hypercubes in Lucas cubes Turkish Journal of Mathematics http:// journals. tubitak. gov. tr/ math/ Research Article Turk J Math (2018) 42: 190 203 c TÜBİTAK doi:10.3906/mat-1605-2 q-counting hypercubes in Lucas cubes Elif SAYGI

More information

On Irreducible Polynomial Remainder Codes

On Irreducible Polynomial Remainder Codes 2011 IEEE International Symposium on Information Theory Proceedings On Irreducible Polynomial Remainder Codes Jiun-Hung Yu and Hans-Andrea Loeliger Department of Information Technology and Electrical Engineering

More information

A connection between number theory and linear algebra

A connection between number theory and linear algebra A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.

More information

Constructions of digital nets using global function fields

Constructions of digital nets using global function fields ACTA ARITHMETICA 105.3 (2002) Constructions of digital nets using global function fields by Harald Niederreiter (Singapore) and Ferruh Özbudak (Ankara) 1. Introduction. The theory of (t, m, s)-nets and

More information

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions Basic Questions 1. Give an example of a prime ideal which is not maximal. In the ring Z Z, the ideal {(0,

More information

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009)

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) These are errata for the Third Edition of the book. Errata from previous editions have been fixed

More information

Chapter 3. Vector spaces

Chapter 3. Vector spaces Chapter 3. Vector spaces Lecture notes for MA1111 P. Karageorgis pete@maths.tcd.ie 1/22 Linear combinations Suppose that v 1,v 2,...,v n and v are vectors in R m. Definition 3.1 Linear combination We say

More information

Galois fields/1. (M3) There is an element 1 (not equal to 0) such that a 1 = a for all a.

Galois fields/1. (M3) There is an element 1 (not equal to 0) such that a 1 = a for all a. Galois fields 1 Fields A field is an algebraic structure in which the operations of addition, subtraction, multiplication, and division (except by zero) can be performed, and satisfy the usual rules. More

More information

Low-Weight Polynomial Form Integers for Efficient Modular Multiplication

Low-Weight Polynomial Form Integers for Efficient Modular Multiplication 1 Low-Weight Polynomial Form Integers for Efficient Modular Multiplication Jaewook Chung and M. Anwar Hasan February 9, 2006 Abstract In 1999, Jerome Solinas introduced families of moduli called the generalized

More information

LECTURE NOTES IN CRYPTOGRAPHY

LECTURE NOTES IN CRYPTOGRAPHY 1 LECTURE NOTES IN CRYPTOGRAPHY Thomas Johansson 2005/2006 c Thomas Johansson 2006 2 Chapter 1 Abstract algebra and Number theory Before we start the treatment of cryptography we need to review some basic

More information

Galois Fields and Hardware Design

Galois Fields and Hardware Design Galois Fields and Hardware Design Construction of Galois Fields, Basic Properties, Uniqueness, Containment, Closure, Polynomial Functions over Galois Fields Priyank Kalla Associate Professor Electrical

More information

NUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z:

NUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z: NUMBER SYSTEMS Number theory is the study of the integers. We denote the set of integers by Z: Z = {..., 3, 2, 1, 0, 1, 2, 3,... }. The integers have two operations defined on them, addition and multiplication,

More information

Chapter 1 Divide and Conquer Algorithm Theory WS 2016/17 Fabian Kuhn

Chapter 1 Divide and Conquer Algorithm Theory WS 2016/17 Fabian Kuhn Chapter 1 Divide and Conquer Algorithm Theory WS 2016/17 Fabian Kuhn Formulation of the D&C principle Divide-and-conquer method for solving a problem instance of size n: 1. Divide n c: Solve the problem

More information

Construction of Barnes-Wall Lattices from Linear Codes over Rings

Construction of Barnes-Wall Lattices from Linear Codes over Rings 01 IEEE International Symposium on Information Theory Proceedings Construction of Barnes-Wall Lattices from Linear Codes over Rings J Harshan Dept of ECSE, Monh University Clayton, Australia Email:harshanjagadeesh@monhedu

More information

Exercises for Chapter 1

Exercises for Chapter 1 Solution Manual for A First Course in Abstract Algebra, with Applications Third Edition by Joseph J. Rotman Exercises for Chapter. True or false with reasons. (i There is a largest integer in every nonempty

More information

Rings. EE 387, Notes 7, Handout #10

Rings. EE 387, Notes 7, Handout #10 Rings EE 387, Notes 7, Handout #10 Definition: A ring is a set R with binary operations, + and, that satisfy the following axioms: 1. (R, +) is a commutative group (five axioms) 2. Associative law for

More information

CHEBYSHEV polynomials have been an essential mathematical

CHEBYSHEV polynomials have been an essential mathematical IEEE TRANSACTIONS ON COMPUTERS, VOL X, NO X, MONTH YYYY 1 A Karatsuba-based Algorithm for Polynomial Multiplication in Chebyshev Form Juliano B Lima, Student Member, IEEE, Daniel Panario, Member, IEEE,

More information

Comparison of Bit and Word Level Algorithms for Evaluating U. Evaluating Unstructured Functions over Finite Rings

Comparison of Bit and Word Level Algorithms for Evaluating U. Evaluating Unstructured Functions over Finite Rings Comparison of Bit and Word Level Algorithms for Evaluating Unstructured Functions over Finite Rings Berk Sunar David Cyganski sunar,cyganski@wpi.edu http://crypto.wpi.edu Worcester Polytechnic Institute

More information

A polytime proof of correctness of the Rabin-Miller algorithm from Fermat s Little Theorem

A polytime proof of correctness of the Rabin-Miller algorithm from Fermat s Little Theorem A polytime proof of correctness of the Rabin-Miller algorithm from Fermat s Little Theorem Grzegorz Herman and Michael Soltys November 24, 2008 Abstract Although a deterministic polytime algorithm for

More information