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
Antti Karttunen, Table of n, a(n) for n = 0..65535
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.
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
CROSSREFS
KEYWORD
nonn,tabf
AUTHOR
Antti Karttunen and Michael De Vlieger, Aug 07 2020
STATUS
approved