A064063 -id:A064063 - cp's OEIS frontend

A115154 Triangle of numbers related to the generalized Catalan sequence C(3;n+1) = A064063(n+1), n>=0.

1, 1, 4, 1, 13, 25, 1, 40, 115, 190, 1, 121, 466, 1036, 1606, 1, 364, 1762, 4870, 9688, 14506, 1, 1093, 6379, 20989, 50053, 93571, 137089, 1, 3280, 22417, 85384, 235543, 516256, 927523, 1338790, 1, 9841, 77092, 333244, 1039873, 2588641, 5371210

Offset: 0

Wolfdieter Lang, Feb 23 2006

This triangle, called Y(3,1), appears in the totally asymmetric exclusion process for the (unphysical) values alpha=3, beta=1. See the Derrida et al. refs. given under A064094, where the triangle entries are called Y_{N,K} for given alpha and beta.
The main diagonal (M=1) gives the generalized Catalan sequence C(3,n+1):=A064063(n+1).
The diagonal sequences give A064063(n+1), A115188-A115192 for n+1>= M=1,..,6.

			Triangle begins:
  1;
  1,   4;
  1,  13,  25;
  1,  40, 115,  190;
  1, 121, 466, 1036, 1606;
  ...
466 = a(4,3) = a(4,2) + 3*a(3,3) = 121 + 3*115.

B. Derrida, E. Domany and D. Mukamel, An exact solution of a one-dimensional asymmetric exclusion model with open boundaries, J. Stat. Phys. 69, 1992, 667-687; eqs. (20), (21), p. 672.
Wolfdieter Lang, First 10 rows.

Row sums give A115187.

a(n,n+1)=A064063(n+1) (main diagonal with M=1); a(n,n-M+2)= a(n,n-M+1) + 3*a(n-1,n-M+2), M>=2; a(n,1)=1; n>=0.
G.f. for diagonal sequence M=1: GY(1,x):=(3*c(3*x)-1)/(2+x) with c(x) the o.g.f. of A000108 (Catalan); for M=2: GY(2,x)=(1-3*x)*GY(1,x)-1; for M>=3: GY(M,x)= GY(M-1,x) - 3*x*GY(M-2,x) + 2*x^(M-2).
G.f. for diagonal sequence M (solution to the above given recurrence): GY(M,x)= (x^(M-1)/(1+x))*( 3^(M+1)*x*(p(M,3*x)-(3*x)*p(M+1,3*x)*c(3*x))+1), with c(x) g.f. of A000108 (Catalan) and p(n,x):= -((1/sqrt(x))^(n+1))*S(n-1,1/sqrt(x)) with Chebyshev's S(n,x) polynomials given in A049310.

A116868 Triangle of numbers, called Y(1,3), related to generalized Catalan numbers A064063(n) = C(3;n).

Original entry on oeis.org

1, 3, 4, 9, 21, 25, 27, 90, 165, 190, 81, 351, 846, 1416, 1606, 243, 1296, 3834, 8082, 12900, 14506, 729, 4617, 16119, 40365, 79065, 122583, 137089, 2187, 16038, 64395, 185490, 422685, 790434, 1201701, 1338790

Offset: 0

Wolfdieter Lang, Mar 24 2006

This triangle Y(1,3) appears in the totally asymmetric exclusion process for the (unphysical) values alpha=1, beta=3. See the Derrida et al. reference given under A064094, where the triangle entries are called Y_{N,K} for given alpha and beta.

The main diagonal (M=1) gives the generalized Catalan sequence C(3;n+1):= A064063(n+1).

			Triangle begins:
   1;
   3,   4;
   9,  21,  25;
  27,  90, 165,  190;
  81, 351, 846, 1416, 1606;
  ...

B. Derrida, E. Domany and D. Mukamel, An exact solution of a one-dimensional asymmetric exclusion model with open boundaries, J. Stat. Phys. 69, 1992, 667-687; eqs. (20), (21), p. 672.
Wolfdieter Lang, First 10 rows.

Cf. A064063.

Row sums give A116862.

G.f. m-th diagonal, m>=1: ((3*x*c(3*x))^m)*(2 + 3*x*c(3*x))/(3*x*(2+x)) with c(x) the o.g.f. of A000108 (Catalan).

A116867 Convolution of generalized Catalan sequence A064063 (named C(3;n)).

Original entry on oeis.org

1, 2, 9, 58, 446, 3792, 34369, 325538, 3184206, 31917772, 326156474, 3385065348, 35585008816, 378116619692, 4054571715729, 43820012675698, 476830454211926, 5219833626494412, 57444768682580494, 635176593108262028

Offset: 0

Wolfdieter Lang, Mar 24 2006

Row sums of generalized Catalan triangle A116866 (named C(1,3)).

J. Abate, W. Whitt, Brownian Motion and the Generalized Catalan Numbers, J. Int. Seq. 14 (2011) # 11.2.6, example after (34).

a(n)=sum(A116866(n,m),m=0..n), n>=0.
G.f.: ((1+3*x*c(3*x)/2)/(1+x/2))^2 = (4-3*x + 15*x*c(3*x))/(2+x)^2, with the o.g.f. c(x) of A000108 (Catalan numbers).
a(n)= sum(C(3;n-k)*C(3;k),k=0..n), n>=0, with C(3;n):= A064063(n).
2*n*a(n) +(-23*n+37)*a(n-1) +6*(-2*n+1)*a(n-2)=0. - R. J. Mathar, Aug 09 2017

A036987 Fredholm-Rueppel sequence.

