|
%I #11 Feb 06 2024 12:22:05
%S 1,10,281,10580,457700,21475122,1062749598,54611328552,2886091165052,
%T 155866877884424,8564415357567017,477261537757290340,
%U 26908911750685828972,1532232857543951354044,87987735421932575184876,5089715542281323916803664,296304273741441480224927436
%N G.f.: exp( Sum_{n>=1} binomial(6*n-1, 3*n) * x^n/n ).
%H Vaclav Kotesovec, <a href="/A213403/b213403.txt">Table of n, a(n) for n = 0..500</a>
%H Feihu Liu and Guoce Xin, <a href="https://arxiv.org/abs/2401.14627">Simple Generating Functions for Certain Young Tableaux with Periodic Walls</a>, arXiv:2401.14627 [math.CO], 2024.
%F G.f. A(x) satisfies: A(x^3) = C(x)*C(u*x)*C(u^2*x) where u = exp(2*Pi*I/3) and C(x) = (1-sqrt(1-4*x))/(2*x) is the Catalan function (A000108).
%F Recurrence: (n-1)*n*(n+1)*(3*n-2)*(3*n-1)*(3*n+1)*(3*n+2)*(108*n^3 - 738*n^2 + 1626*n - 1145)*a(n) = 16*(n-1)*n*(3*n-2)*(3*n-1)*(15552*n^6 - 145152*n^5 + 544104*n^4 - 1066212*n^3 + 1170804*n^2 - 673396*n + 144935)*a(n-1) - 192*(n-1)*(1119744*n^9 - 16609536*n^8 + 108801792*n^7 - 413667648*n^6 + 1005574176*n^5 - 1616657184*n^4 + 1710678468*n^3 - 1140217942*n^2 + 429402110*n - 68310725)*a(n-2) + 2048*(2*n-5)*(2239488*n^9 - 39937536*n^8 + 314181504*n^7 - 1428637824*n^6 + 4127176800*n^5 - 7823974464*n^4 + 9674759436*n^3 - 7456006106*n^2 + 3201337522*n - 567810495)*a(n-3) - 1048576*(n-3)*(2*n-7)*(2*n-5)*(3*n-10)*(3*n-8)*(6*n-19)*(6*n-17)*(108*n^3 - 414*n^2 + 474*n - 149)*a(n-4). - _Vaclav Kotesovec_, Jul 05 2014
%F a(n) ~ (2-sqrt(2)*3^(1/4))*(1+sqrt(3)) * 2^(6*n+1) / (n^(3/2)*sqrt(3*Pi)). - _Vaclav Kotesovec_, Jul 05 2014
%e G.f.: A(x) = 1 + 10*x + 281*x^2 + 10580*x^3 + 457700*x^4 + 21475122*x^5 +...
%e such that A(x^3) = C(x)*C(u*x)*C(u^2*x) where u = exp(2*Pi*I/3) and
%e C(x) = 1 + x + 2*x^2 + 5*x^3 + 14*x^4 + 42*x^5 + 132*x^6 + 429*x^7 +...
%o (PARI) {a(n)=polcoeff(exp(sum(m=1,n,binomial(6*m-1,3*m)*x^m/m)+x*O(x^n)),n)}
%o for(n=0,20,print1(a(n),", "))
%Y Cf. A000108, A079489, A213404, A213405, A213406.
%K nonn
%O 0,2
%A _Paul D. Hanna_, Jun 10 2012
| 