A237252 -id:A237252 - cp's OEIS frontend

A154283 Irregular triangle read by rows: T(n,k) = Sum_{i=0..k} (-1)^i * binomial(2n+1,i) binomial(k+2-i,2)^n, 0 <= k <= 2*(n-1).

1, 1, 4, 1, 1, 20, 48, 20, 1, 1, 72, 603, 1168, 603, 72, 1, 1, 232, 5158, 27664, 47290, 27664, 5158, 232, 1, 1, 716, 37257, 450048, 1822014, 2864328, 1822014, 450048, 37257, 716, 1, 1, 2172, 247236, 6030140, 49258935, 163809288, 242384856, 163809288, 49258935, 6030140, 247236, 2172, 1

Offset: 1

Roger L. Bagula, Jan 06 2009

From Yahia Kahloune, Jan 30 2014: (Start)
In general, let b(k,e,p) = Sum_{i=0..k} (-1)^i*binomial(e*p+1,i)*binomial(k+e-i,e)^p. Then T(n,k) = b(k,2,n).
With these coefficients we can calculate: Sum_{i=1..n} binomial(i+e-1,e)^p = Sum_{k=0..e*(p-1)} b(k,e,p)*binomial(n+e+k,e*p+k).
For example, A085438(n) = Sum_{i=1..n} binomial(1+i,2)^3 = T(3,0)*binomial(2+n,7) + T(3,1)*binomial(3+n,7) + T(3,2)*binomial(4+n,7) + T(3,3)*binomial(5+n,7) + T(3,4)*binomial(6+n,7) = (1/5040)*(90*n^7 + 630*n^6 + 1638*n^5 + 1890*n^4 + 840*n^3 - 48*n).
(End)
T(n,k) is the number of permutations of 2 indistinguishable copies of 1..n with exactly k descents. A descent is a pair of adjacent elements with the second element less than the first. - Andrew Howroyd, May 06 2020

			Triangle begins:
  1;
  1,     4,       1;
  1,    20,      48,        20,           1;
  1,    72,     603,      1168,         603,           72,           1;
  1,   232,    5158,     27664,       47290,        27664,        5158,  232, 1;
  1,   716,   37257,    450048,     1822014,      2864328,     1822014, ...;
  1,  2172,  247236,   6030140,    49258935,    163809288,   242384856, ...;
  1,  6544, 1568215,  72338144,  1086859301,   6727188848, 19323413187, ...;
  1, 19664, 9703890, 811888600, 21147576440, 225167210712, ... ;
  ...
The T(2,1) = 4 permutations of 1122 with 1 descent are 1212, 1221, 2112, 2211. - _Andrew Howroyd_, May 15 2020

Andrew Howroyd, Table of n, a(n) for n = 1..1600 (rows 1..40)
Feihu Liu, Guoce Xin, and Chen Zhang, Ehrhart Polynomials of Order Polytopes: Interpreting Combinatorial Sequences on the OEIS, arXiv:2412.18744 [math.CO], 2024. See p. 12.
Helmut Prodinger, On Touchard's continued fraction and extensions: combinatorics-free, self-contained proofs , arXiv:1102.5186 [math.CO], 2011.

Columns k=0..9 are A000012, A061981, A151624, A151625, A151626, A151627, A151628, A151629, A151630, A151631.
Row sums are A000680.
Similar triangles for e=1..6: A173018 (or A008292), this sequence, A174266, A236463, A237202, A237252.
Cf. A000680, A005799, A085438, A334781.

[(&+[(-1)^j*Binomial(2*n+1,j)*Binomial(k-j+2,2)^n: j in [0..k]]): k in [0..2*n-2], n in [1..12]]; // G. C. Greubel, Jun 13 2022

A154283 := proc(n,k)
        (1-x)^(2*n+1)*add( (l*(l+1)/2)^n*x^(l-1),l=0..k+1) ;
        coeftayl(%,x=0,k) ;
end proc: # R. J. Mathar, Feb 01 2013

p[x_, n_]= (1-x)^(2*n+1)*Sum[(k*(k+1)/2)^n*x^k, {k, 0, Infinity}]/x;
Table[CoefficientList[FullSimplify[ExpandAll[p[x, n]]], x], {n,10}]//Flatten

T(n,k)={sum(i=0, k, (-1)^i*binomial(2*n+1, i)*binomial(k+2-i, 2)^n)} \\ Andrew Howroyd, May 09 2020

def A154283(n,k): return sum((-1)^j*binomial(2*n+1, j)*binomial(k-j+2, 2)^n for j in (0..k))
flatten([[A154283(n,k) for k in (0..2*n-2)] for n in (1..12)]) # G. C. Greubel, Jun 13 2022

