Nonsingularity Conditions for the Fischer-Burmeister System of Nonlinear SDPs

For a locally optimal solution to the nonlinear semidefinite programming problem, under Robinson's constraint qualification, we show that the nonsingularity of Clarke's Jacobian of the Fischer-Burmeister (FB) nonsmooth system is equivalent to the strong regularity of the Karush-Kuhn-Tucker point. Consequently, from Sun's paper [Math. Oper. Res., 31 (2006), pp. 761-776] the semismooth Newton method applied to the FB system may attain the locally quadratic convergence under the strong second order sufficient condition and constraint nondegeneracy.

[1]  Defeng Sun,et al.  A Squared Smoothing Newton Method for Nonsmooth Matrix Equations and Its Applications in Semidefinite Optimization Problems , 2003, SIAM J. Optim..

[2]  Stephen M. Robinson,et al.  Strongly Regular Generalized Equations , 1980, Math. Oper. Res..

[3]  Francisco Facchinei,et al.  Regularity Properties of a Semismooth Reformulation of Variational Inequalities , 1998, SIAM J. Optim..

[4]  Christian Kanzow,et al.  Corrigendum: Semidefinite Programs: New Search Directions, Smoothing-Type Methods, and Numerical Results , 2004, SIAM J. Optim..

[5]  Masao Fukushima,et al.  Smoothing Functions for Second-Order-Cone Complementarity Problems , 2002, SIAM J. Optim..

[6]  Andreas Fischer,et al.  Solution of monotone complementarity problems with locally Lipschitzian functions , 1997, Math. Program..

[7]  Jong-Shi Pang,et al.  Nonsmooth Equations: Motivation and Algorithms , 1993, SIAM J. Optim..

[8]  F. Clarke.  Optimization And Nonsmooth Analysis , 1983 .

[9]  Paul Tseng,et al.  Analysis of Nonsmooth Symmetric-Matrix-Valued Functions with Applications to Semidefinite Complementarity Problems , 2003, SIAM J. Optim..

[10]  Bernd Kummer.  An implicit-function theorem for C0, 1-equations and parametric C1, 1-optimization , 1991 .

[11]  Defeng Sun,et al.  Constraint Nondegeneracy, Strong Regularity, and Nonsingularity in Semidefinite Programming , 2008, SIAM J. Optim..

[12]  Christian Kanzow,et al.  Semidefinite Programs: New Search Directions, Smoothing-Type Methods, and Numerical Results , 2002, SIAM J. Optim..

[13]  Liqun Qi,et al.  A nonsmooth version of Newton's method , 1993, Math. Program..

[14]  Lionel Thibault,et al.  On generalized differentials and subdifferentials of Lipschitz vector-valued functions , 1982 .

[15]  Defeng Sun,et al.  Strong Semismoothness of the Fischer-Burmeister SDC and SOC Complementarity Functions , 2005, Math. Program..

[16]  J. Frédéric Bonnans,et al.  Perturbation Analysis of Optimization Problems , 2000, Springer Series in Operations Research.

[17]  Defeng Sun,et al.  The Strong Second-Order Sufficient Condition and Constraint Nondegeneracy in Nonlinear Semidefinite Programming and Their Implications , 2006, Math. Oper. Res..

[18]  Defeng Sun,et al.  Semismooth Homeomorphisms and Strong Stability of Semidefinite and Lorentz Complementarity Problems , 2003, Math. Oper. Res..

[19]  Paul Tseng,et al.  Non-Interior continuation methods for solving semidefinite complementarity problems , 2003, Math. Program..

[20]  Paul Tseng,et al.  Merit functions for semi-definite complemetarity problems , 1998, Math. Program..