Table of Contents
Fetching ...

Improved Analysis of the Accelerated Noisy Power Method with Applications to Decentralized PCA

Pierre Aguié, Mathieu Even, Laurent Massoulié

TL;DR

This work addresses PCA under inexact matrix-vector products and, in particular, decentralized PCA where communication constraints induce noise in matrix-vector products. It develops the Accelerated Noisy Power Method (ANPM) with momentum, proving that acceleration can be preserved under notably milder noise conditions and achieving a worst-case optimal rate of $\tilde{O}(\sqrt{\lambda_k/(\lambda_k - \lambda_{k+1})})$ when optimized with $\beta^* = \lambda_{k+1}^2/4$. The authors extend the analysis to decentralized settings, deriving ADePM which uses gossip-based averaging and momentum to attain accelerated convergence with similar communication costs to non-accelerated methods. Experiments on synthetic data and real decentralized tasks validate the theoretical gains and show that adaptive momentum tuning performs well in practice. Overall, the paper advances the theory and practice of accelerated PCA under realistic noise constraints and decentralized communication budgets, with first-known provably accelerated decentralized PCA results.

Abstract

We analyze the Accelerated Noisy Power Method, an algorithm for Principal Component Analysis in the setting where only inexact matrix-vector products are available, which can arise for instance in decentralized PCA. While previous works have established that acceleration can improve convergence rates compared to the standard Noisy Power Method, these guarantees require overly restrictive upper bounds on the magnitude of the perturbations, limiting their practical applicability. We provide an improved analysis of this algorithm, which preserves the accelerated convergence rate under much milder conditions on the perturbations. We show that our new analysis is worst-case optimal, in the sense that the convergence rate cannot be improved, and that the noise conditions we derive cannot be relaxed without sacrificing convergence guarantees. We demonstrate the practical relevance of our results by deriving an accelerated algorithm for decentralized PCA, which has similar communication costs to non-accelerated methods. To our knowledge, this is the first decentralized algorithm for PCA with provably accelerated convergence.

Improved Analysis of the Accelerated Noisy Power Method with Applications to Decentralized PCA

TL;DR

This work addresses PCA under inexact matrix-vector products and, in particular, decentralized PCA where communication constraints induce noise in matrix-vector products. It develops the Accelerated Noisy Power Method (ANPM) with momentum, proving that acceleration can be preserved under notably milder noise conditions and achieving a worst-case optimal rate of when optimized with . The authors extend the analysis to decentralized settings, deriving ADePM which uses gossip-based averaging and momentum to attain accelerated convergence with similar communication costs to non-accelerated methods. Experiments on synthetic data and real decentralized tasks validate the theoretical gains and show that adaptive momentum tuning performs well in practice. Overall, the paper advances the theory and practice of accelerated PCA under realistic noise constraints and decentralized communication budgets, with first-known provably accelerated decentralized PCA results.

Abstract

We analyze the Accelerated Noisy Power Method, an algorithm for Principal Component Analysis in the setting where only inexact matrix-vector products are available, which can arise for instance in decentralized PCA. While previous works have established that acceleration can improve convergence rates compared to the standard Noisy Power Method, these guarantees require overly restrictive upper bounds on the magnitude of the perturbations, limiting their practical applicability. We provide an improved analysis of this algorithm, which preserves the accelerated convergence rate under much milder conditions on the perturbations. We show that our new analysis is worst-case optimal, in the sense that the convergence rate cannot be improved, and that the noise conditions we derive cannot be relaxed without sacrificing convergence guarantees. We demonstrate the practical relevance of our results by deriving an accelerated algorithm for decentralized PCA, which has similar communication costs to non-accelerated methods. To our knowledge, this is the first decentralized algorithm for PCA with provably accelerated convergence.
Paper Structure (33 sections, 36 theorems, 262 equations, 4 figures, 2 tables, 2 algorithms)

This paper contains 33 sections, 36 theorems, 262 equations, 4 figures, 2 tables, 2 algorithms.

Key Result

Proposition 2.1

For all $t\geqslant 1$, $p_t$eq:cheby_rec satisfies where $\mathrm{lc}(p)$ denotes the leading coefficient of $p$.

Figures (4)

  • Figure 1: Results for (A)NPM. From left to right: fixed noise norm and large gap, varying momentum; fixed noise norm and small gap, varying momentum; optimal momentum and fixed noise norm, varying gap; optimal momentum and fixed gap, varying noise norm.
  • Figure 2: Results for decentralized PCA on Fed-Heart-Disease (left) and decentralized spectral clustering on Ego-Facebook (right).
  • Figure 3: Experimental results for (A)NPM with stochastic mean-centered noise. From left to right: fixed noise norm and large gap, varying momentum; fixed noise norm and small gap, varying momentum; optimal momentum and fixed noise norm, varying gap; optimal momentum and fixed gap, varying noise norm.
  • Figure 4: Experimental results for (A)NPM, zoomed on the first $T=200$ iterations. From left to right: fixed noise norm and large gap, varying momentum; fixed noise norm and small gap, varying momentum; optimal momentum and fixed noise norm, varying gap; optimal momentum and fixed gap, varying noise norm.

Theorems & Definitions (65)

  • Definition 1.1: knyazev02
  • Proposition 2.1
  • Theorem 2.2
  • Theorem 2.3: Complexity lower bound
  • Theorem 2.4: Tightness of condition \ref{['eq:noiseconda']}
  • Theorem 2.5: Tightness of condition \ref{['eq:noisecondb']}
  • Definition 3.1
  • Proposition 3.2: liu11
  • Theorem 3.3
  • Remark 3.4
  • ...and 55 more