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 16 results. Next

A316356 a(0) = 1 and a(n) = A224704(n) - A224704(n-1).

Original entry on oeis.org

1, 0, 0, 1, 2, 3, 6, 11, 21, 39, 72, 135, 252, 470, 876, 1635, 3051, 5691, 10617, 19808, 36956, 68946, 128628, 239976, 447714, 835278, 1558337, 2907320, 5424056, 10119411, 18879319, 35222285, 65712612, 122597016, 228723648, 426719269, 796110663, 1485267309, 2770995395
Offset: 0

Views

Author

Seiichi Manyama, Jun 30 2018

Keywords

Crossrefs

Column 2 of A316354 (except a(0)).
Cf. A224704.

A227543 Triangle defined by g.f. A(x,q) such that: A(x,q) = 1 + x*A(q*x,q)*A(x,q), as read by terms k=0..n*(n-1)/2 in rows n>=0.

Original entry on oeis.org

1, 1, 1, 1, 1, 2, 1, 1, 1, 3, 3, 3, 2, 1, 1, 1, 4, 6, 7, 7, 5, 5, 3, 2, 1, 1, 1, 5, 10, 14, 17, 16, 16, 14, 11, 9, 7, 5, 3, 2, 1, 1, 1, 6, 15, 25, 35, 40, 43, 44, 40, 37, 32, 28, 22, 18, 13, 11, 7, 5, 3, 2, 1, 1, 1, 7, 21, 41, 65, 86, 102, 115, 118, 118, 113, 106, 96, 85, 73, 63, 53, 42, 34, 26, 20, 15, 11, 7, 5, 3, 2, 1, 1
Offset: 0

Views

Author

Paul D. Hanna, Jul 15 2013

Keywords

Comments

See related triangle A138158.
Row sums are the Catalan numbers (A000108), set q=1 in the g.f. to see this.
Antidiagonal sums equal A005169, the number of fountains of n coins.
The maximum in each row of the triangle is A274291. - Torsten Muetze, Nov 28 2018
The area between a Dyck path and the x-axis may be decomposed into unit area triangles of two types - up-triangles with vertices at the integer lattice points (x, y), (x+1, y+1) and (x+2, y) and down-triangles with vertices at the integer lattice points (x, y), (x-1, y+1) and (x+1, y+1). The table entry T(n,k) equals the number of Dyck paths of semilength n containing k down triangles. See the illustration in the Links section. Cf. A239927. - Peter Bala, Jul 11 2019
The row polynomials of this table are a q-analog of the Catalan numbers due to Carlitz and Riordan. For MacMahon's q-analog of the Catalan numbers see A129175. - Peter Bala, Feb 28 2023

Examples

			G.f.: A(x,q) = 1 + x*(1) + x^2*(1 + q) + x^3*(1 + 2*q + q^2 + q^3)
 + x^4*(1 + 3*q + 3*q^2 + 3*q^3 + 2*q^4 + q^5 + q^6)
 + x^5*(1 + 4*q + 6*q^2 + 7*q^3 + 7*q^4 + 5*q^5 + 5*q^6 + 3*q^7 + 2*q^8 + q^9 + q^10)
 + x^6*(1 + 5*q + 10*q^2 + 14*q^3 + 17*q^4 + 16*q^5 + 16*q^6 + 14*q^7 + 11*q^8 + 9*q^9 + 7*q^10 + 5*q^11 + 3*q^12 + 2*q^13 + q^14 + q^15) +...
where g.f.A(x,q) = Sum_{k=0..n*(n-1)/2, n>=0} T(n,k)*x^n*q^k
satisfies A(x,q) = 1 + x*A(q*x,q)*A(x,q).
This triangle of coefficients T(n,k) in A(x,q) begins:
 1;
 1;
 1, 1;
 1, 2, 1, 1;
 1, 3, 3, 3, 2, 1, 1;
 1, 4, 6, 7, 7, 5, 5, 3, 2, 1, 1;
 1, 5, 10, 14, 17, 16, 16, 14, 11, 9, 7, 5, 3, 2, 1, 1;
 1, 6, 15, 25, 35, 40, 43, 44, 40, 37, 32, 28, 22, 18, 13, 11, 7, 5, 3, 2, 1, 1;
 1, 7, 21, 41, 65, 86, 102, 115, 118, 118, 113, 106, 96, 85, 73, 63, 53, 42, 34, 26, 20, 15, 11, 7, 5, 3, 2, 1, 1;
 1, 8, 28, 63, 112, 167, 219, 268, 303, 326, 338, 338, 331, 314, 293, 268, 245, 215, 190, 162, 139, 116, 97, 77, 63, 48, 38, 28, 22, 15, 11, 7, 5, 3, 2, 1, 1; ...
		

