Table of Contents
Fetching ...

Scalable Distributed Least Squares Algorithm for Linear Algebraic Equations via Periodic Scheduling

Shenyu Liu

TL;DR

This work tackles scalable distributed LS solution of LAEs $A x = b$ under bandwidth constraints by proposing a continuous-time foundation (CT-D-LS) and a discrete-time scalable extension (DT-SD-LS) with cyclic scheduling that transmits only fixed-size portions of each agent's state. It proves exponential convergence to LS solutions for static problems and provides a tracking guarantee when observations vary over time, with tracking error bounded by the per-step variation in $b$. Simulations demonstrate favorable scalability and competitive performance against state-of-the-art distributed LS methods, especially as problem size grows. The approach promises practical impact for large-scale, bandwidth-limited distributed estimation and regression tasks.

Abstract

In this work, we propose a novel discrete-time distributed algorithm for finding least-squares solutions of linear algebraic equations with a scheduling protocol to further enhance its scalability. Each agent in the network is assumed to know some rows of the coefficient matrix and the corresponding entries in the observation vector. Unlike typical distributed algorithms, our approach considers communication bandwidth limits, allowing agents to transmit only a portion of their ``guessed" solution, independent of its dimension. A cyclic scheduling protocol determines which portion is transmitted at each iteration. Assuming a small fixed step size and a diagonalizable algorithm matrix, we prove that agents' ``guessed" solutions converge exponentially to a least squares solution. For cases where the observation vectors are time-varying, a modified algorithm guarantees practical convergence, with tracking error bounded by the single-step variation in the observation vector. Simulations and comparisons with state-of-the-art algorithms validate our algorithm's feasibility and scalability.

Scalable Distributed Least Squares Algorithm for Linear Algebraic Equations via Periodic Scheduling

TL;DR

This work tackles scalable distributed LS solution of LAEs under bandwidth constraints by proposing a continuous-time foundation (CT-D-LS) and a discrete-time scalable extension (DT-SD-LS) with cyclic scheduling that transmits only fixed-size portions of each agent's state. It proves exponential convergence to LS solutions for static problems and provides a tracking guarantee when observations vary over time, with tracking error bounded by the per-step variation in . Simulations demonstrate favorable scalability and competitive performance against state-of-the-art distributed LS methods, especially as problem size grows. The approach promises practical impact for large-scale, bandwidth-limited distributed estimation and regression tasks.

Abstract

In this work, we propose a novel discrete-time distributed algorithm for finding least-squares solutions of linear algebraic equations with a scheduling protocol to further enhance its scalability. Each agent in the network is assumed to know some rows of the coefficient matrix and the corresponding entries in the observation vector. Unlike typical distributed algorithms, our approach considers communication bandwidth limits, allowing agents to transmit only a portion of their ``guessed" solution, independent of its dimension. A cyclic scheduling protocol determines which portion is transmitted at each iteration. Assuming a small fixed step size and a diagonalizable algorithm matrix, we prove that agents' ``guessed" solutions converge exponentially to a least squares solution. For cases where the observation vectors are time-varying, a modified algorithm guarantees practical convergence, with tracking error bounded by the single-step variation in the observation vector. Simulations and comparisons with state-of-the-art algorithms validate our algorithm's feasibility and scalability.

Paper Structure

This paper contains 14 sections, 17 theorems, 106 equations, 3 figures, 2 tables, 3 algorithms.

Key Result

Lemma 1

Suppose both $G,G_c$ are connected. Then, is a LS solution of LAE if and only if there exists $\hat{\omega}^*\in\mathbb{R}^{qm}$ such that $(\hat{x}^*,\hat{\omega}^*)$ is an optimal solution to the problem where

Figures (3)

  • Figure 1: Temporal sequences of communication and computation for two agents. Packet transmission between the two agents are depicted by magenta and blue arrows. Because the agents cannot proceed with computation (green) before they receive the complete packets, they remain idle (yellow) during communication. Vertical dashed lines indicate the beginning of each iteration. Over the same time interval, the scheme (a) processes 8 iterations of computation while the scheme (b) processes 4 iterations of computation.
  • Figure 2: Illustration of a scalable distributed algorithm for solving Problem \ref{['prob:1']}.
  • Figure 3: Evolution of errors for the first example. Number of communication cycles is given by the horizontal axis. Evolution of $e_1$ is represented by solid curves, and evolution of $e_2$ is represented by dashed curves. Different colors represent curves from different algorithms: explicit-implicit iteration, gradient tracking, AHU flow, double-layered network, and SD-LS algorithm.

Theorems & Definitions (35)

  • Definition 1
  • Definition 2
  • Definition 3
  • Definition 4
  • Lemma 1: YH-ZM-JS:22
  • Remark 1: Comparison with other continuous-time distributed LS algorithms
  • Theorem 1
  • proof
  • Proposition 1
  • proof
  • ...and 25 more