T(n,k) = (-1) times coefficient of x^k in (x-1)^(2*n+1) * Sum_{k>=0} (k*(k+1)/2)^n *x^(k-1).
From Yahia Kahloune, Jan 29 2014: (Start)
Sum_{i=1..n} binomial(1+i,2)^p = Sum_{k=0..2*p-2} T(p,k)*binomial(n+2+k,2*p+1).
binomial(n,2)^p = Sum_{k=0..2*p-2} T(p,k)*binomial(n+k,2*p). (End)
From Peter Bala, Dec 21 2019: (Start)
E.g.f. as a continued fraction: (1-x)/(1-x + ( 1-exp((1-x)^2*t))*x/(1-x + (1-exp(2*(1-x)^2*t))*x/(1-x + (1-exp(3*(1-x)^2*t))*x/(1-x + ... )))) =  1 + x*t + x*(x^2 + 4*x + 1)*t^2/2! + x*(x^4 + 20*x^3 + 48*x^2 + 20*x + 1)*t^3/3! + ... (use Prodinger equation 1.1).
The sequence of alternating row sums (unsigned) [1, 1, 2, 10, 104, 1816,...] appears to be A005799. (End)

Edited by N. J. A. Sloane, Jan 30 2014 following suggestions from Yahia Kahloune (among other things, the signs of all terms have been reversed).

Edited by Andrew Howroyd, May 09 2020

A174266 Irregular triangle read by rows: T(n,k) = Sum_{i=0..k} (-1)^i * binomial(3n+1,i) binomial(k+3-i,3)^n, 0 <= k <= 3*(n-1).

Original entry on oeis.org

1, 1, 9, 9, 1, 1, 54, 405, 760, 405, 54, 1, 1, 243, 6750, 49682, 128124, 128124, 49682, 6750, 243, 1, 1, 1008, 83736, 1722320, 12750255, 40241088, 58571184, 40241088, 12750255, 1722320, 83736, 1008, 1, 1, 4077, 922347, 45699447, 789300477, 5904797049, 21475242671, 40396577931, 40396577931, 21475242671, 5904797049, 789300477, 45699447, 922347, 4077, 1

Offset: 1

Roger L. Bagula, Mar 14 2010

From Yahia Kahloune, Jan 30 2014: (Start)
In general, let b(k,e,p) = Sum_{i=0..k} (-1)^i*binomial(e*p+1,i)*binomial(k+e-i,e)^p. Then T(n,k) = b(k,3,n).
With these coefficients we can calculate: Sum_{i=1..n} binomial(i+e-1,e)^p = Sum_{i=0..e*(p-1)} b(i,e,p)*binomial(n+e+i,e*p+1).
For example, A086020(n) = Sum_{i=1..n} binomial(2+i, 3)^2 = T(2,0)*binomial(n+3, 7) + T(2,1)*binomial(n+4,7) + T(2,2)*binomial(n+5,7) + T(2,3)*binomial(n+6,7) = (1/5040)*(20*n^7 + 210*n^6 + 854*n^5 + 1680*n^4 + 1610*n^3 + 630*n^2 + 36*n). (End)
T(n,k) is the number of permutations of 3 indistinguishable copies of 1..n with exactly k descents. A descent is a pair of adjacent elements with the second element less than the first. - Andrew Howroyd, May 06 2020

			Triangle begins:
  1;
  1,      9,         9,            1;
  1,     54,       405,          760,            405,       54,        1;
  1,    243,      6750,        49682,         128124,   128124,    49682, ... ;
  1,   1008,     83736,      1722320,       12750255, 40241088, 58571184, ... ;
  1,   4077,    922347,     45699447,      789300477, ... ;
  1,  16362,   9639783,   1063783164,    38464072830, ... ;
  1,  65511,  98361900,  23119658500,  1641724670475, ... ;
  1, 262116, 992660346, 484099087156, 64856779908606, ... ;
...
The T(2,1) = 9 permutations of 111222 with 1 descent are: 112221, 112212, 112122, 122211, 122112, 121122, 222111, 221112, 211122. - _Andrew Howroyd_, May 07 2020

Andrew Howroyd, Table of n, a(n) for n = 1..1335
Feihu Liu, Guoce Xin, and Chen Zhang, Ehrhart Polynomials of Order Polytopes: Interpreting Combinatorial Sequences on the OEIS, arXiv:2412.18744 [math.CO], 2024. See p. 12.

Columns k=0..9 are A000012, A289254, A151632, A151633, A151634, A151635, A151636, A151637, A151638, A151639.
Row sums are A014606.
Similar triangles for e=1..6: A173018 (or A008292), A154283, this sequence, A236463, A237202, A237252.
Cf. A060187, A174264.

