arxiv: v1 [math.gm] 1 Oct 2015

Similar documents
arxiv: v6 [math.nt] 10 Oct 2018

Notes on Systems of Linear Congruences

MATH 215 Final. M4. For all a, b in Z, a b = b a.

Collatz cycles with few descents

COLLATZ CONJECTURE: IS IT FALSE?

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

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

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

Necessary and Sufficient Conditions for the Central Norm to Equal 2 h in the Simple Continued Fraction Expansion of 2 h c for Any Odd Non-Square c > 1

Infinite Continued Fractions

A Platonic basis of Integers

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

COUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF

The Collatz Problem and Analogues

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

Sieving 2m-prime pairs

. As the binomial coefficients are integers we have that. 2 n(n 1).

Discrete Mathematics. Spring 2017

On a conjecture concerning the sum of independent Rademacher random variables

NOTES ON SIMPLE NUMBER THEORY

Sums of Squares. Bianca Homberg and Minna Liu

Equidivisible consecutive integers

Instructor: Bobby Kleinberg Lecture Notes, 25 April The Miller-Rabin Randomized Primality Test

Wilson s Theorem and Fermat s Little Theorem

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.

On the Infinitude of Twin-Primes Bao Qi Feng

arxiv: v5 [math.nt] 23 May 2017

Partitioning the Positive Integers with the Collatz Algorithm Jim Rock

Part V. Chapter 19. Congruence of integers

A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS

Quadratic reciprocity and the Jacobi symbol Stephen McAdam Department of Mathematics University of Texas at Austin

Cullen Numbers in Binary Recurrent Sequences

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS

The primitive root theorem

#A67 INTEGERS 18 (2018) ON THE NESTED LOCAL POSTAGE STAMP PROBLEM

HW2 Solutions Problem 1: 2.22 Find the sign and inverse of the permutation shown in the book (and below).

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

M381 Number Theory 2004 Page 1

Announcements. Read Section 2.1 (Sets), 2.2 (Set Operations) and 5.1 (Mathematical Induction) Existence Proofs. Non-constructive

Problem Set 5 Solutions

On some inequalities between prime numbers

MULTIPLICATIVE SEMIGROUPS RELATED TO THE 3x +1 PROBLEM. 1. Introduction The 3x +1iteration is given by the function on the integers for x even 3x+1

The Impossibility of Certain Types of Carmichael Numbers

Chapter 5: The Integers

Chapter 5. Number Theory. 5.1 Base b representations

Lecture Notes. Advanced Discrete Structures COT S

Climbing an Infinite Ladder

Standard forms for writing numbers

INTEGERS. In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes.

arxiv: v1 [math.nt] 10 Dec 2009

THE ABSOLUTE MORDELL-LANG CONJECTURE IN POSITIVE CHARACTERISTIC. 1. Introduction

Carmen s Core Concepts (Math 135)

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

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.

Math 13, Spring 2013, Lecture B: Midterm

CHARACTERISTICS OF COUNTER EXAMPLE LOOPS IN THE COLLATZ CONJECTURE. Thomas W. Allen II

RMT 2013 Power Round Solutions February 2, 2013

Antipodal Labelings for Cycles

CHAPTER 3. Congruences. Congruence: definitions and properties

arxiv: v1 [math.nt] 18 Jul 2012

ABSTRACT COLLATZ CONJECTURE: GENERALIZING THE ODD PART. Professor Leonid Koralov Department of Mathematics

ELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS

Cool Results on Primes

SOLUTIONS TO PROBLEM SET 1. Section = 2 3, 1. n n + 1. k(k + 1) k=1 k(k + 1) + 1 (n + 1)(n + 2) n + 2,

Graphs with few total dominating sets

arxiv: v2 [math.nt] 29 Jul 2017

Poset-Game Periodicity

Decomposing oriented graphs into transitive tournaments

Putnam Greedy Algorithms Cody Johnson. Greedy Algorithms. May 30, 2016 Cody Johnson.

Proof 1: Using only ch. 6 results. Since gcd(a, b) = 1, we have

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)

Math 110 HW 3 solutions

CHAPTER 6. Prime Numbers. Definition and Fundamental Results

Some Extensions to Touchard s Theorem on Odd Perfect Numbers

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively

The 3n ± p Conjecture: A Generalization of Collatz Conjecture

Solutions of the problem of Erdös-Sierpiński:

PRIME LABELING OF SMALL TREES WITH GAUSSIAN INTEGERS. 1. Introduction

A Subrecursive Refinement of FTA. of the Fundamental Theorem of Algebra

PRACTICE PROBLEMS: SET 1

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

SQUARE PATTERNS AND INFINITUDE OF PRIMES

On non-hamiltonian circulant digraphs of outdegree three

Gaussian integers. 1 = a 2 + b 2 = c 2 + d 2.

Number Theory Homework.

WORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers:

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)

Modular Arithmetic Instructor: Marizza Bailey Name:

MATH 2112/CSCI 2112, Discrete Structures I Winter 2007 Toby Kenney Homework Sheet 5 Hints & Model Solutions

Math 324, Fall 2011 Assignment 7 Solutions. 1 (ab) γ = a γ b γ mod n.

MATH 2200 Final Review

Complete Induction and the Well- Ordering Principle

Inserting plus signs and adding

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Mathematical Induction

arxiv: v1 [math.nt] 19 Dec 2018

A characterization of regular tetrahedra in Z3

Pseudo Sylow numbers

arxiv:math/ v1 [math.nt] 30 Apr 2002

Transcription:

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 of Collatz sequences to convergence of Collatz sequences of odd numbers that are divisible by. We give an elementary proof of the fact that a Collatz sequence does not increase monotonically. We define a unique reverse Collatz sequence and conjecture that this sequence always converges to a multiple of. 1. Introduction The Collatz conjecture is an unsolved conjecture about the convergence of a sequence named after Lothar Collatz. A comprehensive study of the Collatz conjecture can be found in [1], [], and []. Consider the following operation on a positive integer A. If A is even, divide it by two. Otherwise, if A is odd, triple it and add one. Now, form a sequence c i by performing this operation repeatedly, beginning with A, and taking the result at each step as the input of the next: c i = A, if i = 0; = c i 1 +1, if c i 1 is odd; = c i 1 /, if c i 1 is even. The sequence c i is called a Collatz sequence with starting number A. The Collatz conjecture says that this sequence will eventually reach the number 1, regardless of which positive integer is chosen initially. The sequence gets in to an infinite cycle of 4,, 1 after reaching 1.

INTEGERS: 14 (014) Example 1.1. The Collatz sequence of 7 is 7,8,41,14,6,1,94,47,14,71,14,107,,161,484,4,11,64,18,91,74, 17,41,06,10,10,155,466,,700,50,175,56,6,790,95,1186,59,1780, 890,445,16,668,4,167,50,51,754,77,11,566,8,850,45,176,68,19, 958, 479, 148, 719, 158, 1079, 8, 1619, 4858, 49, 788, 644, 18, 911, 74, 167, 410,051,6154,077,9,4616,08,1154,577,17,866,4,100,650,5,976, 488,44,1,61,184,9,46,,70,5,106,5,160,80,40,0,10,5,16,8,4,,1,4,,1, 4,,1,... For the rest of this article, we will ignore the infinite cycle of 4,,1, and say that a Collatz sequence converges to 1, if it reaches 1. In this article, we focus on the subsequence ofodd numbersof acollatz sequence. ThisisbecauseeveryevennumberinaCollatzsequencehasto reachanoddnumber after a finite number of steps. Observe that the Collatz conjecture implies that the subsequence of odd numbers of a Collatz sequence converges to 1. Example 1.. The subsequence of odd numbers of the Collatz sequence of 7 in Example 1.1 is 7,41,1,47,71,107,161,11,91,17,10,155,,175,6,95,59,445,167,51,77, 8,45,19,479,719,1079,1619,49,911,167,051,077,577,4,5,61,,5,5, 5,1,1,... This article is organized as follows. In Section, we show that to prove the Collatz conjecture, it is sufficient to show that the Collatz sequences of numbers that are multiples of converge. In Section, we prove that a Collatz sequence cannot increase monotonically. Finally, in Section 4, we define and discuss a unique reverse Collatz sequence.. Reducing the Collatz conjecture to multiples of. In this section we show that to prove the Collatz conjecture, it is sufficient to show that the Collatz sequences of numbers that are multiples of converge to 1. Observe that a Collatz sequence of a number is unique. However, a Collatz sequence can be a subsequence of another Collatz sequence. We say two Collatz sequences are equivalent if the second odd number occurring in the sequences are same. Consequently, two equivalent Collatz sequences become equal from the second odd term onwards.

INTEGERS: 14 (014) Example.1. The Collatz sequence of is,10,5,16,8,4,,1,1,... The Collatz sequence of 1 is 1,40,0,10,5,16,8,4,,1,1,... Observe that the two sequences merge at the odd number 5. Hence the Collatz sequences of and 1 are equivalent. Let e n denote the recursive sequence e n = 4e n 1 +1, such that, n = 0,1,,... and e 1 = 0. Observe that e n = n i=0 4i,n 0. Thus, e n is the sequence 1,5,1,85,41,165,5461,1845,8781,4955,198101,559405,... These numbers play a pivotal role in the study of a Collatz sequence. Lemma 1. For n 0, 4 n = e n 1 +1. Proof. We use induction to prove this lemma. For n = 0, 1 = 4 0 = e 1 +1 = 1. Hence the result is true for n = 0. Assume the hypothesis is true for n = k, that is 4 k = e k 1 +1. Then for n = k +1, we get 4 k+1 = 4(4 k ) = 4(e k 1 +1) = 4e k 1 ++1 = (4e k 1 +1)+1 = e k +1. Therefore by induction the result is true for all n. Let P be a positive number. We say A is a jump of height n from P if A = 4 n P +e n 1. Example.. 1 = 4 + 1 is a jump from of height 1. 5 = 4 1 + 1 = 4 +4+1 is a jump from 1 of height 1 and a jump from of height. In the next lemma, we consider a sequence of jumps from a given number. Lemma. Let b 0 be any positive integer. Consider the sequence b i = 4b i 1 + 1. For any positive integer n, b n +1 = 4 n (b 0 +1). Proof. b 1 = 4b 0 +1 b = 4(4b 0 +1)+1 = 4 b 0 +4+1 b = 4(4(4b 0 +1)+1)+1 = 4 b 0 +4 +4+1.

INTEGERS: 14 (014) 4 Thus, we get b n = 4 n b 0 +e n 1. Therefore b n +1 = (4 n b 0 +e n 1 )+1 = 4 n b 0 +(e n 1 +1) = 4 n b 0 +4 n (by Lemma 1, e n 1 +1 = 4 n ) = 4 n (b 0 +1). In the next theorem we show that the set of odd numbers that can occur consecutively before a given odd number B in the odd subsequence of a Collatz sequence are all jumps from a unique number derived from B. Theorem 1. Let B be an odd number. 1. If B 0 mod, then there are no odd numbers before B in a Collatz sequence containing B.. Let Proof. P = 4B 1 if B 1 mod and B 1 if B mod. Let A be an odd number. Then A occurs before B, consecutively, in the odd subsequence of a Collatz sequence containing B, if and only if, A is a jump of P of height n 0. That is, A {4 n P +e n 1 ;n 0}. Thus, P is the smallest odd integer that can occur consecutively before B in the odd subsequence of a Collatz sequence containing B. 1. If there is an odd number before B in a Collatz sequence, then there is some odd number A, consecutively, before B. Then by the definition of a Collatz sequence, B can be written as B = (A+1)/ r for some r 1. Consequently, if B 0 mod, then A+1 0 mod, which is impossible. Hence there are no odd numbers before B in any Collatz sequence.. Since A is an odd number such that A and B occur consecutively in the odd subsequence of a Collatz sequence, by definition of the Collatz sequence, A = ( j B 1)/ for some j 1. Consequently, j is an integer such that (1) j B 1 mod. () Since we assume A exists, B 0 mod by part (1). First consider B mod. Since j 1 and since B 1 mod, for () to hold j = r +1 for

