login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A336834 a(n) = 1 if A005940(1+n) is deficient, 0 otherwise. 10
1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0 (list; graph; refs; listen; history; text; internal format)
OFFSET
0
COMMENTS
Any node of Doudna-tree (A005940) which is deficient, is marked here with 1, and has also its all leftward descendants (those that are obtained only by prime shifting, A003961) deficient.
Any odd node marked with 0 here (that is, nondeficient nodes in A005940) has all its ancestors up at least to the first even ancestor also nondeficient. None is the seen in the illustration below, because the first case is 945, which is the first odd abundant number (A005231), whose even parent is A064989(945) = 120, also an abundant number. (But please see also Michael De Vlieger's illustration of the tree down to level 8 where it is included in the bottom row).
Specifically, any odd perfect number, if they exist, should have an abundant mother (which should be also a member of A336930), and also abundant grand-ancestors (on the prime-shift line), up to and including the first even ancestor, at least.
On the other hand, when going towards the right, any right child has larger abundancy index than its mother has, and on all rightward leaning edges, except on the rightmost (powers of 2), a nondeficient number is eventually reached. See A336915.
LINKS
Michael De Vlieger, Tree illustrated down to level 7 (red circles stand for 1's, white circles for 0's, and the numbers inside circles are those in A005940)
Michael De Vlieger, Tree illustrated down to level 8 (otherwise like in above. Note how the first three odd abundant numbers 945, 1575, 2205 can be seen in the bottom row, inscribed in white circles, being left children of other white circles)
Michael De Vlieger, Chart of levels 0 <= j <= 16, vertically exaggerated 120X.
Michael De Vlieger, 4096-pixel square raster showing 2^24 terms, where black = 1 and white = 0.
Michael De Vlieger, Fan-style tree showing levels j = 0..13. Partial annotation of A005940(n) to levels j = 0..7.
FORMULA
a(n) = A294934(A005940(1+n)).
EXAMPLE
a(n) tells whether the n-th node in A005940 (here counted with offset 0) is deficient (here marked with 1), or not (marked with 0).
The first six levels of the binary tree (compare also to the illustration given at A005940):
1
|
1
............../ \..............
1 1
....../ \...... ....../ \......
1 0 1 1
/ \ / \ / \ / \
/ \ / \ / \ / \
1 1 1 0 1 0 1 1
/ \ / \ / \ / \ / \ / \ / \ / \
1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1
MATHEMATICA
Boole[DivisorSigma[1, #] < 2 #] & /@ Nest[Append[#1, Prime[1 + BitLength[#2] - DigitCount[#2, 2, 1]]*#1[[#2 - 2^Floor@ Log2@ #2 + 1]]] & @@ {#, Length@ #} &, {1}, 105]
(* Second program: decode chart of levels 0 <= j <= 16 to render 2^16 + 1 terms of a(n) in binary tree form *)
Block[{img = Import["https://oeis.org/A336834/a336834_1.png"], s, r, w, d}, s = ImageData[img]; r = (-1 + FirstPosition[s, 1.][[1]])/3; Set[{w, d}, {#1, -1 + #2/r}] & @@ ImageDimensions[img]; Array[Function[{i, j, k}, Array[s[[k, # i + 1]] /. {0. -> 1, 1.0 -> 0} &, j, 0]] @@ {w/#1, #1, #2} & @@ {If[# == 0, 1, 2^(# - 1)], r # + 1} &, d + 1, 0] ]
(* Third program: decode raster of 2^24 terms *)
ImageData[Import["https://oeis.org/A336834/a336834_3.png"]] /. {0. -> 1, 1. -> 0} // Flatten
(* Michael De Vlieger, Aug 18 2020 *)
PROG
(PARI)
A005940(n) = { my(p=2, t=1); n--; until(!n\=2, if((n%2), (t*=p), p=nextprime(p+1))); (t) };
A294934(n) = ((n+n) > sigma(n));
A336834(n) = A294934(A005940(1+n));
CROSSREFS
Cf. A252743, A342000 for similarly constructed sequences, and also arrays A341605/A341606 for a more promising development of the ideas presented here.
Sequence in context: A163818 A345009 A071040 * A356173 A294934 A360128
KEYWORD
nonn,tabf
AUTHOR
STATUS
approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified July 23 23:47 EDT 2024. Contains 374575 sequences. (Running on oeis4.)