cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-10 of 23 results. Next

A024484 Duplicate of A007226.

Original entry on oeis.org

2, 3, 10, 42, 198, 1001, 5304, 29070, 163438, 937365, 5462730, 32256120, 192565800
Offset: 2

Views

Author

Keywords

A007228 a(n) = 3*binomial(4*n,n)/(n+1).

Original entry on oeis.org

3, 6, 28, 165, 1092, 7752, 57684, 444015, 3506100, 28242984, 231180144, 1917334783, 16077354108, 136074334200, 1160946392760, 9973891723635, 86210635955220, 749191930237608, 6541908910355280, 57369142749576660, 505045163173167760, 4461713825057817120
Offset: 0

Views

Author

Keywords

Comments

For n >= 1, a(n) is the number of distinct perforation patterns for deriving (v,b) = (n+1,n) punctured convolutional codes from (4,1). [Edited by Petros Hadjicostas, Jul 27 2020]
Apparently Bégin's (1992) paper was presented at a poster session at the conference and was never published.
a(n) is the total number of down steps between the first and second up steps in all 3-Dyck paths of length 4*(n+1). A 3-Dyck path is a nonnegative lattice path with steps (1,3), (1,-1) that starts and ends at y = 0. - Sarah Selkirk, May 07 2020
From Petros Hadjicostas, Jul 27 2020: (Start)
"A punctured convolutional code is a high-rate code obtained by the periodic elimination (i.e., puncturing) of specific code symbols from the output of a low-rate encoder. The resulting high-rate code depends on both the low-rate code, called the original code, and the number and specific positions of the punctured symbols." (The quote is from Haccoun and Bégin (1989).)
A high-rate code (v,b) (written as R = b/v) can be constructed from a low-rate code (v0,1) (written as R = 1/v0) by deleting from every v0*b code symbols a number of v0*b - v symbols (so that the resulting rate is R = b/v).
Even though my formulas below do not appear in the two published papers in the IEEE Transactions on Communications, from the theory in those two papers, it makes sense to replace "k|b" with "k|v0*b" (and "k|gcd(v,b)" with "k|gcd(v,v0*b)"). Pab Ter, however, uses "k|b" in the Maple programs in the related sequences A007223, A007224, A007225, A007227, and A007229. (End)
Conjecture: for n >= 1, a(n) is odd iff n = 4*A263133(k) + 3 for some k. - Peter Bala, Mar 13 2023

Examples

			From _Petros Hadjicostas_, Jul 29 2020: (Start)
We give some examples to illustrate the comment by _Sarah Selkirk_ about the total number of downs between the 1st and 2nd ups in a 2-Dyck path of length 4*(n+1). We denote by (+3) an up movement by a vector of (1,3) and by (-1) a down movement by a vector of (1,-1). We use powers to denote repetition of the same movement.
(i) For n = 0, we have the following 2-Dyck path of length 4 that contributes to a(0) = 3: (+3)(-1)^3 (no 2nd up here) with a total of 3 downs after the 1st up.
(ii) For n = 1, we have the following 2-Dyck paths of length 8 that contribute to a(1) = 6: (+3)(-1)(+3)(-1)^5, (+3)(-1)^2(+3)(-1)^4, and (+3)(-1)^3(+3)(-1)^3 with a contribution of 1 + 2 + 3 = 6 downs between the 1st and 2nd ups.
(iii) For n = 2, we have the following 2-Dyck paths of length 12 that contribute to a(2) = 28: (+3)(-1)(+3)(-1)^i(+3)(-1)^(8-i) for i = 0..5, (+3)(-1)^2(+3)(-1)^i(+3)^(7-i) for i = 0..4, and (+3)(-1)^3(+3)(-1)^i(+3)(-1)^(6-i) for i = 0..3 with a contribution of 1 x 6 + 2 x 5 + 3 x 4 = 28 downs between the 1st and 2nd ups. (End)
		

References

  • Guy Bégin, On the enumeration of perforation patterns for punctured convolutional codes, Séries Formelles et Combinatoire Algébrique, 4th colloquium, 15-19 Juin 1992, Montréal, Université du Québec à Montréal, pp. 1-10.
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Programs

  • Magma
    [3*Binomial(4*n,n)/(n+1) : n in [0..25]]; // Wesley Ivan Hurt, Jul 27 2020
  • Mathematica
    Table[3/(n+1) Binomial[4n,n],{n,0,30}] (* Harvey P. Dale, Nov 14 2013 *)
  • PARI
    a(n)={3*binomial(4*n,n)/(n+1)} \\ Andrew Howroyd, May 08 2020
    

Formula

a(n) = C(4*n,n)/(3*n+1) + 2*C(4*n+1,n)/(3*n+2) + 3*C(4*n+2,n)/(3*n+3). - Paul Barry, Nov 05 2006
G.f.: g + g^2 + g^3 where g = 1 + x*g^4 is the g.f. of A002293. - Mark van Hoeij, Nov 11 2011
3*(3*n-1)*(3*n-2)*(n+1)*a(n) - 8*(4*n-3)*(2*n-1)*(4*n-1)*a(n-1) = 0. - R. J. Mathar, Nov 24 2012
From Petros Hadjicostas, Jul 27 2020: (Start)
The number of perforation patterns to derive high-rate convolutional code (v,b) (written as R = b/v) from a given low-rate convolutional code (v0, 1) (written as R = 1/v0) is (1/b)*Sum_{k|gcd(v,b)} phi(k)*binomial(v0*b/k, v/k).
According to Pab Ter's Maple code in the related sequences (see above), this is the coefficient of z^v in the polynomial (1/b)*Sum_{k|b} phi(k)*(1 + z^k)^(v0*b/k).
Here (v,b) = (n+1,n) and (v0,1) = (4,1), so for n >= 1,
a(n) = (1/n)*Sum_{k|gcd(n+1,n)} phi(k)*binomial(4*n/k, (n+1)/k).
This simplifies to
a(n) = (1/n)*binomial(4*n, n+1) for n >= 1. (End)

Extensions

Edited by N. J. A. Sloane, Feb 07 2004 following a suggestion of Ralf Stephan
Reedited by N. J. A. Sloane, May 31 2008 following a suggestion of R. J. Mathar

A124724 a(n) = (4/(n + 1)) * C(5*n, n).

Original entry on oeis.org

4, 10, 60, 455, 3876, 35420, 339300, 3362260, 34179860, 354465254, 3735373880, 39884521950, 430571952300, 4691735290080, 51534335175776, 570003171679020, 6343110854237300, 70968228417131850, 797820661622862900
Offset: 0

Views

Author

Paul Barry, Nov 05 2006

Keywords

Comments

a(n) is the total number of down steps between the first and second up steps in all 4-Dyck paths of length 5*(n+1). A 4-Dyck path is a nonnegative lattice path with steps (1,4), (1,-1) that starts and ends at y = 0. - Sarah Selkirk, May 07 2020

Crossrefs