(* First program *)
p[n_, x_]:= p[n,x]= (1-x)^(3*n+1)*Sum[(Binomial[k+1, 3])^n*x^k, {k, 0, Infinity}]/x^2;
Table[CoefficientList[p[x, n], x], {n,10}]//Flatten (* corrected by G. C. Greubel, Mar 26 2022 *)
(* Second program *)
T[n_, k_]:= T[n, k]= Sum[(-1)^(k-j+1)*Binomial[3*n+1, k-j+1]*(j*(j^2-1)/2)^n, {j, 0, k+1}]/(3^n);
Table[T[n, k], {n,10}, {k,3*n-2}]//Flatten (* G. C. Greubel, Mar 26 2022 *)

T(n,k)={sum(i=0, k, (-1)^i*binomial(3*n+1, i)*binomial(k+3-i, 3)^n)} \\ Andrew Howroyd, May 06 2020

@CachedFunction
def T(n, k): return (1/3^n)*sum( (-1)^(k-j+1)*binomial(3*n+1, k-j+1)*(j*(j^2-1)/2)^n for j in (0..k+1) )
flatten([[T(n, k) for k in (1..3*n-2)] for n in (1..10)]) # G. C. Greubel, Mar 26 2022

T(n,k) = [x^k] (1-x)^(3*n+1)*(Sum_{k>=0} (k*(k+1)*(k-1)/2)^n*x^k)/(3^n*x^2).
T(n,k) = T(n, 3*n-k).
From Yahia Kahloune, Jan 30 2014: (Start)
Sum_{i=1..n} binomial(2+i,3)^p = Sum_{i=0..3*p-3} T(p,i)*binomial(n+3+i,3*p+1).
binomial(n,3)^p = Sum_{i=0..3*p-3} T(p,i)*binomial(n+i,3*p). (End)
From Sergii Voloshyn, Dec 18 2024: (Start)
Let E be the operator (x^2)D*(1/x)*D*(x^2)*D, where D denotes the derivative operator d/dx. Then (1/6^n)* E^n(x^2/(1 - x)^4) = (row n generating polynomial)/(1 - x)^(3*n+4) = Sum_{i=0..k} (-1)^i * binomial(3*n+1,i) * binomial(k+3-i,3)^n.
For example, when n = 3 we have 1/216*E^3(x^2/(1 - x)^4) = x^2 (1 + 243x + 6750x^2 + 49682x^3 + 128124x^4 + 128124x^5 + 49682x^6 + 6750x^7 + 243x^8 + x^9)/(1 - x)^13. (End)

Edited by Andrew Howroyd, May 06 2020

A236463 Irregular triangle read by rows: T(n,k) = Sum_{i=0..k} (-1)^i * binomial(4n+1,i) binomial(k+4-i,4)^n, 0 <= k <= 4*(n-1).

Original entry on oeis.org

1, 1, 16, 36, 16, 1, 1, 112, 1828, 8464, 13840, 8464, 1828, 112, 1, 1, 608, 40136, 724320, 4961755, 15018688, 21571984, 15018688, 4961755, 724320, 40136, 608, 1, 1, 3104, 693960, 37229920, 733059110, 6501577152, 29066972368, 69830127680, 93200908410, 69830127680

Offset: 1

Yahia Kahloune, Feb 01 2014

In general, define b(k,e,p) = Sum_{i=0..k} (-1)^i*binomial(e*p+1,i)*binomial(k+e-i,e)^p. Then T(n,k) = b(k,4,n).
Using these coefficients we can obtain formulas for binomial(n,e)^p and for Sum_{i=1..n} binomial(e-1+i,e)^p.
In particular:
  binomial(n, e)^p = Sum_{k=0..e*(p-1)} b(k,e,p) * binomial(n+k, e*p).
  Sum_{i=1..n} binomial(e-1+i, e)^p = Sum_{k=0..e*(p-1)} b(k,e,p) * binomial(n+e+k, e*p+1).
T(n,k) is the number of permutations of 4 indistinguishable copies of 1..n with exactly k descents. A descent is a pair of adjacent elements with the second element less than the first. - Andrew Howroyd, May 08 2020

			T(n,0) = 1;
T(n,1) = 5^n - (4*n+1);
T(n,2) = 15^n - (4*n+1)*5^n + C(4*n+1,2);
T(n,3) = 35^n - (4*n+1)*15^n + C(4*n+1,2)*5^n - C(4*n+1,3);
T(n,4) = 70^n - (4*n+1)*35^n + C(4*n+1,2)*15^n - C(4*n+1,3)*5^n + C(4*n+1,4).
Triangle T(n,k) begins:
1,
1, 16, 36, 16, 1;
1, 112, 1828, 8464, 13840, 8464, 1828, 112, 1;
1, 608, 40136, 724320, 4961755, 15018688, 21571984, 15018688, 4961755, 724320, 40136, 608, 1;
1, 3104, 693960, 37229920, 733059110, 6501577152, 29066972368, 69830127680, 93200908410, 69830127680, 29066972368, 6501577152, 733059110, 37229920, 693960, 3104, 1;
1, 15600, 11000300, 1558185200, 75073622025, 1585757994496, 16938467955200, 99825129369600, 342907451401150, 710228619472800, 903546399077256, 710228619472800, 342907451401150, 99825129369600, 16938467955200, 1585757994496, 75073622025, 1558185200, 11000300, 15600, 1;
  ...
