arXiv++ Combinatorics

In the study of the generating series of Demazure characters, Lascoux used isobaric divided differences to define a family of polynomials $\mathcal{E}_σ(t)$ indexed by permutations $σ$, and asked for a satisfactory expression of these polynomials. In this paper we obtain a combinatorial interpretation of $\mathcal{E}_σ(t)$ for the permutation $σ=[2,3,\ldots,n,1]$ or its inverse in terms of the descent statistic of parking functions of length $n-1$. Based on this progress on Lascoux's open problem, we find that the polynomial $\mathcal{E}_σ(t)$ for this special case coincides with the $h$-polynomial $h(Δ(\mathrm{NC}_W),t)$ of the order complex of the noncrossing partition lattice associated to the irreducible Coxeter group $W$ of type $A_{n-1}$. We are inspired by this coincidence to give an operator approach to $h(Δ(\mathrm{NC}_W),t)$ for any finite Coxeter group $W$. As an application, we completely solve an open problem on $h(Δ(\mathrm{NC}_W),t)$ which was proposed by Athanasiadis, Douvropoulos and Kalampogia-Evangelinou. For any $k$-divisible noncrossing partition poset $\mathrm{NC}^{(k)}_W$, we also obtain the interlacing symmetric decomposition property of the $h$-polynomial $h(Δ(\mathrm{NC}^{(k)}_W),t)$.

We study the symmetric tensor rank of multiplication over finite field extensions using linearized polynomials. Via field trace, symmetric linearized polynomials are identified with symmetric bilinear forms and symmetric matrices, allowing symmetric tensor decompositions to be reformulated as spanning problems by rank-one symmetric linearized polynomials. We translate these spanning conditions into explicit linear systems over finite fields and use the Frobenius automorphism to obtain computationally effective criteria. As applications, we recover known values of the symmetric bilinear complexity for small extension degrees and obtain explicit symmetric decompositions for several parameters. We also introduce the symmetric tensor-rank of a symmetric rank-metric code and show that, for the natural one-dimensional Gabidulin code associated with finite field multiplication, this invariant coincides with the symmetric tensor rank of the multiplication map.

The Stirling permutations introduced by Gessel-Stanley have recently received considerable attention. Motivated by Ji's work on $(α,β)$-Eulerian polynomials (Sci China Math., 2025) and Yan-Yang-Lin's work on $1/k$-Eulerian polynomials (J. Combin. Theory Ser. A, 2026), we present several symmetric decompositions of the enumerators related to Euler-Stirling statistics on Stirling permutations. Firstly, we provide a partial symmetric decomposition for the $1/k$-Eulerian polynomial. Secondly, we give several unexpected applications of the $(p,q)$-Eulerian polynomials, where $p$ marks the number of fixed points of permutations and $q$ marks that of cycles. From this paper, one can see that $(p,q)$-Eulerian polynomial contains a great deal of information about permutations and Stirling permutations. Using the change of grammars, we show that the $(α,β)$-Eulerian polynomials introduced by Carlitz-Scoville can be deduced from the $(p,q)$-Eulerian polynomials by special parametrizations. We then introduce proper and improper ascent-plateau statistics on Stirling permutations. Moreover, we introduce proper ascent, improper ascent, proper descent and improper descent statistics on permutations. Furthermore, we consider the joint distributions of Euler-Stirling statistics on permutations, including the numbers of improper ascents, proper ascents, left-to-right minima and right-to-left minina. In the final part, we first give a symmetric decomposition of the joint distribution of the ascent-plateau and left ascent-plateau statistics, and then we show that the $q$-ascent-plateau polynomials are bi-$γ$-positive, where $q$ marks the number of left-to-right minima.

Wagner (1992) proved that the Hadamard product of two Pólya frequency sequences that are interpolated by polynomials is again a Pólya frequency sequence. We study whether related combinatorial properties are preserved under Hadamard products. In particular, we show that ultra log-concavity, $γ$-positivity, and interlacing symmetric decompositions are preserved. Furthermore, we disprove a conjecture by Fischer and Kubitzke (2014) concerning the real-rootedness of Hadamard powers.

