Pith. sign in

REVIEW

A new elementary proof for M-stationarity under MPCC-GCQ for mathematical programs with complementarity constraints

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2011.04474 v4 pith:GXAS6VQU submitted 2020-11-09 math.OC

classification math.OC
keywords proofcomplementarityconstraintselementarymathematicalmpcc-gcqprogramsbest
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

It is known in the literature that local minimizers of mathematical programs with complementarity constraints (MPCCs) are so-called M-stationary points, if a weak MPCC-tailored Guignard constraint qualification (called MPCC-GCQ) holds. In this paper we present a new elementary proof for this result. Our proof is significantly simpler than existing proofs and does not rely on deeper technical theory such as calculus rules for limiting normal cones. A crucial ingredient is a proof of a (to the best of our knowledge previously open) conjecture, which was formulated in a Diploma thesis by Schinabeck.

Discussion (0). Continue with ORCID to comment.

Pith tools