

A280850


Irregular triangle read by rows in which row n is constructed with an algorithm using the nth row of triangle A196020 (see Comments for precise definition).


34



1, 3, 2, 2, 7, 0, 3, 3, 11, 0, 1, 4, 4, 0, 15, 0, 0, 5, 5, 3, 9, 0, 0, 9, 6, 6, 0, 0, 23, 0, 5, 0, 7, 7, 0, 0, 12, 0, 0, 12, 8, 8, 7, 0, 1, 31, 0, 0, 0, 0, 9, 9, 0, 0, 0, 35, 0, 2, 2, 0, 10, 10, 0, 0, 0, 39, 0, 0, 0, 3, 11, 11, 5, 0, 0, 5, 18, 0, 0, 18, 0, 0, 12, 12, 0, 0, 0, 0, 47, 0, 13, 0, 0, 0
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

1,2


COMMENTS

For the construction of the nth row of this triangle start with a copy of the nth row of the triangle A196020.
Then replace each element of the mth pair of positive integers (x, y) with the value (x  y)/2, where "y" is the mth evenindexed term of the row, and "x" is its previous nearest oddindexed term not used in another pair in the same row, if such a pair exist. Otherwise T(n,k) = A196020(n,k). (See example).
Observation 1: at least for the first 28 rows of the triangle the nonzero terms in the nth row are also the subparts of the symmetric representation of sigma(n), assuming the ordering of the subparts in the same row does not matter.
Question 1: are always the nonzero terms of the nth row the same as all the subparts of the symmetric representation of sigma(n)? If not, what is the index of the row in which appears the first counterexample?
Note that the "subparts" are the regions that arise after the dissection of the symmetric representation of sigma(n) into successive layers of width 1.
For more information about "subparts" see A279387 and A237593.
About the question 1, it appears that the nth row of the triangle A280851 and the nth row of this triangle contain the same nonzero numbers, though in different order; checked through n = 250000.  Hartmut F. W. Hoft, Jan 31 2018
From Omar E. Pol, Feb 02 2018: (Start)
Observation 2: at least for the first 28 rows of the triangle we have that in the nth row the oddindexed terms, from left to right, together with the evenindexed terms, from right to left, form a finite sequence in which the nonzero terms are the same as the nth row of triangle A280851, which lists the subparts of the symmetric representation of sigma(n).
Question 2: Are always the same for all rows? If not, what is the index of the row in which appears the first counterexample? (End)
Conjecture: the oddindexed terms of the nth row together with the evenindexed terms of the same row but listed in reverse order give the nth row of triangle A296508 (this is the same conjecture from A296508).  Omar E. Pol, Apr 20 2018


LINKS

Table of n, a(n) for n=1..94.
Index entries for sequences related to sigma(n)


EXAMPLE

Triangle begins (rows 1..28):
1;
3;
2, 2;
7, 0;
3, 3;
11, 0, 1;
4, 4, 0;
15, 0, 0;
5, 5, 3;
9, 0, 0, 9;
6, 6, 0, 0;
23, 0, 5, 0;
7, 7, 0, 0;
12, 0, 0, 12;
8, 8, 7, 0, 1;
31, 0, 0, 0, 0;
9, 9, 0, 0, 0;
35, 0, 2, 2, 0;
10, 10, 0, 0, 0;
39, 0, 0, 0, 3;
11, 11, 5, 0, 0, 5;
18, 0, 0, 18, 0, 0;
12, 12, 0, 0, 0, 0;
47, 0, 13, 0, 0, 0;
13, 13, 0, 0, 5, 0;
21, 0, 0, 21, 0, 0;
14, 14, 6, 0, 0, 6;
55, 0, 0, 0, 0, 0, 1;
...
An example of the algorithm.
For n = 75, the construction of the 75th row of this triangle is as shown below:
.
75th row of A196020: [149, 73, 47, 0, 25, 19, 0, 0, 0, 5, 0]
.
Oddindexed terms: 149 47 25 0 0 0
Evenindexed terms: 73 0 19 0 5
.
First evenindexed nonzero term: 73
First pair: 149 73
. **
Difference: 149  73 = 76
76/2 = 38 **
New first pair: 38 38
.
Second evenindexed nonzero term: 19
Second pair: 25 19
. **
Difference: 25  19 = 6
6/2 = 3 **
New second pair: 3 3
.
Third evenindexed nonzero term: 5
Third pair: 47 5
. **
Difference: 47  5 = 42
42/2 = 21 **
New third pair: 21 21
.
So the 75th row
of this triangle is [38, 38, 21, 0, 3, 3, 0, 0, 0, 21, 0]
.
On the other hand, the 75th row of A237593 is [38, 13, 7, 4, 3, 3, 2, 1, 1, 2, 1, 1, 2, 1, 1, 2, 3, 3, 4, 7, 13, 38], and the 74th row of the same triangle is [38, 13, 6, 5, 3, 2, 2, 1, 2, 1, 1, 1, 1, 2, 1, 2, 2, 3, 5, 6, 13, 38], therefore between both symmetric Dyck paths (described in A237593 and A279387) there are six subparts: [38, 38, 21, 21, 3, 3]. (The diagram of the symmetric representation of sigma(75) is too large to include.) At least in this case the nonzero terms of the 75th row of the triangle coincide with the subparts of the symmetric representation of sigma(75). The ordering of the elements does not matter.
Continuing with the original example, in the 75th row of this triangle we have that the oddindexed terms, from left to right, together with the evenindexed terms, from right to left, form the finite sequence [38, 21, 3, 0, 0, 0, 21, 0, 3, 0, 38] which is the 75th row of a triangle. At least in this case the nonzero terms coincide with the 75th row of triangle A280851: [38, 21, 3, 21, 3, 38], which lists the six subparts of the symmetric representation of sigma(75) in order of appearance from left to right.  Omar E. Pol, Feb 02 2018
In accordance with the conjecture from the Comments section, the finite sequence [38, 21, 3, 0, 0, 0, 21, 0, 3, 0, 38] mentioned above should be the 75th row of triangle A296508.  Omar E. Pol, Apr 20 2018


MATHEMATICA

(* functions row[], line[] and their support are defined in A196020 *)
(* maintain a stack of odd indices with nonzero entries for matching *)
a280850[n_] := Module[{a=line[n], r=row[n], stack={1}, i, j, b}, For[i=2, i<=r, i++, If[a[[i]]!=0, If[OddQ[i], AppendTo[stack, i], j=Last[stack]; b=(a[[j]]a[[i]])/2; a[[i]]=b; a[[j]]=b; stack=Drop[stack, 1]]]]; a]
Flatten[Map[a280850, Range[24]]] (* data *)
TableForm[Map[a280850, Range[28]], TableDepth>2] (* triangle in Example *)
(* Hartmut F. W. Hoft, Jan 31 2018 *)


CROSSREFS

Row sums give A000203.
The number of positive terms in row n is A001227(n).
Row n has length A003056(n).
Column k starts in row A000217(k).
Cf. A196020, A235791, A236104, A237048, A237270, A237591, A237593, A239657, A239660, A244050, A245092, A250068, A250070, A261699, A262626, A279387, A279388, A279391, A280851, A296508.
Sequence in context: A091029 A272372 A354002 * A296508 A299778 A302248
Adjacent sequences: A280847 A280848 A280849 * A280851 A280852 A280853


KEYWORD

nonn,tabf


AUTHOR

Omar E. Pol, Jan 09 2017


EXTENSIONS

Name edited by Omar E. Pol, Nov 11 2018


STATUS

approved