Original entry on oeis.org

1, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0

Offset: 0

N. J. A. Sloane

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

			G.f. = 1 + x + x^3 + x^7 + x^15 + x^31 + x^63 + x^127 + x^255 + x^511 + ...
a(7) = 1 since 7 = 2^3 - 1, while a(10) = 0 since 10 is not of the form 2^k - 1 for any integer k.

Antti Karttunen, Table of n, a(n) for n = 0..65537
D. Bailey et al., On the binary expansions of algebraic numbers, Journal de Théorie des Nombres de Bordeaux 16 (2004), 487-518.
Paul Barry, Some observations on the Rueppel sequence and associated Hankel determinants, arXiv:2005.04066 [math.CO], 2020.
Paul Barry, Conjectures and results on some generalized Rueppel sequences, arXiv:2107.00442 [math.CO], 2021.
Daniele A. Gewurz and Francesca Merola, Sequences realized as Parker vectors of oligomorphic permutation groups, J. Integer Seqs., Vol. 6, 2003.
Mats Granvik, Mathematica program for computing Fredholm Rueppel sequences
D. Kohel, S. Ling and C. Xing, Explicit Sequence Expansions, in Sequences and their Applications, C. Ding, T. Helleseth, and H. Niederreiter, eds., Proceedings of SETA'98 (Singapore, 1998), 308-317, 1999.
Preda Mihăilescu, Primary Cyclotomic Units and a Proof of Catalan's Conjecture, J. Reine angew. Math. 572 (2004): 167-195. doi:10.1515/crll.2004.048. MR 2076124.
H. Niederreiter and M. Vielhaber, Tree Complexity and a Doubly Exponential Gap between Structured and Random Sequences, J. Complexity, 12 (1996), 187-198.
Apisit Pakapongpun and Thomas Ward, Functorial orbit counting, Journal of Integer Sequences, 12 (2009) Article 09.2.4. [From _Thomas Ward_, Apr 08 2009]
Eric Rowland and Reem Yassawi, Profinite automata, arXiv:1403.7659 [math.DS], 2014. See p. 8.
E. Sheppard, net.math post (1985)
Stephen Wolfram, [Page 1092] A New Kind of Science | Online.
Index entries for characteristic functions

Cf. A007404, A043545, A062518, A078885, A078585, A078886, A078887, A078888, A078889, A078890.
The first row of A073346. Occurs for first time in A073202 as row 6 (and again as row 8).
Congruent to any of the sequences A000108, A007460, A007461, A007463, A007464, A061922, A068068 reduced modulo 2. Characteristic function of A000225.
If interpreted with offset=1 instead of 0 (i.e., a(1)=1, a(2)=1, a(3)=0, a(4)=1, ...) then this is the characteristic function of 2^n (A000079) and as such occurs as the first row of A073265. Also, in that case the INVERT transform will produce A023359.
This is Guy Steele's sequence GS(1, 3), also GS(3, 1) (see A135416).
Cf. A054525, A047999. - Gary W. Adamson, Oct 26 2009
Cf. A043529, A127802.

a036987 n = ibp (n+1) where
   ibp 1 = 1
   ibp n = if r > 0 then 0 else ibp n' where (n',r) = divMod n 2
a036987_list = 1 : f [0,1] where f (x:y:xs) = y : f (x:xs ++ [x,x+y])
-- Same list generator function as for a091090_list, cf. A091090.
-- Reinhard Zumkeller, May 19 2015, Apr 13 2013, Mar 13 2013

A036987:= n-> `if`(2^ilog2(n+1) = n+1, 1, 0):
seq(A036987(n), n=0..128);

RealDigits[ N[ Sum[1/10^(2^n), {n, 0, Infinity}], 110]][[1]]
(* Recurrence: *)
t[n_, 1] = 1; t[1, k_] = 1;
t[n_, k_] := t[n, k] =
  If[n < k, If[n > 1 && k > 1, -Sum[t[k - i, n], {i, 1, n - 1}], 0],
   If[n > 1 && k > 1, Sum[t[n - i, k], {i, 1, k - 1}], 0]];
Table[t[n, k], {k, n, n}, {n, 104}]
(* Mats Granvik, Jun 03 2011 *)
mb2d[n_]:=1 - Module[{n2 = IntegerDigits[n, 2]}, Max[n2] - Min[n2]]; Array[mb2d, 120, 0] (* Vincenzo Librandi, Jul 19 2019 *)
Table[PadRight[{1},2^k,0],{k,0,7}]//Flatten (* Harvey P. Dale, Apr 23 2022 *)

{a(n) =( n++) == 2^valuation(n, 2)}; /* Michael Somos, Aug 25 2003 */

a(n) = !bitand(n, n+1); \\ Ruud H.G. van Tol, Apr 05 2023

from sympy import catalan
def a(n): return catalan(n)%2 # Indranil Ghosh, May 25 2017

def A036987(n): return int(not(n&(n+1))) # Chai Wah Wu, Jul 06 2022

