Алгебра многогранников и обращение рядов

Рассмотрим формальный ряд $A(x)=1+\sum_{n\geq 1} a_n \frac{x^n}{n!}$ и его обратный по умножению $B(x)= \frac{1}{A(x)}=1+\sum_{n\geq 1}b_n \frac{x^{n}}{n!}.$ Соответствующие коэффициенты $b_n$ выражаются как некоторые многочлены от $a_1, \dots, a_n$ с целыми коэффициентами:
$$b_1=-a_1,\,\,\, b_2=-a_2+2a_1^2,\,\,\, b_3=-a_3+6a_1a_2-6a_1^3,$$

$$ b_4=-a_4+8a_1a_3+6a_2^2-36a_1^2a_2+24a_1^4. $$

Замечательным образом эти многочлены описывают комбинаторику специальных многогранников, называемых пермутоэдрами. В частности, формула для $b_4$ означает, что трехмерный пермутоэдр имеет 8 шестиугольных и 6 четырехугольных граней, 36 ребер и 24 вершины.

Аналогичная связь имеется для рядов $f(x)=x+\sum_{n\geq 2} f_n x^n$ и их обратных относительно подстановки $g(x)=x+\sum_{n\geq 2} g_n x^n$ со специальными многогранниками, называемых ассоциэдрами (или многогранниками Сташефа): $ g_2=-f_2, \,\,\, g_3=-f_3+2f_2^2, $
$$ g_4=-f_4+5f_2f_3-5f_2^3, \,\, g_5=-f_5+6f_2f_4+3f_3^2-21f_2^2f_3+14f_2^4. $$

Я расскажу о недавней совместной работе с В.М. Бухштабером, предлагающей некоторое объяснение этих удивительных связей через дифференциальную алгебру многогранников. Никаких специальных знаний от слушателей не предполагается.