20200821, 16:01  #474 
Sep 2009
3574_{8} Posts 
Factordb itself factors everything below 70 digits. At present I'm factoring the range from 70 to 80 digits. So I've probably contributed to several sequences.
But there's been a lot of what looks like junk added to factordb over the past year of so. Numbers like 24681280*46##+251 obviously won't be part of a sequence. Does anyone know where they are coming from? Is there a way to check if a given number is from a sequence (eg clicking More information)? Chris 
20200821, 16:34  #475 
"Ed Hall"
Dec 2009
Adirondack Mtns
D3C_{16} Posts 
factordb does factor <71 digit composites (and larger via helper elves), but Aliquot sequences are only advanced by bumping them. The bump may advance a few lines at a time, but if it stalls, it stays there even after the stalled composite is factored, until another bump. I have been doing all my sequence runs off line with Aliqueit to lessen the elves' load (having served as an elf myself).
Alas, I have found no way to tie a number to a particular sequence within the db. I suppose that's not feasible because of how many sequences would be listed for smaller numbers. 
20200821, 16:59  #476 
Just call me Henry
"David"
Sep 2007
Cambridge (GMT/BST)
13147_{8} Posts 
Conjecture 2 is bugging me. It is fairly easy to show that the 5 maintains the 3 unless the sequence begins 2^(4*5^(2n1)*k).
If the sequence begins with 2^(4*5^n*k) then we know 2^201 = 3*5^2*11*31*41 is a divisor of s(2^(4*5^n*k)). This means we have to account for 11 and 41. In the same way as 5, 11 maintains the 3 unless the sequence begins 2^(4*5^(2n1)*11^(2m1)*k). Accounting for 41 gives a requirement of beginning with 2^(4*5^(2n1)*11^(2m1)*41^(2o1)*k). s(2^(4*5^(2n1)*11^(2m1)*41^(2o1)*k)) is always divisible by 2^90201 which contains yet more primes that preserve the 3. Expanding the lower bound like this is easy but I can't quite think how to turn it into a proof. Maybe there is something based on proving there will always be more and more prime factors that are 2 mod 3. 
20200821, 20:29  #477 
Sep 2008
Kansas
6102_{8} Posts 

20200821, 21:45  #478 
"Ed Hall"
Dec 2009
Adirondack Mtns
2^{2}×7×11^{2} Posts 

20200822, 02:00  #479 
Sep 2008
Kansas
2·3·523 Posts 
I was clarifying my original post for Chris.

20200822, 11:03  #480  
Aug 2020
2·3 Posts 
Quote:
Quote:
S(2^{4k}) = 2^{4k}1=(2^{2k}1)(2^{2k}+1). 2^{2k}+1 is 2 (mod 3) , so there exist a prime p such that p is 2 (mod 3) and p^{2m1 } divide 2^{2k}+1 ,but p^{2m } not divide 2^{2k}+1 gcd(2^{2k}1,2^{2k}+1)=gcd(2,2^{2k}+1)=1, so no other factor of p from 2^{2k}1. Hence p^{2m1 } preserved 3 for s(2^{4k}), so 3 divide s(s(2^{4k})) 

20200822, 20:56  #481  
Just call me Henry
"David"
Sep 2007
Cambridge (GMT/BST)
1011001100111_{2} Posts 
Quote:


20200822, 23:39  #482 
Sep 2008
Kansas
2·3·523 Posts 
Table 18
All cells in n=18 should now be green.
I'll start preliminary work on Table n=20. 
20200823, 01:33  #483 
"Ed Hall"
Dec 2009
Adirondack Mtns
6474_{8} Posts 
The preliminary work on base 79 has been finished through i=79.
Here is a list of all the prime terminations encountered: Code:
7 (1) 11 (1) 13 (1) 19 (1) 23 (1) 37 (1) 41 (3) 43 (1) 79 (1) 109 (1) 277 (1) 373 (1) 647 (1) 2053 (1) 3209 (1) 56417 (1) 274201 (1) 1404653 (1) 39449441 (1) 3726897833 (1) 15149890507 (1) 7003404108271 (1) 1750258119649999 (1) 50030448965430187 (1) 582160055705443697 (1) 737287429537747247 (1) 11218513019153099281 (1) 51295583920298014697 (1) 126184888328246734874859217 (1) 281050352710245559603460861942264287 (1) 612334801072206651528322236763533211 (1) 144410932495341043816499009968224193057 (1) 5215871181653976380322743907608410822343857033 (1) 10098441202754878623864731377586611856943613601 (1) 58715257934974315365589544756228858137685070659 (1) 4514080124904825140989752683500717658279017890401 (1) 144247534946592562812896661356728761240274391235398539509968323519 (1) 1543397657597549030942319129765250282733366278065161881086980020577 (1) 21210775475881297038103544006601558250238621656859058445205548774369 (1) 969294053696923120396927330592354921021401157551137054187134211303939583373802685159736925954726601223772976624910063809731121765969 (1) 
20200823, 08:40  #484 
Oct 2011
2^{5}×11 Posts 
@warachwe :
Thank you for your informed response (post #480) ! @ Everyone : For the moment, I'm not making any more conjectures like the ones in post #447. I'm trying to spot other different things, especially concerning the occurrences of prime numbers that end sequences. And also, for n=2^i, for n=18^i, for n=m^i, with m and i in the same parity, I know that s(n) is odd and therefore the sequence that starts with n most likely ends. But, I don't understand why all these sequences without exception end. I'm looking forward to the first OpenEnd sequence for n=2^i, for n=18^i, for n=m^i, with m and i in the same parity ! But we'll have to wait until the amount of data we have increases. But with the computing power available to us at the moment, I estimate that in one week, we'll make more progress than in several years at the rate of a few months ago ! That said, I have no idea what "enough data" means. Is it going to take several months, a year, or more ? @warachwe & henryzz : If I understood correctly, the conjecture (2) is demonstrated ! Wow! Thanks to you ! Regarding conjecture (3), I didn't put a star. Because I doubt that the prime number 3 is kept indefinitely during the first 7 iterations for all the sequences starting with 2^(36*k). The calculations have not really been pushed beyond k=15 yet... But you never know ! @RichD and EdH : Thanks a lot for your help ! 
Thread Tools  
Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Broken aliquot sequences  fivemack  FactorDB  45  20200516 15:22 
Broken aliquot sequences  schickel  FactorDB  18  20130612 16:09 
A new theorem about aliquot sequences  garambois  Aliquot Sequences  34  20120610 21:53 
poaching aliquot sequences...  Andi47  FactorDB  21  20111229 21:11 
New article on aliquot sequences  schickel  mersennewiki  0  20081230 07:07 