On the Composite Terms in Sequence Generated from Mersenne-type Recurrence Relations

Similar documents
A proof of strong Goldbach conjecture and twin prime conjecture

PRIMALITY TEST FOR FERMAT NUMBERS USING QUARTIC RECURRENCE EQUATION. Predrag Terzic Podgorica, Montenegro

SQUARE PATTERNS AND INFINITUDE OF PRIMES

Solutions of the Diophantine Equation 2 x + p y = z 2 When p is Prime

Chris K. Caldwell 1 Department of Mathematics and Statistics, University of Tennessee at Martin, Martin, TN 38238, USA

Colloq. Math. 145(2016), no. 1, ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS. 1. Introduction. x(x 1) (1.1) p m (x) = (m 2) + x.

arxiv: v1 [math.gm] 1 Oct 2015

Junior Villafana. Math 301. Dr. Meredith. Odd Perfect Numbers

Lucas Lehmer primality test - Wikipedia, the free encyclopedia

Chapter 1. Number of special form. 1.1 Introduction(Marin Mersenne) 1.2 The perfect number. See the book.

ODD REPDIGITS TO SMALL BASES ARE NOT PERFECT

LARGE PRIME NUMBERS (32, 42; 4) (32, 24; 2) (32, 20; 1) ( 105, 20; 0).

Wilson s Theorem and Fermat s Little Theorem

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS

All variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points.

p = This is small enough that its primality is easily verified by trial division. A candidate prime above 1000 p of the form p U + 1 is

LARGE PRIME NUMBERS. In sum, Fermat pseudoprimes are reasonable candidates to be prime.

Proofs of the infinitude of primes

Some Extensions to Touchard s Theorem on Odd Perfect Numbers

Equivalence of Pepin s and the Lucas-Lehmer Tests

inv lve a journal of mathematics 2009 Vol. 2, No. 2 Bounds for Fibonacci period growth mathematical sciences publishers Chuya Guo and Alan Koch

198 VOLUME 46/47, NUMBER 3

An irreducibility criterion for integer polynomials

Euler s, Fermat s and Wilson s Theorems

Marcos J. González Departamento de Matemáticas Puras y Aplicadas, Universidad Simón Bolívar, Sartenejas, Caracas, Venezuela

An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p.

More Hodge-Podge Pseudoprimes

Prime and Perfect Numbers

Discrete Structures Lecture Primes and Greatest Common Divisor

Received: 2/12/08, Revised: 10/8/08, Accepted: 12/3/08, Published: 12/23/08. Abstract

History of Mathematics

UNIQUE-PERIOD PRIMES. Chris K. Caldwell 5856 Harry Daniels Road Rives, Tennessee

CERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education

1 x i. i=1 EVEN NUMBERS RAFAEL ARCE-NAZARIO, FRANCIS N. CASTRO, AND RAÚL FIGUEROA

Transformations Preserving the Hankel Transform

On New Identities For Mersenne Numbers

(n = 0, 1, 2,... ). (2)

Math 412: Number Theory Lecture 3: Prime Decomposition of

Corollary 4.2 (Pepin s Test, 1877). Let F k = 2 2k + 1, the kth Fermat number, where k 1. Then F k is prime iff 3 F k 1

OBTAINING SQUARES FROM THE PRODUCTS OF NON-SQUARE INTEGERS

On the Cardinality of Mersenne Primes

Sierpinski s Triangle and the Lucas Correspondence Theorem

Chris Smyth School of Mathematics and Maxwell Institute for Mathematical Sciences, University of Edinburgh, Edinburgh EH9 3JZ, UK.

CYCLES AND FIXED POINTS OF HAPPY FUNCTIONS

Ikorong Anouk Gilbert Nemron

ARITHMETIC OF POSITIVE INTEGERS HAVING PRIME SUMS OF COMPLEMENTARY DIVISORS

Goldbach and twin prime conjectures implied by strong Goldbach number sequence

#A11 INTEGERS 12 (2012) FIBONACCI VARIATIONS OF A CONJECTURE OF POLIGNAC

CHAPTER 6. Prime Numbers. Definition and Fundamental Results

On Dris conjecture about odd perfect numbers

Divisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006

EULER S THEOREM KEITH CONRAD

MATH 361: NUMBER THEORY FOURTH LECTURE

An Elementary Proof that any Natural Number can be Written as the Sum of Three Terms of the Sequence n2

On the Equation =<#>(«+ k)

arxiv: v1 [math.nt] 22 Jun 2014

God may not play dice with the universe, but something strange is going on with the prime numbers.

