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-4 of 4 results.

A055853 Convolution of A055852 with A011782.

Original entry on oeis.org

0, 1, 8, 43, 190, 743, 2668, 8989, 28814, 88720, 264224, 765088, 2162624, 5986304, 16268800, 43499264, 114629120, 298147840, 766361600, 1948794880, 4907171840, 12245598208, 30305419264, 74425892864, 181481635840, 439603953664
Offset: 0

Views

Author

Wolfdieter Lang May 30 2000

Keywords

Comments

Eighth column of triangle A055587.
T(n,6) of array T as in A049600.

Crossrefs

Programs

  • Magma
    R:=PowerSeriesRing(Integers(), 30); [0] cat Coefficients(R!( x*(1-x)^6/(1-2*x)^7 )); // G. C. Greubel, Jan 16 2020
    
  • Maple
    seq(coeff(series(x*(1-x)^6/(1-2*x)^7, x, n+1), x, n), n = 0..30); # G. C. Greubel, Jan 16 2020
  • Mathematica
    CoefficientList[Series[x*(1-x)^6/(1-2*x)^7, {x,0,30}], x] (* G. C. Greubel, Jan 16 2020 *)
  • PARI
    my(x='x+O('x^30)); concat([0], Vec(x*(1-x)^6/(1-2*x)^7)) \\ G. C. Greubel, Jan 16 2020
    
  • Sage
    def A055853_list(prec):
        P. = PowerSeriesRing(ZZ, prec)
        return P( x*(1-x)^6/(1-2*x)^7 ).list()
    A055853_list(30) # G. C. Greubel, Jan 16 2020

Formula

a(n) = T(n, 6)= A055587(n+6, 7).
G.f.: x*(1-x)^6/(1-2*x)^7.

A059576 Summatory Pascal triangle T(n,k) (0 <= k <= n) read by rows. Top entry is 1. Each entry is the sum of the parallelogram above it.

Original entry on oeis.org

1, 1, 1, 2, 3, 2, 4, 8, 8, 4, 8, 20, 26, 20, 8, 16, 48, 76, 76, 48, 16, 32, 112, 208, 252, 208, 112, 32, 64, 256, 544, 768, 768, 544, 256, 64, 128, 576, 1376, 2208, 2568, 2208, 1376, 576, 128, 256, 1280, 3392, 6080, 8016, 8016, 6080, 3392, 1280, 256
Offset: 0

Views

Author

Floor van Lamoen, Jan 23 2001

Keywords

Comments

We may also relabel the entries as U(0,0), U(1,0), U(0,1), U(2,0), U(1,1), U(0,2), U(3,0), ... [That is, T(n,k) = U(n-k, k) for 0 <= k <= n and U(m,s) = T(m+s, s) for m,s >= 0.]
From Petros Hadjicostas, Jul 16 2020: (Start)
We explain the parallelogram definition of T(n,k).
T(0,0) *
|\
| \
| * T(k,k)
T(n-k,0) * |
\ |
\|
* T(n,k)
The definition implies that T(n,k) is the sum of all T(i,j) such that (i,j) has integer coordinates over the set
{(i,j): a(1,0) + b(1,1), 0 <= a <= n-k, 0 <= b <= k} - {(n,k)}.
The parallelogram can sometimes be degenerate; e.g., when k = 0 or n = k. (End)
T(n,k) is the number of 2-compositions of n having sum of the entries of the first row equal to k (0 <= k <= n). A 2-composition of n is a nonnegative matrix with two rows, such that each column has at least one nonzero entry and whose entries sum up to n. - Emeric Deutsch, Oct 12 2010
From Michel Marcus and Petros Hadjicostas, Jul 16 2020: (Start)
Robeva and Sun (2020) let A(m,n) = U(m-1, n-1) be the number of subdivisions of a 2-row grid with m points on the top and n points at the bottom (and such that the lower left point is the origin).
The authors proved that A(m,n) = 2*(A(m,n-1) + A(m-1,n) - A(m-1,n-1)) for m, n >= 2 (with (m,n) <> (2,2)), which is equivalent to a similar recurrence for U(n,k) given in the Formula section below. (They did not explicitly specify the value of A(1,1) = U(0,0) because they did not care about the number of subdivisions of a degenerate polygon with only one side.)
They also proved that, for (m,n) <> (1,1), A(m,n) = (2^(m-2)/(n-1)!) * Q_n(m) =
= (2^(m-2)/(n-1)!) * Sum_{k=1..n} A336244(n,k) * m^(n-k), where Q_n(m) is a polynomial in m of degree n-1. (End)
With the square array notation of Petros Hadjicostas, Jul 16 2020 below, U(i,j) is the number of lattice paths from (0,0) to (i,j) whose steps move north or east or have positive slope. For example, representing a path by its successive lattice points rather than its steps, U(1,2) = 8 counts {(0,0),(1,2)}, {(0,0),(0,1),(1,2)}, {(0,0),(0,2),(1,2)}, {(0,0),(1,0),(1,2)}, {(0,0),(1,1),(1,2)}, {(0,0),(0,1),(0,2),(1,2)}, {(0,0),(0,1),(1,1),(1,2)}, {(0,0),(1,0),(1,1),(1,2)}. If north (vertical) steps are excluded, the resulting paths are counted by A049600. - David Callan, Nov 25 2021

