A356144 -id:A356144 - cp's OEIS frontend

A133314 Coefficients of list partition transform: reciprocal of an exponential generating function (e.g.f.).

1, -1, -1, 2, -1, 6, -6, -1, 8, 6, -36, 24, -1, 10, 20, -60, -90, 240, -120, -1, 12, 30, -90, 20, -360, 480, -90, 1080, -1800, 720, -1, 14, 42, -126, 70, -630, 840, -420, -630, 5040, -4200, 2520, -12600, 15120, -5040, -1, 16, 56, -168, 112, -1008, 1344, 70

Offset: 0

Tom Copeland, Oct 18 2007, Oct 29 2007, Nov 16 2007

The list partition transform of a sequence a(n) for which a(0)=1 is illustrated by:
b_0 = 1
b_1 = -a_1
b_2 = -a_2 + 2 a_1^2
b_3 = -a_3 + 6 a_2 a_1 - 6 a_1^3
b_4 = -a_4 + 8 a_3 a_1 + 6 a_2^2 - 36 a_2 a_1^2 + 24 a_1^4
... .
The unsigned coefficients are A049019 with a leading 1. The sign is dependent on the partition as evident from inspection (replace a_n's by -1).
Expressed umbrally, i.e., with the umbral operation (a.)^n := a_n,
  exp(a.x) exp(b.x) = exp[(a.+b.)x] = 1; i.e., (a.+b.)^n = 1 for n=0 and 0 for all other values of n.
Expressed recursively,
b_0 = 1, b_n = -Sum_{j=1..n} binomial(n,j) a_j b_{n-j}; which is conditionally self-inverse, i.e., the roles of a_k and b_k may be reversed with a_0 = b_0 = 1.
Expressed in matrix form, b_n form the first column of B = matrix inverse of A .
A = Pascal matrix diagonally multiplied by a_n, i.e., A_{n,k} = binomial(n,k)* a_{n-k}.
Some examples of reciprocal pairs of sequences under these operations are:
1) A084358 and -A000262 with the first term set to 1.
2) (1,-1,0,0,...) and (0!,1!,2!,3!,...) with the unsigned associated matrices A128229 and A094587.
3) (1,-1,-1,-1,...) and A000670.
4) A000110 and A000587.
5) (1,-2,-2,0,0,0,...) and (0! c_1,1! c_2,2! c_3,3! c_4,...) where c_n = A000129(n) with the associated matrices A110327 and A110330.
6) (1,-2,2,0,0,0,...) and (1!,2!,3!,4!,...).
7) Sequences of rising and signed lowering factorials form reciprocal pairs where a_n = (-1)^n m!/(m-n)! and b_n = (m-1+n)!/(m-1)! for m=0,1,2,... .
Denote the action of the list partition transform on the sequence a. or an invertible matrix M by LPT(a.) = b. or LPT(M)= M^(-1).
If the matrix equation M = exp(T) also holds, then exp[a.*T]*exp[b.*T] = exp[(a.+b.)*T] = I, the identity matrix, because (a.+b.)^n = delta_n, the Kronecker delta with delta_n = 1 and delta_n = 0 otherwise, i.e., (0)^n = delta_n.
Therefore, [exp(a.*T)]^(-1) = exp[b.*T] = exp[LPT(a.)*T] = LPT[exp(a.*T)].
The fundamental Pascal (A007318), unsigned Lah (A105278) and associated Laguerre matrices can be generated by exponentiation of special infinitesimal matrices (see A132440, A132710 and A132681) such that finding LPT(a.) amounts to multiplying the k'th diagonal of the fundamental matrices by a_k for every diagonal followed by matrix inversion and then extraction of the b_n factors from the first column (simplest for the Pascal formulas above).
Conversely, the inverses of matrices formed by diagonally multiplying the three fundamental matrices by a_k are given by diagonally multiplying the fundamental matrices by b_k.
If LPT(M) is defined differently as application of the top formula to a_n = M^n, then b_n = (-M)^n and the formalism could even be applied to more general sequences of matrices M., providing the reciprocal of exp[t*M.].
The group of fundamental lower triangular matrices M = exp(T) such that LPT[exp(a.*T)] = exp[LPT(a.)*T] = [exp[a.*T]]^(-1) are obtained by infinitesimal generator matrices of the form T =
  0;
  t(0), 0;
  0, t(1), 0;
  0, 0, t(2), 0;
  0, 0, 0, t(3), 0;
  ... .
