The integer point transform as a complete invariant

TL;DR

This paper demonstrates that the integer point transform uniquely determines a rational polytope or integer cone with a single algebraic evaluation, establishing it as a complete invariant and linking it to Fourier transforms.

Contribution

It proves that evaluating the integer point transform at one algebraic point suffices to uniquely identify rational polytopes and cones, a significant advancement in geometric invariants.

Findings

Integer point transform is a complete invariant for rational polytopes and cones.

A single algebraic evaluation of the transform determines the polytope or cone.

Finite evaluations of the transform can also uniquely identify the polytope.

Abstract

The integer point transform $\sigma_{\mathcal P}$ is an important invariant of a rational polytope $\mathcal P$, and here we show that it is a complete invariant. We prove that it is only necessary to evaluate $\sigma_{\mathcal P}$ at one algebraic point in order to uniquely determine $\mathcal P$, by employing the Lindemann-Weierstrass theorem. Similarly, we prove that it is only necessary to evaluate the Fourier transform of a rational polytope $\mathcal P$ at a single algebraic point, in order to uniquely determine $\mathcal P$. We prove that identical uniqueness results also hold for integer cones. In addition, by relating the integer point transform to finite Fourier transforms, we show that a finite number of \emph{integer point evaluations} of $\sigma_{\mathcal P}$ suffice in order to uniquely determine $\mathcal P$. We also give an equivalent condition for central symmetry of a finite point set, in terms of the integer point transform, and prove some facts about its local maxima. Most of the results are proven for arbitrary finite sets of integer points in $\mathbb R^d$.