A079489 Series reversion of x(1-x^2)/(1+x^2)^2 expanded in odd powers of x.

1, 3, 22, 211, 2306, 27230, 338444, 4362627, 57788170, 781825066, 10757497972, 150073096238, 2117778107732, 30176799215196, 433586825237912, 6274885068167651, 91383942213277530, 1338275570267001458

Offset

0,2

Comments

a(n) is the number of ordered trees on 2n-1 edges in which every subtree of the root (including its rooting edge) has an even number of edges, except for the leftmost subtree which has an odd number of edges (including its rooting edge). - David Callan, Apr 10 2012

a(n) is the number of 2 X 2n Young tableaux with a wall between the first and second row in each even column. If there is a wall between two cells, the entries may be decreasing; see [Banderier, Wallner 2021].

Example for a(1)=3:

3 4 2 4 2 3

- - -

1 2, 1 3, 1 4. - Michael Wallner, Mar 09 2022

Links

G. C. Greubel, Table of n, a(n) for n = 0..830

Cyril Banderier and Michael Wallner, Young Tableaux with Periodic Walls: Counting with the Density Method, Séminaire Lotharingien de Combinatoire, 85B (2021), Art. 47, 12 pp.

D. Merlini, R. Sprugnoli and M. C. Verri, The tennis ball problem, J. Combin. Theory, A 99 (2002), 307-344 (Table A.1).

Alon Regev, Enumerating triangulations by parallel diagonals, arXiv:1208.3915 [math.CO], 2012. - N. J. A. Sloane, Dec 25 2012

Alon Regev, Enumerating Triangulations by Parallel Diagonals, Journal of Integer Sequences, Vol. 15 (2012), #12.8.5.

Formula

If x = y*(1-y^2)/(1+y^2)^2 then y = x + 3*x^3 + 22*x^5 + 211*x^7 + 2306*x^9 + ...

G.f. A(x) satisfies x*A(x^2) = (C(x) - C(-x))/(C(x) + C(-x)) where C(x) is g.f. of the Catalan numbers A000108.

a(n) = Sum_{k=0..2n} (-1)^k * A000108(2*n-k) * A000108(k). - David Callan, Aug 16 2006

a(n) = ((2^(4n+2))/Gamma(1/2)) * ((Gamma(n+1/2)/(2*Gamma(n+2))) - Gamma(2n+3/2)/Gamma(2n+3)). [David Dickson (dcmd(AT)unimelb.edu.au), Nov 10 2009]

G.f.: exp( Sum_{n>=1} C(4n-1,2n)*x^n/n ). - Paul D. Hanna, Dec 30 2010

G.f.: C(sqrt(x))*C(-sqrt(x)) where C(x) is the g.f. for the Catalan numbers A000108. - David Callan, Apr 10 2012

D-finite with recurrence n*(n+1)*(2*n+1)*a(n) -2*n*(32*n^2-32*n+11)*a(n-1) +16*(4*n-5)*(4*n-3)*(2*n-3)*a(n-2)=0. - R. J. Mathar, Nov 29 2012

a(n) ~ (2-sqrt(2))*16^n/(sqrt(Pi)*n^(3/2)). - Vaclav Kotesovec, Aug 20 2013

a(n) = 2^(2*n+1)*Catalan(n) - Catalan(2*n+1) (see Regev). It follows that the 2-adic valuations of a(n) and Catalan(n) are equal. In particular, a(n) is odd iff n is of the form 2^m - 1. - Peter Bala, Aug 02 2016

G.f.: (sqrt(2) * sqrt(1 + sqrt(1-16*x)) - sqrt(1-16*x) - 1)/(4*x). - Vladimir Reshetnikov, Sep 25 2016

G.f. A(x) satisfies A(x^2) = C(x)^2*r(-x*C(x)^2), where C(x) is g.f. of the Catalan numbers A000108, and r(x) is g.f. of the large Schröder numbers A006318. - Alexander Burstein, Nov 21 2019

From Peter Bala, Sep 14 2021: (Start)

A(x) = exp( Sum_{n >= 1} (1/2)*binomial(4*n,2*n)*x^n/n ).

1 + x*A(x) is the o.g.f. of A066357.

The sequence defined by b(n) := [x^n] A(x)^n begins [1, 3, 53, 1056, 22181, 480003, 10588508, 236720424, ...] and satisfies the congruence b(p) == b(1) (mod p^3) for prime p >= 3. See A333563. Cf. A060491. (End)

Mathematica

((Sqrt[2] Sqrt[1 + Sqrt[1 - 16 x]] - Sqrt[1 - 16 x] - 1)/(4 x) + O[x]^20)[[3]] (* Vladimir Reshetnikov, Sep 25 2016 *)
CoefficientList[Series[-(1 - Sqrt[1 - 4*Sqrt[x]])*(1 - Sqrt[1 + 4*Sqrt[x]])/(4*x), {x, 0, 50}], x] (* G. C. Greubel, Apr 13 2017 *)

Prog

(PARI) a(n)=if(n<0, 0, polcoeff(serreverse(x*(1-x^2)/(1+x^2)^2+O(x^(2*n+3))), 2*n+1))
(PARI) {a(n)=polcoeff(exp(sum(m=1, n, binomial(4*m-1, 2*m)*x^m/m)+x*O(x^n)), n)} \\ Paul D. Hanna, Dec 30 2010

Crossrefs

Final diagonal of triangle in A078990.

Cf. A000108, A006318, A066357, A060941, A066357, A300386 - A300389, A333563.

Sequence in context: A001409 A260154 A340474 * A190526 A141152 A372250

Adjacent sequences: A079486 A079487 A079488 * A079490 A079491 A079492

Keyword

nonn,easy

Author

N. J. A. Sloane, Jan 20 2003

Status

approved