One of the most central result in combinatorics says that the descent statistic and the excedance statistic are equidistribued over the symmetric group. As a continuation of the work of Shareshian-Wachs (Adv. Math., 225(6) (2010), 2921--2966), we provide a curious $t$-symmetric decomposition for the generating polynomial of the joint distribution of the descent and excedance statistics over the symmetric group.

Let $Δ$ be a $(d-1)$-dimensional simplicial complex and $h^ Δ= (h_0^ Δ,\ldots, h_d^ Δ)$ its $h$-vector. For a face uniform subdivision operation ${\mathcal F}$ we write $Δ_{\mathcal F}$ for the subdivided complex and $H_{\mathcal F}$ for the matrix such that $h^ {Δ_{\mathcal F}} = H_{\mathcal F} h^ Δ$. In connection with the real rootedness of symmetric decompositions Athanasiadis and Tzanaki studied for strictly positive $h$-vectors the inequalities $\frac{h_0^ Δ}{h_1^ Δ} \leq \frac{h_1^Δ}{h_{d-1}^ Δ} \leq \cdots \leq \frac{h_d^ Δ}{h_0^Δ}$ and $\frac{h_1^Δ}{h_{d-1}^Δ} \geq \cdots \geq \frac{h_{d-2}^Δ}{h_2^Δ} \geq \frac{h_{d-1}^Δ}{h_1^Δ}$. In this paper we show that if the inequalities holds for a simplicial complex $Δ$ and $H_{\mathcal F}$ is TP$_2$ (all entries and two minors are non-negative) then the inequalities hold for $Δ_{\mathcal F}$. We prove that if ${\mathcal F}$ is the barycentric subdivision then $H_{\mathcal F}$ is TP$_2$. If ${\mathcal F}$ is the $r$\textsuperscript{th}-edgewise subdivision then work of Diaconis and Fulman shows $H_{\mathcal F}$ is TP$_2$. Indeed in this case by work of Mao and Wang $H_{\mathcal F}$ is even TP.

In their study of a quartic integral, Boros and Moll introduced a special case of Jacobi polynomials, which are now known as the Boros-Moll polynomials. In this paper, we study a symmetric decomposition of Boros-Moll polynomials. We discover that both of the polynomials in the symmetric decomposition are alternatingly gamma-positive polynomials.

We establish a tantalizing symmetry of certain numbers refining the Narayana numbers. In terms of Dyck paths, this symmetry is interpreted in the following way: if $w_{n,k,m}$ is the number of Dyck paths of semilength $n$ with $k$ occurrences of $UD$ and $m$ occurrences of $UUD$, then $w_{2k+1,k,m}=w_{2k+1,k,k+1-m}$. We give a combinatorial proof of this fact, relying on the cycle lemma, and showing that the numbers $w_{2k+1,k,m}$ are multiples of the Narayana numbers. We prove a more general fact establishing a relationship between the numbers $w_{n,k,m}$ and a family of generalized Narayana numbers due to Callan. A closed-form expression for the even more general numbers $w_{n,k_{1},k_{2},\ldots , k_{r}}$ counting the semilength-$n$ Dyck paths with $k_{1}$ $UD$-factors, $k_{2}$ $UUD$-factors, $\ldots$ , and $k_{r}$ $U^{r}D$-factors is also obtained, as well as a more general form of the discussed symmetry for these numbers in the case when all rise runs are of certain minimal length. Finally, we investigate properties of the polynomials $W_{n,k}(t)= \sum_{m=0}^k w_{n,k,m} t^m$, including real-rootedness, $γ$-positivity, and a symmetric decomposition.

Polynomials which afford nonnegative, real-rooted symmetric decompositions have been investigated recently in algebraic, enumerative and geometric combinatorics. Brändén and Solus have given sufficient conditions under which the image of a polynomial under a certain operator associated to barycentric subdivision has such a decomposition. This paper gives a new proof of their result which generalizes to subdivision operators in the setting of uniform triangulations of simplicial complexes, introduced by the first named author. Sufficient conditions under which these decompositions are also interlacing are described. Applications yield new classes of polynomials in geometric combinatorics which afford nonnegative, real-rooted symmetric decompositions. Some interesting questions in $f$-vector theory arise from this work.