T^m has trivially vanishing terms except along the m'th subdiagonal, which is a sequence of generalized factorials:
[ t(0)*t(1)...t(m-2)*t(m-1), t(1)*t(2)...t(m-1)*t(m), t(2)*t(3)...t(m)*t(m+1), ... ].
Therefore the principal submatrices of T (given by setting t(j) = 0 for j > n-1) are nilpotent with at least [Tsub_n]^(n+1) = 0.
The general group of matrices GM[a.] = exp[a.*T] can also be obtained through diagonal multiplication of M = exp(T) by the sequence a_n, as in the Pascal matrix example above and their inverses by diagonal multiplication by b. = LPT(a.).
Weighted-mappings interpretation for the top partition equation:
Given n pre-nodes (Pre) and k post-nodes (Post), each Pre is connected to only one Post and each Post has at least one Pre connected to it (surjections or onto functions/maps). Weight each Post by -a_m where m is the number of connections to the Post.
Weight each map by the product of the Post weights and multiply by the number of maps that share the same connectivity. Sum over the possible mappings for n Pre. The result is b_n.
E.g., b_3 = [ 3 Pre to 1 Post ] + [ 3 Pre to 2 Post ] + [ 3 Pre to 3 Post ]
= [1 map with 1 Post with 3 connections] + [ 6 maps with 1 Post with 2 connections and 1 Post with 1 connection] + [6 maps with 3 Post with 1 connection each]
= -a_3 + 6 * [-a_2*(-a_1)] + 6 * [-a_1*(-a_1)*(-a_1)].
See A263633 for the complementary formulation for the reciprocal of o.g.f.s rather than e.g.f.s and computations of these partition polynomials as Gram determinants. - Tom Copeland, Dec 04 2016
The coefficients of the partition polynomials enumerate the faces of the convex, bounded polytopes called permutohedra, and the absolute value of the sum of the 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 unity. 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 the fundamental matrix chosen to be the lower triangular Pascal matrix M, the matrix MA whose n-th diagonals are multiplied by a_n (i.e., MA_{i,j} = PM_{i,j} * a_{i-j}) gives a matrix representation of the e.g.f. associated to the Appell polynomial sequence defined by e^{a.t}e^{xt}= e^{(a.+x)t} = e^{A.(x)t} where umbrally (A.(x))^n = A_n(x) = (a. + x)^n = sum_{k=0..n} binomial(n,k) a_k x^{n-k} are the associated Appell polynomials. Left multiplication of the column vector (1,x,x^2,..) by MA gives the Appell polynomial sequence, and multiplication of the two e.g.f.s e^{a.t} and e^{b.t} corresponds to multiplication of their respective matrix representations MA and MB. Forming the reciprocal of an e.g.f. corresponds to taking the matrix inverse of its matrix representation as noted above. A263634 gives an associated modified Pascal matrix representation of the raising operator for the Appell sequence. - Tom Copeland, Nov 13 2019
The diagonal of MA consists of all ones. Let MAN be the truncated square submatrix of MA containing the coefficients of the first N Appell polynomials A_k=(a.+x)^k = Sum(j=0 to k) MAN(k,j) x^j. Then by the Cayley-Hamilton theorem (I-MAN)^N = 0; therefore, MAN^(-1) = Sum(k=1 to N) binomial(N,k) (-MAN)^{k-1} = MBN, the inverse of MAN, containing the coefficients of the first N rows of the Appell polynomials B_k(x) = (b. + x)^k = Sum(j=0 to k) MBN(k,j) x^j, which are the umbral compositional inverses of the Appell row polynomials A_k(x) of MAN; that is, A_k(B.(x)) = x^k = B_k(A.(x)), where, e.g., (A.(x))^k = A_k(x). - Tom Copeland, May 13 2020
The use of the term 'list partition transform' resulted from one of my first uses of these partition polynomials in relating A000262 to A084358 with their simple e.g.f.s. Other appropriate names would be the permutohedra polynomials since they are refined Euler characteristics of the permutohedra or the reciprocal polynomials since they give the multiplicative inverses of e.g.f.s with a constant of 1. - Tom Copeland, Oct 09 2022

			Table starts:
[0] [ 1]
[1] [-1]
[2] [-1,  2]
[3] [-1,  6, -6]
[4] [-1,  8,  6, -36,  24]
[5] [-1, 10, 20, -60, -90,  240, -120]
[6] [-1, 12, 30, -90,  20, -360,  480, -90, 1080, -1800, 720]

