0
$\begingroup$

Where do the following three sets $[LA]$, $[ILA]$, and $[LN]$ of partition polynomials appear in the literature?

There are two sets of partition polynomials, not in the OEIS, that serve as the coefficients of the differential components of the raising ops for the set $[A]$ of partition polynomials that enumerate the topologically distinct faces of the associahedra and the dual set $[N]$ that enumerate noncrossing partitions / parking functions, the refined h-polynomials of the associahedra. The raising ops with a simple sign change also generate the sets of special Schur self-Konvolution expansion coefficients $[K] = [A^{(-1)}]$ and the inverse noncrossing partitions $[N^{(-1)}] = [N]^{-1}$. These four sets are intimately related to compositional inversion of pairs of power and Laurent series; expansions of self-convolutions and inverse self-convolution of power series; and the algebra, combinatorics, geometry, and physics associated with free probability theory and the Weyl-Coxeter group $A_n$. Intertwined with these paths of exploration is symmetric function theory.

The first few log associahedra partition polynomials, or generalized Zernike polynomials $[Z]$ (not in the OEIS), are

$Z_0 =1$

$LA_1 =Z_1 = -u_1$

$LA_2 =Z_2 = 3 u_1^2 - 2u_2$

$LA_3 =Z_3 = -10 u_1^3 + 12 u_1 u_2 - 3 u_3$

$LA_4 = Z_4 = 35 u_1^4 - 60 u_1^2 u_2 + 10 u_2^2 + 20 u_1 u_3 - 4 u_4,$

generated via the series $A(t)$ of the set $[A]$ of associahedra polynomials of A133437 (normalized, re-indexed, with initial indeterminate assigned a value of $1$)

$A(t) = 1 + A_1 t + A_2 t^2 + \cdots$

$=1-u_1 t +(2 u_1^2-u_2) t^2 + ( - 5 u_1^3 + 5 u_1 u_2 - u_3) t^3 + (14 u_1^4 - 21 u_1^2 u_2 + 6 u_1 u_3 + 3 u_2^2 - u_4) t^4+\cdots$

by

$\ln(A(t)) = LA_1 t + LA_2 t^2/2 + LA_3 t^3/3 +\cdots,$

so they are intimately related to the Newton identities of symmetric function theory (see the Faber polynomials A263916) and the Sheffer-Appell calculus.

A natural reduction with $u_k = x$ is essentially OEIS A253283 for the unsigned coefficients $(-1)^kk\binom{n}{k}\binom{-n}{k}$ of the set of orthogonal Zernike polynomials of order 1 (see details 1 and details 2), intimately related to the Legendre, Chebyshev, Gegenbauer, and Jacobi polynomials (see the Sheng and Shen ref in the OEIS and A097610) and found in interesting physical contexts, including optics and non-abelian gauge theory. The reduction is characterized as the black diamond product of $x^n$ and $x^{n+1}$ on p. 8 of "Web matrices: structural properties and generating combinatorial identities" by Dukes and White.

Edit April 3, 2023: (Start)

The first few ParPs of $[ILA]$, the inverse set to $[Z]=[LA]$, are

$ILA_1 = -u_1$

$ILA_2 = (3u_1^2 - u_2)/2!$

$ILA_3 = (- 16 u_1^3 + 12 u_1 u_2 -2u_3 ) / 3! $

$ILA_4 = (125 u_1^4 - 150 u_2 u_1^2 + 40 u_3 u_1 + 15 u_2^2 - 6 u_4) / 4!,$

which, when reduced become the first few shifted, signed polynomials of A220883 with interesting properties noted by Peter Bala and with combinatorial interpretations on p. 25 of "Duplicial algebras and Lagrange inversion" by Novelli and Thibon. I do not have a multinomial coefficient for these ParPs, but since Stanley provides one for $[LA]$ (see Background below), a generalized Chu-Vandermonde formula should provide it.

(End)

A third set of closely related set of partition polynomials (not in the OEIS) are the 'log Narayana partition polynomials"

$LN_1 = u_1$,

$LN_2 = u_1^2 + 2u_2$,

$LN_3 = u_1^3 + 6 u_2 u_1 + 3 u_3$,

$LN_4 = u_1^4 + 12 u_2 u_1^2 + 12 u_3 u_1 + 6 u_2^2 + 4 u_4,$

generated via the series $n(t)$ of the set $[N]$ of parking functions / refined Narayana / noncrossing partitions polynomials of A134264

