OFFSET
0,3
COMMENTS
Let S(p):=Sum_{k=0..p-1} a(4k)*binomial(2k,k)^3/(-4096)^k. Zhi-Wei Sun conjectured that S(p) == 0 (mod p^2) for every odd prime p, and also S(p) == 0 (mod p^3) for any odd prime p == 1,2,4 (mod 7). - Zhi-Wei Sun, Mar 13 2013
(a(n) + ((-1)^n)*n) mod 7 = 0 for n > 0; division yields following signed integer sequence: {0, 1, 2, 7, 12, 13, -42, -301, -1184, -3495, -8022, -12129, 3508, 114597, ...} with g.f.: (x - x^2)/((1 + x)^2 * (1 - 5*x + 8*x^2)). - Alexander R. Povolotsky, Mar 13 2013
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 0..100
Zhi-Wei Sun, Conjectures involving primes and quadratic forms, arXiv:1211.1588 [math.NT], 2012-2017.
Index entries for linear recurrences with constant coefficients, signature (5,-8).
FORMULA
G.f.: x/(1-5x+8*x^2). - Philippe Deléham, Oct 12 2011
MATHEMATICA
LinearRecurrence[{5, -8}, {0, 1}, 50]
PROG
(Maxima) a[0]:0$ a[1]:1$ a[n]:=5*a[n-1] - 8*a[n-2]$ makelist(a[n], n, 0, 50); /* Martin Ettl, Oct 21 2012 */
CROSSREFS
KEYWORD
sign,easy
AUTHOR
Vladimir Joseph Stephan Orlovsky, May 24 2011
STATUS
approved