Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.06338

Ehrhart Properties under Operations on Lattice Polytopes

Feihu Liu
View original source ↗Read source document ↗Export metadata ↓

Abstract

This paper investigates the preservation of three classes of Ehrhart properties under various operations on lattice polytopes. These operations include Cartesian products, lattice joins, lattice pyramids, free sums, Minkowski sums, Cayley sums, reflexive polarity, and integral dilations. Specifically, we consider the following properties frequently studied in Ehrhart theory: (i): Positivity of Ehrhart coefficients, including Ehrhart positivity and magic positivity. In particular, we present lattice point counting formulas for the polytopes generated by these operations. (ii): Coefficient properties of the $h^*$-polynomial, including symmetry, unimodality, log-concavity, ultra log-concavity, real-rootedness, and $γ$-positivity. (iii): Geometric properties, including the spanning property, the integer decomposition property, very ampleness, and the existence of unimodular triangulation, regular unimodular triangulation, and quadratic triangulation. We determine which properties are preserved under these eight operations, establishing preservation theorems or constructing explicit counterexamples. Furthermore, when a property is not preserved in general, we investigate sufficient or equivalent conditions for its preservation.

Explore related subjects

math.HOmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Feihu Liu. 2026-10-05. Ehrhart Properties under Operations on Lattice Polytopes. https://arxiv.org/abs/2610.06338

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Benchmarks in Leipzig

Between April 1 and May 15, 2026, a group of 49 mathematicians compiled a dataset of research-level mathematics questions with known answers. Most of the work was done during the three-day workshop Benchmarks in Leipzig with 35 participants at the Max Planck Institute for Mathematics in the Sciences in Leipzig, Germany. We present the resulting collection of 100~questions. We evaluated these questions in three stages: a single attempt by five state-of-the-art LLMs and their predecessors, followed by a 20-runs-per-model evaluation with three of these models, and finally a 3-run attempt with two heavy-thinking models. After Stage 1, 41 questions remained completely unsolved; after Stage 2, this count dropped to 16; and we concluded Stage 3 with only 2 unsolved questions. This demonstrates that the mathematical reasoning capabilities of LLMs are becoming impressive. In September 2026, we added a fourth stage in which the next generation of models attempted all 100 questions once more, after which only 1 question remains unsolved.

math.HO↗
arXiv2026

The Quarter-Turn and the Ball

In his Tau Manifesto, Michael Hartl presents a formula, credited to Jeff Cornell, for the volume of the unit $n$-ball in terms of the quarter-turn constant $η=π/2$. We read the formula as a set of clues to a geometric proof, leading through orthant geometry and a higher-dimensional version of Lambert's equal-area projection. We conclude with some additional thoughts on the circle constant.

math.HO↗
arXiv2026

Why Does the Slope Definition of $e$ Work?: A Self-Contained Exploration After Real Analysis

Euler's number $e$ is often introduced through compound interest, an infinite series, an area, or the slope of an exponential function. The last viewpoint is especially attractive: choose the base $b\in (2,3)$ so that the graph of $y=b^x$ has tangent slope $1$ at $(0,1)$. However, a curious student may raise several questions that a brief introduction necessarily leaves implicit. What does $b^x$ mean when $x$ is irrational? Why is $b^x$ differentiable at $x = 0$? How can one show that the slopes corresponding to bases $2$ and $3$ lie on opposite sides of slope $1$? Finally, why is there a unique base whose slope is exactly $1$? The paper provides an answer using tools from a first course in real analysis, including limits, continuity, derivatives, and the Intermediate Value Theorem. Its primary audience is undergraduate students familiar with standard concepts from an introductory analysis course who wish to apply what they have learned to explore questions left open in earlier courses. A secondary audience is instructors who may use selected portions as supplementary material in an introduction-to-proofs course. The mathematical ingredients are classical; our aim is to organize them into a self-contained exposition and to make explicit the logical steps that are often compressed in standard treatments.

math.HO↗