Guest Speaker: Shay Moran
Tuesday, November 12 at 4:00pm
480 Dreese Labs, 2015 Neil Ave, Columbus, Ohio 43210
Convex Set Disjointness, Distributed Learning of Halfspaces, and LP Feasibility
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 Halfdpaces 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 Caratheodory'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
Bio: Shay Moran is a visiting researcher at Google Brain, Princeton. He graduated from the Technion in late 2016 and since then he spent one year in California (UCSD and Simons Institute) and two years in Princeton (IAS and Princeton University). In October ’20 he will join the mathematics department at the Technion as an assistant Professor. His research interests revolve around mathematical problems in computer science, with a special focus on combinatorial-geometric problems inspired by machine learning.
Host: Raef Bassily