Universal Subsets of Z n, Linear Integer Optimization, and Integer Factorization
|
|
- Corey Patrick
- 5 years ago
- Views:
Transcription
1 DIMACS Techical Report 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 visitig DIMACS. DIMACS is a collaborative project of Rutgers Uiversity, Priceto Uiversity, AT&T Labs Research, Bell Labs, NEC Laboratories America ad Telcordia Techologies, as well as affiliate members Avaya Labs, HP Labs, IBM Research, Microsoft Research, Steves Istitute of Techology, Georgia Istitute of Techology ad Resselaer Polytechic Istitute. DIMACS was fouded as a NSF Sciece ad Techology Ceter.
2 ABSTRACT We cosider two classes of sets i Z. A o-empty subset U of Z is uiversal (the first class) if for all x U, ad for all 0 < l / at least oe of x ± l (mod ) lies i U. For each uiversal U its complemet, Z \U, is from the secod class ad vice versa. We defie β() to be the miimum cardiality of a uiversal set modulo. Completely characterizig all sets i the secod class we derive a formula for β(). We demostrate that uiversal sets arise i the cotext of a two-player game that was aalyzed for the first time i [3] ad has iterestig coectios to the prime factorizatio of. Fially we model our optimizatio problem, fid β(), as a iteger liear program.
3 1 Itroductio I this paper we prove equivalece betwee a well kow problem iteger factorizatio ad two ew optimizatio problems. Oe of them has as a domai subsets of Z with special properties. The other oe is a liear iteger optimizatio problem. We also show a coectio betwee these problems ad a two-player game for the first time aalyzed i [3]. For a stadard expositio of the properties of Z ad the iteger factorizatio problem see [5]. For classical algorithms for iteger factorizatio see [1] ad []. The success of RSA cryptographic algorithm [6] is based o the assumptio that it is hard to factor a arbitrary iteger. For a more recet approach towards factorig large itegers see [8]. A stadard text o Liear Iteger Optimizatio is [7]. The iput parameter to all problems cosidered i this paper is a positive iteger > 1. As usual we deote by Z the set {0, 1,,..., 1} with its two operatios: additio ad subtractio modulo. We will be iterested i two special classes of subsets i Z. Defiitio. A oempty subset of {0,..., 1} will be called uiversal modulo if for each elemet x ad for each (iteger) magitude l, with 0 < l /, there is a directio d { 1, +1} such that x + d l (mod ) is also from the set. Trivial examples of uiversal subsets of Z are: Z for every, ad Z \{i} for i Z whe is odd. Notice that ay uiversal set has at least 1 + elemets. Problem 1. For a iteger > 1, what is the size of a smallest uiversal set modulo? How ca such a set be costructed? We defie β() to be the miimal size of a uiversal set modulo. Defiitio. A proper subset of {0,..., 1} will be called middle-iclusive modulo if it is closed uder takig midpoits. That is M Z is middle-iclusive if for all (ot ecessarily distict) a, b M, each solutio to the equatio x = a + b (mod ) is also from M. Notice that whe a = b, the above equatio x = a + b (mod ) has a o-trivial solutio (exactly oe ) oly whe is eve. I this case the o-trivial solutio is a + /. Whe a, b are distict the equatio x = a + b (mod ) has zero, oe or two solutios: if is odd exactly oe solutio; whe is eve, either zero, or two solutios. Trivial examples of middle-iclusive sets are:, ad {i} for i, if is odd. Lemma 1.1. For ay iteger > 1, S is uiversal set modulo if ad oly if Z \S is middle-iclusive set modulo. Proof. ( ) Let S be ay uiversal subset of Z. Let S = Z \S. Obviously S <. Suppose a, b S, x / S ad x = a + b mod. Take the smaller of x a (mod ) ad x + a (mod ), say x a (mod ) /. From the defiitio of uiversal set (it follows that) at least oe of x (x a) (mod ) = a or x + (x a) = x a (mod ) = b is i S, which is a cotradictio. Therefore S is a middle-iclusive subset of Z. ( ) Now let S be ay middle-iclusive subset of Z. Let S = Z \S. Obviously S 1. Let x ad l be such that x S, 0 < l /, ad both x ± l (mod ) S. The
4 x = (x + l) + (x l) (mod ). From the defiitio of middle-iclusive subset it follows that x should be i S, which is a cotradictio. Therefore S is uiversal. Corollary 1. For ay > 1, β(), the miimal size of a uiversal set modulo, equals mius the maximal size of a middle-iclusive set modulo, i.e. β() = max M, where M rus over all middle-iclusive sets modulo. Formula for β() Theorem.1. For all Z + if = k for some k. β() = p 1 p where p is the smallest odd prime factor of. We will prove the above theorem by completely characterizig for ay Z + all middleiclusive subsets of Z with at least oe elemet. Defiitio. Let d ad r be itegers, with d, d > 0, ad 0 r < d. We will deote by C (r, d) the subset of Z that is the arithmetic progressio startig at r ad havig a commo differece d. That is C (r, d) = { r + i d 0 i < d }. It is coveiet to have the followig descriptio. Suppose we have a roud table with positios labeled as 0, 1,..., 1 i a clockwise maer. If i, j Z are two such positios, the we deote with d + (i, j) the umber of positios that have to be passed if we travel aroud the table clockwise from positio i to positio j. Obviously if i < j the d + (i, j) = j i, ad d + (j, i) = j + i. The followig lemma characterizes all middle-iclusive subsets of Z. Lemma.. Let > 1. If d > 1 is a odd divisor of, the C (r, d) is a middle-iclusive subset of Z for ay r. Coversely if M is a o-empty middle-iclusive subset of Z, the there are itegers r ad d with: d odd, d > 1, d, ad 0 r < d such that M = C (r, d). Proof. ( ) Let d be odd, d > 1, ad d. Let also r satisfy 0 r < d. Let S = C (r, d). Sice d > 1 we have that S <. Let a ad b be (ot ecessarily distict) from S ad let x be ay solutio to the equatio x = a + b (mod ). The a = r + i d, b = r + j d, ad x = r + (i + j)d (mod ). Therefore x is either r + i+j d (mod ) or r + +i+j d (mod ). I either case x S ad it follows that S is middle-iclusive. ( ) Let M be ay o-empty middle-iclusive subset of Z. We cosider two cases: M = 1 ad M. Case 1: M = 1. Let M = {r}. The must be odd, otherwise M would have at least two elemets: r ad r + /. So the coditios of the lemma hold. 3
5 Case : M. Let the elemets of M be sorted i icreasig order: M = {0 i 1 < i < i 3 <... < i l 1}. By defiitio M <, so l <. Take ay three cosecutive elemets of M, for example: i j 1, i j, i j+1. Here the idex arithmetic is doe modulo l, which for example meas that i l 1, i l, i 1 are three cosecutive elemets of M. If d + (i j 1, i j ) is eve the i j 1 + d +(i j 1,i j ) (mod ) Z, but it is ot i M. This is a cotradictio because M is middle-iclusive. It follows that d + (i j 1, i j ) must be odd for all j. But the d + (i j 1, i j+1 ) = d + (i j 1, i j )+d + (i j, i j+1 ) must be eve. If d + (i j 1, i j ) d + (i j, i j+1 ), the the middle poit from i j 1 to i j+1 is from Z ad is differet from i j. It should be the i M but it is ot, a cotradictio. Therefore d + (i j 1, i j ) = d + (i j, i j+1 ) for all j. It follows that d + (i j 1, i j ) = d + (i k 1, i k ) all j, k. Let d be the commo value (which is odd as oted above) for d + (i j 1, i j ). It follows that M = {i 1, i,..., i l } = {i 1, i 1 + d, i 1 + d,..., i 1 + ( 1) d}. d Proof of Theorem.1 Case 1: = k for some k > 0. Suppose there exists a o-empty middle-iclusive subset M of Z. From the characterizatio lemma there exists a odd d, with d > 1 ad d, which is a cotradictio. Therefore the oly possible middle-ilcusive subset of Z is the empty oe. It follows the that the oly possible uiversal subset is S = Z. Thus β( = k ) =. Case : = d 1 f, where d 1 is odd ad d 1 3. Sice from the characterizatio lemma all o-empty middle-iclusive subsets M are of the form C (r, d), where d is odd ad d > 1 we wat to fid the largest such subset. Obviously C (r, p) where p is the smallest odd prime factor of has the biggest cardiality. Notice that C (r, p) = p irrespective of r, 0 r < p. Therefore β() = C (r, p) or β() = p = p 1 p, whe k. Observatio Obviously, if we agree that fidig the smallest odd prime factor of a iteger ad iteger factorizatio are equivalet problems, the we wat to compute β(). This is because kowig p, the smallest prime odd factor of, we ca fid β() = p 1 ad vice versa. p 3 Coectio with the Nagger-Mover game Here we establish a coectio betwee the uiversal subsets of Z ad the followig twoplayer game that was first aalyzed i [3] (where it was called The Nagger-Mover game). The game is played at a circular table with seats cosecutively labelled 0 to 1. The two 4
6 players are called the Nagger ad the Mover. If the curret positio is i, a roud cosists of the Nagger callig a magitude l with 0 < l /, after which the Mover calls a directio (+ or ). The positio is the updated to i + l mod or i l mod accordig to whether the Mover called + or. Nagger s aim i the game is to maximize the cardiality of the set of all positios occupied i the course of the game (while Mover s is to miimize it). I [3], a simple formula was give (i terms of the prime factorizatio of ) for the size of such a set (the fuctio f () was used for the size) if both players play optimally. Here we give a simpler proof tha the oe give i [3], for the formula for the fuctio f () (we will prove f () = β()). We claim that β() is precisely the evetual size of the occupied set if both players play optimally. To see this, first let U be ay uiversal set that cotais the curret positio. Cosider the followig strategy for the Mover. At each tur whe preseted with a pair (x, l) cosistig of the curret positio x ad the magitude l selected by the Nagger, the Mover chooses a directio so that the ext positio is also from U. This is always possible, because U is uiversal ad at least oe of x ± l (mod ) is i U. Sice ay uiversal set may be traslated to cotai the iitial positio, the Mover has a strategy to esure that o more tha β() positios are occupied, irrespective of Nagger s strategy. Coversely, cosider the followig strategy for the Nagger. At each tur he is preseted oly with the curret positio x. The strategy for the Nagger is to choose (if possible) such a l that both x±l (mod ) have ot bee visited yet. If such a l does ot exist the he chooses l sequetially to be 1,,...,, 1,,...,,.... We cosider the set S of positios that arise ifiitely ofte i the sequece of plays. Sice there are fiitely may positios, the set S is o-empty. We claim that S is uiversal. To see this, ote that for ay x S, the Nagger will choose ay of the magitudes 0 < l / ifiitely may times. Cosequetly the Mover will be preseted with the pair (x, l) where x S ad l is a magitude from 1 to ifiitely may times. Therefore at least oe of x ± l (mod ) will be visited ifiitely may times ad as such it belogs to S. We see the that S must be uiversal. So the set of positios visited ifiitely ofte has cardiality at least β(). 4 Liear Iteger Optimizatio problem Now we will show equivalece betwee a liear iteger optimizatio problem ad our problem 1: fid mi S, where S is ay uiversal subset of Z. Let S Z be ay optimal solutio for the above optimizatio problem. Let x i, for i = 0, 1,..., 1 be biary variables such that: 1 if i S x i = 0 if i / S 5
7 The S = x 0 + x x 1 ad the optimizatio goal, mi S, i (problem 1) becomes: mi x 0 + x x 1 Now we have to model that S is uiversal, i.e. for all x S, ad for all iteger l, with 0 < l /, at least oe of x ± l (mod ) lies i S. It is equivalet to: if x i = 1 the for each j = 1... at least oe of the two variables x i+j ad x i j must be 1. Here the additio ad the subtractio operatios i the idices are by modulo arithmetic. Oe way to model this costrait is by x i (x i+j + x i j ) x i. If x i = 0 this iequality is trivially satisfied: there is o costrait o x i+j ad x i j comig from idex i. Ad if x i = 1 the this costrait ( ad 1 more) becomes x i+j + x i j 1 at least oe of x i+j, x i j is 1. Sice this is a oliear costrait we would like to replace it by a liear oe if possible (see [4]). Because x i, x i+j ad x i j are boolea variables it ca be achieved i several ways. The simplest possible maybe is x i+j + x i j x i. Here is the equivalet to Problem 1 liear iteger optimizatio problem with a iput parameter Z +. Problem. mi x 0 + x 1 + x x 1 subject to: x x 1 x 0 x 0+ + x x 0... x 0+ + x x 0 x x 1 1 x 1 x 1+ + x 1 x 1... x 1+ + x +1 x 1... x x 1 1 x 1 x 1+ + x 1 x 1... x 1+ + x 1 x 1 x 0 + x 1 + x x 1 1 group of costraits for x 0 group of costraits for x 1 group of costraits for x 1 The last iequality is equivalet to the o-emptiess coditio i the defiitio for uiversal subsets of Z : S 1. There is a trivial observatio: the umber of variables that are 6
8 1 i ay feasible solutio must be at least 1 +. So the last costrait ca be replaced with: x 0 + x 1 + x x This follows directly from the last costrait: at least oe variable x i = 1 for some i ad from the group of iequalities for that x i. For example for = 3 the liear iteger optimizatio problem becomes: mi x 0 + x 1 + x subject to: } x 1 + x x 0 group of costraits for x0 } x + x 0 x 1 group of costraits for x1 } x 0 + x 1 x group of costraits for x x 0 + x 1 + x 1 There are boolea variables ad groups of costraits. Each group has iequalities. Oe ca easily see that the problem is completely symmetric for all the variables: x 0, x 1,..., x 1. We have proved the followig: Theorem 4.1. The above 0,1 miimizatio problem has a optimal value for the fuctio 1 i=0 x i as follows: a) if = k the the optimal value is mi = k = b) if = α 1 p α p α 3 3 p α l l, where p is the smallest prime factor of bigger tha, the the optimal value is mi = p 1 p c) (corollary of b) if is a prime the mi = 1 Solvig efficietly the above optimizatio problem leads to a factorizatio algorithm: if p is the smallest factor (of ) ad mi is the miimal value for the goal fuctio the p = mi Corollary. Primality testig: takig oly the costraits from the above optimizatio problem, ad addig oe more costrait: x 0 + x 1 + x x 1 we ca ask: is there a feasible solutio for this set of costraits? Obviously this is equivalet to aswerig if is prime. 5 Ope Problems Oe of the reasos we ca ot solve efficietly Problem is that the umber of variables ad the umber of costraits is expoetial i the umber of bits eeded to store. Therefore we state the followig ope problems. 7
9 Q1: For ay Z + what is the liear iteger optimizatio problem with miimal complexity such that the miimal value of its optimizatio fuctio gives the smallest prime factor of? Q: Is there a polyomial algorithm(of log ruig time) to solve the above {0, 1} liear optimizatio problem for certai types of, or ca we prove a lower boud of o-polyomial type? 6 Ackowledgmets We are very grateful to the followig people ad places for their advice, discussios ad support: Gary MacGillivray, Athoy Quas, Valerie Kig ad Uiversity of Victoria; Uriel Feige; S. Muthu Muthukrisha ad the DIMACS Ceter; Jeffrey O. Shallit ad the School of Computer Sciece at Uiversity of Waterloo. Refereces [1] Eric Bach ad Jeffrey Shallit, Algorithmic Number Theory, The MIT Press, [] Thomas H. Corme, Charles E. Leiserso, Roald L. Rivest, Clifford Stei, Itroductio to Algorithms, The MIT Press, 001. [3] Zhivko Nedev ad S. Muthukrisha, The Nagger-Mover Game, submitted to SIAM Joural o Discrete Mathematics, 005. [4] Nikola S. Nikolov, persoal commuicatio, Uiversity of Limerick, Irelad [5] Iva Nive, Herbert Zuckerma ad Hugh Motgomery, A Itroductio to the Theory of Numbers, Joh Wiley ad Sos Ic, [6] R. L. Rivest, A. Shamir ad L. Adlema, A Method for Obtaiig Digital Sigatures ad Public-key Cryptosystems, Commuicatios of the ACM 1, (Feb. 1978), [7] Alexader Schrijver, Theory of Liear ad Iteger Programmig, Joh Wiley ad Sos Ic, [8] A. Shamir, E. Tromer: Factorig Large Number with the TWIRL Device. I: Cripto 003. Volume 79 of LNCS, Spriger (003)
IP Reference guide for integer programming formulations.
IP Referece guide for iteger programmig formulatios. by James B. Orli for 15.053 ad 15.058 This documet is iteded as a compact (or relatively compact) guide to the formulatio of iteger programs. For more
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 informationSolutions for the Exam 9 January 2012
Mastermath ad LNMB Course: Discrete Optimizatio Solutios for the Exam 9 Jauary 2012 Utrecht Uiversity, Educatorium, 15:15 18:15 The examiatio lasts 3 hours. Gradig will be doe before Jauary 23, 2012. Studets
More informationFind a formula for the exponential function whose graph is given , 1 2,16 1, 6
Math 4 Activity (Due by EOC Apr. ) Graph the followig epoetial fuctios by modifyig the graph of f. Fid the rage of each fuctio.. g. g. g 4. g. g 6. g Fid a formula for the epoetial fuctio whose graph is
More informationRecursive Algorithm for Generating Partitions of an Integer. 1 Preliminary
Recursive Algorithm for Geeratig Partitios of a Iteger Sug-Hyuk Cha Computer Sciece Departmet, Pace Uiversity 1 Pace Plaza, New York, NY 10038 USA scha@pace.edu Abstract. This article first reviews the
More informationChapter 6 Infinite Series
Chapter 6 Ifiite Series I the previous chapter we cosidered itegrals which were improper i the sese that the iterval of itegratio was ubouded. I this chapter we are goig to discuss a topic which is somewhat
More information6.3 Testing Series With Positive Terms
6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More informationLecture 2 Clustering Part II
COMS 4995: Usupervised Learig (Summer 8) May 24, 208 Lecture 2 Clusterig Part II Istructor: Nakul Verma Scribes: Jie Li, Yadi Rozov Today, we will be talkig about the hardess results for k-meas. More specifically,
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 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 informationTEACHER CERTIFICATION STUDY GUIDE
COMPETENCY 1. ALGEBRA SKILL 1.1 1.1a. ALGEBRAIC STRUCTURES Kow why the real ad complex umbers are each a field, ad that particular rigs are ot fields (e.g., itegers, polyomial rigs, matrix rigs) Algebra
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
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 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 informationMath 61CM - Solutions to homework 3
Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig
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 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 informationInduction: Solutions
Writig Proofs Misha Lavrov Iductio: Solutios Wester PA ARML Practice March 6, 206. Prove that a 2 2 chessboard with ay oe square removed ca always be covered by shaped tiles. Solutio : We iduct o. For
More information62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +
62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of
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 informationMA131 - Analysis 1. Workbook 3 Sequences II
MA3 - Aalysis Workbook 3 Sequeces II Autum 2004 Cotets 2.8 Coverget Sequeces........................ 2.9 Algebra of Limits......................... 2 2.0 Further Useful Results........................
More informationA 2nTH ORDER LINEAR DIFFERENCE EQUATION
A 2TH ORDER LINEAR DIFFERENCE EQUATION Doug Aderso Departmet of Mathematics ad Computer Sciece, Cocordia College Moorhead, MN 56562, USA ABSTRACT: We give a formulatio of geeralized zeros ad (, )-discojugacy
More informationDefinitions and Theorems. where x are the decision variables. c, b, and a are constant coefficients.
Defiitios ad Theorems Remember the scalar form of the liear programmig problem, Miimize, Subject to, f(x) = c i x i a 1i x i = b 1 a mi x i = b m x i 0 i = 1,2,, where x are the decisio variables. c, b,
More informationON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS
ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS NORBERT KAIBLINGER Abstract. Results of Lid o Lehmer s problem iclude the value of the Lehmer costat of the fiite cyclic group Z/Z, for 5 ad all odd. By complemetary
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 informationExercises 1 Sets and functions
Exercises 1 Sets ad fuctios HU Wei September 6, 018 1 Basics Set theory ca be made much more rigorous ad built upo a set of Axioms. But we will cover oly some heuristic ideas. For those iterested studets,
More informationThe Growth of Functions. Theoretical Supplement
The Growth of Fuctios Theoretical Supplemet The Triagle Iequality The triagle iequality is a algebraic tool that is ofte useful i maipulatig absolute values of fuctios. The triagle iequality says that
More informationSEQUENCE AND SERIES NCERT
9. Overview By a sequece, we mea a arragemet of umbers i a defiite order accordig to some rule. We deote the terms of a sequece by a, a,..., etc., the subscript deotes the positio of the term. I view of
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 informationA Simple Derivation for the Frobenius Pseudoprime Test
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
More informationWeek 5-6: The Binomial Coefficients
Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers
More information2.4 - Sequences and Series
2.4 - Sequeces ad Series Sequeces A sequece is a ordered list of elemets. Defiitio 1 A sequece is a fuctio from a subset of the set of itegers (usually either the set 80, 1, 2, 3,... < or the set 81, 2,
More informationSequences. Notation. Convergence of a Sequence
Sequeces A sequece is essetially just a list. Defiitio (Sequece of Real Numbers). A sequece of real umbers is a fuctio Z (, ) R for some real umber. Do t let the descriptio of the domai cofuse you; it
More informationChapter 0. Review of set theory. 0.1 Sets
Chapter 0 Review of set theory Set theory plays a cetral role i the theory of probability. Thus, we will ope this course with a quick review of those otios of set theory which will be used repeatedly.
More informationOptimization Methods MIT 2.098/6.255/ Final exam
Optimizatio Methods MIT 2.098/6.255/15.093 Fial exam Date Give: December 19th, 2006 P1. [30 pts] Classify the followig statemets as true or false. All aswers must be well-justified, either through a short
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 informationDifferentiable Convex Functions
Differetiable Covex Fuctios The followig picture motivates Theorem 11. f ( x) f ( x) f '( x)( x x) ˆx x 1 Theorem 11 : Let f : R R be differetiable. The, f is covex o the covex set C R if, ad oly if for
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 informationBeurling Integers: Part 2
Beurlig Itegers: Part 2 Isomorphisms Devi Platt July 11, 2015 1 Prime Factorizatio Sequeces I the last article we itroduced the Beurlig geeralized itegers, which ca be represeted as a sequece of real umbers
More informationOblivious Transfer using Elliptic Curves
Oblivious Trasfer usig Elliptic Curves bhishek Parakh Louisiaa State Uiversity, ato Rouge, L May 4, 006 bstract: This paper proposes a algorithm for oblivious trasfer usig elliptic curves lso, we preset
More informationLecture Notes for Analysis Class
Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios
More informationLinear Programming and the Simplex Method
Liear Programmig ad the Simplex ethod Abstract This article is a itroductio to Liear Programmig ad usig Simplex method for solvig LP problems i primal form. What is Liear Programmig? Liear Programmig is
More informationPolynomials with Rational Roots that Differ by a Non-zero Constant. Generalities
Polyomials with Ratioal Roots that Differ by a No-zero Costat Philip Gibbs The problem of fidig two polyomials P(x) ad Q(x) of a give degree i a sigle variable x that have all ratioal roots ad differ by
More informationLangford s Problem. Moti Ben-Ari. Department of Science Teaching. Weizmann Institute of Science.
Lagford s Problem Moti Be-Ari Departmet of Sciece Teachig Weizma Istitute of Sciece http://www.weizma.ac.il/sci-tea/beari/ c 017 by Moti Be-Ari. This work is licesed uder the Creative Commos Attributio-ShareAlike
More information(I.C) THE DISTRIBUTION OF PRIMES
I.C) THE DISTRIBUTION OF PRIMES I the last sectio we showed via a Euclid-ispired, algebraic argumet that there are ifiitely may primes of the form p = 4 i.e. 4 + 3). I fact, this is true for primes of
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 informationAxioms of Measure Theory
MATH 532 Axioms of Measure Theory Dr. Neal, WKU I. The Space Throughout the course, we shall let X deote a geeric o-empty set. I geeral, we shall ot assume that ay algebraic structure exists o X so that
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 informationFeedback in Iterative Algorithms
Feedback i Iterative Algorithms Charles Byre (Charles Byre@uml.edu), Departmet of Mathematical Scieces, Uiversity of Massachusetts Lowell, Lowell, MA 01854 October 17, 2005 Abstract Whe the oegative system
More informationBertrand s Postulate
Bertrad s Postulate Lola Thompso Ross Program July 3, 2009 Lola Thompso (Ross Program Bertrad s Postulate July 3, 2009 1 / 33 Bertrad s Postulate I ve said it oce ad I ll say it agai: There s always a
More information2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F.
CHAPTER 2 The Real Numbers 2.. The Algebraic ad Order Properties of R Defiitio. A biary operatio o a set F is a fuctio B : F F! F. For the biary operatios of + ad, we replace B(a, b) by a + b ad a b, respectively.
More informationMAT1026 Calculus II Basic Convergence Tests for Series
MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real
More informationWeakly Connected Closed Geodetic Numbers of Graphs
Iteratioal Joural of Mathematical Aalysis Vol 10, 016, o 6, 57-70 HIKARI Ltd, wwwm-hikaricom http://dxdoiorg/101988/ijma01651193 Weakly Coected Closed Geodetic Numbers of Graphs Rachel M Pataga 1, Imelda
More informationSummary: Congruences. j=1. 1 Here we use the Mathematica syntax for the function. In Maple worksheets, the function
Summary: Cogrueces j whe divided by, ad determiig the additive order of a iteger mod. As described i the Prelab sectio, cogrueces ca be thought of i terms of coutig with rows, ad for some questios this
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 informationInjections, Surjections, and the Pigeonhole Principle
Ijectios, Surjectios, ad the Pigeohole Priciple 1 (10 poits Here we will come up with a sloppy boud o the umber of parethesisestigs (a (5 poits Describe a ijectio from the set of possible ways to est pairs
More informationChain conditions. 1. Artinian and noetherian modules. ALGBOOK CHAINS 1.1
CHAINS 1.1 Chai coditios 1. Artiia ad oetheria modules. (1.1) Defiitio. Let A be a rig ad M a A-module. The module M is oetheria if every ascedig chai!!m 1 M 2 of submodules M of M is stable, that is,
More informationarxiv: v1 [math.co] 3 Feb 2013
Cotiued Fractios of Quadratic Numbers L ubomíra Balková Araka Hrušková arxiv:0.05v [math.co] Feb 0 February 5 0 Abstract I this paper we will first summarize kow results cocerig cotiued fractios. The we
More informationAn Introduction to Randomized Algorithms
A Itroductio to Radomized Algorithms The focus of this lecture is to study a radomized algorithm for quick sort, aalyze it usig probabilistic recurrece relatios, ad also provide more geeral tools for aalysis
More informationComplex Numbers Solutions
Complex Numbers Solutios Joseph Zoller February 7, 06 Solutios. (009 AIME I Problem ) There is a complex umber with imagiary part 64 ad a positive iteger such that Fid. [Solutio: 697] 4i + + 4i. 4i 4i
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 informationMATH 205 HOMEWORK #2 OFFICIAL SOLUTION. (f + g)(x) = f(x) + g(x) = f( x) g( x) = (f + g)( x)
MATH 205 HOMEWORK #2 OFFICIAL SOLUTION Problem 2: Do problems 7-9 o page 40 of Hoffma & Kuze. (7) We will prove this by cotradictio. Suppose that W 1 is ot cotaied i W 2 ad W 2 is ot cotaied i W 1. The
More informationPairs of disjoint q-element subsets far from each other
Pairs of disjoit q-elemet subsets far from each other Hikoe Eomoto Departmet of Mathematics, Keio Uiversity 3-14-1 Hiyoshi, Kohoku-Ku, Yokohama, 223 Japa, eomoto@math.keio.ac.jp Gyula O.H. Katoa Alfréd
More informationOn Algorithm for the Minimum Spanning Trees Problem with Diameter Bounded Below
O Algorithm for the Miimum Spaig Trees Problem with Diameter Bouded Below Edward Kh. Gimadi 1,2, Alexey M. Istomi 1, ad Ekateria Yu. Shi 2 1 Sobolev Istitute of Mathematics, 4 Acad. Koptyug aveue, 630090
More information1 Introduction. 1.1 Notation and Terminology
1 Itroductio You have already leared some cocepts of calculus such as limit of a sequece, limit, cotiuity, derivative, ad itegral of a fuctio etc. Real Aalysis studies them more rigorously usig a laguage
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 informationDifferent kinds of Mathematical Induction
Differet ids of Mathematical Iductio () Mathematical Iductio Give A N, [ A (a A a A)] A N () (First) Priciple of Mathematical Iductio Let P() be a propositio (ope setece), if we put A { : N p() is true}
More informationThe Boolean Ring of Intervals
MATH 532 Lebesgue Measure Dr. Neal, WKU We ow shall apply the results obtaied about outer measure to the legth measure o the real lie. Throughout, our space X will be the set of real umbers R. Whe ecessary,
More informationA New Solution Method for the Finite-Horizon Discrete-Time EOQ Problem
This is the Pre-Published Versio. A New Solutio Method for the Fiite-Horizo Discrete-Time EOQ Problem Chug-Lu Li Departmet of Logistics The Hog Kog Polytechic Uiversity Hug Hom, Kowloo, Hog Kog Phoe: +852-2766-7410
More informationHashing and Amortization
Lecture Hashig ad Amortizatio Supplemetal readig i CLRS: Chapter ; Chapter 7 itro; Sectio 7.. Arrays ad Hashig Arrays are very useful. The items i a array are statically addressed, so that isertig, deletig,
More informationMath 220A Fall 2007 Homework #2. Will Garner A
Math 0A Fall 007 Homewor # Will Garer Pg 3 #: Show that {cis : a o-egative iteger} is dese i T = {z œ : z = }. For which values of q is {cis(q): a o-egative iteger} dese i T? To show that {cis : a o-egative
More informationLarge holes in quasi-random graphs
Large holes i quasi-radom graphs Joaa Polcy Departmet of Discrete Mathematics Adam Mickiewicz Uiversity Pozań, Polad joaska@amuedupl Submitted: Nov 23, 2006; Accepted: Apr 10, 2008; Published: Apr 18,
More informationCHAPTER 2 NEIGHBORHOOD CONNECTED PERFECT DOMINATION IN GRAPHS
22 CHAPTER 2 NEIGHBORHOOD CONNECTED PERFECT DOMINATION IN GRAPHS 2.1 INTRODUCTION Various types of domiatio have bee studied by several authors ad more tha 75 models of domiatio are listed i the appedix
More informationMachine Learning Theory Tübingen University, WS 2016/2017 Lecture 11
Machie Learig Theory Tübige Uiversity, WS 06/07 Lecture Tolstikhi Ilya Abstract We will itroduce the otio of reproducig kerels ad associated Reproducig Kerel Hilbert Spaces (RKHS). We will cosider couple
More informationCongruence Modulo a. Since,
Cogruece Modulo - 03 The [ ] equivalece classes refer to the Differece of quares relatio ab if a -b o defied as Theorem 3 - Phi is Periodic, a, [ a ] [ a] The period is Let ad a We must show ( a ) a ice,
More informationOn Nonsingularity of Saddle Point Matrices. with Vectors of Ones
Iteratioal Joural of Algebra, Vol. 2, 2008, o. 4, 197-204 O Nosigularity of Saddle Poit Matrices with Vectors of Oes Tadeusz Ostrowski Istitute of Maagemet The State Vocatioal Uiversity -400 Gorzów, Polad
More informationABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS
ABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS EDUARD KONTOROVICH Abstract. I this work we uify ad geeralize some results about chaos ad sesitivity. Date: March 1, 005. 1 1. Symbolic Dyamics Defiitio
More informationSets. Sets. Operations on Sets Laws of Algebra of Sets Cardinal Number of a Finite and Infinite Set. Representation of Sets Power Set Venn Diagram
Sets MILESTONE Sets Represetatio of Sets Power Set Ve Diagram Operatios o Sets Laws of lgebra of Sets ardial Number of a Fiite ad Ifiite Set I Mathematical laguage all livig ad o-livig thigs i uiverse
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 informationLinear Programming! References! Introduction to Algorithms.! Dasgupta, Papadimitriou, Vazirani. Algorithms.! Cormen, Leiserson, Rivest, and Stein.
Liear Programmig! Refereces! Dasgupta, Papadimitriou, Vazirai. Algorithms.! Corme, Leiserso, Rivest, ad Stei. Itroductio to Algorithms.! Slack form! For each costrait i, defie a oegative slack variable
More informationAnalytic Continuation
Aalytic Cotiuatio The stadard example of this is give by Example Let h (z) = 1 + z + z 2 + z 3 +... kow to coverge oly for z < 1. I fact h (z) = 1/ (1 z) for such z. Yet H (z) = 1/ (1 z) is defied for
More informationMath 104: Homework 2 solutions
Math 04: Homework solutios. A (0, ): Sice this is a ope iterval, the miimum is udefied, ad sice the set is ot bouded above, the maximum is also udefied. if A 0 ad sup A. B { m + : m, N}: This set does
More information1 Hash tables. 1.1 Implementation
Lecture 8 Hash Tables, Uiversal Hash Fuctios, Balls ad Bis Scribes: Luke Johsto, Moses Charikar, G. Valiat Date: Oct 18, 2017 Adapted From Virgiia Williams lecture otes 1 Hash tables A hash table is a
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 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 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 informationInteger Linear Programming
Iteger Liear Programmig Itroductio Iteger L P problem (P) Mi = s. t. a = b i =,, m = i i 0, iteger =,, c Eemple Mi z = 5 s. t. + 0 0, 0, iteger F(P) = feasible domai of P Itroductio Iteger L P problem
More informationA 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,, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet as
More informationIf a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?
2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a
More informationMeasure and Measurable Functions
3 Measure ad Measurable Fuctios 3.1 Measure o a Arbitrary σ-algebra Recall from Chapter 2 that the set M of all Lebesgue measurable sets has the followig properties: R M, E M implies E c M, E M for N implies
More informationCSE 191, Class Note 05: Counting Methods Computer Sci & Eng Dept SUNY Buffalo
Coutig Methods CSE 191, Class Note 05: Coutig Methods Computer Sci & Eg Dept SUNY Buffalo c Xi He (Uiversity at Buffalo CSE 191 Discrete Structures 1 / 48 Need for Coutig The problem of coutig the umber
More informationMath 2784 (or 2794W) University of Connecticut
ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really
More informationLecture 7: October 18, 2017
Iformatio ad Codig Theory Autum 207 Lecturer: Madhur Tulsiai Lecture 7: October 8, 207 Biary hypothesis testig I this lecture, we apply the tools developed i the past few lectures to uderstad the problem
More informationThe normal subgroup structure of ZM-groups
arxiv:1502.04776v1 [math.gr] 17 Feb 2015 The ormal subgroup structure of ZM-groups Marius Tărăuceau February 17, 2015 Abstract The mai goal of this ote is to determie ad to cout the ormal subgroups of
More information7 Sequences of real numbers
40 7 Sequeces of real umbers 7. Defiitios ad examples Defiitio 7... A sequece of real umbers is a real fuctio whose domai is the set N of atural umbers. Let s : N R be a sequece. The the values of s are
More information15.081J/6.251J Introduction to Mathematical Programming. Lecture 21: Primal Barrier Interior Point Algorithm
508J/65J Itroductio to Mathematical Programmig Lecture : Primal Barrier Iterior Poit Algorithm Outlie Barrier Methods Slide The Cetral Path 3 Approximatig the Cetral Path 4 The Primal Barrier Algorithm
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 informationPutnam Training Exercise Counting, Probability, Pigeonhole Principle (Answers)
Putam Traiig Exercise Coutig, Probability, Pigeohole Pricile (Aswers) November 24th, 2015 1. Fid the umber of iteger o-egative solutios to the followig Diohatie equatio: x 1 + x 2 + x 3 + x 4 + x 5 = 17.
More informationAnalysis of Algorithms. Introduction. Contents
Itroductio The focus of this module is mathematical aspects of algorithms. Our mai focus is aalysis of algorithms, which meas evaluatig efficiecy of algorithms by aalytical ad mathematical methods. We
More information