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 denotes the th triangular number, then the doubly triangular numbers are the numbers of the form .
Sequence and formula
The doubly triangular numbers form the sequence[1]
The th doubly triangular number is given by the quartic formula[2]
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 rows of Floyd's triangle is the 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:
Another example of this phenomenon from combinatorics is that the doubly-triangular numbers count the number of two-edge undirected multigraphs on 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 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 which are given by the formula .[5]
^ abGulliver, T. Aaron (2002), "Sequences from squares of integers", International Mathematical Journal, 1 (4): 323–332, MR1846748
^Barnett, Michael P. (2003), "Molecular integrals and information processing", International Journal of Quantum Chemistry, 95 (6), Wiley: 791–805, doi:10.1002/qua.10614
^Mathar, Richard J. (2017), Statistics on small graphs, row 2 of table 60, arXiv:1709.09000