重温用于光滑分布式优化的 EXTRA
数值分析
2020-06-19 v2 机器学习
数值分析
最优化与控制
摘要
EXTRA 是一种流行的去中心化分布式优化方法,具有广泛应用。本文重温 EXTRA。首先,我们给出 EXTRA 的精确复杂度分析,对 μ \mu μ -强凸且 L L L -光滑问题,其通信与计算复杂度为改进的 O ( ( L μ + 1 1 − σ 2 ( W ) ) log 1 ϵ ( 1 − σ 2 ( W ) ) ) O\left(\left(\frac{L}{\mu}+\frac{1}{1-\sigma_2(W)}\right)\log\frac{1}{\epsilon(1-\sigma_2(W))}\right) O ( ( μ L + 1 − σ 2 ( W ) 1 ) log ϵ ( 1 − σ 2 ( W )) 1 ) ,其中 σ 2 ( W ) \sigma_2(W) σ 2 ( W ) 为权重矩阵 W W W 的第二大奇异值。当不存在强凸性时,我们证明了 O ( ( L ϵ + 1 1 − σ 2 ( W ) ) log 1 1 − σ 2 ( W ) ) O\left(\left(\frac{L}{\epsilon}+\frac{1}{1-\sigma_2(W)}\right)\log\frac{1}{1-\sigma_2(W)}\right) O ( ( ϵ L + 1 − σ 2 ( W ) 1 ) log 1 − σ 2 ( W ) 1 ) 的复杂度。随后,我们利用 Catalyst 框架加速 EXTRA,对强凸且光滑问题得到 O ( L μ ( 1 − σ 2 ( W ) ) log L μ ( 1 − σ 2 ( W ) ) log 1 ϵ ) O\left(\sqrt{\frac{L}{\mu(1-\sigma_2(W))}}\log\frac{ L}{\mu(1-\sigma_2(W))}\log\frac{1}{\epsilon}\right) O ( μ ( 1 − σ 2 ( W )) L log μ ( 1 − σ 2 ( W )) L log ϵ 1 ) 的通信与计算复杂度,对非强凸问题得到 O ( L ϵ ( 1 − σ 2 ( W ) ) log 1 ϵ ( 1 − σ 2 ( W ) ) ) O\left(\sqrt{\frac{L}{\epsilon(1-\sigma_2(W))}}\log\frac{1}{\epsilon(1-\sigma_2(W))}\right) O ( ϵ ( 1 − σ 2 ( W )) L log ϵ ( 1 − σ 2 ( W )) 1 ) 的复杂度。我们加速后 EXTRA 的通信复杂度,相对于强凸和非强凸问题的下界复杂度,分别仅多出 ( log L μ ( 1 − σ 2 ( W ) ) ) \left(\log\frac{L}{\mu(1-\sigma_2(W))}\right) ( log μ ( 1 − σ 2 ( W )) L ) 和 ( log 1 ϵ ( 1 − σ 2 ( W ) ) ) \left(\log\frac{1}{\epsilon(1-\sigma_2(W))}\right) ( log ϵ ( 1 − σ 2 ( W )) 1 ) 的因子。
引用
@article{arxiv.2002.10110,
title = {Revisiting EXTRA for Smooth Distributed Optimization},
author = {Huan Li and Zhouchen Lin},
journal= {arXiv preprint arXiv:2002.10110},
year = {2020}
}