Example:
Sum_{i=1..n} C(3+i,4)^3 = C(n+4,13) + 112*C(n+5,13) + 1828*C(n+6,13) + 8464*C(n+7,13) + 13840*C(n+8,13) + 8464*C(n+9,13) + 1828*C(n+10,13) + 112*C(n+11,13) + C(+12,13).
C(n,4)^3 = C(n,12) + 112*C(n+1,12) + 1828*C(n+2,12) + 8464*C(n+3,12) + 13840*C(n+4,12) + 8464*C(n+5,12) + 1828*C(n+6,12) + 112*C(n+7,12) + C(n+8,12).

Vincenzo Librandi, Table of n, a(n) for n = 1..780
Feihu Liu, Guoce Xin, and Chen Zhang, Ehrhart Polynomials of Order Polytopes: Interpreting Combinatorial Sequences on the OEIS, arXiv:2412.18744 [math.CO], 2024. See p. 12.

Columns k=2..8 are A151640, A151641, A151642, A151643, A151644, A151645, A151646.
Row sums are A014608.
Similar triangles for e=1..6: A173018 (or A008292), A154283, A174266, this sequence, A237202, A237252.
Sum_{i=1..n} binomial(3+i,4)^p for p=2..3 gives: A086023, A086024.
Cf. A087127, A087107, A087108, A087109, A087110, A087111, A181544.

b[k_, 4, p_] := Sum[(-1)^i*Binomial[4*p+1, i]*Binomial[k-i, 4]^p /. k -> 4+i, {i, 0, k-4}]; row[p_] := Table[b[k, 4, p], {k, 4, 4*p}]; Table[row[p], {p, 1, 6}] // Flatten (* Jean-François Alcover, Feb 05 2014 *)

T(n,k)={sum(i=0, k, (-1)^i*binomial(4*n+1, i)*binomial(k+4-i, 4)^n)} \\ Andrew Howroyd, May 08 2020

Sum_{i=1..n} binomial(3+i,4)^p = Sum{k=0..4*(p-1)} T(p,k) * binomial(n+4+k, 4*p+1).

binomial(n,4)^p = Sum_{k=0..4*(p-1)} T(p,k) * binomial(n+k, 4*p).

a(36) corrected by Vincenzo Librandi, Feb 14 2014

Edited by Andrew Howroyd, May 08 2020

A087110 This table shows the coefficients of combinatorial formulas needed for generating the sequential sums of p-th powers of binomial coefficients C(n,6). The p-th row (p>=1) contains a(i,p) for i=1 to 6p-5, where a(i,p) satisfies Sum_{i=1..n} C(i+5,6)^p = 7 C(n+6,7) * Sum_{i=1..6p-5} a(i,p) C(n-1,i-1)/(i+6).

Original entry on oeis.org

1, 1, 6, 15, 20, 15, 6, 1, 1, 48, 687, 4850, 20385, 55908, 104959, 137886, 127050, 80640, 33642, 8316, 924, 1, 342, 21267, 527876, 7020525, 58015362, 324610399, 1297791264, 3839203452, 8595153000, 14760228672, 19560928464, 19987430694

Offset: 1

André F. Labossière, Aug 11 2003

From Peter Bala, Mar 11 2018: (Start)

The table entries T(n,k) are the coefficients when expressing the polynomial C(x+6,6)^p of degree 6*p in terms of falling factorials: C(x+6,6)^p = Sum_{k = 0..6*p} T(p,k)*C(x,k). It follows that Sum_{i = 0..n-1} C(i+6,6)^p = Sum_{k = 0..6*p} T(p,k)*C(n,k+1). (End)

			Row 3 contains 1,48,687,...,924, so Sum_{i=1..n} C(i+5,6)^3 = 7 * C(n+6,7) * [ a(1,3)/7 + a(2,3)*C(n-1,1)/8 + a(3,3)*C(n-1,2)/9 + ... + a(13,3)*C(n-1,12)/19 ] = 7 * C(n+6,7) * [ 1/7 + 48*C(n-1,1)/8 + 687*C(n-1,2)/9 + ... + 924*C(n-1,12)/19 ]. Cf. A086028 for more details.

G. C. Greubel, Table of n, a(n) for the first 40 rows, flattened
Dukes, C. D. White, Web Matrices: Structural Properties and Generating Combinatorial Identities, arXiv:1603.01589 [math.CO], 2016.

