On the magic positivity of Ehrhart polynomials of dilated polytopes

Abstract

A polynomial $f(x)$ of degree $d$ is said to be magic positive if all the coefficients are non-negative when $f(x)$ is expanded with respect to the basis $\{x^i(x+1{)}^{d-i}{\}}_{i=0}^d$. It is known that if $f(x)$ is magic positive, then the polynomial appearing in the numerator of its generating function is real-rooted. In this paper, we show that for a polynomial $f(x)$ with positive real coefficients, there exists a positive real number $k$ such that $f(k^{\prime }x)$ is magic positive for any $k^{\prime }\ge k$. Furthermore, for any integer $d\ge 3$, we show the existence of a $d$-dimensional polytope $P$ such that the Ehrhart polynomial of $kP$ is not magic positive for a given integer $k$. Finally, we investigate how much certain polytopes need to be dilated to make their Ehrhart polynomials magic positive.

14 page