Symmetric Decompositions and the Veronese Construction

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.

Toric matrix Schubert varieties and root polytopes (extended abstract)

International audience Start with a permutation matrix π and consider all matrices that can be obtained from π by taking downward row operations and rightward column operations; the closure of this set gives the matrix Schubert variety Xπ. We characterize when the ideal defining Xπ is toric (with respect to a 2n − 1-dimensional torus) and study the associated polytope of its projectivization. We construct regular triangulations of these polytopes which we show are geometric realizations of a family of subword complexes. We also show that these complexes can be realized geometrically via regular triangulations of root polytopes. This implies that a family of β-Grothendieck polynomials are special cases of reduced forms in the subdivision algebra of root polytopes. We also write the volume and Ehrhart series of root polytopes in terms of β-Grothendieck polynomials. Subword complexes were introduced by Knutson and Miller in 2004, who showed that they are homeomorphic to balls or spheres and raised the question of their polytopal realizations.

Flag Statistics from the Ehrhart $h^∗$-Polynomial of Multi-Hypersimplices

It is known that the normalized volume of standard hypersimplices (defined as some slices of the unit hypercube) are the Eulerian numbers. More generally, a recent conjecture of Stanley relates the Ehrhart series of hypersimplices with descents and excedences in permutations. This conjecture was proved by Nan Li, who also gave a generalization to colored permutations. In this article, we give another generalization to colored permutations, using the flag statistics introduced by Foata and Han. We obtain in particular a new proof of Stanley’s conjecture, and some combinatorial identities relating pairs of Eulerian statistics on colored permutations.

q-analogues of Ehrhart polynomials

We consider weighted sums over points of lattice polytopes, where the weight of a point v is the monomial qλ(v) for some linear form λ. We propose a q-analogue of the classical theory of Ehrhart series and Ehrhart polynomials, including Ehrhart reciprocity and involving evaluation at the q-integers. The main novelty is the proposal to consider q-Ehrhart polynomials. This general theory is then applied to the special case of order polytopes associated with partially ordered sets. Some more specific properties are described in the case of empty polytopes.

Ehrhart Series of Polytopes Related to Symmetric Doubly-Stochastic Matrices

In Ehrhart theory, the $h^*$-vector of a rational polytope often provides insights into properties of the polytope that may be otherwise obscured. As an example, the Birkhoff polytope, also known as the polytope of real doubly-stochastic matrices, has a unimodal $h^*$-vector, but when even small modifications are made to the polytope, the same property can be very difficult to prove. In this paper, we examine the $h^*$-vectors of a class of polytopes containing real doubly-stochastic symmetric matrices.