Cf. A000292, A024166, A087127, A024166, A085438, A085439, A085440, A085441, A085442, A087107, A000332, A086020, A086021, A086022, A087108, A000389, A086023, A086024, A087109, A000579, A086025, A086026, A000580, A086027, A086028, A087111, A027555, A086029, A086030.

Cf. A087127, A237252.

seq(seq(add( (-1)^(k-i)*binomial(k, i)*binomial(i+6, 6)^n, i = 0..k), k = 0..6*n), n = 0..5); # Peter Bala, Mar 11 2018

a[i_, p_] := Sum[Binomial[i - 1, 2*k - 2]*Binomial[i - 2*k + 7, i - 2*k + 1]^(p - 1) - Binomial[i - 1, 2*k - 1]*Binomial[i - 2*k + 6, i - 2*k]^(p - 1), {k, 1, (2*i + 1 + (-1)^(i - 1))/4}]; Table[If[p == 1, 1, a[i, p]], {p, 1, 10}, {i, 1, 6*p - 5}]//Flatten (* G. C. Greubel, Nov 23 2017 *)

{a(i, p) = sum(k=1, (2*i + 1 + (-1)^(i - 1))/4, binomial(i - 1, 2*k - 2)*binomial(i - 2*k + 7, i - 2*k + 1)^(p - 1) - binomial(i - 1, 2*k - 1)*binomial(i - 2*k + 6, i - 2*k)^(p - 1))}; for(p=1,8, for(i=1, 6*p-5, print1(if(p==1,1,a(i,p)), ", "))) \\ G. C. Greubel, Nov 23 2017

a(i, p) = Sum_{k=1..[2*i+1+(-1)^(i-1)]/4} [ C(i-1, 2*k-2)*C(i-2*k+7, i-2*k+1)^(p-1) -C(i-1, 2*k-1)*C(i-2*k+6, i-2*k)^(p-1) ]
From Peter Bala, Mar 11 2018: (Start)
The following remarks assume the row and column indices start at 0.
T(n,k) = Sum_{i = 0..k} (-1)^(k-i)*binomial(k,i) * binomial(i+6,6)^n. Equivalently, let v_n denote the sequence (1, 7^n, 28^n, 84^n, ...) regarded as an infinite column vector, where 1, 7, 28, 84, ... is the sequence binomial(n+6,6) - see A000579. Then the n-th row of this table is determined by the matrix product P^(-1)*v_n, where P denotes Pascal's triangle A007318.
Recurrence: T(n+1,k) = Sum_{i = 0..6} C(6,i)*C(k+6-i,6)*T(n,k-i) with boundary conditions T(n,0) = 1 for all n and T(n,k) = 0 for k > 6*n.
n-th row polynomial R(n,x) = (1 + x)^6 o (1 + x)^6 o ... o (1 + x)^6 (n factors), where o denotes the black diamond product of power series defined in Dukes and White.
R(n+1,x) = 1/6!*(1 + x)^6 * (d/dx)^6(x^6*R(n,x)).
R(n,x) = Sum_{i >= 0} binomial(i+6,6)^n*x^i/(1 + x)^(i+1).
(1 - x)^(6*n)*R(n,x/(1 - x)) appears to equal the n-th row polynomial of A237252. (End)

Edited by Dean Hickerson, Aug 16 2003

A237202 Irregular triangle read by rows: T(n,k) = Sum_{i=0..k} (-1)^i * binomial(5n+1,i) binomial(k+5-i,5)^n, 0 <= k <= 5*(n-1).

Original entry on oeis.org

1, 1, 25, 100, 100, 25, 1, 1, 200, 5925, 52800, 182700, 273504, 182700, 52800, 5925, 200, 1, 1, 1275, 167475, 6021225, 84646275, 554083761, 1858142825, 3363309675, 3363309675, 1858142825, 554083761, 84646275

Offset: 1

Yahia Kahloune, Feb 05 2014

In general, define b(k,e,p) = Sum_{i=0..k} (-1)^i*binomial(e*p+1,i)*binomial(k+e-i,e)^p. Then T(n,k) = b(k,5,n).
Using these coefficients we can obtain formulas for binomial(n,e)^p and for Sum_{i=1..n} binomial(e-1+i,e)^p.
In particular:
  binomial(n, e)^p = Sum_{k=0..e*(p-1)} b(k,e,p) * binomial(n+k, e*p).
  Sum_{i=1..n} binomial(e-1+i, e)^p = Sum_{k=0..e*(p-1)} b(k,e,p) * binomial(n+e+k, e*p+1).
T(n,k) is the number of permutations of 5 indistinguishable copies of 1..n with exactly k descents. A descent is a pair of adjacent elements with the second element less than the first. - Andrew Howroyd, May 08 2020

			T(n,0) = 1;
