On Nonlinear Polynomial Selection and Geometric Progression (mod N) for Number Field Sieve

Size: px
Start display at page:

Download "On Nonlinear Polynomial Selection and Geometric Progression (mod N) for Number Field Sieve"

Transcription

1 On onlinear Polynomial Selection and Geometric Progression (mod ) for umber Field Sieve amhun Koo, Gooc Hwa Jo, and Soonhak Kwon komaton@skku.edu, achimheasal@nate.com, shkwon@skku.edu Det. of Mathematics, Sungkyunkwan University, Suwon, S. Korea Abstract The general number field sieve (GFS) is asymtotically the fastest known factoring algorithm. One of the most imortant stes of GFS is to select a good olynomial air. A standard way of olynomial selection (being used in factoring RSA challenge numbers) is to select a nonlinear olynomial for algebraic sieving and a linear olynomial for rational sieving. There is another method called a nonlinear method which selects two olynomials of the same degree greater than one. In this aer, we generalize Montgomery s method [7] using small geometric rogression (GP) (mod ) to construct a air of nonlinear olynomials. We introduce GP of length d + k with 1 k d 1 and show that we can construct olynomials of degree d having common root (mod ), where the number of such olynomials and the size of the coefficients can be recisely determined. Keywords : olynomial selection, number field sieve, geometric rogression, LLL algorithm 1 Introduction The number field sieve (FS) [6, 11] is asymtotically the fastest known algorithm to factor a large comosite integer. One of the most exciting news on this toic is the factorization of RSA-768 by the collaboration of Kleinjung and many other researchers [3] using the technique of the general number field sieve (GFS). Almost all of the factored RSA numbers with 100 digit size or more were tackled by using FS algorithm so far. Recently the olynomial selection ste of FS is being studied widely since a good olynomial air greatly reduces the entire running time of FS algorithm. Among several olynomial selection methods for FS being roosed so far, the base-m method is one of the most standard ones. Murhy [9] roosed an imrovement of the base-m method by refining the notion of olynomial yield. Murhy s method focuses on root roerty, which is a measurement of the efficiency of olynomial air having roots modulo small rimes. Kleinjung [2] roosed an imrovement of Murhy s method to nonmonic linear olynomial. Both Murhy s and Kleinjung s methods were used on factorization of many RSA challenge numbers. We call all these olynomial selection methods linear method since it selects a nonlinear olynomial for algebraic sieving and a linear olynomial for rational sieving. A nonlinear method refers the method of choosing two nonlinear olynomials (of degree 2) having a common zero (mod ). Several researchers focus on nonlinear olynomial selection methods. Montgomery [7] showed that one can find two nonlinear olynomials of degree d and size O( 1/2d ) having common root (mod ) if and only if one can find a geometric rogression 1

2 (GP) (mod ) of length 2d 1 and size O( 1 1/d ). Montgomery succeeded in finding such GP (mod ) when d = 2 but the case d 3 is still unresolved. The quadratic method (d = 2) is not cometitive to linear method when the integer is over 120 digits [9]. Prest and Zimmermann [12], and also Williams [13] roosed other nonlinear olynomial selection methods using GP (mod ) of length d + 1, however these methods roduce olynomials which have larger coefficients than the otimal bound O( 1/2d ) exected from Montgomery s method. In this aer, we roose a olynomial selection method using a GP of length d + k with 1 k d 1 which generalizes Montgomery s method of GP with length 2d 1 (i.e., k = d 1). atural imlication of our result is that one can generate olynomials with different degrees l d for all 2 < d < l having common root (mod ) from a GP of fixed length l. We also introduce a method of finding a GP of (d + 1)-term with size O( 1 1/d ) and show that the roosed method has flexibility than the usual base-m method. GP with length d + 2 and size O( 1 1/d ) is difficult to find in general but we show that such GP can be found under certain conditions. We aly the result to GP of size O( 2/3 ) to construct cubic olynomials having common roots (mod ). The remaining art of this aer is organized as follows. We exlain the existing olynomial selection methods in section 2. We introduce an extension of Montgomery s GP method and state generalized olynomial selection method given GP of arbitrary length in section 3. We exlain the method of constructing a GP of length d + 1 and d + 2, and give exlicit examles in section 4. Finally we give conclusive remarks in section 5. 2 Existing Polynomial Selection Methods 2.1 Linear olynomial selection method Base-m method Let 1/(d+1) < m 1/d and let = d i=0 a im i (0 a i < m) be the base m-exansion of. Then f(x) = a d x d + a d 1 x d a 0, g(x) = x m are two olynomials having common root m (mod ). There are other imrovements to reduce the size of coefficients of f with the roerty f(m) 0 (mod ) being reserved. For examle, if a i > m/2 then the substitution a i a i m and a i+1 a i+1 + 1, makes a i < m/2 for every i. For more detail, refer [6, 9] Murhy s method Murhy s method [9] is an imrovement of the base-m method to generate skewed olynomials having good root roerty using rotations and translations. For given olynomial air (f(x), g(x)) with common root m (mod ), rotation by r(x) refers another olynomial air (f(x)+r(x)g(x), g(x)). Also translation by t refers a olynomial air (f(x t), g(x t)) having common root m + t (mod ). The root roerty measures the smoothness of given olynomial, i.e. it tells how many roots the olynomial has modulo small rimes. To measure the root roerty of a olynomial 2

3 f, one defines α(f) = (1 q ) log 1 B where B is the given bound and q is the number of root of f(x) 0 (mod ). Sufficiently many zeros of f (mod ) imlies that one has negative α(f) with larger absolute value. Similarly one can also define α value for a bivariate homogeneous olynomial F (x, y) with f(x) = F (x, 1). In this case, rojective roots dividing the leading coefficient a d of f should be also considered. That is, if the leading coefficient of f has many small rime factors, then f may have a good root roerty. Therefore one may we select m with a d m d < (a d + 1)m d with a d having many small rime factors. By using the techniques of translation and rotation, one may generate skewed olynomials having good root roerties. In Murhy s method, rotation by linear olynomial r(x) was used. Rotation by nonlinear olynomials using the Chinese remainder theorem was roosed in [15] Kleinjung s method Kleinjung [2] roosed an imrovement of Murhy s method to nonmonic linear g. The method first selects a ositive integer a d which has many small rime factors. ext, one chooses an integer such that a d x d (mod ) is solvable. ow let m be a solution of a d x d (mod ) close to m = (/a d ) 1/d. Then there is an exression with a d 1 < da d m m = a d m d + a d 1 m d a 1 m d 1 + a 0 d, + and a i < m + for i = 0,, d 2 (see Lemma 2.1 of [2]). Thus f(x) = a d x d + a d 1 x d a 0, g(x) = x m is a olynomial air having common root 1 m (mod ), where a d 1 and a d 2 can be bounded in terms of a d, and m. Considering lenty of triles (a d,, m), Kleinjung found olynomial airs with nonmonic g having better yields than that of Murhy s method. This method was used for the factorization of RSA-768 [3]. 2.2 onlinear olynomial selection method Montgomery s method Montgomery [7] roosed a nonlinear method which finds two olynomials of the same degree d using a small GP (mod ). If there exists a GP (mod ) of length 2d 1 with c i = O( 1 1/d ) written in vector notation as c = [c 0, c 1,, c 2d 2 ], which is not a linear recurrence of order d 1 over Q, then by looking at the two dimensional sublattice of Z d+1 which is orthogonal to d 1 vectors in Z d+1 sanned by [c 0, c 1,, c d ], [c 1, c 2,, c d+1 ],, [c d 2, c d 1,, c 2d 2 ], one can construct two olynomials f 1 (x) = a d x d + a d 1 x d a 0 and f 2 (x) = b d x d + b d 1 x d b 0 of degree d with common root r (mod ), where r is the geometric ratio of GP c and the coefficients of f 1 and f 2 are of O( 1/2d ). At this moment, it is still an oen roblem whether one can find such GP (mod ) with length 2d 1 and size c i = O( 1 1/d ) for general d. However, when d = 2, Montgomery 3

