mersenneforum.org Iteration of (sigma(n)+phi(n))/2
 Register FAQ Search Today's Posts Mark Forums Read

 2017-09-14, 04:52 #1 sean     Aug 2004 New Zealand DD16 Posts Iteration of (sigma(n)+phi(n))/2 In recent weeks there has been some interest on the seqfan mailing list about iterating the map (sigma(n)+phi(n))/2 (see for example A291790). In many cases the map results in a fraction (i.e. odd/2) and the iteration finishes. However, there appears to be cases (perhaps a lot of cases for large n) where the iteration appears unbounded and continues indefinitely (not unlike certain aliquot sequences or home primes, etc.). It is not clear why this should be. The smallest unresolved case is starting with n=270, which has now survived 515 iterations of the map. The unresolved cases for n<1000 are 270, 440, 496, 702, 737, 813, 828, 897, and 905. There are other values less than 1000 unresolved, but their trajectories converge with one of the nine listed. All of them have survived at least 400 iterations. All the factorizations for the existing steps have been added to factordb.com. I'm not planning on taking these further myself, but there is plenty of scope for fairly easy factorization here. Some the composites are still down in 100 digit range and even the hardest (for the 270 trajectory) is only a C138.
2017-09-14, 10:55   #2
science_man_88

"Forget I exist"
Jul 2009
Dumbassville

26·131 Posts

Quote:
 Originally Posted by sean In recent weeks there has been some interest on the seqfan mailing list about iterating the map (sigma(n)+phi(n))/2 (see for example A291790). In many cases the map results in a fraction (i.e. odd/2) and the iteration finishes. However, there appears to be cases (perhaps a lot of cases for large n) where the iteration appears unbounded and continues indefinitely (not unlike certain aliquot sequences or home primes, etc.). It is not clear why this should be. The smallest unresolved case is starting with n=270, which has now survived 515 iterations of the map. The unresolved cases for n<1000 are 270, 440, 496, 702, 737, 813, 828, 897, and 905. There are other values less than 1000 unresolved, but their trajectories converge with one of the nine listed. All of them have survived at least 400 iterations. All the factorizations for the existing steps have been added to factordb.com. I'm not planning on taking these further myself, but there is plenty of scope for fairly easy factorization here. Some the composites are still down in 100 digit range and even the hardest (for the 270 trajectory) is only a C138.
if n is composite since both sigma(n) and phi(n) are multiplicative to some extent the sum is close ( but below at last check) to a multiplication of earlier terms ( not necessarily in the same iteration chain).

Last fiddled with by science_man_88 on 2017-09-14 at 11:01

2017-09-18, 15:39   #3
arbooker

"Andrew Booker"
Mar 2013

5·17 Posts

Quote:
 Originally Posted by sean In many cases the map results in a fraction (i.e. odd/2) and the iteration finishes. However, there appears to be cases (perhaps a lot of cases for large n) where the iteration appears unbounded and continues indefinitely (not unlike certain aliquot sequences or home primes, etc.). It is not clear why this should be.
I would guess that asymptotically 100% of positive integers have unbounded trajectory, and it might be possible to prove something along those lines.

Note that $$(\sigma(n)+\varphi(n))/2$$ is an integer unless $$n$$ is a square or twice a square, and those are very rare among large numbers. Further, if $$n>1$$ and $$(\sigma(n)+\varphi(n))/2$$ is odd then $$n$$ must be of the form $$pm^2$$ or $$2pm^2$$ for an odd prime $$p$$. Combining this with some sieve theory, one can show that the number of composite $$n\le x$$ with $$(\sigma(n)+\varphi(n))/2$$ prime is $$O(x/\log^2{x})$$. Since the map tends to increase geometrically and $$\sum1/k^2$$ converges, this suggests that a typical large composite has little chance of ever reaching a prime.

 Similar Threads Thread Thread Starter Forum Replies Last Post mart_r Aliquot Sequences 6 2013-07-23 20:50 LiquidNitrogen Hardware 22 2011-07-12 23:15 lavalamp Software 2 2010-08-24 15:22 em99010pepe Riesel Prime Search 7 2007-08-30 08:54 sofII Software 8 2002-09-07 01:51

All times are UTC. The time now is 06:30.

Sat Jan 16 06:30:53 UTC 2021 up 44 days, 2:42, 0 users, load averages: 5.31, 4.29, 3.67