Vincenzo Librandi, Table of n, a(n) for n = 0..250
M. Aguiar, Math 7410: Lie Combinatorics and Hyperplane Arrangements, notes made by D. Mehrle for course taught by Aguiar at Cornell, 2016, p. 49.
M. Aguiar and F. Ardila, The algebraic and combinatorial structure of generalized permutahedra [sic], MSRI Summer School July 19, 2017.
M. Aguiar and F. Ardila, Hopf monoids and generalized permutahedra [sic], arXiv:1709.07504 [math.CO], p. 5, 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.
J. Bergström and S. Minabe, On the cohomology of the Losev-Manin moduli space, arXiv:1108.0338 [math.AG], (cf. p. 1), 2013.
Z. Bern, J.Carrasco, M. Chiodaroli, H. Johansson, and R. Roiban , The Duality Between Color and Kinematics and its Applications, arXiv preprint arXiv:1909.01358 [hep-th], 2019.
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.
Tom Copeland, Bijective mapping between face polytopes of permutohedra and partitions of integers, Math StackExchange question, 2016.
Tom Copeland, Compilation of OEIS Partition Polynomials A133314, A134685, A145271, A356144, and A356145, 2022.
Tom Copeland, In the Realm of Shadows: Umbral inverses and associahedra, noncrossing partitions, symmetric polynomials, and similarity transforms, 2019.
Karl-Dieter Crisman, The Borda Count, the Kemeny Rule, and the permutahedron [sic], preprint, 2014.
Karl-Dieter Crisman, The Borda Count, the Kemeny Rule, and the permutahedron [sic], in: Karl-Dieter Crisman and Michael A. Jones (eds.), The Mathematics of Decisions, Elections, and Games, Contemporary Mathematics, AMS, Vol. 624, 2014, pp. 101-134.
R. Da Rosa, D. Jensen, and D. Ranganathan, Toric graph associahedra and compactifications of M_(0,n), arXiv:1411.0537 [math.AG], 2015.
Nick Early, Honeycomb tessellations and canonical bases for permutohedral blades, arXiv:1810.03246 [math.CO], 2018.
S. Forcey, The Hedra Zoo
S. Franco and A. Hasan, Graded Quivers, Generalized Dimer Models and Toric Geometry , arXiv preprint arXiv:1904.07954 [hep-th], 2019.
M. Futaki and K. Ueda, Tropical coamoeba and torus-equivariant homological mirror symmetry for the projective space , arXiv preprint arXiv:1001.4858 [math.SG], 2010-2014.
X. Gao, S. He, Y. Zhan, Labelled tree graphs, Feynman diagrams and disk integrals , arXiv:1708.08701 [hep-th], 2017.
A. Hasan, Physics and Mathematics of Graded Quivers, dissertation, Graduate Center, City University of New York, 2019.
D. Karp, D. Ranganathan, P. Riggins, and U. Whitcher, Toric Symmetry of CP^3, arXiv:1109.5157 [math.AG], 2011.
R. Kaufmann and Y. Zhang, Permutohedral structures on E2-operads, arXiv preprint arXiv:1602.08247 [math.AT], 2016.
M. Lin, Graph Cohomology, 2016.
J. Loday, The Multiple Facets of the Associahedron
MathOverflow, Analogue of conic sections for the permutohedra, associahedra, and noncrossing partitions, an MO question posed by T. Copeland, 2017.
W. Norledge and A. Ocneanu, Hopf monoids, permutohedral cones, and generalized retarded functions, arXiv preprint arXiv:1911.11736 [math.CO], 2020.
P. Olver, The canonical contact form, p. 9.
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: 9908029 [math.CO], 1999.
A. Postnikov, Positive Grassmannian and Polyhedral Subdivisions, arXiv:1806.05307 [math.CO], (cf. p. 17), 2018.
D. Ranganathan, Gromov-Witten Theory of Blowups of Toric Threefolds, senior thesis, Harvey Mudd College, 2012.
D. Ranganathan, Gromov-Witten Theory of Blowups of Toric Threefolds (poster), poster for senior thesis, Harvey Mudd College, 2012.
E. Schröder, Ueber unendlich viele Algorithmen zur Auflösung der Gleichungen, Mathematische Annalen vol. 2, 317-365, 1870, (bottom of p. 342, see Stewart below for a translation).
G. Stewart, On infinitely many algorithms for solving equations, 1993, (translation into English of the Schröder paper above, see top of p. 31 for differently normalized partition polynomials of this entry).

Row lengths in A000041.
Cf. A000110, A000129, A000262, A000587, A000670, A001286, A007318, A019538, A049019, A084358, A094587, A105278, A110327, A110330, A128229, A132440, A132681, A132710, A263633.
Cf. A134685, A145271, A356144, A356145.

