OFFSET
0,3
COMMENTS
This is the r=5 member in the r-family of sequences S_r(n) defined in A092184 where more information can be found.
Number of spanning trees of the wheel W_n on n+1 vertices. - Emeric Deutsch, Mar 27 2005
Also number of spanning trees of the n-helm graph. - Eric W. Weisstein, Jul 16 2011
a(n) is the smallest number requiring n terms when expressed as a sum of Lucas numbers (A000204). - David W. Wilson, Jan 10 2006
This sequence has a primitive prime divisor for all terms beyond the twelfth. - Anthony Flatters (Anthony.Flatters(AT)uea.ac.uk), Aug 17 2007
From Giorgio Balzarotti, Mar 11 2009: (Start)
Determinant of power series of gamma matrix with determinant 1:
a(n) = Determinant(A + A^2 + A^3 + A^4 + A^5 + ... + A^n)
where A is the submatrix A(1..2,1..2) of the matrix with factorial determinant
A = [[1,1,1,1,1,1,...],[1,2,1,2,1,2,...],[1,2,3,1,2,3,...],[1,2,3,4,1,2,...],
[1,2,3,4,5,1,...],[1,2,3,4,5,6,...],...]. Note: Determinant A(1..n,1..n)= (n-1)!.
The previous comment could be rephrased as: a(n) = -det(A^n - I) where I is the 2 X 2 identity matrix and A = [1, 1; 1, 2]. - Peter Bala, Mar 20 2015
a(n) is also the number of points of Arnold's "cat map" that are on orbits of period n-1. This is a map of the two-torus T^2 into itself. If we regard T^2 as R^2 / Z^2, the action of this map on a two vector in R^2 is multiplication by the unit-determinant matrix A = [2, 1;1, 1], with the vector components taken modulo one. As such, an explicit formula for the n-th entry of this sequence is -det(I-A^n). - Bruce Boghosian, Apr 26 2009
7*a(n) gives the total number of vertices in a heptagonal hyperbolic lattice {7,3} with n total levels, in which an open heptagon is centered at the origin. - Robert M. Ziff, Apr 10 2011
The sequence is the case P1 = 5, P2 = 6, Q = 1 of the 3 parameter family of 4th-order linear divisibility sequences found by Williams and Guy. - Peter Bala, Apr 03 2014
Determinants of the spiral knots S(3,k,(1,-1)). a(k) = det(S(3,k,(1,-1))). These knots are also the weaving knots W(k,3) and the Turk's Head Links THK(3,k). - Ryan Stees, Dec 14 2014
Even-indexed Fibonacci numbers (1, 3, 8, 21, ...) convolved with (1, 2, 2, 2, 2, ...). - Gary W. Adamson, Aug 09 2016
a(n) is the number of ways to tile a bracelet of length n with 1-color square, 2-color dominos, 3-color trominos, etc. - Yu Xiao, May 23 2020
a(n) is the number of face-labeled unfoldings of a pyramid whose base is a simple n-gon. Cf. A103536. - Rick Mabry, Apr 17 2023
REFERENCES
I. P. Goulden and D. M. Jackson, Combinatorial Enumeration, Wiley, N.Y., 1983, (p. 193, Problem 3.3.40 (a)).
N. Hartsfield and G. Ringel, Pearls in Graph Theory, p. 102. Academic Press: 1990.
B. Hasselblatt and A. Katok, "Introduction to the Modern Theory of Dynamical Systems," Cambridge University Press, 1997.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
LINKS
G. C. Greubel, Table of n, a(n) for n = 0..2375 (terms 0..200 from T. D. Noe)
Marco Abrate, Stefano Barbero, Umberto Cerruti, and Nadir Murru, Polynomial sequences on quadratic curves, Integers, Vol. 15, 2015, #A38.
S. Barbero, U. Cerruti, and N. Murru, On polynomial solutions of the Diophantine equation (x + y - 1)^2 = wxy, Rendiconti Sem. Mat. Univ. Pol. Torino (2020) Vol. 78, No. 1, 5-12.
Joshua P. Bowman, Compositions with an Odd Number of Parts, and Other Congruences, J. Int. Seq (2024) Vol. 27, Art. 24.3.6. See pp. 25, 29.
N. Brothers, S. Evans, L. Taalman, L. Van Wyk, D. Witczak, and C. Yarnall, Spiral knots, Missouri J. of Math. Sci., 22 (2010).
M. DeLong, M. Russell, and J. Schrock, Colorability and determinants of T(m,n,r,s) twisted torus knots for n equiv. +/-1(mod m), Involve, Vol. 8 (2015), No. 3, 361-384.
N. Dowdall, T. Mattman, K. Meek, and P. Solis, On the Harary-Kauffman conjecture and turk's head knots, arxiv 0811.0044 [math.GT], 2008.
A. Flatters, Primitive divisors of some Lehmer-Pierce sequences, arXiv:0708.2190 [math.NT], 2007.
Hang Gu and Robert M. Ziff, Crossing on hyperbolic lattices, arXiv:1111.5626 [cond-mat.dis-nn], 2011 (see footnote 32).
Seong Ju Kim, R. Stees, and L. Taalman, Sequences of Spiral Knot Determinants, Journal of Integer Sequences, Vol. 19 (2016), #16.1.4.
Ioana-Claudia Lazăr, Lucas sequences in t-uniform simplicial complexes, arXiv:1904.06555 [math.GR], 2019.
B. R. Myers, Number of spanning trees in a wheel, IEEE Trans. Circuit Theory, 18 (1971), 280-282.
B. R. Myers, Number of spanning trees in a wheel, IEEE Trans. Circuit Theory, 18 (1971), 280-282. [Annotated scanned copy. See the last two pages of the scan, the first few pages are of a different article]
L. Oesper, p-Colorings of Weaving Knots, Undergraduate Thesis, Pomona College, 2005.
Y. Puri and T. Ward, Arithmetic and growth of periodic orbits, J. Integer Seqs., Vol. 4 (2001), #01.2.1.
Franck Ramaharo, A one-variable bracket polynomial for some Turk's head knots, arXiv:1807.05256 [math.CO], 2018.
Mohammed A. Raouf, Fazirulhisyam Hashim, Jiun Terng Liew, and Kamal Ali Alezabi, Pseudorandom sequence contention algorithm for IEEE 802.11ah based internet of things network, PLoS ONE (2020) Vol. 15, No. 8, e0237386.
K. R. Rebman, The sequence: 1 5 16 45 121 320 ... in combinatorics, Fib. Quart., 13 (1975), 51-55.
Harry Richman, Farbod Shokrieh, and Chenxi Wu, Counting two-forests and random cut size via potential theory, arXiv:2308.03859 [math.CO], 2023. See p. 18.
Benoit Rittaud and Laurent Vivier, Circular words and applications, arXiv:1108.3618 [cs.FL], 2011.
Benoit Rittaud and Laurent Vivier, Circular words and three applications: factors of the Fibonacci word, F -adic numbers, and the sequence 1, 5, 16, 45, 121, 320, ... , HAL Id: hal-00566314.
Benoit Rittaud and Laurent Vivier, Circular words and three applications: factors of the Fibonacci word, F -adic numbers, and the sequence 1, 5, 16, 45, 121, 320, ... , Functiones et Approximatio Commentarii Mathematici, Volume 47, Number 2 (2012), 207-231.
Ryan Stees, Sequences of Spiral Knot Determinants, Senior Honors Projects. Paper 84. James Madison Univ., May 2016.
Eric Weisstein's World of Mathematics, Helm Graph
Eric Weisstein's World of Mathematics, Spanning Tree
Eric Weisstein's World of Mathematics, Wheel Graph
Eric Weisstein's World of Mathematics, Arnold's cat map
Wikipedia, Arnold's cat map
H. C. Williams and R. K. Guy, Some fourth-order linear divisibility sequences, Intl. J. Number Theory 7 (5) (2011) 1255-1277.
H. C. Williams and R. K. Guy, Some Monoapparitic Fourth Order Linear Divisibility Sequences, Integers, Volume 12A (2012) The John Selfridge Memorial Volume
Index entries for linear recurrences with constant coefficients, signature (4,-4,1).
FORMULA
a(n) = A005248(n) - 2.
a(n+1) = 3*a(n) - a(n-1) + 2.
G.f.: x*(1+x)/(1-4*x+4*x^2-x^3) = x*(1+x)/((1-x)*(1-3*x+x^2)).
a(n) = 2*(T(n, 3/2)-1) with Chebyshev's polynomials T(n, x) of the first kind. See their coefficient triangle A053120.
a(n) = 4*a(n-1) - 4*a(n-2) + a(n-3), n>=3, a(0)=0, a(1)=1, a(2)=5.
a(n) = 2*T(n, 3/2) - 2, with twice the Chebyshev polynomials of the first kind, 2*T(n, x=3/2) = A005248(n).
a(n) = b(n) + b(n-1), n>=1, with b(n):=A027941(n-1), n>=1, b(-1):=0, the partial sums of S(n, 3) = U(n, 3/2) = A001906(n+1), with S(n, x) = U(n, x/2) Chebyshev's polynomials of the second kind.
a(2n) = A000204(2n)^2 - 4 = 5*A000045(2n)^2; a(2n+1) = A000204(2n+1)^2. - David W. Wilson, Jan 10 2006
a(n) = ((3+sqrt(5))/2)^n + ((3-sqrt(5))/2)^n - 2. - Felix Goldberg (felixg(AT)tx.technion.ac.il), Jun 09 2001
a(n) = b(n-1) + b(n-2), n>=1, with b(n):=A027941(n), b(-1):=0, partial sums of S(n, 3) = U(n, 3/2) = A001906(n+1), Chebyshev's polynomials of the second kind.
a(n) = n*Sum_{k=1..n} binomial(n+k-1,2*k-1)/k, n > 0. - Vladimir Kruchinin, Sep 03 2010
a(n) = floor(tau^(2*n)*(tau^(2*n) - floor(tau^(2*n)))), where tau = (1+sqrt(5))/2. - L. Edson Jeffery, Aug 26 2013
From Peter Bala, Apr 03 2014: (Start)
a(n) = U(n-1,sqrt(5)/2)^2, for n >= 1, where U(n,x) denotes the Chebyshev polynomial of the second kind.
a(n) = the bottom left entry of the 2 X 2 matrix T(n, M), where M is the 2 X 2 matrix [0, -3/2; 1, 5/2] and T(n,x) denotes the Chebyshev polynomial of the first kind.
See the remarks in A100047 for the general connection between Chebyshev polynomials of the first kind and 4th-order linear divisibility sequences. (End)
a(k) = det(S(3,k,(1,-1))) = b(k)^2, where b(1)=1, b(2)=sqrt(5), b(k)=sqrt(5)*b(k-1) - b(k-2) = b(2)*b(k-1) - b(k-2). - Ryan Stees, Dec 14 2014
exp( Sum_{n >= 1} a(n)*x^n/n ) = 1 + Sum_{n >= 1} Fibonacci(2*n)*x^n. Cf. A001350. - Peter Bala, Mar 19 2015
E.g.f.: exp(phi^2*x) + exp(x/phi^2) - 2*exp(x), where phi = (1 + sqrt(5))/2. - G. C. Greubel, Aug 24 2015
a(n) = a(-n) for all n in Z. - Michael Somos, Aug 27 2015
From Peter Bala, Jun 03 2016: (Start)
a(n) = Lucas(2*n) - Lucas(0*n);
a(n)^2 = Lucas(4*n) - 3*Lucas(2*n) + 3*Lucas(0*n) - Lucas(-2*n);
a(n)^3 = Lucas(6*n) - 5*Lucas(4*n) + 10*Lucas(2*n) - 10*Lucas(0*n) + 5*Lucas(-2*n) - Lucas(-4*n) and so on (follows from Binet's formula for Lucas(2*n) and the algebraic identity (x + 1/x - 2)^m = f(x) + f(1/x) where f(x) = (x - 1)^(2*m - 1)/x^(m-1) ). (End)
Limit_{n->infinity} a(n+1)/a(n) = (3 + sqrt(5))/2 = A104457. - Ilya Gutkovskiy, Jun 03 2016
a(n) = (phi^n - phi^(-n))^2, where phi = A001622 = (1 + sqrt(5))/2. - Diego Rattaggi, Jun 10 2020
a(n) = 5*F(n)^2 = L(n)^2 - 4 if n even and a(n) = L(n)^2 = 5*F(n)^2 - 4 if n odd. - Michael Somos, Feb 10 2023
EXAMPLE
For k=3, b(3) = sqrt(5)*b(2) - b(1) = 5 - 1 = 4, so det(S(3,3,(1,-1))) = 4^2 = 16.
G.f. = x + 5*x^2 + 16*x^3 + 45*x^4 + 121*x^5 + 320*x^4 + 841*x^5 + ... - Michael Somos, Feb 10 2023
MATHEMATICA
Table[LucasL[2*n] - 2, {n, 0, 20}]
(* Second program: *)
LinearRecurrence[{4, -4, 1}, {0, 1, 5}, 30] (* Jean-François Alcover, Jan 08 2019 *)
PROG
(PARI) a(n) = { we = quadgen(5); ((1+we)^n) + ((2-we)^n) - 2; } /* Michel Marcus, Aug 18 2012 */
(Magma) [Lucas(n)-2: n in [0..60 by 2]]; // Vincenzo Librandi, Mar 20 2015
CROSSREFS
This is the r=5 member of the family S_r(n) defined in A092184.
Sequence A032170, the Möbius transform of this sequence, is then the number of prime periodic orbits of Arnold's cat map. - Bruce Boghosian, Apr 26 2009
Cf. A103536 for the number of geometrically distinct edge-unfoldings of the regular pyramid. - Rick Mabry, Apr 17 2023
KEYWORD
nonn,easy
AUTHOR
EXTENSIONS
Correction to formula from Nephi Noble (nephi(AT)math.byu.edu), Apr 09 2002
Chebyshev comments from Wolfdieter Lang, Sep 10 2004
STATUS
approved