Efficient Randomized Subspace Embeddings for Distributed Optimization under a Communication Budget

TL;DR

This paper introduces efficient randomized subspace embedding techniques for distributed optimization under strict communication budgets, achieving optimal convergence rates and covering efficiency across various convexity and smoothness settings.

Contribution

It proposes a polynomial complexity source coding scheme using random subspace embeddings that are optimal for any bit-budget, including sub-linear and high regimes, with practical near-linear time variants.

Findings

Achieves convergence rates matching information-theoretic lower bounds.

Provides a source coding scheme with optimal covering efficiency.

Enhances gradient sparsification schemes with the proposed embeddings.

Abstract

We study first-order optimization algorithms under the constraint that the descent direction is quantized using a pre-specified budget of $R$-bits per dimension, where $R \in (0 ,\infty)$. We propose computationally efficient optimization algorithms with convergence rates matching the information-theoretic performance lower bounds for: (i) Smooth and Strongly-Convex objectives with access to an Exact Gradient oracle, as well as (ii) General Convex and Non-Smooth objectives with access to a Noisy Subgradient oracle. The crux of these algorithms is a polynomial complexity source coding scheme that embeds a vector into a random subspace before quantizing it. These embeddings are such that with high probability, their projection along any of the canonical directions of the transform space is small. As a consequence, quantizing these embeddings followed by an inverse transform to the original space yields a source coding method with optimal covering efficiency while utilizing just $R$-bits per dimension. Our algorithms guarantee optimality for arbitrary values of the bit-budget $R$, which includes both the sub-linear budget regime ($R < 1$), as well as the high-budget regime ($R \geq 1$), while requiring $O\left(n^2\right)$ multiplications, where $n$ is the dimension. We also propose an efficient relaxation of this coding scheme using Hadamard subspaces that requires a near-linear time, i.e., $O\left(n \log n\right)$ additions.Furthermore, we show that the utility of our proposed embeddings can be extended to significantly improve the performance of gradient sparsification schemes. Numerical simulations validate our theoretical claims. Our implementations are available at https://github.com/rajarshisaha95/DistOptConstrComm.