%I #17 Feb 10 2023 18:51:13
%S 1,-1,0,-1,1,-1,1,2,-1,0,1,-1,-2,1,1,-1,-4,3,3,-1,0,-1,1,4,-3,-3,1,-1,
%T 1,6,-5,-10,6,4,-1,0,1,-1,-6,5,10,-6,-4,1,1,-1,-8,7,21,-15,-20,10,5,
%U -1,0,-1,1,8,-7,-21,15,20,-10,-5,1,-1,1,10,-9,-36,28,56
%N Array: row n shows the coefficients of the characteristic polynomial of the n-th principal submatrix of (f(i,j)), where f(i,j)=(1 if max(i,j) is odd, and 0 otherwise) as in A204171.
%C Let p(n)=p(n,x) be the characteristic polynomial of the n-th principal submatrix. The zeros of p(n) are real, and they interlace the zeros of p(n+1). See A202605 and A204016 for guides to related sequences.
%C This sequence uses the characteristic polynomial defined as det(A - x I), rather than det(x I - A), so the last term in row n is (-1)^n. - _Robert Israel_, Feb 10 2023
%D (For references regarding interlacing roots, see A202605.)
%H Robert Israel, <a href="/A204172/b204172.txt">Table of n, a(n) for n = 1..10010</a> (rows 1 to 140, flattened)
%F (Empirical) T(m,k) = [x^m y^(k-1)] y*(1-x*y)*(1-x+x^3*y^2)/(1+y^2-2*x^2*y^2+x^4*y^4). - _Robert Israel_, Feb 10 2023
%e Top of the array:
%e 1, -1;
%e 0, -1, 1;
%e -1, 1, 2, -1;
%e 0, 1, -1, -2, 1;
%p for n from 1 to 20 do
%p P:= (-1)^n * LinearAlgebra:-CharacteristicPolynomial(Matrix(n,n,(i,j) -> max(i,j) mod 2),x):
%p print(seq(coeff(P,x,i),i=0..n));
%p od: # _Robert Israel_, Feb 10 2023
%t f[i_, j_] := If[Mod[Max[i, j], 2] == 1, 1, 0]
%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, 15}, {i, 1, n}]] (* A204171 *)
%t p[n_] := CharacteristicPolynomial[m[n], x];
%t c[n_] := CoefficientList[p[n], x]
%t TableForm[Flatten[Table[p[n], {n, 1, 10}]]]
%t Table[c[n], {n, 1, 12}]
%t Flatten[%] (* A204172 *)
%t TableForm[Table[c[n], {n, 1, 10}]]
%Y Cf. A204171, A202605, A204016.
%K tabf,sign
%O 1,8
%A _Clark Kimberling_, Jan 12 2012
|