110 problems

Let $p,q \in \mathbb{Z}$ be coprime integers with $1<q<p^2$, with $p$ odd and $q$ even. Let $\Delta(p,q)$ denote the triangle defined in the paper, and suppose that Pick's formula…

Oda's conjectures. The following two statements are true: (1) every smooth polytope has the IDP; and (2) if $P,Q\subset\mathbb{R}^n$ are smooth polytopes and the normal fan of $P$…

Let $P$ be a lattice polytope with the integer decomposition property (IDP), meaning that every lattice point in $mP$ is a sum of $m$ lattice points in $P$. Let $h^*_P(x)$ be its…

Let $P$ be a lattice polytope. It is Gorenstein if its associated Ehrhart ring is Gorenstein, and it has the integer decomposition property (IDP) if every lattice point in $mP$ is…

Let $\mathcal{P}$ be a lattice polytope. It is Gorenstein if some positive integer dilate of $\mathcal{P}$ is reflexive, and it has the integer decomposition property if every latt…

Let $P\subset\mathbb{R}^d$ be a lattice polytope of dimension $d$ and degree $s$. A Cayley polytope is a lattice polytope expressible as a Cayley sum of lattice polytopes. Cayley c…

Neatness conjecture. All smooth lattice polytopes are neat.

Kirillov's unimodality conjecture. For any $n\geq 1$, the Ehrhart $\delta$-polynomial $\delta(\mathcal{P}_n;t)$ is unimodal.

Let $P$ be a $d$-dimensional lattice polytope, and let $h^*(rP)$ denote the $h^*$-polynomial of its dilation $rP$. Beck–Stapledon conjecture. The polynomial $h^*(rP)$ has only dist…

Let $P$ be a $d$-polytope with vertex set $V$, and let $d'\le d-1$. Suppose that for every integer $k$ with $0\le k\le d'$, condition (dfcon) is satisfied. Write $i(P,m)$ for the E…

Dickenstein–Nill's Cayley decomposition conjecture. If

Let $\Delta$ be a smooth fibre-like polytope of dimension $d$, and let $X(\Delta)$ denote the associated smooth toric Fano variety. Assume that $d$ is an odd prime number. Classifi…

Let $\Delta$ be a Gorenstein polytope of CY-dimension $n$, so that its stringy E-function $E_{\rm st}(\Delta;u,v)$ and CY-dimension are defined as in the preceding discussion. Stri…

Let $T$ be a lattice tetrahedron with exactly $k$ interior lattice points. In a minimal direction for its lattice width, consider the consecutive lattice planes meeting $T$. Lattic…

Volume lower-bound conjecture. Every $P\in\mathcal{P}_o^n$ satisfies

Let $\Delta$ be an $n$-dimensional lattice polytope whose $h^*$-polynomial is quadratic, written as … Quadratic $h^*$-polynomial conjecture. One has … This is proposed as a more pr…

Let $d\geq 4$, and let $S_{Q'_d}$ be the reflexive simplex defined from the Sylvester-sequence weight system in the source. A $d$-dimensional lattice polytope is assumed to have ex…

Real-part bound. All roots $\alpha$ of Ehrhart polynomials of lattice $d$-polytopes satisfy

Let $M$ be a lattice and let $M_{\mathbb{R}}=M\otimes_{\mathbb{Z}}\mathbb{R}$. For a lattice polytope $P\subseteq M_{\mathbb{R}}$, let $L(P)$ denote its lattice length, and write…

Boundary-vertex conjecture. The vertices of $Q$ lie on the boundary of $K-\mathbf{x}$.

Let $P$ be the base polytope of a polymatroid. A triangulation of $P$ is unimodular if all its simplices are unimodular with respect to the relevant lattice, and it is flag if ever…

Let $E$ be an $n$-element set and let $\tau$ be an arbor on $E$. Its $h$-polynomial is $h(\tau,t)=\sum_{i=0}^n h_i(\tau)t^i$, where $h_i(\tau)$ counts the lattice points of the arb…

Width-one conjecture. Under the stated hypothesis, $P$ has width one.

Let $\omega=(\omega_0,\dots,\omega_d)\in\mathbb{R}^{d+1}_{>0}$ satisfy $\omega_0\leqslant\dots\leqslant\omega_d$, and define the weighted terminal simplex … For $i\in[d]$, Codenott…

Let $T_d=\operatorname{conv}(-\mathbb{1}_d,e_1,\dots,e_d)$ be the terminal simplex in dimension $d$, and let $i\in[d]$. Merino–Schymura conjecture. For every $d\in\mathbb{N}$ and e…