Half-open integer parallelepipeds and polytope Dedekind sums

Sinai Robins, André Rosenbaum Coelho

Abstract

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.

Disclosure

“l≥0 I⊆[d] l! Equating the coefficient of xn+d gives identity (110). AI Usage The authors used ChatGPT for editorial assistance, proofreading, and suggestions during the writing of this paper. The authors independently provided and re-checked all mathematical arguments, statements, and references, and take full responsibility for the final”

PDF page 24
Classification
Proofreading, grammar, or spelling
Multiplier
1
Verified

Structural counts

Pages 25 pdf
Theorems 4 source
Lemmas 4 source
Propositions 1 source
Corollaries 1 source
Definitions 3 source
Displayed equations 148 source
Bibliography entries 79 source
Appendix pages 0 estimated

Count notes

  • Source counts use the expanded primary TeX file main.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.