Crossrefs

Programs

  • Mathematica
    T[n_, k_] := Module[{P, Q},
    P = Sum[q^(m^2) (-x)^m/Product[1-q^j, {j, 1, m}] + x O[x]^n, {m, 0, n}];
    Q = Sum[q^(m(m-1)) (-x)^m/Product[1-q^j, {j, 1, m}] + x O[x]^n, {m, 0, n}];
    SeriesCoefficient[P/Q, {x, 0, n}, {q, 0, k}]
    ];
    Table[T[n, k], {n, 0, 10}, {k, 0, n(n-1)/2}] // Flatten (* Jean-François Alcover, Jul 27 2018, from PARI *)
  • PARI
    /* From g.f. A(x,q) = 1 + x*A(q*x,q)*A(x,q): */
    {T(n, k)=local(A=1); for(i=1, n, A=1+x*subst(A, x, q*x)*A +x*O(x^n)); polcoeff(polcoeff(A, n, x), k, q)}
    for(n=0, 10, for(k=0, n*(n-1)/2, print1(T(n, k), ", ")); print(""))
    
  • PARI
    /* By Ramanujan's continued fraction identity: */
    {T(n,k)=local(P=1,Q=1);
    P=sum(m=0,n,q^(m^2)*(-x)^m/prod(k=1,m,1-q^k)+x*O(x^n));
    Q=sum(m=0,n,q^(m*(m-1))*(-x)^m/prod(k=1,m,1-q^k)+x*O(x^n));
    polcoeff(polcoeff(P/Q,n,x),k,q)}
    for(n=0, 10, for(k=0, n*(n-1)/2, print1(T(n, k), ", ")); print(""))
    
  • PARI
    P(x, n) =
    {
        if ( n<=1, return(1) );
        return( sum( i=0, n-1, P(x, i) * P(x, n-1 -i) * x^((i+1)*(n-1 -i)) ) );
    }
    for (n=0, 10, print( Vec( P(x, n) ) ) ); \\ Joerg Arndt, Jan 23 2024
    
  • PARI
    \\ faster with memoization:
    N=11;
    VP=vector(N+1);  VP[1] =VP[2] = 1;  \\ one-based; memoization
    P(n) = VP[n+1];
    for (n=2, N, VP[n+1] = sum( i=0, n-1, P(i) * P(n-1 -i) * x^((i+1)*(n-1-i)) ) );
    for (n=0, N, print( Vec( P(n) ) ) ); \\ Joerg Arndt, Jan 23 2024

Formula

G.f.: A(x,q) = 1/(1 - x/(1 - q*x/(1 - q^2*x/(1 - q^3*x/(1 - q^4*x/(1 -...)))))), a continued fraction.
G.f. satisfies: A(x,q) = P(x,q)/Q(x,q), where
P(x,q) = Sum_{n>=0} q^(n^2) * (-x)^n / Product_{k=1..n} (1-q^k),
Q(x,q) = Sum_{n>=0} q^(n*(n-1)) * (-x)^n / Product_{k=1..n} (1-q^k),
due to Ramanujan's continued fraction identity.
...
Sum_{k=0..n*(n-1)/2} T(n,k)*k = 2^(2*n-1) - C(2*n+1,n) + C(2*n-1,n-1) = A006419(n-1) for n>=1.
Logarithmic derivative of the g.f. A(x,q), wrt x, yields triangle A227532.
From Peter Bala, Jul 11 2019: (Start)
(n+1)th row polynomial R(n+1,q) = Sum_{k = 0..n} q^k*R(k,x)*R(n-k,q), with R(0,q) = 1.
1/A(q*x,q) is the generating function for the triangle A047998. (End)
Conjecture: b(n) = P(n, n) where b(n) is an integer sequence with g.f. B(x) = 1/(1 - f(0)*x/(1 - f(1)*x/(1 - f(2)*x/(1 - f(3)*x/(1 - f(4)*x/(1 -...)))))), P(n, k) = P(n-1, k) + f(n-k)*P(n, k-1) for 0 < k <= n with P(n, k) = 0 for k > n, P(n, 0) = 1 for n >= 0 and where f(n) is an arbitrary function. In fact for this sequence we have f(n) = q^n. - Mikhail Kurkov, Sep 26 2024

