A Simple Derivation for the Frobenius Pseudoprime Test
|
|
- Rolf Nelson Nichols
- 5 years ago
- Views:
Transcription
1 A Simple Derivatio for the Frobeius Pseudoprime Test Daiel Loebeberger Bo-Aache Iteratioal Ceter for Iformatio Techology March 17, 2008 Abstract Probabilistic compositeess tests are of great practical importace i cryptography. Besides promiet tests (like the well-kow Miller-Rabi test there are tests that use Lucas-sequeces for testig compositeess. Oe example is the so-called Frobeius test that has a very low error probability. Usig a slight modificatio of the above metioed Lucas sequeces we preset a simple derivatio for the Frobeius pseudoprime test i the versio proposed by Cradall ad Pommerace i [CrPo05]. 1 Lucas ad Frobeius Pseudoprimes For f(x = x 2 ax + b Z[x] the Lucas sequeces are give by U j := U j (a,b := xj (a x j x (a x V j := V j (a,b := x j + (a x j (mod f(x (mod f(x (1 These sequeces both satisfy the same recurrece relatio U j = au j 1 bu j 2 ; V j = av j 1 bv j 2 for j 2 with iitial values U 0 = 0, U 1 = 1 V 0 = 2, V 1 = a The followig theorem is the basis for a probabilistic prime test, called the Lucas test: Theorem 1. Let a,b Z\{0}, := a 2 4b ad the sequeces (U j,(v j defied as above. If p is prime, with gcd(p,2ab = 1, we have: U ( 0 (mod p (2 p p Proof. If is a quadratic oresidue modulo p, the the polyomial f(x Z p [x] is irreducible 1
2 over Z p, which meas that Z p [x]/(f(x is a field ad isomorphic to F p 2. The elemets of the subfield Z p are exactly those elemets i + jx Z p [x]/(f(x with j = 0. The zeroes of the polyomial f(x are x ad a x, both i F p 2 \Z p, ad therefore permuted by the Frobeius automorphism. Thus we have i the case ( p = 1 : x p a x (mod f(x,p (a x p x (mod f(x,p which implies x p+1 (a x p+1 = x(a x (a xx 0 (mod f(x,p, as claimed. If, o the other had, is a quadratic residue modulo p, the f(x mod p has two roots i Z p ad R := Z p [x]/(f(x is isomorphic to the direct product Z p Z p. I this case the Frobeius automorphism acts trivially o R ad we have: i the case ( p = 1 : x p x (mod f(x,p (a x p a x (mod f(x,p Sice gcd(p,b = 1 ad sice x(a x b (mod f(x,p, the elemets x ad a x are uits i R. Therefore we have x p 1 = (a x p 1 = 1 as desired. Defiitio 2. Let a,b Z \ {0}, with = a 2 4b ot a square. A composite iteger, with gcd(2ab, = 1 is called a Lucas pseudoprime with respect to f(x := x 2 ax + b, if U ( 0 (mod The first Lucas pseudoprime with respect to the Fiboacci-polyomial x 2 x 1 is 323 = Gratham proposed a stroger test, the Frobeius test (see [Gra98] ad [Gra01]. The defiitio of the Frobeius pseudoprime is give by Defiitio 3. Let a,b Z \ {0}, with = a 2 4b ot a square. A composite iteger, with gcd(2ab, = 1 is called a Frobeius pseudoprime with respect to f(x := x 2 ax+b, if x a x (mod f(x,, if ( = 1 x (mod f(x,, if ( = 1 Next we show that the Frobeius pseudoprime test is at least as strog as the Lucas pseudoprime test: Theorem 4. Let f(x := x 2 ax + b ad N. If is Frobeius pseudoprime with respect to f(x, the is also Lucas pseudoprime with respect to f(x. Before we ca prove this theorem we eed the followig lemma: 2
3 Lemma 5. Let m, N, f(x,g(x,r(x Z[x]. If f(r(x 0 (mod f(x, ad x m g(x (mod f(x,, the r(x m g(r(x (mod f(x,. Proof. Clearly x m f(xh(x + g(x (mod for h(x Z[x]. Sice x is a variable we also have r(x m f(r(xh(r(x + g(r(x (mod. Because we have f(r(x 0 (mod f(x,, it follows r(x m g(r(x (mod f(x, Now the the proof for Theorem 4 is easy: Proof. Let be Frobeius pseudoprime with respect to f(x, accordig to Defiitio 3. Assume ( = 1. The x x (mod f(x,. Sice gcd(b, = 1, x modulo (f(x, is ivertible ad we have x 1 1 (mod f(x,. Sice f(a x 0 (mod f(x, Lemma 5 implies the cogruece (a x 1 1 (mod f(x,, i.e. (a x (a x (mod f(x,. O the other had, if ( = 1, we get from x a x (mod f(x, ad f(a x 0 (mod f(x, directy by Lemma 5 the cogruece (a x x (mod f(x, as desired. Thus i both cases is Lucas pseudoprime with respect to f(x. The Frobeius property for quadratic polyomials ca be expressed usig the Lucas sequeces (U j ad (V j : Theorem 6. Let a,b N, with = a 2 4b ot a square. A iteger, with gcd(2ab, = 1 is Frobeius pseudoprime with respect to f(x := x 2 ax + b, if ad oly if 2b (mod, if ( U ( 0 (mod ad V ( = 1 2 (mod, if ( (3 = 1 Proof. From the defiitios of the Lucas sequeces (1 oe easily sees, that 2x j V j + (2x au j (mod f(x (4 Assume (3. I the case ( = 1 Eq. (4 implies x +1 b (mod f(x, ad i the case = 1 Eq. (4 gives x 1 1 (mod f(x,. The latter implies x x (mod f(x,, ( ad sice x(a x b (mod f(x, the first leads to x a x (mod f(x,. So is Frobeius pseudoprime. O the other had, if is Frobeius pseudoprime with respect to f(x, we have U ( 0 (mod by Theorem 4. For j = ( Eq. (4 gives ( 2x V ( (mod f(x, Assume ( = 1. The Defiitio 3 gives x +1 (a xx b (mod f(x,, i.e. V +1 2b (mod. Fially assume ( = 1. Sice x is ivertible i Z [x]/(f(x, it follows x 1 1 (mod f(x,, i.e. V 1 2 (mod. 3
4 The first Frobeius pseudoprime with respect to the Fiboacci polyomial x 2 x 1 is 4181, the ieteeth Fiboacci umber, the first with ( 5 = 1 is Thus ot every Lucas pseudoprime is a Frobeius pseudoprime. We coclude that the Frobeius test is more striget tha the Lucas test. 2 Efficiet implemetatio Suppose we wat to apply the Frobeius test o a give umber. Choose a,b N, with = a 2 4b ot a square such that gcd(2ab, = 1. Sice gcd(2, = 1 the umber ( is always eve, say ( = 2m, m N. Followig Williams [Wil98] we defie the followig modified Lucas sequece W j := b j V 2j (mod (5 Sice gcd(b, = 1 the sequece (W j := (W j j 0 is well defied ad starts with W 0 2 (mod ad W 1 a 2 b 1 2 (mod The sequece (W j ca be computed efficietly. I fact, the followig two formulas allow the computatio of the values W 2j ad W 2j+1 from W j ad W j+1 (j 0: W 2j Wj 2 2 (mod W 2j+1 W j W j+1 W 1 (mod Proof. Let δ := x (a x, i.e Also, (1 has the cosequece δ 2 x 2 2b + (a x 2 a 2 4b (mod f(x, (6 V j + δu j = 2x j ad V j δu j = 2(a x j So we have for arbitrary j,k N (V j + δu j (V k + δu k = 4x j+k = 2(V j+k + δu j+k (V j δu j (V k δu k = 4(a x j+k = 2(V j+k δu j+k Addig these equatios yields 2V j+k = V j V k + U j U k (7 Backwards readig of the recurrece relatio leads to b k U k = U k ud b k V k = V k 4
5 Subsitutig this i equatio (7 gives Puttig k = j yields From (7 we get for k = j the idetity Addig the last two equatios leads to Puttig j := 2j the defiitio (5 gives 2b k V j k = V j V k U j U k (8 V 2 j U 2 j = 4b j 2V 2j = V 2 j + U 2 j V 2j = V 2 j 2b j W 2j W 2 j 2 (mod (9 To derive a formula for W 2j+1, subtract equatio (8 from (7 ad get V j+k = V j V k b k V j k Here we take two adjacet eve umbers, i.e. we put j := 2j + 2 ad k := 2j ad get I terms of the W-sequece (5 this is: V 4j+2 = V 2j V 2j+2 b 2j V 2 W 2j+1 W j W j+1 W 1 (mod (10 To compute for a give idex j N the value W j write j i biary, say j = (b 0 b 1... b k 2. Now go through all bits ad compute the sequece of pairs S i = {A,B} (i 0 {A 2 2,AB W 1 } (mod, if b i+1 = 0 S i = {A,B} S i+1 := {AB W 1,B 2 2} (mod, if b i+1 = 1 Iitialisig S 0 := {W 0,W 1 } oe gets with the pair S k exactly the values W j ud W j+1. So the sequece (W j ca be computed i a time Õ (log. The sequece (W j shall ow be used for the Lucas test. Let be Lucas pseudoprime. Let m := ( ( /2. The we get U2m 0 (mod. Puttig j := 2m, k := 2 i formula (7, it follows 2V 2m+2 = V 2m V 2 + U 2m U 2 (11 5
6 Sice gcd(b, = 1 it follows by (5: 2W m+1 W m W 1 + b (m+1 U 2m U 2 (mod Because is Lucas pseudoprime, we get 2W m+1 W m W 1 (mod Sice gcd(ab, = 1 the coverse also holds. To summarize: Theorem 7. Let,a,b,,m ad the sequece (W j defied as above. The is Lucas pseudoprime if ad oly if 2W m+1 W 1 W m (mod Let ow N 3 be a umber, that fullfills the assumptios of Defiitio 3. The the Frobeius test ca be easily implemeted usig the sequece (W j. This sequece ca be used for the Frobeius test, sice from gcd(2, = 1 follows, that ( = 2m is eve. Clearly Theorem 7 ca be used, to test if is Lucas pseudoprime. We eed a cogruece i terms of the sequece (W j, that is equivalet to the fact V ( 2b (mod, if ( = 1 2 (mod, if ( = 1 Let ow be Frobeius pseudoprime ad m = ( ( /2. The from the defiitio of the sequece (W j we get Puttig B := b ( 1/2, it follows To summarize we get the followig theorem: W m 2b ( 1/2 (mod BW m 2 (mod Theorem 8. Let,a,b,,m ad the sequece (W j defied as above. The is Frobeius pseudoprime if ad oly if 2W m+1 B = b ( 1/2. W 1 W m (mod ad BW m 2 (mod, where 6
7 3 The Algorithm We get the followig algorithm: 1 2 Iput : A odd iteger N 3 Output: A boolea value which idicates that is Frobeius-pseudoprime with respect to the polyomial x 2 ax + b choose a,b {1,..., 1} uiformly at radom, such that = a 2 4b ot a square ad gcd(2ab, = 1; W 1 a 2 b 1 2 (mod ; m 1 2 ( ( 3 4 compute Wm,Wm+1 usig equatios (9 ad ( if (W 1 W m 2W m+1 (mod the retur false; ed B b ( 1/2 (mod ; if (BW m 2 (mod the retur true; else retur false; ed Algorithm 1: Frobeius-Test Accordig to [CrPo05] the rutime of the Lucas test is that of two Miller-Rabi tests, i.e. O (log multiplicatios modulo. For the Frobeius test additioally b ( 1/2 must be computed, so the test takes approximately the time of three Miller-Rabi tests, which are agai O (log multiplicatios modulo. Refereces [CrPo05] Richard Cradall, Carl Pomerace, Prime Numbers A Computatioal Perspective, Spriger, [Gra98] Joh Gratham, A probable primetest with high cofidece, Joural of Number Theory 72, 32-47, 1998 [Gra01] Joh Gratham, Frobeius Pseudoprimes, Math.comp. 70, , 2001 [Wil98] Hugh C. Williams, Édouard Lucas ad Primality Testig, Wiley-Itersciece,
Primality Test. Rong-Jaye Chen
Primality Test Rog-Jaye Che OUTLINE [1] Modular Arithmetic Algorithms [2] Quadratic Residues [3] Primality Testig p2. [1] Modular Arithmetic Algorithms 1. The itegers a divides b a b a{ 1, b} If b has
More informationLecture 9: Pseudo-random generators against space bounded computation,
Lecture 9: Pseudo-radom geerators agaist space bouded computatio, Primality Testig Topics i Pseudoradomess ad Complexity (Sprig 2018) Rutgers Uiversity Swastik Kopparty Scribes: Harsha Tirumala, Jiyu Zhag
More informationMath 609/597: Cryptography 1
Math 609/597: Cryptography 1 The Solovay-Strasse Primality Test 12 October, 1993 Burt Roseberg Revised: 6 October, 2000 1 Itroductio We describe the Solovay-Strasse primality test. There is quite a bit
More informationThe Structure of Z p when p is Prime
LECTURE 13 The Structure of Z p whe p is Prime Theorem 131 If p > 1 is a iteger, the the followig properties are equivalet (1) p is prime (2) For ay [0] p i Z p, the equatio X = [1] p has a solutio i Z
More informationRecurrence Relations
Recurrece Relatios Aalysis of recursive algorithms, such as: it factorial (it ) { if (==0) retur ; else retur ( * factorial(-)); } Let t be the umber of multiplicatios eeded to calculate factorial(). The
More informationPrimality tests for specific classes ofn = k 2 m ±1
Primality tests for specific classes ofn k 2 m ±1 Predrag Terzić Bulevar Pera Ćetkovića 19, Podgorica, Moteegro e-mail: pedja.terzic@hotmail.com arxiv:1506.0444v1 [math.nt] 10 Ju 2015 Abstract: Polyomial
More information1. By using truth tables prove that, for all statements P and Q, the statement
Author: Satiago Salazar Problems I: Mathematical Statemets ad Proofs. By usig truth tables prove that, for all statemets P ad Q, the statemet P Q ad its cotrapositive ot Q (ot P) are equivalet. I example.2.3
More informationDIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS
DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS VERNER E. HOGGATT, JR. Sa Jose State Uiversity, Sa Jose, Califoria 95192 ad CALVIN T. LONG Washigto State Uiversity, Pullma, Washigto 99163
More informationYALE UNIVERSITY DEPARTMENT OF COMPUTER SCIENCE
YALE UNIVERSITY DEPARTMENT OF COMPUTER SCIENCE CPSC 467a: Crytograhy ad Comuter Security Notes 16 (rev. 1 Professor M. J. Fischer November 3, 2008 68 Legedre Symbol Lecture Notes 16 ( Let be a odd rime,
More informationExam 2 CMSC 203 Fall 2009 Name SOLUTION KEY Show All Work! 1. (16 points) Circle T if the corresponding statement is True or F if it is False.
1 (1 poits) Circle T if the correspodig statemet is True or F if it is False T F For ay positive iteger,, GCD(, 1) = 1 T F Every positive iteger is either prime or composite T F If a b mod p, the (a/p)
More informationCommutativity in Permutation Groups
Commutativity i Permutatio Groups Richard Wito, PhD Abstract I the group Sym(S) of permutatios o a oempty set S, fixed poits ad trasiet poits are defied Prelimiary results o fixed ad trasiet poits are
More informationON SOME DIOPHANTINE EQUATIONS RELATED TO SQUARE TRIANGULAR AND BALANCING NUMBERS
Joural of Algebra, Number Theory: Advaces ad Applicatios Volume, Number, 00, Pages 7-89 ON SOME DIOPHANTINE EQUATIONS RELATED TO SQUARE TRIANGULAR AND BALANCING NUMBERS OLCAY KARAATLI ad REFİK KESKİN Departmet
More informationCSE 1400 Applied Discrete Mathematics Number Theory and Proofs
CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of
More informationCSI 2101 Discrete Structures Winter Homework Assignment #4 (100 points, weight 5%) Due: Thursday, April 5, at 1:00pm (in lecture)
CSI 101 Discrete Structures Witer 01 Prof. Lucia Moura Uiversity of Ottawa Homework Assigmet #4 (100 poits, weight %) Due: Thursday, April, at 1:00pm (i lecture) Program verificatio, Recurrece Relatios
More informationIn number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play.
Number Theory Math 5840 otes. Sectio 1: Axioms. I umber theory we will geerally be workig with itegers, though occasioally fractios ad irratioals will come ito play. Notatio: Z deotes the set of all itegers
More informationChapter 2. Periodic points of toral. automorphisms. 2.1 General introduction
Chapter 2 Periodic poits of toral automorphisms 2.1 Geeral itroductio The automorphisms of the two-dimesioal torus are rich mathematical objects possessig iterestig geometric, algebraic, topological ad
More informationRecursive Algorithms. Recurrences. Recursive Algorithms Analysis
Recursive Algorithms Recurreces Computer Sciece & Egieerig 35: Discrete Mathematics Christopher M Bourke cbourke@cseuledu A recursive algorithm is oe i which objects are defied i terms of other objects
More informationQuantum Computing Lecture 7. Quantum Factoring
Quatum Computig Lecture 7 Quatum Factorig Maris Ozols Quatum factorig A polyomial time quatum algorithm for factorig umbers was published by Peter Shor i 1994. Polyomial time meas that the umber of gates
More information6 Integers Modulo n. integer k can be written as k = qn + r, with q,r, 0 r b. So any integer.
6 Itegers Modulo I Example 2.3(e), we have defied the cogruece of two itegers a,b with respect to a modulus. Let us recall that a b (mod ) meas a b. We have proved that cogruece is a equivalece relatio
More informationModern Algebra. Previous year Questions from 2017 to Ramanasri
Moder Algebra Previous year Questios from 017 to 199 Ramaasri 017 S H O P NO- 4, 1 S T F L O O R, N E A R R A P I D F L O U R M I L L S, O L D R A J E N D E R N A G A R, N E W D E L H I. W E B S I T E
More informationSOLVED EXAMPLES
Prelimiaries Chapter PELIMINAIES Cocept of Divisibility: A o-zero iteger t is said to be a divisor of a iteger s if there is a iteger u such that s tu I this case we write t s (i) 6 as ca be writte as
More informationFactoring Algorithms and Other Attacks on the RSA 1/12
Factorig Algorithms ad Other Attacks o the RSA T-79550 Cryptology Lecture 8 April 8, 008 Kaisa Nyberg Factorig Algorithms ad Other Attacks o the RSA / The Pollard p Algorithm Let B be a positive iteger
More information1 Last time: similar and diagonalizable matrices
Last time: similar ad diagoalizable matrices Let be a positive iteger Suppose A is a matrix, v R, ad λ R Recall that v a eigevector for A with eigevalue λ if v ad Av λv, or equivaletly if v is a ozero
More informationLECTURE NOTES, 11/10/04
18.700 LECTURE NOTES, 11/10/04 Cotets 1. Direct sum decompositios 1 2. Geeralized eigespaces 3 3. The Chiese remaider theorem 5 4. Liear idepedece of geeralized eigespaces 8 1. Direct sum decompositios
More informationOptimally Sparse SVMs
A. Proof of Lemma 3. We here prove a lower boud o the umber of support vectors to achieve geeralizatio bouds of the form which we cosider. Importatly, this result holds ot oly for liear classifiers, but
More informationA Simplified Binet Formula for k-generalized Fibonacci Numbers
A Simplified Biet Formula for k-geeralized Fiboacci Numbers Gregory P. B. Dresde Departmet of Mathematics Washigto ad Lee Uiversity Lexigto, VA 440 dresdeg@wlu.edu Zhaohui Du Shaghai, Chia zhao.hui.du@gmail.com
More informationSolutions to Problem Set 8
8.78 Solutios to Problem Set 8. We ow that ( ) ( + x) x. Now we plug i x, ω, ω ad add the three equatios. If 3 the we ll get a cotributio of + ω + ω + ω + ω 0, whereas if 3 we ll get a cotributio of +
More informationPERIODS OF FIBONACCI SEQUENCES MODULO m. 1. Preliminaries Definition 1. A generalized Fibonacci sequence is an infinite complex sequence (g n ) n Z
PERIODS OF FIBONACCI SEQUENCES MODULO m ARUDRA BURRA Abstract. We show that the Fiboacci sequece modulo m eriodic for all m, ad study the eriod i terms of the modulus.. Prelimiaries Defiitio. A geeralized
More informationNICK DUFRESNE. 1 1 p(x). To determine some formulas for the generating function of the Schröder numbers, r(x) = a(x) =
AN INTRODUCTION TO SCHRÖDER AND UNKNOWN NUMBERS NICK DUFRESNE Abstract. I this article we will itroduce two types of lattice paths, Schröder paths ad Ukow paths. We will examie differet properties of each,
More informationA LIMITED ARITHMETIC ON SIMPLE CONTINUED FRACTIONS - II 1. INTRODUCTION
A LIMITED ARITHMETIC ON SIMPLE CONTINUED FRACTIONS - II C. T. LONG J. H. JORDAN* Washigto State Uiversity, Pullma, Washigto 1. INTRODUCTION I the first paper [2 ] i this series, we developed certai properties
More informationSOME TRIBONACCI IDENTITIES
Mathematics Today Vol.7(Dec-011) 1-9 ISSN 0976-38 Abstract: SOME TRIBONACCI IDENTITIES Shah Devbhadra V. Sir P.T.Sarvajaik College of Sciece, Athwalies, Surat 395001. e-mail : drdvshah@yahoo.com The sequece
More informationSolutions to Math 347 Practice Problems for the final
Solutios to Math 347 Practice Problems for the fial 1) True or False: a) There exist itegers x,y such that 50x + 76y = 6. True: the gcd of 50 ad 76 is, ad 6 is a multiple of. b) The ifiimum of a set is
More informationACO Comprehensive Exam 9 October 2007 Student code A. 1. Graph Theory
1. Graph Theory Prove that there exist o simple plaar triagulatio T ad two distict adjacet vertices x, y V (T ) such that x ad y are the oly vertices of T of odd degree. Do ot use the Four-Color Theorem.
More informationSequences of Definite Integrals, Factorials and Double Factorials
47 6 Joural of Iteger Sequeces, Vol. 8 (5), Article 5.4.6 Sequeces of Defiite Itegrals, Factorials ad Double Factorials Thierry Daa-Picard Departmet of Applied Mathematics Jerusalem College of Techology
More information11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4.
11. FINITE FIELDS 11.1. A Field With 4 Elemets Probably the oly fiite fields which you ll kow about at this stage are the fields of itegers modulo a prime p, deoted by Z p. But there are others. Now although
More informationBasic Sets. MTH299 - Examples. Example 1. Let S = {1, {2, 3}, 4}. Indicate whether each statement is true or false. (a) S = 4
Basic Sets Example 1. Let S = {1, {, 3}, 4}. Idicate whether each statemet is true or false. (a) S = 4 False. Note that the elemets of S are 1, the set {, 3}, ad 4. Thus S = 3. (b) {1} S False. While 1
More informationLecture 14: Randomized Computation (cont.)
CSE 200 Computability ad Complexity Wedesday, May 15, 2013 Lecture 14: Radomized Computatio (cot.) Istructor: Professor Shachar Lovett Scribe: Dogcai She 1 Radmized Algorithm Examples 1.1 The k-th Elemet
More informationw (1) ˆx w (1) x (1) /ρ and w (2) ˆx w (2) x (2) /ρ.
2 5. Weighted umber of late jobs 5.1. Release dates ad due dates: maximimizig the weight of o-time jobs Oce we add release dates, miimizig the umber of late jobs becomes a sigificatly harder problem. For
More informationSequences and Series of Functions
Chapter 6 Sequeces ad Series of Fuctios 6.1. Covergece of a Sequece of Fuctios Poitwise Covergece. Defiitio 6.1. Let, for each N, fuctio f : A R be defied. If, for each x A, the sequece (f (x)) coverges
More informationInverse Matrix. A meaning that matrix B is an inverse of matrix A.
Iverse Matrix Two square matrices A ad B of dimesios are called iverses to oe aother if the followig holds, AB BA I (11) The otio is dual but we ofte write 1 B A meaig that matrix B is a iverse of matrix
More informationSome p-adic congruences for p q -Catalan numbers
Some p-adic cogrueces for p q -Catala umbers Floria Luca Istituto de Matemáticas Uiversidad Nacioal Autóoma de México C.P. 58089, Morelia, Michoacá, México fluca@matmor.uam.mx Paul Thomas Youg Departmet
More informationLast time, we talked about how Equation (1) can simulate Equation (2). We asserted that Equation (2) can also simulate Equation (1).
6896 Quatum Complexity Theory Sept 23, 2008 Lecturer: Scott Aaroso Lecture 6 Last Time: Quatum Error-Correctio Quatum Query Model Deutsch-Jozsa Algorithm (Computes x y i oe query) Today: Berstei-Vazirii
More informationLemma Let f(x) K[x] be a separable polynomial of degree n. Then the Galois group is a subgroup of S n, the permutations of the roots.
15 Cubics, Quartics ad Polygos It is iterestig to chase through the argumets of 14 ad see how this affects solvig polyomial equatios i specific examples We make a global assumptio that the characteristic
More informationTrial division, Pollard s p 1, Pollard s ρ, and Fermat s method. Christopher Koch 1. April 8, 2014
Iteger Divisio Algorithm ad Cogruece Iteger Trial divisio,,, ad with itegers mod Iverses mod Multiplicatio ad GCD Iteger Christopher Koch 1 1 Departmet of Computer Sciece ad Egieerig CSE489/589 Algorithms
More informationTHE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS
THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS DEMETRES CHRISTOFIDES Abstract. Cosider a ivertible matrix over some field. The Gauss-Jorda elimiatio reduces this matrix to the idetity
More informationTest One (Answer Key)
CS395/Ma395 (Sprig 2005) Test Oe Name: Page 1 Test Oe (Aswer Key) CS395/Ma395: Aalysis of Algorithms This is a closed book, closed otes, 70 miute examiatio. It is worth 100 poits. There are twelve (12)
More informationUniversal Subsets of Z n, Linear Integer Optimization, and Integer Factorization
DIMACS Techical Report 005-9 Jauary 006 Uiversal Subsets of Z, Liear Iteger Optimizatio, ad Iteger Factorizatio by Zhivko Nedev 1 1 Uiv. of Victoria, zedev@math.uvic.ca. Part of the work was doe while
More informationSome identities involving Fibonacci, Lucas polynomials and their applications
Bull. Math. Soc. Sci. Math. Roumaie Tome 55103 No. 1, 2012, 95 103 Some idetities ivolvig Fiboacci, Lucas polyomials ad their applicatios by Wag Tigtig ad Zhag Wepeg Abstract The mai purpose of this paper
More informationFermat s Little Theorem. mod 13 = 0, = }{{} mod 13 = 0. = a a a }{{} mod 13 = a 12 mod 13 = 1, mod 13 = a 13 mod 13 = a.
Departmet of Mathematical Scieces Istructor: Daiva Puciskaite Discrete Mathematics Fermat s Little Theorem 43.. For all a Z 3, calculate a 2 ad a 3. Case a = 0. 0 0 2-times Case a 0. 0 0 3-times a a 2-times
More informationBasic Sets. Functions. MTH299 - Examples. Example 1. Let S = {1, {2, 3}, 4}. Indicate whether each statement is true or false. (a) S = 4. (e) 2 S.
Basic Sets Example 1. Let S = {1, {2, 3}, 4}. Idicate whether each statemet is true or false. (a) S = 4 (b) {1} S (c) {2, 3} S (d) {1, 4} S (e) 2 S. (f) S = {1, 4, {2, 3}} (g) S Example 2. Compute the
More informationSequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence
Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece 1, 1, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet
More informationSeunghee Ye Ma 8: Week 5 Oct 28
Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value
More informationPell and Lucas primes
Notes o Number Theory ad Discrete Mathematics ISSN 30 532 Vol. 2, 205, No. 3, 64 69 Pell ad Lucas primes J. V. Leyedekkers ad A. G. Shao 2 Faculty of Sciece, The Uiversity of Sydey NSW 2006, Australia
More informationIt is often useful to approximate complicated functions using simpler ones. We consider the task of approximating a function by a polynomial.
Taylor Polyomials ad Taylor Series It is ofte useful to approximate complicated fuctios usig simpler oes We cosider the task of approximatig a fuctio by a polyomial If f is at least -times differetiable
More informationExact Horadam Numbers with a Chebyshevish Accent by Clifford A. Reiter
Exact Horadam Numbers with a Chebyshevish Accet by Clifford A. Reiter (reiterc@lafayette.edu) A recet paper by Joseph De Kerf illustrated the use of Biet type formulas for computig Horadam umbers [1].
More informationProof of Goldbach s Conjecture. Reza Javaherdashti
Proof of Goldbach s Cojecture Reza Javaherdashti farzijavaherdashti@gmail.com Abstract After certai subsets of Natural umbers called Rage ad Row are defied, we assume (1) there is a fuctio that ca produce
More information1 Generating functions for balls in boxes
Math 566 Fall 05 Some otes o geeratig fuctios Give a sequece a 0, a, a,..., a,..., a geeratig fuctio some way of represetig the sequece as a fuctio. There are may ways to do this, with the most commo ways
More informationPAijpam.eu ON DERIVATION OF RATIONAL SOLUTIONS OF BABBAGE S FUNCTIONAL EQUATION
Iteratioal Joural of Pure ad Applied Mathematics Volume 94 No. 204, 9-20 ISSN: 3-8080 (prited versio); ISSN: 34-3395 (o-lie versio) url: http://www.ijpam.eu doi: http://dx.doi.org/0.2732/ijpam.v94i.2 PAijpam.eu
More informationGENERALIZATIONS OF ZECKENDORFS THEOREM. TilVIOTHY J. KELLER Student, Harvey Mudd College, Claremont, California
GENERALIZATIONS OF ZECKENDORFS THEOREM TilVIOTHY J. KELLER Studet, Harvey Mudd College, Claremot, Califoria 91711 The Fiboacci umbers F are defied by the recurrece relatio Fi = F 2 = 1, F = F - + F 0 (
More informationMATH 304: MIDTERM EXAM SOLUTIONS
MATH 304: MIDTERM EXAM SOLUTIONS [The problems are each worth five poits, except for problem 8, which is worth 8 poits. Thus there are 43 possible poits.] 1. Use the Euclidea algorithm to fid the greatest
More informationLecture 4. We also define the set of possible values for the random walk as the set of all x R d such that P(S n = x) > 0 for some n.
Radom Walks ad Browia Motio Tel Aviv Uiversity Sprig 20 Lecture date: Mar 2, 20 Lecture 4 Istructor: Ro Peled Scribe: Lira Rotem This lecture deals primarily with recurrece for geeral radom walks. We preset
More informationPolynomial identity testing and global minimum cut
CHAPTER 6 Polyomial idetity testig ad global miimum cut I this lecture we will cosider two further problems that ca be solved usig probabilistic algorithms. I the first half, we will cosider the problem
More informationGenerating Functions. 1 Operations on generating functions
Geeratig Fuctios The geeratig fuctio for a sequece a 0, a,..., a,... is defied to be the power series fx a x. 0 We say that a 0, a,... is the sequece geerated by fx ad a is the coefficiet of x. Example
More informationROTATION-EQUIVALENCE CLASSES OF BINARY VECTORS. 1. Introduction
t m Mathematical Publicatios DOI: 10.1515/tmmp-2016-0033 Tatra Mt. Math. Publ. 67 (2016, 93 98 ROTATION-EQUIVALENCE CLASSES OF BINARY VECTORS Otokar Grošek Viliam Hromada ABSTRACT. I this paper we study
More informationProof of Fermat s Last Theorem by Algebra Identities and Linear Algebra
Proof of Fermat s Last Theorem by Algebra Idetities ad Liear Algebra Javad Babaee Ragai Youg Researchers ad Elite Club, Qaemshahr Brach, Islamic Azad Uiversity, Qaemshahr, Ira Departmet of Civil Egieerig,
More informationREGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS
REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS LIVIU I. NICOLAESCU ABSTRACT. We ivestigate the geeralized covergece ad sums of series of the form P at P (x, where P R[x], a R,, ad T : R[x] R[x]
More informationMDIV. Multiple divisor functions
MDIV. Multiple divisor fuctios The fuctios τ k For k, defie τ k ( to be the umber of (ordered factorisatios of ito k factors, i other words, the umber of ordered k-tuples (j, j 2,..., j k with j j 2...
More information(6), (7) and (8) we have easily, if the C's are cancellable elements of S,
VIOL. 23, 1937 MA THEMA TICS: H. S. VANDIVER 555 where the a's belog to S'. The R is said to be a repetitive set i S, with respect to S', ad with multiplier M. If S cotais a idetity E, the if we set a,
More informationSquare-Congruence Modulo n
Square-Cogruece Modulo Abstract This paper is a ivestigatio of a equivalece relatio o the itegers that was itroduced as a exercise i our Discrete Math class. Part I - Itro Defiitio Two itegers are Square-Cogruet
More informationSequences, Mathematical Induction, and Recursion. CSE 2353 Discrete Computational Structures Spring 2018
CSE 353 Discrete Computatioal Structures Sprig 08 Sequeces, Mathematical Iductio, ad Recursio (Chapter 5, Epp) Note: some course slides adopted from publisher-provided material Overview May mathematical
More informationInternational Baccalaureate LECTURE NOTES MATHEMATICS HL FURTHER MATHEMATICS HL Christos Nikolaidis TOPIC NUMBER THEORY
Iteratioal Baccalaureate LECTURE NOTES MATHEMATICS HL FURTHER MATHEMATICS HL TOPIC NUMBER THEORY METHODS OF PROOF. Couterexample - Cotradictio - Pigeohole Priciple Strog mathematical iductio 2 DIVISIBILITY....
More informationDirichlet s Theorem on Arithmetic Progressions
Dirichlet s Theorem o Arithmetic Progressios Athoy Várilly Harvard Uiversity, Cambridge, MA 0238 Itroductio Dirichlet s theorem o arithmetic progressios is a gem of umber theory. A great part of its beauty
More information+ au n+1 + bu n = 0.)
Lecture 6 Recurreces - kth order: u +k + a u +k +... a k u k 0 where a... a k are give costats, u 0... u k are startig coditios. (Simple case: u + au + + bu 0.) How to solve explicitly - first, write characteristic
More informationMa 4121: Introduction to Lebesgue Integration Solutions to Homework Assignment 5
Ma 42: Itroductio to Lebesgue Itegratio Solutios to Homework Assigmet 5 Prof. Wickerhauser Due Thursday, April th, 23 Please retur your solutios to the istructor by the ed of class o the due date. You
More informationCourse : Algebraic Combinatorics
Course 8.32: Algebraic Combiatorics Lecture Notes # Addedum by Gregg Musier February 4th - 6th, 2009 Recurrece Relatios ad Geeratig Fuctios Give a ifiite sequece of umbers, a geeratig fuctio is a compact
More informationRandom Models. Tusheng Zhang. February 14, 2013
Radom Models Tusheg Zhag February 14, 013 1 Radom Walks Let me describe the model. Radom walks are used to describe the motio of a movig particle (object). Suppose that a particle (object) moves alog the
More informationThe picture in figure 1.1 helps us to see that the area represents the distance traveled. Figure 1: Area represents distance travelled
1 Lecture : Area Area ad distace traveled Approximatig area by rectagles Summatio The area uder a parabola 1.1 Area ad distace Suppose we have the followig iformatio about the velocity of a particle, how
More informationA GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca
Idia J Pure Appl Math 45): 75-89 February 204 c Idia Natioal Sciece Academy A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS Mircea Merca Departmet of Mathematics Uiversity
More informationCOMPLEX FACTORIZATIONS OF THE GENERALIZED FIBONACCI SEQUENCES {q n } Sang Pyo Jun
Korea J. Math. 23 2015) No. 3 pp. 371 377 http://dx.doi.org/10.11568/kjm.2015.23.3.371 COMPLEX FACTORIZATIONS OF THE GENERALIZED FIBONACCI SEQUENCES {q } Sag Pyo Ju Abstract. I this ote we cosider a geeralized
More informationPROBLEM SET 5 SOLUTIONS. Solution. We prove that the given congruence equation has no solutions. Suppose for contradiction that. (x 2) 2 1 (mod 7).
PROBLEM SET 5 SOLUTIONS 1 Fid every iteger solutio to x 17x 5 0 mod 45 Solutio We rove that the give cogruece equatio has o solutios Suose for cotradictio that the equatio x 17x 5 0 mod 45 has a solutio
More informationCALCULATION OF FIBONACCI VECTORS
CALCULATION OF FIBONACCI VECTORS Stuart D. Aderso Departmet of Physics, Ithaca College 953 Daby Road, Ithaca NY 14850, USA email: saderso@ithaca.edu ad Dai Novak Departmet of Mathematics, Ithaca College
More informationMathematics 116 HWK 21 Solutions 8.2 p580
Mathematics 6 HWK Solutios 8. p580 A abbreviatio: iff is a abbreviatio for if ad oly if. Geometric Series: Several of these problems use what we worked out i class cocerig the geometric series, which I
More informationA Study on Some Integer Sequences
It. J. Cotemp. Math. Scieces, Vol. 3, 008, o. 3, 03-09 A Study o Some Iteger Sequeces Serpil Halıcı Sakarya Uiversity, Departmet of Mathematics Esetepe Campus, Sakarya, Turkey shalici@sakarya.edu.tr Abstract.
More informationSeed and Sieve of Odd Composite Numbers with Applications in Factorization of Integers
IOSR Joural of Mathematics (IOSR-JM) e-issn: 78-578, p-issn: 319-75X. Volume 1, Issue 5 Ver. VIII (Sep. - Oct.01), PP 01-07 www.iosrjourals.org Seed ad Sieve of Odd Composite Numbers with Applicatios i
More informationAccepted in Fibonacci Quarterly (2007) Archived in SEQUENCE BALANCING AND COBALANCING NUMBERS
Accepted i Fiboacci Quarterly (007) Archived i http://dspace.itrl.ac.i/dspace SEQUENCE BALANCING AND COBALANCING NUMBERS G. K. Pada Departmet of Mathematics Natioal Istitute of Techology Rourela 769 008
More informationThe multiplicative structure of finite field and a construction of LRC
IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio
More informationAn Account of Congruences Mod p k Using Halley s Method
World Applied Scieces Joural 16 (11): 166-160, 01 ISSN 1818-49 IDOSI Pulicatios, 01 A Accout of Cogrueces Mod p Usig Halley s Method M. Khalid Mahmood ad M. Aslam Mali Departmet of Mathematics, Uiversity
More informationOn Generalized Fibonacci Numbers
Applied Mathematical Scieces, Vol. 9, 215, o. 73, 3611-3622 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/1.12988/ams.215.5299 O Geeralized Fiboacci Numbers Jerico B. Bacai ad Julius Fergy T. Rabago Departmet
More informationMATH 112: HOMEWORK 6 SOLUTIONS. Problem 1: Rudin, Chapter 3, Problem s k < s k < 2 + s k+1
MATH 2: HOMEWORK 6 SOLUTIONS CA PRO JIRADILOK Problem. If s = 2, ad Problem : Rudi, Chapter 3, Problem 3. s + = 2 + s ( =, 2, 3,... ), prove that {s } coverges, ad that s < 2 for =, 2, 3,.... Proof. The
More informationPolynomial Multiplication and Fast Fourier Transform
Polyomial Multiplicatio ad Fast Fourier Trasform Com S 477/577 Notes Ya-Bi Jia Sep 19, 2017 I this lecture we will describe the famous algorithm of fast Fourier trasform FFT, which has revolutioized digital
More informationConvergence of random variables. (telegram style notes) P.J.C. Spreij
Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space
More information1 lim. f(x) sin(nx)dx = 0. n sin(nx)dx
Problem A. Calculate ta(.) to 4 decimal places. Solutio: The power series for si(x)/ cos(x) is x + x 3 /3 + (2/5)x 5 +. Puttig x =. gives ta(.) =.3. Problem 2A. Let f : R R be a cotiuous fuctio. Show that
More information#A51 INTEGERS 14 (2014) MULTI-POLY-BERNOULLI-STAR NUMBERS AND FINITE MULTIPLE ZETA-STAR VALUES
#A5 INTEGERS 4 (24) MULTI-POLY-BERNOULLI-STAR NUMBERS AND FINITE MULTIPLE ZETA-STAR VALUES Kohtaro Imatomi Graduate School of Mathematics, Kyushu Uiversity, Nishi-ku, Fukuoka, Japa k-imatomi@math.kyushu-u.ac.p
More informationHomework 9. (n + 1)! = 1 1
. Chapter : Questio 8 If N, the Homewor 9 Proof. We will prove this by usig iductio o. 2! + 2 3! + 3 4! + + +! +!. Base step: Whe the left had side is. Whe the right had side is 2! 2 +! 2 which proves
More informationON WELLPOSEDNESS QUADRATIC FUNCTION MINIMIZATION PROBLEM ON INTERSECTION OF TWO ELLIPSOIDS * M. JA]IMOVI], I. KRNI] 1.
Yugoslav Joural of Operatios Research 1 (00), Number 1, 49-60 ON WELLPOSEDNESS QUADRATIC FUNCTION MINIMIZATION PROBLEM ON INTERSECTION OF TWO ELLIPSOIDS M. JA]IMOVI], I. KRNI] Departmet of Mathematics
More informationEDGE AND SECANT IDEALS OF SHARED-VERTEX GRAPHS
EDGE AND SECANT IDEALS OF SHARED-VERTEX GRAPHS ZVI ROSEN Abstract. We examie miimal free resolutios ad Betti diagrams of the edge ad secat ideals of oe family of graphs. We demostrate how splittig the
More informationMath 25 Solutions to practice problems
Math 5: Advaced Calculus UC Davis, Sprig 0 Math 5 Solutios to practice problems Questio For = 0,,, 3,... ad 0 k defie umbers C k C k =! k!( k)! (for k = 0 ad k = we defie C 0 = C = ). by = ( )... ( k +
More informationChapter 3. Strong convergence. 3.1 Definition of almost sure convergence
Chapter 3 Strog covergece As poited out i the Chapter 2, there are multiple ways to defie the otio of covergece of a sequece of radom variables. That chapter defied covergece i probability, covergece i
More informationAN ALMOST LINEAR RECURRENCE. Donald E. Knuth Calif. Institute of Technology, Pasadena, Calif.
AN ALMOST LINEAR RECURRENCE Doald E. Kuth Calif. Istitute of Techology, Pasadea, Calif. form A geeral liear recurrece with costat coefficiets has the U 0 = a l* U l = a 2 " ' " U r - l = a r ; u = b, u,
More informationOn Some Properties of Digital Roots
Advaces i Pure Mathematics, 04, 4, 95-30 Published Olie Jue 04 i SciRes. http://www.scirp.org/joural/apm http://dx.doi.org/0.436/apm.04.46039 O Some Properties of Digital Roots Ilha M. Izmirli Departmet
More information