How Stringent Is the Linear Independence Assumption for Mathematical Programs with Complementarity Constraints?

The liniar independence constraint qualifications (LICQ) plays an important role in the analysis of mathematical programs with complementarity constrains (MPCCs) and is a vital ingredient to convergence analyses of SQP-rype of smoothing methods, ef., e.g. Fukushima and Pang (1999), Luo et al. (1996), Scholtes and Stöhr (1999), Scholtes (2001), Stör (2000). We will argue in this paper that LICQ is not particularly stringent assumption for MPCCS. Our arguments are based on an extension of Jongen's (1977) genericity analysis to MPCCs. His definitions of nondegenerade critical points and regular programs extend naturally to MPCCs and his genericity results generalize straightforwardly to MPCCs in standard form. An extension is not as straightforward for MPCCs with the particular structure induced by lower-level stationarity conditions for variational inequalities pur optimization problems. We show that LICQ remains a generic property for this class of MPCCs.