cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-10 of 13 results. Next

A027472 Third convolution of the powers of 3 (A000244).

Original entry on oeis.org

1, 9, 54, 270, 1215, 5103, 20412, 78732, 295245, 1082565, 3897234, 13817466, 48361131, 167403915, 573956280, 1951451352, 6586148313, 22082967873, 73609892910, 244074908070, 805447196631, 2646469360359, 8661172452084, 28242953648100, 91789599356325, 297398301914493, 960825283108362, 3095992578904722
Offset: 3

Views

Author

Keywords

Comments

Third column of A027465.
With offset = 2, a(n) is the number of length n words on alphabet {u,v,w,z} such that each word contains exactly 2 u's. - Zerinvary Lajos, Dec 29 2007

Crossrefs

Sequences similar to the form q^(n-2)*binomial(n, 2): A000217 (q=1), A001788 (q=2), this sequence (q=3), A038845 (q=4), A081135 (q=5), A081136 (q=6), A027474 (q=7), A081138 (q=8), A081139 (q=9), A081140 (q=10), A081141 (q=11), A081142 (q=12), A027476 (q=15).

Programs

  • Magma
    [3^(n-3)*Binomial(n-1, 2): n in [3..40]]; // G. C. Greubel, May 12 2021
  • Mathematica
    nn=41; Drop[Range[0,nn]!CoefficientList[Series[Exp[x]^3 x^2/2!,{x,0,nn}],x],2] (* Geoffrey Critzer, Oct 03 2013 *)
    LinearRecurrence[{9,-27,27}, {1,9,54}, 40] (* G. C. Greubel, May 12 2021 *)
    Abs[Take[CoefficientList[Series[1/(1+3x^2)^3,{x,0,60}],x],{1,-1,2}]] (* Harvey P. Dale, Mar 03 2022 *)
  • PARI
    a(n)=([0,1,0; 0,0,1; 27,-27,9]^(n-3)*[1;9;54])[1,1] \\ Charles R Greathouse IV, Oct 03 2016
    
  • Sage
    [3^(n-3)*binomial(n-1,2) for n in range(3, 40)] # Zerinvary Lajos, Mar 10 2009
    

Formula

Numerators of sequence a[3,n] in (b^2)[i,j]) where b[i,j] = binomial(i-1, j-1)/2^(i-1) if j <= i, 0 if j > i.
From Wolfdieter Lang: (Start)
a(n) = 3^(n-3)*binomial(n-1, 2).
G.f.: (x/(1-3*x))^3. (Third convolution of A000244, powers of 3.) (End)
a(n) = |A075513(n, 2)|/9, n >= 3.
a(n) = A152818(n-3,2)/2 = A006043(n-3)/2. - Paul Curtz, Jan 07 2009
The sequence 0, 1, 9, 54, ... has e.g.f.: (x + 3*x^2/2)*exp(3*x)/. - Paul Barry, Jul 23 2003
E.g.f.: E(0) where E(k) = 1 + 3*(2*k+3)*x/((2*k+1)^2 - 3*x*(k+2)*(2*k+1)^2/(3*x*(k+2) + 2*(k+1)^2/E(k+1))); (continued fraction, 3-step). - Sergei N. Gladkovskii, Nov 23 2012
With offset=2 e.g.f.: x^2*exp(3*x)/2. - Geoffrey Critzer, Oct 03 2013
From Amiram Eldar, Jan 05 2022: (Start)
Sum_{n>=3} 1/a(n) = 6 - 12*log(3/2).
Sum_{n>=3} (-1)^(n+1)/a(n) = 24*log(4/3) - 6. (End)

Extensions

Corrected by T. D. Noe, Nov 07 2006
Better name from Wolfdieter Lang
Terms a(23) onward added by G. C. Greubel, May 12 2021

A080108 a(n) = Sum_{k=1..n} k^(n-k)*binomial(n-1,k-1).

Original entry on oeis.org

