Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0705.2088

A Blichfeldt-type inequality for the surface area

Martin Henk·Joerg M. Wills
View original source ↗Read source document ↗Export metadata ↓

Abstract

In 1921 Blichfeldt gave an upper bound on the number of integral points contained in a convex body in terms of the volume of the body. More precisely, he showed that $#(K\cap\Z^n)\leq n! \vol(K)+n$, whenever $K\subset\R^n$ is a convex body containing $n+1$ affinely independent integral points. Here we prove an analogous inequality with respect to the surface area $\F(K)$, namely $ #(K\cap\Z^n) < \vol(K) + ((\sqrt{n}+1)/2) (n-1)! \F(K)$. The proof is based on a slight improvement of Blichfeldt's bound in the case when $K$ is a non-lattice translate of a lattice polytope, i.e., $K=t+P$, where $t\in\R^n\setminus\Z^n$ and $P$ is an $n$-dimensional polytope with integral vertices. Then we have $#((t+P)\cap\Z^n)\leq n! \vol(P)$. Moreover, in the 3-dimensional case we prove a stronger inequality, namely $#(K\cap\Z^n) < \vol(K) + 2 \F(K)$.

Explore related subjects

math.MG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Martin Henk, Joerg M. Wills. 2007-05-15. A Blichfeldt-type inequality for the surface area. https://arxiv.org/abs/0705.2088

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

KEEP EXPLORING

Related papers

arXiv2026

Non-convex polytopes realizing kissing contact graphs in dimensions 5-7

Each of the 12 known conjecturally optimal kissing configurations in dimensions 5, 6, and 7 carries a contact-graph polytope: a polytope whose vertices are the configuration points and whose edges are exactly its contacts. Eight of these polytopes are non-convex and distinct from their convex hulls, which include longer edges. Each polytope is radial about the sphere's center: its boundary meets every ray from the center exactly once. It is the unique radial polytope with those vertices and edges. Seven of the nine non-lattice configurations carry polytopes constructed from the lattice contact polytope in the same dimension by splitting some facets and reassembling the pieces. This split-and-reassemble construction describes the configurations by facets rather than by layers. The fold angles of the reassembled facets explain the inner products $1/(10-n)$, giving $1/5$, $1/4$, and $1/3$ in dimensions 5, 6, and 7, respectively. The contact graphs of all 12 configurations are infinitesimally rigid. We also prove that $Q_5$ and $R_5$ are infinitesimally jammed, extending the 10 previously established cases to all 12 configurations. All mathematical computations use exact arithmetic.

math.MG↗
arXiv2026

Napoleonic triangles on the sphere from similar chord triangles

We study a variant of Napoleon's construction on the unit sphere, in which the triangles erected on the sides of a spherical triangle $ABC$ are required to have similar isosceles chord triangles with apex angle $β\in(0,π/2)$. For a non-equilateral $ABC$, we prove that the triangle $XYZ$ of spherical circumcentres is equilateral if and only if $\cos(θ_a+θ_b+θ_c\pmΩ/2)=0$, where $θ_a,θ_b,θ_c$ are the base angles of the isosceles spherical triangles $XBC$, $YCA$, $ZAB$, $Ω$ is the area of $ABC$, and the sign $+$ (resp.~$-$) corresponds to the outward (resp.~inward) construction. We derive from this an explicit classification in terms of two quadrics and a cubic inequality. It recovers the theorem of Dipierro, Noakes and Valdinoci for $β=π/3$, and exhibits three families of solutions for $β>π/3$, together with a fourth one when $\cosβ<1/4$.

math.MG↗
arXiv2026

On the Solution Sets of the Cone-Volume Map

For a fixed set $U=(u_1,\ldots,u_m)$ of outer unit normals, we consider the cone-volume map which associates to a vector of support numbers $b\in\mathbb R^m_{> 0}$ the cone-volume vector $γ\in\mathbb R^m$ of the polytope \[ P(U,b)=\{x\in\mathbb{R}^n:U^\top x\leq b\}. \] We study its fibers $S(U,γ)$ over prescribed cone-volume vectors $γ$, with particular emphasis on finiteness and non-uniqueness. We give characterizations of the irreducibility of $U$ in terms of properties of the cone-volume map and its solution sets. In particular, for irreducible $U$, we show that $S(U,γ)$ is finite for all $γ$ outside a set of measure zero in the cone-volume cone, and we give an explicit upper bound for its cardinality. In the planar case, we prove that $S(U,γ)$ has semialgebraic dimension at most one for arbitrary $U$. Moreover, for every $U\in\mathcal{U}(2,m)$ with $m\geq 4$, there exists a cone-volume vector $γ$ for which $S(U,γ)$ contains at least two distinct elements. As a consequence, there exist two distinct smooth planar convex bodies with the same cone-volume measure. Finally, for $U$ in general position, we show that the number of solutions is odd for every cone-volume vector outside the exceptional set.

math.MG↗