[seqfan] Re: Typo in formula-section of A001541 ?
mathar at strw.leidenuniv.nl
Sun Mar 22 14:55:12 CET 2009
hh> Hans Havermann pxp at rogers.com
hh> Sat Mar 21 20:07:29 CET 2009
hh> > There is a group of sequences with conjectured g.f.'s still to be put
hh> > on the "good" or "bad" side...
hh> > A006071: this requires access to a book by Gardner
hh> I don't know that it will help, but for what it's worth, I'll put
hh> Gardner's page-and-a-half here:
This surely helps, and with a glance we realize that the sequence is
a hybrid of two sequences at the even and odd indices with linear recurrences
individually, therefore a linear recurrence in total; for 99.999 percent
of these cases the conjectured generating functions are correct. In detail:
For even n the manuscript gives the formula a(n)=n(2n^2-5)/3+2, which is
with recurrence a(n)= 4 a(n-1) -6 a(n-2) +4 a(n-3) - a(n-4) and therefore
with g.f. -2*(-2-11*x-4*x^2+x^3)/(x-1)^4 (offset 0).
For n odd the manuscript gives a(n)= n(2n^2-5)/3+1, which is
with the same recurrence and with g.f. -2*x*(-7-10*x+x^2)/(x-1)^4 (offset 0).
Since the first zero does not match the sequence and should be 1, we add
1 to the g.f.:
g.f.: 1-2*x*(-7-10*x+x^2)/(x-1)^4 .
We "aerate" both sequences by insertion of zeros at each second position,
which implies x->x^2 in the generating functions,
g.f. -2*(-2-11*x^2-4*x^4+x^6)/(x^2-1)^4 (offset 0).
g.f. 1-2*x^2*(-7-10*x^2+x^4)/(x^2-1)^4 .
The first of these is multiplied by x to shift it right by one place:
g.f. -2*x*(-2-11*x^2-4*x^4+x^6)/(x^2-1)^4 .
The sum of these two is
This is exactly the Plouffe g.f. in
assuming offset 0. In summary, we can delete the annotation "Conjectured" in
A006071 and get--with another multiplication by x to address the offset 1--:
%I A006071 M3474
%S A006071 1,4,14,38,76,136,218,330,472,652,870,1134,1444,1808,2226,2706,3248,
%T A006071 3860,4542,5302,6140,7064,8074,9178,10376,11676,13078,14590,16212,
%U A006071 17952,19810,21794,23904,26148,28526,31046,33708,36520,39482,42602
%F A006071 a(n)= 3 a(n-1) -2 a(n-2) -2 a(n-3) +3 a(n-4) - a(n-5), n> 6.
%F A006071 a(2n)= 2+2*n*(8n^2-5)/3, n>=1. a(2n+1)= 2n(1+8n^2+12n)/3, n>=1.
%F A006071 G.f.: x*(x^5-5x^4+6x^3+4x^2+x+1)/((x-1)^4/(x+1)) .
Looking at the other, more general, formula for the n by m boards,
n(3m^2+n^2-10)/6+C with C a function of the parities of m, n , and [n/2]
the other diagonals of figure 44 of the book can be treated in the same way:
m=n+1 (note the type for n=3,m=4 in table 44 which does not match the formula):
2,8,24,54,104,174,270,396,558,756,996,1282,1620,2010... (starts at n=1)
g.f.: -2*x*(-1-x-2*x^3-2*x^4-3*x^2+x^5)/(1+x)/(x^2+1)/(x-1)^4 .
4,16,38,78,136,220,330,474,652,872,1134,1446,1808,2228,2706,3250,3860,4544,5302,6142,7064,8076,9178,10378 (starts at n=1):
m=n+3 (note the typo for n=3,m=6 in table 44 which does not match the formula):
g.f.: -2*x*(-4-3*x^2-2*x^3+x^4)/(1+x)/(x^2+1)/(x-1)^4 .
# Figure 43 of the book
C := proc(n,m)
if type(m,even) and type(n,even) then
elif type(m,odd) and type(n,odd) then
elif type(m,even) and type(n,odd) and type(floor(n/2),even) then
elif type(m,even) and type(n,odd) and type(floor(n/2),odd) then
elif type(m,odd) and type(n,even) and type(floor(n/2),even) then
elif type(m,odd) and type(n,even) and type(floor(n/2),odd) then
# formula for n by m boards of the book
T := proc(n,m)
for n from 1 to 24 do
m := n+3 ; # third diagonal here, for example
More information about the SeqFan