4 resented a GP (mod ) satisfying the above conditions. That is, letting be a rime satisfying (i) < ( ), (ii) = 1, Montgomery finds a solution c 1 of x 2 (mod ) with c 1 /2, and thus [c 0, c 1, c 2 ] = [, c 1, (c 2 1 )/] (1) is a desired GP (mod ) with ratio r 1 c 1 (mod ). It seems difficult to extend the idea of Montgomery to general d 3. A ositive answer for the case d = 3 would imly that we may relace the sieving olynomial air (f(x), l(x)) with linear l(x) and deg f = 5, 6 by two cubic olynomials. For details, refer [9] The method of Prest and Zimmermann According to Montgomery s idea, we need a GP (mod ) with length 2d 1 and size O( 1 1/d ) to generate two olynomials of degree d with common root (mod ) and coefficients of O( 1/2d ). In the case that we have only (d + 1)-term of GP, we may still generate two olynomials of degree d with common root (mod ). Williams [13] showed that a GP of length 4 (i.e., d = 3) of size O( 2/3 ) gives two cubic olynomials having common root (mod ) with coefficients O( 2/9 ). Therefore the resultant of two olynomials is O( 4/3 ), while O() is the otimal resultant size exected from two olynomials with coefficients O( 1/2d ). Prest and Zimmermann [12] considered the case of arbitrary degree to generate skewed olynomials. Choosing a GP of the form [1, m,, m d 1, m d ] with m near 1/d, and alying LLL algorithm [5] on the lattice sanned by the column vectors of the following matrix m m d 1 m d s s d s d where s is the skewness arameter, they get two short vectors of the form a 0 a 1 s.. a d s d Thus the olynomials a a d x d have m as a common root (mod ). 2 They showed that, by selecting s = O( d(d 2 d+2) ), the skewed olynomials have medium coefficients of size 2 2d+2 O( d 2(d 2 2d+2) d 3 d 2 +2d ) and resultant of size O( d 2 d+2 ). When d = 3, this method gives two cubic olynomials whose resultant is of O( 5/4 ) and medium coefficients of O( 5/24 ). 3 Polynomial Selections from GP of Length d + k To find a air of nonlinear sieving olynomials, Montgomery [7] considers GP (mod ) c = [c 0, c 1,, c 2d 2 ] with length 2d 1 and size c i = O( 1 1/d ). On the other hand, Prest and 4

5 Zimmermann [12] consider c = [c 0, c 1,, c d ] with length d + 1 and size c i = O( 1 1/d ). Finding GP (mod ) with length d + 1 and size c i = O( 1 1/d ) is easy because, if one choose c 0 = 1/d + j for small j and c i c i 0 (mod ), then one gets c i = O( 1 1/d ). However it is not clear how one can find a GP (mod ) with bounded size for general length d + k c = [c 0, c 1,, c d+k 1 ]. The most desirable case is k = d 1 so that we have a GP of length 2d 1 and can find two indeendent olynomials of degree d having common root (mod ). It should be mentioned that finding GP even in the cases k = 2, 3,, d 2 satisfying suitable size roerty is suosed to be a difficult roblem. Moreover, for given GP of length d + k, we may find more than two olynomials having common roots (mod ), and the size of the coefficients of such olynomials will be determined by the size of c. Our aim is to generalize the idea of Montgomery to the case of GP c (mod ) of arbitrary length d + k and also to rovide an unified aroach for the olynomials of degree d having common roots (mod ) arising from a GP c of variable length such as d + 1 [12] and 2d 1 [7]. Moreover we will clarify the relations between the olynomials of different degree d having common root (mod ) for given GP c of fixed length. For examle, we will show that, for given 5-term GP of size O( 2/3 ), we can generate 2 cubic olynomials and 4 olynomials of degree 4, all having coefficients of size O( 1/6 ) and the same common root (mod ). To summarize the raised questions; How many indeendent olynomials we may generate for given GP of fixed length? What are the ossible degrees of such olynomials? How the size of the coefficients of such olynomials is related to the size of the given GP? We will answer all the questions in the following theorem below. For given olynomial f(x) = ai x i, let us define the norm of f as f = a 2 i. Theorem 1. Let d and k be integers with d 2 and 1 k d 1. Suose that c = [c 0, c 1,, c d+k 1 ] is a GP (mod ) with length d + k such that the k vectors [c 0,, c d ], [c 1,, c d+1 ],, [c k 1,, c d+k 1 ] Z d+1 are linearly indeendent over Q. Then we may generate d k + 1 olynomials f i of degree at most d having common root r (mod ) with r the ratio of the GP and satisfying ( ) c k f 1 f 2 f d k+1 = O. (2) k 1 Proof. Let Λ be the lattice in Z d+1 sanned by the following k indeendent vectors v 0 = [c 0,, c d ], v 1 = [c 1,, c d+1 ],, v k 1 = [c k 1,, c d+k 1 ], (3) obtained from d + 1 consecutive terms of c. Define Ω to be the lattice in Z d+k+1 sanned by the column vectors of the following (d + k + 1) (d + 1) matrix Kc 0 Kc 1 Kc d, (4) Kc 1 Kc 2 Kc d Kc k 1 Kc k Kc d+k 1 5

6 where K is a constant. Then Theorem 4 of [10] says that, if { x 1,, x d+1 } is an LLLreduced basis of Ω and if one chooses K sufficiently large (i.e., if K > 2 d+(d k)2 vol(λ)), then { x 1,, x d k+1 } is an LLL-reduced basis for Λ, where x i Z d+1 is the vector obtained by taking the first (d + 1)-terms of x i and Λ is the orthogonal lattice of Λ. Therefore x i = (a 0, a 1,, a d ) Λ satisfies 0 = a 0 c 0 + a 1 c a d c d a 0 + a 1 r + a 2 r 2 + a d r d (mod ) where r c 1 0 c 1 (mod ), which imlies that x i corresonds to a olynomial f i(x) = a 0 + a 1 x + + a d x d with degree at most d. Hence we may consider {f 1, f 2,, f d k+1 } is a basis for Λ over Q of dimension d + 1 k. A standard result of LLL-reduced basis says that vol(λ ) d k+1 f i 2 d(d 1) 4 vol(λ ), where vol(λ ) = vol(λ) with Λ = san Q (Λ) Z d+1. Therefore, to estimate the size of f i, we need to estimate the volume of Λ. Observe that y Z d+1 is orthogonal to the vectors v 0, v 1,, v k 1 defined in (3) if and only if it is orthogonal to the lattice Λ sanned by v 0, v 1 r v 0, v 2 r v 1,, v k 1 r v k 2, where r is the geometric ratio of GP c. Since vol(λ ) = vol((λ ) ) = vol(λ ) vol(λ ), to estimate the volume of Λ, we need to comute vol(λ ) = det(a T A) where A is the k k matrix with each column written as v 0, v 1 r v 0, v 2 r v 1,, v k 1 r v k 2, ow v 0 v 1 r v 0 ( ) det(a T A) = Ṇ v 1 r v 0 v k 1 r v k 2 v 0. v k 1 r v k 2 v 0 v 0 v 0 v 1 r v 0 v 0 v k 1 r v k 2 v 1 r v 0 v 1 r v 0 v 0 v 1 r v 0 v 1 r v 0 v k 1 r v k 2 = v k 1 r v k 2 v k 1 r v k 2 v 0 v 1 r v 0 v k 1 r v k 2 v k 1 r v k 2 v 0 v 0 v 0 ( v 1 r v 0 ) v 0 ( v k 1 r v k 2 ) = 1 ( v 1 r v 0 ) v 0 ( v 1 r v 0 ) ( v 1 r v 0 ) ( v 1 r v 0 ) ( v k 1 r v k 2 ) 2(k 1) ( v k 1 r v k 2 ) v 0 ( v k 1 r v k 2 ) ( v 1 r v 0 ) ( v k 1 r v k 2 ) ( v k 1 r v k 2 ) = 1 2(k 1) det(bt B), where B is the matrix with each column vector written as v 0, v 1 r v 0, v 2 r v 1,, v k 1 r v k 2. Since the base change matrix between the following two bases for Q d+1, { v 0, v 1, v 2,, v k 1 }, { v 0, v 1 r v 0, v 2 r v 1,, v k 1 r v k 2 }, 6

