English

On a particular specialization of monomial symmetric functions

Combinatorics 2025-06-05 v7 Commutative Algebra

Abstract

Let mλm_{\lambda } be the monomial symmetric functions, λ \lambda being an integer partition of nNn\in \mathbb{N}^{\ast }. For the specialization corresponding to the qq-deformation of the exponential, we prove that each mλm_{\lambda } is associated with a polynomial Jλ(q)J_{\lambda }\left( q\right) whose coefficients belong to Z\mathbb{Z}. JλJ_{\lambda } is a generalization of the case λ=(n)\lambda =\left( n\right) for which J(n)=Jn J_{\left( n\right) }=J_{n} is the enumerator of tree inversions. Some relations between JλJ_{\lambda } and Jn(r)J_{n}^{\left( r\right) } are obtained, these Jn(r)J_{n}^{\left( r\right) } having been defined algebraically in a previous work of the author for nr1n\geq r\geq 1 and being classically combinatorial enumerators with Jn(1)=JnJ_{n}^{\left( 1\right) }=J_{n}. From the calculation by induction of JλJ_{\lambda } for n6n\leq 6, we conjecture that the coefficients of each JλJ_{\lambda } are strictly positive and log-concave. As a consequence of Huh's Theorem on the hh-vector of matroid complex it is shown that the coefficients of Jn(r)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 n1n-1 coefficients of Jλ J_{\lambda } are proportional to the first coefficients of column nr1n-r-1 of Pascal's triangle, rr being the length of λ\lambda . This is a third argument to state the conjectures. The calculation of J(3,2,1)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.

Keywords

Cite

@article{arxiv.2306.15300,
  title  = {On a particular specialization of monomial symmetric functions},
  author = {Vincent Brugidou},
  journal= {arXiv preprint arXiv:2306.15300},
  year   = {2025}
}

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