Heuristics for Prime Statistics Brown Univ. Feb. 11, K. Conrad, UConn

Degrees of Regularity of Colorings of the Integers

An identity involving the least common multiple of binomial coefficients and its application

A Platonic basis of Integers

FERMAT S TEST KEITH CONRAD

Sieving 2m-prime pairs

On Wolstenholme s theorem and its converse

Relative Densities of Ramified Primes 1 in Q( pq)

Number Theory Homework.

Solving the general quadratic congruence. y 2 Δ (mod p),

Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China

QUADRATIC RESIDUES OF CERTAIN TYPES

Notes on Systems of Linear Congruences

Preliminary in this section we obtain some identities that are required in below to achieve the main results. ( ) [ ( )] [ ( )] [ ]

Mathematics of Cryptography

Jonathan Sondow 209 West 97th Street Apt 6F New York, NY USA

Primality Proofs. Geoffrey Exoo Department of Mathematics and Computer Science Indiana State University Terre Haute, IN

The Humble Sum of Remainders Function

The first dynamical system

A NECESSARY AND SUFFICIENT CONDITION FOR THE PRIMALITY OF FERMAT NUMBERS

Fermat numbers and integers of the form a k + a l + p α

Lecture 7. January 15, Since this is an Effective Number Theory school, we should list some effective results. x < π(x) holds for all x 67.

AN EQUATION INVOLVING ARITHMETIC FUNCTIONS AND RIESEL NUMBERS

A NOTE ON THE SMARANDACHE PRIME PRODUCT SEQTJENCE A.A.K.~AR. Department of Mathematics, Jahangimagar University, Savar, Dhaka 1342, Bangladesh

On the Exponents of Non-Trivial Divisors of Odd Numbers and a Generalization of Proth s Primality Theorem

On the Sum of Corresponding Factorials and Triangular Numbers: Some Preliminary Results

Primes. Rational, Gaussian, Industrial Strength, etc. Robert Campbell 11/29/2010 1

MATH 25 CLASS 8 NOTES, OCT

EXAMPLES OF MORDELL S EQUATION

Chapter 12: Ruler and compass constructions

Number Tree LCM HCF Divisibility Rules Power cycle Remainder Theorem Remainder of powers a n b n Last and Second last digit Power of Exponents Euler s

EXAMPLES OF MORDELL S EQUATION

Largest Values of the Stern Sequence, Alternating Binary Expansions and Continuants

Equidivisible consecutive integers

A PROBLEM ON THE CONJECTURE CONCERNING THE DISTRIBUTION OF GENERALIZED FERMAT PRIME NUMBERS (A NEW METHOD FOR THE SEARCH FOR LARGE PRIMES)

A SURVEY OF PRIMALITY TESTS

Know the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element.

Cullen Numbers in Binary Recurrent Sequences

School of Mathematics

IRREDUCIBILITY TESTS IN F p [T ]

The primitive root theorem

ON UNIVERSAL SUMS OF POLYGONAL NUMBERS

Transcription:

On the Composite Terms in Sequence Generated from Mersenne-type Recurrence Relations Pingyuan Zhou E-mail:zhoupingyuan49@hotmail.com Abstract We conjecture that there is at least one composite term in sequence generated from Mersenne-type recurrence relations. Hence we may expect that all terms are composite besides the first few continuous prime terms in Catalan-Mersenne number sequence and composite Mersenne numbers with exponents restricted to prime values are infinite. Keywords : Mersenne-type recurrence relations, generalized Catalan-Mersenne number sequence, Catalan-Mersenne number sequence, composite Mersenne number Mathematics Subject Classification ( 2010 ): 11A41, 11A51 1

1. Introduction After Lucas had discovered the primality of M 127 = 2 127 1 in 1876[1], Catalan came up with an infinite sequence 2, M 2, MM 2, MMM 2, MMMM 2. MMMMM 2,, which are generated from recurrence relations and called Catalan-Mersenne numbers. Are these numbers all prime? It has been an unsolved problem[2,3,4,5], because in Catalan-Mersenne number sequence the first five terms 2, M 2, M 3, M 7, M 127 are all prime but the sixth term MM 127 is much too large for any currently known primality test to be practical so that it has not been known if the number is prime, and it is also very difficult to prove the number to be prime or to find any factor of the number. If a composite term appears in Catalan-Mersenne number sequence then all of the following terms are composite so that infinitely many composite terms will appear in the sequence, which means there are no any prime terms behind a composite term in Catalan-Mersenne number sequence. Although we have not known which term is a composite term among terms MM 127, MMM 127, MMMM 127, in Catalan-Mersenne number sequence, if it is able to be presented that there exists a composite term in Catalan-Mersenne number sequence then Catalan-Mersenne number sequence will become a new example of Guy s strong law of small numbers[5,6]. A general and easy accepted conjecture may be helpful for getting an elementary result on the problem and we will study the problem by the way so that we may consider another unsolved problem on existence of infinitely many composite Mersenne numbers with exponents restricted to prime values. 2

2. Mersenne-type recurrence relations In this paper we only consider Mersenne numbers whose exponents are prime numbers. Definition 2.1 If x is a prime number then 2 x 1 is called a Mersenne number. Definition 2.2 Let x be integer greater than 1 and n be natural number then the recurrence relations to be able to be written X(n+1) = 2 X(n) 1 with X(0) = x for n 0 are called Mersenne-type recurrence relations. Case 2.1 Mersenne-type recurrence relations for x being a composite number. Lemma 2.1 If x is a composite number then 2 x 1 is a composite number. Proof It has been proved that if 2 x 1 is prime then x is prime[1]. Then if x is composite then 2 x 1 is composite. Theorem 2.1 If x is a composite number, then all terms are composite in the infinite sequence generated from Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with X(0) = x for n 0. Proof Since every term X(n) is exponent of next term X(n+1) and the first term x 3

is a composite number in the infinite sequence. Then by Lemma 2.1 all terms are composite in the sequence. Case 2.2 Mersenne-type recurrence relations for x being exponent of composite Mersenne number. Theorem 2.2 If x is exponent of composite Mersenne number, then all terms are composite besides the first term in the infinite sequence generated from Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with X(0) = x for n 0. Proof Since the first term x is prime but the second term 2 x 1 is composite in any such infinite sequence. Then by Lemma 2.1 the second term and all of the following terms are composite in any such infinite sequence. Case 2.3 Mersenne-type recurrence relations for x being exponent of Mersenne prime. Example 2.1 For x = 5, Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with X(0) = 5 for n 0 generate an infinite sequence: 5, M 5, MM 5, MMM 5,. Proposition 2.1 All terms are composite besides the first three terms in the infinite sequence generated from Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with X(0) = 5 for n 0. 4

Proof In the infinite sequence, the first three terms 5, M 5, M 31 are all prime but the fourth term MM 31 is known composite number ( its four factors have been found[7] ). Then by Lemma 2.1 MM 31 and all of the following terms are composite in the sequence. Example 2.2 For x = 13, Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with X(0) = 13 for n 0 generate an infinite sequence: 13, M 13, MM 13, MMM 13,. Proposition 2.2 All terms are composite besides the first two terms in the infinite sequence generated from Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with X(0) = 13 for n 0. Proof In the infinite sequence, the first two terms 13, M 13 are all prime but the third term MM 13 is known composite number ( its two factors have been found[7] ). Then by Lemma 2.1 MM 13 and all of the following terms are composite in the sequence. Example 2.3 For x = 17, Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with X(0) = 17 for n 0 generate an infinite sequence: 17, M 17, MM 17, MMM 17,. Proposition 2.3 All terms are composite besides the first two terms in the infinite sequence generated from Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with 5

X(0) = 17 for n 0. Proof In the infinite sequence, the first two terms 17, M 17 are all prime but the third term MM 17 is known composite number ( its one factor has been found[7] ). Then by Lemma 2.1 MM 17 and all of the following terms are composite in the sequence. Example 2.4 For x = 19, Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with X(0) = 19 for n 0 generate an infinite sequence: 19, M 19, MM 19, MMM 19,. Proposition 2.4 All terms are composite besides the first two terms in the infinite sequence generated from Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with X(0) = 19 for n 0. Proof In the infinite sequence, the first two terms 19, M 19 are all prime but the third term MM 19 is known composite number ( its one factor has been found[7] ). Then by Lemma 2.1 MM 19 and all of the following terms are composite in the sequence. Example 2.5 For x = 31, Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with X(0) = 31 for n 0 generate an infinite sequence: 31, M 31, MM 31, MMM 31,. Proposition 2.5 All terms are composite besides the first two terms in the infinite sequence generated from Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with 6