7 is triangular and having 1 in all diagonal entries (in articular unimodular), they san the same lattice and thus we get det(b T B) = det(( v i v j )) = O( c 2k ). Consequently one gets ( ) c vol(λ ) vol(λ k ) = O which comletes the roof. k 1 Corollary 1. With the same conditions in Theorem 1, suose that k vectors [c 0, c 1,, c d 1 ], [c 1, c 2,, c d ],, [c k 1, c k,, c k+d 2 ] of consecutive d terms are linearly indeendent over Q. Then we( get at least one olynomial of degree d having r as a zero (mod ). Moreover if ( ) all f i are O c k 1/(d k+1) ), then we may choose all such olynomials having degree d. k 1 Proof. On the contrary, assume that all f i found in Theorem 1 have degree < d. This haens when the basis vectors x 1,, x d k+1 for Λ have last coordinate 0 (i.e., x i = (a 0, a 1,, a d 1, 0) ). Then we may view { x 1,, x d k+1 } Zd which sans (d k + 1)- dimensional orthogonal subsace to k indeendent vectors [c i, c i+1,, c i+d 1 ] (0 i k 1) in Z d, which is absurd. For the second assertion, let f {f 1, f 2,, f d k+1 } be a olynomial of degree d. Then for any f i with deg f i < d, we may relace f i by f i ( + f so that the resulting ( ) olynomial has common root r (mod ) and the coefficients are of O c k 1/(d k+1) ). k 1 One can also think of the converse of Theorem 1 and it can be hrased as follows. Theorem 2. Suose 1 k d 1 and j = d 1 k + 1. Assume that there exist degree d olynomials g 1 (x),, g j (x) Z[x] having common root r (mod ) such that g 1,, g j are linearly indeendent over Q. Then one can find GP c = [c 0,, c d+k 1 ] (mod ) of length d + k and c = O( g d+k 1 ) where g = max g i. Proof. The condition j = d 1 k + 1 imlies (j 1)k < d + k 1 jk. One may consider (2d + 2k 1) (d + k) matrix I d+k KG 1 M =., (5) KG j 1 KG j where I d+k is the identity matrix of dimension d + k and KG i (1 i j 1) is k (d + k) submatrix sanned by the k row vectors in Z d+k d+1 k 1 d+1 k 2 k 1 d+1 {}}{{}}{{}}{{}}{{}}{{}}{ [ Kg i, 0,, 0], [0, Kg i, 0,, 0],, [ 0,, 0, Kg i ]. The submatrix KG j is defined similarly but the number of cyclic shifts (i.e., the number of rows) is d + k 1 (j 1)k. ow as in the case of the matrix in (4), one may think of LLL reduced basis of d + k column vectors of M. Theorem 4 in [10] again says that, if K is sufficiently large, we have one dimensional orthogonal lattice c = [c 0, c 1,, c d+k 1 ] Z d+k to the lattice of dimension d + k 1 sanned by the row vectors of KG 1,, KG j. Since [1, r, r 2,, r d+k 1 ] is also orthogonal to all the row vectors of KG 1,, KG j (mod ), one finds that c and [1, r, r 2,, r d+k 1 ] sans the same sace (mod ), and therefore the ratio of c (mod ) is r. Finally the volume of the lattice c is bounded by the volume of the lattice sanned by the d + k 1 row vectors of KG 1,, KG j and is of O( g d+k 1 ). 7

8 Remark 1. From Theorem 1 and 2, it is natural to exect j d k+1. Indeed, if j > d k+1, then from d k + 2 j < d+2k 1 k, we get (k 1)d < k 2 1 = (k 1)(k + 1) and thus d < k + 1 which is a contradiction. The following corollary shows that, for given GP of fixed length l, one can obtain several olynomials with similar size having common root (mod ) for various degrees d with l 2 < d < l, which imlies the size of the coefficients deends on the length of GP not on the degree. Corollary 2. Let c be a GP (mod ) of l-term of size O( ϵ l 1 l+1 ) with d < l < 2d and 0 < ϵ < l+1 l 1. Then we may generate 2d l + 1 olynomials f i with degree at most d such that 2d l+1 Proof. From Theorem 1, by letting l = d + k, f i = O( ϵ 2d l+1 l+1 (ϵ 1)(l d 1) ). ( ) c l d f 1 f 2 f 2d l+1 = O l d 1 ( = O = O ϵ (l d)(l 1) = O ϵ (l 1) l+1 (l d) ϵ(l d 1) ϵ(l d 1) l d 1 l+1 ϵ(l d 1) (ϵ 1)(l d 1) ) ( ϵ 2d l+1 l+1 (ϵ 1)(l d 1)). Remark 2. Letting ϵ = 1, one has 2d l+1 f i = O( 2d l+1 l+1 ). Moreover, if all f i have roughly the same size, we get f i = O( 1 l+1 ). For examle, if l = 2d 1, we get two olynomials of degree at most d of size O( 1 2d ) as exected in [7, 9]. The condition f i = O( 1 l+1 ) imlies that the size of fi does not deend on the the degree l 2 < d < l for fixed l. For examle, if we have a 5-term GP of O( 2/3 ), then we may generate 2 olynomials of degree 3 for (d, k) = (3, 2), and also 4 olynomials of degree 4 for (d, k) = (4, 1), where all the coefficients are of O( 1/6 ). Corollary 3. With the same conditions in Theorem 1, suose that r 2d+2 1 is relatively rime to. Let h(x) Z[x] be a olynomial of degree at most d such that h(r) 0 (mod ). Then there exist integers s 1, s 2,, s d k+1 such that h(x) d k+1 s i f i (x) (mod ). Proof. For any olynomial f(x) = d i=0 a ix i of degree at most d, define a vector f = [a 0,, a d ] in Z d+1. Since Q d+1 is sanned by the basis vectors, f 1, f 2,, f d k+1, v 0, v 1,, v k 1 where v i are defined in (3), we have d k+1 k 1 h = s ifi + t j v j j=0 8

9 for some s i, t j in Q. ow letting r = [1, r,, r d ] and noticing the ratio of the GP c = [c 0,, c d+k 1 ] (mod ) is r, we get v j = [c j, c j+1,, c d+j ] c j r (mod ). Therefore 0 h(r) h r s i f i (r) + t j ( v j r) t j c j ( r r) t j c j (1 + r 2 + r r 2d ) r2d+2 1 r 2 1 tj c j (mod ). Since r 2d+2 1 is relatively rime to, we get k 1 j=0 t jc j 0 (mod ). Consequently d k+1 h = d k+1 k 1 s ifi + t j v j j=0 k 1 s ifi + r( j=0 t j c j ) d k+1 k 1 s ifi + t j c j r d k+1 s i fi j=0 (mod ). 4 Constructing GP (mod ) 4.1 GP (mod ) with Length d + 1 As is mentioned in Section 2.1.1, one finds such GP by the base-m method with m = d + j for small j so that the base-m exansion of, = d i=0 a im i, gives a olynomial f(x) = d i=0 a ix i with f(m) 0 (mod ) and coefficients a i = O( 1 d ). On the other hand, Theorem 1 says that we can find d such olynomials of degree d with coefficients O( d 1 d 2 ) having m as a common zero (mod ). It should be mentioned that d olynomials in Theorem 1 are obtained via LLL algorithm [5] not from the base-m method. Also since there are d olynomials, we have much freedom in maniulating those olynomials via rotations and translations to find otimal olynomials having good root roerty. By extending the idea of GP in (1) of Montgomery, we may generate GP (mod ) with length d + 1 as follows. Proosition 1. Suose is a rime such that (i) < 1/d, (ii) x d (mod ) is solvable. Let r be a solution of x d (mod ) with r 1/d 2. Then c = [c 0, c 1, c 2,, c d ] = [ ] d 1, d 2 r,, r d 1, rd (6) is a (d + 1)-term GP (mod ) of size O( 1 1/d ) with geometric ratio r 1 (mod ). Remark 3. Heuristic argument tells that, for randomly chosen rime with 1 (mod d), the robability that is a d-th ower residue (mod ) is 1 d. Therefore we may generate lenty of and r satisfying the conditions of the Proosition 1. 9

10 Remark 4. Letting = 1, we get c = [1, r, r 2,, r d ] which is exactly the base-m method. Thus the roosed method is a generalization of the base-m method and has more flexibility. ote that in the roosition need not necessarily be a rime as long as the solutions of x d (mod ) are efficiently comutable. One ossible direction of this idea is to think of the solutions of x d (mod i ) using Chinese Remainder Theorem from the solutions of x d (mod i ). Remark 5. Another generalization of the Proosition 1 is using k in lace of, where k is small and a roduct of small rimes. Therefore if r is a solution of x d k (mod ), then the GP [ ] c = d 1, d 2 r,, r d 1, rd k (7) roduces olynomials f i (x) such that f i ( 1 r) 0 (mod k), which imlies that f i (x) 0 (mod q) has a solution for all rimes q dividing k. In this way, one may find olynomials with good root roerties. (See Examle 2.) Alying LLL algorithm on the (d + 2) (d + 1) matrix in (4) with the GP in (6) or (7) gives d olynomials of degree d with coefficients size O( (d 1)/d2 ) under the assumtion of Corollary 1. All generated olynomials have 1 r as a common root (mod ) and the linear olynomial x r also has 1 r (mod ) as a root. We can also imrove this method to select skewed olynomials following [12]. For given skewness s and GP c, alying LLL algorithm on the column vectors of s (8) 0 0 s d Kc 0 Kc 1 Kc d gives d skewed olynomials. Examle 1. Let = C59 = and d = 3 as in [12]. We choose rime = near 1/3. Then x 3 0 (mod ) has solution r = Running LLL algorithm with the GP c = [ 2, r, r 2, r3 ] gives 3 olynomials of degree 3 having common root 1 r (mod ): f 1 (x) = x x x , f 2 (x) = x x x , f 3 (x) = x x x Since l(x) = x r has the common root 1 r (mod ) also, using the Corollary 3, we may exress l(x) as a linear combination l(x) f 1 (x) f 2 (x) f 3 (x) (mod ). Examle 2. Let, d be the same as in Examle 1. We choose rime = near 1/6. Then x (mod ) has solution r = Let s = 10

11 be the skewness arameter. Running LLL algorithm on the matrix (8) with c = [ 2, r, r 2, r3 210 ] gives 3 skewed olynomials of degree 3 having common root 1 r (mod ): f 1 (x) = 115x x x , f 2 (x) = 100x x x , f 3 (x) = x x x The above olynomials have α(f 1 ) = 1.50, α(f 2 ) = 1.96, α(f 3 ) = 0.09, of which two olynomials f 1 and f 2 have better α-values than α(f) = 0.41, α(g) = 0.65 in age 9 of [12], where f(x) = 42044x x x , g(x) = x x x Moreover our resultant Res(f 1, f 2 ) = = is just 64-digits while Res(f, g) = 1.22 in [12] is of 73 digits. Our resultant is 9-digits less than [12] and only 5-digits more than. Since we may try many ossible candidates of, r and k satisfying r d k (mod ), it is a more flexible method than that of the base-m method, so it is exected to get olynomials of better yields when combined with other techniques. 4.2 GP (mod ) with Length d + 2 We introduce a form of (d + 2)-term GP (mod ) of size O( 1 1/d ) which imroves a GP introduced in Proosition 1. Proosition 2. With the same conditions in Proosition 1, assume further 1/d = O() and suose that dr d 1 x rd (mod ) (9) has a solution t with t = O(1). Then we can find a GP (mod ) with length d + 2 and size O( 1 1/d ). Proof. Write r = r + t where t is a solution of (9). By Hensel s Lemma, r is a solution of x d (mod 2 ) with r 1/d = O(). Therefore the first d + 1 terms of the following GP [ c = [c 0, c 1,, c d 1, c d, c d+1 ] = d 1, d 2 r,, r d 1, r d, r (r d ] ) 2. (10) are of O( 1 1/d ), i.e., c 0, c 1,, c d = O( 1 1/d ). Also the assumtion 1/d = O() imlies r = O(). Therefore r = r + t = O(1) and we get c d+1 = c d r = O( 1 1/d ). Remark 6. An equivalent condition of Proosition 2 is that there exists a rime with 1/d such that x d (mod 2 ) has a solution r with r. ext corollary shows that the GP introduced above gives olynomials with secial roerties. Corollary 4. Let f(x) = a d x d + a d 1 x d a 1 x + a 0 be a olynomial of degree d obtained by alying (d + 2)-term GP in (10). Then we get a d 1 = 0. 11

12 Proof. From the orthogonality condition we obtain two equations [a 0, a 1,, a d ] [c 0,, c d 1, c d ], [c 1,, c d, c d+1 ], c 0a c d 1 a d 1 + c d a d = 0, c 1a c d a d 1 + c d+1 a d = 0. By cancelling a d from the above two equations, 0 = (c 1c d c 0c d+1 )a (c d 1 c d c d 2 c d+1 )a d 2 + (c 2 d = (c 2 d c d+1 c d 1 )a d 2 d 1 + (c i+1c d c i c d+1 )a i i=0 = (c 2 d c d+1 c d 1 )a d 2 d 1 + (c i+1c d c i i=0 Since c d+1 c d 1 c 2 d 0, we have a d 1 = 0. c d+1 c d 1 )a d 1 r c d )a i = (c 2 d c d+1 c d 1 )a d 1 Therefore if we can find a GP introduced in (10), then we may generate olynomials whose second highest coefficient is zero. It may give some ossible advantage in FS algorithms. In articular, when d = 3, we can generate 2 cubic olynomials of coefficients size O( 1/6 ) with coefficient of x 2 zero. Unfortunately, for large, it is not easy to find such and r. Examle 3. Let = = q 1 q 2 with q 1 = and q 2 = Letting m = 1/3, m 10 < < m, and t < 10, we find 3 tules [, r, t] satisfying the condition of Proosition 2 (i.e., r 3 (mod 2 ) with r ) : [, r, t] = [ , , 2], [ , , 8], [ , , 0] Using the last examle with = , r = r = and t = 0, we get a 5-term GP (mod ) as c = [ 2, r, r 2, r 3, r (r 3 ) ]. With this GP as an inut, running LLL 2 algorithm on the lattice in (4) roduces 2 cubic olynomials 47x x , 88x x , for the case d = 3, k = 2. If we let d = 4, k = 1, then we obtain 4 olynomials of degree 4 as follows: 3685x x x x 5409, 9189x x x x 3028, 1643x 4 477x x x , 710x 4 212x x x All 6 generated olynomials have a common root 1 r (mod ). Therefore we obtain 1 olynomial air of degree (3,3), 8 olynomial airs of degree (3,4), 6 olynomial airs of degree (4,4). 12

13 Remark 7. Similarly as in Section 4.1, we may extend the idea in Proosition 2 to more general case when x d k (mod 2 ) with small k has a solution r so that [ d 1, d 2 r,, r d 1, r d k, r (r d ] k) 2 (11) is a (d + 2)-term GP (mod ) of O( 1 1/d ). Examle 4. Let be the same with Examle 3. Let = , then r = is a solution of x 3 10 (mod 2 ). From the 5-term GP [ 2, r, r 2, r 3, r (r 3 ) ], we get 2 2 cubic olynomials 34x x , 37x x for d = 3, k = 2, and we get 4 olynomials of degree x x x x , 6175x x x x 2696, 10797x x x x 4718, 71x x x x 3412, where all 6 olynomials have common root 1 r (mod ). Using x d k (mod 2 ) for many small k increases the robability that the equation is solvable. In ractice, the GP in (11) is much easier to find than the GP with k = 1. For instance, in Examle 3 with k = 1, there are 3 airs (, r ) such that r 3 (mod 2 ) with r 10 and m 10 < < m. If we extend our search range to 1 k 10, then have 27 of (, r ) such that r 3 k (mod 2 ) with r 10 and m 10 < < m, which is not so cost effective because we get less than three times of (, r ) even if we increased the range of k ten times. On the other hand, reducing the search range of from m 10 < < m to m 10 < < 19m 100 roduces 9 airs of (, r ) with 1 k 10. That is, we still find more GP by reducing the range of and increasing the range of k, which seems more effective since we consider congruence equations (mod 2 ) for smaller values of. Table 1 show a small numerical data for the number of the air (r, ) satisfying r 3 k (mod 2 ) for all which is a roduct of two rimes q 1 q 2 with 10 4 < q 1, q 2 < ote that each air (r, ) corresonds to a GP of length 5 which is either the form of (10) or (11). This result suggests that 5-term GP (10) and (11) exist with high robability, even though the number of GP is relatively small for each. Moreover it says that one is more likely to find solution of x 3 k (mod 2 ) by increasing the range of k rather than that of. It should be mentioned that it also saves the time for the following reason. If we increase the range of k from k = 1 to 1 k 10, the number of equations x 3 k (mod 2 ) we need to consider is increased by the factor of 10. However if we increase the range of from m 10 < < m to m 10 < < 10m, the number of equations x3 k (mod 2 ) we need to consider is increased by the factor of π( m)/π( 9 10m) 11 but the catch in this case is that we have to solve the congruence equation x 3 k (mod 2 ) for ten times larger size of which inevitably slow down the imlementation time on PARI-GP, as is shown in the table. 5 Conclusions We have resented a method of constructing olynomials of degree d for all l 2 < d < l having common roots (mod ) given GP (mod ) of fixed length l. We also give the estimation of the 13

14 k = 1 k = 1 1 k 10 m 10 < < m m 10 < < 10m m 10 < < 19m 100 Average number of (r, ) with r 5 for each The number of such that 89.79% 98.04% 99.91% x 3 k (mod 2 ) has a solution r 5 Average number of (r, ) with r 10 for each The number of such that 97.75% 99.85% 100% x 3 k (mod 2 ) has a solution r 10 PARI-GP time estimation on 2 days 18 days 2days Intel U GHz CPU lato Table 1: Existence of GP (10) and (11) size of the coefficients of the obtained olynomials in terms of the size of each terms of given GP, which generalizes Montgomery s method. We showed that the GP of length d + 1 can be constructed in more flexible way than the usual base-m method and we find corresonding olynomials of various degrees having common root (mod ). We also stated the conditions when secial GP of length d + 2 exists. Acknowledgements. The authors would like to thank Peter L. Montgomery for his helful suggestions regarding a few questions related to this aer. References [1] J. Gower, Rotations and translations of number field sieve olynomials, Proceeding of Asiacryt 2003, LCS 2894, , [2] T. Kleinjung, On olynomial selection for the general number field sieve, Mathematics of Comutation 75, , [3] T. Kleinjung, K. Aoki, J. Franke, A. Lenstra, E. Thome, J. Bos, P. Gaudry, A. Krua, P. Montgomery, D. Osvik, H. te Riele, A. Timofeev, P. Zimmermann, Factorization of a 768-bit RSA modulus, Proceeding of Cryto 2010, LCS 6223, , [4] S. Cavallar, B. Dodson, A. K. Lenstra, W. Lioen, P. L. Montgomery, B. Murhy, H. te Riele, K. Aardal, J. Gilchrist, G. Guillerm, Paul Leyland, J. Marchand,F. Morain, A. Muffett, Chris and Craig Putnam, and P. Zimmermann, Factorization of a 512-Bit RSA modulus, Proceeding of Eurocryt 2000, LCS 1807,. 1 18,2000. [5] A. K. Lenstra, H. W. Lenstra, Jr, and L. Lovász, Factoring olynomials with rational coefficients, Mathematische Ann., 261, , [6] A. K. Lenstra, and H. K. Lenstra, Jr, The Develoment of the umber Field Sieve, LM 1554, Sringer, [7] P. Montgomery, Small geometric rogressions modulo n, Unublished note of 2 ages, December 1993, revised 1995 and available through corresondence [8] P. Montgomery, Polynomial selection for number field sieve, resentation slide, available at [9] B. Murhy, Polynomial Selection for the umber Field Sieve Integer Factorisation Algorithm, PhD thesis, Australian ational University, July

15 [10] P. guyen, and J. Stern, Merkle-Hellman revisited: A crytoanalysis of the Qu-Vanstone crytosystem based on grou factorizations, Proceeding of Cryto 1997, LCS 1294, , [11] R. Crandall, and C. Pomerance, Prime umbers: A Comutational Persective 2ed, Sringer, [12] T. Prest, and P. Zimmermann, on-linear olynomial selection for the number field sieve, available at htt://hal.archives-ouvertes.fr/docs/00/54/04/83/ PDF/olyselect.df [13] R. S. Williams, Cubic Polynomials in the umber Field Sieve, MSc Thesis, Texas Tech University, [14] M. Elkenbracht-Huizing, A multile olynomial general number field sieve, Proceeding of Algorithmic umber Theory 1996, LCS 1122, , [15] K. Aoki, J. Franke, T. Kleinjung, A. K. Lenstra, and D. A. Osvik, A Kilobit secial number field sieve factorization, Proceeding of Asiacryt 2007, LCS 4833,. 1 12, [16] RSA challenge. available at htt:// 15

ON NONLINEAR POLYNOMIAL SELECTION AND GEOMETRIC PROGRESSION (MOD N) FOR NUMBER FIELD SIEVE

ON NONLINEAR POLYNOMIAL SELECTION AND GEOMETRIC PROGRESSION (MOD N) FOR NUMBER FIELD SIEVE Bull Korean Math Soc 53 (2016), o 1, pp 1 20 http://dxdoiorg/104134/bkms2016531001 O OLIEAR POLYOMIAL SELECTIO AD GEOMETRIC PROGRESSIO (MOD ) FOR UMBER FIELD SIEVE Gook Hwa Cho, amhun Koo, and Soonhak

More information

ON POLYNOMIAL SELECTION FOR THE GENERAL NUMBER FIELD SIEVE

ON POLYNOMIAL SELECTION FOR THE GENERAL NUMBER FIELD SIEVE MATHEMATICS OF COMPUTATIO Volume 75, umber 256, October 26, Pages 237 247 S 25-5718(6)187-9 Article electronically ublished on June 28, 26 O POLYOMIAL SELECTIO FOR THE GEERAL UMBER FIELD SIEVE THORSTE

More information

CERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education

CERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education CERIAS Tech Reort 2010-01 The eriod of the Bell numbers modulo a rime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education and Research Information Assurance and Security Purdue University,

More information

GOOD MODELS FOR CUBIC SURFACES. 1. Introduction

GOOD MODELS FOR CUBIC SURFACES. 1. Introduction GOOD MODELS FOR CUBIC SURFACES ANDREAS-STEPHAN ELSENHANS Abstract. This article describes an algorithm for finding a model of a hyersurface with small coefficients. It is shown that the aroach works in

More information

HENSEL S LEMMA KEITH CONRAD

HENSEL S LEMMA KEITH CONRAD HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar

More information

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS #A13 INTEGERS 14 (014) ON THE LEAST SIGNIFICANT ADIC DIGITS OF CERTAIN LUCAS NUMBERS Tamás Lengyel Deartment of Mathematics, Occidental College, Los Angeles, California lengyel@oxy.edu Received: 6/13/13,

More information

#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS

#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS #A47 INTEGERS 15 (015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS Mihai Ciu Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit No. 5,

More information

A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract

A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave

More information

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2, MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write

More information

The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001

The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse-Minkowski Theorem rovides a characterization of the rational quadratic forms. What follows is a roof of the Hasse-Minkowski

More information

Mobius Functions, Legendre Symbols, and Discriminants

Mobius Functions, Legendre Symbols, and Discriminants Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,

More information

Applicable Analysis and Discrete Mathematics available online at HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS

Applicable Analysis and Discrete Mathematics available online at   HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS Alicable Analysis and Discrete Mathematics available online at htt://efmath.etf.rs Al. Anal. Discrete Math. 4 (010), 3 44. doi:10.98/aadm1000009m HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS Zerzaihi

More information

Polynomial Selection for Number Field Sieve in Geometric View

Polynomial Selection for Number Field Sieve in Geometric View Polynomial Selection for Number Field Sieve in Geometric View Min Yang 1, Qingshu Meng 2, zhangyi Wang 2, Lina Wang 2, and Huanguo Zhang 2 1 International school of software, Wuhan University, Wuhan, China,

More information

MATH 2710: NOTES FOR ANALYSIS

MATH 2710: NOTES FOR ANALYSIS MATH 270: NOTES FOR ANALYSIS The main ideas we will learn from analysis center around the idea of a limit. Limits occurs in several settings. We will start with finite limits of sequences, then cover infinite

More information

Solvability and Number of Roots of Bi-Quadratic Equations over p adic Fields

Solvability and Number of Roots of Bi-Quadratic Equations over p adic Fields Malaysian Journal of Mathematical Sciences 10(S February: 15-35 (016 Secial Issue: The 3 rd International Conference on Mathematical Alications in Engineering 014 (ICMAE 14 MALAYSIAN JOURNAL OF MATHEMATICAL

More information

An Inverse Problem for Two Spectra of Complex Finite Jacobi Matrices

An Inverse Problem for Two Spectra of Complex Finite Jacobi Matrices Coyright 202 Tech Science Press CMES, vol.86, no.4,.30-39, 202 An Inverse Problem for Two Sectra of Comlex Finite Jacobi Matrices Gusein Sh. Guseinov Abstract: This aer deals with the inverse sectral roblem

More information

MATH 3240Q Introduction to Number Theory Homework 7

MATH 3240Q Introduction to Number Theory Homework 7 As long as algebra and geometry have been searated, their rogress have been slow and their uses limited; but when these two sciences have been united, they have lent each mutual forces, and have marched

More information

March 4, :21 WSPC/INSTRUCTION FILE FLSpaper2011

March 4, :21 WSPC/INSTRUCTION FILE FLSpaper2011 International Journal of Number Theory c World Scientific Publishing Comany SOLVING n(n + d) (n + (k 1)d ) = by 2 WITH P (b) Ck M. Filaseta Deartment of Mathematics, University of South Carolina, Columbia,

More information

Elementary Analysis in Q p

Elementary Analysis in Q p Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some

More information

BEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO

BEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO BEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO ANDREW GRANVILLE, DANIEL M. KANE, DIMITRIS KOUKOULOPOULOS, AND ROBERT J. LEMKE OLIVER Abstract. We determine for what

More information

x 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,

x 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p, 13. Quadratic Residues We now turn to the question of when a quadratic equation has a solution modulo m. The general quadratic equation looks like ax + bx + c 0 mod m. Assuming that m is odd or that b

More information

DISCRIMINANTS IN TOWERS

DISCRIMINANTS IN TOWERS DISCRIMINANTS IN TOWERS JOSEPH RABINOFF Let A be a Dedekind domain with fraction field F, let K/F be a finite searable extension field, and let B be the integral closure of A in K. In this note, we will

More information

POINTS ON CONICS MODULO p

POINTS ON CONICS MODULO p POINTS ON CONICS MODULO TEAM 2: JONGMIN BAEK, ANAND DEOPURKAR, AND KATHERINE REDFIELD Abstract. We comute the number of integer oints on conics modulo, where is an odd rime. We extend our results to conics

More information

The inverse Goldbach problem

The inverse Goldbach problem 1 The inverse Goldbach roblem by Christian Elsholtz Submission Setember 7, 2000 (this version includes galley corrections). Aeared in Mathematika 2001. Abstract We imrove the uer and lower bounds of the

More information

#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS

#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS #A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS Ramy F. Taki ElDin Physics and Engineering Mathematics Deartment, Faculty of Engineering, Ain Shams University, Cairo, Egyt

More information

p-adic Measures and Bernoulli Numbers

p-adic Measures and Bernoulli Numbers -Adic Measures and Bernoulli Numbers Adam Bowers Introduction The constants B k in the Taylor series exansion t e t = t k B k k! k=0 are known as the Bernoulli numbers. The first few are,, 6, 0, 30, 0,

More information

f(r) = a d n) d + + a0 = 0

f(r) = a d n) d + + a0 = 0 Math 400-00/Foundations of Algebra/Fall 07 Polynomials at the Foundations: Roots Next, we turn to the notion of a root of a olynomial in Q[x]. Definition 8.. r Q is a rational root of fx) Q[x] if fr) 0.