INTEGERS: 14 (014) 5 some r 0. On the other hand if B 1 mod, then B 1 mod, but 4B 1 mod. Thus, for () to hold, j = r+ for some r 0. Thus we conclude that for some r 0, 4 r+1 B 1 if B 1 mod, A = 4 r B 1 if B mod. We substitute r = 0 in the above equation to get P. We now prove that A is a jump from P of height r. Since P = ( k B 1)/ such that k is either 1 or depending on B, 4 r P +e r 1 = 4 rk B 1 +e r 1 = 4r k B 4 r +e r 1 = 4r k B 4 r +(e r 1 +1) 1 (adding and subtracting 1) = 4r k B 4 r +4 r 1 (since e r 1 +1 = 4 r ) = 4r k B 1 = A. Hence A is a jump of height r from P. Now we prove the other direction, that is, if A is a jump from P of height r for some r 0, then A occurs consecutively before B in the odd subsequence of a Collatz sequence. Since A = 4 r P +e r 1, we apply Lemma with b 0 = P and A = b r to get A+1 = b r +1 = 4 r (b 0 +1) = 4 r (P +1). () Since P = ( k B 1)/ such that k is either 1 or depending on B, (P +1) = k B. (4) From () and (4), we get A+1 = 4 r k B. Thus the odd number following A in a Collatz sequence is (A+1)/(4 r k ) = B.

INTEGERS: 14 (014) 6 Example.. Consider the odd number B =. Then by Theorem 1, P = 1 = 15. The unique sequence of odd numbers that can occur before in a Collatz sequence is b i = 4b i 1 + 1, where b 0 = 15. The Collatz sequences of b 0 = 15,b 1 = 61, and b = 95 are given below (check that the second odd number in all these sequences is ): 15,46,,70,5,106,5,160,80,40,0,10,5,16,8,4,,1; 61,184,9,46,,70,5,106,5,160,80,40,0,10,5,16,8,4,,1; 95,11776,5888,944,147,76,68,184,9,46,,70,5,106,5,160,80,40,0, 10,5,16,8,4,,1. Corollary 1. Let B be an integer and let B > 1. If the Collatz sequence of B converges then either B = r for some r 1 or the sequence reaches e n for some n 1. Proof. If B = r for some r 1 then clearly the Collatz sequence of B converges to 1. On the other hand, if B is not a power of, and since B 1, the convergent Collatz sequence of B contains an odd number greater than 1. Let A > 1 denote the odd integer that occurs consecutively before 1 in the Collatz sequence of B. By Theorem 1, since 1 1 mod, the smallest integer P that can occur before 1 in a Collatz sequence is P = (4 1 1)/ = 1 = e 0. Since A is greater than 1, A is a jump from P of height greater than or equal to 1. Observe that e n is a jump of height n from 1, by definition. Consequently, A = e n for some n 1. Corollary. 1. Let B be an odd number that is not divisible by. Let 4B 1 if B 1 mod P = B 1 if B mod. Let A be an odd number that occurs consecutively before B in the odd subsequence of a Collatz sequence. Consider the sequence b i = 4b i 1 + 1 with b 0 = P. (a) For any i, the Collatz sequence of A and b i are equivalent. (b) The Collatz sequence of P is the sequence with smallest starting odd number that is equivalent to the Collatz sequence of A.

INTEGERS: 14 (014) 7 (c) Let c 0 = A and c i = 4c i 1 +1. Then for any i, the Collatz sequence of A and c i are equivalent.. Let A be an odd number. The Collatz sequence of A is equivalent to a Collatz sequence of a number divisible by. Proof. 1. Part (1a) and part (1b) is a direct application of Theorem 1. Again, by Theorem 1, A = b r for some r 0. Hence c i is a subsequence of b i. Therefore, for any i, the Collatz sequence of A and c i are equivalent by part (1a).. The Collatz sequence with starting numbers A, 4A+1, and 4(4A+1)+1 are equivalent by part (1c). If A 0 mod, there is nothing to prove. If A mod, then 4A + 1 0 mod. On the other hand, if A 1 mod, then 4(4A+1)+1 0 mod. Hence the Collatz sequence of A is equivalent to a Collatz sequence of a number divisible by. Example.4. 1. The Collatz sequences of 7 and a r = 4 r 7+e r 1, r 0, are equivalent by part (1c) of Corollary. The Collatz sequences of a 0 = 7,a 1 = 9, and a = 117 are given below. 7,,11,4,17,5,6,1,40,0,10,5,16,8,4,,1 9,88,44,,11,4,17,5,6,1,40,0,10,5,16,8,,4,,1 117,5,176,88,44,,11,4,17,5,6,1,40,0,10,5,16,8,4,,1. Since 11 comes right after 7 in the Collatz sequence of 7, we apply part (1b) of Corollary to derive P = 7. Hence 7 is the smallest starting number for this set of equivalent Collatz sequences.. The Collatz sequence of 7 is equivalent to the Collatz sequence of 117 which is divisible by. Since a multiple of is always the starting odd number of a Collatz sequence, and every Collatz sequence is equivalent to a Collatz sequence of a multiple of, the convergence problem of Collatz sequences reduces to the convergence of Collatz sequences of multiples of.