$N(t) = 1+N_1t + N_2 t + N_3 t^3 \cdots$

$ = 1 + u_1 t + (u_2 + u_1^2) t^2 + (u_3 + 3 u_1 u_2 + u_1^3) t^3 + (u_4 + 4 u_1 u_3+ 2 u_2^2 + 6 u_1^2 u_2 + u_1^4) t^4 +\cdots$

by

$\ln(N(t)) = LN_1 t + LN_2 t^2/2 + LN_3 t^3/3 + \cdots.$

$[LN]$ reduces with $u_k = x$ to essentially A132813, h-vectors for a cluster complex associated to the root system $B_n$, with reverse OEIS A103371.


Background

Log associahedra:

Richard Stanley in "Supplementary Exercises for Chapter 7 (symmetric functions) of Enumerative Combinatorics, vol. 2" (version of 28 March 2023) introduces the coefficients for the set of partition polynomials I refer to as $[Z]$. Exercise 133 (d) on pg. 53 of the update presents three identities expressing three core sets of partition polynomials (ParPs) central to symmetric function theory (SFT) in terms of the set $[N]$ of ParPs enumerating parking functions and the noncrossing partitions, a.k.a. the refined Narayana numbers. The core sets are $[E]$, the components of the elementary symmetric series $E(t) = 1 + e_1t + e_2t^2 +\cdots$; $[H]$, those of the complete homogeneous symmetric series $H(t)$; and $[P]$ for the power sum symmetric series. The first two are related as reciprocals by $H(t) =1/E(t)$, so the equivalent ParP substitution reps are $[H] = [R][E]$ and $[R][H] = [E]$, where $[R]$ is the set of reciprocal ParPs for multiplicative inversion of power series usually encountered as the proxy $w$ involution in SFT. (Be aware of sign differences in different presentations.)

$[N]$ (OEIS A134264) and its inverse $[N]^{-1}$ (A350499) pervade the lit on algebraic and geometric combinatorics associated with the Weyl-Coxeter group $A_n$ and the algebra and physics associated with free probability theory (see MO-Q and MO-Q), as do the dual involutive set for compositional inversion, the associahedra ParPs $[A]$ (normalized, re-indexed, A133437, see MO-Q). These are related algebraically via

$$[A] = [N][R]$$

and, equivalently, since $[A]^2 =[R]^2 = [I]$, the identity mapping under substitution,

$$[N]^{-1} = [R][A].$$

This last is equivalent to

$$N^{(-1)}(t) = 1/A(t),$$

where

$N^{(-1)}(t) = 1 + N^{(-1)}_1t + N^{(-1)}_2 t^2 +\cdots$

and

$A(t) = 1 + A_1t + A_2 t^2 +\cdots,$

so the machinery of symmetric function theory and the Sheffer-Appel calculus can be applied to determining relations among the sets of partition polynomials and their 'logarithms'.

The three identities in the update re-expressed as ParP substitution identities (substitute right into left) are

I)

$$[E] = ([A])[N][H]$$

II)

$$[P] = (D\; \ln[A])[N][H] =([Z])[N][H]$$

III)

$$[H] = ([N]^{-1})[N][H].$$

Stanley gives the multinomial coefficients (mod signs perhaps) of the three sets in parentheses.

The first sub rep encodes

$$ ([A])[N][H] = [A][A][R][H] = [R][H] = [E],$$

the third is obviously true and involves the inverse noncrossing ParPs $[N^{(-1)}] = [N]^{-1}$, which give the free cumulants in terms of the free moments of free probability theory.

The second identity is more complicated and requires some unpacking but has very interesting ramifications. It expresses an identity for the power sum symmetric series that is usually encountered in terms of determinants in SFT or as a logarithmic derivative. The power sums series is related to the the elementary symmetric series (see the Newton identities but be aware of sign differences) by

$$P(t) = D_t \ln(E(t)) = \sum_{n \geq} F_n(e_1,e_2,...,e_n) t^n,$$

where $[F]$ is the set of Faber polynomials (OEIS A263916) (again mod signs), so define the generalized Zernike polynomials of order 1 by

$$[Z] = D \ln[A] = [F][A], $$

implying, since $[A]^2 = [I]$,

$$[Z][A] = [F].$$

That is, locally,

