arXiv++ Combinatorics

Browse math.CO papers from arXiv

On a particular specialization of monomial symmetric functions

Published: 2023-06-27 | Updated: 2025-06-04
Comments: pp12. Changes compared to version 6: Exp(t) becomes Exq(t), Eq.(3.18) and (3.20) are combined into Corollary 3.7, the verification of the conjectures has been carried out up to n=43, the second part ii) of Proposition 4.4 as well as Remark 4.5 have been added, Section 6 has been reformulated, thanks to P. Bodart added, one reference deleted and 3 added

Abstract

Let $m_{λ}$ be the monomial symmetric functions, $ λ$ being an integer partition of $n\in \mathbb{N}^{\ast }$. For the specialization corresponding to the $q$-deformation of the exponential, we prove that each $m_{λ}$ is associated with a polynomial $J_{λ}\left( q\right) $ whose coefficients belong to $\mathbb{Z}$. $J_{λ}$ is a generalization of the case $λ=\left( n\right) $ for which $ J_{\left( n\right) }=J_{n}$ is the enumerator of tree inversions. Some relations between $J_{λ}$ and $J_{n}^{\left( r\right) }$ are obtained, these $J_{n}^{\left( r\right) }$ having been defined algebraically in a previous work of the author for $n\geq r\geq 1$ and being classically combinatorial enumerators with $J_{n}^{\left( 1\right) }=J_{n}$. From the calculation by induction of $J_{λ}$ for $n\leq 6$, we conjecture that the coefficients of each $J_{λ}$ are strictly positive and log-concave. As a consequence of Huh's Theorem on the $h$-vector of matroid complex it is shown that the coefficients of $J_{n}^{\left( r\right) }$ are strictly positive and log-concave, which gives a second argument in favor of these conjectures. It is also proven that the last $n-1$ coefficients of $ J_{λ}$ are proportional to the first coefficients of column $n-r-1$ of Pascal's triangle, $r$ being the length of $λ$. This is a third argument to state the conjectures. The calculation of $J_{\left( 3,2,1\right) }$ shows the existence of an obstacle, if one wants to prove the conjectures by application of Huh's theorem cited above.

BibTeX

Loading...