1 followed by a string of 2^k - 1 0's. Also a(n)=1 iff n = 2^m - 1.
a(n) = a(floor(n/2)) * (n mod 2) for n>0 with a(0)=1. - Reinhard Zumkeller, Aug 02 2002 [Corrected by Mikhail Kurkov, Jul 16 2019]
Sum_{n>=0} 1/10^(2^n) = 0.110100010000000100000000000000010...
1 if n=0, floor(log_2(n+1)) - floor(log_2(n)) otherwise. G.f.: (1/x) * Sum_{k>=0} x^(2^k) = Sum_{k>=0} x^(2^k-1). - Ralf Stephan, Apr 28 2003
a(n) = 1 - A043545(n). - Michael Somos, Aug 25 2003
a(n) = -Sum_{d|n+1} mu(2*d). - Benoit Cloitre, Oct 24 2003
Dirichlet g.f. for right-shifted sequence: 2^(-s)/(1-2^(-s)).
a(n) = A000108(n) mod 2 = A001405(n) mod 2. - Paul Barry, Nov 22 2004
a(n) = Sum_{k=0..n} (-1)^(n-k)*binomial(n,k)*Sum_{j=0..k} binomial(k, 2^j-1). - Paul Barry, Jun 01 2006
A000523(n+1) = Sum_{k=1..n} a(k). - Mitch Harris, Jul 22 2011
a(n) = A209229(n+1). - Reinhard Zumkeller, Mar 07 2012
a(n) = Sum_{k=1..n} A191898(n,k)*cos(Pi*(n-1)*(k-1))/n; (conjecture). - Mats Granvik, Mar 04 2013
a(n) = A000035(A000108(n)). - Omar E. Pol, Aug 06 2013
a(n) = 1 iff n=2^k-1 for some k, 0 otherwise. - M. F. Hasler, Jun 20 2014
a(n) = ceiling(log_2(n+2)) - ceiling(log_2(n+1)). - Gionata Neri, Sep 06 2015
From John M. Campbell, Jul 21 2016: (Start)
a(n) = (A000168(n-1) mod 2).
a(n) = (A000531(n+1) mod 2).
a(n) = (A000699(n+1) mod 2).
a(n) = (A000891(n) mod 2).
a(n) = (A000913(n-1) mod 2), for n>1.
a(n) = (A000917(n-1) mod 2), for n>0.
a(n) = (A001142(n) mod 2).
a(n) = (A001246(n) mod 2).
a(n) = (A001246(n) mod 4).
a(n) = (A002057(n-2) mod 2), for n>1.
a(n) = (A002430(n+1) mod 2). (End)
a(n) = 2 - A043529(n). - Antti Karttunen, Nov 19 2017
a(n) = floor(1+log(n+1)/log(2)) - floor(log(2n+1)/log(2)). - Adriano Caroli, Sep 22 2019
This is also the decimal expansion of -Sum_{k>=1} mu(2*k)/(10^k - 1), where mu is the Möbius function (A008683). - Amiram Eldar, Jul 12 2020

Edited by M. F. Hasler, Jun 20 2014

A106566 Triangle T(n,k), 0 <= k <= n, read by rows, given by [0, 1, 1, 1, 1, 1, 1, 1, ... ] DELTA [1, 0, 0, 0, 0, 0, 0, 0, ... ] where DELTA is the operator defined in A084938.

Original entry on oeis.org

1, 0, 1, 0, 1, 1, 0, 2, 2, 1, 0, 5, 5, 3, 1, 0, 14, 14, 9, 4, 1, 0, 42, 42, 28, 14, 5, 1, 0, 132, 132, 90, 48, 20, 6, 1, 0, 429, 429, 297, 165, 75, 27, 7, 1, 0, 1430, 1430, 1001, 572, 275, 110, 35, 8, 1, 0, 4862, 4862, 3432, 2002, 1001, 429, 154, 44, 9, 1

Offset: 0

Philippe Deléham, May 30 2005

Catalan convolution triangle; g.f. for column k: (x*c(x))^k with c(x) g.f. for A000108 (Catalan numbers).
Riordan array (1, xc(x)), where c(x) the g.f. of A000108; inverse of Riordan array (1, x*(1-x)) (see A109466).
Diagonal sums give A132364. - Philippe Deléham, Nov 11 2007

			Triangle begins:
  1;
  0,   1;
  0,   1,   1;
  0,   2,   2,  1;
  0,   5,   5,  3,  1;
  0,  14,  14,  9,  4,  1;
  0,  42,  42, 28, 14,  5, 1;
  0, 132, 132, 90, 48, 20, 6, 1;
From _Paul Barry_, Sep 28 2009: (Start)
Production array is
  0, 1,
  0, 1, 1,
  0, 1, 1, 1,
  0, 1, 1, 1, 1,
  0, 1, 1, 1, 1, 1,
  0, 1, 1, 1, 1, 1, 1,
  0, 1, 1, 1, 1, 1, 1, 1,
  0, 1, 1, 1, 1, 1, 1, 1, 1,
  0, 1, 1, 1, 1, 1, 1, 1, 1, 1 (End)

Alois P. Heinz, Rows n = 0..140, flattened
Paul Barry, A Catalan Transform and Related Transformations on Integer Sequences, Journal of Integer Sequences, Vol. 8 (2005), Article 05.4.5.
Paul Barry, A Note on Riordan Arrays with Catalan Halves, arXiv:1912.01124 [math.CO], 2019.
Paul Barry, Chebyshev moments and Riordan involutions, arXiv:1912.11845 [math.CO], 2019.
Paul Barry, On a Central Transform of Integer Sequences, arXiv:2004.04577 [math.CO], 2020.
F. R. Bernhart, Catalan, Motzkin and Riordan numbers, Discr. Math., 204 (1999), 73-112.
D. Callan, A recursive bijective approach to counting permutations containing 3-letter patterns, arXiv:math/0211380 [math.CO], 2002.
E. Deutsch, Dyck path enumeration, Discrete Math., 204, 1999, 167-202.
FindStat - Combinatorial Statistic Finder, The number of touch points of a Dyck path, The number of initial rises of a Dyck paths, The number of nodes on the left branch of the tree, The number of subtrees.
R. K. Guy, Catwalks, sandsteps and Pascal pyramids, J. Integer Sequences, Vol. 3 (2000), Article #00.1.6.
A. Robertson, D. Saracino and D. Zeilberger, Refined restricted permutations, arXiv:math/0203033 [math.CO], 2002.
L. W. Shapiro, S. Getu, W.-J. Woan and L. C. Woodson, The Riordan group, Discrete Applied Math., 34 (1991), 229-239.

