Characterization of generic parameter families of constraint mappings in optimization

Naoki Hamada, Kenta Hayano and Hiroshi Teramoto

Journal of Singularities
volume 28 (2025), 104-147

Received: 27 August 2024. In revised form: 29 January 2025

DOI: 10.5427/jsing.2025.28e


Abstract:

The purpose of this paper is to understand generic behavior of constraint functions in optimization problems relying on singularity theory of smooth mappings. To this end, we will focus on a subgroup of the Mather's contact group, whose action to constraint map-germs preserves the corresponding feasible set-germs (i.e., the set consisting of points satisfying the constraints). We will classify map-germs with small stratum extended-codimensions with respect to the subgroup we introduce, and calculate the codimensions of the orbits by the subgroup of jets represented by germs in the classification lists and those of the complements of these orbits. Applying these results and a variant of the transversality theorem, we will show that families of constraint mappings whose germ at any point in the corresponding feasible set is equivalent to one of the normal forms in the classification list compose a residual set in the entire space of constraint mappings with at most four parameters. These results enable us to quantify genericity of given constraint mappings, and thus evaluate to what extent known test suites are generic.


Author(s) information:

Naoki Hamada

Kenta Hayano

Hiroshi Teramoto