Skip to content
DraconiticResearch
Search Sources API
186,086 studies31 sourcesUpdated 23 min ago
PreprintCC BY 4.0arXiv

Technical Report: Partially Asynchronous Distributed Optimization on Riemannian Manifolds

Abstract

There is a large body of work on distributed optimization for problems in Euclidean space. However, many existing algorithms and analyses do not directly transfer to problems defined on smooth manifolds. Therefore, in this paper we propose a distributed asynchronous optimization algorithm for problems on Riemannian manifolds. The algorithm we develop is a parallelized form of Riemannian block coordinate descent in which all agents can compute and communicate asynchronously. We assume only "partial asynchrony", namely that all delays in computations and communications obey some finite bound. We relax common assumptions by requiring neither convexity of the objective nor compactness of the manifold. Under mild conditions, we prove that agents' iterates drive the Riemannian gradient of their objective to zero, and we derive a rate of convergence for the norm of the gradient. Under different communication delays and numbers of agents over a finite horizon, we empirically show that our algorithm achieves a suboptimality of up to 730 times smaller than that of a synchronous baseline algorithm in an example simulation.

Related

  1. Asynchronous Sensitivity-Based Distributed NMPC
    Maximilian Pierer von Esch, Andres Völz, Knut Graichen
    arXivPreprintCC BY 4.0Full textOptimisation & controlarXiv
  2. Asynchronous Jacobi and randomized Gauss--Seidel methods in shared and distributed memory: A unified convergence-rate analysis
    Erin Carson, Yuxin Ma
    arXivPreprintarXiv licenceFull textNumerical analysis & scientific computingarXiv
  3. Bridging the Gap Between Homogeneous and Heterogeneous Asynchronous Optimization Is Surprisingly Difficult
    Alexander Tyurin
    arXivPreprintarXiv licenceFull textOptimisation & controlarXiv
  4. Rennala NSGD: Asynchronous Stochastic Optimization Beyond Euclidean Geometry
    Igor Sokolov, Alexander Tyurin, Peter Richtárik
    arXivPreprintCC BY 4.0Full textOptimisation & controlarXiv
  5. Centered Weak Discrete Riemannian Gradients: A Unified Framework for Riemannian Optimization
    Derun Zhou, Mahito Sugiyama
    arXivPreprintarXiv licenceFull textOptimisation & controlarXiv
BibTeX
@misc{pooley2026technical,
  title = {{Technical Report: Partially Asynchronous Distributed Optimization on Riemannian Manifolds}},
  author = {Adam Pooley and William Warke and Matthew T. Hale},
  howpublished = {arXiv},
  year = {2026},
  month = nov,
  doi = {10.48550/arxiv.2611.06722},
  eprint = {2611.06722},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2611.06722},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Technical Report: Partially Asynchronous Distributed Optimization on Riemannian Manifolds
AU  - Adam Pooley
AU  - William Warke
AU  - Matthew T. Hale
PY  - 2026
DA  - 2026/11/04
PB  - arXiv
DO  - 10.48550/arxiv.2611.06722
UR  - https://arxiv.org/abs/2611.06722
AB  - There is a large body of work on distributed optimization for problems in Euclidean space. However, many existing algorithms and analyses do not directly transfer to problems defined on smooth manifolds. Therefore, in this paper we propose a distributed asynchronous optimization algorithm for problems on Riemannian manifolds. The algorithm we develop is a parallelized form of Riemannian block coordinate descent in which all agents can compute and communicate asynchronously. We assume only "partial asynchrony", namely that all delays in computations and communications obey some finite bound. We relax common assumptions by requiring neither convexity of the objective nor compactness of the manifold. Under mild conditions, we prove that agents' iterates drive the Riemannian gradient of their objective to zero, and we derive a rate of convergence for the norm of the gradient. Under different communication delays and numbers of agents over a finite horizon, we empirically show that our algorithm achieves a suboptimality of up to 730 times smaller than that of a synchronous baseline algorithm in an example simulation.
ER  -