Distributed Distributionally Robust Optimization with Non-Convex Objectives
Abstract
Distributionally Robust Optimization (DRO), which aims to find an optimal decision that minimizes the worst case cost over the ambiguity set of probability distribution, has been widely applied in diverse applications, e.g. , network behavior analysis, risk management, etc.
However, existing DRO techniques face three key challenges: 1) how to deal with the asynchronous updating in a distributed environment; 2) how to leverage the prior distribution effectively; 3) how to properly adjust the degree of robustness according to different scenarios.
To this end, we propose an asynchronous distributed algorithm, named A synchronous S ingle-loo P alternat I ve g R adient proj
E ction (ASPIRE) algorithm with the it E rative A ctive
SE t method (EASE) to tackle the distributed distributionally robust optimization (DDRO) problem.
Furthermore, a new uncertainty set, i.e. , constrained D -norm uncertainty set, is developed to effectively leverage the prior distribution and flexibly control the degree of robustness.
Finally, our theoretical analysis elucidates that the proposed algorithm is guaranteed to converge and the iteration complexity is also analyzed.
Extensive empirical studies on real-world datasets demonstrate that the proposed method can not only achieve fast convergence, and remain robust against data heterogeneity as well as malicious attacks, but also tradeoff robustness with performance.
Introduction
The past decade has witnessed the proliferation of smartphones and Internet of Things (IoT) devices, which generate a plethora of data everyday.
Centralized machine learning requires gathering the data to a particular server to train models which incurs high communication overhead [46] and suffers privacy risks [43].
As a remedy, distributed machine learning methods have been proposed.
Considering a distributed system composed of N workers (devices), we denote the dataset of these workers as { D 1 , · · · , D N } .
For the j th ( 1 ≤ j ≤ N ) worker, the labeled dataset is given as
D j = { x ij , y ij } , where x ij ∈ R d and y ij ∈ { 1 , · · · , c } denote the i th data sample and the corresponding label, respectively.
The distributed learning tasks can be formulated as the following optimization problem,
[Equation]
where w ∈ R p is the model parameter to be learned and W ⊆
R p is a nonempty closed convex set, f j ( · ) is the empirical risk over the j th worker involving only the local data:
[Equation]
where L j is the local objective function over the j th worker.
Problem in Eq.
(1) arises in numerous areas, such as distributed signal processing [19], multi-agent optimization [36], etc .
However, such problem does not consider the data heterogeneity [57, 40, 39, 30] among different workers ( i.e. , data distribution of workers could be substantially different from each other [44]).
Indeed, it has been shown that traditional federated approaches, such as FedAvg [33], built for independent and identically distributed (IID) data may perform poorly when applied to Non-IID data [27].
This issue can be mitigated via learning a robust model that aims to achieve uniformly good performance over all workers by solving the following distributionally robust optimization (DRO) problem in a distributed manner:
[Equation]
where p =
[ p 1 , · · · , p N ] ∈ R N is the adversarial distribution in N workers, the j th entry in this vector, i.e. , p j represents the adversarial distribution value for the j th worker.
∆ N = { p ∈ R N + : 1 ⊤ p = 1 } and Ω is a subset of ∆ N .
Agnostic federated learning (AFL) [35] firstly introduces the distributionally robust (agnostic) loss in federated learning and provides the convergence rate for (strongly) convex functions.
However, AFL does not discuss the setting of Ω .
DRFA-Prox [16] considers Ω = ∆ N and imposes a regularizer on adversarial distribution to leverage the prior distribution.
Nevertheless, three key challenges have not yet been addressed by prior works.
First, whether it is possible to construct an uncertainty framework that can not only flexibly maintain the trade-off between the model robustness and performance but also effectively leverage the prior distribution?
Second, how to design asynchronous algorithms with guaranteed convergence?
Compared to synchronous algorithms, the master in asynchronous algorithms can update its parameters after receiving updates from only a small subset of workers [58, 10].
Asynchronous algorithms are particularly desirable in practice since they can relax strict data dependencies and ensure convergence even in the presence of device failures [58].
Finally, whether it is possible to flexibly adjust the degree of robustness?
Moreover, it is necessary to provide convergence guarantee when the objectives ( i.e. , f j ( w j ) , ∀ j ) are non-convex.
To this end, we propose ASPIRE-EASE to effectively address the aforementioned challenges.
Firstly, different from existing works, the prior distribution is incorporated within the constraint in our formulation, which can not only leverage the prior distribution more effectively but also achieve guaranteed feasibility for any adversarial distribution within the uncertainty set.
The prior distribution can be obtained from side information or uniform distribution [41], which is necessary to construct the uncertainty (ambiguity) set and obtain a more robust model [16].
Specifically, we formulate the prior distribution informed distributionally robust optimization (PD-DRO) problem as:
[Equation]
where z ∈ R p is the global consensus variable, w j ∈ R p is the local variable (local model parameter) of j th worker and Z ⊆
R p is a nonempty closed convex set.
P ⊆ R N + is the uncertainty (ambiguity) set of adversarial distribution p , which is set based on the prior distribution.
To solve the PD-DRO problem in an asynchronous distributed manner, we first propose A synchronous S ingle-loo P alternat I ve g R adient proj E ction (ASPIRE), which employs simple gradient projection steps for the update of primal and dual variables at every iteration, thus is computationally efficient .
Next, the it E rative
A ctive SE t method (EASE) is employed to replace the traditional cutting plane method to improve the computational efficiency and speed up the convergence.
We further provide the convergence guarantee for the proposed algorithm.
Furthermore, a new uncertainty set, i.e. , constrained D -norm ( CD -norm), is proposed in this paper and its advantages include: 1) it can flexibly control the degree of robustness; 2) the resulting subproblem is computationally simple; 3) it can effectively leverage the prior distribution and flexibly set the bounds for every p j .
Contributions.
Our contributions can be summarized as follows:
We formulate a PD-DRO problem with CD -norm uncertainty set.
PD-DRO incorporates the prior distribution as constraints which can leverage prior distribution more effectively and guarantee robustness.
In addition, CD -norm is developed to model the ambiguity set around the prior distribution and it provides a flexible way to control the trade-off between model robustness and performance.
We develop a single-loop asynchronous algorithm, namely ASPIRE-EASE, to optimize PDDRO in an asynchronous distributed manner.
ASPIRE employs simple gradient projection steps to update the variables at every iteration, which is computationally efficient.
And EASE is proposed to replace cutting plane method to enhance the computational efficiency and speed up the convergence.
We demonstrate that even if the objectives f j ( w j ) , ∀ j are non-convex, the proposed algorithm is guaranteed to converge.
We also theoretically derive the iteration complexity of ASPIRE-EASE.
Extensive empirical studies on four different real world datasets demonstrate the superior performance of the proposed algorithm.
It is seen that ASPIRE-EASE can not only ensure the model’s robustness against data heterogeneity but also mitigate malicious attacks.
Preliminaries 2.1 Distributionally Robust Optimization
Optimization problems often contain uncertain parameters.
A small perturbation of the parameters could render the optimal solution of the original optimization problem infeasible or completely meaningless [5].
Distributionally robust optimization (DRO) [28, 17, 7] assumes that the probability distributions of uncertain parameters are unknown but remain in an ambiguity (uncertainty) set and aims to find a decision that minimizes the worst case expected cost over the ambiguity set, whose general form can be expressed as,
[Equation]
where x ∈ X represents the decision variable, P is the ambiguity set of probability distributions
P of uncertain parameters ξ .
Existing methods for solving DRO can be broadly grouped into two widely-used categories [42]: 1) Dual methods [15, 50, 18] reformulate the primal DRO problems as deterministic optimization problems through duality theory.
Ben-Tal et al.
[2] reformulate the robust linear optimization (RLO) problem with an ellipsoidal uncertainty set as a second-order cone optimization problem (SOCP).
Cutting plane methods [34, 6] (also called adversarial approaches [21]) continuously solve an approximate problem with a finite number of constraints of the primal
DRO problem, and subsequently check whether new constraints are needed to refine the feasible set.
Recently, several new methods [41, 29, 23] have been developed to solve DRO, which need to solve the inner maximization problem at every iteration.
2.2 Cutting Plane Method for PD-DRO
In this section, we introduce the cutting plane method for PD-DRO in Eq.
We first reformulate
PD-DRO by introducing an additional variable h ∈ H ( H ⊆ R 1 is a nonempty closed convex set) and protection function g ( { w j } ) [55].
Introducing additional variable h is an epigraph reformulation [3, 56].
In this case, Eq.
(4) can be reformulated as the form with uncertainty in the constraints:
[Equation]
where p is the nominal value of the adversarial distribution for every worker and g ( { w j } )
=
max p ∈ P (cid:80) j ( p j − p )
f j ( w j ) is the protection function.
Eq.
(6) is a semi-infinite program (SIP) which contains infinite constraints and cannot be solved directly [42].
Denoting the set of cutting plane parameters in ( t +1) th iteration as A t ⊆ R N , the following function is used to approximate g ( { w j } ) :
[Equation]
where a l = [ a l, 1 , · · · , a l,N ] ∈ R N denotes the parameters of l th cutting plane in A t and f ( w ) = [ f 1 ( w 1 ) , · · · , f N ( w N )] ∈ R N .
Substituting the protection function g ( { w j } ) with g ( { w j } ) , we can obtain the following approximate problem:
[Equation]
ASPIRE
Distributed optimization is an attractive approach for large-scale learning tasks [54, 8] since it does not require data aggregation, which protects data privacy while also reducing bandwidth requirements [45].
When the neural network models ( i.e. , f j ( w j ) , ∀ j are non-convex functions) are used, solving problem in Eq.
(8) in a distributed manner facing two challenges.
1) Computing the optimal solution to a non-convex subproblem requires a large number of iterations and therefore is highly computationally intensive if not impossible.
Thus, the traditional Alternating Direction Method of Multipliers (ADMM) is ineffective.
The communication delays of workers may differ significantly [11], thus, asynchronous algorithms are strongly preferred.
To this end, we propose the A synchronous S ingle-loo P alternat I ve g R adient
proj
E ction (ASPIRE).
The advantages of the proposed algorithm include: 1) ASPIRE uses simple gradient projection steps to update variables in each iteration and therefore it is computationally more efficient than the traditional ADMM method, which seeks to find the optimal solution in non-convex (for w j , ∀ j ) and convex (for z and h ) optimization subproblems every iteration, 2) the proposed asynchronous algorithm does not need strict synchronization among different workers.
Therefore, ASPIRE remains resilient against communication delays and potential hardware failures from workers.
Details of the algorithm are given below.
Firstly, we define the node as master which is responsible for updating the global variable z , and we define the node which is responsible for updating the local variable w j as worker j .
In each iteration, the master updates its variables once it receives updates from at least S workers, i.e. , active workers, satisfying 1 ≤ S ≤ N .
Q t +1 denotes the index subset of workers from which the master receives updates during ( t + 1) th iteration.
We also assume the master will receive updated variables from every worker at least once for each τ iterations.
The augmented Lagrangian function of Eq.
(8) can be written as:
[Equation]
where L p =
L p ( { w j } , z , h, { λ l } , { ϕ j } ) , λ l ∈ Λ , ∀ l and ϕ j ∈ Φ , ∀ j represent the dual variables of inequality and equality constraints in Eq.
(8), respectively.
Λ ⊆ R 1 and Φ ⊆
R p are nonempty closed convex sets, constant κ 1 > 0 is a penalty parameter.
Note that Eq.
(9) does not consider the second-order penalty term for inequality constraint since it will invalidate the distributed optimization.
Following [52], the regularized version of Eq.
(9) is employed to update all variables as follows,
[Equation]
where c t 1 and c t 2 denote the regularization terms in ( t + 1) th iteration.
To avoid enumerating the whole dataset, the mini-batch loss could be used.
A batch of instances with size m can be randomly sampled from each worker during each iteration.
The loss function of these instances from j th worker is given by ˆ f j ( w j ) = m (cid:80) i = 1 m L j ( x ij , y ij ; w j ) . It is evident that E [ ˆ f j ( w j )]
=
f j ( w j ) and
E [ ∇ ˆ f j ( w j )]= ∇ f j ( w j ) .
In ( t + 1) th master iteration, the proposed algorithm proceeds as follows.
1) Active workers update the local variables w j as follows,
[Equation]
where η w represents the step-size and P W represents the projection onto the closed convex set W and we set W = { w j | || w j || ∞ ≤ α 1 } , α 1 is a positive constant.
And (cid:101) t j is the last iteration during which worker j was active.
It is seen that w tj = w (cid:101) t j j and ϕ tj = ϕ (cid:101) t
j j , ∀ j ∈ Q t +1 .
Then, the active workers ( j ∈ Q t +1 ) transmit their local model parameters w t +1 j and loss f j ( w j ) to the master. 2) After receiving the updates from active workers, the master updates the global consensus variable z , additional variable h and dual variables λ l as follows,
[Equation]
[Equation]
where η z , η h and ρ 1 represent the step-size.
P Z , P H and P Λ respectively represent the projection onto the closed convex sets Z , H and Λ .
We set Z =
{ z | ||
z || ∞ ≤ α 1 } , H = { h | 0 ≤ h ≤ α 2 } and Λ = { λ l | 0 ≤ λ l ≤ α 3 } , where α 2 and α 3 are positive constants.
| A t | denotes the number of cutting planes.
Then, master broadcasts z t +1 , h t +1 , { λ t +1 l } to the active workers.
3) Active workers update the local dual variables ϕ j as follows,
[Equation]
) where ρ 2 represents the step-size and P Φ represents the projection onto the closed convex set Φ and we set Φ = { ϕ j | || ϕ j || ∞ ≤ α 4 } , α 4 is a positive constant.
And master can also obtain { ϕ t +1 j } according to Eq.
It is seen that the projection operation in each step is computationally simple since the closed convex sets have simple structures [4].
Iterative Active Set Method
Cutting plane methods may give rise to numerous linear constraints and lots of extra message passing [55].
Moreover, more iterations are required to obtain the ε -stationary point when the size of a set containing cutting planes increases (which corresponds to a larger M ), which can be seen in Theorem 1.
To improve the computational efficiency and speed up the convergence, we consider removing the inactive cutting planes.
The proposed it E rative
A ctive SE t method (EASE) can be divided into the two steps: during T 1 iterations, 1) solving the cutting plane generation subproblem to generate cutting plane, and 2) removing the inactive cutting plane every k iterations, where k> 0 is a pre-set constant and can be controlled flexibly.
The cutting planes are generated according to the uncertainty set.
For example, if we employ ellipsoid uncertainty set, the cutting plane is generated via solving a SOCP.
In this paper, we propose CD -norm uncertainty set, which can be expressed as follows,
[Equation]
where Γ ∈ R 1 can flexibly control the level of robustness, q = [ q 1 , · · · , q N ] ∈ R N represents the prior distribution, − (cid:101) p j and (cid:101)
p j ( (cid:101) p
j ≥ 0 ) represent the lower and upper bounds for p
j − q j , respectively.
The setting of q and (cid:101) p j , ∀ j are based on the prior knowledge.
D -norm is a classical uncertainty set (which is also called as budget uncertainty set)
We call Eq.
(16) CD -norm uncertainty set since p is a probability vector so all the entries of this vector are non-negative and add up to exactly one, i.e. , 1 ⊤ p = 1 .
Due to the special structure of CD -norm, the cutting plane generation subproblem is easy to solve and the level of robustness in terms of the outage probability, i.e. , probabilistic bounds of the violations of constraints can be flexibly adjusted via a single parameter Γ .
We claim that l 1 -norm (or twice total variation distance) uncertainty set is closely related to CD -norm uncertainty set.
Nevertheless, there are two differences: 1) CD -norm uncertainty set could be regarded as a weighted l 1 -norm with additional constraints.
2) CD -norm uncertainty set can flexibly set the lower and upper bounds for every p j ( i.e. , q j − (cid:101)
p j ≤ p j ≤ p j + (cid:101) p j ), while 0 ≤ p j ≤ 1 , ∀ j in l 1 -norm uncertainty set.
Based on the CD -norm uncertainty set, the cutting plane can be derived as follows, 1) Solve the following problem,
[Equation]
where p t +1 =
[ p t +11 , · · · , p t +1 N ] ∈ R N .
Let (cid:101) a t +1 =
p t +1 − p , where p =
[ p, · · · , p ] ∈ R N .
This first step aims to obtain the distribution (cid:101) a t +1 by solving problem in Eq.
This problem can be effectively solved through combining merge sort [13] (for sorting (cid:101) p
j f j ( w j ) , j =1 , · · · , N ) with few basic arithmetic operations (for obtaining p t +1 j , j = 1 , · · · , N ).
Since N is relatively large in
Algorithm
Initialization: iteration t = 0 , variables { w 0 j } , z 0 , h 0 , { λ 0 l } , { ϕ 0 j } and set A 0 .
repeatfor active worker do updates local w t +1 j according to Eq.
(11); end for active workers transmit local model parameters and loss to master ; master receives updates from active workers do updates z t +1 , h t +1 , { λ t +1 l } , { ϕ t +1 j } in master according to Eq.
(12), (13), (14), (15); master broadcasts z t +1 , h t +1 , { λ t +1 l } to active workers ; for active worker do updates local ϕ t +1 j according to Eq.
(15); end for if ( t + 1) mod k == 0 and t < T 1 then master updates A t
+1 according to Eq.
(19) and (20), and broadcast parameters to all workers; end if t = t + 1 ; until convergence distributed system, the arithmetic complexity of solving problem in Eq.
(17) is dominated by merge sort, which can be regarded as O ( N log( N )) .
2) Let f ( w )=[
f 1 ( w 1 ) , · · · , f N ( w N )] ∈ R N , check the feasibility of the following constraints:
[Equation]
If Eq.
(18) is violated, (cid:101) a t +1 will be added into A t :
[Equation]
violated
[Equation]
when a new cutting plane is added, its corresponding dual variable λ t +1 |
A t | +1 = 0 will be generated.
After the cutting plane subproblem is solved, the inactive cutting plane will be removed, that is:
[Equation]
where ∁ A t +1 { a l } is the complement of { a l } in A t +1 , and the dual variable will be removed.
Then master broadcasts A t +1 , { λ t +1 l } to all workers.
Details of algorithm are summarized in Algorithm 1.
Convergence Analysis
Definition 1 (Stationarity gap)
Following [52, 32, 53], the stationarity gap of our problem at t th iteration is defined as:
[Equation]
where ∇ G t is the simplified form of ∇ G ( { w tj } , z t , h t , { λ tl } , { ϕ tj } )
[Equation]
Definition 2 ( ε -stationary point) ( { w t j } , z t , h t , { λ t l } , { ϕ t j } ) is an ε -stationary point ( ε ≥ 0 ) of a differentiable function L p , if ||∇ G t || ≤ ε .
T ( ε ) is the first iteration index such that ||∇ G t ||≤ ε , i.e.,
T ( ε )=
min { t | ||∇ G t ||≤ ε } .
Assumption 1 (Smoothness/Gradient Lipschitz)
L p has Lipschitz continuous gradients.
We assume that there exists L > 0 satisfying
[Equation]
where θ ∈ {{ w j } , z , h, { λ l } , { ϕ j }} and [; ] represents the concatenation.
w cat − ˆ w cat =
[ w 1 −
[Equation]
Assumption 2 (Boundedness) Before obtaining the ε -stationary point (i.e., t ≤ T ( ε ) − 1 ), we assume variables in master satisfy that ||
z {+t +1 − z t || 
 + || h t +1 − h t+}
|| {+
+}
+ (cid:80) l ||
λ t +1 l − λ tl || 2 ≥ ϑ , where ϑ > 0 is a relative small constant.
The change of the variables in master is upper bounded within τ iterations:
[Equation]
where k 1 > 0 is a constant.
Setting 1 (Bounded | A t | )
| A t | ≤ M, ∀ t , i.e., an upper bound is set for the number of cutting planes.
Setting 2 (Setting of c t 1 , c t 2 )
c t 1 = [Equation] ρ 1 ( t +1) 16 ≥ c 1 and c t 2 =
[Equation]
t +1) 16 ≥ c 2 are nonnegative nonincreasing sequences, where c 1 and c 2 are positive constants and meet Mc 12 + Nc 22 ≤ ε 2 4 .
Theorem 1 (Iteration complexity) Suppose Assumption 1 and 2 hold, if we set the step-sizes of primal variables as η w = η z = η h =
[Equation]
ρ
[Equation]
γL
[Equation]
And we set the step-sizes of dual variables as ρ 1 < min { 2 L +2 c 01 ,
[Equation]
and [Equation] [Equation] , respectively.
For a given ε , we have:
[Equation]
where σ 1 , σ 2 , γ , k d , − d , d 5 , d 6 and T 1 are constants.
The detailed proof is given in Appendix A.
There exists a wide array of works regarding the convergence analysis of various algorithms for nonconvex/convex optimization problems involved in machine learning [25, 53].
Our analysis, however, differs from existing works in two aspects.
First, we solve the non-convex PD-DRO in an asynchronous distributed manner .
To our best knowledge, there are few works focusing on solving the DRO in a distributed manner.
Compared to solving the non-convex PD-DRO in a centralized manner, solving it in an asynchronous distributed manner poses significant challenges in algorithm design and convergence analysis.
Secondly, we do not assume the inner problem can be solved nearly optimally for each outer iteration, which is numerically difficult to achieve in practice [4].
Instead,
ASPIRE-EASE is single loop and involves simple gradient projection operation at each step.
Experiment
In this section, we conduct experiments on four real-world datasets to assess the performance of the proposed method.
Specifically, we evaluate the robustness against data heterogeneity, robustness against malicious attacks and efficiency of the proposed method.
Ablation study is also carried out to demonstrate the excellent performance of ASPIRE-EASE.
6.1 Datasets and Baseline Methods
We compare the proposed ASPIRE-EASE with baseline methods based on SHL [20], Person Activity [26], Single Chest-Mounted Accelerometer (SM-AC)
[9] and Fashion MNIST [51] datasets.
The baseline methods include Ind j (learning the model from an individual worker j ), Mix Even (learning the model from all workers with even weights using ASPIRE), FedAvg [33], AFL [35] and
DRFA-Prox [16].
The detailed descriptions of datasets and baselines are given in Appendix C.
In our empirical studies, since the downstream tasks are multi-class classification, the cross entropy loss is used on each worker ( i.e. , L j ( · ) , ∀ j ).
For SHL, Person Activity, and SM-AC datasets, we adopt the deep multilayer perceptron [49] as the base model.
And we use the same logistic regression model as in [35, 16] for Fashion MNIST dataset.
The base models are trained with SGD.
More details are given in Appendix C.
Following related works in this direction [41, 35, 16], worst case performance are reported for the comparison of robustness.
Specifically, we use Acc w and Loss w to represent the worst case test accuracy and training loss ( i.e. , the test accuracy and training loss on the worker with worst performance), respectively.
We also report the standard deviation Std of [Acc 1 , · · · , Acc N ] (the test accuracy on every worker).
In the experiment, S is set as 1, that means
[Table]
the master will make an update once it receives a message.
Each experiment is repeated 10 times, both mean and standard deviations are reported.
We implement our model with PyTorch and conduct all the experiments on a server with two TITAN V GPUs.
6.2 Results
Robustness against Data Heterogeneity .
We first assess the robustness of the proposed ASPIREEASE by comparing it with baseline methods when data are heterogeneously distributed across different workers.
Specifically, we compare the Acc w , Loss w and Std of different methods on all datasets.
The performance comparison results are shown in Table 1.
In this table, we can observe that max { Ind j } , which represents the best performance of individual training over all workers, exhibits the worst robustness on SHL, Person Activity, and SC-MA.
This is because individual training ( max { Ind j } ) only learns from the data in its local worker and cannot generalize to other workers due to different data distributions.
Note that max { Ind j } is unavailable for Fashion MNIST since each worker only contains one class of data and cross entropy loss cannot be used in this case.
max { Ind j } also does not have Loss w , since Ind j is trained only on individual worker j .
The FedAvg and
Mix Even exhibit better performance than max { Ind j } since they consider the data from all workers.
Nevertheless, FedAvg and Mix Even only assign the fixed weight for each worker.
AFL is more robust than FedAvg and Mix Even since it not only utilizes the data from all workers but also considers optimizing the weight of each worker.
DRFA-Prox outperforms AFL since it also considers the prior distribution and regards it as a regularizer in the objective function.
Finally, we can observe that the proposed ASPIRE-EASE shows excellent robustness, which can be attributed to two factors:
1) ASPIRE-EASE considers data from all workers and can optimize the weight of each worker; 2) compared with DRFA-Prox which uses prior distribution as a regularizer, the prior distribution is incorporated within the constraint in our formulation (Eq. 4), which can be leveraged more effectively.
And it is seen that ASPIRE-EASE can perform periodic communication since ASPIRE-EASE per , which represents ASPIRE-EASE with periodic communication, also has excellent performance.
Within ASPIRE-EASE, the level of robustness can be controlled by adjusting Γ .
Specially, when Γ = 0 , we obtain a nominal optimization problem in which no adversarial distribution is considered.
The size of the uncertainty set will increase with Γ (when Γ ≤ N ), which enhances the adversarial robustness of the model.
As shown in Figure 1, the robustness of ASPIRE-EASE can be gradually enhanced when Γ increases.
More results are available in Figure C2 of Appendix C.
Robustness against Malicious Attacks .
To assess the model robustness against malicious attacks, malicious workers with backdoor attacks [1, 48], which attempt to mislead the model training process, are added to the distributed system.
Following [14], we report the success attack rate of backdoor attacks for comparison.
It can be calculated by checking how many instances in the backdoor dataset can be misled and categorized into the target labels.
Lower success attack rates indicate more robustness against backdoor attacks.
The comparison results are summarized in Table 2 and more detailed settings of backdoor attacks are available in Appendix C.
In Table 2, we observe that
AFL can be attacked easily since it could assign higher weights to malicious workers.
Compared to AFL, FedAvg and Mix Even achieve relatively lower success attack rates since they assign equal weights to the malicious workers and other workers.
DRFA-Prox can achieve even lower success attack rates since it can leverage the prior distribution to assign lower weights for malicious workers.
The proposed ASPIRE-EASE achieves the lowest success attack rates since it can leverage the prior distribution more effectively.
Specifically, it will assign lower weights to malicious workers with tight theoretical guarantees.
[Figure]
[Figure]
[Figure]
comparisons about the success attack rate ( % ) ↓ .
The boldfaced digits represent the best results.
[Table]
Efficiency .
In Figure 2, we compare the convergence speed of the proposed ASPIRE-EASE with AFL and DRFA-Prox by considering different communication and computation delays for each worker.
The proposed ASPIRE-EASE has two variants, ASPIRE-CP (ASPIRE with cutting plane method), ASPIRE-EASE(-)(ASPIRE-EASE without asynchronous setting).
More results are available in Figure C3 of Appendix C. Based on the comparison, we can observe that the proposed
ASPIRE-EASE generally converges faster than baseline methods and its two variants.
This is because 1) compared with AFL, DRFA-Prox, and ASPIRE-EASE(-), ASPIRE-EASE is an asynchronous algorithm in which the master updates its parameters only after receiving the updates from active workers instead of all workers; 2) unlike DRFA-Prox, the master in ASPIRE-EASE only needs to communicate with active workers once per iteration; 3) compared with ASPIRE-CP, ASPIRE-EASE utilizes active set method instead of cutting plane method, which is more efficient.
It is seen from
Figure 2 that, the convergence speed of ASPIRE-EASE mainly benefits from the asynchronous setting.
Ablation Study .
For ASPIRE, compared with cutting plane method, EASE is more efficient since it considers removing the inactive cutting planes.
To demonstrate the efficiency of EASE, we firstly compare ASPIRE-EASE with ASPIRE-CP concerning the number of cutting planes used during the training.
In Figure 3, we can observe that ASPIRE-EASE uses fewer cutting planes than ASPIRE-CP, thus is more efficient.
The convergence speed of ASPIRE-EASE and ASPIRE-CP in Figure 2 also suggests that ASPIRE-EASE converges much faster than ASPIRE-CP.
More results are available in
Figure C3 and C4, Appendix C.
Conclusion
In this paper, we present ASPIRE-EASE method to effectively solve the distributed distributionally robust optimization problem with non-convex objectives.
In addition, CD -norm uncertainty set has been proposed to effectively incorporate the prior distribution into the problem formulation, which allows for flexible adjustment of the degree of robustness of DRO.
Theoretical analysis has also been conducted to analyze the convergence properties and the iteration complexity of ASPIRE-EASE.
ASPIRE-EASE exhibits strong empirical performance on multiple real-world datasets and is effective in tackling DRO problems in a fully distributed and asynchronous manner.
In the future work, more uncertainty sets could be designed for our framework and more update rule for variables in ASPIRE could be considered.
Acknowledgments and Disclosure of Funding
The work of Yang Jiao and Kai Yang was supported in part by the Fundamental Research Funds for the Central Universities of China, in part by the Shenzhen Institute of Artificial Intelligence and
Robotics for Society (AIRS), in part by the National Natural Science Foundation of China under
Grant 61771013, and in part by the Fundamental Research Funds of Shanghai Jiading District.