The \(\delta\)-vectors of reflexive polytopes and of the dual polytopes (Q294533)

For a \(d\)-polytope \(P\) its \textit{Ehrhart series} \(1+\sum_{n=1}^{\infty}i(P,n)t^n\), where \(i(P,n)\) is the Ehrhart polynomial of \(P\), is known to have the rational form of \((\delta_0 + \delta_1t + \cdots + \delta_dt^d)/(1-t)^{d+1}\) for some non-negative \(\delta_0,\delta_1,\dots,\delta_d\). The \textit{\(\delta\)-vector of \(P\)} is \(\delta(P) = (\delta_0,\delta_1,\dots,\delta_d)\). \(P\) is \textit{integral} if all its vertices have integer coordinates in \({\mathbb{R}}^d\), and it is \textit{reflexive} if (i) the origin of \({\mathbb{R}}^d\) is the unique integer point belonging to the interior \(P\setminus \partial(P)\) of \(P\), and (ii) its dual \(P^{\vee} = \{\tilde{y}\in {\mathbb{R}}^d : \tilde{x}\cdot\tilde{y}\leq 1 \text{ for all }\tilde{x}\in P\}\) is also integral. It is known that \(P\) is reflexive if and only if \(\delta(P)\) is symmetric, that is \(\delta_i = \delta_{d-i}\) for each \(i\). However, \(\delta(P) = \delta(P^{\vee})\) does not hold in general. It is also known that for each \(d\geq 2\) there is a reflexive \(d\)-simplex whose \(\delta\)-vector is equal to that of its dual. In this paper, some additional examples of reflexive \(d\)-polytopes are given whose \(\delta\)-vectors equal that of their duals. In particular, some new examples of such reflexive simplices are given.