INTEGERS: 14 (014) 8. The rise and fall of a Collatz sequence. In this section, we give an elementary proof of the fact that a Collatz sequence does not end in a monotonically increasing sequence. For other approaches to this result, see [1]. Let A be an odd number. Write A in its binary form, A = i1 + i + + im + n + n 1 + n + + ++1, such that i 1 > i > > i m > n+1. The tail of A is defined as n + n 1 + n + + ++1. We call n the length of the tail of A. Example.1. The tail of 7 = 4 + + + 1 is + 1 and hence has length 1, the tail of 161 = 7 + 5 + 1 is 1 and hence is of length 0, and the tail of 1 = 4 + + ++1 is the entire number 4 + + ++1 and therefore has length 4. The following lemma is used to work with the numbers written in binary form in this section. Lemma. 1. n = n + n 1.. Let 0 < i < n, then (n + n 1 + n + + n i ) = n+1 +( n 1 + n + + n i+1 )+ n i 1.. Let n > 0, then ( n + n 1 + + ++1)+1 = n+1 + n 1 + + ++1. Proof. 1. n = (+1) n = n + n = n+1 + n. Therefore n = n + n 1.

INTEGERS: 14 (014) 9. (n + n 1 + n + + n i ) = ( n + n 1 )+( n 1 + n )+ +( n i+1 + n i )+( n i + n i 1 ) (by part (1)) = n +( n 1 + n 1 )+( n + n )+ +( n i + n i )+ n i 1 (rearranging terms) = n +( n )+( n 1 ) +( n i+1 )+ n i 1 = n+1 + n 1 + n i+1 + n i 1.. ( n + n 1 + + ++1)+1 = (n + n 1 + + +)++1 ( ( n + n 1 + + ) +) = + = ( n+1 + n 1 + + +1)+ (by part () ) = n+1 + n 1 + + ++1 (rearranging terms). Let A and B be two odd numbers such that B occurs, consecutively, after A in a Collatz sequence. If B > A, we say that the Collatz sequence increases at A, otherwise, we say that the Collatz sequence decreases at A. The next theorem relates the tail of a number to the increase or decrease of a Collatz sequence at that number. Theorem. Let A be an odd number and let n denote the length of the tail of A. Let a i denote the sequence of odd numbers in the Collatz sequence of A with a 0 = A. 1. If n 1, then for some i 1 > i > > i m > n+1, a i = a i 1 +1 = i i(i1 + i + + im + n+1 ) 1, for i = 1,...n. The length of the tail of a i is n i. Hence the length of the tail of the n-th odd number after A is 0.. If n = 0, then a 1 = A+1 k,k. Moreover, if the Collatz sequence is decreasing at A then n = 0 and if the Collatz sequence is increasing at A, then n 1.

