Table of Contents
Fetching ...

Heterogeneity-Aware Client Sampling: A Unified Solution for Consistent Federated Learning

Shudi Weng, Chao Ren, Ming Xiao, Mikael Skoglund

TL;DR

The paper tackles objective inconsistency in federated learning arising from joint heterogeneity in communication and computation. It develops a unified non-convex analysis that separates structural and statistical effects of heterogeneity on surrogate and true objectives, proving convergence of the surrogate with rate $O(1/\sqrt{R})$ and bounding the true objective by $\chi_{\boldsymbol{\omega}\Vert \boldsymbol{\Omega}}^2\kappa^2$. To address the issue, the authors propose FedACS, an adaptive client-sampling scheme that aligns surrogate weights with target client weights via $p_m^{(r)}=\frac{\omega_m/( (1-q_m^{(r)})\|\boldsymbol{a}_m^{(r)}\|_1 )}{\sum_{j=1}^M \omega_j/( (1-q_j^{(r)})\|\boldsymbol{a}_j^{(r)}\|_1 )}$, ensuring unbiased aggregation and convergence to the true optimum when $\chi_{\boldsymbol{\omega}\Vert \boldsymbol{\Omega}}^2=0$. Theoretical results are complemented by extensive experiments on MNIST, CIFAR-10, and CINIC-10 under dynamic heterogeneity, showing substantial accuracy gains and reduced communication and computation costs. Overall, the work provides a principled framework and a universal method for making federated learning robust to both communication and computation heterogeneity, with practical implications for privacy-preserving deployments.

Abstract

Federated learning (FL) commonly involves clients with diverse communication and computational capabilities. Such heterogeneity can significantly distort the optimization dynamics and lead to objective inconsistency, where the global model converges to an incorrect stationary point potentially far from the pursued optimum. Despite its critical impact, the joint effect of communication and computation heterogeneity has remained largely unexplored, due to the intrinsic complexity of their interaction. In this paper, we reveal the fundamentally distinct mechanisms through which heterogeneous communication and computation drive inconsistency in FL. To the best of our knowledge, this is the first unified theoretical analysis of general heterogeneous FL, offering a principled understanding of how these two forms of heterogeneity jointly distort the optimization trajectory under arbitrary choices of local solvers. Motivated by these insights, we propose Federated Heterogeneity-Aware Client Sampling, FedACS, a universal method to eliminate all types of objective inconsistency. We theoretically prove that FedACS converges to the correct optimum at a rate of $O(1/\sqrt{R})$, even in dynamic heterogeneous environments. Extensive experiments across multiple datasets show that FedACS outperforms state-of-the-art and category-specific baselines by 4.3%-36%, while reducing communication costs by 22%-89% and computation loads by 14%-105%, respectively.

Heterogeneity-Aware Client Sampling: A Unified Solution for Consistent Federated Learning

TL;DR

The paper tackles objective inconsistency in federated learning arising from joint heterogeneity in communication and computation. It develops a unified non-convex analysis that separates structural and statistical effects of heterogeneity on surrogate and true objectives, proving convergence of the surrogate with rate and bounding the true objective by . To address the issue, the authors propose FedACS, an adaptive client-sampling scheme that aligns surrogate weights with target client weights via , ensuring unbiased aggregation and convergence to the true optimum when . Theoretical results are complemented by extensive experiments on MNIST, CIFAR-10, and CINIC-10 under dynamic heterogeneity, showing substantial accuracy gains and reduced communication and computation costs. Overall, the work provides a principled framework and a universal method for making federated learning robust to both communication and computation heterogeneity, with practical implications for privacy-preserving deployments.

Abstract