More information

MATH 361: NUMBER THEORY EIGHTH LECTURE

MATH 361: NUMBER THEORY EIGHTH LECTURE MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first

More information

ON FREIMAN S 2.4-THEOREM

ON FREIMAN S 2.4-THEOREM ON FREIMAN S 2.4-THEOREM ØYSTEIN J. RØDSETH Abstract. Gregory Freiman s celebrated 2.4-Theorem says that if A is a set of residue classes modulo a rime satisfying 2A 2.4 A 3 and A < /35, then A is contained

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 oerations defined on them, addition and multilication,

More information

Multiplicative group law on the folium of Descartes

Multiplicative group law on the folium of Descartes Multilicative grou law on the folium of Descartes Steluţa Pricoie and Constantin Udrişte Abstract. The folium of Descartes is still studied and understood today. Not only did it rovide for the roof of

More information

arxiv: v1 [math.nt] 4 Nov 2015

arxiv: v1 [math.nt] 4 Nov 2015 Wall s Conjecture and the ABC Conjecture George Grell, Wayne Peng August 0, 018 arxiv:1511.0110v1 [math.nt] 4 Nov 015 Abstract We show that the abc conjecture of Masser-Oesterlé-Sziro for number fields

More information

t s (p). An Introduction

t s (p). An Introduction Notes 6. Quadratic Gauss Sums Definition. Let a, b Z. Then we denote a b if a divides b. Definition. Let a and b be elements of Z. Then c Z s.t. a, b c, where c gcda, b max{x Z x a and x b }. 5, Chater1

