cp's OEIS Frontend

A226302 a(n) = P_n(-1), where P_n(x) is a certain polynomial arising in the enumeration of tatami mat coverings.

%I A226302 #29 Feb 23 2019 04:28:25
%S A226302 1,-1,2,-4,6,-14,20,-48,70,-166,252,-584,924,-2092,3432,-7616,12870,
%T A226302 -28102,48620,-104824,184756,-394404,705432,-1494240,2704156,-5692636,
%U A226302 10400600,-21785872,40116600,-83688344,155117520,-322494208,601080390,-1246068806,2333606220
%N A226302 a(n) = P_n(-1), where P_n(x) is a certain polynomial arising in the enumeration of tatami mat coverings.
%C A226302 See Erickson-Ruskey for precise definition. The polynomials P_n(x) are described as "mysterious".
%C A226302 Bisections give A082590 and A000984.
%H A226302 G. C. Greubel, <a href="/A226302/b226302.txt">Table of n, a(n) for n = 2..1000</a>
%H A226302 A. Erickson and F. Ruskey, <a href="http://arxiv.org/abs/1304.0070">Enumerating maximal tatami mat coverings of square grids with v vertical dominoes</a>, arXiv:1304.0070 [math.CO], 2013
%F A226302 Conjecture: (-n+2)*a(n) +(-n+2)*a(n-1) +2*(3*n-11)*a(n-2) +2*(3*n-14)*a(n-3) +4*(-2*n+9)*a(n-4) +8*(-n+6)*a(n-5)=0. - _R. J. Mathar_, Nov 06 2013
%F A226302 G.f. (for offset 0): 1/sqrt(1-4*x^2) - x/((1-2*x^2)*sqrt(1-4*x^2)) = 1 - x/W(0), where W(k)= 1 - 2*x^2 - 2*x*(1 - 2*x^2)^2*(2*k+1)/( 2*x*(1 - 2*x^2)*(2*k+1) - (k+1)/(1 - x/W(k+1) )); (continued fraction). - _Sergei N. Gladkovskii_, Jun 13 2015
%F A226302 Recurrence (for n>5): (n-5)*(n-2)*a(n) = -2*(n-4)*a(n-1) + 2*(n-5)*(3*n-10)*a(n-2) + 4*(n-4)*a(n-3) - 8*(n-5)*(n-4)*a(n-4). - _Vaclav Kotesovec_, Jun 14 2015
%F A226302 a(n) ~ (-1)^n * 2^(n-3/2) / sqrt(Pi*n). - _Vaclav Kotesovec_, Jun 14 2015
%p A226302 A226302 := proc(n)
%p A226302     if type(n,even) then
%p A226302         A000984(n/2-1) ;
%p A226302     else
%p A226302         -A082590((n-3)/2) ;
%p A226302     end if;
%p A226302 end proc: # _R. J. Mathar_, Nov 06 2013
%t A226302 Rest[Rest[CoefficientList[Series[x^2*(1/Sqrt[1-4*x^2] - x/((1-2*x^2)*Sqrt[1-4*x^2])), {x, 0, 30}], x]]] (* _Vaclav Kotesovec_, Jun 14 2015, after _Sergei N. Gladkovskii_ *)
%t A226302 max = 30; Clear[g]; g[max + 2] = 1; g[k_] := g[k] = 1 - 2*x^2 - 2*x*(1 - 2*x^2)^2*(2*k+1)/( 2*x*(1 - 2*x^2)*(2*k+1) - (k+1)/(1 - x/g[k+1] )); gf = 1 - x/g[0]; CoefficientList[Series[gf, {x, 0, max}], x] (* _Vaclav Kotesovec_, Jun 14 2015, after _Sergei N. Gladkovskii_ *)
%t A226302 a = DifferenceRoot[Function[{a, n}, {(-(6*n^2) + 2*n + 4)*a[n+2] + (n^2 + n - 2)*a[n+4] + 8*(n - 1)*n*a[n] - 4*n*a[n+1] + 2*n*a[n+3] == 0, a[2] == 1, a[3] == -1, a[4] == 2, a[5] == -4}]]; Table[a[n], {n, 2, 36}] (* _Jean-François Alcover_, Feb 23 2019 *)
%o A226302 (PARI) Vec(x^2*(1/sqrt(1-4*x^2) - x/((1-2*x^2)*sqrt(1-4*x^2))) + O(x^50)) \\ _G. C. Greubel_, Jan 29 2017
%Y A226302 Cf. A226303, A226304, A082590, A000984.
%K A226302 sign
%O A226302 2,3
%A A226302 _N. J. A. Sloane_, Jun 06 2013