cp's OEIS Frontend

Hankel transform is 3^n.

Binary representation of the Kempner-Mahler number Sum_{k>=0} 1/2^(2^k) = A007404.

Also a(n) = A(n) mod 2 where A is any of A001700, A005573, A007854, A026641, A049027, A064063, A064088, A064090, A064092, A064325, A064327, A064329, A064331, A064613, A076026, A105523, A123273, A126694, A126930, A126931, A126982, A126983, A126987, A127016, A127053, A127358, A127360, A127361, A127363. - Philippe Deléham, May 26 2007

a(n) = (product of digits of n; n in binary notation) mod 2. This sequence is a transformation of the Thue-Morse sequence (A010060), since there exists a function f such that f(sum of digits of n) = (product of digits of n). - Ctibor O. Zizka, Feb 12 2008

a(n-1), n >= 1, the characteristic sequence for powers of 2, A000079, is the unique solution of the following formal product and formal power series identity: Product_{j>=1} (1 + a(j-1)*x^j) = 1 + Sum_{k>=1} x^k = 1/(1-x). The product is therefore Product_{l>=1} (1 + x^(2^l)). Proof. Compare coefficients of x^n and use the binary representation of n. Uniqueness follows from the recurrence relation given for the general case under A147542. - Wolfdieter Lang, Mar 05 2009

a(n) is also the number of orbits of length n for the map x -> 1-cx^2 on [-1,1] at the Feigenbaum critical value c=1.401155... . - Thomas Ward, Apr 08 2009

A054525 (Mobius transform) * A001511 = A036987 = A047999^(-1) * A001511 = the inverse of Sierpiński's gasket * the ruler sequence. - Gary W. Adamson, Oct 26 2009 [Of course this is only vaguely correct depending on how the fuzzy indexing in these formulas is made concrete. - R. J. Mathar, Jun 20 2014]

Characteristic function of A000225. - Reinhard Zumkeller, Mar 06 2012

Also parity of the Catalan numbers A000108. - Omar E. Pol, Jan 17 2012

For n >= 2, also the largest exponent k >= 0 such that n^k in binary notation does not contain both 0 and 1. Unlike for the decimal version of this sequence, A062518, where the terms are only conjectural, for this sequence the values of a(n) can be proved to be the characteristic function of A000225, as follows: n^k will contain both 0 and 1 unless n^k = 2^r-1 for some r. But this is a special case of Catalan's equation x^p = y^q-1, which was proved by Preda Mihăilescu to have no nontrivial solution except 2^3 = 3^2 - 1. - Christopher J. Smyth, Aug 22 2014

Image, under the coding a,b -> 1; c -> 0, of the fixed point, starting with a, of the morphism a -> ab, b -> cb, c -> cc. - Jeffrey Shallit, May 14 2016

Number of nonisomorphic Boolean algebras of order n+1. - Jianing Song, Jan 23 2020

Number of lattice paths from (0,0) to (n,n) using steps (1,0),(0,2),(1,1). - Joerg Arndt, Jun 30 2011

From Emeric Deutsch, Jan 25 2004: (Start)

Let B = 1/sqrt(1-4*z) = g.f. for central binomial coeffs (A000984); F = (1-sqrt(1-4*z))/(z*(3-sqrt(1-4*z))) = g.f. for (A000957).

B = 1 + 2*z + 6*z^2 + 20*z^3 + ... gives the number of nodes in all ordered trees with 0,1,2,3,... edges. On p. 288 of the Deutsch-Shapiro paper one finds that z*B*F = z + 2*z^2 + 7*z^3 + 24*z^4 + ... gives the number of nodes of odd outdegree in all ordered trees with 1,2,3,... edges (cf. A014300).

Consequently, B - z*B*F = 2/(3*sqrt(1-4*z)-1+4*z) = 1 + z + 4*z^2 + 13*z^3 + 46*z^4 + ... gives the total number of nodes of even degree in all ordered trees with 0,1,2,3,4,... edges. (End)

Main diagonal of the following array: first column is filled with 1's, first row is filled alternatively with 1's or 0's: m(i,j) = m(i-1,j) + m(i,j-1): 1 0 1 0 1 ... / 1 1 2 2 3 ... / 1 2 4 6 9 ... / 1 3 7 13 22 ... / 1 4 11 24 46 ... - Benoit Cloitre, Aug 05 2002

The Hankel transform of [1,1,4,13,46,166,610,2269,...] is 3^n. - Philippe Deléham, Mar 08 2007

Second binomial transform of A127361. - Philippe Deléham, Mar 14 2007

Starting with offset 1, generated from iterates of M * [1,1,1,...]; where M = a tridiagonal matrix with (0,2,2,2,...) in the main diagonal and (1,1,1,...) in the super and subdiagonals. - Gary W. Adamson, Jan 04 2009

Equals left border of triangle A158815. - Gary W. Adamson, Mar 27 2009

Equals the INVERTi transform of A101850: (1, 2, 7, 26, 100, ...). - Gary W. Adamson, Jan 10 2012

Diagonal of rational function 1/(1 - (x + x*y + y^2)). - Gheorghe Coserea, Aug 06 2018

Let A(i, j) denote the infinite array such that the i-th row of this array is the sequence obtained by applying the partial sum operator i times to the function (-1)^(n+1) for n > 0. Then A(n, n) equals a(n-1) for all n > 0. - John M. Campbell, Jan 20 2019

