OFFSET
1,3
COMMENTS
The map sums the values of the Collatz 3x+1 map for each of the prime factors of the input value. Therefore any prime factor 2 adds one to the sum while any other prime factor p adds 3*p+1. See the Examples below.
An examination of the first 10^9 terms shows about 22.8% of all starting values go to 1. The majority, about 68.2%, go into a thirty-member loop with a lowest value 22 and a highest value 1385. About 7.5% go into a five-member loop with lowest value 15 and highest value 124, while about 1.4% go into a two-member loop with values 27 and 30. The remaining terms, about 0.009%, go to 12 which maps to itself. It is possible these four loops are the only ones for all starting values, although this is unknown. See A350807 for the loop values.
In the same range the starting value with the most iterations before reaching 1 or repeating is 622074454, which goes into the thirty-member loop and repeats 22 after sixty-three iterations. See A350806 for the largest value reached starting from n. The starting value with the largest ratio of maximum value reached to starting value is 19762559 which reaches 24311654278 after nine iterations, a ratio of about 1230. Note that after three more iterations its value has reduced to 95.
EXAMPLE
a(2) = 1 as 2 -> 1 in the 3x+1 map, which then has no further prime factors.
a(3) = 35 as 3 -> 10 -> 17 -> 52 -> 42 -> 33 -> 44 -> 36 -> 22 -> 35 -> 38 -> 59 -> 178 -> 269 -> 808 -> 307 -> 922 -> 1385 -> 848 -> 164 -> 126 -> 43 -> 130 -> 57 -> 68 -> 54 -> 31 -> 94 -> 143 -> 74 -> 113 -> 340 -> 70 -> 39 -> 50 -> 33, which repeats (33) after thirty-five iterations. This is the first number to enter the thirty-member loop.
a(5) = 4 as 5 -> 16 -> 4 -> 2 -> 1.
a(12) = 1 as 12 -> 12. The prime factorization of 12 is 2*2*3, which maps to 1,1,10, and 1+1+10 = 12. This is the only known fixed point/one-term loop.
a(15) = 5 as 15 -> 26 -> 41 -> 124 -> 96 -> 15, which repeats (15) after five iterations. This is the first number to enter the five-member loop.
a(27) = 2 as 27 -> 30 -> 27, which repeats (27) after two iterations. This is the first number to enter the two-member loop.
a(4096) = 2 as 4096 -> 12 -> 12, which repeats (12) after two iterations. This is the first value, other than 12, that ends at 12.
CROSSREFS
KEYWORD
nonn
AUTHOR
Scott R. Shannon, Jan 17 2022
STATUS
approved