INTEGERS: 14 (014) 10 Proof. 1. Since the length of the tail of A is n 1, for some i 1 > i > > i m > n+1, A = i1 + i + + im + n + n 1 + n + + ++1. Consequently, A mod 4. Hence A + 1 mod 4 which implies a 1 = (A+1)/. Since a 1 > A we conclude that the Collatz sequence is increasing at A. On the other hand, if a 1 = (A + 1)/, then A mod 4, which implies n 1. Therefore, n 1 if and only if the Collatz sequence is increasing at A. In the binary form, a 1 = A+1 By part (1) of Lemma, = (i1 + i + + im ) + (n + n 1 + + ++1)+1. (5) (i1 + i + + im ) = i1 + i1 1 + i + i 1 + + im + im 1. By part () of Lemma, ( n + n 1 + + ++1)+1 = n+1 + n 1 + + ++1. Combining the two results, (5) becomes a 1 = i1 + i1 1 + + im + im 1 + n+1 + n 1 + + ++1. Since i m 1 > n, the tail of a 1 is n 1 + n + + ++1. Thus the length of the tail of a 1 is n 1. Since n j 1 for j < n, we repeat the above argument and derive that a i = (a i 1 + 1)/ and the length of the tail of a i is n i for 1 < i n. Hence the length of the tail of the n-th odd number that occurs after A in the Collatz sequence is 0. We use induction to prove, a i = i i(i1 + i + + im + i+1 ) 1 for i = 1,...n.

