This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A199571 #37 Oct 22 2022 16:19:36 %S A199571 1,0,1,0,0,1,0,4,0,1,0,0,2,0,1,0,16,2,2,0,1,0,0,6,0,2,0,1,0,64,10,8,0, %T A199571 2,0,1,0,0,22,0,6,0,2,0,1,0,256,42,32,2,6,0,2,0,1,0,0,86,0,20,0,6,0,2, %U A199571 0,1,0,1024,170,128,14,22,0,6,0,2,0,1,0,0 %N A199571 Table version of the array of number of round trips of length L from any of the N vertices of the cycle graph C_N. %C A199571 Let w(N,L) be the number of return paths (round trip walks) of length L >= 0 from any vertex of the cycle graph C_N, N >= 1. (Due to cyclic symmetry, this array w(N,L) is independent of the start vertex.) w(N,L) = trace(AC(N)^L)/N = Sum_{k=0..N-1} x^{(N)}_k, with the N X N adjacency matrix AC(N) of the cycle graph C_N, and x^{(N)}_k are the zeros of the characteristic polynomial C(N,x) of AC(N). See A198637 for the coefficient triangle for C(N,x). C(N,x) = 2*(T(N,x/2)-1) for N >= 2. These zeros are x^{(N)}_k = 2*cos(2*Pi*k/N), N >= 2 (from T(N,x/2)=1). For N=1 one has C(1,x)=x with x^{(1)}_0 = 0. This sum formula for w(n,L) has been given in a comment to A054877 (N=5 case) by H. Kociemba. For N=1 one uses 0^0 := 1 to obtain w(1,L) = delta(L,0) (Kronecker's delta-symbol). %C A199571 The o.g.f. G(N,x) := Sum_{L>=0} w(N,L)*x^L is, by a general result on moments of zeros of polynomials (see the W. Lang reference, theorem 5, p. 244), %C A199571 y*(d/dx)C(N,x)/(N*C(N,x)), with y=1/x. This becomes for N >= 2: G(N,x) = y*S(N-1,y)/(2*T(N,y/2)-1) with y=1/x. For N=1 one has G(1,x)=1 (not 1/(1-2*x)). In the formula section this N >= 2 result is given explicitly, using the Binet-de Moivre form of the S- and T-polynomials. %H A199571 Wolfdieter Lang, <a href="http://dx.doi.org/10.1016/S0377-0427(97)00240-9">On sums of powers of zeros of polynomials</a>, J. Comp. Appl. Math. 89 (1998) 237-256. %F A199571 a(K,L) = w(N,K-N+1), K >= 0, n=1,...,K+1, with w(N,L) defined as return walk numbers of length L of the cycle graph C_N in the comment section above. %F A199571 w(N,L) = Sum_{k=0..N-1} (2*cos(2*Pi*k)/N)^L, N >= 2. For N=1 one has w(1,0)=1 and w(1,L)=0 if L >= 1. %F A199571 O.g.f. G(N,x) for w(N,L): for N >= 2: %F A199571 y*S(N-1,y)/(2*(T(N,y/2)-1)) with y=1/x, and for N=1 one has G(1,x)=1. This can, for N >= 2, be written as %F A199571 G(N,x) = sinh(N*log(2*x/(1-sqrt(1-(2*x)^2))))/(sqrt(1-(2*x)^2)*(cosh(N*log(2*x/(1-sqrt(1-(2*x)^2))))-1)). %e A199571 The triangle a(K,N) = w(N,K-N+1) begins %e A199571 K\N 1 2 3 4 5 6 7 8 9 10 ... %e A199571 0: 1 %e A199571 1: 0 1 %e A199571 2: 0 0 1 %e A199571 3: 0 4 0 1 %e A199571 4: 0 0 2 0 1 %e A199571 5: 0 16 2 2 0 1 %e A199571 6: 0 0 6 0 2 0 1 %e A199571 7: 0 64 10 8 0 2 0 1 %e A199571 8: 0 0 22 0 6 0 2 0 1 %e A199571 9: 0 256 42 32 2 6 0 2 0 1 %e A199571 ... %e A199571 The array w(N,L) begins %e A199571 N\L 0 1 2 3 4 5 6 7 8 9 10 ... %e A199571 1: 1 0 0 0 0 0 0 0 0 0 0 %e A199571 2: 1 0 4 0 16 0 64 0 256 0 1024 %e A199571 3: 1 0 2 2 6 10 22 42 86 170 342 %e A199571 4: 1 0 2 0 8 0 32 0 128 0 512 %e A199571 5: 1 0 2 0 6 2 20 14 70 72 254 %e A199571 6: 1 0 2 0 6 0 22 0 86 0 342 %e A199571 7: 1 0 2 0 6 0 20 2 70 18 252 %e A199571 8: 1 0 2 0 6 0 20 0 72 0 272 %e A199571 9: 1 0 2 0 6 0 20 0 70 2 252 %e A199571 10: 1 0 2 0 6 0 20 0 70 0 254 %e A199571 ... %e A199571 w(1,0)=1, one vertex considered. %e A199571 For N >= 2 the vertices (nodes) of C_N are numbered consecutively in the positive sense by 1,2,...,N. W.l.o.g. one can take the vertex number 1 as start of the return trip. %e A199571 w(3,4)=6 from the six return paths 12121, 13131, 12131, 13121, 12321 and 13231. %e A199571 w(5,5)=2 from the two return paths 123451 and 154321. %Y A199571 Cf. A198633 (walks on the P_N graph). %Y A199571 The N=1,...,10 sequences are A000007, A199572, A078008, A199573, A054877, A047849, A094659, A063376, A094233, A095929. %K A199571 nonn,easy,walk,tabl %O A199571 0,8 %A A199571 _Wolfdieter Lang_, Nov 08 2011