Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2407.12333 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914874884358144 |
|---|---|
| author | Hamada, Naoki Hayano, Kenta Teramoto, Hiroshi |
| author_facet | Hamada, Naoki Hayano, Kenta Teramoto, Hiroshi |
| contents | 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 the subgroup $\mathcal{K}[G]$ of the Mather's group $\mathcal{K}$, 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 $\mathcal{K}[G]_e$-codimensions, and calculate the codimensions of the $\mathcal{K}[G]$-orbits 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 $\mathcal{K}[G]$-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 $4$-parameters. These results enable us to quantify genericity of given constraint mappings, and thus evaluate to what extent known test suites are generic. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_12333 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Characterization of generic parameter families of constraint mappings in optimization Hamada, Naoki Hayano, Kenta Teramoto, Hiroshi Geometric Topology Optimization and Control 57R45 (Primary) 90C31 (Secondary) 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 the subgroup $\mathcal{K}[G]$ of the Mather's group $\mathcal{K}$, 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 $\mathcal{K}[G]_e$-codimensions, and calculate the codimensions of the $\mathcal{K}[G]$-orbits 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 $\mathcal{K}[G]$-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 $4$-parameters. These results enable us to quantify genericity of given constraint mappings, and thus evaluate to what extent known test suites are generic. |
| title | Characterization of generic parameter families of constraint mappings in optimization |
| topic | Geometric Topology Optimization and Control 57R45 (Primary) 90C31 (Secondary) |
| url | https://arxiv.org/abs/2407.12333 |