A055252 -id:A055252 - cp's OEIS frontend

A055584 Triangle of partial row sums (prs) of triangle A055252.

1, 5, 1, 19, 6, 1, 63, 25, 7, 1, 192, 88, 32, 8, 1, 552, 280, 120, 40, 9, 1, 1520, 832, 400, 160, 49, 10, 1, 4048, 2352, 1232, 560, 209, 59, 11, 1, 10496, 6400, 3584, 1792, 769, 268, 70, 12, 1, 26624, 16896, 9984, 5376, 2561, 1037, 338, 82, 13, 1, 66304, 43520

Offset: 0

Wolfdieter Lang, May 26 2000

In the language of the Shapiro et al. reference (given in A053121) such a lower triangular (ordinary) convolution array, considered as matrix, belongs to the Riordan-group. The G.f. for the row polynomials p(n,x) (increasing powers of x) is (((1-z)^3)/(1-2*z)^4)/(1-x*z/(1-z)).
This is the fourth member of the family of Riordan-type matrices obtained from A007318(n,m) (Pascal's triangle read as lower triangular matrix) by repeated application of the prs-procedure.
The column sequences appear as A049612(n+1), A055585, A001794, A001789(n+3), A027608, A055586 for m=0..5.

			[0] 1
[1] 5, 1
[2] 19, 6, 1
[3] 63, 25, 7, 1
[4] 192, 88, 32, 8, 1
[5] 552, 280, 120, 40, 9, 1
[6] 1520, 832, 400, 160, 49, 10, 1
[7] 4048, 2352, 1232, 560, 209, 59, 11, 1
Fourth row polynomial (n=3): p(3, x)= 63 + 25*x + 7*x^2 + x^3.

Cf. A007318, A055248, A055249, A055252. Row sums: A049600(n+1, 4).

T := (n, k) -> binomial(n, k)*hypergeom([4, k - n], [k + 1], -1):
for n from 0 to 7 do seq(simplify(T(n, k)), k = 0..n) od; # Peter Luschny, Sep 23 2024

a(n, m)=sum(A055252(n, k), k=m..n), n >= m >= 0, a(n, m) := 0 if n

Column m recursion: a(n, m)= sum(a(j, m), j=m..n-1)+ A055252(n, m), n >= m >= 0, a(n, m) := 0 if n

G.f. for column m: (((1-x)^3)/(1-2*x)^4)*(x/(1-x))^m, m >= 0.

T(n, k) = binomial(n, k)*hypergeom([4, k - n], [k + 1], -1). - Peter Luschny, Sep 23 2024

A055583 Seventh column of triangle A055252.

Original entry on oeis.org

1, 10, 58, 256, 955, 3178, 9740, 28064, 77093, 203930, 523262, 1309520, 3209871, 7731642, 18348240, 42989520, 99612345, 228586890, 520090690, 1174401760, 2634019171, 5872021450, 13019115028, 28722588736, 63082326605

Offset: 0

Wolfdieter Lang, May 26 2000

Michael De Vlieger, Table of n, a(n) for n = 0..3295
Robert Davis, Greg Simay, Further Combinatorics and Applications of Two-Toned Tilings, arXiv:2001.11089 [math.CO], 2020.
Index entries for linear recurrences with constant coefficients, signature (10,-42,96,-129,102,-44,8).

Cf. A055252, A055249, A055250, partial sums of A055582.

CoefficientList[Series[1/(((1 - 2 x)^3) (1 - x)^4), {x, 0, 24}], x] (* Michael De Vlieger, Apr 24 2020 *)
LinearRecurrence[{10,-42,96,-129,102,-44,8},{1,10,58,256,955,3178,9740},30] (* Harvey P. Dale, Nov 06 2022 *)

G.f.: 1/(((1-2*x)^3)*(1-x)^4).
a(n) = A055252(n+6, 6).
a(n) = Sum_{j=0..n-1} a(j) + A055250(n), n >= 1.

A001788 a(n) = n(n+1)2^(n-2).

Original entry on oeis.org

0, 1, 6, 24, 80, 240, 672, 1792, 4608, 11520, 28160, 67584, 159744, 372736, 860160, 1966080, 4456448, 10027008, 22413312, 49807360, 110100480, 242221056, 530579456, 1157627904, 2516582400, 5452595200, 11777605632, 25367150592, 54492397568, 116769423360, 249644974080, 532575944704

Offset: 0

N. J. A. Sloane

Number of 2-dimensional faces in (n+1)-dimensional hypercube; also number of 4-cycles in the (n+1)-dimensional hypercube. - Henry Bottomley, Apr 14 2000
Also the number of edges in the (n+1)-halved cube graph. - Eric W. Weisstein, Jun 21 2017
From Philippe Deléham, Apr 28 2004: a(n) is the sum, over all nonempty subsets E of {1, 2, ..., n}, of all elements of E. E.g., a(3) = 24: the nonempty subsets are {1, 2, 3}, {1, 2}, {1, 3}, {2, 3}, {1}, {2}, {3} and 1 + 2 + 3 + 1 + 2 + 1 + 3 + 2 + 3 + 1 + 2 + 3 = 24.
Equivalently, sum of all nodes (except the last one, equal to n+1) of all integer compositions of n+1. - Olivier Gérard, Oct 22 2011
The inverse binomial transform of a(n-k) for k=-1..4 gives A001844, A000290, A000217(n-1), A002620(n-1), A008805(n-4), A000217 interspersed with 0's. - Michael Somos, Jul 18 2003
Take n points on a finite line. They all move with the same constant speed; they instantaneously change direction when they collide with another; and they fall when they quit the line. a(n-1) is the total number of collisions before falling when the initials directions are the 2^n possible. The mean number of collisions is then n(n-1)/8. E.g., a(1)=0 before any collision is possible. a(2)=1 because there is a collision only if the initials directions are, say, right-left. - Emmanuel Moreau, Feb 11 2006
Also number of pericondensed hexagonal systems with n hexagons. For example, if n=5 then the number of pericondensed hexagonal systems with n hexagons is 24. - Parthasarathy Nambi, Sep 06 2006
If X_1,X_2,...,X_n is a partition of a 2n-set X into 2-blocks then, for n>1, a(n-1) is equal to the number of (n+2)-subsets of X intersecting each X_i (i=1,2,...,n). - Milan Janjic, Jul 21 2007
Number of n-permutations of 3 objects u,v,w, with repetition allowed, containing exactly two u's. Example: a(2)=6 because we have uuw, uuv, uwu, uvu, wuu and vuu. - Zerinvary Lajos, Dec 29 2007
For n>0 where [0]={}, the empty set, and [n]={1,2,...n} a(n) is the number of ways to separate [n-1] into three non-overlapping intervals (allowed to be empty) and then choose a subset from each interval. - Geoffrey Critzer, Feb 07 2009
Form an array with m(n,0) = m(0,n) = n^2 and m(i,j) = m(i-1,j-1) + m(i-1,j). Then m(1,n) = A001844(n) and m(n,n) = a(n). - J. M. Bergot, Nov 07 2012
The sum of the number of inversions of all sequences of zeros and ones with length n+1. - Evan M. Bailey, Dec 09 2020
a(n) is the number of strings of length n defined on {0,1,2,3} that contain at most one 2, exactly one 3, and have no restriction on the number of 0s and 1s. For example, a(3)=24 since the strings are 321 (6 of this type), 320 (6 of this type), 310 (6 of this type), 300 (3 of this type) and 311 (3 of this type). - Enrique Navarrete, May 04 2025

			The nodes of an integer composition are the partial sums of its elements, seen as relative distances between nodes of a 1-dimensional polygon. For a composition of 7 such as 1+2+1+3, the nodes are 0,1,3,4,7. Their sum (without the last node) is 8. The sum of all nodes of all 2^(7-1)=64 integer compositions of 7 is 672.

M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, 1964 (and various reprintings), p. 796.
Clifford A. Pickover, The Math Book, From Pythagoras to the 57th Dimension, 250 Milestones in the History of Mathematics, Sterling Publ., NY, 2009, page 282.
A. P. Prudnikov, Yu. A. Brychkov and O.I. Marichev, "Integrals and Series", Volume 1: "Elementary Functions", Chapter 4: "Finite Sums", New York, Gordon and Breach Science Publishers, 1986-1992.
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..500
M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy].
H. J. Brothers, Pascal's Prism: Supplementary Material.
Geoffrey Critzer, Combinatorics of Vector Spaces over Finite Fields, Master's thesis, Emporia State University, 2018.
Robert Davis and Greg Simay, Further Combinatorics and Applications of Two-Toned Tilings, arXiv:2001.11089 [math.CO], 2020.
Herbert Izbicki, Über Unterbäume eines Baumes, Monatshefte fur Mathematik, Vol. 74 (1970), pp. 56-62.
Milan Janjic, Two Enumerative Functions.
Milan Janjic and Boris Petkovic, A Counting Function, arXiv 1301.4550 [math.CO], 2013.
C. W. Jones, J. C. P. Miller, J. F. C. Conn, and R. C. Pankhurst, Tables of Chebyshev polynomials, Proc. Roy. Soc. Edinburgh. Sect. A., Vol. 62, No. 2 (1946), pp. 187-203.
Han Mao Kiah, Alexander Vardy, and Hanwen Yao, Efficient Algorithms for the Bee-Identification Problem, arXiv:2212.09952 [cs.IT], 2022.
Duško Letić, Nenad Cakić, Branko Davidović, Ivana Berković and Eleonora Desnica, Some certain properties of the generalized hypercubical functions, Advances in Difference Equations, Vol. 2011 (2011), Article 60.
Mircea Merca, A Special Case of the Generalized Girard-Waring Formula, J. Integer Sequences, Vol. 15 (2012), Article 12.5.7.
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.
Lara Pudwell, Nathan Chenette and Manda Riehl, Statistics on Hypercube Orientations, AMS Special Session on Experimental and Computer Assisted Mathematics, Joint Mathematics Meetings (Denver 2020).
John Riordan and N. J. A. Sloane, Correspondence, 1974.
R. Tosic, D. Masulovic, I. Stojmenovic, J. Brunvoll, B. N. Cyvin and S. J. Cyvin, Enumeration of polyhex hydrocarbons to h = 17, J. Chem. Inf. Comput. Sci., Vol. 35, No. 2 (1995), pp. 181-187.
Eric Weisstein's World of Mathematics, Edge Count.
Eric Weisstein's World of Mathematics, Graph Cycle.
Eric Weisstein's World of Mathematics, Idempotent Number.
Eric Weisstein's World of Mathematics, Halved Cube Graph.
Eric Weisstein's World of Mathematics, Hypercube Graph.
Index entries for sequences related to Chebyshev polynomials.
Index entries for linear recurrences with constant coefficients, signature (6,-12,8).

