arXiv++ Combinatorics

Let $U_1,\dots, U_{d+1}$ be $n$-element sets in $R^d$ and let $\langle u_1,\ldots,u_{d+1}\rangle$ denote the convex hull of points $u_i$ in $U_i$ (for all $i$) which is a (possibly degenerate) simplex. Pach's selection theorem says that there are sets $Z_1 \subset U_1,\dots, Z_{d+1} \subset U_{d+1}$ and a point $u$ in $R^d$ such that each $|Z_i| > c_1(d)n$ and $u$ belongs to $\langle z_1,...,z_{d+1} \rangle$ for every choice of $z_1$ in $Z_1,\dots,z_{d+1}$ in $Z_{d+1}$. Here we show that this theorem does not admit a topological extension with linear size sets $Z_i$. However, there is a topological extension where each $|Z_i|$ is of order $(\log n)^(1/d)$.

Gershgorin's famous circle theorem states that all eigenvalues of a square matrix lie in disks (called Gershgorin disks) around the diagonal elements. Here we show that if the matrix entries are non-negative and an eigenvalue has geometric multiplicity at least two, then this eigenvalue lies in a smaller disk. The proof uses geometric rearrangement inequalities on sums of higher dimensional real vectors which is another new result of this paper.

Let b(M) denote the maximal number of disjoint bases in a matroid M. It is shown that if M is a matroid of rank d+1, then for any continuous map f from the matroidal complex M into the d-dimensional Euclidean space there exist t \geq \sqrt{b(M)}/4 disjoint independent sets σ_1,\ldots,σ_t \in M such that \bigcap_{i=1}^t f(σ_i) \neq \emptyset.

A well known consequence of the Borsuk-Ulam theorem is that if the $d$-dimensional sphere $S^d$ is covered with less than $d+2$ open sets, then there is a set containing a pair of antipodal points. In this paper we provide lower and upper bounds on the minimum number of open sets, not containing a pair of antipodal points, needed to cover the $d$-dimensional sphere $n$ times, with the additional property that the northern hemisphere is covered $m > n$ times. We prove that if the open northern hemisphere is to be covered $m$ times then at least $ \lceil \frac{d-1}{2} \rceil+n+m$ and at most $d+n+m$ sets are needed. For the case of $n=1$ and $d \ge 2$, this number is equal to $d+2$ if $m \le \lfloor \frac{d}{2} \rfloor + 1$ and equal to $ \lfloor \frac{d-1}{2} \rfloor + 2 +m$ if $m > \lfloor \frac{d}{2} \rfloor + 1$. If the closed northern hemisphere is to be covered $m$ times then $d+2m-1$ sets are needed, this number is also sufficient. We also present results on a related problem of independent interest. We prove that if $S^d$ is covered $n$ times with open sets, not containing a pair of antipodal points, then there exists a point that is covered at least $ \lceil \frac{d}{2} \rceil +n$ times. Furthermore, we show that there are covers in which no point is covered more than $n+d$ times.

We show by a direct construction that there are at least $\exp\{cV^{(d-1)/(d+1)}\}$ convex lattice polytopes in $\mathbb{R}^d$ of volume $V$ that are different in the sense that none of them can be carried to an other one by a lattice preserving affine transformation. This is achieved by considering the family $\mathcal{P}^d(r)$ (to be defined in the text) of convex lattice polytopes whose volumes are between $0$ and $r^d/d!$. Namely we prove that for $P \in \mathcal{P}^d(r)$, $d!\mathrm{vol\;} P$ takes all possible integer values between $cr^{d-1}$ and $r^d$ where $c>0$ is a constant depending only on $d$.

By a curve in R^d we mean a continuous map gamma:I -> R^d, where I is a closed interval. We call a curve gamma in R^d at most k crossing if it intersects every hyperplane at most k times (counted with multiplicity). The at most d crossing curves in R^d are often called convex curves and they form an important class; a primary example is the moment curve {(t,t^2,...,t^d):t\in[0,1]}. They are also closely related to Chebyshev systems, which is a notion of considerable importance, e.g., in approximation theory. We prove that for every d there is M=M(d) such that every at most d+1 crossing curve in R^d can be subdivided into at most M convex curves. As a consequence, based on the work of Elias, Roldan, Safernova, and the second author, we obtain an essentially tight lower bound for a geometric Ramsey-type problem in R^d concerning order-type homogeneous sequences of points, investigated in several previous papers.