1, 2, 6, 23, 104, 537, 3100, 19693, 136064, 1013345, 8076644, 68486013, 614797936, 5818490641, 57846681092, 602259154853, 6548439927680, 74180742421185, 873588590481988, 10674437936521069, 135097459659312176
Offset: 1

Views

Author

Vladeta Jovovic, Mar 15 2003

Keywords

Comments

Row sums of triangle A154372. Example: a(3)=1+12+9+1=23. From A152818. - Paul Curtz, Jan 08 2009
Number of pointed set partitions of a pointed set k[1...k...n] with a prescribed point k. - Gus Wiseman, Sep 27 2015
With offset 0, a(n) is the number of partial functions (A000169) from [n]->[n] such that every element in the domain of definition is mapped to a fixed point. This implies a(n) is the number of idempotent partial functions Cf. A121337. - Geoffrey Critzer, Aug 07 2016

Examples

			G.f. = x + 2*x^2 + 6*x^3 + 23*x^4 + 104*x^5 + 537*x^6 + 3100*x^7 + 19693*x^8 + ...
The a(4) = 23 pointed set partitions of 1[1 2 3 4] are 1[1[1 2 3 4]], 1[1[1] 2[2 3 4]], 1[1[1] 3[2 3 4]], 1[1[1] 4[2 3 4]], 1[1[1 2] 3[3 4]], 1[1[1 2] 4[3 4]], 1[1[1 3] 2[2 4]], 1[1[1 3] 4[2 4]], 1[1[1 4] 2[2 3]], 1[1[1 4] 3[2 3]], 1[1[1 2 3] 4[4]], 1[1[1 2 4] 3[3]], 1[1[1 3 4] 2[2]], 1[1[1] 2[2] 3[3 4]], 1[1[1] 2[2] 4[3 4]], 1[1[1] 2[2 3] 4[4]], 1[1[1] 2[2 4] 3[3]], 1[1[1] 3[3] 4[2 4]], 1[1[1] 3[2 3] 4[4]], 1[1[1 2] 3[3] 4[4]], 1[1[1 3] 2[2] 4[4]], 1[1[1 4] 2[2] 3[3]], 1[1[1] 2[2] 3[3] 4[4]].
		

Crossrefs

First column of array A098697.

Programs

  • Magma
    [(1/n)*(&+[Binomial(n,k)*k^(n-k+1): k in [0..n]]): n in [1..30]]; // G. C. Greubel, Jan 22 2023
    
  • Mathematica
    Table[Sum[k^(n-k) Binomial[n-1,k-1],{k,n}],{n,30}] (* Harvey P. Dale, Aug 19 2012 *)
    Table[SeriesCoefficient[Sum[x^k/(1-k*x)^k,{k,0,n}],{x,0,n}], {n,1,20}] (* Vaclav Kotesovec, Aug 06 2014 *)
    CoefficientList[Series[E^(x*(1+E^x)), {x, 0, 20}], x] * Range[0, 20]! (* Vaclav Kotesovec, Aug 06 2014 *)
  • PARI
    a(n)=sum(k=1,n, k^(n-k)*binomial(n-1,k-1)) \\ Anders Hellström, Sep 27 2015
    
  • SageMath
    def A080108(n): return (1/n)*sum(binomial(n,k)*k^(n-k+1) for k in range(n+1))
    [A080108(n) for n in range(1,31)] # G. C. Greubel, Jan 22 2023

Formula

G.f.: Sum_{k>0} x^k/(1-k*x)^k.
E.g.f. (for offset 0): exp(x*(1+exp(x))). - Vladeta Jovovic, Aug 25 2003
a(n) = A185298(n)/n.

A072597 Expansion of 1/(exp(-x) - x) as exponential generating function.

Original entry on oeis.org

1, 2, 7, 37, 261, 2301, 24343, 300455, 4238153, 67255273, 1185860331, 23000296155, 486655768525, 11155073325917, 275364320099807, 7282929854486431, 205462851526617489, 6158705454187353297, 195465061563672788947, 6548320737474275229347, 230922973019493881984021
Offset: 0

Views

Author

Michael Somos, Jun 23 2002

Keywords

Comments

