From Wikipedia on the LRT, with
,
.
Letting and
,
and
, giving
,
the Lagrange inversion formula about the origin, whose expansion in the Taylor series coefficients of is discussed in OEIS A248927. See also A134685. For connections to free probability, free cumulants and moments, Appell sequences, noncrossing partitions, and other combinatorics, see A134264.
Let be the inverse of
w.r.t. to
. Then
, or
, and
.
The solution for the inverse of this last type is also presented in the post on the inviscid Burgers’ equation and the post Generators, Inversion, and Matrix, Binomial, and Integral Transforms.
The Laplace transform (LPT) argument in Appendix II of the Generators pdf can be briefly extended to derive the last form of the LRT above. (See below.)
Comparing with
on page 2 of the Burgers’ equation pdf, we see that the the factor
conjoined with
is equivalent to a summation over the
terms of all the partition polynomials (unsigned) in the expansion of
on page 2 . Each partition polynomial is associated with a refined face polynomial for a Stasheff associahedron (cf. MO-Q: … enumerative geometry and nonlinear waves?), or its dual, and the coefficient of the
term of the polynomial is a weighting of the (m-n+1)-dimensional face of the m-dimensional associahedron. For example, the
terms flag the full associahedron and the
terms the facets, or the next lower dimensional faces, the (m-1)-dimensional faces of the m-dimensional associahedron. The summation for a given
then is a summation over the “column” space for the partition polynomials, representing a constant dimensional difference from the top-dimension of the polytopes.
The lead to the connection between the OEIS entries and the LRT was Terry Tao’s post Another Problem about Power Series.
For comparison, in Tao’s notation the last equation here becomes
,
so the expansions in A248927 apply here as well with evaluation at rather than at the origin.
A formal derivation of the LRT:
Let
and
be its compositional inverse in . Then formally the Borel-Laplace transform gives, for a suitable class of functions,
.
Now inspecting the first expression in the chain of equalities shows that the terms need to be multiplied by
to obtain the terms of the formal Taylor series for
, but this amounts to replacing
by
, multiplying by
, and taking the inverse Laplace transform, giving
.
Do a sanity check with .
Related stuff:
1) “Formal groups, power systems, and Adams operators” by Buchstaber and Novikov
2) “The Hirzebruch criterion for the Todd class” earlier posting
3) “The methods of algebraic topology from the viewpont of cobordism theory” by Novikov
See pg. 22 of “Universal formulas for characteristic classes on the Hilbert schemes of points on surfaces” by Samuel Boissiere, Marc A. Nieper-Wisskirchen https://arxiv.org/abs/math/0507470