T(n,1) = 6^n - (5*n+1);
T(n,2) = 21^n - (5*n+1)*6^n + C(5*n+1,2);
T(n,3) = 56^n - (5*n+1)*21^n + C(5*n+1,2)*6^n - C(5*n+1,3) ;
T(n,4) = 126^n - (5*n+1)*56^n + C(5*n+1,2)*21^n - C(5*n+1,3)*6^n  + C(5*n+1,4).
Triangle T(n,k) begins:
1;
1, 25, 100, 100, 25, 1;
1, 200, 5925, 52800, 182700, 273504, 182700, 52800, 5925, 200, 1;
1, 1275, 167475, 6021225, 84646275, 554083761, 1858142825, 3363309675, 3363309675, 1858142825, 554083761, 84646275, 6021225, 167475, 125, 1;
1, 7750, 3882250, 447069750, 18746073375, 359033166276, 3575306548500, 20052364456500, 66640122159000, 135424590593500, 171219515211316, 135424590593500, 66640122159000, 20052364456500, 3575306548500, 359033166276, 18746073375, 447069750, 3882250, 7750, 1;
...
Example:
Sum_{i=1..n} C(4+i,5)^3 = C(n+5,16) + 200*C(n+6,16) + 5925*(n+7,16) + 52800*C(n+8,16) + 182700*C(n+9,16) + 273504*C(n+10,16) + 182700*C(n+11,16) + 52800*C(n+12,16) + 5925*C(n+13,16) + 200*C(n+14,16) + C(n+15,16).
C(n,5)^3 = C(n,15) + 200*C(n+1,15) + 5925*C(n+2,15) + 52800*C(n+3,15) + 182700*C(n+4,15) + 273504*C(n+5,15) + 182700*C(n+6,15) + 52800*C(n+7,15) + 5925*C(n+8,15) + 200*C(n+9,15) + C(n+10,15).

G. C. Greubel, Table of n, a(n) for the first 25 rows, flattened
Feihu Liu, Guoce Xin, and Chen Zhang, Ehrhart Polynomials of Order Polytopes: Interpreting Combinatorial Sequences on the OEIS, arXiv:2412.18744 [math.CO], 2024. See p. 12.

Columns k=2..5 are A151647, A151648, A151649, A151650.
Row sums are A014609.
Similar triangles for e=1..6: A173018 (or A008292), A154283, A174266, A236463, this sequence, A237252.
Sum_{i=1..n} binomial(4+i,5)^p for p=2..3 gives: A086025, A086026.
Cf. A087127, A087107, A087108, A087109, A087110, A087111, A181544.

b[k_, 5, p_] := Sum[(-1)^i*Binomial[5*p+1, i]*Binomial[k-i, 5]^p /. k -> 5+i, {i, 0, k-5}]; row[p_] := Table[b[k, 5, p], {k, 5, 5*p}]; Table[row[p], {p, 1, 5}] // Flatten (* Jean-François Alcover, Feb 05 2014 *)

T(n,k)={sum(i=0, k, (-1)^i*binomial(5*n+1, i)*binomial(k+5-i, 5)^n)} \\ Andrew Howroyd, May 08 2020

Sum_{i=1..n} binomial(4+i,5)^p = Sum{k=0..5*(p-1)} T(p,k) * binomial(n+5+k, 5*p+1).

binomial(n,5)^p = Sum_{k=0..5*(p-1)} T(p,k) * binomial(n+k, 5*p).

Edited by Andrew Howroyd, May 08 2020

A151651 Number of permutations of 6 indistinguishable copies of 1..n with exactly 2 adjacent element pairs in decreasing order.

Original entry on oeis.org

0, 225, 15606, 554931, 16689816, 477537957, 13457517066, 377519524263, 10576236506508, 296179535707065, 8293376986582302, 232217254675249371, 6502103768266128576, 182059062180981345549, 5097654923210293555314, 142734346723080681522255

Offset: 1

R. H. Hardin, May 29 2009

Andrew Howroyd, Table of n, a(n) for n = 1..500
Index entries for linear recurrences with constant coefficients, signature (45,-570,2822,-5481,4557,-1372).

Column k=2 of A237252.

[(&+[(-1)^j*Binomial(6*n+1, j)*Binomial(8-j, 6)^n: j in [0..2]]): n in [1..30]]; // G. C. Greubel, Sep 12 2022

Table[Sum[(-1)^j*Binomial[6*n+1, j]*Binomial[8-j, 6]^n, {j,0,2}], {n, 30}] (* G. C. Greubel, Sep 12 2022 *)

a(n) = {28^n - (6*n + 1)*7^n + 3*n*(6*n + 1)} \\ Andrew Howroyd, May 06 2020

