# Convex Set Disjointness, Distributed Learning of Halfspaces, and LP Feasibility

arXiv: https://arxiv.org/abs/1909.03547 · HTML: https://mlsanity.com/paper/1909.03547/

## Key facts

- Cited by 3 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 8 Sep 2019.

## Built on by (most cited first, 3 of 3)

- [On Optimal Learning Under Targeted Data Poisoning](https://mlsanity.com/paper/2210.02713/) (2022)
- [A Resilient Distributed Boosting Algorithm](https://mlsanity.com/paper/2206.04713/) (2022)
- [On the ERM Principle in Meta-Learning](https://mlsanity.com/paper/2411.17898/) (2024)

## Abstract (arXiv)

We study the Convex Set Disjointness (CSD) problem, where two players have input sets taken from an arbitrary fixed domain~Usubseteq ℝd of size lvert Urvert = n. Their mutual goal is to decide using minimum communication whether the convex hulls of their sets intersect (equivalently, whether their sets can be separated by a hyperplane). Different forms of this problem naturally arise in distributed learning and optimization: it is equivalent to em Distributed Linear Program (LP) Feasibility -- a basic task in distributed optimization, and it is tightly linked to it Distributed Learning of Halfdpaces in ℝd. In communication complexity theory, CSD can be viewed as a geometric interpolation between the classical problems of Set Disjointness (when~d≥ n-1) and Greater-Than (when d=1). We establish a nearly tight bound of tilde Theta(dlog n) on the communication complexity of learning halfspaces in ℝd. For Convex Set Disjointness (and the equivalent task of distributed LP feasibility) we derive upper and lower bounds of tilde O(d2log n) and~Omega(dlog n). These results improve upon several previous works in distributed learning and optimization. Unlike typical works in communication complexity, the main technical contribution of this work lies in the upper bounds. In particular, our protocols are based on a it Container Lemma for Halfspaces and on two variants of it Carath'eodory's Theorem, which may be of independent interest. These geometric statements are used by our protocols to provide a compressed summary of the players' input.