A143951 Number of Dyck paths such that the area between the x-axis and the path is n.

Original entry on oeis.org

1, 1, 1, 1, 2, 3, 4, 6, 9, 14, 21, 31, 47, 71, 107, 161, 243, 367, 553, 834, 1258, 1898, 2863, 4318, 6514, 9827, 14824, 22361, 33732, 50886, 76762, 115796, 174680, 263509, 397508, 599647, 904579, 1364576, 2058489, 3105269, 4684359, 7066449, 10659877, 16080632, 24257950, 36593598, 55202165, 83273553, 125619799, 189499952
Offset: 0

Views

Author

Emeric Deutsch, Oct 09 2008

Keywords

Comments

Column sums of A129182.

Examples

			a(5)=3 because we have UDUUDD, UUDDUD and UDUDUDUDUD, where U=(1,1) and D=(1,-1).
From _Peter Bala_, Dec 26 2012: (Start)
F(1/10) = sum {n >= 0} a(n)/10^n has the simple continued fraction expansion 1 + 1/(8 + 1/(1 + 1/(98 + 1/(1 + 1/(998 + 1/(1 + ...)))))).
F(-1/10) = sum {n >= 0} (-1)^n*a(n)/10^n has the simple continued fraction expansion 1/(1 + 1/(10 + 1/(100 + 1/(1000 + ...)))).
(End)
		

Crossrefs

Cf. A129182, A291874 (convolution inverse).