We study rational generating functions of sequences $\{a_n\}_{n\geq 0}$ that agree with a polynomial and investigate symmetric decompositions of the numerator polynomial for subsequences $\{a_{rn}\}_{n\geq 0}$. We prove that if the numerator polynomial for $\{a_n\}_{n\geq 0}$ is of degree $s$ and its coefficients satisfy a set of natural linear inequalities then the symmetric decomposition of the numerator for $\{a_{rn}\}_{n\geq 0}$ is real-rooted whenever $r\geq \max \{s,d+1-s\}$. Moreover, if the numerator polynomial for $\{a_n\}_{n\geq 0}$ is symmetric then we show that the symmetric decomposition for $\{a_{rn}\}_{n\geq 0}$ is interlacing. We apply our results to Ehrhart series of lattice polytopes. In particular, we obtain that the $h^\ast$-polynomial of every dilation of a $d$-dimensional lattice polytope of degree $s$ has a real-rooted symmetric decomposition whenever the dilation factor $r$ satisfies $r\geq \max \{s,d+1-s\}$. Moreover, if the polytope is Gorenstein then this decomposition is interlacing.

In this paper, we give a type B analogue of the 1/k-Eulerian polynomials. Properties of this kind of polynomials, including combinatorial interpretations, recurrence relations and gamma-positivity are studied. In particular, we show that the 1/k-Eulerian polynomials of type B are gamma-positive when $k>0$. Moreover, we obtain the corresponding results for derangements of type B. We show that a type B 1/k-derangement polynomials $d_n^B(x;k)$ are bi-gamma-positive when $k\geq 1/2$. In particular, we get a symmetric decomposition of $d_n^B(x;1/2)$ in terms of the classical derangement polynomials.

The binomial Eulerian polynomials, introduced by Postnikov, Reiner, and Williams, are $γ$-positive polynomials and can be interpreted as $h$-polynomials of certain flag simplicial polytopes. Recently, Athanasiadis studied analogs of these polynomials for colored permutations. In this paper, we generalize them to $\mathbf{s}$-inversion sequences and prove that these new polynomials have only real roots by the method of interlacing polynomials. Three applications of this result are presented. The first one is to prove the real-rootedness of binomial Eulerian polynomials, which confirms a conjecture of Ma, Ma, and Yeh. The second one is to prove that the symmetric decomposition of binomial Eulerian polynomials for colored permutations is real-rooted. Thirdly, our polynomials for certain $\mathbf{s}$-inversion sequences are shown to admit a similar geometric interpretation related to edgewise subdivisions of simplexes.

In algebraic, topological, and geometric combinatorics inequalities among the coefficients of combinatorial polynomials are frequently studied. Recently a notion called the alternatingly increasing property, which is stronger than unimodality, was introduced. In this paper, we relate the alternatingly increasing property to real-rootedness of the symmetric decomposition of a polynomial to develop a systematic approach for proving the alternatingly increasing property for several classes of polynomials. We apply our results to strengthen and generalize real-rootedness, unimodality, and alternatingly increasing results pertaining to colored Eulerian and derangement polynomials, Ehrhart $h^\ast$-polynomials for lattice zonotopes, $h$-polynomials of barycentric subdivisions of doubly Cohen-Macaulay level simplicial complexes, and certain local $h$-polynomials for subdivisions of simplices. In particular, we prove two conjectures of Athanasiadis.

We prove that the noncrossing partition lattices associated with the complex reflection groups $G(d,d,n)$ for $d,n\geq 2$ admit symmetric decompositions into Boolean subposets. As a result, these lattices have the strong Sperner property and their rank-generating polynomials are symmetric, unimodal, and $γ$-nonnegative. We use computer computations to complete the proof that every noncrossing partition lattice associated with a well-generated complex reflection group is strongly Sperner, thus answering affirmatively a question raised by D. Armstrong.