%I #14 Dec 02 2015 11:54:40
%S 1,1,1,1,3,1,1,0,0,1,1,0,7,0,1,1,0,0,0,0,1,1,0,0,15,0,0,1,1,0,0,0,0,0,
%T 0,1,1,0,0,0,31,0,0,0,1,1,0,0,0,0,0,0,0,0,1,1,0,0,0,0,63,0,0,0,0,1,1,
%U 0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,127,0,0,0,0,0,1,1,0,0,0,0,0
%N Infinite symmetric matrix given by f(i,1)=1, f(1,j)=1, f(i,i)=2^i-1 and f(i,j)=0 otherwise, read by antidiagonals.
%H Robert Israel, <a href="/A204242/b204242.txt">Table of n, a(n) for n = 1..10000</a>
%F From _Robert Israel_, Nov 30 2015: (Start)
%F a(k*(k+1)/2) = a(1 + k*(k+1)/2) = 1.
%F a(2*k^2 + 2*k + 1) = 2^(k+1) - 1.
%F a(n) = 0 otherwise. (End)
%e Northwest corner:
%e 1 1 1 1
%e 1 3 0 0
%e 1 0 7 0
%e 1 0 0 15
%p N:= 1000: # to get a(1) to a(N)
%p V:= Vector(N):
%p V[[seq(k*(k+1)/2, k= 1..floor((sqrt(8*N+1)-1)/2))]]:= 1:
%p V[[seq(1+k*(k+1)/2, k=1..floor((sqrt(8*N-7)-1)/2))]]:= 1:
%p V[[seq(1+2*k+2*k^2, k=0..floor((sqrt(2*N-1)-1)/2))]]:=
%p <seq(2^(k+1)-1,k=0..floor((sqrt(2*N-1)-1)/2))>:
%p convert(V,list); # _Robert Israel_, Nov 30 2015
%t f[i_, j_] := 0; f[1, j_] := 1; f[i_, 1] := 1; f[i_, i_] := 2^i - 1;
%t m[n_] := Table[f[i, j], {i, 1, n}, {j, 1, n}]
%t TableForm[m[8]] (* 8x8 principal submatrix *)
%t Flatten[Table[f[i, n + 1 - i],
%t {n, 1, 12}, {i, 1, n}]] (* A204242 *)
%t Table[Det[m[n]], {n, 1, 15}] (* A204243 *)
%t Permanent[m_] :=
%t With[{a = Array[x, Length[m]]},
%t Coefficient[Times @@ (m.a), Times @@ a]];
%t Table[Permanent[m[n]], {n, 1, 15}] (* A203011 *)
%Y Cf. A204243, A203011.
%K nonn,tabl
%O 1,5
%A _Clark Kimberling_, Jan 13 2012
%E Name edited by _Robert Israel_, Nov 30 2015
|