arXiv++ Combinatorics

We prove a colorful volume Helly theorem for convex sets in $\mathbb R^2$: There is a constant $V>0$ such that if $\mathfrak F_1,\mathfrak F_2,\mathfrak F_3,\mathfrak F_4$ are finite families of convex sets in $\mathbb R^2$ and if $|\bigcap_1^4F_i|\ge V$ for every transversal $F_i\in \mathfrak F_i,\; (i=1,\ldots,4)$, then $|\bigcap \mathfrak{F}_i|\ge 1$ for some $i$. Here $|A|$ is the Lebesgue measure of $A\subset \mathbb R^d$. The main ingredient is the following theorem. Let $Q_1,\ldots,Q_4\subset\mathbb R^2$ be convex quadrilaterals of area at most $1$, where of course each $Q_i$ is the intersection of 4 halfplanes. Then for every $Q_i$ there is one of these halfplanes $H_i$, say, such that $|\bigcap_1^4 H_i| \le 4096$.

The integer convex hull $I(H_N)$ of the set $H_N=\{(x,y)\in \mathbb{R}^2: xy\ge N\}$ is the convex hull of the lattice points in $H_N$. The vertices of $I(H_N)$ lie in the square $[1,N]^2$. Improving on a recent result of Alcántara et al. ~\cite{Santos} we show that the number of vertices of $I(H_N)$ is of order $N^{1/3}\log N$. We also show that the area of the part of $H_N \setminus I(H_N)$ that lies in the square $[1,N^{2/3}]^2$ is also of order $N^{1/3}\log N$.

Steinitz's theorem states that if a point $a \in \mathrm{int\,conv\,} X$ for a set $X \subset \mathbb{R}^d$, then $X$ contains a subset $Y$ of size at most $2d$ such that $a \in \mathrm{int\,conv\,}Y$. The bound $2d$ is best possible here. We prove the colourful version of this theorem and characterize the cases when exactly $2d$ sets are needed.

The Sylvester-Gallai theorem states that for a finite set of points in the plane, if every line determined by any two of these points also contains a third, then the set is necessarily made of collinear points. In this paper, we first provide a counterexample in the plane when the point set is countably infinite but bounded. Then we consider a variant of the Sylvester-Gallai theorem where instead of a finite point set we have a finite family of convex sets in $\mathbb{R}^d$ ($d\geq 2$). Finally, we present another variant of the Sylvester-Gallai theorem, when instead of point sets we have a finite family of line-segments in the plane.

For a finite set $V\subset \mathbb{R}^n$, a set $T\subset \mathbb{R}^n$ is called $V$-closed if $t \in T$ and $v\in V$ imply that either $t+v\in T$ or $t-v \in T$. The set $P(V):=\{\sum_{v \in W} v: W \subset V\}$ is clearly $V$-closed and so are its translates. We show, assuming $V$ contains no parallel vectors, that if $T$ is closed and $V$-closed, and $x \in T$ is an extreme point of $\operatorname{cl} \operatorname{conv} T$, then there is a translate of $P(V)$ containing $x$ and contained in $\operatorname{conv} T$. This result is used to determine the value of a special balancing game. A byproduct is that when $m\ge 2$ and is not a power of 2, then the $m$-sets of a $2m$-set can be coloured Red and Blue so that complementary $m$-sets have distinct colours and every point of the $2m$-set is contained in the same number of Red and Blue sets.

In a vector balancing game, on step $k$ player 1 chooses a unit vector $v_k$ and player 2 chooses a sign $\varepsilon_k\in \{-1,1\}$, and the position after $n$ steps is $z_n=\sum_1^n\varepsilon_k v_k$. Player 1's target is to make $\|z_n\|$ large and player 2's target is to make it small. We consider a special case of this game.

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.

Given a polytope $P\subset R^3$ and a non-zero vector $z \in R^3$, the plane $\{x\in R^3:zx=t\}$ intersects $P$ in convex polygon $P(z,t)$ for $t \in [t^-,t^+]$ where $t^-=\min \{zx: x \in P\}$ and $t^+=\max \{zx: x\in P\}$, $zx$ is the scalar product of $z,x \in R^3$. Let $A(P,z)$ denote the average number of vertices of $P(z,t)$ on the interval $[t^-,t^+]$. For what polytopes is $A(P,z)$ a constant independent of $z$?

