Doubly triangular number

In mathematics, the doubly triangular numbers are the numbers that appear within the sequence of triangular numbers, in positions that are also triangular numbers. That is, if ${\displaystyle T_{n}=n(n+1)/2}$ denotes the ${\displaystyle n}$th triangular number, then the doubly triangular numbers are the numbers of the form ${\displaystyle T_{T_{n}}}$.

There are 21 colorings of the four corners of a square using three colors (up to symmetry), a doubly triangular number, formed by combining two of the six colorings of two opposite corners

Sequence and formula

The doubly triangular numbers form the sequence^[1]

0, 1, 6, 21, 55, 120, 231, 406, 666, 1035, 1540, 2211, ...

The ${\displaystyle n}$th doubly triangular number is given by the quartic formula^[2] $${\displaystyle T_{T_{n}}={\frac {n(n+1)(n^{2}+n+2)}{8}}.}$$

The sums of row sums of Floyd's triangle give the doubly triangular numbers. Another way of expressing this fact is that the sum of all of the numbers in the first ${\displaystyle n}$ rows of Floyd's triangle is the ${\displaystyle n}$th doubly triangular number.^[1][2]

In combinatorial enumeration

Doubly triangular numbers arise naturally as numbers of unordered pairs of unordered pairs of objects, including pairs where both objects are the same:

• An example from mathematical chemistry is given by the numbers of overlap integrals between Slater-type orbitals.^[3]
• Another example of this phenomenon from combinatorics is that the doubly-triangular numbers count the number of two-edge undirected multigraphs on ${\displaystyle n}$ labeled vertices. In this setting, an edge is an unordered pair of vertices, and a two-edge graph is an unordered pair of edges. The number of possible edges is a triangular number, and the number of pairs of edges (allowing both edges to connect the same two vertices) is a doubly triangular number.^[4]
• In the same way, the doubly triangular numbers also count the number of distinct ways of coloring the four corners or the four edges of a square with ${\displaystyle n}$ colors, allowing some colors to be unused and counting two colorings as being the same when they differ from each other only by rotation or reflection of the square. The number of choices of colors for any two opposite features of the square is a triangular number, and a coloring of the whole square combines two of these colorings of pairs of opposite features.^[1]

When pairs with both objects the same are excluded, a different sequence arises, the tritriangular numbers ${\displaystyle 3,15,45,105,\dots }$ which are given by the formula ${\textstyle {\binom {\binom {n}{2}}{2}}}$.^[5]

In numerology

Some numerologists and biblical studies scholars consider it significant that 666, the number of the beast, is a doubly triangular number.^[6][7]

References

1. Sloane, N. J. A. (ed.), "Sequence A002817 (Doubly triangular numbers)", The On-Line Encyclopedia of Integer Sequences, OEIS Foundation
2. Gulliver, T. Aaron (2002), "Sequences from squares of integers", International Mathematical Journal, 1 (4): 323–332, MR 1846748
3. Barnett, Michael P. (2003), "Molecular integrals and information processing", International Journal of Quantum Chemistry, 95 (6), Wiley: 791–805, doi:10.1002/qua.10614
4. Mathar, Richard J. (2017), Statistics on small graphs, row 2 of table 60, arXiv:1709.09000
5. Sloane, N. J. A. (ed.), "Sequence A050534 (Tritriangular numbers)", The On-Line Encyclopedia of Integer Sequences, OEIS Foundation
6. Watt, W. C. (1989), "666", Semiotica, 77 (4), doi:10.1515/semi.1989.77.4.369, S2CID 263854723
7. Heick, Otto William (January 1985), "The Antichrist in the Book of Revelation", Consensus, 11 (1), Article 3