Examples

			Triangle T(n,k) (with rows n >= 0 and columns k = 0..n) begins
[0]   1;
[1]   1,   1;
[2]   2,   3,   2;
[3]   4,   8,   8,   4;
[4]   8,  20,  26,  20,   8;
[5]  16,  48,  76,  76,  48,  16;
[6]  32, 112, 208, 252, 208, 112, 32;
  ...
T(5,2) = 76 is the sum of the elements above it in the parallelogram bordered by T(0,0), T(5-2,0) = T(3,0), T(2,2) and T(5,2). We of course exclude T(5,2) from the summation. Thus
T(5,2) = Sum_{a=0..5-2, b=0..2, (a,b) <> (5-2,2)} T(a(1,0) + b(1,1)) =
= (1 + 1 + 2) + (1 + 3 + 8) + (2 + 8 + 26) + (4 + 20) = 76. [Edited by _Petros Hadjicostas_, Jul 16 2020]
From _Petros Hadjicostas_, Jul 16 2020: (Start)
Square array U(n,k) (with rows n >= 0 and columns k >= 0) begins
   1,   1,   2,    4,    8, ...
   1,   3,   8,   20,   48, ...
   2,   8,  26,   76,  208, ...
   4,  20,  76,  252,  768, ...
   8,  48, 208,  768, 2568, ...
  16, 112, 544, 2208, 8016, ...
  ...
Consider the following 2-row grid with n = 3 points at the top and k = 2 points at the bottom:
   A  B  C
   *--*--*
   |    /
   |   /
   *--*
   D  E
The sets of the dividing internal lines of the A(3,2) = U(3-1, 2-1) = 8 subdivisions of the above 2-row grid are as follows: { }, {DC}, {DB}, {EB}, {EA}, {DB, DC}, {DB, EB}, and {EA, EB}. See Robeva and Sun (2020).
These are the 2-compositions of n = 3 with sum of first row entries equal to k = 1:
[1; 2], [0,1; 2,0], [0,1; 1,1], [1,0; 0,2], [1,0; 1,1], [0,0,1; 1,1,0], [0,1,0; 1,0,1], and [1,0,0; 0,1,1]. We have T(3,2) = 8 such matrices. See _Emeric Deutsch_'s contribution above. See also Section 2 in Castiglione et al. (2007). (End)
		

Crossrefs

Programs

  • Haskell
    a059576 n k = a059576_tabl !! n !! k
    a059576_row n = a059576_tabl !! n
    a059576_tabl = [1] : map fst (iterate f ([1,1], [2,3,2])) where
       f (us, vs) = (vs, map (* 2) ws) where
         ws = zipWith (-) (zipWith (+) ([0] ++ vs) (vs ++ [0]))
                          ([0] ++ us ++ [0])
    -- Reinhard Zumkeller, Dec 03 2012
    
  • Magma
    A011782:= func< n | n eq 0 select 1 else 2^(n-1) >;
    function T(n,k) // T = A059576
      if k eq 0 or k eq n then return A011782(n);
      else return 2*T(n-1, k-1) + 2*T(n-1, k) - (2 - 0^(n-2))*T(n-2, k-1);
      end if; return T;
    end function;
    [T(n,k): k in [0..n], n in [0..12]]; // G. C. Greubel, Sep 02 2022
    
  • Maple
    A059576 := proc(n,k) local b,t1; t1 := min(n+k-2,n,k); add( (-1)^b * 2^(n+k-b-2) * (n+k-b-2)! * (1/(b! * (n-b)! * (k-b)!)) * (-2 * n-2 * k+2 * k^2+b^2-3 * k * b+2 * n^2+5 * n * k-3 * n * b), b=0..t1); end;
    T := proc (n, k) if k <= n then add((-1)^j*2^(n-j-1)*binomial(k, j)*binomial(n-j, k), j = 0 .. min(k, n-k)) fi end proc: 1; for n to 10 do seq(T(n, k), k = 0 .. n) end do; # yields sequence in triangular form # Emeric Deutsch, Oct 12 2010
    T := (n, k) -> `if`(n=0, 1, 2^(n-1)*binomial(n, k)*hypergeom([-k, k - n], [-n], 1/2)): seq(seq(simplify(T(n, k)), k=0..n), n=0..10); # Peter Luschny, Nov 26 2021
  • Mathematica
    T[0, 0] = 1; T[n_, k_] := 2^(n-k-1)*n!*Hypergeometric2F1[ -k, -k, -n, -1 ] / (k!*(n-k)!); Flatten[ Table[ T[n, k], {n, 0, 9}, {k, 0, n}]] (* Jean-François Alcover, Feb 01 2012, after Robert Israel *)
  • SageMath
    def T(n,k): # T = A059576
        if (k==0 or k==n): return 1 if (n==0) else 2^(n-1) # A011782
        else: return 2*T(n-1, k-1) + 2*T(n-1, k) - (2 - 0^(n-2))*T(n-2, k-1)
    flatten([[T(n,k) for k in (0..n)] for n in (0..12)]) # G. C. Greubel, Sep 02 2022

