A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS
|
|
- Austen Alexander
- 5 years ago
- Views:
Transcription
1 A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS BRIAN L MILLER & CHRIS MONICO TEXAS TECH UNIVERSITY Abstract We describe a particular greedy construction of an arithmetic progression-free sequence from a finite composition We also give an analysis on the properties of the resulting sequence 1 Introduction One of the many open problems that remain in number theory addresses the question of existence of arbitrarily long finite arithmetic progressions of primes [3] Erdös asked a more general question: If A is an infinite set of positive integers such that the series a A a 1 diverges, then must A contain arbitrarily long finite arithmetic progressions [4]? If the answer to his question is yes, then this would definitely imply the existence of arbitrarily long finite arithmetic progressions of primes since p 1 is known to diverge p The main concern of this paper is approaching Erdös conjecture by the contrapositive: If A does not contain arbitrarily long finite arithmetic progressions, does a 1 necessarily converge? More specifically, we mainly concentrate on a A a specific case of his conjecture; ie, we concentrate on sets that do not contain any AP Hence it suffices to concentrate on sequences without a 3-term AP (AP will denote arithmetic progression from this point forward) We should also make the note that progression, without the qualifier arithmetic, will refer to a finite sequence In the case that an AP is infinite, we will say AP sequence We develop a construction to produce AP-free sequences; we then analyze and offer examples of the construction Description of the Construction 1 Introduction In order to discuss our construction, we must first define the notion of an irreducible composition Definition 1 A composition, m = c 1 +c + +c k, is reducible when the following condition is satisfied: c i = c i+ k+1 for i = 1,, k 1 and for k odd Example The composition 1,, 1 is reducible while the composition 1,, 4,, 1 is irreducible Date: April 5, 005 Paper originated from a master s thesis 1
2 BRIAN L MILLER & CHRIS MONICO TEXAS TECH UNIVERSITY The basic idea is to start with an irreducible composition, c 1,, c n 1 (we will list a composition as before instead of using the convention c c n 1 ), that satisfies the following conditions Proposition 3 A progression S constructed from a composition, k = c 1 + c + + c n, such that d 1 = 1, d n+1 = c i, is an AP-free progression if and only if c i 1 i n c j, for all a, b, s, 1 a s < b n Proof The proof is straightforward and therefore omitted Upon starting with an irreducible composition, an exact copy of the composition is appended leaving an open spot for a new value, µ, as in the following illustration: c 1,, c n 1 c 1,, c n 1, µ, copy c 1,, c n 1, µ, c 1,, c n 1 The value of µ is then chosen so that the resulting composition still satisfies the conditions of Proposition 3 This process is then repeatendefinitely Notice that after one iteration we have doubled the number of elements in the sequence and then added one more We can also re-index the resulting sequence as follows: d 1,, d n 1, µ, d 1,, d n 1 d 1,, d n 1, µ = d n, d n+1,, d n 1 Formal Description of the Construction We now formally describe the process Let c 1,, c n 1 be positive integers, n such that c i c j, for all 1 a s < b < n The conditions above are equivalent to those in Proposition 3 Hence by Proposition 3, the finite set of integers S = {m k k < n, m 1 = 1 and m k = 1<i k c i} also contains no AP We now inductively define a sequence {d k } of positive integers by c k, if 1 k < n d k = µ t, if k = t n for some t 0 d k t n, if t < k < t+1 n, where µ t is the least positive integer such that for all 1 a, b < t+1 n, µ t (1) for all t n + 1 s b () s j b µ t t n+1 i<s t n+1 j b a i< t n s<j< t n for all a s < t n Notice that in 1 and, the RHS takes only a finite set of possible values, and so by the Well-Ordering principle, µ t is well-defined We should also remark here that this algorithm produces sequences that coincide with the greedy construction of Odlyzko in certain cases It is now necessary to show that any sequence constructed as above does not contain an AP
3 A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS3 Theorem 4 Let {d k } be a sequence constructed as above from c 1,, c n 1 Then (1) For any 1 a s < b, () The subsequence d 0 n, d 1 n, d n, is strictly increasing Proof We will prove 1 by induction It is true for 1 a s < b < 0 n by assumption, so suppose the result is true for all 1 a s < b < t n By construction of {d k } and the induction hypothesis, the result holds for t n < a s < b < t+1 n, so it remains only to show that it holds for 1 a s, t n < b < t+1 n First suppose that s < t n Then = µ t = 0 since µ t satisfies Now suppose that s t n Then, = = 0 a i< t n a i< t n s<j< t n t n+1 j b µ t + µ t + t n<i s t n<j b t n+1 i s s<j< t n µ t since µ t satisfies 1 We now prove Notice that µ t+1 µ t by definition of µ t since µ t+1 must in particular satisfy the same inequalities as does µ t To see this, notice that µ t+1 cannot be less than µ t since µ t is the least positive integer such that 1 and hold Ie, µ t+1 < µ t contradicts the definition of µ t Thus it suffices to show that µ t+1 µ t This follows immediately from part 1 by taking a = 1, s = t n, b = t+1 n: 0 1 i t t n<j t+1 n = µ t µ t+1 1 i< t t n<j< t+1 n = µ t µ t+1 1 i< t 1 j< t n = µ t µ t+1 Corollary 5 Let c 1,, c n 1 and {d k } be defined as above Then the sequence defined by m 1 = 1, m k+1 = m k + d k contains no arithmetic progressions Proof Proof follows immediately from Proposition 3 since the conditions in Theorem 4 are equivalent to those in Proposition 3
4 4 BRIAN L MILLER & CHRIS MONICO TEXAS TECH UNIVERSITY 3 Example of the Construction Let us start with the initial composition of 1 Although it may seem rahter uninteresting at first glance, some very neat observations and patterns arise In fact, starting the construction with the initial composition 1 coincides with the greedy construction of S(1) described by Odlyzko and Stanely [1] By expanding the partition 1 by the algorithm we get the following partition after four iterations: 1,, 1, 5, 1,, 1, 14, 1,, 1, 5, 1,, 1, 41, 1,, 1, 5, 1,, 1, 14, 1,, 1, 5, 1,, 1 The value of the µ s in order are, 5, 14, 41 We then set up the equations as follows: µ 1 µ 0 = 5 = 3 1 µ µ 1 = 14 5 = 3 µ 3 µ = = 3 3 µ t+1 µ t = 3 t+1 Then by adding all the equations, we get µ t+1 µ 0 = 3( t ) ( 3 t+1 ) 1 = 3 = 3t+ 3 µ t+1 = 3t+ 3 + = 3t+ + 1 Now, consider the following (remember that we are using the initial parition 1, hence n = ): m 1 = 1 m = 1 + d 1 m n 1 = 1 + d d n m n = 1 + d d n + d n 1 = µ 0 m n+1 = 1 + d d n m n = 1 + d d n 1 + d n + d n d n 1 = µ 1 Hence m k is the AP-free sequence Now since each µ t can now be described by a function of t, each m a= t n can also be described Therefore, we now have the means to determine the convergence properties of the sum of the reciprocals We now show the convergence of the sum of the reciprocals of the sequence constructed by the greedy algorithm Then we have
5 A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS5 m 1 1 implies 1 1 m, m }{{} 3 µ 0 1 terms implies n 1 i= t+1 n 1 m 1 i m t n,, µ t+1 n 1 µ t implies m 1 i t }{{} 3 t i= t n terms t n Thus adding the inequalities in the last column and replacing n with we get 1 + t=0 The summation t t=1 3 t+1 + c t+1 3 t = t 3 t t=0 clearly converges 1 m t=1 t 4 Consequences of the Construction In the last section, it was shown that the µ t s for the greedy algorithm followed a certain pattern This is not, however, the general pattern for all sequences created by our construction We now attempt to generalize a pattern for all µ t s with any initial composition Lemma 6 Let {d m } be a sequence constructed as above from c 1,, c n 1 Then for any T > t 0, we have: (1) + T n+ t n, for all 1 i < t n () + t+1 n, for all T n t n i < T n (3) = t+1 n, for all T n < j < T n + t n (4) = + t n, for all T n t+1 n t n j T n t+1 n Proof Notice that 1 follows immediately from the definition of {d n } since + T n+ t n = + T n = For, notice that we may write i = T n t n + j for 0 j < t n Then i + t+1 n = T n + t n + j for 0 j < t n So, + t+1 n = d T n+ t n+j = by 1 And then d T 1 n+ + t n+j = d T n+ + t n+j = = To prove 3, let i = j t+1 n Then T n < j < T n + t n implies that T n t+1 n < i < T n Finally, for 4, notice that from we can write + t+1 n = t+1 n = t n for T n t n j < T n Then for i = t+1 n, we have d t n+i for T n t+1 n t n j T n t+1 n Theorem 7 Let T > t + 1 If µ T >, then µ T > Proof Assume by contradiction that µ T < We now will show that µ t = µ T the minimality of µ t We now proceed by cases Let = 1 i t n 1 i t n µ T > 0 satisfies 1 and thus contradicting
6 6 BRIAN L MILLER & CHRIS MONICO TEXAS TECH UNIVERSITY Case 1: Now suppose, by way of contradiction, that there exist 1 a < t n < b < t+1 n and s [a, t n] so that µ t + We then have (3) s<j< t n µ T s<j< t n t n<j b t n<j b Now let ã = T n t n + a, b = T n t n + b and s = T n t n + s Then substituting into equation 3, we have, µ T s<j< T n Which upon simplifying, we get (4) s<j b T n<j b We now have T n t n + 1 ã < b < T n + t n, s [ã, T n] From Lemma 6, we have the following identities: (5) (6) (7) (8) T n t n i<ã T n t+1 n+1 i< T n t n b t+1 n<i< T n t n b t+1 n<i< T n t n T n+ t n i<ã+ t+1 n b<j< T n+ t n b t+1 n t n<i< T n t+1 n Notice that from Equation 7 and Equation 8, we have (9) b t+1 n t n<i< T n t+1 n b<j< T n+ t n By substituting Equation 5 into equation 4 and adding the LHS of Equation 6 and Equation 9 to the LHS of equation 4 while adding the RHS of Equation 6 and Equation 9 to the RHS of equation 4, and we get the following T n t+1 n<i< T n t n T n t n i<ã b t+1 n t n<i< T n t+1 n (10) = s<j b T n+ t n j<ã+ t+1 n b<j< T n+ t n We use the following picture to illustrate the substitutions:
7 A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS7 LHS LHS LHS LHS T {}}{ {}}{ {}}{ {}}{ b 4 5 µ }{{}}{{}}{{} 1 3 ã s RHS RHS RHS 9 6 where (1) b t+1 n () T n t+1 n + 1 (3) T n t n (4) T n + t n (5) T n + t n + a Then by simplifying Equation 10, we have b t+1 n t n<i s s<j<ã+ t+1 n contradicting the definition of µ T Case : Now suppose, by way of contradiction, that there exist 1 a < t n < b < t+1 n and s [ t n, b] so that µ t + We then have (11) a i< t n µ T a i< t n 1 j< t n t n<i s, t n<i s s<j<b Now let ã = T n t n + a, b = T n t n + b and s = T n t n + s Then substituting into equation 11, we have, µ T ã i< T n 1 j< t n Which upon simplifying, we get (1) s<j b T n<i s 1 j< t n s<j b We now have T n t n + 1 ã < b < T n + t n, s [ T n, b] From Lemma 6, we have the following identities: (13) (14) T n t n i<ã T n+ t n+1 i< T n+ t+1 n T n+ t+1 n i<ã+ t+1 n+ t n By substituting Equation 13 into Equation 1 and adding the RHS of Equation 9 and Equation 14 to the RHS of Equation 1 while adding the LHS of Equation 14 and Equation 8, we get the following b t+1 n<i< T n t n T n t n i<ã s<j b
8 8 BRIAN L MILLER & CHRIS MONICO TEXAS TECH UNIVERSITY (15) b<i< T n+ t n T n+ t n+1 i< T n+ t+1 n T n+ t+1 n i<ã+ t+1 n+ t n We use the following picture to illustrate the substitutions: LHS LHS 8 14 LHS {}}{ {}}{ {}}{ s b }{{}}{{}}{{}}{{} 1 ã µ T RHS RHS RHS RHS where (1) b t+1 n () T n t n (3) T n + t n (4) T n + t+1 n (5) ã + t+1 n + t n Then by simplifying Equation 15, we have b t+1 n<i s contradicting the definition of µ T s<j<ã+ t+1 n+ t n, The last piece of the puzzle in order to show that the sum of the reciprocals of the sequences created using our construction converges is the following theorem Theorem 8 If T > t + and µ T >, then µ T > 1 i t n Proof Assume by contradiction that µ T < We now will show that µ t+1 = µ T 1 i< t+1 n 1 i< t+1 n Let = 1 i< t+1 n 1 i t+1 n µ T > 0 satisfies 1 and thus contradicting the minimality of µ t+1 We now proceed by cases Case 1: Now suppose, by way of contradiction, that there exist 1 a < t+1 n < b < t+ n and s [a, t n] so that µ t+1 + We then have (16) s<j< t+1 n t+1 n<j b µ T s<j< t+1 n 1 i< t+1 n t+1 n<j b Now let ã = T n t+1 n + a, b = T n t+1 n + b and s = T n t+1 n + s Then substituting into equation 16, we have, µ T s<j< T n 1 i< t+1 n T n<j b
9 A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS9 Which upon simplifying, we get (17) 1 i< t+1 n s<j b We now have T n t+1 n+1 ã < b < T n+ t+1 n, s [ã, T n] From Lemma 6, we have the following identities: (18) (19) (0) (1) 1 i< t+1 n T n t+1 n i<ã b<i< T n+ t+1 n T n t+ n+1 i< T n t+1 n T n+ t+1 n i<ã+ t+ n b t+ n t+1 n<j< T n+ t+ n By substituting Equation 18 into equation 17 and adding the LHS of Equation 19 and Equation 0 to the LHS of equation 17 while adding the RHS of Equation 19 and Equation 0 to the RHS of equation 17, and we get the following T n+ t+1 n<i< T n t n T n t n i<ã b t+1 n t n<i< T n t+1 n () = s<j b T n+ t n j<ã+ t+1 n b<j< T n+ t n Then by simplifying Equation, we have b t+1 n t n<i s s<j<ã+ t+1 n contradicting the definition of µ T Case : Because Case 1 is so similar to Case 1 of the previous theorem, Case is also very similar, We now show that the sequence built from our construction converges con- Corollary 9 Let {m k } be a sequence constructed as above Then k 1 verges 1 m k Proof By Theorems 7 and 8, we have µ T > 1 i t+1 n
10 10 BRIAN L MILLER & CHRIS MONICO TEXAS TECH UNIVERSITY It then follows that µ T +3 > 1 i T +1 n = = > 3µ T 1 i< T n 1 i< T n 1 i< T n µ T + µ T + Then notice that by the same argument we have T n+1 i< T +1 n 1 i< T n µ T + µ T +1 µ T +4 > 3µ T +1 µ T +5 > 3µ T + µ T +1 µ T +1 Continuing in the same manner, we now have the following for k = 1,, 3, µ T +3k > 3 k µ T Notice that µ T +3k+1 > 3 k µ T +1 µ T +3k+ > 3 k µ T + m T +3+0 n+1 through m T +3+1 n 3µ T m T +3+1 n+1 through m T +3+ n 3µ T +1 m T +3+ n+1 through m T +3+3 n 3µ T + m T +3+j n+1 through m T +3+(j+1) n 3 j/3 +1 µ T +j mod 3 Therefore it follows that 1 1 = + m k m k k 1 k T +3 n j T m k k T +3 8 T j=,5,8, j 3 j µ T + m j T +3+j n<i T +3+(j+1) n j=0,3,6, T m k µ T k T +3 < j=0,3,6, References 1 j 3 j + 8 T µ T j=1,4,7, j 3 j + 8 T µ T +1 j=1,4,7, j 3 j µ T +1 + j 3 j + 8 T µ T + j=,5,8, [1] AM Odlyzko and Stanely, Some curious sequences constructed with the greedy algorithm, unpublished Bell Laboratories report, 1978 [] Brian L Miller, A Construction of Arithmetic-Free Sequences, Master s Thesis, 004 [3] Melvyn B Nathanson, Elementary Methods in Number Theory, Graduate Texts in Mathematics, Springer, 000 [4] Richard K Guy, Unsolved problems in number theory, First, New York; Berlin: Springer- Verlag, c1981, 1981 j 3 j
11 A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS 11 DEPARTMENT OF MATHEMATICS, ARIZONA TERRITORIAL NORMAL SCHOOL, TEMPE, ARIZONA 8587
Sums of Squares. Bianca Homberg and Minna Liu
Sums of Squares Bianca Homberg and Minna Liu June 24, 2010 Abstract For our exploration topic, we researched the sums of squares. Certain properties of numbers that can be written as the sum of two squares
More informationOn some inequalities between prime numbers
On some inequalities between prime numbers Martin Maulhardt July 204 ABSTRACT. In 948 Erdős and Turán proved that in the set of prime numbers the inequality p n+2 p n+ < p n+ p n is satisfied infinitely
More informationStandard forms for writing numbers
Standard forms for writing numbers In order to relate the abstract mathematical descriptions of familiar number systems to the everyday descriptions of numbers by decimal expansions and similar means,
More informationEGYPTIAN FRACTIONS WITH SMALL NUMERATORS
EGYPTIAN FRACTIONS WITH SMALL NUMERATORS R.ANITHA Department of Mathematics, Saradha Gangadharan College, Puducherry Email id : anithamath09@gmail.com Dr. A.M.S. RAMASAMY Department of Mathematics, Vel
More informationEECS 1028 M: Discrete Mathematics for Engineers
EECS 1028 M: Discrete Mathematics for Engineers Suprakash Datta Office: LAS 3043 Course page: http://www.eecs.yorku.ca/course/1028 Also on Moodle S. Datta (York Univ.) EECS 1028 W 18 1 / 32 Proofs Proofs
More informationarxiv:math/ v2 [math.nt] 3 Dec 2003
arxiv:math/0302091v2 [math.nt] 3 Dec 2003 Every function is the representation function of an additive basis for the integers Melvyn B. Nathanson Department of Mathematics Lehman College (CUNY) Bronx,
More informationON A PARTITION PROBLEM OF CANFIELD AND WILF. Departamento de Matemáticas, Universidad de los Andes, Bogotá, Colombia
#A11 INTEGERS 12A (2012): John Selfridge Memorial Issue ON A PARTITION PROBLEM OF CANFIELD AND WILF Željka Ljujić Departamento de Matemáticas, Universidad de los Andes, Bogotá, Colombia z.ljujic20@uniandes.edu.co
More informationLaver Tables A Direct Approach
Laver Tables A Direct Approach Aurel Tell Adler June 6, 016 Contents 1 Introduction 3 Introduction to Laver Tables 4.1 Basic Definitions............................... 4. Simple Facts.................................
More informationWilson s Theorem and Fermat s Little Theorem
Wilson s Theorem and Fermat s Little Theorem Wilson stheorem THEOREM 1 (Wilson s Theorem): (p 1)! 1 (mod p) if and only if p is prime. EXAMPLE: We have (2 1)!+1 = 2 (3 1)!+1 = 3 (4 1)!+1 = 7 (5 1)!+1 =
More informationarxiv: v1 [math.gm] 1 Oct 2015
A WINDOW TO THE CONVERGENCE OF A COLLATZ SEQUENCE arxiv:1510.0174v1 [math.gm] 1 Oct 015 Maya Mohsin Ahmed maya.ahmed@gmail.com Accepted: Abstract In this article, we reduce the unsolved problem of convergence
More informationCSE 20 DISCRETE MATH. Winter
CSE 20 DISCRETE MATH Winter 2017 http://cseweb.ucsd.edu/classes/wi17/cse20-ab/ Today's learning goals Distinguish between a theorem, an axiom, lemma, a corollary, and a conjecture. Recognize direct proofs
More informationMATH 152 Problem set 6 solutions
MATH 52 Problem set 6 solutions. Z[ 2] is a Euclidean domain (i.e. has a division algorithm): the idea is to approximate the quotient by an element in Z[ 2]. More precisely, let a+b 2, c+d 2 Z[ 2] (of
More informationFermat numbers and integers of the form a k + a l + p α
ACTA ARITHMETICA * (200*) Fermat numbers and integers of the form a k + a l + p α by Yong-Gao Chen (Nanjing), Rui Feng (Nanjing) and Nicolas Templier (Montpellier) 1. Introduction. In 1849, A. de Polignac
More informationClimbing an Infinite Ladder
Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite
More informationEconomics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017
Economics 04 Summer/Fall 07 Lecture Monday July 7, 07 Section.. Methods of Proof We begin by looking at the notion of proof. What is a proof? Proof has a formal definition in mathematical logic, and a
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics
More informationCSE 20 DISCRETE MATH. Fall
CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Distinguish between a theorem, an axiom, lemma, a corollary, and a conjecture. Recognize direct proofs
More informationProofs of the infinitude of primes
Proofs of the infinitude of primes Tomohiro Yamada Abstract In this document, I would like to give several proofs that there exist infinitely many primes. 0 Introduction It is well known that the number
More informationChapter 1. Introduction to prime number theory. 1.1 The Prime Number Theorem
Chapter 1 Introduction to prime number theory 1.1 The Prime Number Theorem In the first part of this course, we focus on the theory of prime numbers. We use the following notation: we write f( g( as if
More informationMATRIX GENERATION OF THE DIOPHANTINE SOLUTIONS TO SUMS OF 3 n 9 SQUARES THAT ARE SQUARE (PREPRINT) Abstract
MATRIX GENERATION OF THE DIOPHANTINE SOLUTIONS TO SUMS OF 3 n 9 SQUARES THAT ARE SQUARE (PREPRINT) JORDAN O. TIRRELL Student, Lafayette College Easton, PA 18042 USA e-mail: tirrellj@lafayette.edu CLIFFORD
More informationThe following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof
Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)
More informationProblem Set 5 Solutions
Problem Set 5 Solutions Section 4.. Use mathematical induction to prove each of the following: a) For each natural number n with n, n > + n. Let P n) be the statement n > + n. The base case, P ), is true
More informationRepresenting integers as linear combinations of powers
ubl. Math. Debrecen Manuscript (August 15, 2011) Representing integers as linear combinations of powers By Lajos Hajdu and Robert Tijdeman Dedicated to rofessors K. Győry and A. Sárközy on their 70th birthdays
More informationTheorem 1.1 (Prime Number Theorem, Hadamard, de la Vallée Poussin, 1896). let π(x) denote the number of primes x. Then x as x. log x.
Chapter 1 Introduction 1.1 The Prime Number Theorem In this course, we focus on the theory of prime numbers. We use the following notation: we write f( g( as if lim f(/g( = 1, and denote by log the natural
More informationClimbing an Infinite Ladder
Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite
More informationSIX PROOFS OF THE INFINITUDE OF PRIMES
SIX PROOFS OF THE INFINITUDE OF PRIMES ALDEN MATHIEU 1. Introduction The question of how many primes exist dates back to at least ancient Greece, when Euclid proved the infinitude of primes (circa 300
More informationCounting Matrices Over a Finite Field With All Eigenvalues in the Field
Counting Matrices Over a Finite Field With All Eigenvalues in the Field Lisa Kaylor David Offner Department of Mathematics and Computer Science Westminster College, Pennsylvania, USA kaylorlm@wclive.westminster.edu
More informationGOLOMB S ARITHMETICAL SEMIGROUP TOPOLOGY AND A SEMIPRIME SUFFICIENCY CONDITION FOR DIRICHLET S THEOREM
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 46, Number 3, 2016 GOLOMB S ARITHMETICAL SEMIGROUP TOPOLOGY AND A SEMIPRIME SUFFICIENCY CONDITION FOR DIRICHLET S THEOREM CHRIS ORUM ABSTRACT. Dirichlet s theorem
More informationNotes on Systems of Linear Congruences
MATH 324 Summer 2012 Elementary Number Theory Notes on Systems of Linear Congruences In this note we will discuss systems of linear congruences where the moduli are all different. Definition. Given the
More informationChapter 1. Introduction to prime number theory. 1.1 The Prime Number Theorem
Chapter 1 Introduction to prime number theory 1.1 The Prime Number Theorem In the first part of this course, we focus on the theory of prime numbers. We use the following notation: we write f g as if lim
More information32 Divisibility Theory in Integral Domains
3 Divisibility Theory in Integral Domains As we have already mentioned, the ring of integers is the prototype of integral domains. There is a divisibility relation on * : an integer b is said to be divisible
More informationOn the Infinitude of Twin-Primes Bao Qi Feng
On the Infinitude of Twin-Primes Bao Qi Feng Department of Mathematical Sciences, Kent State University at Tuscarawas 330 University Dr. NE, New Philadelphia, OH 44663, USA. Abstract In this article, we
More informationTHE ARTIN-SCHREIER THEOREM KEITH CONRAD
THE ARTIN-SCHREIER THEOREM KEITH CONRAD 1. Introduction The algebraic closure of R is C, which is a finite extension. Are there other fields which are not algebraically closed but have an algebraic closure
More informationCISC-102 Fall 2017 Week 3. Principle of Mathematical Induction
Week 3 1 of 17 CISC-102 Fall 2017 Week 3 Principle of Mathematical Induction A proposition is defined as a statement that is either true or false. We will at times make a declarative statement as a proposition
More informationEGYPTIAN FRACTIONS WITH EACH DENOMINATOR HAVING THREE DISTINCT PRIME DIVISORS
#A5 INTEGERS 5 (205) EGYPTIAN FRACTIONS WITH EACH DENOMINATOR HAVING THREE DISTINCT PRIME DIVISORS Steve Butler Department of Mathematics, Iowa State University, Ames, Iowa butler@iastate.edu Paul Erdős
More informationNUMBERS WITH INTEGER COMPLEXITY CLOSE TO THE LOWER BOUND
#A1 INTEGERS 12A (2012): John Selfridge Memorial Issue NUMBERS WITH INTEGER COMPLEXITY CLOSE TO THE LOWER BOUND Harry Altman Department of Mathematics, University of Michigan, Ann Arbor, Michigan haltman@umich.edu
More information3 The language of proof
3 The language of proof After working through this section, you should be able to: (a) understand what is asserted by various types of mathematical statements, in particular implications and equivalences;
More informationarxiv: v1 [math.co] 27 Aug 2015
P-positions in Modular Extensions to Nim arxiv:1508.07054v1 [math.co] 7 Aug 015 Tanya Khovanova August 31, 015 Abstract Karan Sarkar In this paper, we consider a modular extension to the game of Nim, which
More informationGaussian integers. 1 = a 2 + b 2 = c 2 + d 2.
Gaussian integers 1 Units in Z[i] An element x = a + bi Z[i], a, b Z is a unit if there exists y = c + di Z[i] such that xy = 1. This implies 1 = x 2 y 2 = (a 2 + b 2 )(c 2 + d 2 ) But a 2, b 2, c 2, d
More informationHomework 9 Solutions to Selected Problems
Homework 9 Solutions to Selected Problems June 11, 2012 1 Chapter 17, Problem 12 Since x 2 + x + 4 has degree 2 and Z 11 is a eld, we may use Theorem 17.1 and show that f(x) is irreducible because it has
More informationEquidivisible consecutive integers
& Equidivisible consecutive integers Ivo Düntsch Department of Computer Science Brock University St Catherines, Ontario, L2S 3A1, Canada duentsch@cosc.brocku.ca Roger B. Eggleton Department of Mathematics
More informationON THE SET OF REDUCED φ-partitions OF A POSITIVE INTEGER
ON THE SET OF REDUCED φ-partitions OF A POSITIVE INTEGER Jun Wang Department of Applied Mathematics, Dalian University of Technology, Dalian 116024, P.R. China Xin Wang Department of Applied Mathematics,
More informationBipartite Subgraphs of Integer Weighted Graphs
Bipartite Subgraphs of Integer Weighted Graphs Noga Alon Eran Halperin February, 00 Abstract For every integer p > 0 let f(p be the minimum possible value of the maximum weight of a cut in an integer weighted
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationHOW TO WRITE PROOFS. Dr. Min Ru, University of Houston
HOW TO WRITE PROOFS Dr. Min Ru, University of Houston One of the most difficult things you will attempt in this course is to write proofs. A proof is to give a legal (logical) argument or justification
More informationGraph coloring, perfect graphs
Lecture 5 (05.04.2013) Graph coloring, perfect graphs Scribe: Tomasz Kociumaka Lecturer: Marcin Pilipczuk 1 Introduction to graph coloring Definition 1. Let G be a simple undirected graph and k a positive
More informationNumber Theory Homework.
Number Theory Homewor. 1. The Theorems of Fermat, Euler, and Wilson. 1.1. Fermat s Theorem. The following is a special case of a result we have seen earlier, but as it will come up several times in this
More informationThe primitive root theorem
The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under
More informationIndependent Transversals in r-partite Graphs
Independent Transversals in r-partite Graphs Raphael Yuster Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel Abstract Let G(r, n) denote
More informationScalar multiplication in compressed coordinates in the trace-zero subgroup
Scalar multiplication in compressed coordinates in the trace-zero subgroup Giulia Bianco and Elisa Gorla Institut de Mathématiques, Université de Neuchâtel Rue Emile-Argand 11, CH-2000 Neuchâtel, Switzerland
More informationJeong-Hyun Kang Department of Mathematics, University of West Georgia, Carrollton, GA
#A33 INTEGERS 10 (2010), 379-392 DISTANCE GRAPHS FROM P -ADIC NORMS Jeong-Hyun Kang Department of Mathematics, University of West Georgia, Carrollton, GA 30118 jkang@westga.edu Hiren Maharaj Department
More informationJaegug Bae and Sungjin Choi
J. Korean Math. Soc. 40 (2003), No. 5, pp. 757 768 A GENERALIZATION OF A SUBSET-SUM-DISTINCT SEQUENCE Jaegug Bae and Sungjin Choi Abstract. In 1967, as an answer to the question of P. Erdös on a set of
More informationGenerell Topologi. Richard Williamson. May 28, 2013
Generell Topologi Richard Williamson May 28, 2013 1 20 Thursday 21st March 20.1 Link colourability, continued Examples 20.1. (4) Let us prove that the Whitehead link is not p-colourable for any odd prime
More informationON THE SUM OF ELEMENT ORDERS OF FINITE ABELIAN GROUPS
ANALELE ŞTIINŢIFICE ALE UNIVERSITĂŢII AL.I. CUZA DIN IAŞI (S.N.) MATEMATICĂ, Tomul...,..., f... DOI: 10.2478/aicu-2013-0013 ON THE SUM OF ELEMENT ORDERS OF FINITE ABELIAN GROUPS BY MARIUS TĂRNĂUCEANU and
More informationProof Terminology. Technique #1: Direct Proof. Learning objectives. Proof Techniques (Rosen, Sections ) Direct Proof:
Proof Terminology Proof Techniques (Rosen, Sections 1.7 1.8) TOPICS Direct Proofs Proof by Contrapositive Proof by Contradiction Proof by Cases Theorem: statement that can be shown to be true Proof: a
More information2. Prime and Maximal Ideals
18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let
More information1. (16 points) Circle T if the corresponding statement is True or F if it is False.
Name Solution Key Show All Work!!! Page 1 1. (16 points) Circle T if the corresponding statement is True or F if it is False. T F The sequence {1, 1, 1, 1, 1, 1...} is an example of an Alternating sequence.
More informationGENERALIZATIONS OF SOME ZERO-SUM THEOREMS. Sukumar Das Adhikari Harish-Chandra Research Institute, Chhatnag Road, Jhusi, Allahabad , INDIA
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A52 GENERALIZATIONS OF SOME ZERO-SUM THEOREMS Sukumar Das Adhikari Harish-Chandra Research Institute, Chhatnag Road, Jhusi, Allahabad
More informationON INTEGERS EXPRESSIBLE BY SOME SPECIAL LINEAR FORM. 1. Introduction
ON INTEGERS EXPRESSIBLE BY SOME SPECIAL LINEAR FORM A. DUBICKAS and A. NOVIKAS Abstract. Let E(4) be the set of positive integers expressible by the form 4M d, where M is a multiple of the product ab and
More informationON MONOCHROMATIC ASCENDING WAVES. Tim LeSaulnier 1 and Aaron Robertson Department of Mathematics, Colgate University, Hamilton, NY 13346
INTEGERS: Electronic Journal of Combinatorial Number Theory 7(), #A3 ON MONOCHROMATIC ASCENDING WAVES Tim LeSaulnier 1 and Aaron Robertson Department of Mathematics, Colgate University, Hamilton, NY 1336
More informationLebesgue-Radon-Nikodym Theorem
Lebesgue-Radon-Nikodym Theorem Matt Rosenzweig 1 Lebesgue-Radon-Nikodym Theorem In what follows, (, A) will denote a measurable space. We begin with a review of signed measures. 1.1 Signed Measures Definition
More informationA n = A N = [ N, N] A n = A 1 = [ 1, 1]. n=1
Math 235: Assignment 1 Solutions 1.1: For n N not zero, let A n = [ n, n] (The closed interval in R containing all real numbers x satisfying n x n). It is easy to see that we have the chain of inclusion
More informationCSC 344 Algorithms and Complexity. Proof by Mathematical Induction
CSC 344 Algorithms and Complexity Lecture #1 Review of Mathematical Induction Proof by Mathematical Induction Many results in mathematics are claimed true for every positive integer. Any of these results
More informationMULTIPLICITIES OF MONOMIAL IDEALS
MULTIPLICITIES OF MONOMIAL IDEALS JÜRGEN HERZOG AND HEMA SRINIVASAN Introduction Let S = K[x 1 x n ] be a polynomial ring over a field K with standard grading, I S a graded ideal. The multiplicity of S/I
More informationCHOMP ON NUMERICAL SEMIGROUPS
CHOMP ON NUMERICAL SEMIGROUPS IGNACIO GARCÍA-MARCO AND KOLJA KNAUER ABSTRACT. We consider the two-player game chomp on posets associated to numerical semigroups and show that the analysis of strategies
More informationOn zero-sum partitions and anti-magic trees
Discrete Mathematics 09 (009) 010 014 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: wwwelseviercom/locate/disc On zero-sum partitions and anti-magic trees Gil Kaplan,
More informationNew infinite families of Candelabra Systems with block size 6 and stem size 2
New infinite families of Candelabra Systems with block size 6 and stem size 2 Niranjan Balachandran Department of Mathematics The Ohio State University Columbus OH USA 4210 email:niranj@math.ohio-state.edu
More informationFundamental Theorem of Finite Abelian Groups
Monica Agana Boise State University September 1, 2015 Theorem (Fundamental Theorem of Finite Abelian Groups) Every finite Abelian group is a direct product of cyclic groups of prime-power order. The number
More informationA Level. A Level Mathematics. Proof by Contradiction (Answers) AQA, Edexcel, OCR. Name: Total Marks:
AQA, Edexcel, OCR A Level A Level Mathematics Proof by Contradiction (Answers) Name: Total Marks: A1 Proof Answers AQA, Edexcel, OCR 1) Prove that there is an infinite amount of prime numbers. Assume there
More informationMaximising the number of induced cycles in a graph
Maximising the number of induced cycles in a graph Natasha Morrison Alex Scott April 12, 2017 Abstract We determine the maximum number of induced cycles that can be contained in a graph on n n 0 vertices,
More informationTHE STRUCTURE OF RAINBOW-FREE COLORINGS FOR LINEAR EQUATIONS ON THREE VARIABLES IN Z p. Mario Huicochea CINNMA, Querétaro, México
#A8 INTEGERS 15A (2015) THE STRUCTURE OF RAINBOW-FREE COLORINGS FOR LINEAR EQUATIONS ON THREE VARIABLES IN Z p Mario Huicochea CINNMA, Querétaro, México dym@cimat.mx Amanda Montejano UNAM Facultad de Ciencias
More informationSieving 2m-prime pairs
Notes on Number Theory and Discrete Mathematics ISSN 1310 5132 Vol. 20, 2014, No. 3, 54 60 Sieving 2m-prime pairs Srečko Lampret Pohorska cesta 110, 2367 Vuzenica, Slovenia e-mail: lampretsrecko@gmail.com
More informationCh 3.2: Direct proofs
Math 299 Lectures 8 and 9: Chapter 3 0. Ch3.1 A trivial proof and a vacuous proof (Reading assignment) 1. Ch3.2 Direct proofs 2. Ch3.3 Proof by contrapositive 3. Ch3.4 Proof by cases 4. Ch3.5 Proof evaluations
More informationDR.RUPNATHJI( DR.RUPAK NATH )
Contents 1 Sets 1 2 The Real Numbers 9 3 Sequences 29 4 Series 59 5 Functions 81 6 Power Series 105 7 The elementary functions 111 Chapter 1 Sets It is very convenient to introduce some notation and terminology
More informationFall 2017 November 10, Written Homework 5
CS1800 Discrete Structures Profs. Aslam, Gold, & Pavlu Fall 2017 November 10, 2017 Assigned: Mon Nov 13 2017 Due: Wed Nov 29 2017 Instructions: Written Homework 5 The assignment has to be uploaded to blackboard
More information* 8 Groups, with Appendix containing Rings and Fields.
* 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that
More informationMath 145. Codimension
Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in
More informationActa Arith., 140(2009), no. 4, ON BIALOSTOCKI S CONJECTURE FOR ZERO-SUM SEQUENCES. 1. Introduction
Acta Arith., 140(009), no. 4, 39 334. ON BIALOSTOCKI S CONJECTURE FOR ZERO-SUM SEQUENCES SONG GUO AND ZHI-WEI SUN* arxiv:081.174v3 [math.co] 16 Dec 009 Abstract. Let n be a positive even integer, and let
More information#A42 INTEGERS 10 (2010), ON THE ITERATION OF A FUNCTION RELATED TO EULER S
#A42 INTEGERS 10 (2010), 497-515 ON THE ITERATION OF A FUNCTION RELATED TO EULER S φ-function Joshua Harrington Department of Mathematics, University of South Carolina, Columbia, SC 29208 jh3293@yahoo.com
More informationColoring Vertices and Edges of a Path by Nonempty Subsets of a Set
Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set P.N. Balister E. Győri R.H. Schelp April 28, 28 Abstract A graph G is strongly set colorable if V (G) E(G) can be assigned distinct nonempty
More informationJonathan Sondow 209 West 97th Street Apt 6F New York, NY USA
Which Partial Sums of the Taylor Series for e Are Convergents to e? (and a Link to the Primes 2, 5, 13, 37, 463,...) arxiv:0709.0671v1 [math.nt] 5 Sep 2007 Jonathan Sondow 209 West 97th Street Apt 6F New
More informationUNAVOIDABLE INDUCED SUBGRAPHS IN LARGE GRAPHS WITH NO HOMOGENEOUS SETS
UNAVOIDABLE INDUCED SUBGRAPHS IN LARGE GRAPHS WITH NO HOMOGENEOUS SETS MARIA CHUDNOVSKY, RINGI KIM, SANG-IL OUM, AND PAUL SEYMOUR Abstract. An n-vertex graph is prime if it has no homogeneous set, that
More informationDiscrete Mathematics. Spring 2017
Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: rule of inference Mathematical Induction: Conjecturing and Proving Climbing an Infinite Ladder
More informationIsoperimetric Sets of Integers
Isoperimetric Sets of Integers Steven J. Miller (Steven.J.Miller@williams.edu) Frank Morgan (Frank.Morgan@williams.edu) Edward Newkirk (Edward.S.Newkirk@williams.edu) Lori Pedersen (lap811@aol.com) Deividas
More informationA Curious Connection Between Fermat Numbers and Finite Groups
A Curious Connection Between Fermat Numbers and Finite Groups Carrie E. Finch and Lenny Jones 1. INTRODUCTION. In the seventeenth century, Fermat defined the sequence of numbers F n = 2 2n + 1 for n 0,
More informationBeautiful Mathematics
Beautiful Mathematics 1. Principle of Mathematical Induction The set of natural numbers is the set of positive integers {1, 2, 3,... } and is denoted by N. The Principle of Mathematical Induction is a
More informationBoston College, Department of Mathematics, Chestnut Hill, MA , May 25, 2004
NON-VANISHING OF ALTERNANTS by Avner Ash Boston College, Department of Mathematics, Chestnut Hill, MA 02467-3806, ashav@bcedu May 25, 2004 Abstract Let p be prime, K a field of characteristic 0 Let (x
More informationOn a Balanced Property of Compositions
On a Balanced Property of Compositions Miklós Bóna Department of Mathematics University of Florida Gainesville FL 32611-8105 USA Submitted: October 2, 2006; Accepted: January 24, 2007; Published: March
More informationarxiv: v1 [math.co] 13 May 2016
GENERALISED RAMSEY NUMBERS FOR TWO SETS OF CYCLES MIKAEL HANSSON arxiv:1605.04301v1 [math.co] 13 May 2016 Abstract. We determine several generalised Ramsey numbers for two sets Γ 1 and Γ 2 of cycles, in
More informationTewodros Amdeberhan, Dante Manna and Victor H. Moll Department of Mathematics, Tulane University New Orleans, LA 70118
The -adic valuation of Stirling numbers Tewodros Amdeberhan, Dante Manna and Victor H. Moll Department of Mathematics, Tulane University New Orleans, LA 7011 Abstract We analyze properties of the -adic
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #5 09/19/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #5 09/19/2013 5.1 The field of p-adic numbers Definition 5.1. The field of p-adic numbers Q p is the fraction field of Z p. As a fraction field,
More informationON DIRICHLET S CONJECTURE ON RELATIVE CLASS NUMBER ONE
ON DIRICHLET S CONJECTURE ON RELATIVE CLASS NUMBER ONE AMANDA FURNESS Abstract. We examine relative class numbers, associated to class numbers of quadratic fields Q( m) for m > 0 and square-free. The relative
More informationMaximum subsets of (0, 1] with no solutions to x + y = kz
Maximum subsets of 0, 1] with no solutions to x + y = z Fan R. K. Chung Department of Mathematics University of Pennsylvania Philadelphia, PA 19104 John L. Goldwasser West Virginia University Morgantown,
More informationADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS
ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements
More informationChris K. Caldwell 1 Department of Mathematics and Statistics, University of Tennessee at Martin, Martin, TN 38238, USA
#A36 INTEGERS 10 (2010), 423-436 POWERS OF SIERPIŃSKI NUMBERS BASE B Chris K. Caldwell 1 Department of Mathematics and Statistics, University of Tennessee at Martin, Martin, TN 38238, USA caldwell@utm.edu
More informationMaximal Independent Sets In Graphs With At Most r Cycles
Maximal Independent Sets In Graphs With At Most r Cycles Goh Chee Ying Department of Mathematics National University of Singapore Singapore goh chee ying@moe.edu.sg Koh Khee Meng Department of Mathematics
More informationProofs Not Based On POMI
s Not Based On POMI James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 12, 2018 Outline 1 Non POMI Based s 2 Some Contradiction s 3
More informationSum of cubes is square of sum
Notes on Number Theory and Discrete Mathematics Vol. 19, 2013, No. 1, 1 13 Sum of cubes is square of sum Edward Barbeau and Samer Seraj University of Toronto e-mails: barbeau@math.toronto.edu, samer.seraj@mail.utoronto.ca
More informationDefinition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively
6 Prime Numbers Part VI of PJE 6.1 Fundamental Results Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively D (p) = { p 1 1 p}. Otherwise
More informationRoth s Theorem on Arithmetic Progressions
September 25, 2014 The Theorema of Szemerédi and Roth For Λ N the (upper asymptotic) density of Λ is the number σ(λ) := lim sup N Λ [1, N] N [0, 1] The Theorema of Szemerédi and Roth For Λ N the (upper
More information