

A130046


Hexagonal pyramid of Pascal numbers in 3 dimensions. The 3dimensional sequence is split into slices of the pyramid which in turn consist of rows of the slice, each containing multiple columns of numbers and where each element of slice j is composed of the sum of the three elements above it in slice j1.


1



1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 1, 2, 5, 2, 1, 5, 5, 1, 1, 2, 1, 1, 2, 1, 2, 8, 8, 2, 1, 8, 15, 8, 1, 2, 8, 8, 2, 1, 2, 1, 1, 2, 1, 3, 11, 11, 3, 3, 18, 31, 18, 3, 1, 11, 31, 31, 11, 1, 2, 11, 18, 11, 2, 1, 3, 3, 1, 1, 3, 3, 1, 3, 15, 24, 15, 3, 3, 24, 60, 60, 24, 3, 1, 15, 60, 93, 60, 15, 1, 3, 24
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

0,8


COMMENTS

Successive slices [0,0], [1,0], [1,1], [2,1], [2,2], [3,2], [3,3], [4,3], [4,4], ... in table A109672 ; see also A046816 (slices [n,0]), A109673 (slices [n,n]), A109649 (slices [0,k]), A109390 (slices [n,1]), A109393 (slices [1,k]), A109494 (slices [n,2]), A109495 (slices [2,k]) .  Philippe Deléham, May 03 2007


LINKS

Jeffrey C. Jacobs, Table of n, a(n) for n = 0..30324
Jeffrey C. Jacobs, Python program for this sequence


FORMULA

Let j be a given slice of the hexagonal pyramid. For j = 0, there are no elements.
For j > 0, let a[x] to a[x+y1] represent the elements of the slice, where x is the (j1)th element of A019298 and y is the jth element of A077043. Each slice j consists of j rows of varying column length, numbered 0 to j1.
The length of the first row of slice j is given by floor((j+1)/2) and the last row by floor(j/2)+1, where by convention the last row is always greater than or equal in length to the first row.
The floor(j/2)th row is j columns in length and any row before it is given by the formula floor((j+1)/2) + row#. For rows after the floor(j/2)th row, the length is given by floor(j/2) + j  row#.
The elements a[x] to a[x+y1] are thus layed out as a concatenated series of rows of varying column lengths as specified above.
Thus for a given slice j, the element at row row# and column col# is represented by a[x + floor((j+1)/2) * row# + row# * (row#  1) / 2 + col# ] when row# <= floor(j/2) and by a[x + y  (floor(j/2) + 1) * (j  row#)  (j  row#) * (j  row# + 1) / 2 + col# ] otherwise, where x and y are defined above and row# and col# start counting from 0.
The elements of a for a given slice j, row# and col#, represented by the coordinate pair (row#, col#), is given by the following recursive relation:
For j = 1, there is 1 element whose value is 1 at (0, 0). Call this Slice[1] whose first and only element forms a0 = 1.
For j > 1, each element (row#, col#) is given by the sum of the 3 elements above it in the pyramid. If the preceding slice does not contain one of the cells specified because the coordinates are invalid for that slice, the value is assumed to be 0.
The cells above can be found using the following formula for a given cell Slice[j](row#, col#):
If j is odd:
If row# > floor(j/2):
Sum:
Slice[j1](row#, col#1)
Slice[j1](row#1,col#)
Slice[j1](row#1,col#1)
Otherwise:
Sum:
Slice[j1](row#, col#)
Slice[j1](row#1,col#)
Slice[j1](row#1,col#1)
Otherwise:
If row# > floor(j/2):
Sum:
Slice[j1](row#, col#)
Slice[j1](row#1,col#)
Slice[j1](row#,col#1)
Otherwise:
Sum:
Slice[j1](row#, col#)
Slice[j1](row#,col#1)
Slice[j1](row#1,col#1)
Each slice is also a solution to the ProuhetTarryEscott problem for a given n and k. The slices[n,k] in sequence A109672 map to the slices here by the relation k + n = j  1, where k = n (j odd) or k = n + 1 (j even).
When j is even, k = n  1 would also be a solution to the Pascal hexagonal pyramid, however here the k = n + 1 solution is chosen. For j even, the slices are also given by A109673.
Only 3 of the 6 hexagonal vertices have corresponding cells in the slice below them. Only every other vertex has a cell below it and all vertices with cells below them are always separated by 2 edges.
By convention, when constructing Slice[j] for j odd, the uppermost vertices of Slice[j1] are chosen to have cells below them and for j even the 2 vertices adjacent to the uppermost vertices of Slice[j1] are chosen.


EXAMPLE

Slice[0]:
...
Slice[1]:
1
Slice[2]:
.1
1.1
Slice[3]:
.1.1
1.3.1
.1.1
Slice[4]:
..1.1
.2.5.2
1.5.5.1
.1.2.1
Slice[5]:
....1..2..1
..2..8..8..2
.1..8.15..8..1
..2..8..8..2
....1..2..1
Slice[6]:
.....1..2..1
....3.11.11..3
..3.18.31.18..3
.1.11.31.31.11..1
..2.11.18.11..2
....1..3..3..1


CROSSREFS

Cf. A109672, A077043, A019298, A109673.
Sequence in context: A200146 A319095 A109390 * A262619 A166123 A272334
Adjacent sequences: A130043 A130044 A130045 * A130047 A130048 A130049


KEYWORD

nonn


AUTHOR

Jeffrey C. Jacobs (darklord(AT)timehorse.com), May 03 2007


STATUS

approved



