A213831 -id:A213831 - cp's OEIS frontend

A213500 Rectangular array T(n,k): (row n) = bc, where b(h) = h, c(h) = h + n - 1, n >= 1, h >= 1, and = convolution.

1, 4, 2, 10, 7, 3, 20, 16, 10, 4, 35, 30, 22, 13, 5, 56, 50, 40, 28, 16, 6, 84, 77, 65, 50, 34, 19, 7, 120, 112, 98, 80, 60, 40, 22, 8, 165, 156, 140, 119, 95, 70, 46, 25, 9, 220, 210, 192, 168, 140, 110, 80, 52, 28, 10, 286, 275, 255, 228, 196, 161, 125, 90

Offset: 1

Clark Kimberling, Jun 14 2012

Principal diagonal: A002412.
Antidiagonal sums: A002415.
Row 1:  (1,2,3,...)**(1,2,3,...) = A000292.
Row 2:  (1,2,3,...)**(2,3,4,...) = A005581.
Row 3:  (1,2,3,...)**(3,4,5,...) = A006503.
Row 4:  (1,2,3,...)**(4,5,6,...) = A060488.
Row 5:  (1,2,3,...)**(5,6,7,...) = A096941.
Row 6:  (1,2,3,...)**(6,7,8,...) = A096957.
...
In general, the convolution of two infinite sequences is defined from the convolution of two n-tuples:  let X(n) = (x(1),...,x(n)) and Y(n)=(y(1),...,y(n)); then X(n)**Y(n) = x(1)*y(n)+x(2)*y(n-1)+...+x(n)*y(1); this sum is the n-th term in the convolution of infinite sequences:(x(1),...,x(n),...)**(y(1),...,y(n),...), for all n>=1.
...
In the following guide to related arrays and sequences, row n of each array T(n,k) is the convolution b**c of the sequences b(h) and c(h+n-1). The principal diagonal is given by T(n,n) and the n-th antidiagonal sum by S(n). In some cases, T(n,n) or S(n) differs in offset from the listed sequence.
b(h)........ c(h)........ T(n,k) .. T(n,n) .. S(n)
h .......... h .......... A213500 . A002412 . A002415
h .......... h^2 ........ A212891 . A213436 . A024166
h^2 ........ h .......... A213503 . A117066 . A033455
h^2 ........ h^2 ........ A213505 . A213546 . A213547
h .......... h*(h+1)/2 .. A213548 . A213549 . A051836
h*(h+1)/2 .. h .......... A213550 . A002418 . A005585
h*(h+1)/2 .. h*(h+1)/2 .. A213551 . A213552 . A051923
h .......... h^3 ........ A213553 . A213554 . A101089
h^3 ........ h .......... A213555 . A213556 . A213547
h^3 ........ h^3 ........ A213558 . A213559 . A213560
h^2 ........ h*(h+1)/2 .. A213561 . A213562 . A213563
h*(h+1)/2 .. h^2 ........ A213564 . A213565 . A101094
2^(h-1) .... h .......... A213568 . A213569 . A047520
2^(h-1) .... h^2 ........ A213573 . A213574 . A213575
h .......... Fibo(h) .... A213576 . A213577 . A213578
Fibo(h) .... h .......... A213579 . A213580 . A053808
Fibo(h) .... Fibo(h) .... A067418 . A027991 . A067988
Fibo(h+1) .. h .......... A213584 . A213585 . A213586
Fibo(n+1) .. Fibo(h+1) .. A213587 . A213588 . A213589
h^2 ........ Fibo(h) .... A213590 . A213504 . A213557
Fibo(h) .... h^2 ........ A213566 . A213567 . A213570
h .......... -1+2^h ..... A213571 . A213572 . A213581
-1+2^h ..... h .......... A213582 . A213583 . A156928
-1+2^h ..... -1+2^h ..... A213747 . A213748 . A213749
h .......... 2*h-1 ...... A213750 . A007585 . A002417
2*h-1 ...... h .......... A213751 . A051662 . A006325
2*h-1 ...... 2*h-1 ...... A213752 . A100157 . A071238
2*h-1 ...... -1+2^h ..... A213753 . A213754 . A213755
-1+2^h ..... 2*h-1 ...... A213756 . A213757 . A213758
2^(n-1) .... 2*h-1 ...... A213762 . A213763 . A213764
2*h-1 ...... Fibo(h) .... A213765 . A213766 . A213767
Fibo(h) .... 2*h-1 ...... A213768 . A213769 . A213770
Fibo(h+1) .. 2*h-1 ...... A213774 . A213775 . A213776
Fibo(h) .... Fibo(h+1) .. A213777 . A001870 . A152881
h .......... 1+[h/2] .... A213778 . A213779 . A213780
1+[h/2] .... h .......... A213781 . A213782 . A005712
1+[h/2] .... [(h+1)/2] .. A213783 . A213759 . A213760
h .......... 3*h-2 ...... A213761 . A172073 . A002419
3*h-2 ...... h .......... A213771 . A213772 . A132117
3*h-2 ...... 3*h-2 ...... A213773 . A214092 . A213818
h .......... 3*h-1 ...... A213819 . A213820 . A153978
3*h-1 ...... h .......... A213821 . A033431 . A176060
3*h-1 ...... 3*h-1 ...... A213822 . A213823 . A213824
3*h-1 ...... 3*h-2 ...... A213825 . A213826 . A213827
3*h-2 ...... 3*h-1 ...... A213828 . A213829 . A213830
2*h-1 ...... 3*h-2 ...... A213831 . A213832 . A212560
3*h-2 ...... 2*h-1 ...... A213833 . A130748 . A213834
h .......... 4*h-3 ...... A213835 . A172078 . A051797
4*h-3 ...... h .......... A213836 . A213837 . A071238
4*h-3 ...... 2*h-1 ...... A213838 . A213839 . A213840
2*h-1 ...... 4*h-3 ...... A213841 . A213842 . A213843
2*h-1 ...... 4*h-1 ...... A213844 . A213845 . A213846
4*h-1 ...... 2*h-1 ...... A213847 . A213848 . A180324
[(h+1)/2] .. [(h+1)/2] .. A213849 . A049778 . A213850
h .......... C(2*h-2,h-1) A213853
...
Suppose that u = (u(n)) and v = (v(n)) are sequences having generating functions U(x) and V(x), respectively. Then the convolution u**v has generating function U(x)*V(x). Accordingly, if u and v are homogeneous linear recurrence sequences, then every row of the convolution array T satisfies the same homogeneous linear recurrence equation, which can be easily obtained from the denominator of U(x)*V(x). Also, every column of T has the same homogeneous linear recurrence as v.

			Northwest corner (the array is read by southwest falling antidiagonals):
  1,  4, 10, 20,  35,  56,  84, ...
  2,  7, 16, 30,  50,  77, 112, ...
  3, 10, 22, 40,  65,  98, 140, ...
  4, 13, 28, 50,  80, 119, 168, ...
  5, 16, 34, 60,  95, 140, 196, ...
  6, 19, 40, 70, 110, 161, 224, ...
