arXiv++ Combinatorics

We prove a sharp lower bound for the cardinality of sumsets of subsets of $\mathbb{Z}^d$ confined to a hypercube, resolving in strong form a conjecture that was made explicit by Becker, Ivanisvili, Krachun and Madrid and had circulated in the folklore of the field for some time. Specifically, for sets $A_j\subseteq \{0,1,2,\dots,m\}^d$ we show that \[|A_1+\dots+A_n|\;\geq\; (|A_1|\cdots|A_n|)^{1/p},\qquad p=\frac{n\log(m+1)}{\log(nm+1)},\] with the exponent best possible. The only previously known sharp cases were $A_j\subseteq \{0,1\}^d$, for all $n\ge1$, and $A_j\subseteq \{0,1,2\}^d$ for $n=2$. We also prove a sharp inequality in the case when $A_j\subseteq\{0,1,\dots,m_j\}^d$ for different $m_j$. We obtain the above inequality as a corollary of a stronger result on sup-convolution of functions on $\mathbb{Z}^d$, whose proof is based on a novel mixed volume representation of a lattice path norm, together with a sharp one-dimensional functional inequality.

For every $d\geq1$ we give an explicit equal-weight spherical $5$-design in $\mathbb{S}^{d-1}\subset\mathbb{R}^d$ with at most $72d^2$ points. Our approach utilizes recent construction of complex projective $2$-designs based on Sidon sets.

Universal cover in $\mathbb{E}^{n}$ is a measurable set that contains a congruent copy of any set of diameter 1. Lebesgue's universal covering problem, posed in 1914, asks for the convex set of smallest area that serves as a universal cover in the plane ($n=2$). A simple universal cover in $\mathbb{E}^n$ is provided by the classical theorem of Jung, which states that any set of diameter 1 in an $n$-dimensional Euclidean space is contained in a ball $J_n$ of radius $\sqrt{\tfrac{n}{2n+2}}$; in other words, $J_n$ is a universal cover in $\mathbb{E}^n$. We show that in high dimensions, Jung's ball $J_n$ is asymptotically optimal with respect to the volume, namely, for any universal cover $U \subset \mathbb{E}^n$, $$ {\rm Vol}(U) \ge (1-o(1))^n{\rm Vol}(J_n). $$

We show that any finite family of pairwise intersecting balls in $\mathbb{E}^n$ can be pierced by $(\sqrt{3/2}+o(1))^n$ points improving the previously known estimate of $(2+o(1))^n$. As a corollary, this implies that any $2$-illuminable spiky ball in $\mathbb{E}^n$ can be illuminated by $(\sqrt{3/2}+o(1))^n$ directions. For the illumination number of convex spiky balls, i.e., cap bodies, we show an upper bound in terms of the sizes of certain related spherical codes and coverings. For large dimensions, this results in an upper bound of $1.19851^n$, which can be compared with the previous $(\sqrt{2}+o(1))^n$ established only for the centrally symmetric cap bodies. We also prove the lower bounds of $(\tfrac{2}{\sqrt{3}}-o(1))^n$ for the three problems above.

Let $χ(\mathbb{E}^n)$ denote the chromatic number of the Euclidean space $\mathbb{E}^n$, i.e., the smallest number of colors that can be used to color $\mathbb{E}^n$ so that no two points unit distance apart are of the same color. We present explicit constructions of colorings of $\mathbb{E}^n$ based on sublattice coloring schemes that establish the following new bounds: $χ(\mathbb{E}^5)\le 140$, $χ(\mathbb{E}^n)\le 7^{n/2}$ for $n\in\{6,8,24\}$, $χ(\mathbb{E}^7)\le 1372$, $χ(\mathbb{E}^{9})\leq 17253$, and $χ(\mathbb{E}^n)\le 3^n$ for all $n\le 38$ and $n=48,49$.

Let $Γ$ be a simple graph and $I_Γ(x)$ its multivariate independence polynomial. The main result of this paper is the characterization of chordal graphs as the only $Γ$ for which the power series expansion of $I_Γ^{-1}(x)$ is Horn hypergeometric.

We answer a question of Brass about vertex degrees in unit distance graphs of finitely generated additive subgroups of $\mathbb{R}^2$.

For each $N\ge C_dt^d$ we prove the existence of a well separated spherical $t$-design in the sphere $S^d$ consisting of $N$ points, where $C_d$ is a constant depending only on $d$.

In this paper we prove the conjecture of Korevaar and Meyers: for each $N\ge c_dt^d$ there exists a spherical $t$-design in the sphere $S^d$ consisting of $N$ points, where $c_d$ is a constant depending only on $d$.

An $N$-dimensional parallelepiped will be called a bar if and only if there are no more than $k$ different numbers among the lengths of its sides (the definition of bar depends on $k$). We prove that a parallelepiped can be dissected into finite number of bars iff the lengths of sides of the parallelepiped span a linear space of dimension no more than $k$ over $\QQ$. This extends and generalizes a well-known theorem of Max Dehn about partition of rectangles into squares. Several other results about dissections of parallelepipeds are obtained.