Algorithms for solving optimization problems with only access to (noisy) evaluations of the objective function are called zeroth-order algorithms. These algorithms have been studied for decades in the optimization literature; see, for example, [CSV09, RS13, AH17] for a detailed overview of the existing approaches. Recently, the study of zeroth-order optimization algorithms has gained significant attention also in the machine learning literature, due to several motivating applications, for example, in designing black-box attacks to deep neural networks [CZS], hyperparameter tuning [SLA12], reinforcement learning [MSG99, SHC
] and bandit convex optimization [BLE17]. However, a majority of the zeroth-order optimization algorithms in the literature has been developed for minimization problems.
In this work, we study zeroth-order optimization algorithms for solving nonconvex minimax problems (aka saddle-point problems). Specifically, we consider both the deterministic setting:
and the stochastic setting:
Here, ) and hence f(x, y) are assumed to be sufficiently smooth functions,
is a closed and convex constraint set
is a distribution characterizing the stochasticity in the problem. We allow for the function
) to be nonconvex for all
but require
) to be strongly-concave for all
. One of our main motivations for studying zeroth-order algorithms for nonconvex minimax problems is their application in designing black-box attacks to deep neural networks. By now, it is well established that care must be taken when designing and training deep neural networks as it is possible to design adversarial examples that would make the deep network to misclassify, easily. Since the intriguing works of [SZS
, LCLS17], the problem of designing such adversarial examples that transfer across multiple deep neural networks models has also been studied extensively. As the model architecture is unknown to the adversary, the problem could naturally be formulated to solve a minimax optimization problem under the availability of only (noisy) objective function evaluation. We refer the reader to [LLC
] for details regarding such formulations. Apart from the above applications, we also note that zeroth-order minimax optimization problems also arise in multi-agent reinforcement learning with bandit feedback [WHL17, ZYB21], robotics [WJ17, BSJC18] and distributionally robust optimization [ND16].
Recently, there has been an ever-growing interest in analyzing first-order algorithms for the case of nonconvex-concave and nonconvex-nonconcave minimax problems, motivated by its applications to training generative adversarial networks [GPAM], AUC maximization [YWL16], designing fair classifiers [ABD
], robust learning systems [MMS
] fair machine learning [ZLM18, XYZW18, BNR19], and reinforcement learning [PV16, DSL
, NSS03, FV12]. Specifi-cally, [LTHC19, RLLY18, NSH
, SBRL18, LJJ20, TJNO19] proposed and analyzed variants of gradient descent ascent for nonconvex-concave objectives. Very recently, under a stronger mean-squared Lipschitz gradient assumption [LYHZ20] obtained improved complexities for stochastic nonconvex-concave objectives. Furthermore, [DISZ18, DP18, HLC19, MPP18, PS18, GBV
, OSG
18, JNJ20, VGFP19] studied general nonconvex-nonconcave objectives.
Compared to first-order algorithms, zeroth-order algorithms for minimax optimization problems are underdeveloped. Motivated by the need for robustness in optimization, [MW18] proposed derivative-free algorithms for saddle-point optimization. However, they do not provide non-asymptotic oracle complexity analysis. Bayesian optimization algorithms and evolutionary algorithms were proposed in [BSJC18, PBH19] and [BN10, ADSHO18] respectively for minimax optimization, targeting robust optimization and learning applications. The above works do not provide any oracle complexity analysis. Recently, [RCBM19] studied zeroth-order Frank-Wolfe algorithms for strongly-convex and strongly-concave constrained saddle-point optimization problems and provided non-asymptotic oracle complexity analysis. Furthermore, [LLC] studied zeroth-order algorithms for nonconvex-concave minimax problems, similar to our setting. More recently, [ALD21] proposed a stochastic direct search method for (2) under the assumption of the Polyak-�Lojasiewicz (PL) condition. [XZWLP21] and [HGPH20] also studied zeorth-order methods for (2), where they required mean-squared smoothnesss assumption, which is stronger than our assumptions.
Our Contributions. In this work, we consider both deterministic and stochastic minimax problems in the form of (1) and (2), respectively. A detailed comparison of our algorithms and existing methods is given in Table 1. Our contributions lie in several folds.
(i) For deterministic minimax problem (1), we design a zeroth-order gradient descent ascent (ZO-GDA) algorithm, whose oracle complexity improves the currently best known one in
Table 1: Comparison of different algorithms. The column of “Complexity” gives the complexity of calls to zeroth-order oracle or first-order oracle. Here, we use ˜O to hide the dependency (where
refers to the condition number as defined in Assumption 1), as it was not explictly tracked and stated in [LLC
, NSH
]. In the column of “Objective function” column, “NC-SC” indicates that the objective function is nonconvex with respect to x and strongly concave with respect to y. “C” indicates that the function is concave with respect to y. PL denotes the Polyak-�Lojasiewicz condition. In the column of “Constraint”, “C” means “constrained” and “U” means “unconstrained”.
[LLC] under the same assumptions. Notably, for this algorithm, the set Y could be constrained or unconstrained (i.e., the entire Euclidean space
(ii) For deterministic minimax problem (1), we propose a novel zeroth-order gradient descent multi-step ascent (ZO-GDMSA) algorithm, which is motivated by [NSH]. This algorithm performs multiple steps of gradient ascent followed by one single step of gradient descent in each iteration. Its oracle complexity is significantly better than that of ZO-GDA in terms of the condition number dependency. To the best of our knowledge, this is the best complexity result for zeroth-order algorithms for solving deterministic minimax problems so far under the assumptions in Section 2.
(iii) We desgin and analyze the stochastic counterparts of ZO-GDA and ZO-GDMSA and establish their oracle complexity under two settings: (i) uniformly bounded variance assumption on the stochastic gradient, which is standard in stochastic optimization, and (ii) the Strong Growth Condition (SGC) [VBS19], which is satisfied by modern overparametrized machine learning models. Notably, under SGC, we show that the complexities of the stochastic algorithms are the same as their deterministic counterparts.
The rest of this paper is organized as follows. In Section 2 we provide some preliminaries and introduce our zeroth-order gradient estimator. In Section 3 we present our ZO-GDA and ZO-GDMSA for solving the deterministic minimax problem (1), and analyze their oracle complexities. In Section 4 we present the stochastic algorithms ZO-SGDA and ZO-SGDMSA for solving the stochastic minimax problem (2), and analyze their oracle complexities. In Section 5 we provide some numerical results to our stochastic algorithms ZO-SGDA and ZO-SGDMSA for solving a distributionally robust optimization problem. We draw some conclusions in Section 6. Proofs of all theorems are provided in the appendix.
Assumption 1 is made throughout the paper.
Assumption 1 The objective function f(x, y) and the constraint set Y have the following properties:
• f(x, y) is continuously differentiable in could be potentially nonconvex for all
-strongly concave for all
• When viewed as a function in ) is
-gradient Lipschitz. That is, there exists constant
• The function is lower bounded. Moreover, we assume that function g is
-smooth, i.e.,
. As will be shown later in Lemma A.3, this is indeed true with
• The constraint set is bounded and convex, with diameter D > 0. The boundedness assumption can be relaxed (see Remark 9).
The following assumption, which is standard in the literature [NS17, GL13, BG21], will also be used in our paper.
Assumption 2 (Uniformly Bounded Variance) For any and
, the stochastic zeroth-order oracle outputs an estimator
and
In addition to Assumptions 1 and 2, motivated by over-parametrized models arising in modern machine learning problems [VBS19], we also consider the following SGC assumption on the stochastic gradient.
Assumption 3 (Strong Growth Condition [VBS19]) There exist 1 such that the following is true for the stochastic gradients:
This condition is widely observed to be satisfied in modern over-parametrized models (e.g., deep neural networks) and has been used extensively for minimization problems recently [MBB18, BBM18, MVL19, RBGM20].
2.1 Zeroth-order gradient estimator
We now discuss the idea of zeroth-order gradient estimator based on Gaussian smoothing technique [NS17]. For the deterministic case, we denote ), where
and
denote identity matrices with sizes
and
, respectively. The notion of the Gaussian smoothed functions is defined as follows:
and the zeroth-order gradient estimators [NS17] are defined as
where 0 are smoothing parameters.
As noted in [BG18], the Gaussian smoothing technique proposed by [NS17] is based on the Stein’s identity [Ste72], for characterizing Gaussian random vectors. Specifically, Stein’s identity states that a random vector , is standard Gaussian
all absolutely continuous functions
. Note that Stein’s identity, naturally relates function queries to gradients and thus is naturally suited for zeroth-order optimization. If we let h(u) to be the Gaussian smoothed functions (as in (4)), it is easy to see that the zeroth-order gradients (as in (5)) follow by simply evaluating the Gaussian Stein’s identity.
It should be noted following the arguments in [NS17, BG21] that and
) =
). Hence, the zeroth-order gradient estimators in (5) provide unbiased estimates of the gradient of Gaussian smoothed functions
) :=
) and
) :=
). Similarly, for the stochastic case, the Gaussian smoothed functions are defined as:
and the zeroth-order stochastic gradient estimators are defined as:
One can also show that the zeroth-order gradient estimators provide unbiased estimates to the gradients of the Gaussian smoothed functions, i.e., ) =
and
In our algorithms, we also need to use mini-batch zeroth-order gradient estimators, which can reduce the variance of stochastic gradient estimators. To this end, we define the following notation. For integer q > 0, we denote [q] := {1, . . . , q}. In the deterministic case, for integers we denote
For indices sets , in the stochastic case we denote
It is easy to see that we have the following unbiasedness properties:
and
2.2 Complexity Measure
Following [LJJ20], the -stationary point of problems (1) and (2) and is defined as follows.
Definition 2.1 A point (¯) is called an
-stationary point of problem (1) and (2) if it satisfies the following conditions:
(¯
and
(¯
. Here, the expectation is over
sequence for problem (1), and over the
sequence for problem (2). The
are randomness generated in the algorithm when (¯
is produced.
Note that the minimax problems (1) and (2) are equivalent to the following minimization problem:
where ) = argmax
). Due to our Assumption 1, that
) is strongly-concave for any fixed
, the maximization problem max
) can be solved efficiently and its optimal solution is unique. Note that the
-stationary point for (10) is defined as follows.
-stationary point of a differentiable function
In this paper, we focus on analyzing the oracle complexity of algorithms for obtaining an -stationary point of g as defined in Definition 2.2. This is because optimality in the sense of Definition 2.2 in turn implies optimality in the sense of Definition 2.1, as we discuss in the following proposition.
Proposition 2.1 Under Assumption 1, if a point ¯x satisfies (¯
, by using extra
calls to the zeroth order oracle in the deterministic setting or by using extra
calls to the zeroth order oracle in the stochastic setting, a point (¯
can be obtained such that it is an
-stationary solution of the minimax problem as defined in Definition 2.1.
The proof of this proposition is the same as the proof of Proposition 4.11 in [LJJ20]. We thus omit it for succinctness.
We now present our algorithms for the deterministic minimax problem (1).
3.1 Zeroth-Order Gradient Descent Ascent
Our zeroth-order gradient descent ascent (ZO-GDA) algorithm for solving problem (1) is described in Algorithm 1. The algorithm is similar to the deterministic first-order approach analyzed in [LJJ20] with some crucial differences. Specifically, we require a mini-batch gradient estimator with the choices of the batch size depending on the dimensionality of the problem. The complexity result for ZO-GDA (Algorithm 1) is provided in Theorem 1.
Theorem 1 Under Assumption 1, by setting
ZO-GDA (Algorithm 1) returns iterates (such that there exists an iterate which is an
-stationary point of
(Algorithm 1) returns iterates that satisfy min
. Moreover, the total number of calls to the (deterministic) zeroth-order oracle is given by
Remark 2 We see that the total number of calls to the (deterministic) zeroth-order oracle depends linearly on the dimension of the problem. The dependence on is the same as that of the corresponding first-order methods [LJJ20]. But, the dependence on the condition number
is increased from
to
(assuming
and
are of constant order). This is due to the choice of balancing the various tuning parameters in the zeroth-order setting, in particular
and
which are absent in the first-order setting.
3.2 Zeroth-Order Gradient Descent Multi-Step Ascent
We now present our ZO-GDMSA algorithm in Algorithm 2. This algorithm runs T ascent steps, for every descent step. The main idea behind running multiple ascent steps is to better approximate the maximum of the stongly-concave function in each step. Subsequently, picking the number of inner iterations T appropriately helps us obtain improved dependence on while still maintaining the same dependency on
. We emphasize that [NSH
] used the multi-step ascent approach to handle certain non-convex minimax optimization problems that satisfy the PL condition in the first-order setting.
Theorem 3 Under Assumption 1, by setting
ZO-GDMSA (Algorithm 2) returns iterates (such that there exists an iterate which is an
-stationary point for g(x) = max
). That is, ZO-GDMSA (Algorithm 2) returns iterates that satisfy min
. Moreover, the total number of calls to the (deterministic) zeroth-order oracle is given by
Remark 4 Compared to Algorithm 1, the oracle complexity of Algorithm 2 has improved dependence on while maintaining the same dependence on
We now consider the stochastic minimax problem (2), under the availability of a stochastic zeroth-order oracle satisfying Assumption 2 or Assumption 3. This scenario is more practical in the context of zeroth-order optimization, as often times, we are able to only observe noisy evaluations of the function [CSV09, AH17]. Motivated by our analysis of the deterministic case, we now design and analyze the stochastic versions of ZO-GDA and ZO-GDMSA.
We first consider stochastic version of ZO-GDA, which is named ZO-SGDA and presented in Algorithm 3. Under Assumption 2, the main difference between Algorithm 3 and its deterministic counterpart (Algorithm 1) is in the choice of mini-batch size in the zeroth-order gradient estimator. As opposed to the deterministic case, where the mini-batch size is independent of , in this case, we require a mini-batch size that depends on
. Furthermore, due to the stochastic nature of the problem, the mini-batch size also depends on the noise variance parameter
. However, under Assumption 3, it suffices to have the batch size to be the same as in the deterministic case – this leads to the rate improvement. The complexity result corresponding to Algorithm 3 is provided in Theorem 5.
1. Under Assumptions 1 and 2, by setting the parameters as in (11), setting
as in (12), and setting
= 4(
+ 6)(
+ 1)
= 4(
+ 6)(
+ 1)
(Algorithm 3) returns iterates (
) such that there exists an iterate which is an
-stationary point for g(x) = max
). That is, ZO-SGDA (Algorithm 3) returns
iterates that satisfy min. Moreover, the total number of calls to the stochastic zeroth-order oracle is given by
2. Under Assumptions 1, 2 (only the unbiased part) and 3, by setting + 6),
and setting
, with other parameters remaining the same, the conclusion in Part 1 holds. In this case, the total number of calls to the stochastic zeroth-order oracle is given by
Remark 6 Under Assumption 2, the -dependence of Algorithm 3 is the same as the first-order counterpart considered in [LJJ20]. However, under Assumption 3, the
-dependence is improved and is the same as the deterministic case.
The stochastic version of Algorithm 2 is named ZO-SGDMSA and presented in Algorithm 4. Its oracle complexity result is provided in Theorem 7.
1. Under Assumptions 1 and 2, by setting as in (13),
as in (14), and setting
(Algorithm 4) returns iterates (
) such that there exists an iterate which is an
-stationary point for g(x) = max
). That is, ZO-SGDMSA (Algorithm 4) returns iterates that satisfy min
. Moreover, the total number of calls to the stochastic zeroth- order oracle is given by,
2. Under Assumptions 1, 2 (only the unbiased part) and 3, by setting + 6),
and setting
, with other parameters remaining the same, the conclusion in Part 1 holds. In this case, the total number of calls to the stochastic zeroth-order oracle is given by,
+
Remark 8 Similar to the deterministic case, we improve the dependence of the oracle complexity on . The dependence on
and dimensionality remains the same. We emphasize that the use of multiple steps in the ascent part, leads to the improved dependency on
over Algorithm 3.
We now compare ZO-SGDA and ZO-SGDMSA with their first-order counterparts (i.e., SGDA and SGDMSA) on the distributionally robust optimization problem [ND16]. For simplicity, we present the formulation of the problem in the finite-sum setting as:
where = 1
is the probability simplex; r(y) = 10
is a divergence measure regularizing derivations from uniform distribution;
) =
)) where
) is the feature and label pair of a sample i in the dataset. It is easy to see that the above problem is a nonconvex-strongly concave minimax problem of the from (1) with
. For the tuning parameters, motivated by our theoretical results, we set the batch size
and
with
= 0.01. For ZO-SGDA, we choose
= 0.01, and for ZO-SGDMSA, we choose
= 0.001 and
= 0.01. For ZO-GDA and ZO-SGDA, according to Theroems 1 and 3, we chose
For ZO-GDMSA and ZO-SGDMSA, according to Theorems 2 and 4, we chose
For our tested problems, we have = 10 (see, for example [XWLP20]). The
and
in the above equations are usually at the order of 10
, we choose the same stepsize as ZO-SGDA and ZO-SGDMSA and set
= 1
and
= 1
. We stop the iteration when
, based on our theoretical analysis. We test our algorithms on the following datasets from UCI ML-repository [DG17] and LIBSVM [CL11]: A9A
, Mushroom
,W8A
and Colon-cancer gene expression dataset
. In order to perform distributionally robust optimization, we sample the dataset such that the positive and negative label ratio is 1:3. Details of these datasets are provided in Table 2. All the experiments were run on Google Colab Python 3.5 Notebook. We also remark that we cannot compare empirically to [LLC
] as they consider constrained minimax problems. In Figure 1, we plot the value of the objective versus iteration number and the value of gradient size versus iteration number. We find that the proposed zeroth-order methods perform favorably to their respective first-order counterparts in terms of both the objective value and the norm of the gradient of the function g, as measured by iteration count. It should be noted that to obtain this comparable behavior, the zeroth-order method uses a mini-batch of samples that is proportional to the dimension (recall our choice of
) above) in each iteration, which results in the number of calls to the zeroth-order oracle of the order as illustrated in our theoretical results.
Table 2: Details of the datasets [DG17].
In this paper, we designed and analyzed zeroth-order algorithms for deterministic and stochastic nonconvex minimax problems. Specifically, we considered two types of algorithms: zeroth-order gradient descent ascent algorithm and a modified version of it with multiple ascent steps following each descent step. We obtained oracle complexities for both algorithms that match the performance of comparable first-order algorithms, up to unavoidable dimensionality factors. Our orcale complexities are better than that of existing methods under the same assumptions. Future works include to explore lower bounds for zeroth-order nonconvex minimax optimization problems, and to explore structural constraints to obtain improved dimensionality dependence in our results.
A preliminary version (4 pages) of this paper appeared in the 2021 ICML workshop “Beyond first-order methods in ML systems” (https://sites.google.com/view/optml-icml2021). There is no proceeding for this workshop. K. Balasubramanian was supported in part by NSF Grant DMS-2053918 and UC Davis CeDAR (Center for Data Science and Artificial Intelligence Research) Innovative Data Science Seed Funding Program. S. Ma was supported in part by NSF grants DMS-1953210 and CCF-2007797, and UC Davis CeDAR Innovative Data Science Seed Funding Program. M. Razaviyayn was supported in part by the NSF CAREER Award CCF-2144985 and the AFOSR Young Investigator Program Award.
[ABDAlekh Agarwal, Alina Beygelzimer, Miroslav Dudik, John Langford, and Hanna Wallach. A reductions approach to fair classification. In International Conference on Machine Learning, pages 60–69, 2018.
[ADSHO18] Abdullah Al-Dujaili, Shashank Srikant, Erik Hemberg, and Una-May O’Reilly. On
the application of Danskin’s theorem to derivative-free minimax optimization. arXiv
preprint arXiv:1805.06322, 2018.
0.46
0.48
0.50
0.52
0.54
0.56
0.58
0.425
0.450
0.475
0.500
0.525
0.550
0.575
0.0
0.1
0.2
0.3
0.4
0.5
0.6
0.0
0.2
0.4
0.6
0.8
Figure 1: Performance of ZO-SGDA and ZO-SGDMSA in comparison to their first-order counterparts. The results in the four rows respectively correpond to the following datasets: A9A dataset, Mushroom dataset, W8A dataset and Colon Cancer dataset. The results correspond to average over 500 trails.
[AH17] Charles Audet and Warren Hare. Derivative-Free and Blackbox Optimization. Springer, 2017.
[ALD21] S. Anagnostidis, A. Lucchi, and Y. Diouane. Direct-search methods for a class of non-convex min-max games. In AISTATS, 2021.
[BBM18] Raef Bassily, Mikhail Belkin, and Siyuan Ma. On exponential convergence of SGD in non-convex over-parametrized learning. arXiv preprint arXiv:1811.02564, 2018.
[BG18] Krishnakumar Balasubramanian and Saeed Ghadimi. Zeroth-order (non)-convex stochastic optimization via conditional gradient and gradient updates. In Advances in Neural Information Processing Systems, pages 3455–3464, 2018.
[BG21] Krishnakumar Balasubramanian and Saeed Ghadimi. Zeroth-order nonconvex stochastic optimization: Handling constraints, high-dimensionality, and saddle-points. Foundations of Computational Mathematics, 2021.
[BLE17] S´ebastien Bubeck, Yin Tat Lee, and Ronen Eldan. Kernel-based methods for bandit convex optimization. In Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, pages 72–85. ACM, 2017.
[BN10] Dimitris Bertsimas and Omid Nohadani. Robust optimization with simulated annealing. Journal of Global Optimization, 48(2):323–334, 2010.
[BNR19] Sina Baharlouei, Maher Nouiehed, and Meisam Razaviyayn. R´enyi fair inference. International Conference on Learning Representation, 2019.
[BSJC18] Ilija Bogunovic, Jonathan Scarlett, Stefanie Jegelka, and Volkan Cevher. Adversarially robust optimization with Gaussian processes. In Advances in Neural Information Processing Systems, pages 5760–5770, 2018.
[CL11] Chih-Chung Chang and Chih-Jen Lin. LIBSVM: A library for support vector machines. ACM Transactions on Intelligent Systems and Technology, 2:27:1–27:27, 2011. Software available at http://www.csie.ntu.edu.tw/~cjlin/libsvm.
[CSV09] Andrew Conn, Katya Scheinberg, and Luis Vicente. Introduction to derivative-free optimization, volume 8. Siam, 2009.
[CZSPin-Yu Chen, Huan Zhang, Yash Sharma, Jinfeng Yi, and Cho-Jui Hsieh. Zoo: Zeroth order optimization based black-box attacks to deep neural networks without training substitute models. In Proceedings of the 10th ACM Workshop on Artificial Intelligence and Security, pages 15–26. ACM, 2017.
[DISZ18] Constantinos Daskalakis, Andrew Ilyas, Vasilis Syrgkanis, and Haoyang Zeng. Training GANs with optimism. International Conference on Learning Representations (ICLR), 2018.
[DP18] Constantinos Daskalakis and Ioannis Panageas. The limit points of (optimistic) gradient descent in min-max optimization. In Advances in Neural Information Processing Systems, pages 9236–9246, 2018.
[DSLBo Dai, Albert Shaw, Lihong Li, Lin Xiao, Niao He, Zhen Liu, Jianshu Chen, and Le Song. SBEED: Convergent reinforcement learning with nonlinear function approximation. Proceedings of the International Conference on Machine Learning (ICML), 2018.
[FV12] Jerzy Filar and Koos Vrieze. Competitive Markov decision processes. Springer Science & Business Media, 2012.
[GBVGauthier Gidel, Hugo Berard, Ga¨etan Vignoud, Pascal Vincent, and Simon LacosteJulien. A variational inequality perspective on generative adversarial networks. International Conference on Learning Representations, 2018.
[GL13] Saeed Ghadimi and Guanghui Lan. Stochastic first- and zeroth-order methods for nonconvex stochastic programming. SIAM Journal on Optimization, 23, 2013.
[GPAMIan Goodfellow, Jean Pouget-Abadie, Mehdi Mirza, Bing Xu, David Warde-Farley, Sherjil Ozair, Aaron Courville, and Yoshua Bengio. Generative adversarial nets. In Advances in neural information processing systems, pages 2672–2680, 2014.
[HGPH20] F. Huang, S. Gao, J. Pei, and H. Huang. Accelerated zeroth-order and first-order momentum methods from mini to minimax optimization. https://arxiv.org/pdf/2008.08170.pdf, 2020.
[HLC19] Ya-Ping Hsieh, Chen Liu, and Volkan Cevher. Finding mixed nash equilibria of generative adversarial networks. In International Conference on Machine Learning, pages 2810–2819. PMLR, 2019.
[JNJ20] Chi Jin, Praneeth Netrapalli, and Michael Jordan. What is local optimality in nonconvex-nonconcave minimax optimization? In International Conference on Machine Learning, pages 4880–4889. PMLR, 2020.
[LCLS17] Yanpei Liu, Xinyun Chen, Chang Liu, and Dawn Song. Delving into transferable adversarial examples and black-box attacks. International Conference on Representation Learning, 2017.
[LJJ20] Tianyi Lin, Chi Jin, and Michael I Jordan. On gradient descent ascent for nonconvex-concave minimax problems. Proceedings of the International Conference on Machine Learning (ICML), 2020.
[LLCSijia Liu, Songtao Lu, Xiangyi Chen, Yao Feng, Kaidi Xu, Abdullah Al-Dujaili, Minyi Hong, and Una-May Obelilly. Min-max optimization without gradients: Convergence and applications to adversarial ml. Proceedings of the 37 th International Conference on Machine Learning (ICML), 2020.
[LTHC19] Songtao Lu, Ioannis Tsaknakis, Mingyi Hong, and Yongxin Chen. Hybrid block successive approximation for one-sided non-convex min-max problems: algorithms and applications. arXiv preprint arXiv:1902.08294, 2019.
[LYHZ20] Luo Luo, Haishan Ye, Zhichao Huang, and Tong Zhang. Stochastic recursive gradient descent ascent for stochastic nonconvex-strongly-concave minimax problems. Advances in Neural Information Processing Systems, 33, 2020.
[MBB18] Siyuan Ma, Raef Bassily, and Mikhail Belkin. The power of interpolation: Understanding the effectiveness of SGD in modern over-parametrized learning. In International Conference on Machine Learning, pages 3325–3334, 2018.
[MMSAleksander Madry, Aleksandar Makelov, Ludwig Schmidt, Dimitris Tsipras, and Adrian Vladu. Towards deep learning models resistant to adversarial attacks. International Conference on Learning Representations, 2017.
[MPP18] Panayotis Mertikopoulos, Christos Papadimitriou, and Georgios Piliouras. Cycles in adversarial regularized learning. In Proceedings of the Twenty-Ninth Annual ACMSIAM Symposium on Discrete Algorithms, pages 2703–2717. SIAM, 2018.
[MSG99] David E Moriarty, Alan C Schultz, and John J Grefenstette. Evolutionary algorithms for reinforcement learning. Journal of Artificial Intelligence Research, 11:241–276, 1999.
[MVLSi Yi Meng, Sharan Vaswani, Issam Hadj Laradji, Mark Schmidt, and Simon LacosteJulien. Fast and furious convergence: Stochastic second order methods under interpolation. In International Conference on Artificial Intelligence and Statistics, pages 1375–1386, 2020.
[MW18] Matt Menickelly and Stefan M. Wild. Derivative-free robust optimization by outer approximations. Mathematical Programming, pages 1–37, 2018.
[ND16] Hongseok Namkoong and John C Duchi. Stochastic gradient methods for distributionally robust optimization with f-divergences. In Advances in neural information processing systems, pages 2208–2216, 2016.
[Nes04] Y. E. Nesterov. Introductory lectures on convex optimization: A basic course. Applied Optimization. Kluwer Academic Publishers, Boston, MA, 2004.
[NS17] Yurii Nesterov and Vladimir Spokoiny. Random gradient-free minimization of convex functions. Foundations of Computational Mathematics, 17(2):527–566, 2017.
[NSHMaher Nouiehed, Maziar Sanjabi, Tianjian Huang, Jason Lee, and Meisam Razaviyayn. Solving a class of non-convex min-max games using iterative first order methods. In Advances in Neural Information Processing Systems, pages 14905–14916, 2019.
[NSS03] Abraham Neyman, Sylvain Sorin, and S Sorin. Stochastic games and applications, volume 570. Springer Science & Business Media, 2003.
[OSGFrans A Oliehoek, Rahul Savani, Jose Gallego, Elise van der Pol, and Roderich Groß. Beyond local nash equilibria for adversarial networks. arXiv preprint arXiv:1806.07268, 2018.
[PBH19] Victor Picheny, Mickael Binois, and Abderrahmane Habbal. A bayesian optimization approach to find nash equilibria. Journal of Global Optimization, 73(1):171–192, 2019.
[PS18] Georgios Piliouras and Leonard J Schulman. Learning dynamics and the co-evolution of competing sexual species. In 9th Innovations in Theoretical Computer Science Conference (ITCS 2018). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018.
[PV16] David Pfau and Oriol Vinyals. Connecting generative adversarial networks and actorcritic methods. arXiv preprint arXiv:1610.01945, 2016.
[RBGM20] Abhishek Roy, Krishnakumar Balasubramanian, Saeed Ghadimi, and Prasant Mohapatra. Escaping saddle-points faster under interpolation-like conditions. Advances in Neural Information Processing Systems, 2020.
[RCBM19] Abhishek Roy, Yifang Chen, Krishnakumar Balasubramanian, and Prasant Mohapatra. Online and bandit algorithms for nonstationary stochastic saddle-point optimization. arXiv preprint arXiv:1912.01698, 2019.
[RLLY18] Hassan Rafique, Mingrui Liu, Qihang Lin, and Tianbao Yang. Non-convex min-max optimization: Provable algorithms and applications in machine learning. arXiv preprint arXiv:1810.02060, 2018.
[RS13] Luis Rios and Nikolaos Sahinidis. Derivative-free optimization: a review of algorithms and comparison of software implementations. Journal of Global Optimization, 56(3):1247–1293, 2013.
[SBRL18] Maziar Sanjabi, Jimmy Ba, Meisam Razaviyayn, and Jason D Lee. On the convergence and robustness of training gans with regularized optimal transport. In Advances in Neural Information Processing Systems, pages 7091–7101, 2018.
[SHCTim Salimans, Jonathan Ho, Xi Chen, Szymon Sidor, and Ilya Sutskever. Evolution strategies as a scalable alternative to reinforcement learning. arXiv preprint arXiv:1703.03864, 2017.
[SLA12] Jasper Snoek, Hugo Larochelle, and Ryan P Adams. Practical bayesian optimization of machine learning algorithms. In Advances in neural information processing systems, pages 2951–2959, 2012.
[Ste72] Charles Stein. A bound for the error in the normal approximation to the distribution of a sum of dependent random variables. In Proceedings of the sixth Berkeley symposium on mathematical statistics and probability, volume 2: Probability theory, volume 6, pages 583–603. University of California Press, 1972.
[SZSChristian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian Goodfellow, and Rob Fergus. Intriguing properties of neural networks. arXiv preprint arXiv:1312.6199, 2013.
[TJNO19] Kiran Thekumparampil, Prateek Jain, Praneeth Netrapalli, and Sewoong Oh. Efficient algorithms for smooth minimax optimization. In Advances in Neural Information Processing Systems, pages 12659–12670, 2019.
[VBS19] Sharan Vaswani, Francis Bach, and Mark Schmidt. Fast and faster convergence of SGD for over-parameterized models and an accelerated perceptron. In The 22nd International Conference on Artificial Intelligence and Statistics, pages 1195–1204. PMLR, 2019.
[VGFP19] Emmanouil-Vasileios Vlatakis-Gkaragkounis, Lampros Flokas, and Georgios Piliouras. Poincar´e recurrence, cycles and spurious equilibria in gradient-descent-ascent for non-convex non-concave zero-sum games. Advances in Neural Information Processing Systems, 32:10450–10461, 2019.
[VMLSharan Vaswani, Aaron Mishkin, Issam Laradji, Mark Schmidt, Gauthier Gidel, and Simon Lacoste-Julien. Painless stochastic gradient: Interpolation, line-search, and convergence rates. In Advances in Neural Information Processing Systems, pages 3727–3740, 2019.
[WHL17] Chen-Yu Wei, Yi-Te Hong, and Chi-Jen Lu. Online reinforcement learning in stochastic games. In Advances in Neural Information Processing Systems, pages 4987–4997, 2017.
[WJ17] Zi Wang and Stefanie Jegelka. Max-value entropy search for efficient bayesian optimization. In Proceedings of the 34th International Conference on Machine Learning-Volume 70, pages 3627–3635. JMLR. org, 2017.
[XWLP20] Tengyu Xu, Zhe Wang, Yingbin Liang, and H Vincent Poor. Enhanced first and zeroth order variance reduced algorithms for min-max optimization. arXiv preprint arXiv: 2006. 09361 , 2020.
[XYZW18] Depeng Xu, Shuhan Yuan, Lu Zhang, and Xintao Wu. Fairgan: Fairness-aware generative adversarial networks. In IEEE International Conference on Big Data (Big Data). IEEE, pages 570–575, 2018.
[XZWLP21] T. Xu, Z. Zhe Wang, Y. Liang, and H. V. Poor. Gradient free minimax optimization: Variance reduction and faster convergence. https://arxiv.org/pdf/2006.09361.pdf, 2021.
[YWL16] Yiming Ying, Longyin Wen, and Siwei Lyu. Stochastic online AUC maximization. In Advances in neural information processing systems, pages 451–459, 2016.
[ZLM18] Brian Hu Zhang, Blake Lemoine, and Margaret Mitchell. Mitigating unwanted biases with adversarial learning. In AAAI/ACM Conference on AI, Ethics, and Society. ACM, pages 335–340, 2018.
[ZYB21] Kaiqing Zhang, Zhuoran Yang, and Tamer Ba¸sar. Multi-agent reinforcement learning: A selective overview of theories and algorithms. Handbook of Reinforcement Learning and Control, pages 321–384, 2021.
In this section we present some technical results that will be used in our subsequent convergence analysis. First, we need the follow elementary results regarding random variables.
For i.i.d. random (vector) variables
with zero mean, we have
• For random (vector) variable and
The following results regarding Lipschitz and strongly convex functions are also useful.
Lemma A.2 (Lemma 1.2.3, Theorem 2.1.8, Theorem 2.1.10 in [Nes04])
The following lemmas are from existing literature and we omit their proofs.
Lemma A.3 (Lemma 4.3 in [LJJ20]) The function with
. Moreover,
-Lipschitz.
is a convex function, if f(x) is convex.
Lemma A.5 (Theorem 1 in [NS17]) Under Assumption 1, it holds that
Lemma A.6 (Lemma 3 in [NS17]) Under Assumption 1, it holds that
Lemma A.7 (Lemma 4 in [NS17]) Under Assumption 1, it holds that
Lemma A.8 (Theorem 4 in [NS17]) Under Assumptions 1 and 2, we have
Lemma A.9 [BG18] Under Assumptions 1 and 2, we have
We now bound the size of the mini-batch zeroth-order gradient estimator (8).
Lemma A.10 Under Assumption 1 and choosing = 2(
+ 6),
= 2(
+ 6). For any
where the second equality is due to Lemma A.1, and the last inequality is due to Lemma A.8. Thus, the first inequality in (17) is obtained by noting + 6). The other inequality can be proved similarly and we omit the details for succinctness.
A similar result can be obtained for the stochastic zeroth-order gradient estimator (9).
Lemma A.11 Under Assumptions 1 and 2, for given tolerance (0, 1), by choosing
= 4(
) :=
2 +
+ 3)
2 +
+ 6)
) :=
2 +
+ 3)
where the second equality is due to Lemma A.1, the first inequality is due to Lemma A.9 and A.6. Substituting = 4(
+ 6)(
+ 1)
proves the first inequality in (18). The other inequality can be proved similarly and we omit the details for succinctness.
The following result shows that ) is Lipschitz continuous with respect to y.
Lemma A.12 Under Assumption 1, for any , it holds that
Proof. Following the definition of , Assumption 1, and Jensen’s inequality, it holds that
which proves the desired result.
We now present the corresponding results with the Strong Growth Condition in Assumption 3.
Lemma A.13 The variance of the mini-batch stochastic gradient under strong growth condition is bounded by
Proof. Using Cauchy Schwartz inequality we have:
where the last inequality is based on 1. The other inequality can be proved similarly.
Lemma A.14 (ZO Gradient Under Strong Growth Condition) Under SGC, by choosing
where the last inequality follows from Assumption 3. By using + 6), we proved the first inequality of (20). The other inequality can be proved similarly.
We first show the following lemma.
is the sequence generated by Algorithm 1. By setting
the following inequality holds:
Proof. According to the updates in Algorithm 1, we have
For a given s, we use E to denote the expectation with respect to random samples conditioned on all previous iterations. By taking expectation to both sides of the above inequality, we obtain
where the second inequality is due to the concavity of ) (see Lemma A.4) and Lemma A.10, the third inequality is due to Lemma A.2 and Lemma A.5, the equality is due to
and the last inequality is due to Lemma A.2. This completes the proof.
We now prove the following upper bound of
Lemma B.2 Consider ZO-GDA (Algorithm 1). Use the same notation and the same assumptions as in Lemma B.1. Denote
It holds that
where
Proof. Define the filtration . Let
= (
=
(). Denote by E taking expectation w.r.t
conditioned on
and then taking expectation over
1, using the Young’s inequality, we have
where the second inequality is due to (21), the third inequality is due to Lemma A.3. From Lemma A.10, we have
where the second inequality is due to Assumption 1. Combining (25) and (26) yields (23) by noting (22).
where the first inequality is due to Lemma A.3 and the Descent lemma, the second inequality is due to Young’s inequality, and the last inequality is due to Lemmas A.6 and A.12. Now take expectation with respect to to the above inequality, we get:
From Lemma A.12, we have
From Lemma A.6, we have
Combining (26), (27), (28), (29) yields,
+ = 4
where
and
where we have used the definition of + 1). Taking sum over s = 0, . . . , S to both sides of (23), we get
Moreover, from (22) it is easy to obtain
Substituting (34) and (35) into (33), we obtain
Now, summing (30) over s = 0, . . . , S yields
where the second inequality is from (36). Using (31), (24) and (11), it is easy to verify that
which together with
Combining (37) and (38) yields
Dividing both sides of (40) by 0+ 1) yields
where ∆). Now we only need to upper bound the right hand side of (40) by
, and this can be guaranteed by choosing the parameters as in (12). This completes the proof of Theorem 1.
Remark 9 Note that the term appearing in (40) is defined as
:=
. Under the assumption that the set Y is bounded, this term could be upper bounded by
. This is the only place in the proof where we require the constraint set Y to be bounded. In the unconstrained case, when Y :=
, having
being bounded away from infinity is dependent on the initial values (
) supplied to the algorithm. In fact, by defining h(y) :=
), we know that
) = argmax
). Since
) is
-strongly concave for all
, we know that h(y) is
-strongly concave. By Lemma A.2, we have
Therefore, is upper bounded by a constant depending only on
Indeed this scenario is common in the complexity analysis of optimization algorithms [Nes18].
First, we show the following iteration complexity of the inner loop for y in Algorithm 2.
Lemma C.1 In Algorithm 2, setting = 1
),
) and
)). For fixed
-th iteration, we have
Proof. According to the updates in Algorithm 2, we have
For a given s, denote by E taking expectation with respect to random samples conditioned on all previous iterations. By taking expectation to both sides of this inequality, we obtain
where the second inequality is due to Lemma A.10, the third inequality is due to the concavity of ) (see Lemma A.4), the fourth inequality is due to Lemmas A.5 and A.2, the equality is due to
), and the last inequality is due to Lemma A.2.
where the last inequality is due to Assumption 1. Now it is clear that in order to ensure that
where the first inequality is due to Lemma A.3, the second inequality is due to Young’s inequality, and the last inequality is due to Lemmas A.6 and A.12. Now take expectation with respect to to the above inequality, we get:
where the second inequality is due to Lemma A.10. From Lemma A.6 we have
Combining (41) and (42), and noting
where the second inequality is due to Assumption 1, and the last inequality is due to (43). Take the sum over s = 0, . . . , S to both sides of (44), we get
Denote ∆)). From Lemma E.1, we know that when
have
(note that
)). Therefore, choosing parameters as in (14) guarantees that the right hand side of (45) is upper bounded by
), and thus an
-stationary point is found. This completes the proof.
We first show the following inequality.
is the sequence generated by Algorithm 3. By setting
the following inequality holds:
Proof. According to the updates in Algorithm 3, we have
For a given s, denote by E taking expectation with respect to random samples conditioned on all previous iterations. By taking expectation to both sides of this inequality, we obtain
where the second inequality is due to the concavity of ) (see Lemma A.4) and Lemma A.11, the third inequality is due to Lemma A.2 and Lemma A.5, the equality is due to
and the last inequality is due to Lemma A.2. This completes the proof.
We now prove the following upper bound of
Lemma D.2 Consider ZO-SGDA (Algorithm 3). Use the same notation and the same assumptions as in Lemma D.1. Denote
It holds that
where
Proof. Define the filtration
(). Denote by E taking expectation w.r.t
conditioned on
and then taking expectation over
1, using the Young’s inequality, we have
where the second inequality is due to (46), the third inequality is due to Lemma A.3. From Lemma A.11, we have
where the second inequality is due to Assumption 1. Combining (50) and (51) yields (48) by noting (47).
Similar to Lemma D.1, we can prove the following result under the SGC assumption, i.e., Assumption 3.
Lemma D.3 (Linear convergence rate under SGC) Under the SGC assumption (Assumption 3), we have:
Proof. The proof is the almost identical to the proof of Lemma D.1. The only difference is that we need to use Lemma A.14 instead of Lemma A.11. We omit the details for succinctness.
Now we are ready to prove Theorem 5. Proof.(Proof of Theorem 5.) We first prove part 1. First, the following inequalities hold:
where the first inequality is due to Lemma A.3, the second inequality is due to Young’s inequality, and the last inequality is due to Lemmas A.6 and A.12. Now take expectation with respect to
to the above inequality, we get:
From Lemma A.12, we have
From Lemma A.6, we have
Combining (51), (52), (53), (54) yields,
where
where we have used the definition of + 1). Taking sum over s = 0, . . . , S to both sides of (55), we get
Moreover, from (47) it is easy to obtain
Substituting (59) and (60) into (58), we obtain
Now, summing (55) over s = 0, . . . , S yields
where the second inequality is from (61). Using (56), (66) and (11), it is easy to verify that
which together with
Combining (62) and (63) yields
Dividing both sides of (64) by 0+ 1) yields
where ∆). Now we only need to upper bound the right hand side of (65) by
). Note that by the choice of parameters in (12), the right hand side of (65) is
Hence, with
1), we get the required result. This completes the proof of the part 1 of Theorem 5.
We now prove part 2. Denote and set
as in (11), and
is defined as in (47).
From Lemma D.3 we have:
Using Young’s inequality on
Following the same way for proving (61), it is easy to show that
in which
Using the above expressions and following the result of (55), we have:
Divide both sides of (67) by 0+ 1), we get
According to Remark 9, we know that is upper bounded by a constant. Choosing
= O(min(1
+ 3)
(min(1
+ 3)
) , we guarantee that the right hand side of (68) is upper bounded by
) +
). Under Assumption 3, since we choose
=
) the total number of calls to stochastic zeroth-order oracle is
. This completes the proof of part 2.
First, we show the following iteration complexity of the inner loop for y in Algorithm 4.
Lemma E.1 In Algorithm 4, setting = 1
),
) and
)). For fixed
-th iteration, we have
Proof. According to the updates in Algorithm 4, we have
For a given s, denote by E taking expectation with respect to random samples conditioned on all previous iterations. By taking expectation to both sides of this inequality, we obtain
where the second inequality is due to Lemma A.11, the third inequality is due to the concavity of ) (see Lemma A.4), the fourth inequality is due to Lemmas A.5 and A.2, the equality is due to
), and the last inequality is due to Lemma A.2.
Define = 12
(72
) +
+ 3)
72 +
+ 6)
288)
. From the above inequality, we have
where the last inequality is due to Assumption 1. Now it is clear that in order to ensure that
We are now ready to prove Theorem 7. Proof.(Proof of Theorem 7.) We first prove Part 1. First, the following inequalities hold:
where the first inequality is due to Lemma A.3, the second inequality is due to Young’s inequality, and the last inequality is due to Lemmas A.6 and A.12. Now take expectation with respect to to the above inequality, we get:
where the second inequality is due to Lemma A.11. From Lemma A.6 we have
Combining (69) and (70), and noting
It then follows that
where the second inequality is due to Assumption 1, and the last inequality is due to (71). Take the sum over s = 0, . . . , S to both sides of (72), we get
Denote ∆)). From Lemma E.1, we know that when
)), we have
(note that
)). Therefore, choosing parameters as in (14) guarantees that the right hand side of (73) is upper bounded by
) +
). Hence, with
(0, 1), we get the required result and thus an
-stationary point is found. This completes the proof of Part 1.
We next prove Part 2. From Lemma D.3 we have
In order to ensure that From (72) and (20) we have
Taking the sum over s = 0, ..., S to both sides of (74), we get:
Recall that 2, choosing
guarantee that the right hand side of (75) is upper bounded by
). Hence, with
we get the required result and thus an
-stationary point is found. This completes the proof of Part 2.