A008288 -id:A008288 - cp's OEIS frontend

A098593 A triangle of Krawtchouk coefficients.

1, 1, 1, 1, 0, 1, 1, -1, -1, 1, 1, -2, -2, -2, 1, 1, -3, -2, -2, -3, 1, 1, -4, -1, 0, -1, -4, 1, 1, -5, 1, 3, 3, 1, -5, 1, 1, -6, 4, 6, 6, 6, 4, -6, 1, 1, -7, 8, 8, 6, 6, 8, 8, -7, 1, 1, -8, 13, 8, 2, 0, 2, 8, 13, -8, 1, 1, -9, 19, 5, -6, -10, -10, -6, 5, 19, -9, 1, 1, -10, 26, -2, -17, -20, -20, -20, -17, -2, 26, -10, 1, 1, -11, 34, -14, -29, -25

Offset: 0

Paul Barry, Sep 17 2004

Row sums are A009545(n+1), with e.g.f. exp(x)(cos(x)+sin(x)). Diagonal sums are A077948.
The rows are the diagonals of the Krawtchouk matrices. Coincides with the Riordan array (1/(1-x),(1-2x)/(1-x)). - Paul Barry, Sep 24 2004
Corresponds to Pascal-(1,-2,1) array, read by antidiagonals. The Pascal-(1,-2,1) array has n-th row generated by (1-2x)^n/(1-x)^(n+1). - Paul Barry, Sep 24 2004
A modified version (different signs) of this triangle is given by T(n,k) = Sum_{j=0..n} C(n-k,j)*C(k,j)*cos(Pi*(k-j)). - Paul Barry, Jun 14 2007

			Rows begin {1}, {1,1}, {1,0,1}, {1,-1,-1,1}, {1,-2,-2,-2,1}, ...
From _Paul Barry_, Oct 05 2010: (Start)
Triangle begins
  1,
  1,  1,
  1,  0,  1,
  1, -1, -1,  1,
  1, -2, -2, -2,  1,
  1, -3, -2, -2, -3,  1,
  1, -4, -1,  0, -1, -4,  1,
  1, -5,  1,  3,  3,  1, -5,  1,
  1, -6,  4,  6,  6,  6,  4, -6,  1,
  1, -7,  8,  8,  6,  6,  8,  8, -7,  1,
  1, -8, 13,  8,  2,  0,  2,  8, 13, -8,  1
Production matrix (related to large Schroeder numbers A006318) begins
  1,     1,
  0,    -1,     1,
  0,    -2,    -1,    1,
  0,    -6,    -2,   -1,   1,
  0,   -22,    -6,   -2,  -1,   1,
  0,   -90,   -22,   -6,  -2,  -1,  1,
  0,  -394,   -90,  -22,  -6,  -2, -1,  1,
  0, -1806,  -394,  -90, -22,  -6, -2, -1,  1,
  0, -8558, -1806, -394, -90, -22, -6, -2, -1, 1
Production matrix of inverse is
    -1,   1,
    -2,   1,  1,
    -4,   2,  1,  1,
    -8,   4,  2,  1,  1,
   -16,   8,  4,  2,  1, 1,
   -32,  16,  8,  4,  2, 1, 1,
   -64,  32, 16,  8,  4, 2, 1, 1,
  -128,  64, 32, 16,  8, 4, 2, 1, 1,
  -256, 128, 64, 32, 16, 8, 4, 2, 1, 1 (End)

P. Feinsilver and J. Kocik, Krawtchouk matrices from classical and quantum walks, Contemporary Mathematics, 287 2001, pp. 83-96.

G. C. Greubel, Table of n, a(n) for the first 50 rows, flattened
Paul Barry, A note on Krawtchouk Polynomials and Riordan Arrays, JIS 11 (2008) 08.2.2
P. Feinsilver and J. Kocik, Krawtchouk polynomials and Krawtchouk matrices, arxiv:quant-ph/0702073, 2007.

Cf. Pascal (1,m,1) array: A123562 (m = -3), A000012 (m = -1), A007318 (m = 0), A008288 (m = 1), A081577 (m = 2), A081578 (m = 3), A081579 (m = 4), A081580 (m = 5), A081581 (m = 6), A081582 (m = 7), A143683 (m = 8).

T[n_, k_] := Sum[Binomial[n - k, k - j]*Binomial[k, j]*(-1)^(k - j), {j, 0, n}]; Table[T[n, k], {n, 0, 49}, {k, 0, n}] // Flatten (* G. C. Greubel, Oct 15 2017 *)

for(n=0,10, for(k=0,n, print1(sum(i=0,k, binomial(n-k, k-i) *binomial(k, i)*(-1)^(k-i)), ", "))) \\ G. C. Greubel, Oct 15 2017

T(n, k) = Sum_{i=0..k} binomial(n-k, k-i)*binomial(k, i)*(-1)^(k-i), k<=n.
T(n, k) = T(n-1, k) + T(n-1, k-1) - 2*T(n-2, k-1) (n>0). - Paul Barry, Sep 24 2004
T(n, k) = [k<=n]*Hypergeometric2F1(-k,k-n;1;-1). - Paul Barry, Jan 24 2011
E.g.f. for the n-th subdiagonal: exp(x)*P(n,x), where P(n,x) is the polynomial Sum_{k = 0..n} (-1)^k*binomial(n,k)* x^k/k!. For example, the e.g.f. for the second subdiagonal is exp(x)*(1 - 2*x + x^2/2) = 1 - x - 2*x^2/2! - 2*x^3/3! - x^4/4! + x^5/5! + .... - Peter Bala, Mar 05 2017

