arXiv++ Combinatorics

Motivated by Gal's conjecture, Ferroni and Higashitani conjectured that the $h^*$-polynomial of any Gorenstein lattice polytope admitting a quadratic triangulation is $γ$-positive. Together with conjectures predicting quadratic properties of toric ideals of smooth lattice polytopes, this suggests that smooth Gorenstein lattice polytopes should have $γ$-positive $h^*$-polynomials. In this paper, we prove that the Ehrhart polynomial of the polar dual of every pseudo-symmetric simplicial reflexive polytope is magic positive. For pseudo-symmetric smooth Fano polytopes, we prove the stronger statement that all magic coefficients are strictly positive. Consequently, for every pseudo-symmetric simplicial reflexive polytope, its polar dual is Ehrhart positive and has a real-rooted and $γ$-positive $h^*$-polynomial. We also prove that the Ehrhart polynomial of the polar dual of the symmetric edge polytope of every cycle is magic positive. This gives an affirmative answer to a question of Konoike, who had previously proved partial positivity results for this family.

We prove an averaging formula for the Ehrhart polynomial of a cyclic polytope whose vertices are given by integer parameters on the moment curve. More precisely, its Ehrhart polynomial is the average of the Ehrhart polynomials of an explicitly constructed family of lattice zonotopes. Since lattice zonotopes are magic positive, this formula implies magic positivity for these cyclic polytopes. Consequently, their $h^\ast$-polynomials are real-rooted, and their $h^\ast$-vectors are log-concave and unimodal.

In 1959, Snapper showed that the Euler characteristic of the tensor powers of a line bundle on a normal projective scheme is a polynomial, later named the \emph{Snapper polynomial}. Positivity of coefficients of Snapper polynomials implies various notions of positivity of line bundles, which we study through the lens of magic positivity and real-rootedness. We introduce zonotopal classes in the Grothendieck $K$-ring of vector bundles of the toric variety for any loopless matroid, and prove that their Snapper polynomials are magic positive. Our proof realizes such a Snapper polynomial as a weighted independence polynomial of the Dilworth truncation along certain lines of the matroid. As a consequence, their coefficients are positive, and their $h^{\ast}$-polynomials are real-rooted. In the realizable case, this polynomial is the multigraded Hilbert polynomial of the wonderful variety embedded in a product of projective lines. We introduce analogous line bundles on the Deligne--Mumford--Knudsen moduli space $\overline{\mathcal M}_{0,n}$ and prove that their Snapper polynomials are magic positive. For cotangent line bundles whose first Chern classes are distinct $ψ$-classes, which are not zonotopal, we nonetheless prove that their $h^{\ast}$-polynomials are real-rooted, whereas their Snapper polynomials are magic positive if and only if $n\leqslant7$. More generally, we introduce saturated and weakly saturated $K$-classes of matroids, which furnish a sufficient and a necessary condition for magic positivity of Snapper polynomials in terms of their dragon Hall--Rado polymatroids.

The Sylvester simplex $\mathsf{Sylv}_d^k$ is a $d$-dimensional lattice simplex with exactly $k$ interior lattice points. Sylvester simplices are conjectured to be the volume maximizers among all $d$-dimensional lattice polytopes with exactly $k$ interior lattice points for any $k\geq 1$. Even stronger, it is conjectured that they maximize (entry-wise) the $h^\ast$-vector among all $d$-dimensional lattice polytopes with exactly $k$ interior lattice points. Yet, Sylvester simplices seem to be rarely studied in their own right. In particular, their Ehrhart-theoretic properties are far from being well understood. In the present article, we tackle this problem. We describe flag, regular and unimodular triangulations for the Sylvester simplices, and prove that their $h^\ast$-vectors are unimodal. Moreover, we explicitly determine the values of some entries of their $f^\ast$-vectors, and prove that they are Ehrhart magic positive up to dimension $6$ but not in dimension $7$. We conclude by detailing tables of Ehrhart-theoretic quantities (numbers of lattice points, Ehrhart polynomials, local and boundary $h^\ast$-vectors, $f^\ast$-vectors) for Sylvester simplices of dimensions 7 and lower.

For positive integers \(m,n\), the partial permutohedron $\mathcal{P}(m,n)$ is a lattice polytope constructed as the convex hull of vectors in $\{0, 1, \dots, n\}^m$ that have distinct non-zero entries. We prove that for $n \ge m-1$, the Ehrhart polynomial of $\mathcal{P}(m,n)$ is magic positive except for the single case \((m,n)=(2,1)\). In particular, the Ehrhart polynomial of the parking function polytope (integrally equivalent to $\mathcal{P}(m,m-1)$) is magic positive for $m \ge 3$. For $n<m-1$, we discuss the magic positivity of the Ehrhart polynomial of $\mathcal{P}(m,n)$ for $n=1,2,3$. There exist infinitely many counterexamples with $n<m-1$ showing that the Ehrhart polynomial of $\mathcal{P}(m,n)$ is not magic positive. This partially resolves an open problem proposed by Ferroni and Higashitani.

The $n$-dimensional lattice polytopes $\mathcal{Q}_{n,k}$ obtained by intersecting the $n$th dilate of the standard $n$-dimensional simplex in $\mathbb{R}^n$ with the half-spaces $x_i \le 1$ for $1 \le i \le k$ form an interesting special case of Chapoton's arbor polytopes. They interpolate between the $n$th dilate of the standard $n$-dimensional simplex and the standard $n$-dimensional cube in $\mathbb{R}^n$. This paper provides an explicit combinatorial interpretation of the $h^\ast$-polynomial of $\mathcal{Q}_{n,k}$, as the ascent enumerator of certain words, and partly confirms some of Chapoton's conjectures on the lattice point enumeration of arbor polytopes in this special case. More specifically, the Ehrhart polynomial of $\mathcal{Q}_{n,k}$ is shown to be magic positive, by means of a new combinatorial parking model for cars, and the real-rootedness of its $h^\ast$-polynomial is deduced. The polynomial whose coefficients count the lattice points of $\mathcal{Q}_{n,k}$ by the number of their nonzero coordinates is shown to be gamma-positive and a combinatorial interpretation of the $h^\ast$-polynomial of any arbor polytope is conjectured.

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'x)$ is magic positive for any $k' \geq k$. Furthermore, for any integer $d\geq3$, 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.

The magic positivity of Ehrhart polynomials is a useful tool for proving the real-rootedness of the $h^\ast$-polynomials. In this paper, we provide a new class of reflexive polytopes whose Ehrhart polynomials are magic positive. First, we prove that the Ehrhart polynomials of Stasheff polytopes are magic positive. Second, we provide a partial proof of the magic positivity of the Ehrhart polynomials of the dual polytopes of the symmetric edge polytopes of cycles.