X(0) = 31 for n 0. Proof In the infinite sequence, the first two terms 31, M 31 are all prime but the third term MM 31 is known composite number ( its four factors have been found[7] ). Then by Lemma 2.1 MM 31 and all of the following terms are composite in the sequence. Example 2.6 For x = 2, Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with X(0) = 2 for n 0 generate an infinite sequence: 2, M 2, MM 2, MMM 2, MMMM 2, MMMMM 2,. In the sequence, we have known the first five terms 2, M 2, M 3, M 7, M 127 are all prime but we do not know whether the sixth term MM 127 is prime. Example 2.7 For x = 3, Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with X(0) = 3 for n 0 generate an infinite sequence: 3, M 3, MM 3, MMM 3, MMMM 3, MMMMM 3,. In the sequence, we have known the first four terms 3, M 3, M 7, M 127 are all prime but we do not know whether the fifth term MM 127 is prime. Example 2.8 For x = 7, Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with X(0) = 7 for n 0 generate an infinite sequence: 7, M 7, MM 7, MMM 7, MMMM 7, MMMMM 7,. In the sequence, we have known the first three terms 7, M 7, M 127 are all prime but we do not know whether the fourth term MM 127 is prime. Example 2.9 For x = 61, Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with 7

X(0) = 61 for n 0 generate an infinite sequence: 61, M 61, MM 61, MMM 61, MMMM 61, MMMMM 61,. In the sequence, we have known the first two terms 61, M 61 are all prime but we do not know whether the third term MM 61 is prime. Example 2.10 As Example 2.9, for x being exponents of Mersenne primes to be larger than M 61, Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with X(0) = x for n 0 generate an infinite sequence: x, M x, MM x, MMM x, MMMM x, MMMMM x,. In any such sequence, we always know the first two terms x, M x are all prime but we do not know whether the third term MM x is prime. 3. A conjecture and corresponding corollaries From Theorem 2.1, Theorem 2.2, Proposition 2.1, Proposition 2.2, Proposition 2.3, Proposition 2.4, Proposition 2.5, Example 2.6, Example 2.7, Example 2.8, Example 2.9 and Example 2.10 ( all integers x greater than 1 have been considered in these studies ) we see there are no any Mersenne-type recurrence relations to be able to generate an infinite sequence in which all terms are prime, therefore, the following conjecture seems to be acceptable. Conjecture 3.1 There is at least one composite term in sequence generated from Mersenne-type recurrence relations. We see Theorem 2.1, Theorem 2.2, Proposition 2.1, Proposition 2.2, Proposition 2.3, Proposition 2.4 and Proposition 2.5 to support the conjecture to be true. 8

Definition 3.1 Let x be exponent p of Mersenne prime M p and n be natural number then corresponding infinite sequence generated from Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with X(0) = p for n 0 is called generalized Catalan-Mersenne number sequence. Because it has been generally believed that Mersenne primes are infinite, there may be infinitely many generalized Catalan-Mersenne number sequences. For p = 2, corresponding generalized Catalan-Mersenne number sequence is just Catalan-Mersenne number sequence. Corollary 3.1 All terms are composite besides the first few continuous prime terms in any generalized Catalan-Mersenne number sequence. Proof Since any generalized Catalan-Mersenne number sequence is an infinite sequence generated from Mersenne-type recurrence relations. By Conjecture 3.1 there is at least one composite term in the sequence and the first composite term will appear behind the first few continuous prime terms in the sequence. Then by Lemma 2.1 the term and all of the following terms are composite in the sequence. By Proposition 2.1, Proposition 2.2, Proposition 2.3, Proposition 2.4 and Proposition 2.5 we have known Corollary 3.1 holds for p = 5,13,17,19,31. Corollary 3.2 All terms are composite besides the first few continuous prime terms 9

in Catalan-Mersenne number sequence. Proof Since Catalan-Mersenne number sequence is a generalized Catalan-Mersenne number sequence generated from Mersenne-type recurrence relations X(n+1) = 2 X(n) 1 with X(0) = 2 for n 0. Then by Corollary 3.1 all terms are composite besides the first few continuous prime terms in Catalan-Mersenne number sequence. 4. Connections with previous results Definition 4.1 If exponent of a Mersenne number is a Mersenne prime M p i.e. M p MM p = 2 1 then the Mersenne number MM p is called double Mersenne number. In our previous work[8] Corollary 1 ( Conjecture 1 ) implies Mersenne primes M p are infinite and Corollary 2 ( Conjecture 1 ) implies double Mersenne numbers M p MM p = 2 1 for p = 2,3,5,7 are all prime but every double Mersenne number MM p is composite for p > 7. By Corollary 2 ( Conjecture 1 ) we expected Catalan-Mersenne number MM 127 = MMMMM 2 to be composite since 127 > 7. If the result is true then the first composite term will be MM 127 in Catalan-Mersenne number sequence and by Corollary 3.2 we may expect MM 127 and all of the following terms will be composite but the first few continuous prime terms are 2, M 2, MM 2, MMM 2, MMMM 2 in Catalan-Mersenne number sequence. Now we consider another unsolved problem: Are composite Mersenne numbers infinite? Euler showed a theorem: If k > 1 and p = 4k+3 is prime, then 2p+1 is prime if and only if 2 p 1 ( mod 2p+1 )[5]. It implies that if both p = 4k+3 and 2p+1 are 10