b[0] = 1; b[n_] := b[n] = -Sum[Binomial[n, j]*a[j]*b[n-j], {j, 1, n}];
row[0] = {1}; row[n_] := Coefficient[b[n], #]& /@ (Times @@ (a /@ #)&) /@ IntegerPartitions[n];
Table[row[n], {n, 0, 8}] // Flatten (* Jean-François Alcover, Apr 23 2014 *)

def A133314_row(n): return [(-1)^len(s)*factorial(len(s))*SetPartitions(sum(s), s).cardinality() for s in Partitions(n)]
for n in (0..10): print(A133314_row(n)) # Peter Luschny, Sep 18 2015

b_{n-1} = (1/n)(d/da(1))p_n[a_1, a_2, ..., a_n] where p_n are the row partition polynomials of the cumulant generator A127671. - Tom Copeland, Oct 13 2012
(E.g.f. of matrix B) = (e.g.f. of b)·exp(xt) = exp(b.t)·exp(xt) = exp(xt)/exp(a.t) = (e.g.f. of A^(-1)) and (e.g.f. of matrix A) = exp(a.t)·exp(xt) = exp(xt)/exp(b.t) = (e.g.f. of B^(-1)), where the umbral evaluation of exp(b.t) = Sum{n >= 0} (b.t)^n / n! = Sum_{n >= 0} b_n t^n / n! is understood in the denominator. These e.g.f.s define Appell sequences of polynomials. - Tom Copeland, Mar 22 2014
Sum of the n-th row is (-1)^n. - Peter Luschny, Sep 18 2015
The unsigned coefficients for the partitions a_2*a_1^n for n >= 0 are the Lah numbers A001286. - Tom Copeland, Aug 06 2016
G.f.: 1 / (1 + Sum_{n > 0} a_n x^n/n!) = 1 / exp(a.x). - Tom Copeland, Oct 18 2016
Let a_1 = 1 + x + B_1 = x + 1/2 and a_n = B_n = (B.)^n, where B_n are the Bernoulli numbers defined by e^(B.t) = t / (e^t-1), then t / e^(a.t) = t / [(x + 1) * t + exp(B.t)] =  (e^t - 1) /[ 1 + (x + 1) (e^t - 1)] = exp(p.(x)t), where (p.(x))^n = p_n(x) are the shifted signed polynomials of A019538: p_0(x) = 0, p_1(x) = 1, p_2(x) = -(1 + 2 x), p_3(x) = 1 + 6 x + 6 x^2, ... , p_n(x) = n * b_{n-1}. - Tom Copeland, Oct 18 2016
With a_n = 1/(n+1), b_n = B_n, the Bernoulli numbers. - Tom Copeland, Nov 08 2016
Indeterminate substitutions as illustrated in A356145 lead to [E] = [L][P] = [P][E]^(-1)[P] = [P][RT] and [E]^(-1) = [P][L] = [P][E][P] = [RT][P], where [E] contains the refined Eulerian partition polynomials of A145271; [E]^(-1), A356145, the inverse set to [E]; [P], the permutohedra polynomials of this entry; [L], the classic Lagrange inversion polynomials of A134685; and [RT], the reciprocal tangent polynomials of A356144. Since [L]^2 = [P]^2 = [RT]^2 = [I], the substitutional identity, [L] = [E][P] = [P][E]^(-1) = [RT][P], [RT] = [E]^(-1)[P] = [P][L][P] = [P][E], and [P] = [L][E] = [E][RT] = [E]^(-1)[L] = [RT][E]^(-1). - Tom Copeland, Oct 05 2022

More terms from Jean-François Alcover, Apr 23 2014

A145271 Coefficients for expansion of (g(x)d/dx)^n g(x); refined Eulerian numbers for calculating compositional inverse of h(x) = (d/dx)^(-1) 1/g(x); iterated derivatives as infinitesimal generators of flows.

Original entry on oeis.org

1, 1, 1, 1, 1, 4, 1, 1, 11, 4, 7, 1, 1, 26, 34, 32, 15, 11, 1, 1, 57, 180, 122, 34, 192, 76, 15, 26, 16, 1, 1, 120, 768, 423, 496, 1494, 426, 294, 267, 474, 156, 56, 42, 22, 1, 1, 247, 2904, 1389, 4288, 9204, 2127, 496, 5946, 2829, 5142, 1206, 855, 768, 1344, 1038, 288, 56, 98, 64, 29, 1

Offset: 0

Tom Copeland, Oct 06 2008

For more detail, including connections to Legendre transformations, rooted trees, A139605, A139002 and A074060, see Mathemagical Forests p. 9.
For connections to the h-polynomials associated to the refined f-polynomials of permutohedra see my comments in A008292 and A049019.
From Tom Copeland, Oct 14 2011: (Start)
Given analytic functions F(x) and FI(x) such that F(FI(x))=FI(F(x))=x about 0, i.e., they are compositional inverses of each other, then, with g(x) = 1/dFI(x)/dx, a flow function W(s,x) can be defined with the following relations:
W(s,x) = exp(s g(x)d/dx)x = F(s+FI(x)) ,
W(s,0) = F(s) ,
W(0,x) = x ,
dW(0,x)/ds = g(x) = F'[FI(x)] , implying
dW(0,F(x))/ds = g(F(x)) = F'(x) , and
W(s,W(r,x)) = F(s+FI(F(r+FI(x)))) = F(s+r+FI(x)) = W(s+r,x) . (See MF link below.) (End)
dW(s,x)/ds - g(x)dW(s,x)/dx = 0, so (1,-g(x)) are the components of a vector orthogonal to the gradient of W and, therefore, tangent to the contour of W, at (s,x) . - Tom Copeland, Oct 26 2011
Though A139605 contains A145271, the op. of A145271 contains that of A139605 in the sense that exp(s g(x)d/dx) w(x) = w(F(s+FI(x))) = exp((exp(s g(x)d/dx)x)d/du)w(u) evaluated at u=0. This is reflected in the fact that the forest of rooted trees assoc. to (g(x)d/dx)^n, FOR_n, can be generated by removing the single trunk of the planted rooted trees of FOR_(n+1). - Tom Copeland, Nov 29 2011
Related to formal group laws for elliptic curves (see Hoffman). - Tom Copeland, Feb 24 2012
The functional equation W(s,x) = F(s+FI(x)), or a restriction of it, is sometimes called the Abel equation or Abel's functional equation (see Houzel and Wikipedia) and is related to Schröder's functional equation and Koenigs functions for compositional iterates (Alexander, Goryainov and Kudryavtseva). - Tom Copeland, Apr 04 2012
g(W(s,x)) = F'(s + FI(x)) = dW(s,x)/ds = g(x) dW(s,x)/dx, connecting the operators here to presentations of the Koenigs / Königs function and Loewner / Löwner evolution equations of the Contreras et al. papers. - Tom Copeland, Jun 03 2018
The autonomous differential equation above also appears with a change in variable of the form x = log(u) in the renormalization group equation, or Beta function. See Wikipedia, Zinn-Justin equations 2.10 and 3.11, and Krajewski and Martinetti equation 21. - Tom Copeland, Jul 23 2020
A variant of these partition polynomials appears on p. 83 of Petreolle et al. with the indeterminates e_n there related to those given in the examples below by e_n = n!*(n'). The coefficients are interpreted as enumerating certain types of trees. See also A190015. - Tom Copeland, Oct 03 2022

			From _Tom Copeland_, Sep 19 2014: (Start)
Let h(x) = log((1+a*x)/(1+b*x))/(a-b); then, g(x) = 1/(dh(x)/dx) = (1+ax)(1+bx), so (0')=1, (1')=a+b, (2')=2ab, evaluated at x=0, and higher order derivatives of g(x) vanish. Therefore, evaluated at x=0,
R^0 g(x) =  1
R^1 g(x) =  a+b
R^2 g(x) = (a+b)^2 + 2ab = a^2 + 4 ab + b^2
R^3 g(x) = (a+b)^3 + 4*(a+b)*2ab = a^3 + 11 a^2*b + 11 ab^2 + b^3
R^4 g(x) = (a+b)^4 + 11*(a+b)^2*2ab + 4*(2ab)^2
         =  a^4 + 26 a^3*b + 66 a^2*b^2 + 26 ab^3 + b^4,
etc., and these bivariate Eulerian polynomials (A008292) are the first few coefficients of h^(-1)(x) = (e^(ax) - e^(bx))/(a*e^(bx) - b*e^(ax)), the inverse of h(x). (End)
Triangle starts:
  1;
  1;
  1,   1;
  1,   4,    1;
  1,  11,    4,    7,    1;
  1,  26,   34,   32,   15,   11,    1;
  1,  57,  180,  122,   34,  192,   76,  15,   26,   16,    1;
  1, 120,  768,  423,  496, 1494,  426, 294,  267,  474,  156,   56,  42,  22,    1;
  1, 247, 2904, 1389, 4288, 9204, 2127, 496, 5946, 2829, 5142, 1206, 855, 768, 1344, 1038, 288, 56, 98, 64, 29, 1;

D. S. Alexander, A History of Complex Dynamics: From Schröder to Fatou to Julia, Friedrich Vieweg & Sohn, 1994.
T. Mansour and M. Schork, Commutation Relations, Normal Ordering, and Stirling Numbers, Chapman and Hall/CRC, 2015.

Luc Rousseau, Table of n, a(n) for n = 0..9295 (rows 0 to 25, flattened).
M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972.
V. E. Adler, Set partitions and integrable hierarchies, arXiv:1510.02900 [nlin.SI], 2015.
Filippo Bracci, Manuel D. Contreras, and Santiago Díaz-Madrigal, On the Königs function of semigroups of holomorphic self-maps of the unit disc, arXiv:1804.10465 [math.CV], p. 15, 2018.
F. Bracci, M. Contreras, S. Díaz-Madrigal, and A. Vasil'ev, Classical and stochastic Löwner-Kufarev equations , arXiv:1309.6423 [math.CV], (cf., e.g., p. 23), 2013.
C. Brouder, Trees, renormalization, and differential equations, BIT Numerical Mathematics, 44: 425-438, 2004, (Flow / autonomous differential equation, p. 429).
Manuel D. Contreras, Santiago Diaz-Madrigal, and Pavel Gumenyuk, Loewner chains in the unit disk, arXiv:0902.3116 [math.CV], p. 29, 2009.
Tom Copeland, The Elliptic Lie Triad: KdV and Ricatti Equations, Infinigens, and Elliptic Genera
Tom Copeland, Flipping Functions with Permutohedra, Posted Oct 2008.
Tom Copeland, Mathemagical Forests v2, 2008.
Tom Copeland, Addendum to Mathemagical Forests, 2010.
Tom Copeland, Important formulas in combinatorics, MathOverflow answer, 2015.
Tom Copeland, Formal group laws and binomial Sheffer sequences, 2018.
Tom Copeland, Pre-Lie algebras, Cayley's analytic trees, and mathemagical forests, 2018.
Tom Copeland, Compilation of OEIS Partition Polynomials A133314, A134685, A145271, A356144, and A356145, 2022.
P. Feinsilver, Lie algebras, representations, and analytic semigroups through dual vector fields, Cimpa-Unesco-Venezuela School, Mérida, Venezuela, Jan-Feb 2006.
P. Feinsilver and R. Schott, Appell systems on Lie groups, J. Theor. Probab. 5 (2) (1992) 251-281.
Philippe Flajolet and Robert Sedgewick, Analytic Combinatorics, 2009, p. 526 and 527.
V. Goryainov and O. Kudryavtseva, One-parameter semigroups of analytic functions, fixed points and the Koenigs function, Sbornik: Mathematics, 202:7 (2011), 971-1000.
Darij Grinberg, Commutators, matrices, and an identity of Copeland, arXiv:1908.09179 [math.RA], 2019.
Jerome William Hoffman, Topics in Elliptic Curves and Modular Forms, p. 10.
C. Houzel, The Work of Niels Henrik Abel, The Legacy of Niels Henrik Abel-The Abel Bicentennial, Oslo 2002 (Editors O. Laudal and R Piene), Springer-Verlag (2004), pp. 24-25.
Thomas Krajewski and Pierre Martinetti, Wilsonian renormalization, differential equations and Hopf algebras, arXiv:0806.4309 [hep-th], 2008.
Peter Luschny, Expansion A145271 (added Jul 21 2016)
MathOverflow, Important formulas in combinatorics: The combinatorics underlying iterated derivatives (infinitesimal Lie generators) for compositional inversion and flow maps for vector fields, answer by Tom Copeland to an MO question posed by Gil Kalai, 2015.
MathOverflow, Characterizing positivity of formal group laws, a MO question posed by Jair Taylor, 2018.
MathOverflow, Expansions of iterated, or nested, derivatives, or vectors--conjectured matrix computation, a MO question posed by Tom Copeland, answered by Darij Grinberg, 2019.
MathOverflow, A Leibniz-like formula for (f(x)D_x)^n f(x)?, a MO question posed by the user M.G. and answered by Tom Copeland, 2022.
MathStackExchange, Closed form for sequence A145271, posed 2014, response by Tom Copeland in 2016.
Miguel A. 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], p. 28 Example 6, 2016.
Mathias Pétréolle, Alan D. Sokal, and Bao-Xuan Zhu, Lattice paths and branched continued fractions: An infinite sequence of generalizations of the Stieltjes--Rogers and Thron--Rogers polynomials, with coefficientwise Hankel-total positivity, arXiv:1807.03271 [math.CO], 2020.
Jair Patrick Taylor, Formal group laws and hypergraph colorings, doctoral thesis, Univ. of Wash., 2016, p. 66, eqn. 9.3.
Wikipedia, Abel equation
Wikipedia, Renormalization Group
Julie Zhang, Noah A. Rosenberg, and Julia A. Palacios, The space of multifurcating ranked tree shapes: enumeration, lattice structure, and Markov chains, arXiv:2506.10856 [math.PR], 2025. See p. 10.
Bao-Xuan Zhu, Coefficientwise Hankel-total positivity of row-generating polynomials for the m-Jacobi-Rogers triangle, arXiv:2202.03793 [math.CO], 2022.
Jean Zinn-Justin, Phase Transitions and Renormalization Group: from Theory to Numbers, Séminaire Poincaré 2, pp. 55-74, 2002.

Cf. (A133437, A086810, A181289) = (LIF, reduced LIF, associated g(x)), where LIF is a Lagrange inversion formula. Similarly for (A134264, A001263, A119900), (A134685, A134991, A019538), (A133932, A111999, A007318).
Cf. A008292, A049019, A074060, A129185, A139002, A139605, A190015.
Second column is A000295, subdiagonal is A000124, row sums are A000142, row lengths are A000041. - Peter Luschny, Jul 21 2016
Cf. A036039, A133314, A356144, A356145.

with(LinearAlgebra): with(ListTools):
A145271_row := proc(n) local b, M, V, U, G, R, T;
if n < 2 then return 1 fi;
b := (n,k) -> `if`(k=1 or k>n+1,0,binomial(n-1,k-2)*g[n-k+1]);
M := n -> Matrix(n, b):
V := n -> Vector[row]([1, seq(0,i=2..n)]):
U := n -> VectorMatrixMultiply(V(n), M(n)^(n-1)):
G := n -> Vector([seq(g[i], i=0..n-1)]);
R := n -> VectorMatrixMultiply(U(n), G(n)):
T := Reverse([op(sort(expand(R(n+1))))]);
seq(subs({seq(g[i]=1, i=0..n)},T[j]),j=1..nops(T)) end:
for n from 0 to 9 do A145271_row(n) od; # Peter Luschny, Jul 20 2016

Let R = g(x)d/dx; then
R^0 g(x) = 1 (0')^1
R^1 g(x) = 1 (0')^1 (1')^1
R^2 g(x) = 1 (0')^1 (1')^2 + 1 (0')^2 (2')^1
R^3 g(x) = 1 (0')^1 (1')^3 + 4 (0')^2 (1')^1 (2')^1 + 1 (0')^3 (3')^1
R^4 g(x) = 1 (0')^1 (1')^4 + 11 (0')^2 (1')^2 (2')^1 + 4 (0')^3 (2')^2 + 7 (0')^3 (1')^1 (3')^1 + 1 (0')^4 (4')^1
R^5 g(x) = 1 (0') (1')^5 + 26 (0')^2 (1')^3 (2') + (0')^3 [34 (1') (2')^2 + 32 (1')^2 (3')] + (0')^4 [ 15 (2') (3') + 11 (1') (4')] + (0')^5 (5')
R^6 g(x) = 1 (0') (1')^6 + 57 (0')^2 (1')^4 (2') + (0')^3 [180 (1')^2 (2')^2 + 122 (1')^3 (3')] + (0')^4 [ 34 (2')^3 + 192 (1') (2') (3') + 76 (1')^2 (4')] + (0')^5 [15 (3')^2 + 26 (2') (4') + 16 (1') (5')] + (0')^6 (6')
where (j')^k = ((d/dx)^j g(x))^k. And R^(n-1) g(x) evaluated at x=0 is the n-th Taylor series coefficient of the compositional inverse of h(x) = (d/dx)^(-1) 1/g(x), with the integral from 0 to x.
The partitions are in reverse order to those in Abramowitz and Stegun p. 831. Summing over coefficients with like powers of (0') gives A008292.
Confer A190015 for another way to compute numbers for the array for each partition. - Tom Copeland, Oct 17 2014
Equivalent matrix computation: Multiply the n-th diagonal (with n=0 the main diagonal) of the lower triangular Pascal matrix by g_n = (d/dx)^n g(x) to obtain the matrix VP with VP(n,k) = binomial(n,k) g_(n-k). Then R^n g(x) = (1, 0, 0, 0, ...) [VP * S]^n (g_0, g_1, g_2, ...)^T, where S is the shift matrix A129185, representing differentiation in the divided powers basis x^n/n!. - Tom Copeland, Feb 10 2016 (An evaluation removed by author on Jul 19 2016. Cf. A139605 and A134685.)
Also, R^n g(x) = (1, 0, 0, 0, ...) [VP * S]^(n+1) (0, 1, 0, ...)^T in agreement with A139605. - Tom Copeland, Jul 21 2016
A recursion relation for computing each partition polynomial of this entry from the lower order polynomials and the coefficients of the cycle index polynomials of A036039 is presented in the blog entry "Formal group laws and binomial Sheffer sequences". - Tom Copeland, Feb 06 2018
A formula for computing the polynomials of each row of this matrix is presented as T_{n,1} on p. 196 of the Ihara reference in A139605. - Tom Copeland, Mar 25 2020
Indeterminate substitutions as illustrated in A356145 lead to [E] = [L][P] = [P][E]^(-1)[P] = [P][RT] and [E]^(-1) = [P][L] = [P][E][P] = [RT][P], where [E] contains the refined Eulerian partition polynomials of this entry; [E]^(-1), A356145, the inverse set to [E]; [P], the permutahedra polynomials of A133314; [L], the classic Lagrange inversion polynomials of A134685; and [RT], the reciprocal tangent polynomials of A356144. Since [L]^2 = [P]^2 = [RT]^2 = [I], the substitutional identity, [L] = [E][P] = [P][E]^(-1) = [RT][P], [RT] = [E]^(-1)[P] = [P][L][P] = [P][E], and [P] = [L][E] = [E][RT] = [E]^(-1)[L] = [RT][E]^(-1). - Tom Copeland, Oct 05 2022

Title amplified by Tom Copeland, Mar 17 2014
R^5 and R^6 formulas and terms a(19)-a(29) added by Tom Copeland, Jul 11 2016
More terms from Peter Luschny, Jul 20 2016

A356145 Coefficients of the inverse refined Eulerian partition polynomials [E]^{-1}, partitional inverse to A145271. Irregular triangle read by row with lengths A000041.

Original entry on oeis.org

1, 1, -1, 1, 3, -4, 1, -15, 25, -4, -7, 1, 105, -210, 70, 60, -15, -11, 1, -945, 2205, -1120, -630, 70, 350, 126, -15, -26, -16, 1, 10395, -27720, 18900, 7875, -2800, -6930, -1638, 560, 455, 784, 238, -56, -42, -22, 1, -135135, 405405, -346500, -114345, 84700

Offset: 0

Tom Copeland, Jul 27 2022

These are the coefficients of the inverse refined Eulerian partitions polynomials, the substitutional inverse to the refined Eulerian partition polynomials [E] of A145271. [E] and [E]^{-1} are a conjugate dual with respect to the permutahedra polynomials [P] of A133314 (see formula section).

			The first few rows of coefficients with monomials in reverse order to the partitions of Abramowitz and Stegun (link in A000041, pp. 831-2) are
0)       1;
1)       1;
2)      -1,      1;
3)       3,     -4,       1;
4)     -15,     25,      -4,      -7,     1;
5)     105,   -210,      70,      60,   -15,    -11,     1;
6)    -945,   2205,   -1120,    -630,    70,    350,   126,   -15,    -26,    -16,      1;
7)   10395, -27720,   18900,    7875, -2800,  -6930, -1638,   560,    455,    784,    238,   -56,  -42,  -22,    1;
8) -135135, 405405, -346500, -114345, 84700, 138600, 24255, -2800, -27300, -11025, -18900, -3780, 1575, 1344, 2142, 1596, 414, -56, -98, -64, -29, 1;
    ...
