In the earlier post Compositional Inverse Operators and Sheffer Sequences, I constructed relations among a generic power series, call it , or ordinary generating function (o.g.f.), its compositional inverse and four sets of Sheffer polynomial sequences–two Appell sequences and and two binomial Sheffer sequences and intimately related by

,

,

,

.

Tis method to my madness of writing these relations in a roundabout way by letting . I want to find relations between the two families of symmetric polynomials— the elementary symmetric polynomials (ESPs), denoted by , and the complete homogeneous symmetric polynomials (CSPs), denoted by , whose o.g.f.s and are essentially reciprocal to each other:

.

Nowhere will I use the explicit definitions of these symmetric polynomials so the relations uncovered will apply to basically any generic o.g.f. and the polynomial sequences formed from it and its shifted multiplicative and compostional inverses.

With these definitions the generating functions for the Appell sequence for become

,

so ,

where . The first few polynomials are

,

,

.

The numerical coefficients are given by OEIS A094587 and A008279.

The other sequence of Appell polynomials depend on the coefficients of the power series for the compositional inverse of , derived from A134264, which gives the compositional inverse in terms of the coefficients of the power series of the functions shifted reciprocal as the signed refined partition polynomials for the noncrossing partitions

with the first few partition polynomials

,

,

,

.

An alternative is to use the inversion scheme of A133437 involving the signed refined face partition polynomials of the Stasheff polytopes, or associahedra. Then

with the first few polynomials

,

,

.

OEIS A263633 can be used to convert between the ESPs and CSPs and so also between the and .

The first few conversions are

,

,

.

(The relation is an involution satisfied when and are interchanged.)

Now return to the other Appell sequence defined by

.

Then

where . The first few are

,

,

.

Now for the two binomial Sheffer sequences, we will use the refined Lah partition polynomials described in the Lagrange a la Lah pdf (Part I, cf. also A130561, these are the normalized, signed elementary Schur polynomials) with the e.g.f.

.

The first few polynomials are

,

,

,

,

.

Then

with the first few being

,

,

,

.

Similarly,

with the first few being

,

,

,

.

(Recall that converting the ESPs into CSPs gives products of also.)

The earlier post establishes the umbral similarity transformations (the row by row equivalent of a matrix similarity transformation)

and

.

Let’s do some spot checks. First,

and

,

which is consistent.

Second check:

,

and

.

With , we obtain, for ,

where .

For example,

,

and, substituting for ,

.

Reprising, the refined Lah polynomials (aka, the elementary Schur polynomials) can be used to generate the coefficients of the reciprocal, or multiplicatve inverse,

of an o.g.f.

from the coefficients of the power series of the shifted o.g.f.’s compositional inverse

.

(Note that could be substituted into the above equations.)

This is a rather roundabout method to determine reciprocals when A263633 could be used more efficiently given the , but it establishes transformations among partition polynomial sequences that encode information about important combinatorial constructs–permutations, associahedra, noncrossing partitions–and operations in analysis–multiplicative and compositional inversion.

The associations via the refined Lah polynomials are by virtue of the fact that the pair of Appell polynomials (which are *not* an inverse pair under umbral composition) are related to each other by a similarity transformation by an inverse pair of lower triangular matrices with the row polynomials and , which are an inverse pair under umbral composition of the row polynomials, i.e., . Since these Appell polynomials can be generated by differential raising operators, these results can be recoded in terms of a pair of Appell raising operators or differential transform operators that transform each into an Appell polynomial.

Again, nowhere have explicit constructions of the ESPs or CSPs been required, so the formalism above applies to a generic o.g.f. substituted for or .

Finally, we find another of my favorite families of convex polytopes–the permutahedra–if we relate to via the signed, refined face partition polynomials (cf. A133314) of the permutahedra.

Edit (Oct. 1, 2019):

In “Topics in topology. Fall 2008: The signature theorem and some of its applications” by Liviu I. Nicolaescu, we find on page 85 two generating series related to L genuses and multiplicative sequences, and , to which the above formalism can easily be applied since they are related by

and

where .

OEIS A133932 could be used to compute directly from the coefficients .

Compare these results with the one variable case in sections 6 onward of “Hopf algebras and the logarithm of the S-transform in free probability” by Mitja Mastnak and Alexandru Nica (https://arxiv.org/abs/0807.4169)

See also “Lagrange Inversion and Schur Functions” by Cristian Lenart.