More information

Representing Integers as the Sum of Two Squares in the Ring Z n

Representing Integers as the Sum of Two Squares in the Ring Z n 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 17 (2014), Article 14.7.4 Reresenting Integers as the Sum of Two Squares in the Ring Z n Joshua Harrington, Lenny Jones, and Alicia Lamarche Deartment

More information

MATH 361: NUMBER THEORY ELEVENTH LECTURE

MATH 361: NUMBER THEORY ELEVENTH LECTURE MATH 361: NUMBER THEORY ELEVENTH LECTURE The subjects of this lecture are characters, Gauss sums, Jacobi sums, and counting formulas for olynomial equations over finite fields. 1. Definitions, Basic Proerties

More information

A Public-Key Cryptosystem Based on Lucas Sequences

A Public-Key Cryptosystem Based on Lucas Sequences Palestine Journal of Mathematics Vol. 1(2) (2012), 148 152 Palestine Polytechnic University-PPU 2012 A Public-Key Crytosystem Based on Lucas Sequences Lhoussain El Fadil Communicated by Ayman Badawi MSC2010

More information

Positive decomposition of transfer functions with multiple poles

Positive decomposition of transfer functions with multiple poles Positive decomosition of transfer functions with multile oles Béla Nagy 1, Máté Matolcsi 2, and Márta Szilvási 1 Deartment of Analysis, Technical University of Budaest (BME), H-1111, Budaest, Egry J. u.

More information

Almost All Palindromes Are Composite

Almost All Palindromes Are Composite Almost All Palindromes Are Comosite William D Banks Det of Mathematics, University of Missouri Columbia, MO 65211, USA bbanks@mathmissouriedu Derrick N Hart Det of Mathematics, University of Missouri Columbia,

More information

DIFFERENTIAL GEOMETRY. LECTURES 9-10,

DIFFERENTIAL GEOMETRY. LECTURES 9-10, DIFFERENTIAL GEOMETRY. LECTURES 9-10, 23-26.06.08 Let us rovide some more details to the definintion of the de Rham differential. Let V, W be two vector bundles and assume we want to define an oerator

More information

By Evan Chen OTIS, Internal Use

By Evan Chen OTIS, Internal Use Solutions Notes for DNY-NTCONSTRUCT Evan Chen January 17, 018 1 Solution Notes to TSTST 015/5 Let ϕ(n) denote the number of ositive integers less than n that are relatively rime to n. Prove that there

More information

p-adic Properties of Lengyel s Numbers

p-adic Properties of Lengyel s Numbers 1 3 47 6 3 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.7.3 -adic Proerties of Lengyel s Numbers D. Barsky 7 rue La Condamine 75017 Paris France barsky.daniel@orange.fr J.-P. Bézivin 1, Allée

More information

Math 104B: Number Theory II (Winter 2012)

Math 104B: Number Theory II (Winter 2012) Math 104B: Number Theory II (Winter 01) Alina Bucur Contents 1 Review 11 Prime numbers 1 Euclidean algorithm 13 Multilicative functions 14 Linear diohantine equations 3 15 Congruences 3 Primes as sums

More information

Mersenne and Fermat Numbers

Mersenne and Fermat Numbers NUMBER THEORY CHARLES LEYTEM Mersenne and Fermat Numbers CONTENTS 1. The Little Fermat theorem 2 2. Mersenne numbers 2 3. Fermat numbers 4 4. An IMO roblem 5 1 2 CHARLES LEYTEM 1. THE LITTLE FERMAT THEOREM

More information

MA3H1 TOPICS IN NUMBER THEORY PART III

MA3H1 TOPICS IN NUMBER THEORY PART III MA3H1 TOPICS IN NUMBER THEORY PART III SAMIR SIKSEK 1. Congruences Modulo m In quadratic recirocity we studied congruences of the form x 2 a (mod ). We now turn our attention to situations where is relaced

More information

ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM

ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to

More information

2 Asymptotic density and Dirichlet density

2 Asymptotic density and Dirichlet density 8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime

More information

k- price auctions and Combination-auctions

k- price auctions and Combination-auctions k- rice auctions and Combination-auctions Martin Mihelich Yan Shu Walnut Algorithms March 6, 219 arxiv:181.3494v3 [q-fin.mf] 5 Mar 219 Abstract We rovide for the first time an exact analytical solution

More information

QUADRATIC RECIPROCITY

QUADRATIC RECIPROCITY QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick

More information

New weighing matrices and orthogonal designs constructed using two sequences with zero autocorrelation function - a review

New weighing matrices and orthogonal designs constructed using two sequences with zero autocorrelation function - a review University of Wollongong Research Online Faculty of Informatics - Paers (Archive) Faculty of Engineering and Information Sciences 1999 New weighing matrices and orthogonal designs constructed using two

More information

AN IMPROVED BABY-STEP-GIANT-STEP METHOD FOR CERTAIN ELLIPTIC CURVES. 1. Introduction

AN IMPROVED BABY-STEP-GIANT-STEP METHOD FOR CERTAIN ELLIPTIC CURVES. 1. Introduction J. Al. Math. & Comuting Vol. 20(2006), No. 1-2,. 485-489 AN IMPROVED BABY-STEP-GIANT-STEP METHOD FOR CERTAIN ELLIPTIC CURVES BYEONG-KWEON OH, KIL-CHAN HA AND JANGHEON OH Abstract. In this aer, we slightly