Given a sequence A=(a1,...,an) of real numbers, a block B of the A is either a set B={ai,...,aj} where i<=j or the empty set. The size b of a block B is the sum of its elements. We show that when 0<=ai<=1 and k is a positive integer, there is a partition of A into k blocks B1,...,Bk with |bi-bj|<=1 for every i, j. We extend this result in many directions.

According to the Erdős-Szekeres theorem, for every $n$, a sufficiently large set of points in general position in the plane contains $n$ in convex position. In this note we investigate the line version of this result, that is, we want to find $n$ lines in convex position in a sufficiently large set of lines that are in general position. We prove almost matching upper and lower bounds for the minimum size of the set of lines in general position that always contains $n$ in convex position. This is quite unexpected, since in the case of points, the best known bounds are very far from each other. We also establish the dual versions of many variants and generalizations of the Erd\H os-Szekeres theorem.

Given a norm on the plane and 2013 unit vectors in this norm, there is a signed sum of these vectors whose norm is at most one.

In this paper we give sufficient conditions for a compactum in $\mathbb R^n$ to have Carathéodory number less than $n+1$, generalizing an old result of Fenchel. Then we prove the corresponding versions of the colorful Carathéodory theorem and give a Tverberg type theorem for families of convex compacta.

We generalize the ham sandwich theorem for the case of well separated measures. Given convex bodies $K_1,...,K_d$ in $\mathbb{R_d}$ and numbers $α_1,...,α_d \in [0, 1]$, we give a sufficient condition for existence and uniqueness of an (oriented)halfspace H with Vol($H \cap K_i$)= $α_i \dot$ Vol$K_i$ for every i. The result is extended from convex bodies to measures.

Assume $X_n$ is a random sample of $n$ uniform, independent points from a triangle $T$. The longest convex chain, $Y$, of $X_n$ is defined naturally. The length $|Y|$ of $Y$ is a random variable, denoted by $L_n$. In this article, we determine the order of magnitude of the expectation of $L_n$. We show further that $L_n$ is highly concentrated around its mean, and that the longest convex chains have a limit shape.

Let $d, r \in \N$, $\|\cdot\|$ any norm on $\R^d$ and $B$ denote the unit ball with respect to this norm. We show that any sequence $v_1,v_2,...$ of vectors in $B$ can be partitioned into $r$ subsequences $V_1, ..., V_r$ in a balanced manner with respect to the partial sums: For all $n \in \N$, $\ell \le r$, we have $\|\sum_{i \le k, v_i \in V_\ell} v_i - \tfrac 1r \sum_{i \le k} v_i\| \le 2.0005 d$. A similar bound holds for partitioning sequences of vector sets. Both results extend an earlier one of Bárány and Grinberg (1981) to partitions in arbitrarily many classes.

Assume $K$ is a convex body in $R^d$, and $X$ is a (large) finite subset of $K$. How many convex polytopes are there whose vertices come from $X$? What is the typical shape of such a polytope? How well the largest such polytope (which is actually $\conv X$) approximates $K$? We are interested in these questions mainly in two cases. The first is when $X$ is a random sample of $n$ uniform, independent points from $K$ and is motivated by Sylvester's four-point problem, and by the theory of random polytopes. The second case is when $X=K \cap Z^d$ where $Z^d$ is the lattice of integer points in $R^d$. Motivation comes from integer programming and geometry of numbers. The two cases behave quite similarly.

We find tight estimates for the minimum number of proper subspaces needed to cover all lattice points in an n-dimensional convex body symmetric about the origin. We also find the order of magnitude of the number of (n-1)-dimensional subspaces induced by the lattice points in a large n-dimensional ball centered at the origin.

Given a lattice polytope $P$ (with underlying lattice $\lo$), the universal counting function $\uu_P(\lo')=|P\cap \lo'|$ is defined on all lattices $\lo'$ containing $\lo$. Motivated by questions concerning lattice polytopes and the Ehrhart polynomial, we study the equation $\uu_P=\uu_Q$.