Weighted Ehrhart theory: extending Stanley's nonnegativity theorem (Q6492254)

From MaRDI portal
scientific article; zbMATH DE number 7837850
Language Label Description Also known as
English
Weighted Ehrhart theory: extending Stanley's nonnegativity theorem
scientific article; zbMATH DE number 7837850

    Statements

    Weighted Ehrhart theory: extending Stanley's nonnegativity theorem (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    24 April 2024
    0 references
    Let \(P \subset \mathbb R^d\) be a rational convex polytope and \(w:\mathbb R^d \to \mathbb R\) a polynomial weight function. The Ehrhart function is NEWLINE\[NEWLINE\mathrm{Erh}(P,w;t)=\sum_{n \geq 0} \sum_{x \in nP \cap \mathbb Z^d} w(x) t^n. NEWLINE\]NEWLINEBy explicitly computing the Ehrhart function of a half-open simplicial cone and using an inclusion-exclusion principle, the authors prove the following result (Prop. 2.4): If \(q\) is the denominator of \(P\), i.e. the smallest positive integer such that \(qP\) has integer vertices, \(r\) is the dimension of \(P\), and \(m\) the degree of \(w\), then NEWLINE\[NEWLINE\mathrm{Erh}(p,w;t)=\frac{h_{P,w}^*(t)}{(1-t^q)^{r+m+1}} NEWLINE\]NEWLINEfor some polynomial \(h_{P,w}^*(t)\) of degree at most \(q(r+m+1)-1\), which is called the weighted \(h^*\)-polynomial.NEWLINENEWLINEIn the classical case \(w=1\), [\textit{R. P. Stanley}, Ann. Discrete Math. 6, 333--342 (1980; Zbl 0812.52012); Eur. J. Comb. 14, No. 3, 251--258 (1993; Zbl 0799.52008)] has shown that \(h_{P,1}^*(t)\) has only nonnegative integer coefficients and that these coefficients depend in a monotone way on the polytope. This raises the question whether a similar positivity/monotonicity result still holds for the weighted \(h^*\)-polynomial.NEWLINENEWLINEThe following theorem answers this question:NEWLINE\begin{itemize}NEWLINE\item[1.] Let \(w\) be a homogeneous sum of products of linear forms that are positive on the cone \(C(P)\). Then the coefficients of \(h_{P,w}^*(t)\) are nonnegative.NEWLINE\item[2.] Let \(w\) be a homogeneous sum of nonnegative products of linear forms on \(P\). Then \(h_{P,w}^*(t) \geq 0\) for all \(t \geq 0\).NEWLINE\end{itemize}NEWLINENEWLINELet \(P,Q\) be rational polytopes with \(P \subseteq Q\). Let \(g\) be a common multiple of the denominators \(\delta(P)\) and \(\delta(Q)\). Then for all \(w\) as in case 1 of the previous theorem, the coefficients of NEWLINE\[NEWLINE (1+t^{\delta(P)}+\cdots+t^{g-\delta(P)})^{\dim P +m-1} h_{P,w}^*(t) NEWLINE\]NEWLINEare not larger than the coefficients of the corresponding polynomial for \(Q\). If moreover \(P,Q\) are of the same dimension and \(w\) as in case 2 of the previous theorem, then the above polynomial is pointwise not larger for all \(t \geq 0\) than the corresponding polynomial for \(Q\).NEWLINENEWLINEIn the final section, some examples are given that show that the assumptions on convexity, denominator, dimension and degree are necessary.
    0 references
    lattice polytopes
    0 references
    Ehrhart theory
    0 references
    weighted enumeration
    0 references
    nonnegativity
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references