login
Number of partitions in parts not of the form 7k, 7k+1 or 7k-1. Also number of partitions with no part of size 1 and differences between parts at distance 2 are greater than 1.
5

%I #41 Jan 12 2019 20:43:42

%S 1,0,1,1,2,2,3,3,5,6,8,9,13,14,19,22,28,32,41,47,59,68,83,96,117,134,

%T 161,186,221,254,301,344,405,464,541,619,720,820,949,1081,1245,1414,

%U 1624,1840,2106,2384,2717,3070,3492,3936,4464,5026,5684,6388,7210,8088

%N Number of partitions in parts not of the form 7k, 7k+1 or 7k-1. Also number of partitions with no part of size 1 and differences between parts at distance 2 are greater than 1.

%C Case k=3, i=1 of Gordon Theorem.

%D G. E. Andrews, The Theory of Partitions, Addison-Wesley, 1976, p. 109.

%H Jean-François Alcover and Vaclav Kotesovec, <a href="/A035937/b035937.txt">Table of n, a(n) for n = 0..1000</a> (first 99 terms from Jean-François Alcover)

%F Expansion of f(-x, -x^6) / f(-x, -x^2) in powers of x where f() is Ramanujan's general theta function.

%F Euler transform of period 7 sequence [ 0, 1, 1, 1, 1, 0, 0, ...]. - _Michael Somos_, Dec 30 2014

%F G.f.: 1 / (Product_{k>0} (1 - x^(7*k - 5)) * (1 - x^(7*k - 4)) * (1 - x^(7*k - 3)) * (1 - x^(7*k - 2))). - _Michael Somos_, Dec 30 2014 [corrected by _Vaclav Kotesovec_, Nov 12 2015]

%F G.f.: (Product_{k>1} (1 - x^k)) * (Sum_{k>0} x^(2*k + 2*k^2) / (Product_{i=1..k} (1 - x^(2*i)) * (1 + x^(2*i)) * (1 + x^(2*i+1)))). - _Michael Somos_, Dec 31 2014

%F a(n) ~ 2^(1/4) * sin(Pi/7) * exp(2*Pi*sqrt(2*n/21)) / (3^(1/4) * 7^(3/4) * n^(3/4)). - _Vaclav Kotesovec_, Nov 12 2015

%e G.f. = 1 + x^2 + x^3 + 2*x^4 + 2*x^5 + 3*x^6 + 3*x^7 + 5*x^8 + 6*x^9 + ...

%e G.f. = q^17 + q^101 + q^143 + 2*q^185 + 2*q^227 + 3*q^269 + 3*q^311 + ...

%p with (numtheory):

%p GordonsTheorem := proc(A, n) local L,M,m,i,s,d;

%p L := []; M := []; m := nops(A);

%p for i in [$1..n] do

%p s := add(d*A[((d-1) mod m) + 1], d = divisors(i));

%p L := [op(L), s];

%p s := s + add(L[d]*M[i-d], d = [$1..i-1]);

%p M := [op(M), s/i];

%p od; M end:

%p A035937_list := n -> GordonsTheorem([0, 1, 1, 1, 1, 0, 0], n):

%p A035937_list(40); # _Peter Luschny_, Jan 22 2012

%t f[max_][a_, b_] := Sum[a^(n*(n+1)/2)*b^(n*(n-1)/2), {n, -max, max}]; a[n_, max_] := a[n, max] = SeriesCoefficient[f[max][-x, -x^6]/f[max][-x, -x^2], {x, 0, n}]; a[n_] := (a[n, 2]; a[n, max = 3]; While[a[n, max] != a[n, max-1], max++]; a[n, max]); Table[a[n], {n, 0, 99}] (* _Jean-François Alcover_, Jan 13 2014 *)

%t a[ n_] := SeriesCoefficient[ 1 / Product[ (1 - x^(7 k - 2)) (1 - x^(7 k - 3)) (1 - x^(7 k - 4)) (1 - x^(7 k - 5)), {k, Ceiling[n/7]}], {x, 0, n}]; (* _Michael Somos_, Dec 30 2014 *)

%t a[ n_] := SeriesCoefficient[ 1 / (QPochhammer[ x^2, x^7] QPochhammer[ x^3, x^7] QPochhammer[ x^4, x^7] QPochhammer[ x^5, x^7] ), {x, 0, n}]; (* _Michael Somos_, Dec 30 2014 *)

%o (Sage)

%o def GordonsTheorem(A, n) :

%o L = []; M = [];

%o m = len(A)

%o for i in range(n) :

%o s = sum(d*A[(d-1) % m] for d in divisors(i+1))

%o L.append(s)

%o s = s + sum(L[d-1]*M[i-d] for d in (1..i))

%o M.append(s/(i+1))

%o return M

%o def A035937_list(len) : return GordonsTheorem([0, 1, 1, 1, 1, 0, 0], len)

%o A035937_list(40) # Peter Luschny, Jan 22 2012

%o (PARI) {a(n) = my(A); if( n<0, 0, polcoeff( 1 / prod( k=1, n, 1 - [0, 0, 1, 1, 1, 1, 0][k%7 + 1] * x^k, 1 + x * O(x^n)), n))}; /* _Michael Somos_, Dec 30 2014 */

%Y Cf. A035938, A035939.

%K nonn,easy

%O 0,5

%A _Olivier Gérard_