Programs

  • Maple
    g:=1/(1-x/(1-x^3/(1-x^5/(1-x^7/(1-x^9/(1-x^11/(1-x^13/(1-x^15)))))))): gser:= series(g,x=0,45): seq(coeff(gser,x,n),n=0..44);
    # second Maple program:
    b:= proc(x, y, k) option remember;
          `if`(y<0 or y>x or k<0 or k>x^2/2-(y-x)^2/4, 0,
          `if`(x=0, 1, b(x-1, y-1, k-y+1/2) +b(x-1, y+1, k-y-1/2)))
        end:
    a:= n-> add(b(2*n-4*t, 0, n), t=0..n/2):
    seq(a(n), n=0..50);  # Alois P. Heinz, Aug 24 2018
  • Mathematica
    terms = 50; CoefficientList[1/(1+ContinuedFractionK[-x^(2i-1), 1, {i, 1, Sqrt[terms]//Ceiling}]) + O[x]^terms, x] (* Jean-François Alcover, Jul 11 2018 *)
  • PARI
    N=66; q = 'q +O('q^N);
    G(k) = if(k>N, 1, 1 - q^(k+1) / G(k+2) );
    gf = 1 / G(0);
    Vec(gf) \\ Joerg Arndt, Jul 06 2013

Formula

G.f.: 1/(1 - x/(1 - x^3/(1 - x^5/(1 - x^7/(1 - x^9/(1 - ...
Derivation: the g.f. G(x,z) of Dyck paths, where x marks area and z marks semilength, satisfies G(x,z)=1+x*z*G(x,z)*G(x,x^2*z). Set z=1.
From Peter Bala, Dec 26 2012: (Start)
Let F(x) denote the o.g.f. of this sequence. For positive integer n >= 3, the real number F(1/n) has the simple continued fraction expansion 1 + 1/(n-2 + 1/(1 + 1/(n^2-2 + 1/(1 + 1/(n^3-2 + 1/(1 + ...)))))).
For n >= 1, F(-1/n) has the simple continued fraction expansion
1/(1 + 1/(n + 1/(n^2 + 1/(n^3 + ...)))). Examples are given below. Cf. A005169 and A111317.
(End)
G.f.: A(x) = 1/(1 - x/(1-x + x/(1+x^2 + x^4/(1-x^3 - x^2/(1+x^4 - x^7/(1-x^5 + x^3/(1+x^6 + x^10/(1-x^7 - x^4/(1+x^8 - x^13/(1-x^9 + x^5/(1+x^10 + x^16/(1 + ...)))))))))))), a continued fraction. - Paul D. Hanna, Aug 08 2016
a(n) ~ c / r^n, where r = 0.66290148514884371255690407749133031115536799774051... and c = 0.337761150388539773466092171229604432776662930886727976914... . - Vaclav Kotesovec, Feb 17 2017, corrected Nov 04 2021
From Peter Bala, Jul 04 2019: (Start)
O.g.f. as a ratio of q-series: N(q)/D(q), where N(q) = Sum_{n >= 0} (-1)^n*q^(2*n^2+n)/( (1-q^2)*(1-q^4)*...*(1-q^(2*n)) ) and D(q) = Sum_{n >= 0} (-1)^n*q^(2*n^2-n)/( (1-q^2)*(1-q^4)*...*(1-q^(2*n)) ). Cf. A224704.
D(q) has its least positive (and simple) real zero at x = 0.66290 14851 48843 71255 69040 ....
a(n) ~ c*d^n, where d = 1/x = 1.5085197761707628638804960 ... and c = - N(x)/(x*D'(x)) = 0.3377611503885397734660921 ... (the prime indicates differentiation w.r.t. q). (End)

Extensions

b-file corrected and extended by Alois P. Heinz, Aug 24 2018

A088352 G.f. = continued fraction: A(x) = 1/(1-x-x^2/(1-x^3-x^4/(1-x^5-x^6/(1-x^7-x^8/(...))))).

Original entry on oeis.org

1, 1, 2, 3, 5, 9, 16, 28, 50, 89, 158, 282, 503, 896, 1598, 2850, 5082, 9064, 16166, 28832, 51424, 91719, 163588, 291774, 520407, 928196, 1655530, 2952805, 5266626, 9393565, 16754386, 29883166, 53299700, 95065503, 169559118, 302426167, 539408258, 962090267
Offset: 0

Views

Author

Paul D. Hanna, Sep 26 2003

Keywords

Comments

From Peter Bala, Jul 29 2019: (Start)
a(n) = the number of triangle stacks of large Schröder type on n triangles. See Links for a definition and an illustration.
Cf. A224704, which enumerates triangle stacks (of small Schröder type) on n triangles and A143951, which enumerates triangle stacks (of Dyck type) on n triangles. (End)

Crossrefs

Programs

  • Mathematica
    nmax = 40; CoefficientList[Series[1/(1 - x + ContinuedFractionK[-x^(2*k), 1 - x^(2*k + 1), {k, 1, nmax}]), {x, 0, nmax}], x] (* Vaclav Kotesovec, Jul 01 2019 *)

Formula

a(n) ~ c * d^n, where d = 1.78360320457574331710673100097614660803225788206... and c = 0.4843739369092187339166963460525819972933890792971... - Vaclav Kotesovec, Jul 01 2019
From Peter Bala, Jul 29 2019: (Start)
O.g.f. as a continued fraction: A(q) = 1/(1 - q*(1 + q)/(1 - q^4/(1 - q^3*(1 + q^3)/(1 - q^8/( 1 - q^5*(1 + q^5)/(1 - q^12/( (...) ))))))).
O.g.f. as a ratio of q-series: A(q) = N(q)/D(q), where N(q) = Sum_{n >= 0} (-1)^n*q^(2*n^2+2*n)/( Product_{k = 1..2*n+1} (1 - q^k) ) and D(q) = Sum_{n >= 0} (-1)^n*q^(2*n^2)/( Product_{k = 1..2*n} (1 - q^k) ).
In the above asymptotic formula, 1/d = 0.5606628186... is the minimal positive real zero of D(q), and is the dominant singularity of N(q)/D(q). (End)

Extensions

More terms from Vaclav Kotesovec, Jul 01 2019

A088354 G.f. = continued fraction: A(x)=1/(1-x-x/(1-x^2-x^2/(1-x^3-x^3/(1-x^4-x^4/(...))))).

Original entry on oeis.org

1, 2, 4, 10, 24, 60, 150, 376, 944, 2372, 5962, 14988, 37684, 94752, 238252, 599090, 1506440, 3788036, 9525280, 23952020, 60229184, 151450970, 380835368, 957640640, 2408063340, 6055266600, 15226449480, 38288118984, 96278523274, 242100012876, 608779761460, 1530825191912
Offset: 0

Views

Author

Paul D. Hanna, Sep 26 2003

Keywords

Comments

From Peter Bala, Jul 29 2019: (Start)
a(n) is the number of triangle stacks of large Schröder type containing n down-triangles. See Links for a definition and an illustration.
Cf. A088352 for triangle stacks of large Schröder type on n triangles. Cf. A224704, which enumerates triangle stacks (of small Schröder type) on n triangles. (End)

Crossrefs

Programs

  • Mathematica
    nmax = 40; CoefficientList[Series[1/(1 - x + ContinuedFractionK[-x^k, 1 - x^(k + 1), {k, 1, nmax}]), {x, 0, nmax}], x] (* Vaclav Kotesovec, Jul 01 2019 *)
  • PARI
    N = 66; x = 'x + O('x^N);
    Q(k) = if(k>N, 1,  1 - x^(k+1)*( 1 + 1/Q(k+1) ) );
    gf = 1/Q(0);
    Vec(gf)
    /* Joerg Arndt, May 01 2013 */

Formula

G.f.: 1/Q(0), where Q(k)= 1 - x^(k+1) - x^(k+1)/Q(k+1); (continued fraction). - Sergei N. Gladkovskii, Apr 30 2013
G.f.: T(0)/(1-x), where T(k) = 1 - x^(k+1)/(x^(k+1) - (1-x^(k+1))*(1-x^(k+2))/T(k+1) ); (continued fraction). - Sergei N. Gladkovskii, Oct 14 2013
a(n) ~ c * d^n, where d = 2.514579643878729188510437194343099820141030855900783271935495710723840992... and c = 0.589519721244409964128200577034763735132770782513329859477444288778116... - Vaclav Kotesovec, Jul 01 2019
From Peter Bala, Jul 29 2019: (Start)
O.g.f. as a continued fraction:
1/(1 - 2*d/(1 - d^2/(1 - (d^2 + d^3)/(1 - d^4/(1 - (d^3 + d^5)/(1 - d^6/( (...) ))))))).
O.g.f. as a ratio of q-series: A(q) = N(q)/D(q), where N(q) = Sum_{n >= 0} (-1)^n*d^(n^2+n)/( (1 - d^(n+1))*Product_{k = 1..n} (1 - d^k)^2 ) and D(q) = Sum_{n >= 0} (-1)^n*d^(n^2)/( Product_{k = 1..n} (1 - d^k)^2 ).
In the above asymptotic formula of Kotesovec, the constant 1/d = 0.3976807823... is the minimal positive real zero of D(q), and is the dominant singularity of N(q)/D(q). (End)

Extensions

Added more terms, Joerg Arndt, May 01 2013

A326453 Triangle read by rows: T(n,k) is the number of small Schröder paths of semilength k such that the area between the path and the x-axis is equal to n (n >= 0; 0 <= k <= n).

Original entry on oeis.org

1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 0, 1, 2, 1, 0, 0, 0, 3, 3, 1, 0, 0, 0, 2, 6, 4, 1, 0, 0, 0, 1, 7, 10, 5, 1, 0, 0, 0, 1, 6, 16, 15, 6, 1, 0, 0, 0, 1, 5, 19, 30, 21, 7, 1, 0, 0, 0, 0, 5, 19, 45, 50, 28, 8, 1, 0, 0, 0, 0, 4, 19, 55, 90, 77, 36, 9, 1, 3, 19, 61, 131, 161, 112, 45, 10, 1
Offset: 0

Views

Author

Peter Bala, Jul 06 2019

Keywords

Comments

A239927 is the companion triangle for Dyck paths.
A Schröder path is a lattice path in the plane starting and ending on the x-axis, never going below the x-axis, using the steps (1,1) rise, (1,-1) fall or (2,0) flat. A small Schröder path is a Schröder path with no flat steps on the x-axis.
The area between a small Schröder path and the x-axis may be decomposed into a stack of unit area triangles; the triangles are of two types: up-triangles with vertices at the lattice points (x, y), (x+1, y+1) and (x+2, y) and down-triangles with vertices at the lattice points (x, y), (x-1, y+1) and (x+1, y+1). A small Schröder path of semilength k has k up-triangles in the bottom row of its stack. See the illustration in the Links section for an example. Thus an alternative description of the triangle entry T(n,k) is the number of n triangle stacks, in the sense of A224704, containing k up-triangles in the bottom row.

Examples

			Triangle begins
  n\k|  0    1   2    3    4    5    6    7   8    9
  --------------------------------------------------
   0 |  1
   1 |  0    1
   2 |  0    0   1
   3 |  0    0   1    1
   4 |  0    0   1    2    1
   5 |  0    0   0    3    3    1
   6 |  0    0   0    2    6    4    1
   7 |  0    0   0    1    7   10    5    1
   8 |  0    0   0    1    6   16   15    6   1
   9 |  0    0   0    1    5   19   30   21   7   1
   ...
Example of a stack of 10 up- and down-triangles with 5 up-triangles in the bottom row.
          /\  /\
         /__\/__\     __
        /\  /\  /\  /\  /\
       /__\/__\/__\/__\/__\
		

Crossrefs

Formula

O.g.f. as a continued fraction: A(q,u) = 1/(1 + u - (1 + q)*u/(1 + u - (1 + q^3)*u/(1 + u - (1 + q^5)*u/( (...) )))) = 1 + q*u + q^2*u^2 + q^3*(u^2 + u^3) + q^4*(u^2 + 2*u^3 + u^4) + ...(q marks the area, u marks the up- triangles in the bottom row).
Alternative forms: A(q,u) = 1/(1 - q*u/(1 - q^2*u - q^3*u/(1 - q^4*u/( (...) ))));
A(q,u) = 1/(1 - q*u/(1 - (q^2 + q^3)*u/(1 - q^5*u/(1 - (q^4 + q^7)*u/(1 - q^9*u/(1 - (q^6 + q^11)*u/(1 - q^13*u/( (...) )))))))).
O.g.f. as a ratio of q-series: N(q,u)/D(q,u), where N(q,u) = Sum_{n >= 0} (-1)^n*u^n*q^(2*n^2 + n)/( (1 - q^2)*(1 - q^4)*...*(1 - q^(2*n)) * (1 - u*q^2)*(1 - u*q^4)*...*(1 - u*q^(2*n)) ) and D(q,u) = Sum_{n >= 0} (-1)^n*u^n*q^(2*n^2 - n)/( (1 - q^2)*(1 - q^4)*...*(1 - q^(2*n)) * (1 - u*q^2)*(1 - u*q^4)*...*(1 - u*q^(2*n)) ).

A326454 Irregular triangle read by rows: T(n,k) is the number of small Schröder paths such that the area between the path and the x-axis is equal to n and contains k down-triangles.

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 3, 1, 5, 1, 1, 7, 5, 1, 9, 13, 1, 1, 11, 25, 8, 1, 13, 41, 28, 1, 1, 15, 61, 68, 11, 1, 17, 85, 136, 51, 1, 1, 19, 113, 240, 155, 15, 1, 21, 145, 388, 371, 86, 1, 1, 23, 181, 588, 763, 314, 19
Offset: 0

Views

Author

Peter Bala, Jul 06 2019

Keywords

Comments

A227543 is the companion triangle for Dyck paths.
Number of n triangle stacks, in the sense of A224704, containing k down- triangles.
A Schröder path is a lattice path in the plane starting and ending on the x-axis, never going below the x-axis, using the steps (1,1) rise, (1,-1) fall or (2,0) flat. A small Schröder path is a Schröder path with no flat steps on the x-axis.
The area between a small Schröder path and the x-axis may be decomposed into a stack of unit area triangles; the triangles come in two types: up-triangles with vertices at the lattice points (x, y), (x+1, y+1) and (x+2, y) and down-triangles with vertices at the lattice points (x, y), (x-1, y+1) and (x+1, y+1). See the illustration in the Links section for an example.

Examples

			Triangle begins
  n\k|  0    1    2     3    4
------------------------------
   0 |  1
   1 |  1
   2 |  1
   3 |  1    1
   4 |  1    3
   5 |  1    5    1
   6 |  1    7    5
   7 |  1    9   13    1
   8 |  1   11   25    8
   9 |  1   13   41   28    1
  10 |  1   15   61   68   11
  ...
		

Crossrefs

Formula

O.g.f. as a continued fraction: A(q,d) = 1/(2 - (1 + q)/(2 - (1 + q^3*d)/(2 - (1 + q^5*d^2)/( (...) )))) = 1 + q + q^2 + q^3*(1 + d) + q^4*(1 + 3*d) + q^5*(1 + 5*d + d^2) + ... (q marks the area, d marks down-triangles).
Other continued fractions: A(q,d) = 1/(1 - q/(1 - q^2*d - q^3*d/(1 - q^4*d^2 - q^5*d^2/(1 - q^6*d^3 - (...) )))).
A(q,d) = 1/(1 - q/(1 - (q^2*d + q^3*d)/(1 - q^5*d^2/(1 - (q^4*d^2 + q^7*d^3)/(1 - q^9*d^4/(1 - (q^6*d^3 + q^11*d^5)/(1 - q^13*d^6/( (...) )))))))).
O.g.f. as a ratio of q-series: N(q,d)/D(q,d), where N(q,d) = Sum_{n >= 0} (-1)^n*d^(n^2)*q^(2*n^2 + n)/( (1 - d*q^2)*(1 - d^2*q^4)*...*(1 - d^n*q^(2*n)) )^2 and D(q,d) = Sum_{n >= 0} (-1)^n*d^(n^2 - n)*q^(2*n^2 - n)/( (1 - d*q^2)*(1 - d^2*q^4)*...*(1 - d^n*q^(2*n)) )^2.

A316354 Triangle read by rows: T(1,1)=1, T(n,k) = T(n,k+1)+T(n-k,max(2*floor(k/2)-1,1)) and T(n,k) = 0 if k > A316355(n).

Original entry on oeis.org

1, 1, 2, 1, 4, 2, 1, 7, 3, 1, 13, 6, 2, 24, 11, 4, 45, 21, 8, 1, 84, 39, 15, 2, 1, 156, 72, 27, 3, 1, 291, 135, 51, 6, 2, 543, 252, 96, 12, 4, 1013, 470, 179, 23, 8, 1889, 876, 333, 42, 15, 3524, 1635, 622, 79, 28, 1, 6575, 3051, 1162, 149, 53, 2, 1, 12266, 5691
Offset: 1

Views

Author

Seiichi Manyama, Jun 30 2018

Keywords

Examples

			  n\k |   1   2   3  4  5
  ----+-------------------
   1  |   1;
   2  |   1;
   3  |   2,  1;
   4  |   4,  2,  1;
   5  |   7,  3,  1;
   6  |  13,  6,  2;
   7  |  24, 11,  4;
   8  |  45, 21,  8, 1;
   9  |  84, 39, 15, 2, 1;
  10  | 156, 72, 27, 3, 1;
		

Crossrefs

Columns 1,2 give A224704, A316356 (for n>0).

A309086 Irregular triangle read by rows: T(n,k) is the number of small Schröder paths of semilength n such that the area between the path and the x-axis contains k down-triangles.

Original entry on oeis.org

1, 1, 1, 2, 1, 4, 4, 2, 1, 6, 12, 12, 8, 4, 2, 1, 8, 24, 38, 40, 32, 24, 16, 8, 4, 2, 1, 10, 40, 88, 128, 140, 130, 112, 88, 64, 44, 28, 16, 8, 4, 2, 1, 12, 60, 170, 3320, 448, 512, 520, 488, 428, 358, 288, 220, 160, 112, 76, 48, 28, 16, 8, 4, 2
Offset: 0

Views

Author

Peter Bala, Jul 16 2019

Keywords

Comments

A Schröder path is a lattice path in the plane starting and ending on the x-axis, never going below the x-axis, using the steps (1,1) rise, (1,-1) fall or (2,0) flat. A small Schröder path is a Schröder path with no flat steps on the x-axis.
The area between a small Schröder path and the x-axis may be decomposed into a stack of unit area triangles; the triangles come in two types: up-triangles with vertices at the lattice points (x, y), (x+1, y+1) and (x+2, y) and down-triangles with vertices at the lattice points (x, y), (x-1, y+1) and (x+1, y+1). These are the triangle stacks of A224704. Here we enumerate triangle stacks with n >= 1 up-triangles in the bottom row of the stack (corresponding to small Schröder paths of semilength n) and containing k >= 0 down-triangles in the stack. See the illustration in the Links section for an example.

Examples

			   n\k |  0    1    2    3    4    5    6    7   8   9  10
   - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    0  |  1
    1  |  1
    2  |  1    2
    3  |  1    4    4    2
    4  |  1    6   12   12    8    4    2
    5  |  1    8   24   38   40   32   24   16   8   4   2
   ...
		

Crossrefs

Formula

O.g.f. as a continued fraction: A(u,d) = 1/(1 - u/(1 - u*d - u*d/(1 - u*d^2 - u*d^2/(1 - u*d^3 - (...) )))) = 1 + u + (1 + 2*d)*u^2 + (1 + 4*d + 4*d^2 + 2*d^3)*u^3 + ... (u marks the semilength of the path (or, equivalently, up-triangles in the bottom row of the associated triangle stack) and d marks down-triangles in the stack).
Other continued fractions: A(u,d) = 1/(1 + u - 2*u/(1 + u - (1 + d)*u/(1 + u - (1 + d^2)*u/(1 + u - (...) )))).
A(u,d) = 1/(1 - u/(1 - (d + d)*u/(1 - d^2*u/(1 - (d^2 + d^3)*u/(1 - d^4*u/(1 - (d^3 + d^5)*u/(1 - d^6*u/(1 - (d^4 + d^7)*u/(1 - (...) ))))))))).
O.g.f. as a ratio of q-series: N(u,d)/D(u,d), where N(u,d) = Sum_{n >= 0} (-1)^n*u^n*d^(n^2)/( (1 - d)*(1 - d^2)*...*(1 - d^n) * (1 - u*d)*(1 - u*d^2)*...*(1 - u*d^n) ) and D(u,d) = Sum_{n >= 0} (-1)^n*u^n*d^(n(n-1))/( (1 - d)*(1 - d^2)*...*(1 - d^n) * (1 - u*d)*(1 - u*d^2)*...*(1 - u*d^n) ).

A326676 Triangular array: T(n,k) equals the number of n triangle stacks of large Schröder type with k down-triangles in the bottom row of the stack.

Original entry on oeis.org

1, 0, 1, 0, 1, 1, 0, 0, 2, 1, 0, 0, 1, 3, 1, 0, 0, 1, 3, 4, 1, 0, 0, 1, 3, 6, 5, 1, 0, 0, 0, 4, 7, 10, 6, 1, 0, 0, 0, 3, 10, 14, 15, 7, 1, 0, 0, 0, 2, 11, 21, 25, 21, 8, 1, 0, 0, 0, 1, 10, 28, 40, 41, 28, 9, 1, 0, 0, 0, 1, 9, 31, 60, 71, 63, 36, 10, 1
Offset: 0

Views

Author

Peter Bala, Jul 17 2019

Keywords

Comments

We define two types of plane triangles of unit area - up-triangles with vertices at the lattice points (x, y), (x+1, y+1) and (x+2, y) and down-triangles with vertices at the lattice points (x, y), (x-1, y+1) and (x+1, y+1).
To construct a triangle stack of large Schröder type we start with a horizontal row of k contiguous down-triangles forming the base row of the stack. Subsequent rows of the stack are formed by placing up-triangles on some, all or none of the down-triangles of the previous row. In the spaces between pairs of adjacent up-triangles further down-triangles may be placed. For an example, see the illustration in the Links section. There is an obvious bijective correspondence between triangle stacks of large Schröder type with a base of k down-triangles and large Schröder paths of semilength k. For another version of this array see A129179.
For triangle stacks of small Schröder type, where the base row consists of contiguous up-triangles, see A224704.

Examples

			Triangle begins
   n\k  0  1   2   3   4   5   6   7   8   9  10
   - - - - - - - - - - - - - - - - - - - - - - -
   0 |  1
   1 |  0  1
   2 |  0  1   1
   3 |  0  0   2   1
   4 |  0  0   1   3   1
   5 |  0  0   1   3   4   1
   6 |  0  0   1   3   6   5   1
   7 |  0  0   0   4   7  10   6   1
   8 |  0  0   0   3  10  14  15   7   1
   9 |  0  0   0   2  11  21  25  21   8  1
  10 |  0  0   0   1  10  28  40  41  28  9  1
...
		

Crossrefs

Row sums A088352. Column sums A006318. Cf. A047998, A129179, A224704.

Formula

O.g.f. as a continued fraction: (q marks the area of the stack and b marks down-triangles in the base of the stack)
A(q,b) = 1/(1 - q*b - q^2*b/(1 - q^3*b - q^4*b/(1 - q^5*b - q^6*b/( (...) )))) = 1 + b*q + (b + b^2)*q^2 + (2*b^2 + b^3)*q^3 + (b^2 + 3*b^3 + b^4)*q^4 + ....
A(q,b) = 1/(1 - (q + q^2)*b/(1 - q^4*b/(1 - (q^3 + q^6)*b/(1 - q^8*b/(1 - (q^5 + q^10)*b/(1 - q^12*b/( (...) ))))))).
O.g.f. as a ratio of q-series: N(q,b)/D(q,b), where N(q,b) = Sum_{n >= 0} (-1)^n*q^(2*n^2+2*n)*b^n/( (Product_{k = 1..n} 1 - q^(2*k)) * (Product_{k = 1..n+1} 1 - q^(2*k-1)*b) ) and D(q,b) = Sum_{n >= 0} (-1)^n*q^(2*n^2)*b^n/( (Product_{k = 1..n} 1 - q^(2*k)) * (Product_{k = 1..n} 1 - q^(2*k-1)*b) ).
Showing 1-10 of 16 results. Next