$$Z_n(u_1,u_2,...,u_n) = F_n(A_1(u_1),A_2(u_1,u_2),...,A_n(u_1,...,u_n))$$

defined, more conventionally, by

$$D_t \; \ln(1 + A_1(u_1) t + A_2(u_1,u_2) t^2 + \cdots) = \sum_{n \geq 0} Z_n(u_1,...,u_n) t^n = Z(t).$$

Since $[A]^2 = [I]$, the middle identity reduces to the usual prescription for the power sums in terms of the elementary symmetric functions

$$(D\; \ln[A])[N][H] =[Z][N][H] = [Z][A][R][H] = [F][E] = [P].$$

Since the logarithmic derivative determines the differential part of the raising op for Sheffer Appell polynomial sequences, $[Z]$ is the set for a raising op / generating set for the the ParPs of $[A]$ and $[N]^{-1} = [N^{(-1)}]$; more precisely,

$$R_\bar{A} = x + \sum_{n \geq 0} Z_n(u_1,u_2,...,u_n) \frac{D_x^n}{n!} = x + Z(D_x),$$

giving

$$R_\bar{A} \; \bar{A}_n(u_1,...,u_n) |_{x=0} = \bar{A}_{n+1}(u_1,...,u_{n+1}) = R^n\;1|_{x=0}$$

where $\bar{A}_n = n!\; A_n$, and

$$R_{\bar{N}^{-1)}} = x - Z(D_x),$$

giving

$$R_{\bar{N}^{(-1)}} \; \bar{N}^{(-1)}_n(u_1,...,u_n) |_{x=0} = \bar{N}^{(-1)}_{n+1}(u_1,...,u_{n+1}) = R^n \; 1|_{x=0}.$$

In general, Appell sequences and raising and lowering ops have associated core combinatorics, equivalent reps of simply modified Pascal matrices, moment integrals, convolution integrals, Hirzebruch genera, Graves-Pincherle-Lie-Weyl algebras, and generalized derivatives. The raising op can be morphed into a recursion relation and related to the production matrices of Riordan matrix theory. The formalism of umbral inverse pairs can be applied as well with the identity

$$\sum_{k =0}^n N_k^{(-1)}A_{n-k} = \delta_n$$

at its core in this case. In addition, $D_{u_1}N^{(-1)}_n = n \;A_{n-1}$.

(Note $[LA]=[Z] = -[LN^{(-1)}]$.)

Log Narayana:

In parallel with arguments above, for the set of noncrossing partition polynomials $[N]$ and the special Schur convolution expansion coefficients $[K] = [A^{(-1)}]$ of A355201 (see MO-Q)

$$[N] = [R][K] $$

implies

$$ N(t)K(t) = 1$$

so the associated raising ops are

$$R_N = x + D_{t = D_x} \ln(N(t)) = x + LN(D_x)$$

and

$$R_K = x + D_{t = D_x} \ln(K(t) )= x - LN(D_x). $$

At the core of these relationships is

$$\sum_{k=0}^n N_{k}K_{n-k} = \delta_n.$$

In addition, $D_{u_1}N_n = n\; N_{n-1}$.

(Note $[LN] = -[LK]$.)

$\endgroup$
6
  • 1
    $\begingroup$ You have a lot of MO questions about combinatorial polynomials/power series. I find many of these questions quite interesting (if a bit rambling...), connecting different areas of math. But one thing I find extremely frustrating about most of them is: you never give a straightforward definition of the polynomials/power series! I mean, simply: how do I compute its coefficients??? Don't just give a few examples: give me a definition. $\endgroup$ Commented Apr 2, 2023 at 22:57
  • 1
    $\begingroup$ Please don't vandalize your posts when deleting them. $\endgroup$
    – Stefan Kohl
    Commented May 27, 2023 at 20:40
  • $\begingroup$ @StefanKohl, The LA D.A. would have a hard time prosecuting me for vandalism if I either whitewashed my own artwork or disposed of it in the city dump. There has been no productive feedback of any sort nor real interest shown in this question here, so I reserve the right to mask it here and place an extended version providing both broader and better honed results on my WordPress site rather than continually revise here. Why is that a problem? $\endgroup$ Commented May 27, 2023 at 23:44
  • $\begingroup$ And where Sam's concerns can be better addressed. $\endgroup$ Commented May 27, 2023 at 23:45
  • $\begingroup$ @SamHopkins, I finally collated my notes to include explicit expressions for the coefficients of the partition polynomials and added an additional set in a revised version of this question that reveals a full reciprocity symmetry; mathoverflow.net/questions/448477/…. $\endgroup$ Commented Jun 9, 2023 at 3:36

