Table of Contents
Fetching ...

Federated Unlearning: a Perspective of Stability and Fairness

Jiaqi Shao, Tao Lin, Xuanyu Cao, Bing Luo

TL;DR

This work analyzes federated unlearning (FU) under data heterogeneity, introducing three metrics—FU verification $V$, global stability $S$, and local fairness $Q$—to quantify unlearning side effects. It provides a theoretical framework showing fundamental trade-offs between verification, stability, and fairness, with bounds that depend on heterogeneity, gradient corrections, and divergence between groups. To balance these trade-offs, the authors design optimization-based FU mechanisms that incorporate penalty terms and gradient correction, plus fairness-constrained saddle-point formulations, accompanied by convergence guarantees. The framework includes practical FU algorithms operating in rounds with local updates and global gradient corrections, and is empirically validated on non-IID MNIST/CIFAR-10 to demonstrate improved stability and fairness relative to retraining, while preserving verification accuracy. Overall, the paper offers a principled, heterogeneity-aware approach to FU with theoretical guarantees and practical guidance for deploying verifiable, fair, and stable FU in federated systems.

Abstract

This paper explores the multifaceted consequences of federated unlearning (FU) with data heterogeneity. We introduce key metrics for FU assessment, concentrating on verification, global stability, and local fairness, and investigate the inherent trade-offs. Furthermore, we formulate the unlearning process with data heterogeneity through an optimization framework. Our key contribution lies in a comprehensive theoretical analysis of the trade-offs in FU and provides insights into data heterogeneity's impacts on FU. Leveraging these insights, we propose FU mechanisms to manage the trade-offs, guiding further development for FU mechanisms. We empirically validate that our FU mechanisms effectively balance trade-offs, confirming insights derived from our theoretical analysis.

Federated Unlearning: a Perspective of Stability and Fairness

TL;DR

This work analyzes federated unlearning (FU) under data heterogeneity, introducing three metrics—FU verification , global stability , and local fairness —to quantify unlearning side effects. It provides a theoretical framework showing fundamental trade-offs between verification, stability, and fairness, with bounds that depend on heterogeneity, gradient corrections, and divergence between groups. To balance these trade-offs, the authors design optimization-based FU mechanisms that incorporate penalty terms and gradient correction, plus fairness-constrained saddle-point formulations, accompanied by convergence guarantees. The framework includes practical FU algorithms operating in rounds with local updates and global gradient corrections, and is empirically validated on non-IID MNIST/CIFAR-10 to demonstrate improved stability and fairness relative to retraining, while preserving verification accuracy. Overall, the paper offers a principled, heterogeneity-aware approach to FU with theoretical guarantees and practical guidance for deploying verifiable, fair, and stable FU in federated systems.

Abstract

This paper explores the multifaceted consequences of federated unlearning (FU) with data heterogeneity. We introduce key metrics for FU assessment, concentrating on verification, global stability, and local fairness, and investigate the inherent trade-offs. Furthermore, we formulate the unlearning process with data heterogeneity through an optimization framework. Our key contribution lies in a comprehensive theoretical analysis of the trade-offs in FU and provides insights into data heterogeneity's impacts on FU. Leveraging these insights, we propose FU mechanisms to manage the trade-offs, guiding further development for FU mechanisms. We empirically validate that our FU mechanisms effectively balance trade-offs, confirming insights derived from our theoretical analysis.
Paper Structure (32 sections, 14 theorems, 53 equations, 7 figures, 3 tables, 3 algorithms)

This paper contains 32 sections, 14 theorems, 53 equations, 7 figures, 3 tables, 3 algorithms.

Key Result

Lemma 5.6

Under Assumptions ass:data-heterogeneity-ass:unbiased_gradient and given the number of unlearning rounds $T$ and the learning rate $\eta = \frac{1}{T \sqrt{\mu}}\sqrt{ \frac{\beta_{\mathcal{S}} - 1}{\min \left\{ \mu (\beta_{\mathcal{S}} - 1), L (\beta_{\mathcal{S}} -1) \right\} }}$, the verification where $\Delta F_{-\mathcal{J}} \left(\circ, \bullet \right) \!=\! F_{-\mathcal{J}}(\circ) \!-\! F_{

Figures (7)

  • Figure 1: Federated Unlearning and Its Side Effects. (a) FL system of $5$ clients with non-IID training data. with one client requesting to be unlearned. (b) Unlearning each client through $5$ experiments.
  • Figure 2: Outline of this paper.
  • Figure 3: Key Model Notations ($\boldsymbol{{w}}^u$ is the unlearned model from the FU mechanism; $\boldsymbol{w}^r$ is exact retrained model, the special case of $\boldsymbol{{w}}^u$).
  • Figure 4: Non-IID Class Distribution for MNIST and CIFAR-10: Each client has four classes.
  • Figure 5: Comparison of stability-related processes.
  • ...and 2 more figures

Theorems & Definitions (28)

  • Definition 4.1: FU Verification Metric, $V$
  • Definition 4.2: Global Stability Metric, $S$
  • Definition 4.3: Local Fairness Metric, $Q$
  • Lemma 5.6
  • Remark 5.7
  • Lemma 5.8
  • Remark 5.9
  • Theorem 5.10
  • Theorem 5.11: Trade-off between Local Fairness and Effective Unlearning
  • Remark 5.12
  • ...and 18 more