T(6,1) = (1)**(6) = 6;
T(6,2) = (1,2)**(6,7) = 1*7+2*6 = 19;
T(6,3) = (1,2,3)**(6,7,8) = 1*8+2*7+3*6 = 40.

Clark Kimberling, Antidiagonals n = 1..60, flattened

Cf. A000027.

b[n_] := n; c[n_] := n
t[n_, k_] := Sum[b[k - i] c[n + i], {i, 0, k - 1}]
TableForm[Table[t[n, k], {n, 1, 10}, {k, 1, 10}]]
Flatten[Table[t[n - k + 1, k], {n, 12}, {k, n, 1, -1}]]
r[n_] := Table[t[n, k], {k, 1, 60}]  (* A213500 *)

t(n,k) = sum(i=0, k - 1, (k - i) * (n + i));
tabl(nn) = {for(n=1, nn, for(k=1, n, print1(t(k,n - k + 1),", ");); print(););};
tabl(12) \\ Indranil Ghosh, Mar 26 2017

def t(n, k): return sum((k - i) * (n + i) for i in range(k))
for n in range(1, 13):
    print([t(k, n - k + 1) for k in range(1, n + 1)]) # Indranil Ghosh, Mar 26 2017

T(n,k) = 4*T(n,k-1) - 6*T(n,k-2) + 4*T(n,k-3) - T(n,k-4).
T(n,k) = 2*T(n-1,k) - T(n-2,k).
G.f. for row n:  x*(n - (n - 1)*x)/(1 - x)^4.