concat(0, Vec(9*x^2*(25 + 609*x - 2121*x^2 - 2401*x^3) / ((1 - x)^3*(1 - 7*x)^2*(1 - 28*x)) + O(x^20))) \\ Colin Barker, Jul 18 2020

def A151651(n): return sum((-1)^j*binomial(6*n+1, j)*binomial(8-j, 6)^n for j in (0..2))
[A151651(n) for n in (1..30)] # G. C. Greubel, Sep 12 2022

a(n) = 28^n - (6*n + 1)*7^n + 3*n*(6*n + 1). - Andrew Howroyd, May 06 2020
From Colin Barker, Jul 18 2020: (Start)
G.f.: 9*x^2*(25 + 609*x - 2121*x^2 - 2401*x^3) / ((1 - x)^3*(1 - 7*x)^2*(1 - 28*x)).
a(n) = 45*a(n-1) - 570*a(n-2) + 2822*a(n-3) - 5481*a(n-4) + 4557*a(n-5) - 1372*a(n-6) for n>6. (End)
From G. C. Greubel, Sep 12 2022: (Start)
a(n) = Sum_{j=0..2} (-1)^j*binomial(6*n+1, j)*binomial(8-j, 6)^n.
E.g.f.: exp(28*x) - (1 + 42*x)*exp(7*x) + 3*x*(7 + 6*x)*exp(x). (End)

Terms a(7) and beyond from Andrew Howroyd, May 06 2020

A151652 Number of permutations of 6 indistinguishable copies of 1..n with exactly 3 adjacent element pairs in decreasing order.

Original entry on oeis.org

0, 400, 233300, 35138736, 3656408776, 333546436832, 28929582376716, 2460253392551584, 207633993378572384, 17472055390759340592, 1468614660871788474628, 123393355120299525767120, 10365952122947333091123000, 870767651291136123846763456, 73145318723749749228550353212

Offset: 1

R. H. Hardin, May 29 2009

nonn

Andrew Howroyd, Table of n, a(n) for n = 1..200
Index entries for linear recurrences with constant coefficients, signature (165,-9225,237297,-3097935,21760767,-83084547, 168886683,-184022244,101917648,-22588608).

Column k=3 of A237252.

[(&+[(-1)^j*Binomial(6*n+1, j)*Binomial(9-j, 6)^n: j in [0..3]]): n in [1..30]]; // G. C. Greubel, Sep 12 2022

Table[Sum[(-1)^j*Binomial[6*n+1, j]*Binomial[9-j, 6]^n, {j,0,3}], {n, 30}] (* G. C. Greubel, Sep 12 2022 *)

a(n) = {84^n - (6*n + 1)*28^n + binomial(6*n+1, 2)*7^n - binomial(6*n+1, 3)} \\ Andrew Howroyd, May 07 2020

def A151652(n): return sum((-1)^j*binomial(6*n+1, j)*binomial(9-j, 6)^n for j in (0..3))
[A151652(n) for n in (1..30)] # G. C. Greubel, Sep 12 2022

a(n) = 84^n - (6*n + 1)*28^n + binomial(6*n+1, 2)*7^n - binomial(6*n+1, 3). - Andrew Howroyd, May 07 2020
From G. C. Greubel, Sep 12 2022: (Start)
a(n) = Sum_{j=0..3} (-1)^j*binomial(6*n+1, j)*binomial(9-j, 6)^n.
G.f.: 4*x^2*(100 + 41825*x + 83559*x^2 - 21052241*x^3 + 67903073*x^4 + 129637536*x^5 - 671540492*x^6 - 210827008*x^7)/( Product_{j=0..3} (1 - binomial(j+6, 6)*x)^(4-j) ).
E.g.f.: exp(84*x) - (1 + 168*x)*exp(28*x) + 147*x*(1 + 6*x)*exp(7*x) - x*(35 + 108*x + 36*x^2)*exp(x). (End)

Terms a(7) and beyond from Andrew Howroyd, May 07 2020

A151653 Number of permutations of 6 indistinguishable copies of 1..n with exactly 4 adjacent element pairs in decreasing order.

Original entry on oeis.org

0, 225, 1424925, 879018750, 286691702976, 73088118705987, 16754170871028591, 3661270938396519084, 782843888360213140770, 165732454316454285337929, 34929333979527314682936729, 7346819169243119623855847994, 1543904846626825596394472048820

Offset: 1

R. H. Hardin, May 29 2009

nonn

Andrew Howroyd, Table of n, a(n) for n = 1..200
Index entries for linear recurrences with constant coefficients, signature (495, -92130, 8679772, -464055534, 14968238202, -300963721632, 3837618601236, -31343715730089, 163923909672271, -542603125207206, 1117480735539672, -1416687024832576, 1073300058335232, -445720762271232, 78098756843520).

Column k=4 of A237252.

