阅读记录【PMLR2023】The Aggregation–Heterogeneity Trade-off in Federated Learning

The Aggregation–Heterogeneity Trade-off in Federated Learning

Link： https://proceedings.mlr.press/v195/zhao23b.html

Abstract

机器学习的传统观点认为，训练模型的数据越多，模型的性能就越好。因此，人们开发了多种联邦学习方法来聚合尽可能多的本地样本。与这种观点相反，本文表明，在存在异构性的情况下，聚合更多数据不一定有益，并揭示了联邦学习中聚合和异构性​​之间的基本权衡。 我们考虑在 FedAvg 和局部估计器之间插值的加权 $M$ 估计器的一般族，其中聚合规则由局部样本的权重确定。 我们推导了加权 $M$ 估计量的估计误差上限，该上限分解为由异质性引起的偏差项和受聚合影响的方差项。引入 异质性度量 ，即联合平滑度 β，以简化一般结果。作为一个重要的结果，每个本地设备的最佳聚合规则是仅聚合 K 个设备中其 $\lfloor K^{2\beta /(2\beta +1)}/({\sigma }^2/n{)}^{1/(2\beta +1)}\rfloor \vee 1\rfloor$ 个最近邻居，其中 $n$ 是局部样本大小，${\sigma }^2$ 是噪声方差。此外，我们表明我们的估计器（称为 FedKNN）在以 $\beta$ 为特征的某个参数空间上获得了极小极大最优率。这种最佳过程主要取决于设备之间在局部参数的接近度方面的相邻结构。最后，我们证明，如果没有这样的先验知识，任何估计器都无法实现比 $O({\sigma }^2/n)$ 更快的收敛速度，因此自适应是不可能的。

NOTE: $\wedge$ 表示逻辑“与”， $\vee$ 表示逻辑“或”。

Keywords

federated learning, optimal affregation, k-nearest neighbors

1. Introduction

FedAvg受到本地设备之间可能存在的分布偏移的影响，这被称为异质性问题。在存在异质性的情况下，为了估计本地参数，从其他设备聚合数据会引入由于参数差异而产生的偏差。因此，聚合更多的本地样本将导致更大的偏差，这可能在一定程度上或完全抵消由于样本大小增加而产生的方差减少的好处。

因此，在联邦学习中存在一种基本的聚合-异质性权衡：通过聚合从其他设备中借用更多信息往往会增加有效样本大小，并提高每个本地设备的性能，但同时会在聚合样本中引入更多异质性并降低准确性。这可以看作是偏差-方差权衡的一种特殊形式，而这在机器学习算法的分析中起着核心作用。

很明显，最佳的聚合应该取决于异质性的程度。考虑两种极端情况。当所有设备完全具有相同的分布时，FedAvg可能是一种最优算法。在这种情况下，应该聚合所有本地样本，以最大程度地减少方差。在另一个极端情况下，任何两个本地设备的真实参数相差很大，合并任意两个本地样本都会引入巨大的偏差，这可能会抵消方差减少的好处。在这种情况下，只使用设备自己的数据的本地估计器可能是最佳选择。在这两个极端之间的中间情况中，可能既不是FedAvg也不是最优局部估计器，而应该仔细平衡聚合和异质性以实现最佳性能。

Chen[1]等人提出，当质异性度量R大于某个阈值，FedAvg是极小极大最优，否则局部估计器是极小极大最优。即R描述了真是参数的方差，是异质性的全局度量，不能捕捉设置之间的局部相异关系。

本文建立加权M估计量的估计误差上限，揭示并精确量化了聚合与异质性的权衡，为了简化表达式并找到最佳聚合规则，引入了联邦平滑度 $\beta$ 来衡量设备之间的异构程度。再结合K近邻进一步开发估计器，称为FedKNN。最后本文证明FedKnn在以 $\beta$ 为特征的特定参数空间上是极小极大最优，另外的方法均为次优。

• 考虑加权估计器 M-estimator，其中聚合规则由局部样本的权重确定。权重的选择和异质性程度如何影响估计误差，证明了聚合与异质性的权衡。
• 提出 $\beta$ 联合平滑度来衡量设备间的异构程度。$\beta$ 可以理解为相邻设备间参数距离衰减到0的速率，$\beta$ 越大，异质性程度越低，相比于其它， $\beta$ 捕获了相邻设备间的局部差异关系。
• 构建FedKNN，并给出aggregation-heterogeneity trade-off的简洁表述，估计误差为
  $$(\frac{{\sigma }^2}{nK}{)}^{\frac{2\beta }{2\beta +1}}\wedge \frac{{\sigma }^2}{n}$$
• 证明FedKNN在 $\beta$ 定义的参数空间上是极小极大最优
• FedKNN是根据设备间相邻结构的先验知识构建的。如果没有这样的先验信息，可能需要开发一种自适应算法来以数据驱动的方式检测邻近结构。然而，在第 5 节中，我们表明在这种情况下没有算法可以提高局部速率 $\sigma 2/n$，因此自适应是不可能的。当n固定时，即使K→∞，没有任何自适应算法可以将估计误差减小到0。

2. Preliminaries

假设：

• 损失函数 $\mu$-强凸且 $\eta$-平滑 (意味着真实值 ${\theta }_k^{\ast }$ 唯一)
• 梯度方差以 ${\sigma }^2$ 为界 (对于监督问题，局部噪声的方差一致有界，可以放宽到不同噪声大小的情况)）
• 所有本地数据集样本大小均为 $n$ （简化结果）

NOTE：

• ${\sigma }^2$ 为方差
• 所有 $k\in [K]$ 的局部样本大小为$n_k=n$
• $k$ 为总设备数

3. General Weighted $M$-estimators

对比两种baseline：

1. ${\hat{\theta }}_k^{\text{(avg)}}=\underset{\theta }{\mathrm{argmin}}\frac{1}{K}{\sum }_{j=1}^K{\hat{L}}_j(\theta )$
2. ${\hat{\theta }}_k^{\text{(loc)}}=\underset{\theta }{\mathrm{argmin}}{\hat{L}}_k(\theta )$

这两种估计器是聚合的两个极端，前者聚合所有K个设备，后者则选择本地设备，与其它设备无关。

定义一种带加权的M估计器
θ ^ k (W) = arg ⁡ min ⁡ θ { L ^ w ( θ ) ≡ ∑ j = 1 K w k j L ^ j ( θ ) } \hat\theta^\text{(W)}_k = \underset{\theta}{\arg\min}\{\hat L_w(\theta) \equiv\sum_{j=1}^{K} w_{kj} \hat{L}_j(\theta)\} θ^k(W)​=θargmin​{L^w​(θ)≡j=1∑K​wkj​L^j​(θ)}

W为单位矩阵是，估计器转化为局部估计器，它将0权重分配给除自身外的所有设备。直观上，权重 $w_k$ 分布越均匀，来自其它设备的信息聚合就越多。并且注意到，每个设备都有各自特定的权重 $w_k$ ，因此加权M估计器不是获得单个全局模型，而是输出K个可能不同的参数以进行个性化推理。

基于假设1，2，对每个估计器，有如下定理

• 定理1
  

前一项为参数间平方距离的加权平均，源于K个设备间的异质性。为了减少这一项，应该避免聚合不相关设备的数据；后一项为设备k聚合的数据的方差导致，由柯西-施瓦茨不等式，为了减少这一项，应该使每个设备间的权重wij分布更均匀。因此这两项一般不能同时最小化，而产生了aggergation-heterogeneity trade-off。 Ben-David[2]

4. Optimal Aggregation Method

1. 提出联合平滑度量异质性程度
2. 通过上述度量将结果简化为更简洁版本
3. 构建FedKNN，并表明其在参数空间上确实是极小极大最优

4.1 Federated Smoothness

定义1

$\pi (k,j)$ 为映射到与设备k参数最j接近的索引，$\pi (k,1)=k$。

对于满足这个定义的 θ*，我们也可以说 θ* 是 β-联邦平滑的。请注意，对于任何固定的 θ*，这样的 β 和 C 总是存在，尽管它们不是唯一的。我们对当允许 K 增加时满足某些固定 C 和 β 的联邦平滑度的参数类别特别感兴趣。此外，如果 (2) 对于某些 β 成立，那么它也对于任何 0 ≤ β′ < β 成立。因此，对于最大的 β，我们的结果可以解释为正确。

$\beta$的值衡量相邻设备的参数之间的距离衰减到0的速率，β 越大，异质性程度越低，这进一步导致估计误差更小。$\pi$的作用是描述设备之间的相邻结构。示例包括联合学习应用程序，其中设备分布在地理上或社交网络上，并且每个设备仅与其最近的邻居共享相似的参数。在本节中，我们考虑 π 作为先验知识给出的情况。

一些例子：

• homogeneity: 所有k个设备有相同的参数，$\beta =\infty$
• compelete heterogeneity: $K\to \infty$
• clustering structure： 对于偶数的K，分为大小相同的两组，每组设备内具有相同参数 $\delta$，则有联合平滑度 $\beta =\log (C/\delta )/\log 2$
• Hölder smooth function:

Hölder条件/Hölder连续：当存在实常数 $C\ge 0$, $a>0$ 时，使得 $|f(x)-f(y)|\ge C\Vert x-y{\Vert }^{\alpha }$

$Continuouslydifferentiable\subset Lipschitzcontinuous\subset \alpha -H\ddot{o}ldercontinuous\subset uniformlycontinuous\subset continuous$

有其它文献[1][3]考虑了全局异构，但不像本文考虑局部差异。

4.2 FedKNN: Optimal Weights via KNN

