arXiv++ Combinatorics

Theorem A. Let $x_1,...,x_{2k+1}$ be unit vectors in a normed plane. Then there exist signs $\epsi_1,...,\epsi_{2k+1}\in\{\pm 1\}$ such that $\norm{\sum_{i=1}^{2k+1}\epsi_i x_i}\leq 1$. We use the method of proof of the above theorem to show the following point facility location result, generalizing Proposition 6.4 of Y. S. Kupitz and H. Martini (1997). Theorem B. Let $p_0,p_1,...,p_n$ be distinct points in a normed plane such that for any $1\leq i<j\leq n$ the closed angle $\angle p_ip_0p_j$ contains a ray opposite some $\overrightarrow{p_0p_k}, 1\leq k\leq n$. Then $p_0$ is a Fermat-Toricelli point of $\{p_0,p_1,...,p_n\}$, i.e. $x=p_0$ minimizes $\sum_{i=0}^n\norm{x-p_i}$. We also prove the following dynamic version of Theorem A. Theorem C. Let $x_1,x_2,...$ be a sequence of unit vectors in a normed plane. Then there exist signs $\epsi_1,\epsi_2,...\in\{\pm 1\}$ such that $\norm{\sum_{i=1}^{2k}\epsi_i x_i}\leq 2$ for all $k\in\N$. Finally we discuss a variation of a two-player balancing game of J. Spencer (1977) related to Theorem C.

A subset of a metric space is a k-distance set if there are exactly k non-zero distances occuring between points. We conjecture that a k-distance set in a d-dimensional Banach space (or Minkowski space), contains at most (k+1)^d points, with equality iff the unit ball is a parallelotope. We solve this conjecture in the affirmative for all 2-dimensional spaces and for spaces where the unit ball is a parallelotope. For general spaces we find various weaker upper bounds for k-distance sets.

We present some elementary ideas to prove the following Sylvester-Gallai type theorems involving incidences between points and lines in the planes over the complex numbers and quaternions. (1) Let A and B be finite sets of at least two complex numbers each. Then there exists a line l in the complex affine plane such that l intersects AxB in exactly two points. (2) Let S be a finite noncollinear set of points in the complex affine plane. Then there exists a line l intersecting S in 2, 3, 4 or 5 points. (3) Let A and B be finite sets of at least two quaternions each. Then there exists a line l in the quaternionic affine plane such that l intersects AxB in 2, 3, 4 or 5 points. (4) Let S be a finite noncollinear set of points in the quaternionic affine plane. Then there exists a line l intersecting S in at least 2 and at most 24 points.

Let F be a family of subsets of an n-element set not containing four distinct members such that A union B is contained in C intersect D. It is proved that the maximum size of F under this condition is equal to the sum of the two largest binomial coefficients of order n. The maximum families are also characterized. A LYM-type inequality for such families is given, too.

A Sylvester-Gallai (SG) configuration is a finite set S of points such that the line through any two points in S contains a third point of S. According to the Sylvester-Gallai Theorem, an SG configuration in real projective space must be collinear. A problem of Serre (1966) asks whether an SG configuration in a complex projective space must be coplanar. This was proved by Kelly (1986) using a deep inequality of Hirzebruch. We give an elementary proof of this result, and then extend it to show that an SG configuration in projective space over the quaternions must be contained in a three-dimensional flat.