These numbers have the same parity as the Catalan numbers A000108; that is, a(n) is odd if and only if n = 2^k - 1 for some nonnegative integer k. It appears that if a(n) is odd then a(n) == 1 (mod 4). - Peter Bala, Feb 07 2024

The number a(n)/(n+1) is the coefficient of x^(n+1) in log(1+(1-sqrt(1-4*x))/2), the generating series of the Sabinin operad. - F. Chapoton, Mar 14 2024

Equivalently, a triangle read by rows, where the rows are obtained by sorting the elements of the rows of Pascal's triangle (A007318) into descending order. - Philippe Deléham, May 21 2005

Equivalently, as a triangle read by rows, this is T(n,k)=binomial(n,floor((n-k)/2)); column k then has e.g.f. Bessel_I(k,2x)+Bessel_I(k+1,2x). - Paul Barry, Feb 28 2006

Antidiagonal sums are A037952(n+1) = C(n+1,[n/2]). Matrix inverse is the row reversal of triangle A066170. Eigensequence is A125094(n) = Sum_{k=0..n-1} A125093(n-1,k)*A125094(k). - Paul D. Hanna, Nov 20 2006

Riordan array (1/(1-x-x^2*c(x^2)),x*c(x^2)); where c(x)=g.f.for Catalan numbers A000108. - Philippe Deléham, Mar 17 2007

Triangle T(n,k), 0<=k<=n, read by rows given by: T(0,0)=1, T(n,k)=0 if k<0 or if k>n, T(n,0)=T(n-1,0)+T(n-1,1), T(n,k)=T(n-1,k-1)+T(n-1,k+1) for k>=1. - Philippe Deléham, Mar 27 2007

This triangle belongs to the family of triangles defined by: T(0,0)=1, T(n,k)=0 if k<0 or if k>n, T(n,0)=x*T(n-1,0)+T(n-1,1), T(n,k)=T(n-1,k-1)+y*T(n-1,k)+T(n-1,k+1) for k>=1. Other triangles arise by choosing different values for (x,y): (0,0) -> A053121; (0,1) -> A089942; (0,2) -> A126093; (0,3) -> A126970; (1,0)-> A061554; (1,1) -> A064189; (1,2) -> A039599; (1,3) -> A110877; (1,4) -> A124576; (2,0) -> A126075; (2,1) -> A038622; (2,2) -> A039598; (2,3) -> A124733; (2,4) -> A124575; (3,0) -> A126953; (3,1) -> A126954; (3,2) -> A111418; (3,3) -> A091965; (3,4) -> A124574; (4,3) -> A126791; (4,4) -> A052179; (4,5) -> A126331; (5,5) -> A125906. - Philippe Deléham, Sep 25 2007

T(n,k) is the number of paths from (0,k) to some (n,m) which never dip below y=0, touch y=0 at least once and are made up only of the steps (1,1) and (1,-1). This can be proved using the recurrence supplied by Deléham. - Gerald McGarvey, Oct 15 2008

Triangle read by rows = partial sums of A053121 terms starting from the right. - Gary W. Adamson, Oct 24 2008

As a subset of the "family of triangles" (Deleham comment of Sep 25 2007), beginning with a signed variant of A061554, M = (-1,0) = (1; -1, 1; 2, -1, 1; -3, 3, -1, 1; ...) successive binomial transforms of M yield (0,1) - A089942; (1,2) - A039599; (2,3) - A124733; (3,4) - A124574; (4,5) - A126331; ... such that the binomial transform of the triangle generated from (n,n+1) = the triangle generated from (n+1,n+2). Similarly, another subset beginning with A053121 - (0,0), and taking successive binomial transforms yields (1,1) - A064189; (2,2) - A039598; (3,3) - A091965, ... By rows, the triangle generated from (n,n) can be obtained by taking pairwise sums from the (n-1,n) triangle starting from the right. For example, row 2 of (1,2) - A039599 = (2, 3, 1); and taking pairwise sums from the right we obtain (5, 4, 1) = row 2 of (2,2) - A039598. - Gary W. Adamson, Aug 04 2011

The triangle by rows (n) with alternating signs (+-+...) from the top as a set of simultaneous equations solves for diagonal lengths of odd N (N = 2n+1) regular polygons. The constants in each case are powers of c = 2*cos(2*Pi/N). By way of example, the first 3 rows relate to the heptagon and the simultaneous equations are (1,0,0) = 1; (-1,1,0) = c = 1.24697...; and (2,-1,1) = c^2. The answers are 1, 2.24697..., and 1.801...; the 3 distinct diagonal lengths of the heptagon with edge = 1. - Gary W. Adamson, Sep 07 2011

By rows, equals partial sums of A053121 reversed rows. Example: Row 4 of A053121 = (2, 0, 3, 0, 1) -> (1, 0, 3, 0, 2) -> (1, 1, 4, 4, 6). - Gary W. Adamson, Dec 28 2008, edited by Michel Marcus, Sep 22 2015

Image of (1-x)/(1-2*x) under the transform g(x)->(1/sqrt(1-4*x^2))*g(x*c(x^2)), where c(x) is the g.f. of the Catalan numbers A000108. This is the inverse of the Chebyshev transform which takes A(x) to ((1-x^2)/(1+x^2))*A(x/(1+x^2)).

Transform of the Jacobsthal numbers A001045(n+1) under the Riordan array (c(x^2),xc(x^2)). Hankel transform is 3^n. - Paul Barry, Oct 01 2007

Unsigned version of A127361. - Philippe Deléham, Nov 25 2007