A081436 Fifth subdiagonal in array of n-gonal numbers A081422.

Original entry on oeis.org

1, 7, 24, 58, 115, 201, 322, 484, 693, 955, 1276, 1662, 2119, 2653, 3270, 3976, 4777, 5679, 6688, 7810, 9051, 10417, 11914, 13548, 15325, 17251, 19332, 21574, 23983, 26565, 29326, 32272, 35409, 38743, 42280, 46026, 49987, 54169, 58578, 63220

Offset: 0

Paul Barry, Mar 21 2003

One of a family of sequences with palindromic generators.
Also as A(n) = (1/6)*(6*n^3 - 3*n^2 + 3*n), n>0: structured pentagonal diamond numbers (vertex structure 5). (Cf. A004068 = alternate vertex; A000447 = structured diamonds; A100145 for more on structured numbers.) - James A. Record (james.record(AT)gmail.com), Nov 07 2004
Sequence of the absolute values of the z^1 coefficients of the polynomials in the GF4 denominators of A156933. See A157705 for background information. - Johannes W. Meijer, Mar 07 2009
Row 1 of the convolution arrays A213831 and A213833. - Clark Kimberling, Jul 04 2012
Partial sums of A056109. - J. M. Bergot, Jun 22 2013
Number of ordered pairs of intersecting multisets of size 2, each chosen with repetition from {1,...,n}. - Robin Whitty, Feb 12 2014
Row sums of A244418. - L. Edson Jeffery, Jan 10 2015

Vincenzo Librandi, Table of n, a(n) for n = 0..5000
Christian Barrientos, The number of spanning trees of cyclic snakes, Indones. J. Comb. (2025) Vol. 9, No. 1, 21-30. See p. 29.
J. A. Dias da Silva and Pedro J. Freitas, Counting Spectral Radii of Matrices with Positive Entries, arXiv:1305.1139 [math.CO], 2013.
Theorem of the Day, Lovász Local Lemma example involving intersecting pairs of multisets
Index entries for linear recurrences with constant coefficients, signature (4,-6,4,-1).

Cf. A081434, A081435, A081437, A156933, A157705, A244418.

List([0..40], n-> (n+1)*(2*(n+1)^2-n)/2); # G. C. Greubel, Aug 14 2019

[(2*n^3+5*n^2+5*n+2)/2: n in [0..40]]; // Vincenzo Librandi, Jul 19 2011

A081436 := proc(n)
    (n+1)*(2*n^2+3*n+2)/2 ;
end proc:
seq(A081436(n),n=0..60) ; # R. J. Mathar, Jun 26 2013

LinearRecurrence[{4, -6, 4, -1}, {1, 7, 24, 58}, 40] (* Jean-François Alcover, Sep 21 2017 *)

a(n)=n^3+5/2*n*(n+1)+1 \\ Charles R Greathouse IV, Jun 20 2013

[(n+1)*(2*(n+1)^2-n)/2 for n in (0..40)] # G. C. Greubel, Aug 14 2019

a(n) = (n+1)*(2*n^2 + 3*n + 2)/2.
G.f.: (1+x)*(1+2*x)/(1-x)^4. (Convolution of A005408 and A016777.)
a(n) = A110449(n, n-1), for n>1.
a(n) = (n+1)*T(n+1) + n*T(n), where T( ) are triangular numbers. Binomial transform of [1, 6, 11, 6, 0, 0, 0, ...]. - Gary W. Adamson, Dec 28 2007
E.g.f.: exp(x)*(2 + 12*x + 11*x^2 + 2*x^3)/2. - Stefano Spezia, Apr 13 2021
a(n) = 4*a(n-1) - 6*a(n-2) + 4*a(n-3) - a(n-4). - Wesley Ivan Hurt, Apr 14 2021

G.f. simplified and crossrefs added by Johannes W. Meijer, Mar 07 2009

A162254 a(n) = n(2n^2 + 5*n + 1)/2.

Original entry on oeis.org

4, 19, 51, 106, 190, 309, 469, 676, 936, 1255, 1639, 2094, 2626, 3241, 3945, 4744, 5644, 6651, 7771, 9010, 10374, 11869, 13501, 15276, 17200, 19279, 21519, 23926, 26506, 29265, 32209, 35344, 38676, 42211, 45955, 49914, 54094, 58501, 63141

Offset: 1

Vincenzo Librandi, Jun 29 2009

Row sums from A083487.
Row 2 of the convolution array A213831. - Clark Kimberling, Jul 04 2012
Number of CNF statements for checking whether a 3-colored n X n grid has no monochromatic L. See Mammel et al. - Michel Marcus, Feb 10 2025

Vincenzo Librandi, Table of n, a(n) for n = 1..1000
Isaac Mammel, William Smith, and Carl Yerger, Ramsey Theory on the Integer Grid: The "L" Problem, arXiv:2502.05162 [math.CO], 2025. See p. 14.
Index entries for linear recurrences with constant coefficients, signature (4,-6,4,-1).

LinearRecurrence[{4,-6,4,-1}, {4, 19, 51, 106}, 50] (* or *) CoefficientList[Series[(4+3*x-x^2)/(1-x)^4,{x,0,40}],x] (* Vincenzo Librandi, Mar 04 2012 *)

a(n)=n*(5*n+1)/2+n^3 \\ Charles R Greathouse IV, Jan 11 2012

From Vincenzo Librandi, Mar 04 2012: (Start)
G.f.: x*(4 + 3*x - x^2)/(1-x)^4.
a(n) = 4*a(n-1) - 6*a(n-2) + 4*a(n-3) - a(n-4). (End)

New name from Charles R Greathouse IV, Jan 11 2012

A212560 Number of (w,x,y,z) with all terms in {1,...,n} and w+x<=y+z.

Original entry on oeis.org

0, 1, 11, 50, 150, 355, 721, 1316, 2220, 3525, 5335, 7766, 10946, 15015, 20125, 26440, 34136, 43401, 54435, 67450, 82670, 100331, 120681, 143980, 170500, 200525, 234351, 272286, 314650, 361775, 414005, 471696, 535216, 604945, 681275

Offset: 0

Clark Kimberling, May 21 2012

For a guide to related sequences, see A211795.

For n>=1, a(n) is the n-th antidiagonal sums of the convolution array A213831. - Clark Kimberling, Jul 04 2012

Kelvin Voskuijl, Table of n, a(n) for n = 0..10000
Index entries for linear recurrences with constant coefficients, signature (5,-10,10,-5,1).

Cf. A211795.

t = Compile[{{n, _Integer}}, Module[{s = 0},
(Do[If[w + x <= y + z, s = s + 1],
{w, 1, #}, {x, 1, #}, {y, 1, #}, {z, 1, #}] &[n]; s)]];
Map[t[#] &, Range[0, 40]]   (* A212560 *)

a(n)=(n+2*n^3+3*n^4)/6 \\ Charles R Greathouse IV, Oct 21 2022

a(n) = 5*a(n-1)-10*a(n-2)+10*a(n-3)-5*a(n-4)+a(n-5).
a(n) = (n + 2*n^3 + 3*n^4)/6. - Clark Kimberling, Jul 10 2012
G.f.: x*(1 + x)*(1 + 5*x)/(1 - x)^5. - Clark Kimberling, Jul 10 2012
a(n) = Sum_{k=0..n} A059722(k). - J. M. Bergot, Nov 02 2012

cp's OEIS Frontend

A213832 Principal diagonal of the convolution array A213831.

Views

Author

Keywords

Links

Crossrefs

Programs

Mathematica

Formula

A213500 Rectangular array T(n,k): (row n) = b**c, where b(h) = h, c(h) = h + n - 1, n >= 1, h >= 1, and ** = convolution.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Python

Formula

A081436 Fifth subdiagonal in array of n-gonal numbers A081422.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

GAP

Magma

Maple

Mathematica

PARI

Sage

Formula

Extensions

A162254 a(n) = n*(2*n^2 + 5*n + 1)/2.

Views

Author

Keywords

Comments

Links

Programs

Mathematica

PARI

Formula

Extensions

A212560 Number of (w,x,y,z) with all terms in {1,...,n} and w+x<=y+z.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A213500 Rectangular array T(n,k): (row n) = bc, where b(h) = h, c(h) = h + n - 1, n >= 1, h >= 1, and = convolution.

A162254 a(n) = n(2n^2 + 5*n + 1)/2.