Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
%I #14 Nov 18 2017 05:06:56
%S 1,1,-3,20,-189,2232,-31130,497016,-8907885,176829104,-3849436062,
%T 91187523000,-2335691914050,64344487654800,-1897619527612692,
%U 59667237154623280,-1993022006345620605,70488571028815935072,-2631925423768158446390
%N G.f. satisfies: A(x) = 1 + x*A(x) * [d/dx x/A(x)^2].
%H Vaclav Kotesovec, <a href="/A208975/b208975.txt">Table of n, a(n) for n = 0..300</a>
%F G.f. A(x) satisfies: [x^n] A(x)^(2*n-1) = [x^n] A(x)^(2*n) for n>=2.
%F G.f.: A(x) = -x/G(-x) where G(x) is the g.f. of A000699, the number of irreducible diagrams with 2n nodes.
%F a(n) ~ -(-1)^n * 2^(n + 3/2) * n^(n+1) / exp(n+1). - _Vaclav Kotesovec_, Nov 18 2017
%e G.f.: A(x) = 1 + x - 3*x^2 + 20*x^3 - 189*x^4 + 2232*x^5 - 31130*x^6 +...
%e Related expansion:
%e d/dx x/A(x)^2 = 1 - 4*x + 27*x^2 - 248*x^3 + 2830*x^4 - 38232*x^5 +...
%e Let G(x) be the g.f. of A000699:
%e G(x) = x + x^2 + 4*x^3 + 27*x^4 + 248*x^5 + 2830*x^6 + 38232*x^7 +...
%e then A(x) = -x/G(-x), or A(x) = 1 + x*A(x) * (x + G(-x))/x^2.
%e The coefficients in A(x)^n begin:
%e n=1: [1, 1, -3, 20, -189, 2232, -31130, 497016, -8907885, ...];
%e n=2: [1, 2, -5, 34, -329, 3966, -56262, 910820, -16509957, ...];
%e n=3: [1, 3,(-6),43, -429, 5289, -76350, 1253250, -22971165, ...];
%e n=4: [1, 4,(-6),48, -497, 6276, -92214, 1534560, -28436085, ...];
%e n=5: [1, 5, -5,(50),-540, 6991, -104555, 1763610, -33031335, ...];
%e n=6: [1, 6, -3,(50),-564, 7488, -113969, 1948038, -36867735, ...];
%e n=7: [1, 7, 0, 49,(-574),7812, -120960, 2094415, -40042233, ...];
%e n=8: [1, 8, 4, 48,(-574),8000, -125952, 2208384, -42639617, ...];
%e n=9: [1, 9, 9, 48, -567,(8082),-129300, 2294784, -44734032, ...];
%e n=10:[1,10, 15, 50, -555,(8082),-131300, 2357760, -46390320, ...];
%e n=11:[1,11, 22, 55, -539, 8019,(-132198),2400860, -47665200, ...];
%e n=12:[1,12, 30, 64, -519, 7908,(-132198),2427120, -48608304, ...];
%e n=13:[1,13, 39, 78, -494, 7761, -131469,(2439138),-49263084, ...];
%e n=14:[1,14, 49, 98, -462, 7588, -130151,(2439138),-49667604, ...];
%e n=15:[1,15, 60,125, -420, 7398, -128360, 2429025,(-49855230), ...];
%e n=16:[1,16, 72,160, -364, 7200, -126192, 2410432,(-49855230), ...];
%e where the coefficients in parenthesis demonstrate the property:
%e [x^n] A(x)^(2*n-1) = [x^n] A(x)^(2*n) for n>=2.
%o (PARI) {a(n)=local(A=1+x+x*O(x^n));for(i=0,n,A=1+x*A*deriv(x/A^2));polcoeff(A,n)}
%o for(n=0,25,print1(a(n),", "))
%Y Cf. A185971, A208961, A000699.
%K sign
%O 0,3
%A _Paul D. Hanna_, Mar 03 2012