1 Answer 1

-1
$\begingroup$

(Update 2/11/2024: Changed from conjectures to facts. See formula for $[LN]$ in this MO-Q and this MO-Q.)

Other places where $[LN]$ occur:

The coefficients of the $[LN]$ are given by OEIS A035206 with reductions to A103371 or A132813.

The Frobenius characteristic equations $Frob(\mathbb{L}_{k,n})$ on pg. 13 of "Combinatorics of labelled parallelogram polyominoes" by Aval, Bergeron, and Garsia when evaluated at $k=n$ and normalized by the Catalan numbers (A000108) have the same coefficients as $LN_n$.

Example 1)

$Frob(\mathbb{L}_{4,4}) = 5 h_{1111} \binom{6}{6} +10 h_{211} \binom{6}{5} + 4 \binom{6}{4} h_{31} + 2 \binom{6}{4} h_{22} + 1 \binom{6}{3} h_{4} $

$ = 5 \cdot 1 h_{1111} +10 \cdot 6 h_{211} + 4 \cdot 15 h_{31} +2 \cdot 15 h_{22} + 1 \cdot 20 h_{4} $

$ = 5 h_{1111} + 60 h_{211} + 60 h_{31} +30 h_{22} + 20 h_{4} $

and, normalizing by the Catalan number $\frac{1}{n\ }\ \ \frac{\left(2n-2\right)!}{\left(n-1\right)!\left(n-1\right)!}|_{n=4} = 5 $,

$ Frob(\mathbb{L}_{4,4}) / 5 = 1 h_{1111} + 12 h_{211} + 12 h_{31} +6 h_{22} + 4 h_{4} .$

(1, 12, 12, 6, 4,) is a row of A035206 and the coefficients of $LN_4$ (as shown in this MO-Q, and identical when replacing $h_{1111}$ by the indeterminate monomial $u_1^4$, $h_{211}$ by $u_2u_1^2$, $h_{31}$ by $u_3u_1$, $h_{22}$ by $u^2_2$, and $h_4$ by $u_4$). The distinct binomial factors (1, 6, 15, 20) are a row of A094527.

The factors in front of the binomials, (5,10,4,2,1), are the unsigned coefficients of $N_4^{(-1)}$ (see A350499 and $c_4$ in this MO-Q).

Example 2)

Suppressing the partition indices,

$Frob(\mathbb{L}_{5,5}) = 14 \binom{8}{8} h.. + 35\binom{8}{7} h.. +15 \binom{8}{6} h.. + 15 \binom{8}{6} h.. + 5 \binom{8}{5} h.. + 5 \binom{8}{5} h.. + 1 \binom{8}{4} h..$

$ = 14 \cdot 1 h.. + 35 \cdot 8 h.. +15 \cdot 28 h.. + 15 \cdot 28 h.. + 5 \cdot 56 h.. + 5 \cdot 56 h.. + 1 \cdot 70 h..$,

and, normalizing by the Catalan number $\frac{1}{n\ }\ \ \frac{\left(2n-2\right)!}{\left(n-1\right)!\left(n-1\right)!}|_{n=5} = 14$,

$Frob(\mathbb{L}_{5,5}) / 14 = 1 h.. + 20 h.. + 30 h.. + 30 h.. + 20 h.. + 20 h.. + 5 h..$

(5, 20, 20, 30, 30, 20, 1) is a row of A035206 and the distinct binomial factors (1, 8, 28, 56, 70) are a row of A094527.

The factors in front of the binomials, (14, 35, 15, 15, 5, 5, 1), are the unsigned coefficients of $N_5^{(-1)}$ (see A350499 and $c_5$ in this MO-Q).

$\endgroup$
2
  • $\begingroup$ A103371 is also in " Counting partitions by genus. II. A compendium of results'' (2024) by Coquereaux and Zuber. $\endgroup$ Commented Jun 10 at 7:06
  • $\begingroup$ A variant of $[LN]$, essentially OEIS A035206 occurs on p. 29 of "On Emergent Geometry of the Gromov-Witten Theory of Quintic Calabi-Yau Threefold" by Jian Zhou (arxiv.org/abs/2008.03407). $\endgroup$ Commented Sep 23 at 13:23

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .