When considering operator inverses, one usually considers multiplicative inverses. As noted earlier in several entries, particularly, “Bernoulli and Blissard meet Stirling … ” (BBS), we see compositional inverse pairs of operators playing an important role in making associations among important integer arrays and combinatorics.

Using the arguments in BBS as a template, let

and , then, at any point satisfying the inverse relations,

.

And, if these relations are satisfied about the origin, i.e.,

, and , then these ratios serve as the e.g.f.s of the moments of the Appell sequences

and .

Following the discussions in “Mathemagical Forests”, the e.g.f. of the binomial Sheffer sequence associated to , under these restrictions about the origin, is , and the lowering operator for the binomial sequence is with .

Similarly, let , and then .

From the properties of such pairs of binomial Sheffer sequences, the umbral compositional inversion

also holds.

For any operator , let

with .

Then

,

and

with explicitly denoting the level at which the equivalent formal series of reduced monomials of the umbral variable for the enclosed expression is to be umbrally evaluated.

In this sense, we obtain the pair of compositional inverse ops

and

and the relations

.

We can relate this to matrix ops in the power basis through

, which implies that the lower triangular matrices of the coefficients of the two Sheffer sequences are a matrix inverse pair.

In addition, from the Appell formalism,

and, conversely,

,

giving conjugate relations among the two Appell sequences.

A particularly interesting example is when with , which is discussed in the earlier posts “Bernoulli, Blissard, and Lie meet Stirling and the simplices” and “Goin’ with the flow,” related to the entry A238363. Then the Bernoulli polynomials are given by

where are the Bell / Touchard / exponential polynomials, or Stirling polynomials of the second kind; , the falling factorial polynomials, or Stirling polynomials of the first kind; and the conjugated polynomials are presented in the OEIS entry.

This gives the formula for the Bernoulli numbers

in terms of the Stirling numbers of the second kind or the coefficients of the face polynomials of the permutahedra / permutohedra (or dual polytopes, cf. A019538), e.g.,

and

.

Note the similarity of the expression for the Bernoulli numbers to that for the log of a determinant, or characteristic polynomial, in the MO-Q “Cycling in the zeta garden”

.

From discussions on the Pincherle derivative, if is a lowering op for a sequence with the raising op , then

.

Following the notes in BBS, Bernoulli Appells, and Goin’ with the Flow, all Appell sequences have the lowering op and a raising op of the segregated form and the logarithmic Appell sequence , the lowering op and raising op , so the commutator remains invariant to choice of the Appell sequence.

Another example of a pair is provided by A132013 and A094587 with and , which is related to the Lah polynomials, or normalized Laguerrre polynomials of order -1.