mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Aliquot Sequences (https://www.mersenneforum.org/forumdisplay.php?f=90)
-   -   Aliquot sequences that start on the integer powers n^i (https://www.mersenneforum.org/showthread.php?t=23612)

garambois 2021-03-04 09:08

[QUOTE=Happy5214;572969]You know, you don't have to copy the forum posts exactly. :smile: You might want to reorganize it. Maybe put the conjectures in one section and the remarks and other stuff in a separate section.[/QUOTE]


I will probably put the page on my website as shown in post # 925, unless you still make some changes in the layout or in the tags, area where I don't understand much.
I will also have less time in the next few days, because unfortunately my vacation is going to end. I can always edit the page later.

garambois 2021-03-04 09:24

[QUOTE=Happy5214;572967]All of those powers seem have the factors 3*5*7*13 in the first term. While not abundant on its own (3*5*7*13 = 1365, while its aliquot sum is 1323), it is very nearly so. I wasted nearly 3 hours trying to find a formula to derive the sequence of first terms from the previous powers to write an inductive modular proof that all base 38 powers that are multiples of 12 have those factors, with no success. The rule does hold to 38^300, though, and thus they are likely to be abundant.[/QUOTE]


Thank you for this demonstration attempt !
Me, I am focusing on the end of remark 2 of post #921.
OK, now the calculations have been done for base 38.
But why do we have nothing for bases 6, 12, 24, 30, 72 ...?
These are bases which have the factor 3 in their decomposition.
But there are others who have the factor 3 and who have something: 18, 42, 882 ...
I look at the data over and over again !

Happy5214 2021-03-04 11:54

1 Attachment(s)
[QUOTE=garambois;572975]I will probably put the page on my website as shown in post # 925, unless you still make some changes in the layout or in the tags, area where I don't understand much.
I will also have less time in the next few days, because unfortunately my vacation is going to end. I can always edit the page later.[/QUOTE]

Oh, I tried to mock up an example (not full) layout, but forgot to post it. :blush: It's attached here.

PS Regarding above, I did end up finding the formulas, but still couldn't complete the inductive proof. I'll post the formulas here if anyone wants to try their hand at it:

[code]x = ((19^(12*(n+1)+1))-((19^(12*n+1))))/18
y = 2^(12*(n+1)+1)-2^(12*n+1)
z = (((19^(12*(n+1)+1))-((19^(12*n+1))))/18) * (2^(12*(n+1))-2)
w = (2^(12*(n+1)+1)-2^(12*n+1)) * (((19^((12*n)+1))-19)/18)
v = 2^(12*(n+1)) * (((19^(12*(n+1)))-((19^(12*n+1))))/18)
prev = 2^(12*n) * 19^(12*n)
old = <previous sum>
new = old+prev+x+y+z+w+v
[/code]

where [i]n[/i] is the multiple of 12. Finding that it's always 0 mod 1365 is a good start (it proves my claim above about the factors), but not sufficient to prove that it's always abundant.

RichD 2021-03-04 13:58

In keeping with the spirit of investigating base 2*p, next up is base 46.

Preliminary results show a similar phenomena. Additionally, 46^6n shows an abundance of (3 * 5 * 7) along with 46^12n (3 * 5 * 7 * 13) to advance the sequence.

warachwe 2021-03-04 15:45

[QUOTE=Happy5214;572980]where [i]n[/i] is the multiple of 12. Finding that it's always 0 mod 1365 is a good start (it proves my claim above about the factors), but not sufficient to prove that it's always abundant.[/QUOTE]

38^(12*19) has [URL="http://factordb.com/sequences.php?se=1&aq=38%5E%2812*19%29&action=range&fr=0&to=20"]next term[/URL] as 3*5*7*13*229*457*C353. As the composite has no small factor, this is not abundant.

garambois 2021-03-04 18:51

[QUOTE=Happy5214;572980]Oh, I tried to mock up an example (not full) layout, but forgot to post it. :blush: It's attached here.
[/QUOTE]


Thanks a lot for your help !
I will try to modify the html code like in your example.
But I'm running out of time.
I think it takes hours of work to rearrange everything like in your example. I hope I am wrong.
I don't know when I will be able to publish the page or both pages if I separate the two posts.
I will keep you posted...

garambois 2021-03-04 19:03

[QUOTE=RichD;572983]In keeping with the spirit of investigating base 2*p, next up is base 46.

Preliminary results show a similar phenomena. Additionally, 46^6n shows an abundance of (3 * 5 * 7) along with 46^12n (3 * 5 * 7 * 13) to advance the sequence.[/QUOTE]


OK, seen.
Thanks for the base 46.
You talk about an abundance of (3 * 5 * 7), didn't you want to write (3^3 * 5 * 7) instead ?

garambois 2021-03-04 19:06

[QUOTE=warachwe;572994]38^(12*19) has [URL="http://factordb.com/sequences.php?se=1&aq=38%5E%2812*19%29&action=range&fr=0&to=20"]next term[/URL] as 3*5*7*13*229*457*C353. As the composite has no small factor, this is not abundant.[/QUOTE]


Well seen !

Thank you very much !

RichD 2021-03-04 21:57

[QUOTE=garambois;573008]You talk about an abundance of (3 * 5 * 7), didn't you want to write (3^3 * 5 * 7) instead ?[/QUOTE]

Ah, yes, poor choice of words on my part. I should have used presence of 3 * 5 * 7 or use abundance as you stated above. :smile:

henryzz 2021-03-04 22:09

[QUOTE=warachwe;572994]38^(12*19) has [URL="http://factordb.com/sequences.php?se=1&aq=38%5E%2812*19%29&action=range&fr=0&to=20"]next term[/URL] as 3*5*7*13*229*457*C353. As the composite has no small factor, this is not abundant.[/QUOTE]

What is the upper bound on the abundance contribution of the C353? 3*5*7*13*229*457 already has an abundance ratio of 1.982=s(3*5*7*13*229*457)/3*5*7*13*229*457

henryzz 2021-03-04 22:22

[QUOTE=henryzz;573021]What is the upper bound on the abundance contribution of the C353? 3*5*7*13*229*457 already has an abundance ratio of 1.982=s(3*5*7*13*229*457)/3*5*7*13*229*457[/QUOTE]

Assuming no factors below 1e20 then the maximum abundance contribution of the C353 can be upper bounded by ((1e20+1)/1e20)^(floor(353/20))= (1+1e-20)^17= 1.00000000000000000017 or there about.


All times are UTC. The time now is 22:41.

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.