The adjoint state method for parametric definable optimization without smoothness or uniqueness
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908986460078080 |
|---|---|
| author | Bolte, Jérôme Pauwels, Edouard Traoré, Cheik |
| author_facet | Bolte, Jérôme Pauwels, Edouard Traoré, Cheik |
| contents | We establish that nonconvex definable parametric optimization problems with possibly nonsmooth objectives, inequality constraints, conic constraint systems, and non-unique primal and dual solutions admit an adjoint state formula under a mere qualification condition. The adjoint construction yields a selection of a conservative field for the value function, providing a computable first-order object without requiring differentiation of the solution mapping. Through examples, we show that even in smooth problems, the formal adjoint construction fails without conservativity or definability, illustrating the relevance of these concepts to grasp theoretical aspects of the method. This work provides a tool which can be directly combined with existing primal-dual solvers for a wide range of parametric optimization problems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_26503 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | The adjoint state method for parametric definable optimization without smoothness or uniqueness Bolte, Jérôme Pauwels, Edouard Traoré, Cheik Optimization and Control Numerical Analysis Primary 90C31, Secondary 03C64, 49J53, 65K05, 90C26, 90C30 We establish that nonconvex definable parametric optimization problems with possibly nonsmooth objectives, inequality constraints, conic constraint systems, and non-unique primal and dual solutions admit an adjoint state formula under a mere qualification condition. The adjoint construction yields a selection of a conservative field for the value function, providing a computable first-order object without requiring differentiation of the solution mapping. Through examples, we show that even in smooth problems, the formal adjoint construction fails without conservativity or definability, illustrating the relevance of these concepts to grasp theoretical aspects of the method. This work provides a tool which can be directly combined with existing primal-dual solvers for a wide range of parametric optimization problems. |
| title | The adjoint state method for parametric definable optimization without smoothness or uniqueness |
| topic | Optimization and Control Numerical Analysis Primary 90C31, Secondary 03C64, 49J53, 65K05, 90C26, 90C30 |
| url | https://arxiv.org/abs/2603.26503 |