Polynomials from A140749/A141412 are linked to Stirling1 (see A048594, A129841, A140749). See also P. Flajolet, X. Gourdon, B. Salvy in, available on Internet, RR-1857.pdf (preprint of unavailable Gazette des Mathematiciens 55, 1993, pp. 67-78; for graph 2 see also X. Gourdon RR-1852.pdf, pp. 64-65). What is the corresponding graph for A152650/A152656 = simplified A009998/A119502 linked, via A152818, to a(n), then Stirling2? - Paul Curtz, Dec 16 2008
Denominators in rational approximations of Lambert W(1). See Ramanujan, Notebooks, volume 2, page 22: "2. If e^{-x} = x, shew that the convergents to x are 1/2, 4/7, 21/37, 148/261, &c." Numerators in A006153. - Michael Somos, Jan 21 2019
Call an element g in a semigroup a group element if g^j = g for some j > 1. Then a(n) is the number of group elements in the semigroup of partial transformations of an n-set. Hence a(n) = Sum_{k=0..n} A154372(n,k)*k!. - Geoffrey Critzer, Nov 27 2021

Examples

			G.f. = 1 + 2*x + 7*x^2 + 37*x^3 + 261*x^4 + 2301*x^5 + 24343*x^6 + ...
		

References

  • O. Ganyushkin and V Mazorchuk, Classical Finite Transformation Semigroups, Springer, 2009, page 70.
  • S. Ramanujan, Notebooks, Tata Institute of Fundamental Research, Bombay 1957 Vol. 2, see page 22.

Crossrefs

Programs

  • Mathematica
    CoefficientList[Series[1/(Exp[-x]-x), {x, 0, 20}], x]* Range[0, 20]! (* Vaclav Kotesovec, Jun 26 2013 *)
    a[ n_] := If[ n < 0, 0, n! SeriesCoefficient[ 1 / (Exp[-x] - x), {x, 0, n}]]; (* Michael Somos, Jan 21 2019 *)
    a[ n_] := If[ n < 0, 0, n! Sum[ (n - k + 1)^k / k!, {k, 0, n}]]; (* Michael Somos, Jan 21 2019 *)
  • PARI
    {a(n) = if( n<0, 0, n! * polcoeff( 1 / (exp(-x + x * O(x^n)) - x), n))};
    
  • PARI
    {a(n) = if( n<0, 0, n! * sum(k=0, n, (n-k+1)^k / k!))}; /* Michael Somos, Jan 21 2019 */

Formula

E.g.f.: 1 / (exp(-x) - x).
a(n) = n!*Sum_{k=0..n} (n-k+1)^k/k!. - Vladeta Jovovic, Aug 31 2003
a(n) = Sum_{k=0..n} (-1)^(n-k)*Stirling2(n, k)*A052820(k). - Vladeta Jovovic, Apr 12 2004
Recurrence: a(n+1) = 1 + Sum_{j=1..n} binomial(n, j)*a(j)*j. - Jon Perry, Apr 25 2005
E.g.f.: 1/(Q(0) - x) where Q(k) = 1 - x/(2*k+1 - x*(2*k+1)/(x - (2*k+2)/Q(k+1) )); (continued fraction ). - Sergei N. Gladkovskii, Apr 04 2013
a(n) ~ n!/((1+c)*c^(n+1)), where c = A030178 = LambertW(1) = 0.5671432904... - Vaclav Kotesovec, Jun 26 2013
O.g.f.: Sum_{k>=0} k!*x^k/(1 - (k + 1)*x)^(k+1). - Ilya Gutkovskiy, Oct 09 2018
a(n) = A006153(n+1)/(n+1). - Seiichi Manyama, Nov 05 2024

A038846 4-fold convolution of A000302 (powers of 4); expansion of g.f. 1/(1-4*x)^4.

Original entry on oeis.org

1, 16, 160, 1280, 8960, 57344, 344064, 1966080, 10813440, 57671680, 299892736, 1526726656, 7633633280, 37580963840, 182536110080, 876173328384, 4161823309824, 19585050869760, 91396904058880, 423311976693760, 1947235092791296, 8901646138474496, 40462027902156800
Offset: 0

Views

Author

Keywords

Comments

Also minimal 3-covers of a labeled n-set that cover 3 points of that set uniquely (if offset is 3). Cf. A057524 for unlabeled case. - Vladeta Jovovic, Sep 02 2000
Also convolution of A020918 with A000984 (central binomial coefficients).
Let M=[1,0,0,i;0,1,i,0;0,i,1,0;i,0,0,1], i=sqrt(-1). Then 1/det(I-xM) = 1/(1-4x)^4. - Paul Barry, Apr 27 2005
With a different offset, number of n-permutations (n=4) of 5 objects u, v, w, z, x with repetition allowed, containing exactly three u's. Example: a(1)=16 because we have uuuv, uuvu, uvuu, vuuu, uuuw, uuwu, uwuu, wuuu, uuuz, uuzu, uzuu, zuuu, uuux, uuxu, uxuu and xuuu. - Zerinvary Lajos, May 19 2008
From A152818. a(n) = A006044/6. - Paul Curtz, Jan 07 2009
Also convolution of A000302 with A038845, also convolution of A002457 with A002802, also convolution of A002697. - Rui Duarte, Oct 08 2011

Crossrefs

Programs

  • GAP
    List([0..30], n-> 4^n*Binomial(n+3,3) ) # G. C. Greubel, Jul 20 2019
  • Magma
    [4^n*Binomial(n+3, 3): n in [0..30]]; // Vincenzo Librandi, Oct 15 2011
    
  • Maple
    seq(seq(binomial(i, j)*4^(i-3), j =i-3), i=3..33); # Zerinvary Lajos, Dec 03 2007
    seq(binomial(n+3,3)*4^n,n=0..30); # Zerinvary Lajos, May 19 2008
  • Mathematica
    Table[4^n*Binomial[n+3,3], {n,0,30}] (* G. C. Greubel, Jul 20 2019 *)
  • PARI
    Vec(1/(1-4*x)^4+O(x^30)) \\ Charles R Greathouse IV, Oct 03 2016
    
  • Sage
    [lucas_number2(n, 4, 0)*binomial(n,3)/2^6 for n in range(3, 33)] # Zerinvary Lajos, Mar 11 2009
    

Formula

a(n) = binomial(n+3, 3)*4^n.
G.f.: 1/(1-4*x)^4.
a(n) = Sum_{a+b+c+d+e+f+g+h=n} f(a)*f(b)*f(c)*f(d)*f(e)*f(f)*f(g)*f(h) with f(n)=A000984(n). - Philippe Deléham, Jan 22 2004
From Amiram Eldar, Jan 05 2022: (Start)
Sum_{n>=0} 1/a(n) = 108*log(4/3) - 30.
Sum_{n>=0} (-1)^n/a(n) = 300*log(5/4) - 66. (End)
E.g.f.: exp(4*x)*(3 + 36*x + 72*x^2 + 32*x^3)/3. - Stefano Spezia, Jan 01 2023

A006043 A traffic light problem: expansion of 2/(1 - 3*x)^3.

Original entry on oeis.org

2, 18, 108, 540, 2430, 10206, 40824, 157464, 590490, 2165130, 7794468, 27634932, 96722262, 334807830, 1147912560, 3902902704, 13172296626, 44165935746, 147219785820, 488149816140, 1610894393262, 5292938720718, 17322344904168, 56485907296200, 183579198712650, 594796603828986
Offset: 0

Views

Author

Keywords

Comments

Column 2 of square array A152818. - Omar E. Pol, Jan 05 2009
In [Bach et al., Section 9], 2*a(n-2) counts the "small diagrams". - Eric M. Schmidt, Sep 23 2017

References

  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Programs

Formula