Formula

T(n, n-1) = A001792(n-1).
T(2*n, n) = A052141(n).
Sum_{k=0..n} T(n, k) = A003480(n).
G.f.: U(z, w) = Sum_{n >= 0, k >= 0} U(n, k)*z^n*w^k = Sum{n >= 0, k >= 0} T(n, k)*z^(n-k)*w^k = (1-z)*(1-w)/(1 - 2*w - 2*z + 2*z*w).
Maple code gives another explicit formula for U(n, k).
From Jon Stadler (jstadler(AT)capital.edu), Apr 30 2003: (Start)
U(n,k) is the number of ways of writing the vector (n,k) as an ordered sum of vectors, equivalently, the number of paths from (0,0) to (n,k) in which steps may be taken from (i,j) to (p,q) provided (p,q) is to the right or above (i,j).
2*U(n,k) = Sum_{i <= n, j <= k} U(i,j).
U(n,k) = 2*U(n-1,k) + Sum_{i < k} U(n,i).
U(n,k) = Sum_{j=0..n+k} C(n,j-k+1)*C(k,j-n+1)*2^j. (End)
T(n, k) = 2*(T(n-1, k-1) + T(n-1, k)) - (2 - 0^(n-2))*T(n-2, k-1) for n > 1 and 1 < k < n; T(n, 0) = T(n, n) = 2*T(n-1, 0) for n > 0; and T(0, 0) = 1. - Reinhard Zumkeller, Dec 03 2004
From Emeric Deutsch, Oct 12 2010: (Start)
Sum_{k=0..n} k*T(n,k) = A181292(n).
T(n,k) = Sum_{j=0..min(k, n-k)} (-1)^j*2^(n-j-1)*binomial(k, j)*binomial(n-j, k) for (n,k) != (0,0).
G.f.: G(t,z) = (1-z)*(1-t*z)/(1 - 2*z - 2*t*z + 2*t*z^2). (End)
U(n,k) = 0 if k < 0; else U(k,n) if k > n; else 1 if n <= 1; else 3 if n = 2 and k = 1; else 2*U(n,k-1) + 2*U(n-1,k) - 2*U(n-1,k-1). - David W. Wilson; corrected in the case k > n by Robert Israel, Jun 15 2011 [Corrected by Petros Hadjicostas, Jul 16 2020]
U(n,k) = binomial(n,k) * 2^(n-1) * hypergeom([-k,-k], [n+1-k], 2) if n >= k >= 0 with (n,k) <> (0,0). - Robert Israel, Jun 15 2011 [Corrected by Petros Hadjicostas, Jul 16 2020]
U(n,k) = Sum_{0 <= i+j <= n+k-1} (-1)^j*C(i+j+1, j)*C(n+i, n)*C(k+i, k). - Masato Maruoka, Dec 10 2019
T(n, k) = 2^(n - 1)*binomial(n, k)*hypergeom([-k, k - n], [-n], 1/2) = A059474(n, k)/2 for n >= 1. - Peter Luschny, Nov 26 2021
From G. C. Greubel, Sep 02 2022: (Start)
T(n, n-k) = T(n, k).
T(n, 0) = T(n, n) = A011782(n).
T(n, n-2) = 2*A049611(n-1), n >= 2.
T(n, n-3) = 4*A049612(n-2), n >= 3.
T(n, n-4) = 8*A055589(n-3), n >= 4.
T(n, n-5) = 16*A055852(n-4), n >= 5.
T(n, n-6) = 32*A055853(n-5), n >= 6.
Sum_{k=0..floor(n/2)} T(n, k) = A181306(n). (End)

A055587 Triangle with columns built from row sums of the partial row sums triangles obtained from Pascal's triangle A007318. Essentially A049600 formatted differently.

Original entry on oeis.org

