Skip to content Skip to navigation
Seminar
10/9/2019 11:00 am
CoRE A 301

Convex Set Disjointness, Distributed Learning of Halfspace

Shay Moran, Princeton/Google Research

Organizer(s): Rutgers/DIMACS Theory of Computing Seminar

Abstract

We study the Convex Set Disjointness (CSD) problem, where two players have input sets taken from an arbitrary fixed domain U\subset R^d of size | U| = 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  Distributed Linear Program (LP) Feasibility -- a basic task in distributed optimization, and it is tightly linked to Distributed Learning of Halfspaces in R^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 ~Theta(d log n) on the communication complexity of learning halfspaces in R^d.  For Convex Set Disjointness (and the equivalent task of distributed LP feasibility) we derive upper and lower bounds of tilde O(d^2 * log n) and~Omega(d * log 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 Container Lemma for Halfspaces and on two variants of 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.

Joint work with Mark Braverman, Gillat Kol, and Raghuvansh R. Saxena (Princeton University).

Link to paper: https://arxiv.org/abs/1909.03547