Cf. A000079, A001787, A001789, A001793 (sum of all nodes of integer compositions, n included).
Cf. A001844, A038207, A290031 (6-cycles).
Row sums of triangle A094305.
Sequences similar to the form q^(n-2)*binomial(n, 2): A000217 (q=1), this sequence (q=2), A027472 (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).

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

a001788 n = if n < 2 then n else n * (n + 1) * 2 ^ (n - 2)
a001788_list = zipWith (*) a000217_list $ 1 : a000079_list
-- Reinhard Zumkeller, Jul 11 2014

[n*(n+1)*2^(n-2): n in [0..30]]; // G. C. Greubel, Aug 27 2019

A001788 := n->n*(n+1)*2^(n-2);
A001788:=-1/(2*z-1)**3; # Simon Plouffe in his 1992 dissertation; gives sequence without initial zero

CoefficientList[Series[x/(1-2x)^3, {x,0,30}], x]
Table[n*(n+1)*2^(n-2), {n,0,30}]
With[{n = 30}, Join[{0}, Times @@@ Thread[{Accumulate[Range[n]], 2^Range[0, n - 1]}]]] (* Harvey P. Dale, Jul 16 2013 *)
LinearRecurrence[{6, -12, 8}, {0, 1, 6}, 30] (* Harvey P. Dale, Jul 16 2013 *)

PARI
```
a(n)=if(n<0,0,2^n*n*(n+1)/4)
```

A001788_upto(n)=Vec(x/(1-2*x)^3+O(x^n),-n) \\ for illustration. - M. F. Hasler, Oct 05 2024

[n if n < 2 else n * (n + 1) * 2**(n - 2) for n in range(28)] # Zerinvary Lajos, Mar 10 2009

G.f.: x/(1-2*x)^3.
E.g.f.: x*(1 + x)*exp(2*x).
a(n) = 2*a(n-1) + n*2^(n-1) = 2*a(n-1) + A001787(n).
a(n) = A038207(n+1,2).
a(n) = A055252(n, 2).
a(n) = Sum_{i=1..n} i^2 * binomial(n, i): binomial transform of A000290. - Yong Kong, Dec 26 2000
a(n) = Sum_{j=0..n} binomial(n+1,j)*(n+1-j)^2. - Zerinvary Lajos, Aug 22 2006
If the leading 0 is deleted, the binomial transform of A001844: (1, 5, 13, 25, 41, ...); = double binomial transform of [1, 4, 4, 0, 0, 0, ...]. - Gary W. Adamson, Sep 02 2007
a(n) = Sum_{1<=i<=k<=n} (-1)^(i+1)*i^2*binomial(n+1,k+i)*binomial(n+1,k-i). - Mircea Merca, Apr 09 2012
a(0)=0, a(1)=1, a(2)=6, a(n) = 6*a(n-1) - 12*a(n-2) + 8*a(n-3). - Harvey P. Dale, Jul 16 2013
a(n) = Sum_{k=0..n-1} Sum_{i=0..n-1} (k+1) * C(n-1,i). - Wesley Ivan Hurt, Sep 20 2017
From Amiram Eldar, Jan 05 2022: (Start)
Sum_{n>=1} 1/a(n) = 4*(1-log(2)).
Sum_{n>=1} (-1)^(n+1)/a(n) = 12*log(3/2) - 4. (End)

A001793 a(n) = n(n+3)2^(n-3).

Original entry on oeis.org

1, 5, 18, 56, 160, 432, 1120, 2816, 6912, 16640, 39424, 92160, 212992, 487424, 1105920, 2490368, 5570560, 12386304, 27394048, 60293120, 132120576, 288358400, 627048448, 1358954496, 2936012800, 6325010432, 13589544960, 29125246976

Offset: 1

N. J. A. Sloane and Simon Plouffe

Coefficients of Chebyshev T polynomials: the subdiagonal A053120(n+3, n-1), for n > = 1. [rewritten by Wolfdieter Lang, Nov 25 2019]
Number of 132-avoiding permutations of [n+3] containing exactly two 123 patterns. - Emeric Deutsch, Jul 13 2001
Number of Dyck paths of semilength n+2 having pyramid weight n+1 (for pyramid weight see Denise and Simion). Example: a(2)=5 because the Dyck paths of semilength 4 having pyramid weight 3 are: (ud)u(ud)(ud)d, u(ud)(ud)d(ud), u(ud)(ud)(ud)d, u(ud)(uudd)d and u(uudd)(ud)d [here u=(1,1), d=(1,-1) and the maximal pyramids, of total length 3, are shown between parentheses]. - Emeric Deutsch, Mar 10 2004
a(n) is the number of dissections of a regular (n+3)-gon using n-1 noncrossing diagonals such that every piece of the dissection contains at least one non-base side of the (n+3)-gon. (One side of the (n+3)-gon is designated the base.) - David Callan, Mar 23 2004
If X_1,X_2,...,X_n are 2-blocks of a (2n+1)-set X then a(n) is the number of (n+2)-subsets of X intersecting each X_i, (i=1..n). - Milan Janjic, Nov 18 2007
The second corrector line for transforming 2^n offset 0 with a leading 1 into the Fibonacci sequence. - Al Hakanson (hawkuu(AT)gmail.com), Jun 01 2009
Sum of all nodes of all integer compositions of n, see example. - Olivier Gérard, Oct 22 2011
Number of compositions of 2n with exactly two odd summands (see example). - Mamuka Jibladze, Sep 04 2013
4*a(n) is the number of North-East paths from (0,0) to (n+2,n+2) with exactly two east steps below y = x-1 or above y = x+1. It is related to paired pattern P_1 and P_6 in Pan and Remmel's link. - Ran Pan, Feb 04 2016
From Paul Weisenhorn, Oct 18 2019: (Start)
The polynomials S(n,x)= Sum_(k>=1) b(n,k)*x^k has the recurrence relation S(n+2,x)=2*S(n+1,x))-x*S(n) with S(1,x)=1, S(2,x)=2-x and are generated by the coefficients b(n,k). b(n,k) is defined by b(n,k)=Sum_(j=1..k) binomials(k+1,j)*b(n-j,k) or by b(n,k)=((n-2+k)!*(n-1+2k)*2^n)/(4*(n-1)!*k!). b(n,1)=A001792, b(n,2)=A001793, b(n,3)=A001794, b(n,4)=A006974, b(n,5)=A006975, b(n,6)=A006976, b(n,7)=A209404.
The general formula for the sequences with k>=1: a(n)=((n-2+k)!*(n-1+2k)*2^n)/(4*(n-1)!*k!) with n >= 1. (End) [See a comment in A053120 on subdiagonal sequences. - Wolfdieter Lang, Jan 03 2020]

			a(2)=5 since 32415, 32451, 34125, 42135 and 52134 are the only 132-avoiding permutations of 12345 containing exactly two increasing subsequences of length 3.
a(4)=56: the compositions of 4 are 4, 3+1, 1+3, 2+2, 2+1+1, 1+2+1, 1+1+2, 1+1+1+1, the corresponding nodes (partial sums) are {0, 4}, {0, 3, 4}, {0, 1, 4}, {0, 2, 4}, {0, 2, 3, 4}, {0, 1, 3, 4}, {0, 1, 2, 4}, {0, 1, 2, 3, 4}, with individual sums {4, 7, 5, 6, 9, 8, 7, 10} and total 56. - _Olivier Gérard_, Oct 22 2011
The a(3)=18 compositions of 2*3=6 with two odd summands are 5+1, 1+5, 3+3, 4+1+1, 1+4+1, 1+1+4, 3+2+1, 3+1+2, 2+3+1, 2+1+3, 1+3+2, 1+2+3, 2+2+1+1, 2+1+2+1, 2+1+1+2, 1+2+2+1, 1+2+1+2, 1+1+2+2. - _Mamuka Jibladze_, Sep 04 2013

M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, 1964 (and various reprintings), p. 795.
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 = 1..500
M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy].
Jean-Luc Baril, Sergey Kirgizov and Vincent Vajnovszki, Descent distribution on Catalan words avoiding a pattern of length at most three, arXiv:1803.06706 [math.CO], 2018.
David Callan, A recursive bijective approach to counting permutations containing 3-letter patterns, arXiv:math/0211380 [math.CO], 2002.
Robert Davis and Greg Simay, Further Combinatorics and Applications of Two-Toned Tilings, arXiv:2001.11089 [math.CO], 2020.
Alain Denise and Rodica Simion, Two combinatorial statistics on Dyck paths, Discrete Math., Vol. 137, No. 1-3 (1995), pp. 155-176.
Filippo Disanto, Some Statistics on the Hypercubes of Catalan Permutations, Journal of Integer Sequences, Vol. 18 (2015), Article 15.2.2.
Milan Janjic, Two Enumerative Functions.
Milan Janjić, On Restricted Ternary Words and Insets, arXiv:1905.04465 [math.CO], 2019.
C. W. Jones, J. C. P. Miller, J. F. C. Conn and R. C. Pankhurst, Tables of Chebyshev polynomials Proc. Roy. Soc. Edinburgh. Sect. A., Vol. 62, No. 2 (1946), pp. 187-203.
Igor Makhlin, Gröbner fans of Hibi ideals, generalized Hibi ideals and flag varieties, arXiv:2003.02916 [math.CO], 2020.
Ran Pan and Jeffrey B. Remmel, Paired patterns in lattice paths, arXiv:1601.07988 [math.CO], 2016.
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.
Lara Pudwell, Connor Scholten, Tyler Schrock and Alexa Serrato, Noncontiguous pattern containment in binary trees, ISRN Comb. 2014, Article ID 316535, 8 p. (2014), tr_{t4}(n,2).
Aaron Robertson, Herbert S. Wilf and Doron Zeilberger, Permutation patterns and continued fractions, Electr. J. Combin., Vol. 6 (1999), Article R38.
I. Tasoulas, K. Manes, and A. Sapounakis, Hamiltonian intervals in the lattice of binary paths, Elect. J. Comb. (2024) Vol. 31, Issue 1, P1.39.
Index entries for sequences related to Chebyshev polynomials.
Index entries for linear recurrences with constant coefficients, signature (6,-12,8).

a(n) = A039991(n+3, 4) = A055252(n, 1).
Cf. A058396, A058645.
Cf. A053120.

List([1..30], n-> 2^(n-3)*n*(n+3) ); # G. C. Greubel, Nov 06 2019

[2^(n-3)*n*(n+3): n in [1..30]]; // G. C. Greubel, Nov 06 2019

A001793 := n*(n+3)*2^(n-3); seq(A001793(n), n=1..40);
A001793:=(-1+z)/(2*z-1)**3; # Simon Plouffe in his 1992 dissertation.

Table[n(n+3)*2^(n-3), {n, 28}] (* or *) Rest@ CoefficientList[Series[x(1-x)/(1-2x)^3, {x, 0, 28}], x] (* Michael De Vlieger, Sep 21 2017 *)

a(n)=n*(n+3)<<(n-3) \\ Charles R Greathouse IV, Sep 24 2015

[2^(n-3)*n*(n+3) for n in (1..30)] # G. C. Greubel, Nov 06 2019

G.f.: x*(1-x)/(1-2*x)^3. Binomial transform of squares [1, 4, 9, ...].
a(n) = Sum_{k=0..floor((n+4)/2)} C(n+4, 2k)*C(k, 2). - Paul Barry, May 15 2003
With two leading zeros, binomial transform of quarter-squares A002620. - Paul Barry, May 27 2003
a(n) = Sum_{k=0..n+2} C(n+2, k) * floor(k^2/4). - Paul Barry, May 27 2003
a(n) = Sum_{i=0..j} binomial(i+1, 2)*binomial(j, i). - Jon Perry, Feb 26 2004
With one leading zero, binomial transform of triangular numbers A000217. - Philippe Deléham, Aug 02 2005
a(n) = Sum_{k=0..n+1} (-1)^(n-k+1)*C(k, n-k+1)*k*C(2k, k)/2. - Paul Barry, Oct 07 2005
Left-shifted sequence is binomial transform of left-shifted squares (A000290). - Franklin T. Adams-Watters, Nov 29 2006
Binomial transform of a(n) = n^2 offset 1. a(3)=18. - Al Hakanson (hawkuu(AT)gmail.com), Jun 01 2009
a(n) = (1/n) * Sum_{k=0..n} binomial(n,k)*k^3. - Gary Detlefs, Nov 26 2011
For n > 1, a(n) = Sum_{k=0..n-1} Sum_{i=0..n} (k+2) * C(n-2,i). - Wesley Ivan Hurt, Sep 20 2017
a(n) = a(-3-n)*2^(2*n+3), a(n)*(n+3) = -A058645(-3-n)*2^(2*n+3) for all n in Z. - Michael Somos, Apr 19 2019
E.g.f.: (1/2)*exp(2*x)*x*(2 + x). - Stefano Spezia, Aug 17 2019
From Amiram Eldar, Jan 05 2022: (Start)
Sum_{n>=1} 1/a(n) = 128/9 - 56*log(2)/3.
Sum_{n>=1} (-1)^(n+1)/a(n) = 24*log(3/2) - 80/9. (End)

A049611 a(n) = T(n,2), array T as in A049600.

Original entry on oeis.org

0, 1, 4, 13, 38, 104, 272, 688, 1696, 4096, 9728, 22784, 52736, 120832, 274432, 618496, 1384448, 3080192, 6815744, 15007744, 32899072, 71827456, 156237824, 338690048, 731906048, 1577058304, 3388997632, 7264534528, 15535702016

Offset: 0

Clark Kimberling

Refer to A089378 and A075729 for the definition of hierarchies, subhierarchies and one-step transitions. - Thomas Wieder, Feb 28 2004
We may ask for the number of one-step transitions (NOOST) between all unlabeled hierarchies of n elements with the restriction that no subhierarchies are allowed. As an example, consider n = 4 and the hierarchy H1 = [[2,2]] with two elements on level 1 and two on level 2. Starting from H1 the hierarchies [[1, 3]], [[2, 1, 1]], [[1, 2, 1]] can be reached by moving one element only, but [[1, 1, 2]] cannot be reached in a one-step transitition. The solution is n = 1, NOOST = 0; n = 2, NOOST = 1; n = 3, NOOST = 4; n = 4, NOOST = 13; n = 5, NOOST = 38; n = 6, NOOST = 104; n = 7, NOOST = 272; n = 8, NOOST = 688; n = 9, NOOST = 1696. This is sequence A049611. - Thomas Wieder, Feb 28 2004
If X_1,X_2,...,X_n are 2-blocks of a (2n+2)-set X then, for n>=1, a(n+1) is the number of (n+2)-subsets of X intersecting each X_i, (i=1,2,...,n). - Milan Janjic, Nov 18 2007
In each composition (ordered partition) of the integer n, circle the first summand once, circle the second summand twice, etc. a(n) is the total number of circles in all compositions of n (that is, add k*(k+1)/2 for each composition into k parts). Note the O.g.f. is B(A(x)) where A(x)= x/(1-x) and B(x)= x/(1-x)^3.
This is the Riordan transform with the Riordan matrix A097805 (of the associated type) of the triangular number sequence A000217. See a Feb 17 2017 comment on A097805. - Wolfdieter Lang, Feb 17 2017

Vincenzo Librandi, Table of n, a(n) for n = 0..1000
Robert Davis, Greg Simay, Further Combinatorics and Applications of Two-Toned Tilings, arXiv:2001.11089 [math.CO], 2020.
Milan Janjic, Two Enumerative Functions
M. Janjic, On a class of polynomials with integer coefficients, JIS 11 (2008) 08.5.2.
M. Janjic and B. Petkovic, A Counting Function, arXiv preprint arXiv:1301.4550 [math.CO], 2013. - From _N. J. A. Sloane_, Feb 13 2013
M. Janjic, B. Petkovic, A Counting Function Generalizing Binomial Coefficients and Some Other Classes of Integers, J. Int. Seq. 17 (2014) # 14.3.5.
S. Kitaev, J. Remmel, p-Ascent Sequences, arXiv:1503.00914 [math.CO], 2015.
Sergey Kitaev, J. B. Remmel, A note on p-Ascent Sequences, Preprint, 2016.
Igor Makhlin, Gröbner fans of Hibi ideals, generalized Hibi ideals and flag varieties, arXiv:2003.02916 [math.CO], 2020.
Agustín Moreno Cañadas, Hernán Giraldo, Gabriel Bravo Rios, On the Number of Sections in the Auslander-Reiten Quiver of Algebras of Dynkin Type, Far East Journal of Mathematical Sciences (FJMS), Vol. 101, No. 8 (2017), pp. 1631-1654.
Index entries for linear recurrences with constant coefficients, signature (6,-12,8).

a(n+1)= A055252(n, 0), n >= 0. Row sums of triangle A055249.

Cf. A001793, A058396, A075729, A089378, A000217.

CoefficientList[Series[x (1-x)^2/(1-2x)^3,{x,0,40}],x] (* Harvey P. Dale, Sep 24 2013 *)

concat(0, Vec(x*(1-x)^2/(1-2*x)^3+O(x^99))) \\ Charles R Greathouse IV, Jun 12 2015

G.f.: x*(1-x)^2/(1-2*x)^3.
Binomial transform of quarter squares A002620(n+1): a(n) = Sum_{k=0..n} binomial(n, k)*floor((k+1)^2/4). - Paul Barry, May 27 2003
a(n) = 2^(n-4)*(n^2+5*n+2) - 0^n/8. - Paul Barry, Jun 09 2003
a(n+2) = A001787(n+2) + A001788(n). - Creighton Dement, Aug 02 2005
a(n) = Hyper2F1([-n+1, 3], [1], -1) for n>0. - Peter Luschny, Aug 02 2014
a(n) = Sum_{k=0..n-1} Sum_{j=0..n-1} Sum_{i=0..n-1} binomial(n-1, i+j+k). - Yalcin Aktar, Aug 27 2023

A055580 Björner-Welker sequence: 2^n*(n^2 + n + 2) - 1.

Original entry on oeis.org

1, 7, 31, 111, 351, 1023, 2815, 7423, 18943, 47103, 114687, 274431, 647167, 1507327, 3473407, 7929855, 17956863, 40370175, 90177535, 200278015, 442499071, 973078527, 2130706431, 4647288831, 10099884031, 21877489663

Offset: 0

Wolfdieter Lang, May 26 2000; revised Feb 12 2001

a(n) is the d=1 Betti number of the complement of '3-equal' arrangements in n-dimensional real space, see Björner-Welker reference, Table I, pp. 308-309, column '1' with k=3 and Th. 5.2, pp. 297-298.
Binomial transform of [1/2, 2/3, 3/4, 4/5, ...] = 1/2, 7/6, 31/12, 111/20, 351/30, 1023/42, ..., where 2, 6, 12, 20, ... = A002378 (deleting the zero). - Gary W. Adamson, Apr 28 2005
Number of three-dimensional block structures associated with n joint systems in the construction of stable underground structures. - Richard M. Green, Jul 26 2011
Number of monotone mappings from the chain with three points to the complete binary tree of height n (n+1 levels). For example, the seven monotone mappings from the chain with three points (denoted 1,2,3, in order) to the complete binary tree with two levels (with a the root of the tree, and b, c the atoms) are: f(1)=f(2)=f(3)=a; f(1)=f(2)=a, f(3)=b; f(1)=f(2)=a, f(3)=c; f(1)=a, f(2)=f(3)=b; f(1)=a, f(2)=f(3)=c; f(1)=f(2)=f(3)=b; f(1)=f(2)=f(3)=c. - Pietro Codara, Mar 26 2015

H. Barcelo and S. Smith, The discrete fundamental group of the order complex of B_n, Abstract 1020-05-141, 1020th Meeting Amer. Math. Soc., Cincinatti, Ohio, Oct 21-22, 2006.

Vincenzo Librandi, Table of n, a(n) for n = 0..1000
Henry Adams, Samir Shukla, and Anurag Singh, Čech complexes of hypercube graphs, arXiv:2212.05871 [math.CO], 2022.
H. Barcelo and R. Laubenbacher, Perspectives on A-homotopy theory and its applications, Discr. Math., 298 (2005), 39-61.
H. Barcelo and S. Smith, The discrete fundamental group of the order complex of B_n, arXiv:0711.0915 [math.CO], 2007.
A. Björner and V. Welker, The homology of "k-equal" manifolds and related partition lattices, Adv. Math., 110 (1995), 277-313.
Harry Crane, Left-right arrangements, set partitions, and pattern avoidance, Australasian Journal of Combinatorics, 61(1) (2015), 57-72.
Robert Davis and Greg Simay, Further Combinatorics and Applications of Two-Toned Tilings, arXiv:2001.11089 [math.CO], 2020.
G.G. Kocharyan and A.M. Kulyukin, Construction of a three-dimensional block structure on the basis of jointed rock parameters estimating the stability of underground workings, Soil Mech. Found. Eng., 31 (1994), 62-66.
A. F. Y. Zhao, Pattern Popularity in Multiply Restricted Permutations, Journal of Integer Sequences, 17 (2014), #14.10.3.
Index entries for linear recurrences with constant coefficients, signature (7,-18,20,-8).

Fourth column of triangle A055252.

Cf. A055252, A055249, A045618, A000337, A001788, A066185.

[2^n*(n^2+n+2)-1: n in [0..35]]; // Vincenzo Librandi, Jul 28 2011

Table[ n*(n+1)*2^(n-2), {n, 0, 26}] // Accumulate // Rest (* Jean-François Alcover, Jul 09 2013, after Paul Barry *)
LinearRecurrence[{7,-18,20,-8},{1,7,31,111},30] (* Harvey P. Dale, Nov 27 2014 *)

a(n)=(n^2+n+2)<Charles R Greathouse IV, Jul 28 2011

a(n) = A055252(n+3, 3).
a(n) = Sum_{j=0..n-1} a(j) + A045618(n), n >= 1.
G.f.: 1/((1-2*x)^3*(1-x)).
Partial sums of A001788 (without leading zero). - Paul Barry, Jun 26 2003
a(n) = A001788(n) - A000337(n). - Jon Perry, Dec 12 2003
a(n) = A119258(n+4,n). - Reinhard Zumkeller, May 11 2006
E.g.f.: 2*(1 + 2*x + 2*x^2)*exp(2*x) - exp(x). - G. C. Greubel, Oct 28 2016
a(n) = Sum_{k=0..n+1} Sum_{i=0..n+1} i^2 * C(k,i). - Wesley Ivan Hurt, Sep 21 2017

Edited (for consistency with change of offset) by M. F. Hasler, Nov 03 2012

A055249 Triangle of partial row sums (prs) of triangle A055248 (prs of Pascal's triangle A007318).

Original entry on oeis.org

1, 3, 1, 8, 4, 1, 20, 12, 5, 1, 48, 32, 17, 6, 1, 112, 80, 49, 23, 7, 1, 256, 192, 129, 72, 30, 8, 1, 576, 448, 321, 201, 102, 38, 9, 1, 1280, 1024, 769, 522, 303, 140, 47, 10, 1, 2816, 2304, 1793, 1291, 825, 443, 187, 57, 11, 1, 6144, 5120, 4097, 3084, 2116, 1268, 630

Offset: 0

Wolfdieter Lang, May 26 2000

In the language of the Shapiro et al. reference (given in A053121) such a lower triangular (ordinary) convolution array, considered as matrix, belongs to the Riordan-group. The G.f. for the row polynomials p(n,x) (increasing powers of x) is ((1-z)/(1-2*z)^2)/(1-x*z/(1-z)).
This is the second member of the family of Riordan-type matrices obtained from A007318(n,m) (Pascal's triangle read as lower triangular matrix) by repeated application of the prs-procedure.
The column sequences appear in A001792, A001787, A000337, A045618, A045889, A034009, A055250, A055251 for m=0..7.

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

G. C. Greubel, Table of n, a(n) for n = 0..1274

Cf. A007318, A055248, A008949. Row sums: A049611(n+1) = A055252(n, 0).

a[n_, m_] := Binomial[n, m]*Hypergeometric2F1[2, m-n, m+1, -1]; Table[a[n, m], {n, 0, 10}, {m, 0, n}] // Flatten (* Jean-François Alcover, Mar 11 2014 *)

a(n, m) = Sum_{k=m,..,n} ( A055248(n, k) ), n >= m >= 0, a(n, m) := 0 if n

Column m recursion: a(n, m) = Sum_{j=m,..,(n-1)} ( a(j, m) ) + A055248(n, m), n >= m >= 0, a(n, m) := 0 if n

G.f. for column m: ((1-x)/(1-2*x)^2)*(x/(1-x))^m, m >= 0.

a(n, m) = binomial(n, m) * 2F1(2, m-n; m+1; -1) where 2F1 is the hypergeometric function. Jean-François Alcover, Mar 11 2014

A049612 a(n) = T(n,3), array T as in A049600.

Original entry on oeis.org

0, 1, 5, 19, 63, 192, 552, 1520, 4048, 10496, 26624, 66304, 162560, 393216, 940032, 2224128, 5214208, 12124160, 27983872, 64159744, 146210816, 331350016, 747110400, 1676673024, 3746562048, 8338276352, 18488492032

Offset: 0

Clark Kimberling

nonn

If X_1, X_2, ..., X_n are 2-blocks of a (2n+3)-set X then, for n >= 1, a(n+1) is the number of (n+3)-subsets of X intersecting each X_i, (i=1,2,...,n). - Milan Janjic, Nov 18 2007

Robert Cori, Gabor Hetyei, Genus one partitions, in 26th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2014), 2014, Chicago, United States. Discrete Mathematics and Theoretical Computer Science, DMTCS Proceedings vol. AT, pp. 333-344,

R. Cori and G. Hetyei, Counting genus one partitions and permutations, arXiv preprint arXiv:1306.4628 [math.CO], 2013.
R. Cori and G. Hetyei, How to count genus one partitions, FPSAC 2014, Chicago, Discrete Mathematics and Theoretical Computer Science (DMTCS), Nancy, France, 2014, 333-344.
Milan Janjic, Two Enumerative Functions
S. Kitaev and J. Remmel, p-Ascent Sequences, arXiv preprint arXiv:1503.00914 [math.CO], 2015.
Sergey Kitaev and Jeffrey Remmel, A note on p-ascent sequences, preprint, 2016.
Index entries for linear recurrences with constant coefficients, signature (8,-24,32,-16)

Cf. A049600.

Row sums of triangle A055252. a(n+1) = A055584(n, 0), n >= 0.

CoefficientList[Series[x (1-x)^3/(1-2x)^4,{x,0,30}],x] (* or *) Join[ {0},LinearRecurrence[{8,-24,32,-16},{1,5,19,63},30]] (* Harvey P. Dale, Jan 07 2014 *)

G.f.: x*(1-x)^3 /(1-2*x)^4.
a(n) = Sum_{k=0..floor((n+3)/2)} C(n+3, 2k)*C(k+1, 3). - Paul Barry, May 15 2003
a(n+1) = 2^n*n^3/48 + 5*2^n*n^2/16 + 7*2^n*n/6 + 2^n, n>=1. - Milan Janjic, Nov 18 2007
Binomial transform of the tetrahedral numbers A000292 when omitting the initial 0 in both sequences. - Carl Najafi, Sep 08 2011

Showing 1-10 of 11 results. Next

cp's OEIS Frontend

A055582 Sixth column of triangle A055252.

Views

Author

Keywords

Links

Crossrefs

Programs

Mathematica

Formula

A055581 Fifth column of triangle A055252.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

Formula

A055584 Triangle of partial row sums (prs) of triangle A055252.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Maple

Formula

A055583 Seventh column of triangle A055252.

Views

Author

Keywords

Links

Crossrefs

Programs

Mathematica

Formula

A001788 a(n) = n*(n+1)*2^(n-2).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

GAP

Haskell

Magma

Maple

Mathematica

PARI

PARI

Sage

Formula

A001793 a(n) = n*(n+3)*2^(n-3).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

GAP

Magma

Maple

Mathematica

PARI

Sage

Formula

A049611 a(n) = T(n,2), array T as in A049600.

Views

Author

Keywords

Comments

A001788 a(n) = n(n+1)2^(n-2).

A001793 a(n) = n(n+3)2^(n-3).