a(n) = (n+2)*(n+1)*3^n. - Zerinvary Lajos, Apr 25 2007, corrected by R. J. Mathar, Mar 14 2011
a(n) = 2*A027472(n+3) = A116138(n+1)/3. - R. J. Mathar, Mar 14 2011
a(n) = 2*A000217(n+1)*A000244(n). - Zak Seidov, Mar 14 2011
E.g.f.: exp(3*x)*(2 + 12*x + 9*x^2). - Stefano Spezia, Jan 01 2023
From Amiram Eldar, Jan 08 2023: (Start)
Sum_{n>=0} 1/a(n) = 3 - 6*log(3/2).
Sum_{n>=0} (-1)^n/a(n) = 12*log(4/3) - 3. (End)

A006044 a(n) = 4^(n-4)*(n-1)*(n-2)*(n-3).

Original entry on oeis.org

6, 96, 960, 7680, 53760, 344064, 2064384, 11796480, 64880640, 346030080, 1799356416, 9160359936, 45801799680, 225485783040, 1095216660480, 5257039970304, 24970939858944, 117510305218560, 548381424353280, 2539871860162560, 11683410556747776, 53409876830846976
Offset: 4

Views

Author

Keywords

References

  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Column k=3 of square array A152818. - Paul Curtz, Dec 17 2008 [corrected by Omar E. Pol, Jan 07 2009]

Programs

  • Magma
    [4^(n-4)*(n-3)*(n-2)*(n-1): n in [4..30]]; // Vincenzo Librandi, Aug 14 2011
  • Mathematica
    a[n_] := 4^(n - 4)*(n - 1)*(n - 2)*(n - 3); Array[a, 25, 4] (* Amiram Eldar, Jan 08 2023 *)

Formula

G.f. = 6*x^4/(1-4*x)^4. - Emeric Deutsch, Apr 29 2004
a(n) = 6*A038846(n). - R. J. Mathar , Mar 22 2013
E.g.f.: (3 + exp(4*x)*(32*x^3 - 24*x^2 + 12*x - 3))/128. - Stefano Spezia, Jan 01 2023
From Amiram Eldar, Jan 08 2023: (Start)
Sum_{n>=4} 1/a(n) = 18*log(4/3) - 5.
Sum_{n>=4} (-1)^n/a(n) = 50*log(5/4) - 11. (End)

Extensions

More terms from Emeric Deutsch, Apr 29 2004
Erroneous reference deleted by Martin J. Erickson (erickson(AT)truman.edu), Nov 03 2010
Entry revised by N. J. A. Sloane, Dec 27 2021

A152650 Triangle of the numerators of coefficients c(n,k) = [x^k] P(n,x) of certain polynomials P(n,x) given below.

Original entry on oeis.org

1, 1, 1, 1, 2, 1, 1, 2, 3, 1, 1, 4, 9, 4, 1, 1, 2, 9, 8, 5, 1, 1, 4, 27, 32, 25, 6, 1, 1, 4, 81, 32, 125, 18, 7, 1, 1, 8, 81, 128, 625, 36, 49, 8, 1, 1, 2, 243, 256, 625, 54, 343, 32, 9, 1, 1, 4, 729, 1024, 3125, 324, 2401, 256, 81, 10, 1
Offset: 0

Views

Author

Paul Curtz, Dec 10 2008

Keywords

Comments

Let the polynomials P be defined by P(0,x)=u(0), P(n,x)= u(n) + x*Sum_{i=0..n-1} u(i)*P(n-i-1,x) and coefficients u(i)=1/i!. These u are reminiscent of the Taylor expansion of exp(x). Then P(n,x) = Sum_{k=0..n} c(n,k)*x^k.
n!*P(n,x) are the row polynomials of A152818. - Peter Bala, Oct 09 2011
Conjecture: All roots of P(n,x) are real, hence negative. - Jean-François Alcover, Oct 10 2012

Examples

			The triangle c(n,k) and polynomials start in row n = 0 as:
1 = 1;
1, 1 = 1 + x;
1/2, 2, 1 = 1/2 + 2*x + x^2;
1/6, 2, 3, 1, = 1/6+2*x+3*x^2+x^3
1/24, 4/3, 9/2, 4, 1, = 1/24 + 4/3*x + 9/2*x^2 + 4*x^3 + x^4;
1/120, 2/3, 9/2, 8, 5, 1, = 1/120 + 2/3*x + 9/2*x^2 + 8*x^3 + 5*x^4 + x^5;
1/720, 4/15, 27/8, 32/3, 25/2, 6, 1, = 1/720 + 4/15*x + 27/8*x^2 + 32/3*x^3 + 25/2*x^4 + 6*x^5 + x^6;
1/5040, 4/45, 81/40, 32/3, 125/6, 18, 7, 1 = 1/5040 + 4/45*x + 81/40*x^2 + 32/3*x^3 + 125/6*x^4 + 18*x^5 + 7*x^6 + x^7;
		

Crossrefs

Cf. A152656 (denominators), A140749, A141412, A141904, A142048. A152818.

Programs

  • Maple
    u := proc(i) 1/i! end:
    P := proc(n,x) option remember ; if n =0 then u(0); else u(n)+x*add( u(i)*procname(n-1-i,x),i=0..n-1) ; expand(%) ; fi; end:
    A152650 := proc(n,k) p := P(n,x) ; numer(coeftayl(p,x=0,k)) ; end:
    seq(seq(A152650(n,k),k=0..n),n=0..10) ; # R. J. Mathar, Aug 24 2009
  • Mathematica
    ClearAll[u, p]; u[n_] := 1/n!; p[0][x_] := u[0]; p[n_][x_] := p[n][x] = u[n] + x*Sum[u[i]*p[n-i-1][x] , {i, 0, n-1}] // Expand; row[n_] := CoefficientList[p[n][x], x]; Table[row[n], {n, 0, 10}] // Flatten // Numerator (* Jean-François Alcover, Oct 02 2012 *)

Extensions

Edited and extended by R. J. Mathar, Aug 24 2009

A154120 Array read by antidiagonals: T(n,k) = (k+1)^n*(n+k)!.

Original entry on oeis.org

1, 1, 1, 2, 4, 2, 6, 24, 18, 6, 24, 192, 216, 96, 24, 120, 1920, 3240, 1920, 600, 120, 720, 23040, 58320, 46080, 18000, 4320, 720, 5040, 322560, 1224720, 1290240, 630000, 181440, 35280, 5040, 40320, 5160960, 29393280, 41287680, 25200000, 8709120, 1975680
Offset: 0

Views

Author

Omar E. Pol, Jan 05 2009

Keywords

Crossrefs

Programs

  • Maple
    T := proc(n,k) return (k+1)^n*(n+k)!: end: seq(seq(T(n-k,k), k=0..n), n=0..10); # Nathaniel Johnston, May 01 2011

A154372 Triangle T(n,k) = (k+1)^(n-k)*binomial(n,k).

Original entry on oeis.org

1, 1, 1, 1, 4, 1, 1, 12, 9, 1, 1, 32, 54, 16, 1, 1, 80, 270, 160, 25, 1, 1, 192, 1215, 1280, 375, 36, 1, 1, 448, 5103, 8960, 4375, 756, 49, 1, 1, 1024, 20412, 57344, 43750, 12096, 1372, 64, 1
Offset: 0

Views

Author

Paul Curtz, Jan 08 2009

Keywords

Comments

