arXiv++ Combinatorics

This paper investigates the preservation of three classes of Ehrhart properties under various operations on lattice polytopes. These operations include Cartesian products, lattice joins, lattice pyramids, free sums, Minkowski sums, Cayley sums, reflexive polarity, and integral dilations. Specifically, we consider the following properties frequently studied in Ehrhart theory: (i): Positivity of Ehrhart coefficients, including Ehrhart positivity and magic positivity. In particular, we present lattice point counting formulas for the polytopes generated by these operations. (ii): Coefficient properties of the $h^*$-polynomial, including symmetry, unimodality, log-concavity, ultra log-concavity, real-rootedness, and $γ$-positivity. (iii): Geometric properties, including the spanning property, the integer decomposition property, very ampleness, and the existence of unimodular triangulation, regular unimodular triangulation, and quadratic triangulation. We determine which properties are preserved under these eight operations, establishing preservation theorems or constructing explicit counterexamples. Furthermore, when a property is not preserved in general, we investigate sufficient or equivalent conditions for its preservation.

We study Ehrhart coefficients, the integer decomposition property, and unimodular triangulations for two families of Hermite normal form simplices considered by Bruckamp, Caicedo, and Juhnke. The first family consists of simplices of the form $S_{\boldsymbol{a}}=\mathrm{conv}(0,e_1,\ldots,e_{d-1},\boldsymbol{a})$, where $\boldsymbol{a}=(a_1,\ldots,a_{d-1},N)$, and the second consists of the simplices $T_{d,N}=\mathrm{conv}\bigl(0,e_1,\ldots,e_{d-2},(d-2,\ldots,d-2,d-1,0),(1,\ldots,1,N)\bigr)$. For the family $T_{d,N}$, we prove unimodality of the Ehrhart coefficients in every dimension and determine the log-concave and real-rooted cases. For the subfamily $S_{\boldsymbol{a}}$ with $\boldsymbol{a}=(N-q,\ldots,N-q,N)$, we characterize both the integer decomposition property and the existence of a regular unimodular triangulation via a congruence condition on a negative continued fraction. We also give an arithmetic test for the integer decomposition property and finite triangulation tests for $S_{\boldsymbol{a}}$ with arbitrary $\boldsymbol{a}$. These results address three open questions of Bruckamp, Caicedo, and Juhnke.

Tadao Oda conjectured that every smooth polytope has the Integer Decomposition Property. In this paper, we show this result for a subclass of polytopes: smooth combinatorial cubes of any dimension.

Recently, Ferroni constructed a family of counterexamples to the well-known conjecture in Ehrhart theory stating that the $h^*$-polynomial of a lattice polytope with the integer decomposition property is unimodal. This raises the question of whether the $h^*$-polynomial of a lattice simplex with the integer decomposition property remains unimodal. In this note, we prove that every lattice simplex with the integer decomposition property and prime normalized volume has a unimodal $h^*$-polynomial. Furthermore, we establish several sufficient conditions for the unimodality of the $h^*$-polynomial of such simplices.

Backman and Liu proved that every integral generalized permutohedron of type $A$, and in particular every matroid base polytope, admits a regular unimodular triangulation. The analogous statement fails in type $B$: the delta-matroid simplex \[\operatorname*{conv}\{\mathbf{0},\ e_1+e_2,\ e_1+e_3,\ e_2+e_3\}\] has normalized volume $2$ and no lattice points other than its vertices, so it has no unimodular triangulation. We show moreover that, up to the natural symmetries of the $0/1$ cube and deletion of constant coordinates, it is the unique non-unimodular delta-matroid polytope that is a simplex. We prove instead that every delta-matroid polytope admits a regular dyadic triangulation, meaning a lattice triangulation whose maximal simplices have normalized volumes that are powers of two. More generally, every integral type $B$ generalized permutohedron admits such a triangulation. The main lattice-theoretic ingredient is that the type $B$ root configuration forms a totally dyadic system, a $2$-local analogue of total unimodularity. As a consequence, these polytopes satisfy a dyadic version of the integer decomposition property. In each dimension the corresponding exponent can be chosen uniformly, even though ordinary integer decomposition can fail for delta-matroid polytopes.

