Finding Primitive Roots Pseudo-Deterministically
|
|
- Blaze Stevens
- 5 years ago
- Views:
Transcription
1 Electronc Colloquum on Computatonal Complexty, Report No 207 (205) Fndng Prmtve Roots Pseudo-Determnstcally Ofer Grossman December 22, 205 Abstract Pseudo-determnstc algorthms are randomzed search algorthms whch output unque solutons (e, wth hgh probablty they output the same soluton on each executon) We present a pseudo-determnstc algorthm that, gven a prme p, fnds a prmtve root modulo p n tme exp(o( p log )) Ths mproves upon the prevous best known provable determnstc (and pseudo-determnstc) algorthm whch runs n exponental tme p 4 +o() Our algorthm matches the problem s best known runnng tme for Las Vegas algorthms whch may output d erent prmtve roots n d erent executons When the factorzaton of p s known, as may be the case when generatng prmes wth p n factored form for use n certan applcatons, we present a pseudo-determnstc polynomal tme algorthm for the case that each prme factor of p s ether of sze at most log c (p) or at least p /c for some constant c>0 Ths s a sgnfcant mprovement over a result of Gat and Goldwasser [5], whch descrbed a polynomal tme pseudo-determnstc algorthm when the factorzaton of p was of the form kq for prme q and k = poly() We remark that the Generalzed Remann Hypothess (GRH) mples that the smallest prmtve root g satsfes g apple O(log 6 (p)) Therefore, assumng GRH, gven the factorzaton of p, the smallest prmtve root can be found and verfed determnstcally by brute force n polynomal tme Introducton Pseudo-determnstc algorthms are randomzed search algorthms whch, wth hgh probablty, output the same soluton on each executon Formally, A s a pseudo-determnstc algorthm for a bnary relaton R f there exsts some functon s such that when executed on nput x, the algorthm A outputs s(x) wth hgh probablty, and (x, s(x)) 2 R In other words, when we execute A on nput x, we get the same output s(x) for almost all random seeds Standard randomzed search algorthms, on the other hand, may output a d erent y satsfyng (x, y) 2 R on each executon wth nput x In [5], Gat and Goldwasser ask whether there exsts a pseudo-determnstc algorthm that fnds a prmtve root mod p faster than the best known determnstc algorthm, whch runs n tme p 4 +o() We answer ths queston n the a rmatve: Theorem There exsts a pseudo-determnstc algorthm for Prmtve-Root that runs n expected tme L p (/2) = exp(o( p log )) ogrossma@mtedu Department of Mathematcs, MIT ISSN
2 We note that ths matches the tme bound for the best known Las Vegas algorthms for Prmtve-Root Ths problem may have cryptographc applcatons, as protocols based on the D e-hellman problem [4] rely on prmtve roots to establsh keys It may be desrable for two partes to ndependently generate the same key, or prmtve root, for F p In ths stuaton, pseudo-determnstc algorthms are helpful whle standard randomzed algorthms wll not su ce A closely related problem to Prmtve-Root s Prmtve-Root-Gven-Factorzaton Ths problem asks for a prmtve root mod p, gven both p and the factorzaton of p Prmtve-Root-Gven-Factorzaton may be relevant to applcatons snce the factorzaton of p s often known For example, protocols may requre e cent ways to verfy that an element s a prmtve root, n whch case the factorzaton of p wll be known For such applcatons, t s possble to e cently generate prmes p wth p n factored form [] Assumng the generalzed Remann Hypothess (GRH), Shoup proved n [7] that the smallest non-resdue mod p s of sze O(log 6 (p)), whch mples a brute force polynomal tme algorthm for Prmtve-Root-Gven-Factorzaton Wthout the GRH assumpton, the best determnstc algorthm remans the p 4 +o() algorthm from [2] In [5], polynomal tme pseudo-determnstc algorthms are presented for Prmtve-Root- Gven-Factorzaton when the nput prme satsfes p =kq, wth q prme and k = poly() We mprove upon ths result by fndng polynomal tme pseudo-determnstc algorthms for prmes satsfyng p = Q k = qe, where for some constant c each of the q s ether at most of sze log c (p) or at least of sze p /c (our dependence on c s exponental) It remans open to fnd a polynomal tme pseudo-determnstc algorthm for Prmtve-Root-Gven-Factorzaton for general prmes 2 Prelmnares In ths secton we establsh some lemmas we wll later use All lemmas n ths secton assume p s a prme, a, b 6 0 mod p, and ord refers to the order n F p (the multplcatve group of F p ) Lemma 2 Suppose a, b 2 F p If ord(a) and ord(b) are relatvely prme, then ord(ab) = ord(a)ord(b) Proof Frst, we note that (ab) ord(a)ord(b) = Therefore, ord(ab) ord(a)ord(b) Suppose ord(ab) < ord(a)ord(b) Let q be a prme dvdng ord(a)ord(b) ord(ab) We know that (ab) ord(a)ord(b)/q = However, q dvdes ether ord(a) or ord(b) Suppose wthout loss of generalty that q ord(a) Then =a ord(a)ord(b)/q b ord(b) (ord(a)/q) = a ord(a)ord(b)/q Therefore, ord(a) (ord(a)/q)ord(b) However, because ord(a) and ord(b) are relatvely prme, ths mples ord(a) (ord(a)/q), whch s mpossble Defnton 22 (qth resdue) Let q p be a prme We call an element a whch s a qth power (e, there exsts some b such that a = b q )aqth resdue Otherwse, we call a a qth non-resdue Lemma 23 Suppose q e s the largest power of q dvdng p dvsble by q e Then a qth non-resdue has order 2
3 Proof Suppose g s a prmtve root mod p An element a = g k satsfes ord(a) = p gcd(p,k) If a s a qth non-resdue, then we know k s not dvsble by q Therefore, q - gcd(p that ord(a) sdvsblebyq e, where q e s the largest power of q dvdng p,k) It follows The followng lemma wll show that to fnd a prmtve root modulo p, t s enough f for each prme q dvdng p wefndaq th non-resdue Lemma 24 Let p Then the product s a prmtve root = Q m = qe Suppose that for each, the element a s a q th non-resdue my a (p = )/qe )/qe = Proof We can wrte a = g k for some prmtve root g, and k not dvsble by q Then a (p g k (p )/q e must have order exactly q e, snce qe s the smallest number N such that Nk (p )/q e s dvsble by p, whch s the order of g Therefore, the element a (p )/qe has order exactly q e It follows that the orders of each of the a (p )/qe are relatvely prme, and so by Lemma 2,! my ord a (p )/qe my = The order of a (p s a prmtve root )/qe = = ord a (p )/qe s q e, so the product of the orders s Q m = qe = p Hence Q m = a(p )/qe Lemma 25 Gven p and q p, there exsts a pseudo-determnstc algorthm that fnds a qth non-resdue n tme q poly() Proof See Theorem 3 n [5] Lemma 26 Gven the factorzaton p ord(a) n poly() tme = Q m = qe and an element a 2 F p, we can compute Proof See page 329 n [8] The followng theorem from [3] gves a bound on smooth numbers (we say that n s m-smooth f all prme factors of n are at most m) Theorem 27 (Canfeld-Erdös-Pomerance) Let (x, y) denote the number of y-smooth postve ntegers bounded by x Let u = log x log y Suppose that u<( ) log x log log x for some > 0 Then holds unformly as u and x approach x u+o(u) (x, y) =u 3
4 3 Algorthm and Analyss In ths secton, we present and analyze our algorthm The dea for the algorthm s as follows Frst we factor p Now, for each prme factor q of p, we fnd a qth non-resdue We then use Lemma 24, to construct a prmtve root To fnd a qth non-resdue, we frst check f q s large or small (compared to exp( p log )) If q s small, we run the algorthm from Lemma 25 If q s large, we check the elements {, 2,,p } (n order) untl we fnd one whch s a qth non-resdue Lemma 3 guarantees that for large q, we wll encounter a qth non-resdue wthn the frst exp( p log ) elements: Lemma 3 For all su cently large p, for all q exp( p log ) dvdng p, there exsts a postve s apple exp( p log ) whch s a qth non-resdue Proof Our strategy wll be to assume Lemma 3 s false and then to wrte an nequalty comparng the number of exp( p log )-smooth numbers wth the number of qth resdues We wll then reduce ths nequalty to a contradcton We frst calculate (p, exp( p log )) We use the Canfeld-Erdös-Pomerance theorem p (Theorem 27), and see that u = p log = p log Therefore, p (p, exp(p log )) = p p log p +o p p p log log () For the sake of contradcton, assume that every element s apple exp( p log ) saqth resdue Snce the product of two elements whch are qth resdues s also a qth resdue, every exp( p log )-smooth number s a qth resdue We therefore know that (p, exp( p log )) s bounded above by the number of qth resdues, whch s p/q apple p/ exp( p log ) Combnng ths wth () yelds p (p/ exp(p log )) p p log p +o p p p log log Takng the log of both sdes gves p p p p log p + o p log log log Multplyng both sdes by And ths mples log apple p log p results n p log + p o p p log log log apple ( + o()) log 2 The above nequalty s clearly false, completng the proof p p log 4
5 Now that we have proven Lemma 3, we are ready to analyze the algorthm (Fgure ) Prmtve-Root(p) Factor p = Q m = qe 2 for each q : 3 f q > exp( p log ) 4 Compute the order of, 2,, untl an element a wth q e ord(a ) s found 5 f q apple exp( p log ) 6 Fnd a q th non-resdue a usng Lemma 25 7 return Q m = )/qe a(p Fgure : A pseudo-determnstc algorthm fndng a prmtve root modulo a gven prme p Correctness of the algorthm follows mmedately from Lemma 24 We wll now analyze the tme complexty of the algorthm: Lemma 32 The algorthm n Fgure runs n tme L p (/2) = exp(o( p log )) Proof By Lenstra and Pomerance s factorng algorthm [6], lne takes tme L p (/2) For each q > exp( p log ), by Lemma 3, n lne 4 we have to fnd the order of at most L p (/2) elements By Lemma 26, fndng the order each requres poly() tme, so lne 4 takes a total of L p (/2) poly() =L p (/2) tme For q apple exp( p log ), lne 6 takes at most exp( p log ) poly() =L p (/2) tme by Lemma 25 Snce there are at most prmes dvdng p, the loop n lne 2 takes a total of L p (/2) = L p (/2) tme Calculatng the product n lne 7 takes poly() tme Therefore, the algorthm as a whole termnates n expected tme L p (/2) We now show that the algorthm s pseudo-determnstc Note that the only randomzed steps of the algorthm are lne and lne 6 In lne, we use an algorthm that wth hgh probablty outputs the factorzaton of p, whch s always the same In lne 6, we use an algorthm whch s pseudo-determnstc by Lemma 25 Ths mples our man theorem: Theorem 33 There exsts a pseudo-determnstc algorthm for Prmtve-Root that runs n expected tme L p (/2) 4 Fndng a Prmtve Root Gven Factorzaton A related problem to Prmtve-Root s Prmtve-Root-Gven-Factorzaton: Defnton 4 The Prmtve-Root-Gven-Factorzaton problem s the problem of fndng a prmtve root mod p when both p and the factorzaton of p are gven as nput 5
6 For Prmtve-Root-Gven-Factorzaton, the best known Las-Vegas algorthm runs n polynomal tme The best prevously known pseudo-determnstc algorthm runs n tme p 4 +o() The algorthm from secton 3 mproves ths to L p (/2) In [5], Gat and Goldwasser pose as a problem to fnd a polynomal tme pseudo-determnstc algorthm for Prmtve-Root-Gven-Factorzaton The authors present a polynomal tme algorthm for the case p =kq, where q s prme and k s of sze poly() We mprove upon ths result wth a polynomal tme algorthm for all p where each prme factor of p s of sze ether at most log c (p) or at least p /c, for some constant c> Our algorthm runs n tme log c (p) poly() We descrbe our algorthm n Fgure 2 Prmtve-Root-Gven-Factorzaton(p, p for each q : 2 f q > exp( p log ) = Q m = qe ) 3 Compute the order of, 2,, untl an element a wth q e ord(a ) s found 4 f q apple exp( p log ) 5 Fnd a q th non-resdue a usng Lemma 25 6 return Q m = )/qe a(p Fgure 2: A pseudo-determnstc algorthm fndng a prmtve root modulo a prme p, gven both p and the factorzaton of p Correctness of the algorthm follows mmedately from Lemma 24 We now prove that f there s some constant c such that all q satsfy ether q < log c p or q >p /c, then the algorthm termnates n tme at most log c (p) poly() Frst, note that for large enough p, f q < log c p then q < exp( p log ) Also, f q >p /c then q > exp( p log ) To prove that lne 3 takes polynomal tme, we argue that for all fxed " > 0, for large enough p, f q >p /c then there exsts an a<log c+" (p) that s a q th non-resdue We do ths wth a smlar strategy to our proof of Lemma 3 We know that there are at most p q elements whch are q th resdues Suppose for the sake of contradcton that all a<log c+" (p) are q th resdues Ths mples that there are at least (p, log c+" (p)) elements whch are q th resdues Therefore, we have the nequalty q p q (p, log c+" (p)) By the Canfeld-Erdös-Pomerance theorem (Theorem 27), (p, log c+" (p)) = pu u+o(u), where u = Pluggng ths n and takng the log of both sdes yelds log log c+" p log + o log log c+" log (p) log log c+" (p) Smplfyng gves log q apple + o 6 log
7 But we know that q p /c Therefore, log q c c apple + o Further smplfyng now gves c apple (c + ") log + o Pluggng ths n and smplfyng yelds log log log However, the rght sde approaches c+", whereas the left sde s c Therefore, we have reached a contradcton, and so wthn the frst log c+" (p) elements that we test n lne 3, we wll encounter a q th non-resdue Therefore, lne 3 of the algorthm requres calculatng the order of up to log c+" (p) elements, each of whch takes poly() tme by Lemma 26 Lne 5 takes up to log c (p) poly() tme by Lemma 25 Snce there are at most prmes dvdng p, the loop n lne s of length up to It follows that our algorthm termnates and outputs a prmtve root n expected tme log c (p) poly() Note that on every executon of the algorthm, we output the same prmtve root, snce the only randomzed step of the algorthm s lne 5 whch s pseudo-determnstc by Lemma 25 Ths completes the proof of the followng theorem: Theorem 42 For any constant c>, there exsts a pseudo-determnstc algorthm for Prmtve- Root-Gven-Factorzaton that runs n polynomal tme for all p where each prme factor q of p satsfes ether q<log c (p) or q>p /c 5 Dscusson It would be nterestng to fnd a polynomal tme pseudo-determnstc algorthm for Prmtve- Root-Gven-Factorzaton for general prmes The slowest step n Las Vegas algorthms for Prmtve-Root s factorng p It would be nterestng to fnd an algorthm whch can verfy an element s a prmtve root wthout usng the factorzaton of p Acknowledgments I would lke to thank Shaf Goldwasser for ntroducng me to the prmtve root problem, for helpful dscussons, and for advce and encouragement on the paper I would also lke to thank Andrew Sutherland for helpful dscussons References [] Erc Bach How to generate factored random numbers SIAM Journal on Computng, 7(2):79 93, 988 [2] DA Burgess On character sums and prmtve roots Proceedngs of the London Mathematcal Socety, 3():79 92, 962 7
8 [3] E Rodney Canfeld, Paul Erdös, and Carl Pomerance On a problem of oppenhem concernng factorsato numerorum Journal of Number Theory, 7(): 28, 983 [4] Whtfeld D e and Martn E Hellman New drectons n cryptography Informaton Theory, IEEE Transactons on, 22(6): , 976 [5] Eran Gat and Shaf Goldwasser Probablstc search algorthms wth unque answers and ther cryptographc applcatons In Electronc Colloquum on Computatonal Complexty (ECCC), volume 8, page 36, 20 [6] Hendrk W Lenstra and Carl Pomerance A rgorous tme bound for factorng ntegers Journal of the Amercan Mathematcal Socety, 5(3):483 56, 992 [7] Vctor Shoup Searchng for prmtve roots n fnte felds Mathematcs of Computaton, 58(97): , 992 [8] Vctor Shoup A computatonal ntroducton to number theory and algebra Cambrdge unversty press, ECCC ISSN
THE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens
THE CHINESE REMAINDER THEOREM KEITH CONRAD We should thank the Chnese for ther wonderful remander theorem. Glenn Stevens 1. Introducton The Chnese remander theorem says we can unquely solve any par of
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
More informationMin Cut, Fast Cut, Polynomial Identities
Randomzed Algorthms, Summer 016 Mn Cut, Fast Cut, Polynomal Identtes Instructor: Thomas Kesselhem and Kurt Mehlhorn 1 Mn Cuts n Graphs Lecture (5 pages) Throughout ths secton, G = (V, E) s a mult-graph.
More informationProblem Set 9 Solutions
Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem
More informationProblem Solving in Math (Math 43900) Fall 2013
Problem Solvng n Math (Math 43900) Fall 2013 Week four (September 17) solutons Instructor: Davd Galvn 1. Let a and b be two nteger for whch a b s dvsble by 3. Prove that a 3 b 3 s dvsble by 9. Soluton:
More informationa b a In case b 0, a being divisible by b is the same as to say that
Secton 6.2 Dvsblty among the ntegers An nteger a ε s dvsble by b ε f there s an nteger c ε such that a = bc. Note that s dvsble by any nteger b, snce = b. On the other hand, a s dvsble by only f a = :
More informationStanford University CS254: Computational Complexity Notes 7 Luca Trevisan January 29, Notes for Lecture 7
Stanford Unversty CS54: Computatonal Complexty Notes 7 Luca Trevsan January 9, 014 Notes for Lecture 7 1 Approxmate Countng wt an N oracle We complete te proof of te followng result: Teorem 1 For every
More informationarxiv: v6 [math.nt] 23 Aug 2016
A NOTE ON ODD PERFECT NUMBERS JOSE ARNALDO B. DRIS AND FLORIAN LUCA arxv:03.437v6 [math.nt] 23 Aug 206 Abstract. In ths note, we show that f N s an odd perfect number and q α s some prme power exactly
More informationShort running title: A generating function approach A GENERATING FUNCTION APPROACH TO COUNTING THEOREMS FOR SQUARE-FREE POLYNOMIALS AND MAXIMAL TORI
Short runnng ttle: A generatng functon approach A GENERATING FUNCTION APPROACH TO COUNTING THEOREMS FOR SQUARE-FREE POLYNOMIALS AND MAXIMAL TORI JASON FULMAN Abstract. A recent paper of Church, Ellenberg,
More informationLecture 10: May 6, 2013
TTIC/CMSC 31150 Mathematcal Toolkt Sprng 013 Madhur Tulsan Lecture 10: May 6, 013 Scrbe: Wenje Luo In today s lecture, we manly talked about random walk on graphs and ntroduce the concept of graph expander,
More informationLecture 4: Universal Hash Functions/Streaming Cont d
CSE 5: Desgn and Analyss of Algorthms I Sprng 06 Lecture 4: Unversal Hash Functons/Streamng Cont d Lecturer: Shayan Oves Gharan Aprl 6th Scrbe: Jacob Schreber Dsclamer: These notes have not been subjected
More informationMaximizing the number of nonnegative subsets
Maxmzng the number of nonnegatve subsets Noga Alon Hao Huang December 1, 213 Abstract Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what s the maxmum
More informationFinding Dense Subgraphs in G(n, 1/2)
Fndng Dense Subgraphs n Gn, 1/ Atsh Das Sarma 1, Amt Deshpande, and Rav Kannan 1 Georga Insttute of Technology,atsh@cc.gatech.edu Mcrosoft Research-Bangalore,amtdesh,annan@mcrosoft.com Abstract. Fndng
More information18.781: Solution to Practice Questions for Final Exam
18.781: Soluton to Practce Questons for Fnal Exam 1. Fnd three solutons n postve ntegers of x 6y = 1 by frst calculatng the contnued fracton expanson of 6. Soluton: We have 1 6=[, ] 6 6+ =[, ] 1 =[,, ]=[,,
More informationand problem sheet 2
-8 and 5-5 problem sheet Solutons to the followng seven exercses and optonal bonus problem are to be submtted through gradescope by :0PM on Wednesday th September 08. There are also some practce problems,
More informationOn quasiperfect numbers
Notes on Number Theory and Dscrete Mathematcs Prnt ISSN 1310 5132, Onlne ISSN 2367 8275 Vol. 23, 2017, No. 3, 73 78 On quasperfect numbers V. Sva Rama Prasad 1 and C. Suntha 2 1 Nalla Malla Reddy Engneerng
More informationSL n (F ) Equals its Own Derived Group
Internatonal Journal of Algebra, Vol. 2, 2008, no. 12, 585-594 SL n (F ) Equals ts Own Derved Group Jorge Macel BMCC-The Cty Unversty of New York, CUNY 199 Chambers street, New York, NY 10007, USA macel@cms.nyu.edu
More informationLecture 2: Gram-Schmidt Vectors and the LLL Algorithm
NYU, Fall 2016 Lattces Mn Course Lecture 2: Gram-Schmdt Vectors and the LLL Algorthm Lecturer: Noah Stephens-Davdowtz 2.1 The Shortest Vector Problem In our last lecture, we consdered short solutons to
More informationBeyond Zudilin s Conjectured q-analog of Schmidt s problem
Beyond Zudln s Conectured q-analog of Schmdt s problem Thotsaporn Ae Thanatpanonda thotsaporn@gmalcom Mathematcs Subect Classfcaton: 11B65 33B99 Abstract Usng the methodology of (rgorous expermental mathematcs
More informationHMMT February 2016 February 20, 2016
HMMT February 016 February 0, 016 Combnatorcs 1. For postve ntegers n, let S n be the set of ntegers x such that n dstnct lnes, no three concurrent, can dvde a plane nto x regons (for example, S = {3,
More informationSection 8.3 Polar Form of Complex Numbers
80 Chapter 8 Secton 8 Polar Form of Complex Numbers From prevous classes, you may have encountered magnary numbers the square roots of negatve numbers and, more generally, complex numbers whch are the
More informationAnti-van der Waerden numbers of 3-term arithmetic progressions.
Ant-van der Waerden numbers of 3-term arthmetc progressons. Zhanar Berkkyzy, Alex Schulte, and Mchael Young Aprl 24, 2016 Abstract The ant-van der Waerden number, denoted by aw([n], k), s the smallest
More informationCollege of Computer & Information Science Fall 2009 Northeastern University 20 October 2009
College of Computer & Informaton Scence Fall 2009 Northeastern Unversty 20 October 2009 CS7880: Algorthmc Power Tools Scrbe: Jan Wen and Laura Poplawsk Lecture Outlne: Prmal-dual schema Network Desgn:
More informationThe internal structure of natural numbers and one method for the definition of large prime numbers
The nternal structure of natural numbers and one method for the defnton of large prme numbers Emmanul Manousos APM Insttute for the Advancement of Physcs and Mathematcs 3 Poulou str. 53 Athens Greece Abstract
More informationThe Ramanujan-Nagell Theorem: Understanding the Proof By Spencer De Chenne
The Ramanujan-Nagell Theorem: Understandng the Proof By Spencer De Chenne 1 Introducton The Ramanujan-Nagell Theorem, frst proposed as a conjecture by Srnvasa Ramanujan n 1943 and later proven by Trygve
More informationMath 217 Fall 2013 Homework 2 Solutions
Math 17 Fall 013 Homework Solutons Due Thursday Sept. 6, 013 5pm Ths homework conssts of 6 problems of 5 ponts each. The total s 30. You need to fully justfy your answer prove that your functon ndeed has
More informationarxiv: v1 [math.co] 1 Mar 2014
Unon-ntersectng set systems Gyula O.H. Katona and Dánel T. Nagy March 4, 014 arxv:1403.0088v1 [math.co] 1 Mar 014 Abstract Three ntersecton theorems are proved. Frst, we determne the sze of the largest
More informationExample: (13320, 22140) =? Solution #1: The divisors of are 1, 2, 3, 4, 5, 6, 9, 10, 12, 15, 18, 20, 27, 30, 36, 41,
The greatest common dvsor of two ntegers a and b (not both zero) s the largest nteger whch s a common factor of both a and b. We denote ths number by gcd(a, b), or smply (a, b) when there s no confuson
More informationThe Order Relation and Trace Inequalities for. Hermitian Operators
Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence
More information2.3 Nilpotent endomorphisms
s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms
More informationChristian Aebi Collège Calvin, Geneva, Switzerland
#A7 INTEGERS 12 (2012) A PROPERTY OF TWIN PRIMES Chrstan Aeb Collège Calvn, Geneva, Swtzerland chrstan.aeb@edu.ge.ch Grant Carns Department of Mathematcs, La Trobe Unversty, Melbourne, Australa G.Carns@latrobe.edu.au
More informationFACTORING POLYNOMIALS OVER FINITE FIELDS USING BALANCE TEST CHANDAN SAHA
FACTORING POLYNOMIALS OVER FINITE FIELDS USING BALANCE TEST CHANDAN SAHA Department of Computer Scence and Engneerng Indan Insttute of Technology Kanpur E-mal address: csaha@cse.tk.ac.n Abstract. We study
More informationErrors for Linear Systems
Errors for Lnear Systems When we solve a lnear system Ax b we often do not know A and b exactly, but have only approxmatons  and ˆb avalable. Then the best thng we can do s to solve ˆx ˆb exactly whch
More informationCOS 511: Theoretical Machine Learning. Lecturer: Rob Schapire Lecture # 15 Scribe: Jieming Mao April 1, 2013
COS 511: heoretcal Machne Learnng Lecturer: Rob Schapre Lecture # 15 Scrbe: Jemng Mao Aprl 1, 013 1 Bref revew 1.1 Learnng wth expert advce Last tme, we started to talk about learnng wth expert advce.
More informationStanford University CS359G: Graph Partitioning and Expanders Handout 4 Luca Trevisan January 13, 2011
Stanford Unversty CS359G: Graph Parttonng and Expanders Handout 4 Luca Trevsan January 3, 0 Lecture 4 In whch we prove the dffcult drecton of Cheeger s nequalty. As n the past lectures, consder an undrected
More informationIntroduction to Algorithms
Introducton to Algorthms 6.046J/8.40J Lecture 7 Prof. Potr Indyk Data Structures Role of data structures: Encapsulate data Support certan operatons (e.g., INSERT, DELETE, SEARCH) Our focus: effcency of
More informationRestricted divisor sums
ACTA ARITHMETICA 02 2002) Restrcted dvsor sums by Kevn A Broughan Hamlton) Introducton There s a body of work n the lterature on varous restrcted sums of the number of dvsors of an nteger functon ncludng
More informationA 2D Bounded Linear Program (H,c) 2D Linear Programming
A 2D Bounded Lnear Program (H,c) h 3 v h 8 h 5 c h 4 h h 6 h 7 h 2 2D Lnear Programmng C s a polygonal regon, the ntersecton of n halfplanes. (H, c) s nfeasble, as C s empty. Feasble regon C s unbounded
More informationExercises of Chapter 2
Exercses of Chapter Chuang-Cheh Ln Department of Computer Scence and Informaton Engneerng, Natonal Chung Cheng Unversty, Mng-Hsung, Chay 61, Tawan. Exercse.6. Suppose that we ndependently roll two standard
More informationRandomness and Computation
Randomness and Computaton or, Randomzed Algorthms Mary Cryan School of Informatcs Unversty of Ednburgh RC 208/9) Lecture 0 slde Balls n Bns m balls, n bns, and balls thrown unformly at random nto bns usually
More informationprinceton univ. F 17 cos 521: Advanced Algorithm Design Lecture 7: LP Duality Lecturer: Matt Weinberg
prnceton unv. F 17 cos 521: Advanced Algorthm Desgn Lecture 7: LP Dualty Lecturer: Matt Wenberg Scrbe: LP Dualty s an extremely useful tool for analyzng structural propertes of lnear programs. Whle there
More informationLecture Space-Bounded Derandomization
Notes on Complexty Theory Last updated: October, 2008 Jonathan Katz Lecture Space-Bounded Derandomzaton 1 Space-Bounded Derandomzaton We now dscuss derandomzaton of space-bounded algorthms. Here non-trval
More information3.1 Expectation of Functions of Several Random Variables. )' be a k-dimensional discrete or continuous random vector, with joint PMF p (, E X E X1 E X
Statstcs 1: Probablty Theory II 37 3 EPECTATION OF SEVERAL RANDOM VARIABLES As n Probablty Theory I, the nterest n most stuatons les not on the actual dstrbuton of a random vector, but rather on a number
More informationThe Minimum Universal Cost Flow in an Infeasible Flow Network
Journal of Scences, Islamc Republc of Iran 17(2): 175-180 (2006) Unversty of Tehran, ISSN 1016-1104 http://jscencesutacr The Mnmum Unversal Cost Flow n an Infeasble Flow Network H Saleh Fathabad * M Bagheran
More informationLecture Notes on Linear Regression
Lecture Notes on Lnear Regresson Feng L fl@sdueducn Shandong Unversty, Chna Lnear Regresson Problem In regresson problem, we am at predct a contnuous target value gven an nput feature vector We assume
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More informationAlgorithms for factoring
CSA E0 235: Crytograhy Arl 9,2015 Instructor: Arta Patra Algorthms for factorng Submtted by: Jay Oza, Nranjan Sngh Introducton Factorsaton of large ntegers has been a wdely studed toc manly because of
More informationNotes on Frequency Estimation in Data Streams
Notes on Frequency Estmaton n Data Streams In (one of) the data streamng model(s), the data s a sequence of arrvals a 1, a 2,..., a m of the form a j = (, v) where s the dentty of the tem and belongs to
More informationn ). This is tight for all admissible values of t, k and n. k t + + n t
MAXIMIZING THE NUMBER OF NONNEGATIVE SUBSETS NOGA ALON, HAROUT AYDINIAN, AND HAO HUANG Abstract. Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what
More informationCase A. P k = Ni ( 2L i k 1 ) + (# big cells) 10d 2 P k.
THE CELLULAR METHOD In ths lecture, we ntroduce the cellular method as an approach to ncdence geometry theorems lke the Szemeréd-Trotter theorem. The method was ntroduced n the paper Combnatoral complexty
More informationModule 9. Lecture 6. Duality in Assignment Problems
Module 9 1 Lecture 6 Dualty n Assgnment Problems In ths lecture we attempt to answer few other mportant questons posed n earler lecture for (AP) and see how some of them can be explaned through the concept
More informationApproximate Smallest Enclosing Balls
Chapter 5 Approxmate Smallest Enclosng Balls 5. Boundng Volumes A boundng volume for a set S R d s a superset of S wth a smple shape, for example a box, a ball, or an ellpsod. Fgure 5.: Boundng boxes Q(P
More informationChowla s Problem on the Non-Vanishing of Certain Infinite Series and Related Questions
Proc. Int. Conf. Number Theory and Dscrete Geometry No. 4, 2007, pp. 7 79. Chowla s Problem on the Non-Vanshng of Certan Infnte Seres and Related Questons N. Saradha School of Mathematcs, Tata Insttute
More informationComplete subgraphs in multipartite graphs
Complete subgraphs n multpartte graphs FLORIAN PFENDER Unverstät Rostock, Insttut für Mathematk D-18057 Rostock, Germany Floran.Pfender@un-rostock.de Abstract Turán s Theorem states that every graph G
More informationCalculation of time complexity (3%)
Problem 1. (30%) Calculaton of tme complexty (3%) Gven n ctes, usng exhaust search to see every result takes O(n!). Calculaton of tme needed to solve the problem (2%) 40 ctes:40! dfferent tours 40 add
More informationMath 261 Exercise sheet 2
Math 261 Exercse sheet 2 http://staff.aub.edu.lb/~nm116/teachng/2017/math261/ndex.html Verson: September 25, 2017 Answers are due for Monday 25 September, 11AM. The use of calculators s allowed. Exercse
More informationU.C. Berkeley CS294: Spectral Methods and Expanders Handout 8 Luca Trevisan February 17, 2016
U.C. Berkeley CS94: Spectral Methods and Expanders Handout 8 Luca Trevsan February 7, 06 Lecture 8: Spectral Algorthms Wrap-up In whch we talk about even more generalzatons of Cheeger s nequaltes, and
More informationFACTORING POLYNOMIALS OVER FINITE FIELDS USING BALANCE TEST CHANDAN SAHA
FACTORING POLYNOMIALS OVER FINITE FIELDS USING BALANCE TEST CHANDAN SAHA Department of Computer Scence and Engneerng Indan Insttute of Technology Kanpur E-mal address: csaha@cse.tk.ac.n Abstract. We study
More informationOn the irreducibility of a truncated binomial expansion
On the rreducblty of a truncated bnomal expanson by Mchael Flaseta, Angel Kumchev and Dmtr V. Pasechnk 1 Introducton For postve ntegers k and n wth k n 1, defne P n,k (x = =0 ( n x. In the case that k
More informationFixed points of IA-endomorphisms of a free metabelian Lie algebra
Proc. Indan Acad. Sc. (Math. Sc.) Vol. 121, No. 4, November 2011, pp. 405 416. c Indan Academy of Scences Fxed ponts of IA-endomorphsms of a free metabelan Le algebra NAIME EKICI 1 and DEMET PARLAK SÖNMEZ
More informationOn the size of quotient of two subsets of positive integers.
arxv:1706.04101v1 [math.nt] 13 Jun 2017 On the sze of quotent of two subsets of postve ntegers. Yur Shtenkov Abstract We obtan non-trval lower bound for the set A/A, where A s a subset of the nterval [1,
More informationprinceton univ. F 13 cos 521: Advanced Algorithm Design Lecture 3: Large deviations bounds and applications Lecturer: Sanjeev Arora
prnceton unv. F 13 cos 521: Advanced Algorthm Desgn Lecture 3: Large devatons bounds and applcatons Lecturer: Sanjeev Arora Scrbe: Today s topc s devaton bounds: what s the probablty that a random varable
More informationPerron Vectors of an Irreducible Nonnegative Interval Matrix
Perron Vectors of an Irreducble Nonnegatve Interval Matrx Jr Rohn August 4 2005 Abstract As s well known an rreducble nonnegatve matrx possesses a unquely determned Perron vector. As the man result of
More informationSection 3.6 Complex Zeros
04 Chapter Secton 6 Comple Zeros When fndng the zeros of polynomals, at some pont you're faced wth the problem Whle there are clearly no real numbers that are solutons to ths equaton, leavng thngs there
More informationMore metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
More informationFACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP
C O L L O Q U I U M M A T H E M A T I C U M VOL. 80 1999 NO. 1 FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP BY FLORIAN K A I N R A T H (GRAZ) Abstract. Let H be a Krull monod wth nfnte class
More informationChapter 5. Solution of System of Linear Equations. Module No. 6. Solution of Inconsistent and Ill Conditioned Systems
Numercal Analyss by Dr. Anta Pal Assstant Professor Department of Mathematcs Natonal Insttute of Technology Durgapur Durgapur-713209 emal: anta.bue@gmal.com 1 . Chapter 5 Soluton of System of Lnear Equatons
More informationLectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix
Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could
More informationDifference Equations
Dfference Equatons c Jan Vrbk 1 Bascs Suppose a sequence of numbers, say a 0,a 1,a,a 3,... s defned by a certan general relatonshp between, say, three consecutve values of the sequence, e.g. a + +3a +1
More informationPhysics 5153 Classical Mechanics. Principle of Virtual Work-1
P. Guterrez 1 Introducton Physcs 5153 Classcal Mechancs Prncple of Vrtual Work The frst varatonal prncple we encounter n mechancs s the prncple of vrtual work. It establshes the equlbrum condton of a mechancal
More informationComputing Correlated Equilibria in Multi-Player Games
Computng Correlated Equlbra n Mult-Player Games Chrstos H. Papadmtrou Presented by Zhanxang Huang December 7th, 2005 1 The Author Dr. Chrstos H. Papadmtrou CS professor at UC Berkley (taught at Harvard,
More informationExercises. 18 Algorithms
18 Algorthms Exercses 0.1. In each of the followng stuatons, ndcate whether f = O(g), or f = Ω(g), or both (n whch case f = Θ(g)). f(n) g(n) (a) n 100 n 200 (b) n 1/2 n 2/3 (c) 100n + log n n + (log n)
More informationFirst day August 1, Problems and Solutions
FOURTH INTERNATIONAL COMPETITION FOR UNIVERSITY STUDENTS IN MATHEMATICS July 30 August 4, 997, Plovdv, BULGARIA Frst day August, 997 Problems and Solutons Problem. Let {ε n } n= be a sequence of postve
More informationLecture 5 Decoding Binary BCH Codes
Lecture 5 Decodng Bnary BCH Codes In ths class, we wll ntroduce dfferent methods for decodng BCH codes 51 Decodng the [15, 7, 5] 2 -BCH Code Consder the [15, 7, 5] 2 -code C we ntroduced n the last lecture
More information18.1 Introduction and Recap
CS787: Advanced Algorthms Scrbe: Pryananda Shenoy and Shjn Kong Lecturer: Shuch Chawla Topc: Streamng Algorthmscontnued) Date: 0/26/2007 We contnue talng about streamng algorthms n ths lecture, ncludng
More informationEdge Isoperimetric Inequalities
November 7, 2005 Ross M. Rchardson Edge Isopermetrc Inequaltes 1 Four Questons Recall that n the last lecture we looked at the problem of sopermetrc nequaltes n the hypercube, Q n. Our noton of boundary
More informationA note on almost sure behavior of randomly weighted sums of φ-mixing random variables with φ-mixing weights
ACTA ET COMMENTATIONES UNIVERSITATIS TARTUENSIS DE MATHEMATICA Volume 7, Number 2, December 203 Avalable onlne at http://acutm.math.ut.ee A note on almost sure behavor of randomly weghted sums of φ-mxng
More informationGeneralized Linear Methods
Generalzed Lnear Methods 1 Introducton In the Ensemble Methods the general dea s that usng a combnaton of several weak learner one could make a better learner. More formally, assume that we have a set
More informationOn the Interval Zoro Symmetric Single-step Procedure for Simultaneous Finding of Polynomial Zeros
Appled Mathematcal Scences, Vol. 5, 2011, no. 75, 3693-3706 On the Interval Zoro Symmetrc Sngle-step Procedure for Smultaneous Fndng of Polynomal Zeros S. F. M. Rusl, M. Mons, M. A. Hassan and W. J. Leong
More informationSTEINHAUS PROPERTY IN BANACH LATTICES
DEPARTMENT OF MATHEMATICS TECHNICAL REPORT STEINHAUS PROPERTY IN BANACH LATTICES DAMIAN KUBIAK AND DAVID TIDWELL SPRING 2015 No. 2015-1 TENNESSEE TECHNOLOGICAL UNIVERSITY Cookevlle, TN 38505 STEINHAUS
More informationSpeeding up Computation of Scalar Multiplication in Elliptic Curve Cryptosystem
H.K. Pathak et. al. / (IJCSE) Internatonal Journal on Computer Scence and Engneerng Speedng up Computaton of Scalar Multplcaton n Ellptc Curve Cryptosystem H. K. Pathak Manju Sangh S.o.S n Computer scence
More information5 The Rational Canonical Form
5 The Ratonal Canoncal Form Here p s a monc rreducble factor of the mnmum polynomal m T and s not necessarly of degree one Let F p denote the feld constructed earler n the course, consstng of all matrces
More informationinv lve a journal of mathematics 2008 Vol. 1, No. 1 Divisibility of class numbers of imaginary quadratic function fields
nv lve a journal of mathematcs Dvsblty of class numbers of magnary quadratc functon felds Adam Merberg mathematcal scences publshers 2008 Vol. 1, No. 1 INVOLVE 1:1(2008) Dvsblty of class numbers of magnary
More informationDirichlet s Theorem In Arithmetic Progressions
Drchlet s Theorem In Arthmetc Progressons Parsa Kavkan Hang Wang The Unversty of Adelade February 26, 205 Abstract The am of ths paper s to ntroduce and prove Drchlet s theorem n arthmetc progressons,
More informationA CLASS OF RECURSIVE SETS. Florentin Smarandache University of New Mexico 200 College Road Gallup, NM 87301, USA
A CLASS OF RECURSIVE SETS Florentn Smarandache Unversty of New Mexco 200 College Road Gallup, NM 87301, USA E-mal: smarand@unmedu In ths artcle one bulds a class of recursve sets, one establshes propertes
More informationA new Approach for Solving Linear Ordinary Differential Equations
, ISSN 974-57X (Onlne), ISSN 974-5718 (Prnt), Vol. ; Issue No. 1; Year 14, Copyrght 13-14 by CESER PUBLICATIONS A new Approach for Solvng Lnear Ordnary Dfferental Equatons Fawz Abdelwahd Department of
More informationIntroduction to Algorithms
Introducton to Algorthms 6.046J/18.401J Lecture 7 Prof. Potr Indyk Data Structures Role of data structures: Encapsulate data Support certan operatons (e.g., INSERT, DELETE, SEARCH) What data structures
More informationLecture 4. Instructor: Haipeng Luo
Lecture 4 Instructor: Hapeng Luo In the followng lectures, we focus on the expert problem and study more adaptve algorthms. Although Hedge s proven to be worst-case optmal, one may wonder how well t would
More informationOn the correction of the h-index for career length
1 On the correcton of the h-ndex for career length by L. Egghe Unverstet Hasselt (UHasselt), Campus Depenbeek, Agoralaan, B-3590 Depenbeek, Belgum 1 and Unverstet Antwerpen (UA), IBW, Stadscampus, Venusstraat
More informationTabulating pseudoprimes and tabulating liars
Illnos Wesleyan Unversty From the SelectedWorks of Andrew Shallue 2016 Tabulatng pseudoprmes and tabulatng lars Andrew Shallue Ths work s lcensed under a Creatve Commons CC_BY-NC Internatonal Lcense. Avalable
More informationNo-three-in-line problem on a torus: periodicity
arxv:1901.09012v1 [cs.dm] 25 Jan 2019 No-three-n-lne problem on a torus: perodcty Mchael Skotnca skotnca@kam.mff.cun.cz Abstract Let τ m,n denote the maxmal number of ponts on the dscrete torus (dscrete
More informationSelf-complementing permutations of k-uniform hypergraphs
Dscrete Mathematcs Theoretcal Computer Scence DMTCS vol. 11:1, 2009, 117 124 Self-complementng permutatons of k-unform hypergraphs Artur Szymańsk A. Paweł Wojda Faculty of Appled Mathematcs, AGH Unversty
More informationGraph Reconstruction by Permutations
Graph Reconstructon by Permutatons Perre Ille and Wllam Kocay* Insttut de Mathémathques de Lumny CNRS UMR 6206 163 avenue de Lumny, Case 907 13288 Marselle Cedex 9, France e-mal: lle@ml.unv-mrs.fr Computer
More informationOn the Divisibility of Binomial Coefficients
On the Dvsblty of Bnomal Coeffcents Sílva Casacuberta Pug Abstract We analyze an open problem n number theory regardng the dvsblty of bnomal coeffcents. It s conjectured that for every nteger n there exst
More informationAn efficient algorithm for multivariate Maclaurin Newton transformation
Annales UMCS Informatca AI VIII, 2 2008) 5 14 DOI: 10.2478/v10065-008-0020-6 An effcent algorthm for multvarate Maclaurn Newton transformaton Joanna Kapusta Insttute of Mathematcs and Computer Scence,
More informationAffine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationSingular Value Decomposition: Theory and Applications
Sngular Value Decomposton: Theory and Applcatons Danel Khashab Sprng 2015 Last Update: March 2, 2015 1 Introducton A = UDV where columns of U and V are orthonormal and matrx D s dagonal wth postve real
More informationInternational Mathematical Olympiad. Preliminary Selection Contest 2012 Hong Kong. Outline of Solutions
Internatonal Mathematcal Olympad Prelmnary Selecton ontest Hong Kong Outlne of Solutons nswers: 7 4 7 4 6 5 9 6 99 7 6 6 9 5544 49 5 7 4 6765 5 6 6 7 6 944 9 Solutons: Snce n s a two-dgt number, we have
More informationGames of Threats. Elon Kohlberg Abraham Neyman. Working Paper
Games of Threats Elon Kohlberg Abraham Neyman Workng Paper 18-023 Games of Threats Elon Kohlberg Harvard Busness School Abraham Neyman The Hebrew Unversty of Jerusalem Workng Paper 18-023 Copyrght 2017
More informationA CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS
Journal of Mathematcal Scences: Advances and Applcatons Volume 25, 2014, Pages 1-12 A CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS JIA JI, WEN ZHANG and XIAOFEI QI Department of Mathematcs
More information