arXiv++ Combinatorics

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.

We study the Ehrhart theory of half-open $d$-dimensional integer parallelepipeds $Π$. Although the lattice-point count $tΠ\cap \Z^d$ is known to be simply $\vol Πt^d$ for positive integer $t$, the corresponding counting function for arbitrary real dilations $t$ has subtle, nontrivial periodic structure. We give explicit formulas for this real Ehrhart quasi-polynomial, and more generally for all the discrete moments of the real dilates of $Π$: $\sum_{p\in tΠ\cap\mathbb Z^d}\langle p,z\rangle^m$. The formulas are expressed in terms of Barnes polynomials and polytope Dedekind sums, which encode the periodic lattice flow of translated integer lattices on the flat torus determined by $Π$. Our approach develops further the study of polytope Dedekind sums, introduced recently in \cite{Robins2026}. In particular, we obtain novel identities for polytope Dedekind sums by using iterated discrete derivatives. Moreover, we show that the Ehrhart quasi-coefficients of $L_Π(t)$ are precisely alternating sums of polytope Dedekind sums. Finally, we give an Ehrhart-type reciprocity law relating $L_Π(t)$ at negative arguments to the lattice-point count of the `opposite' half-open parallelepiped.

We give novel and explicit formulas for the Ehrhart quasi-polynomials of rational simple polytopes, in terms of Barnes polynomials and discrete moments of half-open parallelepipeds. These formulas also hold for all positive dilations of a rational polytope. There is an interesting appearance of an extra complex z-parameter, which seems to allow for more compact formulations. We also give similar formulas for discrete moments of rational polytopes, and their positive dilates, objects known in the literature as sums of polynomials over a polytope. The appearance of the Barnes polynomials and the Barnes numbers allow for explicit computations. From this work, it is clear that the complexity of computing Ehrhart quasi-polynomials lies mainly in the computation of various discrete moments of parallelepipeds. These discrete moments are in general summed over a particular lattice flow on a compact torus, defined in this paper. Some of the consequences involve novel vanishing identities for rational polytopes. As another consequence, we obtain a differential equation for discrete moments of rational polytopes, which extends the work of Eva Linke. For smooth polytopes, we obtain novel and much simpler formulations of Ehrhart polynomials, discrete moments, and vanishing identities that may be of independent interest from the perspective of Barnes polynomials and Barnes numbers. These formulations show the utility of Barnes polynomials in geometric combinatorics, due to their very rich structure that extends the 1-dimensional Bernoulli polynomials.

The integer point transform $σ_{\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 $σ_{\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 $σ_{\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$.

Given a finite subset $F$ of integer points in $\mathbb Z^d$, it is of interest to seek conditions on $F$ that allow it to multi-tile $\mathbb Z^d$ by translations. To this end, we give a discretized version of the Bombieri-Siegel formula, which represents a finite sum of discrete covariograms in terms of Fourier transforms. As a consequence, we arrive at a new equivalent condition for multi-tiling $\mathbb Z^d$ by translating $F$ with a fixed integer sublattice. In the continuous case, we study lattice sums of the cross covariogram for any two bounded sets $A, B\subset \mathbb R^d$, and we prove a refined continuous version of the classical Bombieri-Siegel formula from the geometry of numbers. To achieve this goal, we use a variant of the Poisson Summation formula, adapted for continuous functions of compact support. As an application of this refined Bombieri-Siegel formula, a new characterization of multi-tilings of Euclidean space by translations of a compact set by using a lattice is given. One consequence is a novel spectral formula for the volume of any bounded measurable set. Another consequence is a novel spectral formula for the product of the volumes of any two bounded measurable sets.

A graph whose nodes have degree 1 or 3 is called a $\{1,3\}$-graph. Liu and Osserman associated a polytope to each $\{1,3\}$-graph and studied the Ehrhart quasi-polynomials of these polytopes. They showed that the vertices of these polytopes have coordinates in the set $\{0,\frac14,\frac12,1\}$, which implies that the period of their Ehrhart quasi-polynomials is either 1, 2, or 4. We show that the period of the Ehrhart quasi-polynomial of these polytopes is at most 2 if the graph is a tree or a cubic graph, and it is equal to 4 otherwise. In the process of proving this theorem, several interesting combinatorial and geometric properties of these polytopes were uncovered, arising from the structure of their associated graphs. The tools developed here may find other applications in the study of Ehrhart quasi-polynomials and enumeration problems for other polytopes that arise from graphs. Additionally, we have identified some interesting connections with triangulations of 3-manifolds.

This book is an introduction to the nascent field of Fourier analysis on polytopes, and cones. There is a rapidly growing number of applications of these methods, so it is appropriate to invite students, as well as professionals, to the field. Of the many applications of these techniques, we have chosen to focus on the following topics: (a) Formulations for the Fourier transform of a polytope (b) Minkowski and Siegel's theorems in the geometry of numbers (c) Tilings and multi-tilings of Euclidean space by translations of a polytope (d) Computing discrete volumes of polytopes, which are combinatorial approximations to the continuous volume (e) Sphere packings, and their packing density (f) Iterating the divergence theorem to give new formulations for the Fourier transform of a polytope, with applications (g) Shannon sampling, in several variables (h) More topics in the classical geometry of numbers We assume familiarity with Linear Algebra, with some Calculus and infinite series. Throughout, we introduce the topics gently, by giving many examples and exercises, so that this book is ideally suited for a course, or for self-study.

Macdonald studied a discrete volume measure for a rational polytope $P$, called solid angle sum, that gives a natural discrete volume for $P$. We give a local formula for the codimension two quasi-coefficient of the solid angle sum of $P$. We also show how to recover the classical Ehrhart quasi-polynomial from the solid angle sum and in particular we find a similar local formula for the codimension one and codimension two quasi-coefficients. These local formulas are naturally valid for all positive real dilates of $P$. An interesting open question is to determine necessary and sufficient conditions on a polytope $P$ for which the discrete volume of $P$ given by the solid angle sum equals its continuous volume: $A_P(t) = \mathrm{vol}(P) t^d$. We prove that a sufficient condition is that $P$ tiles $\mathbb R^d$ by translations, together with the Hyperoctahedral group.

Several conditions are known for a self-inversive polynomial that ascertain the location of its roots, and we present a framework for comparison of those conditions. We associate a parametric family of polynomials $p_α$ to each such polynomial $p$, and define $\mathscr{cn}(p)$, $\mathscr{il}(p)$ to be the sharp threshold values of $α$ that guarantee that, for all larger values of the parameter, $p_α$ has, respectively, all roots in the unit circle and all roots interlacing the roots of unity of the same degree. Interlacing implies circle rootedness, hence $\mathscr{il}(p)\geq\mathscr{cn}(p)$, and this inequality is often used for showing circle rootedness. Both $\mathscr{cn}(p)$ and $\mathscr{il}(p)$ turn out to be semi-algebraic functions of the coefficients of $p$, and some useful bounds are also presented, entailing several known results about roots in the circle. The study of $\mathscr{il}(p)$ leads to a rich classification of real self-inversive polynomials of each degree, organizing them into a complete polyhedral fan. We have a close look at the class of polynomials for which $\mathscr{il}(p)=\mathscr{cn}(p)$, whereas in general the quotient $\frac{\mathscr{il}(p)}{\mathscr{cn}(p)}$ is shown to be unbounded as the degree grows. Several examples and open questions are presented.

The scissors congruence conjecture for the unimodular group is an analogue of Hilbert's third problem, for the equidecomposability of polytopes. Liu and Osserman studied the Ehrhart quasi-polynomials of polytopes naturally associated to graphs whose vertices have degree one or three. In this paper, we prove the scissors congruence conjecture, posed by Haase and McAllister, for this class of polytopes. The key ingredient in the proofs is the nearest neighbor interchange on graphs and a naturally arising piecewise unimodular transformation.

Given a real closed polytope $P$, we first describe the Fourier transform of its indicator function by using iterations of Stokes' theorem. We then use the ensuing Fourier transform formulations, together with the Poisson summation formula, to give a new algorithm to count fractionally-weighted lattice points inside the one-parameter family of all real dilates of $P$. The combinatorics of the face poset of $P$ plays a central role in the description of the Fourier transform of $P$. We also obtain a closed form for the codimension-1 coefficient that appears in an expansion of this sum in powers of the real dilation parameter $t$. This closed form generalizes some known results about the Macdonald solid-angle polynomial, which is the analogous expression traditionally obtained by requiring that $t$ assumes only integer values. Although most of the present methodology applies to all real polytopes, a particularly nice application is to the study of all real dilates of integer (and rational) polytopes.

The solid-angle sum $A_{\mathcal{P}} (t)$ of a rational polytope ${\mathcal{P}} \subset \mathbb{R}^d$, with $t \in \mathbb{Z}$ was first investigated by I.G. Macdonald. Using our Fourier-analytic methods, we are able to establish an explicit formula for $A_{\mathcal{P}} (t)$, for any real dilation $t$ and any rational polygon ${\mathcal{P}} \subset \mathbb{R}^2$. Our formulation sheds additional light on previous results, for lattice-point enumerating functions of triangles, which are usually confined to the case of integer dilations. Our approach differs from that of Hardy and Littlewood in 1992, but offers an alternate point of view for enumerating weighted lattice points in real dilations of real triangles.

When $\mathbb{Z}^d$ is represented as a finite disjoint union of translated integer sublattices, the translated sublattices must possess some special properties. Such a representation is called a \emph{lattice tiling}. We develop a theoretical framework, based on multiple residues and dual groups, to provide a set of necessary and sufficient conditions for such a lattice tiling to exist. We also investigate the question of when a lattice tiling must possess at least two translated sublattices which are translates of one another.

We study multiple tilings of 3-dimensional Euclidean space by a convex body. In a multiple tiling, a convex body $P$ is translated with a discrete multiset $Λ$ in such a way that each point of the space gets covered exactly $k$ times, except perhaps the translated copies of the boundary of $P$. It is known that all possible multiple tilers in 3D are zonotopes. In 2D it was known by the work of M. Kolountzakis that, unless $P$ is a parallelogram, the multiset of translation vectors $Λ$ must be a finite union of translated lattices (also known as quasi periodic sets). In that work [Kolountzakis, 2002], the author asked whether the same quasi-periodic structure on the translation vectors would be true in 3D. Here we prove that this conclusion is indeed true for 3D. Namely, we show that if $P$ is a convex multiple tiler in 3D, with a discrete multiset $Λ$ of translation vectors, then $Λ$ has to be a finite union of translated lattices, unless $P$ belongs to a special class of zonotopes. This exceptional class consists of two-flat zonotopes $P$, defined by the Minkowski sum of $n+m$ line segments that lie in the union of two different two-dimensional subspaces $H_1$ and $H_2$. Equivalently, a two-flat zonotope $P$ may be thought of as the Minkowski sum of two 2-dimensional symmetric polygons one of which may degenerate into a single line segment. It turns out that rational two-flat zonotopes admit a multiple tiling with an aperiodic (non-quasi-periodic) set of translation vectors $Λ$. We note that it may be quite difficult to offer a visualization of these 3-dimensional non-quasi-periodic tilings, and that we discovered them by using Fourier methods.

The goal of this paper is to present a general and novel approach for the reconstruction of any convex d-dimensional polytope P, from knowledge of its moments. In particular, we show that the vertices of an N-vertex polytope in R^d can be reconstructed from the knowledge of O(DN) axial moments (w.r.t. to an unknown polynomial measure od degree D) in d+1 distinct generic directions. Our approach is based on the collection of moment formulas due to Brion, Lawrence, Khovanskii-Pukhikov, and Barvinok that arise in the discrete geometry of polytopes, and what variously known as Prony's method, or Vandermonde factorization of finite rank Hankel matrices.

We study the problem of covering R^d by overlapping translates of a convex body P, such that almost every point of R^d is covered exactly k times. Such a covering of Euclidean space by translations is called a k-tiling. The investigation of tilings (i.e. 1-tilings in this context) by translations began with the work of Fedorov and Minkowski. Here we extend the investigations of Minkowski to k-tilings by proving that if a convex body k-tiles R^d by translations, then it is centrally symmetric, and its facets are also centrally symmetric. These are the analogues of Minkowski's conditions for 1-tiling polytopes. Conversely, in the case that P is a rational polytope, we also prove that if P is centrally symmetric and has centrally symmetric facets, then P must k-tile R^d for some positive integer k.

We find sharp absolute constants $C_1$ and $C_2$ with the following property: every well-rounded lattice of rank 3 in a Euclidean space has a minimal basis so that the solid angle spanned by these basis vectors lies in the interval $[C_1,C_2]$. In fact, we show that these absolute bounds hold for a larger class of lattices than just well-rounded, and the upper bound holds for all. We state a technical condition on the lattice that may prevent it from satisfying the absolute lower bound on the solid angle, in which case we derive a lower bound in terms of the ratios of successive minima of the lattice. We use this result to show that among all spherical triangles on the unit sphere in $\mathbb R^N$ with vertices on the minimal vectors of a lattice, the smallest possible area is achieved by a configuration of minimal vectors of the (normalized) face centered cubic lattice in $\mathbb R^3$. Such spherical configurations come up in connection with the kissing number problem.

Our earlier article proved that if $n > 1$ translates of sublattices of $Z^d$ tile $Z^d$, and all the sublattices are Cartesian products of arithmetic progressions, then two of the tiles must be translates of each other. We re-prove this Theorem, this time using generating functions. We also show that for $d \geq 1$, not every finite tiling of $Z^d$ by lattices can be obtained from the trivial tiling by the process of repeatedly subdividing a tile into sub-tiles that are translates of one another.

For a lattice polytope P, define A_P(t) as the sum of the solid angles of all the integer points in the dilate tP. Ehrhart and Macdonald proved that A_P(t) is a polynomial in the positive integer variable t. We study the numerator polynomial of the solid-angle series sum_{t >= 0} A_P(t) z^t. In particular, we examine nonnegativity of its coefficients, monotonicity and unimodality questions, and study extremal behavior of the sum of solid angles at vertices of simplices. Some of our results extend to more general valuations.

We use Fourier methods to prove that if $n > 1$ translates of sublattices of $Z^d$ tile $Z^d$, and all the sublattices are Cartesian products of arithmetic progressions, then two of the tiles must be translates of each other. This is a multi-dimensional generalization of the Mirsky-Newman Theorem.