A064641 Unidirectional 'Delannoy' variation of the Boustrophedon transform applied to all 1's sequence: construct an array in which the first element of each row is 1 and subsequent entries are given by T(n,k) = T(n,k-1) + T(n-1,k-1) + T(n-1,k) + T(n-2,k-1). The last number in row n gives a(n).

Original entry on oeis.org

1, 2, 7, 29, 133, 650, 3319, 17498, 94525, 520508, 2910895, 16487795, 94393105, 545337200, 3175320607, 18615098837, 109783526821, 650884962908, 3877184797783, 23193307022861, 139271612505361, 839192166392276, 5072534905324615, 30749397292689194

Offset: 0

Floor van Lamoen, Oct 03 2001

nonn

Also the number of paths from (0,0) to (n,n) not rising above y=x, using steps (1,0), (0,1), (1,1) and (2,1). For example, the 7 paths to (2,2) are dd, den, end, enen, Dn, eenn and edn, where e=(1,0), n=(0,1), d=(1,1) and D=(2,1). - Brian Drake, Aug 01 2007
For another interpretation as the number of walks of a certain type, see A223092 and the link below. - N. J. A. Sloane, Mar 29 2013
Hankel transform is 3^C(n+1,2). - Paul Barry, Jan 26 2009

			The array begins
        1
      1   2
    1   5   7
  1   8  22  29
G.f. = 1 + 2*x + 7*x^3 + 29*x^4 + 133*x^5 + 650*x^6 + 3319*x^7 + ...

Seiichi Manyama, Table of n, a(n) for n = 0..1000 (terms 0..200 from Vincenzo Librandi)
Paul Barry, On a transformation of Riordan moment sequences, arXiv:1802.03443 [math.CO], 2018.
Paul Barry, Generalized Catalan Numbers Associated with a Family of Pascal-like Triangles, J. Int. Seq., Vol. 22 (2019), Article 19.5.8.
Paul Barry, Characterizations of the Borel triangle and Borel polynomials, arXiv:2001.08799 [math.CO], 2020.
P. Barry and A. Hennessy, Four-term Recurrences, Orthogonal Polynomials and Riordan Arrays, Journal of Integer Sequences, 2012, article 12.4.2. - From _N. J. A. Sloane_, Sep 21 2012
Brian Drake, Limits of areas under lattice paths, Discrete Math. 309 (2009), no. 12, 3936-3953.
M. Dziemianczuk, Counting Lattice Paths With Four Types of Steps, Graphs and Combinatorics, September 2013, Volume 30, Issue 6, pp 1427-1452.
M. Dziemianczuk, On Directed Lattice Paths With Additional Vertical Steps, arXiv preprint arXiv:1410.5747 [math.CO], 2014.
N. J. A. Sloane, Illustration of initial terms of A223092 and A064641
D. V. Kruchinin, On solving some functional equations, Advances in Difference Equations (2015) 2015:17; DOI 10.1186/s13662-014-0347-9.
Index entries for sequences related to boustrophedon transform

Delannoy numbers: A008288, table: A064642. Cf. A038764, A223092.

Row sums of A201159.

A:= series( (1-x-sqrt(1-6*x-3*x^2)) / (2*x*(1+x)),x, 21): seq(coeff(A,x,i), i=0..20); # Brian Drake, Aug 01 2007

Table[SeriesCoefficient[(1-x-Sqrt[1-6*x-3*x^2])/(2*x*(1+x)),{x,0,n}],{n,0,20}] (* Vaclav Kotesovec, Oct 13 2012 *)

a(n):=sum(binomial(n+i,n)*sum(binomial(j,-n+2*j-i-2)*binomial(n+1,j),j,0,n+1),i,0,n)/(n+1); /* Vladimir Kruchinin, May 12 2011 */

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

