|
|
A155200
|
|
G.f.: A(x) = exp( Sum_{n>=1} 2^(n^2) * x^n/n ), a power series in x with integer coefficients.
|
|
49
|
|
|
1, 2, 10, 188, 16774, 6745436, 11466849412, 80444398636280, 2306003967992402758, 268654794629082985019564, 126765597346260977505891041836, 241678070948246232010898235031930952, 1858395916567787793818891330877931472153500, 57560683587056536617649234722821582390470430186648
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,2
|
|
COMMENTS
|
More generally, it appears that for m integer, exp( Sum_{n >= 1} m^(n^2) * x^n/n ) is a power series in x with integer coefficients.
This is correct: if b(n) = m^(n^2) then by the little Fermat theorem the Gauss congruences hold: b(n*p^k) == b(n*p^(k-1)) ( mod p^k ) for all prime p and positive integers n and k. Then apply Stanley, Ch. 5, Ex. 5.2(a). - Peter Bala, Dec 25 2019
Conjecture: highest exponent of 2 dividing a(n) = A000120(n) = number of 1's in binary expansion of n, so that a(n)/2^A000120(n) is odd for n >= 0. - Paul D. Hanna, Sep 01 2009
|
|
REFERENCES
|
R. P. Stanley. Enumerative combinatorics, Vol. 2. Volume 62 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, 1999.
|
|
LINKS
|
|
|
FORMULA
|
Equals column 0 of triangle A155810.
G.f. satisfies: 2*A(x)*A(4x) + 8*x*A(x)*A'(4x) - A'(x)*A(4x) = 0. - Paul D. Hanna, Feb 24 2009
The differential equation implies recurrence:
n*a(n) = 2*a(n-1) + sum(k = 1, n - 1, 4^k*a(k)*[2*(k+1)*a(n-1-k) - (n-k)*a(n-k)] for n > 0, with a(0) = 1.
A156631(n) = [x^n] A(x)^(2^n) for n >= 0, where the g.f. of A156631 = Sum_{n >= 0} [Sum_{k >= 1} (2^n*2^k*x)^k/k]^n/n!. (End)
a(n) = (1/n)*Sum_{k = 1..n} 2^(k^2)*a(n-k), a(0) = 1. - Vladeta Jovovic, Feb 04 2009
a(n) = B_n( 0!*2^(1^2), 1!*2^(2^2), 2!*2^(3^2), ..., (n-1)!*2^(n^2) ) / n!, where B_n() is the complete Bell polynomial. - Max Alekseyev, Oct 10 2014
|
|
EXAMPLE
|
G.f.: A(x) = 1 + 2*x + 10*x^2 + 188*x^3 + 16774*x^4 + 6745436*x^5 +...
log(A(x)) = 2*x + 2^4*x^2/2 + 2^9*x^3/3 + 2^16*x^4/4 + 2^25*x^5/5 +...
|
|
MAPLE
|
seq(coeff(series(exp(add(2^(k^2)*x^k/k, k=1..n)), x, n+1), x, n), n = 0 .. 15); # Muniru A Asiru, Dec 19 2018
|
|
MATHEMATICA
|
nmax = 14; Exp[Sum[2^(n^2) x^n/n, {n, 1, nmax}]] + O[x]^nmax // CoefficientList[#, x]& (* Jean-François Alcover, Feb 14 2019 *)
|
|
PROG
|
(PARI) {a(n)=polcoeff(exp(sum(m=1, n+1, 2^(m^2)*x^m/m)+x*O(x^n)), n)}
(PARI) {a(n)=if(n==0, 1, (1/n)*(2*a(n-1) + sum(k=1, n-1, 4^k*a(k)*(2*(k+1)*a(n-1-k) - (n-k)*a(n-k)))))} \\ Paul D. Hanna, Mar 11 2009
(PARI) {a(n)=if(n==0, 1, (1/n)*sum(k=1, n, 2^(k^2)*a(n-k)))} \\ Paul D. Hanna, Sep 01 2009
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|