Column k for k = 0, 1, 2, ..., 13: A000007, A000108, A000108, A000245, A002057, A000344, A003517, A000588, A003517, A001392, A003518, A000589, A003519, A000590
The three triangles A059365, A106566 and A099039 are the same except for signs and the leading term.
Diagonals: A000012, A001477, A000096, A005586, A005587, A005557, A064059, A064061
See also A009766, A033184, A059365 for other versions.
Generalized Catalan numbers C(x, n) for -11 <= x <= 10: A064333, A064332, A064331, A064330, A064329, A064328, A064327, A064326, A064325, A064311, A064310, A000012, A000108, A064062, A064063, A064087, A064088, A064089, A064090, A064091, A064092, A064093.
The following are all versions of (essentially) the same Catalan triangle: A009766, A030237, A033184, A059365, A099039, A106566, A130020, A047072.
Diagonals give A000108 A000245 A002057 A000344 A003517 A000588 A003518 A003519 A001392, ...

A106566:= func< n,k | n eq 0 select 1 else (k/n)*Binomial(2*n-k-1, n-k) >;
[A106566(n,k): k in [0..n], n in [0..12]]; // G. C. Greubel, Sep 06 2021

A106566 := proc(n,k)
    if n = 0 then
        1;
    elif k < 0 or k > n then
        0;
    else
        binomial(2*n-k-1,n-k)*k/n ;
    end if;
end proc: # R. J. Mathar, Mar 01 2015

