Showing 1–20 of 20 results for author: Ye, J J

Calm local optimality for nonconvex-nonconcave minimax problems

Authors: Xiaoxiao Ma, Wei Yao, Jane J. Ye, Jin Zhang

Abstract: Nonconvex-nonconcave minimax problems have found numerous applications in various fields including machine learning. However, questions remain about what is a good surrogate for local minimax optimum and how to characterize the minimax optimality. Recently Jin, Netrapalli, and Jordan (ICML 2020) introduced a concept of local minimax point and derived optimality conditions for the smooth and uncons… ▽ More Nonconvex-nonconcave minimax problems have found numerous applications in various fields including machine learning. However, questions remain about what is a good surrogate for local minimax optimum and how to characterize the minimax optimality. Recently Jin, Netrapalli, and Jordan (ICML 2020) introduced a concept of local minimax point and derived optimality conditions for the smooth and unconstrained case. In this paper, we introduce the concept of calm local minimax point, which is a local minimax point with a calm radius function. With the extra calmness property we obtain first and second-order sufficient and necessary optimality conditions for a very general class of nonsmooth nonconvex-nonconcave minimax problem. Moreover we show that the calm local minimax optimality and the local minimax optimality coincide under a weak sufficient optimality condition for the maximization problem. This equivalence allows us to derive stronger optimality conditions under weaker assumptions for local minimax optimality. △ Less

Submitted 30 June, 2023; originally announced June 2023.

Comments: 40 pages

Moreau Envelope Based Difference-of-weakly-Convex Reformulation and Algorithm for Bilevel Programs

Authors: Lucy L. Gao, Jane J. Ye, Haian Yin, Shangzhi Zeng, Jin Zhang

Abstract: Bilevel programming has emerged as a valuable tool for hyperparameter selection, a central concern in machine learning. In a recent study by Ye et al. (2023), a value function-based difference of convex algorithm was introduced to address bilevel programs. This approach proves particularly powerful when dealing with scenarios where the lower-level problem exhibits convexity in both the upper-level… ▽ More Bilevel programming has emerged as a valuable tool for hyperparameter selection, a central concern in machine learning. In a recent study by Ye et al. (2023), a value function-based difference of convex algorithm was introduced to address bilevel programs. This approach proves particularly powerful when dealing with scenarios where the lower-level problem exhibits convexity in both the upper-level and lower-level variables. Examples of such scenarios include support vector machines and $\ell_1$ and $\ell_2$ regularized regression. In this paper, we significantly expand the range of applications, now requiring convexity only in the lower-level variables of the lower-level program. We present an innovative single-level difference of weakly convex reformulation based on the Moreau envelope of the lower-level problem. We further develop a sequentially convergent Inexact Proximal Difference of Weakly Convex Algorithm (iP-DwCA). To evaluate the effectiveness of the proposed iP-DwCA, we conduct numerical experiments focused on tuning hyperparameters for kernel support vector machines on simulated data. △ Less

Submitted 20 January, 2024; v1 submitted 29 June, 2023; originally announced June 2023.

MSC Class: 90C99

PLMEs and Disjunctive Decompositions for Bilevel Optimization

Authors: Jiawang Nie, Jane J. Ye, Suhan Zhong

Abstract: This paper studies bilevel polynomial optimization in which lower level constraining functions depend linearly on lower level variables. We show that such a bilevel program can be reformulated as a disjunctive program using partial Lagrange multiplier expressions (PLMEs). An advantage of this approach is that branch problems of the disjunctive program are easier to solve. In particular, since the… ▽ More This paper studies bilevel polynomial optimization in which lower level constraining functions depend linearly on lower level variables. We show that such a bilevel program can be reformulated as a disjunctive program using partial Lagrange multiplier expressions (PLMEs). An advantage of this approach is that branch problems of the disjunctive program are easier to solve. In particular, since the PLME can be easily obtained, these branch problems can be efficiently solved by polynomial optimization techniques. Solving each branch problem either returns infeasibility or gives a candidate local or global optimizer for the original bilevel optimization. We give necessary and sufficient conditions for these candidates to be global optimizers, and sufficient conditions for the local optimality. Numerical experiments are also presented to show the efficiency of the method. △ Less

Submitted 2 April, 2023; originally announced April 2023.

Comments: 30 pages

Sensitivity analysis of the maximal value function with applications in nonconvex minimax programs

Authors: L. Guo, J. J. Ye, J. Zhang

