Saved in:
Bibliographic Details
Main Authors: Begunov, Grigory, Tyurin, Alexander
Format: Preprint
Published: 2026
Subjects:
Online Access:https://arxiv.org/abs/2605.07795
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866909026756853760
author Begunov, Grigory
Tyurin, Alexander
author_facet Begunov, Grigory
Tyurin, Alexander
contents In centralized, distributed, and federated learning with stochastic gradients and $n$ workers, it was recently shown that it is infeasible to find an $\varepsilon$-stationary point faster than $\tildeΩ\left(\min\left\{\frac{d κL Δ}{\varepsilon} + \frac{h L Δ}{\varepsilon} + \frac{h σ^2 L Δ}{n \varepsilon^2},\; \frac{h σ^2 L Δ}{\varepsilon^2} + \frac{h L Δ}{\varepsilon}\right\}\right)$ seconds in both homogeneous and heterogeneous settings under standard assumptions: $L$-smoothness, $σ^2$-bounded unbiased stochastic gradients, and lower boundedness of the function, i.e., $f(x) \geq f^*$ for all $x \in \mathbb{R}^d$, where $Δ= f(x^0) - f^*$, $h$ is the computation time, $κ$ is the communication speed between the workers and the server, and $d$ is the dimension of the iterates and gradients. This result is pessimistic since it does not allow a complexity in which both $\frac{d κL Δ}{\varepsilon}$ and $\frac{h σ^2 L Δ}{\varepsilon^2}$ improve with $n$, even when using random sparsification techniques; moreover, this lower bound can be matched by either non-distributed SGD or vanilla Synchronous SGD, which reduces the impact of recent progress in the design of compression-based methods. In this work, we challenge this limitation and propose new compressed methods, Inkheart SGD and M4, and show that under an additional structural assumption, which is necessary due to the lower bound and which does not restrict the class of considered problems, we achieve new state-of-the-art time complexities that break this pessimistic barrier and allow scaling with the number of workers $n$.
format Preprint
id arxiv_https___arxiv_org_abs_2605_07795
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Scalable Distributed Stochastic Optimization via Bidirectional Compression: Beyond Pessimistic Limits
Begunov, Grigory
Tyurin, Alexander
Optimization and Control
In centralized, distributed, and federated learning with stochastic gradients and $n$ workers, it was recently shown that it is infeasible to find an $\varepsilon$-stationary point faster than $\tildeΩ\left(\min\left\{\frac{d κL Δ}{\varepsilon} + \frac{h L Δ}{\varepsilon} + \frac{h σ^2 L Δ}{n \varepsilon^2},\; \frac{h σ^2 L Δ}{\varepsilon^2} + \frac{h L Δ}{\varepsilon}\right\}\right)$ seconds in both homogeneous and heterogeneous settings under standard assumptions: $L$-smoothness, $σ^2$-bounded unbiased stochastic gradients, and lower boundedness of the function, i.e., $f(x) \geq f^*$ for all $x \in \mathbb{R}^d$, where $Δ= f(x^0) - f^*$, $h$ is the computation time, $κ$ is the communication speed between the workers and the server, and $d$ is the dimension of the iterates and gradients. This result is pessimistic since it does not allow a complexity in which both $\frac{d κL Δ}{\varepsilon}$ and $\frac{h σ^2 L Δ}{\varepsilon^2}$ improve with $n$, even when using random sparsification techniques; moreover, this lower bound can be matched by either non-distributed SGD or vanilla Synchronous SGD, which reduces the impact of recent progress in the design of compression-based methods. In this work, we challenge this limitation and propose new compressed methods, Inkheart SGD and M4, and show that under an additional structural assumption, which is necessary due to the lower bound and which does not restrict the class of considered problems, we achieve new state-of-the-art time complexities that break this pessimistic barrier and allow scaling with the number of workers $n$.
title Scalable Distributed Stochastic Optimization via Bidirectional Compression: Beyond Pessimistic Limits
topic Optimization and Control
url https://arxiv.org/abs/2605.07795