Programs

  • Mathematica
    Array[(4/(# + 1))*Binomial[5 #, #] &, 28, 0] (* Michael De Vlieger, Apr 12 2023 *)
  • PARI
    a(n) = (4/(n+1)) * binomial(5*n,n); \\ Michel Marcus, May 08 2020

Formula

a(n) = C(5*n, n)/(4*n + 1) + 2*C(5*n + 1, n)/(4*n + 2) + 3*C(5*n + 2, n)/(4*n + 3) + 4*C(5*n + 3, n)/(4*n + 4).

A334642 a(n) is the total number of down steps between the first and second up steps in all 2_1-Dyck paths of length 3*n. A 2_1-Dyck path is a lattice path with steps (1, 2), (1, -1) that starts and ends at y = 0 and stays above the line y = -1.

Original entry on oeis.org

0, 3, 9, 32, 139, 669, 3430, 18360, 101403, 573551, 3305445, 19340100, 114579348, 685962172, 4143459504, 25220816752, 154545611355, 952583230899, 5902090839715, 36738469359480, 229636903762035, 1440759023752125, 9070230371741490, 57278432955350880
Offset: 0

Views

Author

Benjamin Hackl, May 07 2020

Keywords

Comments

For n = 1, there is no 2nd up step, a(1) = 3 enumerates the total number of down steps between the 1st up step and the end of the path.

Examples

			For n = 1, the 2_1-Dyck paths are UDD, DUD. This corresponds to a(1) = 2 + 1 = 3 down steps between the 1st up step and the end of the path.
For n = 2, the 2_1-Dyck paths are UUDDDD, UDUDDD, UDDUDD, UDDDUD, DUDDUD, DUDUDD, DUUDDD. In total, there are a(2) = 0 + 1 + 2 + 3 + 2 + 1 + 0 = 9 down steps between the 1st and 2nd up step.
		

Crossrefs

Programs

  • Mathematica
    a[0] = 0; a[n_] := 2 * Binomial[3*n, n]/(n + 1) - Binomial[3*n + 1, n]/(n + 1) + 4 * Binomial[3*(n - 1), n - 1]/n - 2 * Boole[n == 1]; Array[a, 24, 0] (* Amiram Eldar, May 09 2020 *)
  • PARI
    a(n) = if (n==0, 0, 2*binomial(3*n, n)/(n+1) - binomial(3*n+1, n)/(n+1) + 4*binomial(3*(n-1), n-1)/n - 2*(n==1)); \\ Michel Marcus, May 09 2020

Formula

a(0) = 0 and a(n) = 2*binomial(3*n, n)/(n+1) - binomial(3*n+1, n)/(n+1) + 4*binomial(3*(n-1), n-1)/n - 2*[n=1] for n > 0, where [ ] is the Iverson bracket.

A334645 a(n) is the total number of down steps between the 2nd and 3rd up steps in all 3-Dyck paths of length 4*n. A 3-Dyck path is a nonnegative lattice path with steps (1, 3), (1, -1) that starts and ends at y = 0.

Original entry on oeis.org

0, 0, 18, 52, 277, 1752, 12120, 88692, 674751, 5282160, 42267384, 344152080, 2842055359, 23746693240, 200383750632, 1705243729560, 14617677294675, 126106202849760, 1094034474058488, 9538676631305712, 83536778390997780, 734521734171474400, 6481894477750488160
Offset: 0

Views

Author

Benjamin Hackl, May 12 2020

Keywords

Comments

For n = 2, there is no 3rd up step, a(2) = 18 enumerates the total number of down steps between the 2nd up step and the end of the path.

Examples

			For n = 2, the 3-Dyck paths are UDDDUDDD, UDDUDDDD, UDUDDDDD, UUDDDDDD. In total, there are a(2) = 3 + 4 + 5 + 6 = 18 down steps between the 2nd up step and the end of the path.
		

Crossrefs

Programs

  • SageMath
    [3*sum([binomial(4*j + 1, j)*binomial(4*(n - j), n - j)/(4*j + 1)/(n - j + 1) for j in srange(1, 3)]) if n > 1 else 0 for n in srange(30)] # Benjamin Hackl, May 12 2020

Formula

a(0) = a(1) = 0 and a(n) = 3*Sum_{j=0..2} binomial(4*j+1, j) * binomial(4*(n-j), n-j)/((4*j+1) * (n-j+1)) for n > 1.

A334647 a(n) is the total number of down steps between the first and second up steps in all 3_1-Dyck paths of length 4*n.

Original entry on oeis.org

0, 5, 16, 78, 470, 3153, 22588, 169188, 1308762, 10374460, 83829856, 687929086, 5717602930, 48030047206, 407142435000, 3478286028840, 29917720938690, 258866494630164, 2251694583485824, 19677972159742360, 172694287830500440, 1521328368800877065
Offset: 0

Views

Author

Benjamin Hackl, May 12 2020

Keywords

Comments

A 3_1-Dyck path is a lattice path with steps (1, 3), (1, -1) that starts and ends at y = 0 and stays above the line y = -1.
For n = 1, there is no 2nd up step, a(1) = 5 enumerates the total number of down steps between the 1st up step and the end of the path.

Examples

			For n = 1, the 3_1-Dyck paths are UDDD, DUDD. This corresponds to a(1) = 3 + 2 = 5 down steps between the 1st up step and the end of the path.
For n = 2, the 3_1-Dyck paths are DUDDDUDD, DUDDUDDD, DUDUDDDD, DUUDDDDD, UDDDDUDD, UDDDUDDD, UDDUDDDD, UDUDDDDD, UUDDDDDD. In total, there are a(2) = 3 + 2 + 1 + 0 + 4 + 3 + 2 + 1 + 0 = 16 down steps between the 1st and 2nd up step.
		

Crossrefs

Programs

  • Mathematica
    a[0] = 0; a[n_] := 3 * Binomial[4*n, n]/(n + 1) - 2 * Binomial[4*n + 1, n]/(n + 1) + 6 * Binomial[4*(n - 1), n - 1]/n - 2 * Boole[n == 1]; Array[a, 22, 0] (* Amiram Eldar, May 12 2020 *)
  • SageMath
    [3*binomial(4*n, n)/(n+1) - 2*binomial(4*n+1, n)/(n+1) + 6*binomial(4*(n-1), n-1)/n - 2*(n==1) if n > 0 else 0 for n in srange(30)] # Benjamin Hackl, May 12 2020

Formula

a(0) = 0 and a(n) = 3*binomial(4*n, n)/(n+1) - 2*binomial(4*n+1, n)/(n+1) + 6*binomial(4*(n-1), n-1)/n - 2*[n=1] for n > 0, where [ ] is the Iverson bracket.

A361028 a(n) = 2*(3*n)!/(n!*(n+1)!^2).

Original entry on oeis.org

2, 3, 20, 210, 2772, 42042, 700128, 12471030, 233716340, 4557468630, 91752013080, 1896208270320, 40055997189600, 862021408906800, 18849534808095360, 417929529573239310, 9379553386892837940, 212776905535994934750, 4873239487455972633000, 112571832160232967822300
Offset: 0

Views

Author

Peter Bala, Feb 28 2023

Keywords

Comments

Row 0 of square array A361027.
The central binomial numbers A000984(n) = (2*n)!/n!^2 have the property that A000984(n) is divisible by n + 1 and the result (2*n)!/(n!*(n+1)!) is the n-th Catalan number A000108(n). Similarly, the de Bruijn numbers A006480(n) = (3*n)!/n!^3 have the property that 2*A006480(n) is divisible by (n+1)^2, leading to the present sequence. Do these numbers have a combinatorial interpretation?

Crossrefs

Programs

  • Maple
    a := proc(n) option remember; if n = 0 then 2 else 3*(3*n-1)*(3*n-2)/ (n+1)^2*a(n-1) end if; end proc:
    seq(a(n), n = 0..20);

Formula

a(n) = (2/(n+1)^2) * (3*n)!/n!^3.
a(n) = (2/3) * A006480(n+1)/((3*n + 1)*(3*n + 2)), where A006480(n) = (3*n)!/n!^3.
a(n) = (1/3)*27^(n+1)*binomial(1/3, n+1)*binomial(2/3, n+1).
a(n) = 2*C(2*n,n)*C(3*n,n) - 3*C(2*n,n+1)*C(3*n,2*n) + 2*C(2*n,n)*C(3*n,2*n+2) + 2*C(2*n,n+1)*C(3*n,2*n+2). This formula shows that a(n) is an integer for all n.
a(n) = A007226(n) * A000108(n).
a(n) ~ sqrt(3)*27^n/(Pi*n^3).
P-recursive: (n + 1)^2*a(n) = 3*(3*n - 1)*(3*n - 2)*a(n-1) with a(0) = 2.
The o.g.f. A(x) satisfies the differential equation
x^2*(1 - 27*x)*A''(x) + x*(3 - 54*x)*A'(x) + (1 - 6*x)*A(x) - 2 = 0, with
A(0) = 2 and A'(0) = 3.

A007857 Number of independent sets in rooted plane trees on n nodes.

Original entry on oeis.org

1, 2, 8, 37, 184, 959, 5172, 28641, 162008, 932503, 5445934, 32197334, 192357788, 1159603592, 7045356104, 43098733353, 265240985112, 1641100253735, 10202295895890, 63696629668980, 399216722146770, 2510833297584165
Offset: 1

Views

Author

Keywords

Comments

Equals the main diagonal of square array A130523. - Paul D. Hanna, Jun 06 2007
From Petros Hadjicostas, Aug 06 2020: (Start)
To prove R. J. Mathar's conjecture, let b(n) = A007226(n-1) = (2*/n)*binomial(3*(n-1), n-1) and c(n) = A000108(n-1) = binomial(2*(n-1), n-1)/n. Since a(n) = b(n) - c(n), it is enough to prove that each of the sequences (b(n): n >= 1) and (c(n): n >= 1) satisfies the same recurrence as (a(n): n >= 1).
For simplicity, denote the recurrence by f(n,0)*a(n) + f(n,1)*a(n-1) + f(n,2)*a(n-2) + f(n,3)*a(n-3) = 0. Let g(n) = 2*n*(2*n - 3)/(3*(3*n - 4)*(3*n - 5)) and h(n) = n/(2*(2*n - 3)). Then we can easily show that b(n-i) = b(n)* Product_{j=0..i-1} g(n-j) and c(n-i) = c(n)*Product_{j=0..i-1} h(n-j) for i >= 1.
Using a CAS (e.g. PARI), one can show that f(n,0) + f(n,1)*g(n) + f(n,2)*g(n)*g(n-1) + f(n,3)*g(n)*g(n-1)*g(n-2) = 0. Multiplying both sides by b(n), we get f(n,0)*b(n) + f(n,1)*b(n-1) + f(n,2)*b(n-2) + f(n,3)*b(n-3) = 0.
Again, using a CAS, one can show that f(n,0) + f(n,1)*h(n) + f(n,2)*h(n)*h(n-1) + f(n,3)*h(n)*h(n-1)*h(n-2) = 0. Multiplying both sides by c(n), we get f(n,0)*c(n) + f(n,1)*c(n-1) + f(n,2)*c(n-2) + f(n,3)*c(n-3) = 0. (End)

Crossrefs

Programs

Formula

a(n+1) = (2/(n+1))*C(3*n, n) - (1/(n+1))*C(2*n, n) = A007226(n) - A000108(n). - Paul Barry, Nov 05 2006
G.f.: A(x) = x/(1 - x*C(x)*F(x) - x*F(x)^2), where C(x) is g.f. of the Catalan numbers (A000108) (i.e., C(x) = 1 + x*C(x)^2) and F(x) is the g.f. of ternary numbers (A001764) (i.e., F(x) = 1 + x*F(x)^3). - Paul D. Hanna, Jun 06 2007
Conjecture: 2*n*(n - 1)*(2*n - 3)*(44*n - 69)*a(n) + (n - 1)*(176*n^3 - 9591*n^2 + 38703*n - 40640)*a(n-1) + (-17479*n^4 + 218005*n^3 - 959616*n^2 + 1797890*n - 1221920)*a(n-2) + 6*(3*n - 10)*(2*n - 7)*(3*n - 11)*(517*n - 1198)*a(n-3) = 0 for n >= 4. - R. J. Mathar, Nov 26 2012

Extensions

More terms from Paul Barry, Nov 05 2006

A334640 a(n) is the total number of down steps between the 2nd and 3rd up steps in all 2-Dyck paths of length 3*n. A 2-Dyck path is a nonnegative lattice path with steps (1, 2), (1, -1) that starts and ends at y = 0.

Original entry on oeis.org

0, 0, 9, 19, 72, 324, 1595, 8307, 44982, 250648, 1427679, 8274825, 48644310, 289334160, 1738043892, 10529070020, 64252519830, 394601627376, 2437058926871, 15126463230165, 94306717535940, 590318477063700, 3708527622652755, 23374587898663155, 147770791807427880
Offset: 0

Views

Author

Benjamin Hackl, May 07 2020

Keywords

Comments

For n = 2, there is no 3rd up step, a(2) = 9 enumerates the total number of down steps between the 2nd up step and the end of the path.

Examples

			For n = 2, there are the 2-Dyck paths UUDDDD, UDUDDD, UDDUDD. Between the 2nd up step and the end of the path there are a(2) = 4 + 3 + 2 = 9 down steps in total.
		

Crossrefs

Programs

  • Maple
    b:= proc(x, y, u, c) option remember; `if`(x=0, c,
         `if`(y+20, b(x-1, y-1, u, c+`if`(u=2, 1, 0)), 0))
        end:
    a:= n-> b(3*n, 0$3):
    seq(a(n), n=0..24);  # Alois P. Heinz, May 09 2020
    # second Maple program:
    a:= proc(n) option remember; `if`(n<3, [0$2, 9][n+1],
         (3*(n-1)*(3*n-8)*(3*n-7)*(13*n-20)*a(n-1))/
         (2*(13*n-33)*(n-2)*(2*n-3)*n))
        end:
    seq(a(n), n=0..24);  # Alois P. Heinz, May 09 2020
  • Mathematica
    a[0] = a[1] = 0; a[n_] := 2 * Sum[Binomial[3*j + 1, j] * Binomial[3*(n - j), n - j]/((3*j + 1)*(n - j + 1)), {j, 1, 2}]; Array[a, 25, 0] (* Amiram Eldar, May 09 2020 *)
  • PARI
    a(n) = if (n<=1, 0, 2*sum(j=1, 2, binomial(3*j+1,j) * binomial(3*(n-j),n-j)/((3*j+1)*(n-j+1)))); \\ Michel Marcus, May 09 2020

Formula

a(0) = a(1) = 0 and a(n) = 2*Sum_{j=1..2} binomial(3*j+1,j) * binomial(3*(n-j),n-j) / ((3*j+1)*(n-j+1)) for n > 1.

A334646 a(n) is the total number of down steps between the 3rd and 4th up steps in all 3-Dyck paths of length 4*n.

Original entry on oeis.org

0, 0, 0, 118, 409, 2368, 15750, 112716, 845295, 6551208, 52035714, 421286280, 3463401007, 28832656408, 242565115858, 2058945519936, 17611312647075, 151647023490480, 1313460091978458, 11435310622320552, 100019000856225156, 878443730199290560
Offset: 0

Views

Author

Benjamin Hackl, May 12 2020

Keywords

Comments

A 3-Dyck path is a nonnegative lattice path with steps (1, 3), (1, -1) that starts and ends at y = 0.

Examples

			For n = 3, there is no 4th up step, a(3) = 118 enumerates the total number of down steps between the 3rd up step and the end of the path.
		

Crossrefs

Programs

  • Mathematica
    a[0] = a[1] = a[2] = 0; a[n_] := 3 * Sum[Binomial[4*j + 1, j] * Binomial[4*(n - j), n - j]/((4*j + 1)*(n - j + 1)), {j, 1, 3}]; Array[a, 22, 0] (* Amiram Eldar, May 12 2020 *)
  • SageMath
    [3*sum([binomial(4*j + 1, j)*binomial(4*(n - j), n - j)/(4*j + 1)/(n - j + 1) for j in srange(1, 4)]) if n > 2 else 0 for n in srange(30)] # Benjamin Hackl, May 12 2020

Formula

a(0) = a(1) = a(2) = 0 and a(n) = 3*Sum_{j=1..3} binomial(4*j+1, j)*binomial(4*(n-j), n-j)/((4*j+1)*(n-j+1)) for n > 2.
Showing 1-10 of 23 results. Next