arXiv++ Combinatorics

This is a geometric retelling of Konyagin and Sevast'yanov's proof of Andrew's theorem, which is a tight upper bound on the number of vertices of a d-dimensional lattice polytope in terms of its volume.

Littlewood asked for the maximum number $N$ of congruent infinite cylinders that can be arranged in $\mathbb{R}^3$ so that every pair touches. We improve upon the proof of the second author that $N \leq 18$ to show that $N \leq 10$. Together with the lower bound established by Bozóki, Lee, and Rónyai, this shows that $N \in \{7,8,9,10\}$. Our method is based on linear algebra and Ramsey theory, and makes partial use of computer verification. We also provide a completely computer-free proof that $N \leq 12$.

The point selection theorem says that the convex hull of any finite point set contains a point that lies in a positive proportion of the simplices determined by that set. This paper proves several new volumetric versions of this theorem which replace the points by sets of large volume, including the first volumetric selection theorem for $(d+1)$-tuples. As consequences, we significantly decrease the upper bound for the number of sets necessary in a volumetric weak $ε$-net, from $O_d(ε^{-d^2(d+3)^2/4})$ to $O_d(ε^{-(d+1)})$, and substantially reduce the the piercing number for volumetric $(p,q)$-theorems. We also prove a volumetric version of the homogeneous point selection theorem. To do so, we introduce a volumetric same-type lemma and a new volumetric colorful Tverberg theorem. We prove all of our results for diameter as well as volume.

A spherical $t$-design is a finite subset $X$ of the unit sphere such that every polynomial of degree at most $t$ has the same average over $X$ as it does over the entire sphere. Determining the minimum possible size of spherical designs, especially in a fixed dimension as $t \to \infty$, has been an important research topic for several decades. This paper presents results on the complementary asymptotic regime, where $t$ is fixed and the dimension tends to infinity. The main results in this paper are (1) a construction of smaller spherical designs via an explicit connection to Gaussian designs and (2) the exact order of magnitude of minimal-size signed $t$-designs, which is significantly smaller than predicted by a typical degrees-of-freedom heuristic. We also establish a method to ``project'' spherical designs between dimensions, prove a variety of results on approximate designs, and construct new $t$-wise independent subsets of $\{1,2,\dots,q\}^d$ which may be of independent interest. To achieve these results, we combine techniques from algebra, geometry, probability, representation theory, and optimization.

This paper proves a 2017 conjecture of De Loera, La Haye, Oliveros, and Roldán-Pensado that the "prime grid" $\big\{(p,q) \in \mathbb{Z}^2 : \text{$p$ and $q$ are prime}\big\} \subseteq \mathbb{R}^2$ contains empty polygons with arbitrarily many vertices. This implies that no Helly-type theorem is true for the prime grid.

A finite family $\mathcal F$ of convex sets is $k$-intersecting in $S \subseteq \mathbb{R}^d$ if the intersection of every subset of $k$ convex sets in $\mathcal F$ contains a point in $S$. The Helly number of $S$ is the minimum $k$, if it exists, such that every $k$-intersecting family contains a point of $S$ in its intersection. In this paper, we improve bounds on the Helly number of product sets of the form $A^d$ for various sets $A \subseteq \mathbb{R}$, including the ``exponential grid'' $A = \{α^n : n \in \mathbb{N}\}$ and sets $A\subseteq \mathbb{Z}$ defined by congruence relations.

Assume two finite families $\mathcal A$ and $\mathcal B$ of convex sets in $\mathbb{R}^3$ have the property that $A\cap B\ne \emptyset$ for every $A \in \mathcal A$ and $B\in \mathcal B$. Is there a constant $γ>0$ (independent of $\mathcal A$ and $\mathcal B$) such that there is a line intersecting $γ|\mathcal A|$ sets in $\mathcal A$ or $γ|\mathcal B|$ sets in $\mathcal B$? This is an intriguing Helly-type question from a paper by Martínez, Roldan and Rubin. We confirm this in the special case when all sets in $\mathcal A$ lie in parallel planes and all sets in $\mathcal B$ lie in parallel planes; in fact, all sets from one of the two families has a line transversal.

A Helly-type theorem for diameter provides a bound on the diameter of the intersection of a finite family of convex sets in $\mathbb{R}^d$ given some information on the diameter of the intersection of all sufficiently small subfamilies. We prove fractional and colorful versions of a longstanding conjecture by Bárány, Katchalski, and Pach. We also show that a Minkowski norm admits an exact Helly-type theorem for diameter if and only if its unit ball is a polytope and prove a colorful version for those that do. Finally, we prove Helly-type theorems for the property of ``containing $k$ colinear integer points.

Research on Helly-type theorems in combinatorial convex geometry has produced volumetric versions of Helly's theorem using witness sets and quantitative extensions of Doignon's theorem. This paper combines these philosophies and presents quantitative Helly-type theorems for the integer lattice with axis-parallel boxes as witness sets. Our main result shows that, while quantitative Helly numbers for the integer lattice grow polynomially in each fixed dimension, their variants with boxes as witness sets are uniformly bounded. We prove several colorful and fractional variations on this theorem. We also prove that the Helly number for $A \times A \subseteq \mathbb{R}^2$ need not be finite even when $A \subseteq \mathbb{Z}$ is a syndetic set.

The forbidden number $\mathrm{forb}(m,F)$, which denotes the maximum number of unique columns in an $m$-rowed $(0,1)$-matrix with no submatrix that is a row and column permutation of $F$, has been widely studied in extremal set theory. Recently, this function was extended to $r$-matrices, whose entries lie in $\{0,1,\dots,r-1\}$. The combinatorics of the generalized forbidden number is less well-studied. In this paper, we provide exact bounds for many $(0,1)$-matrices $F$, including all $2$-rowed matrices when $r > 3$. We also prove a stability result for the $2\times 2$ identity matrix. Along the way, we expose some interesting qualitative differences between the cases $r=2$, $r = 3$, and $r > 3$.

Gaussian filters have applications in a variety of areas in computer science, from computer vision to speech recognition. The collapsing sum is a matrix operator that was recently introduced to study Gaussian filters combinatorially. In this paper, we view the collapsing sum from a discrete tomographical perspective and examine the recoverability of its preimages as a matrix completion problem. Using bipartite graphs, we derive a necessary and sufficient condition for a partial matrix to be extended to a preimage of a given matrix.

Gaussian blur is a commonly-used method to filter image data. This paper introduces the collapsing sum, a new operator on matrices that provides a combinatorial interpretation of Gaussian blur. We study the combinatorial properties of this operator and prove the explicit relation between Gaussian blur and the collapsing sum.