arXiv++ Combinatorics

We study the Discrete Gauss Image Problem, a generalization of Aleksandrov's classical question on the existence of convex bodies with prescribed integral curvature. We introduce a combinatorial problem called the Assignment Problem and show its equivalence to the Discrete Gauss Image Problem. We establish sufficient (and nearly necessary) geometric conditions on measures that solve both problems. Additionally, we provide new discrete interpretations of some classical concepts related to Aleksandrov's integral curtvature, such as, for example, connecting Aleksandrov relation to Hall's Marriage Theorem.

In this paper, we prove that if $K$ is an $o$-symmetric cylinder and $L$ is an $o$-symmetric convex body in $\mathbb R^3$, then the logarithmic Minkowski inequality \[\frac{1}{V(K)}\int_{\mathbb S^{2}}\log\frac{h_L}{h_K}\,dV_K\geq\frac{1}{3}\log\frac{V(L)}{V(K)}\] holds, with equality if and only if $K$ and $L$ are relative cylinders.

Let $K$ be a convex body (a compact convex set) in $\mathbb{R}^d$, that contains a copy of another body $S$ in every possible orientation. Is it always possible to continuously move any one copy of $S$ into another, inside $K$? As a stronger question, is it always possible to continuously select, for each orientation, one copy of $S$ in that orientation? These questions were asked by Croft. We show that, in two dimensions, the stronger question always has an affirmative answer. We also show that in three dimensions the answer is negative, even for the case when $S$ is a line segment -- but that in any dimension the first question has a positive answer when $S$ is a line segment. And we prove that, surprisingly, the answer to the first question is negative in dimension four for general $S$.

Conditional graph entropy is known to be the minimal rate for a natural functional compression problem with side information at the receiver. In this paper we show that it can be formulated as an alternating minimization problem, which gives rise to a simple iterative algorithm for numerically computing (conditional) graph entropy. This also leads to a new formula which shows that conditional graph entropy is part of a more general framework: the solution of an optimization problem over a convex corner. In the special case of graph entropy (i.e., unconditioned version) this was known due to Csiszár, Körner, Lovász, Marton, and Simonyi. In that case the role of the convex corner was played by the so-called vertex packing polytope. In the conditional version it is a more intricate convex body but the function to minimize is the same. Furthermore, we describe a dual problem that leads to an optimality check and an error bound for the iterative algorithm.

In 1957, Hadwiger conjectured that every convex body in $\mathbb{R}^d$ can be covered by $2^d$ translates of its interior. For over 60 years, the best known bound was of the form $O(4^d \sqrt{d} \log d)$, but this was recently improved by a factor of $e^{Ω(\sqrt{d})}$ by Huang, Slomka, Tkocz and Vritsiou. In this note we take another step towards Hadwiger's conjecture by deducing an almost-exponential improvement from the recent breakthrough work of Chen, Klartag and Lehec on Bourgain's slicing problem. More precisely, we prove that, for any convex body $K \subset \mathbb{R}^d$, $$\exp\bigg( - Ω\bigg( \frac{d}{(\log d)^8} \bigg) \bigg) \cdot 4^d$$ translates of $\text{int}(K)$ suffice to cover $K$. We also show that a positive answer to Bourgain's slicing problem would imply an exponential improvement for Hadwiger's conjecture.

We study the contact structure of totally separable} packings of translates of a convex body $K$ in $\mathbb{R}^d$, that is, packings where any two touching bodies have a separating hyperplane that does not intersect the interior of any translate in the packing. The separable Hadwiger number $H_{\text{sep}}(K)$ of $K$ is defined to be the maximum number of translates touched by a single translate, with the maximum taken over all totally separable packings of translates of $K$. We show that for each $d\geq 8$, there exists a smooth and strictly convex $K$ in $\mathbb{R}^d$ with $H_{\text{sep}}(K)>2d$, and asymptotically, $H_{\text{sep}}(K)=Ω\bigl((3/\sqrt{8})^d\bigr)$. We show that Alon's packing of Euclidean unit balls such that each translate touches at least $2^{\sqrt{d}}$ others whenever $d$ is a power of $4$, can be adapted to give a totally separable packing of translates of the $\ell_1$-unit ball with the same touching property. We also consider the maximum number of touching pairs in a totally separable packing of $n$ translates of any planar convex body $K$. We prove that the maximum equals $\lfloor 2n-2\sqrt{n}\rfloor$ if and only if $K$ is a quasi hexagon, thus completing the determination of this value for all planar convex bodies.

The lattice size of a lattice polygon $P$ was introduced and studied by Schicho, and by Castryck and Cools in relation to the problem of bounding the total degree and the bi-degree of the defining equation of an algebraic curve. In this paper we establish sharp lower bounds on the area of plane convex bodies $P\subset\mathbb{R}^2$ that involve the lattice size of $P$. In particular, we improve bounds established by Arnold, and Bárány and Pach. We also provide a classification of minimal lattice polygons $P\subset\mathbb{R}^2$ of fixed lattice size $\operatorname{ls_\square}(P)$.

We show that every $3$-dimensional convex body can be covered by $14$ smaller homothetic copies. The previous result was $16$ copies established by Papadoperakis in 1999, while a conjecture by Hadwiger is $8$. We modify Papadoperakis's approach and develop a discretization technique that reduces the problem to verification of feasibility of a number of linear programs with rational coefficients, which is done with computer assistance using exact arithmetic.

A $t$-spanner of a graph $G=(V,E)$ is a subgraph $H=(V,E')$ that contains a $uv$-path of length at most $t$ for every $uv\in E$. It is known that every $n$-vertex graph admits a $(2k-1)$-spanner with $O(n^{1+1/k})$ edges for $k\geq 1$. This bound is the best possible for $1\leq k\leq 9$ and is conjectured to be optimal due to Erdős' girth conjecture. We study $t$-spanners for $t\in \{2,3\}$ for geometric intersection graphs in the plane. These spanners are also known as \emph{$t$-hop spanners} to emphasize the use of graph-theoretic distances (as opposed to Euclidean distances between the geometric objects or their centers). We obtain the following results: (1) Every $n$-vertex unit disk graph (UDG) admits a 2-hop spanner with $O(n)$ edges; improving upon the previous bound of $O(n\log n)$. (2) The intersection graph of $n$ axis-aligned fat rectangles admits a 2-hop spanner with $O(n\log n)$ edges, and this bound is tight up to a factor of $\log \log n$. (3) The intersection graph of $n$ fat convex bodies in the plane admits a 3-hop spanner with $O(n\log n)$ edges. (4) The intersection graph of $n$ axis-aligned rectangles admits a 3-hop spanner with $O(n\log^2 n)$ edges.

Answering a question of Conway and Guy in a 1968 paper, Lángi in 2021 proved the existence of a monostable polyhedron with $n$-fold rotational symmetry for any $n \geq 3$, and arbitrarily close to a Euclidean ball. In this paper we strengthen this result by characterizing the possible symmetry groups of all mono-monostatic smooth convex bodies and convex polyhedra. Our result also answers a stronger version of the question of Conway and Guy, asked in the above paper of Lángi.

We prove that for any planar convex body C there is a positive integer m with the property that any finite point set P in the plane can be three-colored such that there is no translate of C containing at least m points of P, all of the same color. As a part of the proof, we show a strengthening of the Erdős-Sands-Sauer-Woodrow conjecture. Surprisingly, the proof also relies on the two dimensional case of the Illumination conjecture.

For integers $d \geq 2$ and $k \geq d+1$, a $k$-hole in a set $S$ of points in general position in $\mathbb{R}^d$ is a $k$-tuple of points from $S$ in convex position such that the interior of their convex hull does not contain any point from $S$. For a convex body $K \subseteq \mathbb{R}^d$ of unit $d$-dimensional volume, we study the expected number $EH^K_{d,k}(n)$ of $k$-holes in a set of $n$ points drawn uniformly and independently at random from $K$. We prove an asymptotically tight lower bound on $EH^K_{d,k}(n)$ by showing that, for all fixed integers $d \geq 2$ and $k\geq d+1$, the number $EH_{d,k}^K(n)$ is at least $Ω(n^d)$. For some small holes, we even determine the leading constant $\lim_{n \to \infty}n^{-d}EH^K_{d,k}(n)$ exactly. We improve the currently best known lower bound on $\lim_{n \to \infty}n^{-d}EH^K_{d,d+1}(n)$ by Reitzner and Temesvari (2019). In the plane, we show that the constant $\lim_{n \to \infty}n^{-2}EH^K_{2,k}(n)$ is independent of $K$ for every fixed $k \geq 3$ and we compute it exactly for $k=4$, improving earlier estimates by Fabila-Monroy, Huemer, and Mitsche (2015) and by the authors (2020).

The Flatness theorem states that the maximum lattice width ${\rm Flt}(d)$ of a $d$-dimensional lattice-free convex set is finite. It is the key ingredient for Lenstra's algorithm for integer programming in fixed dimension, and much work has been done to obtain bounds on ${\rm Flt}(d)$. While most results have been concerned with upper bounds, only few techniques are known to obtain lower bounds. In fact, the previously best known lower bound ${\rm Flt}(d) \ge 1.138d$ arises from direct sums of a $3$-dimensional lattice-free simplex. In this work, we establish the lower bound ${\rm Flt}(d) \ge 2d - O(\sqrt{d})$, attained by a family of lattice-free simplices. Our construction is based on a differential equation that naturally appears in this context. Additionally, we provide the first local maximizers of the lattice width of $4$- and $5$-dimensional lattice-free convex bodies.

Let $A \in \{ \mathbb{Z}, \mathbb{R} \}$ and $X \subset \mathbb{R}^d$ be a bounded set. Affine transformations given by an automorphism of $\mathbb{Z}^d$ and a translation in $A^d$ are called (affine) $A$-unimodular transformations. The image of $X$ under such a transformation is called an $A$-unimodular copy of $X$. It was shown in [Averkov, Hofscheier, Nill, 2019] that every convex body whose width is "big enough" contains an $A$-unimodular copy of $X$. The threshold when this happens is called the generalised flatness constant $\mathrm{Flt}_d^A(X)$. It resembles the classical flatness constant if $A=\mathbb{Z}$ and $X$ is a lattice point. In this work, we introduce a general framework for the explicit computation of these numerical constants. The approach relies on the study of $A$-$X$-free convex bodies generalising lattice-free (also known as hollow) convex bodies. We then focus on the case that $X=P$ is a full-dimensional polytope and show that inclusion-maximal $A$-$P$-free convex bodies are polytopes. The study of those inclusion-maximal polytopes provides us with the means to explicitly determine generalised flatness constants. We apply our approach to the case $X=Δ_2$ the standard simplex in $\mathbb{R}^2$ of normalised volume $1$ and compute $\mathrm{Flt}^{\mathbb{R}}_2(Δ_2)=2$ and $\mathrm{Flt}^{\mathbb{Z}}_2(Δ_2)=\frac{10}3$.

It is well-known since the time of the Greeks that two disjoint circles in the plane have four common tangent lines. Cappell et al. proved a generalization of this fact for properly separated strictly convex bodies in higher dimensions. We have shown that the same generalization applies for arbitrary convex bodies. When the number of convex sets involved is equal to the dimension, we obtain an alternative combinatorial proof of Bisztriczky's theorem on the number of common tangents to $d$ separated convex bodies in $\Rr^d$.

Motivated by applications in geomorphology, the aim of this paper is to extend Morse-Smale theory from smooth functions to the radial distance function (measured from an internal point), defining a convex polyhedron in 3-dimensional Euclidean space. The resulting polyhedral Morse-Smale complex may be regarded, on one hand, as a generalization of the Morse-Smale complex of the smooth radial distance function defining a smooth, convex body, on the other hand, it could be also regarded as a generalization of the Morse-Smale complex of the piecewise linear parallel distance function (measured from a plane), defining a polyhedral surface. Beyond similarities, our paper also highlights the marked differences between these three problems and it also relates our theory to other methods. Our work includes the design, implementation and testing of an explicit algorithm computing the Morse-Smale complex on a convex polyhedron.

Given a finite set of points $S\subset\mathbb{R}^d$, a $k$-set of $S$ is a subset $A \subset S$ of size $k$ which can be strictly separated from $S \setminus A $ by a hyperplane. Similarly, a $k$-facet of a point set $S$ in general position is a subset $Δ\subset S$ of size $d$ such that the hyperplane spanned by $Δ$ has $k$ points from $S$ on one side. For a probability distribution $P$ on $\mathbb{R}^d$, we study $E_P(k,n)$, the expected number of $k$-facets of a sample of $n$ random points from $P$. When $P$ is a distribution on $\mathbb{R}^2$ such that the measure of every line is 0, we show that $E_P(k,n) = O(n(k+1)^{1/4})$. Our argument is based on a technique by Bárány and Steiger. We study how it may be possible to improve this bound using the continuous version of the polynomial partitioning theorem. This motivates a question concerning the points of intersection of an algebraic curve and the $k$-edge graph of a set of points. We also study a variation on the $k$-set problem for the set system whose set of ranges consists of all translations of some strictly convex body in the plane. The motivation is to show that the technique by Bárány and Steiger is tight for a natural family of set systems. For any such set system, we determine bounds for the expected number of $k$-sets which are tight up to logarithmic factors.

We study inequalities that simultaneously relate the number of lattice points, the volume and the successive minima of a convex body to one another. One main ingredient in order to establish these relations is Blaschke's shaking procedure, by which the problem can be reduced from arbitrary convex bodies to anti-blocking bodies. As a consequence of our results, we obtain an upper bound on the lattice point enumerator in terms of the successive minima, which is equivalent to Minkowski's upper bound on the volume in terms of the successive minima.

From a geometric point of view, Pauli's exclusion principle defines a hypersimplex. This convex polytope describes the compatibility of $1$-fermion and $N$-fermion density matrices, therefore it coincides with the convex hull of the pure $N$-representable $1$-fermion density matrices. Consequently, the description of ground state physics through $1$-fermion density matrices may not necessitate the intricate pure state generalized Pauli constraints. In this article, we study the generalization of the $1$-body $N$-representability problem to ensemble states with fixed spectrum $\mathbf{w}$, in order to describe finite-temperature states and distinctive mixtures of excited states. By employing ideas from convex analysis and combinatorics, we present a comprehensive solution to the corresponding convex relaxation, thus circumventing the complexity of generalized Pauli constraints. In particular, we adapt and further develop tools such as symmetric polytopes, sweep polytopes, and Gale order. For both fermions and bosons, generalized exclusion principles are discovered, which we determine for any number of particles and dimension of the $1$-particle Hilbert space. These exclusion principles are expressed as linear inequalities satisfying hierarchies determined by the non-zero entries of $\mathbf{w}$. The two families of polytopes resulting from these inequalities are part of the new class of so-called lineup polytopes.

Let $K$ be a compact convex set and $m$ be a positive integer. The covering functional of $K$ with respect to $m$ is the smallest $λ\in[0,1]$ such that $K$ can be covered by $m$ translates of $λK$. Estimations of the covering functionals of convex hulls of two or more compact convex sets are presented. It is proved that, if a three-dimensional convex body $K$ is the convex hull of two compact convex sets having no interior points, then the least number $c(K)$ of smaller homothetic copies of $K$ needed to cover $K$ is not greater than $8$ and $c(K)=8$ if and only if $K$ is a parallelepiped.