arXiv++ Combinatorics

In 1978, Makai Jr. established a remarkable connection between the volume-product of a convex body, its maximal lattice packing density and the minimal density of a lattice arrangement of its polar body intersecting every affine hyperplane. Consequently, he formulated a conjecture that can be seen as a dual analog of Minkowski's fundamental theorem, and which is strongly linked to the well-known Mahler-conjecture. Based on the covering minima of Kannan & Lovász and a problem posed by Fejes Tóth, we arrange Makai Jr.'s conjecture into a wider context and investigate densities of lattice arrangements of convex bodies intersecting every i-dimensional affine subspace. Then it becomes natural also to formulate and study a dual analog to Minkowski's second fundamental theorem. As our main results, we derive meaningful asymptotic lower bounds for the densities of such arrangements, and furthermore, we solve the problems exactly for the special, yet important, class of unconditional convex bodies.

We prove asymptotic formulae for sums of the form $$ \sum_{n\in\mathbb{Z}^d\cap K}\prod_{i=1}^tF_i(ψ_i(n)), $$ where $K$ is a convex body, each $F_i$ is either the von Mangoldt function or the representation function of a quadratic form, and $Ψ=(ψ_1,\ldots,ψ_t)$ is a system of linear forms of finite complexity. When all the functions $F_i$ are equal to the von Mangoldt function, we recover a result of Green and Tao, while when they are all representation functions of quadratic forms, we recover a result of Matthiesen. Our formulae imply asymptotics for some polynomial patterns in the primes. Specifically, they describe the asymptotic behaviour of the number of $k$-term arithmetic progressions of primes whose common difference is a sum of two squares. The article combines ingredients from the work of Green and Tao on linear equations in primes and that of Matthiesen on linear correlations amongst integers represented by a quadratic form. To make the von Mangoldt function compatible with the representation function of a quadratic form, we provide a new pseudorandom majorant for both -- an average of the known majorants for each of the functions -- and prove that it has the required pseudorandomness properties.

We prove two colorful Carathéodory theorems for strongly convex hulls, generalizing the colorful Caratéodory theorem for ordinary convexity by Imre Bárány, the non-colorful Carathéodory theorem for strongly convex hulls by the second author, and the "very colorful theorems" by the first author and others. We also investigate if the assumption of a "generating convex set" is really needed in such results and try to give a topological criterion for one convex body to be a Minkowski summand of another.

Spectrahedra are affine sections of the cone of positive semidefinite matrices which form a rich class of convex bodies that properly contains that of polyhedra. While the class of polyhedra is closed under linear projections, the class of spectrahedra is not. In this paper we investigate the problem of deciding containment of projections of polyhedra and spectrahedra based on previous works on containment of spectrahedra. The main concern is to study these containment problems by formulating them as polynomial nonnegativity problems. This allows to state hierarchies of (sufficient) semidefinite conditions by applying (and proving) sophisticated Positivstellensätze. We also extend results on a solitary sufficient condition for containment of spectrahedra coming from the polyhedral situation as well as connections to the theory of (completely) positive linear maps.

Over the past few years, a family of interesting new inequalities for the entropies of sums and differences of random variables has been developed by Ruzsa, Tao and others, motivated by analogous results in additive combinatorics. The present work extends these earlier results to the case of random variables taking values in $\mathbb{R}^n$ or, more generally, in arbitrary locally compact and Polish abelian groups. We isolate and study a key quantity, the Ruzsa divergence between two probability distributions, and we show that its properties can be used to extend the earlier inequalities to the present general setting. The new results established include several variations on the theme that the entropies of the sum and the difference of two independent random variables severely constrain each other. Although the setting is quite general, the result are already of interest (and new) for random vectors in $\mathbb{R}^n$. In that special case, quantitative bounds are provided for the stability of the equality conditions in the entropy power inequality; a reverse entropy power inequality for log-concave random vectors is proved; an information-theoretic analog of the Rogers-Shephard inequality for convex bodies is established; and it is observed that some of these results lead to new inequalities for the determinants of positive-definite matrices. Moreover, by considering the multiplicative subgroups of the complex plane, one obtains new inequalities for the differential entropies of products and ratios of nonzero, complex-valued random variables.

Motivated by questions of Mulmuley and Stanley we investigate quasi-polynomials arising in formulas for plethysm. We demonstrate, on the examples of $S^3(S^k)$ and $S^k(S^3)$, that these need not be counting functions of inhomogeneous polytopes of dimension equal to the degree of the quasi-polynomial. It follows that these functions are not, in general, counting functions of lattice points in any scaled convex bodies, even when restricted to single rays. Our results also apply to special rectangular Kronecker coefficients.

We resolve a conjecture of Kalai relating approximation theory of convex bodies by simplicial polytopes to the face numbers and primitive Betti numbers of these polytopes and their toric varieties. The proof uses higher notions of chordality. Further, for C^2-convex bodies, asymptotically tight lower bounds on the g-numbers of the approximating polytopes are given, in terms of their Hausdorff distance from the convex body.

One of the most fruitful results from Minkowski's geometric viewpoint on number theory is his so called 1st Fundamental Theorem. It provides an optimal upper bound for the volume of an o-symmetric convex body whose only interior lattice point is the origin. Minkowski also obtained a discrete analog by proving optimal upper bounds on the number of lattice points in the boundary of such convex bodies. Whereas the volume inequality has been generalized to any number of interior lattice points already by van der Corput in the 1930s, a corresponding result for the discrete case remained to be proven. Our main contribution is a corresponding optimal relation between the number of boundary and interior lattice points of an o-symmetric convex body. The proof relies on a congruence argument and a difference set estimate from additive combinatorics.

Let $X$ be a convex curve in the plane (say, the unit circle), and let $\mathcal S$ be a family of planar convex bodies, such that every two of them meet at a point of $X$. Then $\mathcal S$ has a transversal $N\subset\mathbb R^2$ of size at most $1.75\cdot 10^9$. Suppose instead that $\mathcal S$ only satisfies the following "$(p,2)$-condition": Among every $p$ elements of $\mathcal S$ there are two that meet at a common point of $X$. Then $\mathcal S$ has a transversal of size $O(p^8)$. For comparison, the best known bound for the Hadwiger--Debrunner $(p, q)$-problem in the plane, with $q=3$, is $O(p^6)$. Our result generalizes appropriately for $\mathbb R^d$ if $X\subset \mathbb R^d$ is, for example, the moment curve.

Minkowski's 2nd theorem in the Geometry of Numbers provides optimal upper and lower bounds for the volume of a $o$-symmetric convex body in terms of its successive minima. In this paper we study extensions of this theorem from two different points of view: either relaxing the symmetry condition, assuming that the centroid of the set lies at the origin, or replacing the volume functional by the surface area.

The problem of finding small sets that block every line passing through a unit square was first considered by Mazurkiewicz in 1916. We call such a set {\em opaque} or a {\em barrier} for the square. The shortest known barrier has length $\sqrt{2}+ \frac{\sqrt{6}}{2}= 2.6389\ldots$. The current best lower bound for the length of a (not necessarily connected) barrier is $2$, as established by Jones about 50 years ago. No better lower bound is known even if the barrier is restricted to lie in the square or in its close vicinity. Under a suitable locality assumption, we replace this lower bound by $2+10^{-12}$, which represents the first, albeit small, step in a long time toward finding the length of the shortest barrier. A sharper bound is obtained for interior barriers: the length of any interior barrier for the unit square is at least $2 + 10^{-5}$. Two of the key elements in our proofs are: (i) formulas established by Sylvester for the measure of all lines that meet two disjoint planar convex bodies, and (ii) a procedure for detecting lines that are witness to the invalidity of a short bogus barrier for the square.

A system of sets forms an {\em $m$-fold covering} of a set $X$ if every point of $X$ belongs to at least $m$ of its members. A $1$-fold covering is called a {\em covering}. The problem of splitting multiple coverings into several coverings was motivated by classical density estimates for {\em sphere packings} as well as by the {\em planar sensor cover problem}. It has been the prevailing conjecture for 35 years (settled in many special cases) that for every plane convex body $C$, there exists a constant $m=m(C)$ such that every $m$-fold covering of the plane with translates of $C$ splits into $2$ coverings. In the present paper, it is proved that this conjecture is false for the unit disk. The proof can be generalized to construct, for every $m$, an unsplittable $m$-fold covering of the plane with translates of any open convex body $C$ which has a smooth boundary with everywhere {\em positive curvature}. Somewhat surprisingly, {\em unbounded} open convex sets $C$ do not misbehave, they satisfy the conjecture: every $3$-fold covering of any region of the plane by translates of such a set $C$ splits into two coverings. To establish this result, we prove a general coloring theorem for hypergraphs of a special type: {\em shift-chains}. We also show that there is a constant $c>0$ such that, for any positive integer $m$, every $m$-fold covering of a region with unit disks splits into two coverings, provided that every point is covered by {\em at most} $c2^{m/2}$ sets.

As a discrete analog to Minkowski's theorem on convex bodies, Wills conjectured that the Ehrhart coefficients of a centrally symmetric lattice polytope with exactly one interior lattice point are maximized by those of the cube of side length two. We discuss several counterexamples to this conjecture and, on the positive side, we identify a family of lattice polytopes that fulfill the claimed inequalities. This family is related to the recently introduced class of $l$-reflexive polytopes.

Let B be a finite collection of geometric (not necessarily convex) bodies in the plane. Clearly, this class of geometric objects naturally generalizes the class of disks, lines, ellipsoids, and even convex polygons. We consider geometric intersection graphs GB where each body of the collection B is represented by a vertex, and two vertices of GB are adjacent if the intersection of the corresponding bodies is non-empty. For such graph classes and under natural restrictions on their maximum degree or subgraph exclusion, we prove that the relation between their treewidth and the maximum size of a grid minor is linear. These combinatorial results vastly extend the applicability of all the meta-algorithmic results of the bidimensionality theory to geometrically defined graph classes.

We construct a large family of neighborly polytopes that can be realized with all the vertices on the boundary of any smooth strictly convex body. In particular, we show that there are superexponentially many combinatorially distinct neighborly polytopes that admit realizations inscribed on the sphere. These are the first examples of inscribable neighborly polytopes that are not cyclic polytopes, and provide the current best lower bound for the number of combinatorial types of inscribable polytopes (which coincides with the current best lower bound for the number of combinatorial types of polytopes). Via stereographic projections, this translates into a superexponential lower bound for the number of combinatorial types of (neighborly) Delaunay triangulations.

If the complement of a closed convex set in a closed convex cone is bounded, then this complement minus the apex of the cone is called a coconvex set. Coconvex sets appear in singularity theory (they are closely related to Newton diagrams) and in commutative algebra. Such invariants of coconvex sets as volumes, mixed volumes, number of integer points, etc., play an important role. This paper aims at extending various results from the theory of convex bodies to the coconvex setting. These include the Aleksandrov-Fenchel inequality and the Ehrhart duality.

Illumination complexes are examples of 'flat polyhedral complexes' which arise if several copies of a convex polyhedron (convex body) Q are glued together along some of their common faces (closed convex subsets of their boundaries). A particularly nice example arises if Q is a Δ-zonotope (generalized rhombic dodecahedron), known also as the dual of the difference body Δ - Δ of a simplex Δ, or the dual of the convex hull of the root system A_n. We demonstrate that the illumination complexes and their relatives can be used as 'configuration spaces', leading to new 'fair division theorems'. Among the central new results is the 'polyhedral curtain theorem' (Theorem 3) which is a relative of both the 'ham sandwich theorem' and the 'splitting necklaces theorem'.

In this paper we show that every sufficiently large family of convex bodies in the plane has a large subfamily in convex position provided that the number of common tangents of each pair of bodies is bounded and every subfamily of size five is in convex position. (If each pair of bodies have at most two common tangents it is enough to assume that every triple is in convex position, and likewise, if each pair of bodies have at most four common tangents it is enough to assume that every quadruple is in convex position.) This confirms a conjecture of Pach and Toth, and generalizes a theorem of Bisztriczky and Fejes Toth. Our results on families of convex bodies are consequences of more general Ramsey-type results about the crossing patterns of systems of graphs of continuous functions $f:[0,1] \to \mathbb{R}$. On our way towards proving the Pach-Toth conjecture we obtain a combinatorial characterization of such systems of graphs in which all subsystems of equal size induce equivalent crossing patterns. These highly organized structures are what we call regular systems of paths and they are natural generalizations of the notions of cups and caps from the famous theorem of Erdos and Szekeres. The characterization of regular systems is combinatorial and introduces some auxiliary structures which may be of independent interest.

The main goal of this paper is to provide an alternative proof of the following theorem of Petty: in the normed space of dimension at least three, every 3-element equilateral set can be extended to a 4-element equilateral set. Our approach is based on the result of Kramer and Németh about inscribing a simplex into a convex body. To prove the theorem of Petty, we shall also establish that for every 3 points in the normed plane, forming an equilateral set of the common distance $p$, there exists a fourth point, which is equidistant to the given points with the distance not larger than $p$. We will also improve the example given by Petty and obtain the existence of a smooth and strictly convex norm in $\mathbb{R}^n$, which contain a maximal 4-element equilateral set. This shows that the theorem of Petty cannot be generalized to higher dimensions, even for smooth and strictly convex norms.

We show an equivalence between a conjecture of Bisztriczky and Fejes T{ó}th about arrangements of planar convex bodies and a conjecture of Goodman and Pollack about point sets in topological affine planes. As a corollary of this equivalence we improve the upper bound of Pach and Tóth on the Erdős-Szekeres theorem for disjoint convex bodies, as well as the recent upper bound obtained by Fox, Pach, Sudakov and Suk, on the Erdős-Szekeres theorem for non-crossing convex bodies. Our methods also imply improvements on the positive fraction Erd\H{os}-Szekeres theorem for disjoint (and non-crossing) convex bodies, as well as a generalization of the partitioned Erdős-Szekeres theorem of Pór and Valtr to arrangements of non-crossing convex bodies.