OFFSET
4,1
COMMENTS
Number of n permutations (n>=4) of 3 objects u,v,z, with repetition allowed, containing n-4 u's. Example: if n=4 then n-4 =(0) zero u, a(1)=16 because we have vvvv zzzz vvvz zzzv vvzv zzvz vzvv zvzz zvvv vzzz vvzz zzvv vzvz zvzv zvvz vzzv. - Zerinvary Lajos, Aug 05 2008
a(n) is the number of 3-dimensional elements in an n-cross polytope where n>=4. - Patrick J. McNab, Jul 06 2015
Number of ternary sequences with exactly four 0's and 1's in total. For example, a(5) = 80 since the strings are (number of permutations in parentheses): 00002 (5), 10002 (20), 11002 (30), 11102 (20), 11112 (5). - Enrique Navarrete, Oct 08 2025
Also the number of tetrahedra in the n-cocktail party graph. - Eric W. Weisstein, Dec 19 2025
LINKS
Harlan J. Brothers, Pascal's Prism: Supplementary Material.
Milan Janjić, Two Enumerative Functions. [Wayback Machine link]
Eric Weisstein's World of Mathematics, Cocktail Party Graph.
Eric Weisstein's World of Mathematics, Cross Polytope.
Eric Weisstein's World of Mathematics, Graph Tetrahedron.
Index entries for linear recurrences with constant coefficients, signature (5,-10,10,-5,1).
FORMULA
a(n) = binomial(2*n,4) + binomial(n,2) - n*binomial(2*n-2,2).
a(n) = binomial(n,4)*16. - Zerinvary Lajos, Dec 07 2007
G.f.: 16*x^4/(1-x)^5. - Colin Barker, Apr 14 2012
a(n) = 2*n*(n-1)*(n-2)*(n-3)/3 = 2*A162668(n-3). - Robert Israel, Jul 06 2015
a(n) = 16 * A000332(n). - Alois P. Heinz, Oct 26 2020
E.g.f.: 2*exp(x)*x^4/3. - Stefano Spezia, Jul 17 2025
From Amiram Eldar, Jul 25 2025: (Start)
Sum_{n>=4} 1/a(n) = 1/12.
Sum_{n>=4} (-1)^n/a(n) = 2*log(2) - 4/3. (End)
a(n) = 5*a(n-1) - 10*a(n-2) + 10*a(n-3) - 5*a(n-4) + a(n-5). - Enrique Navarrete, Oct 08 2025
MAPLE
a:= n-> binomial(2*n, 4) +binomial(n, 2) -n*binomial(2*n-2, 2);
seq(binomial(n, n-4)*2^4, n=4..37); # Zerinvary Lajos, Dec 07 2007
MATHEMATICA
a[n_] := 16 * Binomial[n, 4]; Array[a, 34, 4] (* Amiram Eldar, Jul 25 2025 *)
PROG
(PARI) a(n) = 16 * binomial(n, 4); \\ Amiram Eldar, Jul 25 2025
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Milan Janjic, Jul 16 2007
STATUS
approved
