OFFSET
0,3
LINKS
Index entries for linear recurrences with constant coefficients, signature (6,-15,20,-15,6,-1).
FORMULA
a(n) = (n^5 - n^3) / 2.
G.f.: (Sum_{j=1..5} S2(5,j)*j!*x^j/(1-x)^(j+1) - Sum_{j=1..3} S2(3,j)*j!*x^j/(1-x)^(j+1)) / 2, where S2 is the Stirling subset number A008277.
G.f.: x * Sum_{k=1..4} A145883(5,k) * x^k / (1-x)^6.
E.g.f.: (Sum_{k=1..5} S2(5,k)*x^k - Sum_{k=1..3} S2(3,k)*x^k) * exp(x) / 2, where S2 is the Stirling subset number A008277.
For n>5, a(n) = Sum_{j=1..6} -binomial(j-7,j) * a(n-j).
From Amiram Eldar, Jun 21 2026: (Start)
Sum_{n>=2} 1/a(n) = 5/2 - 2*zeta(3).
Sum_{n>=2} (-1)^n/a(n) = 3*zeta(3)/2 + 4*log(2) - 9/2. (End)
EXAMPLE
For a(0) = 0 and a(1) = 0, there are no chiral rows using fewer than two colors.
For a(2) = 12, the chiral pairs are AAAAB-BAAAA, AAABA-ABAAA, AAABB-BBAAA, AABAB-BABAA, AABBA-ABBAA, AABBB-BBBAAA, ABAAB-BAABA, ABABB-BBABA, ABBAB-BABBA, ABBBB-BBBBA, BAABB-BBAAB, and BABBB-BBBAB.
MATHEMATICA
Table[(n^5-n^3)/2, {n, 0, 40}]
(* Alternative: *)
LinearRecurrence[{6, -15, 20, -15, 6, -1}, {0, 0, 12, 108, 480, 1500}, 40]
PROG
(PARI) a(n)=(n^5-n^3)/2 \\ Charles R Greathouse IV, Oct 21 2022
CROSSREFS
KEYWORD
nonn,easy,changed
AUTHOR
Robert A. Russell, Nov 16 2018
STATUS
approved
