A084777 - OEIS

%I #11 Jun 04 2023 02:22:08

%S 1,5,17,73,273,881,3785,13081,48737,184321,632193,2526305,8854081,

%T 32077921,124093025,428178641,1638563969,5878561921,21469361537,

%U 82252171393,286863949025,1061000856417,3998983314849,14361380710817

%N a(n) = sum of absolute-valued coefficients of (1+2*x-2*x^2)^n.

%H G. C. Greubel, <a href="/A084777/b084777.txt">Table of n, a(n) for n = 0..1000</a>

%F a(n) = Sum_{k=0..2*n} abs(f(n, k)), where f(n, k) = ((sqrt(3) -1)/2)^k * Sum_{j=0..k} binomial(n, j)*binomial(n, k-j)*(-1)^j*((1+sqrt(3))/2 )^(2*j). - _G. C. Greubel_, Jun 03 2023

%t T[n_,k_]:=T[n,k]=SeriesCoefficient[Series[(1+2*x-2*x^2)^n,{x,0,2n}],k];

%t a[n_]:= a[n]= Sum[Abs[T[n,k]], {k,0,2n}];

%t Table[a[n], {n,0,40}] (* _G. C. Greubel_, Jun 03 2023 *)

%o (PARI) for(n=0,40,S=sum(k=0,2*n,abs(polcoeff((1+2*x-2*x^2)^n,k,x))); print1(S","))

%o (Magma)

%o m:=40;

%o R<x>:=PowerSeriesRing(Integers(), 2*(m+2));

%o f:= func< n,k | Coefficient(R!( (1+2*x-2*x^2)^n ), k) >;

%o [(&+[ Abs(f(n,k)): k in [0..2*n]]): n in [0..m]]; // _G. C. Greubel_, Jun 03 2023

%o (SageMath)

%o def f(n,k):

%o     P.<x> = PowerSeriesRing(QQ)

%o     return P( (1+2*x-2*x^2)^n ).list()[k]

%o def a(n): return sum( abs(f(n,k)) for k in range(2*n+1) )

%o [a(n) for n in range(41)] # _G. C. Greubel_, Jun 03 2023

%Y Cf. A084775, A084776, A084778, A084779, A084780.

%K nonn

%O 0,2

%A _Paul D. Hanna_, Jun 14 2003