FedPAGE Probabilistic Local Stochastic Gradient Method for Federated Learning
Algorithms AIMech:FedPageProbabilisticLocalGradientMethodForFederatedLearning DRAFT
Aliases: FedPAGE, Federated Probabilistic Gradient Estimator, FedPAGE Local Stochastic Gradient Algorithm
A communication-efficient local stochastic gradient method for federated convex and nonconvex optimization (Algorithm 1) that generalizes the optimal Probabilistic Gradient Estimator (PAGE) to multiple local update steps K >= 1: in each round r, with probability p_r = S/N the server queries all N clients for minibatch gradients of size b_1, and with probability 1 - p_r the server broadcasts (x^r, x^{r-1}, g^{r-1}) to a sampled subset S^r of size S where each client i initializes g_{i,0}^r = nabla_{I_2} f_i(x^r) - nabla_{I_2} f_i(x^{r-1}) + g^{r-1} and runs K - 1 local SARAH/PAGE recursive steps g_{i,k}^r = nabla_{I_3} f_i(y_{i,k}^r) - nabla_{I_3} f_i(y_{i,k-1}^r) + g_{i,k-1}^r, achieving O(L(sqrt(N) + S) / (S eps^2)) communication rounds in nonconvex settings and O(N^{3/4} L / (S eps)) in convex settings.
Identity Notes & Concept Scope
Distinct from single-step centralized PAGE (Li et al., ICML 2021; recovered when K = 1), SCAFFOLD (Karimireddy et al., ICML 2020; which requires O(N^{2/3} L / (S^{2/3} eps^2)) nonconvex and O(N L / (S eps)) convex rounds and maintains per-client states across rounds), and FedAvg / Local-SGD. FedPAGE (Zhao, Li, & Richtarik, 2021, arXiv:2108.04755) is stateless on clients and improves SCAFFOLD's communication complexity by factors N^{1/6} S^{1/3} (nonconvex) and N^{1/4} (convex) for S <= sqrt(N).
Claims & Grounded Evidence
4 Claims
Mechanism
#fedpage-probabilistic-full-client-reset-and-local-recursive-gradient-step-mechanism
At round r (Algorithm 1), FedPAGE samples q ~ Bernoulli(p_r) with p_0 = 1 and p_r = S/N; when q = 1, all N clients compute minibatch gradients nabla_{I_1} f_i(x^r) to reset g^r = (1/N) sum_{i=1}^N nabla_{I_1} f_i(x^r); when q = 0, S sampled clients receive (x^r, x^{r-1}, g^{r-1}), form the initial local recursive gradient g_{i,0}^r = nabla_{I_2} f_i(x^r) - nabla_{I_2} f_i(x^{r-1}) + g^{r-1}, execute K - 1 local steps y_{i,k+1}^r = y_{i,k}^r - eta_l g_{i,k}^r with g_{i,k}^r = nabla_{I_3} f_i(y_{i,k}^r) - nabla_{I_3} f_i(y_{i,k-1}^r) + g_{i,k-1}^r, and return Delta y_i^r = x^r - y_{i,K}^r for server aggregation g^r = (1 / (K eta_l S)) sum_{i in S^r} Delta y_i^r.
Scope
#fedpage-nonconvex-and-convex-communication-complexity-improvement-scope
Under L-smoothness (Assumption 2.1) and bounded local variance sigma^2 (Assumption 2.3), with p = S/N and Expected communicated clients per round p N + (1 - p) S < 2 S, FedPAGE achieves E[||nabla f(x)||_2] <= eps in R = O(L(sqrt(N) + S) / (S eps^2)) communication rounds in the nonconvex setting (Theorem 4.2) and E[f(x) - f^*] <= eps in R = O(N^{3/4} L / (S eps)) rounds for S <= sqrt(N) in the convex setting (Theorem 5.2), without requiring bounded inter-client gradient dissimilarity.
Limitation
#fedpage-occasional-full-client-broadcast-and-triple-vector-downlink-limitation
Requires occasional full-client synchronization rounds (with probability p_r = S/N) to reset the global gradient estimator g^r, and during partial-participation rounds (q = 0) the server broadcasts three d-dimensional vectors (x^r, x^{r-1}, g^{r-1}) to each selected client.
Application
#fedpage-nonconvex-robust-linear-regression-and-regularized-logistic-regression-application
Applied to federated nonconvex robust linear regression and logistic regression with nonconvex regularizers across thousands of partitioned LIBSVM client datasets.
⚠️ Curated Limitations & Negative Results
- Requires occasional full-client synchronization rounds with probability p_r = S/N to reset the global gradient estimator.
- Broadcasts three d-dimensional vectors (x^r, x^{r-1}, g^{r-1}) to sampled clients during local-update rounds.
Artificial Intelligence Ontology (AIO) Grounding
Mapped AIO Classes
| AIO Target Class | Mapping Relation | Mapping Rationale |
|---|---|---|
AIO:FederatedLearning
Federated Learning
|
narrow_match | FedPAGE is a specific communication-efficient federated optimization algorithm using probabilistic local recursive gradient estimation. |
Evidence Sources & Primary Literature
3 Sources| Source ID | Publication / Document | Type / Access | Reference & Checksum |
|---|---|---|---|
r563-primary-pdf
|
Haoyu Zhao, Zhize Li, Peter Richtarik
|
primary paper
full_text
|
ID: https://api.openalex.org/works/https://doi.org/10.48550/arXiv.2108.04755
sha256:0e929de6d0b5…
|
r563-arxiv-abs
|
Haoyu Zhao, Zhize Li, Peter Richtarik
|
primary paper
abstract_only
|
ID: https://arxiv.org/abs/2108.04755
sha256:b997972a8ddd…
|
r563-metadata-cr
|
Haoyu Zhao, Zhize Li, Peter Richtarik
|
primary paper
abstract_only
|
ID: https://api.openalex.org/works/https://doi.org/10.48550/arXiv.2108.04755
sha256:08480a6b6104…
|
Ontology & Grounding Topology
Open in interactive network graph →Curation Provenance
Curator: Antigravity
Method: ai_assisted
Model: Gemini
Created: 2026-10-19T10:46:00Z
Updated: 2026-10-19T10:46:00Z
Explore across X-Mech
Related computational & biological Mechs:
Embedding Map
Network Graph
ProteinTraitsMech (ESM-2 pLM)
DUFMech (Domain pLM)
TraitMech
CultureMech
All 14 X-Mech Repositories