We study the Schur-positive cone in $\Rspace_{n,\mathbb R}\coloneqq \operatorname{span}_{\mathbb R}\{p_d^{n/d}:d\mid n\}$ through its basis $Q_{n,d}\coloneqq\ell_{n/d}^{(1)}[p_d]$, where $\ell_m^{(1)}$ is the Frobenius characteristic of the representation induced to $S_m$ from a faithful linear character of the subgroup generated by an $m$-cycle; brackets denote plethysm. A Boolean $Q$-sum is a sum of distinct elements of this basis. We give a unified proof of four conjectures of Sundaram on Schur positivity by classifying all Schur-positive Boolean $Q$-sums; the case of sums over divisors up to a prescribed bound recovers Hou's theorem. Specifically, for a nonempty set $J$ of divisors of $n$, the sum $\sum_{d\in J}Q_{n,d}$ is Schur-positive exactly when $1\in J$ and, for even $n$, $n\in J$ implies $n/2\in J$. The same character estimates prove the Ramanujan-square conjecture of Shareshian and Sundaram: the function $\sum_{d\mid n}c_d(n/d)^2p_d^{n/d}$, where $c_d(r)$ is the Ramanujan sum, has a positive coefficient of $s_λ$ for every $n\ge1$ and $λ\vdash n$, except when $n\equiv2\pmod4$ and $λ=(1^n)$, in which case the coefficient is zero. We prove that an element of this space has integral Schur coefficients if and only if its $Q$-coordinates are integral. The Boolean classification also determines the convex hull of the Schur-positive Boolean points with $Q_{n,1}$-coordinate $1$. We compute its Ehrhart polynomial and volume, prove its integer decomposition property, and determine the Hilbert basis of its cone. For $n\ge18$, we prove that setting the coefficient of $s_{(n)}$ or $s_{(1^n)}$ equal to $0$ or $1$ defines a facet of the section of the Schur-positive cone with $Q_{n,1}$-coordinate $1$. The positivity results and coordinate formulas also yield inequalities for major-index residue multiplicities.

We study regular unimodular triangulations, the integer decomposition property, and Ehrhart-theoretic properties of two families of Hermite normal form simplices. We first consider the one-row case associated with the vector $(N - 1, \dots ,N - 1 , N)\in \mathbb{N}^d$, and completely characterize when the corresponding simplices admit a regular unimodular triangulation. Our constructions are explicit and also yield closed formulas for the $h^\ast$-polynomial and the local $h^\ast$-polynomial. Moreover, we prove Ehrhart positivity and derive explicit dimension-dependent conditions under which the Ehrhart polynomial is not unimodal. Finally, we extend our approach to the two-row cases associated with $(1, \dots ,1 , N)\in\mathbb{N}^d$ and $(M-1, \dots ,M-1, M, 0)\in\mathbb{N}^d$. In these cases, we construct regular unimodular triangulations, derive closed formulas for the $h^\ast$-polynomial and the local $h^\ast$-polynomial, and prove Ehrhart positivity.

Given a scheme $X$ of finite type over the complex numbers, the Behrend function is a constructible function $ν_X: X(\mathbb C) \rightarrow \mathbb Z $ introduced by Behrend in order to define enumerative invariants in Donaldson--Thomas theory. Even in simple cases, the Behrend function is very difficult to compute. In this article, we tackle the problem of computing the Behrend function of zero-dimensional schemes. We obtain a number of explicit formulas, in particular, for arbitrary zero-dimensional monomial schemes, thus providing vast generalizations of previous work of Graffeo--Ricolfi. Our main tools come from the theory of blowup algebras. Along the way, we establish results of independent interest related to the integer decomposition property, weighted Veronese subrings, and reduced fiber rings.

Inspired by research on the Cartesian product of two lattice polytopes, this paper investigates the Ehrhart theory of the join of two lattice polytopes. This is also a well-known open problem listed on the website of the American Institute of Mathematics. This paper resolves this open problem. We first construct counterexamples showing that the join of two Ehrhart positive polytopes is not necessarily Ehrhart positive. Then we prove that if two lattice polytopes have the integer decomposition property and the spanning property, then their join also has these two properties. However, the very ample property is not inherited under joins. Finally, we show that unimodular triangulations, regular triangulations, and quadratic triangulations are preserved under the join operation. As a byproduct, we state the necessary and sufficient condition for the Cartesian product of two Gorenstein lattice polytopes to remain Gorenstein.

Oda asked the following prominent question in Oberwolfbach: Let $P$ be a smooth lattice polytope. Does $P$ have the integer decomposition property? We answer Oda's question in the affirmative in the special case of smooth Fano polytopes. We prove that the delta-vector of a smooth Fano polytope is unimodal and we give upper and lower bound for the volume of smooth Fano polytopes.

Symmetric edge polytopes are a recent and well-studied family of centrally symmetric polytopes arising from graphs. In this paper, we introduce a generalization of this family to arbitrary simplicial complexes. We show how topological properties of a simplicial complex can be translated into geometric properties of such polytopes, and vice versa. We study the integer decomposition property, facets and reflexivity of these polytopes. Using Gröbner basis techniques, we obtain a (not necessarily unimodular) triangulation of these polytopes. Due to the tools we use, most of our results hold in the more general setting of arbitrary centrally symmetric polytopes.

