cp's OEIS Frontend

Defined by the recurrence formula in Theorem 1, page 2 of Lasalle.

From Tom Copeland, Jan 26 2016: (Start)

Let G(t) = Sum_{n>=0} t^(2n)/(n!(n+1)!) = exp(c.t) be the e.g.f. of the aerated Catalan numbers c_n of A126120.

R = x + H(D) = x + d/dD log[G(D)] = x + D - D^3/3! + 5 D^5/5! - 56 D^7/7! + ... = x + e^(r. D) generates a signed, aerated version of this entry's sequence a(n), (r.)^(2n+1) = r(2n+1) = (-1)^n a(n+1) for n>=0 and r(0) = a(0) = 0, and is, with D = d/dx, the raising operator for the Appell polynomials P(n,x) of A097610, where P(n,x) = (c. + x)^n = Sum{k=0 to n} binomial(n,k) c_k x^(n-k) with c_k = A126120(k), i.e., R P(n,x) = P(n+1,x).

d/dt log[G(t)] = e^(r.t) = e^(q.t) / e^(c.t) = Ev[c. e^(c.t)] / Ev[e^(c.t)] = e^(q.t) e^(d.t) = [Sum_{n>=0} 2n t^(2n-1)/(n!(n+1)!)] / [Sum_{n>=0} t^(2n)/(n!(n+1)!)] with Ev[..] denoting umbral evaluation, so q(n) = c(n+1) = A126120(n+1) and d(2n) = (-1)^n A238390(n) and vanishes otherwise. Then (r. + c.)^n = q(n) = Sum_{k=0..n} binomial(n,k) r(k) c(n-k) and (q. + d.)^n = r(n), relating A180874, A126120 (A000108), and A238390 through binomial convolutions.

The sequence can also be represented in terms of the Faber polynomials of A263916 as a(n) = |(2n-1)! F(2n,0,b(2),0,b(4),0,..)| = |h(2n)| where b(2n) = 1/(n!(n + 1)!) = A126120(2n)/(2n)! = A000108(n)/(2n)!, giving h(0) = 1, h(1) = 0, h(2) = 1, h(3) = 0, h(4) = -1, h(5) = 0, h(6) = 5, h(7) = 0, h(8) = -56, ..., implying, among other relations, that A000108(n/2)= A126120(n) = Bell(n,0,h(2),0,h(4),...), the Bell polynomials of A036040 which reduce to A257490 in this case.

(End)

From Colin Defant, Sep 06 2018: (Start)

a(n) is the number of pairs (rho,r), where rho is a matching on [2n] and r is an acyclic orientation of the crossing graph of rho in which the block containing 1 is the only source (see the Josuat-Verges paper or the Defant-Engen-Miller paper for definitions).

a(n) is the number of permutations of [2n-1] that have exactly 1 preimage under West's stack-sorting map.

a(n) is the number of valid hook configurations of permutations of [2n-1] that have n-1 hooks (see the paper by Defant, Engen, and Miller for definitions).

Say a binary tree is full if every vertex has either 0 or 2 children. If u is a left child in such a tree, then we can start at the sibling of u and travel down left edges until reaching a leaf v. Call v the leftmost nephew of u. A decreasing binary plane tree on [m] is a binary plane tree labeled with the elements of [m] in which every nonroot vertex has a label that is smaller than the label of its parent. a(n) is the number of full decreasing binary plane trees on [2n-1] in which every left child has a label that is larger than the label of its leftmost nephew.

(End)

Hankel transform is period 4 sequence [ 1, 0, -1, 0, ...] A056594 and the Hankel transform of sequence omitting a(0) is the all 1s sequence A000012. This is the unique sequence with that property.

Series reversion of x*A(x) apparently yields x*A036765(-x). - R. J. Mathar, Sep 24 2012

a(n) is the number of length n words on {-1,1} such that the sum of any of its prefixes is always positive. Cf. A001405 where the sum of all prefixes is nonnegative. - Geoffrey Critzer, Jul 08 2013

Also, the number of noncrossing partitions up to rotation and reflection composed of n-1 blocks of size 2. - Andrew Howroyd, May 03 2018

Number of Łukasiewicz paths of length n having no (1,1) steps. A Łukasiewicz path of length n is a path in the first quadrant from (0,0) to (n,0) using rise steps (1,k) for any positive integer k, level steps (1,0) and fall steps (1,-1) (see R. P. Stanley, Enumerative Combinatorics, Vol. 2, Cambridge Univ. Press, Cambridge, 1999, p. 223, Exercise 6.19w; the integers are the slopes of the steps). Example: a(4)=6 because we have HHHH, HU(2)DD, U(2)DDH, U(2)DHD, U(2)HDD and U(3)DDD where H=(1,0), U(2)=(1,2), U(3)=(1,3) and D=(1,-1).

Also the number of series-reduced Mathematica expressions with one atom and n + 1 positions. Also the number of rooted plane trees with n + 1 nodes in which there are no binary branchings (nodes of out-degree 2). - Gus Wiseman, Aug 14 2018