More information

2 K. ENTACHER 2 Generalized Haar function systems In the following we x an arbitrary integer base b 2. For the notations and denitions of generalized

2 K. ENTACHER 2 Generalized Haar function systems In the following we x an arbitrary integer base b 2. For the notations and denitions of generalized BIT 38 :2 (998), 283{292. QUASI-MONTE CARLO METHODS FOR NUMERICAL INTEGRATION OF MULTIVARIATE HAAR SERIES II KARL ENTACHER y Deartment of Mathematics, University of Salzburg, Hellbrunnerstr. 34 A-52 Salzburg,

More information

arxiv:math/ v1 [math.nt] 3 Dec 2004

arxiv:math/ v1 [math.nt] 3 Dec 2004 arxiv:math/0412079v1 [math.nt] 3 Dec 2004 PRIMITIVE DIVISORS OF QUADRATIC POLYNOMIAL SEQUENCES G. EVEREST, S. STEVENS, D. TAMSETT AND T. WARD Abstract. We consider rimitive divisors of terms of integer

More information

An Estimate For Heilbronn s Exponential Sum

An Estimate For Heilbronn s Exponential Sum An Estimate For Heilbronn s Exonential Sum D.R. Heath-Brown Magdalen College, Oxford For Heini Halberstam, on his retirement Let be a rime, and set e(x) = ex(2πix). Heilbronn s exonential sum is defined

More information

MAS 4203 Number Theory. M. Yotov

MAS 4203 Number Theory. M. Yotov MAS 4203 Number Theory M. Yotov June 15, 2017 These Notes were comiled by the author with the intent to be used by his students as a main text for the course MAS 4203 Number Theory taught at the Deartment

More information

Solving Sparse Integer Linear Systems. Pascal Giorgi. Dali team - University of Perpignan (France)

Solving Sparse Integer Linear Systems. Pascal Giorgi. Dali team - University of Perpignan (France) Solving Sarse Integer Linear Systems Pascal Giorgi Dali team - University of Perignan (France) in collaboration with A. Storjohann, M. Giesbrecht (University of Waterloo), W. Eberly (University of Calgary),

More information

Chapter 3. Number Theory. Part of G12ALN. Contents

Chapter 3. Number Theory. Part of G12ALN. Contents Chater 3 Number Theory Part of G12ALN Contents 0 Review of basic concets and theorems The contents of this first section well zeroth section, really is mostly reetition of material from last year. Notations:

More information

Cubic Sieve Congruence of the Discrete Logarithm Problem, and Fractional Part Sequences

Cubic Sieve Congruence of the Discrete Logarithm Problem, and Fractional Part Sequences Cubic Sieve Congruence of the Discrete Logarithm Problem, and Fractional Part Sequences Srinivas Vivek University of Luxembourg, Luxembourg C. E. Veni Madhavan Deartment of Comuter Science and Automation,

More information

Elliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015

Elliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015 18.783 Ellitic Curves Sring 2015 Problem Set #1 Due: 02/13/2015 Descrition These roblems are related to the material covered in Lectures 1-2. Some of them require the use of Sage, and you will need to

More information

(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury

(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury Is e π 163 odd or even? (Worksho on Harmonic Analysis on symmetric saces I.S.I. Bangalore : 9th July 004) B.Sury e π 163 = 653741640768743.999999999999.... The object of this talk is to exlain this amazing

More information

ON THE RESIDUE CLASSES OF (n) MODULO t

ON THE RESIDUE CLASSES OF (n) MODULO t #A79 INTEGERS 3 (03) ON THE RESIDUE CLASSES OF (n) MODULO t Ping Ngai Chung Deartment of Mathematics, Massachusetts Institute of Technology, Cambridge, Massachusetts briancn@mit.edu Shiyu Li Det of Mathematics,

More information

Uniform Law on the Unit Sphere of a Banach Space

Uniform Law on the Unit Sphere of a Banach Space Uniform Law on the Unit Shere of a Banach Sace by Bernard Beauzamy Société de Calcul Mathématique SA Faubourg Saint Honoré 75008 Paris France Setember 008 Abstract We investigate the construction of a

More information

Sums of independent random variables

Sums of independent random variables 3 Sums of indeendent random variables This lecture collects a number of estimates for sums of indeendent random variables with values in a Banach sace E. We concentrate on sums of the form N γ nx n, where

More information

On the Rank of the Elliptic Curve y 2 = x(x p)(x 2)

On the Rank of the Elliptic Curve y 2 = x(x p)(x 2) On the Rank of the Ellitic Curve y = x(x )(x ) Jeffrey Hatley Aril 9, 009 Abstract An ellitic curve E defined over Q is an algebraic variety which forms a finitely generated abelian grou, and the structure

More information

Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields

Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields Journal of Number Theory 79, 249257 (1999) Article ID jnth.1999.2433, available online at htt:www.idealibrary.com on Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields Dongho Byeon

More information

2 Asymptotic density and Dirichlet density

2 Asymptotic density and Dirichlet density 8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime

More information

Linear diophantine equations for discrete tomography

Linear diophantine equations for discrete tomography Journal of X-Ray Science and Technology 10 001 59 66 59 IOS Press Linear diohantine euations for discrete tomograhy Yangbo Ye a,gewang b and Jiehua Zhu a a Deartment of Mathematics, The University of Iowa,

More information

QUADRATIC RESIDUES AND DIFFERENCE SETS

QUADRATIC RESIDUES AND DIFFERENCE SETS QUADRATIC RESIDUES AND DIFFERENCE SETS VSEVOLOD F. LEV AND JACK SONN Abstract. It has been conjectured by Sárközy that with finitely many excetions, the set of quadratic residues modulo a rime cannot be

More information

PETER J. GRABNER AND ARNOLD KNOPFMACHER

PETER J. GRABNER AND ARNOLD KNOPFMACHER ARITHMETIC AND METRIC PROPERTIES OF -ADIC ENGEL SERIES EXPANSIONS PETER J. GRABNER AND ARNOLD KNOPFMACHER Abstract. We derive a characterization of rational numbers in terms of their unique -adic Engel

More information

1-way quantum finite automata: strengths, weaknesses and generalizations

1-way quantum finite automata: strengths, weaknesses and generalizations 1-way quantum finite automata: strengths, weaknesses and generalizations arxiv:quant-h/9802062v3 30 Se 1998 Andris Ambainis UC Berkeley Abstract Rūsiņš Freivalds University of Latvia We study 1-way quantum

More information

An Overview of Witt Vectors

An Overview of Witt Vectors An Overview of Witt Vectors Daniel Finkel December 7, 2007 Abstract This aer offers a brief overview of the basics of Witt vectors. As an alication, we summarize work of Bartolo and Falcone to rove that

More information

QUADRATIC RECIPROCITY

QUADRATIC RECIPROCITY QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick

More information

Number Theory Naoki Sato

Number Theory Naoki Sato Number Theory Naoki Sato 0 Preface This set of notes on number theory was originally written in 1995 for students at the IMO level. It covers the basic background material that an IMO

More information

RECIPROCITY LAWS JEREMY BOOHER

RECIPROCITY LAWS JEREMY BOOHER RECIPROCITY LAWS JEREMY BOOHER 1 Introduction The law of uadratic recirocity gives a beautiful descrition of which rimes are suares modulo Secial cases of this law going back to Fermat, and Euler and Legendre

More information

Some sophisticated congruences involving Fibonacci numbers

Some sophisticated congruences involving Fibonacci numbers A tal given at the National Center for Theoretical Sciences (Hsinchu, Taiwan; July 20, 2011 and Shanghai Jiaotong University (Nov. 4, 2011 Some sohisticated congruences involving Fibonacci numbers Zhi-Wei

More information

MATH342 Practice Exam

MATH342 Practice Exam MATH342 Practice Exam This exam is intended to be in a similar style to the examination in May/June 2012. It is not imlied that all questions on the real examination will follow the content of the ractice

More information

On the smallest point on a diagonal quartic threefold

On the smallest point on a diagonal quartic threefold On the smallest oint on a diagonal quartic threefold Andreas-Stehan Elsenhans and Jörg Jahnel Abstract For the family x = a y +a 2 z +a 3 v + w,,, > 0, of diagonal quartic threefolds, we study the behaviour

More information

4. Score normalization technical details We now discuss the technical details of the score normalization method.

4. Score normalization technical details We now discuss the technical details of the score normalization method. SMT SCORING SYSTEM This document describes the scoring system for the Stanford Math Tournament We begin by giving an overview of the changes to scoring and a non-technical descrition of the scoring rules

More information

Some Unitary Space Time Codes From Sphere Packing Theory With Optimal Diversity Product of Code Size

Some Unitary Space Time Codes From Sphere Packing Theory With Optimal Diversity Product of Code Size IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 5, NO., DECEMBER 4 336 Some Unitary Sace Time Codes From Shere Packing Theory With Otimal Diversity Product of Code Size Haiquan Wang, Genyuan Wang, and Xiang-Gen

More information

On the Multiplicative Order of a n Modulo n

On the Multiplicative Order of a n Modulo n 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 13 2010), Article 10.2.1 On the Multilicative Order of a n Modulo n Jonathan Chaelo Université Lille Nord de France F-59000 Lille France jonathan.chaelon@lma.univ-littoral.fr

More information

arxiv:math/ v4 [math.gn] 25 Nov 2006

arxiv:math/ v4 [math.gn] 25 Nov 2006 arxiv:math/0607751v4 [math.gn] 25 Nov 2006 On the uniqueness of the coincidence index on orientable differentiable manifolds P. Christoher Staecker October 12, 2006 Abstract The fixed oint index of toological

More information

1 Integers and the Euclidean algorithm

1 Integers and the Euclidean algorithm 1 1 Integers and the Euclidean algorithm Exercise 1.1 Prove, n N : induction on n) 1 3 + 2 3 + + n 3 = (1 + 2 + + n) 2 (use Exercise 1.2 Prove, 2 n 1 is rime n is rime. (The converse is not true, as shown

More information

MAT 311 Solutions to Final Exam Practice

MAT 311 Solutions to Final Exam Practice MAT 311 Solutions to Final Exam Practice Remark. If you are comfortable with all of the following roblems, you will be very well reared for the midterm. Some of the roblems below are more difficult than

More information

On generalizing happy numbers to fractional base number systems

On generalizing happy numbers to fractional base number systems On generalizing hay numbers to fractional base number systems Enriue Treviño, Mikita Zhylinski October 17, 018 Abstract Let n be a ositive integer and S (n) be the sum of the suares of its digits. It is

More information

SUMS OF TWO SQUARES PAIR CORRELATION & DISTRIBUTION IN SHORT INTERVALS

SUMS OF TWO SQUARES PAIR CORRELATION & DISTRIBUTION IN SHORT INTERVALS SUMS OF TWO SQUARES PAIR CORRELATION & DISTRIBUTION IN SHORT INTERVALS YOTAM SMILANSKY Abstract. In this work we show that based on a conjecture for the air correlation of integers reresentable as sums

More information

Lattice Attacks on the DGHV Homomorphic Encryption Scheme

Lattice Attacks on the DGHV Homomorphic Encryption Scheme Lattice Attacks on the DGHV Homomorhic Encrytion Scheme Abderrahmane Nitaj 1 and Tajjeeddine Rachidi 2 1 Laboratoire de Mathématiques Nicolas Oresme Université de Caen Basse Normandie, France abderrahmanenitaj@unicaenfr

More information

arxiv: v2 [math.na] 6 Apr 2016

arxiv: v2 [math.na] 6 Apr 2016 Existence and otimality of strong stability reserving linear multiste methods: a duality-based aroach arxiv:504.03930v [math.na] 6 Ar 06 Adrián Németh January 9, 08 Abstract David I. Ketcheson We rove

More information

Factorisation of RSA-704 with CADO-NFS

Factorisation of RSA-704 with CADO-NFS Factorisation of RSA-704 with CADO-NFS Shi Bai, Emmanuel Thomé, Paul Zimmermann To cite this version: Shi Bai, Emmanuel Thomé, Paul Zimmermann. Factorisation of RSA-704 with CADO-NFS. 2012. HAL Id: hal-00760322

More information

The Arm Prime Factors Decomposition

The Arm Prime Factors Decomposition The Arm Prime Factors Decomosition Arm Boris Nima arm.boris@gmail.com Abstract We introduce the Arm rime factors decomosition which is the equivalent of the Taylor formula for decomosition of integers

More information

Math 261 Exam 2. November 7, The use of notes and books is NOT allowed.

Math 261 Exam 2. November 7, The use of notes and books is NOT allowed. Math 261 Eam 2 ovember 7, 2018 The use of notes and books is OT allowed Eercise 1: Polynomials mod 691 (30 ts In this eercise, you may freely use the fact that 691 is rime Consider the olynomials f( 4

More information

A Social Welfare Optimal Sequential Allocation Procedure

A Social Welfare Optimal Sequential Allocation Procedure A Social Welfare Otimal Sequential Allocation Procedure Thomas Kalinowsi Universität Rostoc, Germany Nina Narodytsa and Toby Walsh NICTA and UNSW, Australia May 2, 201 Abstract We consider a simle sequential

More information

arxiv: v4 [math.nt] 11 Oct 2017

arxiv: v4 [math.nt] 11 Oct 2017 POPULAR DIFFERENCES AND GENERALIZED SIDON SETS WENQIANG XU arxiv:1706.05969v4 [math.nt] 11 Oct 2017 Abstract. For a subset A [N], we define the reresentation function r A A(d := #{(a,a A A : d = a a }

More information

#A6 INTEGERS 15A (2015) ON REDUCIBLE AND PRIMITIVE SUBSETS OF F P, I. Katalin Gyarmati 1.

#A6 INTEGERS 15A (2015) ON REDUCIBLE AND PRIMITIVE SUBSETS OF F P, I. Katalin Gyarmati 1. #A6 INTEGERS 15A (015) ON REDUCIBLE AND PRIMITIVE SUBSETS OF F P, I Katalin Gyarmati 1 Deartment of Algebra and Number Theory, Eötvös Loránd University and MTA-ELTE Geometric and Algebraic Combinatorics

More information

Elliptic Curves and Cryptography

Elliptic Curves and Cryptography Ellitic Curves and Crytograhy Background in Ellitic Curves We'll now turn to the fascinating theory of ellitic curves. For simlicity, we'll restrict our discussion to ellitic curves over Z, where is a

More information

Weil s Conjecture on Tamagawa Numbers (Lecture 1)

Weil s Conjecture on Tamagawa Numbers (Lecture 1) Weil s Conjecture on Tamagawa Numbers (Lecture ) January 30, 204 Let R be a commutative ring and let V be an R-module. A quadratic form on V is a ma q : V R satisfying the following conditions: (a) The

More information

NONLINEAR OPTIMIZATION WITH CONVEX CONSTRAINTS. The Goldstein-Levitin-Polyak algorithm

NONLINEAR OPTIMIZATION WITH CONVEX CONSTRAINTS. The Goldstein-Levitin-Polyak algorithm - (23) NLP - NONLINEAR OPTIMIZATION WITH CONVEX CONSTRAINTS The Goldstein-Levitin-Polya algorithm We consider an algorithm for solving the otimization roblem under convex constraints. Although the convexity

More information

Practice Final Solutions

Practice Final Solutions Practice Final Solutions 1. Find integers x and y such that 13x + 1y 1 SOLUTION: By the Euclidean algorithm: One can work backwards to obtain 1 1 13 + 2 13 6 2 + 1 1 13 6 2 13 6 (1 1 13) 7 13 6 1 Hence

More information

Positive Definite Uncertain Homogeneous Matrix Polynomials: Analysis and Application

Positive Definite Uncertain Homogeneous Matrix Polynomials: Analysis and Application BULGARIA ACADEMY OF SCIECES CYBEREICS AD IFORMAIO ECHOLOGIES Volume 9 o 3 Sofia 009 Positive Definite Uncertain Homogeneous Matrix Polynomials: Analysis and Alication Svetoslav Savov Institute of Information

More information

PRIME NUMBERS YANKI LEKILI

PRIME NUMBERS YANKI LEKILI PRIME NUMBERS YANKI LEKILI We denote by N the set of natural numbers:,2,..., These are constructed using Peano axioms. We will not get into the hilosohical questions related to this and simly assume the

More information

Estimation of the large covariance matrix with two-step monotone missing data

Estimation of the large covariance matrix with two-step monotone missing data Estimation of the large covariance matrix with two-ste monotone missing data Masashi Hyodo, Nobumichi Shutoh 2, Takashi Seo, and Tatjana Pavlenko 3 Deartment of Mathematical Information Science, Tokyo

More information

MA3H1 Topics in Number Theory. Samir Siksek

MA3H1 Topics in Number Theory. Samir Siksek MA3H1 Toics in Number Theory Samir Siksek Samir Siksek, Mathematics Institute, University of Warwick, Coventry, CV4 7AL, United Kingdom E-mail address: samir.siksek@gmail.com Contents Chater 0. Prologue

More information