Wednesday 2 December 2020

Pentatope Numbers

Today I turned 26176 days old and one of the properties of this number, as listed in the Online Encyclopaedia of Integer Sequences (OEIS), is that it's a member of OEIS A118411:


A118411

Numerator of sum of reciprocals of first n pentatope numbers A000332.

 The sequence runs:

1, 6, 19, 136, 83, 119, 656, 73, 190, 121, 1816, 559, 679, 815, 3872, 1139, 886, 513, 2360, 2023, 2299, 2599, 11696, 3275, 7306, 1353, 5992, 1653, 5455, 5983, 26176, ...

I didn't know what pentatope numbers were so I needed to find out. Firstly, this type of number is a particular example of a more general type of number, the polytope number. It can exist in any number of dimensions and so we can speak of an \(n\)-polytope where \(n\) represents the number of dimensions. However, we get into deep water quickly if we wax too general so I'll bring it back to specifics for the moment by looking at Pascal's triangle (Figure 1).


Figure 1
: Derivation of pentatope numbers from
    a left-justified Pascal's triangle. Source.

So a pentatope number could be defined as any number in the fifth cell of any row of Pascal's triangle starting with the 5-term row 1 4 6 4 1. The terms are given by OEIS A000332:

1, 5, 15, 35, 70, 126, 210, 330, 495, 715, 1001, 1365, 1820, 2380, 3060, 3876, 4845, 5985, 7315, 8855, 10626, 12650, 14950, 17550, 20475, 23751, 27405, 31465, 35960, ...

Pascal's triangle lists the binomial coefficients and the pentatope numbers (let's refer to them as \(P_n\)), can be expressed in terms of these coefficients, specifically:$$P_n=\binom{n+3}{4} \text{ where }n \geq 1$$This reads as the number of ways to choose \(n+3\) things four at a time. An alternative representation involves the use of the rising factorial, so that we can write:$$P_n=\frac {n^{ \overline 4}}{4!}=\frac{n(n+1)(n+2)(n-3)}{24} \text { where }n \geq 1$$The infinite sum of the reciprocals of all pentatope numbers is \(\frac{4}{3} \) and this takes us back to OEIS A118411, the sequence that started this post. In other words:$$ \sum^ {\infty}_{n=1} \frac{4!}{n(n+1)(n+2)(n+3)}=\frac{4}{3}$$This sequence only shows the numerators, so let's write some SageMath code to generate the actual fractions (permalink). See Figure 2.

Figure 2

The result is:

(1, 1), (6, 5), (19, 15), (136, 105), (55, 42), (83, 63), (119, 90), (656, 495), (73, 55), (190, 143), (121, 91), (1816, 1365), (559, 420), (679, 510), (815, 612), (3872, 2907), (1139, 855), (886, 665), (513, 385), (2360, 1771), (2023, 1518), (2299, 1725), (2599, 1950), (11696, 8775), (3275, 2457), (7306, 5481), (1353, 1015), (5992, 4495), (1653, 1240), (5455, 4092), (5983, 4488), (26176, 19635)

Now \(\frac{4}{3}=1. \dot{3} \) and even \( \frac{6}{5}=1.2 \) is getting close to this. If we look at the final fraction in the above list, we see that: $$\frac{26176}{19635}=1.33312961548256$$ Clearly the fractions are getting closer to \(1. \dot{3}\). The generating function for the pentatope numbers is:$$ \frac{x}{(1-x)^5}=x+5x^2+15x^3+35x^4+...$$Referring back to Figure 1, it can be seen that the pentatope numbers are the cumulative sums of the tetrahedral number, just as the tetrahedral numbers are the cumulative sums of the triangular numbers and the triangular numbers are the cumulative sums of the natural numbers. 

To quote from this source:

"Pentatope" is a recent term. Regarding the fifth row, Pascal wrote that ... since there are no fixed names for them, they might be called triangulo-triangular numbers. Pentatope numbers exists in the 4D space and describe the number of vertices in a configuration of 3D tetrahedrons joined at the faces.

This is a big topic and a lot more could be said of about pentatopes and polytopes but that will do for now as we are focusing on the pentatope numbers. 

No comments:

Post a Comment