Terms a(7) and beyond from Andrew Howroyd, May 06 2020

A151654 Number of permutations of 6 indistinguishable copies of 1..n with exactly 5 adjacent element pairs in decreasing order.

Original entry on oeis.org

0, 36, 4050864, 10490842656, 10255094095176, 6781036059518868, 3744571580295610680, 1893138497272086513120, 915533370856221482817936, 432873619819347725868506292, 202329942824085294375700974144, 94022530911932061378520715448384, 43564340849890810938403538912669496

Offset: 1

R. H. Hardin, May 29 2009

nonn

Andrew Howroyd, Table of n, a(n) for n = 1..200
Index entries for linear recurrences with constant coefficients, signature (1287, -665085, 185049017, -31190554872, 3393504308298, -247577707116706, 12409594294661298, -434237280286221153, 10713236096664371179, -187333202983969901817, 2326256453936078033349, -20501775776012012073494, 127726669837663368160500, -557839835867479081817208, 1687107017150888313396640, -3485094134205352534911360, 4853917967549146311707136, -4463498883906046248413184, 2592626135894429309853696, -861342430920194620293120, 124750055827809622425600).

Column k=5 of A237252.

Terms a(7) and beyond from Andrew Howroyd, May 06 2020

A151655 Number of permutations of 6 indistinguishable copies of 1..n with exactly 6 adjacent element pairs in decreasing order.

Original entry on oeis.org

0, 1, 5703096, 66555527346, 192698692565176, 316974599311624359, 397768872682646100636, 434043806185138225218436, 439395848635147188368481612, 426929358472916282151832375761, 405535686731345325826890883972000, 380430912675288777613784486729018310

Offset: 1

R. H. Hardin, May 29 2009

nonn

Andrew Howroyd, Table of n, a(n) for n = 1..200
Index entries for linear recurrences with constant coefficients, signature (3003, -3786300, 2682024198, -1201864914243, 363404029293333, -77161011499803210, 11815176548149360380, -1329158779656248955015, 111309488573704522925285, -7004394451533711514550520, 333373338418730167713194550, -12052968983433090157214600565, 331837044779855430240638028795, -6962501444742670295905526272770, 111258820356797446462202396283240, -1351514454383997891678186449039520, 12441863576084489874034981639919280, -86400749551919732280723951784162720, 449615621468636777315379208600296960, -1737983801386696776678864384637929984, 4938249787156503974586235038036959232, -10198678551925813823665615980013240320, 15129400679321667476301700714578051072, -15863940181654549420963974173350428672, 11439048602497051712704955915223171072, -5388341550257906862980346825576284160, 1491958732108657007719279670958489600, -184123553326797611274256653484032000).

Column k=6 of A237252.

Terms a(7) and beyond from Andrew Howroyd, May 06 2020

cp's OEIS Frontend

A154283 Irregular triangle read by rows: T(n,k) = Sum_{i=0..k} (-1)^i * binomial(2*n+1,i) * binomial(k+2-i,2)^n, 0 <= k <= 2*(n-1).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

SageMath

Formula

Extensions

A174266 Irregular triangle read by rows: T(n,k) = Sum_{i=0..k} (-1)^i * binomial(3*n+1,i) * binomial(k+3-i,3)^n, 0 <= k <= 3*(n-1).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Sage

Formula

Extensions

A236463 Irregular triangle read by rows: T(n,k) = Sum_{i=0..k} (-1)^i * binomial(4*n+1,i) * binomial(k+4-i,4)^n, 0 <= k <= 4*(n-1).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions

A237202 Irregular triangle read by rows: T(n,k) = Sum_{i=0..k} (-1)^i * binomial(5*n+1,i) * binomial(k+5-i,5)^n, 0 <= k <= 5*(n-1).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A151651 Number of permutations of 6 indistinguishable copies of 1..n with exactly 2 adjacent element pairs in decreasing order.

Views

Author

Keywords

Links

Crossrefs

Programs

Magma

Mathematica

PARI

A154283 Irregular triangle read by rows: T(n,k) = Sum_{i=0..k} (-1)^i * binomial(2n+1,i) binomial(k+2-i,2)^n, 0 <= k <= 2*(n-1).

A174266 Irregular triangle read by rows: T(n,k) = Sum_{i=0..k} (-1)^i * binomial(3n+1,i) binomial(k+3-i,3)^n, 0 <= k <= 3*(n-1).

A236463 Irregular triangle read by rows: T(n,k) = Sum_{i=0..k} (-1)^i * binomial(4n+1,i) binomial(k+4-i,4)^n, 0 <= k <= 4*(n-1).

A237202 Irregular triangle read by rows: T(n,k) = Sum_{i=0..k} (-1)^i * binomial(5n+1,i) binomial(k+5-i,5)^n, 0 <= k <= 5*(n-1).