From A152650/A152656,coefficients of other exponential polynomials(*). a(n) is triangle A152818 where terms of each column is divided by the beginning one. See A000004, A001787(n+1), A006043=2*A027472, A006044=6*A038846.
(*) Not factorial as written in A006044. See A000110, Bell-Touchard. Second diagonal is 1,4,9,16,25, denominators of Lyman's spectrum of hydrogen, A000290(n+1) which has homogeneous indices for denominators series of Rydberg-Ritz spectrum of hydrogen.
The matrix inverse starts
1;
-1, 1;
3, -4, 1;
-16, 24, -9, 1;
125, -200, 90, -16, 1;
-1296, 2160, -1080, 240, -25, 1;
16807, -28812, 15435, -3920, 525, -36, 1;
.. compare with A122525 (row reversed). - R. J. Mathar, Mar 22 2013
From Peter Bala, Jan 14 2015: (Start)
Exponential Riordan array [exp(z), z*exp(z)]. This triangle is the particular case a = 0, b = 1, c = 1 of the triangle of generalized Stirling numbers of the second kind S(a,b,c) defined in the Bala link. Cf. A059297.
This is the triangle of connection constants when expressing the monomials x^n as a linear combination of the basis polynomials (x - 1)*(x - k - 1)^(k-1), k = 0,1,2,.... For example, from row 3 we have x^3 = 1 + 12*(x - 1) + 9*(x - 1)*(x - 3) + (x - 1)*(x - 4)^2.
Let M be the infinite lower unit triangular array with (n,k)-th entry (k*(n - k + 1) + 1)/(k + 1)*binomial(n,k). M is the row reverse of A145033. For k = 0,1,2,... define M(k) to be the lower unit triangular block array
/I_k 0\
\ 0 M/ having the k X k identity matrix I_k as the upper left block; in particular, M(0) = M. The infinite product M(0)*M(1)*M(2)*..., which is clearly well-defined, is equal to the present triangle. See the Example section. (End)
T(n,k) is also the number of idempotent partial transformations of {1,2,...,n} having exactly k fixed points. - Geoffrey Critzer, Nov 25 2021

Examples

			With the array M(k) as defined in the Comments section, the infinite product M(0)*M(1)*M(2)*... begins
/1      \ /1        \ /1        \      /1        \
|1 1     ||0 1       ||0 1      |      |1  1      |
|1 3 1   ||0 1 1     ||0 0 1    |... = |1  4  1   |
|1 6 5 1 ||0 1 3 1   ||0 0 1 1  |      |1 12  9  1|
|...     ||0 1 6 5 1 ||0 0 1 3 1|      |...       |
|...     ||...       ||...      |      |          |
- _Peter Bala_, Jan 13 2015
		

Crossrefs

Programs

  • Magma
    /* As triangle */ [[(k+1)^(n-k)*Binomial(n,k) : k in [0..n]]: n in [0.. 15]]; // Vincenzo Librandi, Sep 15 2016
  • Mathematica
    T[n_, k_] := (k + 1)^(n - k)*Binomial[n, k]; Table[T[n, k], {n, 0, 10}, {k, 0, n}] // Flatten (* G. C. Greubel, Sep 15 2016 *)

Formula

T(n,k) = (k+1)^(n-k)*binomial(n,k). k!*T(n,k) gives the entries for A152818 read as a triangular array.
E.g.f.: exp(x*(1+t*exp(x))) = 1 + (1+t)*x + (1+4*t+t^2)*x^2/2! + (1+12*t+9*t^2+t*3)*x^3/3! + .... O.g.f.: Sum_{k>=1} (t*x)^(k-1)/(1-k*x)^k = 1 + (1+t)*x + (1+4*t+t^2)*x^2 + .... Row sums are A080108. - Peter Bala, Oct 09 2011
From Peter Bala, Jan 14 2015: (Start)
Recurrence equation: T(n+1,k+1) = T(n,k+1) + Sum_{j = 0..n-k} (j + 1)*binomial(n,j)*T(n-j,k) with T(n,0) = 1 for all n.
Equals the matrix product A007318 * A059297. (End)

A154306 a(n) = (n+1)^3*(3+n)!/6.

Original entry on oeis.org

1, 32, 540, 7680, 105000, 1451520, 20744640, 309657600, 4849891200, 79833600000, 1381360780800, 25107347865600, 478826764416000, 9568689242112000, 200074178304000000, 4370687116443648000, 99607063051431936000
Offset: 0

Views

Author

Omar E. Pol, Jan 06 2009

Keywords

Comments

Row 3 of square array A152818.

Crossrefs

Programs

Formula

E.g.f.: (1 + 25*x + 67*x^2 + 27*x^3)/(1-x)^7. - R. J. Mathar, Dec 21 2011

Extensions

More terms from Sean A. Irvine, Dec 01 2009
Showing 1-10 of 13 results. Next