We introduce Tadao Oda's famous question on lattice polytopes which was originally posed at Oberwolfach in 1997 and, although simple to state, has remained unanswered. The question is motivated by a discussion of the two-dimensional case - including a proof of Pick's Theorem, which elegantly relates the area of a lattice polygon to the number of lattice points it contains in its interior and on its boundary.

Lattice polytopes are called IDP polytopes if they have the integer decomposition property, i.e., any lattice point in a $k$th dilation is a sum of $k$ lattice points in the polytope. It is a long-standing conjecture whether the numerator of the Ehrhart series of an IDP polytope, called the $h^*$-polynomial, has a unimodal coefficient vector. In this preliminary report on research in progress we present examples showing that $h^*$-vectors of IDP polytopes do not have to be log-concave. This answers a question of Luis Ferroni and Akihiro Higashitani. As this is an ongoing project, this paper will be updated with more details and examples in the near future.

By unifying various earlier extensions of alternating sign matrices (ASMs), we introduce the notion of prefix-bounded matrices (PBMs). It is shown that the convex hull of these matrices forms the intersection of two special generalized polymatroids. This implies $\unicode{x2013}$ in a more general form $\unicode{x2013}$ that the linear inequality system given by Behrend and Knight (2007) and by Striker (2007, 2009) for describing the polytope of alternating sign matrices is totally dual integral (TDI), confirming a recent conjecture of Edmonds (2024, 2025). By relying on the polymatroidal approach, we derive a characterization for the existence of prefix-bounded matrices meeting lower and upper bounds on their entries. Furthermore, we point out that the constraint matrix of the linear system describing the convex hull of PBMs, in particular ASMs, is a network matrix. This implies that (a) standard network-flow techniques can be used to manage algorithmically optimization and structural results on PBMs obtained via g-polymatroids, (b) the linear system is actually box-TDI, and (c) the convex hull of PBMs admits a sharpened form of the integer Carathéodory property, in particular, the integer decomposition property. This latter feature makes it possible to confirm an extended form of an elegant conjecture of Brualdi and Dahl (2023) on the decomposability of a so-called $k$-regular alternating sign matrix as the sum of $k$ pattern-disjoint ASMs.

We provide a framework for which one can approach showing the integer decomposition property for symmetric polytopes. We utilize this framework to prove a special case which we refer to as $2$-partition maximal polytopes in the case where it lies in a hyperplane of $\mathbb{R}^3$. Our method involves proving a special collection of polynomials have saturated Newton polytope.

We study lattice polytopes which arise as the convex hull of chip vectors for \textit{self-reachable} chip configurations on a tree $T$. We show that these polytopes always have the integer decomposition property and characterize the vertex sets of these polytopes. Additionally, in the case of self-reachable configurations with the smallest possible number of chips, we show that these polytopes are unimodularly equivalent to a unit cube.

The matching polytope of a graph $G$ is the convex hull of the indicator vectors of the matchings on $G$. We characterize the graphs whose associated matching polytopes are Gorenstein, and then prove that all Gorenstein matching polytopes possess the integer decomposition property. As a special case study, we examine the matching polytopes of wheel graphs and show that they are not Gorenstein, but do possess the integer decomposition property.

We introduce a general class of symmetric polynomials that have saturated Newton polytope and their Newton polytope has integer decomposition property. The class covers numerous previously studied symmetric polynomials.

We study the integer decomposition property of lattice polytopes associated with the $n$-dimensional smooth complete fans with at most $n+3$ rays. Using the classification of smooth complete fans by Kleinschmidt and Batyrev and a reduction to lower dimensional polytopes, we prove the integer decomposition property for lattice polytopes in this setting.

Reflexive lattice polytopes play a key role in combinatorics, algebraic geometry, physics, and other areas. One important class of lattice polytopes are lattice simplices defining weighted projective spaces. We investigate the question of when a reflexive weighted projective space simplex has the integer decomposition property. We provide a complete classification of reflexive weighted projective space simplices having the integer decomposition property for the case when there are at most three distinct non-unit weights, and conjecture a general classification for an arbitrary number of distinct non-unit weights. Further, for any weighted projective space simplex and $m\geq 1$, we define the $m$-th reflexive stabilization, a reflexive weighted projective space simplex. We prove that when $m$ is $2$ or greater, reflexive stabilizations do not have the integer decomposition property. We also prove that the Ehrhart $h^\ast$-polynomial of any sufficiently large reflexive stabilization is not unimodal and has only $1$ and $2$ as coefficients. We use this construction to generate interesting examples of reflexive weighted projective space simplices that are near the boundary of both $h^*$-unimodality and the integer decomposition property.