Research

Paper

TESTING March 24, 2026

Piecewise M-Stationarity and Related Algorithms for Mathematical Programs with Complementarity Constraints

Authors

Kexin Wang, Lorenz T. Biegler

Abstract

This study explores B-stationarity of mathematical programs with complementarity constraints (MPCCs) and convergence behavior of MPCC algorithms. Special attention is given to the cases with biactive complementarity constraints. First, we propose the concept of piecewise M-stationarity and prove its equivalence to B-stationarity under MPCC-ACQ. Then, we investigate convergence properties of the NCP-based bounding methods we proposed in [31], without requiring MPCC-LICQ; an interpretation of the algorithm's behavior together with the concept of piecewise M-stationarity leads to a cost reduction in B-stationarity verification. In addition, practical issues related to convergence to non-strongly stationary solutions are discussed, which shows that the NCP-based complementarity reformulations have an advantage in avoiding unbounded multipliers near these solutions.

Metadata

arXiv ID: 2603.23389
Provider: ARXIV
Primary Category: math.OC
Published: 2026-03-24
Fetched: 2026-03-25 06:02

Related papers

Raw Data (Debug)
{
  "raw_xml": "<entry>\n    <id>http://arxiv.org/abs/2603.23389v1</id>\n    <title>Piecewise M-Stationarity and Related Algorithms for Mathematical Programs with Complementarity Constraints</title>\n    <updated>2026-03-24T16:22:02Z</updated>\n    <link href='https://arxiv.org/abs/2603.23389v1' rel='alternate' type='text/html'/>\n    <link href='https://arxiv.org/pdf/2603.23389v1' rel='related' title='pdf' type='application/pdf'/>\n    <summary>This study explores B-stationarity of mathematical programs with complementarity constraints (MPCCs) and convergence behavior of MPCC algorithms. Special attention is given to the cases with biactive complementarity constraints. First, we propose the concept of piecewise M-stationarity and prove its equivalence to B-stationarity under MPCC-ACQ. Then, we investigate convergence properties of the NCP-based bounding methods we proposed in [31], without requiring MPCC-LICQ; an interpretation of the algorithm's behavior together with the concept of piecewise M-stationarity leads to a cost reduction in B-stationarity verification. In addition, practical issues related to convergence to non-strongly stationary solutions are discussed, which shows that the NCP-based complementarity reformulations have an advantage in avoiding unbounded multipliers near these solutions.</summary>\n    <category scheme='http://arxiv.org/schemas/atom' term='math.OC'/>\n    <published>2026-03-24T16:22:02Z</published>\n    <arxiv:primary_category term='math.OC'/>\n    <author>\n      <name>Kexin Wang</name>\n    </author>\n    <author>\n      <name>Lorenz T. Biegler</name>\n    </author>\n  </entry>"
}