OFFSET
1,2
COMMENTS
A prime index of n is a number m such that prime(m) divides n. The multiset of prime indices of n is row n of A112798.
The first sums of a nonempty sequence (a, b, c, d, ...) are (a+b, b+c, c+d, ...).
Also numbers k such that the trimmed 0-based partial alternating sums of the reversed prime indices of k are all distinct. Here, the k-based partial alternating sums of a finite sequence q are given by pas(q,k)_j = (-1)^j * k + Sum_{i=1..j} (-1)^(i+j) * q_i. This is a signed version of the partial sums transformation, inverse to the "first sums" transformation. It is trimmed by removing the zeroth line (which is always k). For example, the trimmed 0-based partial alternating sums of q = (a,b,c,d,e) are:
pas(q,0)_1 = a
pas(q,0)_2 = -a + b
pas(q,0)_3 = a - b + c
pas(q,0)_4 = -a + b - c + d
pas(q,0)_5 = a - b + c - d + e
Conjecture: Integer partitions of this type (distinct trimmed 0-based partial alternating sums) appear to be counted by A000009. For example, the A000009(1) = 1 through A000009(9) = 8 partitions are:
(1) (2) (3) (4) (5) (6) (7) (8) (9)
(11) (21) (22) (32) (33) (43) (44) (54)
(31) (41) (42) (52) (53) (63)
(221) (51) (61) (62) (72)
(321) (331) (71) (81)
(421) (332) (432)
(431) (441)
(521) (531)
(621)
(3321)
EXAMPLE
The reversed prime indices of 18 are (2,2,1), which is the 0-prepended first sums of (2,0,1), which are all distinct, so 18 is in the sequence.
The reversed prime indices of 75 are (3,3,2), which is the 0-prepended first sums of (3,0,2), which are all distinct, so 75 is in the sequence.
The reversed prime indices of 90 are (3,2,2,1), with 0-based partial alternating sums (0,3,-1,3,-2), trimmed (3,-1,3,-2), which are not all distinct, so 90 is not in the sequence.
The terms together with their prime indices begin:
1: {}
2: {1}
3: {2}
4: {1,1}
5: {3}
6: {1,2}
7: {4}
9: {2,2}
10: {1,3}
11: {5}
13: {6}
14: {1,4}
15: {2,3}
17: {7}
18: {1,2,2}
19: {8}
21: {2,4}
22: {1,5}
MATHEMATICA
prix[n_]:=If[n==1, {}, Flatten[Cases[FactorInteger[n], {p_, k_}:>Table[PrimePi[p], {k}]]]];
pas[y_, k_]:=Table[(-1)^j*k+Sum[(-1)^(i+j)*y[[i]], {i, j}], {j, 0, Length[y]}];
Select[Range[100], UnsameQ@@Rest[pas[Reverse[prix[#]], 0]]&]
CROSSREFS
KEYWORD
nonn
AUTHOR
Gus Wiseman, Jan 26 2026
STATUS
approved