Abstract: In this paper, we perform sensitivity analysis for the maximal value function which is the optimal value function for a parametric maximization problem. Our aim is to study various subdifferentials for the maximal value function. We obtain upper estimates of Fréchet, limiting, and horizon subdifferentials of the maximal value function by using some sensitivity analysis techniques sophisticatedly.… ▽ More In this paper, we perform sensitivity analysis for the maximal value function which is the optimal value function for a parametric maximization problem. Our aim is to study various subdifferentials for the maximal value function. We obtain upper estimates of Fréchet, limiting, and horizon subdifferentials of the maximal value function by using some sensitivity analysis techniques sophisticatedly. The derived upper estimates depend only on the union of all solutions and not on its convex hull or only one solution from the solution set. Finally, we apply the derived results to develop some new necessary optimality conditions for nonconvex minimax problems. In the nonconvex-concave setting, our Wolfe duality approach compare favourably with the first order approach in that the necessary condition is sharper and the constraint qualification is weaker. △ Less

Submitted 2 March, 2023; originally announced March 2023.

MSC Class: 90C30; 90C31; 90C47

Directional subdifferential of the value function

Authors: Kuang Bai, Jane J. Ye

Abstract: The directional subdifferential of the value function gives an estimate on how much the optimal value changes under a perturbation in a certain direction. In this paper we derive upper estimates for the directional limiting and singular subdifferential of the value function for a very general parametric optimization problem. We obtain a characterization for the directional Lipschitzness of a local… ▽ More The directional subdifferential of the value function gives an estimate on how much the optimal value changes under a perturbation in a certain direction. In this paper we derive upper estimates for the directional limiting and singular subdifferential of the value function for a very general parametric optimization problem. We obtain a characterization for the directional Lipschitzness of a locally lower semicontinuous function in terms of the directional subdifferentials. Based on this characterization and the derived upper estimate for the directional singular subdifferential, we are able to obtain a sufficient condition for the directional Lipschitzness of the value function. Finally, we specify these results for various cases when all functions involved are smooth, when the perturbation is additive, when the constraint is independent of the parameter, or when the constraints are equalities and inequalities. Our results extend the corresponding results on the sensitivity of the value function to allow directional perturbations. Even in the case of full perturbations, our results recover or even extend some existing results, including the Danskin's theorem. △ Less

Submitted 17 April, 2023; v1 submitted 22 November, 2022; originally announced November 2022.

Optimality conditions and constraint qualifications for cardinality constrained optimization problems

Authors: Zhuoyu Xiao, Jane J. Ye

Abstract: The cardinality constrained optimization problem (CCOP) is an optimization problem where the maximum number of nonzero components of any feasible point is bounded. In this paper, we consider CCOP as a mathematical program with disjunctive subspaces constraints (MPDSC). Since a subspace is a special case of a convex polyhedral set, MPDSC is a special case of the mathematical program with disjunctiv… ▽ More The cardinality constrained optimization problem (CCOP) is an optimization problem where the maximum number of nonzero components of any feasible point is bounded. In this paper, we consider CCOP as a mathematical program with disjunctive subspaces constraints (MPDSC). Since a subspace is a special case of a convex polyhedral set, MPDSC is a special case of the mathematical program with disjunctive constraints (MPDC). Using the special structure of subspaces, we are able to obtain more precise formulas for the tangent and (directional) normal cones for the disjunctive set of subspaces. We then obtain first and second order optimality conditions by using the corresponding results from MPDC. Thanks to the special structure of the subspace, we are able to obtain some results for MPDSC that do not hold in general for MPDC. In particular we show that the relaxed constant positive linear dependence (RCPLD) is a sufficient condition for the metric subregularity/error bound property for MPDSC which is not true for MPDC in general. Finally we show that under all constraint qualifications presented in this paper, certain exact penalization holds for CCOP. △ Less

Submitted 17 September, 2022; originally announced September 2022.

Value Function Based Difference-of-Convex Algorithm for Bilevel Hyperparameter Selection Problems

Authors: Lucy Gao, Jane J. Ye, Haian Yin, Shangzhi Zeng, Jin Zhang