Federated learning (FL) commonly involves clients with diverse communication and computational capabilities. Such heterogeneity can significantly distort the optimization dynamics and lead to objective inconsistency, where the global model converges to an incorrect stationary point potentially far from the pursued optimum. Despite its critical impact, the joint effect of communication and computation heterogeneity has remained largely unexplored, due to the intrinsic complexity of their interaction. In this paper, we reveal the fundamentally distinct mechanisms through which heterogeneous communication and computation drive inconsistency in FL. To the best of our knowledge, this is the first unified theoretical analysis of general heterogeneous FL, offering a principled understanding of how these two forms of heterogeneity jointly distort the optimization trajectory under arbitrary choices of local solvers. Motivated by these insights, we propose Federated Heterogeneity-Aware Client Sampling, FedACS, a universal method to eliminate all types of objective inconsistency. We theoretically prove that FedACS converges to the correct optimum at a rate of , even in dynamic heterogeneous environments. Extensive experiments across multiple datasets show that FedACS outperforms state-of-the-art and category-specific baselines by 4.3%-36%, while reducing communication costs by 22%-89% and computation loads by 14%-105%, respectively.
Paper Structure (56 sections, 9 theorems, 113 equations, 10 figures, 5 tables, 1 algorithm)

This paper contains 56 sections, 9 theorems, 113 equations, 10 figures, 5 tables, 1 algorithm.

Key Result

Lemma 1

Conditioning on the $\sigma$-algebra generated by the randomness up to round $r$, and Assumptions assump: unbiased--assump: Dissimilarity, the the expected squared $\ell_2$-norm of the gradient of the surrogate objective function $\Tilde{F}(\boldsymbol{X})$ at the $r$-th round is bounded by where $\rho(\eta,L,A)= \frac{\eta^2L^2 A^2}{1-2\eta^2L^2A^2}+\frac{1}{2}$, and $\lim_{\eta\rightarrow\infty

Figures (10)

  • Figure 1: Heterogeneous FL with diverse communication $q_m$ and computation $T_m$.
  • Figure 2: Impact of heterogeneous communication (green).
  • Figure 3: Impact of heterogeneous computation (blue).
  • Figure 4: Simulations comparing FedAvg with SGD mcmahan2023communicationefficientlearningdeepnetworks, proximal SGD ($\mu=1$), SGD with decayed learning rate (decay rate $0.005$), momentum SGD (momentum $0.3$), and our proposed FedACS (with $M = 30$, $K = 15$, and $\eta = 0.001$) in Example \ref{['example: 1']}, where $\boldsymbol{E}_m\sim \mathcal{N}(0,\mathbf{I}_{10\times 10})$. Left: Homogeneous setting with $T_m=15, q_m=0.2$ for all clients. Middle: Heterogeneous setting where $T_m$ is uniformly distributed from $1$ to $30$ and $q_m$ from $0.01$ to $0.3$ across clients. Right: Time-varying heterogeneous setting: at the $r$-th round, for clients $m \in [15]$, $T_m^{(r)} \sim \mathcal{U}[1, 10]$ and $q_m^{(r)} \sim \mathcal{U}[0.2, 0.4]$; for the remaining clients, $T_m^{(r)} \sim \mathcal{U}[20, 30]$ and $q_m^{(r)} \sim \mathcal{U}[0, 0.2]$.
  • Figure 5: Illustration of the proposed FedACS (purple) to counterbalance the objective inconsistency induced by heterogeneous communication (green) and computation (blue).
  • ...and 5 more figures

Theorems & Definitions (21)

  • Example 1: Divergence of Mismatched Objective Functions
  • Example 2: Mismatched Objective Caused by Heterogeneous Communication and Computation
  • Remark 1: Relation Among the Bounded Dissimilarity Assumptions
  • Lemma 1: Decent Lemma of the Surrogate Objective Function
  • Lemma 2: Decent Lemma of the True Objective Function
  • Theorem 1: Convergence of the Surrogate Objective Function
  • Theorem 2: Convergence of the True Objective Function
  • Remark 2: Achievability of \ref{['eq:converge_bound_true']}
  • Corollary 2.1: Distance Between the Inconsistent Solution and Consistent Solution
  • Corollary 2.2: Consistency Condition
  • ...and 11 more