English

Sets of unit vectors with small subset sums

Metric Geometry 2020-02-25 v2 Combinatorics Functional Analysis

Abstract

We say that a family xii[m]{x_i|i\in[m]} of vectors in a Banach space XX satisfies the kk-collapsing condition if iIxi1|\sum_{i\in I}x_i|\leq 1 for all kk-element subsets I1,2,...,mI\subseteq{1,2,...,m}. Let C(k,d)C(k,d) denote the maximum cardinality of a kk-collapsing family of unit vectors in a dd\dimensional Banach space, where the maximum is taken over all spaces of dimension dd. Similarly, let CB(k,d)CB(k,d) denote the maximum cardinality if we require in addition that i=1mxi=o\sum_{i=1}^m x_i=o. The case k=2k=2 was considered by F\"uredi, Lagarias and Morgan (1991). These conditions originate in a theorem of Lawlor and Morgan (1994) on geometric shortest networks in smooth finite-dimensional Banach spaces. We show that CB(k,d)=maxk+1,2dCB(k,d)=\max{k+1,2d} for all k,d2k,d\geq 2. The behaviour of C(k,d)C(k,d) is not as simple, and we derive various upper and lower bounds for various ranges of kk and dd. These include the exact values C(k,d)=maxk+1,2dC(k,d)=\max{k+1,2d} in certain cases. We use a variety of tools from graph theory, convexity and linear algebra in the proofs: in particular the Hajnal-Szemer\'edi Theorem, the Brunn-Minkowski inequality, and lower bounds for the rank of a perturbation of the identity matrix.

Keywords

Cite

@article{arxiv.1210.0366,
  title  = {Sets of unit vectors with small subset sums},
  author = {Konrad J. Swanepoel},
  journal= {arXiv preprint arXiv:1210.0366},
  year   = {2020}
}

Comments

41 pages

R2 v1 2026-06-21T22:13:49.934Z