1, 1, 1, 1, 2, 1, 1, 4, 3, 1, 1, 8, 8, 4, 1, 1, 16, 20, 13, 5, 1, 1, 32, 48, 38, 19, 6, 1, 1, 64, 112, 104, 63, 26, 7, 1, 1, 128, 256, 272, 192, 96, 34, 8, 1, 1, 256, 576, 688, 552, 321, 138, 43, 9, 1, 1, 512, 1280, 1696, 1520, 1002, 501, 190, 53, 10, 1, 1, 1024, 2816, 4096
Offset: 0

Views

Author

Wolfdieter Lang, May 30 2000

Keywords

Comments

In the language of the Shapiro et al. reference (given in A053121) such a lower triangular (ordinary) convolution array, considered as matrix, belongs to the Riordan-group. The G.f. for the row polynomials p(n,x) (increasing powers of x) is 1/((1-z)*(1-x*z*(1-z)/(1-2*z))).
Column m (without leading zeros) is obtained from convolution of A000012 (powers of 1) with m-fold convoluted A011782.

Examples

			{1}; {1, 1}; {1, 2, 1}; {1, 4, 3, 1}; {1, 8, 8, 4, 1}; ...
Fourth row polynomial (n=3): p(3,x)= 1+4*x+3*x^2+x^3
		

Crossrefs

Cf. A049600, column sequences are A000012 (powers of 1), A000079 (powers of 2), A001792, A049611, A049612, A055589, A055852-5 for m=0..9, row sums: A055588.

Programs

  • Mathematica
    t[n_, k_] := Hypergeometric2F1[k, k-n, 1, -1]; Table[t[n, k], {n, 0, 11}, {k, 0, n}] // Flatten (* Jean-François Alcover, Mar 05 2014, after Paul D. Hanna *)
  • PARI
    {T(n,k) = if( n<0 || k<0, 0, polcoeff( polcoeff( 1 / ((1 - z) * (1 - x*z * (1 - z) / (1 - 2*z) + z * O(z^n) + x * O(x^k))), k), n))}; /* Michael Somos, Sep 30 2003 */
    
  • PARI
    {T(n,k)=if(k>n||n<0||k<0,0,if(k==0||k==n,1, sum(j=0,n-k,binomial(n-k,j)*binomial(k+j-1,k-1)););)} (Hanna)

Formula

a(n, m)= Am(n, 0) if n >= m >= 0 and a(n, m) := 0 if nA007318) with the lower triangular matrix A007318 (Pascal triangle) and prs^(m) is the partial row sums (prs) mapping for triangular matrices applied m times. See e.g. A055584 for m=4.
G.f. for column m: (1/(1-x))*(x*(1-x)/(1-2*x))^m, m >= 0.
T(n, k) = sum_{j=0..n-k} C(n-k, j)*C(k+j-1, k-1). - Paul D. Hanna, Jan 14 2004

A081901 Second binomial transform of binomial(n+5, 5).

Original entry on oeis.org

1, 8, 49, 262, 1286, 5944, 26262, 111996, 464103, 1877904, 7446735, 29021490, 111405780, 422003520, 1579757580, 5851519704, 21468622077, 78087814776, 281798184573, 1009617794334, 3593281988754, 12710491403112, 44705999907666, 156414048864948, 544562500963779, 1887215083472448
Offset: 0

Views

Author

Paul Barry, Mar 31 2003

Keywords

Comments

Binomial transform of A055852 (without leading 0).
3rd binomial transform of (1,5,10,10,5,1,0,0,0,...).

Crossrefs

Programs

  • Magma
    m:=30; R:=PowerSeriesRing(Integers(), m); Coefficients(R!((1-2*x)^5/(1-3*x)^6)); // G. C. Greubel, Oct 18 2018
  • Mathematica
    LinearRecurrence[{18, -135, 540, -1215, 1458, -729}, {1, 8, 49, 262, 1286, 5944}, 50] (* G. C. Greubel, Oct 18 2018 *)
    CoefficientList[Series[(1-2x)^5/(1-3x)^6,{x,0,30}],x] (* Harvey P. Dale, Oct 22 2024 *)
  • PARI
    x='x+O('x^30); Vec((1-2*x)^5/(1-3*x)^6) \\ G. C. Greubel, Oct 18 2018
    

Formula

a(n) = 3^n*(n^5 + 65*n^4 + 1385*n^3 + 11575*n^2 + 35574*n + 29160)/29160.
G.f.: (1 - 2*x)^5/(1 - 3*x)^6.
E.g.f.: (120 + 600*x + 600*x^2 + 200*x^3 + 25*x^4 + x^5)*exp(3*x)/120. - G. C. Greubel, Oct 18 2018
Showing 1-4 of 4 results.