G.f.: (1-x-sqrt(1-6x-3x^2)) / (2x(1+x)). - Brian Drake, Aug 01 2007
G.f.: 1/(1-2x-3x^2/(1-3x-3x^2/(1-3x-3x^2/(1-3x-3x^2/(1-.... (continued fraction). - Paul Barry, Jan 26 2009
a(n) = sum(i=0..n, binomial(n+i,n)*sum(j=0..n+1, binomial(j,-n+2*j-i-2)*binomial(n+1,j)))/(n+1). - Vladimir Kruchinin, May 12 2011
Recurrence: (n+1)*a(n) = (5*n-4)*a(n-1) + 9*(n-1)*a(n-2) + 3*(n-2)*a(n-3). - Vaclav Kotesovec, Oct 13 2012
a(n) ~ 3*(sqrt(6)+sqrt(2))*(3+2*sqrt(3))^n/(8*sqrt(Pi)*n^(3/2)). - Vaclav Kotesovec, Oct 13 2012
G.f.: 1 / (1 - x - (x+x^2) / (1 - x - (x+x^2) / ... )) (continued fraction). - Michael Somos, Mar 30 2014
0 = a(n)*(+9*a(n+1) + 54*a(n+2) + 33*a(n+3) - 12*a(n+4)) + a(n+1)*(+78*a(n+2) + 60*a(n+3) - 27*a(n+4)) + a(n+2)*(+36*a(n+2) + 34*a(n+3) - 14*a(n+4)) + a(n+3)*(+4*a(n+3) + a(n+4)) for all n >= 0. - Michael Somos, Nov 05 2014
a(n) = (-1)^n * (n+1) + Sum_{k=0..n-1} (a(k) + (-1)^k) * (a(n-1-k) + (-1)^(n-1-k)). - Seiichi Manyama, Jul 18 2025

A081578 Pascal-(1,3,1) array.

Original entry on oeis.org

1, 1, 1, 1, 5, 1, 1, 9, 9, 1, 1, 13, 33, 13, 1, 1, 17, 73, 73, 17, 1, 1, 21, 129, 245, 129, 21, 1, 1, 25, 201, 593, 593, 201, 25, 1, 1, 29, 289, 1181, 1921, 1181, 289, 29, 1, 1, 33, 393, 2073, 4881, 4881, 2073, 393, 33, 1, 1, 37, 513, 3333, 10497, 15525, 10497, 3333, 513, 37, 1

Offset: 0

Paul Barry, Mar 23 2003

One of a family of Pascal-like arrays. A007318 is equivalent to the (1,0,1)-array. A008288 is equivalent to the (1,1,1)-array. Rows include A016813, A081585, A081586. Coefficients of the row polynomials in the Newton basis are given by A013611.

As a number triangle, this is the Riordan array (1/(1-x), x*(1+3*x)/(1-x)). It has row sums A015518(n+1) and diagonal sums A103143. - Paul Barry, Jan 24 2005

			Square array begins as:
  1,  1,   1,   1,    1, ... A000012;
  1,  5,   9,  13,   17, ... A016813;
  1,  9,  33,  73,  129, ... A081585;
  1, 13,  73, 245,  593, ... A081586;
  1, 17, 129, 593, 1921, ...
As a triangle this begins:
  1;
  1,  1;
  1,  5,   1;
  1,  9,   9,    1;
  1, 13,  33,   13,     1;
  1, 17,  73,   73,    17,     1;
  1, 21, 129,  245,   129,    21,     1;
  1, 25, 201,  593,   593,   201,    25,    1;
  1, 29, 289, 1181,  1921,  1181,   289,   29,   1;
  1, 33, 393, 2073,  4881,  4881,  2073,  393,  33,  1;
  1, 37, 513, 3333, 10497, 15525, 10497, 3333, 513, 37, 1; - _Philippe Deléham_, Mar 15 2014

Vincenzo Librandi, Rows n = 0..100, flattened
Paul Barry, On Integer-Sequence-Based Constructions of Generalized Pascal Triangles, Journal of Integer Sequences, Vol. 9 (2006), Article 06.2.4.
P. Barry, A note on Krawtchouk Polynomials and Riordan Arrays, JIS 11 (2008) 08.2.2

Cf. Pascal (1,m,1) array: A123562 (m = -3), A098593 (m = -2), A000012 (m = -1), A007318 (m = 0), A008288 (m = 1), A081577 (m = 2), A081579 (m = 4), A081580 (m = 5), A081581 (m = 6), A081582 (m = 7), A143683 (m = 8).

a081578 n k = a081578_tabl !! n !! k
a081578_row n = a081578_tabl !! n
a081578_tabl = map fst $ iterate
   (\(us, vs) -> (vs, zipWith (+) (map (* 3) ([0] ++ us ++ [0])) $
                      zipWith (+) ([0] ++ vs) (vs ++ [0]))) ([1], [1, 1])
-- Reinhard Zumkeller, Mar 16 2014

A081578:= func< n,k,q | (&+[Binomial(k, j)*Binomial(n-j, k)*q^j: j in [0..n-k]]) >;
[A081578(n,k,3): k in [0..n], n in [0..12]]; // G. C. Greubel, May 26 2021

Table[Hypergeometric2F1[-k, k-n, 1, 4], {n,0,10}, {k,0,n}]//Flatten (* Jean-François Alcover, May 24 2013 *)

flatten([[hypergeometric([-k, k-n], [1], 4).simplify() for k in (0..n)] for n in (0..12)]) # G. C. Greubel, May 26 2021

Square array T(n, k) defined by T(n, 0) = T(0, k) = 1, T(n, k) = T(n, k-1) + 3*T(n-1, k-1) + T(n-1, k).
Rows are the expansions of (1+3*x)^k/(1-x)^(k+1).
T(n,k) = Sum_{j=0..n} binomial(k,j-k)*binomial(n+k-j,k)*3^(j-k). - Paul Barry, Oct 23 2006
E.g.f. for the n-th subdiagonal of the triangle, n = 0,1,2,..., equals exp(x)*P(n,x), where P(n,x) is the polynomial Sum_{k = 0..n} binomial(n,k)*(4*x)^k/k!. For example, the e.g.f. for the second subdiagonal is exp(x)*(1 + 8*x + 16*x^2/2) = 1 + 9*x + 33*x^2/2! + 73*x^3/3! + 129*x^4/4! + 201*x^5/5! + .... - Peter Bala, Mar 05 2017
From G. C. Greubel, May 26 2021: (Start)
T(n, k, m) = Hypergeometric2F1([-k, k-n], [1], m+1), for m = 3.
T(n, k, m) = Sum_{j=0..n-k} binomial(k,j)*binomial(n-j,k)*m^j, for m = 3.
Sum_{k=0..n} T(n, k, 3) = A015518(n+1). (End)

A081582 Pascal-(1,7,1) array.

Original entry on oeis.org

1, 1, 1, 1, 9, 1, 1, 17, 17, 1, 1, 25, 97, 25, 1, 1, 33, 241, 241, 33, 1, 1, 41, 449, 1161, 449, 41, 1, 1, 49, 721, 3297, 3297, 721, 49, 1, 1, 57, 1057, 7161, 14721, 7161, 1057, 57, 1, 1, 65, 1457, 13265, 44961, 44961, 13265, 1457, 65, 1, 1, 73, 1921, 22121, 108353, 192969, 108353, 22121, 1921, 73, 1

Offset: 0

Paul Barry, Mar 23 2003

One of a family of Pascal-like arrays. A007318 is equivalent to the (1,0,1)-array. A008288 is equivalent to the (1,1,1)-array. Rows include A017077, A081593, A081594. Coefficients of the row polynomials in the Newton basis are given by A013614.

			Rows begin
  1,  1,   1,    1,     1, ... A000012;
  1,  9,  17,   25,    33, ... A017077;
  1, 17,  97,  241,   449, ... A081593;
  1, 25, 241, 1161,  3297, ...
  1, 33, 449, 3297, 14721, ...
Triangle begins:
  1;
  1,  1;
  1,  9,    1;
  1, 17,   17,    1;
  1, 25,   97,   25,     1;
  1, 33,  241,  241,    33,    1;
  1, 41,  449, 1161,   449,   41,    1;
  1, 49,  721, 3297,  3297,  721,   49,  1;
  1, 57, 1057, 7161, 14721, 7161, 1057, 57, 1;

Vincenzo Librandi, Rows n = 0..100, flattened

Cf. Pascal (1,m,1) array: A123562 (m = -3), A098593 (m = -2), A000012 (m = -1), A007318 (m = 0), A008288 (m = 1), A081577 (m = 2), A081578 (m = 3), A081579 (m = 4), A081580 (m = 5), A081581 (m = 6), A143683 (m = 8).

Cf. A015519, A017077, A081593.

A081582:= func< n,k,q | (&+[Binomial(k, j)*Binomial(n-j, k)*q^j: j in [0..n-k]]) >;
[A081582(n,k,7): k in [0..n], n in [0..12]]; // G. C. Greubel, May 26 2021

Table[ Hypergeometric2F1[-k, k-n, 1, 8], {n,0,10}, {k,0,n}]//Flatten (* Jean-François Alcover, May 24 2013 *)

flatten([[hypergeometric([-k, k-n], [1], 8).simplify() for k in (0..n)] for n in (0..12)]) # G. C. Greubel, May 26 2021

T(n,k) = Sum_{j = 0..n-k} binomial(n-k,j)*binomial(k,j)*8^j.
Riordan array (1/(1 - x), x*(1 + 7*x)/(1 - x)).
Square array T(n, k) defined by T(n, 0) = T(0, k)=1, T(n, k) = T(n, k-1) + 7*T(n-1, k-1) + T(n-1, k).
Rows are the expansions of (1 + 7*x)^k/(1 - x)^(k+1).
T(n, k) = Hypergeometric2F1([-k, k-n], [1], 8). - Jean-François Alcover, May 24 2013
E.g.f. for the n-th subdiagonal, n = 0,1,2,..., equals exp(x)*P(n,x), where P(n,x) is the polynomial Sum_{k = 0..n} binomial(n,k)*(8*x)^k/k!. For example, the e.g.f. for the second subdiagonal is exp(x)*(1 + 16*x + 64*x^2/2) = 1 + 17*x + 97*x^2/2! + 241*x^3/3! + 449*x^4/4! + 721*x^5/5! + .... - Peter Bala, Mar 05 2017
Sum_{k=0..n} T(n, k) = A015519(n+1). - G. C. Greubel, May 26 2021

A001846 Centered 4-dimensional orthoplex numbers (crystal ball sequence for 4-dimensional cubic lattice).

Original entry on oeis.org

1, 9, 41, 129, 321, 681, 1289, 2241, 3649, 5641, 8361, 11969, 16641, 22569, 29961, 39041, 50049, 63241, 78889, 97281, 118721, 143529, 172041, 204609, 241601, 283401, 330409, 383041, 441729, 506921, 579081, 658689, 746241, 842249, 947241, 1061761, 1186369

Offset: 0

N. J. A. Sloane

a(n) is the number of points in the Z^4 lattice that are at distance at most n from the origin in the adjacency graph. - N. J. A. Sloane, Feb 19 2013
Number of nodes of degree 8 in virtual, optimal, chordal graphs of diameter d(G)=n. - S. Bujnowski & B. Dubalski (slawb(AT)atr.bydgoszcz.pl), Mar 07 2002
If Y_i (i=1,2,3,4) are 2-blocks of an (n+4)-set X then a(n-4) is the number of 8-subsets of X intersecting each Y_i (i=1,2,3,4). - Milan Janjic, Oct 28 2007
Equals binomial transform of [1, 8, 24, 32, 16, 0, 0, 0, ...] where (1, 8, 24, 32, 16) = row 4 of the Chebyshev triangle A013609. - Gary W. Adamson, Jul 19 2008
Comment from Ben Thurston, Feb 18 2013: In the plane, if you make a picture by taking one unit step in each of the basic 8 directions from a central dot, then from each of those going one unit step in each of the eight directions, ... (see illustration), it appears that the number of dots in the picture after n steps is equal to a(n). Response from N. J. A. Sloane, Feb 19 2013: This is correct, and follows from the fact that the Z-module Z[1,i,(+-1+i)/sqrt(2)] is essentially a copy of the Z^4 lattice.
a(n) = D(4,n) where D are the Delannoy numbers (A008288). As such, a(n) gives the number of grid paths from (0,0) to (4,n) using steps that move one unit north, east, or northeast. - Jack W Grahl, Feb 15 2021
The first comment above can be re-expressed and generalized as follows: a(n) is the number of points in Z^4 that are L1 (Manhattan) distance <= n from any given point. Equivalently, due to a symmetry that is easier to see in the Delannoy numbers array (A008288), as a special case of Dmitry Zaitsev's Dec 10 2015 comment on A008288, a(n) is the number of points in Z^n that are L1 (Manhattan) distance <= 4 from any given point. - Shel Kaphan, Jan 02 2023

			a(6)=1289: (2*6^4 + 4*6^3 + 10*6^2 + 8*6 + 3) / 3 = (2592 + 864 + 360 + 48 + 3) / 3 = 3867 / 3 = 1289.

L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 81.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

T. D. Noe, Table of n, a(n) for n = 0..1000
D. Bump, K. Choi, P. Kurlberg, and J. Vaaler, A local Riemann hypothesis, I pages 16 and 17
J. H. Conway and N. J. A. Sloane, Low-Dimensional Lattices VII: Coordination Sequences, Proc. Royal Soc. London, A453 (1997), 2369-2389 (pdf).
Milan Janjic, Two Enumerative Functions. [Broken link; WayBackMachine archive]
G. Kreweras, Sur les hiérarchies de segments, Cahiers du Bureau Universitaire de Recherche Opérationnelle, Institut de Statistique, Université de Paris, #20 (1973).
G. Kreweras, Sur les hiérarchies de segments, Cahiers du Bureau Universitaire de Recherche Opérationnelle, Institut de Statistique, Université de Paris, #20 (1973). (Annotated scanned copy)
Simon Plouffe, Approximations de séries génératrices et quelques conjectures, Dissertation, Université du Québec à Montréal, 1992; arXiv:0911.4975 [math.NT], 2009.
Simon Plouffe, 1031 Generating Functions, Appendix to Thesis, Montreal, 1992
R. G. Stanton and D. D. Cowan, Note on a "square" functional equation, SIAM Rev., 12 (1970), 277-279.
Ben Thurston, Illustration of the first four clusters of points in two dimensions
Index entries for crystal ball sequences
Index entries for linear recurrences with constant coefficients, signature (5,-10,10,-5,1).

Cf. A005408, A001844, A001845, A001847, A059100, A013609.
First differences are A008412.
Cf. A240876.
Row/column 4 of A008288.

for n from 1 to k do eval((2*n^4+4*n^3+10*n^2+8*n+3)/3) od;
A001846:=-(z+1)**4/(z-1)**5; # conjectured (correctly) by Simon Plouffe in his 1992 dissertation

CoefficientList[Series[(-z^4-4 z^3-6 z^2-4 z-1)/(z-1)^5, {z, 0, 200}], z] (* Vladimir Joseph Stephan Orlovsky, Jun 19 2011 *)
Table[(((2 n + 4) n + 10) n + 8) n/3 + 1, {n, 0, 30}] (* Robert A. Russell, Jul 02 2025 *)

G.f.: (1+x)^4 /(1-x)^5.
a(n) = (2*n^4 + 4*n^3 + 10*n^2 + 8*n + 3)/3. - S. Bujnowski & B. Dubalski (slawb(AT)atr.bydgoszcz.pl), Mar 07 2002
From Jonathan Vos Post, Mar 15 2006: (Start)
a(n) = Sum_{i=0..n} A008412(i);
a(n) = Sum_{i=0..n} 8*i*(i^2 + 2)/3;
a(n) = Sum_{i=0..n} 8*i*(A059100(i))/3. (End)
a(n) = Sum_{k=0..min(4,n)} 2^k * binomial(4,k)* binomial(n,k). See Bump et al. - Tom Copeland, Sep 05 2014
E.g.f.: exp(x)*(3 + 24*x + 36*x^2 + 16*x^3 + 2*x^4)/3. - Stefano Spezia, Mar 14 2024
Sum_{n >= 1} (-1)^(n+1)/(n*a(n-1)*a(n)) = log(2) - 7/12 = log(2) - (1 - 1/2 + 1/3 - 1/4). - Peter Bala, Mar 23 2024

A001847 Crystal ball sequence for 5-dimensional cubic lattice.

Original entry on oeis.org

1, 11, 61, 231, 681, 1683, 3653, 7183, 13073, 22363, 36365, 56695, 85305, 124515, 177045, 246047, 335137, 448427, 590557, 766727, 982729, 1244979, 1560549, 1937199, 2383409, 2908411, 3522221, 4235671, 5060441, 6009091, 7095093, 8332863, 9737793, 11326283

Offset: 0

N. J. A. Sloane

Number of nodes degree 10 in virtual, optimal chordal graphs of diameter d(G)=n - S. Bujnowski & B. Dubalski (slawb(AT)atr.bydgoszcz.pl), Mar 07 2002
If Y_i (i=1,2,3,4,5) are 2-blocks of a (n+5)-set X then a(n-5) is the number of 10-subsets of X intersecting each Y_i (i=1,2,3,4,5). - Milan Janjic, Oct 28 2007
Equals binomial transform of [1, 10, 40, 80, 80, 32, 0, 0, 0, ...] where (1, 10, 40, 80, 80, 32) = row 5 of the Chebyshev triangle A013609. - Gary W. Adamson, Jul 19 2008
a(n) is the number of points in Z^5 that are L1 (Manhattan) distance <= n from any given point. Equivalently, due to a symmetry that is easier to see in the Delannoy numbers array (A008288), as a special case of Dmitry Zaitsev's Dec 10 2015 comment on A008288, a(n) is the number of points in Z^n that are L1 (Manhattan) distance <= 5 from any given point. - Shel Kaphan, Jan 02 2023

			a(5)=1683, (4*5^5 + 10*5^4 + 40*5^3 + 50*5^2 + 46*5 + 15)/15 = (12500 + 6250 + 5000 + 230 + 15)/15 = 25245/15 = 1683.

L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 81.
E. Deza and M. M. Deza, Figurate numbers, World Scientific Publishing (2012), page 231.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

T. D. Noe, Table of n, a(n) for n = 0..1000
D. Bump, K. Choi, P. Kurlberg, and J. Vaaler, A local Riemann hypothesis, I pages 16 and 17
J. H. Conway and N. J. A. Sloane, Low-Dimensional Lattices VII: Coordination Sequences, Proc. Royal Soc. London, A453 (1997), 2369-2389 (pdf).
Milan Janjic, Two Enumerative Functions. [Broken link; WayBackMachine archive]
G. Kreweras, Sur les hiérarchies de segments, Cahiers du Bureau Universitaire de Recherche Opérationnelle, Institut de Statistique, Université de Paris, #20 (1973).
G. Kreweras, Sur les hiérarchies de segments, Cahiers du Bureau Universitaire de Recherche Opérationnelle, Institut de Statistique, Université de Paris, #20 (1973). (Annotated scanned copy)
Simon Plouffe, Approximations de séries génératrices et quelques conjectures, Dissertation, Université du Québec à Montréal, 1992; arXiv:0911.4975 [math.NT], 2009.
Simon Plouffe, 1031 Generating Functions, Appendix to Thesis, Montreal, 1992
R. G. Stanton and D. D. Cowan, Note on a "square" functional equation, SIAM Rev., 12 (1970), 277-279.
Index entries for crystal ball sequences
Index entries for linear recurrences with constant coefficients, signature (6,-15,20,-15,6,-1).

Cf. A005408, A001844, A001845, A001846, A013609.
Cf. A240876.
Row/column 5 of A008288.

for n from 1 to k do eval((4*n^5+10*n^4+40*n^3+50*n^2+46*n+15)/15) od;
A001847:=(z+1)**5/(z-1)**6; # conjectured by Simon Plouffe in his 1992 dissertation

CoefficientList[Series[(z+1)^5/(z-1)^6, {z, 0, 200}], z] (* Vladimir Joseph Stephan Orlovsky, Jun 19 2011 *)
Table[((((4 n + 10) n + 40) n + 50) n + 46) n/15 + 1, {n, 0, 30}] (* Robert A. Russell, Jul 02 2025 *)

G.f.: (1+x)^5 /(1-x)^6.
a(n) = (4*n^5+10*n^4+40*n^3+50*n^2+46*n+15)/15. - S. Bujnowski & B. Dubalski (slawb(AT)atr.bydgoszcz.pl), Mar 07 2002
a(n) = Sum_{k=0..min(5,n)} 2^k * binomial(5,k)* binomial(n,k). See Bump et al. - Tom Copeland, Sep 05 2014
E.g.f.: exp(x)*(15 + 150*x + 300*x^2 + 200*x^3 + 50*x^4 + 4*x^5)/15. - Stefano Spezia, Mar 17 2024
Sum_{n >= 1} (-1)^(n+1)/(n*a(n-1)*a(n)) = 47/60 - log(2) = (1 - 1/2 + 1/3 - 1/4 + 1/5) - log(2). - Peter Bala, Mar 23 2024

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

Floor van Lamoen, Jan 23 2001

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

			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)

Reinhard Zumkeller, Rows n = 0..120 of triangle, flattened
G. Castiglione, A. Frosini, E. Munarini, A. Restivo and S. Rinaldi, Combinatorial aspects of L-convex polyominoes, European Journal of Combinatorics, 28(6) (2007), 1724-1741; see Fig. 5, p. 1729.
Fang, E., Jenkins, J., Lee, Z., Li, D., Lu, E., Miller, S. J., ... & Siktar, J. (2019). Central Limit Theorems for Compound Paths on the 2-Dimensional Lattice, arXiv preprint arXiv:1906.10645. Also Fib. Q., 58:1 (2020), 208-225.
Elina Robeva and Melinda Sun, Bimonotone Subdivisions of Point Configurations in the Plane, arXiv:2007.00877 [math.CO], 2020.
Index entries for triangles and arrays related to Pascal's triangle

Cf. A000079, A001792, A003480 (row sums), A052141 (main diagonal).
Cf. A059474, A059473, A008288, A035002, A059226, A059283, A181292, A336244.
Cf. A011782, A049611, A049612, A055589, A055852, A055853, A181306.

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

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

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

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 *)

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

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)

A081579 Pascal-(1,4,1) array.

Original entry on oeis.org

1, 1, 1, 1, 6, 1, 1, 11, 11, 1, 1, 16, 46, 16, 1, 1, 21, 106, 106, 21, 1, 1, 26, 191, 396, 191, 26, 1, 1, 31, 301, 1011, 1011, 301, 31, 1, 1, 36, 436, 2076, 3606, 2076, 436, 36, 1, 1, 41, 596, 3716, 9726, 9726, 3716, 596, 41, 1, 1, 46, 781, 6056, 21746, 33876, 21746, 6056, 781, 46, 1

Offset: 0

Paul Barry, Mar 23 2003

One of a family of Pascal-like arrays. A007318 is equivalent to the (1,0,1)-array. A008288 is equivalent to the (1,1,1)-array. Rows include A016861, A081587, A081588. Coefficients of the row polynomials in the Newton basis are given by A013612.

			Square array begins as:
  1,  1,   1,    1,    1, ... A000012;
  1,  6,  11,   16,   21, ... A016861;
  1, 11,  46,  106,  191, ... A081587;
  1, 16, 106,  396, 1011, ... A081588;
  1, 21, 191, 1011, 3606, ...
As triangle this begins:
  1;
  1,  1;
  1,  6,   1;
  1, 11,  11,    1;
  1, 16,  46,   16,     1;
  1, 21, 106,  106,    21,     1;
  1, 26, 191,  396,   191,    26,     1;
  1, 31, 301, 1011,  1011,   301,    31,    1;
  1, 36, 436, 2076,  3606,  2076,   436,   36,   1;
  1, 41, 596, 3716,  9726,  9726,  3716,  596,  41,  1;
  1, 46, 781, 6056, 21746, 33876, 21746, 6056, 781, 46, 1; - _Philippe Deléham_, Mar 15 2014

Vincenzo Librandi, Rows n = 0..100, flattened
Paul Barry, On Integer-Sequence-Based Constructions of Generalized Pascal Triangles, Journal of Integer Sequences, Vol. 9 (2006), Article 06.2.4.

Cf. Pascal (1,m,1) array: A123562 (m = -3), A098593 (m = -2), A000012 (m = -1), A007318 (m = 0), A008288 (m = 1), A081577 (m = 2), A081578 (m = 3), A081580 (m = 5), A081581 (m = 6), A081582 (m = 7), A143683 (m = 8).

Cf. A016861, A063727, A081587, A081588.

A081579:= func< n,k,q | (&+[Binomial(k, j)*Binomial(n-j, k)*q^j: j in [0..n-k]]) >;
[A081579(n,k,4): k in [0..n], n in [0..12]]; // G. C. Greubel, May 26 2021

Table[Hypergeometric2F1[-k, k-n, 1, 5], {n,0,12}, {k,0,n}]//Flatten (* Jean-François Alcover, May 24 2013 *)

flatten([[hypergeometric([-k, k-n], [1], 5).simplify() for k in (0..n)] for n in (0..12)]) # G. C. Greubel, May 26 2021

Square array T(n, k) defined by T(n, 0) = T(0, k) = 1, T(n, k) = T(n, k-1) + 4*T(n-1, k-1) + T(n-1, k).
Rows are the expansions of (1+4*x)^k/(1-x)^(k+1).
From Philippe Deléham, Mar 15 2014: (Start)
Riordan array (1/(1-x), x*(1+4*x)/(1-x)).
Sum_{k=0..n} T(n, k) = A063727(n). (End)
E.g.f. for the n-th subdiagonal of the triangle, n = 0,1,2,..., equals exp(x)*P(n,x), where P(n,x) is the polynomial Sum_{k = 0..n} binomial(n,k)*(5*x)^k/k!. For example, the e.g.f. for the second subdiagonal is exp(x)*(1 + 10*x + 25*x^2/2) = 1 + 11*x + 46*x^2/2! + 106*x^3/3! + 191*x^4/4! + 301*x^5/5! + .... - Peter Bala, Mar 05 2017
From G. C. Greubel, May 26 2021: (Start)
T(n, k, m) = Hypergeometric2F1([-k, k-n], [1], m+1), for m = 4.
T(n, k, m) = Sum_{j=0..n-k} binomial(k,j)*binomial(n-j,k)*m^j, for m = 4. (End)

A081580 Pascal-(1,5,1) array.

Original entry on oeis.org

1, 1, 1, 1, 7, 1, 1, 13, 13, 1, 1, 19, 61, 19, 1, 1, 25, 145, 145, 25, 1, 1, 31, 265, 595, 265, 31, 1, 1, 37, 421, 1585, 1585, 421, 37, 1, 1, 43, 613, 3331, 6145, 3331, 613, 43, 1, 1, 49, 841, 6049, 17401, 17401, 6049, 841, 49, 1, 1, 55, 1105, 9955, 40105, 65527, 40105, 9955, 1105, 55, 1

Offset: 0

Paul Barry, Mar 23 2003

One of a family of Pascal-like arrays. A007318 is equivalent to the (1,0,1)-array. A008288 is equivalent to the (1,1,1)-array. Rows include A016921, A081589, A081590. Coefficients of the row polynomials in the Newton basis are given by A013613.

			Square array begins as:
  1,  1,   1,    1,    1, ... A000012;
  1,  7,  13,   19,   25, ... A016921;
  1, 13,  61,  145,  265, ... A081589;
  1, 19, 145,  595, 1585, ... A081590;
  1, 25, 265, 1585, 6145, ...
The triangle begins as:
  1;
  1,  1;
  1,  7,    1;
  1, 13,   13,    1;
  1, 19,   61,   19,     1;
  1, 25,  145,  145,    25,     1;
  1, 31,  265,  595,   265,    31,     1;
  1, 37,  421, 1585,  1585,   421,    37,    1;
  1, 43,  613, 3331,  6145,  3331,   613,   43,    1;
  1, 49,  841, 6049, 17401, 17401,  6049,  841,   49,  1;
  1, 55, 1105, 9955, 40105, 65527, 40105, 9955, 1105, 55, 1; - _Philippe Deléham_, Mar 15 2014

Vincenzo Librandi, Rows n = 0..100, flattened
Paul Barry, On Integer-Sequence-Based Constructions of Generalized Pascal Triangles, Journal of Integer Sequences, Vol. 9 (2006), Article 06.2.4.

Cf. Pascal (1,m,1) array: A123562 (m = -3), A098593 (m = -2), A000012 (m = -1), A007318 (m = 0), A008288 (m = 1), A081577 (m = 2), A081578 (m = 3), A081579 (m = 4), A081581 (m = 6), A081582 (m = 7), A143683 (m = 8).

Cf. A002532, A016921, A081589, A081590.

A081580:= func< n,k,q | (&+[Binomial(k, j)*Binomial(n-j, k)*q^j: j in [0..n-k]]) >;
[A081580(n,k,5): k in [0..n], n in [0..12]]; // G. C. Greubel, May 26 2021

Table[Hypergeometric2F1[-k, k-n, 1, 6], {n,0,10}, {k,0,n}]//Flatten (* Jean-François Alcover, May 24 2013 *)

flatten([[hypergeometric([-k, k-n], [1], 6).simplify() for k in (0..n)] for n in (0..12)]) # G. C. Greubel, May 26 2021

Square array T(n, k) defined by T(n, 0) = T(0, k) = 1, T(n, k) = T(n, k-1) + 5*T(n-1, k-1) + T(n-1, k).
Rows are the expansions of (1+5*x)^k/(1-x)^(k+1).
From Paul Barry, Aug 28 2008: (Start)
Number triangle T(n,k) = Sum_{j=0..n-k} binomial(n-k,j)*binomial(k,j)*5^j.
Riordan array (1/(1-x), x*(1+5*x)/(1-x)). (End)
T(n, k) = Hypergeometric2F1([-k, k-n], [1], 6). - Jean-François Alcover, May 24 2013
E.g.f. for the n-th subdiagonal, n = 0,1,2,..., equals exp(x)*P(n,x), where P(n,x) is the polynomial Sum_{k = 0..n} binomial(n,k)*(6*x)^k/k!. For example, the e.g.f. for the second subdiagonal is exp(x)*(1 + 12*x + 36*x^2/2) = 1 + 13*x + 61*x^2/2! + 145*x^3/3! + 265*x^4/4! + 421*x^5/5! + .... - Peter Bala, Mar 05 2017
Sum_{k=0..n} T(n, k, 3) = A002532(n+1). - G. C. Greubel, May 26 2021

A081581 Pascal-(1,6,1) array.

Original entry on oeis.org

1, 1, 1, 1, 8, 1, 1, 15, 15, 1, 1, 22, 78, 22, 1, 1, 29, 190, 190, 29, 1, 1, 36, 351, 848, 351, 36, 1, 1, 43, 561, 2339, 2339, 561, 43, 1, 1, 50, 820, 5006, 9766, 5006, 820, 50, 1, 1, 57, 1128, 9192, 28806, 28806, 9192, 1128, 57, 1, 1, 64, 1485, 15240, 68034, 116208, 68034, 15240, 1485, 64, 1

Offset: 0

Paul Barry, Mar 23 2003

One of a family of Pascal-like arrays. A007318 is equivalent to the (1,0,1)-array. A008288 is equivalent to the (1,1,1)-array. Rows include A016993, A081591, A081592. Coefficients of the row polynomials in the Newton basis are given by A013614.

			Rows start as:
  1,  1,   1,    1,    1, ... A000012;
  1,  8,  15,   22,   29, ... A016993;
  1, 15,  78,  190,  351, ... A081591;
  1, 22, 190,  848, 2339, ...
  1, 29, 351, 2339, 9766, ...
The triangle starts as:
  1;
  1,  1;
  1,  8,   1;
  1, 15,  15,    1;
  1, 22,  78,   22,    1;
  1, 29, 190,  190,   29,   1;
  1, 36, 351,  848,  351,  36,  1;
  1, 43, 561, 2339, 2339, 561, 43, 1;

Vincenzo Librandi, Rows n = 0..100, flattened

Cf. Pascal (1,m,1) array: A123562 (m = -3), A098593 (m = -2), A000012 (m = -1), A007318 (m = 0), A008288 (m = 1), A081577 (m = 2), A081578 (m = 3), A081579 (m = 4), A081580 (m = 5), A081582 (m = 7), A143683 (m = 8).

Cf. A016993, A081591, A083099.

A081581:= func< n,k,q | (&+[Binomial(k, j)*Binomial(n-j, k)*q^j: j in [0..n-k]]) >;
[A081581(n,k,6): k in [0..n], n in [0..12]]; // G. C. Greubel, May 26 2021

Table[Hypergeometric2F1[-k, k-n, 1, 7], {n,0,10}, {k,0,n}]//Flatten (* Jean-François Alcover, May 24 2013 *)

t(n, k) = sum(j=0, n-k, binomial(n-k, j)*binomial(k, j)*7^j) \\ Michel Marcus, May 24 2013

flatten([[hypergeometric([-k, k-n], [1], 7).simplify() for k in (0..n)] for n in (0..12)]) # G. C. Greubel, May 26 2021

Square array T(n, k) defined by T(n, 0) = T(0, k) = 1, T(n, k) = T(n, k-1) + 6*T(n-1, k-1) + T(n-1, k).
Rows are the expansions of (1+6*x)^k/(1-x)^(k+1).
T(n, k) = Hypergeometric2F1([-k, k-n], [1], 7). - Jean-François Alcover, May 24 2013
E.g.f. for the n-th subdiagonal, n = 0,1,2,..., equals exp(x)*P(n,x), where P(n,x) is the polynomial Sum_{k = 0..n} binomial(n,k)*(7*x)^k/k!. For example, the e.g.f. for the second subdiagonal is exp(x)*(1 + 14*x + 49*x^2/2) = 1 + 15*x + 78*x^2/2! + 190*x^3/3! + 351*x^4/4! + 561*x^5/5! + .... - Peter Bala, Mar 05 2017
From G. C. Greubel, May 26 2021: (Start)
T(n, k, m) = Sum_{j=0..n-k} binomial(k,j)*binomial(n-j,k)*m^j, for m = 6.
Sum_{k=0..n} T(n, k, 6) = A083099(n+1). (End)

cp's OEIS Frontend

A098593 A triangle of Krawtchouk coefficients.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A064641 Unidirectional 'Delannoy' variation of the Boustrophedon transform applied to all 1's sequence: construct an array in which the first element of each row is 1 and subsequent entries are given by T(n,k) = T(n,k-1) + T(n-1,k-1) + T(n-1,k) + T(n-2,k-1). The last number in row n gives a(n).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Maxima

PARI

Formula

A081578 Pascal-(1,3,1) array.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Haskell

Magma

Mathematica

Sage

Formula

A081582 Pascal-(1,7,1) array.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Mathematica

Sage

Formula

A001846 Centered 4-dimensional orthoplex numbers (crystal ball sequence for 4-dimensional cubic lattice).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A001847 Crystal ball sequence for 5-dimensional cubic lattice.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica