A350499 -id:A350499 - cp's OEIS frontend

A134264 Coefficients T(j, k) of a partition transform for Lagrange compositional inversion of a function or generating series in terms of the coefficients of the power series for its reciprocal. Enumeration of noncrossing partitions and primitive parking functions. T(n,k) for n >= 1 and 1 <= k <= A000041(n-1), an irregular triangle read by rows.

1, 1, 1, 1, 1, 3, 1, 1, 4, 2, 6, 1, 1, 5, 5, 10, 10, 10, 1, 1, 6, 6, 3, 15, 30, 5, 20, 30, 15, 1, 1, 7, 7, 7, 21, 42, 21, 21, 35, 105, 35, 35, 70, 21, 1, 1, 8, 8, 8, 4, 28, 56, 56, 28, 28, 56, 168, 84, 168, 14, 70, 280, 140, 56, 140, 28, 1, 1, 9, 9, 9, 9, 36, 72

Offset: 1

Tom Copeland, Jan 14 2008

Coefficients are listed in Abramowitz and Stegun order (A036036).
Given an invertible function f(t) analytic about t=0 (or a formal power series) with f(0)=0 and Df(0) not equal to 0, form h(t) = t / f(t) and let h_n denote the coefficient of t^n in h(t).
Lagrange inversion gives the compositional inverse about t=0 as g(t) = Sum_{j>=1} ( t^j * (1/j) * Sum_{permutations s with s(1) + s(2) + ... + s(j) = j - 1} h_s(1) * h_s(2) * ... * h_s(j) ) = t * T(1,1) * h_0 + Sum_{j>=2} ( t^j * Sum_{k=1..(# of partitions for j-1)} T(j,k) * H(j-1,k ; h_0,h_1,...) ), where H(j-1,k ; h_0,h_1,...) is the k-th partition for h_1 through h_(j-1) corresponding to n=j-1 on page 831 of Abramowitz and Stegun (ordered as in A&S) with (h_0)^(j-m)=(h_0)^(n+1-m) appended to each partition subsumed under n and m of A&S.
Denoting h_n by (n') for brevity, to 8th order in t,
g(t) = t * (0')
+ t^2 * [ (0') (1') ]
+ t^3 * [ (0')^2 (2') + (0') (1')^2 ]
+ t^4 * [ (0')^3 (3') + 3 (0')^2 (1') (2') + (0') (1')^3 ]
+ t^5 * [ (0')^4 (4') + 4 (0')^3 (1') (3') + 2 (0')^3 (2')^2 + 6 (0')^2 (1')^2 (2') + (0') (1')^4 ]
+ t^6 * [ (0')^5 (5') + 5 (0')^4 (1') (4') + 5 (0')^4 (2') (3') + 10 (0')^3 (1')^2 (3') + 10 (0')^3 (1') (2')^2 + 10 (0')^2 (1')^3 (2') + (0') (1')^5 ]
+ t^7 * [ (0')^6 (6') + 6 (0')^5 (1') (5') + 6 (0')^5 (2') (4') + 3 (0')^5 (3')^2 + 15 (0')^4 (1')^2 (4') + 30 (0')^4 (1') (2') (3') + 5 (0')^4 (2')^3 + 20 (0')^3 (1')^3 (3') + 30 (0')^3 (1')^2 (2')^2 + 15 (0')^2 (1')^4 (2') + (0') (1')^6]
+ t^8 * [ (0')^7 (7') + 7 (0')^6 (1') (6') + 7 (0')^6 (2') (5') + 7  (0')^6 (3') (4') + 21 (0')^5 (1')^2* (5') + 42 (0')^5 (1') (2') (4') + 21 (0')^5 (1') (3')^2 + 21 (0')^5 (2')^2 (3') + 35 (0')^4 (1')^3 (4') + 105 (0)^4 (1')^2 (2') (3') + 35 (0')^4 (1') (2')^3  + 35 (0')^3 (1')^4 (3') + 70 (0')^3 (1')^3 (2')^2 + 21 (0')^2 (1')^5 (2') + (0') (1')^7 ]
+ ..., where from the formula section, for example, T(8,1',2',...,7') = 7! / ((8 - (1'+ 2' + ... + 7'))! * 1'! * 2'! * ... * 7'!) are the coefficients of the integer partitions (1')^1' (2')^2' ... (7')^7' in the t^8 term.
A125181 is an extended, reordered version of the above sequence, omitting the leading 1, with alternate interpretations.
If the coefficients of partitions with the same exponent for h_0 are summed within rows, A001263 is obtained, omitting the leading 1.
From identification of the elements of the inversion with those on page 25 of the Ardila et al. link, the coefficients of the irregular table enumerate non-crossing partitions on [n]. - Tom Copeland, Oct 13 2014
From Tom Copeland, Oct 28-29 2014: (Start)
Operating with d/d(1') = d/d(h_1) on the n-th partition polynomial Prt(n;h_0,h_1,..,h_n) in square brackets above associated with t^(n+1) generates n * Prt(n-1;h_0,h_1,..,h_(n-1)); therefore, the polynomials are an Appell sequence of polynomials in the indeterminate h_1 when h_0=1 (a special type of Sheffer sequence).
Consequently, umbrally, [Prt(.;1,x,h_2,..) + y]^n = Prt(n;1,x+y,h_2,..); that is, Sum_{k=0..n} binomial(n,k) * Prt(k;1,x,h_2,..) * y^(n-k) = Prt(n;1,x+y,h_2,..).
Or, e^(x*z) * exp[Prt(.;1,0,h_2,..) * z] = exp[Prt(.;1,x,h_2,..) * z]. Then with x = h_1 = -(1/2) * d^2[f(t)]/dt^2 evaluated at t=0, the formal Laplace transform from z to 1/t of this expression generates g(t), the comp. inverse of f(t), when h_0 = 1 = df(t)/dt eval. at t=0.
I.e., t / (1 - t*(x + Prt(.;1,0,h_2,..))) = t / (1 - t*Prt(.;1,x,h_2,..)) = g(t), interpreted umbrally, when h_0 = 1.
(End)
Connections to and between arrays associated to the Catalan (A000108 and A007317), Riordan (A005043), Fibonacci (A000045), and Fine (A000957) numbers and to lattice paths, e.g., the Motzkin, Dyck, and Łukasiewicz, can be made explicit by considering the inverse in x of the o.g.f. of A104597(x,-t), i.e., f(x) = P(Cinv(x),t-1) = Cinv(x) / (1 + (t-1)*Cinv(x)) = x*(1-x) / (1 + (t-1)*x*(1-x)) = (x-x^2) / (1 + (t-1)*(x-x^2)), where  Cinv(x) = x*(1-x) is the inverse of C(x) = (1 - sqrt(1-4*x)) / 2, a shifted o.g.f. for the Catalan numbers, and P(x,t) = x / (1+t*x) with inverse Pinv(x,t) = -P(-x,t) = x / (1-t*x). Then h(x,t) = x / f(x,t) = x * (1+(t-1)Cinv(x)) / Cinv(x) = 1 + t*x + x^2 + x^3 + ..., i.e., h_1=t and all other coefficients are 1, so the inverse of f(x,t) in x, which is explicitly in closed form finv(x,t) = C(Pinv(x,t-1)), is given by A091867, whose coefficients are sums of the refined Narayana numbers above obtained by setting h_1=(1')=t in the partition polynomials and all other coefficients to one. The group generators C(x) and P(x,t) and their inverses allow associations to be easily made between these classic number arrays. - Tom Copeland, Nov 03 2014
From Tom Copeland, Nov 10 2014: (Start)
Inverting in x with t a parameter, let F(x;t,n) = x - t*x^(n+1). Then h(x) = x / F(x;t,n) = 1 / (1-t*x^n) = 1 + t*x^n + t^2*x^(2n) + t^3*x^(3n) + ..., so h_k vanishes unless k = m*n with m an integer in which case h_k = t^m.
Finv(x;t,n) = Sum_{j>=0} {binomial((n+1)*j,j) / (n*j + 1)} * t^j * x^(n*j + 1), which gives the Catalan numbers for n=1, and the Fuss-Catalan sequences for n>1 (see A001764, n=2). [Added braces to disambiguate the formula. - N. J. A. Sloane, Oct 20 2015]
This relation reveals properties of the partitions and sums of the coefficients of the array. For n=1, h_k = t^k for all k, implying that the row sums are the Catalan numbers. For n = 2, h_k for k odd vanishes, implying that there are no blocks with only even-indexed h_k on the even-numbered rows and that only the blocks containing only even-sized bins contribute to the odd-row sums giving the Fuss-Catalan numbers for n=2. And so on, for n > 2.
These relations are reflected in any combinatorial structures enumerated by this array and the partitions, such as the noncrossing partitions depicted for a five-element set (a pentagon) in Wikipedia.
(End)
From Tom Copeland, Nov 12 2014: (Start)
An Appell sequence possesses an umbral inverse sequence (cf. A249548). The partition polynomials here, Prt(n;1,h_1,...), are an Appell sequence in the indeterminate h_1=u, so have an e.g.f. exp[Prt(.;1,u,h_2...)*t] = e^(u*t) * exp[Prt(.;1,0,h2,...)*t] with umbral inverses with an e.g.f  e^(-u*t) / exp[Prt(.;1,0,h2,...)*t]. This makes contact with the formalism of A133314 (cf. also A049019 and A019538) and the signed, refined face partition polynomials of the permutahedra (or their duals), which determine the reciprocal of exp[Prt(.,0,u,h2...)*t] (cf. A249548) or exp[Prt(.;1,u,h2,...)*t], forming connections among the combinatorics of permutahedra and the noncrossing partitions, Dyck paths and trees (cf. A125181), and many other important structures isomorphic to the partitions of this entry, as well as to formal cumulants through A127671 and algebraic structures of Lie algebras. (Cf. relationship of permutahedra with the Eulerians A008292.)
(End)
From Tom Copeland, Nov 24 2014: (Start)
The n-th row multiplied by n gives the number of terms in the homogeneous symmetric monomials generated by [x(1) + x(2) + ... + x(n+1)]^n under the umbral mapping x(m)^j = h_j, for any m. E.g., [a + b + c]^2 = [a^2 + b^2 + c^2] + 2 * [a*b + a*c + b*c] is mapped to [3 * h_2] + 2 * [3 * h_1^2], and 3 * A134264(3) = 3 *(1,1)= (3,3) the number of summands in the two homogeneous polynomials in the square brackets. For n=3, [a + b + c + d]^3 = [a^3 + b^3 + ...] + 3 [a*b^2 + a*c^2 + ...] + 6 [a*b*c + a*c*d + ...] maps to  [4 * h_3] + 3 [12 * h_1 * h_2] + 6 [4 * (h_1)^3], and the number of terms in the brackets is given by 4 * A134264(4) = 4 * (1,3,1) = (4,12,4).
The further reduced expression is 4 h_3 + 36 h_1 h_2 + 24 (h_1)^3 = A248120(4) with h_0 = 1. The general relation is n * A134264(n) = A248120(n) / A036038(n-1) where the arithmetic is performed on the coefficients of matching partitions in each row n.
Abramowitz and Stegun give combinatorial interpretations of A036038 and relations to other number arrays.
This can also be related to repeated umbral composition of Appell sequences and topology with the Bernoulli numbers playing a special role. See the Todd class link.
(End)
These partition polynomials are dubbed the Voiculescu polynomials on page 11 of the He and Jejjala link. - Tom Copeland, Jan 16 2015
See page 5 of the Josuat-Verges et al. reference for a refinement of these partition polynomials into a noncommutative version composed of nondecreasing parking functions. - Tom Copeland, Oct 05 2016
(Per Copeland's Oct 13 2014 comment.) The number of non-crossing set partitions whose block sizes are the parts of the n-th integer partition, where the ordering of integer partitions is first by total, then by length, then lexicographically by the reversed sequence of parts. - Gus Wiseman, Feb 15 2019
With h_0 = 1 and the other h_n replaced by suitably signed partition polynomials of A263633, the refined face partition polynomials for the associahedra of normalized A133437 with a shift in indices are obtained (cf. In the Realm of Shadows). - Tom Copeland, Sep 09 2019
Number of primitive parking functions associated to each partition of n. See Lemma 3.8 on p. 28 of Rattan. - Tom Copeland, Sep 10 2019
With h_n = n + 1, the d_k (A006013) of Table 2, p. 18, of Jong et al. are obtained, counting the n-point correlation functions in a quantum field theory. - Tom Copeland, Dec 25 2019
By inspection of the diagrams on Robert Dickau's website, one can see the relationship between the monomials of this entry and the connectivity of the line segments of the noncrossing partitions. - Tom Copeland, Dec 25 2019
Speicher has examples of the first four inversion partition polynomials on pp. 22 and 23 with his k_n equivalent to h_n = (n') here with h_0 = 1. Identifying z = t, C(z) = t/f(t) = h(t), and M(z) = f^(-1)(t)/t, then statement (3), on p. 43, of Theorem 3.26, C(z M(z)) = M(z), is equivalent to substituting f^(-1)(t) for t in t/f(t), and statement (4), M(z/C(z)) = C(z), to substituting f(t) for t in f^(-1)(t)/t. - Tom Copeland, Dec 08 2021
Given a Laurent series of the form f(z) = 1/z + h_1 + h_2 z + h_3 z^2 + ..., the compositional inverse is f^(-1)(z) = 1/z + Prt(1;1,h_1)/z^2 + Prt(2;1,h_1,h_2)/z^3 + ... = 1/z + h_1/z^2 + (h_1^2 + h_2)/z^3 + (h_1^3 + 3 h_1 h_2 + h_3)/z^4 + (h_1^4 + 6 h_1^2 h_2 + 4 h_1 h_3 + 2 h_2^2 + h_4)/z^5 + ... for which the polynomials in the numerators are the partition polynomials of this entry. For example, this formula applied to the q-expansion of Klein's j-invariant / function with coefficients A000521, related to monstrous moonshine, gives the compositional inverse with the coefficients A091406 (see He and Jejjala). - Tom Copeland, Dec 18 2021
The partition polynomials of A350499 'invert' the polynomials of this entry giving the indeterminates h_n. A multinomial formula for the coefficients of the partition polynomials of this entry, equivalent to the multinomial formula presented in the first four sentences of the formula section below, is presented in the MathOverflow question referenced in A350499. - Tom Copeland, Feb 19 2022

			1) With f(t) = t / (t-1), then h(t) = -(1-t), giving h_0 = -1, h_1 = 1 and h_n = 0 for n>1. Then g(t) = -t - t^2 - t^3 - ... = t / (t-1).
2) With f(t) = t*(1-t), then h(t) = 1 / (1-t), giving h_n = 1 for all n. The compositional inverse of this f(t) is g(t) = t*A(t) where A(t) is the o.g.f. for the Catalan numbers; therefore the sum over k of T(j,k), i.e., the row sum, is the Catalan number A000108(j-1).
3) With f(t) = (e^(-a*t)-1) / (-a), h(t) = Sum_{n>=0} Bernoulli(n) * (-a*t)^n / n! and g(t) = log(1-a*t) / (-a) = Sum_{n>=1} a^(n-1) * t^n / n. Therefore with h_n = Bernoulli(n) * (-a)^n / n!, Sum_{permutations s with s(1)+s(2)+...+s(j)=j-1} h_s(1) * h_s(2) * ... * h_s(j) = j * Sum_{k=1..(# of partitions for j-1)} T(j,k) * H(j-1,k ; h_0,h_1,...) = a^(j-1). Note, in turn, Sum_{a=1..m} a^(j-1) = (Bernoulli(j,m+1) - Bernoulli(j)) / j for the Bernoulli polynomials and numbers, for j>1.
4) With f(t,x) = t / (x-1+1/(1-t)), then h(t,x) = x-1+1/(1-t), giving (h_0)=x and (h_n)=1 for n>1. Then g(t,x) = (1-(1-x)*t-sqrt(1-2*(1+x)*t+((x-1)*t)^2)) / 2, a shifted o.g.f. in t for the Narayana polynomials in x of A001263.
5) With h(t)= o.g.f. of A075834, but with A075834(1)=2 rather than 1, which is the o.g.f. for the number of connected positroids on [n] (cf. Ardila et al., p. 25), g(t) is the o.g.f. for A000522, which is the o.g.f. for the number of positroids on [n]. (Added Oct 13 2014 by author.)
6) With f(t,x) = x / ((1-t*x)*(1-(1+t)*x)), an o.g.f. for A074909, the reverse face polynomials of the simplices, h(t,x) = (1-t*x) * (1-(1+t)*x) with h_0=1, h_1=-(1+2*t), and h_2=t*(1+t), giving as the inverse in x about 0 the o.g.f. (1+(1+2*t)*x-sqrt(1+(1+2*t)*2*x+x^2)) / (2*t*(1+t)*x) for signed A033282, the reverse face polynomials of the Stasheff polytopes, or associahedra. Cf. A248727. (Added Jan 21 2015 by author.)
7) With f(x,t) = x / ((1+x)*(1+t*x)), an o.g.f. for the polynomials (-1)^n * (1 + t + ... + t^n), h(t,x) = (1+x) * (1+t*x) with h_0=1, h_1=(1+t), and h_2=t, giving as the inverse in x about 0 the o.g.f. (1-(1+t)*x-sqrt(1-2*(1+t)*x+((t-1)*x)^2)) / (2*x*t) for the Narayana polynomials A001263. Cf. A046802. (Added Jan 24 2015 by author.)
From _Gus Wiseman_, Feb 15 2019: (Start)
Triangle begins:
   1
   1
   1   1
   1   3   1
   1   4   2   6   1
   1   5   5  10  10  10   1
   1   6   6   3  15  30   5  20  30  15   1
   1   7   7   7  21  42  21  21  35 105  35  35  70  21   1
Row 5 counts the following non-crossing set partitions:
  {{1234}}  {{1}{234}}  {{12}{34}}  {{1}{2}{34}}  {{1}{2}{3}{4}}
            {{123}{4}}  {{14}{23}}  {{1}{23}{4}}
            {{124}{3}}              {{12}{3}{4}}
            {{134}{2}}              {{1}{24}{3}}
                                    {{13}{2}{4}}
                                    {{14}{2}{3}}
(End)

A. Nica and R. Speicher (editors), Lectures on the Combinatorics of Free Probability, London Mathematical Society Lecture Note Series: 335, Cambridge University Press, 2006 (see in particular, Eqn. 9.14 on p. 141, enumerating noncrossing partitions).

Andrew Howroyd, Table of n, a(n) for n = 1..2087 (rows 1..20)
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].
A. Alexandrov, Enumerative geometry, tau-functions, and Heisenberg-Virasoro algebra, arXiv:hep-th/1404.3402v3, 2015 (p.22).
M. Ashelevich and W. Mlotkowski, Semigroups of distributions with linear Jacobi parameters, arxiv.org/abs/1001.1540v3 [math.CO], p. 9, 2011.
F. Ardila, F. Rincon, and L. Williams, Positroids and non-crossing partitions, arXiv preprint arXiv:1308.2698v2 [math.CO], 2013 (p. 25).
T. Banica, S. Belinschi, M. Capitaine, and B. Collins, Free Bessel laws, arXiv preprint arXiv:0710.5931 [math.PR], 2008.
Freddy Cachazo and Bruno Giménez Umbert, Connecting Scalar Amplitudes using The Positive Tropical Grassmannian, arXiv:2205.02722 [hep-th], 2022.
David Callan, Sets, Lists and Noncrossing Partitions , arXiv:0711.4841 [math.CO], 2008.
B. Collins, I. Nechita, and K. Zyczkowski, Random graph states, maximal flow and Fuss-Catalan distributions, arXiv preprint arXiv:1003.3075 [quant-ph], 2010.
Tom Copeland, Compositional inversion and Appell sequences, Nov 2, 2014.
Tom Copeland, The Hirzebruch criterion for the Todd class Dec. 14, 2014.
Tom Copeland, Appell polynomials, cumulants, noncrossing partitions, Dyck lattice paths, and inversion Dec. 23, 2014.
Tom Copeland, Formal group laws and binomial Sheffer sequences, 2018.
Tom Copeland, In the Realm of Shadows: Umbral inverses and associahedra, noncrossing partitions, symmetric polynomials, and similarity transforms, 2019.
Tom Copeland, A Taste of Moonshine in Free Moments, 2022.
R. Dickau, Non-crossing partitions, Robert Dickau's website, 2012.
K. Ebrahimi-Fard, L. Foissy, J. Kock, and F. Patras, Operads of (noncrossing) partitions, interacting bialgebras, and moment-cumulant relations, arXiv:1907.01190 [math.CO], 2019, p. 25.
K. Ebrahimi-Fard and F. Patras, Cumulants, free cumulants and half-shuffles, arXiv:1409.5664v2 [math.CO], 2015, p. 12.
K. Ebrahimi-Fard and F. Patras, The splitting process in free probability theory, arXiv:1502.02748 [math.CO], 2015, p. 3.
Y. He and V. Jejjala, Modular Matrix Models, arXiv:hep-th/0307293, 2003.
J. Jong, A. Hock, and R. Wulkenhaar Catalan tables and a recursion relation in noncommutative quantum field theory, arXiv preprint arXiv:1904.11231 [math-ph], 2019.
M. Josuat-Verges, F. Menous, J. Novelli, and J. Thibon, Noncommutative free cumulants, arxiv.org/abs/1604.04759 [math.CO], 2016.
Germain Kreweras, Sur les partitions non croisées d'un cycle, Discrete Math. 1 333-350 (1972).
C. Lenart, Lagrange inversion and Schur functions, Journal of Algebraic Combinatorics, Vol. 11, Issue 1, p. 69-78, 2000, (see p. 70, Eqn. 1.2).
M. Mastnak and A. Nica, Hopf algebras and the logarithm of the S-transform in free probability, arXiv:0807.4169v2 [math.OA], p. 28, 2008-2009.
MathOverflow, Guises of the Noncrossing Partitions (NCPs), an MO question posed by Tom Copeland, 2019.
MathOverflow, Combinatorial/diagrammatic models for free moment partition polynomials, an MO question posed by Tom Copeland, 2021.
J. McCammond, Non-crossing Partitions in Surprising Locations, American Mathematical Monthly 113 (2006) 598-610.
M. Mendez, Combinatorial differential operators in: Faà di Bruno formula, enumeration of ballot paths, enriched rooted trees and increasing rooted trees, arXiv:1610.03602 [math.CO], 2016, pp. 33-34 Example 10.
J. Pitman and R. Stanley, A polytope related to empirical distributions, plane trees, parking functions, and the associahedron, arXiv:math/9908029 [math.CO], 1999.
A. Rattan, Parking functions and related combinatorial structures, Master's thesis, Univ. of Waterloo, 2014.
A. Schuetz and G. Whieldon, Polygonal Dissections and Reversions of Series, arXiv:1401.7194 [math.CO], 2014.
R. Simion, Noncrossing partitions, Discrete Mathematics, Vol. 217, Issues 1-3, pp. 367-409, 2000.
R. Speicher, Lecture Notes on "Free Probability Theory", arXiv:1908.08125 [math.OA], 2019.
R. Stanley, Parking Functions and Noncrossing Partitions, 1996.
Jin Wang, Nonlinear Inverse Relations for Bell Polynomials via the Lagrange Inversion Formula, J. Int. Seq., Vol. 22 (2019), Article 19.3.8.
Wikipedia, Noncrossing partition
J. Zhou, On emergent geometry of the Gromov-Witten theory of quintic Calabi-Yau threefold, arXiv:2008.03407 [math-ph], 2020.
Index entries for sequences related to Łukasiewicz

(A001263,A119900) = (reduced array, associated g(x)). See A145271 for meaning and other examples of reduced and associated.
Other orderings are A125181 and A306438.
Cf. A119900 (e.g.f. for reduced W(x) with (h_0)=t and (h_n)=1 for n>0).
Cf. A248927 and A248120, "scaled" versions of this Lagrange inversion.
Cf. A091867 and A125181, for relations to lattice paths and trees.
Cf. A000045, A000108, A000957, A001764, A000522, A005043, A007317, A033282,A036038, A046802, A074909, A075834, A104597, A145271, A248727.
Cf. A249548 for use of Appell properties to generate the polynomials.
Cf. A133314, A049019, A019538, A127671, and A008292 for relations to permutahedra, Eulerians.
Cf. A263634, A263633, A000041, A000110, A001263, A016098, A124794, A133437.
Cf. A006013.
Cf. A000521, A091406.
Cf. A350499

Table[Binomial[Total[y],Length[y]-1]*(Length[y]-1)!/Product[Count[y,i]!,{i,Max@@y}],{n,7},{y,Sort[Sort/@IntegerPartitions[n]]}] (* Gus Wiseman, Feb 15 2019 *)

C(v)={my(n=vecsum(v), S=Set(v)); n!/((n-#v+1)!*prod(i=1, #S, my(x=S[i]); (#select(y->y==x, v))!))}
row(n)=[C(Vec(p)) | p<-partitions(n-1)]
{ for(n=1, 7, print(row(n))) } \\ Andrew Howroyd, Feb 01 2022

For j>1, there are P(j,m;a...) = j! / [ (j-m)! (a_1)! (a_2)! ... (a_(j-1))! ] permutations of h_0 through h_(j-1) in which h_0 is repeated (j-m) times; h_1, repeated a_1 times; and so on with a_1 + a_2 + ... + a_(j-1) = m.
If, in addition, a_1 + 2 * a_2 + ... + (j-1) * a_(j-1) = j-1, then each distinct combination of these arrangements is correlated with a partition of j-1.
T(j,k) is [ P(j,m;a...) / j ] for the k-th partition of j-1 as described in the comments.
For example from g(t) above, T(5,4) = (5! / ((5-3)! * 2!)) / 5 = 6 for the 4th partition under n=5-1=4 with m=3 parts in A&S.
From Tom Copeland, Sep 30 2011: (Start)
Let W(x) = 1/(df(x)/dx)= 1/{d[x/h(x)]/dx}
  = [(h_0)-1+:1/(1-h.*x):]^2 / {(h_0)-:[h.x/(1-h.x)]^2:}
  = [(h_0)+(h_1)x+(h_2)x^2+...]^2 / [(h_0)-(h_2)x^2-2(h_3)x^3-3(h_4)x^4-...], where :" ": denotes umbral evaluation of the expression within the colons and h. is an umbral coefficient.
Then for the partition polynomials of A134264,
  Poly[n;h_0,...,h_(n-1)]=(1/n!)(W(x)*d/dx)^n x, evaluated at x=0, and the compositional inverse of f(t) is g(t) = exp(t*W(x)*d/dx) x, evaluated at x=0. Also, dg(t)/dt = W(g(t)), and g(t) gives A001263 with (h_0)=u and (h_n)=1 for n>0 and A000108 with u=1.
(End)
From Tom Copeland, Oct 20 2011: (Start)
With exp(x* PS(.,t)) = exp(t*g(x)) = exp(x*W(y)d/dy) exp(t*y) eval. at y=0, the raising (creation) and lowering (annihilation) operators defined by R PS(n,t) = PS(n+1,t) and L PS(n,t) = n*PS(n-1,t) are
R = t*W(d/dt) = t*((h_0) + (h_1)d/dt + (h_2)(d/dt)^2 + ...)^2 / ((h_0) - (h_2)(d/dt)^2 - 2(h_3)(d/dt)^3 - 3(h_4)(d/dt)^4 + ...),  and
L = (d/dt)/h(d/dt) = (d/dt) 1/((h_0) + (h_1)*d/dt + (h_2)*(d/dt)^2 + ...)
Then P(n,t) = (t^n/n!) dPS(n,z)/dz eval. at z=0 are the row polynomials of A134264. (Cf. A139605, A145271, and link therein to Mathemagical Forests for relation to planted trees on p. 13.)
(End)
Using the formalism of A263634, the raising operator for the partition polynomials of this array with h_0 = 1 begins as R = h_1 + h_2 D + h_3 D^2/2! + (h_4 - h_2^2) D^3/3! + (h_5 - 5 h_2 h_3) D^4/4! + (h_6 + 5 h_2^3 - 7 h_3^2 - 9 h_2 h_4) D^5/5! + (h_7 - 14 h_2 h_5 + 56 h_2^2 h_3) D^6/6! + ... with D = d/d(h_1). - Tom Copeland, Sep 09 2016
Let h(x) = x/f^{-1}(x) = 1/[1-(c_2*x+c_3*x^2+...)], with c_n all greater than zero. Then h_n are all greater than zero and h_0 = 1. Determine P_n(t) from exp[t*f^{-1}(x)] = exp[x*P.(t)] with f^{-1}(x) = x/h(x) expressed in terms of the h_n (cf. A133314 and A263633). Then P_n(b.) = 0 gives a recursion relation for the inversion polynomials of this entry a_n = b_n/n! in terms of the lower order inversion polynomials and P_j(b.)P_k(b.) = P_j(t)P_k(t)|{t^n = b_n} = d{j,k} >= 0 is the coefficient of x^j/j!*y^k/k! in the Taylor series expansion of the formal group law FGL(x,y) = f[f^{-1}(x)+f^{-1}(y)]. - Tom Copeland, Feb 09 2018
A raising operator for the partition polynomials with h_0 = 1 regarded as a Sheffer Appell sequence in h_1 is described in A249548. - Tom Copeland, Jul 03 2018

Added explicit t^6, t^7, and t^8 polynomials and extended initial table to include the coefficients of t^8. - Tom Copeland, Sep 14 2016
Title modified by Tom Copeland, May 28 2018
More terms from Gus Wiseman, Feb 15 2019
Title modified by Tom Copeland, Sep 10 2019

A133437 Irregular triangle of coefficients of a partition transform for direct Lagrange inversion of an o.g.f., complementary to A134685 for an e.g.f.; normalized by the factorials, these are signed, refined face polynomials of the associahedra.

Original entry on oeis.org

1, -2, 12, -6, -120, 120, -24, 1680, -2520, 360, 720, -120, -30240, 60480, -20160, -20160, 5040, 5040, -720, 665280, -1663200, 907200, 604800, -60480, -362880, -181440, 20160, 40320, 40320, -5040, -17297280, 51891840, -39916800, -19958400, 6652800, 19958400, 6652800, -1814400, -1814400, -3628800, -1814400, 362880, 362880, 362880, -40320

Offset: 1

Tom Copeland, Jan 27 2008

Let f(t) = u(t) - u(0) = Sum_{n>=1} u_n * t^n.
If u_1 is not equal to 0, then the compositional inverse for f(t) is given by g(t) = Sum_{j>=1} P(n,t) where, with u_n denoted by (n'),
P(1,t) = (1')^(-1) * [ 1 ] * t
P(2,t) = (1')^(-3) * [ -2 (2') ] * t^2 / 2!
P(3,t) = (1')^(-5) * [ 12 (2')^2 - 6 (1')(3') ] * t^3 / 3!
P(4,t) = (1')^(-7) * [ -120 (2')^3 + 120 (1')(2')(3') - 24 (1')^2 (4') ] * t^4 / 4!
P(5,t) = (1')^(-9) * [ 1680 (2')^4 - 2520 (1') (2')^2 (3') + 360 (1')^2 (3')^2 + 720 (1')^2 (2') (4') - 120 (1')^3 (5') ] * t^5 / 5!
P(6,t) = (1')^(-11) * [ -30240 (2')^5 + 60480 (1') (2')^3 (3') - 20160 (1')^2 (2') (3')^2 - 20160 (1')^2 (2')^2 (4') + 5040 (1')^3 (3')(4') + 5040 (1')^3 (2')(5') - 720 (1')^4 (6') ] * t^6 / 6!
P(7,t) = (1')^(-13) * [ 665280 (2')^6 - 1663200 (1')(2')^4(3') +  (1')^2 [907200 (2')^2(3')^2 + 604800 (2')^3(4')] - (1')^3 [60480 (3')^3 + 362880 (2')(3')(4') + 181440 (2')^2(5')] + (1')^4 [20160 (4')^2 + 40320 (3')(5') + 40320 (2')(6')] - 5040 (1')^5(7')] * t^7 / 7!
P(8,t) = (1')^(-15) * [ -17297280 (2')^7 + 51891840 (1')(2')^5(3') -  (1')^2 [39916800 (2')^3(3')^2 + 19958400  (2')^4(4')] + (1')^3 [6652800 (2')(3')^3 + 19958400 (2')^2(3')(4') +  6652800 (2')^3(5')] - (1')^4 [1814400 (3')^2(4') + 1814400 (2')(4')^2 + 3628800 (2')(3')(5') + 1814400 (2')^2(6')] + (1')^5 [362880 (4')(5') + 362880 (3')(6') + 362880 (2')(7')] - 40320 (1')^6(8')] * t^8 / 8!
...
See A134685 for more information.
A111785 is obtained from A133437 by dividing through the bracketed terms of the P(n,t) by n! and unsigned A111785 is a refinement of A033282 and A126216. - Tom Copeland, Sep 28 2008
For relation to the geometry of associahedra or Stasheff polytopes (and other combinatorial objects) see the Loday and McCammond links. E.g., P(5,t) = (1')^(-9) * [ 14 (2')^4 - 21 (1') (2')^2 (3') + 6 (1')^2 (2') (4')+ 3 (1')^2 (3')^2 - 1 (1')^3 (5') ] * t^5 is related to the 3-D associahedron with 14 vertices (0-D faces), 21 edges (1-D faces), 6 pentagons (2-D faces), 3 rectangles (2-D faces), 1 3-D polytope (3-D faces). Summing over faces of the same dimension gives A033282 or A126216. - Tom Copeland, Sep 29 2008
A relation between this Lagrange inversion for an o.g.f. and partition polynomials formed from the "refined Lah numbers" A130561 is presented in the link "Lagrange a la Lah" along with umbral binary tree representations.
With f(x,t) = x + t*Sum_{n>=2} u_n*x^n, the compositional inverse in x is related to the velocity profile of particles governed by the inviscid Burgers's, or Hopf, eqn. See A001764 and A086810. - Tom Copeland, Feb 15 2014
Newton was aware of this power series expansion for series reversion. See the Ferraro reference p. 75 eqn. 52. - Tom Copeland, Jan 22 2017
The coefficients of the partition polynomials divided by the associated factorial enumerate the faces of the convex, bounded polytopes called the associahedra, and the absolute value of the sum of the renormalized coefficients gives the Euler characteristic of unity for each polytope; i.e., the absolute value of the sum of each row of the array is either n! (unnormalized) or unity (normalized). In addition, the signs of the faces alternate with dimension, and the coefficients of faces with the same dimension for each polytope have the same sign. - Tom Copeland, Nov 13 2019
With u_1 = 1 and the other u_n replaced by suitably signed partition polynomials of A263633, the partition polynomials enumerating the refined noncrossing partitions of A134264 with a shift in indices are obtained (cf. In the Realm of Shadows). - Tom Copeland, Nov 16 2019
Relations between associahedra and oriented n-simplices are presented by Halvorson and by Street. - Tom Copeland, Dec 08 2019
Let f(x;t,n) = x - t * x^(n+1), giving u_1 = (1') = 1 and u_(n+1) = (n+1) = -t. Then inverting in x with t a parameter gives finv(x;t,n) = Sum_{j>=0} {binomial((n+1)*j,j) / (n*j + 1)} * t^j * x^(n*j + 1), which gives the Catalan numbers for n=1, and the Fuss-Catalan sequences for n>1 (see A001764, n=2). Comparing this with the same result in A134264 gives relations between the faces of associahedra and noncrossing partitions (and other combinatorial constructs related to these inversion formulas and those listed in A145271). - Tom Copeland, Jan 27 2020
From Tom Copeland, Mar 24 2020: (Start)
There is a mapping between the faces of K_n, the associahedron of dimension (n-1), and polygon dissections. The dissecting noncrossing diagonals (i.e., nonintersecting in the interior) form subpolygons. Assign the indeterminate x_k to a subpolygon where k = (number of vertices of the subpolygon) - 1. Multiply the x_k together to form the monomials for the inversion formula.
For the 3-dimensional associahedron K_4, the fundamental polygon is the hexagon, which can be dissected into pentagons, associated to x_4; tetragons, to x_3; and triangles, to x_2; for example, there are six distinguished partitions of the hexagon into one triangle and one pentagon, sharing two vertices, associated to the monomial 6 * x_2 * x_4 since the unshared vertex of the triangle can be moved consecutively from one vertex of the hexagon to the next. This term corresponds to 720 (1')^2 (2') (4') / 5! in P(5,t) above, denumerating the six pentagonal facets of K_4. (End)

G. Ferraro, The Rise and Development of the Theory of Series up to the Early 1820s, Springer Science and Business Media, 2007.
H. Halvorson (editor), Deep Beauty: Understanding the Quantum World Through Innovation, Cambridge Univ. Press, 2011.
H. Turnbull (editor), The Correspondence of Isaac Newton Vol. II 1676-1687, Cambridge Univ. Press, 1960, p. 147.

M. Aguiar and F. Ardila, The algebraic and combinatorial structure of generalized permutahedra, MSRI Summer School July 19, 2017.
M. Aguiar and F. Ardila, Hopf monoids and generalized permutahedra, arXiv:1709.07504 [math.CO], p. 6, 2017.
N. Arkani-Hamed, Y. Bai, S. He, and G. Yan, Scattering forms and the positive geometry of kinematics, color, and the worldsheet, arXiv:1711.09102 [hep-th], 2017.
D. Armstrong, Catalan numbers: From EGS to BEG, MIT Combinatorics Seminar, May 15, 2015.
P. Balduf, The propagator and diffeomorphisms of an interacting field theory, Master's thesis, submitted to the Institut für Physik, Mathematisch-Naturwissenschaftliche Fakultät, Humboldt-Universtität, Berlin, 2018, p. 32.
P. Balduf, Perturbation theory of transformed quantum fields, arXiv:1905.00686 [math-ph], 2019, (see Example 2.3 on p. 4 and Lemma 2.7 on p. 5).
L. Berry, S. Forcey, M. Ronco, and P. Showers, Polytopes and Hopf algebras of painted trees: Fan graphs and Stellohedra, arXiv:1608.08546 [math.CO], 2018.
Tai-Danae Bradley, Associahedra: The Shapes of Multiplication, an episode on YouTube of PBS Infinite Series, Nov 2017.
Tai-Danae Bradley, What is an Operad? Part 2, a post on the blog Math3ma, Oct 2017.
F. Brown and J. Bergstrom, Inversion of series and the cohomology of the moduli spaces M_(o,n), arXiv:0910.0120 [math.AG], 2009.
V. Buchstaber, Toric Topology of Stasheff polytopes, Manchester Institute for Mathematical Sciences Eprint 2007.232, School of Mathematics, University of Manchester, 2007.
J. Carter, A. Crans, E. Elhamdadi, E. Karadayi, and M. Saito, Cohomology of Frobenius Algebras and the Yang-Baxter Equation, arXiv:0801.2567 [math.QA], 2008.
B. Casselman, Strange Associations, AMS Feature Column, Nov 2007.
X. Chen, T. Yi, F. He, Z. He, and Z. Dong, An Improved Generalized Chirp Scaling Algorithm Based on Lagrange Inversion Theorem for High-Resolution Low Frequency Synthetic Aperture Radar Imaging, Remote Sensing, Vol. 11, Issue 16, 2019.
Tom Copeland, Lagrange a la Lah, 2011.
Tom Copeland Compositional inverse pairs, the Burgers-Hopf equation, and the Stasheff associahedra, 2014.
Tom Copeland, Compositional inversion and generating functions in algebraic geometry, MathOverflow question, 2014.
Tom Copeland, Guises of the Stasheff polytopes, associahedra for the Coxeter A_n root system?, MathOverflow question, 2014.
Tom Copeland, An Intriguing Tapestry: Number triangles, polytopes, Grassmannians, and scattering amplitudes, MathOverflow question, 2014.
Tom Copeland, Why is there a connection between enumerative geometry and nonlinear waves?, MathOverflow answer, 2014.
Tom Copeland, Important formulas in combinatorics, MathOverflow answer, 2015.
Tom Copeland, Generators, Inversion, and Matrix, Binomial, and Integral Transforms, 2015.
Tom Copeland, Formal group laws and binomial Sheffer sequences, 2018.
Tom Copeland, In the Realm of Shadows: Umbral inverses and associahedra, noncrossing partitions, symmetric polynomials, and similarity transforms, 2019.
L. Cruz, A. Kniss, and S. Weinzierl, Properties of scattering forms and their relation to associahedra, arXiv:1711.07942 [hep-th], 2018.
S. Devadoss, B. Fehrman, T. Heath, and A. Vashist, Moduli spaces of punctured Poincaré discs, arXiv:1109.2830 [math.AT], 2011.
S. Devadoss, T. Heath, and W. Vipismakul, Deformation of bordered surfaces and convex polytopes, Notices of the AMS, April 2011, Volume 58, Issue 04.
C. Dupont and B. Vallette, Browns' moduli spaces of curves and the gravity operad, arXiv:1590.08840 [math.AG], p. 15, 2015.
H. Einziger, Incidence Hopf algebras: Antipodes, forest formulas, and noncrossing partitions, The George Washington University, ProQuest Dissertations Publishing, 2010. 3417955. (Cf. p. 61.)
H. Figueroa and J. Gracia-Bondia, Combinatorial Hopf algebras in quantum field theory I, arXiv:0408145 [hep-th], 2005, (p. 44).
S. Forcey, The Hedra Zoo
A. Frabetti and D. Manchon, Five interpretations of Fa`a di Bruno’s formula, arXiv:1402.5551 [math.CO], 2014, p. 11.
X. Gao, S. He, and Y. Zhan, Labelled tree graphs, Feynman diagrams and disk integrals, arXiv:1708.08701 [hep-th], 2017.
E. Ghys, A Singular Mathematical Promenade, arXiv:1612.06373 [math.GT], 2017.
J. Golden, M. Paulos, M. Spradlin, and A. Volovich, Cluster polylogarithms for scattering amplitudes, arxiv: 1401.6446 (v2) [hep.th], 2014.
A. Hanson and J. Sha, A Contour Integral Representation for the Dual Five-Point Function and a Symmetry of the Genus Four Surface in R6, arXiv preprint arXiv:0510064 [math-ph], 2005.
S. He, Scattering from Geometries, presentation at the Interdisciplinary Center for Theoretical Study at the University of Science and Technology of China, 2017.
D. Herceg, L. Petkovic, and M. Petkovic, On Schröder’s families of root-finding methods, Journal of Computational and Applied Mathematics, Vol. 233, Issue 8, 15 February 2010, Pages 1755-1762, (see p. 1760, below eqn. 19).
D. Jackson, A. Kempf, and A. Morales, A robust generalization of the Legendre transform for QFT, arXiv:1612.0046 [hep-th], 2017.
A. Kirillov, On Some Quadratic Algebras I 1/2: Combinatorics of Dunkl and Gaudin Elements, Schubert, Grothendieck, Fuss-Catalan, Universal Tutte and Reduced Polynomials, arXiv preprint arXiv:1502.00426 [math.RT], 2016, p. 150.
D. Kreimer and K. Yeats, Diffeomorphisms of quantum fields, arXiv:1610.01837 [math-ph], 2016 (p. 7).
C. Lenart, Lagrange inversion and Schur functions, Journal of Algebraic Combinatorics, Vol. 11, Issue 1, pp. 69-78, 2000, (see p. 70, Eqn. 1.2).
M. Lin, Graph Cohomology, 2016.
M. Liu, Moduli of J-holomorphic curves with lagrangian boundary conditions and open Gromov-Witten invariants for an S^1 pair, arXiv:math/0210257 [math.SG], 2002-2004. (See Fig. 2, p. 13.)
J-L. Loday, Realization of the Stasheff polytope, arXiv:0212126v6 [math.AT], 2002.
J-L. Loday, The Multiple Facets of the Associahedron
J-L. Loday and B. Vallette, Algebraic Operads, version 0.99, p. 442, 2012.
A. Mahmoud and K. Yeats, Diffeomorphisms of Scalar Quantum Fields via Generating Functions, arXiv:2007.12341 [math-ph], 2021, (see Lemma 8.2 on p. 15).
MathOverflow, Analogue of conic sections for the permutohedra, associahedra, and noncrossing partitions, an MO question posed by T. Copeland, 2017.
MathOverflow, Loday's characterization and enumeration of faces of associahedra (Stasheff polytopes), an MO question posed by T. Copeland and answered by R. Davis, 2017.
J. McCammond, Non-crossing Partitions in Surprising Locations, American Mathematical Monthly 113 (2006) 598-610.
S. Mizera, Combinatorics and Topology of Kawai-Lewellen-Tye Relations, arXiv:1706.08527 [hep-th], 2017.
V. Pilaud, The Associahedron and its Friends, presentation for Séminaire Lotharingien de Combinatoire, April 4 - 6, 2016.
J. Pitman and R. Stanley, A polytope related to empirical distributions, plane trees, parking functions, and the associahedron, arXiv:math/9908029 [math.CO], 1999.
Alison Schuetz and Gwyneth Whieldon, Polygonal Dissections and Reversions of Series, arXiv:1401.7194 [math.CO], 2014.
J. Stasheff, What is ... an Operad?, Notices of the American Mathematical Society 51 (6), June-July 2004, 630-631.
R. Street, The algebra of oriented simplexes, Journal of Pure and Applied Algebra, 49, pp. 283-335, 1987.
J. Taylor, Formal group laws and hypergraph colorings, doctoral thesis, Univ. of Wash., 2016, p. 101.
B. Vallette, Algebra + Homotopy = Operad, arXiv:1202.3245 [math.AT], 2012 (p. 21).
J. Zhou, Quantum deformation theory of the Airy curve and the mirror symmetry of a point, arXiv preprint arXiv:1405.5296 [math.AG], 2014.

Cf. A145271, (A086810, A181289) = (reduced array, associated g(x)).
Cf. A001764, A007318, A033282, A086810, A111785, A126216, A129185.
Cf. A130561, A132159, A133314, A134264, A134685, A139605, A263633.

rows[nn_] := {{1}}~Join~With[{s = InverseSeries[t (1 + Sum[u[k] t^k, {k, nn}] + O[t]^(nn+1))]}, Table[(n+1)! Coefficient[s, t^(n+1) Product[u[w], {w, p}]], {n, nn}, {p, Reverse[Sort[Sort /@ IntegerPartitions[n]]]}]];
rows[7] // Flatten (* Andrey Zabolotskiy, Mar 07 2024 *)

The bracketed partitions of P(n,t) are of the form (u_1)^e(1) (u_2)^e(2) ... (u_n)^e(n) with coefficients given by (-1)^(n-1+e(1)) * [2*(n-1)-e(1)]! / [ (e(2))! * (e(3))! * ... * (e(n))! ].
From Tom Copeland, Sep 06 2011: (Start)
Let h(t) = 1/(df(t)/dt)
  = 1/Ev[u./(1-u.t)^2]
  = 1/((u_1) + 2*(u_2)*t + 3*(u_3)*t^2 + 4*(u_4)*t^3 + ...),
  where Ev denotes umbral evaluation.
  Then for the partition polynomials of A133437,
  n!*P(n,t) = ((t*h(y)*d/dy)^n) y evaluated at y=0,
  and the compositional inverse of f(t) is
  g(t) = exp(t*h(y)*d/dy) y evaluated at y=0.
  Also, dg(t)/dt = h(g(t)). (End)
From Tom Copeland, Oct 20 2011: (Start)
With exp[x* PS(.,t)] = exp[t*g(x)] = exp[x*h(y)d/dy] exp(t*y) eval. at y=0, the raising/creation and lowering/annihilation operators defined by R PS(n,t)=PS(n+1,t) and L PS(n,t) = n*PS(n-1,t) are
R = t*h(d/dt) = t* 1/[(u_1) + 2*(u_2)*d/dt + 3*(u_3)*(d/dt)^2 + ...] and
L = f(d/dt) = (u_1)*d/dt + (u_2)*(d/dt)^2 + (u_3)*(d/dt)^3 + ....
Then P(n,t) = (t^n/n!) dPS(n,z)/dz  eval. at z=0. (Cf. A139605, A145271, and link therein to Mathemagical Forests for relation to planted trees on p. 13.) (End)
The bracketed partition polynomials of P(n,t) are also given by (d/dx)^(n-1) 1/[u_1 + u_2 * x + u_3 * x^2 + ... + u_n * x^(n-1)]^n evaluated at x=0. - Tom Copeland, Jul 07 2015
From Tom Copeland, Sep 20 2016: (Start)
Let PS(n,u1,u2,...,un) = P(n,t) / t^n, i.e., the square-bracketed part of the partition polynomials in the expansion for the inverse in the comment section, with u_k = uk.
Also let PS(n,u1=1,u2,...,un) = PB(n,b1,b2,...,bK,...) where each bK represents the partitions of PS, with u1 = 1, that have K components or blocks, e.g., PS(5,1,u2,...,u5) = PB(5,b1,b2,b3,b4) = b1 + b2 + b3 + b4 with b1 = -u5, b2 = 6 u2 u4 + 3 u3^2, b3 = -21 u2^2 u3,  and b4 = 14 u2^4.
The relation between solutions of the inviscid Burgers' equation and compositional inverse pairs (cf. A086810) implies that, for n > 2, PB(n, 0 * b1, 1 * b2, ..., (K-1) * bK, ...) = [(n+1)/2] * Sum_{k = 2..n-1} PS(n-k+1,u_1=1,u_2,...,u_(n-k+1)) * PS(k,u_1=1,u_2,...,u_k).
For example, PB(5,0 * b1, 1 * b2, 2 * b3, 3 * b4) = 3 * 14 u2^4 - 2 * 21 u2^2 u3 + 1 * 6 u2 u4 + 1 * 3 u3^2 - 0 * u5 = 42 u2^4 - 42 u2^2 u3 + 6 u2 u4 + 3 u3^2 = 3 * [2 * PS(2,1,u2) * PS(4,1,u2,...,u4) + PS(3,1,u2,u3)^2] = 3 * [ 2 * (-u2) (-5 u2^3 + 5 u2 u3 - u4) + (2 u2^2 - u3)^2].
Also, PB(n,0*b1,1*b2,...,(K-1)*bK,...) =  d/dt t^(n-2)*PS(n,u1=1/t,u2,...,un)|{t=1} = d/dt (1/t)*PS(n,u1=1,t*u2,...,t*un)|{t=1}.
(End)
From Tom Copeland, Sep 22 2016: (Start)
Equivalent matrix computation: Multiply the m-th diagonal (with m=1 the index of the main diagonal) of the lower triangular Pascal matrix A007318 by f_m = m!*u_m = (d/dx)^m f(x) evaluated at x=0 to obtain the matrix UP with UP(n,k) = binomial(n,k) f_{n+1-k}, or equivalently multiply the diagonals of A132159 by u_m. Then P(n,t) = (1, 0, 0, 0, ...) [UP^(-1) * S]^(n-1) FC * t^n/n!, where S is the shift matrix A129185, representing differentiation in the basis x^n//n!, and FC is the first column of UP^(-1), the inverse matrix of UP. These results follow from A145271 and A133314.
Also, P(n,t) = (1, 0, 0, 0, ...) [UP^(-1) * S]^n (0, 1, 0, ...)^T * t^n/n! in agreement with A139605. (End)
A recursion relation for computing each partition polynomial of this entry from the lower order polynomials and the coefficients of the refined Lah polynomials of A130561 is presented in the blog entry "Formal group laws and binomial Sheffer sequences." - Tom Copeland, Feb 06 2018
The derivative of the partition polynomials of A350499 with respect to a distinguished indeterminate give polynomials proportional to those of this entry. The connection of this derivative relation to the inviscid Burgers-Hopf evolution equation is given in a reference for that entry. - Tom Copeland, Feb 19 2022

Missing coefficient in P(6,t) replaced by Tom Copeland, Nov 06 2008
P(7,t) and P(8,t) data added by Tom Copeland, Jan 14 2016
Title modified by Tom Copeland, Jan 13 2020
Terms ordered according to the reversed Abramowitz-Stegun ordering of partitions (with every k' replaced by (k-1)') by Andrey Zabolotskiy, Mar 07 2024

cp's OEIS Frontend

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions