arXiv++ Combinatorics

In ["Illumination of convex bodies with many symmetries", Mathematika 63 (2017)], Tikhomirov verified the Hadwiger-Boltyanski Illumination Conjecture for the class of 1-symmetric convex bodies of sufficiently large dimension. We propose an alternative approach which allows us to settle the conjecture for this class in all dimensions in a uniform way. We also demonstrate that an alternative approach was indeed needed for the low dimensions. Finally, with this alternative method it is possible to solely use illuminating sets which consist of pairs of opposite directions; we thus also answer a question by Lassak, who has suggested this may be possible for any origin-symmetric convex body. As a consequence of this, we can also confirm the X-ray conjecture by Bezdek and Zamfirescu for all 1-symmetric convex bodies.

This article addresses a combinatorial problem with applications to algebraic geometry. To a convex lattice polytope $P$ and each of its integer dilations $kP$ one may associate the barycenter of its lattice points. This sequence of $k$-quantized barycenters converge to the (classical) barycenter of the polytope considered as a convex body. A basic question arises: is there a complete asymptotic expansion for this sequence? If so, what are its terms? This article initiates the study of this question. First, we establish the existence of such an expansion as well as determine the first two terms. Second, for Delzant lattice polytopes we use toric algebra to determine all terms using mixed volumes of virtual rooftop polytopes, or alternatively in terms of higher Donaldson--Futaki invariants. Third, for reflexive polytopes we show the quantized barycenters are colinear to first order, and actually colinear in the case of polygons. The proofs use Ehrhart theory, convexity arguments, and toric algebra. As applications we derive the complete asymptotic expansion of the Fujita--Odaka stability thresholds $δ_k$ on arbitrary polarizations on (possibly singular) toric varieties. In fact, we show they are rational functions of $k$ for sufficiently large $k$. This gives the first general result on Tian's stabilization problem for $δ_k$-invariants for (possibly singular) toric Fanos: $δ_k$ stabilize in $k$ if and only if they are all equal to $1$, and when smooth if and only if asymptotically Chow semistable. We also relate the asymptotic expansions to higher Donaldson--Futaki invariants of test configurations motivated by Ehrhart theory, and unify in passing previous results of Donaldson, Ono, Futaki, and Rubinstein--Tian--Zhang.

Two new proofs are provided, offering two new perspectives on Godbersen's conjecture. One of the proofs utilizes Helly's theorem to provide a concise and elegant proof of the inequality in Godbersen's conjecture. The other proof utilizes the Brunn-Minkowski inequality to provide a completely new proof of the inclusion $-K\subset nK$ for convex bodies $K$ with centroid at the origin, thereby proving Godbersen's conjecture.

The well-studied vector balancing constant $β(U, V)$ of a pair of convex bodies $(U,V)$, is lower bounded by a lattice counterpart, $α(U,V)$. In [BS97], Banaszczyk and Szarek proved that $α(B_2^n, V)\leq c$ when $V$ has Gaussian measure at least $\frac{1}{2}$, and conjectured that, for centrally symmetric $V$, $β(B_2^n, V)$ is always bounded by a function of the Gaussian measure of $V$, independent of $n$. We resolve this conjecture in the affirmative. Moreover, we show that the analogous result holds for $α(B_2^n, V)$ even without the central symmetry assumption.

The Ekeland-Hofer-Zehnder capacity (EHZ capacity) is a fundamental symplectic invariant of convex bodies. We show that computing the EHZ capacity of polytopes is NP-hard. For this we reduce the feedback arc set problem in bipartite tournaments to computing the EHZ capacity of simplices.

We construct a quasi-polynomial time deterministic approximation algorithm for computing the volume of an independent set polytope with restrictions. Randomized polynomial time approximation algorithms for computing the volume of a convex body have been known now for several decades, but the corresponding deterministic counterparts are not available, and our algorithm is the first of this kind. The class of polytopes for which our algorithm applies arises as linear programming relaxation of the independent set problem with the additional restriction that each variable takes value in the interval $[0,1-α]$ for some $α<1/2$. (We note that the $α\ge 1/2$ case is trivial). We use the correlation decay method for this problem applied to its appropriate and natural discretization. The method works provided $α> 1/2-O(1/Δ^2)$, where $Δ$ is the maximum degree of the graph. When $Δ=3$ (the sparsest non-trivial case), our method works provided $0.488<α<0.5$. Interestingly, the interpolation method, which is based on analyzing complex roots of the associated partition functions, fails even in the trivial case when the underlying graph is a singleton.

Given n convex bodies in the real space of dimension d, we consider the set of homogeneous polynomials of degree d in n variables that can be represented as their volume polynomial. This set is a subset of the set of Lorentzian polynomials. Using our knowledge of operations that preserve the Lorentzian property, we give a complete classification of the cases when the two sets are equal.

In this note we introduce a pseudometric on convex planar curves based on distances between normal lines and show its basic properties. Then we use this pseudometric to give a short proof of the theorem by Pinchasi that the sum of perimeters of $k$ convex planar bodies with disjoint interiors contained in a convex body of perimeter $p$ and diameter $d$ is not greater than $p+2(k-1)d$.

In this note we study a conjecture by Jerónimo-Castro, Magazinov and Soberón which generalized a question posed by Dol'nikov. Let $F_1,F_2,\dots,F_n$ be families of translates of a convex compact set $K$ in the plane so that each two sets from distinct families intersect. We show that, for some $j$, $\bigcup_{i\neq j}F_i$ can be pierced by at most $4$ points. To do so, we use previous ideas from Gomez-Navarro and Roldán-Pensado together with an approximation result closely tied to the Banach-Mazur distance to the square.

We prove area bounds for planar convex bodies in terms of their number of interior integral points and their lattice width data. As an application, we obtain sharp area bounds for rational polygons with a fixed number of interior integral points depending on their denominator. For lattice polygons, we also present an equation for the area based on Noether's formula.

Inspired by the theory of hyperbolic polynomials and Hodge theory, we develop the theory of Lorentzian polynomials on cones. This notion captures the Hodge-Riemann relations of degree zero and one. Motivated by fundamental properties of volume polynomials of Chow rings of simplicial fans, we define a class of multivariate polynomials which we call hereditary polynomials. We give a complete and easily checkable characterization of hereditary Lorentzian polynomials. This characterization is used to give elementary and simple proofs of the Heron-Rota-Welsh conjecture for the characteristic polynomial of a matroid, and the Alexandrov-Fenchel inequalities for convex bodies. We then characterize Chow rings of simplicial fans which satisfy the Hodge-Riemann relations of degree zero and one, and we prove that this property only depends on the support of the fan. Several different characterizations of Lorentzian polynomials on cones are provided.

We show that there exist convex bodies of constant width in $\mathbb{E}^n$ with illumination number at least $(\cos(π/14)+o(1))^{-n}$, answering a question by G. Kalai. Furthermore, we prove the existence of finite sets of diameter $1$ in $\mathbb{E}^n$ which cannot be covered by $(2/\sqrt{3}+o(1))^{n}$ balls of diameter $1$, improving a result by J. Bourgain and J. Lindenstrauss.

We explore the applications of Lorentzian polynomials to the fields of algebraic geometry, analytic geometry and convex geometry. In particular, we establish a series of intersection theoretic inequalities, which we call rKT property, with respect to $m$-positive classes and Schur classes. We also study its convexity variants -- the geometric inequalities for $m$-convex functions on the sphere and convex bodies. Along the exploration, we prove that any finite subset on the closure of the cone generated by $m$-positive classes can be endowed with a polymatroid structure by a canonical numerical-dimension type function, extending our previous result for nef classes; and we prove Alexandrov-Fenchel inequalities for valuations of Schur type. We also establish various analogs of sumset estimates (Plünnecke-Ruzsa inequalities) from additive combinatorics in our contexts.

Motivated by the Polynomial Freiman-Ruzsa (PFR) Conjecture, we develop a theory of locality in sumsets, with applications to John-type approximation and sets with small doubling. First we show that if $A \subset \mathbb{Z}$ with $|A+A| \le (1-ε) 2^d |A|$ is non-degenerate then $A$ is covered by $O(2^d)$ translates of a $d$-dimensional generalised arithmetic progression ($d$-GAP) $P$ with $|P| \le O_{d,ε}(|A|)$; thus we obtain one of the polynomial bounds required by PFR, under the non-degeneracy assumption that $A$ is not efficiently covered by $O_{d,ε}(1)$ translates of a $(d-1)$-GAP. We also prove a stability result showing for any $ε,α>0$ that if $A \subset \mathbb{Z}$ with $|A+A| \le (2-ε)2^d|A|$ is non-degenerate then some $A' \subset A$ with $|A'|>(1-α)|A|$ is efficiently covered by either a $(d+1)$-GAP or $O_α(1)$ translates of a $d$-GAP. This `dimension-free' bound for approximate covering makes for a stark contrast with exact covering, where the required number of translates grows exponentially with $d$. We further show that if $A \subset \mathbb{Z}$ is non-degenerate with $|A+A| \le (2^d + \ell)|A|$ and $\ell \le 0.1 \cdot 2^d$ then $A$ is covered by $\ell+1$ translates of a $d$-GAP $P$ with $|P| \le O_d(|A|)$; this is tight, in that $\ell+1$ cannot be replaced by any smaller number. The above results also hold for $A \subset \mathbb{R}^d$, replacing GAPs by a suitable common generalisation of GAPs and convex bodies. In this setting the non-degeneracy condition holds automatically, so we obtain essentially optimal bounds with no additional assumption on $A$. These results are all deduced from a unifying theory, in which we introduce a new intrinsic structural approximation of any set, which we call the `additive hull', and develop its theory via a refinement of Freiman's theorem with additional separation properties.

In a seminal paper, Kannan and Lovász (1988) considered a quantity $μ_{KL}(Λ,K)$ which denotes the best volume-based lower bound on the covering radius $μ(Λ,K)$ of a convex body $K$ with respect to a lattice $Λ$. Kannan and Lovász proved that $μ(Λ,K) \leq n \cdot μ_{KL}(Λ,K)$ and the Subspace Flatness Conjecture by Dadush (2012) claims a $O(\log(2n))$ factor suffices, which would match the lower bound from the work of Kannan and Lovász. We settle this conjecture up to a constant in the exponent by proving that $μ(Λ,K) \leq O(\log^{3}(2n)) \cdot μ_{KL} (Λ,K)$. Our proof is based on the Reverse Minkowski Theorem due to Regev and Stephens-Davidowitz (2017). Following the work of Dadush (2012, 2019), we obtain a $(\log(2n))^{O(n)}$-time randomized algorithm to solve integer programs in $n$ variables. Another implication of our main result is a near-optimal flatness constant of $O(n \log^{3}(2n))$.

We adapt an argument of Tao and Vu to show that if $λ_1\le\cdots\leλ_d$ are the successive minima of an origin-symmetric convex body $K$ with respect to some lattice $Λ<\mathbb{R}^d$, and if we set $k=\max\{j:λ_j\le1\}$, then $K$ contains at most $2^k(1+\frac{λ_k}2)^k/λ_1\cdotsλ_k$ lattice points. This provides improved bounds in a conjecture of Betke, Henk and Wills (1993), and verifies that conjecture asymptotically as $λ_k\to0$. We also obtain a similar result without the symmetry assumption.

Let $K \subseteq \mathbb{R}^d$ be a convex body and let $\mathbf{w} \in \operatorname{int}(K)$ be an interior point of $K$. The coefficient of asymmetry $\operatorname{ca}(K,\mathbf{w}) := \min\{ λ\geq 1 : \mathbf{w} - K \subseteq λ(K - \mathbf{w}) \}$ has been studied extensively in the realm of Hensley's conjecture on the maximal volume of a $d$-dimensional lattice polytope that contains a fixed positive number of interior lattice points. We study the coefficient of asymmetry for lattice zonotopes, i.e., Minkowski sums of line segments with integer endpoints. Our main result gives the existence of an interior lattice point whose coefficient of asymmetry is bounded above by an explicit constant in $Θ(d \log\log d)$, for any lattice zonotope that has an interior lattice point. Our work is both inspired by and feeds on Wills' lonely runner conjecture from Diophantine approximation: we make intensive use of a discrete version of this conjecture, and reciprocally, we reformulate the lonely runner conjecture in terms of the coefficient of asymmetry of a zonotope.