通过以下KNN过程确定权重 $W^m=(w_{kj}^{(m)})$:
$$w_{k,\pi (k,j)}^{(m)}=\{\begin{array}{c}\frac{1}{m}if1\le j\le m,\\ 0\text{ otherwise,}\end{array}$$

由（4）可以看到更清晰的trade-off: m增大第一项增大第二项减少，m减小则反之。$m^{\star }$ 为最佳平衡，即在（4）上的最小值。它可以解释为设备的有效数量，它表征了有多少其他设备可以在局部估计上进行最优改进，并导致最优估计误差为 ${\sigma }^2/(m\ast n)$ 阶。

对于固定的 $\beta$， $m^{\star }$ 随着n减小，随着K增大。因为如果K固定，n越大，说明局部估计器的估计误差越小，因此是否聚合来自其他设备的数据的标准更严格，这导致 m* 更小。另一方面，如果n固定，K越大意味着偏差越小的设备越多，因此应该聚合更多设备的数据，从而使m增加。当 β → Infini 时，很容易检查 m → K 和 E∥b θk − θ* k∥2 → σ2/(nK)，这意味着几乎所有设备都是有用的。事实上，β = ∞ 对应于齐次设置，其中估计误差恰好为 O(σ 2 /(nK ))。

当 $K\gtrsim n^{1/(2\beta )}$ ,则有 $m_{\star }\gtrsim 1$ 则 $1/(nK{)}^{2\beta /(2\beta +1)}$ 主导界。事实上，很容易检查在这种情况下 ∥θ* π(k,2) − θ* k∥ ≲ 1/√n，因此至少存在另一种设备可以改进 θ* k 的估计。即使局部样本大小n固定，只要设备数量K→∞，FedKNN仍然是一致的。

FedKNN引与非参数估计中经典KNN方法相类比，每个设备对应一个协变量点，局部参数 ${\theta }_k^{\star }$ 对应其条件均值，局部方差 $O({\sigma }^2)/n$ 对应其方差，$\pi$ 用来定义设备间的相邻结构，则可以看出 $\beta$ 可以与非参数回归中回归函数的平滑度有关，因此称为Federated smoothness。

4.3 Minimax Lower Bounds

假设数据油 $Z_i^{(k)}={\theta }_k^{\star }+{ϵ}_i^{(k)}$生成， $ϵ$ 为均值0方差 ${\sigma }^2{I}_d$的高斯噪声，则有参数空间

注意pi是基于先验信息的。损失函数取 $l_2$ loss，即 $\ell (\theta ,z)=\Vert \theta -z{\Vert }^2$

定理2（极小极大下界）：

近似小于 $\gtrsim$ 表示一个值再某种度量（距离、范数、实数域…）下比另一个值要接近或小于。

尽管 $(C,\beta )$ 对在定义1中并不唯一，但重要的是让类 $P_{\beta }$ 依赖于固定的C，以便很好的定义 $\beta$ 。下界（7）与上界（5）相匹配，表明邻域大小为 $m_{\star }$ 的FedKNN是极小极大最优。该结果表明，联合平滑度 β 精确地表征了异质性程度以及来自其他设备的信息可以改进局部估计的程度。

当K2β≲n时，最小最大速率为σ2/n，这与没有聚合的局部估计速率一致。这是因为在这种情况下，局部方差 σ2/n 相对较小，因此聚合引入的偏差主导了估计误差。因此，除了设备k之外，没有任何设备包含可以进一步改善局部估计误差σ2/n的信息。当K2β≳n时，由于β联合平滑的限制，其他设备也包含对估计θk有用的信息，其数量取决于K和β的大小。结果，极小极大率提高到{σ2/(nK)}2β/(2β+1)。

定理3（FedAvg和局部估计量的次优性）

这两个次优估计是A-H trade-off的两个极端。均不受K约束，估计误差不会因为增加设备数量而减少。

5 Impossibility of Adaptation

FedKNN的结果构建仍依赖于先验知识 $\pi$ ，但如果没有先验pi，pi的估计误差 $O({\sigma }^2/n)$ 会占主导地位，并且无法自适应。

考虑如下没有pi的空间，可以理解为该空间中每个元素是上一个空间相同元素下所有pi的并。

定理4

和定理4相比，不知道pi意味着极小极大分析是在更大的集合上进行的，因此下界比（7）大很多。尤其是注意，当局部样本大小n固定时，无论K怎样增加，任何自适应估计器的估计误差都不会渐近消失。以此证明邻近结构先验知识的必要性。

总结及优化方向

• 导致m倍的计算和通信成本，m是聚合邻居的数量。
• 最后，结构化异质性设置的扩展是值得的。在本文和联邦学习的大多数相关工作中，异质性被简单地编码为参数之间的欧几里得距离。然而，在更复杂的场景中，异构性可能是结构化的。例如，本地参数的某些组成部分可能是共享的，而其余部分则是设备特定的。共享部分和特定部分都可以是高维的或非常复杂的。如何借用多个设备的力量来估计共享组件而不受到特定部分的损害是未来工作的一个方向。

References

[1] Shuxiao Chen, Qinqing Zheng, Qi Long, and Weijie J Su. A theorem of the alternative for personalized federated learning. arXiv preprint arXiv:2103.01901, 2021.
[2] Shai Ben-David, John Blitzer, Koby Crammer, Alex Kulesza, Fernando Pereira, and Jennifer Wortman Vaughan. A theory of learning from different domains. Machine Learning, 79:151–175, 2010.
[3] Xiang Li, Kaixuan Huang, Wenhao Yang, Shusen Wang, and Zhihua Zhang. On the convergence of FedAvg on non-IID data. In International Conference on Learning Representations, 2020c.