The first few partition polynomials are
E_0^{(-1)} = 1,
E_1^{(-1)} = a1,
E_2^{(-1)} = -a1^2 + a2,
E_3^{(-1)} = 3 a1^3 - 4 a1 a2 + a3,
E_4^{(-1)} = -15 a1^4 + 25 a1^2 a2 - 4 a2^2 - 7 a1 a3 + a4,
E_5^{(-1)} = 105 a1^5 - 210 a1^3 a2 + 70 a1 a2^2 + 60 a1^2 a3 - 15 a2 a3 - 11 a1 a4 + a5,
E_6^{(-1)} = -945 a1^6 + 2205 a1^4 a2 - 1120 a1^2 a2^2 - 630 a1^3 a3 + 70 a2^3 + 350 a1 a2 a3 + 126 a1^2 a4 - 15 a3^2 - 26 a2 a4 - 16 a1 a5 + a6,
E_7^{(-1)} = 10395 a1^7 - 27720 a1^5 a2 + 18900 a1^3 a2^2 + 7875 a1^4 a3 - 2800 a1 a2^3 - 6930 a1^2 a2 a3 - 1638 a1^3 a4 + 560 a2^2 a3 + 455 a1 a3^2 + 784 a1 a2 a4 + 238 a1^2 a5 - 56 a3 a4 - 42 a2 a5 - 22 a1 a6 + a7,
E_8^{(-1)} = -135135 a1^8 + 405405 a1^6 a2 - 346500 a1^4 a2^2 - 114345 a1^5 a3 + 84700 a1^2 a2^3 + 138600 a1^3 a2 a3 + 24255 a1^4 a4 - 2800 a2^4 - 27300 a1 a2^2 a3 - 11025 a1^2 a3^2 - 18900 a1^2 a2 a4 - 3780 a1^3 a5 + 1575 a2 a3^2 + 1344 a2^2 a4 + 2142 a1 a3 a4 + 1596 a1 a2 a5 + 414 a1^2 a6 - 56 a4^2 - 98 a3 a5 - 64 a2 a6 - 29 a1ma7 + a8,
... .
Example substitution identities:
With the permutahedra polynomials
P_1 = -a_1,
P_2 = 2*a_1^2 - a_2,
P_3 = -6*a_1^3 + 6*a_2*a_1 - a_3,
the refined Eulerian polynomials
E_1 = a_1,
E_2 = a_1^2 + a_2,
E_3 = a_1^3 + 4*a_1*a_2 + a_3,
the reciprocal tangent polynomials
RT_1 = -a_1,
RT_2 = -a_2 + a_1^2,
RT_3 = -a_3 + 2*a_1*a_2 - a_1^3,
the Lagrange inversion polynomials
L_1 = -a_1,
L_2 = 3*a_1^2 - a_2,
L_3 = -15*a_1^3 + 10*a_1a_2 - a_3,
then
E^{-1}_3 = P_3(L_1,L_2,L_3) = -6*(-a_1)^3 + 6*(3*a_1^2 - a_2)*(-a_1) - (-15*a_1^3 + 10*a_1*a_2 - a_3) = 3*a_1^3 - 4*a_2*a_1 + a_3,
E^{-1}_3 = RT_3(P_1,P_2,P_3) = -(-6*a_1^3 + 6*a_2*a_1 - a_3) + 2*(-a_1)*(2*a_1^2 - a_2) - (-a_1)^3 = 3*a_1^3 - 4*a_2*a_1 + a_3,
E{-1}_3(E_1,E_2,E_3) = 3*a_1^3 - 4*a_1*(a_1^2 + a_2) + (a_1^3 + 4*a_1*a_2 + a_3) = a_3.

