The integer point enumerator of one irrational translate of P is a complete invariant

Abstract

For a full-dimensional rational polytope $P\subset\mathbb{R}^d$ and a real dilation parameter $t>0$, the integer point enumerator is defined by $L_{P}(t):= |tP\cap\mathbb{Z}^d|$. We determine exactly which translation vectors $\mathbf y=(y_1,\ldots,y_d)\in\mathbb{R}^d$ have the property that the single translated counting function $t\longmapsto L_{P+\mathbf y}(t)$, with $t\in\mathbb{Q}_{>0}$, uniquely determines $P$ among all full-dimensional rational polytopes in $\mathbb{R}^d$. The necessary and sufficient condition is that $1,y_1,\ldots,y_d$ be linearly independent over $\mathbb{Q}$. In particular, we may use the explicit algebraic vector $\mathbf y^* := (2^{1/(d+1)},2^{2/(d+1)},\ldots,2^{d/(d+1)})$ in every dimension $d$. The sufficiency proof recovers the primitive facet inequalities from isolated discontinuities of the counting function, while necessity follows from an affine-unimodular obstruction.

Disclosure

“AI Usage The author used ChatGPT 5.6 Sol for editorial assistance, proofreading, suggestions, and some discovery, during the writing of this paper. The author independently provided and re- checked all mathematical arguments, statements, and references, and takes full res”

PDF page 12

Classification

Brainstorming or outlining

Multiplier

2

Verified

2026-08-22T17:14:28.720884Z

Structural counts