login
a(n) = n^2 - 3.
3

%I #50 Sep 08 2022 08:45:28

%S -2,1,6,13,22,33,46,61,78,97,118,141,166,193,222,253,286,321,358,397,

%T 438,481,526,573,622,673,726,781,838,897,958,1021,1086,1153,1222,1293,

%U 1366,1441,1518,1597,1678,1761,1846,1933,2022,2113,2206,2301,2398,2497

%N a(n) = n^2 - 3.

%C Essentially the same as A028872 (n^2-3 with offset 2).

%C a(n) is the constant term of the quadratic factor of the characteristic polynomial of the 5 X 5 tridiagonal matrix M_n with M_n(i,j) = n for i = j, M_n(i,j) = -1 for i = j+1 and i = j-1, M_n(i,j) = 0 otherwise.

%C The characteristic polynomial of M_n is (x-(n-1))*(x-n)*(x-(n+1))*(x^2-2*n*x+c) with c = n^2-3.

%C The characteristic polynomials are related to chromatic polynomials, cf. links. They have roots n+sqrt(3).

%H Eric W. Weisstein, <a href="http://mathworld.wolfram.com/ChromaticPolynomial.html">Chromatic Polynomial</a>

%H Wikipedia, <a href="http://en.wikipedia.org/wiki/Chromatic_polynomial">Chromatic polynomial</a>

%H <a href="/index/Rec#order_03">Index entries for linear recurrences with constant coefficients</a>, signature (3,-3,1).

%F a(n) = 2*n + a(n-1) - 1. - _Vincenzo Librandi_, Nov 12 2010

%F G.f.: x*(-2+x)*(1-3*x)/(1-x)^3. - _Colin Barker_, Jan 29 2012

%e The quadratic factors of the characteristic polynomials of M_n for n = 1..6 are

%e x^2 - 2*x - 2,

%e x^2 - 4*x + 1,

%e x^2 - 6*x + 6,

%e x^2 - 8*x + 13,

%e x^2 - 10*x + 22,

%e x^2 - 12*x + 33.

%p with(combinat):seq(fibonacci(3, i)-4,i=1..55); # _Zerinvary Lajos_, Mar 20 2008

%t M[n_] := {{n, -1, 0, 0, 0}, {-1, n, -1, 0, 0}, {0, -1, n, -1, 0}, {0, 0, -1, n, -1}, {0, 0, 0, -1, n}}; p[n_, x_] = Factor[CharacteristicPolynomial[M[n], x]] Table[ -3 + n^2, {n, 1, 25}]

%o (Magma) mat:=func< n | Matrix(IntegerRing(), 5, 5, [< i, j, i eq j select n else (i eq j+1 or i eq j-1) select -1 else 0 > : i, j in [1..5] ]) >; [ Coefficients(Factorization(CharacteristicPolynomial(mat(n)))[4][1])[1]:n in [1..50] ]; // _Klaus Brockhaus_, Nov 13 2010

%o (PARI) A123968(n) = n^2-3 /* or: */

%o (PARI) a(n)=polcoeff(factor(charpoly(matrix(5,5,i,j,if(abs(i-j)>1,0,if(i==j,n,-1)))))[4,1], 0)

%Y Essentially the same: A028872, A267874.

%K sign,easy

%O 1,1

%A _Gary W. Adamson_ and _Roger L. Bagula_, Oct 29 2006

%E Edited and extended by _Klaus Brockhaus_, Nov 13 2010

%E Definition simplified by _M. F. Hasler_, Nov 12 2010