Abstract: Gradient-based optimization methods for hyperparameter tuning guarantee theoretical convergence to stationary solutions when for fixed upper-level variable values, the lower level of the bilevel program is strongly convex (LLSC) and smooth (LLS). This condition is not satisfied for bilevel programs arising from tuning hyperparameters in many machine learning algorithms. In this work, we develop a… ▽ More Gradient-based optimization methods for hyperparameter tuning guarantee theoretical convergence to stationary solutions when for fixed upper-level variable values, the lower level of the bilevel program is strongly convex (LLSC) and smooth (LLS). This condition is not satisfied for bilevel programs arising from tuning hyperparameters in many machine learning algorithms. In this work, we develop a sequentially convergent Value Function based Difference-of-Convex Algorithm with inexactness (VF-iDCA). We show that this algorithm achieves stationary solutions without LLSC and LLS assumptions for bilevel programs from a broad class of hyperparameter tuning applications. Our extensive experiments confirm our theoretical findings and show that the proposed VF-iDCA yields superior performance when applied to tune hyperparameters. △ Less

Submitted 13 June, 2022; originally announced June 2022.

Comments: 19 pages

Relaxed constant positive linear dependence constraint qualification for disjunctive programs

Authors: Mengwei Xu, Jane J. Ye

Abstract: The disjunctive system is a system involving a disjunctive set which is the union of finitely many polyhedral convex sets. In this paper, we introduce a notion of the relaxed constant positive linear dependence constraint qualification (RCPLD) for the disjunctive system. For a disjunctive system, our notion is weaker than the one we introduced for a more general system recently (J. Glob. Optim. 20… ▽ More The disjunctive system is a system involving a disjunctive set which is the union of finitely many polyhedral convex sets. In this paper, we introduce a notion of the relaxed constant positive linear dependence constraint qualification (RCPLD) for the disjunctive system. For a disjunctive system, our notion is weaker than the one we introduced for a more general system recently (J. Glob. Optim. 2020) and is still a constraint qualification. To obtain the local error bound for the disjunctive system, we introduce the piecewise RCPLD under which the error bound property holds if all inequality constraint functions are subdifferentially regular and the rest of the constraint functions are smooth. We then specialize our results to the ortho-disjunctive program, which includes the mathematical program with equilibrium constraints (MPEC), the mathematical program with vanishing constraints (MPVC) and the mathematical program with switching constraints (MPSC) as special cases. For MPEC, we recover MPEC-RCPLD, an MPEC variant of RCPLD and propose the MPEC piecewise RCPLD to obtain the {error bound property}. For MPVC, we introduce new constraint qualifications MPVC-RCPLD and the piecewise RCPLD, which also implies the local error bound. For MPSC, we show that both RCPLD and the piecewise RCPLD coincide and hence it leads to the local error bound. △ Less

Submitted 5 March, 2023; v1 submitted 21 April, 2022; originally announced April 2022.

Combined approach with second-order optimality conditions for bilevel programming problems

Authors: Xiaoxiao Ma, Wei Yao, Jane J. Ye, Jin Zhang

Abstract: In this paper, we propose a combined approach with second-order optimality conditions of the lower level problem to study constraint qualifications and optimality conditions for bilevel programming problems. The new method is inspired by the combined approach developed by Ye and Zhu in 2010, where the authors combined the classical first-order and the value function approaches to derive new necess… ▽ More In this paper, we propose a combined approach with second-order optimality conditions of the lower level problem to study constraint qualifications and optimality conditions for bilevel programming problems. The new method is inspired by the combined approach developed by Ye and Zhu in 2010, where the authors combined the classical first-order and the value function approaches to derive new necessary optimality conditions. In our approach, we add a second-order optimality condition to the combined program as a new constraint. We show that when all known approaches fail, adding the second-order optimality condition as a constraint makes the corresponding partial calmness condition and the resulting necessary optimality condition easier to hold. We also give some discussions on advantages and disadvantages of the combined approaches with the first-order and the second-order information. △ Less

Submitted 7 February, 2023; v1 submitted 31 July, 2021; originally announced August 2021.

Comments: 31 pages

Generic property of the partial calmness condition for bilevel programming problems

Authors: Rongzhu Ke, Wei Yao, Jane J. Ye, Jin Zhang

Abstract: The partial calmness for the bilevel programming problem (BLPP) is an important condition which ensures that a local optimal solution of BLPP is a local optimal solution of a partially penalized problem where the lower level optimality constraint is moved to the objective function and hence a weaker constraint qualification can be applied. In this paper we propose a sufficient condition in the for… ▽ More The partial calmness for the bilevel programming problem (BLPP) is an important condition which ensures that a local optimal solution of BLPP is a local optimal solution of a partially penalized problem where the lower level optimality constraint is moved to the objective function and hence a weaker constraint qualification can be applied. In this paper we propose a sufficient condition in the form of a partial error bound condition which guarantees the partial calmness condition. We analyse the partial calmness for the combined program based on the Bouligand (B-) and the Fritz John (FJ) stationary conditions from a generic point of view. Our main result states that the partial error bound condition for the combined programs based on B and FJ conditions are generic for an important setting with applications in economics and hence the partial calmness for the combined program is not a particularly stringent assumption. Moreover we derive optimality conditions for the combined program for the generic case without any extra constraint qualifications and show the exact equivalence between our optimality condition and the one by Jongen and Shikhman given in implicit form. Our arguments are based on Jongen, Jonker and Twilt's generic (five type) classification of the so-called generalized critical points for one-dimensional parametric optimization problems and Jongen and Shikhman's generic local reductions of BLPPs. △ Less

Submitted 2 November, 2021; v1 submitted 30 July, 2021; originally announced July 2021.

Comments: 30 pages, update some information of a number of references

Difference of convex algorithms for bilevel programs with applications in hyperparameter selection

Authors: Jane J. Ye, Xiaoming Yuan, Shangzhi Zeng, Jin Zhang

Abstract: In this paper, we present difference of convex algorithms for solving bilevel programs in which the upper level objective functions are difference of convex functions, and the lower level programs are fully convex. This nontrivial class of bilevel programs provides a powerful modelling framework for dealing with applications arising from hyperparameter selection in machine learning. Thanks to the… ▽ More In this paper, we present difference of convex algorithms for solving bilevel programs in which the upper level objective functions are difference of convex functions, and the lower level programs are fully convex. This nontrivial class of bilevel programs provides a powerful modelling framework for dealing with applications arising from hyperparameter selection in machine learning. Thanks to the full convexity of the lower level program, the value function of the lower level program turns out to be convex and hence the bilevel program can be reformulated as a difference of convex bilevel program. We propose two algorithms for solving the reformulated difference of convex program and show their convergence under very mild assumptions. Finally we conduct numerical experiments to a bilevel model of support vector machine classification. △ Less

Submitted 28 August, 2022; v1 submitted 17 February, 2021; originally announced February 2021.

Optimality Conditions and Exact Penalty for Mathematical Programs with Switching Constraints

Authors: Yan-Chao Liang, Jane J. Ye

Abstract: In this paper, we give an overview on optimality conditions and exact penalization for the mathematical program with switching constraints (MPSC). MPSC is a new class of optimization problems which has some important applications. It is well-known that if MPSC is treated as a standard nonlinear program, some of the usual constraint qualifications may fail and to deal with this issue one could refo… ▽ More In this paper, we give an overview on optimality conditions and exact penalization for the mathematical program with switching constraints (MPSC). MPSC is a new class of optimization problems which has some important applications. It is well-known that if MPSC is treated as a standard nonlinear program, some of the usual constraint qualifications may fail and to deal with this issue one could reformulate it as a mathematical program with disjunctive constraints (MPDC). In this paper we first survey recent results on constraint qualifications and optimality conditions for MPDC and then apply them to MPSC to obtain the corresponding constraint qualifications and optimality conditions. Moreover we provide two types of sufficient conditions for the local error bound and exact penalty results for MPSC. One comes from the directional quasi-normality for MPDC and the other is obtained by using the local decomposition approach. △ Less

Submitted 20 March, 2021; v1 submitted 12 July, 2020; originally announced July 2020.

Relaxed constant positive linear dependence constraint qualification and its application to bilevel programs

Authors: Mengwei Xu, Jane J. Ye

Abstract: Relaxed constant positive linear dependence constraint qualification (RCPLD) for a system of smooth equalities and inequalities is a constraint qualification that is weaker than the usual constraint qualifications such as Mangasarian Fromovitz constraint qualification and the linear constraint qualification. Moreover RCPLD is known to induce an error bound property. In this paper we extend RCPLD t… ▽ More Relaxed constant positive linear dependence constraint qualification (RCPLD) for a system of smooth equalities and inequalities is a constraint qualification that is weaker than the usual constraint qualifications such as Mangasarian Fromovitz constraint qualification and the linear constraint qualification. Moreover RCPLD is known to induce an error bound property. In this paper we extend RCPLD to a very general feasibility system which may include Lipschitz continuous inequality constraints, complementarity constraints and abstract constraints. We show that this RCPLD for the general system is a constraint qualification for the optimality condition in terms of limiting subdifferential and limiting normal cone and it is a sufficient condition for the error bound property under the strict complementarity condition for the complementarity system and Clarke regularity conditions for the inequality constraints and the abstract constraint set. Moreover we introduce and study some sufficient conditions for RCPLD including the relaxed constant rank constraint qualification (RCRCQ). Finally we apply our results to the bilevel program. △ Less

Submitted 23 March, 2020; v1 submitted 27 December, 2019; originally announced December 2019.

Constraint qualifications and optimality conditions in bilevel optimization

Authors: Jane J. Ye

Abstract: In this paper we study constraint qualifications and optimality conditions for bilevel programming problems. We strive to derive checkable constraint qualifications in terms of problem data and applicable optimality conditions. For the bilevel program with convex lower level program we discuss drawbacks of reformulating a bilevel programming problem by the mathematical program with complementarity… ▽ More In this paper we study constraint qualifications and optimality conditions for bilevel programming problems. We strive to derive checkable constraint qualifications in terms of problem data and applicable optimality conditions. For the bilevel program with convex lower level program we discuss drawbacks of reformulating a bilevel programming problem by the mathematical program with complementarity constraints and present a new sharp necessary optimality condition for the reformulation by the mathematical program with a generalized equation constraint. For the bilevel program with a nonconvex lower level program we propose a relaxed constant positive linear dependence (RCPLD) condition for the combined program. △ Less

Submitted 9 October, 2019; originally announced October 2019.

Exact formula for the second-order tangent set of the second-order cone complementarity set

Authors: Jein-Shan Chen, Jane J. Ye, Jin Zhang, Jinchuan Zhou

Abstract: The second-order tangent set is an important concept in describing the curvature of the set involved. Due to the existence of the complementarity condition, the second-order cone (SOC) complementarity set is a nonconvex set. Moreover, unlike the vector complementarity set, the SOC complementarity set is not even the union of finitely many polyhedral convex sets. Despite these difficulties, we succ… ▽ More The second-order tangent set is an important concept in describing the curvature of the set involved. Due to the existence of the complementarity condition, the second-order cone (SOC) complementarity set is a nonconvex set. Moreover, unlike the vector complementarity set, the SOC complementarity set is not even the union of finitely many polyhedral convex sets. Despite these difficulties, we succeed in showing that like the vector complementarity set, the SOC complementarity set is second-order directionally differentiable and an exact formula for the second-order tangent set of the SOC complementarity set can be given. We derive these results by establishing the relationship between the second-order tangent set of the SOC complementarity set and the second-order directional derivative of the projection operator over the second-order cone, and calculating the second-order directional derivative of the projection operator over the second-order cone. As an application, we derive second-order necessary optimality conditions for the mathematical program with second-order cone complementarity constraints. △ Less

Submitted 24 June, 2019; originally announced June 2019.

New sharp necessary optimality conditions for mathematical programs with equilibrium constraints

Authors: Helmut Gfrerer, Jane J. Ye

Abstract: In this paper, we study the mathematical program with equilibrium constraints (MPEC) formulated as a mathematical program with a parametric generalized equation involving the regular normal cone. We derive a new necessary optimality condition which is sharper than the usual M-stationary condition and is applicable even when no constraint qualifications hold for the corresponding mathematical progr… ▽ More In this paper, we study the mathematical program with equilibrium constraints (MPEC) formulated as a mathematical program with a parametric generalized equation involving the regular normal cone. We derive a new necessary optimality condition which is sharper than the usual M-stationary condition and is applicable even when no constraint qualifications hold for the corresponding mathematical program with complementarity constraints (MPCC) reformulation. △ Less

Submitted 23 June, 2019; originally announced June 2019.

Necessary optimality conditions for implicit control systems with applications to control of differential algebraic equations

Authors: An Li, Jane J. Ye

Abstract: In this paper we derive necessary optimality conditions for optimal control problems with nonlinear and nonsmooth implicit control systems. Implicit control systems have wide applications including differential algebraic equations (DAEs). The challenge in the study of implicit control system lies in that the system may be truly implicit, i.e., the Jacobian matrix of the constraint mapping may be s… ▽ More In this paper we derive necessary optimality conditions for optimal control problems with nonlinear and nonsmooth implicit control systems. Implicit control systems have wide applications including differential algebraic equations (DAEs). The challenge in the study of implicit control system lies in that the system may be truly implicit, i.e., the Jacobian matrix of the constraint mapping may be singular. Our necessary optimality conditions hold under the so-called weak basic constraint qualification plus the calmness of a perturbed constraint mapping. Such constraint qualifications allow for singularity of the Jacobian and hence is suitable for implicit systems. Specifying these results to control of semi-explicit DAEs we obtain necessary optimality conditions for control of semi-explicit DAEs with index higher than one. △ Less

Submitted 2 September, 2017; originally announced September 2017.

Comments: arXiv admin note: text overlap with arXiv:1512.00953

MSC Class: 45K15; 49K21; 49J53

Necessary Optimality Conditions and Exact Penalization for Non-Lipschitz Nonlinear Programs

Authors: Lei Guo, Jane J. Ye

Abstract: When the objective function is not locally Lipschitz, constraint qualifications are no longer sufficient for Karush-Kuhn-Tucker (KKT) conditions to hold at a local minimizer, let alone ensuring an exact penalization. In this paper, we extend quasi-normality and relaxed constant positive linear dependence (RCPLD) condition to allow the non-Lipschitzness of the objective function and show that they… ▽ More When the objective function is not locally Lipschitz, constraint qualifications are no longer sufficient for Karush-Kuhn-Tucker (KKT) conditions to hold at a local minimizer, let alone ensuring an exact penalization. In this paper, we extend quasi-normality and relaxed constant positive linear dependence (RCPLD) condition to allow the non-Lipschitzness of the objective function and show that they are sufficient for KKT conditions to be necessary for optimality. Moreover, we derive exact penalization results for the following two special cases. When the non-Lipschitz term in the objective function is the sum of a composite function of a separable lower semi-continuous function with a continuous function and an indicator function of a closed subset, we show that a local minimizer of our problem is also a local minimizer of an exact penalization problem under a local error bound condition for a restricted constraint region and a suitable assumption on the outer separable function. When the non-Lipschitz term is the sum of a continuous function and an indicator function of a closed subset, we also show that our problem admits an exact penalization under an extended quasi-normality involving the coderivative of the continuous function. △ Less

Submitted 15 January, 2017; originally announced January 2017.

New constraint qualifications for mathematical programs with equilibrium constraints via variational analysis

Authors: Helmut Gfrerer, Jane J. Ye

Abstract: In this paper, we study the mathematical program with equilibrium constraints (MPEC) formulated as a mathematical program with a parametric generalized equation involving the regular normal cone. Compared with the usual way of formulating MPEC through a KKT condition, this formulation has the advantage that it does not involve extra multipliers as new variables, and it usually requires weaker assu… ▽ More In this paper, we study the mathematical program with equilibrium constraints (MPEC) formulated as a mathematical program with a parametric generalized equation involving the regular normal cone. Compared with the usual way of formulating MPEC through a KKT condition, this formulation has the advantage that it does not involve extra multipliers as new variables, and it usually requires weaker assumptions on the problem data. Using the so-called first order sufficient condition for metric subregularity, we derive verifiable sufficient conditions for the metric subregularity of the involved set-valued mapping, or equivalently the calmness of the perturbed generalized equation mapping. △ Less

Submitted 23 November, 2016; originally announced November 2016.

MSC Class: 49J53; 90C30; 90C33; 90C46

Exact formulas for the proximal/regular/limiting normal cone of the second-order cone complementarity set

Authors: Jane J. Ye, Jinchuan Zhou

Abstract: The proximal, regular and limiting normal cones to the second-order cone complementarity set play important roles in studying mathematical programs with second-order cone complementarity constraints, second-order cone programs, and the second-order cone complementarity problems. It is needed in the first-order optimality conditions for mathematical programs with second-order cone complementarity c… ▽ More The proximal, regular and limiting normal cones to the second-order cone complementarity set play important roles in studying mathematical programs with second-order cone complementarity constraints, second-order cone programs, and the second-order cone complementarity problems. It is needed in the first-order optimality conditions for mathematical programs with second-order cone complementarity constraint, the second-order subdifferential criteria in characterizing the full stability for second-order cone programs and second-order cone complementarity problems, as well as in the characterizing the pseudo-Lipschitz continuity of the solution mapping to parametric second-order cone complementarity problems. In this paper we establish explicit formulas for the proximal, regular, and limiting normal cone of the second-order cone complementarity set. △ Less

Submitted 24 May, 2016; originally announced May 2016.

Comments: 15