On the Union of Arithmetic Progressions


 Sharlene Norman
 1 years ago
 Views:
Transcription
1 On the Union of Arithmetic Progressions Shoni Gilboa Rom Pinchasi August, 04 Abstract We show that for any integer n and real ɛ > 0, the union of n arithmetic progressions with pairwise distinct differences, each of length n, contains at least c(ɛ)n ɛ elements, where c(ɛ) is a positive constant depending only in ɛ This estimate is sharp in the sense that the assertion becomes invalid for ɛ = 0 We also obtain estimates for the asymmetric case where the number of progressions is distinct from their lengths Introduction A finite arithmetic progression is one of the most fundamental objects in number theory Formally it is a sequence of numbers a, a,, a n such that for every < i < n we have a i+ a i = a i a i The difference a i a i is called the difference of the arithmetic progression For integers n > and l > let u l (n) be the minimum possible cardinality of a union of n arithmetic progressions, each of length l, with pairwise distinct differences Clearly, u l (n) n l, but this inequality is not tight in general, not even up to a multiplicative constant It is not hard to see, for instance, that u (n) = n This is because any two numbers form an arithmetic progression of length and therefore any set of m numbers such that no two of their differences are the same (for example,,,, m ) is a union of ( ) m arithmetic progressions with pairwise distinct differences The following example, given in [9], shows that log 4 ) u 3 (n) = O (n log 7 : Let k be the minimal integer such that 9k 33k n For any disjoint A, B,,, 3k} of cardinality k, consider the three term arithmetic progression i A 3i, i A 3i + i B 3i, i B 3i } We get (3k)! (k!) 3 9k 33k n three term arithmetic progressions with pairwise distinct differences, whose union is of size ( ) ( 3k k 6 7 ) k log 4 ) 9 4 = O (n log 7 We note that a lower bound u 3 (n) n 6/ directly follows from a result of Katz and Tao [8] Mathematics Dept, The Open University of Israel, Raanana 4307, Israel Mathematics Dept, Technion Israel Institute of Technology, Haifa 3000, Israel Supported by ISF grant (grant No 357/)
2 The trivial upper bound u l (n) n l is not tight for large values of l as well In particular, consider the symmetric case where l = n It turns out that u n (n) = o(n ) To see this take (perhaps the most natural choice of) arithmetic progressions: A j = i j i [n]} for j =,, n Here, and in the sequel, the notation [n] stands for the set,,, n} Clearly, the union n j= A j is precisely the set i j i, j [n]} It was shown already in 955 by Erdős [5] that for some α > 0 The exact assymptotics i j i, j [n]} = o ( n /(log n) α) i j i, j [n]} n +log log (log n) log (log log n) 3 was given in 008 by Ford [6] Consequently, we obtain the desired improved upper bound for u n (n) In this paper we show that u l (n) cannot be much smaller than n l, provided l is not much smaller than n, as captured in the following theorem, giving a lower bound for u l (n) for smaller values of l as well Theorem For every ε > 0 there is a positive constant c (ε), depending only on ε, such that for any positive integers n and l c (ε) n ε l for l n ε u l (n) c (ε) l for n ε l n ε c (ε) n ε l for n ε l The proof of Theorem relies upon upper bounds for the following two functions, that are of independent interest, g d (n) = f d (m, n) = max B (0, ) B n max A,B (0, ) A m, B n (a, b) A B a } b [d], (b, b ) B b < b, p, q [d] : b b = p q } The paper is organized as follows In Section we provide an upper bound for the function g d above Using this bound, we provide an upper bound for the function f d in Section 3 Theorem is proved in Section 4 In Section 5 we give a numbertheory application of our upper bound for the function g d Addendum: After this paper was completed and before it was published it was brought to our attention that the main tools in our proof as well as the main lemma in our paper, which is
3 Proposition in Section, appear in a different context in [] Lemma 39 in [] gives only a slightly weaker bound than the one in Proposition in this paper Lemma 30 in [] is a consequence of Lemma 39 in [] in the same way that Theorem 5 in this paper is a consequence of Proposition In fact, Lemma 30 in [] is stated in a stronger form than Theorem 5 that allows us to get an explicit subquadratic lower bound for u l (n) in Theorem in terms of n and l without introducing ɛ > 0 We comment about this in Section 5 Rational quotients with bounded numerator and denominator For positive integer d define R d = k l } k, l [d] Definition For a positive integer d and a finite set B of positive real numbers define } b G d (B) = (b, b ) B b < b, R d b For positive integers n and d define g d (n) = max B (0, ) B n G d (B) Clearly, g d (n) (n ) R d < n d () This bound is useful when d is small For large values of d we have the following improved upper bound whose proof is the main goal of this section: Proposition For any positive integer k, there is a positive constant c (k), depending only on k, such that for any positive integer n and any integer d > c (k) g d (n) < (00k + )n + k d k () The proof of Proposition will be as follows: Given a set B of n positive real numbers, G d (B) can be viewed as the set of edges of a graph whose vertices are the numbers in B If the number of edges in this graph is large, then the BondySimonovits Theorem [3] implies that this graph must contain many cycles of length k However, the number of such cycles is easy to bound in terms of the number of solutions to r r r k =, where each of the r i s is a quotient of two natural numbers that are smaller than or equal to d standard estimates for the number of divisors function This number of solutions can be estimated using 3
4 Hence, given a finite set of positive real numbers B we define C d,k (B) = (b, b,, b k ) B k b, b,, b k, b k b b 3 b b k R d, i < j k : b i b j Notice that C d,k (B) corresponds to the set of cycles of length k in the graph corresponding to G d (B) We start with bounding the cardinality of C d,k (B) from below in terms of G d (B) We first get a basic lower bound for C d,k (B) using the BondySimonovits Theorem, which states that a graph with n vertices and no simple cycles of length k has no more than 00k n + k we enhance this basic lower bound for C d,k (B) in the case where G d (B) is large } edges Later, Lemma 3 For any positive integers k and d, and for any finite set B of n positive real numbers, 4k C d,k(b) G d (B) 00k B + k Proof Form a graph on the vertex set B, by connecting two distinct vertices b, b B if and only if b b R d This graph obviously has B vertices, G d (B) edges, and precisely k C d,k(b) simple cycles of length k Now remove an edge from every simple cycle of length k in this graph We get a graph with B vertices and at least G d (B) 4k C d,k(b) edges The resulting graph has no simple cycle of length k The result now follows directly from the BondySimonovits Theorem stated above Next, we use a standard probabilistic argument to enhance the lower bound of Lemma 3 Lemma 4 For any positive integers k and d, and for any finite set B of positive real numbers such that B > d + (k ), we have the following inequality: G d (B) < 4k C d,k(b) d (k ) + 00k B + k d k Proof Let p := d (k ), and let B p be a random subset of B obtained by choosing each element independently with probability p By Lemma 3, 4k C d,k(b p ) G d (B p ) 00k B p + k Taking expectations, we get ( ) 4k E C d,k(b p ) E G d (B p ) 00k E B p + k (3) Notice that from the linearity of expectation we have: E C d,k (B p ) = C d,k (B) p k (4) 4
5 and E G d (B p ) = G d (B) p (5) ( ) As for E B p + k, note that E B p = B p and V B p = B p( p) Therefore, since < B p, E ( B p ) = V B p + (E B p ) = B p( p) + ( B p) < B p Now, by Jensen s inequality, ( ) E B p + k ( E ( B p )) + k < B + k p + k (6) Plugging (4), (5) and (6) in (3) we get hence 4k C d,k(b) p k > G d (B) p 00k B + k p + k, G d (B) < 4k C d,k(b) p k + 00k B + k p + k = 4k C d,k(b) d (k ) + 00k B + k d k We now approach the task of bounding C d,k (B) from above We start with the following well known numbertheoretic bound on the number of divisors τ(m) of an integer m Lemma 5 For any δ > 0 there is a positive constant c 3 (δ) depending only on δ, such that for any positive integer m, τ(m) < c 3 (δ)m δ Proof Let m = k i= pr i i be the prime factorization of m Notice that m has τ(m) = k i= ( + r i) divisors For any i k, Therefore, τ(m) m δ = k + r i k (p r < i i )δ i= i= (p r i i )δ = e δr i ln p i > + δr i ln p i + r i + δr i ln p i Hence, τ(m) < c 3 (δ)m δ, where c 3 (δ) := p prime p e /δ k i= min, δ ln p i } = δ ln p i k ln p i /δ δ ln p i p prime p e /δ δ ln p Lemma 6 For any positive integer k there is a positive constant c 4 (k), depending only on k, such that for any positive integer d and any finite set B of positive real numbers we have C d,k (B) < c 4 (k) B d k+ 4k 5
6 Proof We notice that C d,k (B) = (b, b,, b k ) B k b, b,, b k, b } k R d, i < j k : b i b j b b 3 b k b } (b, b,, b k ) B k b i b k i k : R d, R d b i+ b B (r, r,, r k ) i k : r i R d, r r r k = } ( } B ((p, p,, p k ), (q, q,, q k )) [d] k) p p p k = q q q k B d k m= } (p, p,, p k ) [d] k d k p p p k = m B τ(m) 4k m= By Lemma 5, τ(m) < c 3 (/3k 3 )m /3k3 for any m, and we get C d,k (B) < B d k m= This completes the proof with c 4 (k) := ( c 3 (/3k 3 ) ) 4k We are now prepared for proving Proposition (c 3 (/3k 3 )m /3k3) 4k ( c3 (/3k 3 ) ) 4k B d k+ 4k Proof of Proposition If n d + (k ), then () holds because g d (n) ( ) n ) < n = n + k n k n + k (d + k (k ) = n + k d k We therefore assume n > d + (k ) Let B be a set of n positive real numbers By Lemma 4, By Lemma 6, G d (B) < 00k n + k d k + 4k C d,k(b) d (k ) (7) C d,k (B) < c 4 (k)n d k+ 4k Hence, for d c (k) := (c 4 (k)/4k) 4k, Plugging (8) in (7) and using our assumption that n > d + (k ) C d,k (B) < 4k n d k+ k (8) d, we get that for d c (k), G d (B) < 00k n + k d k + n d + k < (00k + )n + k d k 6
7 3 Bounded integer quotients Definition 3 For positive integers m, n, and d define f d (m, n) = max (a, b) A B a A,B (0, ) b [d]} A m, B n Remark 3 Notice that f d (m, n) = f d (n, m) This is because given sets A and B of positive a real numbers such that A = m, B = n, and f d (m, n) = (a, b) A B b [d]}, the sets A = b b B} and B = a a A} show that f d(n, m) f d (m, n) Consequently, f d (m, n) = f d (n, m) Therefore, we may assume, if needed, with no loss of generality that m n, or that m n The main goal of this section is to prove the following proposition Proposition 33 For any ε > 0 there is a positive constant c 6 (ε), depending only on ε, such that for any positive integers m, n, and d f d (m, n) < c 5 (ε) minn ε, m ε } m n d Proof With no loss of generality (see Remark 3) assume that n m We may also assume that m < n d, because if m n d, then f d (m, n) n d = (n d)n d m n d (see Proposition 35 for further discussion) Let A and B be finite sets of positive real numbers such that A m, B n and f d (m, n) = (a, b) A B a b [d]} The proposition will follow by comparing lower and upper bounds for the cardinality of the set W = (a, b, b ) A B a b, a b [d], b < b } We first establish an upper bound for W For convenience define S d = (p, q) p, q [d], p < q, gcd(p, q) = } 7
8 We have: W = (b, b, k, k ) B [d] k b = k b A, b < b } (b, b, k, k ) B [d] } k b = k b, b < b = = (b, b, k, k ) B [d] b = k = p } = b k q (p,q) S d = (b, b ) B b = p } b q (k, k ) [d] k = p } = k q (p,q) S d = (b, b ) B b = p } d b q q (p,q) S d d ( G q (B) G q (B) ) d q = G d d(b) + q= d < G d (B) + d q G q (B) q= q= ( d G q (B) q d ) = q + Let k := /ε By Proposition, there is a positive constant c (k), depending only on k, such that for any c (k) < q d, For any q, we have by () that G q (B) < n q Therefore, Hence, c (k) W G d (B) + d q G q (B) + d q= G q (B) < (00k + )n + k q k d q=c (k)+ q G q (B) < < (00k + )n + k d k + (c (k) )n d + (00k + )n + k d d q=c (k)+ q + k W < c(ε)n +ε d, (9) where c(ε) := (00k + ) + (c (k) ) + (00k + ) q=c (k)+ q + k To get a lower bound for W, we define r(a) = b B a b [d]} for any a A Then, by the convexity of the function ( ) x = x(x ) (or what is sometime referred to as Jensen s inequality): W = ( ) r(a) m( m a A r(a) ) (0) a A 8
9 Combining the upper and lower bounds for W, namely, (9) and (0), we get Now, we deduce m( m a A r(a) ) < c(ε)n +ε d f d (m, n) = (a, b) A B a b [d]} = a A This implies the desired result, as n m < n d r(a) < m + m 4 + c(ε)m n+ε d 3 Tightness of Proposition 33 In this section we deviate from the flow of the argument to address the question whether Proposition 33 is tight The results of this section will not be used elsewhere We will show that the upper bound in Proposition 33 for f d (n, m) is essentially tight (see Proposition 34 below), provided each of the parameters m, n, and d is (sufficiently) smaller than the product of the other two When one of m, n, and d is considerably larger than the product of the other two, the upper bound in Proposition 33 is no longer tight, as follows from Proposition 35 below, in which the exact values of f d (m, n) in those cases are determined Proposition 34 If m 4 nd, n 4 md, and d 4 mn, then f d(m, n) 8 m n d Proof Set k = m d/n, l = n d/m, and t = m n/d Consider the sets Then Notice that A = (k + l) r i} r [t],i [k], and B = (k + l) r /j} r [t],j [l] (a, b) A B a b [d] } t k l m n m d A = t k d n = m and m n n d B = t l d m = n m n d m d n n d m = m n d 8 Proposition 35 If d m n then f d (m, n) = m n If n m d then f d (m, n) = m d 3 If m n d then f d (m, n) = n d 9
10 Proof For any A, B (0, ) with A m, B n we obviously have (a, b) A B a b [d]} A B = A B m n To see that this upper bound can actually be attained, consider, for instance, the sets A = /i} i [m] and B = [n] For any A, B (0, ) with A m, B n we have (a, b) A B a b [d]} = (a, k) A [d] a k B} m d This upper bound can indeed be attained, for example by taking A = (d + ) i } i [m] and B = (d + ) i /k} i [m],k [d] 3 For any A, B (0, ) with A m, B n we have (a, b) A B a b [d]} = (b, k) B [d] k b A} n d Equality is attained, for example, by taking A = (d + ) j k} j [n],k [d] and B = (d + ) j } j [n] 4 Union of arithmetic progressions In this Section we prove Theorem Recall that for integers n > and l >, u l (n) is the minimum possible cardinality of a union of n arithmetic progressions, each of length l, with pairwise distinct differences As a consequence of Proposition 33 we prove the first estimate of Theorem Proposition 4 For any ε > 0 there is a positive constant c 6 (ε), depending only on ε, such that for any positive integers n and l u l (n) > c 6 (ε)n ε l Proof Take n arithmetic progressions, each of length l, with pairwise distinct differences, and let U be their union If each x U belongs to less than n of the progressions, then n l < U n and consequently U > n l > n ε l Therefore, assume there is x U which belongs to at least n progressions In any such progression at least d := l of the terms are on the same side of x (that is, are either all smaller, or all larger than x) Therefore, in at least n/ progressions there are at least d terms on the same side of x and without loss of generality we assume they are larger than x in these progressions We now concentrate only on these progressions Let B be the set of differences of these arithmetic progressions, and let A = i b i [d], b B} Proposition 33 implies d B = (a, b) A B a b [d]} f d( A, B ) < c 5 (ε) B ε A B d, 0
11 hence U x + a a A} = A > c 5 (ε) B ε d c 5 (ε) This completes the proof with c 6 (ε) := c 5 (ε) 3 ε ( ) ε n l c 5 (ε) 3 ε n ε l The lower bounds in Theorem in the regime n ε l are established in Proposition 43 below The proof of Proposition 43 uses Proposition, ideas similar to those appearing in the proof of Proposition 33, and the following lemma (recall the definition of R d from Section ) Lemma 4 Suppose that the increasing arithmetic progressions (a + (j )b ) l j= and (a + (j )b ) l j= have at least r common elements, then b b R l r Proof Since (a + (j )b ) l j= and (a + (j )b ) l j= have at least two common elements, b b is necessarily rational, and with no loss of generality we may assume b, b are both integers The intersection of the two progressions under consideration is then itself an arithmetic progression with the difference lcm(b, b ) and the diameter (which is the difference between the largest and the smallest of its elements) at least (r )lcm(b, b ) Consequently, (r )lcm(b, b ) (l )b i and therefore b i /gcd(b, b ) l r (i, }), which is equivalent to the assertion of the lemma To complete the proof of Theorem, we establish Proposition 43 For any ε > 0 there is a positive constant c 7 (ε), depending only on ε, such that for any positive integers n and l u l (n) > c 7 (ε) min n ε l, l } Proof Let P, P,, P n be n arithmetic progressions, each of length l, with pairwise distinct differences We will use the following well known estimate of Dawson and Sankoff [4] on the cardinality of the union of sets via the cardinalities of their pairwise intersections, n P i i= Hence, we examine I := i <i n P i P i ( n i= P i ) i,j n P i P j () Let b,, b n be the differences of the progressions P,, P n, respectively and let B = b,, b n } Clearly l I = (i, i ) [n] b i < b i, P i P i r } r=
12 Trivially, (i, i ) [n] b i < b i, For r we use Lemma 4 to obtain Hence, (i, i ) [n] b i < b i, I P i P i r } ( ) n l + r= P i P i } g l r (n) ( ) n G l r (B) g l r (n) Let k := /ε By Proposition, there is a constant c (k) such that for any r c (k)+ + we have For g l r (n) < (00k + )n+ k l c (k)+ Therefore, I ( ) l k (00k + )n + k (l ) k r + r l, we use the simpler estimate () to get ( ) n + l c (k)+ + r= ( ) l g l (n) < n < (c (k) + ) n r r (00k + )n + k (l ) k (r ) k + l l (r ) k (c (k) + ) l r= c (k)+ + n Hence I < c(ε) n l maxn/l, n /k } c(ε) n l maxn/l, n ε }, () for some positive constant c(ε) depending only on ε The proposition follows by plugging () in () 5 An application: Graham s conjecture on average In this section we draw a number theoretical application to our upper bounds for the function g d in Section This application, apart from providing an alternative presentation for the proof of Proposition 43, is directly related to a famous conjecture of Graham [7] Theorem 5 For every ε > 0 there exists c(ε) > 0 with the following property Let a < < a n be n natural numbers Then
13 i<j n gcd(a i, ) < c(ε)n +ε (3) Proof Denote A = a,, a n } Notice that every summand on the lefthand side of (3) is of the form d for some positive integer d The simple but crucial observation is that if i < j n such that gcd(a i, ) = d, then a i R d Therefore, gcd(a i, ) = d, for i < j n, if and only if (a i, ) G d (A) \ G d (A) (Recall the definition of R d and G d (A) in Section ) Fix a positive integer k, to be determined later By Proposition, there exists c (k) > 0 such that for every d > c (k) G d (A) g d (n) < (00k + )n + k d k (4) For every d, G d (A) g d (n) < nd, by () We get that i<j n gcd(a i, ) = d (i, j) [n] i < j, gcd(a i, ) = ( G d (A) G d (A) ) d = d d d G d (A) + d G d (A) d c (k) c (k)n + (00k + )n + k d>c (k) d>c (k) = } d d = ( G d (A) d d + d + k Take k to be a positive integer such that k < ε and let c(ε) = c (k)+(00k+) d>c (k) to get the desired result ) d /k (d+) Remark It is not hard to verify that the bound in Theorem 5 cannot be improved to be linear in n This can be seen for example by taking a,, a n to be,, n, respectively Then a direct computation, using some classical number theory estimates, shows that in this case the lefthand side of (3) is of the order of magnitude of n log n, up to some absolute multiplicative constant Theorem 5 allows us to write in a slightly different way the proof of Proposition 43 Indeed, suppose we wish to bound from below the union of n arithmetic progressions, P,, P n, each of length l, with pairwise distinct differences a,, a n, respectively With no loss of generality we may assume that a < < a n and that they are all positive integers We will again use () Hence, we examine the cardinalities of the pairwise intersections of the progressions Consider two progressions of length l: p + (j )q} l j= and p + (j )q } l j=, where q, q are positive integers Their intersection is in itself an arithmetic progression and it is not hard to see that the difference of this progression (assuming it has at least two elements) is equal to the smallest 3
14 number divisible by both q and q It follows that the size of the intersection of the two progressions is less than or equal to + min(lq,lq ) lcm(q,q ) = + l gcd(q,q ) max(q,q ) It follows from () and the above discussion that the union n i= P i is bounded from below by (nl) nl + n + l i<j n gcd(a i, ) In view of Theorem 5, this expression is greater than min( 3c(ε) n ε l, l ) It is interesting to note the relation of Theorem 5 to a well known conjecture of Graham [7] Graham conjectured that given any n positive integers a < < a n, there are two of them that satisfy gcd(a i, ) n This conjecture has a long history with many contributions It was finally completely (that is, for all values of n) solved in [], where one can also find more details on the history and references related to this conjecture From (3) it follows that there is a pair of indices i < j n such that gcd(a i, ) This implies gcd(a i, ) > < c(ε)n+ε ( n ) c(ε) n ε This lower bound is indeed much weaker than the desired one in the conjecture of Graham, but on the other hand this argument shows that on average is quite large gcd(a i, ) Addendum: As was mentioned in the introduction of this paper, Theorem 5 appears already in [] (as lemma 30 there) In fact, Lemma 30 in [] is stated in a stronger form: Lemma 5 (Lemma 30 in []) There exists an absolute constant c > 0 such that for any positive integers a < < a n, we have i<j n gcd(a i, ) As we have seen above u l (n) is bounded from below by (nl) nl + n + l i<j n < ne c log n log log n (5) gcd(a i, ) Plugging here the upper bound from Lemma 30 from [] for i<j n following lower bound for u l (n): (nl) u l (n) nl + n + lne, c log n log log n where c > 0 is an absolute positive constant independent of l and n Acknowledgments gcd(a i, ), we get the We thank Vsevolod F Lev for interesting discussions about the problem and for pointing out the relation of Theorem 5 to the conjecture of Graham We thank Noga Alon for bringing to our attention the close relation between [] and this paper 4
15 References [] N Alon, I Z Ruzsa, Nonaveraging subsets and nonvanishing transversals J Combin Theory Ser A 86 (999), no, 3 [] R Balasubramanian, K Soundararajan, On a conjecture of R L Graham Acta Arith 75 (996), no, 38 [3] J A Bondy and M Simonovits, Cycles of even length in graphs, J Combinatorial Theory Ser B 6 (974), [4] D A Dawson and D Sankoff, An inequality for probabilities, Proc Amer Math Soc 8 (967), [5] P Erdös, Some remarks on number theory, Riveon Lematematika 9 (955), [6] K Ford, The distribution of integers with a divisor in a given interval, Ann of Math () 68 (008), no, [7] R L Graham, Advanced Problem 5749*, Amer Math Monthly 77 (970), 775 [8] N H Katz and T Tao, Bounds on arithmetic projections, and applications to the Kakeya conjecture, Math Res Lett 6 (999), no 56, [9] I Z Ruzsa, Sumsets, in European Congress of Mathematics, , Eur Math Soc, Zürich 5
On an antiramsey type result
On an antiramsey type result Noga Alon, Hanno Lefmann and Vojtĕch Rödl Abstract We consider antiramsey type results. For a given coloring of the kelement subsets of an nelement set X, where two kelement
More informationThe degree, size and chromatic index of a uniform hypergraph
The degree, size and chromatic index of a uniform hypergraph Noga Alon Jeong Han Kim Abstract Let H be a kuniform hypergraph in which no two edges share more than t common vertices, and let D denote the
More informationMean RamseyTurán numbers
Mean RamseyTurán numbers Raphael Yuster Department of Mathematics University of Haifa at Oranim Tivon 36006, Israel Abstract A ρmean coloring of a graph is a coloring of the edges such that the average
More informationPRIME FACTORS OF CONSECUTIVE INTEGERS
PRIME FACTORS OF CONSECUTIVE INTEGERS MARK BAUER AND MICHAEL A. BENNETT Abstract. This note contains a new algorithm for computing a function f(k) introduced by Erdős to measure the minimal gap size in
More informationSHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH
31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,
More informationOn the greatest and least prime factors of n! + 1, II
Publ. Math. Debrecen Manuscript May 7, 004 On the greatest and least prime factors of n! + 1, II By C.L. Stewart In memory of Béla Brindza Abstract. Let ε be a positive real number. We prove that 145 1
More informationOn the numbertheoretic functions ν(n) and Ω(n)
ACTA ARITHMETICA LXXVIII.1 (1996) On the numbertheoretic functions ν(n) and Ω(n) by Jiahai Kan (Nanjing) 1. Introduction. Let d(n) denote the divisor function, ν(n) the number of distinct prime factors,
More information8 Divisibility and prime numbers
8 Divisibility and prime numbers 8.1 Divisibility In this short section we extend the concept of a multiple from the natural numbers to the integers. We also summarize several other terms that express
More informationCS 103X: Discrete Structures Homework Assignment 3 Solutions
CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On wellordering and induction: (a) Prove the induction principle from the wellordering principle. (b) Prove the wellordering
More informationThe minimum number of distinct areas of triangles determined by a set of n points in the plane
The minimum number of distinct areas of triangles determined by a set of n points in the plane Rom Pinchasi Israel Institute of Technology, Technion 1 August 6, 007 Abstract We prove a conjecture of Erdős,
More information11 Ideals. 11.1 Revisiting Z
11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(
More informationCONTRIBUTIONS TO ZERO SUM PROBLEMS
CONTRIBUTIONS TO ZERO SUM PROBLEMS S. D. ADHIKARI, Y. G. CHEN, J. B. FRIEDLANDER, S. V. KONYAGIN AND F. PAPPALARDI Abstract. A prototype of zero sum theorems, the well known theorem of Erdős, Ginzburg
More informationHigh degree graphs contain largestar factors
High degree graphs contain largestar factors Dedicated to László Lovász, for his 60th birthday Noga Alon Nicholas Wormald Abstract We show that any finite simple graph with minimum degree d contains a
More informationBest Monotone Degree Bounds for Various Graph Parameters
Best Monotone Degree Bounds for Various Graph Parameters D. Bauer Department of Mathematical Sciences Stevens Institute of Technology Hoboken, NJ 07030 S. L. Hakimi Department of Electrical and Computer
More informationCycles and cliqueminors in expanders
Cycles and cliqueminors in expanders Benny Sudakov UCLA and Princeton University Expanders Definition: The vertex boundary of a subset X of a graph G: X = { all vertices in G\X with at least one neighbor
More informationOn three zerosum Ramseytype problems
On three zerosum Ramseytype problems Noga Alon Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel and Yair Caro Department of Mathematics
More informationU.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra
U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory
More informationElementary Number Theory We begin with a bit of elementary number theory, which is concerned
CONSTRUCTION OF THE FINITE FIELDS Z p S. R. DOTY Elementary Number Theory We begin with a bit of elementary number theory, which is concerned solely with questions about the set of integers Z = {0, ±1,
More informationExtreme Intersection Points in Arrangements of Lines
Extreme Intersection Points in Arrangements of Lines Rom Pinchasi August 1, 01 Abstract We provide a strengthening of the classical theorem of Erdős [3] saing that n lines in the plane, no two of which
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationStationary random graphs on Z with prescribed iid degrees and finite mean connections
Stationary random graphs on Z with prescribed iid degrees and finite mean connections Maria Deijfen Johan Jonasson February 2006 Abstract Let F be a probability distribution with support on the nonnegative
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2016 47 4. Diophantine Equations A Diophantine Equation is simply an equation in one or more variables for which integer (or sometimes rational) solutions
More informationPROBLEM SET 7: PIGEON HOLE PRINCIPLE
PROBLEM SET 7: PIGEON HOLE PRINCIPLE The pigeonhole principle is the following observation: Theorem. Suppose that > kn marbles are distributed over n jars, then one jar will contain at least k + marbles.
More informationA Turán Type Problem Concerning the Powers of the Degrees of a Graph
A Turán Type Problem Concerning the Powers of the Degrees of a Graph Yair Caro and Raphael Yuster Department of Mathematics University of HaifaORANIM, Tivon 36006, Israel. AMS Subject Classification:
More informationAn example of a computable
An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept
More informationABSTRACT. For example, circle orders are the containment orders of circles (actually disks) in the plane (see [8,9]).
Degrees of Freedom Versus Dimension for Containment Orders Noga Alon 1 Department of Mathematics Tel Aviv University Ramat Aviv 69978, Israel Edward R. Scheinerman 2 Department of Mathematical Sciences
More informationPART I. THE REAL NUMBERS
PART I. THE REAL NUMBERS This material assumes that you are already familiar with the real number system and the representation of the real numbers as points on the real line. I.1. THE NATURAL NUMBERS
More informationPrime Numbers and Irreducible Polynomials
Prime Numbers and Irreducible Polynomials M. Ram Murty The similarity between prime numbers and irreducible polynomials has been a dominant theme in the development of number theory and algebraic geometry.
More informationHomework until Test #2
MATH31: Number Theory Homework until Test # Philipp BRAUN Section 3.1 page 43, 1. It has been conjectured that there are infinitely many primes of the form n. Exhibit five such primes. Solution. Five such
More informationCMSC 858T: Randomized Algorithms Spring 2003 Handout 8: The Local Lemma
CMSC 858T: Randomized Algorithms Spring 2003 Handout 8: The Local Lemma Please Note: The references at the end are given for extra reading if you are interested in exploring these ideas further. You are
More informationMath 55: Discrete Mathematics
Math 55: Discrete Mathematics UC Berkeley, Fall 2011 Homework # 5, due Wednesday, February 22 5.1.4 Let P (n) be the statement that 1 3 + 2 3 + + n 3 = (n(n + 1)/2) 2 for the positive integer n. a) What
More informationThe last three chapters introduced three major proof techniques: direct,
CHAPTER 7 Proving NonConditional Statements The last three chapters introduced three major proof techniques: direct, contrapositive and contradiction. These three techniques are used to prove statements
More informationSEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov
Serdica Math. J. 30 (2004), 95 102 SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS Nickolay Khadzhiivanov, Nedyalko Nenov Communicated by V. Drensky Abstract. Let Γ(M) where M V (G) be the set of all vertices
More informationResearch Statement. Andrew Suk
Research Statement Andrew Suk 1 Introduction My research interests are combinatorial methods in discrete geometry. In particular, I am interested in extremal problems on geometric objects. My research
More informationThe positive minimum degree game on sparse graphs
The positive minimum degree game on sparse graphs József Balogh Department of Mathematical Sciences University of Illinois, USA jobal@math.uiuc.edu András Pluhár Department of Computer Science University
More informationToday s Topics. Primes & Greatest Common Divisors
Today s Topics Primes & Greatest Common Divisors Prime representations Important theorems about primality Greatest Common Divisors Least Common Multiples Euclid s algorithm Once and for all, what are prime
More informationConcentration of points on two and three dimensional modular hyperbolas and applications
Concentration of points on two and three dimensional modular hyperbolas and applications J. Cilleruelo Instituto de Ciencias Matemáticas (CSICUAMUC3MUCM) and Departamento de Matemáticas Universidad
More informationCollinear Points in Permutations
Collinear Points in Permutations Joshua N. Cooper Courant Institute of Mathematics New York University, New York, NY József Solymosi Department of Mathematics University of British Columbia, Vancouver,
More informationThe sum of digits of polynomial values in arithmetic progressions
The sum of digits of polynomial values in arithmetic progressions Thomas Stoll Institut de Mathématiques de Luminy, Université de la Méditerranée, 13288 Marseille Cedex 9, France Email: stoll@iml.univmrs.fr
More informationA simple criterion on degree sequences of graphs
Discrete Applied Mathematics 156 (2008) 3513 3517 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Note A simple criterion on degree
More informationZERODIVISOR GRAPHS OF POLYNOMIALS AND POWER SERIES OVER COMMUTATIVE RINGS
ZERODIVISOR GRAPHS OF POLYNOMIALS AND POWER SERIES OVER COMMUTATIVE RINGS M. AXTELL, J. COYKENDALL, AND J. STICKLES Abstract. We recall several results of zero divisor graphs of commutative rings. We
More informationInternational Journal of Information Technology, Modeling and Computing (IJITMC) Vol.1, No.3,August 2013
FACTORING CRYPTOSYSTEM MODULI WHEN THE COFACTORS DIFFERENCE IS BOUNDED Omar Akchiche 1 and Omar Khadir 2 1,2 Laboratory of Mathematics, Cryptography and Mechanics, Fstm, University of Hassan II MohammediaCasablanca,
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More informationCycles in a Graph Whose Lengths Differ by One or Two
Cycles in a Graph Whose Lengths Differ by One or Two J. A. Bondy 1 and A. Vince 2 1 LABORATOIRE DE MATHÉMATIQUES DISCRÉTES UNIVERSITÉ CLAUDEBERNARD LYON 1 69622 VILLEURBANNE, FRANCE 2 DEPARTMENT OF MATHEMATICS
More informationOn fractional parts of powers of real numbers close to 1
On fractional parts of powers of real numbers close to 1 Yann BUGEAUD and Niolay MOSHCHEVITIN Abstract We prove that there exist arbitrarily small positive real numbers ε such that every integral power
More informationMathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson
Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement
More informationA REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries
Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do
More informationOn Integer Additive SetIndexers of Graphs
On Integer Additive SetIndexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A setindexer of a graph G is an injective setvalued function f : V (G) 2 X such that
More informationSubsets of Euclidean domains possessing a unique division algorithm
Subsets of Euclidean domains possessing a unique division algorithm Andrew D. Lewis 2009/03/16 Abstract Subsets of a Euclidean domain are characterised with the following objectives: (1) ensuring uniqueness
More informationMarkov random fields and Gibbs measures
Chapter Markov random fields and Gibbs measures 1. Conditional independence Suppose X i is a random element of (X i, B i ), for i = 1, 2, 3, with all X i defined on the same probability space (.F, P).
More informationA 2factor in which each cycle has long length in clawfree graphs
A factor in which each cycle has long length in clawfree graphs Roman Čada Shuya Chiba Kiyoshi Yoshimoto 3 Department of Mathematics University of West Bohemia and Institute of Theoretical Computer Science
More information1. LINEAR EQUATIONS. A linear equation in n unknowns x 1, x 2,, x n is an equation of the form
1. LINEAR EQUATIONS A linear equation in n unknowns x 1, x 2,, x n is an equation of the form a 1 x 1 + a 2 x 2 + + a n x n = b, where a 1, a 2,..., a n, b are given real numbers. For example, with x and
More informationAbout the inverse football pool problem for 9 games 1
Seventh International Workshop on Optimal Codes and Related Topics September 61, 013, Albena, Bulgaria pp. 15133 About the inverse football pool problem for 9 games 1 Emil Kolev Tsonka Baicheva Institute
More informationSOLUTIONS TO ASSIGNMENT 1 MATH 576
SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS BY OLIVIER MARTIN 13 #5. Let T be the topology generated by A on X. We want to show T = J B J where B is the set of all topologies J on X with A J. This amounts
More informationMath212a1010 Lebesgue measure.
Math212a1010 Lebesgue measure. October 19, 2010 Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous theses in the history of mathematics.
More informationThe Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.
The Prime Numbers Before starting our study of primes, we record the following important lemma. Recall that integers a, b are said to be relatively prime if gcd(a, b) = 1. Lemma (Euclid s Lemma). If gcd(a,
More informationSome Polynomial Theorems. John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom.
Some Polynomial Theorems by John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom.com This paper contains a collection of 31 theorems, lemmas,
More informationOn the largest prime factor of the Mersenne numbers
On the largest prime factor of the Mersenne numbers Kevin Ford Department of Mathematics The University of Illinois at UrbanaChampaign Urbana Champaign, IL 61801, USA ford@math.uiuc.edu Florian Luca Instituto
More informationThe cyclotomic polynomials
The cyclotomic polynomials Notes by G.J.O. Jameson 1. The definition and general results We use the notation e(t) = e 2πit. Note that e(n) = 1 for integers n, e(s + t) = e(s)e(t) for all s, t. e( 1 ) =
More informationIntroduction to Finite Fields (cont.)
Chapter 6 Introduction to Finite Fields (cont.) 6.1 Recall Theorem. Z m is a field m is a prime number. Theorem (Subfield Isomorphic to Z p ). Every finite field has the order of a power of a prime number
More informationERDOS PROBLEMS ON IRREGULARITIES OF LINE SIZES AND POINT DEGREES A. GYARFAS*
BOLYAI SOCIETY MATHEMATICAL STUDIES, 11 Paul Erdos and his Mathematics. II, Budapest, 2002, pp. 367373. ERDOS PROBLEMS ON IRREGULARITIES OF LINE SIZES AND POINT DEGREES A. GYARFAS* Problems and results
More informationZachary Monaco Georgia College Olympic Coloring: Go For The Gold
Zachary Monaco Georgia College Olympic Coloring: Go For The Gold Coloring the vertices or edges of a graph leads to a variety of interesting applications in graph theory These applications include various
More informationAll trees contain a large induced subgraph having all degrees 1 (mod k)
All trees contain a large induced subgraph having all degrees 1 (mod k) David M. Berman, A.J. Radcliffe, A.D. Scott, Hong Wang, and Larry Wargo *Department of Mathematics University of New Orleans New
More informationAPPLICATIONS OF THE ORDER FUNCTION
APPLICATIONS OF THE ORDER FUNCTION LECTURE NOTES: MATH 432, CSUSM, SPRING 2009. PROF. WAYNE AITKEN In this lecture we will explore several applications of order functions including formulas for GCDs and
More informationINDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS
INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem
More informationDegree Hypergroupoids Associated with Hypergraphs
Filomat 8:1 (014), 119 19 DOI 10.98/FIL1401119F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Degree Hypergroupoids Associated
More informationON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath
International Electronic Journal of Algebra Volume 7 (2010) 140151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December
More informationON INDUCED SUBGRAPHS WITH ALL DEGREES ODD. 1. Introduction
ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD A.D. SCOTT Abstract. Gallai proved that the vertex set of any graph can be partitioned into two sets, each inducing a subgraph with all degrees even. We prove
More informationDiscrete Mathematics Lecture 3 Elementary Number Theory and Methods of Proof. Harper Langston New York University
Discrete Mathematics Lecture 3 Elementary Number Theory and Methods of Proof Harper Langston New York University Proof and Counterexample Discovery and proof Even and odd numbers number n from Z is called
More informationFACTORING CERTAIN INFINITE ABELIAN GROUPS BY DISTORTED CYCLIC SUBSETS
International Electronic Journal of Algebra Volume 6 (2009) 95106 FACTORING CERTAIN INFINITE ABELIAN GROUPS BY DISTORTED CYCLIC SUBSETS Sándor Szabó Received: 11 November 2008; Revised: 13 March 2009
More informationThe number of generalized balanced lines
The number of generalized balanced lines David Orden Pedro Ramos Gelasio Salazar Abstract Let S be a set of r red points and b = r + 2δ blue points in general position in the plane, with δ 0. A line l
More informationFACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z
FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization
More informationON GALOIS REALIZATIONS OF THE 2COVERABLE SYMMETRIC AND ALTERNATING GROUPS
ON GALOIS REALIZATIONS OF THE 2COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for
More informationMaximum Hitting Time for Random Walks on Graphs. Graham Brightwell, Cambridge University Peter Winkler*, Emory University
Maximum Hitting Time for Random Walks on Graphs Graham Brightwell, Cambridge University Peter Winkler*, Emory University Abstract. For x and y vertices of a connected graph G, let T G (x, y denote the
More informationSCORE SETS IN ORIENTED GRAPHS
Applicable Analysis and Discrete Mathematics, 2 (2008), 107 113. Available electronically at http://pefmath.etf.bg.ac.yu SCORE SETS IN ORIENTED GRAPHS S. Pirzada, T. A. Naikoo The score of a vertex v in
More informationDuality of linear conic problems
Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least
More informationArrangements of Stars on the American Flag
Arrangements of Stars on the American Flag Dimitris Koukoulopoulos and Johann Thiel Abstract. In this article, we examine the existence of nice arrangements of stars on the American flag. We show that
More informationIrreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients
DOI: 10.2478/auom20140007 An. Şt. Univ. Ovidius Constanţa Vol. 221),2014, 73 84 Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients Anca
More informationa 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given
More informationALMOST COMMON PRIORS 1. INTRODUCTION
ALMOST COMMON PRIORS ZIV HELLMAN ABSTRACT. What happens when priors are not common? We introduce a measure for how far a type space is from having a common prior, which we term prior distance. If a type
More information1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
More informationStrong Ramsey Games: Drawing on an infinite board
Strong Ramsey Games: Drawing on an infinite board Dan Hefetz Christopher Kusch Lothar Narins Alexey Pokrovskiy Clément Requilé Amir Sarid arxiv:1605.05443v2 [math.co] 25 May 2016 May 26, 2016 Abstract
More informationCHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.
CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,
More informationCHAPTER 5. Number Theory. 1. Integers and Division. Discussion
CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a
More informationADDITIVE GROUPS OF RINGS WITH IDENTITY
ADDITIVE GROUPS OF RINGS WITH IDENTITY SIMION BREAZ AND GRIGORE CĂLUGĂREANU Abstract. A ring with identity exists on a torsion Abelian group exactly when the group is bounded. The additive groups of torsionfree
More informationprinceton univ. F 13 cos 521: Advanced Algorithm Design Lecture 6: Provable Approximation via Linear Programming Lecturer: Sanjeev Arora
princeton univ. F 13 cos 521: Advanced Algorithm Design Lecture 6: Provable Approximation via Linear Programming Lecturer: Sanjeev Arora Scribe: One of the running themes in this course is the notion of
More information(x + a) n = x n + a Z n [x]. Proof. If n is prime then the map
22. A quick primality test Prime numbers are one of the most basic objects in mathematics and one of the most basic questions is to decide which numbers are prime (a clearly related problem is to find
More informationLecture 3: Finding integer solutions to systems of linear equations
Lecture 3: Finding integer solutions to systems of linear equations Algorithmic Number Theory (Fall 2014) Rutgers University Swastik Kopparty Scribe: Abhishek Bhrushundi 1 Overview The goal of this lecture
More informationGraphs without proper subgraphs of minimum degree 3 and short cycles
Graphs without proper subgraphs of minimum degree 3 and short cycles Lothar Narins, Alexey Pokrovskiy, Tibor Szabó Department of Mathematics, Freie Universität, Berlin, Germany. August 22, 2014 Abstract
More informationA Sublinear Bipartiteness Tester for Bounded Degree Graphs
A Sublinear Bipartiteness Tester for Bounded Degree Graphs Oded Goldreich Dana Ron February 5, 1998 Abstract We present a sublineartime algorithm for testing whether a bounded degree graph is bipartite
More informationMATH10040 Chapter 2: Prime and relatively prime numbers
MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive
More informationCHAPTER 3 Numbers and Numeral Systems
CHAPTER 3 Numbers and Numeral Systems Numbers play an important role in almost all areas of mathematics, not least in calculus. Virtually all calculus books contain a thorough description of the natural,
More informationPrimitive Prime Divisors of FirstOrder Polynomial Recurrence Sequences
Primitive Prime Divisors of FirstOrder Polynomial Recurrence Sequences Brian Rice brice@hmc.edu July 19, 2006 Abstract The question of which terms of a recurrence sequence fail to have primitive prime
More informationThe Conference Call Search Problem in Wireless Networks
The Conference Call Search Problem in Wireless Networks Leah Epstein 1, and Asaf Levin 2 1 Department of Mathematics, University of Haifa, 31905 Haifa, Israel. lea@math.haifa.ac.il 2 Department of Statistics,
More informationCHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY
January 10, 2010 CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY The set of polynomials over a field F is a ring, whose structure shares with the ring of integers many characteristics.
More informationPh.D. Thesis. Judit NagyGyörgy. Supervisor: Péter Hajnal Associate Professor
Online algorithms for combinatorial problems Ph.D. Thesis by Judit NagyGyörgy Supervisor: Péter Hajnal Associate Professor Doctoral School in Mathematics and Computer Science University of Szeged Bolyai
More informationNONCANONICAL EXTENSIONS OF ERDŐSGINZBURGZIV THEOREM 1
NONCANONICAL EXTENSIONS OF ERDŐSGINZBURGZIV THEOREM 1 R. Thangadurai StatMath Division, Indian Statistical Institute, 203, B. T. Road, Kolkata 700035, INDIA thanga v@isical.ac.in Received: 11/28/01,
More informationTriangle deletion. Ernie Croot. February 3, 2010
Triangle deletion Ernie Croot February 3, 2010 1 Introduction The purpose of this note is to give an intuitive outline of the triangle deletion theorem of Ruzsa and Szemerédi, which says that if G = (V,
More informationNotes on Factoring. MA 206 Kurt Bryan
The General Approach Notes on Factoring MA 26 Kurt Bryan Suppose I hand you n, a 2 digit integer and tell you that n is composite, with smallest prime factor around 5 digits. Finding a nontrivial factor
More informationBasic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely
More information