T[n_, k_] := Binomial[2n-k-1, n-k]*k/n; T[0, 0] = 1; Table[T[n, k], {n, 0, 10}, {k, 0, n}] // Flatten (* Jean-François Alcover, Feb 18 2017 *)
(* The function RiordanArray is defined in A256893. *)
RiordanArray[1&, #(1-Sqrt[1-4#])/(2#)&, 11] // Flatten (* Jean-François Alcover, Jul 16 2019 *)

{T(n, k) = if( k<=0 || k>n, n==0 && k==0, binomial(2*n - k, n) * k/(2*n - k))}; /* Michael Somos, Oct 01 2022 */

def A106566(n, k): return 1 if (n==0) else (k/n)*binomial(2*n-k-1, n-k)
flatten([[A106566(n,k) for k in (0..n)] for n in (0..12)]) # G. C. Greubel, Sep 06 2021

T(n, k) = binomial(2n-k-1, n-k)*k/n for 0 <= k <= n with n > 0; T(0, 0) = 1; T(0, k) = 0 if k > 0.
T(0, 0) = 1; T(n, 0) = 0 if n > 0; T(0, k) = 0 if k > 0; for k > 0 and n > 0: T(n, k) = Sum_{j>=0} T(n-1, k-1+j).
Sum_{j>=0} T(n+j, 2j) = binomial(2n-1, n), n > 0.
Sum_{j>=0} T(n+j, 2j+1) = binomial(2n-2, n-1), n > 0.
Sum_{k>=0} (-1)^(n+k)*T(n, k) = A064310(n). T(n, k) = (-1)^(n+k)*A099039(n, k).
Sum_{k=0..n} T(n, k)*x^k = A000007(n), A000108(n), A000984(n), A007854(n), A076035(n), A076036(n), A127628(n), A126694(n), A115970(n) for x = 0,1,2,3,4,5,6,7,8 respectively.
Sum_{k>=0} T(n, k)*x^(n-k) = C(x, n); C(x, n) are the generalized Catalan numbers.
Sum_{j=0..n-k} T(n+k,2*k+j) = A039599(n,k).
Sum_{j>=0} T(n,j)*binomial(j,k) = A039599(n,k).
Sum_{k=0..n} T(n,k)*A000108(k) = A127632(n).
Sum_{k=0..n} T(n,k)*(x+1)^k*x^(n-k) = A000012(n), A000984(n), A089022(n), A035610(n), A130976(n), A130977(n), A130978(n), A130979(n), A130980(n), A131521(n) for x= 0,1,2,3,4,5,6,7,8,9 respectively. - Philippe Deléham, Aug 25 2007
Sum_{k=0..n} T(n,k)*A000108(k-1) = A121988(n), with A000108(-1)=0. - Philippe Deléham, Aug 27 2007
Sum_{k=0..n} T(n,k)*(-x)^k = A000007(n), A126983(n), A126984(n), A126982(n), A126986(n), A126987(n), A127017(n), A127016(n), A126985(n), A127053(n) for x = 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 respectively. - Philippe Deléham, Oct 27 2007
T(n,k)*2^(n-k) = A110510(n,k); T(n,k)*3^(n-k) = A110518(n,k). - Philippe Deléham, Nov 11 2007
Sum_{k=0..n} T(n,k)*A000045(k) = A109262(n), A000045: Fibonacci numbers. - Philippe Deléham, Oct 28 2008
Sum_{k=0..n} T(n,k)*A000129(k) = A143464(n), A000129: Pell numbers. - Philippe Deléham, Oct 28 2008
Sum_{k=0..n} T(n,k)*A100335(k) = A002450(n). - Philippe Deléham, Oct 30 2008
Sum_{k=0..n} T(n,k)*A100334(k) = A001906(n). - Philippe Deléham, Oct 30 2008
Sum_{k=0..n} T(n,k)*A099322(k) = A015565(n). - Philippe Deléham, Oct 30 2008
Sum_{k=0..n} T(n,k)*A106233(k) = A003462(n). - Philippe Deléham, Oct 30 2008
Sum_{k=0..n} T(n,k)*A151821(k+1) = A100320(n). - Philippe Deléham, Oct 30 2008
Sum_{k=0..n} T(n,k)*A082505(k+1) = A144706(n). - Philippe Deléham, Oct 30 2008
Sum_{k=0..n} T(n,k)*A000045(2k+2) = A026671(n). - Philippe Deléham, Feb 11 2009
Sum_{k=0..n} T(n,k)*A122367(k) = A026726(n). - Philippe Deléham, Feb 11 2009
Sum_{k=0..n} T(n,k)*A008619(k) = A000958(n+1). - Philippe Deléham, Nov 15 2009
Sum_{k=0..n} T(n,k)*A027941(k+1) = A026674(n+1). - Philippe Deléham, Feb 01 2014
G.f.: Sum_{n>=0, k>=0} T(n, k)*x^k*z^n = 1/(1 - x*z*c(z)) where c(z) the g.f. of A000108. - Michael Somos, Oct 01 2022

Formula corrected by Philippe Deléham, Oct 31 2008
Corrected by Philippe Deléham, Sep 17 2009
Corrected by Alois P. Heinz, Aug 02 2012

A064062 Generalized Catalan numbers C(2; n).

Original entry on oeis.org

1, 1, 3, 13, 67, 381, 2307, 14589, 95235, 636925, 4341763, 30056445, 210731011, 1493303293, 10678370307, 76957679613, 558403682307, 4075996839933, 29909606989827, 220510631755773, 1632599134961667, 12133359132082173

Offset: 0

Wolfdieter Lang, Sep 13 2001

a(n+1) = Y_{n}(n+1) = Z_{n}, n >= 0, in the Derrida et al. 1992 reference (see A064094) for alpha=2, beta=1 (or alpha=1, beta=2).
a(n) = number of Dyck n-paths (A000108) in which each upstep (U) not at ground level is colored red (R) or blue (B). For example, a(3)=3 counts URDD, UBDD, UDUD (D=downstep). - David Callan, Mar 30 2007
The Hankel transform of this sequence is A002416. - Philippe Deléham, Nov 19 2007
The sequence a(n)/2^n, with g.f. 1/(1-xc(x)/2), has Hankel transform 1/2^n. - Paul Barry, Apr 14 2008
The REVERT transform of the odd numbers [1,3,5,7,9,...] is [1, -3, 13, -67, 381, -2307, 14589, -95235, 636925, ...] - N. J. A. Sloane, May 26 2017

Vincenzo Librandi, Table of n, a(n) for n = 0..200
J. Abate and W. Whitt, Brownian Motion and the Generalized Catalan Numbers, J. Int. Seq. 14 (2011) # 11.2.6, example section 3.
Jean-Luc Baril, Sergey Kirgizov, and Mehdi Naima, A lattice on Dyck paths close to the Tamari lattice, arXiv:2309.00426 [math.CO], 2023.
Paul Barry and Aoife Hennessy, Generalized Narayana Polynomials, Riordan Arrays, and Lattice Paths, Journal of Integer Sequences, Vol. 15, 2012, #12.4.8. - From _N. J. A. Sloane_, Oct 08 2012
J. Bloom and S. Elizalde, Pattern avoidance in matchings and partitions, arXiv:1211.3442 [math.CO] (2012) Theorem 6.1.
N. Bonichon, C. Gavoille and N. Hanusse, Canonical Decomposition of Outerplanar Maps and Application to Enumeration, Coding and Generation, In Proceedings of WG'03, volume 2880 of LNCS, pp. 81-92, 2003.
Alexander Burstein, Sergi Elizalde and Toufik Mansour, Restricted Dumont permutations, Dyck paths and noncrossing partitions, arXiv:math/0610234 [math.CO], 2006.
Xiang-Ke Chang, X.-B. Hu, H. Lei and Y.-N. Yeh, Combinatorial proofs of addition formulas, The Electronic Journal of Combinatorics, 23(1) (2016), #P1.8.
S. B. Ekhad and M. Yang, Proofs of Linear Recurrences of Coefficients of Certain Algebraic Formal Power Series Conjectured in the On-Line Encyclopedia Of Integer Sequences, (2017).
Simone Fioravanti, Steve Hanneke, Shay Moran, Hilla Schefler, and Iska Tsubari, Ramsey Theorems for Trees and a General 'Private Learning Implies Online Learning' Theorem, arXiv:2407.07765 [cs.LG], 2024. See p. 44.
Ivan Geffner and Marc Noy, Counting Outerplanar Maps, Electronic Journal of Combinatorics 24(2) (2017), #P2.3.
N. J. A. Sloane, Transforms
A. Vieru, Agoh's conjecture: its proof, its generalizations, its analogues, arXiv preprint arXiv:1107.2938 [math.NT], 2011-2012.

Generalized Catalan numbers C(m; n): A000012 (m = 0), A000108 (m = 1), A064063 (m = 3) and A064087 - A064093 (m = 4 thru 10); A064310 (m = -1), A064311 (m = -2) and A064325 - A064333 (m = -3 thru -11).

Cf. A064334, A119529.

R:=PowerSeriesRing(Rationals(), 30);
Coefficients(R!( (3 - Sqrt(1-8*x))/(2*(1+x)) )); // G. C. Greubel, Sep 27 2024

1, seq(simplify(hypergeom([1-n,n],[-n],2)), n=1..100); # Robert Israel, Nov 30 2014

a[0]=1; a[1]=1; a[n_]/;n>=2 := a[n] = a[n-1] + Sum[(a[k] + a[k-1])a[n-k],{k,n-1}]; Table[a[n],{n,0,10}] (* David Callan, Aug 27 2009 *)
a[n_] := 2*Sum[ (-1)^j*2^(n-j-1)*Binomial[2*(n-j-1), n-j-1]/(n-j), {j, 0, n-1}] + (-1)^n; Table[a[n], {n, 0, 21}] (* Jean-François Alcover, Jul 03 2013 *)

{a(n)=polcoeff((3-sqrt(1-8*x+x*O(x^n)))/(2+2*x),n)}

{a(n)=local(A=1+x); for(i=1, n, A=1+A^4*intformal(1/(A^2+x*O(x^n)))); polcoeff(A, n)} \\ Paul D. Hanna, Dec 24 2013
for(n=0, 25, print1(a(n), ", "))

{a(n)=polcoeff(1/(1 - serreverse(x-2*x^2 +x^2*O(x^n))),n)}
for(n=0,30,print1(a(n),", ")) \\ Paul D. Hanna, Nov 30 2014

def a(n):
    if n==0: return 1
    return hypergeometric([1-n, n], [-n], 2).simplify()
[a(n) for n in range(22)] # Peter Luschny, Dec 01 2014

G.f.: (1 + 2*x*C(2*x)) / (1+x) = 1/(1 - x*C(2*x)) with C(x) g.f. of Catalan numbers A000108.
a(n) = A062992(n-1) = Sum_{m = 0..n-1} (n-m)*binomial(n-1+m, m)*(2^m)/n, n >= 1, a(0) = 1.
a(n) = Sum_{k = 0..n} A059365(n, k)*2^(n-k). - Philippe Deléham, Jan 19 2004
G.f.: 1/(1-x/(1-2x/(1-2x/(1-2x/(1-.... = 1/(1-x-2x^2/(1-4x-4x^2/(1-4x-4x^2/(1-.... (continued fractions). - Paul Barry, Jan 30 2009
a(n) = (32/Pi)*Integral_{x = 0..1} (8*x)^(n-1)*sqrt(x*(1-x)) / (8*x+1). - Groux Roland, Dec 12 2010
a(n+2) = 8^(n+2)*( c(n+2)-c(1)*c(n+1) - Sum_{i=0..n-1} 8^(-i-2)*c(n-i)*a(i+2) ) with c(n) = Catalan(n+2)/2^(2*n+1). - Groux Roland, Dec 12 2010
a(n) = the upper left term in M^n, M = the production matrix:
  1, 1
  2, 2, 1
  4, 4, 2, 1
  8, 8, 4, 2, 1
  ... - Gary W. Adamson, Jul 08 2011
D-finite with recurrence: n*a(n) + (12-7n)*a(n-1) + 4*(3-2n)*a(n-2) = 0. - R. J. Mathar, Nov 16 2011 (This follows easily from the generating function. - Robert Israel, Nov 30 2014)
G.f. satisfies: A(x) = 1 + A(x)^4 * Integral 1/A(x)^2 dx. - Paul D. Hanna, Dec 24 2013
G.f. satisfies: Integral 1/A(x)^2 dx = x - x^2*G(x), where G(x) is the o.g.f. of A000257, the number of rooted bicubic maps. - Paul D. Hanna, Dec 24 2013
G.f. A(x) satisfies: A(x - 2*x^2) = 1/(1-x). - Paul D. Hanna, Nov 30 2014
a(n) = hypergeometric([1-n, n], [-n], 2) for n > 0. - Peter Luschny, Nov 30 2014
G.f.: (3 - sqrt(1-8*x))/(2*(x+1)). - Robert Israel, Nov 30 2014
a(n) ~ 2^(3*n+1) / (9*sqrt(Pi)*n^(3/2)). - Vaclav Kotesovec, Dec 22 2014
O.g.f. A(x) =  1 + series reversion of (x*(1 - x)/(1 + x)^2). Logarithmically differentiating (A(x) - 1)/x gives 3 + 17*x + 111*x^2 + ..., essentially a g.f for A119259. - Peter Bala, Oct 01 2015
From Peter Bala, Jan 06 2022: (Start)
exp( Sum_{n >= 1} a(n)*x^n/n ) = 1 + x + 2*x^2 + 6*x^3 + 23*x^4 + ... is a g.f. for A022558.
The Gauss congruences a(n*p^k) == a(n^p^(k-1)) (mod p^k) hold for prime p and positive integers n and k. (End)

A064094 Triangle composed of generalized Catalan numbers.

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 5, 3, 1, 1, 1, 14, 13, 4, 1, 1, 1, 42, 67, 25, 5, 1, 1, 1, 132, 381, 190, 41, 6, 1, 1, 1, 429, 2307, 1606, 413, 61, 7, 1, 1, 1, 1430, 14589, 14506, 4641, 766, 85, 8, 1, 1, 1, 4862, 95235, 137089, 55797, 10746, 1279, 113, 9, 1, 1

Offset: 0

Wolfdieter Lang, Sep 13 2001

The column m sequence (without leading zeros and the first 1) appears in the Derrida et al. 1992 reference as Z_{N}=Y_{N}(N+1), N >=0, for alpha = m, beta = 1 (or alpha = 1, beta = m). In the Derrida et al. 1993 reference the formula in eq. (39) gives Z_{N}(alpha,beta)/(alpha*beta)^N for N>=1.

			Triangle begins:
  1;
  1,    1;
  1,    1,     1;
  1,    2,     1,     1;
  1,    5,     3,     1,    1;
  1,   14,    13,     4,    1,   1;
  1,   42,    67,    25,    5,   1,   1;
  1,  132,   381,   190,   41,   6,   1,   1;
  1,  429,  2307,  1606,  413,  61,   7,   1,   1;
  1, 1430, 14589, 14506, 4641, 766,  85,   8,   1,   1;

G. C. Greubel, Rows n = 0..50 of the triangle, flattened
B. Derrida, E. Domany, and D. Mukamel, An exact solution of a one-dimensional asymmetric exclusion model with open boundaries, J. Stat. Phys. 69, 1992, 667-687; eqs. (20), (21), p. 672.
B. Derrida, M. R. Evans, V. Hakim, and V. Pasquier, Exact solution of a 1D asymmetric exclusion model using a matrix formulation, J. Phys. A 26, 1993, 1493-1517; eq. (39), p. 1501, also appendix A1, (A12) p. 1513.

Diagonals: A000012, A000012, A000027, A001844, A064096, A064302, A064303, A064304, A064305.
Columns (without leading zeros): A000012 (k=0), A000108 (k=1), A064062 (k=2), A064063 (k=3), A064087 (k=4), A064088 (k=5), A064089 (k=6), A064090 (k=7), A064091 (k=8), A064092 (k=9), A064093 (k=10).
Cf. A064095 (row sums).

function A064094(n,k)
  if k eq 0 or k eq n then return 1;
  else return (&+[(n-k-j)*Binomial(n-k-1+j, j)*k^j: j in [0..n-k-1]])/(n-k);
  end if;
end function;
[A064094(n,k): k in [0..n], n in [0..12]]; // G. C. Greubel, Sep 27 2024

T[n_, 0] = 1; T[n_, 1] := CatalanNumber[n - 1]; T[n_, n_] = 1; T[n_, m_] := (1/(1 - m))^(n - m)*(1 - m*Sum[ CatalanNumber[k]*(m*(1 - m))^k, {k, 0, n - m - 1}]); Table[ T[n, m], {n, 0, 10}, {m, 0, n}] // Flatten (* Jean-François Alcover, Jul 05 2013 *)

def A064094(n,k):
    if (k==0 or k==n): return 1
    else: return sum((n-k-j)*binomial(n-k-1+j,j)*k^j for j in range(n-k))//(n-k)
flatten([[A064094(n,k) for k in range(n+1)] for n in range(13)]) # G. C. Greubel, Sep 27 2024

G.f. for column m: (x^m)/(1-x*c(m*x)) = (x^m)*((m-1)+m*x*c(m*x))/(m-1+x) with the g.f. c(x) of Catalan numbers A000108.

T(n, m) = Sum_{j=0..n-m-1} (n-m-j)*binomial(n-m-1+j, j)*(m^j)/(n-m) or T(n, m) = (1/(1-m))^(n-m)*(1 - m*Sum_{j=0..n-m-1} C(j)*(m*(1-m))^j ), for n - m >= 1, T(n, n) = 1, T(n, m) = 0 if nA000108(k) (Catalan).

A064087 Generalized Catalan numbers C(4; n).

Original entry on oeis.org

1, 1, 5, 41, 413, 4641, 55797, 702297, 9137549, 121909457, 1658755685, 22929591433, 321111942781, 4546112358529, 64958195967957, 935566629270201, 13567825195172973, 197957440018622769, 2903721563443327557, 42796201522669935081, 633443408407612143453

Offset: 0

Wolfdieter Lang, Sep 13 2001

a(n+1) = Y_{n}(n+1) = Z_{n} in the Derrida et al. 1992 reference (see A064094) for alpha=4, beta=1 (or alpha=1, beta=4).

Cf. A064063 (C(3; n)).

a[0] = 1; a[n_] := Sum[(n - m)*Binomial[n - 1 + m, m]*4^m/n, {m, 0, n - 1}]; Table[a[n], {n, 0, 18}] (* Jean-François Alcover, Jul 09 2013 *)

a(n) = if(n<0,0,polcoeff(serreverse((x-3*x^2)/(1+x)^2+O(x^(n+1))),n)) /* Ralf Stephan */

def a(n):
    if n==0: return 1
    return hypergeometric([1-n, n], [-n], 4).simplify()
[a(n) for n in range(24)] # Peter Luschny, Nov 30 2014

G.f.: (1+4*x*c(4*x)/3)/(1+x/3) = 1/(1-x*c(4*x)) with c(x) g.f. of Catalan numbers A000108.
a(n) = (1/n)*Sum_{m=0..n-1} (n-m)*binomial(n-1+m, m)*(4^m) = ((-1/3)^n)*(1 - 4*Sum_{k=0..n-1} C(k)*(-12)^k), n >= 1, a(0) = 1, with C(n) = A000108(n) (Catalan).
a(n) = Sum_{k=0...n} A059365(n, k)*4^(n-k). - Philippe Deléham, Jan 19 2004
D-finite with recurrence: 3*n*a(n) + (-47*n+72)*a(n-1) + 8*(-2*n+3)*a(n-2) = 0. - R. J. Mathar, Jun 07 2013 [verified by Georg Fischer, Jul 06 2021]
a(n) = hypergeometric([1-n, n], [-n], 4) for n > 0. - Peter Luschny, Nov 30 2014
a(n) ~ 2^(4*n + 2) / (49*sqrt(Pi)*n^(3/2)). - Vaclav Kotesovec, Jun 10 2019

A094385 Triangle read by rows: T(n, k) = binomial(2n, k-1)binomial(2*n-k-1, n-k)/n for n, k >= 1, and T(n, 0) = 0^n.

Original entry on oeis.org

1, 0, 1, 0, 1, 2, 0, 2, 6, 5, 0, 5, 20, 28, 14, 0, 14, 70, 135, 120, 42, 0, 42, 252, 616, 770, 495, 132, 0, 132, 924, 2730, 4368, 4004, 2002, 429, 0, 429, 3432, 11880, 23100, 27300, 19656, 8008, 1430, 0, 1430, 12870, 51051, 116688, 168300, 157080, 92820, 31824, 4862

Offset: 0

Philippe Deléham, Jun 03 2004, Jun 14 2007

			Triangle begins:
  1;
  0,   1;
  0,   1,    2;
  0,   2,    6,     5;
  0,   5,   20,    28,    14;
  0,  14,   70,   135,   120,    42;
  0,  42,  252,   616,   770,   495,   132;
  0, 132,  924,  2730,  4368,  4004,  2002,  429;
  0, 429, 3432, 11880, 23100, 27300, 19656, 8008, 1430; ...

G. C. Greubel, Rows n = 0..50 of the triangle, flattened
Paul Barry, A Note on a Family of Generalized Pascal Matrices Defined by Riordan Arrays, Journal of Integer Sequences, 16 (2013), #13.5.4.
Yue Cai and Catherine Yan, Counting with Borel's triangle, Texas A&M University.
Yue Cai and Catherine Yan, Counting with Borel's triangle, arXiv:1804.01597 [math.CO], 2018.
B. Derrida, E. Domany and D. Mukamel, A exact solution of a one-dimensional asymmetric exclusion model with open boundaries, J. Stat. Phys. 69, 1992, 667-687; eqs.(20), (21), p. 672.
Jian Zhou, On Some Mathematics Related to the Interpolating Statistics, arXiv:2108.10514 [math-ph], 2021.

Variant of A062991, unsigned and transposed.
See also A234950 for another version.
Columns: A000007 (k=0), 2*A001700 (k=1).
Diagonals: A002694 (k=n-1), A000108 (k=n).
Row sums: A064062 (generalized Catalan C(2; n)).
Cf. A000012, A002694, A064062, A064063, A064087, A064088, A064089.
Cf. A064090, A064091, A064092, A064093, A064094.

A094385:= func< n,k | n eq 0 select 1 else Binomial(2*n, k-1)*Binomial(2*n-k-1, n-k)/n >;
[A094385(n,k): k in [0..n], n in [0..12]]; // G. C. Greubel, Sep 26 2024

T[n_, k_] := Binomial[2n, k-1] Binomial[2n-k-1, n-k]/n; T[0, 0] = 1;
Table[T[n, k], {n, 0, 9}, {k, 0, n}] // Flatten (* Jean-François Alcover, Sep 19 2018 *)

def A094385(n,k): return 1 if (n==0) else binomial(2*n,k-1)*binomial(2*n-k-1, n-k)//n
flatten([[A094385(n,k) for k in range(n+1)] for n in range(13)]) # G. C. Greubel, Sep 26 2024

T is given by [0, 1, 1, 1, 1, 1, 1, ...] DELTA [1, 1, 1, 1, 1, 1, 1, 1, 1, ...] where DELTA is the operator defined in A084938.
Sum_{k = 0..n} T(n, k)*x^(n-k) = C(x+1; n), generalized Catalan numbers; see left diagonals of triangle A064094: A000012, A000108, A064062, A064063, A064087..A064093 for x = -1, 0, ..., 9, respectively.
From G. C. Greubel, Sep 26 2024: (Start)
T(n, 1) = A000108(n-1), n >= 1.
T(n, n-1) = A002694(n), n >= 1.
T(n, n) = A000108(n). (End)

New name using a formula of the author by Peter Luschny, Sep 26 2024

cp's OEIS Frontend

A115154 Triangle of numbers related to the generalized Catalan sequence C(3;n+1) = A064063(n+1), n>=0.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Formula

A116868 Triangle of numbers, called Y(1,3), related to generalized Catalan numbers A064063(n) = C(3;n).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Formula

A116867 Convolution of generalized Catalan sequence A064063 (named C(3;n)).

Views

Author

Keywords

Comments

Links

Formula

A036987 Fredholm-Rueppel sequence.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

PARI

Python

Python

Formula

Extensions

A106566 Triangle T(n,k), 0 <= k <= n, read by rows, given by [0, 1, 1, 1, 1, 1, 1, 1, ... ] DELTA [1, 0, 0, 0, 0, 0, 0, 0, ... ] where DELTA is the operator defined in A084938.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Sage

Formula

Extensions

A064062 Generalized Catalan numbers C(2; n).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

PARI

PARI

Sage

Formula

A064094 Triangle composed of generalized Catalan numbers.

Views

Author

Keywords

A094385 Triangle read by rows: T(n, k) = binomial(2n, k-1)binomial(2*n-k-1, n-k)/n for n, k >= 1, and T(n, 0) = 0^n.