login
A364639
Irregular triangle read by rows: T(n,k) = A237591(n,k) - A237591(n-1,k).
6
1, 1, 0, 1, 1, 0, 0, 1, 1, -1, 1, 0, 1, 0, 1, 0, 0, 0, 0, 1, 1, 0, -1, 1, 0, 1, 0, 0, 1, -1, 1, 0, 0, 1, 0, 0, 1, 0, -1, 1, 0, 0, 1, -1, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, -1, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, -1, 1, 0, 0, 1, 0, -1, 1, 1, 0, -1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 1, -1, 1, 0, 0, 0, 0, 1, 0, -1, 1, 0
OFFSET
1
COMMENTS
It appears that every column (except for its first term) is a periodic sequence.
Conjecture: column k gives 1 together with period A002378(k) repeat S_k, where S_k is the k-th row of the triangle A364746.
Some connections with other sequences are as follows:
n is a power of 2 (A000079) if and only if row n is [1] or if row n starts with 1 and the remaining terms are zeros.
n is an odd prime (A065091) if and only if row n is [0, 1] or if row n starts with [0, 1] and the remaining terms are zeros.
n is a nonzero multiple of 6 (A008588 > 0) if and only if row n starts with [1, -1].
n is an even perfect number (A000396 assuming there are no odd perfect numbers) if and only if row n is [1, -1, 1] or if row n starts with [1] and ends in [-1, 1] and the remaining terms are zeros and row n has an odd number of terms and row n-1 has an even number of terms.
n is a term >= 10 of A091999 (and thus n is also a term >= 10 of A063221) if and only if row n starts with [1, 0, -1].
n is a term of A362866 (or, equivalently, a prime doubled (A100484) >= 10, also an even semiprime >= 10) if and only if row n is [1, 0, -1, 1] or if row n starts with [1, 0, -1, 1] and the remaining terms are zeros.
n is a term of A364414 if and only if row n starts with [0, 0, 1, 0, -1].
n is a term of A365081 if and only if row n is [0, 0, 1, 0, -1, 1] or if row n starts with [0, 0, 1, 0, -1, 1] and the remaining terms are zeros.
T(n,k) is also the difference between the length of the k-th line segment of the largest Dyck path of the symmetric representation of sigma(n) and the length of the k-th line segment of its smallest Dyck paths, from left to the axis of symmetry. For further information about these Dyck paths see A237593.
The partial sums of column k give the k-th column of A237591.
Since A237591 can be defined using partitions into consecutive parts (see A299765 and A286000), this sequence can be associated to partitions of that kind.
All connections mentioned above are due to the connections between geometry and number theory given by the stepped pyramid described in A245092. The diagram called "symmetric representation of sigma(n)" is essentially the shape of the terraces in the n-th level starting from the top of the mentioned pyramid.
From Hartmut F. W. Hoft, Aug 17 2024: (Start)
The conjecture of Omar E. Pol is true.
Since column k >= 1 in sequence A237591 starts in row A000217(k) with a section of k 1's and since
T(n, k) = T237591(n, k) - T237591(n-1, k), the first term in column k of this sequence equals 1.
The inequalities -1 <= a(n) <= 1 hold for every term a(n) in this sequence.
Every term T(n, k), n > A000217(k), in column k has period A002378(k) = k*(k+1).
The sequential periodic sections after the initial term 1 in each column k >=1 start with k-1 0's and end with k 0's.
For proofs see the link. (End)
EXAMPLE
Triangle begins:
1;
1;
0, 1;
1, 0;
0, 1;
1, -1, 1;
0, 1, 0;
1, 0, 0;
0, 0, 1;
1, 0, -1, 1;
0, 1, 0, 0;
1, -1, 1, 0;
0, 1, 0, 0;
1, 0, -1, 1;
0, 0, 1, -1, 1;
1, 0, 0, 0, 0;
0, 1, 0, 0, 0;
1, -1, 0, 1, 0;
0, 1, 0, 0, 0;
1, 0, 0, -1, 1;
0, 0, 1, 0, -1, 1;
1, 0, -1, 1, 0, 0;
0, 1, 0, 0, 0, 0;
1, -1, 1, 0, 0, 0;
0, 1, 0, -1, 1, 0;
1, 0, -1, 1, 0, 0;
0, 0, 1, 0, -1, 1;
1, 0, 0, 0, 0, -1, 1;
...
MATHEMATICA
(* The first 3 functions compute entire rows in the triangles of the respective sequences *)
t235791[n_] := Map[Ceiling[(n+1- # (#+1)/2)/#]&, Range[Floor[(Sqrt[8n+1]-1)/2]]]
t237591[n_] := Module[{s=t235791[n]}, s-Join[Rest[s], {0}]]
t364639[n_] := If[IntegerQ[(Sqrt[8n+1]-1)/2], t237591[n]-Join[t237591[n-1], {0}], t237591[n]-t237591[n-1]]/; n>=3
a364639[n_] := Join[{1, 1}, Flatten[Map[t364639, Range[3, n]]]] (* Hartmut F. W. Hoft, Aug 17 2024 *)
PROG
(PARI) row235791(n) = vector((sqrtint(8*n+1)-1)\2, i, 1+(n-(i*(i+1)/2))\i); \\ A235791
row237591(n) = {my(orow = concat(row235791(n), 0)); vector(#orow -1, i, orow[i] - orow[i+1]); } \\ A237591
row(n) = my(vb=row237591(n), va=row237591(n-1)); vector(#vb, k, if (k<=#va, vb[k]-va[k], vb[k]));
lista(nn) = for (n=1, nn, my(v=row(n)); for (k=1, #v, print1(v[k], ", "))); \\ Michel Marcus, Aug 28 2023
CROSSREFS
Row sums give A000012.
Column k starts in row A000217(k).
Row n has length A003056(n)
Right border gives A097806.
Column 1 gives A135528.
For the position of powers of 2, odd primes, and even perfect numbers see also A249351, A347529, A360022.
Sequence in context: A157926 A263243 A131377 * A342991 A285898 A077049
KEYWORD
sign,tabf
AUTHOR
Omar E. Pol, Jul 30 2023
STATUS
approved