The Steinitz lemma, a classic from 1913, states that $a_1,\ldots,a_n$, a sequence of vectors in $\R^d$ with $\sum_1^n a_i=0$, can be rearranged so that every partial sum of the rearranged sequence has norm at most $2d\max \|a_i\|$. In the matrix version $A$ is a $k\times n$ matrix with entries $a_i^j \in \R^d$ with $\sum_{j=1}^k\sum_{i=1}^na_i^j=0$. It is proved in \cite{OPW} that there is a rearrangement of row $j$ of $A$ (for every $j$) such that the sum of the entries in the first $m$ columns of the rearranged matrix has norm at most $40d^5\max \|a_i^j\|$ (for every $m$). We improve this bound to $(4d-2)\max \|a_i^j\|$.

We give a new proof Tverberg's famous theorem: For every set $X \subset \R^d$ with $|X|=(r-1)(d+1)+1$, there is a partition of $X$ into $r$ sets $X_1,\ldots,X_r$ such that $\bigcap_{p=1}^r \conv X_p\ne \emptyset$. The new proof uses linear algebra, specially structured matrices, the theory of linear equations, and Tverberg's original ``moving the points" method.

We consider the minimum number of lines $h_n$ and $p_n$ needed to intersect or pierce, respectively, all the cells of the $n \times n$ chessboard. Determining these values can also be interpreted as a strengthening of the classical plank problem for integer points. Using the symmetric plank theorem of K. Ball, we prove that $h_n = \lceil \frac n 2 \rceil$ for each $n \geq 1$. Studying the piercing problem, we show that $0.7n \leq p_n \leq n-1$ for $n\geq 3$, where the upper bound is conjectured to be sharp. The lower bound is proven by using the linear programming method, whose limitations are also demonstrated.

One of the most important and useful examples in discrete geometry is a finite sequence of points on the moment curve $γ(t)=(t,t^2,t^3,\dots ,t^d)$ or, more generally, on a {\it strictly monotone curve} in $\mathbb R^d$. These sequences as well as the ambient curve itself can be described in terms of {\it universality properties} and we will study the question: "What is a universal sequence of oriented and unoriented lines in $d$-space'' We give partial answers to this question, and to the analogous one for $k$-flats. Given a large integer $n$, it turns out that, like the case of points the number of universal configurations is bounded by a function of $d$, but unlike the case for points, there are a large number of distinct universal finite sequences of lines. We show that their number is at least $2^{d-1}-2$ and at most $(d-1)!$. However, like for points, in all dimensions except $d=4$, there is essentially a unique {\em continuous} example of a universal family of lines. The case $d=4$ is left as an open question.

Extending an earlier result for real matrices we show that multiple eigenvalues of a complex matrix lie in a reduced Gershgorin disk. One consequence is a slightly better estimate in the real case. Another one is a geometric application. Further results of a similar type are given for normal and almost symmetric matrices.

In this paper, we present a variety of problems in the interface between combinatorics and geometry around the theorems of Helly, Radon, Carathéodory, and Tverberg. Through these problems we describe the fascinating area of Helly-type theorems, and explain some of its main themes and goals.

We prove that given a finite collection of cylinders in $\R^3$ with the property that any two them intersect, then there is a line intersecting an $α$ fraction of the cylinders where $α=\frac 1{28}$. This is a special case of an interesting conjecture.

We extend the famous Erdős-Szekeres theorem to $k$-flats in ${\mathbb{R}^d}$

We prove a no-dimensional version of Carathédory's theorem: given an $n$-element set $P\subset \Re^d$, a point $a \in \conv P$, and an integer $r\le d$, $r \le n$, there is a subset $Q\subset P$ of $r$ elements such that the distance between $a$ and $\conv Q$ is less than $\diam P/\sqrt {2r}$. A general no-dimension Helly type result is also proved with colourful and fractional consequences. Similar versions of Tverberg's theorem and some of their extensions are also established.

Let $h(n)$ denote the maximum number of triangles with angles between $59^\circ$ and $61^\circ$ in any $n$-element planar set. Our main result is an exact formula for $h(n)$. We also prove $h(n)= n^3/24+ O(n \log n)$ as $n\to \infty$. However, there are triangles $T$ and $n$-point sets $P$ showing that the number of $\varepsilon$-similar copies of $T$ in $P$ can exceed $n^3/15$ for any $\varepsilon>0$.

This survey presents an overview of the advances around Tverberg's theorem, focusing on the last two decades. We discuss the topological, linear-algebraic, and combinatorial aspects of Tverberg's theorem and its applications. The survey contains several open problems and conjectures.

This paper is about integral zonotopes. It is proven that large zonotopes in a convex cone have a limit shape, meaning that, after suitable scaling, the overwhelming majority of the zonotopes are very close to a fixed convex set. Several combinatorial properties of large zonotopes are established.