Tom Copeland, Matryoshka Dolls: Iterated noncrossing partitions, the refined Narayana group, and quantum fields, 2022.
Tom Copeland, One Matrix to Rule Them All, 2022.
Tom Copeland, The reduced inverse refined Eulerian polynomials and associated arrays, 2022.

Cf. A000041, A006351, A112493, A124324, A133314, A134685, A134991, A145271, A356144.

rows[nn_] := {{1}}~Join~With[{s = 1/D[InverseSeries[x + Sum[c[k - 1] x^k/k!, {k, 2, nn}] + O[x]^(nn + 1)], x]}, Table[Coefficient[n! s, x^n Product[c[t], {t, p}]], {n, nn-1}, {p, Reverse[Sort[Sort /@ IntegerPartitions[n]]]}]];
rows[8] // Flatten (* Andrey Zabolotskiy, Feb 17 2024 *)

B. = PolynomialRing(ZZ)
A. = PowerSeriesRing(B)
f =  x + a1*x^2/factorial(2) + a2*x^3/factorial(3) + a3*x^4/factorial(4) + a4*x^5/factorial(5) + a5*x^6/factorial(6) + a6*x^7/factorial(7) + a7*x^8/factorial(8) + a8*x^9/factorial(9) + a9*x^10/factorial(10)
g = f.reverse()
w = derivative(g,x)
I = 1 / w
# Added by Peter Luschny, Feb 17 2024:
for n, c in enumerate(I.list()[:9]):
    print(f"E[{n}]", (factorial(n)*c).coefficients())

Given the formal Taylor series or e.g.f. f(x) = x + a_1 x^2/2! + a_2 x^3/3! + ...,
E_n^{-1}(a_1,a_2,...,a_n) = D_{x=0}^n 1 / (D_x f^{(-1)}(x)), where D_x is the derivative w.r.t. x and f^{(-1)}(x) is the (possibly formal) compositional inverse of f(x) about the origin.
E_n^{-1}(a_1,a_2,...,a_n) = D_{x=0}^n 1 f'(f^{(-1)}(x)) by the inverse function theorem, where the prime indicates differentiation w.r.t. the argument of the function f. Note the correspondence to the analytic definitions of the reciprocal tangents [RT] of A356144, consistent with the following algebraic identities.
[E]^{-1} = [P][L] = [P][E][P] = [RT][P], representing, e.g., the substitution of the permutahedra polynomials [P] of A133314 for the indeterminates of the reciprocal tangent polynomials [RT] of A356144. [E] are the refined Eulerian polynomials of A145271, and [L], the classic Lagrange inversion polynomials of A134685.
Since [P]^2 = [L]^2 = [RT]^2 = [I], the substitutional identity, i.e., [P], [L], and [RT] are involutive transformations, many identities follow from the basic ones above, e.g., [L] = [P][E]^{-1} gives an inversion formula for a formal e.g.f. f(x) = x + a_1 x^2/2! + a_2 x^3/3! + ..., and we can identify [E] and [E]^{-1} as a conjugate dual.
With a_n = -x, [E]^{-1} reduces to a signed version of A112493 with an additional initial row, with the row sums of the unsigned coefficients being (1, A006351). A112493 is also given by the diagonals of A124324. See my link above on the reduced polynomials and associated arrays for more detail.
The sequence of row sums of the signed coefficients, i.e., E^{-1}(1,1,...,1), is the sequence (1, 1, 0, 0, 0, 0, ...).
Conjecture: row polynomials are R(n,1) for n > 0 where R(n,k) = R(n-1,k+1) - Sum_{j=1..n-1} binomial(n-1,j-1)*R(j,k)*R(n-j,1) for n > 1, k > 0 with R(1,k) = a_k for k > 0. - Mikhail Kurkov, Mar 22 2025

cp's OEIS Frontend

A133314 Coefficients of list partition transform: reciprocal of an exponential generating function (e.g.f.).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Sage

Formula

Extensions

A145271 Coefficients for expansion of (g(x)d/dx)^n g(x); refined Eulerian numbers for calculating compositional inverse of h(x) = (d/dx)^(-1) 1/g(x); iterated derivatives as infinitesimal generators of flows.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Formula

Extensions

A356145 Coefficients of the inverse refined Eulerian partition polynomials [E]^{-1}, partitional inverse to A145271. Irregular triangle read by row with lengths A000041.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

SageMath

Formula