Given a compositional inverse pair and , i.e.,

,

with with , , and , construct the binomial Sheffer sequence with the exponential generating function

.

Then the associated formal group law (FGL) may be expressed as

The last operator factor may be expressed several ways:

where and .

The product of the Sheffer polynomials may be written, as discussed by J. Taylor in his thesis “Formal group laws and hypergraph colorings“, in terms of linear combinations of the Sheffer polynomials as

.

Then noting that is the lowering operator for the Sheffer polynomials, defined by , and that the raising operator, defined by , is (see Sec. 3: A Walk with Bruno and Blissard, pages 12 and 13, of my pdf “Mathemagical Forests” for derivations of these relations),

.

Evaluated at the origin,

where the umbral evaluation is carried out only after multiplying the polynomials together treating the umbral variable as a regular variable.

A good inverse pair for a sanity check is and for which the Sheffer polynomials are the falling factorials or Stirling polynomials of the first kind, . For example,

Note also that with and ,

so

and clearly if the coefficients of the formal Taylor series expansion of are non-negative integers, then so are the coefficients of . These coefficients are given in OEIS A145271.

My 2014 formulas in the OEIS entry for the Eulerian numbers A008292 give an FGL for . An extrapolated , which can be simply expressed as a polynomial, or infinite series, in the elementary symmetric polynomials/functions, gives the same in terms of the complete homogeneous symmetric polynomials/functions.

Explicitly, expressing in terms of the elementary symmetric polynomials and the complete homogeneous symmetric polynomials ,

Then

with

so

the Stirling partition polynomials of the first kind, a.k.a., the cycle index polynomials for the symmetric groups, described in A036039. See the link there to my pdf “Lagrange a la Lah” (particularly, pages 4 and 23 of Part I) for the first few polynomials and their characterization with as an Appell sequence in the indeterminate with the lowering and raising operators and

A related sequence of Appell polynomials in can be devised such that

where and

with for and . Giving for the first few,

Using the notation in Lagrange a la Lah,

Then

Note that

An umbral recursion relation follows from the last expression for the raising op:

The OEIS entry A263633 can be used to express the complete symmetric polynomials in terms of the elementary symmetric polynomials or vice versa. For easy reference for spot checks,

and

and the same holds for and interchanged.

Since , for ,

In addition,

Returning to the connection coefficients, we have

and

so

and

giving for the general FGL

This agrees with the particular

for the bivariate generating function of the Eulerian numbers A008292, for which for . (Here and are regular variables, not umbral variables. Note that a dot as a subscript is used to flag umbral variables in my notation.)

Spot checking with previous formulas, we have

and

since and

The coefficients of this last expression follow from A145271 with (cf. also A190015).

Note also, for , since

giving

For consistency between the operator formalism for umbral substitution and the direct replacement of an argument with the umbral variable, we must evaluate to . Then, since ,

The coefficients of the FGL remain invariant with a scaling of the indeterminates, i.e., with

Then and the associated are the refined Stirling polynomials of the first kind A036039, the refined Lah polynomials A130561, and the refined Bell polynomials A036040, respectively. The associated inversion partition polynomials for obtaining in terms of the same indeterminates are given by A133932, A133437, and A134685, respectively. Alternatively, A134264, A248120, or A248927 can be used for the inversion in terms of the coefficients of , for which calculation A133314 and A263633 are useful. Ultimately,

and except for .

Then can be used to give a recursion relation for each set of inversion polynomials in terms of the coefficients of the associated binomial Sheffer sequence and the lower order partition polynomials.

For example, consider A133437, the inversion formula for power series, or o.g.f.s, involving the refined face polynomials of the Stasheff associahedra, and A130561, the refined Lah polynomials, related to the elementary Schur polynomials. Given

the inversion polynomials of A133437 give

The associated binomial Sheffer polynomials as given by A130561 are the refined Lah polynomials

Then, e.g.,

or, equivalently,

And,

agreeing with the earlier result.

As another example, consider A134264, enumerating non-crossing partitions of polygons, giving the inversion partition polynomials in terms of the coefficients of the reciprocal

(The indeterminates here are not the complete homogeneous symmetric polynomials .)

Then

and, either from the e.g.f. or using the raising op

And consistently, gives

See also https://mathoverflow.net/questions/291888/characterizing-positivity-of-formal-group-laws.