INTEGERS: 14 (014) 11 When i = 1, a 1 = + (i1 i + + im + n + n 1 + + +)+ (by (5)) = + (i1 i + + im + n + n 1 + + +)+( 1) = + (i1 i + + im + n + n 1 + + +(+)) 1 = + (i1 i + + im + n + n 1 + +( + )) 1 = + (i1 i + + im + n + n 1 + +( + )) 1. = + (i1 i + + im +( n + n )) 1 = + (i1 i + + im + n+1 ) 1. Assume k < n, a k = k k ( i1 + i + + im + n+1 ) 1, then a k+1 = a k 1 +1 = 1 ( ( ) ) k + i + + im + n+1 ) 1 +1 k(i1 = 1 ( k+1 ( i1 + i + + im + n+1 ) k + k ) k = k+1 ( i1 + i + + im + n+1 ) k+1 k+1 = k+1 k+1(i1 + i + + im + n+1 ) 1. Hence proof follows by induction.. If the tail of A is 1, then A is of the form A = i1 + + im + 1, where i m > 1. Therefore A 1 mod 4, which implies A+1 0 mod 4. Therefore a 1 = (A+1)/ k, where k. Consequently, a 1 < A. Therefore, the Collatz sequence is decreasing at A. On the other hand, if a 1 = (A + 1)/ k, where k, then A 1 mod 4, which implies n = 0. Thus n = 0, if and only if, the Collatz sequence is decreasing at A.

INTEGERS: 14 (014) 1 Example.. Let a i denote the sequence of odd numbers in a Collatz sequence, where a 0 = 19. Since a 0 = 19 = 8 + 5 + 4 + + ++1 has tail of length 5, by Theorem, a i = i i(8 + 6 ) 1 for i = 1,...,5. Thus, a 1 = (8 + 6 ) 1 = 479; a = (8 + 6 ) 1 = 719; a = (8 + 6 ) 1 = 1079; a 4 = 4 4(8 + 6 ) 1 = 1619; a 5 = 5 5(8 + 6 ) 1 = 49. Since a 5 = 49 = 11 + 8 + 6 + 5 + 4 + + +1, the length of the tail of a 5 is zero as expected. Finally we conclude that every rise of a Collatz sequence is followed by a fall in the next corollary. Corollary. A Collatz sequence does not increase monotonically. Proof. Let n denote the length of the tail of A. By Theorem, a Collatz sequence increases at A if and only if the length of the tail of A is n 1. By Theorem, the n-th odd number, occurring after A, say B, has tail of length 0. Hence the Collatz sequence decreases at B. Therefore a Collatz sequence cannot increase monotonically. 4. The Reverse Collatz sequence. Given an odd number A, we know from Section that there is a unique sequence of odd numbers that can occur before A in a Collatz sequence. We restrict ourselvesto the smallest number of this sequence. This gives us the desired uniqueness necessary to get a well defined sequence in the reverse direction defined as follows.

INTEGERS: 14 (014) 1 Definition 4.1. Reverse Collatz Sequence: Let A be a positive integer. A if i = 0; r i 1 1 r i = if r i 1 1 mod and r i 1 is even; r i 1 if r i 1 1 mod and r i 1 is even; if r i 1 is odd. r i 1 Example 4.1. 1. The reverse Collatz sequence with starting number 11 is : 11,4,484,161,,107,14,71,14,47,94,1,6,14,41,8,7,54,108,16,... Observe that since 7 is divisible by, all the other numbers after 7 are of the form i 7 for some i.. The reverse Collatz sequence with starting number 485 is : 485,970,,646,15,40,14,86,95,190,6,16,... We say that a reverse Collatz sequence converges if the subsequence of odd numbersofthe sequence convergestoamultiple of. Recall that apartfromthe starting number, a Collatz sequence of an odd number cannot contain multiples of by part (1) of Theorem 1. Example 4.. The Reverse Collatz sequence of 11 (see Example 4.1) converges because its subsequence of odd numbers 11,161,107,71,47,1,41,7 converges to 7. Henceforth, when a reverse Collatz sequence converges to t, we will ignore the terms i t of the sequence. In the next step, we look at some properties of a reverse Collatz sequence. Let A be an odd number. We say that the reverse Collatz sequence of A is trivial if A is the only odd number in its reverse Collatz sequence. Proposition 1. Let A be an odd number. 1. If A is divisible by then the reverse Collatz sequence of A is trivial.. Let p i denote the subsequence of odd numbers in the reverse Collatz sequence of A. If p i 0 mod, then p i+1 do not exist. Otherwise, p i+1 is the smallest odd number before p i in any Collatz sequence and p i+1 = p i 1 if p i mod 4p i 1 if p i 1 mod (6)

INTEGERS: 14 (014) 14. The only odd number that can be a jump from another odd number in a reverse Collatz sequence is the starting number of the reverse Collatz sequence. Proof. 1. Since there are no odd numbers before A in a Collatz sequence by part (1) of Theorem 1, it follows that A is the only odd number in its reverse Collatz sequence.. Since p i+1 is the smallest odd number before p i in a Collatz sequence, by Theorem 1, if p i 0 mod, then p i+1 is as in (6), and if p i 0 mod, then p i+1 does not exist,. By definition of the reverse Collatz sequence, p i+1 are smallest possible odd numbers. Hence, by Theorem 1, the only odd number that can be a jump in a reverse Collatz sequence is the starting number of the reverse Collatz sequence. Lemma 4. Let A be an odd number and let p i denote the subsequence of odd numbers in the reverse Collatz sequence of A. Then, for some k 1, p k mod. Proof. If p i mod, then p i+1 = (p i 1 1)/ by part () of Proposition 1. Therefore p i+1 < p i. If all the odd terms of the reverse Collatz sequence of A are congruent to mod then the sequence is strictly decreasing. The smallest such odd number that such a sequence can reach is 5 in which case the next number in the sequence is, a contradiction. Hence, there is a k such that p k is not congruent to mod. By Lemma 4, a reverse Collatz sequence reaches a number not congruent to mod. We believe but cannot prove that it reaches a number that is a multiple of. Conjecture 1. The reverse Collatz sequence converges to a multiple of for every number greater than one. The reverse Collatz sequence of a number A is unique and hence it provides for the definition of a unique complete Collatz sequence of A, namely the union of the reverse Collatz sequence of A and the Collatz sequence of A.

INTEGERS: 14 (014) 15 Example 4.. The complete Collatz sequence of 485 is 6,190,95,86,14,40,15,646,,970,485,1456,78,64,18,91,74,17,41,06,10, 10,155,466,,700,50,175,56,6,790,95,1186,59,1780,890,445,16,668,4,167, 50,51,754,77,11,566,8,850,45,176,68,19,958,479,148,719,158,,1079,8, 1619, 4858, 49, 788, 644, 18, 911, 74, 167, 410, 051, 6154, 077, 9, 4616, 08, 1154, 577,17,866,4,100,650,5,976,488,44,1,61,184,9,46,,70,5,106,5,160,80,40, 0,10,5,16,8,4,,1. References [1] Jeffrey C. Lagarias, The x+1 Problem: An Annotated Bibliography, II (000-009), arxiv:math/060808v5 [math.nt]. [] Jeffrey C. Lagarias, The x+1 problem and its generalizations, Amer. Math. Monthly 9 (1985) -. [] Wirsching, Günther J., The Dynamical System Generated by the n+1 Function, Lecture Notes in Mathematics, Vol. 1681, Springer Verlag, 1998.