Number of 3-colored Schroeder paths from (0,0) to (2n+2,0) with no level steps H=(2,0) at even level. H-steps at odd levels are colored with one of the three colors. Example: a(2)=5 because we have UUDD, UHD (3 choices) and UDUD. - José Luis Ramírez Ramírez, Apr 27 2015

Equivalently, the number of paths from (0,0) to (n,0) using steps of the form (1,2),(1,1),(1,-1) or (1,-2) and staying on or above the x-axis.

Self-convolution of A055113. - Paul D. Hanna, May 31 2015

Logarithmic derivative yields A092765 (with offset 1). - Paul D. Hanna, May 31 2015

a(n) = Sum_{k=0..n} binomial(n,k)*A057977(k). For comparison:

A001006(n) = Sum_{k=0..n} binomial(n,k)*A057977(k)*[k is even],

A005717(n) = Sum_{k=0..n} binomial(n,k)*A057977(k)*[k is odd].

Thus one might simply say: The extended Motzkin numbers are the binomial sum of the extended Catalan numbers. Moreover: The Catalan numbers aerated with 0's at odd positions (A126120) are the inverse binomial transform of the Motzkin numbers (A001006). The complementary Catalan numbers (A001700) aerated with 0's at even positions (A138364) are the inverse binomial transform of the complementary Motzkin numbers (A005717). The extended Catalan numbers (A057977 = A126120 + A138364) are the inverse binomial transform of the extended Motzkin numbers (A189912).

David Scambler observed that [1, a(n-1)] for n >= 1 count the Dyck paths of semilength n which satisfy the condition "number of peaks <= number of returns + number of hills". - Peter Luschny, Oct 22 2012

We define the n-th standard ordered rooted tree to be obtained by taking the (n-1)-th composition in standard order (graded reverse-lexicographic, A066099) as root and replacing each part with its own standard ordered rooted tree. This ranking is an ordered variation of Matula-Goebel numbers, giving a bijective correspondence between positive integers and unlabeled ordered rooted trees.

Aerated, the e.g.f. is e^(a.t) = 1/AC(i*t) = 1/[I_1(2i*t)/(it)] = 1/Sum_{n>=0} (-1)^n t^(2n) / [n!(n+1)!] = a_0 + a_2 t^2/2! + a_4 t^4/4! + ... = 1 + t^2/2! + 4 t^4/4! + 35 t^6/6! + ..., where AC(t) is the e.g.f. for the aerated Catalan numbers c_n of A126120 and I_n(t) are the modified Bessel functions of the first kind (i = sqrt(-1)). The signed, aerated sequence b_n = (i)^n a_n has the e.g.f. e^(b.t) = 1/AC(t) and, therefore, (i*a. + c.)^n = Sum_{k=0..n} binomial(n,k) i^k a_k c_(n-k) vanishes except for n=0 for which it's unity. - Tom Copeland, Jan 23 2016

With q(n) = A126120(n+1) and q(0) = 0, d(2n) = (-1)^n A238390(n) and zero for odd arguments, and r(2n+1) = (-1)^n A180874(n+1) and zero for even arguments, then r(n) = (q. + d.)^n = Sum_{k=0..n} binomial(n,k) q(k) d(n-k), relating these sequences (and A000108) through binomial convolutions. Then also, (r. + c. + d.)^n = r(n). See A180874 for proofs and for relations to A097610. For quick reference, q = (0, 1, 0, 2, 0, 5, 0, 14, ..), d = (1, 0, -1, 0, 4, 0, -35, 0, ..), and r = (0, 1, 0, -1, 0, 5, 0, -56, ..). - Tom Copeland, Jan 28 2016

Aerated and signed, this sequence contains the moments m(n) of the Appell polynomial sequence UMT(n,h1,h2) that is the umbral compositional inverse of the Appell sequence of Motzkin polynomials MT(n,h1,h2) of A097610 with exp[x UMT(.,h1,h2)] = e^(x*h1) / AC(x*y) where y = sqrt(h2) and AC is defined above. UMT(n,h1,h2) = (m.y + h1)^n with (m.)^(2n) = m(2n) = (-1)^n A238390(n) and zero otherwise. Consequently, the associated lower triangular matrices A007318(n,k)*m(n-k) and A007318(n,k)*A126120(n-k) form an inverse pair (cf. also A133314), and MT(n,UMT(.,h1,h2),h2) = h1^n = UMT(n,MT(.,h1,h2),h2). - Tom Copeland, Jan 30 2016

We define the n-th standard ordered rooted tree to be obtained by taking the (n-1)-th composition in standard order (graded reverse-lexicographic, A066099) as root and replacing each part with its own standard ordered rooted tree. This ranking is an ordered variation of Matula-Goebel numbers, giving a bijective correspondence between positive integers and unlabeled ordered rooted trees.

A rooted identity tree is an unlabeled rooted tree with no repeated branches directly under the same root.