prime then Mersenne number 2 p 1 is composite because 2p+1 is a prime factor of 2 p 1 from the theorem, which means if there are infinitely many prime pairs ( p, 2p+1 ) for p = 4k+3 then there are infinitely many composite Mersenne numbers. But it has not been a solved problem because the existence of infinitely many prime pairs ( p, 2p+1 ) for p = 4k+3 has not been proved. By Corollary 1 ( Conjecture 1 )[8], Definition 3.1, Corollary 3.1 and Definition 4.1we may get an elementary result on the problem. Corollary 4.1 There are infinitely many composite Mersenne numbers. Proof By Corollary 1 ( Conjecture 1 )[8] there are infinitely many Mersenne primes M p. Then by Definition 3.1 there are infinitely many generalized Catalan-Mersenne number sequences and by Definition 4.1 there are infinitely many double Mersenne numbers. By Corollary 3.1 there are infinitely many composite terms and the first composite term is always a composite double Mersenne number but all of the following composite terms will be composite numbers but will not be composite double Mersenne numbers by Definition4.1 because of their exponents being all composite in any generalized Catalan-Mersenne number sequence. Since every generalized Catalan-Mersenne number sequence has one composite double Mersenne number and there are infinitely many generalized Catalan-Mersenne number sequences. Suppose there is a finite number of generalized Catalan-Mersenne number sequences whose composite double Mersenne numbers are certain same composite 11

double Mersenne number then there are infinitely many composite double Mersenne numbers arising from generalized Catalan-Mersenne number sequences. Since every double Mersenne number is also a Mersenne number so that every composite double Mersenne number is also a composite Mersenne number. Then there are infinitely many composite Mersenne numbers. As all generalized Catalan-Mersenne number sequences, it seems to be another such example that Fermat numbers are generated from the recurrence relations F n+1 = (F n 1) 2 +1 with F 0 = 3 for n 0 and the first five Fermat numbers are all prime but F n are all composite for 5 n 32 and there are no any found new Fermat primes for n > 32[9]. Is F n composite for all n > 4? In our previous work[8] Corollary 1 ( Conjecture 2 ) implies Fermat numbers F n for n = 0,1,2,3,4 i.e. 3,5,17,257,65537 are all prime but every Fermat number is composite for n > 4 and Corollary 2 F ( Conjecture 2 ) implies double Fermat numbers F 2 n = 2 1 n +1 for n = 0,1,2 i.e. 5,17,65537 are all prime but every double Fermat number is composite for n > 2. We F 1 also discovered existence of the recurrence relations F n 1 = ( F 1 n +1 with F 0 = 2 n ) 2 5 for n 0 to be suitable to double Fermat numbers[8], so it seems to be reasonable that Fermat and double Fermat number sequences generated from Fermat-type recurrence relations are similar to generalized Catalan-Mersenne number sequences generated from Mersenne-type recurrence relations in existing of infinitely many continuous composite terms behind the first few continuous prime terms. 2 12

References 1. Mersenne prime in The On-Line Wikipedia. http://en.wikipedia.org/wiki/mersenne_prime 2. Catalan, E.: Sur la théorie des nombres premirs, Turin, p.11 (1876) 3. Catalan, E.: Théorie des nombres, p.376 (1891) 4. Dickson, L. E.: History of the Theory of Numbers, Vol.1: Divisibility and Primality, p.22, New York, Dover (2005) 5. Caldwell, C. K.: Mersenne Primes: History, Theorems and Lists in The On-Line Prime Pages. http://primes.utm.edu/mersenne 6. Guy, R. K.: The Strong Law of Small Numbers, Amer. Math. Monthly 95, 697-712 (1988). MR 90c: 11002 7. Double Mersenne Number in The On-Line Wolfram MathWorld. http://mathworld.wolfram.com/doublemersennenumber.html 8. Zhou, Pingyuan: On the Connections between Mersenne and Fermat Primes, Global Journal of Pure and Applied Mathematics Vol. 8, No.4, 453-458 (2012) 9. Fermat number in The On-Line Wikipedia. http://en.wikipedia.org/wiki/fermat_number 13