We prove that for any $n\in \mathbb{N}$ there is a convex body $K\subseteq \mathbb{R}^n$ whose surface area is at most $n^{\frac12+o(1)}$, yet the translates of $K$ by the integer lattice $\mathbb{Z}^n$ tile $\mathbb{R}^n$.

This work revolves around the two following questions: Given a convex body $C\subset\mathbb{R}^d$, a positive integer $k$ and a finite set $S\subset\mathbb{R}^d$ (or a finite Borel measure $μ$ on $\mathbb{R}^d$), how many homothets of $C$ are required to cover $S$ if no homothet is allowed to cover more than $k$ points of $S$ (or have measure larger than $k$)? How many homothets of $C$ can be packed if each of them must cover at least $k$ points of $S$ (or have measure at least $k$)? We prove that, so long as $S$ is not too degenerate, the answer to both questions is $Θ_d(\frac{|S|}{k})$, where the hidden constant is independent of $d$. This is optimal up to a multiplicative constant. Analogous results hold in the case of measures. Then we introduce a generalization of the standard covering and packing densities of a convex body $C$ to Borel measure spaces in $\mathbb{R}^d$ and, using the aforementioned bounds, we show that they are bounded from above and below, respectively, by functions of $d$. As an intermediate result, we give a simple proof the existence of weak $ε$-nets of size $O(\frac{1}ε)$ for the range space induced by all homothets of $C$. Following some recent work in discrete geometry, we investigate the case $d=k=2$ in greater detail. We also provide polynomial time algorithms for constructing a packing/covering exhibiting the $Θ_d(\frac{|S|}{k})$ bound mentioned above in the case that $C$ is an Euclidean ball. Finally, it is shown that if $C$ is a square then it is NP-hard to decide whether $S$ can be covered using $\frac{|S|}{4}$ squares containing $4$ points each.

Approximate integer programming is the following: For a convex body $K \subseteq \mathbb{R}^n$, either determine whether $K \cap \mathbb{Z}^n$ is empty, or find an integer point in the convex body scaled by $2$ from its center of gravity $c$. Approximate integer programming can be solved in time $2^{O(n)}$ while the fastest known methods for exact integer programming run in time $2^{O(n)} \cdot n^n$. So far, there are no efficient methods for integer programming known that are based on approximate integer programming. Our main contribution are two such methods, each yielding novel complexity results. First, we show that an integer point $x^* \in (K \cap \mathbb{Z}^n)$ can be found in time $2^{O(n)}$, provided that the remainders of each component $x_i^* \mod{\ell}$ for some arbitrarily fixed $\ell \geq 5(n+1)$ of $x^*$ are given. The algorithm is based on a cutting-plane technique, iteratively halving the volume of the feasible set. The cutting planes are determined via approximate integer programming. Enumeration of the possible remainders gives a $2^{O(n)}n^n$ algorithm for general integer programming. This matches the current best bound of an algorithm by Dadush (2012) that is considerably more involved. Our algorithm also relies on a new asymmetric approximate Carathéodory theorem that might be of interest on its own. Our second method concerns integer programming problems in equation-standard form $Ax = b, 0 \leq x \leq u, \, x \in \mathbb{Z}^n$ . Such a problem can be reduced to the solution of $\prod_i O(\log u_i +1)$ approximate integer programming problems. This implies, for example that knapsack or subset-sum problems with polynomial variable range $0 \leq x_i \leq p(n)$ can be solved in time $(\log n)^{O(n)}$. For these problems, the best running time so far was $n^n \cdot 2^{O(n)}$.